diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2015-03-24 10:32:19 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2015-03-24 10:45:18 +0100 |
| commit | d8fdbbc563df9f99d29387951d9f007d59623703 (patch) | |
| tree | 2204c336a1f4a70b4a30b8a4720de2f908b4ba65 /test/expression/simplifications.py | |
| parent | 34765c384f2b445a6e0d61e4587fd0f2c196ee6f (diff) | |
| download | miasm-d8fdbbc563df9f99d29387951d9f007d59623703.tar.gz miasm-d8fdbbc563df9f99d29387951d9f007d59623703.zip | |
Test/simplification: add reg test against multiplication simplification
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 15bc9d98..e5bb109c 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -197,6 +197,9 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)), ExprCompose([(a, 0, 32), (d, 32, 64)])), (ExprCompose([(f[:32], 0, 32), (ExprInt32(0), 32, 64)]) | ExprCompose([(ExprInt32(0), 0, 32), (f[32:], 32, 64)]), f), + ((ExprCompose([(a, 0, 32), (ExprInt32(0), 32, 64)]) * ExprInt64(0x123))[32:64], + (ExprCompose([(a, 0, 32), (ExprInt32(0), 32, 64)]) * ExprInt64(0x123))[32:64]) + ] |