; RUN: llc < %s -march=ptx | FileCheck %s

define ptx_device i16 @t1_u16() {
; CHECK: mov.u16 rh0, 0;
; CHECK: ret;
	ret i16 0
}

define ptx_device i32 @t1_u32() {
; CHECK: mov.u32 r0, 0;
; CHECK: ret;
	ret i32 0
}

define ptx_device i64 @t1_u64() {
; CHECK: mov.u64 rd0, 0;
; CHECK: ret;
	ret i64 0
}

define ptx_device float @t1_f32() {
; CHECK: mov.f32 f0, 0F00000000;
; CHECK: ret;
	ret float 0.0
}

define ptx_device double @t1_f64() {
; CHECK: mov.f64 fd0, 0D0000000000000000;
; CHECK: ret;
	ret double 0.0
}

define ptx_device i16 @t2_u16(i16 %x) {
; CHECK: mov.u16 rh0, rh1;
; CHECK: ret;
	ret i16 %x
}

define ptx_device i32 @t2_u32(i32 %x) {
; CHECK: mov.u32 r0, r1;
; CHECK: ret;
	ret i32 %x
}

define ptx_device i64 @t2_u64(i64 %x) {
; CHECK: mov.u64 rd0, rd1;
; CHECK: ret;
	ret i64 %x
}

define ptx_device float @t3_f32(float %x) {
; CHECK: mov.f32 f0, f1;
; CHECK-NEXT: ret;
	ret float %x
}

define ptx_device double @t3_f64(double %x) {
; CHECK: mov.f64 fd0, fd1;
; CHECK-NEXT: ret;
	ret double %x
}