diff options
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index acef0904..99cc7c35 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -144,6 +144,8 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)), ExprOp('*', a, b, c, ExprInt32(0x12))), (ExprOp('*', -a, -b, -c, ExprInt32(0x12)), - ExprOp('*', a, b, c, ExprInt32(0x12))), + (ExprOp('**', ExprInt32(2), ExprInt32(8)), ExprInt32(0x100)), + (ExprInt32(2)**ExprInt32(8), ExprInt32(256)), (a | ExprInt32(0xffffffff), ExprInt32(0xffffffff)), (ExprCond(a, ExprInt32(1), ExprInt32(2)) * ExprInt32(4), @@ -349,6 +351,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() |