diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-03-20 13:26:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-20 13:26:27 +0100 |
| commit | a040288c541f3b2d05fe1ce50f4c30a22572a3fb (patch) | |
| tree | ae6f62c1b4cc26c493f4b4ffa003a826989b4d8e /test | |
| parent | fc8c0c77c2e0d99ceaa37407ff6c5cbcf469962c (diff) | |
| parent | 46d99843243bf5f8ebf1db653183aa8e4a2a4f87 (diff) | |
| download | miasm-a040288c541f3b2d05fe1ce50f4c30a22572a3fb.tar.gz miasm-a040288c541f3b2d05fe1ce50f4c30a22572a3fb.zip | |
Merge pull request #1161 from serpilliere/add_simplifications
Add simplifications
Diffstat (limited to 'test')
| -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), |