LoopVectorizer crashes in SCEVExpanderCleanup

[Theodor]

Assert in vectorizer during SCEVExpanderCleanup: https://godbolt.org/z/Ezcf68T85

Assert message:

opt: .../llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp:2466: void llvm::SCEVExpanderCleaner::cleanup(): 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.

IR reproducer:

target triple = "x86_64-unknown-linux-gnu"

define void @widget(i32 %arg, i64 %arg1) #0 {
bb:
  br label %bb2
bb2:                                              ; preds = %bb4, %bb
  br label %bb5
bb3:                                              ; preds = %bb5
  %load = load ptr addrspace(1), ptr null, align 8%getelementptr = getelementptr i32, ptr addrspace(1) null, i64 %arg1
  br i1 false, label %bb7, label %bb4
bb4:                                              ; preds = %bb3
  br label %bb2
bb5:                                              ; preds = %bb5, %bb2
  br i1 false, label %bb3, label %bb5
bb6:                                              ; preds = %bb7
  ret void
bb7:                                              ; preds = %bb7, %bb3
  %phi = phi i32 [ %add, %bb7 ], [ %arg, %bb3 ]
  %phi8 = phi i32 [ %or, %bb7 ], [ 0, %bb3 ]
  %load9 = load i32, ptr addrspace(1) %getelementptr, align 4
  %or = or i32 %phi8, 0
  store i32 %or, ptr addrspace(1) %load, align 4
  %add = add i32 %phi, 1
  %icmp = icmp eq i32 %phi, 0
  br i1 %icmp, label %bb6, label %bb7, !prof !0
}
attributes #0 = { "target-features"="+avx2" }
!0 = !{!"branch_weights", i32 89478484, i32 1879048192}

Run as: opt -passes=loop-vectorize

[hiraditya]

Stack trace

opt: /root/llvm-project/llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp:2466: void llvm::SCEVExpanderCleaner::cleanup(): 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.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
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 "widget"
 #0 0x00000000058aae78 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x58aae78)
 #1 0x00000000058a7d24 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x000073e015642520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x000073e0156969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x000073e015642476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x000073e0156287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x000073e01562871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x000073e015639e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x0000000004b3a12f llvm::SCEVExpanderCleaner::cleanup() (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4b3a12f)
 #9 0x00000000035ed532 (anonymous namespace)::GeneratedRTChecks::~GeneratedRTChecks() LoopVectorize.cpp:0:0
#10 0x00000000036409aa llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x36409aa)