[all-commits] [llvm/llvm-project] 4915bb: [LoopInterchange] Reject if inner loop IV has oute...

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4915bb89e23ba0f2e228cc34cce4b6976eda5fd1
      https://github.com/llvm/llvm-project/commit/4915bb89e23ba0f2e228cc34cce4b6976eda5fd1
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2026-06-11 (Thu, 11 Jun 2026)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopInterchange.cpp
    M llvm/test/Transforms/LoopInterchange/inner-induciton-step-is-not-invariant.ll

  Log Message:
  -----------
  [LoopInterchange] Reject if inner loop IV has outer-variant step (#202751)

In the legality check, there is a routine to detect and verify the
induction variables of the inner loop. However, the validation was
insufficient, specifically when the step values of the induction
variables are not loop-invariant with respect to the outer loop.
This patch adds an additional check to ensure that the step values of
those induction variables are also loop-invariant with respect to the
outer loop.

Fixes #202383 and #202401.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications