diff options
| author | Camille Mougey <commial@gmail.com> | 2019-01-16 15:10:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-16 15:10:22 +0100 |
| commit | 28285a330da5fd586e31dceb152a35c6171698ba (patch) | |
| tree | b9f3649a1c0d0bacef142bfcf2b98310c89a5f70 /miasm2/ir/translators/z3_ir.py | |
| parent | 026069748a814259018ddc660e0a3d43cc0d681c (diff) | |
| parent | e8a12bea1445afd764f4ef7075075a773fe84677 (diff) | |
| download | miasm-28285a330da5fd586e31dceb152a35c6171698ba.tar.gz miasm-28285a330da5fd586e31dceb152a35c6171698ba.zip | |
Merge pull request #942 from serpilliere/rename_idiv_sdiv
Rename idiv/imod into sdiv/smod
Diffstat (limited to 'miasm2/ir/translators/z3_ir.py')
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index d43468ef..2572ac74 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -171,7 +171,7 @@ class TranslatorZ3(Translator): def _abs(self, z3_value): return z3.If(z3_value >= 0,z3_value,-z3_value) - def _idivC(self, num, den): + def _sdivC(self, num, den): """Divide (signed) @num by @den (z3 values) as C would See modint.__div__ for implementation choice """ @@ -197,12 +197,12 @@ class TranslatorZ3(Translator): res = z3.RotateLeft(res, arg) elif expr.op == ">>>": res = z3.RotateRight(res, arg) - elif expr.op == "idiv": - res = self._idivC(res, arg) + elif expr.op == "sdiv": + res = self._sdivC(res, arg) elif expr.op == "udiv": res = z3.UDiv(res, arg) - elif expr.op == "imod": - res = res - (arg * (self._idivC(res, arg))) + elif expr.op == "smod": + res = res - (arg * (self._sdivC(res, arg))) elif expr.op == "umod": res = z3.URem(res, arg) elif expr.op == "==": |