From e56af8002351fbe562a08ba553b7a447f8d99319 Mon Sep 17 00:00:00 2001 From: Ajax Date: Thu, 12 Nov 2015 15:47:41 +0100 Subject: Simplification: add regression test for '>>>', '<<<' --- test/expression/simplifications.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'test/expression/simplifications.py') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 12d8f958..60609df4 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -60,7 +60,10 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)), ExprOp('<<<', a, (b-c))), (ExprOp('>>>', ExprOp('<<<', a, b), b), a), - + (ExprOp(">>>", ExprInt16(0x1000), ExprInt16(0x11)), + ExprInt16(0x800)), + (ExprOp("<<<", ExprInt16(0x1000), ExprInt16(0x11)), + ExprInt16(0x2000)), (ExprOp('>>>', ExprOp('<<<', a, ExprInt32(10)), ExprInt32(2)), ExprOp('<<<', a, ExprInt32(8))), -- cgit 1.4.1