[flang-commits] [flang] [flang] Add RegionBranchOpInterface to fir.do_loop (PR #202418)

[Razvan Lupusoru via flang-commits]

================
@@ -263,11 +263,11 @@ func.func @test_rb_optional_ref_outside_target(%arg0: !fir.ref<i32> {fir.bindc_n
 
 // -----
 
-// Add loop test whose result is based on BlockArguments to ensure
-// no cycle.
+// Case: no finalValue, with iter args.
+// The iter arg is passed through unchanged; the result MustAliases the init.
 // CHECK-LABEL: Testing : "test_rb_do_loop_iter_carry_ref"
 // CHECK-DAG: carry_init#0 <-> outside_loop#0: NoAlias
-// CHECK-DAG: carry_init#0 <-> loop_join_ref#0: MayAlias
+// CHECK-DAG: carry_init#0 <-> loop_join_ref#0: MustAlias
----------------
razvanlupusoru wrote:

Nice!

https://github.com/llvm/llvm-project/pull/202418