diff options
| author | serpilliere <fabrice.desclaux@cea.fr> | 2016-03-13 20:53:11 +0100 |
|---|---|---|
| committer | serpilliere <fabrice.desclaux@cea.fr> | 2016-03-13 20:53:11 +0100 |
| commit | f0aafd6cf7d0177c572c5e0e1f27637337500d06 (patch) | |
| tree | f8df5b54b6f7888884648ca2e7c9d44abe9d0372 | |
| parent | ef051591db4255831159ee3e3173212cff837618 (diff) | |
| download | miasm-f0aafd6cf7d0177c572c5e0e1f27637337500d06.tar.gz miasm-f0aafd6cf7d0177c572c5e0e1f27637337500d06.zip | |
Remove dummy operator
| -rw-r--r-- | miasm2/ir/translators/C.py | 1 | ||||
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 2 | ||||
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 2 |
3 files changed, 0 insertions, 5 deletions
diff --git a/miasm2/ir/translators/C.py b/miasm2/ir/translators/C.py index a7ba1a20..2c44d9e1 100644 --- a/miasm2/ir/translators/C.py +++ b/miasm2/ir/translators/C.py @@ -13,7 +13,6 @@ class TranslatorC(Translator): dct_shift = {'a>>': "right_arith", '>>': "right_logic", '<<': "left_logic", - 'a<<': "left_logic", } dct_rot = {'<<<': 'rot_left', '>>>': 'rot_right', diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index e832d3b8..21f40e54 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -220,8 +220,6 @@ class TranslatorSMT2(Translator): res = bvshl(res, arg) elif expr.op == ">>": res = bvlshr(res, arg) - elif expr.op == "a<<": - res = bvshl(res, arg) elif expr.op == "a>>": res = bvashr(res, arg) elif expr.op == "<<<": diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index a1b90ae8..79099520 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -165,8 +165,6 @@ class TranslatorZ3(Translator): res = z3.LShR(res, arg) elif expr.op == "a>>": res = res >> arg - elif expr.op == "a<<": - res = res << arg elif expr.op == "<<<": res = z3.RotateLeft(res, arg) elif expr.op == ">>>": |