Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -mcpu=tahiti -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=GCN -check-prefix=FUNC %s |
Matt Arsenault | 7aad8fd | 2017-01-24 22:02:15 +0000 | [diff] [blame^] | 2 | ; RUN: llc -march=amdgcn -mcpu=tonga -mattr=-flat-for-global -verify-machineinstrs < %s | FileCheck -check-prefix=VI -check-prefix=GCN -check-prefix=FUNC %s |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 3 | ; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=R600 -check-prefix=FUNC %s |
Tom Stellard | beed74a | 2013-07-23 01:47:46 +0000 | [diff] [blame] | 4 | |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 5 | ; FUNC-LABEL: {{^}}s_fneg_f32: |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 6 | ; R600: -PV |
| 7 | |
Marek Olsak | fa6607d | 2015-02-11 14:26:46 +0000 | [diff] [blame] | 8 | ; GCN: v_xor_b32 |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 9 | define void @s_fneg_f32(float addrspace(1)* %out, float %in) { |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 10 | %fneg = fsub float -0.000000e+00, %in |
| 11 | store float %fneg, float addrspace(1)* %out |
Tom Stellard | 8216602 | 2013-11-13 23:36:37 +0000 | [diff] [blame] | 12 | ret void |
| 13 | } |
| 14 | |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 15 | ; FUNC-LABEL: {{^}}s_fneg_v2f32: |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 16 | ; R600: -PV |
| 17 | ; R600: -PV |
| 18 | |
Marek Olsak | fa6607d | 2015-02-11 14:26:46 +0000 | [diff] [blame] | 19 | ; GCN: v_xor_b32 |
| 20 | ; GCN: v_xor_b32 |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 21 | define void @s_fneg_v2f32(<2 x float> addrspace(1)* nocapture %out, <2 x float> %in) { |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 22 | %fneg = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, %in |
| 23 | store <2 x float> %fneg, <2 x float> addrspace(1)* %out |
Tom Stellard | beed74a | 2013-07-23 01:47:46 +0000 | [diff] [blame] | 24 | ret void |
| 25 | } |
| 26 | |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 27 | ; FUNC-LABEL: {{^}}s_fneg_v4f32: |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 28 | ; R600: -PV |
| 29 | ; R600: -T |
| 30 | ; R600: -PV |
| 31 | ; R600: -PV |
| 32 | |
Marek Olsak | fa6607d | 2015-02-11 14:26:46 +0000 | [diff] [blame] | 33 | ; GCN: v_xor_b32 |
| 34 | ; GCN: v_xor_b32 |
| 35 | ; GCN: v_xor_b32 |
| 36 | ; GCN: v_xor_b32 |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 37 | define void @s_fneg_v4f32(<4 x float> addrspace(1)* nocapture %out, <4 x float> %in) { |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 38 | %fneg = fsub <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, %in |
| 39 | store <4 x float> %fneg, <4 x float> addrspace(1)* %out |
Tom Stellard | beed74a | 2013-07-23 01:47:46 +0000 | [diff] [blame] | 40 | ret void |
| 41 | } |
Tom Stellard | c54731a | 2013-07-23 23:55:03 +0000 | [diff] [blame] | 42 | |
| 43 | ; DAGCombiner will transform: |
| 44 | ; (fneg (f32 bitcast (i32 a))) => (f32 bitcast (xor (i32 a), 0x80000000)) |
| 45 | ; unless the target returns true for isNegFree() |
| 46 | |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 47 | ; FUNC-LABEL: {{^}}fsub0_f32: |
| 48 | |
| 49 | ; GCN: v_sub_f32_e64 v{{[0-9]}}, 0, s{{[0-9]+$}} |
| 50 | |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 51 | ; R600-NOT: XOR |
| 52 | ; R600: -KC0[2].Z |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 53 | define void @fsub0_f32(float addrspace(1)* %out, i32 %in) { |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 54 | %bc = bitcast i32 %in to float |
| 55 | %fsub = fsub float 0.0, %bc |
| 56 | store float %fsub, float addrspace(1)* %out |
Tom Stellard | c54731a | 2013-07-23 23:55:03 +0000 | [diff] [blame] | 57 | ret void |
| 58 | } |
Matt Arsenault | c79dc70 | 2016-11-15 02:25:28 +0000 | [diff] [blame] | 59 | ; FUNC-LABEL: {{^}}fneg_free_f32: |
| 60 | ; SI: s_load_dword [[NEG_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0xb |
| 61 | ; VI: s_load_dword [[NEG_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0x2c |
| 62 | |
| 63 | ; GCN: v_bfrev_b32_e32 [[SIGNBIT:v[0-9]+]], 1{{$}} |
| 64 | ; GCN: v_xor_b32_e32 [[RES:v[0-9]+]], [[NEG_VALUE]], [[SIGNBIT]] |
| 65 | ; GCN: buffer_store_dword [[RES]] |
| 66 | |
| 67 | ; R600-NOT: XOR |
| 68 | ; R600: -PV.W |
| 69 | define void @fneg_free_f32(float addrspace(1)* %out, i32 %in) { |
| 70 | %bc = bitcast i32 %in to float |
| 71 | %fsub = fsub float -0.0, %bc |
| 72 | store float %fsub, float addrspace(1)* %out |
| 73 | ret void |
| 74 | } |
Vincent Lejeune | 29c0c21 | 2014-05-10 19:18:39 +0000 | [diff] [blame] | 75 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 76 | ; FUNC-LABEL: {{^}}fneg_fold_f32: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 77 | ; SI: s_load_dword [[NEG_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0xb |
Marek Olsak | fa6607d | 2015-02-11 14:26:46 +0000 | [diff] [blame] | 78 | ; VI: s_load_dword [[NEG_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0x2c |
| 79 | ; GCN-NOT: xor |
| 80 | ; GCN: v_mul_f32_e64 v{{[0-9]+}}, -[[NEG_VALUE]], [[NEG_VALUE]] |
Matt Arsenault | 4de3244 | 2014-08-02 02:26:51 +0000 | [diff] [blame] | 81 | define void @fneg_fold_f32(float addrspace(1)* %out, float %in) { |
| 82 | %fsub = fsub float -0.0, %in |
| 83 | %fmul = fmul float %fsub, %in |
| 84 | store float %fmul, float addrspace(1)* %out |
Vincent Lejeune | 29c0c21 | 2014-05-10 19:18:39 +0000 | [diff] [blame] | 85 | ret void |
| 86 | } |