diff options
| author | Guillaume Valadon <guillaume.valadon@netatmo.com> | 2018-11-22 12:16:36 +0100 |
|---|---|---|
| committer | Guillaume Valadon <guillaume.valadon@netatmo.com> | 2018-11-22 12:16:36 +0100 |
| commit | 363fa05f82e8326ef91b30f6b3b1a13d37e517cd (patch) | |
| tree | 707facd277aae33026fb5e7c4ec6d0fddff84c46 /test/arch/mep/ir/test_branchjump.py | |
| parent | ba4071553ea2e44ce87f58a9377dcc1d29bd81a1 (diff) | |
| download | miasm-363fa05f82e8326ef91b30f6b3b1a13d37e517cd.tar.gz miasm-363fa05f82e8326ef91b30f6b3b1a13d37e517cd.zip | |
Correct MeP BGEI semantic
Diffstat (limited to 'test/arch/mep/ir/test_branchjump.py')
| -rw-r--r-- | test/arch/mep/ir/test_branchjump.py | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/test/arch/mep/ir/test_branchjump.py b/test/arch/mep/ir/test_branchjump.py index 48feb54d..3f78558b 100644 --- a/test/arch/mep/ir/test_branchjump.py +++ b/test/arch/mep/ir/test_branchjump.py @@ -3,7 +3,7 @@ from ut_helpers_ir import exec_instruction -from miasm2.expression.expression import ExprId, ExprCond, ExprOp, ExprInt +from miasm2.expression.expression import ExprId, ExprInt class TestBranchJump: @@ -105,7 +105,17 @@ class TestBranchJump: # BGEI Rn,imm4,disp17.align2 exec_instruction("BGEI R1, 0x5, 0x10000", [(ExprId("R1", 32), ExprInt(0x10, 32))], - [(ExprId("PC", 32), ExprCond(ExprOp(">=", ExprInt(0x10, 32), ExprInt(0x5, 32)), ExprInt(0xFFFF0010, 32), ExprInt(0x14, 32)))], + [(ExprId("PC", 32), ExprInt(0xFFFF0010, 32))], + offset=0x10) + + exec_instruction("BGEI R1, 0x5, 0x10000", + [(ExprId("R1", 32), ExprInt(0x01, 32))], + [(ExprId("PC", 32), ExprInt(0x14, 32))], + offset=0x10) + + exec_instruction("BGEI R1, 0x5, 0x10000", + [(ExprId("R1", 32), ExprInt(0x05, 32))], + [(ExprId("PC", 32), ExprInt(0xFFFF0010, 32))], offset=0x10) def test_beq(self): |