blob: ed07ed100a1924e5b16a3351d586993a78240d6b [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 Arsenault71dfb7e2019-07-08 19:03:38 +000024#define DEBUG_TYPE "frame-info"
25
26
Tom Stellard5bfbae52018-07-11 20:59:01 +000027static ArrayRef<MCPhysReg> getAllSGPR128(const GCNSubtarget &ST,
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000028 const MachineFunction &MF) {
Matt Arsenaultab3429c2016-05-18 15:19:50 +000029 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(),
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000030 ST.getMaxNumSGPRs(MF) / 4);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000031}
32
Tom Stellard5bfbae52018-07-11 20:59:01 +000033static ArrayRef<MCPhysReg> getAllSGPRs(const GCNSubtarget &ST,
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000034 const MachineFunction &MF) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000035 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(),
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000036 ST.getMaxNumSGPRs(MF));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000037}
38
Matt Arsenault71dfb7e2019-07-08 19:03:38 +000039// Find a scratch register that we can use at the start of the prologue to
40// re-align the stack pointer. We avoid using callee-save registers since they
41// may appear to be free when this is called from canUseAsPrologue (during
42// shrink wrapping), but then no longer be free when this is called from
43// emitPrologue.
44//
45// FIXME: This is a bit conservative, since in the above case we could use one
46// of the callee-save registers as a scratch temp to re-align the stack pointer,
47// but we would then have to make sure that we were in fact saving at least one
48// callee-save register in the prologue, which is additional complexity that
49// doesn't seem worth the benefit.
50static unsigned findScratchNonCalleeSaveRegister(MachineRegisterInfo &MRI,
51 LivePhysRegs &LiveRegs,
52 const TargetRegisterClass &RC,
53 bool Unused = false) {
54 // Mark callee saved registers as used so we will not choose them.
55 const MCPhysReg *CSRegs = MRI.getCalleeSavedRegs();
56 for (unsigned i = 0; CSRegs[i]; ++i)
57 LiveRegs.addReg(CSRegs[i]);
58
59 if (Unused) {
60 // We are looking for a register that can be used throughout the entire
61 // function, so any use is unacceptable.
62 for (unsigned Reg : RC) {
63 if (!MRI.isPhysRegUsed(Reg) && LiveRegs.available(MRI, Reg))
64 return Reg;
65 }
66 } else {
67 for (unsigned Reg : RC) {
68 if (LiveRegs.available(MRI, Reg))
69 return Reg;
70 }
71 }
72
73 // If we require an unused register, this is used in contexts where failure is
74 // an option and has an alternative plan. In other contexts, this must
75 // succeed0.
76 if (!Unused)
77 report_fatal_error("failed to find free scratch register");
78
79 return AMDGPU::NoRegister;
80}
81
82static MCPhysReg findUnusedSGPRNonCalleeSaved(MachineRegisterInfo &MRI) {
83 LivePhysRegs LiveRegs;
84 LiveRegs.init(*MRI.getTargetRegisterInfo());
85 return findScratchNonCalleeSaveRegister(
86 MRI, LiveRegs, AMDGPU::SReg_32_XM0_XEXECRegClass, true);
87}
88
89// We need to specially emit stack operations here because a different frame
90// register is used than in the rest of the function, as getFrameRegister would
91// use.
92static void buildPrologSpill(LivePhysRegs &LiveRegs, MachineBasicBlock &MBB,
93 MachineBasicBlock::iterator I,
94 const SIInstrInfo *TII, unsigned SpillReg,
95 unsigned ScratchRsrcReg, unsigned SPReg, int FI) {
96 MachineFunction *MF = MBB.getParent();
97 MachineFrameInfo &MFI = MF->getFrameInfo();
98
99 int64_t Offset = MFI.getObjectOffset(FI);
100
101 MachineMemOperand *MMO = MF->getMachineMemOperand(
102 MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOStore, 4,
103 MFI.getObjectAlignment(FI));
104
105 if (isUInt<12>(Offset)) {
106 BuildMI(MBB, I, DebugLoc(), TII->get(AMDGPU::BUFFER_STORE_DWORD_OFFSET))
107 .addReg(SpillReg, RegState::Kill)
108 .addReg(ScratchRsrcReg)
109 .addReg(SPReg)
110 .addImm(Offset)
111 .addImm(0) // glc
112 .addImm(0) // slc
113 .addImm(0) // tfe
114 .addImm(0) // dlc
Piotr Sobczak265e94e2019-10-02 17:22:36 +0000115 .addImm(0) // swz
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000116 .addMemOperand(MMO);
117 return;
118 }
119
120 MCPhysReg OffsetReg = findScratchNonCalleeSaveRegister(
121 MF->getRegInfo(), LiveRegs, AMDGPU::VGPR_32RegClass);
122
123 BuildMI(MBB, I, DebugLoc(), TII->get(AMDGPU::V_MOV_B32_e32), OffsetReg)
124 .addImm(Offset);
125
126 BuildMI(MBB, I, DebugLoc(), TII->get(AMDGPU::BUFFER_STORE_DWORD_OFFEN))
127 .addReg(SpillReg, RegState::Kill)
128 .addReg(OffsetReg, RegState::Kill)
129 .addReg(ScratchRsrcReg)
130 .addReg(SPReg)
131 .addImm(0)
132 .addImm(0) // glc
133 .addImm(0) // slc
134 .addImm(0) // tfe
135 .addImm(0) // dlc
Piotr Sobczak265e94e2019-10-02 17:22:36 +0000136 .addImm(0) // swz
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000137 .addMemOperand(MMO);
138}
139
140static void buildEpilogReload(LivePhysRegs &LiveRegs, MachineBasicBlock &MBB,
141 MachineBasicBlock::iterator I,
142 const SIInstrInfo *TII, unsigned SpillReg,
143 unsigned ScratchRsrcReg, unsigned SPReg, int FI) {
144 MachineFunction *MF = MBB.getParent();
145 MachineFrameInfo &MFI = MF->getFrameInfo();
146 int64_t Offset = MFI.getObjectOffset(FI);
147
148 MachineMemOperand *MMO = MF->getMachineMemOperand(
149 MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOLoad, 4,
150 MFI.getObjectAlignment(FI));
151
152 if (isUInt<12>(Offset)) {
153 BuildMI(MBB, I, DebugLoc(),
154 TII->get(AMDGPU::BUFFER_LOAD_DWORD_OFFSET), SpillReg)
155 .addReg(ScratchRsrcReg)
156 .addReg(SPReg)
157 .addImm(Offset)
158 .addImm(0) // glc
159 .addImm(0) // slc
160 .addImm(0) // tfe
161 .addImm(0) // dlc
Piotr Sobczak265e94e2019-10-02 17:22:36 +0000162 .addImm(0) // swz
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000163 .addMemOperand(MMO);
164 return;
165 }
166
167 MCPhysReg OffsetReg = findScratchNonCalleeSaveRegister(
168 MF->getRegInfo(), LiveRegs, AMDGPU::VGPR_32RegClass);
169
170 BuildMI(MBB, I, DebugLoc(), TII->get(AMDGPU::V_MOV_B32_e32), OffsetReg)
171 .addImm(Offset);
172
173 BuildMI(MBB, I, DebugLoc(),
174 TII->get(AMDGPU::BUFFER_LOAD_DWORD_OFFEN), SpillReg)
175 .addReg(OffsetReg, RegState::Kill)
176 .addReg(ScratchRsrcReg)
177 .addReg(SPReg)
178 .addImm(0)
179 .addImm(0) // glc
180 .addImm(0) // slc
181 .addImm(0) // tfe
182 .addImm(0) // dlc
Piotr Sobczak265e94e2019-10-02 17:22:36 +0000183 .addImm(0) // swz
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000184 .addMemOperand(MMO);
185}
186
Tom Stellard5bfbae52018-07-11 20:59:01 +0000187void SIFrameLowering::emitFlatScratchInit(const GCNSubtarget &ST,
Matt Arsenault57bc4322016-08-31 21:52:21 +0000188 MachineFunction &MF,
189 MachineBasicBlock &MBB) const {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000190 const SIInstrInfo *TII = ST.getInstrInfo();
191 const SIRegisterInfo* TRI = &TII->getRegisterInfo();
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000192 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenaulte823d922017-02-18 18:29:53 +0000193
Matt Arsenault57bc4322016-08-31 21:52:21 +0000194 // We don't need this if we only have spills since there is no user facing
195 // scratch.
196
197 // TODO: If we know we don't have flat instructions earlier, we can omit
198 // this from the input registers.
199 //
200 // TODO: We only need to know if we access scratch space through a flat
201 // pointer. Because we only detect if flat instructions are used at all,
202 // this will be used more often than necessary on VI.
203
204 // Debug location must be unknown since the first debug location is used to
205 // determine the end of the prologue.
206 DebugLoc DL;
207 MachineBasicBlock::iterator I = MBB.begin();
208
Daniel Sanders0c476112019-08-15 19:22:08 +0000209 Register FlatScratchInitReg =
210 MFI->getPreloadedReg(AMDGPUFunctionArgInfo::FLAT_SCRATCH_INIT);
Matt Arsenault57bc4322016-08-31 21:52:21 +0000211
212 MachineRegisterInfo &MRI = MF.getRegInfo();
213 MRI.addLiveIn(FlatScratchInitReg);
214 MBB.addLiveIn(FlatScratchInitReg);
215
Daniel Sanders0c476112019-08-15 19:22:08 +0000216 Register FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0);
217 Register FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1);
Matt Arsenault57bc4322016-08-31 21:52:21 +0000218
Matt Arsenault57bc4322016-08-31 21:52:21 +0000219 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
220
Matt Arsenaulte823d922017-02-18 18:29:53 +0000221 // Do a 64-bit pointer add.
222 if (ST.flatScratchIsPointer()) {
Stanislav Mekhanoshina6322942019-04-30 22:08:23 +0000223 if (ST.getGeneration() >= AMDGPUSubtarget::GFX10) {
224 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo)
225 .addReg(FlatScrInitLo)
226 .addReg(ScratchWaveOffsetReg);
227 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADDC_U32), FlatScrInitHi)
228 .addReg(FlatScrInitHi)
229 .addImm(0);
230 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_SETREG_B32)).
231 addReg(FlatScrInitLo).
232 addImm(int16_t(AMDGPU::Hwreg::ID_FLAT_SCR_LO |
233 (31 << AMDGPU::Hwreg::WIDTH_M1_SHIFT_)));
234 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_SETREG_B32)).
235 addReg(FlatScrInitHi).
236 addImm(int16_t(AMDGPU::Hwreg::ID_FLAT_SCR_HI |
237 (31 << AMDGPU::Hwreg::WIDTH_M1_SHIFT_)));
238 return;
239 }
240
Matt Arsenaulte823d922017-02-18 18:29:53 +0000241 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), AMDGPU::FLAT_SCR_LO)
242 .addReg(FlatScrInitLo)
243 .addReg(ScratchWaveOffsetReg);
244 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADDC_U32), AMDGPU::FLAT_SCR_HI)
245 .addReg(FlatScrInitHi)
246 .addImm(0);
247
248 return;
249 }
250
Stanislav Mekhanoshina6322942019-04-30 22:08:23 +0000251 assert(ST.getGeneration() < AMDGPUSubtarget::GFX10);
252
Matt Arsenaulte823d922017-02-18 18:29:53 +0000253 // Copy the size in bytes.
254 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), AMDGPU::FLAT_SCR_LO)
255 .addReg(FlatScrInitHi, RegState::Kill);
256
Matt Arsenault57bc4322016-08-31 21:52:21 +0000257 // Add wave offset in bytes to private base offset.
258 // See comment in AMDKernelCodeT.h for enable_sgpr_flat_scratch_init.
259 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo)
260 .addReg(FlatScrInitLo)
261 .addReg(ScratchWaveOffsetReg);
262
263 // Convert offset to 256-byte units.
264 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_LSHR_B32), AMDGPU::FLAT_SCR_HI)
265 .addReg(FlatScrInitLo, RegState::Kill)
266 .addImm(8);
267}
268
269unsigned SIFrameLowering::getReservedPrivateSegmentBufferReg(
Tom Stellard5bfbae52018-07-11 20:59:01 +0000270 const GCNSubtarget &ST,
Matt Arsenault57bc4322016-08-31 21:52:21 +0000271 const SIInstrInfo *TII,
272 const SIRegisterInfo *TRI,
273 SIMachineFunctionInfo *MFI,
274 MachineFunction &MF) const {
Matt Arsenaulte2218492017-04-24 21:08:32 +0000275 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000276
277 // We need to insert initialization of the scratch resource descriptor.
278 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
Matt Arsenaulte2218492017-04-24 21:08:32 +0000279 if (ScratchRsrcReg == AMDGPU::NoRegister ||
280 !MRI.isPhysRegUsed(ScratchRsrcReg))
Matt Arsenault08906a32016-10-28 19:43:31 +0000281 return AMDGPU::NoRegister;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000282
283 if (ST.hasSGPRInitBug() ||
284 ScratchRsrcReg != TRI->reservedPrivateSegmentBufferReg(MF))
285 return ScratchRsrcReg;
286
287 // We reserved the last registers for this. Shift it down to the end of those
288 // which were actually used.
289 //
290 // FIXME: It might be safer to use a pseudoregister before replacement.
291
292 // FIXME: We should be able to eliminate unused input registers. We only
293 // cannot do this for the resources required for scratch access. For now we
294 // skip over user SGPRs and may leave unused holes.
295
296 // We find the resource first because it has an alignment requirement.
297
Matt Arsenault08906a32016-10-28 19:43:31 +0000298 unsigned NumPreloaded = (MFI->getNumPreloadedSGPRs() + 3) / 4;
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000299 ArrayRef<MCPhysReg> AllSGPR128s = getAllSGPR128(ST, MF);
Matt Arsenault08906a32016-10-28 19:43:31 +0000300 AllSGPR128s = AllSGPR128s.slice(std::min(static_cast<unsigned>(AllSGPR128s.size()), NumPreloaded));
301
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000302 // Skip the last N reserved elements because they should have already been
303 // reserved for VCC etc.
Matt Arsenault08906a32016-10-28 19:43:31 +0000304 for (MCPhysReg Reg : AllSGPR128s) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000305 // Pick the first unallocated one. Make sure we don't clobber the other
306 // reserved input we needed.
Matt Arsenault08906a32016-10-28 19:43:31 +0000307 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000308 MRI.replaceRegWith(ScratchRsrcReg, Reg);
309 MFI->setScratchRSrcReg(Reg);
310 return Reg;
311 }
312 }
313
314 return ScratchRsrcReg;
315}
316
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000317// Shift down registers reserved for the scratch wave offset.
Michael Liaob3f967d2019-07-16 15:57:12 +0000318std::pair<unsigned, bool>
319SIFrameLowering::getReservedPrivateSegmentWaveByteOffsetReg(
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000320 const GCNSubtarget &ST, const SIInstrInfo *TII, const SIRegisterInfo *TRI,
321 SIMachineFunctionInfo *MFI, MachineFunction &MF) const {
Matt Arsenaulte2218492017-04-24 21:08:32 +0000322 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000323 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
Matt Arsenaulte2218492017-04-24 21:08:32 +0000324
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000325 assert(MFI->isEntryFunction());
326
Matt Arsenaulte2218492017-04-24 21:08:32 +0000327 // No replacement necessary.
328 if (ScratchWaveOffsetReg == AMDGPU::NoRegister ||
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000329 (!hasFP(MF) && !MRI.isPhysRegUsed(ScratchWaveOffsetReg))) {
Michael Liaob3f967d2019-07-16 15:57:12 +0000330 return std::make_pair(AMDGPU::NoRegister, false);
Matt Arsenault36c31222017-04-25 23:40:57 +0000331 }
Matt Arsenaulte2218492017-04-24 21:08:32 +0000332
Matt Arsenault36c31222017-04-25 23:40:57 +0000333 if (ST.hasSGPRInitBug())
Michael Liaob3f967d2019-07-16 15:57:12 +0000334 return std::make_pair(ScratchWaveOffsetReg, false);
Matt Arsenault57bc4322016-08-31 21:52:21 +0000335
Matt Arsenault57bc4322016-08-31 21:52:21 +0000336 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs();
337
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000338 ArrayRef<MCPhysReg> AllSGPRs = getAllSGPRs(ST, MF);
Matt Arsenault08906a32016-10-28 19:43:31 +0000339 if (NumPreloaded > AllSGPRs.size())
Michael Liaob3f967d2019-07-16 15:57:12 +0000340 return std::make_pair(ScratchWaveOffsetReg, false);
Matt Arsenault08906a32016-10-28 19:43:31 +0000341
342 AllSGPRs = AllSGPRs.slice(NumPreloaded);
343
Matt Arsenault57bc4322016-08-31 21:52:21 +0000344 // We need to drop register from the end of the list that we cannot use
345 // for the scratch wave offset.
346 // + 2 s102 and s103 do not exist on VI.
347 // + 2 for vcc
348 // + 2 for xnack_mask
349 // + 2 for flat_scratch
350 // + 4 for registers reserved for scratch resource register
351 // + 1 for register reserved for scratch wave offset. (By exluding this
352 // register from the list to consider, it means that when this
353 // register is being used for the scratch wave offset and there
354 // are no other free SGPRs, then the value will stay in this register.
Matt Arsenault36c31222017-04-25 23:40:57 +0000355 // + 1 if stack pointer is used.
Matt Arsenault57bc4322016-08-31 21:52:21 +0000356 // ----
Matt Arsenault36c31222017-04-25 23:40:57 +0000357 // 13 (+1)
358 unsigned ReservedRegCount = 13;
Matt Arsenault08906a32016-10-28 19:43:31 +0000359
Matt Arsenault36c31222017-04-25 23:40:57 +0000360 if (AllSGPRs.size() < ReservedRegCount)
Michael Liaob3f967d2019-07-16 15:57:12 +0000361 return std::make_pair(ScratchWaveOffsetReg, false);
Matt Arsenault36c31222017-04-25 23:40:57 +0000362
363 bool HandledScratchWaveOffsetReg =
364 ScratchWaveOffsetReg != TRI->reservedPrivateSegmentWaveByteOffsetReg(MF);
Michael Liaob3f967d2019-07-16 15:57:12 +0000365 bool FPAdjusted = false;
Matt Arsenault36c31222017-04-25 23:40:57 +0000366
367 for (MCPhysReg Reg : AllSGPRs.drop_back(ReservedRegCount)) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000368 // Pick the first unallocated SGPR. Be careful not to pick an alias of the
369 // scratch descriptor, since we haven’t added its uses yet.
Matt Arsenaulte2218492017-04-24 21:08:32 +0000370 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) {
Matt Arsenault36c31222017-04-25 23:40:57 +0000371 if (!HandledScratchWaveOffsetReg) {
372 HandledScratchWaveOffsetReg = true;
373
374 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg);
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000375 if (MFI->getScratchWaveOffsetReg() == MFI->getStackPtrOffsetReg()) {
376 assert(!hasFP(MF));
377 MFI->setStackPtrOffsetReg(Reg);
378 }
379
Matt Arsenault36c31222017-04-25 23:40:57 +0000380 MFI->setScratchWaveOffsetReg(Reg);
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000381 MFI->setFrameOffsetReg(Reg);
Matt Arsenault36c31222017-04-25 23:40:57 +0000382 ScratchWaveOffsetReg = Reg;
Michael Liaob3f967d2019-07-16 15:57:12 +0000383 FPAdjusted = true;
Matt Arsenault36c31222017-04-25 23:40:57 +0000384 break;
385 }
Matt Arsenault57bc4322016-08-31 21:52:21 +0000386 }
387 }
388
Michael Liaob3f967d2019-07-16 15:57:12 +0000389 return std::make_pair(ScratchWaveOffsetReg, FPAdjusted);
Matt Arsenault57bc4322016-08-31 21:52:21 +0000390}
391
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000392void SIFrameLowering::emitEntryFunctionPrologue(MachineFunction &MF,
393 MachineBasicBlock &MBB) const {
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000394 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
395
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000396 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000397
398 // If we only have SGPR spills, we won't actually be using scratch memory
399 // since these spill to VGPRs.
400 //
401 // FIXME: We should be cleaning up these unused SGPR spill frame indices
402 // somewhere.
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000403
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000404 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000405 const SIInstrInfo *TII = ST.getInstrInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000406 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
Matt Arsenault296b8492016-02-12 06:31:30 +0000407 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenaultceafc552018-05-29 17:42:50 +0000408 const Function &F = MF.getFunction();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000409
Matt Arsenault08906a32016-10-28 19:43:31 +0000410 // We need to do the replacement of the private segment buffer and wave offset
411 // register even if there are no stack objects. There could be stores to undef
412 // or a constant without an associated object.
413
414 // FIXME: We still have implicit uses on SGPR spill instructions in case they
415 // need to spill to vector memory. It's likely that will not happen, but at
416 // this point it appears we need the setup. This part of the prolog should be
417 // emitted after frame indices are eliminated.
418
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000419 if (MFI->hasFlatScratchInit())
Matt Arsenaulte823d922017-02-18 18:29:53 +0000420 emitFlatScratchInit(ST, MF, MBB);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000421
Matt Arsenaulte2218492017-04-24 21:08:32 +0000422 unsigned ScratchRsrcReg
423 = getReservedPrivateSegmentBufferReg(ST, TII, TRI, MFI, MF);
Matt Arsenault36c31222017-04-25 23:40:57 +0000424
Michael Liaob3f967d2019-07-16 15:57:12 +0000425 unsigned ScratchWaveOffsetReg;
426 bool FPAdjusted;
427 std::tie(ScratchWaveOffsetReg, FPAdjusted) =
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000428 getReservedPrivateSegmentWaveByteOffsetReg(ST, TII, TRI, MFI, MF);
Matt Arsenaulte2218492017-04-24 21:08:32 +0000429
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000430 // We need to insert initialization of the scratch resource descriptor.
Daniel Sanders0c476112019-08-15 19:22:08 +0000431 Register PreloadedScratchWaveOffsetReg = MFI->getPreloadedReg(
432 AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000433
434 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister;
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000435 if (ST.isAmdHsaOrMesa(F)) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000436 PreloadedPrivateBufferReg = MFI->getPreloadedReg(
437 AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_BUFFER);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000438 }
439
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000440 bool OffsetRegUsed = ScratchWaveOffsetReg != AMDGPU::NoRegister &&
441 MRI.isPhysRegUsed(ScratchWaveOffsetReg);
Matt Arsenaulte2218492017-04-24 21:08:32 +0000442 bool ResourceRegUsed = ScratchRsrcReg != AMDGPU::NoRegister &&
443 MRI.isPhysRegUsed(ScratchRsrcReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000444
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000445 // FIXME: Hack to not crash in situations which emitted an error.
446 if (PreloadedScratchWaveOffsetReg == AMDGPU::NoRegister)
447 return;
448
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000449 // We added live-ins during argument lowering, but since they were not used
450 // they were deleted. We're adding the uses now, so add them back.
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000451 MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
452 MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000453
Matt Arsenault08906a32016-10-28 19:43:31 +0000454 if (ResourceRegUsed && PreloadedPrivateBufferReg != AMDGPU::NoRegister) {
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000455 assert(ST.isAmdHsaOrMesa(F) || ST.isMesaGfxShader(F));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000456 MRI.addLiveIn(PreloadedPrivateBufferReg);
457 MBB.addLiveIn(PreloadedPrivateBufferReg);
458 }
459
Matt Arsenault57bc4322016-08-31 21:52:21 +0000460 // Make the register selected live throughout the function.
461 for (MachineBasicBlock &OtherBB : MF) {
462 if (&OtherBB == &MBB)
463 continue;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000464
Michael Liaob3f967d2019-07-16 15:57:12 +0000465 if (OffsetRegUsed || FPAdjusted)
Matt Arsenault08906a32016-10-28 19:43:31 +0000466 OtherBB.addLiveIn(ScratchWaveOffsetReg);
467
468 if (ResourceRegUsed)
469 OtherBB.addLiveIn(ScratchRsrcReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000470 }
471
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000472 DebugLoc DL;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000473 MachineBasicBlock::iterator I = MBB.begin();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000474
Matt Arsenault08906a32016-10-28 19:43:31 +0000475 // If we reserved the original input registers, we don't need to copy to the
476 // reserved registers.
477
478 bool CopyBuffer = ResourceRegUsed &&
479 PreloadedPrivateBufferReg != AMDGPU::NoRegister &&
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000480 ST.isAmdHsaOrMesa(F) &&
Matt Arsenault08906a32016-10-28 19:43:31 +0000481 ScratchRsrcReg != PreloadedPrivateBufferReg;
482
483 // This needs to be careful of the copying order to avoid overwriting one of
484 // the input registers before it's been copied to it's final
485 // destination. Usually the offset should be copied first.
486 bool CopyBufferFirst = TRI->isSubRegisterEq(PreloadedPrivateBufferReg,
487 ScratchWaveOffsetReg);
488 if (CopyBuffer && CopyBufferFirst) {
489 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
490 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
491 }
492
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000493 unsigned SPReg = MFI->getStackPtrOffsetReg();
494 assert(SPReg != AMDGPU::SP_REG);
495
496 // FIXME: Remove the isPhysRegUsed checks
497 const bool HasFP = hasFP(MF);
498
499 if (HasFP || OffsetRegUsed) {
500 assert(ScratchWaveOffsetReg);
Matt Arsenault1d215172016-08-31 21:52:25 +0000501 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchWaveOffsetReg)
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000502 .addReg(PreloadedScratchWaveOffsetReg, HasFP ? RegState::Kill : 0);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000503 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000504
Matt Arsenault08906a32016-10-28 19:43:31 +0000505 if (CopyBuffer && !CopyBufferFirst) {
Matt Arsenault1d215172016-08-31 21:52:25 +0000506 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
507 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
Matt Arsenault08906a32016-10-28 19:43:31 +0000508 }
509
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000510 if (ResourceRegUsed) {
Tim Renouf13229152017-09-29 09:49:35 +0000511 emitEntryFunctionScratchSetup(ST, MF, MBB, MFI, I,
512 PreloadedPrivateBufferReg, ScratchRsrcReg);
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000513 }
514
515 if (HasFP) {
516 DebugLoc DL;
517 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
518 int64_t StackSize = FrameInfo.getStackSize();
519
520 // On kernel entry, the private scratch wave offset is the SP value.
521 if (StackSize == 0) {
522 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), SPReg)
523 .addReg(MFI->getScratchWaveOffsetReg());
524 } else {
525 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), SPReg)
526 .addReg(MFI->getScratchWaveOffsetReg())
527 .addImm(StackSize * ST.getWavefrontSize());
528 }
529 }
Tim Renouf13229152017-09-29 09:49:35 +0000530}
531
532// Emit scratch setup code for AMDPAL or Mesa, assuming ResourceRegUsed is set.
Tom Stellard5bfbae52018-07-11 20:59:01 +0000533void SIFrameLowering::emitEntryFunctionScratchSetup(const GCNSubtarget &ST,
Tim Renouf13229152017-09-29 09:49:35 +0000534 MachineFunction &MF, MachineBasicBlock &MBB, SIMachineFunctionInfo *MFI,
535 MachineBasicBlock::iterator I, unsigned PreloadedPrivateBufferReg,
536 unsigned ScratchRsrcReg) const {
537
538 const SIInstrInfo *TII = ST.getInstrInfo();
539 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
Matt Arsenaultceafc552018-05-29 17:42:50 +0000540 const Function &Fn = MF.getFunction();
Tim Renouf13229152017-09-29 09:49:35 +0000541 DebugLoc DL;
Tim Renouf13229152017-09-29 09:49:35 +0000542
543 if (ST.isAmdPalOS()) {
544 // The pointer to the GIT is formed from the offset passed in and either
545 // the amdgpu-git-ptr-high function attribute or the top part of the PC
Daniel Sanders0c476112019-08-15 19:22:08 +0000546 Register RsrcLo = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
547 Register RsrcHi = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
548 Register Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
Tim Renouf13229152017-09-29 09:49:35 +0000549
550 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
551
552 if (MFI->getGITPtrHigh() != 0xffffffff) {
553 BuildMI(MBB, I, DL, SMovB32, RsrcHi)
554 .addImm(MFI->getGITPtrHigh())
555 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
556 } else {
557 const MCInstrDesc &GetPC64 = TII->get(AMDGPU::S_GETPC_B64);
558 BuildMI(MBB, I, DL, GetPC64, Rsrc01);
559 }
Tim Renouf832f90f2018-02-26 14:46:43 +0000560 auto GitPtrLo = AMDGPU::SGPR0; // Low GIT address passed in
561 if (ST.hasMergedShaders()) {
562 switch (MF.getFunction().getCallingConv()) {
563 case CallingConv::AMDGPU_HS:
564 case CallingConv::AMDGPU_GS:
565 // Low GIT address is passed in s8 rather than s0 for an LS+HS or
566 // ES+GS merged shader on gfx9+.
567 GitPtrLo = AMDGPU::SGPR8;
568 break;
569 default:
570 break;
571 }
572 }
Tim Renouf7190a462018-04-10 11:25:15 +0000573 MF.getRegInfo().addLiveIn(GitPtrLo);
Matt Arsenault302eedc2019-05-31 22:47:36 +0000574 MBB.addLiveIn(GitPtrLo);
Tim Renouf13229152017-09-29 09:49:35 +0000575 BuildMI(MBB, I, DL, SMovB32, RsrcLo)
Tim Renouf832f90f2018-02-26 14:46:43 +0000576 .addReg(GitPtrLo)
Tim Renouf13229152017-09-29 09:49:35 +0000577 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
578
579 // We now have the GIT ptr - now get the scratch descriptor from the entry
Tim Renouf7190a462018-04-10 11:25:15 +0000580 // at offset 0 (or offset 16 for a compute shader).
Tim Renouf13229152017-09-29 09:49:35 +0000581 PointerType *PtrTy =
Matthias Braunf1caa282017-12-15 22:22:58 +0000582 PointerType::get(Type::getInt64Ty(MF.getFunction().getContext()),
Tim Renouf13229152017-09-29 09:49:35 +0000583 AMDGPUAS::CONSTANT_ADDRESS);
584 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy));
585 const MCInstrDesc &LoadDwordX4 = TII->get(AMDGPU::S_LOAD_DWORDX4_IMM);
586 auto MMO = MF.getMachineMemOperand(PtrInfo,
587 MachineMemOperand::MOLoad |
588 MachineMemOperand::MOInvariant |
589 MachineMemOperand::MODereferenceable,
Matt Arsenault2a645982019-01-31 01:38:47 +0000590 16, 4);
Matt Arsenaultceafc552018-05-29 17:42:50 +0000591 unsigned Offset = Fn.getCallingConv() == CallingConv::AMDGPU_CS ? 16 : 0;
Carl Ritson494b8ac2019-02-08 15:41:11 +0000592 const GCNSubtarget &Subtarget = MF.getSubtarget<GCNSubtarget>();
593 unsigned EncodedOffset = AMDGPU::getSMRDEncodedOffset(Subtarget, Offset);
Tim Renouf13229152017-09-29 09:49:35 +0000594 BuildMI(MBB, I, DL, LoadDwordX4, ScratchRsrcReg)
595 .addReg(Rsrc01)
Carl Ritson494b8ac2019-02-08 15:41:11 +0000596 .addImm(EncodedOffset) // offset
Tim Renouf13229152017-09-29 09:49:35 +0000597 .addImm(0) // glc
Stanislav Mekhanoshina6322942019-04-30 22:08:23 +0000598 .addImm(0) // dlc
Tim Renouf13229152017-09-29 09:49:35 +0000599 .addReg(ScratchRsrcReg, RegState::ImplicitDefine)
600 .addMemOperand(MMO);
601 return;
602 }
Matt Arsenaultceafc552018-05-29 17:42:50 +0000603 if (ST.isMesaGfxShader(Fn)
Tim Renouf13229152017-09-29 09:49:35 +0000604 || (PreloadedPrivateBufferReg == AMDGPU::NoRegister)) {
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000605 assert(!ST.isAmdHsaOrMesa(Fn));
Matt Arsenault1d215172016-08-31 21:52:25 +0000606 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
607
Daniel Sanders0c476112019-08-15 19:22:08 +0000608 Register Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
609 Register Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000610
611 // Use relocations to get the pointer, and setup the other bits manually.
612 uint64_t Rsrc23 = TII->getScratchRsrcWords23();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000613
Matt Arsenault10fc0622017-06-26 03:01:31 +0000614 if (MFI->hasImplicitBufferPtr()) {
Daniel Sanders0c476112019-08-15 19:22:08 +0000615 Register Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
Tom Stellard2f3f9852017-01-25 01:25:13 +0000616
Matthias Braunf1caa282017-12-15 22:22:58 +0000617 if (AMDGPU::isCompute(MF.getFunction().getCallingConv())) {
Tom Stellard2f3f9852017-01-25 01:25:13 +0000618 const MCInstrDesc &Mov64 = TII->get(AMDGPU::S_MOV_B64);
619
620 BuildMI(MBB, I, DL, Mov64, Rsrc01)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000621 .addReg(MFI->getImplicitBufferPtrUserSGPR())
Tom Stellard2f3f9852017-01-25 01:25:13 +0000622 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
623 } else {
624 const MCInstrDesc &LoadDwordX2 = TII->get(AMDGPU::S_LOAD_DWORDX2_IMM);
625
626 PointerType *PtrTy =
Matthias Braunf1caa282017-12-15 22:22:58 +0000627 PointerType::get(Type::getInt64Ty(MF.getFunction().getContext()),
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000628 AMDGPUAS::CONSTANT_ADDRESS);
Tom Stellard2f3f9852017-01-25 01:25:13 +0000629 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy));
630 auto MMO = MF.getMachineMemOperand(PtrInfo,
631 MachineMemOperand::MOLoad |
632 MachineMemOperand::MOInvariant |
633 MachineMemOperand::MODereferenceable,
Matt Arsenault2a645982019-01-31 01:38:47 +0000634 8, 4);
Tom Stellard2f3f9852017-01-25 01:25:13 +0000635 BuildMI(MBB, I, DL, LoadDwordX2, Rsrc01)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000636 .addReg(MFI->getImplicitBufferPtrUserSGPR())
Tom Stellard2f3f9852017-01-25 01:25:13 +0000637 .addImm(0) // offset
638 .addImm(0) // glc
Stanislav Mekhanoshina6322942019-04-30 22:08:23 +0000639 .addImm(0) // dlc
Tom Stellard2f3f9852017-01-25 01:25:13 +0000640 .addMemOperand(MMO)
641 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
Matt Arsenault302eedc2019-05-31 22:47:36 +0000642
643 MF.getRegInfo().addLiveIn(MFI->getImplicitBufferPtrUserSGPR());
644 MBB.addLiveIn(MFI->getImplicitBufferPtrUserSGPR());
Tom Stellard2f3f9852017-01-25 01:25:13 +0000645 }
646 } else {
Daniel Sanders0c476112019-08-15 19:22:08 +0000647 Register Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
648 Register Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
Tom Stellard2f3f9852017-01-25 01:25:13 +0000649
650 BuildMI(MBB, I, DL, SMovB32, Rsrc0)
651 .addExternalSymbol("SCRATCH_RSRC_DWORD0")
652 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
653
654 BuildMI(MBB, I, DL, SMovB32, Rsrc1)
655 .addExternalSymbol("SCRATCH_RSRC_DWORD1")
656 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
657
658 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000659
660 BuildMI(MBB, I, DL, SMovB32, Rsrc2)
661 .addImm(Rsrc23 & 0xffffffff)
662 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
663
664 BuildMI(MBB, I, DL, SMovB32, Rsrc3)
665 .addImm(Rsrc23 >> 32)
666 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
667 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000668}
669
Sander de Smalen5d6ee762019-06-17 09:13:29 +0000670bool SIFrameLowering::isSupportedStackID(TargetStackID::Value ID) const {
Fangrui Song5401c2d2019-06-17 10:20:20 +0000671 switch (ID) {
672 case TargetStackID::Default:
673 case TargetStackID::NoAlloc:
674 case TargetStackID::SGPRSpill:
675 return true;
Sander de Smalen4f99b6f2019-10-03 11:33:50 +0000676 case TargetStackID::SVEVector:
677 return false;
Fangrui Song5401c2d2019-06-17 10:20:20 +0000678 }
679 llvm_unreachable("Invalid TargetStackID::Value");
Sander de Smalen5d6ee762019-06-17 09:13:29 +0000680}
681
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000682void SIFrameLowering::emitPrologue(MachineFunction &MF,
683 MachineBasicBlock &MBB) const {
Matt Arsenault03ae3992018-03-29 21:30:06 +0000684 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000685 if (FuncInfo->isEntryFunction()) {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000686 emitEntryFunctionPrologue(MF, MBB);
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000687 return;
688 }
689
690 const MachineFrameInfo &MFI = MF.getFrameInfo();
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000691 MachineRegisterInfo &MRI = MF.getRegInfo();
Tom Stellard5bfbae52018-07-11 20:59:01 +0000692 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000693 const SIInstrInfo *TII = ST.getInstrInfo();
Matt Arsenault03ae3992018-03-29 21:30:06 +0000694 const SIRegisterInfo &TRI = TII->getRegisterInfo();
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000695
696 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg();
697 unsigned FramePtrReg = FuncInfo->getFrameOffsetReg();
Matt Arsenault3d59e382019-05-24 18:18:51 +0000698 LivePhysRegs LiveRegs;
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000699
700 MachineBasicBlock::iterator MBBI = MBB.begin();
701 DebugLoc DL;
702
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000703 bool HasFP = false;
Matt Arsenault03ae3992018-03-29 21:30:06 +0000704 uint32_t NumBytes = MFI.getStackSize();
705 uint32_t RoundedSize = NumBytes;
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000706 // To avoid clobbering VGPRs in lanes that weren't active on function entry,
707 // turn on all lanes before doing the spill to memory.
708 unsigned ScratchExecCopy = AMDGPU::NoRegister;
709
710 // Emit the copy if we need an FP, and are using a free SGPR to save it.
711 if (FuncInfo->SGPRForFPSaveRestoreCopy != AMDGPU::NoRegister) {
712 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::COPY), FuncInfo->SGPRForFPSaveRestoreCopy)
713 .addReg(FramePtrReg)
714 .setMIFlag(MachineInstr::FrameSetup);
715 }
716
717 for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg
718 : FuncInfo->getSGPRSpillVGPRs()) {
719 if (!Reg.FI.hasValue())
720 continue;
721
722 if (ScratchExecCopy == AMDGPU::NoRegister) {
723 if (LiveRegs.empty()) {
724 LiveRegs.init(TRI);
725 LiveRegs.addLiveIns(MBB);
726 if (FuncInfo->SGPRForFPSaveRestoreCopy)
727 LiveRegs.removeReg(FuncInfo->SGPRForFPSaveRestoreCopy);
728 }
729
730 ScratchExecCopy
731 = findScratchNonCalleeSaveRegister(MRI, LiveRegs,
732 *TRI.getWaveMaskRegClass());
733 assert(FuncInfo->SGPRForFPSaveRestoreCopy != ScratchExecCopy);
734
735 const unsigned OrSaveExec = ST.isWave32() ?
736 AMDGPU::S_OR_SAVEEXEC_B32 : AMDGPU::S_OR_SAVEEXEC_B64;
737 BuildMI(MBB, MBBI, DL, TII->get(OrSaveExec),
738 ScratchExecCopy)
739 .addImm(-1);
740 }
741
742 buildPrologSpill(LiveRegs, MBB, MBBI, TII, Reg.VGPR,
743 FuncInfo->getScratchRSrcReg(),
744 StackPtrReg,
745 Reg.FI.getValue());
746 }
747
748 if (ScratchExecCopy != AMDGPU::NoRegister) {
749 // FIXME: Split block and make terminator.
750 unsigned ExecMov = ST.isWave32() ? AMDGPU::S_MOV_B32 : AMDGPU::S_MOV_B64;
751 unsigned Exec = ST.isWave32() ? AMDGPU::EXEC_LO : AMDGPU::EXEC;
752 BuildMI(MBB, MBBI, DL, TII->get(ExecMov), Exec)
753 .addReg(ScratchExecCopy, RegState::Kill);
754 LiveRegs.addReg(ScratchExecCopy);
755 }
756
757
758 if (FuncInfo->FramePointerSaveIndex) {
759 const int FI = FuncInfo->FramePointerSaveIndex.getValue();
760 assert(!MFI.isDeadObjectIndex(FI) &&
761 MFI.getStackID(FI) == TargetStackID::SGPRSpill);
762 ArrayRef<SIMachineFunctionInfo::SpilledReg> Spill
763 = FuncInfo->getSGPRToVGPRSpills(FI);
764 assert(Spill.size() == 1);
765
766 // Save FP before setting it up.
767 // FIXME: This should respect spillSGPRToVGPR;
768 BuildMI(MBB, MBBI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_WRITELANE_B32),
769 Spill[0].VGPR)
770 .addReg(FramePtrReg)
771 .addImm(Spill[0].Lane)
772 .addReg(Spill[0].VGPR, RegState::Undef);
773 }
Matt Arsenault03ae3992018-03-29 21:30:06 +0000774
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000775 if (TRI.needsStackRealignment(MF)) {
776 HasFP = true;
Matt Arsenault03ae3992018-03-29 21:30:06 +0000777 const unsigned Alignment = MFI.getMaxAlignment();
Matt Arsenault03ae3992018-03-29 21:30:06 +0000778
779 RoundedSize += Alignment;
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000780 if (LiveRegs.empty()) {
781 LiveRegs.init(TRI);
782 LiveRegs.addLiveIns(MBB);
783 LiveRegs.addReg(FuncInfo->SGPRForFPSaveRestoreCopy);
784 }
Matt Arsenault03ae3992018-03-29 21:30:06 +0000785
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000786 unsigned ScratchSPReg = findScratchNonCalleeSaveRegister(
787 MRI, LiveRegs, AMDGPU::SReg_32_XM0RegClass);
788 assert(ScratchSPReg != AMDGPU::NoRegister &&
789 ScratchSPReg != FuncInfo->SGPRForFPSaveRestoreCopy);
Matt Arsenault03ae3992018-03-29 21:30:06 +0000790
791 // s_add_u32 tmp_reg, s32, NumBytes
792 // s_and_b32 s32, tmp_reg, 0b111...0000
793 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), ScratchSPReg)
794 .addReg(StackPtrReg)
795 .addImm((Alignment - 1) * ST.getWavefrontSize())
796 .setMIFlag(MachineInstr::FrameSetup);
797 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_AND_B32), FramePtrReg)
798 .addReg(ScratchSPReg, RegState::Kill)
799 .addImm(-Alignment * ST.getWavefrontSize())
800 .setMIFlag(MachineInstr::FrameSetup);
801 FuncInfo->setIsStackRealigned(true);
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000802 } else if ((HasFP = hasFP(MF))) {
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000803 // If we need a base pointer, set it up here. It's whatever the value of
804 // the stack pointer is at this point. Any variable size objects will be
805 // allocated after this, so we can still use the base pointer to reference
806 // locals.
807 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::COPY), FramePtrReg)
808 .addReg(StackPtrReg)
809 .setMIFlag(MachineInstr::FrameSetup);
810 }
811
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000812 if (HasFP && RoundedSize != 0) {
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000813 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), StackPtrReg)
814 .addReg(StackPtrReg)
Matt Arsenault03ae3992018-03-29 21:30:06 +0000815 .addImm(RoundedSize * ST.getWavefrontSize())
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000816 .setMIFlag(MachineInstr::FrameSetup);
817 }
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000818
Bill Wendlingc8933c42019-07-08 22:00:33 +0000819 assert((!HasFP || (FuncInfo->SGPRForFPSaveRestoreCopy != AMDGPU::NoRegister ||
820 FuncInfo->FramePointerSaveIndex)) &&
821 "Needed to save FP but didn't save it anywhere");
Matt Arsenault24e80b82019-05-28 16:46:02 +0000822
Bill Wendlingc8933c42019-07-08 22:00:33 +0000823 assert((HasFP || (FuncInfo->SGPRForFPSaveRestoreCopy == AMDGPU::NoRegister &&
824 !FuncInfo->FramePointerSaveIndex)) &&
825 "Saved FP but didn't need it");
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000826}
827
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000828void SIFrameLowering::emitEpilogue(MachineFunction &MF,
829 MachineBasicBlock &MBB) const {
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000830 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
831 if (FuncInfo->isEntryFunction())
832 return;
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000833
Tom Stellard5bfbae52018-07-11 20:59:01 +0000834 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000835 const SIInstrInfo *TII = ST.getInstrInfo();
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000836 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000837 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000838 LivePhysRegs LiveRegs;
Matt Arsenault3d59e382019-05-24 18:18:51 +0000839 DebugLoc DL;
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000840
Matt Arsenault5dc457c2019-06-20 17:03:23 +0000841 const MachineFrameInfo &MFI = MF.getFrameInfo();
842 uint32_t NumBytes = MFI.getStackSize();
843 uint32_t RoundedSize = FuncInfo->isStackRealigned() ?
844 NumBytes + MFI.getMaxAlignment() : NumBytes;
Matt Arsenault03ae3992018-03-29 21:30:06 +0000845
Matt Arsenault5dc457c2019-06-20 17:03:23 +0000846 if (RoundedSize != 0 && hasFP(MF)) {
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000847 const unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg();
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000848 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_SUB_U32), StackPtrReg)
849 .addReg(StackPtrReg)
Matt Arsenaultb812b7a2019-06-05 22:20:47 +0000850 .addImm(RoundedSize * ST.getWavefrontSize())
851 .setMIFlag(MachineInstr::FrameDestroy);
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000852 }
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000853
854 if (FuncInfo->SGPRForFPSaveRestoreCopy != AMDGPU::NoRegister) {
855 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::COPY), FuncInfo->getFrameOffsetReg())
856 .addReg(FuncInfo->SGPRForFPSaveRestoreCopy)
857 .setMIFlag(MachineInstr::FrameSetup);
858 }
859
860 if (FuncInfo->FramePointerSaveIndex) {
861 const int FI = FuncInfo->FramePointerSaveIndex.getValue();
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000862
Matt Arsenault85618442019-07-08 19:47:42 +0000863 assert(!MF.getFrameInfo().isDeadObjectIndex(FI) &&
864 MF.getFrameInfo().getStackID(FI) == TargetStackID::SGPRSpill);
865
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000866 ArrayRef<SIMachineFunctionInfo::SpilledReg> Spill
867 = FuncInfo->getSGPRToVGPRSpills(FI);
868 assert(Spill.size() == 1);
869 BuildMI(MBB, MBBI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32),
870 FuncInfo->getFrameOffsetReg())
871 .addReg(Spill[0].VGPR)
872 .addImm(Spill[0].Lane);
873 }
874
875 unsigned ScratchExecCopy = AMDGPU::NoRegister;
876 for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg
877 : FuncInfo->getSGPRSpillVGPRs()) {
878 if (!Reg.FI.hasValue())
879 continue;
880
881 const SIRegisterInfo &TRI = TII->getRegisterInfo();
882 if (ScratchExecCopy == AMDGPU::NoRegister) {
883 // See emitPrologue
884 if (LiveRegs.empty()) {
885 LiveRegs.init(*ST.getRegisterInfo());
886 LiveRegs.addLiveOuts(MBB);
887 LiveRegs.stepBackward(*MBBI);
888 }
889
890 ScratchExecCopy = findScratchNonCalleeSaveRegister(
891 MRI, LiveRegs, *TRI.getWaveMaskRegClass());
892 LiveRegs.removeReg(ScratchExecCopy);
893
894 const unsigned OrSaveExec =
895 ST.isWave32() ? AMDGPU::S_OR_SAVEEXEC_B32 : AMDGPU::S_OR_SAVEEXEC_B64;
896
897 BuildMI(MBB, MBBI, DL, TII->get(OrSaveExec), ScratchExecCopy)
898 .addImm(-1);
899 }
900
901 buildEpilogReload(LiveRegs, MBB, MBBI, TII, Reg.VGPR,
902 FuncInfo->getScratchRSrcReg(),
903 FuncInfo->getStackPtrOffsetReg(), Reg.FI.getValue());
904 }
905
906 if (ScratchExecCopy != AMDGPU::NoRegister) {
907 // FIXME: Split block and make terminator.
908 unsigned ExecMov = ST.isWave32() ? AMDGPU::S_MOV_B32 : AMDGPU::S_MOV_B64;
909 unsigned Exec = ST.isWave32() ? AMDGPU::EXEC_LO : AMDGPU::EXEC;
910 BuildMI(MBB, MBBI, DL, TII->get(ExecMov), Exec)
911 .addReg(ScratchExecCopy, RegState::Kill);
912 }
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000913}
914
Matt Arsenault942404d2019-06-24 14:34:40 +0000915// Note SGPRSpill stack IDs should only be used for SGPR spilling to VGPRs, not
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000916// memory. They should have been removed by now.
Matt Arsenault5b0922f2019-07-03 23:32:29 +0000917static bool allStackObjectsAreDead(const MachineFrameInfo &MFI) {
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000918 for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd();
919 I != E; ++I) {
Matt Arsenault5b0922f2019-07-03 23:32:29 +0000920 if (!MFI.isDeadObjectIndex(I))
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000921 return false;
922 }
923
924 return true;
925}
926
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000927#ifndef NDEBUG
928static bool allSGPRSpillsAreDead(const MachineFrameInfo &MFI,
929 Optional<int> FramePointerSaveIndex) {
930 for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd();
931 I != E; ++I) {
932 if (!MFI.isDeadObjectIndex(I) &&
933 MFI.getStackID(I) == TargetStackID::SGPRSpill &&
934 FramePointerSaveIndex && I != FramePointerSaveIndex) {
935 return false;
936 }
937 }
938
939 return true;
940}
941#endif
942
Konstantin Zhuravlyovffdb00e2017-03-10 19:39:07 +0000943int SIFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
944 unsigned &FrameReg) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000945 const SIRegisterInfo *RI = MF.getSubtarget<GCNSubtarget>().getRegisterInfo();
Konstantin Zhuravlyovffdb00e2017-03-10 19:39:07 +0000946
947 FrameReg = RI->getFrameRegister(MF);
948 return MF.getFrameInfo().getObjectOffset(FI);
949}
950
Matt Arsenault0c90e952015-11-06 18:17:45 +0000951void SIFrameLowering::processFunctionBeforeFrameFinalized(
952 MachineFunction &MF,
953 RegScavenger *RS) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000954 MachineFrameInfo &MFI = MF.getFrameInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000955
Tom Stellard5bfbae52018-07-11 20:59:01 +0000956 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000957 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000958 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000959
Stanislav Mekhanoshin937ff6e72019-07-11 21:54:13 +0000960 FuncInfo->removeDeadFrameIndices(MFI);
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000961 assert(allSGPRSpillsAreDead(MFI, None) &&
962 "SGPR spill should have been removed in SILowerSGPRSpills");
Sander de Smalen7f23e0a2019-04-02 09:46:52 +0000963
Matt Arsenault5b0922f2019-07-03 23:32:29 +0000964 // FIXME: The other checks should be redundant with allStackObjectsAreDead,
965 // but currently hasNonSpillStackObjects is set only from source
966 // allocas. Stack temps produced from legalization are not counted currently.
967 if (!allStackObjectsAreDead(MFI)) {
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000968 assert(RS && "RegScavenger required if spilling");
969
Matt Arsenault34c8b832019-06-05 22:37:50 +0000970 if (FuncInfo->isEntryFunction()) {
971 int ScavengeFI = MFI.CreateFixedObject(
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000972 TRI->getSpillSize(AMDGPU::SGPR_32RegClass), 0, false);
Matt Arsenault34c8b832019-06-05 22:37:50 +0000973 RS->addScavengingFrameIndex(ScavengeFI);
974 } else {
975 int ScavengeFI = MFI.CreateStackObject(
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000976 TRI->getSpillSize(AMDGPU::SGPR_32RegClass),
977 TRI->getSpillAlignment(AMDGPU::SGPR_32RegClass),
Matt Arsenault34c8b832019-06-05 22:37:50 +0000978 false);
979 RS->addScavengingFrameIndex(ScavengeFI);
980 }
Matt Arsenault707780b2017-02-22 21:05:25 +0000981 }
Matt Arsenault0c90e952015-11-06 18:17:45 +0000982}
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000983
Matt Arsenault5b0922f2019-07-03 23:32:29 +0000984// Only report VGPRs to generic code.
985void SIFrameLowering::determineCalleeSaves(MachineFunction &MF,
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000986 BitVector &SavedVGPRs,
Matt Arsenaultecb43ef2017-09-13 23:47:01 +0000987 RegScavenger *RS) const {
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000988 TargetFrameLowering::determineCalleeSaves(MF, SavedVGPRs, RS);
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000989 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Michael Liao16d3c1a2019-07-11 23:53:30 +0000990 if (MFI->isEntryFunction())
991 return;
992
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000993 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Matt Arsenault5b0922f2019-07-03 23:32:29 +0000994 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
995 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenault5b0922f2019-07-03 23:32:29 +0000996
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000997 // Ignore the SGPRs the default implementation found.
998 SavedVGPRs.clearBitsNotInMask(TRI->getAllVGPRRegMask());
999
1000 // hasFP only knows about stack objects that already exist. We're now
1001 // determining the stack slots that will be created, so we have to predict
1002 // them. Stack objects force FP usage with calls.
1003 //
1004 // Note a new VGPR CSR may be introduced if one is used for the spill, but we
1005 // don't want to report it here.
1006 //
1007 // FIXME: Is this really hasReservedCallFrame?
1008 const bool WillHaveFP =
1009 FrameInfo.hasCalls() &&
1010 (SavedVGPRs.any() || !allStackObjectsAreDead(FrameInfo));
1011
1012 // VGPRs used for SGPR spilling need to be specially inserted in the prolog,
1013 // so don't allow the default insertion to handle them.
Matt Arsenault5b0922f2019-07-03 23:32:29 +00001014 for (auto SSpill : MFI->getSGPRSpillVGPRs())
Matt Arsenault71dfb7e2019-07-08 19:03:38 +00001015 SavedVGPRs.reset(SSpill.VGPR);
1016
1017 const bool HasFP = WillHaveFP || hasFP(MF);
1018 if (!HasFP)
1019 return;
1020
1021 if (MFI->haveFreeLanesForSGPRSpill(MF, 1)) {
1022 int NewFI = MF.getFrameInfo().CreateStackObject(4, 4, true, nullptr,
1023 TargetStackID::SGPRSpill);
1024
1025 // If there is already a VGPR with free lanes, use it. We may already have
1026 // to pay the penalty for spilling a CSR VGPR.
1027 if (!MFI->allocateSGPRSpillToVGPR(MF, NewFI))
1028 llvm_unreachable("allocate SGPR spill should have worked");
1029
1030 MFI->FramePointerSaveIndex = NewFI;
1031
1032 LLVM_DEBUG(
1033 auto Spill = MFI->getSGPRToVGPRSpills(NewFI).front();
1034 dbgs() << "Spilling FP to " << printReg(Spill.VGPR, TRI)
1035 << ':' << Spill.Lane << '\n');
1036 return;
1037 }
1038
1039 MFI->SGPRForFPSaveRestoreCopy = findUnusedSGPRNonCalleeSaved(MF.getRegInfo());
1040
1041 if (!MFI->SGPRForFPSaveRestoreCopy) {
1042 // There's no free lane to spill, and no free register to save FP, so we're
1043 // forced to spill another VGPR to use for the spill.
1044 int NewFI = MF.getFrameInfo().CreateStackObject(4, 4, true, nullptr,
1045 TargetStackID::SGPRSpill);
1046 if (!MFI->allocateSGPRSpillToVGPR(MF, NewFI))
1047 llvm_unreachable("allocate SGPR spill should have worked");
1048 MFI->FramePointerSaveIndex = NewFI;
1049
1050 LLVM_DEBUG(
1051 auto Spill = MFI->getSGPRToVGPRSpills(NewFI).front();
1052 dbgs() << "FP requires fallback spill to " << printReg(Spill.VGPR, TRI)
1053 << ':' << Spill.Lane << '\n';);
1054 } else {
1055 LLVM_DEBUG(dbgs() << "Saving FP with copy to " <<
1056 printReg(MFI->SGPRForFPSaveRestoreCopy, TRI) << '\n');
1057 }
Matt Arsenault5b0922f2019-07-03 23:32:29 +00001058}
1059
1060void SIFrameLowering::determineCalleeSavesSGPR(MachineFunction &MF,
1061 BitVector &SavedRegs,
1062 RegScavenger *RS) const {
1063 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
Matt Arsenaultecb43ef2017-09-13 23:47:01 +00001064 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Michael Liao16d3c1a2019-07-11 23:53:30 +00001065 if (MFI->isEntryFunction())
1066 return;
Matt Arsenaultecb43ef2017-09-13 23:47:01 +00001067
Matt Arsenault5b0922f2019-07-03 23:32:29 +00001068 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
1069 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1070
Matt Arsenaultecb43ef2017-09-13 23:47:01 +00001071 // The SP is specifically managed and we don't want extra spills of it.
1072 SavedRegs.reset(MFI->getStackPtrOffsetReg());
Matt Arsenault5b0922f2019-07-03 23:32:29 +00001073 SavedRegs.clearBitsInMask(TRI->getAllVGPRRegMask());
Matt Arsenaultecb43ef2017-09-13 23:47:01 +00001074}
1075
Matt Arsenault71dfb7e2019-07-08 19:03:38 +00001076bool SIFrameLowering::assignCalleeSavedSpillSlots(
1077 MachineFunction &MF, const TargetRegisterInfo *TRI,
1078 std::vector<CalleeSavedInfo> &CSI) const {
1079 if (CSI.empty())
1080 return true; // Early exit if no callee saved registers are modified!
1081
1082 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
1083 if (!FuncInfo->SGPRForFPSaveRestoreCopy)
1084 return false;
1085
1086 for (auto &CS : CSI) {
1087 if (CS.getReg() == FuncInfo->getFrameOffsetReg()) {
1088 if (FuncInfo->SGPRForFPSaveRestoreCopy != AMDGPU::NoRegister)
1089 CS.setDstReg(FuncInfo->SGPRForFPSaveRestoreCopy);
1090 break;
1091 }
1092 }
1093
1094 return false;
1095}
1096
Matt Arsenaultb62a4eb2017-08-01 19:54:18 +00001097MachineBasicBlock::iterator SIFrameLowering::eliminateCallFramePseudoInstr(
1098 MachineFunction &MF,
1099 MachineBasicBlock &MBB,
1100 MachineBasicBlock::iterator I) const {
1101 int64_t Amount = I->getOperand(0).getImm();
1102 if (Amount == 0)
1103 return MBB.erase(I);
1104
Tom Stellard5bfbae52018-07-11 20:59:01 +00001105 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenaultb62a4eb2017-08-01 19:54:18 +00001106 const SIInstrInfo *TII = ST.getInstrInfo();
1107 const DebugLoc &DL = I->getDebugLoc();
1108 unsigned Opc = I->getOpcode();
1109 bool IsDestroy = Opc == TII->getCallFrameDestroyOpcode();
1110 uint64_t CalleePopAmount = IsDestroy ? I->getOperand(1).getImm() : 0;
1111
Matt Arsenault8fcc70f2019-06-25 20:53:35 +00001112 if (!hasReservedCallFrame(MF)) {
Matt Arsenaultb62a4eb2017-08-01 19:54:18 +00001113 unsigned Align = getStackAlignment();
1114
1115 Amount = alignTo(Amount, Align);
1116 assert(isUInt<32>(Amount) && "exceeded stack address space size");
1117 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
1118 unsigned SPReg = MFI->getStackPtrOffsetReg();
1119
1120 unsigned Op = IsDestroy ? AMDGPU::S_SUB_U32 : AMDGPU::S_ADD_U32;
1121 BuildMI(MBB, I, DL, TII->get(Op), SPReg)
1122 .addReg(SPReg)
1123 .addImm(Amount * ST.getWavefrontSize());
1124 } else if (CalleePopAmount != 0) {
1125 llvm_unreachable("is this used?");
1126 }
1127
1128 return MBB.erase(I);
1129}
1130
Matt Arsenaultf28683c2017-06-26 17:53:59 +00001131bool SIFrameLowering::hasFP(const MachineFunction &MF) const {
Matt Arsenaultf28683c2017-06-26 17:53:59 +00001132 const MachineFrameInfo &MFI = MF.getFrameInfo();
Matt Arsenaultb812b7a2019-06-05 22:20:47 +00001133 if (MFI.hasCalls()) {
1134 // All offsets are unsigned, so need to be addressed in the same direction
1135 // as stack growth.
Matt Arsenault71dfb7e2019-07-08 19:03:38 +00001136
1137 // FIXME: This function is pretty broken, since it can be called before the
1138 // frame layout is determined or CSR spills are inserted.
Matt Arsenaultb812b7a2019-06-05 22:20:47 +00001139 if (MFI.getStackSize() != 0)
1140 return true;
Matt Arsenaultf28683c2017-06-26 17:53:59 +00001141
Matt Arsenaultb812b7a2019-06-05 22:20:47 +00001142 // For the entry point, the input wave scratch offset must be copied to the
1143 // API SP if there are calls.
1144 if (MF.getInfo<SIMachineFunctionInfo>()->isEntryFunction())
1145 return true;
Matt Arsenaultb812b7a2019-06-05 22:20:47 +00001146 }
1147
1148 return MFI.hasVarSizedObjects() || MFI.isFrameAddressTaken() ||
1149 MFI.hasStackMap() || MFI.hasPatchPoint() ||
Matt Arsenault5dc457c2019-06-20 17:03:23 +00001150 MF.getSubtarget<GCNSubtarget>().getRegisterInfo()->needsStackRealignment(MF) ||
1151 MF.getTarget().Options.DisableFramePointerElim(MF);
Matt Arsenaultf28683c2017-06-26 17:53:59 +00001152}