[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 `clang-aarch64-global-isel` running on `linaro-clang-aarch64-global-isel` while building `llvm` at step 7 "ninja check 1".

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

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

```
Step 7 (ninja check 1) failure: stage 1 checked (failure)
******************** TEST 'LLVM :: Transforms/LoopVectorize/vect.stats.ll' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
/home/tcwg-buildbot/worker/clang-aarch64-global-isel/stage1/bin/opt < /home/tcwg-buildbot/worker/clang-aarch64-global-isel/llvm/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 | /home/tcwg-buildbot/worker/clang-aarch64-global-isel/stage1/bin/FileCheck /home/tcwg-buildbot/worker/clang-aarch64-global-isel/llvm/llvm/test/Transforms/LoopVectorize/vect.stats.ll # RUN: at line 1
+ /home/tcwg-buildbot/worker/clang-aarch64-global-isel/stage1/bin/opt -passes=loop-vectorize -force-vector-interleave=4 -force-vector-width=4 -debug-only=loop-vectorize -enable-early-exit-vectorization --disable-output -stats -S
+ /home/tcwg-buildbot/worker/clang-aarch64-global-isel/stage1/bin/FileCheck /home/tcwg-buildbot/worker/clang-aarch64-global-isel/llvm/llvm/test/Transforms/LoopVectorize/vect.stats.ll
/home/tcwg-buildbot/worker/clang-aarch64-global-isel/llvm/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: /home/tcwg-buildbot/worker/clang-aarch64-global-isel/llvm/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     ~
>>>>>>

--

********************


```

</details>

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