[llvm-branch-commits] [llvm] [LoopInterchange] Reject interchange when AnyOf reduction exists (PR #202092)

[Ryotaro Kasuga via llvm-branch-commits]

kasuga-fj wrote:

> I believe the reason is that AnyOf reduction requires the result value to be loop-invariant, but only with respect to the inner loop. Interchanging is incorrect if it's loop-variant with respect to the outer loop. It would be valid to interchange it if the value is loop-invariant with respect to the interchanged loop nest.

Sounds correct to me. Then I'll remain the existing test as missed-optimization.

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