-
Notifications
You must be signed in to change notification settings - Fork 15.7k
Open
Bug
Copy link
Description
Reproducer: https://godbolt.org/z/1rGfeT894
; 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 i32 @main(i8 %l_948.0523.i) {
entry:
br label %for.cond153.preheader.i
for.cond153.preheader.i: ; preds = %for.end269.i, %entry
%storemerge500522.i = phi i32 [ 0, %entry ], [ %inc271.i, %for.end269.i ]
%xor215.lcssa517521.i = phi i32 [ 0, %entry ], [ %conv213.i, %for.end269.i ]
br i1 false, label %for.end269.i, label %cond.false.i.i
for.cond273.preheader.i: ; preds = %for.end269.i
ret i32 0
cond.false.i.i: ; preds = %for.cond153.preheader.i
%inc180.i = or i8 %l_948.0523.i, 1
%conv.i = trunc i64 1 to i8
%0 = udiv i8 %inc180.i, %conv.i
br label %for.end269.i
for.end269.i: ; preds = %cond.false.i.i, %for.cond153.preheader.i
%cond.in.i.i = phi i8 [ %0, %cond.false.i.i ], [ 0, %for.cond153.preheader.i ]
%cmp212.i = icmp ne i8 %cond.in.i.i, 0
%conv213.i = zext i1 %cmp212.i to i32
%inc271.i = add i32 %storemerge500522.i, 1
%cmp147.not.i = icmp eq i32 %storemerge500522.i, 18
br i1 %cmp147.not.i, label %for.cond273.preheader.i, label %for.cond153.preheader.i
}
opt: /root/llvm-project/llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp:1279: virtual void llvm::VPInstruction::execute(llvm::VPTransformState&): Assertion `!State.Lane && "VPInstruction executing an Lane"' 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 0x0000000005a78808 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5a78808)
#1 0x0000000005a756b4 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#2 0x000076dece242520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#3 0x000076dece2969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#4 0x000076dece242476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#5 0x000076dece2287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#6 0x000076dece22871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#7 0x000076dece239e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#8 0x0000000003924461 llvm::VPInstruction::execute(llvm::VPTransformState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3924461)
#9 0x00000000038bcd93 llvm::VPBasicBlock::executeRecipes(llvm::VPTransformState*, llvm::BasicBlock*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x38bcd93)
#10 0x00000000038d37f5 llvm::VPBasicBlock::execute(llvm::VPTransformState*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x38d37f5)
#11 0x00000000038c8d31 llvm::VPRegionBlock::execute(llvm::VPTransformState*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x38c8d31)
#12 0x00000000038d8d62 llvm::VPlan::execute(llvm::VPTransformState*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x38d8d62)
#13 0x0000000003741a93 llvm::LoopVectorizationPlanner::executePlan(llvm::ElementCount, unsigned int, llvm::VPlan&, llvm::InnerLoopVectorizer&, llvm::DominatorTree*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3741a93)
#14 0x000000000375c432 llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x375c432)
#15 0x000000000375d8c0 llvm::LoopVectorizePass::runImpl(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x375d8c0)
#16 0x000000000375e04d llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x375e04d)
#17 0x00000000030351ee 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+0x30351ee)
#18 0x0000000005851501 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5851501)
#19 0x0000000000f1f09e 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+0xf1f09e)
#20 0x000000000584faba llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x584faba)
#21 0x000000000097f95e 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+0x97f95e)
#22 0x000000000584f471 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x584f471)
#23 0x0000000000989c10 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+0x989c10)
#24 0x000000000097db38 optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x97db38)
#25 0x000076dece229d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#26 0x000076dece229e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#27 0x0000000000974535 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x974535)
Program terminated with signal: SIGSEGV
Compiler returned: 139