diff options
| author | serpilliere <fabrice.desclaux@cea.fr> | 2015-07-29 19:41:09 +0200 |
|---|---|---|
| committer | serpilliere <fabrice.desclaux@cea.fr> | 2015-07-29 19:41:09 +0200 |
| commit | 5802dfd9ff93f755b648ff4a3ba236a80c121fb3 (patch) | |
| tree | fd59350d0febe1c45554ae59471fa0afb8585fb7 /test/expression/simplifications.py | |
| parent | 08edc1039220b795f2ef19ecd966e79892b39bff (diff) | |
| download | focaccia-miasm-5802dfd9ff93f755b648ff4a3ba236a80c121fb3.tar.gz focaccia-miasm-5802dfd9ff93f755b648ff4a3ba236a80c121fb3.zip | |
Test/simplification: add cmpx regression tests
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 1f5a5c5b..6290a807 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -3,6 +3,7 @@ # from pdb import pm from miasm2.expression.expression import * +from miasm2.expression.expression_helper import expr_cmpu, expr_cmps from miasm2.expression.simplifications import expr_simp, ExpressionSimplifier from miasm2.expression.simplifications_cond import ExprOp_inf_signed, ExprOp_inf_unsigned, ExprOp_equal @@ -264,6 +265,38 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)), a[:16]), ((a << ExprInt32(16))[24:32], a[8:16]), + (expr_cmpu(ExprInt32(0), ExprInt32(0)), + ExprInt1(0)), + (expr_cmpu(ExprInt32(10), ExprInt32(0)), + ExprInt1(1)), + (expr_cmpu(ExprInt32(10), ExprInt32(5)), + ExprInt1(1)), + (expr_cmpu(ExprInt32(5), ExprInt32(10)), + ExprInt1(0)), + (expr_cmpu(ExprInt32(-1), ExprInt32(0)), + ExprInt1(1)), + (expr_cmpu(ExprInt32(-1), ExprInt32(-1)), + ExprInt1(0)), + (expr_cmpu(ExprInt32(0), ExprInt32(-1)), + ExprInt1(0)), + (expr_cmps(ExprInt32(0), ExprInt32(0)), + ExprInt1(0)), + (expr_cmps(ExprInt32(10), ExprInt32(0)), + ExprInt1(1)), + (expr_cmps(ExprInt32(10), ExprInt32(5)), + ExprInt1(1)), + (expr_cmps(ExprInt32(5), ExprInt32(10)), + ExprInt1(0)), + (expr_cmps(ExprInt32(-1), ExprInt32(0)), + ExprInt1(0)), + (expr_cmps(ExprInt32(-1), ExprInt32(-1)), + ExprInt1(0)), + (expr_cmps(ExprInt32(0), ExprInt32(-1)), + ExprInt1(1)), + (expr_cmps(ExprInt32(-5), ExprInt32(-10)), + ExprInt1(1)), + (expr_cmps(ExprInt32(-10), ExprInt32(-5)), + ExprInt1(0)), ] |