[llvm-branch-commits] [llvm] [DA] Add precondition `0 <=s UB` to function `inferAffineDomain` (PR #186390)
via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Wed Mar 18 01:12:12 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 132413 tests passed
* 3011 tests skipped
* 3 tests failed
## Failed Tests
(click on a test name to see its output)
### LLVM
<details>
<summary>LLVM.Analysis/DependenceAnalysis/non-monotonic.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\non-monotonic.ll -disable-output -passes="print<da>" -da-dump-monotonicity-report -da-enable-monotonicity-check 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\non-monotonic.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -disable-output '-passes=print<da>' -da-dump-monotonicity-report -da-enable-monotonicity-check
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\non-monotonic.ll'
# note: command had no output on stdout or stderr
# RUN: at line 4
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\non-monotonic.ll -disable-output -passes="print<da>" 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\non-monotonic.ll -check-prefix=DISABLE-CHECK
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -disable-output '-passes=print<da>'
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\non-monotonic.ll' -check-prefix=DISABLE-CHECK
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\non-monotonic.ll:49:23: error: DISABLE-CHECK-NEXT: expected string not found in input
# | ; DISABLE-CHECK-NEXT: da analyze - none!
# | ^
# | <stdin>:4:78: note: scanning from here
# | Src: store i8 1, ptr %idx.0, align 1 --> Dst: store i8 2, ptr %idx.1, align 1
# | ^
# | <stdin>:5:2: note: possible intended match here
# | da analyze - output [*|<]!
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\non-monotonic.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: Printing analysis 'Dependence Analysis' for function 'f':
# | 2: Src: store i8 1, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.0, align 1
# | 3: da analyze - none!
# | 4: Src: store i8 1, ptr %idx.0, align 1 --> Dst: store i8 2, ptr %idx.1, align 1
# | next:49'0 X error: no match found
# | 5: da analyze - output [*|<]!
# | next:49'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:49'1 ? possible intended match
# | 6: Src: store i8 2, ptr %idx.1, align 1 --> Dst: store i8 2, ptr %idx.1, align 1
# | next:49'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 7: da analyze - output [*]!
# | next:49'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/DependenceAnalysis/rdiv-large-btc.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\rdiv-large-btc.ll -disable-output "-passes=print<da>" 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\rdiv-large-btc.ll --check-prefixes=CHECK,CHECK-ALL
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -disable-output '-passes=print<da>'
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\rdiv-large-btc.ll' --check-prefixes=CHECK,CHECK-ALL
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\rdiv-large-btc.ll:26:19: error: CHECK-ALL-NEXT: is not on the line after the previous match
# | ; CHECK-ALL-NEXT: da analyze - none!
# | ^
# | <stdin>:7:2: note: 'next' match was here
# | da analyze - none!
# | ^
# | <stdin>:4:78: note: previous match ended here
# | Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
# | ^
# | <stdin>:5:1: note: non-matching line after previous match is here
# | da analyze - output [|<]!
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\rdiv-large-btc.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: Printing analysis 'Dependence Analysis' for function 'rdiv_large_btc':
# | 2: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
# | 3: da analyze - none!
# | 4: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
# | 5: da analyze - output [|<]!
# | 6: Src: store i8 0, ptr %gep.1, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
# | 7: da analyze - none!
# | next:26 !~~~~~~~~~~~~~~~~~ error: match on wrong line
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/DependenceAnalysis/symbolic-rdiv-addrec-wrap.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\symbolic-rdiv-addrec-wrap.ll -disable-output "-passes=print<da>" 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\symbolic-rdiv-addrec-wrap.ll --check-prefixes=CHECK,CHECK-ALL
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -disable-output '-passes=print<da>'
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\symbolic-rdiv-addrec-wrap.ll' --check-prefixes=CHECK,CHECK-ALL
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\symbolic-rdiv-addrec-wrap.ll:26:19: error: CHECK-ALL-NEXT: expected string not found in input
# | ; CHECK-ALL-NEXT: da analyze - none!
# | ^
# | <stdin>:4:78: note: scanning from here
# | Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.1, align 1
# | ^
# | <stdin>:5:2: note: possible intended match here
# | da analyze - output [*|<]!
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\DependenceAnalysis\symbolic-rdiv-addrec-wrap.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: Printing analysis 'Dependence Analysis' for function 'symbolic_rdiv_addrec_wrap':
# | 2: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
# | 3: da analyze - none!
# | 4: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.1, align 1
# | next:26'0 X error: no match found
# | 5: da analyze - output [*|<]!
# | next:26'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:26'1 ? possible intended match
# | 6: Src: store i8 1, ptr %gep.1, align 1 --> Dst: store i8 1, ptr %gep.1, align 1
# | next:26'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 7: da analyze - output [*]!
# | next:26'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/186390
More information about the llvm-branch-commits
mailing list