From 5047f98e5d34784387b73849b4cb3eaae0a26c16 Mon Sep 17 00:00:00 2001 From: Date: Mon, 12 Feb 2018 18:41:43 +0100 Subject: changing index of simplification from 1 to -1 in A op 0 => 0 + adding testcases --- test/expression/simplifications.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test/expression/simplifications.py') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index ad420621..6d17db10 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -134,6 +134,10 @@ to_test = [(ExprInt(1, 32) - ExprInt(1, 32), ExprInt(0, 32)), (ExprOp('*', a, b, c, ExprInt(0x12, 32))[0:17], ExprOp( '*', a[0:17], b[0:17], c[0:17], ExprInt(0x12, 17))), + (ExprOp('*', a, ExprInt(0x0, 32)), + ExprInt(0x0, 32)), + (ExprOp('&', a, ExprInt(0x0, 32)), + ExprInt(0x0, 32)), (ExprOp('*', a, ExprInt(0xffffffff, 32)), -a), (ExprOp('*', -a, -b, c, ExprInt(0x12, 32)), -- cgit 1.4.1