[llvm] [LoopInterchange] Reject inner-latch lcssa PHI feeding the exit condition (PR #202863)

Ryotaro Kasuga via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 12 04:47:42 PDT 2026


https://github.com/kasuga-fj commented:

As far as I understand (and based on my local testing), the root cause of the issue is that  `MoveInstructions` in `LoopInterchangeTransform::transform` doesn't handle PHIs properly. If PHIs were moved appropriately, we wouldn't need to bail out early, and more loop-interchange opportunities could be enabled. I'm not sure whether it's worth the effort, so I don't object to the current approach, but if we decide to go this way, could you please add assert in `MoveInstructions` to clarify that it doesn't support PHIs?

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


More information about the llvm-commits mailing list