blob: e602dea8083af29ca8e237889a53341a2f08124d [file] [log] [blame]
Matt Arsenault0c90e952015-11-06 18:17:45 +00001//===----------------------- SIFrameLowering.cpp --------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//==-----------------------------------------------------------------------===//
9
10#include "SIFrameLowering.h"
Matt Arsenault0e3d3892015-11-30 21:15:53 +000011#include "SIInstrInfo.h"
12#include "SIMachineFunctionInfo.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000013#include "SIRegisterInfo.h"
Matt Arsenault43e92fe2016-06-24 06:30:11 +000014#include "AMDGPUSubtarget.h"
15
Matt Arsenault0c90e952015-11-06 18:17:45 +000016#include "llvm/CodeGen/MachineFrameInfo.h"
17#include "llvm/CodeGen/MachineFunction.h"
Matt Arsenault0e3d3892015-11-30 21:15:53 +000018#include "llvm/CodeGen/MachineInstrBuilder.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000019#include "llvm/CodeGen/RegisterScavenging.h"
20
21using namespace llvm;
22
Matt Arsenault0e3d3892015-11-30 21:15:53 +000023
24static bool hasOnlySGPRSpills(const SIMachineFunctionInfo *FuncInfo,
Matthias Braun941a7052016-07-28 18:40:00 +000025 const MachineFrameInfo &MFI) {
Matt Arsenault296b8492016-02-12 06:31:30 +000026 return FuncInfo->hasSpilledSGPRs() &&
27 (!FuncInfo->hasSpilledVGPRs() && !FuncInfo->hasNonSpillStackObjects());
Matt Arsenault0e3d3892015-11-30 21:15:53 +000028}
29
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000030static ArrayRef<MCPhysReg> getAllSGPR128() {
Matt Arsenaultab3429c2016-05-18 15:19:50 +000031 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(),
32 AMDGPU::SGPR_128RegClass.getNumRegs());
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000033}
34
35static ArrayRef<MCPhysReg> getAllSGPRs() {
36 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(),
37 AMDGPU::SGPR_32RegClass.getNumRegs());
38}
39
Matt Arsenault57bc4322016-08-31 21:52:21 +000040void SIFrameLowering::emitFlatScratchInit(const SIInstrInfo *TII,
41 const SIRegisterInfo* TRI,
42 MachineFunction &MF,
43 MachineBasicBlock &MBB) const {
44 // We don't need this if we only have spills since there is no user facing
45 // scratch.
46
47 // TODO: If we know we don't have flat instructions earlier, we can omit
48 // this from the input registers.
49 //
50 // TODO: We only need to know if we access scratch space through a flat
51 // pointer. Because we only detect if flat instructions are used at all,
52 // this will be used more often than necessary on VI.
53
54 // Debug location must be unknown since the first debug location is used to
55 // determine the end of the prologue.
56 DebugLoc DL;
57 MachineBasicBlock::iterator I = MBB.begin();
58
59 unsigned FlatScratchInitReg
60 = TRI->getPreloadedValue(MF, SIRegisterInfo::FLAT_SCRATCH_INIT);
61
62 MachineRegisterInfo &MRI = MF.getRegInfo();
63 MRI.addLiveIn(FlatScratchInitReg);
64 MBB.addLiveIn(FlatScratchInitReg);
65
66 // Copy the size in bytes.
67 unsigned FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1);
Matt Arsenault1d215172016-08-31 21:52:25 +000068 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), AMDGPU::FLAT_SCR_LO)
Matt Arsenault57bc4322016-08-31 21:52:21 +000069 .addReg(FlatScrInitHi, RegState::Kill);
70
71 unsigned FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0);
72
73 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
74 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
75
76
77 // Add wave offset in bytes to private base offset.
78 // See comment in AMDKernelCodeT.h for enable_sgpr_flat_scratch_init.
79 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo)
80 .addReg(FlatScrInitLo)
81 .addReg(ScratchWaveOffsetReg);
82
83 // Convert offset to 256-byte units.
84 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_LSHR_B32), AMDGPU::FLAT_SCR_HI)
85 .addReg(FlatScrInitLo, RegState::Kill)
86 .addImm(8);
87}
88
89unsigned SIFrameLowering::getReservedPrivateSegmentBufferReg(
90 const SISubtarget &ST,
91 const SIInstrInfo *TII,
92 const SIRegisterInfo *TRI,
93 SIMachineFunctionInfo *MFI,
94 MachineFunction &MF) const {
95
96 // We need to insert initialization of the scratch resource descriptor.
97 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
98 assert(ScratchRsrcReg != AMDGPU::NoRegister);
99
100 if (ST.hasSGPRInitBug() ||
101 ScratchRsrcReg != TRI->reservedPrivateSegmentBufferReg(MF))
102 return ScratchRsrcReg;
103
104 // We reserved the last registers for this. Shift it down to the end of those
105 // which were actually used.
106 //
107 // FIXME: It might be safer to use a pseudoregister before replacement.
108
109 // FIXME: We should be able to eliminate unused input registers. We only
110 // cannot do this for the resources required for scratch access. For now we
111 // skip over user SGPRs and may leave unused holes.
112
113 // We find the resource first because it has an alignment requirement.
114
115 MachineRegisterInfo &MRI = MF.getRegInfo();
116
117 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs() / 4;
118 // Skip the last 2 elements because the last one is reserved for VCC, and
119 // this is the 2nd to last element already.
120 for (MCPhysReg Reg : getAllSGPR128().drop_back(2).slice(NumPreloaded)) {
121 // Pick the first unallocated one. Make sure we don't clobber the other
122 // reserved input we needed.
123 if (!MRI.isPhysRegUsed(Reg)) {
124 assert(MRI.isAllocatable(Reg));
125 MRI.replaceRegWith(ScratchRsrcReg, Reg);
126 MFI->setScratchRSrcReg(Reg);
127 return Reg;
128 }
129 }
130
131 return ScratchRsrcReg;
132}
133
134unsigned SIFrameLowering::getReservedPrivateSegmentWaveByteOffsetReg(
135 const SISubtarget &ST,
136 const SIInstrInfo *TII,
137 const SIRegisterInfo *TRI,
138 SIMachineFunctionInfo *MFI,
139 MachineFunction &MF) const {
140 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
141 if (ST.hasSGPRInitBug() ||
142 ScratchWaveOffsetReg != TRI->reservedPrivateSegmentWaveByteOffsetReg(MF))
143 return ScratchWaveOffsetReg;
144
145 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
146 MachineRegisterInfo &MRI = MF.getRegInfo();
147 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs();
148
149 // We need to drop register from the end of the list that we cannot use
150 // for the scratch wave offset.
151 // + 2 s102 and s103 do not exist on VI.
152 // + 2 for vcc
153 // + 2 for xnack_mask
154 // + 2 for flat_scratch
155 // + 4 for registers reserved for scratch resource register
156 // + 1 for register reserved for scratch wave offset. (By exluding this
157 // register from the list to consider, it means that when this
158 // register is being used for the scratch wave offset and there
159 // are no other free SGPRs, then the value will stay in this register.
160 // ----
161 // 13
162 for (MCPhysReg Reg : getAllSGPRs().drop_back(13).slice(NumPreloaded)) {
163 // Pick the first unallocated SGPR. Be careful not to pick an alias of the
164 // scratch descriptor, since we haven’t added its uses yet.
165 if (!MRI.isPhysRegUsed(Reg)) {
166 if (!MRI.isAllocatable(Reg) ||
167 TRI->isSubRegisterEq(ScratchRsrcReg, Reg))
168 continue;
169
170 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg);
171 MFI->setScratchWaveOffsetReg(Reg);
172 return Reg;
173 }
174 }
175
176 return ScratchWaveOffsetReg;
177}
178
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000179void SIFrameLowering::emitPrologue(MachineFunction &MF,
180 MachineBasicBlock &MBB) const {
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000181 // Emit debugger prologue if "amdgpu-debugger-emit-prologue" attribute was
182 // specified.
183 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
184 if (ST.debuggerEmitPrologue())
185 emitDebuggerPrologue(MF, MBB);
186
Matthias Braun941a7052016-07-28 18:40:00 +0000187 if (!MF.getFrameInfo().hasStackObjects())
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000188 return;
189
190 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
191
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000192 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000193
194 // If we only have SGPR spills, we won't actually be using scratch memory
195 // since these spill to VGPRs.
196 //
197 // FIXME: We should be cleaning up these unused SGPR spill frame indices
198 // somewhere.
199 if (hasOnlySGPRSpills(MFI, MF.getFrameInfo()))
200 return;
201
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000202 const SIInstrInfo *TII = ST.getInstrInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000203 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
Matt Arsenault296b8492016-02-12 06:31:30 +0000204 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000205
206 unsigned ScratchRsrcReg
207 = getReservedPrivateSegmentBufferReg(ST, TII, TRI, MFI, MF);
208 unsigned ScratchWaveOffsetReg
209 = getReservedPrivateSegmentWaveByteOffsetReg(ST, TII, TRI, MFI, MF);
210 assert(ScratchRsrcReg != AMDGPU::NoRegister);
211 assert(ScratchWaveOffsetReg != AMDGPU::NoRegister);
212 assert(!TRI->isSubRegister(ScratchRsrcReg, ScratchWaveOffsetReg));
213
214 if (MFI->hasFlatScratchInit())
215 emitFlatScratchInit(TII, TRI, MF, MBB);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000216
217 // We need to insert initialization of the scratch resource descriptor.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000218 unsigned PreloadedScratchWaveOffsetReg = TRI->getPreloadedValue(
219 MF, SIRegisterInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET);
220
221 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister;
222 if (ST.isAmdHsaOS()) {
223 PreloadedPrivateBufferReg = TRI->getPreloadedValue(
224 MF, SIRegisterInfo::PRIVATE_SEGMENT_BUFFER);
225 }
226
227 // If we reserved the original input registers, we don't need to copy to the
228 // reserved registers.
229 if (ScratchRsrcReg == PreloadedPrivateBufferReg) {
230 // We should always reserve these 5 registers at the same time.
231 assert(ScratchWaveOffsetReg == PreloadedScratchWaveOffsetReg &&
232 "scratch wave offset and private segment buffer inconsistent");
233 return;
234 }
235
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000236 // We added live-ins during argument lowering, but since they were not used
237 // they were deleted. We're adding the uses now, so add them back.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000238 MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
239 MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
240
241 if (ST.isAmdHsaOS()) {
242 MRI.addLiveIn(PreloadedPrivateBufferReg);
243 MBB.addLiveIn(PreloadedPrivateBufferReg);
244 }
245
Matt Arsenault57bc4322016-08-31 21:52:21 +0000246 // Make the register selected live throughout the function.
247 for (MachineBasicBlock &OtherBB : MF) {
248 if (&OtherBB == &MBB)
249 continue;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000250
Matt Arsenault57bc4322016-08-31 21:52:21 +0000251 OtherBB.addLiveIn(ScratchRsrcReg);
252 OtherBB.addLiveIn(ScratchWaveOffsetReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000253 }
254
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000255 DebugLoc DL;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000256 MachineBasicBlock::iterator I = MBB.begin();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000257
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000258 if (PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000259 // Make sure we emit the copy for the offset first. We may have chosen to
260 // copy the buffer resource into a register that aliases the input offset
261 // register.
Matt Arsenault1d215172016-08-31 21:52:25 +0000262 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchWaveOffsetReg)
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000263 .addReg(PreloadedScratchWaveOffsetReg, RegState::Kill);
264 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000265
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000266 if (ST.isAmdHsaOS()) {
267 // Insert copies from argument register.
268 assert(
269 !TRI->isSubRegisterEq(PreloadedPrivateBufferReg, ScratchRsrcReg) &&
270 !TRI->isSubRegisterEq(PreloadedPrivateBufferReg, ScratchWaveOffsetReg));
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000271
Matt Arsenault1d215172016-08-31 21:52:25 +0000272 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
273 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000274 } else {
Matt Arsenault1d215172016-08-31 21:52:25 +0000275 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
276
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000277 unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
278 unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
279 unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
280 unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
281
282 // Use relocations to get the pointer, and setup the other bits manually.
283 uint64_t Rsrc23 = TII->getScratchRsrcWords23();
284 BuildMI(MBB, I, DL, SMovB32, Rsrc0)
285 .addExternalSymbol("SCRATCH_RSRC_DWORD0")
286 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
287
288 BuildMI(MBB, I, DL, SMovB32, Rsrc1)
289 .addExternalSymbol("SCRATCH_RSRC_DWORD1")
290 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
291
292 BuildMI(MBB, I, DL, SMovB32, Rsrc2)
293 .addImm(Rsrc23 & 0xffffffff)
294 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
295
296 BuildMI(MBB, I, DL, SMovB32, Rsrc3)
297 .addImm(Rsrc23 >> 32)
298 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
299 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000300}
301
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000302void SIFrameLowering::emitEpilogue(MachineFunction &MF,
303 MachineBasicBlock &MBB) const {
304
305}
306
Matt Arsenault0c90e952015-11-06 18:17:45 +0000307void SIFrameLowering::processFunctionBeforeFrameFinalized(
308 MachineFunction &MF,
309 RegScavenger *RS) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000310 MachineFrameInfo &MFI = MF.getFrameInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000311
Matthias Braun941a7052016-07-28 18:40:00 +0000312 if (!MFI.hasStackObjects())
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000313 return;
314
Matthias Braun941a7052016-07-28 18:40:00 +0000315 bool MayNeedScavengingEmergencySlot = MFI.hasStackObjects();
Matt Arsenault0c90e952015-11-06 18:17:45 +0000316
317 assert((RS || !MayNeedScavengingEmergencySlot) &&
318 "RegScavenger required if spilling");
319
320 if (MayNeedScavengingEmergencySlot) {
Matt Arsenaultb920e992016-08-10 19:11:36 +0000321 int ScavengeFI = MFI.CreateStackObject(
Matt Arsenault0c90e952015-11-06 18:17:45 +0000322 AMDGPU::SGPR_32RegClass.getSize(),
Matt Arsenaultb920e992016-08-10 19:11:36 +0000323 AMDGPU::SGPR_32RegClass.getAlignment(), false);
Matt Arsenault0c90e952015-11-06 18:17:45 +0000324 RS->addScavengingFrameIndex(ScavengeFI);
325 }
326}
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000327
328void SIFrameLowering::emitDebuggerPrologue(MachineFunction &MF,
329 MachineBasicBlock &MBB) const {
330 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
331 const SIInstrInfo *TII = ST.getInstrInfo();
332 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
333 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
334
335 MachineBasicBlock::iterator I = MBB.begin();
336 DebugLoc DL;
337
338 // For each dimension:
339 for (unsigned i = 0; i < 3; ++i) {
340 // Get work group ID SGPR, and make it live-in again.
341 unsigned WorkGroupIDSGPR = MFI->getWorkGroupIDSGPR(i);
342 MF.getRegInfo().addLiveIn(WorkGroupIDSGPR);
343 MBB.addLiveIn(WorkGroupIDSGPR);
344
345 // Since SGPRs are spilled into VGPRs, copy work group ID SGPR to VGPR in
346 // order to spill it to scratch.
347 unsigned WorkGroupIDVGPR =
348 MF.getRegInfo().createVirtualRegister(&AMDGPU::VGPR_32RegClass);
349 BuildMI(MBB, I, DL, TII->get(AMDGPU::V_MOV_B32_e32), WorkGroupIDVGPR)
350 .addReg(WorkGroupIDSGPR);
351
352 // Spill work group ID.
353 int WorkGroupIDObjectIdx = MFI->getDebuggerWorkGroupIDStackObjectIndex(i);
354 TII->storeRegToStackSlot(MBB, I, WorkGroupIDVGPR, false,
355 WorkGroupIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
356
357 // Get work item ID VGPR, and make it live-in again.
358 unsigned WorkItemIDVGPR = MFI->getWorkItemIDVGPR(i);
359 MF.getRegInfo().addLiveIn(WorkItemIDVGPR);
360 MBB.addLiveIn(WorkItemIDVGPR);
361
362 // Spill work item ID.
363 int WorkItemIDObjectIdx = MFI->getDebuggerWorkItemIDStackObjectIndex(i);
364 TII->storeRegToStackSlot(MBB, I, WorkItemIDVGPR, false,
365 WorkItemIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
366 }
367}