From 3d5a46d7c0d33c9f3b532d79c3a0841166d0cf21 Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Fri, 15 Mar 2019 13:15:13 +0100 Subject: Simplifications: add regression test --- test/expression/simplifications.py | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'test/expression/simplifications.py') 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)), -- cgit 1.4.1