about summary refs log tree commit diff stats
path: root/test/expression/simplifications.py
diff options
context:
space:
mode:
authorFabrice Desclaux <fabrice.desclaux@cea.fr>2019-03-15 13:15:13 +0100
committerFabrice Desclaux <fabrice.desclaux@cea.fr>2019-11-19 13:24:46 +0100
commit3d5a46d7c0d33c9f3b532d79c3a0841166d0cf21 (patch)
treedd8b0979beb0269b0d1556a24b988df0ece202a9 /test/expression/simplifications.py
parentcc565ff0c1875793ac153eb6f163d88c0dcab3de (diff)
downloadmiasm-3d5a46d7c0d33c9f3b532d79c3a0841166d0cf21.tar.gz
miasm-3d5a46d7c0d33c9f3b532d79c3a0841166d0cf21.zip
Simplifications: add regression test
Diffstat (limited to 'test/expression/simplifications.py')
-rw-r--r--test/expression/simplifications.py7
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)),