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>2018-10-09 18:40:07 +0200
committerFabrice Desclaux <fabrice.desclaux@cea.fr>2018-10-09 18:41:12 +0200
commit3877d4db136e124973c59d66b106ebe80ce4f732 (patch)
tree2508ba1c10649dc70b947349b090a645327d5fac /test/expression/simplifications.py
parent47cfb74e8c9cddef389e461283ec22a856e02a8c (diff)
downloadmiasm-3877d4db136e124973c59d66b106ebe80ce4f732.tar.gz
miasm-3877d4db136e124973c59d66b106ebe80ce4f732.zip
Simplification: add high evel simp
Diffstat (limited to 'test/expression/simplifications.py')
-rw-r--r--test/expression/simplifications.py3
1 files changed, 3 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py
index 8f9656d4..741d6adb 100644
--- a/test/expression/simplifications.py
+++ b/test/expression/simplifications.py
@@ -495,6 +495,9 @@ to_test = [
     (ExprOp(TOK_INF_EQUAL_SIGNED, i1, im1), ExprInt(0, 1)),
     (ExprOp(TOK_INF_EQUAL_UNSIGNED, i1, im1), ExprInt(1, 1)),
 
+    (ExprOp(TOK_EQUAL, a8.zeroExtend(32), b8.zeroExtend(32)), ExprOp(TOK_EQUAL, a8, b8)),
+    (ExprOp(TOK_EQUAL, a8.signExtend(32), b8.signExtend(32)), ExprOp(TOK_EQUAL, a8, b8)),
+
 ]
 
 for e_input, e_check in to_test: