Alexander Timofeev | 982aee6 | 2017-07-04 17:32:00 +0000 | [diff] [blame] | 1 | ; RUN: llc -amdgpu-scalarize-global-loads=false -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s |
| 2 | ; RUN: llc -amdgpu-scalarize-global-loads=false -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s |
| 3 | ; RUN: llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=R600 -check-prefix=FUNC %s |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 4 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 5 | ; FUNC-LABEL: {{^}}v_fsub_f32: |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 6 | ; SI: v_sub_f32_e32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 7 | define amdgpu_kernel void @v_fsub_f32(float addrspace(1)* %out, float addrspace(1)* %in) { |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 8 | %b_ptr = getelementptr float, float addrspace(1)* %in, i32 1 |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 9 | %a = load float, float addrspace(1)* %in, align 4 |
| 10 | %b = load float, float addrspace(1)* %b_ptr, align 4 |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 11 | %result = fsub float %a, %b |
| 12 | store float %result, float addrspace(1)* %out, align 4 |
| 13 | ret void |
| 14 | } |
| 15 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 16 | ; FUNC-LABEL: {{^}}s_fsub_f32: |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 17 | ; R600: ADD {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, -KC0[2].W |
| 18 | |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 19 | ; SI: v_sub_f32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}} |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 20 | define amdgpu_kernel void @s_fsub_f32(float addrspace(1)* %out, float %a, float %b) { |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 21 | %sub = fsub float %a, %b |
| 22 | store float %sub, float addrspace(1)* %out, align 4 |
Tom Stellard | a92ff87 | 2013-08-16 23:51:24 +0000 | [diff] [blame] | 23 | ret void |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 24 | } |
| 25 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 26 | ; FUNC-LABEL: {{^}}fsub_v2f32: |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 27 | ; R600-DAG: ADD {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[3].X, -KC0[3].Z |
| 28 | ; R600-DAG: ADD {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].W, -KC0[3].Y |
| 29 | |
Nicolai Haehnle | 82fc962 | 2016-01-07 17:10:29 +0000 | [diff] [blame] | 30 | ; SI: v_subrev_f32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}} |
| 31 | ; SI: v_subrev_f32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}} |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 32 | define amdgpu_kernel void @fsub_v2f32(<2 x float> addrspace(1)* %out, <2 x float> %a, <2 x float> %b) { |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 33 | %sub = fsub <2 x float> %a, %b |
| 34 | store <2 x float> %sub, <2 x float> addrspace(1)* %out, align 8 |
Tom Stellard | 0344cdf | 2013-08-01 15:23:42 +0000 | [diff] [blame] | 35 | ret void |
| 36 | } |
Tom Stellard | 5a6b0d8 | 2013-04-19 02:10:53 +0000 | [diff] [blame] | 37 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 38 | ; FUNC-LABEL: {{^}}v_fsub_v4f32: |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 39 | ; R600: ADD {{\** *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], -T[0-9]+\.[XYZW]}} |
| 40 | ; R600: ADD {{\** *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], -T[0-9]+\.[XYZW]}} |
| 41 | ; R600: ADD {{\** *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], -T[0-9]+\.[XYZW]}} |
| 42 | ; R600: ADD {{\** *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], -T[0-9]+\.[XYZW]}} |
| 43 | |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 44 | ; SI: v_sub_f32_e32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
| 45 | ; SI: v_sub_f32_e32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
| 46 | ; SI: v_sub_f32_e32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
| 47 | ; SI: v_sub_f32_e32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 48 | define amdgpu_kernel void @v_fsub_v4f32(<4 x float> addrspace(1)* %out, <4 x float> addrspace(1)* %in) { |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 49 | %b_ptr = getelementptr <4 x float>, <4 x float> addrspace(1)* %in, i32 1 |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 50 | %a = load <4 x float>, <4 x float> addrspace(1)* %in, align 16 |
| 51 | %b = load <4 x float>, <4 x float> addrspace(1)* %b_ptr, align 16 |
Tom Stellard | 5a6b0d8 | 2013-04-19 02:10:53 +0000 | [diff] [blame] | 52 | %result = fsub <4 x float> %a, %b |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 53 | store <4 x float> %result, <4 x float> addrspace(1)* %out, align 16 |
| 54 | ret void |
| 55 | } |
| 56 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 57 | ; FUNC-LABEL: {{^}}s_fsub_v4f32: |
Nicolai Haehnle | 82fc962 | 2016-01-07 17:10:29 +0000 | [diff] [blame] | 58 | ; SI: v_subrev_f32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}} |
| 59 | ; SI: v_subrev_f32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}} |
| 60 | ; SI: v_subrev_f32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}} |
| 61 | ; SI: v_subrev_f32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}} |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 62 | ; SI: s_endpgm |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 63 | define amdgpu_kernel void @s_fsub_v4f32(<4 x float> addrspace(1)* %out, <4 x float> %a, <4 x float> %b) { |
Matt Arsenault | a6dc6c2 | 2014-08-06 20:27:55 +0000 | [diff] [blame] | 64 | %result = fsub <4 x float> %a, %b |
| 65 | store <4 x float> %result, <4 x float> addrspace(1)* %out, align 16 |
Tom Stellard | 5a6b0d8 | 2013-04-19 02:10:53 +0000 | [diff] [blame] | 66 | ret void |
| 67 | } |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 68 | |
| 69 | ; FUNC-LABEL: {{^}}v_fneg_fsub_f32: |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 70 | ; SI: v_sub_f32_e32 [[SUB:v[0-9]+]], {{v[0-9]+}}, {{v[0-9]+}} |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 71 | ; SI: v_xor_b32_e32 v{{[0-9]+}}, 0x80000000, [[SUB]] |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 72 | define amdgpu_kernel void @v_fneg_fsub_f32(float addrspace(1)* %out, float addrspace(1)* %in) { |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 73 | %b_ptr = getelementptr float, float addrspace(1)* %in, i32 1 |
| 74 | %a = load float, float addrspace(1)* %in, align 4 |
| 75 | %b = load float, float addrspace(1)* %b_ptr, align 4 |
| 76 | %result = fsub float %a, %b |
| 77 | %neg.result = fsub float -0.0, %result |
| 78 | store float %neg.result, float addrspace(1)* %out, align 4 |
| 79 | ret void |
| 80 | } |
| 81 | |
| 82 | ; FUNC-LABEL: {{^}}v_fneg_fsub_nsz_f32: |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 83 | ; SI: v_sub_f32_e32 [[SUB:v[0-9]+]], {{v[0-9]+}}, {{v[0-9]+}} |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 84 | ; SI-NOT: xor |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 85 | define amdgpu_kernel void @v_fneg_fsub_nsz_f32(float addrspace(1)* %out, float addrspace(1)* %in) { |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 86 | %b_ptr = getelementptr float, float addrspace(1)* %in, i32 1 |
| 87 | %a = load float, float addrspace(1)* %in, align 4 |
| 88 | %b = load float, float addrspace(1)* %b_ptr, align 4 |
| 89 | %result = fsub nsz float %a, %b |
| 90 | %neg.result = fsub float -0.0, %result |
| 91 | store float %neg.result, float addrspace(1)* %out, align 4 |
| 92 | ret void |
| 93 | } |
| 94 | |
| 95 | ; FUNC-LABEL: {{^}}v_fneg_fsub_nsz_attribute_f32: |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 96 | ; SI: v_sub_f32_e32 [[SUB:v[0-9]+]], {{v[0-9]+}}, {{v[0-9]+}} |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 97 | ; SI-NOT: xor |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 98 | define amdgpu_kernel void @v_fneg_fsub_nsz_attribute_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 { |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 99 | %b_ptr = getelementptr float, float addrspace(1)* %in, i32 1 |
| 100 | %a = load float, float addrspace(1)* %in, align 4 |
| 101 | %b = load float, float addrspace(1)* %b_ptr, align 4 |
| 102 | %result = fsub float %a, %b |
| 103 | %neg.result = fsub float -0.0, %result |
| 104 | store float %neg.result, float addrspace(1)* %out, align 4 |
| 105 | ret void |
| 106 | } |
| 107 | |
| 108 | ; For some reason the attribute has a string "true" or "false", so |
| 109 | ; make sure it is disabled and the fneg is not folded if it is not |
| 110 | ; "true". |
| 111 | ; FUNC-LABEL: {{^}}v_fneg_fsub_nsz_false_attribute_f32: |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 112 | ; SI: v_sub_f32_e32 [[SUB:v[0-9]+]], {{v[0-9]+}}, {{v[0-9]+}} |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 113 | ; SI: v_xor_b32_e32 v{{[0-9]+}}, 0x80000000, [[SUB]] |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 114 | define amdgpu_kernel void @v_fneg_fsub_nsz_false_attribute_f32(float addrspace(1)* %out, float addrspace(1)* %in) #1 { |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 115 | %b_ptr = getelementptr float, float addrspace(1)* %in, i32 1 |
| 116 | %a = load float, float addrspace(1)* %in, align 4 |
| 117 | %b = load float, float addrspace(1)* %b_ptr, align 4 |
| 118 | %result = fsub float %a, %b |
| 119 | %neg.result = fsub float -0.0, %result |
| 120 | store float %neg.result, float addrspace(1)* %out, align 4 |
| 121 | ret void |
| 122 | } |
| 123 | |
Matt Arsenault | 9a3fd87 | 2017-03-09 01:36:39 +0000 | [diff] [blame] | 124 | ; FUNC-LABEL: {{^}}v_fsub_0_nsz_attribute_f32: |
| 125 | ; SI-NOT: v_sub |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 126 | define amdgpu_kernel void @v_fsub_0_nsz_attribute_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 { |
Matt Arsenault | 9a3fd87 | 2017-03-09 01:36:39 +0000 | [diff] [blame] | 127 | %a = load float, float addrspace(1)* %in, align 4 |
| 128 | %result = fsub float %a, 0.0 |
| 129 | store float %result, float addrspace(1)* %out, align 4 |
| 130 | ret void |
| 131 | } |
| 132 | |
Matt Arsenault | 732a531 | 2017-01-25 06:08:42 +0000 | [diff] [blame] | 133 | attributes #0 = { nounwind "no-signed-zeros-fp-math"="true" } |
| 134 | attributes #1 = { nounwind "no-signed-zeros-fp-math"="false" } |