1; RUN: llc < %s -march=ptx32 | FileCheck %s
2
3define ptx_device i16 @t1_u16(i16 %x, i16 %y) {
4; CHECK: add.u16 %ret{{[0-9]+}}, %rh{{[0-9]+}}, %rh{{[0-9]+}};
5; CHECK: ret;
6	%z = add i16 %x, %y
7	ret i16 %z
8}
9
10define ptx_device i32 @t1_u32(i32 %x, i32 %y) {
11; CHECK: add.u32 %ret{{[0-9]+}}, %r{{[0-9]+}}, %r{{[0-9]+}};
12; CHECK: ret;
13	%z = add i32 %x, %y
14	ret i32 %z
15}
16
17define ptx_device i64 @t1_u64(i64 %x, i64 %y) {
18; CHECK: add.u64 %ret{{[0-9]+}}, %rd{{[0-9]+}}, %rd{{[0-9]+}};
19; CHECK: ret;
20	%z = add i64 %x, %y
21	ret i64 %z
22}
23
24define ptx_device float @t1_f32(float %x, float %y) {
25; CHECK: add.rn.f32 %ret{{[0-9]+}}, %f{{[0-9]+}}, %f{{[0-9]+}}
26; CHECK: ret;
27  %z = fadd float %x, %y
28  ret float %z
29}
30
31define ptx_device double @t1_f64(double %x, double %y) {
32; CHECK: add.rn.f64 %ret{{[0-9]+}}, %fd{{[0-9]+}}, %fd{{[0-9]+}}
33; CHECK: ret;
34  %z = fadd double %x, %y
35  ret double %z
36}
37
38define ptx_device i16 @t2_u16(i16 %x) {
39; CHECK: add.u16 %ret{{[0-9]+}}, %rh{{[0-9]+}}, 1;
40; CHECK: ret;
41	%z = add i16 %x, 1
42	ret i16 %z
43}
44
45define ptx_device i32 @t2_u32(i32 %x) {
46; CHECK: add.u32 %ret{{[0-9]+}}, %r{{[0-9]+}}, 1;
47; CHECK: ret;
48	%z = add i32 %x, 1
49	ret i32 %z
50}
51
52define ptx_device i64 @t2_u64(i64 %x) {
53; CHECK: add.u64 %ret{{[0-9]+}}, %rd{{[0-9]+}}, 1;
54; CHECK: ret;
55	%z = add i64 %x, 1
56	ret i64 %z
57}
58
59define ptx_device float @t2_f32(float %x) {
60; CHECK: add.rn.f32 %ret{{[0-9]+}}, %f{{[0-9]+}}, 0D3FF0000000000000;
61; CHECK: ret;
62  %z = fadd float %x, 1.0
63  ret float %z
64}
65
66define ptx_device double @t2_f64(double %x) {
67; CHECK: add.rn.f64 %ret{{[0-9]+}}, %fd{{[0-9]+}}, 0D3FF0000000000000;
68; CHECK: ret;
69  %z = fadd double %x, 1.0
70  ret double %z
71}
72