1 files changed, 56 insertions, 0 deletions
diff --git a/test/arch/mep/ir/test_ir.py b/test/arch/mep/ir/test_ir.py
new file mode 100644
index 00000000..3fec9ec9
--- /dev/null
+++ b/test/arch/mep/ir/test_ir.py
@@ -0,0 +1,56 @@
+# Toshiba MeP-c4 - Misc unit tests
+# Guillaume Valadon <guillaume@valadon.net>
+
+from miasm2.arch.mep.arch import mn_mep
+from miasm2.arch.mep.regs import regs_init
+from miasm2.arch.mep.ira import ir_mepb, ir_a_mepb
+from miasm2.expression.expression import ExprId, ExprInt, ExprMem
+from miasm2.ir.symbexec import SymbolicExecutionEngine
+from miasm2.core.locationdb import LocationDB
+
+
+class TestMisc:
+
+    def test(self):
+
+        """Simple symbolic execution examples"""
+
+        def exec_instruction(hex_asm, init_values):
+            """Symbolically execute an instruction"""
+
+            print "Hex:", hex_asm
+
+            # Disassemble an instruction
+            mn = mn_mep.dis(hex_asm.decode("hex"), "b")
+            print "Dis:", mn
+
+            # Get the IR
+            im = ir_mepb()
+            iir, eiir, = im.get_ir(mn)
+            print "\nInternal representation:", iir
+
+            # Symbolic execution
+            loc_db = LocationDB()
+            sb = SymbolicExecutionEngine(ir_a_mepb(loc_db), regs_init)
+
+            # Assign register values before symbolic evaluation
+            for reg_expr_id, reg_expr_value in init_values:
+                sb.symbols[reg_expr_id] = reg_expr_value
+
+            print "\nModified registers:", [reg for reg in sb.modified(mems=False)]
+            print "Modified memories:", [mem for mem in sb.modified()]
+
+            print "\nFinal registers:"
+            sb.dump(mems=False)
+
+            print "\nFinal mems:"
+            sb.dump()
+
+        for hex_asm, init_values in [("6108", [(ExprId("R1", 32), ExprInt(0x40, 32))]),
+                                     ("08a2", [(ExprId("R8", 32), ExprInt(0x40, 32)),
+                                               (ExprId("R10", 32), ExprInt(0x41, 32))]),
+                                     ("0948", [(ExprId("R4", 32), ExprInt(0x41, 32)),
+                                               (ExprId("R9", 32), ExprInt(0x28, 32)),
+                                               (ExprMem(ExprInt(0x41, 32), 8), ExprInt(0, 8))])]:
+            print "-" * 49  # Tests separation
+            exec_instruction(hex_asm, init_values)