diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2015-06-12 18:20:48 +0200 |
|---|---|---|
| committer | serpilliere <serpilliere@users.noreply.github.com> | 2015-06-12 18:20:48 +0200 |
| commit | 5be37436006c6d4578862d879c5ab7bebe8447ff (patch) | |
| tree | 99548e74044c8698ecc41db753344824c11f788c | |
| parent | 15b777061e96f55f2bfd2f7233d67f12b8f9f575 (diff) | |
| parent | 91a55e2d8e0711d5ab197c337968f47d6d9f9d09 (diff) | |
| download | miasm-5be37436006c6d4578862d879c5ab7bebe8447ff.tar.gz miasm-5be37436006c6d4578862d879c5ab7bebe8447ff.zip | |
Merge pull request #176 from commial/useless-cond
Simplifications: Remove useless statements
| -rw-r--r-- | miasm2/expression/simplifications_common.py | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/miasm2/expression/simplifications_common.py b/miasm2/expression/simplifications_common.py index b8c78692..772a2609 100644 --- a/miasm2/expression/simplifications_common.py +++ b/miasm2/expression/simplifications_common.py @@ -15,8 +15,6 @@ def simp_cst_propagation(e_s, e): """ # merge associatif op - if not isinstance(e, ExprOp): - return e args = list(e.args) op = e.op # simpl integer manip @@ -334,8 +332,6 @@ def simp_cst_propagation(e_s, e): def simp_cond_op_int(e_s, e): "Extract conditions from operations" - if not isinstance(e, ExprOp): - return e if not e.op in ["+", "|", "^", "&", "*", '<<', '>>', 'a>>']: return e if len(e.args) < 2: @@ -361,8 +357,6 @@ def simp_cond_op_int(e_s, e): def simp_cond_factor(e_s, e): "Merge similar conditions" - if not isinstance(e, ExprOp): - return e if not e.op in ["+", "|", "^", "&", "*", '<<', '>>', 'a>>']: return e if len(e.args) < 2: @@ -552,8 +546,6 @@ def simp_compose(e_s, e): def simp_cond(e_s, e): "Common simplifications on ExprCond" - if not isinstance(e, ExprCond): - return e # eval exprcond src1/src2 with satifiable/unsatisfiable condition # propagation if (not isinstance(e.cond, ExprInt)) and e.cond.size == 1: |