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
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

Reply via email to