[llvm-bugs] [Bug 49877] New: [1 x i128] kernel argument results in failed assertion

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=49877

            Bug ID: 49877
           Summary: [1 x i128] kernel argument results in failed assertion
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Backend: PTX
          Assignee: unassignedbugs at nondot.org
          Reporter: tim.besard at gmail.com
                CC: llvm-bugs at lists.llvm.org

The following snippet, reduced from a user report at
https://github.com/JuliaGPU/CUDA.jl/issues/793, results in a failed assertion:

```
source_filename = "text"
target datalayout = "e-i64:64-i128:128-v16:16-v32:32-n16:32:64"
target triple = "nvptx64-nvidia-cuda"

define void @kernel( [1 x i128] ) {
  ret void
}
```

julia:
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:9812:
void llvm::SelectionDAGISel::LowerArguments(const llvm::Function&): Assertion
`InVals.size() == Ins.size() && "LowerFormalArguments didn't emit the correct
number of values!"' failed.

signal (6): Aborted
in expression starting at REPL[3]:1
gsignal at
/nix/store/hp8wcylqr14hrrpqap4wdrwzq092wfln-glibc-2.32-37/lib/libc.so.6
(unknown line)
abort at
/nix/store/hp8wcylqr14hrrpqap4wdrwzq092wfln-glibc-2.32-37/lib/libc.so.6
(unknown line)
__assert_fail_base.cold.0 at
/nix/store/hp8wcylqr14hrrpqap4wdrwzq092wfln-glibc-2.32-37/lib/libc.so.6
(unknown line)
__assert_fail at
/nix/store/hp8wcylqr14hrrpqap4wdrwzq092wfln-glibc-2.32-37/lib/libc.so.6
(unknown line)
LowerArguments at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:9812
SelectAllBasicBlocks at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp:1356
runOnMachineFunction at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp:504
runOnFunction at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/CodeGen/MachineFunctionPass.cpp:73
runOnFunction at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/IR/LegacyPassManager.cpp:1516
runOnModule at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/IR/LegacyPassManager.cpp:1552
runOnModule at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/IR/LegacyPassManager.cpp:1617
[inlined]
run at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/IR/LegacyPassManager.cpp:614
LLVMTargetMachineEmit at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/Target/TargetMachineC.cpp:213
LLVMTargetMachineEmitToMemoryBuffer at
/home/tim/Julia/src/julia/deps/srccache/llvm-11.0.1/lib/Target/TargetMachineC.cpp:237
macro expansion at /home/tim/Julia/pkg/LLVM/src/util.jl:85 [inlined]
LLVMTargetMachineEmitToMemoryBuffer at
/home/tim/Julia/pkg/LLVM/lib/libLLVM_h.jl:4924 [inlined]
emit at /home/tim/Julia/pkg/LLVM/src/targetmachine.jl:44

https://godbolt.org/z/sa7ar8esP

Reproduces on trunk, and in an attempt to bisect this (as the user report
indicated this was a new failure) I kept on running into the assertion going
back to LLVM from 2016, so it looks like this has always been here?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210407/d81d2d59/attachment.html>