diff options
| author | Camille Mougey <commial@gmail.com> | 2017-09-01 07:46:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-01 07:46:55 +0200 |
| commit | 752357fedaf07e196977bb5e5d87f40c67efc8dc (patch) | |
| tree | 63ce8a095441bb72f3bc11ab8458f7a909b8906f /test/expression/simplifications.py | |
| parent | f66e973a8c376516d6ea09743e529fe6bd0a7b68 (diff) | |
| parent | 43d26a5244e9fb161012db97d4d04600b24e1f18 (diff) | |
| download | miasm-752357fedaf07e196977bb5e5d87f40c67efc8dc.tar.gz miasm-752357fedaf07e196977bb5e5d87f40c67efc8dc.zip | |
Merge pull request #602 from serpilliere/add_reductions
Add reductions
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index efabddb5..ad420621 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -318,6 +318,10 @@ to_test = [(ExprInt(1, 32) - ExprInt(1, 32), ExprInt(0, 32)), ExprMem(a + ExprInt(0x42, a.size), 16), ExprInt(0x0321, 16)), ExprCompose(ExprInt(0x0123, 16), ExprMem(a + ExprInt(0x40, a.size), 32), ExprInt(0x0321, 16))), + (ExprCompose(ExprCond(a, i1, i0), ExprCond(a, i1, i2)), + ExprCond(a, ExprInt(0x100000001, 64), ExprInt(0x200000000, 64))), + ((ExprMem(ExprCond(a, b, c)),ExprCond(a, ExprMem(b), ExprMem(c)))), + (ExprCond(a, i0, i1) + ExprCond(a, i0, i1), ExprCond(a, i0, i2)), ] |