[llvm] [VPlan] Expand SCEV ptrtoint/ptrtoaddr casts in VPSCEVExpander. (PR #209172)

[via llvm-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 178924 tests passed
* 3540 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### LLVM
<details>
<summary>LLVM.Transforms/LoopVectorize/RISCV/pointer-induction.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -p loop-vectorize -S /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopVectorize/RISCV/pointer-induction.ll | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopVectorize/RISCV/pointer-induction.ll
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -p loop-vectorize -S /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopVectorize/RISCV/pointer-induction.ll
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopVectorize/RISCV/pointer-induction.ll
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopVectorize/RISCV/pointer-induction.ll:66:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: [[SCEVGEP6:%.*]] = getelementptr i8, ptr [[START]], i64 4
# |               ^
# | <stdin>:58:2: note: 'next' match was here
# |  %6 = getelementptr i8, ptr %start, i64 4
# |  ^
# | <stdin>:48:7: note: previous match ended here
# | entry:
# |       ^
# | <stdin>:49:1: note: non-matching line after previous match is here
# |  %0 = ptrtoint ptr %end to i64
# | ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/LoopVectorize/RISCV/pointer-induction.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |           43: exit: ; preds = %middle.block 
# |           44:  ret void 
# |           45: } 
# |           46:  
# |           47: define i1 @scalarize_ptr_induction(ptr %start, ptr %end, ptr noalias %dst, i1 %c) #1 { 
# |           48: entry: 
# | next:66'0          {   search range start (exclusive)
# |           49:  %0 = ptrtoint ptr %end to i64 
# |           50:  %1 = ptrtoint ptr %start to i64 
# |           51:  %2 = sub i64 %0, %1 
# |           52:  %3 = add i64 %2, -12 
# |           53:  %4 = udiv i64 %3, 12 
# |           54:  %5 = add nuw nsw i64 %4, 1 
# |           55:  br label %vector.ph 
# |           56:  
# |           57: vector.ph: ; preds = %entry 
# |           58:  %6 = getelementptr i8, ptr %start, i64 4 
# | next:66'1      !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~   error: match on wrong line
# |           59:  %broadcast.splatinsert = insertelement <vscale x 2 x ptr> poison, ptr %dst, i64 0 
# |           60:  %broadcast.splat = shufflevector <vscale x 2 x ptr> %broadcast.splatinsert, <vscale x 2 x ptr> poison, <vscale x 2 x i32> zeroinitializer 
# |           61:  %broadcast.splatinsert1 = insertelement <vscale x 2 x ptr> poison, ptr %end, i64 0 
# |           62:  %broadcast.splat2 = shufflevector <vscale x 2 x ptr> %broadcast.splatinsert1, <vscale x 2 x ptr> poison, <vscale x 2 x i32> zeroinitializer 
# |           63:  br label %vector.body 
# |            .
# |            .
# |            .
# |          116: attributes #5 = { nocallback nofree nosync nounwind willreturn memory(argmem: read) } 
# |          117:  
# |          118: !0 = distinct !{!0, !1, !2} 
# |          119: !1 = !{!"llvm.loop.isvectorized", i32 1} 
# |          120: !2 = !{!"llvm.loop.unroll.runtime.disable"} 
# |          121: !3 = distinct !{!3, !1, !2} 
# | next:66'2                                 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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