| Issue |
180233
|
| Summary |
[InstCombine] Assertion `BitCastNumElts <= std::numeric_limits<uint32_t>::max() && NewIdx <= std::numeric_limits<uint32_t>::max() && "overflow 32-bits"' failed.
|
| Labels |
llvm:instcombine,
crash-on-valid,
generated by fuzzer
|
| Assignees |
|
| Reporter |
XChy
|
Reproducer: https://godbolt.org/z/7Mv978ce7
Testcase:
```llvm
target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
target triple = "riscv64-unknown-linux-musl"
; Function Attrs: vscale_range(2,1024)
define noundef i32 @g_199() #0 {
entry:
%0 = call <vscale x 16 x i32> @llvm.stepvector.nxv16i32()
%1 = xor <vscale x 16 x i32> %0, splat (i32 1)
%2 = extractelement <vscale x 16 x i32> %1, i64 -1
%conv3.le.i = trunc i32 %2 to i16
%vecinit17.i = insertelement <4 x i16> <i16 poison, i16 0, i16 0, i16 0>, i16 %conv3.le.i, i64 0
%conv18.i = zext <4 x i16> %vecinit17.i to <4 x i32>
%3 = bitcast <4 x i32> %conv18.i to i128
%call.i = tail call i64 null(i64 0, i128 %3)
ret i32 0
}
; Function Attrs: nocallback nofree nosync nounwind willreturn memory(none)
declare <vscale x 16 x i32> @llvm.stepvector.nxv16i32() #1
attributes #0 = { vscale_range(2,1024) "target-features"="+v" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(none) }
```
Backtrace:
```
opt: /root/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp:718: llvm::Instruction* foldVecExtTruncToExtElt(llvm::TruncInst&, llvm::InstCombinerImpl&): Assertion `BitCastNumElts <= std::numeric_limits<uint32_t>::max() && NewIdx <= std::numeric_limits<uint32_t>::max() && "overflow 32-bits"' 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=instcombine <source>
1. Running pass "function(instcombine<max-iterations=1;verify-fixpoint>)" on module "<source>"
2. Running pass "instcombine<max-iterations=1;verify-fixpoint>" on function "g_199"
#0 0x0000000005afd6b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5afd6b8)
#1 0x0000000005afa594 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#2 0x00007892e1842520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#3 0x00007892e18969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#4 0x00007892e1842476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#5 0x00007892e18287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#6 0x00007892e182871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#7 0x00007892e1839e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#8 0x0000000004a82567 llvm::InstCombinerImpl::visitTrunc(llvm::TruncInst&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4a82567)
#9 0x0000000004a05243 llvm::InstCombinerImpl::run() (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4a05243)
#10 0x0000000004a07316 combineInstructionsOverFunction(llvm::Function&, llvm::InstructionWorklist&, llvm::AAResults*, llvm::AssumptionCache&, llvm::TargetLibraryInfo&, llvm::TargetTransformInfo&, llvm::DominatorTree&, llvm::OptimizationRemarkEmitter&, llvm::BlockFrequencyInfo*, llvm::BranchProbabilityInfo*, llvm::ProfileSummaryInfo*, llvm::InstCombineOptions const&) (.isra.0) InstructionCombining.cpp:0:0
#11 0x0000000004a089a4 llvm::InstCombinePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4a089a4)
#12 0x0000000002d0503e llvm::detail::PassModel<llvm::Function, llvm::InstCombinePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2d0503e)
#13 0x0000000005868841 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5868841)
#14 0x0000000000f0e16e 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+0xf0e16e)
#15 0x0000000005866dfa llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5866dfa)
#16 0x00000000009683ae 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+0x9683ae)
#17 0x00000000058667b1 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x58667b1)
#18 0x000000000097256a 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+0x97256a)
#19 0x0000000000966618 optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x966618)
#20 0x00007892e1829d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#21 0x00007892e1829e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#22 0x000000000095d295 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x95d295)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
