diff options
| author | Camille Mougey <commial@gmail.com> | 2019-01-16 11:48:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-16 11:48:09 +0100 |
| commit | 026069748a814259018ddc660e0a3d43cc0d681c (patch) | |
| tree | 64ad570bc4620a789033d4b5ac01a5adb0d7fe3c /miasm2/expression/simplifications.py | |
| parent | ddeca6ce968cb4e56d10b31b169743faf07b7a13 (diff) | |
| parent | 0bbef883b95887c4e0ada13f440bc2c4bc87fad5 (diff) | |
| download | miasm-026069748a814259018ddc660e0a3d43cc0d681c.tar.gz miasm-026069748a814259018ddc660e0a3d43cc0d681c.zip | |
Merge pull request #907 from serpilliere/add_simplifications
Expression: add simplifications
Diffstat (limited to 'miasm2/expression/simplifications.py')
| -rw-r--r-- | miasm2/expression/simplifications.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/miasm2/expression/simplifications.py b/miasm2/expression/simplifications.py index 3f50fc1a..8ea9c41f 100644 --- a/miasm2/expression/simplifications.py +++ b/miasm2/expression/simplifications.py @@ -49,24 +49,32 @@ class ExpressionSimplifier(object): simplifications_common.simp_ext_eq_ext, simplifications_common.simp_cmp_int, + simplifications_common.simp_sign_inf_zeroext, simplifications_common.simp_cmp_int_int, simplifications_common.simp_ext_cst, + simplifications_common.simp_zeroext_and_cst_eq_cst, + simplifications_common.simp_test_signext_inf, + simplifications_common.simp_test_zeroext_inf, ], m2_expr.ExprSlice: [ simplifications_common.simp_slice, simplifications_common.simp_slice_of_ext, + simplifications_common.simp_slice_of_op_ext, ], m2_expr.ExprCompose: [simplifications_common.simp_compose], m2_expr.ExprCond: [ simplifications_common.simp_cond, + simplifications_common.simp_cond_zeroext, # CC op simplifications_common.simp_cond_flag, simplifications_common.simp_cmp_int_arg, simplifications_common.simp_cond_eq_zero, - + simplifications_common.simp_x_and_cst_eq_cst, + simplifications_common.simp_cond_logic_ext, + simplifications_common.simp_cond_sign_bit, ], m2_expr.ExprMem: [simplifications_common.simp_mem], |