[LoopVectorize] Assertion `(isa<InsertElementInst, InsertValueInst>(VecI)) && "Packed operands must generate an insertelement or insertvalue"' failed. #161974
Description
Reproducer: https://godbolt.org/z/EqnoTTjrz
; bin/opt -passes=loop-vectorize 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 i8 @main() {
entry:
%div.i.rhs.trunc.peel.i.i = sub i32 7, 0
br label %safe_div_func_uint8_t_u_u.exit.i.i
safe_div_func_uint8_t_u_u.exit.i.i: ; preds = %for.inc143.2.i.i, %entry
%storemerge227.i.i = phi i32 [ 0, %entry ], [ %inc153.i.i, %for.inc143.2.i.i ]
%conv56200.lcssa211.lcssa223224.i.i = phi i8 [ 0, %entry ], [ %conv56.2.i.i, %for.inc143.2.i.i ]
br i1 false, label %for.inc143.2.i.i, label %cond.false.i183.2.i.i
cond.false.i183.2.i.i: ; preds = %safe_div_func_uint8_t_u_u.exit.i.i
%div.i196.i.i = sdiv i32 -10, %div.i.rhs.trunc.peel.i.i
%div.i196.1.i.i = sdiv i32 -10, %div.i.rhs.trunc.peel.i.i
%0 = and i32 %div.i196.1.i.i, %div.i196.i.i
%1 = trunc i32 %0 to i8
br label %for.inc143.2.i.i
for.inc143.2.i.i: ; preds = %cond.false.i183.2.i.i, %safe_div_func_uint8_t_u_u.exit.i.i
%.pn248.i.i = phi i8 [ %1, %cond.false.i183.2.i.i ], [ 0, %safe_div_func_uint8_t_u_u.exit.i.i ]
%conv56.2.i.i = and i8 %.pn248.i.i, 1
%inc153.i.i = add i32 %storemerge227.i.i, 1
%cmp.not.i.i = icmp eq i32 %storemerge227.i.i, 56
br i1 %cmp.not.i.i, label %func_225.exit.i, label %safe_div_func_uint8_t_u_u.exit.i.i
func_225.exit.i: ; preds = %for.inc143.2.i.i
ret i8 0
}
opt: /root/llvm-project/llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp:3407: virtual void llvm::VPPredInstPHIRecipe::execute(llvm::VPTransformState&): Assertion `(isa<InsertElementInst, InsertValueInst>(VecI)) && "Packed operands must generate an insertelement or insertvalue"' 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 "main"
#0 0x0000000005907b38 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5907b38)
#1 0x00000000059049e4 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#2 0x00007efb9ea42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#3 0x00007efb9ea969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#4 0x00007efb9ea42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#5 0x00007efb9ea287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#6 0x00007efb9ea2871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#7 0x00007efb9ea39e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#8 0x0000000003824a80 llvm::VPPredInstPHIRecipe::execute(llvm::VPTransformState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3824a80)
#9 0x00000000037c77d3 llvm::VPBasicBlock::executeRecipes(llvm::VPTransformState*, llvm::BasicBlock*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x37c77d3)
#10 0x00000000037dda7e llvm::VPBasicBlock::execute(llvm::VPTransformState*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x37dda7e)
#11 0x00000000037d1921 llvm::VPRegionBlock::execute(llvm::VPTransformState*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x37d1921)
#12 0x00000000037e3852 llvm::VPlan::execute(llvm::VPTransformState*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x37e3852)
#13 0x00000000036583d7 llvm::LoopVectorizationPlanner::executePlan(llvm::ElementCount, unsigned int, llvm::VPlan&, llvm::InnerLoopVectorizer&, llvm::DominatorTree*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x36583d7)
#14 0x0000000003676252 llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3676252)
#15 0x0000000003677f30 llvm::LoopVectorizePass::runImpl(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3677f30)
#16 0x0000000003678615 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3678615)
#17 0x0000000002f6899e 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+0x2f6899e)
#18 0x00000000056ee1c1 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x56ee1c1)
#19 0x0000000000ef020e 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+0xef020e)
#20 0x00000000056ec72a llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x56ec72a)
#21 0x0000000000973f5e 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+0x973f5e)
#22 0x00000000056ec0e1 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x56ec0e1)
#23 0x000000000097e06a 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, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x97e06a)
#24 0x00000000009722b7 optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x9722b7)
#25 0x00007efb9ea29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#26 0x00007efb9ea29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#27 0x00000000009693c5 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x9693c5)
Program terminated with signal: SIGSEGV
Compiler returned: 139