From 3877d4db136e124973c59d66b106ebe80ce4f732 Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Tue, 9 Oct 2018 18:40:07 +0200 Subject: Simplification: add high evel simp --- test/expression/simplifications.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/expression') 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: -- cgit 1.4.1