about summary refs log tree commit diff stats
path: root/test/expression/simplifications.py
diff options
context:
space:
mode:
Diffstat (limited to 'test/expression/simplifications.py')
-rw-r--r--test/expression/simplifications.py5
1 files changed, 4 insertions, 1 deletions
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))),