Commit eadaed75 authored by Julian Kranz's avatar Julian Kranz
Browse files

RREIL Pretty Printer

- Started to add new RREIL statements
parent f390f2e6
......@@ -20,6 +20,11 @@ val rreil-show-stmt s =
SEM_ASSIGN x: rreil-show-var x.lhs +++ " = " +++ rreil-show-op x.rhs
| SEM_LOAD x: rreil-show-var x.lhs +++ " = " +++ rreil-show-ptrderef x.size x.address
| SEM_STORE x: "*" +++ rreil-show-address x.address +++ " = " +++ rreil-show-op x.rhs
| SEM_ITE x: "if (" +++ rreil-show-linear x.cond +++ ") {" +++ rreil-show-stmts x.then_branch +++ "} else {" +++ rreil-show-stmts x.else_branch +++ "}"
| SEM_WHILE x: "while (" +++ rreil-show-linear x.cond +++ ") {" +++ rreil-show-stmts x.body +++ "}"
| SEM_CBRANCH x: "if (" +++ rreil-show-linear x.cond +++ ") goto" +++ rreil-show-address x.target-true +++ " else goto " +++ rreil-show-address x.target-false
| SEM_BRANCH x: "goto [hint: " +++ rreil-show-hint x.hint +++ rreil-show-address x.target
| SEM_LABEL x: rreil-show-label x.label
| SEM_IF_GOTO_LABEL x: "if (" +++ rreil-show-linear x.cond +++ ") goto label " +++ rreil-show-label x.label
| SEM_IF_GOTO x: "if (" +++ rreil-show-linear x.cond +++ ") goto " +++ rreil-show-linear x.target
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment