From a635b0185b9fe26453ceedb5d56aa9d59503b695 Mon Sep 17 00:00:00 2001 From: ajax Date: Thu, 12 Jun 2014 18:51:59 +0200 Subject: Simplifications: Add symetric cond catching + corresponding tests --- test/expression/simplifications.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/expression/simplifications.py') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 057ff1c7..ac6b796d 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -183,6 +183,8 @@ to_test = [ ExprOp_inf_unsigned(a, b)), (ExprOp_inf_unsigned(ExprInt32(-1), ExprInt32(3)), ExprInt1(0)), (ExprOp_inf_signed(ExprInt32(-1), ExprInt32(3)), ExprInt1(1)), + (ExprOp_inf_unsigned(a, b) ^ (a ^ b).msb(), ExprOp_inf_signed(a, b)), + (ExprOp_inf_signed(a, b) ^ (a ^ b).msb(), ExprOp_inf_unsigned(a, b)), ] expr_simp_cond = ExpressionSimplifier() -- cgit 1.4.1