From 46d99843243bf5f8ebf1db653183aa8e4a2a4f87 Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Fri, 20 Mar 2020 11:49:05 +0100 Subject: Add simplifications --- test/expression/simplifications.py | 1 + 1 file changed, 1 insertion(+) (limited to 'test') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index f36a7b4d..1f243425 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -457,6 +457,7 @@ to_test = [(ExprInt(1, 32) - ExprInt(1, 32), ExprInt(0, 32)), (ExprOp("signExt_16", ExprInt(-0x8, 8)), ExprInt(-0x8, 16)), (ExprCond(a8.zeroExtend(32), a, b), ExprCond(a8, a, b)), + (ExprCond(a8, bi1, bi0).zeroExtend(32), ExprCond(a8, i1, i0)), (- (i2*a), a * im2), -- cgit 1.4.1