From c33451c9e1874a54498c3ad9fda560631c94bb8a Mon Sep 17 00:00:00 2001
From: ajax <devnull@localhost>
Date: Wed, 30 Jul 2014 15:47:55 +0200
Subject: Simplification: Fix 'A op 0' with op == '-' bug, add corresponding
 test case

---
 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 6b437218..0f217c72 100644
--- a/test/expression/simplifications.py
+++ b/test/expression/simplifications.py
@@ -155,6 +155,8 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)),
     (a & b & ExprInt_fromsize(a.size, -1), a & b),
     (a | b | ExprInt_fromsize(a.size, -1),
      ExprInt_fromsize(a.size, -1)),
+    (ExprOp('-', ExprInt8(1), ExprInt8(0)),
+     ExprInt8(1)),
 ]
 
 for e, e_check in to_test[:]:
-- 
cgit 1.4.1