<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/133288>133288</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            slpvectorizer crash
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          TatyanaDoubts
      </td>
    </tr>
</table>

<pre>
    To reproduce run opt with the test below with -passes=slp-vectorizer -slp-threshold=-99999
```
; ModuleID = './reduced.ll'
source_filename = "./reduced.ll"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
target triple = "x86_64-unknown-linux-gnu"

define void @wombat(i32 %arg) #0 gc "statepoint-example" {
bb:
  %load = load i32, ptr addrspace(3) null, align 4
  %load1 = load i32, ptr addrspace(3) null, align 4
  %load2 = load i32, ptr addrspace(3) null, align 4
  %load3 = load i32, ptr addrspace(3) null, align 4
  br label %bb4

bb4: ; preds = %bb
  switch i32 0, label %bb8 [
    i32 0, label %bb7
 i32 1, label %bb21
  ]

bb5: ; No predecessors!
  %srem = srem i32 0, 0
  br label %bb21

bb6: ; No predecessors!
  br label %bb12

bb7:                                              ; preds = %bb4
 ret void

bb8:                                              ; preds = %bb4
  %phi = phi i32 [ 0, %bb4 ]
  %phi9 = phi i32 [ 0, %bb4 ]
  %phi10 = phi i32 [ 0, %bb4 ]
  %phi11 = phi i32 [ 0, %bb4 ]
  br label %bb12

bb12:                                             ; preds = %bb8, %bb6
  %phi13 = phi i32 [ %load, %bb8 ], [ 0, %bb6 ]
  %phi14 = phi i32 [ %load1, %bb8 ], [ 0, %bb6 ]
  %phi15 = phi i32 [ %load2, %bb8 ], [ %arg, %bb6 ]
  %phi16 = phi i32 [ %load3, %bb8 ], [ 0, %bb6 ]
  %phi17 = phi i32 [ %phi, %bb8 ], [ %srem, %bb6 ]
  %phi18 = phi i32 [ %phi11, %bb8 ], [ 0, %bb6 ]
  %phi19 = phi i32 [ %phi9, %bb8 ], [ 0, %bb6 ]
  %phi20 = phi i32 [ %phi10, %bb8 ], [ 0, %bb6 ]
  ret void

bb21: ; preds = %bb5, %bb4
  ret void
}

attributes #0 = { "target-features"="+prfchw,-cldemote,+avx,+aes,+sahf,+pclmul,-xop,+crc32,-amx-fp8,+xsaves,-avx512fp16,-usermsr,-sm4,-egpr,+sse4.1,-avx512ifma,+xsave,+sse4.2,-tsxldtrk,-sm3,-ptwrite,-widekl,-movrs,-invpcid,+64bit,+xsavec,-avx10.1-512,-avx512vpopcntdq,+cmov,-avx512vp2intersect,-avx512cd,+movbe,-avxvnniint8,-ccmp,-amx-int8,-kl,-avx10.1-256,-sha512,-avxvnni,-rtm,+adx,+avx2,-hreset,-movdiri,-serialize,-vpclmulqdq,-avx512vl,-uintr,-cf,+clflushopt,-raoint,-cmpccxadd,+bmi,-amx-tile,+sse,-avx10.2-256,-gfni,-avxvnniint16,-amx-fp16,-zu,-ndd,+xsaveopt,+rdrnd,-avx512f,-amx-bf16,-avx512bf16,-avx512vnni,-push2pop2,+cx8,-avx512bw,+sse3,-pku,-nf,-amx-tf32,-amx-avx512,+fsgsbase,+clzero,-mwaitx,-lwp,+lzcnt,+sha,-movdir64b,-ppx,+wbnoinvd,-enqcmd,-amx-transpose,-avx10.2-512,-avxneconvert,-tbm,-pconfig,-amx-complex,+ssse3,+cx16,+bmi2,+fma,+popcnt,-avxifma,+f16c,-avx512bitalg,-rdpru,+clwb,+mmx,+sse2,+rdseed,-avx512vbmi2,-prefetchi,-amx-movrs,+rdpid,-fma4,-avx512vbmi,-shstk,-vaes,-waitpkg,-sgx,+fxsr,-avx512dq,+sse4a" }
```
Reproducer: https://godbolt.org/z/1E6shqxdd

