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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `I->use_empty() && "trying to erase instruction with users."' failed.
        </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 using -passes=slp-vectorizer.
```
; 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 i32 @wombat(i32 %arg) #0 gc "statepoint-example" {
bb:
  br label %bb1
  
bb1: ; preds = %bb1, %bb
  %phi = phi i32 [ 0, %bb ], [ %mul37, %bb1 ]
  %mul = mul i64 0, 0
  %trunc = trunc i64 %mul to i32
 %or = or i32 0, %trunc
  %or2 = or i32 0, %or
  %or3 = or i32 %or2, 0
 %mul4 = mul i32 0, %or3
  %mul5 = mul i32 %or3, 0
  %mul6 = mul i32 %mul5, %mul4
  %mul7 = mul i32 %mul6, %mul4
  %mul8 = mul i32 %mul7, %or3
  %mul9 = mul i64 0, 0
  %trunc10 = trunc i64 %mul9 to i32
  %or11 = or i32 0, %trunc10
  %or12 = or i32 %arg, %or11
  %or13 = or i32 %or12, 0
  %mul14 = mul i32 %or13, %mul8
  %mul15 = mul i32 %mul14, 0
  %mul16 = mul i32 %mul15, 0
  %mul17 = mul i32 %mul16, %or13
  %shl = shl i64 0, 0
  %mul18 = mul i64 %shl, 0
  %trunc19 = trunc i64 %mul18 to i32
  %or20 = or i32 0, %trunc19
  %or21 = or i32 0, %or20
  %or22 = or i32 %or21, 0
  %mul23 = mul i32 %or22, %mul17
  %mul24 = mul i32 %mul23, 0
  %mul25 = mul i32 %mul24, 0
  %mul26 = mul i32 %mul25, %or22
  %shl27 = shl i64 0, 0
 %mul28 = mul i64 %shl27, 0
  %trunc29 = trunc i64 %mul28 to i32
  %or30 = or i32 0, %trunc29
  %or31 = or i32 0, %or30
  %or32 = or i32 %or31, 0
 %mul33 = mul i32 0, %or32
  %mul34 = mul i32 %or32, %mul26
 %mul35 = mul i32 %mul34, %mul33
  %mul36 = mul i32 %mul35, %mul33
  %mul37 = mul i32 %mul36, %or32
  br label %bb1
}

