[DAGCombiner] Eliminate dead stores to stack.
[llvm-complete.git] / test / CodeGen / AMDGPU / madak.ll
blobdf1ef1cba71c8e5c21d33ae1aba4a4c7b5289f66
1 ; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefixes=GCN,GFX6 %s
2 ; RUN: llc -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck -check-prefixes=GCN,GFX8,GFX8_9 %s
3 ; RUN: llc -march=amdgcn -mcpu=gfx900 -verify-machineinstrs -amdgpu-enable-global-sgpr-addr < %s | FileCheck -check-prefixes=GCN,GFX9,GFX8_9 %s
5 declare i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
6 declare float @llvm.fabs.f32(float) nounwind readnone
8 ; GCN-LABEL: {{^}}madak_f32:
9 ; GFX6:   buffer_load_dword [[VA:v[0-9]+]]
10 ; GFX6:   buffer_load_dword [[VB:v[0-9]+]]
11 ; GFX8: {{flat|global}}_load_dword [[VB:v[0-9]+]]
12 ; GFX8: {{flat|global}}_load_dword [[VA:v[0-9]+]]
13 ; GFX9: {{flat|global}}_load_dword [[VA:v[0-9]+]]
14 ; GFX9: {{flat|global}}_load_dword [[VB:v[0-9]+]]
15 ; GCN:    v_madak_f32 {{v[0-9]+}}, [[VA]], [[VB]], 0x41200000
16 define amdgpu_kernel void @madak_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in.a, float addrspace(1)* noalias %in.b) nounwind {
17   %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
18   %in.a.gep = getelementptr float, float addrspace(1)* %in.a, i32 %tid
19   %in.b.gep = getelementptr float, float addrspace(1)* %in.b, i32 %tid
20   %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
22   %a = load float, float addrspace(1)* %in.a.gep, align 4
23   %b = load float, float addrspace(1)* %in.b.gep, align 4
25   %mul = fmul float %a, %b
26   %madak = fadd float %mul, 10.0
27   store float %madak, float addrspace(1)* %out.gep, align 4
28   ret void
31 ; Make sure this is only folded with one use. This is a code size
32 ; optimization and if we fold the immediate multiple times, we'll undo
33 ; it.
35 ; GCN-LABEL: {{^}}madak_2_use_f32:
36 ; GFX8_9:   v_mov_b32_e32 [[VK:v[0-9]+]], 0x41200000
37 ; GFX6-DAG: buffer_load_dword [[VA:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
38 ; GFX6-DAG: buffer_load_dword [[VB:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4
39 ; GFX6-DAG: buffer_load_dword [[VC:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8
40 ; GFX8_9:   {{flat|global}}_load_dword [[VA:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}
41 ; GFX8_9:   {{flat|global}}_load_dword [[VB:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}
42 ; GFX8_9:   {{flat|global}}_load_dword [[VC:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}
43 ; GFX6-DAG: v_mov_b32_e32 [[VK:v[0-9]+]], 0x41200000
44 ; GCN-DAG:  v_madak_f32 {{v[0-9]+}}, [[VA]], [[VB]], 0x41200000
45 ; GCN-DAG:  v_mac_f32_e32 [[VK]], [[VA]], [[VC]]
46 ; GCN: s_endpgm
47 define amdgpu_kernel void @madak_2_use_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in) nounwind {
48   %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
50   %in.gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
51   %in.gep.1 = getelementptr float, float addrspace(1)* %in.gep.0, i32 1
52   %in.gep.2 = getelementptr float, float addrspace(1)* %in.gep.0, i32 2
54   %out.gep.0 = getelementptr float, float addrspace(1)* %out, i32 %tid
55   %out.gep.1 = getelementptr float, float addrspace(1)* %in.gep.0, i32 1
57   %a = load volatile float, float addrspace(1)* %in.gep.0, align 4
58   %b = load volatile float, float addrspace(1)* %in.gep.1, align 4
59   %c = load volatile float, float addrspace(1)* %in.gep.2, align 4
61   %mul0 = fmul float %a, %b
62   %mul1 = fmul float %a, %c
63   %madak0 = fadd float %mul0, 10.0
64   %madak1 = fadd float %mul1, 10.0
66   store volatile float %madak0, float addrspace(1)* %out.gep.0, align 4
67   store volatile float %madak1, float addrspace(1)* %out.gep.1, align 4
68   ret void
71 ; GCN-LABEL: {{^}}madak_m_inline_imm_f32:
72 ; GCN: {{buffer|flat|global}}_load_dword [[VA:v[0-9]+]]
73 ; GCN: v_madak_f32 {{v[0-9]+}}, 4.0, [[VA]], 0x41200000
74 define amdgpu_kernel void @madak_m_inline_imm_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in.a) nounwind {
75   %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
76   %in.a.gep = getelementptr float, float addrspace(1)* %in.a, i32 %tid
77   %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
79   %a = load float, float addrspace(1)* %in.a.gep, align 4
81   %mul = fmul float 4.0, %a
82   %madak = fadd float %mul, 10.0
83   store float %madak, float addrspace(1)* %out.gep, align 4
84   ret void
87 ; Make sure nothing weird happens with a value that is also allowed as
88 ; an inline immediate.
90 ; GCN-LABEL: {{^}}madak_inline_imm_f32:
91 ; GFX6:   buffer_load_dword [[VA:v[0-9]+]]
92 ; GFX6:   buffer_load_dword [[VB:v[0-9]+]]
93 ; GFX8: {{flat|global}}_load_dword [[VB:v[0-9]+]]
94 ; GFX8: {{flat|global}}_load_dword [[VA:v[0-9]+]]
95 ; GFX9: {{flat|global}}_load_dword [[VA:v[0-9]+]]
96 ; GFX9: {{flat|global}}_load_dword [[VB:v[0-9]+]]
97 ; GCN:    v_mad_f32 {{v[0-9]+}}, [[VA]], [[VB]], 4.0
98 define amdgpu_kernel void @madak_inline_imm_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in.a, float addrspace(1)* noalias %in.b) nounwind {
99   %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
100   %in.a.gep = getelementptr float, float addrspace(1)* %in.a, i32 %tid
101   %in.b.gep = getelementptr float, float addrspace(1)* %in.b, i32 %tid
102   %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
104   %a = load float, float addrspace(1)* %in.a.gep, align 4
105   %b = load float, float addrspace(1)* %in.b.gep, align 4
107   %mul = fmul float %a, %b
108   %madak = fadd float %mul, 4.0
109   store float %madak, float addrspace(1)* %out.gep, align 4
110   ret void
113 ; We can't use an SGPR when forming madak
114 ; GCN-LABEL: {{^}}s_v_madak_f32:
115 ; GCN-DAG: s_load_dword [[SB:s[0-9]+]]
116 ; GCN-DAG: v_mov_b32_e32 [[VK:v[0-9]+]], 0x41200000
117 ; GCN-DAG: {{buffer|flat|global}}_load_dword [[VA:v[0-9]+]]
118 ; GCN-NOT: v_madak_f32
119 ; GCN: v_mac_f32_e32 [[VK]], [[SB]], [[VA]]
120 define amdgpu_kernel void @s_v_madak_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in.a, float %b) nounwind {
121   %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
122   %in.a.gep = getelementptr float, float addrspace(1)* %in.a, i32 %tid
123   %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
125   %a = load float, float addrspace(1)* %in.a.gep, align 4
127   %mul = fmul float %a, %b
128   %madak = fadd float %mul, 10.0
129   store float %madak, float addrspace(1)* %out.gep, align 4
130   ret void
133 ; GCN-LABEL: @v_s_madak_f32
134 ; GCN-DAG: s_load_dword [[SB:s[0-9]+]]
135 ; GCN-DAG: v_mov_b32_e32 [[VK:v[0-9]+]], 0x41200000
136 ; GCN-DAG: {{buffer|flat|global}}_load_dword [[VA:v[0-9]+]]
137 ; GCN-NOT: v_madak_f32
138 ; GCN: v_mac_f32_e32 [[VK]], [[SB]], [[VA]]
139 define amdgpu_kernel void @v_s_madak_f32(float addrspace(1)* noalias %out, float %a, float addrspace(1)* noalias %in.b) nounwind {
140   %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
141   %in.b.gep = getelementptr float, float addrspace(1)* %in.b, i32 %tid
142   %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
144   %b = load float, float addrspace(1)* %in.b.gep, align 4
146   %mul = fmul float %a, %b
147   %madak = fadd float %mul, 10.0
148   store float %madak, float addrspace(1)* %out.gep, align 4
149   ret void
152 ; GCN-LABEL: {{^}}s_s_madak_f32:
153 ; GCN-NOT: v_madak_f32
154 ; GCN: v_mac_f32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}}
155 define amdgpu_kernel void @s_s_madak_f32(float addrspace(1)* %out, float %a, float %b) nounwind {
156   %mul = fmul float %a, %b
157   %madak = fadd float %mul, 10.0
158   store float %madak, float addrspace(1)* %out, align 4
159   ret void
162 ; GCN-LABEL: {{^}}no_madak_src0_modifier_f32:
163 ; GFX6:   buffer_load_dword [[VA:v[0-9]+]]
164 ; GFX6:   buffer_load_dword [[VB:v[0-9]+]]
165 ; GFX8_9: {{flat|global}}_load_dword [[VB:v[0-9]+]]
166 ; GFX8_9: {{flat|global}}_load_dword [[VA:v[0-9]+]]
167 ; GCN:    v_mad_f32 {{v[0-9]+}}, |{{v[0-9]+}}|, {{v[0-9]+}}, {{[sv][0-9]+}}
168 ; GCN:    s_endpgm
169 define amdgpu_kernel void @no_madak_src0_modifier_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in.a, float addrspace(1)* noalias %in.b) nounwind {
170   %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
171   %in.a.gep = getelementptr float, float addrspace(1)* %in.a, i32 %tid
172   %in.b.gep = getelementptr float, float addrspace(1)* %in.b, i32 %tid
173   %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
175   %a = load float, float addrspace(1)* %in.a.gep, align 4
176   %b = load float, float addrspace(1)* %in.b.gep, align 4
178   %a.fabs = call float @llvm.fabs.f32(float %a) nounwind readnone
180   %mul = fmul float %a.fabs, %b
181   %madak = fadd float %mul, 10.0
182   store float %madak, float addrspace(1)* %out.gep, align 4
183   ret void
186 ; GCN-LABEL: {{^}}no_madak_src1_modifier_f32:
187 ; GFX6:   buffer_load_dword [[VA:v[0-9]+]]
188 ; GFX6:   buffer_load_dword [[VB:v[0-9]+]]
189 ; GFX8_9: {{flat|global}}_load_dword [[VB:v[0-9]+]]
190 ; GFX8_9: {{flat|global}}_load_dword [[VA:v[0-9]+]]
191 ; GCN:    v_mad_f32 {{v[0-9]+}}, {{v[0-9]+}}, |{{v[0-9]+}}|, {{[sv][0-9]+}}
192 ; GCN:    s_endpgm
193 define amdgpu_kernel void @no_madak_src1_modifier_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in.a, float addrspace(1)* noalias %in.b) nounwind {
194   %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
195   %in.a.gep = getelementptr float, float addrspace(1)* %in.a, i32 %tid
196   %in.b.gep = getelementptr float, float addrspace(1)* %in.b, i32 %tid
197   %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
199   %a = load float, float addrspace(1)* %in.a.gep, align 4
200   %b = load float, float addrspace(1)* %in.b.gep, align 4
202   %b.fabs = call float @llvm.fabs.f32(float %b) nounwind readnone
204   %mul = fmul float %a, %b.fabs
205   %madak = fadd float %mul, 10.0
206   store float %madak, float addrspace(1)* %out.gep, align 4
207   ret void
210 ; SIFoldOperands should not fold the SGPR copy into the instruction
211 ; because the implicit immediate already uses the constant bus.
212 ; GCN-LABEL: {{^}}madak_constant_bus_violation:
213 ; GCN:    s_load_dword [[SGPR0:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, {{0x12|0x48}}
214 ; GCN:    v_mov_b32_e32 [[SGPR0_VCOPY:v[0-9]+]], [[SGPR0]]
215 ; GCN:    {{buffer|flat|global}}_load_dword [[VGPR:v[0-9]+]]
216 ; GCN:    v_madak_f32 [[MADAK:v[0-9]+]], 0.5, [[SGPR0_VCOPY]], 0x42280000
217 ; GCN:    v_mul_f32_e32 [[MUL:v[0-9]+]], [[MADAK]], [[VGPR]]
218 ; GFX6:   buffer_store_dword [[MUL]]
219 ; GFX8_9: {{flat|global}}_store_dword v[{{[0-9:]+}}], [[MUL]]
220 define amdgpu_kernel void @madak_constant_bus_violation(i32 %arg1, [8 x i32], float %sgpr0, float %sgpr1) #0 {
222   %tmp = icmp eq i32 %arg1, 0
223   br i1 %tmp, label %bb3, label %bb4
225 bb3:
226   store volatile float 0.0, float addrspace(1)* undef
227   br label %bb4
229 bb4:
230   %vgpr = load volatile float, float addrspace(1)* undef
231   %tmp0 = fmul float %sgpr0, 0.5
232   %tmp1 = fadd float %tmp0, 42.0
233   %tmp2 = fmul float %tmp1, %vgpr
234   store volatile float %tmp2, float addrspace(1)* undef, align 4
235   ret void
238 attributes #0 = { nounwind}