diff options
Diffstat (limited to 'miasm2/expression/simplifications.py')
| -rw-r--r-- | miasm2/expression/simplifications.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/miasm2/expression/simplifications.py b/miasm2/expression/simplifications.py index 8ea9c41f..483331a6 100644 --- a/miasm2/expression/simplifications.py +++ b/miasm2/expression/simplifications.py @@ -55,6 +55,7 @@ class ExpressionSimplifier(object): simplifications_common.simp_zeroext_and_cst_eq_cst, simplifications_common.simp_test_signext_inf, simplifications_common.simp_test_zeroext_inf, + simplifications_common.simp_cond_inf_eq_unsigned_zero, ], @@ -67,6 +68,7 @@ class ExpressionSimplifier(object): m2_expr.ExprCond: [ simplifications_common.simp_cond, simplifications_common.simp_cond_zeroext, + simplifications_common.simp_cond_add, # CC op simplifications_common.simp_cond_flag, simplifications_common.simp_cmp_int_arg, @@ -75,11 +77,13 @@ class ExpressionSimplifier(object): simplifications_common.simp_x_and_cst_eq_cst, simplifications_common.simp_cond_logic_ext, simplifications_common.simp_cond_sign_bit, + simplifications_common.simp_cond_eq_1_0, ], m2_expr.ExprMem: [simplifications_common.simp_mem], } + # Heavy passes PASS_HEAVY = {} @@ -193,8 +197,6 @@ class ExpressionSimplifier(object): expr_simp = ExpressionSimplifier() expr_simp.enable_passes(ExpressionSimplifier.PASS_COMMONS) - - expr_simp_high_to_explicit = ExpressionSimplifier() expr_simp_high_to_explicit.enable_passes(ExpressionSimplifier.PASS_HIGH_TO_EXPLICIT) |