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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `all_of(I->users(), [&InsertedSet](Value *U) { return InsertedSet.contains(cast<Instruction>(U)); }) && "removed instruction should only be used by instructions inserted " "during expansion"' 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 (-passes=loop-vectorize ):
```
; 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 ptr addrspace(1) @wombat(i32 %arg) gc "statepoint-example" {
bb:
  %select = select i1 false, i32 0, i32 8
  br label %bb3

bb1:                                              ; preds = %bb3
  br i1 false, label %bb4, label %bb9

bb2: ; No predecessors!
  %zext = zext i32 %select to i64
  br label %bb3

bb3:                                              ; preds = %bb3, %bb2, %bb
  %phi = phi i64 [ %zext, %bb2 ], [ 0, %bb3 ], [ 0, %bb ]
  br i1 false, label %bb1, label %bb3

bb4: ; preds = %bb4, %bb1
  %phi5 = phi i64 [ %add7, %bb4 ], [ 0, %bb1 ]
  %phi6 = phi i32 [ %add, %bb4 ], [ %arg, %bb1 ]
  %add = add i32 %phi6, 1
  %add7 = add i64 %phi5, 1
  %shl = shl i32 %phi6, 1
  %zext8 = zext i32 %shl to i64
  %getelementptr = getelementptr i8, ptr addrspace(1) null, i64 %zext8
  store i16 0, ptr addrspace(1) %getelementptr, align 2
 %icmp = icmp ult i64 %phi5, %phi
  br i1 %icmp, label %bb4, label %bb15

bb9:                                              ; preds = %bb9, %bb1
  %phi10 = phi i64 [ %add12, %bb9 ], [ 0, %bb1 ]
  %getelementptr11 = getelementptr i8, ptr addrspace(1) null, i64 %phi10
  store i8 0, ptr addrspace(1) %getelementptr11, align 1
  %add12 = add i64 %phi10, 1
 %icmp13 = icmp ult i64 %add12, %phi
  br i1 %icmp13, label %bb9, label %bb14

bb14:                                             ; preds = %bb9
 ret ptr addrspace(1) null

bb15: ; preds = %bb4
  ret ptr addrspace(1) null
}
```
Reproducer: https://godbolt.org/z/67vadzMbr
Stack dump:
```
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -passes=loop-vectorize <source>
1.      Running pass "function(loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>)" on module "<source>"
2.      Running pass "loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>" on function "wombat"
 #0 0x000000000525d5d8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x525d5d8)
 #1 0x000000000525afdc SignalHandler(int) Signals.cpp:0:0
 #2 0x00007cf6f6042520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007cf6f60969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x00007cf6f6042476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x00007cf6f60287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x00007cf6f602871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x00007cf6f6039e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x00000000045a6237 llvm::SCEVExpanderCleaner::cleanup() (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x45a6237)
 #9 0x00000000041cf7df (anonymous namespace)::GeneratedRTChecks::~GeneratedRTChecks() LoopVectorize.cpp:0:0
