additional debug message

Veridise · Jul 30, 2024 · c59a274 · c59a274
1 parent d7acfd1
commit c59a274
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/circuit_passes/src/passes/loop_unroll/observer.rs b/circuit_passes/src/passes/loop_unroll/observer.rs
@@ -183,7 +183,12 @@ impl LoopUnrollObserver<'_> {
                 }
                 match cond {
                     // If the conditional becomes unknown just give up.
-                    None => return Ok(None),
+                    None => {
+                        if DEBUG_LOOP_UNROLL {
+                            println!("[UNROLL][try_unroll_loop] OUTCOME: not safe to move or unroll, condition unknown");
+                        }
+                        return Ok(None);
+                    }
                     // When conditional becomes `false`, iteration count is complete.
                     Some(false) => break,
                     // Otherwise, continue counting.