[all-commits] [llvm/llvm-project] 653573: [LoopInterchange] Add test where loop has memory-a...

[Ryotaro Kasuga via All-commits]

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

  Changed paths:
    A llvm/test/Transforms/LoopInterchange/memory-attr.ll

  Log Message:
  -----------
  [LoopInterchange] Add test where loop has memory-affected calls (NFC) (#200827)

This patch adds the following two test cases:

- There is a call to a function with `memory(write)` in the loop nest,
which is taken from #200796.
- There is a call to a function with `memory(none)` in the loop nest.

For the former case, we are not allowed to interchange the loops because
the function call may write to an unknown memory location, but the
transformation is still applied, i.e., a miscompilation. As for the
latter case, the call should not prevent the loops from being
interchanged, which seems to be the original intention of the code.



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