current_block_control_dependent always true for acir

vezenovm · vezenovm · commit f67e28883bd1 · 2025-03-11T19:42:34.000Z
diff --git a/compiler/noirc_evaluator/src/ssa/opt/loop_invariant.rs b/compiler/noirc_evaluator/src/ssa/opt/loop_invariant.rs
@@ -158,6 +158,8 @@ impl<'f> LoopInvariantContext<'f> {
             // avoid greater compilation cost.
             if self.inserter.function.runtime().is_brillig() {
                 self.is_control_dependent_post_pre_header(loop_, *block);
+            } else {
+                self.current_block_control_dependent = true;
             }
 
             for instruction_id in self.inserter.function.dfg[*block].take_instructions() {

Original file line number	Diff line number	Diff line change
`@@ -158,6 +158,8 @@ impl<'f> LoopInvariantContext<'f> {`
`158`	`158`	`// avoid greater compilation cost.`
`159`	`159`	`if self.inserter.function.runtime().is_brillig() {`
`160`	`160`	`self.is_control_dependent_post_pre_header(loop_, *block);`
	`161`	`+ } else {`
	`162`	`+ self.current_block_control_dependent = true;`
`161`	`163`	`}`
`162`	`164`
`163`	`165`	`for instruction_id in self.inserter.function.dfg[*block].take_instructions() {`