[llvm] [LoopInterchange] Supported partially-perfect Loop Nests (PR #199511)

Ryotaro Kasuga via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 23 07:58:06 PDT 2026


================
@@ -0,0 +1,118 @@
+; RUN: opt < %s -passes=loop-interchange -loop-interchange-profitabilities=ignore -debug-only=loop-interchange,da -disable-output -S 2>%t
----------------
kasuga-fj wrote:

I see, then it's okay to keep `da` as it is. But I don't think you need to check all the debug outputs, e.g., the following:

```
; CHECK: Processing LoopList of size = 2 containing the following loops:
; CHECK-NEXT:   - Loop at depth 2 containing: %loop.j.header<header>,%loop.k.header,%loop.k.latch,%loop.j.latch<latch><exiting>
; CHECK-NEXT:     Loop at depth 3 containing: %loop.k.header<header>,%loop.k.latch<latch><exiting>
; CHECK-NEXT:   - Loop at depth 3 containing: %loop.k.header<header>,%loop.k.latch<latch><exiting>
; CHECK: Found 2 Loads and Stores to analyze
; CHECK: common nesting levels = 2
; CHECK: loops = {2}
```

Can you remove unrelated CHECKs and remain only what you actually want to verify?

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


More information about the llvm-commits mailing list