diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-03-20 11:49:05 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-03-20 11:49:34 +0100 |
| commit | 46d99843243bf5f8ebf1db653183aa8e4a2a4f87 (patch) | |
| tree | ae6f62c1b4cc26c493f4b4ffa003a826989b4d8e /test/expression/simplifications.py | |
| parent | fc8c0c77c2e0d99ceaa37407ff6c5cbcf469962c (diff) | |
| download | focaccia-miasm-46d99843243bf5f8ebf1db653183aa8e4a2a4f87.tar.gz focaccia-miasm-46d99843243bf5f8ebf1db653183aa8e4a2a4f87.zip | |
Add simplifications
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index f36a7b4d..1f243425 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -457,6 +457,7 @@ to_test = [(ExprInt(1, 32) - ExprInt(1, 32), ExprInt(0, 32)), (ExprOp("signExt_16", ExprInt(-0x8, 8)), ExprInt(-0x8, 16)), (ExprCond(a8.zeroExtend(32), a, b), ExprCond(a8, a, b)), + (ExprCond(a8, bi1, bi0).zeroExtend(32), ExprCond(a8, i1, i0)), (- (i2*a), a * im2), |