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

    <tr>
        <th>Summary</th>
        <td>
            [SLP] Assertion `isSimple() && "Expected a SimpleValueType!"' failed
        </td>
    </tr>

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

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

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

<pre>
    For the IR shown in https://godbolt.org/z/Gv1nEe6de, the SLP vectoriser is running into this assert:

```
opt: /root/llvm-project/llvm/include/llvm/CodeGen/ValueTypes.h:312: llvm::MVT llvm::EVT::getSimpleVT() const: Assertion `isSimple() && "Expected a SimpleValueType!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -S -passes=slp-vectorizer <source>
1.      Running pass "function(slp-vectorizer)" on module "<source>"
2.      Running pass "slp-vectorizer" on function "_Z1bPbPA6_b"
 #0 0x0000000005642db8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5642db8)
 #1 0x000000000563fc64 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x000072d577242520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x000072d5772969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x000072d577242476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x000072d5772287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x000072d57722871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x000072d577239e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x0000000000ba7819 llvm::AArch64TTIImpl::getArithmeticInstrCost(unsigned int, llvm::Type*, llvm::TargetTransformInfo::TargetCostKind, llvm::TargetTransformInfo::OperandValueInfo, llvm::TargetTransformInfo::OperandValueInfo, llvm::ArrayRef<llvm::Value const*>, llvm::Instruction const*) const (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xba7819)
 #9 0x0000000004d27ce6 llvm::TargetTransformInfo::getArithmeticInstrCost(unsigned int, llvm::Type*, llvm::TargetTransformInfo::TargetCostKind, llvm::TargetTransformInfo::OperandValueInfo, llvm::TargetTransformInfo::OperandValueInfo, llvm::ArrayRef<llvm::Value const*>, llvm::Instruction const*, llvm::TargetLibraryInfo const*) const (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4d27ce6)
#10 0x00000000034dd04d llvm::InstructionCost llvm::function_ref<llvm::InstructionCost (llvm::InstructionCost)>::callback_fn<llvm::slpvectorizer::BoUpSLP::getEntryCost(llvm::slpvectorizer::BoUpSLP::TreeEntry const*, llvm::ArrayRef<llvm::Value*>, llvm::SmallPtrSetImpl<llvm::Value*>&)::'lambda13'(llvm::InstructionCost)>(long, llvm::InstructionCost) SLPVectorizer.cpp:0:0
#11 0x0000000003530881 llvm::slpvectorizer::BoUpSLP::getEntryCost(llvm::slpvectorizer::BoUpSLP::TreeEntry const*, llvm::ArrayRef<llvm::Value*>, llvm::SmallPtrSetImpl<llvm::Value*>&)::'lambda0'(llvm::function_ref<llvm::InstructionCost (unsigned int)>, llvm::function_ref<llvm::InstructionCost (llvm::InstructionCost)>)::operator()(llvm::function_ref<llvm::InstructionCost (unsigned int)>, llvm::function_ref<llvm::InstructionCost (llvm::InstructionCost)>) const SLPVectorizer.cpp:0:0
#12 0x000000000353a29f llvm::slpvectorizer::BoUpSLP::getEntryCost(llvm::slpvectorizer::BoUpSLP::TreeEntry const*, llvm::ArrayRef<llvm::Value*>, llvm::SmallPtrSetImpl<llvm::Value*>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x353a29f)
#13 0x0000000003570987 llvm::slpvectorizer::BoUpSLP::getTreeCost(llvm::ArrayRef<llvm::Value*>, llvm::InstructionCost) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3570987)
#14 0x000000000357b60a llvm::SLPVectorizerPass::tryToVectorizeList(llvm::ArrayRef<llvm::Value*>, llvm::slpvectorizer::BoUpSLP&, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x357b60a)
#15 0x000000000357d9ba llvm::SLPVectorizerPass::vectorizeGEPIndices(llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x357d9ba)
#16 0x000000000358a3f5 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
#17 0x000000000358ae3b llvm::SLPVectorizerPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x358ae3b)
#18 0x0000000002d8a12e 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+0x2d8a12e)
#19 0x00000000054375c1 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x54375c1)
```

