diff options
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index df7fdceb..1f5a5c5b 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -256,6 +256,14 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)), ), (ExprCompose([(a[:16], 0, 16), (b[:16], 16, 32)])[8:32], ExprCompose([(a[8:16], 0, 8), (b[:16], 8, 24)])), + ((a >> ExprInt32(16))[:16], + a[16:32]), + ((a >> ExprInt32(16))[8:16], + a[24:32]), + ((a << ExprInt32(16))[16:32], + a[:16]), + ((a << ExprInt32(16))[24:32], + a[8:16]), ] |