Matt Arsenault | 7aad8fd | 2017-01-24 22:02:15 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s |
| 2 | ; RUN: llc -march=amdgcn -mcpu=tonga -mattr=-flat-for-global -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s |
Matt Arsenault | aeca2fa | 2014-05-31 06:47:42 +0000 | [diff] [blame] | 3 | ; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=R600 -check-prefix=FUNC %s |
Tom Stellard | 5a6b0d8 | 2013-04-19 02:10:53 +0000 | [diff] [blame] | 4 | |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 5 | ; FUNC-LABEL: {{^}}s_uint_to_fp_i32_to_f32: |
Matt Arsenault | 6f1e96b | 2014-12-02 21:02:20 +0000 | [diff] [blame] | 6 | ; SI: v_cvt_f32_u32_e32 |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 7 | |
| 8 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW]}}, KC0[2].Z |
| 9 | define void @s_uint_to_fp_i32_to_f32(float addrspace(1)* %out, i32 %in) #0 { |
Matt Arsenault | 6f1e96b | 2014-12-02 21:02:20 +0000 | [diff] [blame] | 10 | %result = uitofp i32 %in to float |
| 11 | store float %result, float addrspace(1)* %out |
| 12 | ret void |
| 13 | } |
| 14 | |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 15 | ; FUNC-LABEL: {{^}}v_uint_to_fp_i32_to_f32: |
| 16 | ; SI: v_cvt_f32_u32_e32 {{v[0-9]+}}, {{v[0-9]+$}} |
| 17 | |
| 18 | ; R600: INT_TO_FLT |
| 19 | define void @v_uint_to_fp_i32_to_f32(float addrspace(1)* %out, i32 addrspace(1)* %in) #0 { |
| 20 | %tid = call i32 @llvm.r600.read.tidig.x() |
| 21 | %in.gep = getelementptr i32, i32 addrspace(1)* %in, i32 %tid |
| 22 | %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid |
| 23 | %val = load i32, i32 addrspace(1)* %in.gep |
| 24 | %result = uitofp i32 %val to float |
| 25 | store float %result, float addrspace(1)* %out.gep |
| 26 | ret void |
| 27 | } |
| 28 | |
| 29 | ; FUNC-LABEL: {{^}}s_uint_to_fp_v2i32_to_v2f32: |
| 30 | ; SI: v_cvt_f32_u32_e32 |
| 31 | ; SI: v_cvt_f32_u32_e32 |
| 32 | |
Matt Arsenault | aeca2fa | 2014-05-31 06:47:42 +0000 | [diff] [blame] | 33 | ; R600-DAG: UINT_TO_FLT * T{{[0-9]+\.[XYZW]}}, KC0[2].W |
| 34 | ; R600-DAG: UINT_TO_FLT * T{{[0-9]+\.[XYZW]}}, KC0[3].X |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 35 | define void @s_uint_to_fp_v2i32_to_v2f32(<2 x float> addrspace(1)* %out, <2 x i32> %in) #0 { |
Tom Stellard | 0344cdf | 2013-08-01 15:23:42 +0000 | [diff] [blame] | 36 | %result = uitofp <2 x i32> %in to <2 x float> |
| 37 | store <2 x float> %result, <2 x float> addrspace(1)* %out |
| 38 | ret void |
| 39 | } |
| 40 | |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 41 | ; FUNC-LABEL: {{^}}s_uint_to_fp_v4i32_to_v4f32: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 42 | ; SI: v_cvt_f32_u32_e32 |
| 43 | ; SI: v_cvt_f32_u32_e32 |
| 44 | ; SI: v_cvt_f32_u32_e32 |
| 45 | ; SI: v_cvt_f32_u32_e32 |
| 46 | ; SI: s_endpgm |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 47 | |
| 48 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} |
| 49 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} |
| 50 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} |
| 51 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} |
| 52 | define void @s_uint_to_fp_v4i32_to_v4f32(<4 x float> addrspace(1)* %out, <4 x i32> addrspace(1)* %in) #0 { |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 53 | %value = load <4 x i32>, <4 x i32> addrspace(1) * %in |
Tom Stellard | 5a6b0d8 | 2013-04-19 02:10:53 +0000 | [diff] [blame] | 54 | %result = uitofp <4 x i32> %value to <4 x float> |
| 55 | store <4 x float> %result, <4 x float> addrspace(1)* %out |
| 56 | ret void |
| 57 | } |
Tom Stellard | c947d8c | 2013-10-30 17:22:05 +0000 | [diff] [blame] | 58 | |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 59 | ; FUNC-LABEL: {{^}}v_uint_to_fp_v4i32: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 60 | ; SI: v_cvt_f32_u32_e32 |
| 61 | ; SI: v_cvt_f32_u32_e32 |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 62 | ; SI: v_cvt_f32_u32_e32 |
| 63 | ; SI: v_cvt_f32_u32_e32 |
| 64 | |
| 65 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} |
| 66 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} |
| 67 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} |
| 68 | ; R600: UINT_TO_FLT * T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} |
| 69 | define void @v_uint_to_fp_v4i32(<4 x float> addrspace(1)* %out, <4 x i32> addrspace(1)* %in) #0 { |
| 70 | %tid = call i32 @llvm.r600.read.tidig.x() |
| 71 | %in.gep = getelementptr <4 x i32>, <4 x i32> addrspace(1)* %in, i32 %tid |
| 72 | %out.gep = getelementptr <4 x float>, <4 x float> addrspace(1)* %out, i32 %tid |
| 73 | %value = load <4 x i32>, <4 x i32> addrspace(1)* %in.gep |
| 74 | %result = uitofp <4 x i32> %value to <4 x float> |
| 75 | store <4 x float> %result, <4 x float> addrspace(1)* %out.gep |
Tom Stellard | c947d8c | 2013-10-30 17:22:05 +0000 | [diff] [blame] | 76 | ret void |
| 77 | } |
Matt Arsenault | aeca2fa | 2014-05-31 06:47:42 +0000 | [diff] [blame] | 78 | |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 79 | ; FUNC-LABEL: {{^}}s_uint_to_fp_i1_to_f32: |
Matt Arsenault | 5d8eb25 | 2016-09-30 01:50:20 +0000 | [diff] [blame] | 80 | ; SI: v_cmp_eq_u32_e64 [[CMP:s\[[0-9]+:[0-9]\]]], |
Tom Stellard | 654d669 | 2015-01-08 15:08:17 +0000 | [diff] [blame] | 81 | ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1.0, [[CMP]] |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 82 | ; SI: buffer_store_dword [[RESULT]], |
| 83 | ; SI: s_endpgm |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 84 | define void @s_uint_to_fp_i1_to_f32(float addrspace(1)* %out, i32 %in) #0 { |
Matt Arsenault | aeca2fa | 2014-05-31 06:47:42 +0000 | [diff] [blame] | 85 | %cmp = icmp eq i32 %in, 0 |
| 86 | %fp = uitofp i1 %cmp to float |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 87 | store float %fp, float addrspace(1)* %out |
Matt Arsenault | aeca2fa | 2014-05-31 06:47:42 +0000 | [diff] [blame] | 88 | ret void |
| 89 | } |
| 90 | |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 91 | ; FUNC-LABEL: {{^}}s_uint_to_fp_i1_to_f32_load: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 92 | ; SI: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1.0 |
| 93 | ; SI: buffer_store_dword [[RESULT]], |
| 94 | ; SI: s_endpgm |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 95 | define void @s_uint_to_fp_i1_to_f32_load(float addrspace(1)* %out, i1 %in) #0 { |
Matt Arsenault | aeca2fa | 2014-05-31 06:47:42 +0000 | [diff] [blame] | 96 | %fp = uitofp i1 %in to float |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 97 | store float %fp, float addrspace(1)* %out |
Matt Arsenault | aeca2fa | 2014-05-31 06:47:42 +0000 | [diff] [blame] | 98 | ret void |
| 99 | } |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 100 | |
| 101 | ; FUNC-LABEL: {{^}}v_uint_to_fp_i1_f32_load: |
| 102 | ; SI: {{buffer|flat}}_load_ubyte |
| 103 | ; SI: v_and_b32_e32 {{v[0-9]+}}, 1, {{v[0-9]+}} |
Matt Arsenault | 5d8eb25 | 2016-09-30 01:50:20 +0000 | [diff] [blame] | 104 | ; SI: v_cmp_eq_u32 |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 105 | ; SI: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1.0 |
Tom Stellard | 46937ca | 2016-02-12 17:57:54 +0000 | [diff] [blame] | 106 | ; SI: {{buffer|flat}}_store_dword {{.*}}[[RESULT]] |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 107 | ; SI: s_endpgm |
| 108 | define void @v_uint_to_fp_i1_f32_load(float addrspace(1)* %out, i1 addrspace(1)* %in) #0 { |
| 109 | %tid = call i32 @llvm.r600.read.tidig.x() |
| 110 | %in.gep = getelementptr i1, i1 addrspace(1)* %in, i32 %tid |
| 111 | %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid |
| 112 | %val = load i1, i1 addrspace(1)* %in.gep |
| 113 | %fp = uitofp i1 %val to float |
| 114 | store float %fp, float addrspace(1)* %out.gep |
| 115 | ret void |
| 116 | } |
| 117 | |
Matt Arsenault | 5e0bdb8 | 2016-01-11 22:01:48 +0000 | [diff] [blame] | 118 | ; FIXME: Repeated here to test r600 |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 119 | ; FUNC-LABEL: {{^}}s_uint_to_fp_i64_to_f32: |
Matt Arsenault | 5e0bdb8 | 2016-01-11 22:01:48 +0000 | [diff] [blame] | 120 | ; R600: FFBH_UINT |
| 121 | ; R600: FFBH_UINT |
| 122 | ; R600: CNDE_INT |
| 123 | ; R600: CNDE_INT |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 124 | |
Matt Arsenault | 5e0bdb8 | 2016-01-11 22:01:48 +0000 | [diff] [blame] | 125 | ; R600-DAG: SETGT_UINT |
| 126 | ; R600-DAG: SETGT_UINT |
| 127 | ; R600-DAG: SETE_INT |
| 128 | |
Matt Arsenault | fe453a7 | 2016-01-11 17:02:10 +0000 | [diff] [blame] | 129 | define void @s_uint_to_fp_i64_to_f32(float addrspace(1)* %out, i64 %in) #0 { |
| 130 | entry: |
| 131 | %cvt = uitofp i64 %in to float |
| 132 | store float %cvt, float addrspace(1)* %out |
| 133 | ret void |
| 134 | } |
| 135 | |
| 136 | declare i32 @llvm.r600.read.tidig.x() #1 |
| 137 | |
| 138 | attributes #0 = { nounwind } |
| 139 | attributes #1 = { nounwind readnone } |