From 0892884efe94d6feee19fcae5dde0f5aa2223303 Mon Sep 17 00:00:00 2001 From: JB Cayrou Date: Sun, 26 Jun 2016 17:00:44 +0200 Subject: Fix ExprOp_inf_signed + unit tests #385 --- test/expression/simplifications.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'test/expression') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index acef0904..a4592e9d 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -349,6 +349,12 @@ to_test = [ (ExprOp_equal(ExprInt32(12), ExprInt32(-12)), ExprInt1(0)), (ExprCond(a - b, ExprInt1(0), ExprInt1(1)), ExprOp_equal(a, b)), (ExprCond(a + b, ExprInt1(0), ExprInt1(1)), ExprOp_equal(a, -b)), + (ExprOp_inf_signed(ExprInt32(-2), ExprInt32(3)), ExprInt1(1)), + (ExprOp_inf_signed(ExprInt32(3), ExprInt32(-3)), ExprInt1(0)), + (ExprOp_inf_signed(ExprInt32(2), ExprInt32(3)), ExprInt1(1)), + (ExprOp_inf_signed(ExprInt32(-3), ExprInt32(-2)), ExprInt1(1)), + (ExprOp_inf_signed(ExprInt32(0), ExprInt32(2)), ExprInt1(1)), + (ExprOp_inf_signed(ExprInt32(-3), ExprInt32(0)), ExprInt1(1)), ] expr_simp_cond = ExpressionSimplifier() -- cgit 1.4.1