Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=r600 -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s |
| 2 | ; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=R600 -check-prefix=FUNC %s |
| 3 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 4 | |
Tom Stellard | c54731a | 2013-07-23 23:55:03 +0000 | [diff] [blame] | 5 | ; DAGCombiner will transform: |
| 6 | ; (fabs (f32 bitcast (i32 a))) => (f32 bitcast (and (i32 a), 0x7FFFFFFF)) |
| 7 | ; unless isFabsFree returns true |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 8 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 9 | ; FUNC-LABEL: {{^}}fabs_fn_free: |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 10 | ; R600-NOT: AND |
| 11 | ; R600: |PV.{{[XYZW]}}| |
| 12 | |
| 13 | ; SI: V_AND_B32 |
| 14 | |
| 15 | define void @fabs_fn_free(float addrspace(1)* %out, i32 %in) { |
| 16 | %bc= bitcast i32 %in to float |
| 17 | %fabs = call float @fabs(float %bc) |
| 18 | store float %fabs, float addrspace(1)* %out |
| 19 | ret void |
| 20 | } |
| 21 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 22 | ; FUNC-LABEL: {{^}}fabs_free: |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 23 | ; R600-NOT: AND |
| 24 | ; R600: |PV.{{[XYZW]}}| |
| 25 | |
| 26 | ; SI: V_AND_B32 |
Tom Stellard | c54731a | 2013-07-23 23:55:03 +0000 | [diff] [blame] | 27 | |
| 28 | define void @fabs_free(float addrspace(1)* %out, i32 %in) { |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 29 | %bc= bitcast i32 %in to float |
| 30 | %fabs = call float @llvm.fabs.f32(float %bc) |
| 31 | store float %fabs, float addrspace(1)* %out |
Tom Stellard | c54731a | 2013-07-23 23:55:03 +0000 | [diff] [blame] | 32 | ret void |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 33 | } |
| 34 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 35 | ; FUNC-LABEL: {{^}}fabs_f32: |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 36 | ; R600: |{{(PV|T[0-9])\.[XYZW]}}| |
| 37 | |
| 38 | ; SI: V_AND_B32 |
| 39 | define void @fabs_f32(float addrspace(1)* %out, float %in) { |
| 40 | %fabs = call float @llvm.fabs.f32(float %in) |
| 41 | store float %fabs, float addrspace(1)* %out |
Tom Stellard | 175e7a8 | 2013-11-27 21:23:39 +0000 | [diff] [blame] | 42 | ret void |
| 43 | } |
| 44 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 45 | ; FUNC-LABEL: {{^}}fabs_v2f32: |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 46 | ; R600: |{{(PV|T[0-9])\.[XYZW]}}| |
| 47 | ; R600: |{{(PV|T[0-9])\.[XYZW]}}| |
| 48 | |
| 49 | ; SI: V_AND_B32 |
| 50 | ; SI: V_AND_B32 |
| 51 | define void @fabs_v2f32(<2 x float> addrspace(1)* %out, <2 x float> %in) { |
| 52 | %fabs = call <2 x float> @llvm.fabs.v2f32(<2 x float> %in) |
| 53 | store <2 x float> %fabs, <2 x float> addrspace(1)* %out |
Tom Stellard | 175e7a8 | 2013-11-27 21:23:39 +0000 | [diff] [blame] | 54 | ret void |
| 55 | } |
| 56 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 57 | ; FUNC-LABEL: {{^}}fabs_v4f32: |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 58 | ; R600: |{{(PV|T[0-9])\.[XYZW]}}| |
| 59 | ; R600: |{{(PV|T[0-9])\.[XYZW]}}| |
| 60 | ; R600: |{{(PV|T[0-9])\.[XYZW]}}| |
| 61 | ; R600: |{{(PV|T[0-9])\.[XYZW]}}| |
| 62 | |
| 63 | ; SI: V_AND_B32 |
| 64 | ; SI: V_AND_B32 |
| 65 | ; SI: V_AND_B32 |
| 66 | ; SI: V_AND_B32 |
| 67 | define void @fabs_v4f32(<4 x float> addrspace(1)* %out, <4 x float> %in) { |
| 68 | %fabs = call <4 x float> @llvm.fabs.v4f32(<4 x float> %in) |
| 69 | store <4 x float> %fabs, <4 x float> addrspace(1)* %out |
| 70 | ret void |
| 71 | } |
| 72 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 73 | ; SI-LABEL: {{^}}fabs_fn_fold: |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 74 | ; SI: S_LOAD_DWORD [[ABS_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0xb |
Matt Arsenault | fabf545 | 2014-08-15 18:42:22 +0000 | [diff] [blame] | 75 | ; SI-NOT: AND |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 76 | ; SI: V_MUL_F32_e64 v{{[0-9]+}}, |[[ABS_VALUE]]|, v{{[0-9]+}} |
| 77 | define void @fabs_fn_fold(float addrspace(1)* %out, float %in0, float %in1) { |
| 78 | %fabs = call float @fabs(float %in0) |
| 79 | %fmul = fmul float %fabs, %in1 |
| 80 | store float %fmul, float addrspace(1)* %out |
| 81 | ret void |
| 82 | } |
| 83 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 84 | ; SI-LABEL: {{^}}fabs_fold: |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 85 | ; SI: S_LOAD_DWORD [[ABS_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0xb |
Matt Arsenault | fabf545 | 2014-08-15 18:42:22 +0000 | [diff] [blame] | 86 | ; SI-NOT: AND |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 87 | ; SI: V_MUL_F32_e64 v{{[0-9]+}}, |[[ABS_VALUE]]|, v{{[0-9]+}} |
Vincent Lejeune | 29c0c21 | 2014-05-10 19:18:39 +0000 | [diff] [blame] | 88 | define void @fabs_fold(float addrspace(1)* %out, float %in0, float %in1) { |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 89 | %fabs = call float @llvm.fabs.f32(float %in0) |
| 90 | %fmul = fmul float %fabs, %in1 |
| 91 | store float %fmul, float addrspace(1)* %out |
Vincent Lejeune | 29c0c21 | 2014-05-10 19:18:39 +0000 | [diff] [blame] | 92 | ret void |
| 93 | } |
| 94 | |
Matt Arsenault | 06bd393 | 2014-08-01 17:00:29 +0000 | [diff] [blame] | 95 | declare float @fabs(float) readnone |
| 96 | declare float @llvm.fabs.f32(float) readnone |
| 97 | declare <2 x float> @llvm.fabs.v2f32(<2 x float>) readnone |
| 98 | declare <4 x float> @llvm.fabs.v4f32(<4 x float>) readnone |