[all-commits] [llvm/llvm-project] 67ebc4: [LoopInterchange] Reject interchange when AnyOf re...

[Ryotaro Kasuga via All-commits]

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

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopInterchange.cpp
    M llvm/test/Transforms/LoopInterchange/reduction-anyof.ll
    M llvm/test/Transforms/LoopInterchange/reductions-non-wrapped-operations.ll

  Log Message:
  -----------
  [LoopInterchange] Reject interchange when AnyOf reduction exists (#202092)

This patch removes `AnyOf` reductions from the legal candidates for
interchange. In some cases, especially when the result value of `AnyOf`
is loop-invariant with respect to outer loop, then the interchange
should be legal. However, at the moment, we reject all the cases
conservatively.

Fixes #202089 .



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