diff options
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index af4544a9..b6645d2b 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -167,6 +167,10 @@ class TranslatorZ3(Translator): res = res >> arg elif expr.op == "a<<": res = res << arg + elif expr.op == "<<<": + res = z3.RotateLeft(res, arg) + elif expr.op == ">>>": + res = z3.RotateRight(res, arg) elif expr.op == "idiv": res = res / arg elif expr.op == "udiv": |