diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-02-08 21:06:19 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-02-12 10:26:29 +0100 |
| commit | 15976e2f8c0a490d6c6b8c3ef02d38762ed8585c (patch) | |
| tree | b44396641b3183bc1893072c8d018001ecbf0e21 /test/expression | |
| parent | ab5442f5301727edf77260947b2fca339ca9bd44 (diff) | |
| download | focaccia-miasm-15976e2f8c0a490d6c6b8c3ef02d38762ed8585c.tar.gz focaccia-miasm-15976e2f8c0a490d6c6b8c3ef02d38762ed8585c.zip | |
Add simp cst == X+ cst; X ^cst = cst
Diffstat (limited to 'test/expression')
| -rw-r--r-- | test/expression/simplifications.py | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 263479b7..cc33fc54 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -494,6 +494,21 @@ to_test = [ ExprOp(TOK_EQUAL, a8, ExprInt(0xFF, 8)) ), + ( + ExprOp(TOK_EQUAL, i2, a + i1), + ExprOp(TOK_EQUAL, a , i1) + ), + + ( + ExprOp(TOK_EQUAL, a ^ i1, i2), + ExprOp(TOK_EQUAL, a , i3) + ), + + ( + ExprOp(TOK_EQUAL, i2, a ^ i1), + ExprOp(TOK_EQUAL, a , i3) + ), + (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)), |