[llvm] [VectorUtils] Collect predicates separately in collectConstStrideAccesses. (PR #200807)

[via llvm-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 135293 tests passed
* 3343 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.Analysis/LoopAccessAnalysis/retry-runtime-checks-after-dependence-analysis.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -passes='print<access-info>' -disable-output C:\_work\llvm-project\llvm-project\llvm\test\Analysis\LoopAccessAnalysis\retry-runtime-checks-after-dependence-analysis.ll 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\LoopAccessAnalysis\retry-runtime-checks-after-dependence-analysis.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' '-passes=print<access-info>' -disable-output 'C:\_work\llvm-project\llvm-project\llvm\test\Analysis\LoopAccessAnalysis\retry-runtime-checks-after-dependence-analysis.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\Analysis\LoopAccessAnalysis\retry-runtime-checks-after-dependence-analysis.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\LoopAccessAnalysis\retry-runtime-checks-after-dependence-analysis.ll:75:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: %gep.b = getelementptr i8, ptr %b, i64 %iv2
# |               ^
# | <stdin>:50:2: note: 'next' match was here
# |  %gep.b = getelementptr i8, ptr %b, i64 %iv2
# |  ^
# | <stdin>:44:21: note: previous match ended here
# |  Against group GRP1:
# |                     ^
# | <stdin>:45:1: note: non-matching line after previous match is here
# |  %gep.a.iv.off = getelementptr inbounds float, ptr %a, i64 %iv.offset
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\LoopAccessAnalysis\retry-runtime-checks-after-dependence-analysis.ll:268:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: %gep.b = getelementptr float, ptr %b, i64 %iv2
# |               ^
# | <stdin>:164:2: note: 'next' match was here
# |  %gep.b = getelementptr float, ptr %b, i64 %iv2
# |  ^
# | <stdin>:158:21: note: previous match ended here
# |  Against group GRP1:
# |                     ^
# | <stdin>:159:1: note: non-matching line after previous match is here
# |  %gep.a.iv.off = getelementptr inbounds float, ptr %a, i64 %iv.offset
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\LoopAccessAnalysis\retry-runtime-checks-after-dependence-analysis.ll:328:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: %A.100.iv = getelementptr { float, float }, ptr %A.100, i64 %iv
# |               ^
# | <stdin>:195:2: note: 'next' match was here
# |  %A.100.iv = getelementptr { float, float }, ptr %A.100, i64 %iv
# |  ^
# | <stdin>:192:23: note: previous match ended here
# |  Comparing group GRP0:
# |                       ^
# | <stdin>:193:1: note: non-matching line after previous match is here
# |  ptr %A
# | ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\LoopAccessAnalysis\retry-runtime-checks-after-dependence-analysis.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |           .
# |           .
# |           .
# |          45:  %gep.a.iv.off = getelementptr inbounds float, ptr %a, i64 %iv.offset 
# |          46:  Check 1: 
# |          47:  Comparing group GRP0: 
# |          48:  %gep.a.iv = getelementptr inbounds float, ptr %a, i64 %iv 
# |          49:  Against group GRP2: 
# |          50:  %gep.b = getelementptr i8, ptr %b, i64 %iv2 
# | next:75       !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  error: match on wrong line
# |          51:  Check 2: 
# |          52:  Comparing group GRP1: 
# |          53:  %gep.a.iv.off = getelementptr inbounds float, ptr %a, i64 %iv.offset 
# |          54:  Against group GRP2: 
# |          55:  %gep.b = getelementptr i8, ptr %b, i64 %iv2 
# |           .
# |           .
# |           .
# |         159:  %gep.a.iv.off = getelementptr inbounds float, ptr %a, i64 %iv.offset 
# |         160:  Check 1: 
# |         161:  Comparing group GRP0: 
# |         162:  %gep.a.iv = getelementptr inbounds float, ptr %a, i64 %iv 
# |         163:  Against group GRP2: 
# |         164:  %gep.b = getelementptr float, ptr %b, i64 %iv2 
# | next:268      !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  error: match on wrong line
# |         165:  Check 2: 
# |         166:  Comparing group GRP1: 
# |         167:  %gep.a.iv.off = getelementptr inbounds float, ptr %a, i64 %iv.offset 
# |         168:  Against group GRP2: 
# |         169:  %gep.b = getelementptr float, ptr %b, i64 %iv2 
# |           .
# |           .
# |           .
# |         190:  Run-time memory checks: 
# |         191:  Check 0: 
# |         192:  Comparing group GRP0: 
# |         193:  ptr %A 
# |         194:  Against group GRP1: 
# |         195:  %A.100.iv = getelementptr { float, float }, ptr %A.100, i64 %iv 
# | next:328      !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  error: match on wrong line
# |         196:  Check 1: 
# |         197:  Comparing group GRP0: 
# |         198:  ptr %A 
# |         199:  Against group GRP2: 
# |         200:  %A.100.iv.offset.3 = getelementptr i8, ptr %A.100, i64 %iv.offset.3 
# |           .
# |           .
# |           .
# | >>>>>>
# `-----------------------------
# 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/200807