diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-02-19 15:53:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-19 15:53:40 +0100 |
| commit | 46bcedfe3103c620af73a066c381ba0843106d01 (patch) | |
| tree | 9ecd18d7cfe490118fa48c8a44dc088d0115c386 /test/expression/simplifications.py | |
| parent | 84f49cf43bfef8b17810f12aa4c5782ee40c3e16 (diff) | |
| parent | 437a5beab3d819d66a9d1d98318912adcc5a08e4 (diff) | |
| download | miasm-46bcedfe3103c620af73a066c381ba0843106d01.tar.gz miasm-46bcedfe3103c620af73a066c381ba0843106d01.zip | |
Merge pull request #1139 from serpilliere/add_simplification
Add == simplification
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index de059075..f36a7b4d 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -522,6 +522,38 @@ to_test = [ ), + ( + ExprOp(TOK_EQUAL, a ^ b, a ^ c), + ExprOp(TOK_EQUAL, b , c) + ), + + ( + ExprOp(TOK_EQUAL, a + b, a + c), + ExprOp(TOK_EQUAL, b , c) + ), + + ( + ExprOp(TOK_EQUAL, a + b, a), + ExprOp(TOK_EQUAL, b , i0) + ), + + ( + ExprOp(TOK_EQUAL, a, a + b), + ExprOp(TOK_EQUAL, b , i0) + ), + + + ( + ExprOp(TOK_EQUAL, ExprOp("+", a, b, c), a), + ExprOp(TOK_EQUAL, b+c , i0) + ), + + ( + ExprOp(TOK_EQUAL, a, ExprOp("+", a, b, c)), + ExprOp(TOK_EQUAL, b+c , i0) + ), + + (ExprOp(TOK_INF_SIGNED, i1, i2), ExprInt(1, 1)), (ExprOp(TOK_INF_UNSIGNED, i1, i2), ExprInt(1, 1)), (ExprOp(TOK_INF_EQUAL_SIGNED, i1, i2), ExprInt(1, 1)), |