[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 `ml-opt-rel-x86-64` running on `ml-opt-rel-x86-64-b2` while building `llvm` at step 6 "test-build-unified-tree-check-all".

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

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

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

Command Output (stderr):
--
/b/ml-opt-rel-x86-64-b1/build/bin/opt < /b/ml-opt-rel-x86-64-b1/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 | /b/ml-opt-rel-x86-64-b1/build/bin/FileCheck /b/ml-opt-rel-x86-64-b1/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll # RUN: at line 1
+ /b/ml-opt-rel-x86-64-b1/build/bin/FileCheck /b/ml-opt-rel-x86-64-b1/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll
+ /b/ml-opt-rel-x86-64-b1/build/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
/b/ml-opt-rel-x86-64-b1/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: /b/ml-opt-rel-x86-64-b1/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     ~
>>>>>>

--

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


```

</details>

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