I haven't reduced the IR, but hopefully this is a good start.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWd9v4yoW_mvIC0pk498PeXDb5G61Hd2oyfZhXypsiMMUgwW408xfvwI7dZx07qRzs9Lu3a1SKQbOxznfdzhggrVmlaB0DqIbEN1NcGt2Us31V0kVqSn7StWkkGQ_X0oFzY7C-0eod_KbgEzAnTGNBkEO0BKgZSVJIbmZSVUBtPwO0PK3V18saEwoQLfOeP2wgq-0NFIxTRVkGqpWCCYqyISR0OyYhlhrqoxF9dwn9vqPl8vGtkOAlkpKA9CS89d62ij5lZaHR4CWTJS8tZMeGm4lob9RAdDyCfOWbvYN1bMdCPLARxbQDQtyEORfnjZHT4unTfelombN6obTpw1AKUAZLKXQzpncucukgCD2mO6G9YMAigGKIUBo8dbQ0lACMeyBDo4A5AOEAErgFjNOyQx4-ephka8XULdFzQzEsGgrqGgjlYFGnrLOzK4tZqWsh3hPaGFat1QDtIRYENiz4_QoFdY7WODyxShcUjv32uDyBZK2bjoJvBnwspWSlcI1xKpqayqM7mWwgqBlKeuGcaqm9K3hUlFl2zgW1RQfyNFTo1rxAtCyYKIzhFNpIXDT2OfWNK2ZaThdu09jLTUI7jRvpn3GfKcKguBWy1aVFAQL4OW-de6xTyFrY7netqK0cwKUjq0BygBCUApYS9JyagePABECXo4-wjwFciiHieyA53_6xapY5fFz0cFAgAIPem_e4S-KQ0SK9Ci99F53X1aKCeOI31gZAEqHQQp_e5baKIprl063dql0yZX-SQUAuvHeercsN53T_tjpYFvGIVyzSmD-NywIt-Cp8-EWalYxsZXPBqDcPr9KRtzXrLfQs7KxieS5_24C1E-QIBIlCQpRhLw-Gs4KgJZvafwch1PORPs2rUTbdZQzLWex89mZDB4HY8AszrYlbMxOUUyeXxjnn0N39gN6eOpumMSw0i68z7odJvEAHI2BUZpsA4gLu8o_BesMB9j4DNYvPg3oFwNgMgYMMprFnwN0JgNgepxhXoGT1M-OlkWeq3IXh5vN_X3d8PcCnCtmdjU1rLwX2qhbqQ1AaSvc_kVgn5EDTFdc85NGrCpqNgoLvZWqvhdbedxhQf_OBLnQ6PeGKiyIq-Wu9RpmuVJ4_0i3ILgdGt3YftNBuatVxzaOkbYrRu-DDrvUtSpFJ9QgY3YsY0hQUtL4kvD_r-UvaHnuzAMrFFZ7O-m_T_Ne1k50uzmMtrQgJMQLycfOW_6Peg6b5bM6oePUZLT7nXRaP4JF11Vizu3J5XkrRniaN0c7tWu6kf9o1g-r9_RbCKP2fdJdbrhRlDrLH8jyY7E_knldY85XRq2p6crcj4wc-a4ZoITjuiDYDwBKLuAJpVyK6ofp1Y-0p_Kn98BPNmyr-ehEEESBl6Y-_J8i3Dvl-zPZPC5r2Zlj11wZB8-lLUtGqu5F5L_E9b50_Swd0Uk6YpRt_-LpeK1y3rM1lPNgzGXiZWnyOS4tK2dUfo6KD0rS1eJ1EQ3xhifxFrGHj0U5Tr0V1v37mVH7jXzveGB_Kto_4LR7vyuk5NflwEY5cBCdcECy4gIO3n3-bbG6F4SVVI9IuMGalTdcli9nC-MnEV8zUhvLEGk8jjTFwTb6eaSqFW5FHke3fL9TiE-WcYk5VotXyduu_4JD6k_Pc-elJX-kuuVGn_U8SNl8aHInaybsFmAX6Dmg1m3duBWHy915_x2tsSCU3LAP5vy9Maxm37E1f6Q1Vi-Lmhljpcp7OWcNVmbmXXK6SE5FokFxkUiXCZQLzPea6S9Y4Mqm3-0HRtevsy6MIRNHr7yIpNhH9MhJQg1m_auujfGLJJR_7Oo4-87I-aXYD0fq_2xSe9oGUkcvoFEYJFF5fC51RP6Rg39hrno2eq6OrtCBl9_DHX6lAqDEQEVJW1LS3-y73ac1cCcbum0533c38kxDDCspCdTGLusJmQckCzI8oXM_iVDop3HqT3ZzTLIwS9M08RJKoxJnlGZe6Wd-WNKth7cTNkceirzED_wwSj1_FtOYUD_IEEIeKuIAhB6tMeMzy9FMqmriLq_nfpiGQTrhuKBcu98qEBL0G3S9ACEQ3U3U3N17F22lQehxpo0eYAwz3P3IYXed6O7q1_aTVvH5r9_M9_G9ztG_AgAA__9i5_li">