blob: ed962ac38b82fb72e086747bd942e6bb27977a0d [file] [log] [blame]
Matt Arsenault0c90e952015-11-06 18:17:45 +00001//===----------------------- SIFrameLowering.cpp --------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//==-----------------------------------------------------------------------===//
9
10#include "SIFrameLowering.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000011#include "AMDGPUSubtarget.h"
Matt Arsenault0e3d3892015-11-30 21:15:53 +000012#include "SIInstrInfo.h"
13#include "SIMachineFunctionInfo.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000014#include "SIRegisterInfo.h"
Matt Arsenault43e92fe2016-06-24 06:30:11 +000015
Matt Arsenault0c90e952015-11-06 18:17:45 +000016#include "llvm/CodeGen/MachineFrameInfo.h"
17#include "llvm/CodeGen/MachineFunction.h"
Matt Arsenault0e3d3892015-11-30 21:15:53 +000018#include "llvm/CodeGen/MachineInstrBuilder.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000019#include "llvm/CodeGen/RegisterScavenging.h"
20
21using namespace llvm;
22
Matt Arsenault0e3d3892015-11-30 21:15:53 +000023
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000024static ArrayRef<MCPhysReg> getAllSGPR128(const SISubtarget &ST,
25 const MachineFunction &MF) {
Matt Arsenaultab3429c2016-05-18 15:19:50 +000026 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(),
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000027 ST.getMaxNumSGPRs(MF) / 4);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000028}
29
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000030static ArrayRef<MCPhysReg> getAllSGPRs(const SISubtarget &ST,
31 const MachineFunction &MF) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000032 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(),
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000033 ST.getMaxNumSGPRs(MF));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000034}
35
Matt Arsenaulte823d922017-02-18 18:29:53 +000036void SIFrameLowering::emitFlatScratchInit(const SISubtarget &ST,
Matt Arsenault57bc4322016-08-31 21:52:21 +000037 MachineFunction &MF,
38 MachineBasicBlock &MBB) const {
Matt Arsenaulte823d922017-02-18 18:29:53 +000039 const SIInstrInfo *TII = ST.getInstrInfo();
40 const SIRegisterInfo* TRI = &TII->getRegisterInfo();
41
Matt Arsenault57bc4322016-08-31 21:52:21 +000042 // We don't need this if we only have spills since there is no user facing
43 // scratch.
44
45 // TODO: If we know we don't have flat instructions earlier, we can omit
46 // this from the input registers.
47 //
48 // TODO: We only need to know if we access scratch space through a flat
49 // pointer. Because we only detect if flat instructions are used at all,
50 // this will be used more often than necessary on VI.
51
52 // Debug location must be unknown since the first debug location is used to
53 // determine the end of the prologue.
54 DebugLoc DL;
55 MachineBasicBlock::iterator I = MBB.begin();
56
57 unsigned FlatScratchInitReg
58 = TRI->getPreloadedValue(MF, SIRegisterInfo::FLAT_SCRATCH_INIT);
59
60 MachineRegisterInfo &MRI = MF.getRegInfo();
61 MRI.addLiveIn(FlatScratchInitReg);
62 MBB.addLiveIn(FlatScratchInitReg);
63
Matt Arsenault57bc4322016-08-31 21:52:21 +000064 unsigned FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0);
Matt Arsenaulte823d922017-02-18 18:29:53 +000065 unsigned FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1);
Matt Arsenault57bc4322016-08-31 21:52:21 +000066
67 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
68 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
69
Matt Arsenaulte823d922017-02-18 18:29:53 +000070 // Do a 64-bit pointer add.
71 if (ST.flatScratchIsPointer()) {
72 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), AMDGPU::FLAT_SCR_LO)
73 .addReg(FlatScrInitLo)
74 .addReg(ScratchWaveOffsetReg);
75 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADDC_U32), AMDGPU::FLAT_SCR_HI)
76 .addReg(FlatScrInitHi)
77 .addImm(0);
78
79 return;
80 }
81
82 // Copy the size in bytes.
83 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), AMDGPU::FLAT_SCR_LO)
84 .addReg(FlatScrInitHi, RegState::Kill);
85
Matt Arsenault57bc4322016-08-31 21:52:21 +000086 // Add wave offset in bytes to private base offset.
87 // See comment in AMDKernelCodeT.h for enable_sgpr_flat_scratch_init.
88 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo)
89 .addReg(FlatScrInitLo)
90 .addReg(ScratchWaveOffsetReg);
91
92 // Convert offset to 256-byte units.
93 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_LSHR_B32), AMDGPU::FLAT_SCR_HI)
94 .addReg(FlatScrInitLo, RegState::Kill)
95 .addImm(8);
96}
97
98unsigned SIFrameLowering::getReservedPrivateSegmentBufferReg(
99 const SISubtarget &ST,
100 const SIInstrInfo *TII,
101 const SIRegisterInfo *TRI,
102 SIMachineFunctionInfo *MFI,
103 MachineFunction &MF) const {
Matt Arsenaulte2218492017-04-24 21:08:32 +0000104 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000105
106 // We need to insert initialization of the scratch resource descriptor.
107 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
Matt Arsenaulte2218492017-04-24 21:08:32 +0000108 if (ScratchRsrcReg == AMDGPU::NoRegister ||
109 !MRI.isPhysRegUsed(ScratchRsrcReg))
Matt Arsenault08906a32016-10-28 19:43:31 +0000110 return AMDGPU::NoRegister;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000111
112 if (ST.hasSGPRInitBug() ||
113 ScratchRsrcReg != TRI->reservedPrivateSegmentBufferReg(MF))
114 return ScratchRsrcReg;
115
116 // We reserved the last registers for this. Shift it down to the end of those
117 // which were actually used.
118 //
119 // FIXME: It might be safer to use a pseudoregister before replacement.
120
121 // FIXME: We should be able to eliminate unused input registers. We only
122 // cannot do this for the resources required for scratch access. For now we
123 // skip over user SGPRs and may leave unused holes.
124
125 // We find the resource first because it has an alignment requirement.
126
Matt Arsenault08906a32016-10-28 19:43:31 +0000127 unsigned NumPreloaded = (MFI->getNumPreloadedSGPRs() + 3) / 4;
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000128 ArrayRef<MCPhysReg> AllSGPR128s = getAllSGPR128(ST, MF);
Matt Arsenault08906a32016-10-28 19:43:31 +0000129 AllSGPR128s = AllSGPR128s.slice(std::min(static_cast<unsigned>(AllSGPR128s.size()), NumPreloaded));
130
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000131 // Skip the last N reserved elements because they should have already been
132 // reserved for VCC etc.
Matt Arsenault08906a32016-10-28 19:43:31 +0000133 for (MCPhysReg Reg : AllSGPR128s) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000134 // Pick the first unallocated one. Make sure we don't clobber the other
135 // reserved input we needed.
Matt Arsenault08906a32016-10-28 19:43:31 +0000136 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000137 MRI.replaceRegWith(ScratchRsrcReg, Reg);
138 MFI->setScratchRSrcReg(Reg);
139 return Reg;
140 }
141 }
142
143 return ScratchRsrcReg;
144}
145
Matt Arsenault36c31222017-04-25 23:40:57 +0000146// Shift down registers reserved for the scratch wave offset and stack pointer
147// SGPRs.
148std::pair<unsigned, unsigned>
149SIFrameLowering::getReservedPrivateSegmentWaveByteOffsetReg(
Matt Arsenault57bc4322016-08-31 21:52:21 +0000150 const SISubtarget &ST,
151 const SIInstrInfo *TII,
152 const SIRegisterInfo *TRI,
153 SIMachineFunctionInfo *MFI,
154 MachineFunction &MF) const {
Matt Arsenaulte2218492017-04-24 21:08:32 +0000155 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000156 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
Matt Arsenaulte2218492017-04-24 21:08:32 +0000157
158 // No replacement necessary.
159 if (ScratchWaveOffsetReg == AMDGPU::NoRegister ||
Matt Arsenault36c31222017-04-25 23:40:57 +0000160 !MRI.isPhysRegUsed(ScratchWaveOffsetReg)) {
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000161 assert(MFI->getStackPtrOffsetReg() == AMDGPU::SP_REG);
Matt Arsenault36c31222017-04-25 23:40:57 +0000162 return std::make_pair(AMDGPU::NoRegister, AMDGPU::NoRegister);
163 }
Matt Arsenaulte2218492017-04-24 21:08:32 +0000164
Matt Arsenault36c31222017-04-25 23:40:57 +0000165 unsigned SPReg = MFI->getStackPtrOffsetReg();
166 if (ST.hasSGPRInitBug())
167 return std::make_pair(ScratchWaveOffsetReg, SPReg);
Matt Arsenault57bc4322016-08-31 21:52:21 +0000168
Matt Arsenault57bc4322016-08-31 21:52:21 +0000169 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs();
170
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000171 ArrayRef<MCPhysReg> AllSGPRs = getAllSGPRs(ST, MF);
Matt Arsenault08906a32016-10-28 19:43:31 +0000172 if (NumPreloaded > AllSGPRs.size())
Matt Arsenault36c31222017-04-25 23:40:57 +0000173 return std::make_pair(ScratchWaveOffsetReg, SPReg);
Matt Arsenault08906a32016-10-28 19:43:31 +0000174
175 AllSGPRs = AllSGPRs.slice(NumPreloaded);
176
Matt Arsenault57bc4322016-08-31 21:52:21 +0000177 // We need to drop register from the end of the list that we cannot use
178 // for the scratch wave offset.
179 // + 2 s102 and s103 do not exist on VI.
180 // + 2 for vcc
181 // + 2 for xnack_mask
182 // + 2 for flat_scratch
183 // + 4 for registers reserved for scratch resource register
184 // + 1 for register reserved for scratch wave offset. (By exluding this
185 // register from the list to consider, it means that when this
186 // register is being used for the scratch wave offset and there
187 // are no other free SGPRs, then the value will stay in this register.
Matt Arsenault36c31222017-04-25 23:40:57 +0000188 // + 1 if stack pointer is used.
Matt Arsenault57bc4322016-08-31 21:52:21 +0000189 // ----
Matt Arsenault36c31222017-04-25 23:40:57 +0000190 // 13 (+1)
191 unsigned ReservedRegCount = 13;
Matt Arsenault08906a32016-10-28 19:43:31 +0000192
Matt Arsenault36c31222017-04-25 23:40:57 +0000193 if (AllSGPRs.size() < ReservedRegCount)
194 return std::make_pair(ScratchWaveOffsetReg, SPReg);
195
196 bool HandledScratchWaveOffsetReg =
197 ScratchWaveOffsetReg != TRI->reservedPrivateSegmentWaveByteOffsetReg(MF);
198
199 for (MCPhysReg Reg : AllSGPRs.drop_back(ReservedRegCount)) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000200 // Pick the first unallocated SGPR. Be careful not to pick an alias of the
201 // scratch descriptor, since we haven’t added its uses yet.
Matt Arsenaulte2218492017-04-24 21:08:32 +0000202 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) {
Matt Arsenault36c31222017-04-25 23:40:57 +0000203 if (!HandledScratchWaveOffsetReg) {
204 HandledScratchWaveOffsetReg = true;
205
206 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg);
207 MFI->setScratchWaveOffsetReg(Reg);
208 ScratchWaveOffsetReg = Reg;
Matt Arsenault36c31222017-04-25 23:40:57 +0000209 break;
210 }
Matt Arsenault57bc4322016-08-31 21:52:21 +0000211 }
212 }
213
Matt Arsenault36c31222017-04-25 23:40:57 +0000214 return std::make_pair(ScratchWaveOffsetReg, SPReg);
Matt Arsenault57bc4322016-08-31 21:52:21 +0000215}
216
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000217void SIFrameLowering::emitEntryFunctionPrologue(MachineFunction &MF,
218 MachineBasicBlock &MBB) const {
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000219 // Emit debugger prologue if "amdgpu-debugger-emit-prologue" attribute was
220 // specified.
221 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000222 auto AMDGPUASI = ST.getAMDGPUAS();
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 Arsenault57bc4322016-08-31 21:52:21 +0000239
Matt Arsenault08906a32016-10-28 19:43:31 +0000240 // We need to do the replacement of the private segment buffer and wave offset
241 // register even if there are no stack objects. There could be stores to undef
242 // or a constant without an associated object.
243
244 // FIXME: We still have implicit uses on SGPR spill instructions in case they
245 // need to spill to vector memory. It's likely that will not happen, but at
246 // this point it appears we need the setup. This part of the prolog should be
247 // emitted after frame indices are eliminated.
248
249 if (MF.getFrameInfo().hasStackObjects() && MFI->hasFlatScratchInit())
Matt Arsenaulte823d922017-02-18 18:29:53 +0000250 emitFlatScratchInit(ST, MF, MBB);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000251
Matt Arsenault36c31222017-04-25 23:40:57 +0000252 unsigned SPReg = MFI->getStackPtrOffsetReg();
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000253 if (SPReg != AMDGPU::SP_REG) {
254 assert(MRI.isReserved(SPReg) && "SPReg used but not reserved");
255
Matt Arsenault36c31222017-04-25 23:40:57 +0000256 DebugLoc DL;
257 int64_t StackSize = MF.getFrameInfo().getStackSize();
258
259 if (StackSize == 0) {
260 BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::COPY), SPReg)
261 .addReg(MFI->getScratchWaveOffsetReg());
262 } else {
263 BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::S_ADD_U32), SPReg)
264 .addReg(MFI->getScratchWaveOffsetReg())
265 .addImm(StackSize * ST.getWavefrontSize());
266 }
267 }
268
Matt Arsenaulte2218492017-04-24 21:08:32 +0000269 unsigned ScratchRsrcReg
270 = getReservedPrivateSegmentBufferReg(ST, TII, TRI, MFI, MF);
Matt Arsenault36c31222017-04-25 23:40:57 +0000271
272 unsigned ScratchWaveOffsetReg;
273 std::tie(ScratchWaveOffsetReg, SPReg)
Matt Arsenaulte2218492017-04-24 21:08:32 +0000274 = getReservedPrivateSegmentWaveByteOffsetReg(ST, TII, TRI, MFI, MF);
275
276 // It's possible to have uses of only ScratchWaveOffsetReg without
277 // ScratchRsrcReg if it's only used for the initialization of flat_scratch,
278 // but the inverse is not true.
279 if (ScratchWaveOffsetReg == AMDGPU::NoRegister) {
280 assert(ScratchRsrcReg == AMDGPU::NoRegister);
281 return;
282 }
283
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000284 // We need to insert initialization of the scratch resource descriptor.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000285 unsigned PreloadedScratchWaveOffsetReg = TRI->getPreloadedValue(
286 MF, SIRegisterInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET);
287
288 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister;
Matt Arsenault10fc0622017-06-26 03:01:31 +0000289 if (ST.isAmdCodeObjectV2(MF)) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000290 PreloadedPrivateBufferReg = TRI->getPreloadedValue(
291 MF, SIRegisterInfo::PRIVATE_SEGMENT_BUFFER);
292 }
293
Matt Arsenaulte2218492017-04-24 21:08:32 +0000294 bool OffsetRegUsed = MRI.isPhysRegUsed(ScratchWaveOffsetReg);
295 bool ResourceRegUsed = ScratchRsrcReg != AMDGPU::NoRegister &&
296 MRI.isPhysRegUsed(ScratchRsrcReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000297
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000298 // We added live-ins during argument lowering, but since they were not used
299 // they were deleted. We're adding the uses now, so add them back.
Matt Arsenault08906a32016-10-28 19:43:31 +0000300 if (OffsetRegUsed) {
301 assert(PreloadedScratchWaveOffsetReg != AMDGPU::NoRegister &&
302 "scratch wave offset input is required");
303 MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
304 MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
305 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000306
Matt Arsenault08906a32016-10-28 19:43:31 +0000307 if (ResourceRegUsed && PreloadedPrivateBufferReg != AMDGPU::NoRegister) {
Tom Stellard2f3f9852017-01-25 01:25:13 +0000308 assert(ST.isAmdCodeObjectV2(MF) || ST.isMesaGfxShader(MF));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000309 MRI.addLiveIn(PreloadedPrivateBufferReg);
310 MBB.addLiveIn(PreloadedPrivateBufferReg);
311 }
312
Matt Arsenault57bc4322016-08-31 21:52:21 +0000313 // Make the register selected live throughout the function.
314 for (MachineBasicBlock &OtherBB : MF) {
315 if (&OtherBB == &MBB)
316 continue;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000317
Matt Arsenault08906a32016-10-28 19:43:31 +0000318 if (OffsetRegUsed)
319 OtherBB.addLiveIn(ScratchWaveOffsetReg);
320
321 if (ResourceRegUsed)
322 OtherBB.addLiveIn(ScratchRsrcReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000323 }
324
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000325 DebugLoc DL;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000326 MachineBasicBlock::iterator I = MBB.begin();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000327
Matt Arsenault08906a32016-10-28 19:43:31 +0000328 // If we reserved the original input registers, we don't need to copy to the
329 // reserved registers.
330
331 bool CopyBuffer = ResourceRegUsed &&
332 PreloadedPrivateBufferReg != AMDGPU::NoRegister &&
Tom Stellard2f3f9852017-01-25 01:25:13 +0000333 ST.isAmdCodeObjectV2(MF) &&
Matt Arsenault08906a32016-10-28 19:43:31 +0000334 ScratchRsrcReg != PreloadedPrivateBufferReg;
335
336 // This needs to be careful of the copying order to avoid overwriting one of
337 // the input registers before it's been copied to it's final
338 // destination. Usually the offset should be copied first.
339 bool CopyBufferFirst = TRI->isSubRegisterEq(PreloadedPrivateBufferReg,
340 ScratchWaveOffsetReg);
341 if (CopyBuffer && CopyBufferFirst) {
342 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
343 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
344 }
345
346 if (OffsetRegUsed &&
347 PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) {
Matt Arsenault1d215172016-08-31 21:52:25 +0000348 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchWaveOffsetReg)
Marek Olsak584d2c02017-05-04 22:25:20 +0000349 .addReg(PreloadedScratchWaveOffsetReg,
350 MRI.isPhysRegUsed(ScratchWaveOffsetReg) ? 0 : RegState::Kill);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000351 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000352
Matt Arsenault08906a32016-10-28 19:43:31 +0000353 if (CopyBuffer && !CopyBufferFirst) {
Matt Arsenault1d215172016-08-31 21:52:25 +0000354 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
355 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
Matt Arsenault08906a32016-10-28 19:43:31 +0000356 }
357
Tom Stellard2f3f9852017-01-25 01:25:13 +0000358 if (ResourceRegUsed && (ST.isMesaGfxShader(MF) || (PreloadedPrivateBufferReg == AMDGPU::NoRegister))) {
359 assert(!ST.isAmdCodeObjectV2(MF));
Matt Arsenault1d215172016-08-31 21:52:25 +0000360 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
361
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000362 unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
363 unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
364
365 // Use relocations to get the pointer, and setup the other bits manually.
366 uint64_t Rsrc23 = TII->getScratchRsrcWords23();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000367
Matt Arsenault10fc0622017-06-26 03:01:31 +0000368 if (MFI->hasImplicitBufferPtr()) {
Tom Stellard2f3f9852017-01-25 01:25:13 +0000369 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
370
371 if (AMDGPU::isCompute(MF.getFunction()->getCallingConv())) {
372 const MCInstrDesc &Mov64 = TII->get(AMDGPU::S_MOV_B64);
373
374 BuildMI(MBB, I, DL, Mov64, Rsrc01)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000375 .addReg(MFI->getImplicitBufferPtrUserSGPR())
Tom Stellard2f3f9852017-01-25 01:25:13 +0000376 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
377 } else {
378 const MCInstrDesc &LoadDwordX2 = TII->get(AMDGPU::S_LOAD_DWORDX2_IMM);
379
380 PointerType *PtrTy =
381 PointerType::get(Type::getInt64Ty(MF.getFunction()->getContext()),
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000382 AMDGPUASI.CONSTANT_ADDRESS);
Tom Stellard2f3f9852017-01-25 01:25:13 +0000383 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy));
384 auto MMO = MF.getMachineMemOperand(PtrInfo,
385 MachineMemOperand::MOLoad |
386 MachineMemOperand::MOInvariant |
387 MachineMemOperand::MODereferenceable,
388 0, 0);
389 BuildMI(MBB, I, DL, LoadDwordX2, Rsrc01)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000390 .addReg(MFI->getImplicitBufferPtrUserSGPR())
Tom Stellard2f3f9852017-01-25 01:25:13 +0000391 .addImm(0) // offset
392 .addImm(0) // glc
393 .addMemOperand(MMO)
394 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
395 }
396 } else {
397 unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
398 unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
399
400 BuildMI(MBB, I, DL, SMovB32, Rsrc0)
401 .addExternalSymbol("SCRATCH_RSRC_DWORD0")
402 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
403
404 BuildMI(MBB, I, DL, SMovB32, Rsrc1)
405 .addExternalSymbol("SCRATCH_RSRC_DWORD1")
406 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
407
408 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000409
410 BuildMI(MBB, I, DL, SMovB32, Rsrc2)
411 .addImm(Rsrc23 & 0xffffffff)
412 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
413
414 BuildMI(MBB, I, DL, SMovB32, Rsrc3)
415 .addImm(Rsrc23 >> 32)
416 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
417 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000418}
419
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000420void SIFrameLowering::emitPrologue(MachineFunction &MF,
421 MachineBasicBlock &MBB) const {
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000422 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
423 if (FuncInfo->isEntryFunction()) {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000424 emitEntryFunctionPrologue(MF, MBB);
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000425 return;
426 }
427
428 const MachineFrameInfo &MFI = MF.getFrameInfo();
429 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
430 const SIInstrInfo *TII = ST.getInstrInfo();
431
432 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg();
433 unsigned FramePtrReg = FuncInfo->getFrameOffsetReg();
434
435 MachineBasicBlock::iterator MBBI = MBB.begin();
436 DebugLoc DL;
437
438 bool NeedFP = hasFP(MF);
439 if (NeedFP) {
440 // If we need a base pointer, set it up here. It's whatever the value of
441 // the stack pointer is at this point. Any variable size objects will be
442 // allocated after this, so we can still use the base pointer to reference
443 // locals.
444 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::COPY), FramePtrReg)
445 .addReg(StackPtrReg)
446 .setMIFlag(MachineInstr::FrameSetup);
447 }
448
449 uint32_t NumBytes = MFI.getStackSize();
450 if (NumBytes != 0 && hasSP(MF)) {
451 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), StackPtrReg)
452 .addReg(StackPtrReg)
453 .addImm(NumBytes * ST.getWavefrontSize())
454 .setMIFlag(MachineInstr::FrameSetup);
455 }
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000456}
457
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000458void SIFrameLowering::emitEpilogue(MachineFunction &MF,
459 MachineBasicBlock &MBB) const {
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000460 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
461 if (FuncInfo->isEntryFunction())
462 return;
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000463
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000464 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg();
465 if (StackPtrReg == AMDGPU::NoRegister)
466 return;
467
468 const MachineFrameInfo &MFI = MF.getFrameInfo();
469 uint32_t NumBytes = MFI.getStackSize();
470
471 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
472 const SIInstrInfo *TII = ST.getInstrInfo();
473 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
474 DebugLoc DL;
475
476 // FIXME: Clarify distinction between no set SP and SP. For callee functions,
477 // it's really whether we need SP to be accurate or not.
478
479 if (NumBytes != 0 && hasSP(MF)) {
480 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_SUB_U32), StackPtrReg)
481 .addReg(StackPtrReg)
482 .addImm(NumBytes * ST.getWavefrontSize())
483 .setMIFlag(MachineInstr::FrameDestroy);
484 }
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000485}
486
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000487static bool allStackObjectsAreDead(const MachineFrameInfo &MFI) {
488 for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd();
489 I != E; ++I) {
490 if (!MFI.isDeadObjectIndex(I))
491 return false;
492 }
493
494 return true;
495}
496
Konstantin Zhuravlyovffdb00e2017-03-10 19:39:07 +0000497int SIFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
498 unsigned &FrameReg) const {
499 const SIRegisterInfo *RI = MF.getSubtarget<SISubtarget>().getRegisterInfo();
500
501 FrameReg = RI->getFrameRegister(MF);
502 return MF.getFrameInfo().getObjectOffset(FI);
503}
504
Matt Arsenault0c90e952015-11-06 18:17:45 +0000505void SIFrameLowering::processFunctionBeforeFrameFinalized(
506 MachineFunction &MF,
507 RegScavenger *RS) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000508 MachineFrameInfo &MFI = MF.getFrameInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000509
Matthias Braun941a7052016-07-28 18:40:00 +0000510 if (!MFI.hasStackObjects())
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000511 return;
512
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000513 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
514 const SIInstrInfo *TII = ST.getInstrInfo();
515 const SIRegisterInfo &TRI = TII->getRegisterInfo();
516 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
517 bool AllSGPRSpilledToVGPRs = false;
518
519 if (TRI.spillSGPRToVGPR() && FuncInfo->hasSpilledSGPRs()) {
520 AllSGPRSpilledToVGPRs = true;
521
522 // Process all SGPR spills before frame offsets are finalized. Ideally SGPRs
523 // are spilled to VGPRs, in which case we can eliminate the stack usage.
524 //
525 // XXX - This operates under the assumption that only other SGPR spills are
526 // users of the frame index. I'm not 100% sure this is correct. The
527 // StackColoring pass has a comment saying a future improvement would be to
528 // merging of allocas with spill slots, but for now according to
529 // MachineFrameInfo isSpillSlot can't alias any other object.
530 for (MachineBasicBlock &MBB : MF) {
531 MachineBasicBlock::iterator Next;
532 for (auto I = MBB.begin(), E = MBB.end(); I != E; I = Next) {
533 MachineInstr &MI = *I;
534 Next = std::next(I);
535
536 if (TII->isSGPRSpill(MI)) {
537 int FI = TII->getNamedOperand(MI, AMDGPU::OpName::addr)->getIndex();
538 if (FuncInfo->allocateSGPRSpillToVGPR(MF, FI)) {
539 bool Spilled = TRI.eliminateSGPRToVGPRSpillFrameIndex(MI, FI, RS);
540 (void)Spilled;
541 assert(Spilled && "failed to spill SGPR to VGPR when allocated");
542 } else
543 AllSGPRSpilledToVGPRs = false;
544 }
545 }
546 }
547
548 FuncInfo->removeSGPRToVGPRFrameIndices(MFI);
549 }
550
551 // FIXME: The other checks should be redundant with allStackObjectsAreDead,
552 // but currently hasNonSpillStackObjects is set only from source
553 // allocas. Stack temps produced from legalization are not counted currently.
554 if (FuncInfo->hasNonSpillStackObjects() || FuncInfo->hasSpilledVGPRs() ||
555 !AllSGPRSpilledToVGPRs || !allStackObjectsAreDead(MFI)) {
556 assert(RS && "RegScavenger required if spilling");
557
Matt Arsenault707780b2017-02-22 21:05:25 +0000558 // We force this to be at offset 0 so no user object ever has 0 as an
559 // address, so we may use 0 as an invalid pointer value. This is because
560 // LLVM assumes 0 is an invalid pointer in address space 0. Because alloca
561 // is required to be address space 0, we are forced to accept this for
562 // now. Ideally we could have the stack in another address space with 0 as a
563 // valid pointer, and -1 as the null value.
564 //
565 // This will also waste additional space when user stack objects require > 4
566 // byte alignment.
567 //
568 // The main cost here is losing the offset for addressing modes. However
569 // this also ensures we shouldn't need a register for the offset when
570 // emergency scavenging.
571 int ScavengeFI = MFI.CreateFixedObject(
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000572 TRI.getSpillSize(AMDGPU::SGPR_32RegClass), 0, false);
Matt Arsenault707780b2017-02-22 21:05:25 +0000573 RS->addScavengingFrameIndex(ScavengeFI);
574 }
Matt Arsenault0c90e952015-11-06 18:17:45 +0000575}
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000576
577void SIFrameLowering::emitDebuggerPrologue(MachineFunction &MF,
578 MachineBasicBlock &MBB) const {
579 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
580 const SIInstrInfo *TII = ST.getInstrInfo();
581 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
582 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
583
584 MachineBasicBlock::iterator I = MBB.begin();
585 DebugLoc DL;
586
587 // For each dimension:
588 for (unsigned i = 0; i < 3; ++i) {
589 // Get work group ID SGPR, and make it live-in again.
590 unsigned WorkGroupIDSGPR = MFI->getWorkGroupIDSGPR(i);
591 MF.getRegInfo().addLiveIn(WorkGroupIDSGPR);
592 MBB.addLiveIn(WorkGroupIDSGPR);
593
594 // Since SGPRs are spilled into VGPRs, copy work group ID SGPR to VGPR in
595 // order to spill it to scratch.
596 unsigned WorkGroupIDVGPR =
597 MF.getRegInfo().createVirtualRegister(&AMDGPU::VGPR_32RegClass);
598 BuildMI(MBB, I, DL, TII->get(AMDGPU::V_MOV_B32_e32), WorkGroupIDVGPR)
599 .addReg(WorkGroupIDSGPR);
600
601 // Spill work group ID.
602 int WorkGroupIDObjectIdx = MFI->getDebuggerWorkGroupIDStackObjectIndex(i);
603 TII->storeRegToStackSlot(MBB, I, WorkGroupIDVGPR, false,
604 WorkGroupIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
605
606 // Get work item ID VGPR, and make it live-in again.
607 unsigned WorkItemIDVGPR = MFI->getWorkItemIDVGPR(i);
608 MF.getRegInfo().addLiveIn(WorkItemIDVGPR);
609 MBB.addLiveIn(WorkItemIDVGPR);
610
611 // Spill work item ID.
612 int WorkItemIDObjectIdx = MFI->getDebuggerWorkItemIDStackObjectIndex(i);
613 TII->storeRegToStackSlot(MBB, I, WorkItemIDVGPR, false,
614 WorkItemIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
615 }
616}
Matt Arsenaultf28683c2017-06-26 17:53:59 +0000617
618bool SIFrameLowering::hasFP(const MachineFunction &MF) const {
619 // All stack operations are relative to the frame offset SGPR.
620 // TODO: Still want to eliminate sometimes.
621 const MachineFrameInfo &MFI = MF.getFrameInfo();
622
623 // XXX - Is this only called after frame is finalized? Should be able to check
624 // frame size.
625 return MFI.hasStackObjects() && !allStackObjectsAreDead(MFI);
626}
627
628bool SIFrameLowering::hasSP(const MachineFunction &MF) const {
629 // All stack operations are relative to the frame offset SGPR.
630 const MachineFrameInfo &MFI = MF.getFrameInfo();
631 return MFI.hasCalls() || MFI.hasVarSizedObjects();
632}