1; RUN: llc -march=amdgcn -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI %s
2
3declare i32 @llvm.r600.read.tidig.x() nounwind readnone
4
5; SI-LABEL: {{^}}v_uint_to_fp_i64_to_f64
6; SI: buffer_load_dwordx2 v{{\[}}[[LO:[0-9]+]]:[[HI:[0-9]+]]{{\]}}
7; SI: v_cvt_f64_u32_e32 [[HI_CONV:v\[[0-9]+:[0-9]+\]]], v[[HI]]
8; SI: v_ldexp_f64 [[LDEXP:v\[[0-9]+:[0-9]+\]]], [[HI_CONV]], 32
9; SI: v_cvt_f64_u32_e32 [[LO_CONV:v\[[0-9]+:[0-9]+\]]], v[[LO]]
10; SI: v_add_f64 [[RESULT:v\[[0-9]+:[0-9]+\]]], [[LDEXP]], [[LO_CONV]]
11; SI: buffer_store_dwordx2 [[RESULT]]
12define void @v_uint_to_fp_i64_to_f64(double addrspace(1)* %out, i64 addrspace(1)* %in) {
13  %tid = call i32 @llvm.r600.read.tidig.x() nounwind readnone
14  %gep = getelementptr i64 addrspace(1)* %in, i32 %tid
15  %val = load i64 addrspace(1)* %gep, align 8
16  %result = uitofp i64 %val to double
17  store double %result, double addrspace(1)* %out
18  ret void
19}
20
21; SI-LABEL: {{^}}s_uint_to_fp_i64_to_f64
22define void @s_uint_to_fp_i64_to_f64(double addrspace(1)* %out, i64 %in) {
23  %cast = uitofp i64 %in to double
24  store double %cast, double addrspace(1)* %out, align 8
25  ret void
26}
27
28; SI-LABEL: {{^}}s_uint_to_fp_v2i64_to_v2f64
29define void @s_uint_to_fp_v2i64_to_v2f64(<2 x double> addrspace(1)* %out, <2 x i64> %in) {
30  %cast = uitofp <2 x i64> %in to <2 x double>
31  store <2 x double> %cast, <2 x double> addrspace(1)* %out, align 16
32  ret void
33}
34
35; SI-LABEL: {{^}}s_uint_to_fp_v4i64_to_v4f64
36define void @s_uint_to_fp_v4i64_to_v4f64(<4 x double> addrspace(1)* %out, <4 x i64> %in) {
37  %cast = uitofp <4 x i64> %in to <4 x double>
38  store <4 x double> %cast, <4 x double> addrspace(1)* %out, align 16
39  ret void
40}
41
42; SI-LABEL: {{^}}s_uint_to_fp_i32_to_f64
43; SI: v_cvt_f64_u32_e32
44; SI: s_endpgm
45define void @s_uint_to_fp_i32_to_f64(double addrspace(1)* %out, i32 %in) {
46  %cast = uitofp i32 %in to double
47  store double %cast, double addrspace(1)* %out, align 8
48  ret void
49}
50
51; SI-LABEL: {{^}}s_uint_to_fp_v2i32_to_v2f64
52; SI: v_cvt_f64_u32_e32
53; SI: v_cvt_f64_u32_e32
54; SI: s_endpgm
55define void @s_uint_to_fp_v2i32_to_v2f64(<2 x double> addrspace(1)* %out, <2 x i32> %in) {
56  %cast = uitofp <2 x i32> %in to <2 x double>
57  store <2 x double> %cast, <2 x double> addrspace(1)* %out, align 16
58  ret void
59}
60
61; SI-LABEL: {{^}}s_uint_to_fp_v4i32_to_v4f64
62; SI: v_cvt_f64_u32_e32
63; SI: v_cvt_f64_u32_e32
64; SI: v_cvt_f64_u32_e32
65; SI: v_cvt_f64_u32_e32
66; SI: s_endpgm
67define void @s_uint_to_fp_v4i32_to_v4f64(<4 x double> addrspace(1)* %out, <4 x i32> %in) {
68  %cast = uitofp <4 x i32> %in to <4 x double>
69  store <4 x double> %cast, <4 x double> addrspace(1)* %out, align 16
70  ret void
71}
72
73; SI-LABEL: {{^}}uint_to_fp_i1_to_f64:
74; SI: v_cmp_eq_i32_e64 [[CMP:s\[[0-9]+:[0-9]\]]],
75; We can't fold the SGPRs into v_cndmask_b32_e64, because it already
76; uses an SGPR for [[CMP]]
77; SI: v_cndmask_b32_e64 v{{[0-9]+}}, 0, v{{[0-9]+}}, [[CMP]]
78; SI: v_cndmask_b32_e64 v{{[0-9]+}}, 0, v{{[0-9]+}}, [[CMP]]
79; SI: buffer_store_dwordx2
80; SI: s_endpgm
81define void @uint_to_fp_i1_to_f64(double addrspace(1)* %out, i32 %in) {
82  %cmp = icmp eq i32 %in, 0
83  %fp = uitofp i1 %cmp to double
84  store double %fp, double addrspace(1)* %out, align 4
85  ret void
86}
87
88; SI-LABEL: {{^}}uint_to_fp_i1_to_f64_load:
89; SI: v_cndmask_b32_e64 [[IRESULT:v[0-9]]], 0, 1
90; SI-NEXT: v_cvt_f64_u32_e32 [[RESULT:v\[[0-9]+:[0-9]\]]], [[IRESULT]]
91; SI: buffer_store_dwordx2 [[RESULT]]
92; SI: s_endpgm
93define void @uint_to_fp_i1_to_f64_load(double addrspace(1)* %out, i1 %in) {
94  %fp = uitofp i1 %in to double
95  store double %fp, double addrspace(1)* %out, align 8
96  ret void
97}
98