Stack dump:
```
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -passes=slp-vectorizer -slp-threshold=-99999 <source>
1.      Running pass "function(slp-vectorizer)" on module "<source>"
2.      Running pass "slp-vectorizer" on function "wombat"
 #0 0x000000000549f758 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x549f758)
 #1 0x000000000549d0e4 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x00007d8bfda42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00000000017c9e90 llvm::BasicBlock::getTerminator() const (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x17c9e90)
 #4 0x0000000004492866 llvm::slpvectorizer::BoUpSLP::getSpillCost() (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4492866)
 #5 0x00000000044fbea8 llvm::slpvectorizer::BoUpSLP::getTreeCost(llvm::ArrayRef<llvm::Value*>, llvm::InstructionCost) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x44fbea8)
 #6 0x0000000004504152 llvm::SLPVectorizerPass::tryToVectorizeList(llvm::ArrayRef<llvm::Value*>, llvm::slpvectorizer::BoUpSLP&, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4504152)
 #7 0x000000000450937d bool tryToVectorizeSequence<llvm::Value>(llvm::SmallVectorImpl<llvm::Value*>&, llvm::function_ref<bool (llvm::Value*, llvm::Value*)>, llvm::function_ref<bool (llvm::Value*, llvm::Value*)>, llvm::function_ref<bool (llvm::ArrayRef<llvm::Value*>, bool)>, bool, llvm::slpvectorizer::BoUpSLP&) (.constprop.0) SLPVectorizer.cpp:0:0
 #8 0x000000000450ad55 llvm::SLPVectorizerPass::vectorizeChainsInBlock(llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x450ad55)
 #9 0x0000000004512cbe llvm::SLPVectorizerPass::runImpl(llvm::Function&, llvm::ScalarEvolution*, llvm::TargetTransformInfo*, llvm::TargetLibraryInfo*, llvm::AAResults*, llvm::LoopInfo*, llvm::DominatorTree*, llvm::AssumptionCache*, llvm::DemandedBits*, llvm::OptimizationRemarkEmitter*) (.part.0) SLPVectorizer.cpp:0:0
#10 0x000000000451387b llvm::SLPVectorizerPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x451387b)
#11 0x00000000031ad81e llvm::detail::PassModel<llvm::Function, llvm::SLPVectorizerPass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x31ad81e)
#12 0x000000000529b7a0 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x529b7a0)
#13 0x0000000000e7a28e llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xe7a28e)
#14 0x000000000529a073 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x529a073)
#15 0x0000000000e792ae llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xe792ae)
#16 0x0000000005299a80 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5299a80)
#17 0x000000000093f60a llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::ArrayRef<std::function<void (llvm::PassBuilder&)>>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x93f60a)
#18 0x0000000000932cfc optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x932cfc)
#19 0x00007d8bfda29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#20 0x00007d8bfda29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#21 0x000000000092a935 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x92a935)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWl9zozj2_TTKC4ULxB_DQx4cpz2_rl_3Tqqd7deUAGFrIyS1JGwnn35LEhhw7Ol4OlM7NanuWCDdc88990pIxEgpsmEY34LkDiT3N6jVWy5vH5F-QQzd87bQ6qbg1cvtI_ckFpJXbYk92TKPC-3tid56eos9jZX2Ckz53t3zBVIKKxDdKyr8HS41l-QVS88313orsdpyWoHo3s_NDwgWIA26f8ECRHfeV161FH--90B07wE4nwG4kti4r2aUAjgHwULxVpb4qSYUM9Tgbig8HQpBsNBIbrD2KqQRRS-81f1g7DcgWmBfwHkAokUE7S9zGU4vTSuN7S-fHBshzEC0CGHm11nQtZi9lfbmaeyv7W1ibvsC9h1Z9z-Crg9OqGpJBD3GdMjSpzT2W_bM-J75lLD24G9Y60xAsKhwTRj2dpxUHoiDPW8KpAHMSAQ9ABMkNwDmHoBR4G1Kg6g00lhwwrSPD6gRFAMIPTC_A8GiKEBkQD1jSjmqLA3bIBEEcOkJLT1UVVIJVGIAs8igs9bIvfQQJRvmxWOA8JcR4C8jRH8eoZAeRQWmBqooYie5aUQLz1SrkLhSXa6SorA2ak90uTWuvMDgjQAyz0w4M8g722-K23aEJx0wdAEl9z2FpKfwL25Z4BIrxaUC_VCYKIkby802jv6CM5FZI4ub_gR3ahfC3m5u7K76OaOfFV1ibcu5R84-DNk0xZbYu-bTzpHkzsnihnUS90PzK8aGwTWDw3cNvqR2CK8V5Ywm2dFhOmYWvWHWzaPj8MzyM1cT2ulpjPElpPBqqOQSFDwP1S99l_DSS3jR1dTm56DEllwkZqbjZbjsAlx4vWhvq7er6muR4NvS7mv-_VCn8xqGF1bRZJgIbwzn3QKItJakaDVW7tlmjeeGFnTPUb_GSLcSK_OkjO7Nb3gnZF1u9wAu_ZJWuOEaA7gE8A7tDl3DjDcNhba1a4mSNq15MPgHLtytUpb2OeKj5uDXInN3DwrtrLmPdockhLUIU3PVKiwbJU1TNbH5wBshOzcKx7NwsCF1g0Zoo0HWn1YHWmn57LBMqfpC7yWxcfh7UuFny7ThO2mZELYTJakcThoXRI_Qy85vGMxCPwnhQGMnuCiZrn508TZ8N-6EhGksFS71cLfsnDR8V-Du9o4xQpjOrOBlI3rJ-nuObM8AJlYutUUDF4NgmlI3XYKqwzFldpDZU2LdBV0RaYcrLAmi5NUS2bkM_rDR9DFYzy1h2ual7HJd0pq2asuFBZTI7JJsfyPK8oCqLsaiIX0omtAhS0M0sI9mU7sABjVcUbjKce3X1vxmPbrNjaMA4J2sJKtGRdUbF3UHZG9Pr3rVRKu2UHABu-gO2chif6Tt6ujZsTg60PVQ487EGdRqowqkcK_YK5bcyr9HRJvk-HTfzRP6WrIuDLVFQ47SuLAuRZfLfcE4YTsbJmY_yqY6kpCIKcGn0g7lwXDJ2Q5LmyRdNBa15Kwmmx6h5GaLe-iDddFaMaxiLpt9aP3kc-XfORnmZB2m5UhBohG1fmQlZNvrsS-6idAcnWLY51JhPErmrnPtC4lrrMvtsaz6CWyNhJ3Aft2geGrrpovSdj3YubXLN2kQz5aX2nQU6oNbf5xpP63NuoLc5v_-5CT2rT_zSbNGb7UWypwM4ArA1YZXBad6xs3zdfUK4Cr8lKrtj0PVLe1rjcpnr2ob4U4TY-BgBoL8QfKNRI2H5KZtMNPKPgjgyhb9ymSMUCx9fBCUSyzNPYrYxjeHS6kJZ8rXsmXPAK4Kwpyh53MDgYQw160WrZ4pz19ffSb1QLR0B0wQfQLBIjSMv7WMEbbxDJZ5xtQtKw0RALMpKoC5UZQzr7EHWc8-fkaA9twGz2GeAlmU3pEZ0J_tDIJ76gWHoP9J4ryeJ5lH6c4cbEG0UC_KNR4kYdom5VG6884wSKL9E1daYtQAaCaEZ5c8c2LMfjEjAN4Fh46WkcWRDk9IVwGOvTXZMET_D7GKGvDMLbueIhvCav6kAVyYa7sJMM28s1CzUpgiC-x_5wB2DuZVVtQVimFidi82GkoKAFfdkXp0lDYd5UzxWWo5W5OBcTRmHM7LHOfBSOY7pEh5R3n57K43WD9i2RCGNJfWb-6VnCn9UZJ2FAaC8ZhgHOcwS9NxHVAxKivHmf9brL88HAmvBaF0yZXu-H4Q047LwDSZMq0LjLLrmD5KjDuig91CSvTyDdcgWg43vyPaYlMtZtItR14-M6Vla2eVQ_rAeG1EQ7zpJN4kiMMEjpisvzx8P8b7gFQ3X7V8eeTHji_kl6L9A03dfC84px-pgYty0GB-okEezSvr1JvGucY_WszMIvkmLBPTSIB1gyh1dp8bQS_rkE6l6NfSJ2nFsxwmwEfjidlwN3-j7v8C8j3575I6ubqiKmw1zOyqJSQXs8AuueNqPbPwZieJRlWS_LzYjzSWW0SY-szcUjoOeLTCngr5njg-qKpNOENV59NgQ1gW-OfBypbZih1HtzpuJU7KdV0iiuSnHaet6z-J_dGecx_NDrnmsvnMan5hzBdSSCRfzo5YLL5h1VKt3vR84VycNbnn3dPNLMZvAZVqG2FXV1Ru3_bf4waxCld35IzP34UmDXlFxvwbbpB8_tQQrU2qFn1ZCiT1zyvSbDWCkyRF2bx4V5Lel6AFQ_RFEfUVMbQx5bc8Y9StQx9YiTYMV4kmyMmGKgpRlYXjSqywRoR2G0Gk1FdeYXqe6rT63ojzp2I3__7-onayDaLCyS4V5sUcjfd8Vsg_IvgP1qpTY9Bqsj8O8BzB7CMK8C_T-B-cGyf-kJr4pIxRMI9GHN3fWh95z8dIvqiQMAeXs9E6g6ti7Uz-gio0wQyhJidVmEN0XRX2sS3fKdCfUOBSEf19ZHW6DaqmJwWUo-w96-A5Lf8pEnUqDBpNDjhBHtVpgEYUZWvL5oEITAmbvn1Za0nYxuzlz5Tdm2DdZu4rKrcW52dbPbfTPB3FOf3dvh1b2TfXH9p9IZyzBxarCW03hL1dk4fxSlfTUxGIlu6rDmMZDdZdS2hl8ph2555TVC70kzYHIbfRtFH8P7Hv1i-O-o4lqQmW_bj-IHXd54eVnqutofKyk8qDZV16XOiviLCP82lQB5_59PUazKv8ytdr1uQICINTQBwH3tOTsXlSGkn91AzhvNsFjkcuwqlOEOVR4jnwD5PJgjqX_ett3b0GxJX7dpSy7yxBtPDWn39bf_rtOwgWy86lJ7FuJcOm3L0wmnwz6qa6jao8ytENvg3ncRTkWZDlN9vbAGXBPC1imId5kKYhjqswRBWa47rMyjy9IbcwgEkQwXk4T-I4n6VVDbO8msM6xlWIchAHuEGEzswMmHG5uSFKtfg2jCKYZTf2uwfKfksMQob3nu0FEILk_kbeGiO_aDcKxAElSqsBRhNN8e3keO6VEqntTSvp7ckfFIjetsWs5I1JpJmK7sMXkv_H_pFxZf0qAFcdsd0t_G8AAAD__6T-g0I">