diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2016-06-29 13:45:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-29 13:45:18 +0200 |
| commit | 4a9dfaf13d47e27dd18639863c668686a0093cbd (patch) | |
| tree | aa52cc8936df4fae1da20c539744a62e2a63d363 /test/expression/simplifications.py | |
| parent | e067f41e34e9d99408be3b5194205390f05a8b2c (diff) | |
| parent | 0892884efe94d6feee19fcae5dde0f5aa2223303 (diff) | |
| download | miasm-4a9dfaf13d47e27dd18639863c668686a0093cbd.tar.gz miasm-4a9dfaf13d47e27dd18639863c668686a0093cbd.zip | |
Merge pull request #388 from commial/fix/__comp_signed
Fix ExprOp_inf_signed + unit tests #385
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index acef0904..a4592e9d 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -349,6 +349,12 @@ to_test = [ (ExprOp_equal(ExprInt32(12), ExprInt32(-12)), ExprInt1(0)), (ExprCond(a - b, ExprInt1(0), ExprInt1(1)), ExprOp_equal(a, b)), (ExprCond(a + b, ExprInt1(0), ExprInt1(1)), ExprOp_equal(a, -b)), + (ExprOp_inf_signed(ExprInt32(-2), ExprInt32(3)), ExprInt1(1)), + (ExprOp_inf_signed(ExprInt32(3), ExprInt32(-3)), ExprInt1(0)), + (ExprOp_inf_signed(ExprInt32(2), ExprInt32(3)), ExprInt1(1)), + (ExprOp_inf_signed(ExprInt32(-3), ExprInt32(-2)), ExprInt1(1)), + (ExprOp_inf_signed(ExprInt32(0), ExprInt32(2)), ExprInt1(1)), + (ExprOp_inf_signed(ExprInt32(-3), ExprInt32(0)), ExprInt1(1)), ] expr_simp_cond = ExpressionSimplifier() |