diff options
| author | ajax <devnull@localhost> | 2014-06-12 18:51:59 +0200 |
|---|---|---|
| committer | ajax <devnull@localhost> | 2014-06-12 18:51:59 +0200 |
| commit | a635b0185b9fe26453ceedb5d56aa9d59503b695 (patch) | |
| tree | c5804894924f1d509c07bb492613d573f5e8e93d /test/expression/simplifications.py | |
| parent | 0698cd3820a70182c362ba113849fe8ca5e0e032 (diff) | |
| download | focaccia-miasm-a635b0185b9fe26453ceedb5d56aa9d59503b695.tar.gz focaccia-miasm-a635b0185b9fe26453ceedb5d56aa9d59503b695.zip | |
Simplifications: Add symetric cond catching + corresponding tests
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 057ff1c7..ac6b796d 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -183,6 +183,8 @@ to_test = [ ExprOp_inf_unsigned(a, b)), (ExprOp_inf_unsigned(ExprInt32(-1), ExprInt32(3)), ExprInt1(0)), (ExprOp_inf_signed(ExprInt32(-1), ExprInt32(3)), ExprInt1(1)), + (ExprOp_inf_unsigned(a, b) ^ (a ^ b).msb(), ExprOp_inf_signed(a, b)), + (ExprOp_inf_signed(a, b) ^ (a ^ b).msb(), ExprOp_inf_unsigned(a, b)), ] expr_simp_cond = ExpressionSimplifier() |