diff options
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index e0b666da..de059075 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -515,6 +515,13 @@ to_test = [ ExprOp(TOK_EQUAL, a , i3) ), + + ( + ExprOp(TOK_EQUAL, ExprOp("^", a, b, i2), i1), + ExprOp(TOK_EQUAL, a^b , i3) + ), + + (ExprOp(TOK_INF_SIGNED, i1, i2), ExprInt(1, 1)), (ExprOp(TOK_INF_UNSIGNED, i1, i2), ExprInt(1, 1)), (ExprOp(TOK_INF_EQUAL_SIGNED, i1, i2), ExprInt(1, 1)), |