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

    <tr>
        <th>Summary</th>
        <td>
            [SLPVectorizer] Assertion "SubMask with many inputs support must be larger than the mask." failed.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:SLPVectorizer,
            crash-on-valid
      </td>
    </tr>

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

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

<pre>
    Reproducer: https://godbolt.org/z/Mzbe1G875
```
; bin/opt -passes=slp-vectorizer test.ll -S
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"
target triple = "x86_64-unknown-linux-gnu"

define i64 @test() {
entry:
  %xor148.2.i = xor i32 0, 0
  %conv193.i = zext i32 %xor148.2.i to i64
  %conv193.1.i = zext i32 %xor148.2.i to i64
 %or194.1.i = or i64 %conv193.i, %conv193.1.i
  %xor148.2.i.1 = xor i32 0, 0
  %conv193.i.1 = zext i32 %xor148.2.i.1 to i64
  %or194.i.1 = or i64 %or194.1.i, %conv193.i.1
  %conv193.1.i.1 = zext i32 %xor148.2.i.1 to i64
  %or194.1.i.1 = or i64 %or194.i.1, %conv193.1.i.1
  %xor148.2.i.2 = xor i32 0, 0
  %conv193.i.2 = zext i32 %xor148.2.i.2 to i64
 %or194.i.2 = or i64 %or194.1.i.1, %conv193.i.2
  %conv193.1.i.2 = zext i32 %xor148.2.i.2 to i64
  %or194.1.i.2 = or i64 %or194.i.2, %conv193.1.i.2
  %xor148.2.i.3 = xor i32 0, 0
  %conv193.i.3 = zext i32 %xor148.2.i.3 to i64
  %or194.i.3 = or i64 %or194.1.i.2, %conv193.i.3
 %conv193.1.i.3 = zext i32 %xor148.2.i.3 to i64
  %or194.1.i.3 = or i64 %or194.i.3, %conv193.1.i.3
  %xor148.2.i.4 = xor i32 0, 0
 %conv193.i.4 = zext i32 %xor148.2.i.4 to i64
  %or194.i.4 = or i64 %or194.1.i.3, %conv193.i.4
  %conv193.1.i.4 = zext i32 %xor148.2.i.4 to i64
  %or194.1.i.4 = or i64 %or194.i.4, %conv193.1.i.4
  %xor148.2.i.5 = xor i32 0, 0
  %conv193.i.5 = zext i32 %xor148.2.i.5 to i64
 %or194.i.5 = or i64 %or194.1.i.4, %conv193.i.5
  %conv193.1.i.5 = zext i32 %xor148.2.i.5 to i64
  %or194.1.i.5 = or i64 %or194.i.5, %conv193.1.i.5
  %xor148.2.i.6 = xor i32 0, 0
  %conv193.i.6 = zext i32 %xor148.2.i.6 to i64
  %or194.i.6 = or i64 %or194.1.i.5, %conv193.i.6
 %or54.i.i.6 = or i32 %xor148.2.i.6, 0
  %conv193.1.i.6 = zext i32 %or54.i.i.6 to i64
  %xor148.2.i.7 = xor i32 0, 0
  %conv193.i.7 = zext i32 %xor148.2.i.7 to i64
  %0 = or i64 %or194.i.6, %conv193.i.7
 %conv193.1.i.7 = zext i32 %xor148.2.i.7 to i64
  %1 = or i64 %0, %conv193.1.i.7
  %or194.1.i.7 = or i64 %1, %conv193.1.i.6
  ret i64 %or194.1.i.7
}
```
```
opt: /root/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:1143: void addMask(llvm::SmallVectorImpl<int>&, llvm::ArrayRef<int>, bool): Assertion `(!ExtendingManyInputs || SubMask.size() > Mask.size() || (SubMask.size() == Mask.size() && std::all_of(std::next(Mask.begin(), Mask.size() / 2), Mask.end(), [](int Idx) { return Idx == PoisonMaskElem; }))) && "SubMask with many inputs support must be larger than the mask."' 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 -passes=slp-vectorizer <source>
1.      Running pass "function(slp-vectorizer)" on module "<source>"
2.      Running pass "slp-vectorizer" on function "test"
 #0 0x00000000051b7378 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x51b7378)
 #1 0x00000000051b4d6c SignalHandler(int) Signals.cpp:0:0
 #2 0x0000751221842520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007512218969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x0000751221842476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x00007512218287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x000075122182871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x0000751221839e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x00000000041e91f7 llvm::slpvectorizer::BoUpSLP::ShuffleCostEstimator::finalize(llvm::ArrayRef<int>, llvm::ArrayRef<std::pair<llvm::slpvectorizer::BoUpSLP::TreeEntry const*, unsigned int>>, llvm::ArrayRef<int>, unsigned int, llvm::function_ref<void (llvm::Value*&, llvm::SmallVectorImpl<int>&)>) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x41e91f7)
 #9 0x00000000042256f9 llvm::InstructionCost llvm::slpvectorizer::BoUpSLP::processBuildVector<llvm::slpvectorizer::BoUpSLP::ShuffleCostEstimator, llvm::InstructionCost, llvm::TargetTransformInfo, llvm::ArrayRef<llvm::Value*>, llvm::slpvectorizer::BoUpSLP, llvm::SmallPtrSetImpl<llvm::Value*>>(llvm::slpvectorizer::BoUpSLP::TreeEntry const*, llvm::Type*, llvm::TargetTransformInfo&, llvm::ArrayRef<llvm::Value*>&, llvm::slpvectorizer::BoUpSLP&, llvm::SmallPtrSetImpl<llvm::Value*>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x42256f9)