attributes #0 = { "target-cpu"="znver2" }
```

Reproducer: https://godbolt.org/z/4PPzsMbP3

Stack dump:
```
opt: /root/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:4570: llvm::slpvectorizer::BoUpSLP::~BoUpSLP(): Assertion `I->use_empty() && "trying to erase instruction with users."' 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 "wombat"
 #0 0x00000000054546a8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x54546a8)
 #1 0x0000000005452064 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x00007b5c5f242520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007b5c5f2969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x00007b5c5f242476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x00007b5c5f2287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x00007b5c5f22871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x00007b5c5f239e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x000000000440d177 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x440d177)
 #9 0x00000000044d46ae 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 0x00000000044d50cb llvm::SLPVectorizerPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x44d50cb)
#11 0x000000000318a35e 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+0x318a35e)
#12 0x000000000524e9e0 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x524e9e0)
#13 0x0000000000e6f88e 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+0xe6f88e)
#14 0x000000000524d2fb llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x524d2fb)
#15 0x0000000000e6eb7e 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+0xe6eb7e)
#16 0x000000000524cd00 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x524cd00)
#17 0x0000000000935e7a 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+0x935e7a)
#18 0x00000000009294ec optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x9294ec)
#19 0x00007b5c5f229d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#20 0x00007b5c5f229e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#21 0x0000000000920dc5 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x920dc5)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWU1v4zgS_TXMhbBBFfV58EGJ49nGdjBBJ9vXgJJomxuJFEgqH33Y374gJUeyrcx0ZjLAYBpJbIlVj1XvFcmSmhkjdpLzFYouUbS-YJ3dK726Z_aVSbZWXWHNRaGq19W9wpq3WlVdybHuJFatxc_C7rHdc2y5sbjgtXrGnRFyhxctM4YbRNembhdPvLRKix9cLxHJUUyGH5IjeolvVNXV_MsaI7rGCJIlgo3mbqJqWdcIEkRyozpd8oetqLlkDR9M4dQUEMkt0ztuccUsq9mr6uzBmC8aRHO-aCEhiOYU_B93GRxfum9x6P8sxNuXAFJE8wDSxTYlwzfpb8UH9zhc3Pnbwt1etHAYSIdfCv0YHIVqtWjrt5xe0vghDhedfJTqWS5qIbuXxU52vQsiecW3QnIsKGAUkmfVFMwiSP01REzvEGQYASV4VzpAY5nlrRLSLvgLa9qaIwCMkktE8qJA1GFiXGhcs4LXDqMoAn_PGzhysNOp1bwyQ5TeBK76b70tRO1e-GH36aOJLjF5s8IoWvuL6NLdaLqaJm-DgR8dcJqu9jjuU8Rhj0EOo1Z3svTj_TdnMThZ5eZ1hggipb2R0j6WQxze5wClNMzZKD0a0KlB7_IWTT9rOMZ6hEEn6URHNsPwNKmmq-NTG-c3oLlpJqbJjGk8b5rOmCazMWa_x3lAZlnPJrT3qEHwLvMBmZjBCbe-dK8OGBPDcxECOKUvCM85DuhISjq1PdPDA5xBzkkSRGdmc3IE8ZjKG8tm3xe2-zwn2XmlRyL0LjNKZLNKBOmZFEDelyKbmM0q5twnNqdyObfTBICeqwAwqhAkU-MzyTzCGeacWnCmFsypBdGYC0xkgOQdIQa3OR0gOVcC5pWAcyXo-0rARAn6jhJ0ogQ9V4IGJxlQ-t62BBPO6MyioRO5IJ4gzslAw9GYTncTOqcGjd6znltCND4N-vyMQsm6PxSZtVoUneWmP_r8MZW4kwb6U3ZRtv4IpWsE8EM-cbeRu2NwfdqSkPzbodPR7uzbW9sad0zCBsFmp6pC1Xap3Ga1-YFgE97e_jA3xS3tne8sKx9x1TVtf7ROsVVr_WkKG62URbCp66dm0Wr1X14eLt2HKBBs7jWTZqt0YxBsvh9aKASbu6-338eOqmzdRGHkmxrsEWiOaG7qduy7-luX6j_t3dfb_uJ_hytIEWTONzeGayuUxCgmXxaIXneGP_Cmta-9EUYQI7fOAKx-dX2eVZhrZjgW0ljdld7bt4Wd4dosHeOQ4C0TNa9c83f79Tq_u8amKxphMcNFt3ONpdLWYZ1QLey-K5alaibUHBMmjOm44wczWWEhy7qruG9JS83MHhesfLSalXw5owxZIpLdarXTrMFM77qGS2sGgZxUsClV04qa6wV_aWuluXb3aiZ3C3YgyyzcIn5EsCmE7B3xQjkI1rbuurNtZ5cGL-7ebYsxold9i4voNSJ54CL71knpOHY-jvJtJz2_CNJjbycfAFYSN76Vxr7OJ4B-64M5zFMgj3KYyBkc2suhq6IEkxdy-BeFURizdFp0r6b_cquFtJ7we0c_gnQ00uz5QRmrOWt8QV1hIW1fXumfZB7BJXkZwkL9voqABidBA4lDfCd2ktX_YrKqHXjqY7jCRuyE3KoHiyB3109KVP5rNniYYcUR_9tPAMMESRGV0RZCiNzB67Pp1_LQ1E-aeTdQLo1axj5m7zJGTI8Bszjblri1e81Z9fAo6vpj6N5_RA9Pww2TGO-MT--jYYdJPAJHx8CQJluKWeFW94dgveMIG5_BBsWHAYNiBEyOAWnGs_hjgN5lBEynFRaGpAqS5LPKeYAbJ8uOJ6vCmPHJGjw6Hm6ZGVak7uSXpq2PVuLmbUvxy3CCUbKa6esnVXf9eH48fu_P1LcT6ovcqndsvopCM_06a5Hn37jpamvORr4q1c66rFUjJLNK32vOzwGN6ZrWRXzFyv35-Jo3TFa8uhQzc_7aWtGIH8y5f-MN04_XjbDWSZUPu9OyZdouid8MZg7hw5bgthxyIlJEyuKnRPo5gXLJ6lcjzA2TbOfO96sZJ7f1x5-4sQ5p9JXokjzaWGmQMhpNK7Hilol6OBCYMTeq4vV8qMfVd0bOH8rd_fz9SR1oG0mFo9MKQp5xMgnSE_lbAf6DuRrYGLmiU64Ij7dp-hkF-Jdx_A_Wpid_lCY8KeMKttMNsH_re68O8TjK84q1Vun5bHuHD-U6uPwFVeiSGVONTqqQF8nHqvCQ29VPEvQHGHiviP4-tPa8jazGJwVUVuRn9sE5Lv8pFA0sjBwlR5WX0YgnbBKi7nzZ3IqW10IeP4XdWS3k7hvfzpXdWbJ9M3fDyr3H-b1Wr-80T62Uqn_1T8MbUc-A_Knhd9LJtWav7u5UHc9J3e2EPN-TR3tjq_7e24M3vXJPg_iIRod12Ym6cjr6J4KZnV619sEqNewBfRb_FrL6LavvXIut4PpgV7iRD39-Wun1tTVWXnpceZCFvMSqtTdMyE-b06OOc2Ynz4FZlX3wMdu7vAECOQXkIcEPD87nwVim7UMzpvPTU_BwMkVwwhOpygj34J9HkwPtpzy8zrJc-wclXvWv4_qHe0RzfPfll7vrX74jkl8NU2LNbacld-WOA5pNX1peVCtaZTRjF3wVJCGJCEnj4GK_2rIQaBhWvCgSWm3jlKcJKyrY0oyVhIYXYgUEIgIQBTEkYbAMypKQMglSCkWahiUKCW-YqJduBSyV3l34t3mrANKExhf-Ta_x_zMNIPkz9qMIAEXrC73yLwKLbmdQSGphrBlhrLA1X_3lbzMvOl2v_vgbyyHNpxX8PwAA__-tsUqh">