Home | History | Annotate | Download | only in PTX
      1 ; RUN: llc < %s -march=ptx32 | FileCheck %s
      2 
      3 define 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 
     10 define 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 
     17 define 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 
     24 define 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 
     31 define 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 
     38 define 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 
     45 define 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 
     52 define 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 
     59 define 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 
     66 define 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