diff options
Diffstat (limited to 'miasm/ir/translators/smt2.py')
| -rw-r--r-- | miasm/ir/translators/smt2.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/miasm/ir/translators/smt2.py b/miasm/ir/translators/smt2.py index c4260eb4..d3366b8b 100644 --- a/miasm/ir/translators/smt2.py +++ b/miasm/ir/translators/smt2.py @@ -4,6 +4,8 @@ import logging from miasm.ir.translators.translator import Translator from miasm.expression.smt2_helper import * +from miasm.expression.expression import ExprCond, ExprInt + log = logging.getLogger("translator_smt2") console_handler = logging.StreamHandler() @@ -226,6 +228,8 @@ class TranslatorSMT2(Translator): res = bv_rotate_left(res, arg, expr.size) elif expr.op == ">>>": res = bv_rotate_right(res, arg, expr.size) + elif expr.op == "==": + res = self.from_expr(ExprCond(expr.args[0] - expr.args[1], ExprInt(0, 1), ExprInt(1, 1))) else: raise NotImplementedError("Unsupported OP yet: %s" % expr.op) elif expr.op == 'parity': |