#10 0x000000000422f707 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+0x422f707)
#11 0x00000000042636a1 llvm::slpvectorizer::BoUpSLP::getTreeCost(llvm::ArrayRef<llvm::Value*>) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x42636a1)
#12 0x00000000042691b0 (anonymous namespace)::HorizontalReduction::tryToReduce(llvm::slpvectorizer::BoUpSLP&, llvm::DataLayout const&, llvm::TargetTransformInfo*, llvm::TargetLibraryInfo const&) SLPVectorizer.cpp:0:0
#13 0x000000000426c681 llvm::SLPVectorizerPass::vectorizeHorReduction(llvm::PHINode*, llvm::Instruction*, llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&, llvm::SmallVectorImpl<llvm::WeakTrackingVH>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x426c681)
#14 0x0000000004270deb llvm::SLPVectorizerPass::vectorizeRootInstruction(llvm::PHINode*, llvm::Instruction*, llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&) (.constprop.0) SLPVectorizer.cpp:0:0
#15 0x00000000042758a6 llvm::SLPVectorizerPass::vectorizeChainsInBlock(llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x42758a6)
#16 0x000000000427bf86 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 0x000000000427ca9b llvm::SLPVectorizerPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x427ca9b)
#18 0x0000000002fcc5ce 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+0x2fcc5ce)
#19 0x0000000004fb6a68 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4fb6a68)
#20 0x0000000000e3dd4e 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+0xe3dd4e)
#21 0x0000000004fb548e llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4fb548e)
#22 0x0000000000e3d3fe 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+0xe3d3fe)
#23 0x0000000004fb4ec0 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4fb4ec0)
#24 0x000000000090ce7a 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+0x90ce7a)
#25 0x00000000008ff519 optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8ff519)
#26 0x0000751221829d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#27 0x0000751221829e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#28 0x00000000008f6d6e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8f6d6e)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWltzozgW_jXKi8ouEPeHPDgXT6e2s5OKe3sfUwKEow1IlCTSdv_6LQnsIC4ZO5OpmequdGJA55zvfOeTOAJjKemWEXIJgisQ3FzgRj1zcZmrbPdz_-Mi5fn-8pHUgudNRgTwVvBZqVoCbwXQGqD1lucpL9WSiy1A658Are9_psT9LY4C4NwAZwVCp_tpD70rmFIG0JrXCi5qLCWRwLuRZb14JZnigv4kAioi1bIs4WLTmikstkTBHCtc4j1vFATeDQQIkUUFvBVZ1ChygLfykPmlD137UH8KffNrQY8fXBQDb-WieFHETveJmVPhwTz0Fxs9DCELihK0LskBxi4On0J_0bAXxn-wRUlZs1tsWXO0an_npKCMQBr6EPiOThJozwkE0VU7gjAl9ppdcwQhQMGOC9ePl2hJTbQdF5B6CDoAXUOnNy7j7NVNvG7YT7JTZpztQXEdfcLKPcMOoIALN_GPRhqSzqkHQqOz3U-mtHRPTKobOA1v6Y4TaxEe7N4QHpEPENKlO03LByO7s7F1pBE7VvSef3QqP-g9lGimgAezCXpGIOkSzRB0Tmg7xnR0HWlMEJomyDuVIO89lN68gLxZhoYo6dJ7I7gP_WOh3dngOtCYIG-aIH-eIAu7_x5If54ff5afIUi6nFl5PhjbnY2uI40J8qcJCk5VUPAeymB2igWzBA1B0mUwQ9A5oe0Y09F1pDFBwTRB4akEhe-hDOclFM4yNERJl2Gf4EBb9-3HUefQupN4ey5HaHteo1MZid5jJBrHcGaqFY54iKaXmnMDDm9RzoQsoklhRQPLqZvaoVhQEDUubucXRDfTvaJ9yGul-0-A1oJzBdC6LF-rRS34_0h2ONR_aArQ-pvATBZcVBKg9fdDYwnQevP14Xgollld62bP9T3t-pXTHOI8v8fyBaDYOPRWwFttKlyWrdldVZfAu6ZMAe8WIFOXt4ErIfD-kRS9Edcw5bwEKNERVlISoShnUKelez_3dqcIyynb3mO2v2N1oyQE0TWIruGmSTWUpTTQ20bRu4Wjc-1ogOJJgxtdptFpjTyEUuUtcFyWT7wAKD6eYWSnu1NjmJKt7tm1pU5o7GwNUf8aYfnb6HZnAVBMmYJ3-a7rd7UkGsH0mQPIB04lZ9rDbUkqvVXQ0tBekh5mgFCXJ_xB1TOsMNtD2hInm7rmQsGqkQqmBJa6WRdQPWMG1TOBlUanm3IUwQLTkuTLVlwPX29Xm1som7SiCmKYNlsoiPGl-HDPQ9Vzky4zXvVUZ2uRStkQLT2IWQ4py8omJwZBJrB8hinOXpTAGenCbxTOXmDeVPWx93eWwEkeBN8KXEEstk1FmJLdDNBzAa0zXtW0JGJBdnXJBRH6XInZdoEPOpMLJRr2AtC6t-vi2gWua33cqLpRSwkXm_ndGPCuJW9ERrSgDThXg3tsGKNsC7WZrkrRsEzH1CqyHJj6IcgZrHje6F0TQpbPwy4JTbkd-jKODrH0gHYfhY7roedAZ-cc_gVuGnlR3Jukci_bDw-CMmWo_6ZrYU15gX88cakEwVU3y_WENiqM_2QBALpydh0sTc0RtzvA7edhBjd0y3D5BbO81P7jDkZ7WnYrmGP-Hx2hzlEUuAi5sY8C5HTA2-Wx26_29qn6QraUXN9prpydMbHAebbPJEyKDNbqWRCcP73QsjwvgLG3AvhD0H4Uwq00eZ4L3o9Cy3dg-0ZxVHgQp3p6n-XZGFqew5FnNz3bp5taPiPbp5eQJDzPpzGxfMZ9bfkuSdwi6s-Jsu7NMXPqiv-n3nx96O6Az01RlOSaS3UrFa2w4t2wgjJctveCP7gPTl4-3m9qTAXwrk-H9E0QcsuU2MOMM70CrHSQhpkHWjns4r4T-g2ZZWQNP6wzT8KYmA7ByvQ7LhtiYg9agXd7hsR8-LTFpKunVfDEKjhCQVgkPXh3TCrRmNx0Uc-QQi14RqS8amiZt_mdVbZJJVnMDaDZF7-Zx2_H9u6OFXy2wBNVGsrhHbTjaj4osSGqq-a0c-0__rMa7mW7r8n45BQF843oDAvh6URMKfsELozQP03irYKPEte3S2cg8SJyzlnTtkQZ7luRfWLVzpPg30WnZsui07XpDL0Qu-fRqYkZsfnHbHxiVga0lRUaZJW4qemFMONsX_FGQoYrImvTACYtui86Sc4ULh9J3q5E7QUl9t-4OUdOVcxw9txghb-27zA69YQnTO_JJeArTQUWez2i5yuBU3vcXoeoWfEGrGRh3K-15eEBy65hPub4hYs3ZvpEPHy5-zfPx2tWb00fXbvCkmZXJc9eRpfOXZWs--3btf8SbFr8F8q237_8BZPJ8GfJzrcJjpycpGcQ_Mi5sjj72zg2LC2NvGrB66VzosKCAQFBjMMzCLh-xpTJO9Zhjj8tlc8puEnHKng4yDct4hPyFQ0zau0nuD7uo4cSz3CJxe0rL5vJIn9o5RjfvVaPRDalkqMrXzmvJ01ueEWZbuT0DWDsUMqmqk07h7Pn8fUbUmGWk_yKTsT8vVa0oj-xNn8kFRYvtxVVSldrdRBnjYU6WZfRoE4ZTk6YmKJhp9VoxXC5l1TeY4a3xG6Nj0afvwCZNCw9Whs-VGRZkJEezpwoTMtuQcFS3vOclNNobQ2O-PlQ-vrnn89rR5vFq72vKtIQh_2HS4bL9zD-wnR1bPTpQlaP7hAvz_3PkOFfRvMvXJ6WfKs67kDMgR_3q3NvHtd-4wdImvVVjuvjw59hwq3BWel2Jn-BFnUyVrZoqEWvOE-Lh_SuT-ToAyTMSemfw2zLm0WsN5CRTzLnhMk6ReevwlLHgkWTtSdwEicjEe6hFI0RzwOtSUmZvcHcKEHZVu-iJ8Q3s4W8x9mz8fNHLWDbgQ5HcV7-bt4OrWk54eRPXZ5JZ_JRgeGkbLaUnfQc-fgWaupprfZlHlzqUh6eww698lo9Kc67laDN4l-U5e-N-k4ELSgRh3HtO99z_36a-lptWeKz9mNOXBSBm0Beq3tM2WeFbb1aYYfvR5I8OfNVlDGxfEZDn8R34NOTNnuSCgv1VL0ldXIU4ttR4gFhYR4S2Pr_PL6002PUw9teRYTZT5G8fcPdvgMD3gpu7n7b3P72vR1-3QXu3qQTPQGg6yWDb09c5JdenngJviCXbuShwHUTL7l4viRpgf00iIIidnEckxSHmRsEhefgPIqi4oJeIgf5rosCJ3DjIFl6Tp6HXloQlIZOnBDgO6TCtFzqabHkYnthXnxfum4UuNFFiVNSSvPVYoS6mWPtH8yb-GuAkHkrvuBs8YpLmuvTwc2FuNQ2i7TZSuA7JZVKvgVSVJXmW8u2w-Cm_x2LT_imwOFrAheNKC8__j2AjpHXS_T_AAAA__-rD2t1">