blob: 536884704006ea5448e3582efb3de3c9c54f63e4 [file] [log] [blame]
Matt Arsenault0c90e952015-11-06 18:17:45 +00001//===----------------------- SIFrameLowering.cpp --------------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Matt Arsenault0c90e952015-11-06 18:17:45 +00006//
7//==-----------------------------------------------------------------------===//
8
9#include "SIFrameLowering.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000010#include "AMDGPUSubtarget.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"
Tom Stellard44b30b42018-05-22 02:03:23 +000014#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Matt Arsenault43e92fe2016-06-24 06:30:11 +000015
Matt Arsenault03ae3992018-03-29 21:30:06 +000016#include "llvm/CodeGen/LivePhysRegs.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000017#include "llvm/CodeGen/MachineFrameInfo.h"
18#include "llvm/CodeGen/MachineFunction.h"
Matt Arsenault0e3d3892015-11-30 21:15:53 +000019#include "llvm/CodeGen/MachineInstrBuilder.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000020#include "llvm/CodeGen/RegisterScavenging.h"
21
22using namespace llvm;
23
Matt Arsenault0e3d3892015-11-30 21:15:53 +000024
Tom Stellard5bfbae52018-07-11 20:59:01 +000025static ArrayRef<MCPhysReg> getAllSGPR128(const GCNSubtarget &ST,
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000026 const MachineFunction &MF) {
Matt Arsenaultab3429c2016-05-18 15:19:50 +000027 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(),
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000028 ST.getMaxNumSGPRs(MF) / 4);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000029}
30
Tom Stellard5bfbae52018-07-11 20:59:01 +000031static ArrayRef<MCPhysReg> getAllSGPRs(const GCNSubtarget &ST,
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000032 const MachineFunction &MF) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000033 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(),
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000034 ST.getMaxNumSGPRs(MF));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000035}
36
Tom Stellard5bfbae52018-07-11 20:59:01 +000037void SIFrameLowering::emitFlatScratchInit(const GCNSubtarget &ST,
Matt Arsenault57bc4322016-08-31 21:52:21 +000038 MachineFunction &MF,
39 MachineBasicBlock &MBB) const {
Matt Arsenaulte823d922017-02-18 18:29:53 +000040 const SIInstrInfo *TII = ST.getInstrInfo();
41 const SIRegisterInfo* TRI = &TII->getRegisterInfo();
Matt Arsenault8623e8d2017-08-03 23:00:29 +000042 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenaulte823d922017-02-18 18:29:53 +000043
Matt Arsenault57bc4322016-08-31 21:52:21 +000044 // 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
Matt Arsenault8623e8d2017-08-03 23:00:29 +000060 = MFI->getPreloadedReg(AMDGPUFunctionArgInfo::FLAT_SCRATCH_INIT);
Matt Arsenault57bc4322016-08-31 21:52:21 +000061
62 MachineRegisterInfo &MRI = MF.getRegInfo();
63 MRI.addLiveIn(FlatScratchInitReg);
64 MBB.addLiveIn(FlatScratchInitReg);
65
Matt Arsenault57bc4322016-08-31 21:52:21 +000066 unsigned FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0);
Matt Arsenaulte823d922017-02-18 18:29:53 +000067 unsigned FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1);
Matt Arsenault57bc4322016-08-31 21:52:21 +000068
Matt Arsenault57bc4322016-08-31 21:52:21 +000069 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
70
Matt Arsenaulte823d922017-02-18 18:29:53 +000071 // Do a 64-bit pointer add.
72 if (ST.flatScratchIsPointer()) {
73 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), AMDGPU::FLAT_SCR_LO)
74 .addReg(FlatScrInitLo)
75 .addReg(ScratchWaveOffsetReg);
76 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADDC_U32), AMDGPU::FLAT_SCR_HI)
77 .addReg(FlatScrInitHi)
78 .addImm(0);
79
80 return;
81 }
82
83 // Copy the size in bytes.
84 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), AMDGPU::FLAT_SCR_LO)
85 .addReg(FlatScrInitHi, RegState::Kill);
86
Matt Arsenault57bc4322016-08-31 21:52:21 +000087 // Add wave offset in bytes to private base offset.
88 // See comment in AMDKernelCodeT.h for enable_sgpr_flat_scratch_init.
89 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo)
90 .addReg(FlatScrInitLo)
91 .addReg(ScratchWaveOffsetReg);
92
93 // Convert offset to 256-byte units.
94 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_LSHR_B32), AMDGPU::FLAT_SCR_HI)
95 .addReg(FlatScrInitLo, RegState::Kill)
96 .addImm(8);
97}
98
99unsigned SIFrameLowering::getReservedPrivateSegmentBufferReg(
Tom Stellard5bfbae52018-07-11 20:59:01 +0000100 const GCNSubtarget &ST,
Matt Arsenault57bc4322016-08-31 21:52:21 +0000101 const SIInstrInfo *TII,
102 const SIRegisterInfo *TRI,
103 SIMachineFunctionInfo *MFI,
104 MachineFunction &MF) const {
Matt Arsenaulte2218492017-04-24 21:08:32 +0000105 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000106
107 // We need to insert initialization of the scratch resource descriptor.
108 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
Matt Arsenaulte2218492017-04-24 21:08:32 +0000109 if (ScratchRsrcReg == AMDGPU::NoRegister ||
110 !MRI.isPhysRegUsed(ScratchRsrcReg))
Matt Arsenault08906a32016-10-28 19:43:31 +0000111 return AMDGPU::NoRegister;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000112
113 if (ST.hasSGPRInitBug() ||
114 ScratchRsrcReg != TRI->reservedPrivateSegmentBufferReg(MF))
115 return ScratchRsrcReg;
116
117 // We reserved the last registers for this. Shift it down to the end of those
118 // which were actually used.
119 //
120 // FIXME: It might be safer to use a pseudoregister before replacement.
121
122 // FIXME: We should be able to eliminate unused input registers. We only
123 // cannot do this for the resources required for scratch access. For now we
124 // skip over user SGPRs and may leave unused holes.
125
126 // We find the resource first because it has an alignment requirement.
127
Matt Arsenault08906a32016-10-28 19:43:31 +0000128 unsigned NumPreloaded = (MFI->getNumPreloadedSGPRs() + 3) / 4;
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000129 ArrayRef<MCPhysReg> AllSGPR128s = getAllSGPR128(ST, MF);
Matt Arsenault08906a32016-10-28 19:43:31 +0000130 AllSGPR128s = AllSGPR128s.slice(std::min(static_cast<unsigned>(AllSGPR128s.size()), NumPreloaded));
131
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000132 // Skip the last N reserved elements because they should have already been
133 // reserved for VCC etc.
Matt Arsenault08906a32016-10-28 19:43:31 +0000134 for (MCPhysReg Reg : AllSGPR128s) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000135 // Pick the first unallocated one. Make sure we don't clobber the other
136 // reserved input we needed.
Matt Arsenault08906a32016-10-28 19:43:31 +0000137 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000138 MRI.replaceRegWith(ScratchRsrcReg, Reg);
139 MFI->setScratchRSrcReg(Reg);
140 return Reg;
141 }
142 }
143
144 return ScratchRsrcReg;
145}
146
Matt Arsenault36c31222017-04-25 23:40:57 +0000147// Shift down registers reserved for the scratch wave offset and stack pointer
148// SGPRs.
149std::pair<unsigned, unsigned>
150SIFrameLowering::getReservedPrivateSegmentWaveByteOffsetReg(
Tom Stellard5bfbae52018-07-11 20:59:01 +0000151 const GCNSubtarget &ST,
Matt Arsenault57bc4322016-08-31 21:52:21 +0000152 const SIInstrInfo *TII,
153 const SIRegisterInfo *TRI,
154 SIMachineFunctionInfo *MFI,
155 MachineFunction &MF) const {
Matt Arsenaulte2218492017-04-24 21:08:32 +0000156 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000157 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
Matt Arsenaulte2218492017-04-24 21:08:32 +0000158
159 // No replacement necessary.
160 if (ScratchWaveOffsetReg == AMDGPU::NoRegister ||
Matt Arsenault36c31222017-04-25 23:40:57 +0000161 !MRI.isPhysRegUsed(ScratchWaveOffsetReg)) {
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000162 assert(MFI->getStackPtrOffsetReg() == AMDGPU::SP_REG);
Matt Arsenault36c31222017-04-25 23:40:57 +0000163 return std::make_pair(AMDGPU::NoRegister, AMDGPU::NoRegister);
164 }
Matt Arsenaulte2218492017-04-24 21:08:32 +0000165
Matt Arsenault36c31222017-04-25 23:40:57 +0000166 unsigned SPReg = MFI->getStackPtrOffsetReg();
167 if (ST.hasSGPRInitBug())
168 return std::make_pair(ScratchWaveOffsetReg, SPReg);
Matt Arsenault57bc4322016-08-31 21:52:21 +0000169
Matt Arsenault57bc4322016-08-31 21:52:21 +0000170 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs();
171
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000172 ArrayRef<MCPhysReg> AllSGPRs = getAllSGPRs(ST, MF);
Matt Arsenault08906a32016-10-28 19:43:31 +0000173 if (NumPreloaded > AllSGPRs.size())
Matt Arsenault36c31222017-04-25 23:40:57 +0000174 return std::make_pair(ScratchWaveOffsetReg, SPReg);
Matt Arsenault08906a32016-10-28 19:43:31 +0000175
176 AllSGPRs = AllSGPRs.slice(NumPreloaded);
177
Matt Arsenault57bc4322016-08-31 21:52:21 +0000178 // We need to drop register from the end of the list that we cannot use
179 // for the scratch wave offset.
180 // + 2 s102 and s103 do not exist on VI.
181 // + 2 for vcc
182 // + 2 for xnack_mask
183 // + 2 for flat_scratch
184 // + 4 for registers reserved for scratch resource register
185 // + 1 for register reserved for scratch wave offset. (By exluding this
186 // register from the list to consider, it means that when this
187 // register is being used for the scratch wave offset and there
188 // are no other free SGPRs, then the value will stay in this register.
Matt Arsenault36c31222017-04-25 23:40:57 +0000189 // + 1 if stack pointer is used.
Matt Arsenault57bc4322016-08-31 21:52:21 +0000190 // ----
Matt Arsenault36c31222017-04-25 23:40:57 +0000191 // 13 (+1)
192 unsigned ReservedRegCount = 13;
Matt Arsenault08906a32016-10-28 19:43:31 +0000193
Matt Arsenault36c31222017-04-25 23:40:57 +0000194 if (AllSGPRs.size() < ReservedRegCount)
195 return std::make_pair(ScratchWaveOffsetReg, SPReg);
196
197 bool HandledScratchWaveOffsetReg =
198 ScratchWaveOffsetReg != TRI->reservedPrivateSegmentWaveByteOffsetReg(MF);
199
200 for (MCPhysReg Reg : AllSGPRs.drop_back(ReservedRegCount)) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000201 // Pick the first unallocated SGPR. Be careful not to pick an alias of the
202 // scratch descriptor, since we haven’t added its uses yet.
Matt Arsenaulte2218492017-04-24 21:08:32 +0000203 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) {
Matt Arsenault36c31222017-04-25 23:40:57 +0000204 if (!HandledScratchWaveOffsetReg) {
205 HandledScratchWaveOffsetReg = true;
206
207 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg);
208 MFI->setScratchWaveOffsetReg(Reg);
209 ScratchWaveOffsetReg = Reg;
Matt Arsenault36c31222017-04-25 23:40:57 +0000210 break;
211 }
Matt Arsenault57bc4322016-08-31 21:52:21 +0000212 }
213 }
214
Matt Arsenault36c31222017-04-25 23:40:57 +0000215 return std::make_pair(ScratchWaveOffsetReg, SPReg);
Matt Arsenault57bc4322016-08-31 21:52:21 +0000216}
217
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000218void SIFrameLowering::emitEntryFunctionPrologue(MachineFunction &MF,
219 MachineBasicBlock &MBB) const {
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000220 // Emit debugger prologue if "amdgpu-debugger-emit-prologue" attribute was
221 // specified.
Tom Stellard5bfbae52018-07-11 20:59:01 +0000222 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000223 if (ST.debuggerEmitPrologue())
224 emitDebuggerPrologue(MF, MBB);
225
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000226 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
227
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000228 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000229
230 // If we only have SGPR spills, we won't actually be using scratch memory
231 // since these spill to VGPRs.
232 //
233 // FIXME: We should be cleaning up these unused SGPR spill frame indices
234 // somewhere.
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000235
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000236 const SIInstrInfo *TII = ST.getInstrInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000237 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
Matt Arsenault296b8492016-02-12 06:31:30 +0000238 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenaultceafc552018-05-29 17:42:50 +0000239 const Function &F = MF.getFunction();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000240
Matt Arsenault08906a32016-10-28 19:43:31 +0000241 // We need to do the replacement of the private segment buffer and wave offset
242 // register even if there are no stack objects. There could be stores to undef
243 // or a constant without an associated object.
244
245 // FIXME: We still have implicit uses on SGPR spill instructions in case they
246 // need to spill to vector memory. It's likely that will not happen, but at
247 // this point it appears we need the setup. This part of the prolog should be
248 // emitted after frame indices are eliminated.
249
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000250 if (MFI->hasFlatScratchInit())
Matt Arsenaulte823d922017-02-18 18:29:53 +0000251 emitFlatScratchInit(ST, MF, MBB);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000252
Matt Arsenault36c31222017-04-25 23:40:57 +0000253 unsigned SPReg = MFI->getStackPtrOffsetReg();
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000254 if (SPReg != AMDGPU::SP_REG) {
255 assert(MRI.isReserved(SPReg) && "SPReg used but not reserved");
256
Matt Arsenault36c31222017-04-25 23:40:57 +0000257 DebugLoc DL;
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000258 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
259 int64_t StackSize = FrameInfo.getStackSize();
Matt Arsenault36c31222017-04-25 23:40:57 +0000260
261 if (StackSize == 0) {
262 BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::COPY), SPReg)
263 .addReg(MFI->getScratchWaveOffsetReg());
264 } else {
265 BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::S_ADD_U32), SPReg)
266 .addReg(MFI->getScratchWaveOffsetReg())
267 .addImm(StackSize * ST.getWavefrontSize());
268 }
269 }
270
Matt Arsenaulte2218492017-04-24 21:08:32 +0000271 unsigned ScratchRsrcReg
272 = getReservedPrivateSegmentBufferReg(ST, TII, TRI, MFI, MF);
Matt Arsenault36c31222017-04-25 23:40:57 +0000273
274 unsigned ScratchWaveOffsetReg;
275 std::tie(ScratchWaveOffsetReg, SPReg)
Matt Arsenaulte2218492017-04-24 21:08:32 +0000276 = getReservedPrivateSegmentWaveByteOffsetReg(ST, TII, TRI, MFI, MF);
277
278 // It's possible to have uses of only ScratchWaveOffsetReg without
279 // ScratchRsrcReg if it's only used for the initialization of flat_scratch,
280 // but the inverse is not true.
281 if (ScratchWaveOffsetReg == AMDGPU::NoRegister) {
282 assert(ScratchRsrcReg == AMDGPU::NoRegister);
283 return;
284 }
285
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000286 // We need to insert initialization of the scratch resource descriptor.
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000287 unsigned PreloadedScratchWaveOffsetReg = MFI->getPreloadedReg(
288 AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000289
290 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister;
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000291 if (ST.isAmdHsaOrMesa(F)) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000292 PreloadedPrivateBufferReg = MFI->getPreloadedReg(
293 AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_BUFFER);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000294 }
295
Matt Arsenaulte2218492017-04-24 21:08:32 +0000296 bool OffsetRegUsed = MRI.isPhysRegUsed(ScratchWaveOffsetReg);
297 bool ResourceRegUsed = ScratchRsrcReg != AMDGPU::NoRegister &&
298 MRI.isPhysRegUsed(ScratchRsrcReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000299
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000300 // We added live-ins during argument lowering, but since they were not used
301 // they were deleted. We're adding the uses now, so add them back.
Matt Arsenault08906a32016-10-28 19:43:31 +0000302 if (OffsetRegUsed) {
303 assert(PreloadedScratchWaveOffsetReg != AMDGPU::NoRegister &&
304 "scratch wave offset input is required");
305 MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
306 MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
307 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000308
Matt Arsenault08906a32016-10-28 19:43:31 +0000309 if (ResourceRegUsed && PreloadedPrivateBufferReg != AMDGPU::NoRegister) {
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000310 assert(ST.isAmdHsaOrMesa(F) || ST.isMesaGfxShader(F));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000311 MRI.addLiveIn(PreloadedPrivateBufferReg);
312 MBB.addLiveIn(PreloadedPrivateBufferReg);
313 }
314
Matt Arsenault57bc4322016-08-31 21:52:21 +0000315 // Make the register selected live throughout the function.
316 for (MachineBasicBlock &OtherBB : MF) {
317 if (&OtherBB == &MBB)
318 continue;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000319
Matt Arsenault08906a32016-10-28 19:43:31 +0000320 if (OffsetRegUsed)
321 OtherBB.addLiveIn(ScratchWaveOffsetReg);
322
323 if (ResourceRegUsed)
324 OtherBB.addLiveIn(ScratchRsrcReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000325 }
326
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000327 DebugLoc DL;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000328 MachineBasicBlock::iterator I = MBB.begin();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000329
Matt Arsenault08906a32016-10-28 19:43:31 +0000330 // If we reserved the original input registers, we don't need to copy to the
331 // reserved registers.
332
333 bool CopyBuffer = ResourceRegUsed &&
334 PreloadedPrivateBufferReg != AMDGPU::NoRegister &&
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000335 ST.isAmdHsaOrMesa(F) &&
Matt Arsenault08906a32016-10-28 19:43:31 +0000336 ScratchRsrcReg != PreloadedPrivateBufferReg;
337
338 // This needs to be careful of the copying order to avoid overwriting one of
339 // the input registers before it's been copied to it's final
340 // destination. Usually the offset should be copied first.
341 bool CopyBufferFirst = TRI->isSubRegisterEq(PreloadedPrivateBufferReg,
342 ScratchWaveOffsetReg);
343 if (CopyBuffer && CopyBufferFirst) {
344 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
345 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
346 }
347
348 if (OffsetRegUsed &&
349 PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) {
Matt Arsenault1d215172016-08-31 21:52:25 +0000350 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchWaveOffsetReg)
Marek Olsak584d2c02017-05-04 22:25:20 +0000351 .addReg(PreloadedScratchWaveOffsetReg,
352 MRI.isPhysRegUsed(ScratchWaveOffsetReg) ? 0 : RegState::Kill);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000353 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000354
Matt Arsenault08906a32016-10-28 19:43:31 +0000355 if (CopyBuffer && !CopyBufferFirst) {
Matt Arsenault1d215172016-08-31 21:52:25 +0000356 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
357 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
Matt Arsenault08906a32016-10-28 19:43:31 +0000358 }
359
Tim Renouf13229152017-09-29 09:49:35 +0000360 if (ResourceRegUsed)
361 emitEntryFunctionScratchSetup(ST, MF, MBB, MFI, I,
362 PreloadedPrivateBufferReg, ScratchRsrcReg);
363}
364
365// Emit scratch setup code for AMDPAL or Mesa, assuming ResourceRegUsed is set.
Tom Stellard5bfbae52018-07-11 20:59:01 +0000366void SIFrameLowering::emitEntryFunctionScratchSetup(const GCNSubtarget &ST,
Tim Renouf13229152017-09-29 09:49:35 +0000367 MachineFunction &MF, MachineBasicBlock &MBB, SIMachineFunctionInfo *MFI,
368 MachineBasicBlock::iterator I, unsigned PreloadedPrivateBufferReg,
369 unsigned ScratchRsrcReg) const {
370
371 const SIInstrInfo *TII = ST.getInstrInfo();
372 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
Matt Arsenaultceafc552018-05-29 17:42:50 +0000373 const Function &Fn = MF.getFunction();
Tim Renouf13229152017-09-29 09:49:35 +0000374 DebugLoc DL;
Tim Renouf13229152017-09-29 09:49:35 +0000375
376 if (ST.isAmdPalOS()) {
377 // The pointer to the GIT is formed from the offset passed in and either
378 // the amdgpu-git-ptr-high function attribute or the top part of the PC
379 unsigned RsrcLo = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
380 unsigned RsrcHi = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
381 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
382
383 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
384
385 if (MFI->getGITPtrHigh() != 0xffffffff) {
386 BuildMI(MBB, I, DL, SMovB32, RsrcHi)
387 .addImm(MFI->getGITPtrHigh())
388 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
389 } else {
390 const MCInstrDesc &GetPC64 = TII->get(AMDGPU::S_GETPC_B64);
391 BuildMI(MBB, I, DL, GetPC64, Rsrc01);
392 }
Tim Renouf832f90f2018-02-26 14:46:43 +0000393 auto GitPtrLo = AMDGPU::SGPR0; // Low GIT address passed in
394 if (ST.hasMergedShaders()) {
395 switch (MF.getFunction().getCallingConv()) {
396 case CallingConv::AMDGPU_HS:
397 case CallingConv::AMDGPU_GS:
398 // Low GIT address is passed in s8 rather than s0 for an LS+HS or
399 // ES+GS merged shader on gfx9+.
400 GitPtrLo = AMDGPU::SGPR8;
401 break;
402 default:
403 break;
404 }
405 }
Tim Renouf7190a462018-04-10 11:25:15 +0000406 MF.getRegInfo().addLiveIn(GitPtrLo);
407 MF.front().addLiveIn(GitPtrLo);
Tim Renouf13229152017-09-29 09:49:35 +0000408 BuildMI(MBB, I, DL, SMovB32, RsrcLo)
Tim Renouf832f90f2018-02-26 14:46:43 +0000409 .addReg(GitPtrLo)
Tim Renouf13229152017-09-29 09:49:35 +0000410 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
411
412 // We now have the GIT ptr - now get the scratch descriptor from the entry
Tim Renouf7190a462018-04-10 11:25:15 +0000413 // at offset 0 (or offset 16 for a compute shader).
Tim Renouf13229152017-09-29 09:49:35 +0000414 PointerType *PtrTy =
Matthias Braunf1caa282017-12-15 22:22:58 +0000415 PointerType::get(Type::getInt64Ty(MF.getFunction().getContext()),
Tim Renouf13229152017-09-29 09:49:35 +0000416 AMDGPUAS::CONSTANT_ADDRESS);
417 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy));
418 const MCInstrDesc &LoadDwordX4 = TII->get(AMDGPU::S_LOAD_DWORDX4_IMM);
419 auto MMO = MF.getMachineMemOperand(PtrInfo,
420 MachineMemOperand::MOLoad |
421 MachineMemOperand::MOInvariant |
422 MachineMemOperand::MODereferenceable,
Matt Arsenault2a645982019-01-31 01:38:47 +0000423 16, 4);
Matt Arsenaultceafc552018-05-29 17:42:50 +0000424 unsigned Offset = Fn.getCallingConv() == CallingConv::AMDGPU_CS ? 16 : 0;
Carl Ritson494b8ac2019-02-08 15:41:11 +0000425 const GCNSubtarget &Subtarget = MF.getSubtarget<GCNSubtarget>();
426 unsigned EncodedOffset = AMDGPU::getSMRDEncodedOffset(Subtarget, Offset);
Tim Renouf13229152017-09-29 09:49:35 +0000427 BuildMI(MBB, I, DL, LoadDwordX4, ScratchRsrcReg)
428 .addReg(Rsrc01)
Carl Ritson494b8ac2019-02-08 15:41:11 +0000429 .addImm(EncodedOffset) // offset
Tim Renouf13229152017-09-29 09:49:35 +0000430 .addImm(0) // glc
431 .addReg(ScratchRsrcReg, RegState::ImplicitDefine)
432 .addMemOperand(MMO);
433 return;
434 }
Matt Arsenaultceafc552018-05-29 17:42:50 +0000435 if (ST.isMesaGfxShader(Fn)
Tim Renouf13229152017-09-29 09:49:35 +0000436 || (PreloadedPrivateBufferReg == AMDGPU::NoRegister)) {
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000437 assert(!ST.isAmdHsaOrMesa(Fn));
Matt Arsenault1d215172016-08-31 21:52:25 +0000438 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
439
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000440 unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
441 unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
442
443 // Use relocations to get the pointer, and setup the other bits manually.
444 uint64_t Rsrc23 = TII->getScratchRsrcWords23();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000445
Matt Arsenault10fc0622017-06-26 03:01:31 +0000446 if (MFI->hasImplicitBufferPtr()) {
Tom Stellard2f3f9852017-01-25 01:25:13 +0000447 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
448
Matthias Braunf1caa282017-12-15 22:22:58 +0000449 if (AMDGPU::isCompute(MF.getFunction().getCallingConv())) {
Tom Stellard2f3f9852017-01-25 01:25:13 +0000450 const MCInstrDesc &Mov64 = TII->get(AMDGPU::S_MOV_B64);
451
452 BuildMI(MBB, I, DL, Mov64, Rsrc01)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000453 .addReg(MFI->getImplicitBufferPtrUserSGPR())
Tom Stellard2f3f9852017-01-25 01:25:13 +0000454 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
455 } else {
456 const MCInstrDesc &LoadDwordX2 = TII->get(AMDGPU::S_LOAD_DWORDX2_IMM);
457
458 PointerType *PtrTy =
Matthias Braunf1caa282017-12-15 22:22:58 +0000459 PointerType::get(Type::getInt64Ty(MF.getFunction().getContext()),
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000460 AMDGPUAS::CONSTANT_ADDRESS);
Tom Stellard2f3f9852017-01-25 01:25:13 +0000461 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy));
462 auto MMO = MF.getMachineMemOperand(PtrInfo,
463 MachineMemOperand::MOLoad |
464 MachineMemOperand::MOInvariant |
465 MachineMemOperand::MODereferenceable,
Matt Arsenault2a645982019-01-31 01:38:47 +0000466 8, 4);
Tom Stellard2f3f9852017-01-25 01:25:13 +0000467 BuildMI(MBB, I, DL, LoadDwordX2, Rsrc01)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000468 .addReg(MFI->getImplicitBufferPtrUserSGPR())
Tom Stellard2f3f9852017-01-25 01:25:13 +0000469 .addImm(0) // offset
470 .addImm(0) // glc
471 .addMemOperand(MMO)
472 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
473 }
474 } else {
475 unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
476 unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
477
478 BuildMI(MBB, I, DL, SMovB32, Rsrc0)
479 .addExternalSymbol("SCRATCH_RSRC_DWORD0")
480 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
481
482 BuildMI(MBB, I, DL, SMovB32, Rsrc1)
483 .addExternalSymbol("SCRATCH_RSRC_DWORD1")
484 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
485
486 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000487
488 BuildMI(MBB, I, DL, SMovB32, Rsrc2)
489 .addImm(Rsrc23 & 0xffffffff)
490 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
491
492 BuildMI(MBB, I, DL, SMovB32, Rsrc3)
493 .addImm(Rsrc23 >> 32)
494 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
495 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000496}
497
Matt Arsenault03ae3992018-03-29 21:30:06 +0000498// Find a scratch register that we can use at the start of the prologue to
499// re-align the stack pointer. We avoid using callee-save registers since they
500// may appear to be free when this is called from canUseAsPrologue (during
501// shrink wrapping), but then no longer be free when this is called from
502// emitPrologue.
503//
504// FIXME: This is a bit conservative, since in the above case we could use one
505// of the callee-save registers as a scratch temp to re-align the stack pointer,
506// but we would then have to make sure that we were in fact saving at least one
507// callee-save register in the prologue, which is additional complexity that
508// doesn't seem worth the benefit.
509static unsigned findScratchNonCalleeSaveRegister(MachineBasicBlock &MBB) {
510 MachineFunction *MF = MBB.getParent();
511
Tom Stellard5bfbae52018-07-11 20:59:01 +0000512 const GCNSubtarget &Subtarget = MF->getSubtarget<GCNSubtarget>();
Matt Arsenault03ae3992018-03-29 21:30:06 +0000513 const SIRegisterInfo &TRI = *Subtarget.getRegisterInfo();
514 LivePhysRegs LiveRegs(TRI);
515 LiveRegs.addLiveIns(MBB);
516
517 // Mark callee saved registers as used so we will not choose them.
518 const MCPhysReg *CSRegs = TRI.getCalleeSavedRegs(MF);
519 for (unsigned i = 0; CSRegs[i]; ++i)
520 LiveRegs.addReg(CSRegs[i]);
521
522 MachineRegisterInfo &MRI = MF->getRegInfo();
523
524 for (unsigned Reg : AMDGPU::SReg_32_XM0RegClass) {
525 if (LiveRegs.available(MRI, Reg))
526 return Reg;
527 }
528
529 return AMDGPU::NoRegister;
530}
531
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000532void SIFrameLowering::emitPrologue(MachineFunction &MF,
533 MachineBasicBlock &MBB) const {
Matt Arsenault03ae3992018-03-29 21:30:06 +0000534 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000535 if (FuncInfo->isEntryFunction()) {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000536 emitEntryFunctionPrologue(MF, MBB);
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000537 return;
538 }
539
540 const MachineFrameInfo &MFI = MF.getFrameInfo();
Tom Stellard5bfbae52018-07-11 20:59:01 +0000541 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000542 const SIInstrInfo *TII = ST.getInstrInfo();
Matt Arsenault03ae3992018-03-29 21:30:06 +0000543 const SIRegisterInfo &TRI = TII->getRegisterInfo();
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000544
545 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg();
546 unsigned FramePtrReg = FuncInfo->getFrameOffsetReg();
547
548 MachineBasicBlock::iterator MBBI = MBB.begin();
549 DebugLoc DL;
550
Matt Arsenault03ae3992018-03-29 21:30:06 +0000551 // XXX - Is this the right predicate?
552
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000553 bool NeedFP = hasFP(MF);
Matt Arsenault03ae3992018-03-29 21:30:06 +0000554 uint32_t NumBytes = MFI.getStackSize();
555 uint32_t RoundedSize = NumBytes;
556 const bool NeedsRealignment = TRI.needsStackRealignment(MF);
557
558 if (NeedsRealignment) {
559 assert(NeedFP);
560 const unsigned Alignment = MFI.getMaxAlignment();
Matt Arsenault03ae3992018-03-29 21:30:06 +0000561
562 RoundedSize += Alignment;
563
564 unsigned ScratchSPReg = findScratchNonCalleeSaveRegister(MBB);
565 assert(ScratchSPReg != AMDGPU::NoRegister);
566
567 // s_add_u32 tmp_reg, s32, NumBytes
568 // s_and_b32 s32, tmp_reg, 0b111...0000
569 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), ScratchSPReg)
570 .addReg(StackPtrReg)
571 .addImm((Alignment - 1) * ST.getWavefrontSize())
572 .setMIFlag(MachineInstr::FrameSetup);
573 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_AND_B32), FramePtrReg)
574 .addReg(ScratchSPReg, RegState::Kill)
575 .addImm(-Alignment * ST.getWavefrontSize())
576 .setMIFlag(MachineInstr::FrameSetup);
577 FuncInfo->setIsStackRealigned(true);
578 } else if (NeedFP) {
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000579 // If we need a base pointer, set it up here. It's whatever the value of
580 // the stack pointer is at this point. Any variable size objects will be
581 // allocated after this, so we can still use the base pointer to reference
582 // locals.
583 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::COPY), FramePtrReg)
584 .addReg(StackPtrReg)
585 .setMIFlag(MachineInstr::FrameSetup);
586 }
587
Matt Arsenault03ae3992018-03-29 21:30:06 +0000588 if (RoundedSize != 0 && hasSP(MF)) {
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000589 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), StackPtrReg)
590 .addReg(StackPtrReg)
Matt Arsenault03ae3992018-03-29 21:30:06 +0000591 .addImm(RoundedSize * ST.getWavefrontSize())
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000592 .setMIFlag(MachineInstr::FrameSetup);
593 }
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000594
595 for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg
596 : FuncInfo->getSGPRSpillVGPRs()) {
597 if (!Reg.FI.hasValue())
598 continue;
599 TII->storeRegToStackSlot(MBB, MBBI, Reg.VGPR, true,
600 Reg.FI.getValue(), &AMDGPU::VGPR_32RegClass,
601 &TII->getRegisterInfo());
602 }
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000603}
604
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000605void SIFrameLowering::emitEpilogue(MachineFunction &MF,
606 MachineBasicBlock &MBB) const {
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000607 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
608 if (FuncInfo->isEntryFunction())
609 return;
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000610
Tom Stellard5bfbae52018-07-11 20:59:01 +0000611 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000612 const SIInstrInfo *TII = ST.getInstrInfo();
613 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
614
615 for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg
616 : FuncInfo->getSGPRSpillVGPRs()) {
617 if (!Reg.FI.hasValue())
618 continue;
619 TII->loadRegFromStackSlot(MBB, MBBI, Reg.VGPR,
620 Reg.FI.getValue(), &AMDGPU::VGPR_32RegClass,
621 &TII->getRegisterInfo());
622 }
623
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000624 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg();
625 if (StackPtrReg == AMDGPU::NoRegister)
626 return;
627
628 const MachineFrameInfo &MFI = MF.getFrameInfo();
629 uint32_t NumBytes = MFI.getStackSize();
630
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000631 DebugLoc DL;
632
633 // FIXME: Clarify distinction between no set SP and SP. For callee functions,
634 // it's really whether we need SP to be accurate or not.
635
636 if (NumBytes != 0 && hasSP(MF)) {
Matt Arsenault03ae3992018-03-29 21:30:06 +0000637 uint32_t RoundedSize = FuncInfo->isStackRealigned() ?
638 NumBytes + MFI.getMaxAlignment() : NumBytes;
639
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000640 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_SUB_U32), StackPtrReg)
641 .addReg(StackPtrReg)
Matt Arsenault03ae3992018-03-29 21:30:06 +0000642 .addImm(RoundedSize * ST.getWavefrontSize());
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000643 }
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000644}
645
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000646static bool allStackObjectsAreDead(const MachineFrameInfo &MFI) {
647 for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd();
648 I != E; ++I) {
649 if (!MFI.isDeadObjectIndex(I))
650 return false;
651 }
652
653 return true;
654}
655
Konstantin Zhuravlyovffdb00e2017-03-10 19:39:07 +0000656int SIFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
657 unsigned &FrameReg) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000658 const SIRegisterInfo *RI = MF.getSubtarget<GCNSubtarget>().getRegisterInfo();
Konstantin Zhuravlyovffdb00e2017-03-10 19:39:07 +0000659
660 FrameReg = RI->getFrameRegister(MF);
661 return MF.getFrameInfo().getObjectOffset(FI);
662}
663
Matt Arsenault0c90e952015-11-06 18:17:45 +0000664void SIFrameLowering::processFunctionBeforeFrameFinalized(
665 MachineFunction &MF,
666 RegScavenger *RS) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000667 MachineFrameInfo &MFI = MF.getFrameInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000668
Matthias Braun941a7052016-07-28 18:40:00 +0000669 if (!MFI.hasStackObjects())
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000670 return;
671
Tom Stellard5bfbae52018-07-11 20:59:01 +0000672 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000673 const SIInstrInfo *TII = ST.getInstrInfo();
674 const SIRegisterInfo &TRI = TII->getRegisterInfo();
675 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
676 bool AllSGPRSpilledToVGPRs = false;
677
678 if (TRI.spillSGPRToVGPR() && FuncInfo->hasSpilledSGPRs()) {
679 AllSGPRSpilledToVGPRs = true;
680
681 // Process all SGPR spills before frame offsets are finalized. Ideally SGPRs
682 // are spilled to VGPRs, in which case we can eliminate the stack usage.
683 //
684 // XXX - This operates under the assumption that only other SGPR spills are
685 // users of the frame index. I'm not 100% sure this is correct. The
686 // StackColoring pass has a comment saying a future improvement would be to
687 // merging of allocas with spill slots, but for now according to
688 // MachineFrameInfo isSpillSlot can't alias any other object.
689 for (MachineBasicBlock &MBB : MF) {
690 MachineBasicBlock::iterator Next;
691 for (auto I = MBB.begin(), E = MBB.end(); I != E; I = Next) {
692 MachineInstr &MI = *I;
693 Next = std::next(I);
694
695 if (TII->isSGPRSpill(MI)) {
696 int FI = TII->getNamedOperand(MI, AMDGPU::OpName::addr)->getIndex();
Matt Arsenaultadc59d72018-04-23 15:51:26 +0000697 assert(MFI.getStackID(FI) == SIStackID::SGPR_SPILL);
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000698 if (FuncInfo->allocateSGPRSpillToVGPR(MF, FI)) {
699 bool Spilled = TRI.eliminateSGPRToVGPRSpillFrameIndex(MI, FI, RS);
700 (void)Spilled;
701 assert(Spilled && "failed to spill SGPR to VGPR when allocated");
702 } else
703 AllSGPRSpilledToVGPRs = false;
704 }
705 }
706 }
707
708 FuncInfo->removeSGPRToVGPRFrameIndices(MFI);
709 }
710
711 // FIXME: The other checks should be redundant with allStackObjectsAreDead,
712 // but currently hasNonSpillStackObjects is set only from source
713 // allocas. Stack temps produced from legalization are not counted currently.
714 if (FuncInfo->hasNonSpillStackObjects() || FuncInfo->hasSpilledVGPRs() ||
715 !AllSGPRSpilledToVGPRs || !allStackObjectsAreDead(MFI)) {
716 assert(RS && "RegScavenger required if spilling");
717
Matt Arsenault707780b2017-02-22 21:05:25 +0000718 // We force this to be at offset 0 so no user object ever has 0 as an
719 // address, so we may use 0 as an invalid pointer value. This is because
720 // LLVM assumes 0 is an invalid pointer in address space 0. Because alloca
721 // is required to be address space 0, we are forced to accept this for
722 // now. Ideally we could have the stack in another address space with 0 as a
723 // valid pointer, and -1 as the null value.
724 //
725 // This will also waste additional space when user stack objects require > 4
726 // byte alignment.
727 //
728 // The main cost here is losing the offset for addressing modes. However
729 // this also ensures we shouldn't need a register for the offset when
730 // emergency scavenging.
731 int ScavengeFI = MFI.CreateFixedObject(
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000732 TRI.getSpillSize(AMDGPU::SGPR_32RegClass), 0, false);
Matt Arsenault707780b2017-02-22 21:05:25 +0000733 RS->addScavengingFrameIndex(ScavengeFI);
734 }
Matt Arsenault0c90e952015-11-06 18:17:45 +0000735}
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000736
Matt Arsenaultecb43ef2017-09-13 23:47:01 +0000737void SIFrameLowering::determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs,
738 RegScavenger *RS) const {
739 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
740 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
741
742 // The SP is specifically managed and we don't want extra spills of it.
743 SavedRegs.reset(MFI->getStackPtrOffsetReg());
744}
745
Matt Arsenaultb62a4eb2017-08-01 19:54:18 +0000746MachineBasicBlock::iterator SIFrameLowering::eliminateCallFramePseudoInstr(
747 MachineFunction &MF,
748 MachineBasicBlock &MBB,
749 MachineBasicBlock::iterator I) const {
750 int64_t Amount = I->getOperand(0).getImm();
751 if (Amount == 0)
752 return MBB.erase(I);
753
Tom Stellard5bfbae52018-07-11 20:59:01 +0000754 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenaultb62a4eb2017-08-01 19:54:18 +0000755 const SIInstrInfo *TII = ST.getInstrInfo();
756 const DebugLoc &DL = I->getDebugLoc();
757 unsigned Opc = I->getOpcode();
758 bool IsDestroy = Opc == TII->getCallFrameDestroyOpcode();
759 uint64_t CalleePopAmount = IsDestroy ? I->getOperand(1).getImm() : 0;
760
761 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
762 if (!TFI->hasReservedCallFrame(MF)) {
763 unsigned Align = getStackAlignment();
764
765 Amount = alignTo(Amount, Align);
766 assert(isUInt<32>(Amount) && "exceeded stack address space size");
767 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
768 unsigned SPReg = MFI->getStackPtrOffsetReg();
769
770 unsigned Op = IsDestroy ? AMDGPU::S_SUB_U32 : AMDGPU::S_ADD_U32;
771 BuildMI(MBB, I, DL, TII->get(Op), SPReg)
772 .addReg(SPReg)
773 .addImm(Amount * ST.getWavefrontSize());
774 } else if (CalleePopAmount != 0) {
775 llvm_unreachable("is this used?");
776 }
777
778 return MBB.erase(I);
779}
780
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000781void SIFrameLowering::emitDebuggerPrologue(MachineFunction &MF,
782 MachineBasicBlock &MBB) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000783 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000784 const SIInstrInfo *TII = ST.getInstrInfo();
785 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
786 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
787
788 MachineBasicBlock::iterator I = MBB.begin();
789 DebugLoc DL;
790
791 // For each dimension:
792 for (unsigned i = 0; i < 3; ++i) {
793 // Get work group ID SGPR, and make it live-in again.
794 unsigned WorkGroupIDSGPR = MFI->getWorkGroupIDSGPR(i);
795 MF.getRegInfo().addLiveIn(WorkGroupIDSGPR);
796 MBB.addLiveIn(WorkGroupIDSGPR);
797
798 // Since SGPRs are spilled into VGPRs, copy work group ID SGPR to VGPR in
799 // order to spill it to scratch.
800 unsigned WorkGroupIDVGPR =
801 MF.getRegInfo().createVirtualRegister(&AMDGPU::VGPR_32RegClass);
802 BuildMI(MBB, I, DL, TII->get(AMDGPU::V_MOV_B32_e32), WorkGroupIDVGPR)
803 .addReg(WorkGroupIDSGPR);
804
805 // Spill work group ID.
806 int WorkGroupIDObjectIdx = MFI->getDebuggerWorkGroupIDStackObjectIndex(i);
807 TII->storeRegToStackSlot(MBB, I, WorkGroupIDVGPR, false,
808 WorkGroupIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
809
810 // Get work item ID VGPR, and make it live-in again.
811 unsigned WorkItemIDVGPR = MFI->getWorkItemIDVGPR(i);
812 MF.getRegInfo().addLiveIn(WorkItemIDVGPR);
813 MBB.addLiveIn(WorkItemIDVGPR);
814
815 // Spill work item ID.
816 int WorkItemIDObjectIdx = MFI->getDebuggerWorkItemIDStackObjectIndex(i);
817 TII->storeRegToStackSlot(MBB, I, WorkItemIDVGPR, false,
818 WorkItemIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
819 }
820}
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000821
822bool SIFrameLowering::hasFP(const MachineFunction &MF) const {
823 // All stack operations are relative to the frame offset SGPR.
824 // TODO: Still want to eliminate sometimes.
825 const MachineFrameInfo &MFI = MF.getFrameInfo();
826
827 // XXX - Is this only called after frame is finalized? Should be able to check
828 // frame size.
829 return MFI.hasStackObjects() && !allStackObjectsAreDead(MFI);
830}
831
832bool SIFrameLowering::hasSP(const MachineFunction &MF) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000833 const SIRegisterInfo *TRI = MF.getSubtarget<GCNSubtarget>().getRegisterInfo();
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000834 // All stack operations are relative to the frame offset SGPR.
835 const MachineFrameInfo &MFI = MF.getFrameInfo();
Matt Arsenault03ae3992018-03-29 21:30:06 +0000836 return MFI.hasCalls() || MFI.hasVarSizedObjects() || TRI->needsStackRealignment(MF);
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000837}