1; RUN: llc < %s -O0 -march=nvptx64 -mcpu=sm_20 | FileCheck %s
2
3; CHECK-LABEL: .visible .func (.param .align 16 .b8 func_retval0[16]) callee(
4define i128 @callee(i128) {
5  ; CHECK: ld.param.v2.u64 {%[[REG0:rd[0-9]+]], %[[REG1:rd[0-9]+]]}, [callee_param_0];
6  ; CHECK: st.param.v2.b64 [func_retval0+0], {%[[REG0]], %[[REG1]]}
7  ret i128 %0
8}
9
10; CHECK-LABEL: .visible .func caller(
11define void @caller(i128, i128*) {
12start:
13  ; CHECK-DAG: ld.param.v2.u64 {%[[REG0:rd[0-9]+]], %[[REG1:rd[0-9]+]]}, [caller_param_0];
14  ; CHECK-DAG: ld.param.u64 %[[OUT:rd[0-9]+]],  [caller_param_1];
15
16  ; CHECK: { // callseq 0, 0
17	; CHECK: .param .align 16 .b8 retval0[16];
18	; CHECK: call.uni (retval0),
19  ; CHECK: ld.param.v2.b64 {%[[REG2:rd[0-9]+]], %[[REG3:rd[0-9]+]]}, [retval0+0];
20	; CHECK: } // callseq 0
21  %a = call i128 @callee(i128 %0)
22
23	; CHECK-DAG: st.u64 [%[[OUT]]], %[[REG2]];
24	; CHECK-DAG: st.u64 [%[[OUT]]+8], %[[REG3]];
25  store i128 %a, i128* %1
26
27  ret void
28}
29