Stylie777 wrote: Would it be better to ensure the Loop Latch is in the same block as the loop exiting block? I was working on a patch to fix that same issue. Otherwise loops where TC == VF * IC miss out on this transformation. https://github.com/llvm/llvm-project/pull/225633