| Issue |
128425
|
| Summary |
[LoopVectorize] 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.
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
Zentrik
|
The following IR hits an assertion the release/20.x branch (specifically e6d4fd035fdf90348fbeba6e73f90feb6e66b30b)
```llvm
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:10:11:12:13"
target triple = "x86_64-unknown-linux-gnu"
define swiftcc ptr addrspace(10) @"julia_copytrito!_5606"(ptr addrspace(13) %0) {
br label %2
2: ; preds = %11, %1
%3 = phi i64 [ %12, %11 ], [ 1, %1 ]
br label %4
4: ; preds = %4, %2
%5 = phi i64 [ %10, %4 ], [ %3, %2 ]
%6 = load double, ptr addrspace(13) %0, align 8
%7 = shl i64 %5, 3
%8 = getelementptr i8, ptr addrspace(13) null, i64 %7
store double 0.000000e+00, ptr addrspace(13) %8, align 8
%9 = icmp eq i64 %5, 0
%10 = add i64 %5, 1
br i1 %9, label %11, label %4
11: ; preds = %4
%12 = add i64 %3, 1
br label %2
}
```
```
rag@pop-os:~/Documents/Code/reduce$ ../llvm_build_20/bin/opt -disable-output -passes=loop-vectorize -enable-vplan-native-path
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:10:11:12:13"
target triple = "x86_64-unknown-linux-gnu"
define swiftcc ptr addrspace(10) @"julia_copytrito!_5606"(ptr addrspace(13) %0) {
br label %2
2: ; preds = %11, %1
%3 = phi i64 [ %12, %11 ], [ 1, %1 ]
br label %4
4: ; preds = %4, %2
%5 = phi i64 [ %10, %4 ], [ %3, %2 ]
%6 = load double, ptr addrspace(13) %0, align 8
%7 = shl i64 %5, 3
%8 = getelementptr i8, ptr addrspace(13) null, i64 %7
store double 0.000000e+00, ptr addrspace(13) %8, align 8
%9 = icmp eq i64 %5, 0
%10 = add i64 %5, 1
br i1 %9, label %11, label %4
11: ; preds = %4
%12 = add i64 %3, 1
br label %2
}
opt: /home/rag/Documents/Code/llvm-project/llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp:2402: 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.
Stack dump:
0. Program arguments: ../llvm_build_20/bin/opt -disable-output -passes=loop-vectorize -enable-vplan-native-path
1. Running pass "function(loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>)" on module "<stdin>"
2. Running pass "loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>" on function "julia_copytrito!_5606"
#0 0x00005fdf149f8ef2 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../llvm_build_20/bin/opt+0x361bef2)
#1 0x00005fdf149f609f llvm::sys::RunSignalHandlers() (../llvm_build_20/bin/opt+0x361909f)
#2 0x00005fdf149f61dc SignalHandler(int) Signals.cpp:0:0
#3 0x0000752b78042520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#4 0x0000752b780969fc __pthread_kill_implementation ./nptl/./nptl/pthread_kill.c:44:76
#5 0x0000752b780969fc __pthread_kill_internal ./nptl/./nptl/pthread_kill.c:78:10
#6 0x0000752b780969fc pthread_kill ./nptl/./nptl/pthread_kill.c:89:10
#7 0x0000752b78042476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
#8 0x0000752b780287f3 abort ./stdlib/./stdlib/abort.c:81:7
#9 0x0000752b7802871b _nl_load_domain ./intl/./intl/loadmsgcat.c:1177:9
#10 0x0000752b78039e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#11 0x00005fdf14bdaf2f llvm::SCEVExpanderCleaner::cleanup() (../llvm_build_20/bin/opt+0x37fdf2f)
#12 0x00005fdf14cca45f (anonymous namespace)::GeneratedRTChecks::~GeneratedRTChecks() LoopVectorize.cpp:0:0
#13 0x00005fdf14d25731 llvm::LoopVectorizePass::processLoop(llvm::Loop*) (../llvm_build_20/bin/opt+0x3948731)
#14 0x00005fdf14d276b1 llvm::LoopVectorizePass::runImpl(llvm::Function&) (../llvm_build_20/bin/opt+0x394a6b1)
#15 0x00005fdf14d27ce7 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../llvm_build_20/bin/opt+0x394ace7)
#16 0x00005fdf14f11105 llvm::detail::PassModel<llvm::Function, llvm::LoopVectorizePass, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) PassBuilder.cpp:0:0
#17 0x00005fdf13e07a0d llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../llvm_build_20/bin/opt+0x2a2aa0d)
#18 0x00005fdf12b7c685 llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) X86CodeGenPassBuilder.cpp:0:0
#19 0x00005fdf13e059f8 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../llvm_build_20/bin/opt+0x2a289f8)
#20 0x00005fdf12b7d045 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) X86CodeGenPassBuilder.cpp:0:0
#21 0x00005fdf13e0665d llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../llvm_build_20/bin/opt+0x2a2965d)
#22 0x00005fdf15071788 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) (../llvm_build_20/bin/opt+0x3c94788)
#23 0x00005fdf1507e789 optMain (../llvm_build_20/bin/opt+0x3ca1789)
#24 0x0000752b78029d90 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#25 0x0000752b78029e40 call_init ./csu/../csu/libc-start.c:128:20
#26 0x0000752b78029e40 __libc_start_main ./csu/../csu/libc-start.c:379:5
#27 0x00005fdf12b2d725 _start (../llvm_build_20/bin/opt+0x1750725)
Aborted (core dumped)
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
