diff options
| author | Camille Mougey <commial@gmail.com> | 2015-07-24 12:05:58 +0200 |
|---|---|---|
| committer | Camille Mougey <commial@gmail.com> | 2015-07-24 12:05:58 +0200 |
| commit | af4dad71abdbfdbdb4d371f0e9a4dc6ac937289c (patch) | |
| tree | ad7e60389b03b532b9c8eb44d484470a87b45a5f /test | |
| parent | 97463558ea31744a24e3330ab3227e2098878d03 (diff) | |
| parent | 310cc708474650a567eb099386373638b67daad7 (diff) | |
| download | miasm-af4dad71abdbfdbdb4d371f0e9a4dc6ac937289c.tar.gz miasm-af4dad71abdbfdbdb4d371f0e9a4dc6ac937289c.zip | |
Merge pull request #197 from serpilliere/simp_shr_slice
Simplification of shift/slice
Diffstat (limited to 'test')
| -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]), ] |