[llvm] Fix to generalize the canSkipClobberingStore (PR #174137)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Jan 1 02:41:24 PST 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 128992 tests passed
* 2843 tests skipped
* 29 tests failed
## Failed Tests
(click on a test name to see its output)
### Clang
<details>
<summary>Clang.CodeGen/attr-counted-by.c</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\22\include -nostdsysteminc -triple x86_64-unknown-linux-gnu -DCOUNTED_BY -O2 -Wall -fsanitize=array-bounds,object-size,local-bounds -fstrict-flex-arrays=3 -emit-llvm -o - C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe --check-prefix=SANITIZE-WITH-ATTR C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\22\include' -nostdsysteminc -triple x86_64-unknown-linux-gnu -DCOUNTED_BY -O2 -Wall -fsanitize=array-bounds,object-size,local-bounds -fstrict-flex-arrays=3 -emit-llvm -o - 'C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:41: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:48: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:55: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:58: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:65: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^~
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:61: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:51: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:44: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | 8 warnings generated.
# `-----------------------------
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' --check-prefix=SANITIZE-WITH-ATTR 'C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c'
# note: command had no output on stdout or stderr
# RUN: at line 3
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\22\include -nostdsysteminc -triple x86_64-unknown-linux-gnu -DCOUNTED_BY -O2 -Wall -fstrict-flex-arrays=3 -emit-llvm -o - C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe --check-prefix=NO-SANITIZE-WITH-ATTR C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\22\include' -nostdsysteminc -triple x86_64-unknown-linux-gnu -DCOUNTED_BY -O2 -Wall -fstrict-flex-arrays=3 -emit-llvm -o - 'C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:41: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:48: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:55: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:58: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:65: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^~
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:61: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:51: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:2506:44: warning: left operand of comma operator has no effect [-Wunused-value]
# | 2506 | return __builtin_dynamic_object_size((1, 2, (4, 5, (7, 8, 9, (10, ptr->array)))), 1);
# | | ^
# | 8 warnings generated.
# `-----------------------------
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' --check-prefix=NO-SANITIZE-WITH-ATTR 'C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c:1390:32: error: NO-SANITIZE-WITH-ATTR-NEXT: expected string not found in input
# | // NO-SANITIZE-WITH-ATTR-NEXT: [[DOTCOMPOUNDLITERAL:%.*]] = alloca [[STRUCT_TEST14_FOO:%.*]], align 4
# | ^
# | <stdin>:362:7: note: scanning from here
# | entry:
# | ^
# | <stdin>:367:2: note: possible intended match here
# | define dso_local i32 @test15(i32 noundef %idx) local_unnamed_addr #3 {
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\clang\test\CodeGen\attr-counted-by.c
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 357: ret i32 0
# | 358: }
# | 359:
# | 360: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
# | 361: define dso_local i32 @test14(i32 noundef %idx) local_unnamed_addr #3 {
# | 362: entry:
# | next:1390'0 X error: no match found
# | 363: ret i32 undef
# | next:1390'0 ~~~~~~~~~~~~~~~
# | 364: }
# | next:1390'0 ~~
# | 365:
# | next:1390'0 ~
# | 366: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
# | next:1390'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 367: define dso_local i32 @test15(i32 noundef %idx) local_unnamed_addr #3 {
# | next:1390'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1390'1 ? possible intended match
# | 368: entry:
# | 369: %idxprom = sext i32 %idx to i64
# | 370: %arrayidx = getelementptr inbounds i32, ptr getelementptr inbounds nuw (i8, ptr @__const.test15.foo, i64 8), i64 %idxprom
# | 371: %0 = load i32, ptr %arrayidx, align 4, !tbaa !2
# | 372: ret i32 %0
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Frontend/optimization-remark-extra-analysis.c</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 4
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\22\include -nostdsysteminc C:\_work\llvm-project\llvm-project\clang\test\Frontend\optimization-remark-extra-analysis.c -Rpass-missed=gvn -O2 -emit-llvm-only -verify
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\22\include' -nostdsysteminc 'C:\_work\llvm-project\llvm-project\clang\test\Frontend\optimization-remark-extra-analysis.c' -Rpass-missed=gvn -O2 -emit-llvm-only -verify
# .---command stderr------------
# | error: 'expected-remark' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\Frontend\optimization-remark-extra-analysis.c Line 10 (directive at C:\_work\llvm-project\llvm-project\clang\test\Frontend\optimization-remark-extra-analysis.c:9): load of type i32 not eliminated
# | 1 error generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
### LLVM
<details>
<summary>LLVM.Analysis/BasicAA/2003-04-22-GEPProblem.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2003-04-22-GEPProblem.ll -aa-pipeline=basic-aa -passes=gvn,instcombine -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2003-04-22-GEPProblem.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa -passes=gvn,instcombine -S
# 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\BasicAA\2003-04-22-GEPProblem.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2003-04-22-GEPProblem.ll:6:10: error: CHECK: expected string not found in input
# | ; CHECK: sub i32 %X, %Y
# | ^
# | <stdin>:1:1: note: scanning from here
# | ; ModuleID = '<stdin>'
# | ^
# | <stdin>:6:2: note: possible intended match here
# | store i32 5, ptr %P2, align 4
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2003-04-22-GEPProblem.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: ; ModuleID = '<stdin>'
# | check:6'0 X~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 2: source_filename = "<stdin>"
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 3:
# | check:6'0 ~
# | 4: define i32 @test(ptr %Ptr, i64 %V) {
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 5: %P2 = getelementptr i8, ptr %Ptr, i64 4
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 6: store i32 5, ptr %P2, align 4
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:6'1 ? possible intended match
# | 7: ret i32 0
# | check:6'0 ~~~~~~~~~~~
# | 8: }
# | check:6'0 ~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2007-10-24-ArgumentsGlobals.ll -aa-pipeline=basic-aa -passes=gvn,dce -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2007-10-24-ArgumentsGlobals.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa -passes=gvn,dce -S
# 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\BasicAA\2007-10-24-ArgumentsGlobals.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2007-10-24-ArgumentsGlobals.ll:8:10: error: CHECK: expected string not found in input
# | ; CHECK: %tmp7 = load
# | ^
# | <stdin>:1:1: note: scanning from here
# | ; ModuleID = '<stdin>'
# | ^
# | <stdin>:2:12: note: possible intended match here
# | source_filename = "<stdin>"
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2007-10-24-ArgumentsGlobals.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: ; ModuleID = '<stdin>'
# | check:8'0 X~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 2: source_filename = "<stdin>"
# | check:8'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:8'1 ? possible intended match
# | 3:
# | check:8'0 ~
# | 4: %struct.B = type { %struct.A }
# | check:8'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 5: %struct.A = type { i32 }
# | check:8'0 ~~~~~~~~~~~~~~~~~~~~~~~~~
# | 6:
# | check:8'0 ~
# | 7: @a = global %struct.B zeroinitializer
# | check:8'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/BasicAA/2009-03-04-GEPNoalias.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2009-03-04-GEPNoalias.ll -aa-pipeline=basic-aa -passes=gvn -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2009-03-04-GEPNoalias.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa -passes=gvn -S
# 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\BasicAA\2009-03-04-GEPNoalias.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2009-03-04-GEPNoalias.ll:6:10: error: CHECK: expected string not found in input
# | ; CHECK: load i32, ptr %a
# | ^
# | <stdin>:1:1: note: scanning from here
# | ; ModuleID = '<stdin>'
# | ^
# | <stdin>:9:16: note: possible intended match here
# | %b = getelementptr i32, ptr %a, i32 %x
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\2009-03-04-GEPNoalias.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: ; ModuleID = '<stdin>'
# | check:6'0 X~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 2: source_filename = "<stdin>"
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 3:
# | check:6'0 ~
# | 4: declare noalias ptr @noalias()
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 5:
# | check:6'0 ~
# | 6: define i32 @test(i32 %x) {
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 7: %a = call ptr @noalias()
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 8: store i32 1, ptr %a, align 4
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 9: %b = getelementptr i32, ptr %a, i32 %x
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:6'1 ? possible intended match
# | 10: store i32 2, ptr %b, align 4
# | check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 11: ret i32 1
# | check:6'0 ~~~~~~~~~~~
# | 12: }
# | check:6'0 ~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/BasicAA/gep-alias.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\gep-alias.ll -aa-pipeline=basic-aa -passes=gvn,instcombine -S 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\gep-alias.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa -passes=gvn,instcombine -S
# 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\BasicAA\gep-alias.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\gep-alias.ll:235:10: error: CHECK: expected string not found in input
# | ; CHECK: ret i32 %r
# | ^
# | <stdin>:120:20: note: scanning from here
# | define i32 @test12(i32 %x, i32 %y, ptr %p) #1 {
# | ^
# | <stdin>:126:2: note: possible intended match here
# | ret i32 1
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\gep-alias.ll:247:10: error: CHECK: expected string not found in input
# | ; CHECK: store i8 42,
# | ^
# | <stdin>:129:21: note: scanning from here
# | define void @test13() {
# | ^
# | <stdin>:131:78: note: possible intended match here
# | %call = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, i32 0, i32 0)
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\gep-alias.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 115: %tmp30 = load float, ptr %y29, align 4
# | 116: ret float %tmp30
# | 117: }
# | 118:
# | 119: ; Function Attrs: nounwind
# | 120: define i32 @test12(i32 %x, i32 %y, ptr %p) #1 {
# | check:235'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 121: %b = getelementptr [13 x i8], ptr %p, i32 %x
# | check:235'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 122: %d.split = getelementptr [15 x i8], ptr %b, i32 %y
# | check:235'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 123: %d = getelementptr i8, ptr %d.split, i32 8
# | check:235'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 124: store i32 1, ptr %p, align 4
# | check:235'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 125: store i32 0, ptr %d, align 4
# | check:235'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 126: ret i32 1
# | check:235'0 ~~~~~~~~~~~
# | check:235'1 ? possible intended match
# | 127: }
# | check:235'0 ~~
# | 128:
# | check:235'0 ~
# | 129: define void @test13() {
# | check:235'0 ~~~~~~~~~~~~~~~~~~~~
# | check:247'0 X~~~ error: no match found
# | 130: entry:
# | check:247'0 ~~~~~~~
# | 131: %call = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, i32 0, i32 0)
# | check:247'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:247'1 ? possible intended match
# | 132: ret void
# | check:247'0 ~~~~~~~~~~
# | 133: }
# | check:247'0 ~~
# | 134:
# | check:247'0 ~
# | 135: declare i32 @printf(ptr, ...)
# | check:247'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 136:
# | check:247'0 ~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/BasicAA/global-size.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 4
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\global-size.ll -aa-pipeline=basic-aa -passes=gvn -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\global-size.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa -passes=gvn -S
# 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\BasicAA\global-size.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\global-size.ll:49:10: error: CHECK: expected string not found in input
# | ; CHECK: %B = load i8
# | ^
# | <stdin>:20:18: note: scanning from here
# | define i8 @test2(i32 %tmp79, i32 %w.2, i32 %indvar89) #0 {
# | ^
# | <stdin>:21:5: note: possible intended match here
# | %tmp92 = add i32 %tmp79, %indvar89
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\global-size.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 15: store i32 7, ptr addrspace(1) %P, align 4
# | 16: ret i16 0
# | 17: }
# | 18:
# | 19: ; Function Attrs: nounwind
# | 20: define i8 @test2(i32 %tmp79, i32 %w.2, i32 %indvar89) #0 {
# | check:49'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 21: %tmp92 = add i32 %tmp79, %indvar89
# | check:49'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:49'1 ? possible intended match
# | 22: %arrayidx412 = getelementptr [0 x i8], ptr @window, i32 0, i32 %tmp92
# | check:49'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 23: %tmp93 = add i32 %w.2, %indvar89
# | check:49'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 24: %arrayidx416 = getelementptr [0 x i8], ptr @window, i32 0, i32 %tmp93
# | check:49'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 25: store i8 4, ptr %arrayidx416, align 1
# | check:49'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 26: ret i8 0
# | check:49'0 ~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/BasicAA/nocapture.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\nocapture.ll -aa-pipeline=basic-aa -passes=gvn,instcombine -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\nocapture.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa -passes=gvn,instcombine -S
# 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\BasicAA\nocapture.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\nocapture.ll:22:10: error: CHECK: expected string not found in input
# | ; CHECK: %y = load i32, ptr %p
# | ^
# | <stdin>:23:21: note: scanning from here
# | store i32 1, ptr %x, align 4
# | ^
# | <stdin>:24:2: note: possible intended match here
# | ret i32 0
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\nocapture.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 18: entry:
# | 19: %q = alloca ptr, align 8
# | 20: call void @test3(ptr nonnull %q, ptr %p) #0
# | 21: store i32 0, ptr %p, align 4
# | 22: %x = load ptr, ptr %q, align 8
# | 23: store i32 1, ptr %x, align 4
# | check:22'0 X~~~~~~~~~ error: no match found
# | 24: ret i32 0
# | check:22'0 ~~~~~~~~~~~
# | check:22'1 ? possible intended match
# | 25: }
# | check:22'0 ~~
# | 26:
# | check:22'0 ~
# | 27: attributes #0 = { nounwind }
# | check:22'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/BasicAA/separate_storage.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\BasicAA\separate_storage.ll -passes='gvn' -basic-aa-separate-storage -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\separate_storage.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -passes=gvn -basic-aa-separate-storage -S
# 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\BasicAA\separate_storage.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\separate_storage.ll:13:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[LOADOFSTORE:%.*]] = load i8, ptr [[P1]], align 1
# | ^
# | <stdin>:10:30: note: scanning from here
# | store i8 1, ptr %p2, align 1
# | ^
# | <stdin>:10:30: note: with "P1" equal to "%p1"
# | store i8 1, ptr %p2, align 1
# | ^
# | <stdin>:11:2: note: possible intended match here
# | ret i8 0
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\separate_storage.ll:83:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[LOADOFSTORE_TRUE:%.*]] = load i8, ptr [[P1]], align 1
# | ^
# | <stdin>:45:31: note: scanning from here
# | store i8 22, ptr %p2, align 1
# | ^
# | <stdin>:45:31: note: with "P1" equal to "%p1"
# | store i8 22, ptr %p2, align 1
# | ^
# | <stdin>:50:2: note: possible intended match here
# | store i8 33, ptr %p1, align 1
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\BasicAA\separate_storage.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 5: declare void @llvm.assume(i1 noundef) #0
# | 6:
# | 7: define i8 @simple_no(ptr %p1, ptr %p2) {
# | 8: entry:
# | 9: store i8 0, ptr %p1, align 1
# | 10: store i8 1, ptr %p2, align 1
# | next:13'0 X error: no match found
# | next:13'1 with "P1" equal to "%p1"
# | 11: ret i8 0
# | next:13'0 ~~~~~~~~~~
# | next:13'2 ? possible intended match
# | 12: }
# | next:13'0 ~~
# | 13:
# | next:13'0 ~
# | 14: define i8 @simple_yes(ptr %p1, ptr %p2) {
# | next:13'0 ~~~~~~~~~~~~~~~~~~~~~~
# | 15: entry:
# | 16: call void @llvm.assume(i1 true) [ "separate_storage"(ptr %p1, ptr %p2) ]
# | .
# | .
# | .
# | 40: entry:
# | 41: br i1 %cond, label %true_branch, label %false_branch
# | 42:
# | 43: true_branch: ; preds = %entry
# | 44: store i8 11, ptr %p1, align 1
# | 45: store i8 22, ptr %p2, align 1
# | next:83'0 X error: no match found
# | next:83'1 with "P1" equal to "%p1"
# | 46: br label %endif
# | next:83'0 ~~~~~~~~~~~~~~~~~
# | 47:
# | next:83'0 ~
# | 48: false_branch: ; preds = %entry
# | next:83'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 49: call void @llvm.assume(i1 true) [ "separate_storage"(ptr %p1, ptr %p2) ]
# | next:83'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 50: store i8 33, ptr %p1, align 1
# | next:83'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:83'2 ? possible intended match
# | 51: store i8 44, ptr %p2, align 1
# | next:83'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 52: br label %endif
# | next:83'0 ~~~~~~~~~~~~~~~~~
# | 53:
# | next:83'0 ~
# | 54: endif: ; preds = %false_branch, %true_branch
# | next:83'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 55: %loadofstore = phi i8 [ 11, %true_branch ], [ 33, %false_branch ]
# | next:83'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/GlobalsModRef/pr25309.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -aa-pipeline=basic-aa,globals-aa -passes='require<globals-aa>,gvn' < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\GlobalsModRef\pr25309.ll -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\GlobalsModRef\pr25309.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa,globals-aa '-passes=require<globals-aa>,gvn' -S
# 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\GlobalsModRef\pr25309.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\GlobalsModRef\pr25309.ll:21:11: error: CHECK: expected string not found in input
# | ; CHECK: %[[b:.*]] = load i32, ptr %[[a]]
# | ^
# | <stdin>:12:15: note: scanning from here
# | %0 = load ptr, ptr @o, align 8
# | ^
# | <stdin>:12:15: note: with "a" equal to "0"
# | %0 = load ptr, ptr @o, align 8
# | ^
# | <stdin>:14:2: note: possible intended match here
# | %1 = load volatile ptr, ptr @m, align 8
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\GlobalsModRef\pr25309.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 7: @m = internal global ptr @i, align 8
# | 8: @i = internal global i32 0, align 4
# | 9:
# | 10: define i1 @f() {
# | 11: entry:
# | 12: %0 = load ptr, ptr @o, align 8
# | check:21'0 X~~~~~~~~~~~~~~~~~ error: no match found
# | check:21'1 with "a" equal to "0"
# | 13: store i32 0, ptr %0, align 4
# | check:21'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 14: %1 = load volatile ptr, ptr @m, align 8
# | check:21'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:21'2 ? possible intended match
# | 15: store i32 1, ptr %1, align 4
# | check:21'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 16: ret i1 false
# | check:21'0 ~~~~~~~~~~~~~~
# | 17: }
# | check:21'0 ~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/MemoryDependenceAnalysis/load-size-cache.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -passes=gvn -dom-tree-reachability-max-bbs-to-explore=1 -S < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\MemoryDependenceAnalysis\load-size-cache.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\MemoryDependenceAnalysis\load-size-cache.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -passes=gvn -dom-tree-reachability-max-bbs-to-explore=1 -S
# 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\MemoryDependenceAnalysis\load-size-cache.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\MemoryDependenceAnalysis\load-size-cache.ll:25:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[LOAD8:%.*]] = load i8, ptr [[CALL]], align 4
# | ^
# | <stdin>:30:5: note: scanning from here
# | bb7: ; preds = %bb5
# | ^
# | <stdin>:30:5: note: with "CALL" equal to "%call"
# | bb7: ; preds = %bb5
# | ^
# | <stdin>:33:1: note: possible intended match here
# | bb9: ; preds = %bb7, %bb6
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\MemoryDependenceAnalysis\load-size-cache.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 25:
# | 26: bb6: ; preds = %bb5
# | 27: call void @use(i64 undef)
# | 28: br label %bb9
# | 29:
# | 30: bb7: ; preds = %bb5
# | next:25'0 X~~~~~~~~~~~~~~~ error: no match found
# | next:25'1 with "CALL" equal to "%call"
# | 31: br label %bb9
# | next:25'0 ~~~~~~~~~~~~~~~
# | 32:
# | next:25'0 ~
# | 33: bb9: ; preds = %bb7, %bb6
# | next:25'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:25'2 ? possible intended match
# | 34: ret i8 4
# | next:25'0 ~~~~~~~~~~
# | 35: }
# | next:25'0 ~~
# | 36:
# | next:25'0 ~
# | 37: declare ptr @_Znwm(i64)
# | next:25'0 ~~~~~~~~~~~~~~~~~~~~~~~~
# | 38:
# | next:25'0 ~
# | 39: declare void @use(i64)
# | next:25'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/TypeBasedAliasAnalysis/aggregates.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll -aa-pipeline=tbaa,basic-aa -passes=aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa,basic-aa -passes=aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output
# 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\TypeBasedAliasAnalysis\aggregates.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\TypeBasedAliasAnalysis\aggregates.ll -aa-pipeline=tbaa,basic-aa -passes=gvn -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll --check-prefix=OPT
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa,basic-aa -passes=gvn -S
# 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\TypeBasedAliasAnalysis\aggregates.ll' --check-prefix=OPT
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll:22:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32,
# | ^
# | <stdin>:7:14: note: scanning from here
# | store i32 7, ptr %a, align 4, !tbaa !4
# | ^
# | <stdin>:7:26: note: possible intended match here
# | store i32 7, ptr %a, align 4, !tbaa !4
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll:38:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32,
# | ^
# | <stdin>:14:14: note: scanning from here
# | store i32 7, ptr %b, align 4, !tbaa !6
# | ^
# | <stdin>:14:26: note: possible intended match here
# | store i32 7, ptr %b, align 4, !tbaa !6
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll:54:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32,
# | ^
# | <stdin>:21:14: note: scanning from here
# | store i32 7, ptr %c, align 4, !tbaa !8
# | ^
# | <stdin>:21:26: note: possible intended match here
# | store i32 7, ptr %c, align 4, !tbaa !8
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll:70:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32,
# | ^
# | <stdin>:28:14: note: scanning from here
# | store i32 7, ptr %c, align 4, !tbaa !8
# | ^
# | <stdin>:28:26: note: possible intended match here
# | store i32 7, ptr %c, align 4, !tbaa !8
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll:118:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32,
# | ^
# | <stdin>:49:14: note: scanning from here
# | store i32 7, ptr %a, align 4, !tbaa !16
# | ^
# | <stdin>:64:1: note: possible intended match here
# | !11 = !{!12, !12, i64 0, i64 2}
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aggregates.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: ; ModuleID = '<stdin>'
# | 2: source_filename = "<stdin>"
# | 3:
# | 4: define i32 @f1(ptr %i, ptr %a) {
# | 5: entry:
# | 6: store i32 5, ptr %i, align 4, !tbaa !0
# | 7: store i32 7, ptr %a, align 4, !tbaa !4
# | check:22'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:22'1 ? possible intended match
# | 8: ret i32 5
# | check:22'0 ~~~~~~~~~~~
# | 9: }
# | check:22'0 ~~
# | 10:
# | check:22'0 ~
# | 11: define i32 @f2(ptr %i, ptr %b) {
# | check:22'0 ~~~~~~~~~~~~~~
# | 12: entry:
# | 13: store i32 5, ptr %i, align 4, !tbaa !0
# | 14: store i32 7, ptr %b, align 4, !tbaa !6
# | check:38'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:38'1 ? possible intended match
# | 15: ret i32 5
# | check:38'0 ~~~~~~~~~~~
# | 16: }
# | check:38'0 ~~
# | 17:
# | check:38'0 ~
# | 18: define i32 @f3(ptr %i, ptr %c) {
# | check:38'0 ~~~~~~~~~~~~~~
# | 19: entry:
# | 20: store i32 5, ptr %i, align 4, !tbaa !0
# | 21: store i32 7, ptr %c, align 4, !tbaa !8
# | check:54'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:54'1 ? possible intended match
# | 22: ret i32 5
# | check:54'0 ~~~~~~~~~~~
# | 23: }
# | check:54'0 ~~
# | 24:
# | check:54'0 ~
# | 25: define i32 @f4(ptr %a, ptr %c) {
# | check:54'0 ~~~~~~~~~~~~~~
# | 26: entry:
# | 27: store i32 5, ptr %a, align 4, !tbaa !10
# | 28: store i32 7, ptr %c, align 4, !tbaa !8
# | check:70'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:70'1 ? possible intended match
# | 29: ret i32 5
# | check:70'0 ~~~~~~~~~~~
# | 30: }
# | check:70'0 ~~
# | 31:
# | check:70'0 ~
# | 32: define i32 @f5(ptr %i, ptr %c) {
# | check:70'0 ~~~~~~~~~~~~~~
# | 33: entry:
# | .
# | .
# | .
# | 44: }
# | 45:
# | 46: define i32 @f7(ptr %i, ptr %a) {
# | 47: entry:
# | 48: store i32 5, ptr %i, align 4, !tbaa !10
# | 49: store i32 7, ptr %a, align 4, !tbaa !16
# | check:118'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 50: ret i32 5
# | check:118'0 ~~~~~~~~~~~
# | 51: }
# | check:118'0 ~~
# | 52:
# | check:118'0 ~
# | 53: !0 = !{!1, !1, i64 0, i64 4}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 54: !1 = !{!2, i64 4, !"int"}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 59: !6 = !{!7, !5, i64 0, i64 4}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 60: !7 = !{!2, i64 4, !"B", !5, i64 0, i64 4}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 61: !8 = !{!9, !7, i64 0, i64 4}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 62: !9 = !{!2, i64 4, !"C", !7, i64 0, i64 4}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 63: !10 = !{!5, !5, i64 0, i64 4}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 64: !11 = !{!12, !12, i64 0, i64 2}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:118'1 ? possible intended match
# | 65: !12 = !{!2, i64 2, !"short"}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 66: !13 = !{!9, !9, i64 0, i64 4}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 67: !14 = !{!15, !15, i64 0, i64 2}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 68: !15 = !{!5, i64 2, !"D", !12, i64 0, i64 2}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 69: !16 = !{!5, !1, i64 4, i64 4}
# | check:118'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/TypeBasedAliasAnalysis/aliastest.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aliastest.ll -aa-pipeline=tbaa,basic-aa -passes=gvn -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aliastest.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa,basic-aa -passes=gvn -S
# 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\TypeBasedAliasAnalysis\aliastest.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aliastest.ll:16:10: error: CHECK: expected string not found in input
# | ; CHECK: add i8 %x, %y
# | ^
# | <stdin>:13:20: note: scanning from here
# | define i8 @test0_no(ptr %a, ptr %b) #0 {
# | ^
# | <stdin>:16:7: note: possible intended match here
# | %z = add i8 %x, %x
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\aliastest.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 8: %z = add i8 %x, %x
# | 9: ret i8 %z
# | 10: }
# | 11:
# | 12: ; Function Attrs: nounwind
# | 13: define i8 @test0_no(ptr %a, ptr %b) #0 {
# | check:16'0 X~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 14: %x = load i8, ptr %a, align 1, !tbaa !0
# | check:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 15: store i8 0, ptr %b, align 1, !tbaa !5
# | check:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 16: %z = add i8 %x, %x
# | check:16'0 ~~~~~~~~~~~~~~~~~~~~
# | check:16'1 ? possible intended match
# | 17: ret i8 %z
# | check:16'0 ~~~~~~~~~~~
# | 18: }
# | check:16'0 ~~
# | 19:
# | check:16'0 ~
# | 20: ; Function Attrs: nounwind
# | check:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 21: define i8 @test1_yes(ptr %a, ptr %b) #0 {
# | check:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -aa-pipeline=tbaa,basic-aa -passes=gvn -S < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\gvn-nonlocal-type-mismatch.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\gvn-nonlocal-type-mismatch.ll --check-prefixes=CHECK,CHECK-MEMDEP
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa,basic-aa -passes=gvn -S
# 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\TypeBasedAliasAnalysis\gvn-nonlocal-type-mismatch.ll' --check-prefixes=CHECK,CHECK-MEMDEP
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\gvn-nonlocal-type-mismatch.ll:63:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[T:%.*]] = load i32, ptr [[P]], align 4, !tbaa [[OUTER_SPACE_TBAA5:![0-9]+]]
# | ^
# | <stdin>:27:9: note: scanning from here
# | if.then: ; preds = %entry
# | ^
# | <stdin>:27:9: note: with "P" equal to "%p"
# | if.then: ; preds = %entry
# | ^
# | <stdin>:28:2: note: possible intended match here
# | store i32 0, ptr %q, align 4
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\gvn-nonlocal-type-mismatch.ll:101:72: error: undefined variable: OUTER_SPACE_TBAA5
# | ; CHECK-MEMDEP-NEXT: [[U:%.*]] = load i32, ptr [[P]], align 4, !tbaa [[OUTER_SPACE_TBAA5]]
# | ^
# | <stdin>:47:9: note: with "P" equal to "%p"
# | if.else: ; preds = %entry
# | ^
# | <stdin>:48:2: note: possible intended match here
# | store i32 0, ptr %q, align 4
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\gvn-nonlocal-type-mismatch.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 22: entry:
# | 23: store i32 0, ptr %p, align 4, !tbaa !0
# | 24: store i32 1, ptr %p1, align 4, !tbaa !3
# | 25: br i1 %c, label %if.else, label %if.then
# | 26:
# | 27: if.then: ; preds = %entry
# | next:63'0 X~~~~~~~~~~~~~~~~~ error: no match found
# | next:63'1 with "P" equal to "%p"
# | 28: store i32 0, ptr %q, align 4
# | next:63'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:63'2 ? possible intended match
# | 29: ret void
# | next:63'0 ~~~~~~~~~~
# | 30:
# | next:63'0 ~
# | 31: if.else: ; preds = %entry
# | next:63'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 32: store i32 0, ptr %q, align 4
# | next:63'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 33: ret void
# | next:63'0 ~~~~~~~~~~
# | .
# | .
# | .
# | 42:
# | 43: if.then: ; preds = %entry
# | 44: store i32 0, ptr %q, align 4
# | 45: ret void
# | 46:
# | 47: if.else: ; preds = %entry
# | next:101'0 X~~~~~~~~~~~~~~~~~ error: match failed for invalid pattern
# | next:101'1 undefined variable: OUTER_SPACE_TBAA5
# | next:101'2 with "P" equal to "%p"
# | 48: store i32 0, ptr %q, align 4
# | next:101'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:101'3 ? possible intended match
# | 49: ret void
# | next:101'0 ~~~~~~~~~~
# | 50: }
# | next:101'0 ~~
# | 51:
# | next:101'0 ~
# | 52: attributes #0 = { nounwind }
# | next:101'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 53:
# | next:101'0 ~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/TypeBasedAliasAnalysis/precedence.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -aa-pipeline=tbaa -passes=gvn,instcombine -S < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\precedence.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\precedence.ll --check-prefix=TBAA
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa -passes=gvn,instcombine -S
# 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\TypeBasedAliasAnalysis\precedence.ll' --check-prefix=TBAA
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\precedence.ll:13:9: error: TBAA: expected string not found in input
# | ; TBAA: ret i32 0
# | ^
# | <stdin>:6:20: note: scanning from here
# | define i32 @trouble(ptr %x) #0 {
# | ^
# | <stdin>:10:2: note: possible intended match here
# | ret i32 1075000115
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\precedence.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: ; ModuleID = '<stdin>'
# | 2: source_filename = "<stdin>"
# | 3: target datalayout = "e-p:64:64:64"
# | 4:
# | 5: ; Function Attrs: nounwind
# | 6: define i32 @trouble(ptr %x) #0 {
# | check:13'0 X~~~~~~~~~~~~~ error: no match found
# | 7: entry:
# | check:13'0 ~~~~~~~
# | 8: store i32 0, ptr %x, align 4, !tbaa !0
# | check:13'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 9: store float 0x4002666660000000, ptr %x, align 4, !tbaa !3
# | check:13'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 10: ret i32 1075000115
# | check:13'0 ~~~~~~~~~~~~~~~~~~~~
# | check:13'1 ? possible intended match
# | 11: }
# | check:13'0 ~~
# | 12:
# | check:13'0 ~
# | 13: ; Function Attrs: nounwind
# | check:13'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 14: define i64 @offset(ptr %x) #0 {
# | check:13'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 15: entry:
# | check:13'0 ~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/TypeBasedAliasAnalysis/tbaa-path-new.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path-new.ll -aa-pipeline=tbaa,basic-aa -passes=aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path-new.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa,basic-aa -passes=aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output
# 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\TypeBasedAliasAnalysis\tbaa-path-new.ll'
# note: command had no output on stdout or stderr
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path-new.ll -aa-pipeline=tbaa,basic-aa -passes=gvn -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path-new.ll --check-prefix=OPT
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa,basic-aa -passes=gvn -S
# 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\TypeBasedAliasAnalysis\tbaa-path-new.ll' --check-prefix=OPT
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path-new.ll:25:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32,
# | ^
# | <stdin>:15:14: note: scanning from here
# | store i32 4, ptr %f32, align 4, !tbaa !4
# | ^
# | <stdin>:15:19: note: possible intended match here
# | store i32 4, ptr %f32, align 4, !tbaa !4
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path-new.ll:67:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32,
# | ^
# | <stdin>:31:13: note: scanning from here
# | store i32 4, ptr %f321, align 4, !tbaa !8
# | ^
# | <stdin>:31:19: note: possible intended match here
# | store i32 4, ptr %f321, align 4, !tbaa !8
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path-new.ll:267:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32,
# | ^
# | <stdin>:110:14: note: scanning from here
# | store i32 4, ptr %f325, align 4, !tbaa !8
# | ^
# | <stdin>:120:1: note: possible intended match here
# | !6 = !{!2, i64 2, !"short"}
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path-new.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 10:
# | 11: define i32 @_Z1gPjP7StructAy(ptr captures(none) %s, ptr captures(none) %A, i64 %count) {
# | 12: entry:
# | 13: store i32 1, ptr %s, align 4, !tbaa !0
# | 14: %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
# | 15: store i32 4, ptr %f32, align 4, !tbaa !4
# | check:25'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:25'1 ? possible intended match
# | 16: ret i32 1
# | check:25'0 ~~~~~~~~~~~
# | 17: }
# | check:25'0 ~~
# | 18:
# | check:25'0 ~
# | 19: define i32 @_Z2g2PjP7StructAy(ptr captures(none) %s, ptr captures(none) %A, i64 %count) {
# | check:25'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 20: entry:
# | .
# | .
# | .
# | 26: define i32 @_Z2g3P7StructAP7StructBy(ptr captures(none) %A, ptr captures(none) %B, i64 %count) {
# | 27: entry:
# | 28: %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
# | 29: store i32 1, ptr %f32, align 4, !tbaa !4
# | 30: %f321 = getelementptr inbounds %struct.StructB, ptr %B, i64 0, i32 1, i32 1
# | 31: store i32 4, ptr %f321, align 4, !tbaa !8
# | check:67'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:67'1 ? possible intended match
# | 32: ret i32 1
# | check:67'0 ~~~~~~~~~~~
# | 33: }
# | check:67'0 ~~
# | 34:
# | check:67'0 ~
# | 35: define i32 @_Z2g4P7StructAP7StructBy(ptr captures(none) %A, ptr captures(none) %B, i64 %count) {
# | check:67'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 36: entry:
# | .
# | .
# | .
# | 105: define i32 @_Z3g12P7StructCP7StructDy(ptr captures(none) %C, ptr captures(none) %D, i64 %count) {
# | 106: entry:
# | 107: %f32 = getelementptr inbounds %struct.StructC, ptr %C, i64 0, i32 1, i32 1, i32 1
# | 108: store i32 1, ptr %f32, align 4, !tbaa !8
# | 109: %f325 = getelementptr inbounds %struct.StructD, ptr %D, i64 0, i32 1, i32 1, i32 1
# | 110: store i32 4, ptr %f325, align 4, !tbaa !8
# | check:267'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 111: ret i32 1
# | check:267'0 ~~~~~~~~~~~
# | 112: }
# | check:267'0 ~~
# | 113:
# | check:267'0 ~
# | 114: !0 = !{!1, !1, i64 0, i64 4}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 115: !1 = !{!2, i64 4, !"int"}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 116: !2 = !{!3, i64 1, !"omnipotent char"}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 117: !3 = !{!"Simple C++ TBAA"}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 118: !4 = !{!5, !1, i64 4, i64 4}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 119: !5 = !{!2, i64 16, !"_ZTS7StructA", !6, i64 0, i64 2, !1, i64 4, i64 4, !6, i64 8, i64 2, !1, i64 12, i64 4}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 120: !6 = !{!2, i64 2, !"short"}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:267'1 ? possible intended match
# | 121: !7 = !{!5, !6, i64 0, i64 2}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 122: !8 = !{!9, !1, i64 8, i64 4}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 123: !9 = !{!2, i64 24, !"_ZTS7StructB", !6, i64 0, i64 2, !5, i64 4, i64 16, !1, i64 20, i64 4}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 124: !10 = !{!9, !6, i64 4, i64 2}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 125: !11 = !{!9, !1, i64 20, i64 4}
# | check:267'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Analysis/TypeBasedAliasAnalysis/tbaa-path.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path.ll -aa-pipeline=tbaa,basic-aa -passes=aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa,basic-aa -passes=aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output
# 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\TypeBasedAliasAnalysis\tbaa-path.ll'
# note: command had no output on stdout or stderr
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path.ll -aa-pipeline=tbaa,basic-aa -passes=gvn -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path.ll --check-prefix=OPT
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=tbaa,basic-aa -passes=gvn -S
# 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\TypeBasedAliasAnalysis\tbaa-path.ll' --check-prefix=OPT
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path.ll:20:8: error: OPT: expected string not found in input
# | ; OPT: %[[RET:.*]] = load i32, ptr
# | ^
# | <stdin>:21:13: note: scanning from here
# | store i32 4, ptr %f32, align 4, !tbaa !8
# | ^
# | <stdin>:27:2: note: possible intended match here
# | %s.addr = alloca ptr, align 8
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\TypeBasedAliasAnalysis\tbaa-path.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 16: store ptr %s, ptr %s.addr, align 8, !tbaa !0
# | 17: store ptr %A, ptr %A.addr, align 8, !tbaa !0
# | 18: store i64 %count, ptr %count.addr, align 8, !tbaa !4
# | 19: store i32 1, ptr %s, align 4, !tbaa !6
# | 20: %f32 = getelementptr inbounds %struct.StructA, ptr %A, i32 0, i32 1
# | 21: store i32 4, ptr %f32, align 4, !tbaa !8
# | check:20'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 22: ret i32 1
# | check:20'0 ~~~~~~~~~~~
# | 23: }
# | check:20'0 ~~
# | 24:
# | check:20'0 ~
# | 25: define i32 @_Z2g2PjP7StructAy(ptr %s, ptr %A, i64 %count) {
# | check:20'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 26: entry:
# | check:20'0 ~~~~~~~
# | 27: %s.addr = alloca ptr, align 8
# | check:20'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:20'1 ? possible intended match
# | 28: %A.addr = alloca ptr, align 8
# | check:20'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 29: %count.addr = alloca i64, align 8
# | check:20'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 30: store ptr %s, ptr %s.addr, align 8, !tbaa !0
# | check:20'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 31: store ptr %A, ptr %A.addr, align 8, !tbaa !0
# | check:20'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 32: store i64 %count, ptr %count.addr, align 8, !tbaa !4
# | check:20'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/PRE/invariant-load.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 3
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -passes=gvn -S < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\invariant-load.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\invariant-load.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -passes=gvn -S
# 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\Transforms\GVN\PRE\invariant-load.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\invariant-load.ll:76:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[V1:%.*]] = load i32, ptr [[P]], align 4, !invariant.load [[META0]]
# | ^
# | <stdin>:35:7: note: scanning from here
# | entry:
# | ^
# | <stdin>:35:7: note: with "P" equal to "%p"
# | entry:
# | ^
# | <stdin>:35:7: note: with "META0" equal to "!0"
# | entry:
# | ^
# | <stdin>:39:2: note: possible intended match here
# | store i32 5, ptr %q, align 4
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\invariant-load.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 30: bb2: ; preds = %bb1, %entry
# | 31: ret i32 0
# | 32: }
# | 33:
# | 34: define i32 @test4(i1 %cnd, ptr %p, ptr %q) {
# | 35: entry:
# | next:76'0 X error: no match found
# | next:76'1 with "P" equal to "%p"
# | next:76'2 with "META0" equal to "!0"
# | 36: br i1 %cnd, label %bb1, label %bb2
# | next:76'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 37:
# | next:76'0 ~
# | 38: bb1: ; preds = %entry
# | next:76'0 ~~~~~~~~~~~~~~~~~~~~~~
# | 39: store i32 5, ptr %q, align 4
# | next:76'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:76'3 ? possible intended match
# | 40: br label %bb2
# | next:76'0 ~~~~~~~~~~~~~~~
# | 41:
# | next:76'0 ~
# | 42: bb2: ; preds = %bb1, %entry
# | next:76'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 43: ret i32 0
# | next:76'0 ~~~~~~~~~~~
# | 44: }
# | next:76'0 ~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/PRE/pre-load-through-select.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -passes='require<domtree>,loop(loop-simplifycfg),gvn' -S C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' '-passes=require<domtree>,loop(loop-simplifycfg),gvn' -S 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll'
# 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\Transforms\GVN\PRE\pre-load-through-select.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll:358:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: [[MIN_SELECT:%.*]] = select i1 [[CMP_I_I_I]], ptr [[A]], ptr [[B]]
# | ^
# | <stdin>:208:2: note: 'next' match was here
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:206:38: note: previous match ended here
# | %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | ^
# | <stdin>:207:1: note: non-matching line after previous match is here
# | %0 = select i1 %cmp.i.i.i, i32 %l.1, i32 %l.2
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll:396:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: [[MIN_SELECT:%.*]] = select i1 [[CMP_I_I_I]], ptr [[A]], ptr [[B]]
# | ^
# | <stdin>:231:2: note: 'next' match was here
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:229:38: note: previous match ended here
# | %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | ^
# | <stdin>:230:1: note: non-matching line after previous match is here
# | %0 = select i1 %cmp.i.i.i, i32 %l.1, i32 %l.2
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll:481:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RES_0:%.*]] = load i32, ptr [[A]], align 4
# | ^
# | <stdin>:279:52: note: scanning from here
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:279:52: note: with "A" equal to "%a"
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:288:5: note: possible intended match here
# | %res.2 = load i32, ptr %p, align 4
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll:525:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RES_0:%.*]] = load i32, ptr [[B]], align 4
# | ^
# | <stdin>:302:52: note: scanning from here
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:302:52: note: with "B" equal to "%b"
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:311:5: note: possible intended match here
# | %res.2 = load i32, ptr %p, align 4
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll:569:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RES_0:%.*]] = load i32, ptr [[B]], align 4
# | ^
# | <stdin>:325:52: note: scanning from here
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:325:52: note: with "B" equal to "%b"
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:334:5: note: possible intended match here
# | %res.2 = load i32, ptr %p, align 4
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll:777:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: [[MIN_SELECT:%.*]] = select i1 [[CMP_I_I_I]], ptr [[A]], ptr [[B]]
# | ^
# | <stdin>:434:2: note: 'next' match was here
# | %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | ^
# | <stdin>:432:38: note: previous match ended here
# | %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | ^
# | <stdin>:433:1: note: non-matching line after previous match is here
# | %0 = select i1 %cmp.i.i.i, i32 %l.1, i32 %l.2
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-load-through-select.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 203: then: ; preds = %entry
# | 204: %l.1 = load i32, ptr %a, align 4
# | 205: %l.2 = load i32, ptr %b, align 4
# | 206: %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | 207: %0 = select i1 %cmp.i.i.i, i32 %l.1, i32 %l.2
# | 208: %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | next:358 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 209: store i32 99, ptr %c, align 4
# | 210: br label %exit
# | 211:
# | 212: else: ; preds = %entry
# | 213: %res.2.pre = load i32, ptr %a, align 4
# | .
# | .
# | .
# | 226: then: ; preds = %entry
# | 227: %l.1 = load i32, ptr %a, align 4
# | 228: %l.2 = load i32, ptr %b, align 4
# | 229: %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | 230: %0 = select i1 %cmp.i.i.i, i32 %l.1, i32 %l.2
# | 231: %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | next:396 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 232: br label %exit
# | 233:
# | 234: else: ; preds = %entry
# | 235: %res.2.pre = load i32, ptr %a, align 4
# | 236: br label %exit
# | .
# | .
# | .
# | 274: then: ; preds = %entry
# | 275: %l.1 = load i32, ptr %a, align 4
# | 276: %l.2 = load i32, ptr %b, align 4
# | 277: store i32 99, ptr %c, align 4
# | 278: %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | 279: %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | next:481'0 X error: no match found
# | next:481'1 with "A" equal to "%a"
# | 280: br label %exit
# | next:481'0 ~~~~~~~~~~~~~~~~
# | 281:
# | next:481'0 ~
# | 282: else: ; preds = %entry
# | next:481'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 283: br label %exit
# | next:481'0 ~~~~~~~~~~~~~~~~
# | 284:
# | next:481'0 ~
# | 285: exit: ; preds = %else, %then
# | next:481'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 286: %p = phi ptr [ %min.select, %then ], [ %a, %else ]
# | next:481'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 287: %v = phi i32 [ %l.1, %then ], [ 10, %else ]
# | next:481'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 288: %res.2 = load i32, ptr %p, align 4
# | next:481'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:481'2 ? possible intended match
# | 289: %add = add i32 %res.2, %v
# | next:481'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 290: ret i32 %res.2
# | next:481'0 ~~~~~~~~~~~~~~~~
# | 291: }
# | next:481'0 ~~
# | 292:
# | next:481'0 ~
# | 293: define i32 @test_pointer_phi_select_simp_store_clobber_8(ptr %a, ptr %b, ptr %c, i1 %cond) {
# | next:481'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 294: entry:
# | 295: br i1 %cond, label %then, label %else
# | 296:
# | 297: then: ; preds = %entry
# | 298: %l.1 = load i32, ptr %a, align 4
# | 299: %l.2 = load i32, ptr %b, align 4
# | 300: store i32 99, ptr %c, align 4
# | 301: %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | 302: %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | next:525'0 X error: no match found
# | next:525'1 with "B" equal to "%b"
# | 303: br label %exit
# | next:525'0 ~~~~~~~~~~~~~~~~
# | 304:
# | next:525'0 ~
# | 305: else: ; preds = %entry
# | next:525'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 306: br label %exit
# | next:525'0 ~~~~~~~~~~~~~~~~
# | 307:
# | next:525'0 ~
# | 308: exit: ; preds = %else, %then
# | next:525'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 309: %p = phi ptr [ %min.select, %then ], [ %a, %else ]
# | next:525'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 310: %v = phi i32 [ %l.2, %then ], [ 10, %else ]
# | next:525'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 311: %res.2 = load i32, ptr %p, align 4
# | next:525'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:525'2 ? possible intended match
# | 312: %add = add i32 %res.2, %v
# | next:525'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 313: ret i32 %res.2
# | next:525'0 ~~~~~~~~~~~~~~~~
# | 314: }
# | next:525'0 ~~
# | 315:
# | next:525'0 ~
# | 316: define i32 @test_pointer_phi_select_simp_store_clobber_9(ptr %a, ptr %b, i1 %cond) {
# | next:525'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 317: entry:
# | 318: br i1 %cond, label %then, label %else
# | 319:
# | 320: then: ; preds = %entry
# | 321: %l.1 = load i32, ptr %a, align 4
# | 322: %l.2 = load i32, ptr %b, align 4
# | 323: store i32 99, ptr %a, align 4
# | 324: %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | 325: %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | next:569'0 X error: no match found
# | next:569'1 with "B" equal to "%b"
# | 326: br label %exit
# | next:569'0 ~~~~~~~~~~~~~~~~
# | 327:
# | next:569'0 ~
# | 328: else: ; preds = %entry
# | next:569'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 329: br label %exit
# | next:569'0 ~~~~~~~~~~~~~~~~
# | 330:
# | next:569'0 ~
# | 331: exit: ; preds = %else, %then
# | next:569'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 332: %p = phi ptr [ %min.select, %then ], [ %a, %else ]
# | next:569'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 333: %v = phi i32 [ %l.2, %then ], [ 10, %else ]
# | next:569'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 334: %res.2 = load i32, ptr %p, align 4
# | next:569'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:569'2 ? possible intended match
# | 335: %add = add i32 %res.2, %v
# | next:569'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 336: ret i32 %res.2
# | next:569'0 ~~~~~~~~~~~~~~~~
# | 337: }
# | next:569'0 ~~
# | 338:
# | next:569'0 ~
# | 339: define i32 @test_pointer_phi_select_simp_store_clobber_10(ptr %a, ptr %b, i1 %cond) {
# | next:569'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 429: entry:
# | 430: %l.1 = load i32, ptr %a, align 4
# | 431: %l.2 = load i32, ptr %b, align 4
# | 432: %cmp.i.i.i = icmp ult i32 %l.1, %l.2
# | 433: %0 = select i1 %cmp.i.i.i, i32 %l.1, i32 %l.2
# | 434: %min.select = select i1 %cmp.i.i.i, ptr %a, ptr %b
# | next:777 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 435: store i32 99, ptr %c, align 4
# | 436: ret i32 %0
# | 437: }
# | 438:
# | 439: define i32 @test_pointer_phi_select_single_block_store_clobber_3(ptr %a, ptr %b, ptr %c) {
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/PRE/pre-loop-load-through-select.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -passes='require<domtree>,loop(loop-simplifycfg),gvn' -enable-split-backedge-in-load-pre -S C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-loop-load-through-select.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-loop-load-through-select.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' '-passes=require<domtree>,loop(loop-simplifycfg),gvn' -enable-split-backedge-in-load-pre -S 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-loop-load-through-select.ll'
# 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\Transforms\GVN\PRE\pre-loop-load-through-select.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-loop-load-through-select.ll:466:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: br label [[LOOP:%.*]]
# | ^
# | <stdin>:261:2: note: 'next' match was here
# | br label %loop
# | ^
# | <stdin>:259:58: note: previous match ended here
# | %start.ptr = getelementptr inbounds i32, ptr %ptr, i64 1
# | ^
# | <stdin>:260:1: note: non-matching line after previous match is here
# | %l.2.pre = load i32, ptr %ptr, align 4
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\PRE\pre-loop-load-through-select.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 256:
# | 257: define i32 @test_pointer_phi_select_same_object_store_3(ptr %ptr, ptr %end) {
# | 258: entry:
# | 259: %start.ptr = getelementptr inbounds i32, ptr %ptr, i64 1
# | 260: %l.2.pre = load i32, ptr %ptr, align 4
# | 261: br label %loop
# | next:466 !~~~~~~~~~~~~~ error: match on wrong line
# | 262:
# | 263: loop: ; preds = %loop, %entry
# | 264: %l.2 = phi i32 [ %l.2.pre, %entry ], [ %0, %loop ]
# | 265: %ptr.iv = phi ptr [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
# | 266: %min.ptr = phi ptr [ %ptr, %entry ], [ %min.select, %loop ]
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/condprop.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\Transforms\GVN\condprop.ll -passes=gvn -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\condprop.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -passes=gvn -S
# 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\Transforms\GVN\condprop.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\condprop.ll:584:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: br i1 [[CMP]], label [[IF:%.*]], label [[END:%.*]]
# | ^
# | <stdin>:332:2: note: 'next' match was here
# | br i1 %cmp, label %if, label %end
# | ^
# | <stdin>:330:33: note: previous match ended here
# | %cmp = icmp eq ptr %ptr1, %ptr2
# | ^
# | <stdin>:331:1: note: non-matching line after previous match is here
# | %val2.pre = load i32, ptr %gep2, align 4
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\condprop.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 327: entry:
# | 328: %gep1 = getelementptr i32, ptr %ptr2, i32 1
# | 329: %gep2 = getelementptr i32, ptr %ptr2, i32 2
# | 330: %cmp = icmp eq ptr %ptr1, %ptr2
# | 331: %val2.pre = load i32, ptr %gep2, align 4
# | 332: br i1 %cmp, label %if, label %end
# | next:584 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 333:
# | 334: if: ; preds = %entry
# | 335: br label %end
# | 336:
# | 337: end: ; preds = %if, %entry
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/opt-remarks.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\opt-remarks.ll -passes=gvn -disable-output -pass-remarks=gvn -pass-remarks-missed=gvn 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\opt-remarks.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -passes=gvn -disable-output -pass-remarks=gvn -pass-remarks-missed=gvn
# 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\Transforms\GVN\opt-remarks.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\opt-remarks.ll:14:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: remark: /tmp/s.c:3:3: load of type i32 not eliminated
# | ^
# | <stdin>:3:51: note: scanning from here
# | remark: <unknown>:0:0: load of type i32 eliminated
# | ^
# | <stdin>:4:1: note: possible intended match here
# | remark: /tmp/s.c:3:3: load of type i32 eliminated
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\opt-remarks.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: remark: <unknown>:0:0: load of type i32 eliminated
# | 2: remark: <unknown>:0:0: load of type i32 eliminated
# | 3: remark: <unknown>:0:0: load of type i32 eliminated
# | next:14'0 X error: no match found
# | 4: remark: /tmp/s.c:3:3: load of type i32 eliminated
# | next:14'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:14'1 ? possible intended match
# | 5: remark: <unknown>:0:0: load of type i8 not eliminated
# | next:14'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/phi-translation-to-wrong-context.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -S -passes=gvn < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\phi-translation-to-wrong-context.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\phi-translation-to-wrong-context.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -S -passes=gvn
# 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\Transforms\GVN\phi-translation-to-wrong-context.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\phi-translation-to-wrong-context.ll:18:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[V_PRE:%.*]] = load i32, ptr [[GEP_J_PHI_TRANS_INSERT]], align 4
# | ^
# | <stdin>:14:72: note: scanning from here
# | %gep.j.phi.trans.insert = getelementptr inbounds i32, ptr %ptr, i64 %i
# | ^
# | <stdin>:14:72: note: with "GEP_J_PHI_TRANS_INSERT" equal to "%gep.j.phi.trans.insert"
# | %gep.j.phi.trans.insert = getelementptr inbounds i32, ptr %ptr, i64 %i
# | ^
# | <stdin>:18:2: note: possible intended match here
# | store i32 2, ptr %ptr, align 4
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\phi-translation-to-wrong-context.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 9: if: ; preds = %entry
# | 10: br i1 %c2, label %if2, label %else2
# | 11:
# | 12: if2: ; preds = %if
# | 13: store i32 1, ptr %ptr, align 4
# | 14: %gep.j.phi.trans.insert = getelementptr inbounds i32, ptr %ptr, i64 %i
# | next:18'0 X error: no match found
# | next:18'1 with "GEP_J_PHI_TRANS_INSERT" equal to "%gep.j.phi.trans.insert"
# | 15: br label %join
# | next:18'0 ~~~~~~~~~~~~~~~~
# | 16:
# | next:18'0 ~
# | 17: else2: ; preds = %if
# | next:18'0 ~~~~~~~~~~~~~~~~~~~~~
# | 18: store i32 2, ptr %ptr, align 4
# | next:18'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:18'2 ? possible intended match
# | 19: br label %join
# | next:18'0 ~~~~~~~~~~~~~~~~
# | 20:
# | next:18'0 ~
# | 21: join: ; preds = %else2, %if2
# | next:18'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 22: %j = phi i64 [ %i, %if2 ], [ 0, %else2 ]
# | next:18'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 23: %gep.j = getelementptr inbounds i32, ptr %ptr, i64 %j
# | next:18'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/pr32314.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -S -passes=gvn < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\pr32314.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\pr32314.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -S -passes=gvn
# 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\Transforms\GVN\pr32314.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\pr32314.ll:12:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: br label [[FOR_BODY:%.*]]
# | ^
# | <stdin>:10:2: note: 'next' match was here
# | br label %for.body
# | ^
# | <stdin>:8:32: note: previous match ended here
# | %a = alloca [3 x i32], align 4
# | ^
# | <stdin>:9:1: note: non-matching line after previous match is here
# | %.pre = load i32, ptr undef, align 4
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\pr32314.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 5:
# | 6: define void @foo() {
# | 7: entry:
# | 8: %a = alloca [3 x i32], align 4
# | 9: %.pre = load i32, ptr undef, align 4
# | 10: br label %for.body
# | next:12 !~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 11:
# | 12: for.cond.cleanup: ; preds = %for.body
# | 13: ret void
# | 14:
# | 15: for.body: ; preds = %for.body, %entry
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/preserve-memoryssa.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -aa-pipeline=basic-aa -passes='require<memoryssa>,gvn' -S -verify-memoryssa C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\preserve-memoryssa.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\preserve-memoryssa.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa '-passes=require<memoryssa>,gvn' -S -verify-memoryssa 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\preserve-memoryssa.ll'
# 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\Transforms\GVN\preserve-memoryssa.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\preserve-memoryssa.ll:17:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[LV_2_PRE:%.*]] = load i32, ptr [[PTR_0]], align 8
# | ^
# | <stdin>:15:34: note: scanning from here
# | store i32 10, ptr %lv.1, align 4
# | ^
# | <stdin>:15:34: note: with "PTR_0" equal to "%ptr.0"
# | store i32 10, ptr %lv.1, align 4
# | ^
# | <stdin>:19:2: note: possible intended match here
# | call void @use(i32 %lv.0)
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\preserve-memoryssa.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 10: call void @use(i32 %lv.0)
# | 11: br i1 %c, label %if.then749, label %for.inc774
# | 12:
# | 13: if.then749: ; preds = %entry
# | 14: %lv.1 = load ptr, ptr %ptr.1, align 8
# | 15: store i32 10, ptr %lv.1, align 4
# | next:17'0 X error: no match found
# | next:17'1 with "PTR_0" equal to "%ptr.0"
# | 16: br label %for.inc774
# | next:17'0 ~~~~~~~~~~~~~~~~~~~~~~
# | 17:
# | next:17'0 ~
# | 18: for.inc774: ; preds = %if.then749, %entry
# | next:17'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 19: call void @use(i32 %lv.0)
# | next:17'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:17'2 ? possible intended match
# | 20: ret i32 1
# | next:17'0 ~~~~~~~~~~~
# | 21: }
# | next:17'0 ~~
# | 22:
# | next:17'0 ~
# | 23: define i32 @test_volatile(ptr %ptr.0, ptr %ptr.1, i1 %c) {
# | next:17'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 24: entry:
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/remarks-selfdomination.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -passes=gvn -pass-remarks-analysis=gvn -S < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\remarks-selfdomination.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\remarks-selfdomination.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -passes=gvn -pass-remarks-analysis=gvn -S
# 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\Transforms\GVN\remarks-selfdomination.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\remarks-selfdomination.ll:10:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[TMP0]], align 8
# | ^
# | <stdin>:8:35: note: scanning from here
# | store ptr null, ptr %two, align 8
# | ^
# | <stdin>:8:35: note: with "TMP0" equal to "%0"
# | store ptr null, ptr %two, align 8
# | ^
# | <stdin>:9:4: note: possible intended match here
# | store ptr %0, ptr %three, align 8
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\remarks-selfdomination.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: ; ModuleID = '<stdin>'
# | 2: source_filename = "<stdin>"
# | 3:
# | 4: define ptr @ReplaceWithTidy(ptr %one, ptr %two, ptr %three) {
# | 5: entry:
# | 6: %0 = load ptr, ptr %one, align 8
# | 7: store ptr %0, ptr %0, align 8
# | 8: store ptr null, ptr %two, align 8
# | next:10'0 X error: no match found
# | next:10'1 with "TMP0" equal to "%0"
# | 9: store ptr %0, ptr %three, align 8
# | next:10'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:10'2 ? possible intended match
# | 10: ret ptr null
# | next:10'0 ~~~~~~~~~~~~~~
# | 11: }
# | next:10'0 ~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GVN/vscale.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -S < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\vscale.ll -passes=gvn,dce | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe --check-prefixes=CHECK,MDEP C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\vscale.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -S -passes=gvn,dce
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' --check-prefixes=CHECK,MDEP 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\vscale.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\vscale.ll:339:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[T:%.*]] = load i32, ptr [[GEP1]], align 4
# | ^
# | <stdin>:145:9: note: scanning from here
# | if.then: ; preds = %entry
# | ^
# | <stdin>:145:9: note: with "GEP1" equal to "%gep1"
# | if.then: ; preds = %entry
# | ^
# | <stdin>:146:2: note: possible intended match here
# | store i32 0, ptr %q, align 4
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GVN\vscale.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 140: store i32 0, ptr %gep1, align 4
# | 141: %gep2 = getelementptr <vscale x 4 x i32>, ptr %p, i64 1, i64 0
# | 142: store i32 1, ptr %gep2, align 4
# | 143: br i1 %c, label %if.else, label %if.then
# | 144:
# | 145: if.then: ; preds = %entry
# | next:339'0 X~~~~~~~~~~~~~~~~~ error: no match found
# | next:339'1 with "GEP1" equal to "%gep1"
# | 146: store i32 0, ptr %q, align 4
# | next:339'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:339'2 ? possible intended match
# | 147: ret void
# | next:339'0 ~~~~~~~~~~
# | 148:
# | next:339'0 ~
# | 149: if.else: ; preds = %entry
# | next:339'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 150: ret void
# | next:339'0 ~~~~~~~~~~
# | 151: }
# | next:339'0 ~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/GlobalOpt/disable-globals-aa.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -O2 -S C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll --check-prefix=WITHGLOBALSAA
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -O2 -S 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll'
# 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\Transforms\GlobalOpt\disable-globals-aa.ll' --check-prefix=WITHGLOBALSAA
# note: command had no output on stdout or stderr
# RUN: at line 3
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -O2 -enable-global-analyses=0 -S C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll --check-prefix=NOGLOBALSAA
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -O2 -enable-global-analyses=0 -S 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll'
# 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\Transforms\GlobalOpt\disable-globals-aa.ll' --check-prefix=NOGLOBALSAA
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll:21:21: error: NOGLOBALSAA-NEXT: expected string not found in input
# | ; NOGLOBALSAA-NEXT: [[R:%.*]] = load i8, ptr [[PTR]], align 1
# | ^
# | <stdin>:9:34: note: scanning from here
# | store i1 true, ptr @glb, align 1
# | ^
# | <stdin>:9:34: note: with "PTR" equal to "%ptr"
# | store i1 true, ptr @glb, align 1
# | ^
# | <stdin>:14:13: note: possible intended match here
# | define range(i8 0, 3) i8 @dummy() local_unnamed_addr #1 !prof !0 {
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll:50:16: error: NOGLOBALSAA: expected string not found in input
# | ; NOGLOBALSAA: attributes #[[ATTR0:[0-9]+]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(write, argmem: readwrite, inaccessiblemem: none, target_mem0: none, target_mem1: none) }
# | ^
# | <stdin>:17:13: note: scanning from here
# | ret i8 %val
# | ^
# | <stdin>:21:1: note: possible intended match here
# | attributes #1 = { mustprogress nofree norecurse nosync nounwind willreturn memory(read, argmem: none, inaccessiblemem: none, target_mem0: none, target_mem1: none) }
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: ; ModuleID = 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\GlobalOpt\disable-globals-aa.ll'
# | 2: source_filename = "C:\\_work\\llvm-project\\llvm-project\\llvm\\test\\Transforms\\GlobalOpt\\disable-globals-aa.ll"
# | 3:
# | 4: @glb = internal unnamed_addr global i1 false
# | 5:
# | 6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(write, inaccessiblemem: none, target_mem0: none, target_mem1: none)
# | 7: define noundef i8 @f(ptr writeonly captures(none) initializes((0, 1)) %ptr) local_unnamed_addr #0 {
# | 8: store i8 1, ptr %ptr, align 1
# | 9: store i1 true, ptr @glb, align 1
# | next:21'0 X error: no match found
# | next:21'1 with "PTR" equal to "%ptr"
# | 10: ret i8 1
# | next:21'0 ~~~~~~~~~~
# | 11: }
# | next:21'0 ~~
# | 12:
# | next:21'0 ~
# | 13: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(read, argmem: none, inaccessiblemem: none, target_mem0: none, target_mem1: none)
# | next:21'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 14: define range(i8 0, 3) i8 @dummy() local_unnamed_addr #1 !prof !0 {
# | next:21'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:21'2 ? possible intended match
# | 15: %val.b = load i1, ptr @glb, align 1
# | 16: %val = select i1 %val.b, i8 2, i8 0, !prof !1
# | 17: ret i8 %val
# | check:50'0 X error: no match found
# | 18: }
# | check:50'0 ~~
# | 19:
# | check:50'0 ~
# | 20: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(write, inaccessiblemem: none, target_mem0: none, target_mem1: none) }
# | check:50'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 21: attributes #1 = { mustprogress nofree norecurse nosync nounwind willreturn memory(read, argmem: none, inaccessiblemem: none, target_mem0: none, target_mem1: none) }
# | check:50'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:50'1 ? possible intended match
# | 22:
# | check:50'0 ~
# | 23: !0 = !{!"function_entry_count", i32 10}
# | check:50'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 24: !1 = !{!"unknown", !"globalopt"}
# | check:50'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/PhaseOrdering/recompute-globalsaa.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -passes='default<O2>' -S < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PhaseOrdering\recompute-globalsaa.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PhaseOrdering\recompute-globalsaa.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' '-passes=default<O2>' -S
# 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\Transforms\PhaseOrdering\recompute-globalsaa.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PhaseOrdering\recompute-globalsaa.ll:11:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: entry:
# | ^
# | <stdin>:9:26: note: scanning from here
# | define noundef i32 @main() local_unnamed_addr #0 {
# | ^
# | <stdin>:18:77: note: possible intended match here
# | attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(readwrite, argmem: write, inaccessiblemem: none, target_mem0: none, target_mem1: none) }
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PhaseOrdering\recompute-globalsaa.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: ; ModuleID = '<stdin>'
# | 2: source_filename = "<stdin>"
# | 3:
# | 4: @a = internal global i32 0, align 4
# | 5: @e = internal unnamed_addr global ptr @d, align 8
# | 6: @d = internal global i32 0, align 4
# | 7:
# | 8: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(readwrite, argmem: write, inaccessiblemem: none, target_mem0: none, target_mem1: none)
# | 9: define noundef i32 @main() local_unnamed_addr #0 {
# | next:11'0 X~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 10: bar.exit:
# | next:11'0 ~~~~~~~~~~
# | 11: store i32 1, ptr @a, align 4
# | next:11'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 12: %0 = load ptr, ptr @e, align 8
# | next:11'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 13: store i32 0, ptr %0, align 4
# | next:11'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 14: store ptr null, ptr @e, align 8
# | next:11'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 15: ret i32 0
# | next:11'0 ~~~~~~~~~~~
# | 16: }
# | next:11'0 ~~
# | 17:
# | next:11'0 ~
# | 18: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(readwrite, argmem: write, inaccessiblemem: none, target_mem0: none, target_mem1: none) }
# | next:11'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:11'1 ? possible intended match
# | >>>>>>
# `-----------------------------
# 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/174137
More information about the llvm-commits
mailing list