1; RUN: llc < %s -march=nvptx -mcpu=sm_20 | FileCheck %s
2; RUN: %if ptxas %{ llc < %s -march=nvptx -mcpu=sm_20 | %ptxas-verify %}
3
4target triple = "nvptx-unknown-nvcl"
5
6define void @foo(i64 %img, i64 %sampler, <5 x float>* align 32 %v1, i32* %v2) {
7; The parameter alignment is determined by the align attribute (default 1).
8; CHECK-LABEL: .entry foo(
9; CHECK: .param .u32 .ptr .align 32 foo_param_2
10; CHECK: .param .u32 .ptr .align 1 foo_param_3
11  ret void
12}
13
14!nvvm.annotations = !{!1, !2, !3}
15!1 = !{void (i64, i64, <5 x float>*, i32*)* @foo, !"kernel", i32 1}
16!2 = !{void (i64, i64, <5 x float>*, i32*)* @foo, !"rdoimage", i32 0}
17!3 = !{void (i64, i64, <5 x float>*, i32*)* @foo, !"sampler", i32 1}
18