From ccee69ba3b27f298c6d2cd5daa4b8976a571582e Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Sun, 19 Aug 2018 14:43:14 +0200 Subject: Expression: add simp cond --- miasm2/expression/simplifications_common.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'miasm2/expression/simplifications_common.py') diff --git a/miasm2/expression/simplifications_common.py b/miasm2/expression/simplifications_common.py index b01b1d1d..2bdccdbd 100644 --- a/miasm2/expression/simplifications_common.py +++ b/miasm2/expression/simplifications_common.py @@ -1021,3 +1021,15 @@ def simp_zeroext_eq_cst(expr_s, expr): # Always false return ExprInt(0, 1) return ExprOp("==", src, ExprInt(int(arg2), src.size)) + + +def simp_cond_eq_zero(expr_s, expr): + # (X == 0)?(A:B) => X?(B:A) + cond = expr.cond + if not cond.is_op('=='): + return expr + arg1, arg2 = cond.args + if not arg2.is_int(0): + return expr + new_expr = ExprCond(arg1, expr.src2, expr.src1) + return new_expr -- cgit 1.4.1