================ ---------------- FedericoBruzzone wrote: Could you add a negative test where the loop result is used inside a nested region after the loop, e.g., in an `scf.if`? https://github.com/llvm/llvm-project/pull/226951