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

[Nikita Popov via llvm-branch-commits]

https://github.com/nikic commented:

This looks fine, but I think it would be good to retain an explicit `AnyOf:` case with a comment for what it's excluded.

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.

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