[llvm] [DA] Replace delinearization for fixed size array (PR #161822)

via llvm-commits llvm-commits at lists.llvm.org
Tue Nov 18 04:05:49 PST 2025


github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 166070 tests passed
* 2834 tests skipped
* 2 tests failed

## Failed Tests
(click on a test name to see its output)

### LLVM
<details>
<summary>LLVM.Analysis/DependenceAnalysis/StrongSIV.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt < /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1  | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll --check-prefixes=CHECK,CHECK-ALL
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -disable-output '-passes=print<da>' -aa-pipeline=basic-aa
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll --check-prefixes=CHECK,CHECK-ALL
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll:543:19: error: CHECK-ALL-NEXT: expected string not found in input
# | ; CHECK-ALL-NEXT: da analyze - none!
# |                   ^
# | <stdin>:145:86: note: scanning from here
# | Src: store i32 0, ptr %arrayidx, align 4 --> Dst: store i32 0, ptr %arrayidx, align 4
# |                                                                                      ^
# | <stdin>:146:2: note: possible intended match here
# |  da analyze - consistent output [0 S]!
# |  ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |           140: Src: %0 = load i32, ptr %arrayidx3, align 4 --> Dst: store i32 %0, ptr %B.addr.01, align 4 
# |           141:  da analyze - confused! 
# |           142: Src: store i32 %0, ptr %B.addr.01, align 4 --> Dst: store i32 %0, ptr %B.addr.01, align 4 
# |           143:  da analyze - none! 
# |           144: Printing analysis 'Dependence Analysis' for function 'strong11': 
# |           145: Src: store i32 0, ptr %arrayidx, align 4 --> Dst: store i32 0, ptr %arrayidx, align 4 
# | next:543'0                                                                                          X error: no match found
# |           146:  da analyze - consistent output [0 S]! 
# | next:543'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:543'1      ?                                      possible intended match
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>LLVM.Transforms/LoopFusion/pr164082.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -passes=loop-fusion -disable-output -stats < /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopFusion/pr164082.ll 2>&1 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck -check-prefix=STAT /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopFusion/pr164082.ll
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -passes=loop-fusion -disable-output -stats
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck -check-prefix=STAT /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopFusion/pr164082.ll
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopFusion/pr164082.ll:3:9: error: STAT: expected string not found in input
# | ; STAT: 1 loop-fusion - Loops fused
# |         ^
# | <stdin>:1:1: note: scanning from here
# | ===-------------------------------------------------------------------------===
# | ^
# | <stdin>:10:1: note: possible intended match here
# | 2 loop-fusion - Dependencies prevent fusion
# | ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopFusion/pr164082.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            1: ===-------------------------------------------------------------------------=== 
# | check:3'0     X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# |            2:  ... Statistics Collected ... 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            3: ===-------------------------------------------------------------------------=== 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            4:  
# | check:3'0     ~
# |            5: 1 aa - Number of MayAlias results 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            6: 1 da - Banerjee applications 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            7: 1 da - GCD applications 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~
# |            8: 1 da - Separable subscript pairs 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            9: 1 da - Array pairs tested 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           10: 2 loop-fusion - Dependencies prevent fusion 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:3'1     ?                                            possible intended match
# |           11: 2 loop-fusion - Number of candidates for loop fusion 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           12: 6 scalar-evolution - Number of loop exits with predictable exit counts 
# | check:3'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           13:  
# | check:3'0     ~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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


More information about the llvm-commits mailing list