guest_amd64_spechelper: Fix size inconsistency for ADDL CondZ. (#59)

angr · Nov 12, 2023 · 3e4d96a · 3e4d96a
1 parent 66fa43e
commit 3e4d96a
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/priv/guest_amd64_helpers.c b/priv/guest_amd64_helpers.c
@@ -1089,9 +1089,10 @@ IRExpr* guest_amd64_spechelper ( const HChar* function_name,
          /* dep1 + dep2 == 0
           */
          return
-            binop(Iop_CmpEQ32,
-                  binop(Iop_Add32, unop(Iop_64to32, cc_dep1), unop(Iop_64to32, cc_dep2)),
-                  mkU32(0));
+            unop(Iop_1Uto64,
+               binop(Iop_CmpEQ32,
+                     binop(Iop_Add32, unop(Iop_64to32, cc_dep1), unop(Iop_64to32, cc_dep2)),
+                     mkU32(0)));
       }
 
       /*---------------- SUBQ ----------------*/