diff options
| author | serpilliere <devnull@localhost> | 2014-06-13 09:36:58 +0200 |
|---|---|---|
| committer | serpilliere <devnull@localhost> | 2014-06-13 09:36:58 +0200 |
| commit | b2f02006df9487905384cd7654e003dbf01419a0 (patch) | |
| tree | da1ded03ba7204368d6195a5fa1dd95e61a996e1 /miasm2/expression/simplifications.py | |
| parent | 24b677448d875d408c1fff038bed27d2b223a3da (diff) | |
| download | miasm-b2f02006df9487905384cd7654e003dbf01419a0.tar.gz miasm-b2f02006df9487905384cd7654e003dbf01419a0.zip | |
Simplification: detect and handle == condition
Add corresponding regression tests
Diffstat (limited to 'miasm2/expression/simplifications.py')
| -rw-r--r-- | miasm2/expression/simplifications.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/miasm2/expression/simplifications.py b/miasm2/expression/simplifications.py index d633cf3e..cbffb219 100644 --- a/miasm2/expression/simplifications.py +++ b/miasm2/expression/simplifications.py @@ -40,7 +40,9 @@ class ExpressionSimplifier(object): simplifications_cond.expr_simp_inf_unsigned_inversed], m2_expr.ExprOp: [simplifications_cond.exec_inf_unsigned, simplifications_cond.exec_inf_signed, - simplifications_cond.expr_simp_inverse], + simplifications_cond.expr_simp_inverse, + simplifications_cond.exec_equal], + m2_expr.ExprCond: [simplifications_cond.expr_simp_equal] } |