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

    <tr>
        <th>Summary</th>
        <td>
            Crash in getSameOpcode(llvm::ArrayRef<llvm::Value*>, llvm::TargetLibraryInfo const&, unsigned int)
        </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 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() #0 gc "statepoint-example" {
bb:
  br label %bb1

bb1: ; preds = %bb1, %bb
  %phi = phi i32 [ 0, %bb ], [ %mul9, %bb1 ]
  %phi2 = phi i32 [ 0, %bb ], [ 0, %bb1 ]
 %trunc = trunc i64 0 to i32
  %mul = mul i32 0, %trunc
  %mul3 = mul i32 %trunc, %phi
  %mul4 = mul i32 %mul3, %mul
  %mul5 = mul i32 %mul4, %mul
  %trunc6 = trunc i64 0 to i32
  %mul7 = mul i32 0, %trunc6
 %mul8 = mul i32 %mul5, %mul7
  %mul9 = mul i32 %mul8, %mul7
  br label %bb1
}

```
Reproducer: https://godbolt.org/z/sqEov8n9h

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 0x0000000004f2ff18 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4f2ff18)
 #1 0x0000000004f2d68c SignalHandler(int) Signals.cpp:0:0
 #2 0x00007a3cdfe42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x000000000403fb8a getSameOpcode(llvm::ArrayRef<llvm::Value*>, llvm::TargetLibraryInfo const&, unsigned int) (.constprop.1) SLPVectorizer.cpp:0:0
 #4 0x000000000406b0a4 (anonymous namespace)::HorizontalReduction::tryToReduce(llvm::slpvectorizer::BoUpSLP&, llvm::DataLayout const&, llvm::TargetTransformInfo*, llvm::TargetLibraryInfo const&) SLPVectorizer.cpp:0:0
 #5 0x000000000406dab4 llvm::SLPVectorizerPass::vectorizeHorReduction(llvm::PHINode*, llvm::Instruction*, llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&, llvm::TargetTransformInfo*, llvm::SmallVectorImpl<llvm::WeakTrackingVH>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x406dab4)
 #6 0x00000000040720f8 llvm::SLPVectorizerPass::vectorizeRootInstruction(llvm::PHINode*, llvm::Instruction*, llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&, llvm::TargetTransformInfo*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x40720f8)
 #7 0x00000000040763be llvm::SLPVectorizerPass::vectorizeChainsInBlock(llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x40763be)
 #8 0x000000000407c648 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
 #9 0x000000000407d11b llvm::SLPVectorizerPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x407d11b)
#10 0x0000000002e7f61e 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+0x2e7f61e)
#11 0x0000000004d2d348 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4d2d348)
#12 0x0000000000de6cce 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+0xde6cce)
#13 0x0000000004d2bd3e llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4d2bd3e)
#14 0x0000000000de731e 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+0xde731e)
#15 0x0000000004d29ea0 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4d29ea0)
#16 0x00000000008e4312 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+0x8e4312)
#17 0x00000000008d723c optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8d723c)
#18 0x00007a3cdfe29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#19 0x00007a3cdfe29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#20 0x00000000008ce6ae _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8ce6ae)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWVtz4yrW_TX4hZILI1mXBz_4Ep-kvuTrVJzJPKaQhG0mCDSAculfPwWSHaOozzh9cmq6OhXbEmwWe6-92EaYaM12gtIZmC7AdDUijdlLNbsn5o0IspJNbvQol-XbDN5LqGitZNkUFKpGQLOn0FBtYE65fIEvzOwhiFFQE62phprXwTMtjFTsO1UwsPdmr6jeS16CcBVk9g_ECKAVQHN70f63t-EC3siy4fRqBUG4ggAnY4DXitr5yzHnACetqZaNKujjlnEqSEU7a9y3xq21IWpHDSyJIZy8ycYc7GlQgXBOgxonCITzELs3ezvxb-1VHLm3gB0vJjgF4XyC02Cbou5KuKb4MDyOgo1rZrY5qPGhI-1eIW77cN9bo1jNj5G9pvFjHAWNeBLyRQScieY12InmOKp9L-mWCQqfJSshiNCLrHJiAE4BziDAIYK7wqJpQwytJRMmoK-kqjkFGEOQLFqUPAdhBwhhriAnOeUQ4GmeT05ns7fhHNq81YqWunPWmeFle3WAAXha75mzsJ8sxBBMFxAdDSGYrtzNdGEbqoZnx76J6_SQ8JlQaBAE4KlRjSgcSHvF4ggiaKTFO5mqargzsp92pgOeG-TbhZ7h0aa1r_fMt4761hahM64a7htPB4yjQWM3Z3xWXMmPA4vfeaoang7MPn2fPfFhswHrdMB6WFjJ6lRhvQpxdyhGyupub0ytrVLxGuD1Tpa55GYs1Q7g9XeA1_rfF_I5Fdn-FHFjSPEEy6aqjxrvTYLGAGW3Su4UqSBRu6aiwmgndLyWtQF4XciqZpyqgL7WXCqqbBsnYhfYOqgMk0IHlsgngNc5E-1AGEgLQera3jembsxYw2ADP1c-IQiXbf0D4UXr8sS6fNcIwcQOWjC7yLeNKKwnAKc-MMCZXe5SwMpVW2vsYR5qCh6C7WM5oMNc1uBQdPBRQyGC6BUd_qIt3m4nKeT82VZfEM71m24vbhUTxmXoXpGCApy-Gyny8ii1UZRUAMdWT0yYtq6lfzExAC_Qa-eWJefo96TndxmnBdywnSD8koiSW_y0c6Nt1uOitspC7nUEwh1QQsKi3NIITzHqHOcsB3jd1feTum47irGW47h1zw7xnAs951C4zVMCd9RsSEW_1YUsff7mSpG3O7oF4fK98YHwhgI8d1lfnqTk3n0JXbNcEfV2JbYSFlJo0zHfCLeFKE9SMHb9tZL1eOLouL59OKpkmJTIDyDOEYksFBFSvFWy0dB-t-vaKSFr_bq0gFIYwu_s97zTt-sw6u1eujY_bM3rE7W6poX8R725vu1ieTddEUOu2_3BabB9Uu4VEXorVWVpsdydTdxZrEx7rJQkj07wPYRboruVc4zxUqp3Zk6JuL28-n-niZ7DV0IbdbDv9S2IZsWCy-LpQ9cneD2Htk1FOG8Du6pq7on0n5S4evDExO7h0kk1_sqF33Lsra3YT0KC0Tb9RBLupDQer790Hr6QSUeUx2TSYzIOc_oJJpd7woS-El3w6Vdw8pXx2nC8eNNevEUcnaEc1Qgn-9MA18fv714eNwXhRF08S94MquWnytQHi_n8juqGG_2h51rKenDISlZMECPVvaIfBT7Xuqlq6_GSFPuP_StaEVHScsEG5vxWG1ax78QOv6MVUU8XFTPGZuug4HFNlBmjM8ts1stTOZnkZ-XpvBzNBeFvmukbIsjOinA5MOjrK5kL46hHu4Pxtl6YJtt4crr-SmoI411lIlrfyJLyYW99DX7g56fCt_-_Pq8dbR6v_tawxGXorXPH5Z_5-BvT1bHh0YVP6UIljYviK2T4t9H8G6enJd_LTtgTc16Gp9lpD-Xu5cEly_q8JLWRajjgdsCnwu2G_A1atMF40UY9LSbhJ0viIbzlmRz9BAk_ktKvw2zLm0fstCejjBJ0xmIdovN3YaljwaPJe7hAKY1seTw56GiceG5ZTTkT_tPsxigmdvYpfkB8P9jw35Bi73D-2xaw3YH2raTk39xZ1ZrxAZC_1P2DcAaPKhwnvNkx8bE-v9trU7Ztx9OvcNmehnvPYETrRcN4aVMZu8OFj1Vf1ubRSNlVgjaK_2Oi_DOrB6rYllF1sMttz6c_v0x9rbY88SW--MoEhwWUtbkhTHzZtA7Vmzb1D8BwVmafPABzQzzMrI9JIwQfH-2wR22IMo_Ve1Bnz0IjbxaMfMIKGhMKW_wv48uBHmc9nD0bqtzzFC3bH9q0O2EE4Rxurv7YXPzx0Jovu4mhoqZRgtoFACdh1jvcHpWzsMzCjIzobJLgEE2mCUpH-1mCp2RLoukkSlAUxqjIirAssjKO4ozSbT5iM4xwhFKUoASnOB2TaZmEKA1RipOiyCIQIVoRxsd2WYyl2o2Y1g2dTRDGSTZyp_za_dyIsaAv0PUCjMF0NVIzOyjIm50GEeJMG_0OY5jhdLZURO8hE_-bw81Ro_is91MDM_smHxeysvqxsO1HUCv5L1pYNbgQNcDrjoPnGf5PAAAA__8njO8f">