[llvm] [Loads] Support dereferenceable assumption with variable size. (PR #128436)

[LLVM Continuous Integration via llvm-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-nvptx-nvidia-win` running on `as-builder-8` while building `llvm` at step 7 "test-build-unified-tree-check-llvm".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/54/builds/10849

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 7 (test-build-unified-tree-check-llvm) failure: test (failure)
******************** TEST 'LLVM :: Transforms/LoopVectorize/vect.stats.ll' FAILED ********************
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\build\bin\opt.exe < C:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\llvm-project\llvm\test\Transforms\LoopVectorize\vect.stats.ll -passes=loop-vectorize -force-vector-interleave=4 -force-vector-width=4 -debug-only=loop-vectorize -enable-early-exit-vectorization --disable-output -stats -S 2>&1 | c:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\build\bin\filecheck.exe C:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\llvm-project\llvm\test\Transforms\LoopVectorize\vect.stats.ll
# executed command: 'c:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\build\bin\opt.exe' -passes=loop-vectorize -force-vector-interleave=4 -force-vector-width=4 -debug-only=loop-vectorize -enable-early-exit-vectorization --disable-output -stats -S
# executed command: 'c:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\build\bin\filecheck.exe' 'C:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\llvm-project\llvm\test\Transforms\LoopVectorize\vect.stats.ll'
# .---command stderr------------
# | C:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\llvm-project\llvm\test\Transforms\LoopVectorize\vect.stats.ll:8:10: error: CHECK: expected string not found in input
# | ; CHECK: 1 loop-vectorize - Number of early exit loops vectorized
# |          ^
# | <stdin>:260:62: note: scanning from here
# | 3 loop-vectorize - Number of loops analyzed for vectorization
# |                                                              ^
# | <stdin>:261:1: note: possible intended match here
# | 1 loop-vectorize - Number of loops vectorized
# | ^
# | 
# | Input file: <stdin>
# | Check file: C:\buildbot\as-builder-8\llvm-nvptx-nvidia-win\llvm-project\llvm\test\Transforms\LoopVectorize\vect.stats.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |          255: ===-------------------------------------------------------------------------=== 
# |          256:  ... Statistics Collected ... 
# |          257: ===-------------------------------------------------------------------------=== 
# |          258:  
# |          259: 3 aa - Number of MayAlias results 
# |          260: 3 loop-vectorize - Number of loops analyzed for vectorization 
# | check:8'0                                                                  X error: no match found
# |          261: 1 loop-vectorize - Number of loops vectorized 
# | check:8'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:8'1     ?                                              possible intended match
# |          262: 4 scalar-evolution - Number of loop exits with predictable exit counts 
# | check:8'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |          263: 2 scalar-evolution - Number of loop exits without predictable exit counts 
# | check:8'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |          264:  
# | check:8'0     ~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

...

```

</details>

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