1 ; RUN: llc < %s -march=nvptx64 -mcpu=sm_20 -verify-machineinstrs | FileCheck %s
2 ; RUN: %if ptxas %{ llc < %s -march=nvptx64 -mcpu=sm_20 -verify-machineinstrs | %ptxas-verify %}
4 target triple = "nvptx-unknown-cuda"
6 declare void @bar(<4 x i32>)
8 ; CHECK-LABEL: .func foo(
9 ; CHECK-DAG: ld.param.v4.u32 {[[E0:%r[0-9]+]], [[E1:%r[0-9]+]], [[E2:%r[0-9]+]], [[E3:%r[0-9]+]]}, [foo_param_0];
10 ; CHECK: .param .align 16 .b8 param0[16];
11 ; CHECK-DAG: st.param.v4.b32 [param0], {[[E0]], [[E1]], [[E2]], [[E3]]};
14 define void @foo(<4 x i32> %a) {
15 tail call void @bar(<4 x i32> %a)
19 ; CHECK-LABEL: .func foo3(
20 ; CHECK-DAG: ld.param.v2.u32 {[[E0:%r[0-9]+]], [[E1:%r[0-9]+]]}, [foo3_param_0];
21 ; CHECK-DAG: ld.param.u32 [[E2:%r[0-9]+]], [foo3_param_0+8];
22 ; CHECK: .param .align 16 .b8 param0[16];
23 ; CHECK-DAG: st.param.v2.b32 [param0], {[[E0]], [[E1]]};
24 ; CHECK-DAG: st.param.b32 [param0+8], [[E2]];
27 declare void @bar3(<3 x i32>)
28 define void @foo3(<3 x i32> %a) {
29 tail call void @bar3(<3 x i32> %a)