| Issue |
178917
|
| Summary |
[VectorCombine] Assertion `I >= 0 && I < (NumOpElts * 2) && "Out-of-bounds shuffle mask element"' failed.
|
| Labels |
crash-on-valid,
llvm::vectorcombine
|
| Assignees |
|
| Reporter |
dtcxzyw
|
Reproducer (reduced from ncnn):
```
; bin/opt -passes=vector-combine 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-pc-linux-gnu"
define <8 x i16> @_ZN4ncnnL21cast_fp32_to_bf16_sseERKNS_3MatERS0_RKNS_6OptionE.omp_outlined(ptr %p) {
.noexc.lr.ph:
%.pre = load <8 x i16>, ptr %p, align 1
%0 = shufflevector <8 x i16> %.pre, <8 x i16> poison, <8 x i32> <i32 1, i32 3, i32 poison, i32 poison, i32 poison, i32 5, i32 poison, i32 7>
ret <8 x i16> %0
}
```
```
opt: /data/zyw/dev/llvm-project/llvm/lib/IR/Instructions.cpp:1919: bool isSingleSourceMaskImpl(llvm::ArrayRef<int>, int): Assertion `I >= 0 && I < (NumOpElts * 2) && "Out-of-bounds shuffle mask element"' 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: bin/opt -passes=vector-combine reduced.ll -S
1. Running pass "function(vector-combine)" on module "reduced.ll"
2. Running pass "vector-combine" on function "_ZN4ncnnL21cast_fp32_to_bf16_sseERKNS_3MatERS0_RKNS_6OptionE.omp_outlined"
#0 0x00007ffff7dfd4c2 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /data/zyw/dev/llvm-project/llvm/lib/Support/Unix/Signals.inc:846:3
#1 0x00007ffff7dfa3fc llvm::sys::RunSignalHandlers() /data/zyw/dev/llvm-project/llvm/lib/Support/Signals.cpp:108:20
#2 0x00007ffff7dfac21 SignalHandler(int, siginfo_t*, void*) /data/zyw/dev/llvm-project/llvm/lib/Support/Unix/Signals.inc:429:14
#3 0x00007ffff7845330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
#4 0x00007ffff789eb2c __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
#5 0x00007ffff789eb2c __pthread_kill_internal ./nptl/pthread_kill.c:78:10
#6 0x00007ffff789eb2c pthread_kill ./nptl/pthread_kill.c:89:10
#7 0x00007ffff784527e raise ./signal/../sysdeps/posix/raise.c:27:6
#8 0x00007ffff78288ff abort ./stdlib/abort.c:81:7
#9 0x00007ffff782881b _nl_load_domain ./intl/loadmsgcat.c:1177:9
#10 0x00007ffff783b517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
#11 0x00007fffee83fb66 isSingleSourceMaskImpl(llvm::ArrayRef<int>, int) /data/zyw/dev/llvm-project/llvm/lib/IR/Instructions.cpp:1913:3
#12 0x00007fffee84a6de llvm::ShuffleVectorInst::isExtractSubvectorMask(llvm::ArrayRef<int>, int, int&) /data/zyw/dev/llvm-project/llvm/lib/IR/Instructions.cpp:2078:30
#13 0x00007ffff6c170f3 llvm::BasicTTIImplBase<llvm::X86TTIImpl>::improveShuffleKindFromMask(llvm::TargetTransformInfo::ShuffleKind, llvm::ArrayRef<int>, llvm::VectorType*, int&, llvm::VectorType*&) const (.isra.0) /data/zyw/dev/llvm-project/llvm/include/llvm/CodeGen/BasicTTIImpl.h:1134:0
#14 0x00007ffff6c193eb llvm::X86TTIImpl::getShuffleCost(llvm::TargetTransformInfo::ShuffleKind, llvm::VectorType*, llvm::VectorType*, llvm::ArrayRef<int>, llvm::TargetTransformInfo::TargetCostKind, int, llvm::VectorType*, llvm::ArrayRef<llvm::Value const*>, llvm::Instruction const*) const /data/zyw/dev/llvm-project/llvm/lib/Target/X86/X86TargetTransformInfo.cpp:1554:0
#15 0x00007fffef27af8f llvm::TargetTransformInfo::getShuffleCost(llvm::TargetTransformInfo::ShuffleKind, llvm::VectorType*, llvm::VectorType*, llvm::ArrayRef<int>, llvm::TargetTransformInfo::TargetCostKind, int, llvm::VectorType*, llvm::ArrayRef<llvm::Value const*>, llvm::Instruction const*) const /data/zyw/dev/llvm-project/llvm/lib/Analysis/TargetTransformInfo.cpp:1039:49
#16 0x00007ffff107f407 llvm::InstructionCost::propagateState(llvm::InstructionCost const&) /data/zyw/dev/llvm-project/llvm/include/llvm/Support/InstructionCost.h:58:5
#17 0x00007ffff107f407 llvm::InstructionCost::operator+=(llvm::InstructionCost const&) /data/zyw/dev/llvm-project/llvm/include/llvm/Support/InstructionCost.h:100:19
#18 0x00007ffff107f407 (anonymous namespace)::VectorCombine::shrinkLoadForShuffles(llvm::Instruction&) /data/zyw/dev/llvm-project/llvm/lib/Transforms/Vectorize/VectorCombine.cpp:5470:60
#19 0x00007ffff108a844 run /data/zyw/dev/llvm-project/llvm/lib/Transforms/Vectorize/VectorCombine.cpp:5789:9
#20 0x00007ffff108a844 llvm::VectorCombinePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) /data/zyw/dev/llvm-project/llvm/lib/Transforms/Vectorize/VectorCombine.cpp:5820:20
#21 0x00007ffff1aef5b5 llvm::detail::PassModel<llvm::Function, llvm::VectorCombinePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) /data/zyw/dev/llvm-project/llvm/include/llvm/IR/PassManagerInternal.h:92:3
#22 0x00007fffee8d2c0d llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) /data/zyw/dev/llvm-project/llvm/include/llvm/IR/PassManagerImpl.h:80:18
#23 0x00007ffff68ca775 llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) /data/zyw/dev/llvm-project/llvm/include/llvm/IR/PassManagerInternal.h:92:3
#24 0x00007fffee8d3047 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /data/zyw/dev/llvm-project/llvm/lib/IR/PassManager.cpp:132:41
#25 0x00007ffff7f8bf75 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /data/zyw/dev/llvm-project/llvm/include/llvm/IR/PassManagerInternal.h:92:3
#26 0x00007fffee8d42c6 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /data/zyw/dev/llvm-project/llvm/include/llvm/IR/PassManagerImpl.h:80:18
#27 0x00007ffff7f97cdc llvm::SmallPtrSetImplBase::~SmallPtrSetImplBase() /data/zyw/dev/llvm-project/llvm/include/llvm/ADT/SmallPtrSet.h:89:5
#28 0x00007ffff7f97cdc llvm::SmallPtrSetImpl<llvm::AnalysisKey*>::~SmallPtrSetImpl() /data/zyw/dev/llvm-project/llvm/include/llvm/ADT/SmallPtrSet.h:368:35
#29 0x00007ffff7f97cdc llvm::SmallPtrSet<llvm::AnalysisKey*, 2u>::~SmallPtrSet() /data/zyw/dev/llvm-project/llvm/include/llvm/ADT/SmallPtrSet.h:527:7
#30 0x00007ffff7f97cdc llvm::PreservedAnalyses::~PreservedAnalyses() /data/zyw/dev/llvm-project/llvm/include/llvm/IR/Analysis.h:112:7
#31 0x00007ffff7f97cdc 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) /data/zyw/dev/llvm-project/llvm/tools/opt/NewPMDriver.cpp:574:10
#32 0x00007ffff7fa37c4 optMain /data/zyw/dev/llvm-project/llvm/tools/opt/optdriver.cpp:758:5
#33 0x00007ffff782a1ca __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:74:3
#34 0x00007ffff782a28b call_init ./csu/../csu/libc-start.c:128:20
#35 0x00007ffff782a28b __libc_start_main ./csu/../csu/libc-start.c:347:5
#36 0x0000555555555095 _start (bin/opt+0x1095)
Aborted (core dumped)
```
This is originally reported by https://github.com/dtcxzyw/llvm-opt-benchmark/issues/3405.
It should be caused by https://github.com/llvm/llvm-project/pull/149093. Reverting this patch addresses the issue.
cc @PeddleSpam @arsenm @RKSimon
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
