| Issue |
169668
|
| Summary |
[LV] Assert "Expected at least one loop-variant operand"
|
| Labels |
vectorizers,
crash-on-valid
|
| Assignees |
|
| Reporter |
sjoerdmeijer
|
This IR:
```
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
target triple = "aarch64-unknown-linux-gnu"
define i16 @_Z4testsisjyjybtjjxbxtthiPjPbS_PA25_A25_yS_S3_(ptr %arr_8, i64 %indvars.iv, i1 %tobool204.not) #0 {
entry:
br label %for.cond57.preheader.us
for.cond57.preheader.us: ; preds = %for.cond57.preheader.us, %entry
%indvars.iv696 = phi i64 [ %indvars.iv.next697, %for.cond57.preheader.us ], [ 0, %entry ]
%arrayidx207.us571 = getelementptr i32, ptr %arr_8, i64 %indvars.iv
%cond223.in.us572 = select i1 %tobool204.not, ptr null, ptr %arrayidx207.us571
%cond223.us573 = load i32, ptr %cond223.in.us572, align 4
%0 = trunc i32 %cond223.us573 to i16
%indvars.iv.next697 = add i64 %indvars.iv696, 1
%1 = icmp ult i64 %indvars.iv696, %indvars.iv
br i1 %1, label %for.cond57.preheader.us, label %for.body62.us559.split, !llvm.loop !0
for.body62.us559.split: ; preds = %for.cond57.preheader.us
ret i16 %0
}
attributes #0 = { "target-cpu"="grace" }
!0 = distinct !{!0, !1, !2, !3}
!1 = !{!"llvm.loop.mustprogress"}
!2 = !{!"llvm.loop.vectorize.predicate.enable", i1 true}
!3 = !{!"llvm.loop.vectorize.enable", i1 true}
```
triggers this assert:
```
opt: /root/llvm-project/llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp:2552: virtual void llvm::VPWidenGEPRecipe::execute(llvm::VPTransformState&): Assertion `any_of(operands(), [](VPValue *Op) { return !Op->isDefinedOutsideLoopRegions(); }) && "Expected at least one loop-variant operand"' 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 -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 "_Z4testsisjyjybtjjxbxtthiPjPbS_PA25_A25_yS_S3_"
#0 0x000000000598ad38 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x598ad38)
#1 0x0000000005987be4 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#2 0x00007c4e84e42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#3 0x00007c4e84e969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#4 0x00007c4e84e42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#5 0x00007c4e84e287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#6 0x00007c4e84e2871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#7 0x00007c4e84e39e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#8 0x000000000388fda1 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x388fda1)
#9 0x000000000382fae3 llvm::VPBasicBlock::executeRecipes(llvm::VPTransformState*, llvm::BasicBlock*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x382fae3)
#10 0x0000000003846025 llvm::VPBasicBlock::execute(llvm::VPTransformState*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3846025)
#11 0x000000000384b952 llvm::VPlan::execute(llvm::VPTransformState*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x384b952)
#12 0x00000000036c1a93 llvm::LoopVectorizationPlanner::executePlan(llvm::ElementCount, unsigned int, llvm::VPlan&, llvm::InnerLoopVectorizer&, llvm::DominatorTree*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x36c1a93)
```
See also: https://godbolt.org/z/hnc9Wjxe4
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