#10 0x0000000004227f36 llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4227f36)
#11 0x0000000004229cc9 llvm::LoopVectorizePass::runImpl(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4229cc9)
#12 0x000000000422a303 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x422a303)
#13 0x0000000003029e0e llvm::detail::PassModel<llvm::Function, llvm::LoopVectorizePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3029e0e)
#14 0x000000000505b4d0 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x505b4d0)
#15 0x0000000000e6bc0e 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+0xe6bc0e)
#16 0x0000000005059deb llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5059deb)
#17 0x0000000000e6b29e 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+0xe6b29e)
#18 0x00000000050597f0 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x50597f0)
#19 0x0000000000941fba 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+0x941fba)
#20 0x0000000000934559 optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x934559)
#21 0x00007cf6f6029d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#22 0x00007cf6f6029e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#23 0x000000000092be35 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x92be35)
Program terminated with signal: SIGSEGV
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWV1z26rW_jXkhpEHoe8LXyhO3Tfz7pzTabJ7m0EC2Zxi0ADKRy_Obz8DkizZcdp613tmTzNJjID1rGc9a4GQTIzhG8nYEiTXILm5Ip3dKr18IPaVSHKjusqaq0rR1-WDgpq1WtGuZlB3EqrWwmdut9BuGbTMWFgxoZ4hwHnQEmOYAdGNUKoNnlhtlebfGAS4AFEJUAlSNPyiEkTX8E7RTrDbGwiiGwhwtgB4rZnzRRdCAJwBVBrV6Zo9NlwwSXZsmIqPp2KASkv0hllIiSWCvKrOjpNZsANRyYIWZwhEZYT9P3cZHl66Vhr7fwHfN0Kcg6gMcR40ORpa0nelo3kaB_e-m7vuoMXjQD78RbgfwwdUreat2Mf0kqePaRx08qtUzzIQXHYvwUZ2vQlAJWUNlwy2VkNCqTYtqRnAeQhwAUGMntWuIhbgnEcYApwQvXEjm9qBG0ssaxWXNmAvZNcKBjCGILsGqKyqPj_QWRkmWN1LNzR5CBsiDAN4BR00Ghu5t6k0FKRiwhlXVdRTrSonLTzrx5VEqxk1gyADmvcw5zDzFh9dF6N3p70H_JfymKxmxihtAA7HQL-xlz5M3xg0G0K2Crr8fye86DLh4VXfwvvWSK_dcj_RffI0hiC5HllPVhAkN_4que7T0sOe7va939czPLrehxuPeh5FEO_Rwxnx5BRzQmm2nx2fphjuOfZA6QTk8rMHOo0z1vwpMEKpx3KfQ64dvpsczuZk0yTHvI_mYJLZin5xbMW7QC5J-dva2op5YQGcbJhlgu2YtG5Nu_mHPTx3sCfXu-zctrcaaXqPHtZYpRnkYdrLenqzOHLtJhLBNxK6ncYN83rXekK-0Ql7rEffnJXTYPSDBRomY0UVl1hAxcnyC9E79RdOy6z4iQI80CgMfylBntY8QfkZ-QnDKUPzag3xiXIN0b4Wh5yE0clUzgU5mcswerO9HmUz3u_28bnpPJlNVELN7HcEHd0l7-5HLoofYmQ3R8eRz-MpRzvgrbWtcfdEvAZ4vVG0UsIulNtb1t8AXqfZE6Hf7ioNUHlvSf0V0m7Xvj3koAVAxSetNprsINGbzuXTeOp4rVoL8LpWu5YLpgP20gqlmXZ9gshN4E5T2nIlTWB1J78CvK647A1hoBwEaVt33dm2swsDg3v4_iEsWvVHKRB9AKgMHbPPnZRcbqCzcWeEppO1cwhwfmgNopVUAZeWacHIEwsapWtGAyXFK4iupZqmHg05b7hwRw0l4c6f95ynAzb-eINPEbooC09hDNGhj-elYc-LEEQvaPxJcEITmkMhntzhEUSleTV945Pm0vq0P-i-tqZJmjw_KmM1IzuA_U2BS9sv6fwXcw7wNXoZaDlNe9LhEWnS0Bre840k4v-IpMKB5wOHvtss6tbVKvJ_PQoeULK6SZsUxTjBaKAseAXwejibzs6kbqBeGLVIPTFvMtGKDgGLtGhq2NqtZoQ-fuVCnIfu7Sf0-JhunKVwY3x459KOs3QCTg6BcZ41ESSV0vY8WG84waZvYMPqbMCwmgCzQ8CoYEV6HqA3mQDzeRnFCUmdj6ms71cfvnx4aYmkTK8EI9LvkyAqa3fRtd71xYp88D-xKw7YhXWT0cY5I1LJ153qDHTPhsNOX_TMPjLJNLGMfn5YbVn9dVi8_33b33P_Q6n2y7h_HC0Rt84OdocY46yJ0plCB-afiBnctVq5Jw83erBP9B3lJUXrKfWiOcLhEeGirosfE9advN214oDsen9fSC9L2FGaCOMjwiRC0U8Rfp_samZfSiJeDTd3RJKNq9_VCSN3o7hwkC6MKchoHmSEcMEQm5GkzBIuhvsMMeZOUSZOUz0I7q04fyl29_vPF3WQbRI1PrgJoqSKKZqR9EJ-j-BvrNWgxqRVMtcKsbSqL1KAf5vGv3FuevGn1KRHZVxQVs049q9LH9TIx0leUtJapU9H2xucFetg8jdUoQtmCjU7rkJcnFeFY2yrnxToLyjwXhH9c2TtdZtUzY8LKGt-Zh88peXvItGgwqTRwVkSFXHYVGRGUXe-bD7xlgkuDx_u7q3mcvOZNafK7k2wD_4d_x2ptx6nPDX6B6800a-3slH9qet4llLi3_7xfs3FCZBfGn4nnFJr8up659nxmohuw-XbPXmabyzt-_ZvEqLVk-IUHsjosK47LqjLoz-wntjpVWsfrVLDHtBH8f9c0u_N-sI0bzjT47zKjZz9ebHS62trX3kYHVZeFCdJAVVr7wiXF_PpUSef4dGTZ0GLMx_svckEiI8BWYzg46OzeTSWaPu4m8L5aRcsnrmIDnXCFYsS2INfTCYP2rsc389ZpndcuifD_hvO_nUCiEp4f_vx_sPHL_OXe1d0GdEiKsgVW4ZZlORxnifJ1XaZZjghhFQJbdKGpWGYR0Wd1xQncV4XRX3FlxjhBIUIYxTGYbLImrBARZ2lNG9qFFEQI7YjXCxcmS-U3lxxYzq2DHGYhPmVf_1q_Fe3GEv2DP0owBgkN1d66YyCqtsYECPBjTUTjOVWsGU5agNBiogQj6oBOL8NQPShM0wPj8PDm3GA01vp5jN6z6x_Y55_IaJjEODyT79Wsmuome20hLOZi1pJS7h0aDUxFkSrW2ms7qaDVP6nd1OA6BqC7KZfdynAKQQYa7ZTT4xCPhlBs1WdoFBJ8QorBjvDKKxe51OMu_AUoP9yE2PauS0OspeWSOPPfRjgDDaEC0YXV50Wy6N3vdxuu2pRq52rUrfP9B9Bq9V_WO3KzuttAF4PCXla4v8FAAD___D7RKo">