1 //===----------------------- 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"
11 #include "AMDGPUSubtarget.h"
12 #include "SIInstrInfo.h"
13 #include "SIMachineFunctionInfo.h"
14 #include "SIRegisterInfo.h"
15 
16 #include "llvm/CodeGen/MachineFrameInfo.h"
17 #include "llvm/CodeGen/MachineFunction.h"
18 #include "llvm/CodeGen/MachineInstrBuilder.h"
19 #include "llvm/CodeGen/RegisterScavenging.h"
20 
21 using namespace llvm;
22 
23 
24 static ArrayRef<MCPhysReg> getAllSGPR128(const SISubtarget &ST,
25                                          const MachineFunction &MF) {
26   return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(),
27                       ST.getMaxNumSGPRs(MF) / 4);
28 }
29 
30 static ArrayRef<MCPhysReg> getAllSGPRs(const SISubtarget &ST,
31                                        const MachineFunction &MF) {
32   return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(),
33                       ST.getMaxNumSGPRs(MF));
34 }
35 
36 void SIFrameLowering::emitFlatScratchInit(const SISubtarget &ST,
37                                           MachineFunction &MF,
38                                           MachineBasicBlock &MBB) const {
39   const SIInstrInfo *TII = ST.getInstrInfo();
40   const SIRegisterInfo* TRI = &TII->getRegisterInfo();
41   const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
42 
43   // We don't need this if we only have spills since there is no user facing
44   // scratch.
45 
46   // TODO: If we know we don't have flat instructions earlier, we can omit
47   // this from the input registers.
48   //
49   // TODO: We only need to know if we access scratch space through a flat
50   // pointer. Because we only detect if flat instructions are used at all,
51   // this will be used more often than necessary on VI.
52 
53   // Debug location must be unknown since the first debug location is used to
54   // determine the end of the prologue.
55   DebugLoc DL;
56   MachineBasicBlock::iterator I = MBB.begin();
57 
58   unsigned FlatScratchInitReg
59     = MFI->getPreloadedReg(AMDGPUFunctionArgInfo::FLAT_SCRATCH_INIT);
60 
61   MachineRegisterInfo &MRI = MF.getRegInfo();
62   MRI.addLiveIn(FlatScratchInitReg);
63   MBB.addLiveIn(FlatScratchInitReg);
64 
65   unsigned FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0);
66   unsigned FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1);
67 
68   unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
69 
70   // 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 
86   // 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 
98 unsigned SIFrameLowering::getReservedPrivateSegmentBufferReg(
99   const SISubtarget &ST,
100   const SIInstrInfo *TII,
101   const SIRegisterInfo *TRI,
102   SIMachineFunctionInfo *MFI,
103   MachineFunction &MF) const {
104   MachineRegisterInfo &MRI = MF.getRegInfo();
105 
106   // We need to insert initialization of the scratch resource descriptor.
107   unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
108   if (ScratchRsrcReg == AMDGPU::NoRegister ||
109       !MRI.isPhysRegUsed(ScratchRsrcReg))
110     return AMDGPU::NoRegister;
111 
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 
127   unsigned NumPreloaded = (MFI->getNumPreloadedSGPRs() + 3) / 4;
128   ArrayRef<MCPhysReg> AllSGPR128s = getAllSGPR128(ST, MF);
129   AllSGPR128s = AllSGPR128s.slice(std::min(static_cast<unsigned>(AllSGPR128s.size()), NumPreloaded));
130 
131   // Skip the last N reserved elements because they should have already been
132   // reserved for VCC etc.
133   for (MCPhysReg Reg : AllSGPR128s) {
134     // Pick the first unallocated one. Make sure we don't clobber the other
135     // reserved input we needed.
136     if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) {
137       MRI.replaceRegWith(ScratchRsrcReg, Reg);
138       MFI->setScratchRSrcReg(Reg);
139       return Reg;
140     }
141   }
142 
143   return ScratchRsrcReg;
144 }
145 
146 // Shift down registers reserved for the scratch wave offset and stack pointer
147 // SGPRs.
148 std::pair<unsigned, unsigned>
149 SIFrameLowering::getReservedPrivateSegmentWaveByteOffsetReg(
150   const SISubtarget &ST,
151   const SIInstrInfo *TII,
152   const SIRegisterInfo *TRI,
153   SIMachineFunctionInfo *MFI,
154   MachineFunction &MF) const {
155   MachineRegisterInfo &MRI = MF.getRegInfo();
156   unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
157 
158   // No replacement necessary.
159   if (ScratchWaveOffsetReg == AMDGPU::NoRegister ||
160       !MRI.isPhysRegUsed(ScratchWaveOffsetReg)) {
161     assert(MFI->getStackPtrOffsetReg() == AMDGPU::SP_REG);
162     return std::make_pair(AMDGPU::NoRegister, AMDGPU::NoRegister);
163   }
164 
165   unsigned SPReg = MFI->getStackPtrOffsetReg();
166   if (ST.hasSGPRInitBug())
167     return std::make_pair(ScratchWaveOffsetReg, SPReg);
168 
169   unsigned NumPreloaded = MFI->getNumPreloadedSGPRs();
170 
171   ArrayRef<MCPhysReg> AllSGPRs = getAllSGPRs(ST, MF);
172   if (NumPreloaded > AllSGPRs.size())
173     return std::make_pair(ScratchWaveOffsetReg, SPReg);
174 
175   AllSGPRs = AllSGPRs.slice(NumPreloaded);
176 
177   // 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.
188   // + 1 if stack pointer is used.
189   // ----
190   //  13 (+1)
191   unsigned ReservedRegCount = 13;
192 
193   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)) {
200     // 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.
202     if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) {
203       if (!HandledScratchWaveOffsetReg) {
204         HandledScratchWaveOffsetReg = true;
205 
206         MRI.replaceRegWith(ScratchWaveOffsetReg, Reg);
207         MFI->setScratchWaveOffsetReg(Reg);
208         ScratchWaveOffsetReg = Reg;
209         break;
210       }
211     }
212   }
213 
214   return std::make_pair(ScratchWaveOffsetReg, SPReg);
215 }
216 
217 void SIFrameLowering::emitEntryFunctionPrologue(MachineFunction &MF,
218                                                 MachineBasicBlock &MBB) const {
219   // Emit debugger prologue if "amdgpu-debugger-emit-prologue" attribute was
220   // specified.
221   const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
222   auto AMDGPUASI = ST.getAMDGPUAS();
223   if (ST.debuggerEmitPrologue())
224     emitDebuggerPrologue(MF, MBB);
225 
226   assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
227 
228   SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
229 
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.
235 
236   const SIInstrInfo *TII = ST.getInstrInfo();
237   const SIRegisterInfo *TRI = &TII->getRegisterInfo();
238   MachineRegisterInfo &MRI = MF.getRegInfo();
239 
240   // 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 (MFI->hasFlatScratchInit())
250     emitFlatScratchInit(ST, MF, MBB);
251 
252   unsigned SPReg = MFI->getStackPtrOffsetReg();
253   if (SPReg != AMDGPU::SP_REG) {
254     assert(MRI.isReserved(SPReg) && "SPReg used but not reserved");
255 
256     DebugLoc DL;
257     const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
258     int64_t StackSize = FrameInfo.getStackSize();
259 
260     if (StackSize == 0) {
261       BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::COPY), SPReg)
262         .addReg(MFI->getScratchWaveOffsetReg());
263     } else {
264       BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::S_ADD_U32), SPReg)
265         .addReg(MFI->getScratchWaveOffsetReg())
266         .addImm(StackSize * ST.getWavefrontSize());
267     }
268   }
269 
270   unsigned ScratchRsrcReg
271     = getReservedPrivateSegmentBufferReg(ST, TII, TRI, MFI, MF);
272 
273   unsigned ScratchWaveOffsetReg;
274   std::tie(ScratchWaveOffsetReg, SPReg)
275     = getReservedPrivateSegmentWaveByteOffsetReg(ST, TII, TRI, MFI, MF);
276 
277   // It's possible to have uses of only ScratchWaveOffsetReg without
278   // ScratchRsrcReg if it's only used for the initialization of flat_scratch,
279   // but the inverse is not true.
280   if (ScratchWaveOffsetReg == AMDGPU::NoRegister) {
281     assert(ScratchRsrcReg == AMDGPU::NoRegister);
282     return;
283   }
284 
285   // We need to insert initialization of the scratch resource descriptor.
286   unsigned PreloadedScratchWaveOffsetReg = MFI->getPreloadedReg(
287     AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET);
288 
289   unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister;
290   if (ST.isAmdCodeObjectV2(MF)) {
291     PreloadedPrivateBufferReg = MFI->getPreloadedReg(
292       AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_BUFFER);
293   }
294 
295   bool OffsetRegUsed = MRI.isPhysRegUsed(ScratchWaveOffsetReg);
296   bool ResourceRegUsed = ScratchRsrcReg != AMDGPU::NoRegister &&
297                          MRI.isPhysRegUsed(ScratchRsrcReg);
298 
299   // We added live-ins during argument lowering, but since they were not used
300   // they were deleted. We're adding the uses now, so add them back.
301   if (OffsetRegUsed) {
302     assert(PreloadedScratchWaveOffsetReg != AMDGPU::NoRegister &&
303            "scratch wave offset input is required");
304     MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
305     MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
306   }
307 
308   if (ResourceRegUsed && PreloadedPrivateBufferReg != AMDGPU::NoRegister) {
309     assert(ST.isAmdCodeObjectV2(MF) || ST.isMesaGfxShader(MF));
310     MRI.addLiveIn(PreloadedPrivateBufferReg);
311     MBB.addLiveIn(PreloadedPrivateBufferReg);
312   }
313 
314   // Make the register selected live throughout the function.
315   for (MachineBasicBlock &OtherBB : MF) {
316     if (&OtherBB == &MBB)
317       continue;
318 
319     if (OffsetRegUsed)
320       OtherBB.addLiveIn(ScratchWaveOffsetReg);
321 
322     if (ResourceRegUsed)
323       OtherBB.addLiveIn(ScratchRsrcReg);
324   }
325 
326   DebugLoc DL;
327   MachineBasicBlock::iterator I = MBB.begin();
328 
329   // If we reserved the original input registers, we don't need to copy to the
330   // reserved registers.
331 
332   bool CopyBuffer = ResourceRegUsed &&
333     PreloadedPrivateBufferReg != AMDGPU::NoRegister &&
334     ST.isAmdCodeObjectV2(MF) &&
335     ScratchRsrcReg != PreloadedPrivateBufferReg;
336 
337   // This needs to be careful of the copying order to avoid overwriting one of
338   // the input registers before it's been copied to it's final
339   // destination. Usually the offset should be copied first.
340   bool CopyBufferFirst = TRI->isSubRegisterEq(PreloadedPrivateBufferReg,
341                                               ScratchWaveOffsetReg);
342   if (CopyBuffer && CopyBufferFirst) {
343     BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
344       .addReg(PreloadedPrivateBufferReg, RegState::Kill);
345   }
346 
347   if (OffsetRegUsed &&
348       PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) {
349     BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchWaveOffsetReg)
350       .addReg(PreloadedScratchWaveOffsetReg,
351               MRI.isPhysRegUsed(ScratchWaveOffsetReg) ? 0 : RegState::Kill);
352   }
353 
354   if (CopyBuffer && !CopyBufferFirst) {
355     BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
356       .addReg(PreloadedPrivateBufferReg, RegState::Kill);
357   }
358 
359   if (ResourceRegUsed && (ST.isMesaGfxShader(MF) || (PreloadedPrivateBufferReg == AMDGPU::NoRegister))) {
360     assert(!ST.isAmdCodeObjectV2(MF));
361     const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
362 
363     unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
364     unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
365 
366     // Use relocations to get the pointer, and setup the other bits manually.
367     uint64_t Rsrc23 = TII->getScratchRsrcWords23();
368 
369     if (MFI->hasImplicitBufferPtr()) {
370       unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
371 
372       if (AMDGPU::isCompute(MF.getFunction()->getCallingConv())) {
373         const MCInstrDesc &Mov64 = TII->get(AMDGPU::S_MOV_B64);
374 
375         BuildMI(MBB, I, DL, Mov64, Rsrc01)
376           .addReg(MFI->getImplicitBufferPtrUserSGPR())
377           .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
378       } else {
379         const MCInstrDesc &LoadDwordX2 = TII->get(AMDGPU::S_LOAD_DWORDX2_IMM);
380 
381         PointerType *PtrTy =
382           PointerType::get(Type::getInt64Ty(MF.getFunction()->getContext()),
383                            AMDGPUASI.CONSTANT_ADDRESS);
384         MachinePointerInfo PtrInfo(UndefValue::get(PtrTy));
385         auto MMO = MF.getMachineMemOperand(PtrInfo,
386                                            MachineMemOperand::MOLoad |
387                                            MachineMemOperand::MOInvariant |
388                                            MachineMemOperand::MODereferenceable,
389                                            0, 0);
390         BuildMI(MBB, I, DL, LoadDwordX2, Rsrc01)
391           .addReg(MFI->getImplicitBufferPtrUserSGPR())
392           .addImm(0) // offset
393           .addImm(0) // glc
394           .addMemOperand(MMO)
395           .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
396       }
397     } else {
398       unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
399       unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
400 
401       BuildMI(MBB, I, DL, SMovB32, Rsrc0)
402         .addExternalSymbol("SCRATCH_RSRC_DWORD0")
403         .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
404 
405       BuildMI(MBB, I, DL, SMovB32, Rsrc1)
406         .addExternalSymbol("SCRATCH_RSRC_DWORD1")
407         .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
408 
409     }
410 
411     BuildMI(MBB, I, DL, SMovB32, Rsrc2)
412       .addImm(Rsrc23 & 0xffffffff)
413       .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
414 
415     BuildMI(MBB, I, DL, SMovB32, Rsrc3)
416       .addImm(Rsrc23 >> 32)
417       .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
418   }
419 }
420 
421 void SIFrameLowering::emitPrologue(MachineFunction &MF,
422                                    MachineBasicBlock &MBB) const {
423   const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
424   if (FuncInfo->isEntryFunction()) {
425     emitEntryFunctionPrologue(MF, MBB);
426     return;
427   }
428 
429   const MachineFrameInfo &MFI = MF.getFrameInfo();
430   const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
431   const SIInstrInfo *TII = ST.getInstrInfo();
432 
433   unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg();
434   unsigned FramePtrReg = FuncInfo->getFrameOffsetReg();
435 
436   MachineBasicBlock::iterator MBBI = MBB.begin();
437   DebugLoc DL;
438 
439   bool NeedFP = hasFP(MF);
440   if (NeedFP) {
441     // If we need a base pointer, set it up here. It's whatever the value of
442     // the stack pointer is at this point. Any variable size objects will be
443     // allocated after this, so we can still use the base pointer to reference
444     // locals.
445     BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::COPY), FramePtrReg)
446       .addReg(StackPtrReg)
447       .setMIFlag(MachineInstr::FrameSetup);
448   }
449 
450   uint32_t NumBytes = MFI.getStackSize();
451   if (NumBytes != 0 && hasSP(MF)) {
452     BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), StackPtrReg)
453       .addReg(StackPtrReg)
454       .addImm(NumBytes * ST.getWavefrontSize())
455       .setMIFlag(MachineInstr::FrameSetup);
456   }
457 
458   for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg
459          : FuncInfo->getSGPRSpillVGPRs()) {
460     if (!Reg.FI.hasValue())
461       continue;
462     TII->storeRegToStackSlot(MBB, MBBI, Reg.VGPR, true,
463                              Reg.FI.getValue(), &AMDGPU::VGPR_32RegClass,
464                              &TII->getRegisterInfo());
465   }
466 }
467 
468 void SIFrameLowering::emitEpilogue(MachineFunction &MF,
469                                    MachineBasicBlock &MBB) const {
470   const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
471   if (FuncInfo->isEntryFunction())
472     return;
473 
474   const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
475   const SIInstrInfo *TII = ST.getInstrInfo();
476   MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
477 
478   for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg
479          : FuncInfo->getSGPRSpillVGPRs()) {
480     if (!Reg.FI.hasValue())
481       continue;
482     TII->loadRegFromStackSlot(MBB, MBBI, Reg.VGPR,
483                               Reg.FI.getValue(), &AMDGPU::VGPR_32RegClass,
484                               &TII->getRegisterInfo());
485   }
486 
487   unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg();
488   if (StackPtrReg == AMDGPU::NoRegister)
489     return;
490 
491   const MachineFrameInfo &MFI = MF.getFrameInfo();
492   uint32_t NumBytes = MFI.getStackSize();
493 
494   DebugLoc DL;
495 
496   // FIXME: Clarify distinction between no set SP and SP. For callee functions,
497   // it's really whether we need SP to be accurate or not.
498 
499   if (NumBytes != 0 && hasSP(MF)) {
500     BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_SUB_U32), StackPtrReg)
501       .addReg(StackPtrReg)
502       .addImm(NumBytes * ST.getWavefrontSize())
503       .setMIFlag(MachineInstr::FrameDestroy);
504   }
505 }
506 
507 static bool allStackObjectsAreDead(const MachineFrameInfo &MFI) {
508   for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd();
509        I != E; ++I) {
510     if (!MFI.isDeadObjectIndex(I))
511       return false;
512   }
513 
514   return true;
515 }
516 
517 int SIFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
518                                             unsigned &FrameReg) const {
519   const SIRegisterInfo *RI = MF.getSubtarget<SISubtarget>().getRegisterInfo();
520 
521   FrameReg = RI->getFrameRegister(MF);
522   return MF.getFrameInfo().getObjectOffset(FI);
523 }
524 
525 void SIFrameLowering::processFunctionBeforeFrameFinalized(
526   MachineFunction &MF,
527   RegScavenger *RS) const {
528   MachineFrameInfo &MFI = MF.getFrameInfo();
529 
530   if (!MFI.hasStackObjects())
531     return;
532 
533   const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
534   const SIInstrInfo *TII = ST.getInstrInfo();
535   const SIRegisterInfo &TRI = TII->getRegisterInfo();
536   SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
537   bool AllSGPRSpilledToVGPRs = false;
538 
539   if (TRI.spillSGPRToVGPR() && FuncInfo->hasSpilledSGPRs()) {
540     AllSGPRSpilledToVGPRs = true;
541 
542     // Process all SGPR spills before frame offsets are finalized. Ideally SGPRs
543     // are spilled to VGPRs, in which case we can eliminate the stack usage.
544     //
545     // XXX - This operates under the assumption that only other SGPR spills are
546     // users of the frame index. I'm not 100% sure this is correct. The
547     // StackColoring pass has a comment saying a future improvement would be to
548     // merging of allocas with spill slots, but for now according to
549     // MachineFrameInfo isSpillSlot can't alias any other object.
550     for (MachineBasicBlock &MBB : MF) {
551       MachineBasicBlock::iterator Next;
552       for (auto I = MBB.begin(), E = MBB.end(); I != E; I = Next) {
553         MachineInstr &MI = *I;
554         Next = std::next(I);
555 
556         if (TII->isSGPRSpill(MI)) {
557           int FI = TII->getNamedOperand(MI, AMDGPU::OpName::addr)->getIndex();
558           if (FuncInfo->allocateSGPRSpillToVGPR(MF, FI)) {
559             bool Spilled = TRI.eliminateSGPRToVGPRSpillFrameIndex(MI, FI, RS);
560             (void)Spilled;
561             assert(Spilled && "failed to spill SGPR to VGPR when allocated");
562           } else
563             AllSGPRSpilledToVGPRs = false;
564         }
565       }
566     }
567 
568     FuncInfo->removeSGPRToVGPRFrameIndices(MFI);
569   }
570 
571   // FIXME: The other checks should be redundant with allStackObjectsAreDead,
572   // but currently hasNonSpillStackObjects is set only from source
573   // allocas. Stack temps produced from legalization are not counted currently.
574   if (FuncInfo->hasNonSpillStackObjects() || FuncInfo->hasSpilledVGPRs() ||
575       !AllSGPRSpilledToVGPRs || !allStackObjectsAreDead(MFI)) {
576     assert(RS && "RegScavenger required if spilling");
577 
578     // We force this to be at offset 0 so no user object ever has 0 as an
579     // address, so we may use 0 as an invalid pointer value. This is because
580     // LLVM assumes 0 is an invalid pointer in address space 0. Because alloca
581     // is required to be address space 0, we are forced to accept this for
582     // now. Ideally we could have the stack in another address space with 0 as a
583     // valid pointer, and -1 as the null value.
584     //
585     // This will also waste additional space when user stack objects require > 4
586     // byte alignment.
587     //
588     // The main cost here is losing the offset for addressing modes. However
589     // this also ensures we shouldn't need a register for the offset when
590     // emergency scavenging.
591     int ScavengeFI = MFI.CreateFixedObject(
592       TRI.getSpillSize(AMDGPU::SGPR_32RegClass), 0, false);
593     RS->addScavengingFrameIndex(ScavengeFI);
594   }
595 }
596 
597 void SIFrameLowering::determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs,
598                                            RegScavenger *RS) const {
599   TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
600   const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
601 
602   // The SP is specifically managed and we don't want extra spills of it.
603   SavedRegs.reset(MFI->getStackPtrOffsetReg());
604 }
605 
606 MachineBasicBlock::iterator SIFrameLowering::eliminateCallFramePseudoInstr(
607   MachineFunction &MF,
608   MachineBasicBlock &MBB,
609   MachineBasicBlock::iterator I) const {
610   int64_t Amount = I->getOperand(0).getImm();
611   if (Amount == 0)
612     return MBB.erase(I);
613 
614   const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
615   const SIInstrInfo *TII = ST.getInstrInfo();
616   const DebugLoc &DL = I->getDebugLoc();
617   unsigned Opc = I->getOpcode();
618   bool IsDestroy = Opc == TII->getCallFrameDestroyOpcode();
619   uint64_t CalleePopAmount = IsDestroy ? I->getOperand(1).getImm() : 0;
620 
621   const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
622   if (!TFI->hasReservedCallFrame(MF)) {
623     unsigned Align = getStackAlignment();
624 
625     Amount = alignTo(Amount, Align);
626     assert(isUInt<32>(Amount) && "exceeded stack address space size");
627     const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
628     unsigned SPReg = MFI->getStackPtrOffsetReg();
629 
630     unsigned Op = IsDestroy ? AMDGPU::S_SUB_U32 : AMDGPU::S_ADD_U32;
631     BuildMI(MBB, I, DL, TII->get(Op), SPReg)
632       .addReg(SPReg)
633       .addImm(Amount * ST.getWavefrontSize());
634   } else if (CalleePopAmount != 0) {
635     llvm_unreachable("is this used?");
636   }
637 
638   return MBB.erase(I);
639 }
640 
641 void SIFrameLowering::emitDebuggerPrologue(MachineFunction &MF,
642                                            MachineBasicBlock &MBB) const {
643   const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
644   const SIInstrInfo *TII = ST.getInstrInfo();
645   const SIRegisterInfo *TRI = &TII->getRegisterInfo();
646   const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
647 
648   MachineBasicBlock::iterator I = MBB.begin();
649   DebugLoc DL;
650 
651   // For each dimension:
652   for (unsigned i = 0; i < 3; ++i) {
653     // Get work group ID SGPR, and make it live-in again.
654     unsigned WorkGroupIDSGPR = MFI->getWorkGroupIDSGPR(i);
655     MF.getRegInfo().addLiveIn(WorkGroupIDSGPR);
656     MBB.addLiveIn(WorkGroupIDSGPR);
657 
658     // Since SGPRs are spilled into VGPRs, copy work group ID SGPR to VGPR in
659     // order to spill it to scratch.
660     unsigned WorkGroupIDVGPR =
661       MF.getRegInfo().createVirtualRegister(&AMDGPU::VGPR_32RegClass);
662     BuildMI(MBB, I, DL, TII->get(AMDGPU::V_MOV_B32_e32), WorkGroupIDVGPR)
663       .addReg(WorkGroupIDSGPR);
664 
665     // Spill work group ID.
666     int WorkGroupIDObjectIdx = MFI->getDebuggerWorkGroupIDStackObjectIndex(i);
667     TII->storeRegToStackSlot(MBB, I, WorkGroupIDVGPR, false,
668       WorkGroupIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
669 
670     // Get work item ID VGPR, and make it live-in again.
671     unsigned WorkItemIDVGPR = MFI->getWorkItemIDVGPR(i);
672     MF.getRegInfo().addLiveIn(WorkItemIDVGPR);
673     MBB.addLiveIn(WorkItemIDVGPR);
674 
675     // Spill work item ID.
676     int WorkItemIDObjectIdx = MFI->getDebuggerWorkItemIDStackObjectIndex(i);
677     TII->storeRegToStackSlot(MBB, I, WorkItemIDVGPR, false,
678       WorkItemIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
679   }
680 }
681 
682 bool SIFrameLowering::hasFP(const MachineFunction &MF) const {
683   // All stack operations are relative to the frame offset SGPR.
684   // TODO: Still want to eliminate sometimes.
685   const MachineFrameInfo &MFI = MF.getFrameInfo();
686 
687   // XXX - Is this only called after frame is finalized? Should be able to check
688   // frame size.
689   return MFI.hasStackObjects() && !allStackObjectsAreDead(MFI);
690 }
691 
692 bool SIFrameLowering::hasSP(const MachineFunction &MF) const {
693   // All stack operations are relative to the frame offset SGPR.
694   const MachineFrameInfo &MFI = MF.getFrameInfo();
695   return MFI.hasCalls() || MFI.hasVarSizedObjects();
696 }
697