perf(wcp): isZero is zero (#87)

Consensys · Jan 29, 2024 · 273f3ad · 273f3ad
1 parent 1ca61b0
commit 273f3ad
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/stp/constraints.lisp b/stp/constraints.lisp
@@ -260,7 +260,7 @@
          ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
          (eq! (next ARG_1_HI) VAL_HI)
          (eq! (next ARG_1_LO) VAL_LO)
-         (vanishes! (next ARG_2_LO))
+         (debug (vanishes! (next ARG_2_LO)))
          (eq! (next EXO_INST) ISZERO)
          (eq! (next WCP_FLAG) (cctv))
          (vanishes! (next MOD_FLAG))

diff --git a/wcp/constraints.lisp b/wcp/constraints.lisp
@@ -156,9 +156,9 @@
                                    (- (* (- (* 2 BIT_4) 1)
                                          (- ARG_1_LO ARG_2_LO))
                                       BIT_4)))))
-         (debug (if-eq IS_ISZERO 1
-                       (begin (vanishes! ARG_2_HI)
-                              (vanishes! ARG_2_LO))))))
+         (if-eq IS_ISZERO 1
+                (begin (vanishes! ARG_2_HI)
+                       (vanishes! ARG_2_LO)))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                              ;;