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