Tom Stellard | 8216602 | 2013-11-13 23:36:37 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=r600 -mcpu=redwood | FileCheck %s --check-prefix=R600-CHECK |
| 2 | ; RUN: llc < %s -march=r600 -mcpu=SI -verify-machineinstrs | FileCheck %s --check-prefix=SI-CHECK |
Tom Stellard | beed74a | 2013-07-23 01:47:46 +0000 | [diff] [blame] | 3 | |
Tom Stellard | 8216602 | 2013-11-13 23:36:37 +0000 | [diff] [blame] | 4 | ; R600-CHECK-LABEL: @fneg |
| 5 | ; R600-CHECK: -PV |
| 6 | ; SI-CHECK-LABEL: @fneg |
| 7 | ; SI-CHECK: V_ADD_F32_e64 v{{[0-9]}}, s{{[0-9]}}, 0, 0, 0, 0, 1 |
| 8 | define void @fneg(float addrspace(1)* %out, float %in) { |
| 9 | entry: |
| 10 | %0 = fsub float -0.000000e+00, %in |
| 11 | store float %0, float addrspace(1)* %out |
| 12 | ret void |
| 13 | } |
| 14 | |
| 15 | ; R600-CHECK-LABEL: @fneg_v2 |
| 16 | ; R600-CHECK: -PV |
| 17 | ; R600-CHECK: -PV |
| 18 | ; SI-CHECK-LABEL: @fneg_v2 |
| 19 | ; SI-CHECK: V_ADD_F32_e64 v{{[0-9]}}, s{{[0-9]}}, 0, 0, 0, 0, 1 |
| 20 | ; SI-CHECK: V_ADD_F32_e64 v{{[0-9]}}, s{{[0-9]}}, 0, 0, 0, 0, 1 |
Tom Stellard | beed74a | 2013-07-23 01:47:46 +0000 | [diff] [blame] | 21 | define void @fneg_v2(<2 x float> addrspace(1)* nocapture %out, <2 x float> %in) { |
| 22 | entry: |
| 23 | %0 = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, %in |
| 24 | store <2 x float> %0, <2 x float> addrspace(1)* %out |
| 25 | ret void |
| 26 | } |
| 27 | |
Tom Stellard | a66cafa | 2013-10-23 00:44:12 +0000 | [diff] [blame] | 28 | ; R600-CHECK-LABEL: @fneg_v4 |
| 29 | ; R600-CHECK: -PV |
| 30 | ; R600-CHECK: -T |
| 31 | ; R600-CHECK: -PV |
| 32 | ; R600-CHECK: -PV |
| 33 | ; SI-CHECK-LABEL: @fneg_v4 |
Matt Arsenault | 72b31ee | 2013-11-12 02:35:51 +0000 | [diff] [blame] | 34 | ; SI-CHECK: V_ADD_F32_e64 v{{[0-9]}}, s{{[0-9]}}, 0, 0, 0, 0, 1 |
| 35 | ; SI-CHECK: V_ADD_F32_e64 v{{[0-9]}}, s{{[0-9]}}, 0, 0, 0, 0, 1 |
| 36 | ; SI-CHECK: V_ADD_F32_e64 v{{[0-9]}}, s{{[0-9]}}, 0, 0, 0, 0, 1 |
| 37 | ; SI-CHECK: V_ADD_F32_e64 v{{[0-9]}}, s{{[0-9]}}, 0, 0, 0, 0, 1 |
Tom Stellard | beed74a | 2013-07-23 01:47:46 +0000 | [diff] [blame] | 38 | define void @fneg_v4(<4 x float> addrspace(1)* nocapture %out, <4 x float> %in) { |
| 39 | entry: |
| 40 | %0 = fsub <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, %in |
| 41 | store <4 x float> %0, <4 x float> addrspace(1)* %out |
| 42 | ret void |
| 43 | } |
Tom Stellard | c54731a | 2013-07-23 23:55:03 +0000 | [diff] [blame] | 44 | |
| 45 | ; DAGCombiner will transform: |
| 46 | ; (fneg (f32 bitcast (i32 a))) => (f32 bitcast (xor (i32 a), 0x80000000)) |
| 47 | ; unless the target returns true for isNegFree() |
| 48 | |
Tom Stellard | 8216602 | 2013-11-13 23:36:37 +0000 | [diff] [blame] | 49 | ; R600-CHECK-LABEL: @fneg_free |
| 50 | ; R600-CHECK-NOT: XOR |
| 51 | ; R600-CHECK: -KC0[2].Z |
| 52 | ; SI-CHECK-LABEL: @fneg_free |
| 53 | ; XXX: We could use V_ADD_F32_e64 with the negate bit here instead. |
| 54 | ; SI-CHECK: V_SUB_F32_e64 v{{[0-9]}}, 0.000000e+00, s{{[0-9]}}, 0, 0, 0, 0 |
Tom Stellard | c54731a | 2013-07-23 23:55:03 +0000 | [diff] [blame] | 55 | define void @fneg_free(float addrspace(1)* %out, i32 %in) { |
| 56 | entry: |
| 57 | %0 = bitcast i32 %in to float |
| 58 | %1 = fsub float 0.0, %0 |
| 59 | store float %1, float addrspace(1)* %out |
| 60 | ret void |
| 61 | } |