[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 `ppc64le-lld-multistage-test` running on `ppc64le-lld-multistage-test` while building `llvm` at step 7 "test-build-stage1-unified-tree-check-all".

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

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

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

Command Output (stderr):
--
/home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/build/stage1/bin/opt < /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/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 | /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/build/stage1/bin/FileCheck /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll # RUN: at line 1
+ /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/build/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/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/build/stage1/bin/FileCheck /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll
/home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/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: /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/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     ~
>>>>>>

--

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

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

Command Output (stderr):
--
/home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/build/stage2/bin/opt < /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/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 | /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/build/stage2/bin/FileCheck /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll # RUN: at line 1
+ /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/build/stage2/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/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/build/stage2/bin/FileCheck /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll
/home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/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: /home/buildbots/llvm-external-buildbots/workers/ppc64le-lld-multistage-test/ppc64le-lld-multistage-test/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