VEXConverter: Differentiate between NotN and BitwiseNeg. (#172)

angr · Oct 4, 2023 · 372462d · 372462d
1 parent cf113d3
commit 372462d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ailment/converter_vex.py b/ailment/converter_vex.py
@@ -180,6 +180,9 @@ def Unop(expr, manager):
                     vex_stmt_idx=manager.vex_stmt_idx,
                 )
             raise NotImplementedError("Unsupported operation")
+        elif op_name == "Not" and expr.op != "Iop_Not1":
+            # NotN (N != 1) is equivalent to bitwise negation
+            op_name = "BitwiseNeg"
 
         return UnaryOp(
             manager.next_atom(),