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

Mon Jul 14 00:25:51 PDT 2025

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-clang-x86_64-sie-ubuntu-fast` running on `sie-linux-worker` while building `llvm` at step 6 "test-build-unified-tree-check-all".

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

<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):
--
/home/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/build/bin/opt < /home/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/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/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/build/bin/FileCheck /home/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll # RUN: at line 1
+ /home/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/build/bin/FileCheck /home/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll
+ /home/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/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
[1m/home/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll:8:10: [0m[0;1;31merror: [0m[1mCHECK: expected string not found in input
[0m; CHECK: 1 loop-vectorize - Number of early exit loops vectorized
[0;1;32m         ^
[0m[1m<stdin>:260:62: [0m[0;1;30mnote: [0m[1mscanning from here
[0m3 loop-vectorize - Number of loops analyzed for vectorization
[0;1;32m                                                             ^
[0m[1m<stdin>:261:1: [0m[0;1;30mnote: [0m[1mpossible intended match here
[0m1 loop-vectorize - Number of loops vectorized
[0;1;32m^
[0m
Input file: <stdin>
Check file: /home/buildbot/buildbot-root/llvm-clang-x86_64-sie-ubuntu-fast/llvm-project/llvm/test/Transforms/LoopVectorize/vect.stats.ll

-dump-input=help explains the following input dump.

Input was:
<<<<<<
[1m[0m[0;1;30m           1: [0m[1m[0;1;46m [0m
[0;1;30m           2: [0m[1m[0;1;46mLV: Checking a loop in 'vectorized' from <stdin> [0m
[0;1;30m           3: [0m[1m[0;1;46mLV: Loop hints: force=? width=4 interleave=4 [0m
[0;1;30m           4: [0m[1m[0;1;46mLV: Found a loop: for.body [0m
[0;1;30m           5: [0m[1m[0;1;46mLV: Found an induction variable. [0m
[0;1;30m           6: [0m[1m[0;1;46mLV: Found FP op with unsafe algebra. [0m
[0;1;30m           7: [0m[1m[0;1;46mLV: We can vectorize this loop! [0m
[0;1;30m           8: [0m[1m[0;1;46mLV: Loop does not require scalar epilogue [0m
[0;1;30m           9: [0m[1m[0;1;46mLV: Found trip count: 0 [0m
[0;1;30m          10: [0m[1m[0;1;46mLV: The max safe fixed VF is: 67108864. [0m
[0;1;30m          11: [0m[1m[0;1;46mLV: The max safe scalable VF is: vscale x 0. [0m
[0;1;30m          12: [0m[1m[0;1;46mLV: Found uniform instruction: %cmp2 = icmp sgt i64 %indvars.iv.next, %size [0m
[0;1;30m          13: [0m[1m[0;1;46mLV: Found uniform instruction: %arrayidx = getelementptr inbounds float, ptr %a, i64 %indvars.iv2 [0m
[0;1;30m          14: [0m[1m[0;1;46mLV: Found uniform instruction: %indvars.iv2 = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %for.body.preheader ] [0m
[0;1;30m          15: [0m[1m[0;1;46mLV: Found uniform instruction: %indvars.iv.next = add nuw nsw i64 %indvars.iv2, 1 [0m
[0;1;30m          16: [0m[1m[0;1;46mLV: Found scalar instruction: %indvars.iv2 = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %for.body.preheader ] [0m
[0;1;30m          17: [0m[1m[0;1;46mLV: Found scalar instruction: %indvars.iv.next = add nuw nsw i64 %indvars.iv2, 1 [0m
[0;1;30m          18: [0m[1m[0;1;46mLV: Found an estimated cost of 1 for VF 4 For instruction: %indvars.iv2 = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %for.body.preheader ] [0m
[0;1;30m          19: [0m[1m[0;1;46mLV: Found an estimated cost of 0 for VF 4 For instruction: %arrayidx = getelementptr inbounds float, ptr %a, i64 %indvars.iv2 [0m
[0;1;30m          20: [0m[1m[0;1;46mLV: Found an estimated cost of 1 for VF 4 For instruction: %0 = load float, ptr %arrayidx, align 4 [0m
[0;1;30m          21: [0m[1m[0;1;46mLV: Found an estimated cost of 1 for VF 4 For instruction: %mul = fmul float %0, %0 [0m
[0;1;30m          22: [0m[1m[0;1;46mLV: Found an estimated cost of 1 for VF 4 For instruction: store float %mul, ptr %arrayidx, align 4 [0m
[0;1;30m          23: [0m[1m[0;1;46mLV: Found an estimated cost of 1 for VF 4 For instruction: %indvars.iv.next = add nuw nsw i64 %indvars.iv2, 1 [0m
[0;1;30m          24: [0m[1m[0;1;46mLV: Found an estimated cost of 1 for VF 4 For instruction: %cmp2 = icmp sgt i64 %indvars.iv.next, %size [0m
[0;1;30m          25: [0m[1m[0;1;46mLV: Found an estimated cost of 1 for VF 4 For instruction: br i1 %cmp2, label %for.end.loopexit, label %for.body [0m
...

```

</details>

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