Matt Arsenault | 7aad8fd | 2017-01-24 22:02:15 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -mcpu=tonga -mattr=-flat-for-global -verify-machineinstrs < %s | FileCheck -check-prefix=GCN %s |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 2 | |
Matt Arsenault | d5d7851 | 2017-01-31 17:28:40 +0000 | [diff] [blame] | 3 | declare half @llvm.fabs.f16(half) #0 |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 4 | declare half @llvm.canonicalize.f16(half) #0 |
Matt Arsenault | 7030661 | 2017-01-23 18:52:26 +0000 | [diff] [blame] | 5 | declare <2 x half> @llvm.fabs.v2f16(<2 x half>) #0 |
| 6 | declare <2 x half> @llvm.canonicalize.v2f16(<2 x half>) #0 |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 7 | |
| 8 | ; GCN-LABEL: {{^}}v_test_canonicalize_var_f16: |
| 9 | ; GCN: v_mul_f16_e32 [[REG:v[0-9]+]], 1.0, {{v[0-9]+}} |
| 10 | ; GCN: buffer_store_short [[REG]] |
| 11 | define void @v_test_canonicalize_var_f16(half addrspace(1)* %out) #1 { |
| 12 | %val = load half, half addrspace(1)* %out |
| 13 | %canonicalized = call half @llvm.canonicalize.f16(half %val) |
| 14 | store half %canonicalized, half addrspace(1)* %out |
| 15 | ret void |
| 16 | } |
| 17 | |
| 18 | ; GCN-LABEL: {{^}}s_test_canonicalize_var_f16: |
| 19 | ; GCN: v_mul_f16_e64 [[REG:v[0-9]+]], 1.0, {{s[0-9]+}} |
| 20 | ; GCN: buffer_store_short [[REG]] |
| 21 | define void @s_test_canonicalize_var_f16(half addrspace(1)* %out, i16 zeroext %val.arg) #1 { |
| 22 | %val = bitcast i16 %val.arg to half |
| 23 | %canonicalized = call half @llvm.canonicalize.f16(half %val) |
| 24 | store half %canonicalized, half addrspace(1)* %out |
| 25 | ret void |
| 26 | } |
| 27 | |
Matt Arsenault | d5d7851 | 2017-01-31 17:28:40 +0000 | [diff] [blame] | 28 | ; GCN-LABEL: {{^}}v_test_canonicalize_fabs_var_f16: |
| 29 | ; GCN: v_mul_f16_e64 [[REG:v[0-9]+]], 1.0, |{{v[0-9]+}}| |
| 30 | ; GCN: buffer_store_short [[REG]] |
| 31 | define void @v_test_canonicalize_fabs_var_f16(half addrspace(1)* %out) #1 { |
| 32 | %val = load half, half addrspace(1)* %out |
| 33 | %val.fabs = call half @llvm.fabs.f16(half %val) |
| 34 | %canonicalized = call half @llvm.canonicalize.f16(half %val.fabs) |
| 35 | store half %canonicalized, half addrspace(1)* %out |
| 36 | ret void |
| 37 | } |
| 38 | |
| 39 | ; GCN-LABEL: {{^}}v_test_canonicalize_fneg_fabs_var_f16: |
| 40 | ; GCN: v_mul_f16_e64 [[REG:v[0-9]+]], 1.0, -|{{v[0-9]+}}| |
| 41 | ; GCN: buffer_store_short [[REG]] |
| 42 | define void @v_test_canonicalize_fneg_fabs_var_f16(half addrspace(1)* %out) #1 { |
| 43 | %val = load half, half addrspace(1)* %out |
| 44 | %val.fabs = call half @llvm.fabs.f16(half %val) |
| 45 | %val.fabs.fneg = fsub half -0.0, %val.fabs |
| 46 | %canonicalized = call half @llvm.canonicalize.f16(half %val.fabs.fneg) |
| 47 | store half %canonicalized, half addrspace(1)* %out |
| 48 | ret void |
| 49 | } |
| 50 | |
| 51 | ; GCN-LABEL: {{^}}v_test_canonicalize_fneg_var_f16: |
| 52 | ; GCN: v_mul_f16_e64 [[REG:v[0-9]+]], 1.0, -{{v[0-9]+}} |
| 53 | ; GCN: buffer_store_short [[REG]] |
| 54 | define void @v_test_canonicalize_fneg_var_f16(half addrspace(1)* %out) #1 { |
| 55 | %val = load half, half addrspace(1)* %out |
| 56 | %val.fneg = fsub half -0.0, %val |
| 57 | %canonicalized = call half @llvm.canonicalize.f16(half %val.fneg) |
| 58 | store half %canonicalized, half addrspace(1)* %out |
| 59 | ret void |
| 60 | } |
| 61 | |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 62 | ; GCN-LABEL: {{^}}test_fold_canonicalize_p0_f16: |
| 63 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0{{$}} |
| 64 | ; GCN: buffer_store_short [[REG]] |
| 65 | define void @test_fold_canonicalize_p0_f16(half addrspace(1)* %out) #1 { |
| 66 | %canonicalized = call half @llvm.canonicalize.f16(half 0.0) |
| 67 | store half %canonicalized, half addrspace(1)* %out |
| 68 | ret void |
| 69 | } |
| 70 | |
| 71 | ; GCN-LABEL: {{^}}test_fold_canonicalize_n0_f16: |
| 72 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0xffff8000{{$}} |
| 73 | ; GCN: buffer_store_short [[REG]] |
| 74 | define void @test_fold_canonicalize_n0_f16(half addrspace(1)* %out) #1 { |
| 75 | %canonicalized = call half @llvm.canonicalize.f16(half -0.0) |
| 76 | store half %canonicalized, half addrspace(1)* %out |
| 77 | ret void |
| 78 | } |
| 79 | |
| 80 | ; GCN-LABEL: {{^}}test_fold_canonicalize_p1_f16: |
| 81 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x3c00{{$}} |
| 82 | ; GCN: buffer_store_short [[REG]] |
| 83 | define void @test_fold_canonicalize_p1_f16(half addrspace(1)* %out) #1 { |
| 84 | %canonicalized = call half @llvm.canonicalize.f16(half 1.0) |
| 85 | store half %canonicalized, half addrspace(1)* %out |
| 86 | ret void |
| 87 | } |
| 88 | |
| 89 | ; GCN-LABEL: {{^}}test_fold_canonicalize_n1_f16: |
| 90 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0xffffbc00{{$}} |
| 91 | ; GCN: buffer_store_short [[REG]] |
| 92 | define void @test_fold_canonicalize_n1_f16(half addrspace(1)* %out) #1 { |
| 93 | %canonicalized = call half @llvm.canonicalize.f16(half -1.0) |
| 94 | store half %canonicalized, half addrspace(1)* %out |
| 95 | ret void |
| 96 | } |
| 97 | |
| 98 | ; GCN-LABEL: {{^}}test_fold_canonicalize_literal_f16: |
| 99 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x4c00{{$}} |
| 100 | ; GCN: buffer_store_short [[REG]] |
| 101 | define void @test_fold_canonicalize_literal_f16(half addrspace(1)* %out) #1 { |
| 102 | %canonicalized = call half @llvm.canonicalize.f16(half 16.0) |
| 103 | store half %canonicalized, half addrspace(1)* %out |
| 104 | ret void |
| 105 | } |
| 106 | |
Matt Arsenault | a6867fd | 2017-01-23 22:31:03 +0000 | [diff] [blame] | 107 | ; GCN-LABEL: {{^}}test_default_denormals_fold_canonicalize_denormal0_f16: |
| 108 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x3ff{{$}} |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 109 | ; GCN: buffer_store_short [[REG]] |
Matt Arsenault | a6867fd | 2017-01-23 22:31:03 +0000 | [diff] [blame] | 110 | define void @test_default_denormals_fold_canonicalize_denormal0_f16(half addrspace(1)* %out) #1 { |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 111 | %canonicalized = call half @llvm.canonicalize.f16(half 0xH03FF) |
| 112 | store half %canonicalized, half addrspace(1)* %out |
| 113 | ret void |
| 114 | } |
| 115 | |
| 116 | ; GCN-LABEL: {{^}}test_denormals_fold_canonicalize_denormal0_f16: |
| 117 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x3ff{{$}} |
| 118 | ; GCN: buffer_store_short [[REG]] |
| 119 | define void @test_denormals_fold_canonicalize_denormal0_f16(half addrspace(1)* %out) #3 { |
| 120 | %canonicalized = call half @llvm.canonicalize.f16(half 0xH03FF) |
| 121 | store half %canonicalized, half addrspace(1)* %out |
| 122 | ret void |
| 123 | } |
| 124 | |
Matt Arsenault | a6867fd | 2017-01-23 22:31:03 +0000 | [diff] [blame] | 125 | ; GCN-LABEL: {{^}}test_default_denormals_fold_canonicalize_denormal1_f16: |
| 126 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0xffff83ff{{$}} |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 127 | ; GCN: buffer_store_short [[REG]] |
Matt Arsenault | a6867fd | 2017-01-23 22:31:03 +0000 | [diff] [blame] | 128 | define void @test_default_denormals_fold_canonicalize_denormal1_f16(half addrspace(1)* %out) #1 { |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 129 | %canonicalized = call half @llvm.canonicalize.f16(half 0xH83FF) |
| 130 | store half %canonicalized, half addrspace(1)* %out |
| 131 | ret void |
| 132 | } |
| 133 | |
| 134 | ; GCN-LABEL: {{^}}test_denormals_fold_canonicalize_denormal1_f16: |
| 135 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0xffff83ff{{$}} |
| 136 | ; GCN: buffer_store_short [[REG]] |
| 137 | define void @test_denormals_fold_canonicalize_denormal1_f16(half addrspace(1)* %out) #3 { |
| 138 | %canonicalized = call half @llvm.canonicalize.f16(half 0xH83FF) |
| 139 | store half %canonicalized, half addrspace(1)* %out |
| 140 | ret void |
| 141 | } |
| 142 | |
| 143 | ; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_f16: |
| 144 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7c00{{$}} |
| 145 | ; GCN: buffer_store_short [[REG]] |
| 146 | define void @test_fold_canonicalize_qnan_f16(half addrspace(1)* %out) #1 { |
| 147 | %canonicalized = call half @llvm.canonicalize.f16(half 0xH7C00) |
| 148 | store half %canonicalized, half addrspace(1)* %out |
| 149 | ret void |
| 150 | } |
| 151 | |
| 152 | ; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_value_neg1_f16: |
| 153 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e00{{$}} |
| 154 | ; GCN: buffer_store_short [[REG]] |
| 155 | define void @test_fold_canonicalize_qnan_value_neg1_f16(half addrspace(1)* %out) #1 { |
| 156 | %canonicalized = call half @llvm.canonicalize.f16(half bitcast (i16 -1 to half)) |
| 157 | store half %canonicalized, half addrspace(1)* %out |
| 158 | ret void |
| 159 | } |
| 160 | |
| 161 | ; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_value_neg2_f16: |
| 162 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e00{{$}} |
| 163 | ; GCN: buffer_store_short [[REG]] |
| 164 | define void @test_fold_canonicalize_qnan_value_neg2_f16(half addrspace(1)* %out) #1 { |
| 165 | %canonicalized = call half @llvm.canonicalize.f16(half bitcast (i16 -2 to half)) |
| 166 | store half %canonicalized, half addrspace(1)* %out |
| 167 | ret void |
| 168 | } |
| 169 | |
| 170 | ; GCN-LABEL: {{^}}test_fold_canonicalize_snan0_value_f16: |
| 171 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e00{{$}} |
| 172 | ; GCN: buffer_store_short [[REG]] |
| 173 | define void @test_fold_canonicalize_snan0_value_f16(half addrspace(1)* %out) #1 { |
| 174 | %canonicalized = call half @llvm.canonicalize.f16(half 0xH7C01) |
| 175 | store half %canonicalized, half addrspace(1)* %out |
| 176 | ret void |
| 177 | } |
| 178 | |
| 179 | ; GCN-LABEL: {{^}}test_fold_canonicalize_snan1_value_f16: |
| 180 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e00{{$}} |
| 181 | ; GCN: buffer_store_short [[REG]] |
| 182 | define void @test_fold_canonicalize_snan1_value_f16(half addrspace(1)* %out) #1 { |
| 183 | %canonicalized = call half @llvm.canonicalize.f16(half 0xH7DFF) |
| 184 | store half %canonicalized, half addrspace(1)* %out |
| 185 | ret void |
| 186 | } |
| 187 | |
| 188 | ; GCN-LABEL: {{^}}test_fold_canonicalize_snan2_value_f16: |
| 189 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e00{{$}} |
| 190 | ; GCN: buffer_store_short [[REG]] |
| 191 | define void @test_fold_canonicalize_snan2_value_f16(half addrspace(1)* %out) #1 { |
| 192 | %canonicalized = call half @llvm.canonicalize.f16(half 0xHFDFF) |
| 193 | store half %canonicalized, half addrspace(1)* %out |
| 194 | ret void |
| 195 | } |
| 196 | |
| 197 | ; GCN-LABEL: {{^}}test_fold_canonicalize_snan3_value_f16: |
| 198 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e00{{$}} |
| 199 | ; GCN: buffer_store_short [[REG]] |
| 200 | define void @test_fold_canonicalize_snan3_value_f16(half addrspace(1)* %out) #1 { |
| 201 | %canonicalized = call half @llvm.canonicalize.f16(half 0xHFC01) |
| 202 | store half %canonicalized, half addrspace(1)* %out |
| 203 | ret void |
| 204 | } |
| 205 | |
Matt Arsenault | 7030661 | 2017-01-23 18:52:26 +0000 | [diff] [blame] | 206 | ; GCN-LABEL: {{^}}v_test_canonicalize_var_v2f16: |
| 207 | ; GCN: v_mul_f16_e32 [[REG0:v[0-9]+]], 1.0, {{v[0-9]+}} |
| 208 | ; GCN: v_mul_f16_e32 [[REG1:v[0-9]+]], 1.0, {{v[0-9]+}} |
| 209 | ; GCN: v_lshlrev_b32_e32 v{{[0-9]+}}, 16, |
| 210 | define void @v_test_canonicalize_var_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 211 | %val = load <2 x half>, <2 x half> addrspace(1)* %out |
| 212 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %val) |
| 213 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 214 | ret void |
| 215 | } |
| 216 | |
| 217 | ; FIXME: Fold modifier |
| 218 | ; GCN-LABEL: {{^}}v_test_canonicalize_fabs_var_v2f16: |
| 219 | ; GCN: v_bfe_u32 |
| 220 | ; GCN: v_and_b32_e32 v{{[0-9]+}}, 0x7fff7fff, v{{[0-9]+}} |
| 221 | ; GCN: v_mul_f16_e32 [[REG0:v[0-9]+]], 1.0, v{{[0-9]+}} |
| 222 | ; GCN: v_mul_f16_e32 [[REG1:v[0-9]+]], 1.0, v{{[0-9]+}} |
| 223 | ; GCN: v_or_b32 |
| 224 | ; GCN: buffer_store_dword |
| 225 | define void @v_test_canonicalize_fabs_var_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 226 | %val = load <2 x half>, <2 x half> addrspace(1)* %out |
| 227 | %val.fabs = call <2 x half> @llvm.fabs.v2f16(<2 x half> %val) |
| 228 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %val.fabs) |
| 229 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 230 | ret void |
| 231 | } |
| 232 | |
| 233 | ; GCN-LABEL: {{^}}v_test_canonicalize_fneg_fabs_var_v2f16: |
| 234 | ; GCN: v_or_b32_e32 v{{[0-9]+}}, 0x80008000, v{{[0-9]+}} |
| 235 | ; GCN: v_mul_f16_e32 [[REG0:v[0-9]+]], 1.0, v{{[0-9]+}} |
| 236 | ; GCN: v_mul_f16_e32 [[REG1:v[0-9]+]], 1.0, v{{[0-9]+}} |
| 237 | ; GCN: v_or_b32 |
| 238 | ; GCN: buffer_store_dword |
| 239 | define void @v_test_canonicalize_fneg_fabs_var_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 240 | %val = load <2 x half>, <2 x half> addrspace(1)* %out |
| 241 | %val.fabs = call <2 x half> @llvm.fabs.v2f16(<2 x half> %val) |
| 242 | %val.fabs.fneg = fsub <2 x half> <half -0.0, half -0.0>, %val.fabs |
| 243 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %val.fabs.fneg) |
| 244 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 245 | ret void |
| 246 | } |
| 247 | |
| 248 | ; FIXME: Fold modifier |
| 249 | ; GCN-LABEL: {{^}}v_test_canonicalize_fneg_var_v2f16: |
| 250 | ; GCN: v_xor_b32_e32 [[FNEG:v[0-9]+]], 0x80008000, v{{[0-9]+}} |
| 251 | ; GCN: v_lshrrev_b32_e32 [[FNEG_HI:v[0-9]+]], 16, [[FNEG]] |
| 252 | ; GCN: v_mul_f16_e32 [[REG0:v[0-9]+]], 1.0, [[FNEG]] |
| 253 | ; GCN: v_mul_f16_e32 [[REG1:v[0-9]+]], 1.0, [[FNEG_HI]] |
| 254 | ; GCN: v_lshlrev_b32_e32 v{{[0-9]+}}, 16, |
| 255 | define void @v_test_canonicalize_fneg_var_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 256 | %val = load <2 x half>, <2 x half> addrspace(1)* %out |
| 257 | %fneg.val = fsub <2 x half> <half -0.0, half -0.0>, %val |
| 258 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %fneg.val) |
| 259 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 260 | ret void |
| 261 | } |
| 262 | |
| 263 | ; GCN-LABEL: {{^}}s_test_canonicalize_var_v2f16: |
| 264 | ; GCN: v_mul_f16_e64 [[REG0:v[0-9]+]], 1.0, {{s[0-9]+}} |
| 265 | ; GCN: v_mul_f16_e64 [[REG1:v[0-9]+]], 1.0, {{s[0-9]+}} |
| 266 | ; GCN: v_lshlrev_b32_e32 v{{[0-9]+}}, 16, |
| 267 | define void @s_test_canonicalize_var_v2f16(<2 x half> addrspace(1)* %out, i32 zeroext %val.arg) #1 { |
| 268 | %val = bitcast i32 %val.arg to <2 x half> |
| 269 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %val) |
| 270 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 271 | ret void |
| 272 | } |
| 273 | |
| 274 | ; GCN-LABEL: {{^}}test_fold_canonicalize_p0_v2f16: |
| 275 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0{{$}} |
| 276 | ; GCN: buffer_store_dword [[REG]] |
| 277 | define void @test_fold_canonicalize_p0_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 278 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> zeroinitializer) |
| 279 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 280 | ret void |
| 281 | } |
| 282 | |
| 283 | ; GCN-LABEL: {{^}}test_fold_canonicalize_n0_v2f16: |
| 284 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x80008000{{$}} |
| 285 | ; GCN: buffer_store_dword [[REG]] |
| 286 | define void @test_fold_canonicalize_n0_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 287 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half -0.0, half -0.0>) |
| 288 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 289 | ret void |
| 290 | } |
| 291 | |
| 292 | ; GCN-LABEL: {{^}}test_fold_canonicalize_p1_v2f16: |
| 293 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x3c003c00{{$}} |
| 294 | ; GCN: buffer_store_dword [[REG]] |
| 295 | define void @test_fold_canonicalize_p1_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 296 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 1.0, half 1.0>) |
| 297 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 298 | ret void |
| 299 | } |
| 300 | |
| 301 | ; GCN-LABEL: {{^}}test_fold_canonicalize_n1_v2f16: |
| 302 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0xbc00bc00{{$}} |
| 303 | ; GCN: buffer_store_dword [[REG]] |
| 304 | define void @test_fold_canonicalize_n1_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 305 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half -1.0, half -1.0>) |
| 306 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 307 | ret void |
| 308 | } |
| 309 | |
| 310 | ; GCN-LABEL: {{^}}test_fold_canonicalize_literal_v2f16: |
| 311 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x4c004c00{{$}} |
| 312 | ; GCN: buffer_store_dword [[REG]] |
| 313 | define void @test_fold_canonicalize_literal_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 314 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 16.0, half 16.0>) |
| 315 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 316 | ret void |
| 317 | } |
| 318 | |
| 319 | ; GCN-LABEL: {{^}}test_no_denormals_fold_canonicalize_denormal0_v2f16: |
Matt Arsenault | a6867fd | 2017-01-23 22:31:03 +0000 | [diff] [blame] | 320 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x3ff03ff{{$}} |
Matt Arsenault | 7030661 | 2017-01-23 18:52:26 +0000 | [diff] [blame] | 321 | ; GCN: buffer_store_dword [[REG]] |
| 322 | define void @test_no_denormals_fold_canonicalize_denormal0_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 323 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH03FF, half 0xH03FF>) |
| 324 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 325 | ret void |
| 326 | } |
| 327 | |
| 328 | ; GCN-LABEL: {{^}}test_denormals_fold_canonicalize_denormal0_v2f16: |
| 329 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x3ff03ff{{$}} |
| 330 | ; GCN: buffer_store_dword [[REG]] |
| 331 | define void @test_denormals_fold_canonicalize_denormal0_v2f16(<2 x half> addrspace(1)* %out) #3 { |
| 332 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH03FF, half 0xH03FF>) |
| 333 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 334 | ret void |
| 335 | } |
| 336 | |
| 337 | ; GCN-LABEL: {{^}}test_no_denormals_fold_canonicalize_denormal1_v2f16: |
Matt Arsenault | a6867fd | 2017-01-23 22:31:03 +0000 | [diff] [blame] | 338 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x83ff83ff{{$}} |
Matt Arsenault | 7030661 | 2017-01-23 18:52:26 +0000 | [diff] [blame] | 339 | ; GCN: buffer_store_dword [[REG]] |
| 340 | define void @test_no_denormals_fold_canonicalize_denormal1_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 341 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH83FF, half 0xH83FF>) |
| 342 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 343 | ret void |
| 344 | } |
| 345 | |
| 346 | ; GCN-LABEL: {{^}}test_denormals_fold_canonicalize_denormal1_v2f16: |
| 347 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x83ff83ff{{$}} |
| 348 | ; GCN: buffer_store_dword [[REG]] |
| 349 | define void @test_denormals_fold_canonicalize_denormal1_v2f16(<2 x half> addrspace(1)* %out) #3 { |
| 350 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH83FF, half 0xH83FF>) |
| 351 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 352 | ret void |
| 353 | } |
| 354 | |
| 355 | ; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_v2f16: |
| 356 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7c007c00{{$}} |
| 357 | ; GCN: buffer_store_dword [[REG]] |
| 358 | define void @test_fold_canonicalize_qnan_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 359 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH7C00, half 0xH7C00>) |
| 360 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 361 | ret void |
| 362 | } |
| 363 | |
| 364 | ; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_value_neg1_v2f16: |
| 365 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}} |
| 366 | ; GCN: buffer_store_dword [[REG]] |
| 367 | define void @test_fold_canonicalize_qnan_value_neg1_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 368 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> bitcast (i32 -1 to <2 x half>)) |
| 369 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 370 | ret void |
| 371 | } |
| 372 | |
| 373 | ; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_value_neg2_v2f16: |
| 374 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}} |
| 375 | ; GCN: buffer_store_dword [[REG]] |
| 376 | define void @test_fold_canonicalize_qnan_value_neg2_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 377 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half bitcast (i16 -2 to half), half bitcast (i16 -2 to half)>) |
| 378 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 379 | ret void |
| 380 | } |
| 381 | |
| 382 | ; GCN-LABEL: {{^}}test_fold_canonicalize_snan0_value_v2f16: |
| 383 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}} |
| 384 | ; GCN: buffer_store_dword [[REG]] |
| 385 | define void @test_fold_canonicalize_snan0_value_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 386 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH7C01, half 0xH7C01>) |
| 387 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 388 | ret void |
| 389 | } |
| 390 | |
| 391 | ; GCN-LABEL: {{^}}test_fold_canonicalize_snan1_value_v2f16: |
| 392 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}} |
| 393 | ; GCN: buffer_store_dword [[REG]] |
| 394 | define void @test_fold_canonicalize_snan1_value_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 395 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH7DFF, half 0xH7DFF>) |
| 396 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 397 | ret void |
| 398 | } |
| 399 | |
| 400 | ; GCN-LABEL: {{^}}test_fold_canonicalize_snan2_value_v2f16: |
| 401 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}} |
| 402 | ; GCN: buffer_store_dword [[REG]] |
| 403 | define void @test_fold_canonicalize_snan2_value_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 404 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xHFDFF, half 0xHFDFF>) |
| 405 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 406 | ret void |
| 407 | } |
| 408 | |
| 409 | ; GCN-LABEL: {{^}}test_fold_canonicalize_snan3_value_v2f16: |
| 410 | ; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}} |
| 411 | ; GCN: buffer_store_dword [[REG]] |
| 412 | define void @test_fold_canonicalize_snan3_value_v2f16(<2 x half> addrspace(1)* %out) #1 { |
| 413 | %canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xHFC01, half 0xHFC01>) |
| 414 | store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out |
| 415 | ret void |
| 416 | } |
| 417 | |
Matt Arsenault | ce84130 | 2016-12-22 03:05:37 +0000 | [diff] [blame] | 418 | attributes #0 = { nounwind readnone } |
| 419 | attributes #1 = { nounwind } |
Matt Arsenault | a6867fd | 2017-01-23 22:31:03 +0000 | [diff] [blame] | 420 | attributes #2 = { nounwind "target-features"="-fp64-fp16-denormals" } |
| 421 | attributes #3 = { nounwind "target-features"="+fp64-fp16-denormals" } |