diff --git a/src/isa/x86/exec/arith.h b/src/isa/x86/exec/arith.h
index 23e47c5950702e43410300c9e35231a9de5ffd66..79c74b4432130a030d7ab56673fb63c534bb0436 100644
--- a/src/isa/x86/exec/arith.h
+++ b/src/isa/x86/exec/arith.h
@@ -98,9 +98,9 @@ static inline make_EHelper(neg) {
 
 static inline make_EHelper(adc) {
 #ifdef LAZY_CC
-  rtl_lazy_setcc(s, s1, CC_B); // reading CC_B is to read CF
+  rtl_lazy_setcc(s, s0, CC_B); // reading CC_B is to read CF
 #else
-  rtl_get_CF(s, s1);
+  rtl_get_CF(s, s0);
 #endif
   rtl_add(s, s0, dsrc1, s0);
   rtl_add(s, s1, ddest, s0);