prevent instr fail from being optimized away (#2243)

powdr-labs · Dec 17, 2024 · 38d26f4 · 38d26f4
1 parent e2131f5
commit 38d26f4
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/riscv/src/riscv_gl.asm b/riscv/src/riscv_gl.asm
@@ -294,7 +294,11 @@ machine Main with min_degree: MIN_DEGREE, max_degree: {{MAIN_MAX_DEGREE}} {
 
     // ======================= assertions =========================
 
-    instr fail { 1 = 0 }
+    instr fail
+        link ~> tmp1_col = regs.mload(0, STEP)
+    {
+        tmp1_col = 1
+    }
 
     // Wraps V = val(X) * Y and stores it in register Z,
     // where X is a register and Y is a constant factor.