blob: 68afcca12b8af8959e7b6e6c4cfba776688fb21d [file] [log] [blame]
Matt Arsenault0c90e952015-11-06 18:17:45 +00001//===----------------------- SIFrameLowering.cpp --------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//==-----------------------------------------------------------------------===//
9
10#include "SIFrameLowering.h"
Matt Arsenault0e3d3892015-11-30 21:15:53 +000011#include "SIInstrInfo.h"
12#include "SIMachineFunctionInfo.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000013#include "SIRegisterInfo.h"
Matt Arsenault43e92fe2016-06-24 06:30:11 +000014#include "AMDGPUSubtarget.h"
15
Matt Arsenault0c90e952015-11-06 18:17:45 +000016#include "llvm/CodeGen/MachineFrameInfo.h"
17#include "llvm/CodeGen/MachineFunction.h"
Matt Arsenault0e3d3892015-11-30 21:15:53 +000018#include "llvm/CodeGen/MachineInstrBuilder.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000019#include "llvm/CodeGen/RegisterScavenging.h"
20
21using namespace llvm;
22
Matt Arsenault0e3d3892015-11-30 21:15:53 +000023
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 {
104
105 // We need to insert initialization of the scratch resource descriptor.
106 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
Matt Arsenault08906a32016-10-28 19:43:31 +0000107 if (ScratchRsrcReg == AMDGPU::NoRegister)
108 return AMDGPU::NoRegister;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000109
110 if (ST.hasSGPRInitBug() ||
111 ScratchRsrcReg != TRI->reservedPrivateSegmentBufferReg(MF))
112 return ScratchRsrcReg;
113
114 // We reserved the last registers for this. Shift it down to the end of those
115 // which were actually used.
116 //
117 // FIXME: It might be safer to use a pseudoregister before replacement.
118
119 // FIXME: We should be able to eliminate unused input registers. We only
120 // cannot do this for the resources required for scratch access. For now we
121 // skip over user SGPRs and may leave unused holes.
122
123 // We find the resource first because it has an alignment requirement.
124
125 MachineRegisterInfo &MRI = MF.getRegInfo();
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
146unsigned SIFrameLowering::getReservedPrivateSegmentWaveByteOffsetReg(
147 const SISubtarget &ST,
148 const SIInstrInfo *TII,
149 const SIRegisterInfo *TRI,
150 SIMachineFunctionInfo *MFI,
151 MachineFunction &MF) const {
152 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
153 if (ST.hasSGPRInitBug() ||
154 ScratchWaveOffsetReg != TRI->reservedPrivateSegmentWaveByteOffsetReg(MF))
155 return ScratchWaveOffsetReg;
156
157 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
158 MachineRegisterInfo &MRI = MF.getRegInfo();
159 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs();
160
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000161 ArrayRef<MCPhysReg> AllSGPRs = getAllSGPRs(ST, MF);
Matt Arsenault08906a32016-10-28 19:43:31 +0000162 if (NumPreloaded > AllSGPRs.size())
163 return ScratchWaveOffsetReg;
164
165 AllSGPRs = AllSGPRs.slice(NumPreloaded);
166
Matt Arsenault57bc4322016-08-31 21:52:21 +0000167 // We need to drop register from the end of the list that we cannot use
168 // for the scratch wave offset.
169 // + 2 s102 and s103 do not exist on VI.
170 // + 2 for vcc
171 // + 2 for xnack_mask
172 // + 2 for flat_scratch
173 // + 4 for registers reserved for scratch resource register
174 // + 1 for register reserved for scratch wave offset. (By exluding this
175 // register from the list to consider, it means that when this
176 // register is being used for the scratch wave offset and there
177 // are no other free SGPRs, then the value will stay in this register.
178 // ----
179 // 13
Matt Arsenault08906a32016-10-28 19:43:31 +0000180 if (AllSGPRs.size() < 13)
181 return ScratchWaveOffsetReg;
182
183 for (MCPhysReg Reg : AllSGPRs.drop_back(13)) {
Matt Arsenault57bc4322016-08-31 21:52:21 +0000184 // Pick the first unallocated SGPR. Be careful not to pick an alias of the
185 // scratch descriptor, since we haven’t added its uses yet.
186 if (!MRI.isPhysRegUsed(Reg)) {
187 if (!MRI.isAllocatable(Reg) ||
188 TRI->isSubRegisterEq(ScratchRsrcReg, Reg))
189 continue;
190
191 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg);
192 MFI->setScratchWaveOffsetReg(Reg);
193 return Reg;
194 }
195 }
196
197 return ScratchWaveOffsetReg;
198}
199
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000200void SIFrameLowering::emitPrologue(MachineFunction &MF,
201 MachineBasicBlock &MBB) const {
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000202 // Emit debugger prologue if "amdgpu-debugger-emit-prologue" attribute was
203 // specified.
204 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
205 if (ST.debuggerEmitPrologue())
206 emitDebuggerPrologue(MF, MBB);
207
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000208 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
209
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000210 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000211
212 // If we only have SGPR spills, we won't actually be using scratch memory
213 // since these spill to VGPRs.
214 //
215 // FIXME: We should be cleaning up these unused SGPR spill frame indices
216 // somewhere.
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000217
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000218 const SIInstrInfo *TII = ST.getInstrInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000219 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
Matt Arsenault296b8492016-02-12 06:31:30 +0000220 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault57bc4322016-08-31 21:52:21 +0000221
222 unsigned ScratchRsrcReg
223 = getReservedPrivateSegmentBufferReg(ST, TII, TRI, MFI, MF);
224 unsigned ScratchWaveOffsetReg
225 = getReservedPrivateSegmentWaveByteOffsetReg(ST, TII, TRI, MFI, MF);
Matt Arsenault08906a32016-10-28 19:43:31 +0000226
227 if (ScratchRsrcReg == AMDGPU::NoRegister) {
228 assert(ScratchWaveOffsetReg == AMDGPU::NoRegister);
229 return;
230 }
231
Matt Arsenault57bc4322016-08-31 21:52:21 +0000232 assert(!TRI->isSubRegister(ScratchRsrcReg, ScratchWaveOffsetReg));
233
Matt Arsenault08906a32016-10-28 19:43:31 +0000234 // We need to do the replacement of the private segment buffer and wave offset
235 // register even if there are no stack objects. There could be stores to undef
236 // or a constant without an associated object.
237
238 // FIXME: We still have implicit uses on SGPR spill instructions in case they
239 // need to spill to vector memory. It's likely that will not happen, but at
240 // this point it appears we need the setup. This part of the prolog should be
241 // emitted after frame indices are eliminated.
242
243 if (MF.getFrameInfo().hasStackObjects() && MFI->hasFlatScratchInit())
Matt Arsenaulte823d922017-02-18 18:29:53 +0000244 emitFlatScratchInit(ST, MF, MBB);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000245
246 // We need to insert initialization of the scratch resource descriptor.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000247 unsigned PreloadedScratchWaveOffsetReg = TRI->getPreloadedValue(
248 MF, SIRegisterInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET);
249
Matt Arsenault08906a32016-10-28 19:43:31 +0000250
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000251 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister;
Tom Stellard2f3f9852017-01-25 01:25:13 +0000252 if (ST.isAmdCodeObjectV2(MF) || ST.isMesaGfxShader(MF)) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000253 PreloadedPrivateBufferReg = TRI->getPreloadedValue(
254 MF, SIRegisterInfo::PRIVATE_SEGMENT_BUFFER);
255 }
256
Matt Arsenault08906a32016-10-28 19:43:31 +0000257 bool OffsetRegUsed = !MRI.use_empty(ScratchWaveOffsetReg);
258 bool ResourceRegUsed = !MRI.use_empty(ScratchRsrcReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000259
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000260 // We added live-ins during argument lowering, but since they were not used
261 // they were deleted. We're adding the uses now, so add them back.
Matt Arsenault08906a32016-10-28 19:43:31 +0000262 if (OffsetRegUsed) {
263 assert(PreloadedScratchWaveOffsetReg != AMDGPU::NoRegister &&
264 "scratch wave offset input is required");
265 MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
266 MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
267 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000268
Matt Arsenault08906a32016-10-28 19:43:31 +0000269 if (ResourceRegUsed && PreloadedPrivateBufferReg != AMDGPU::NoRegister) {
Tom Stellard2f3f9852017-01-25 01:25:13 +0000270 assert(ST.isAmdCodeObjectV2(MF) || ST.isMesaGfxShader(MF));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000271 MRI.addLiveIn(PreloadedPrivateBufferReg);
272 MBB.addLiveIn(PreloadedPrivateBufferReg);
273 }
274
Matt Arsenault57bc4322016-08-31 21:52:21 +0000275 // Make the register selected live throughout the function.
276 for (MachineBasicBlock &OtherBB : MF) {
277 if (&OtherBB == &MBB)
278 continue;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000279
Matt Arsenault08906a32016-10-28 19:43:31 +0000280 if (OffsetRegUsed)
281 OtherBB.addLiveIn(ScratchWaveOffsetReg);
282
283 if (ResourceRegUsed)
284 OtherBB.addLiveIn(ScratchRsrcReg);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000285 }
286
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000287 DebugLoc DL;
Matt Arsenault57bc4322016-08-31 21:52:21 +0000288 MachineBasicBlock::iterator I = MBB.begin();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000289
Matt Arsenault08906a32016-10-28 19:43:31 +0000290 // If we reserved the original input registers, we don't need to copy to the
291 // reserved registers.
292
293 bool CopyBuffer = ResourceRegUsed &&
294 PreloadedPrivateBufferReg != AMDGPU::NoRegister &&
Tom Stellard2f3f9852017-01-25 01:25:13 +0000295 ST.isAmdCodeObjectV2(MF) &&
Matt Arsenault08906a32016-10-28 19:43:31 +0000296 ScratchRsrcReg != PreloadedPrivateBufferReg;
297
298 // This needs to be careful of the copying order to avoid overwriting one of
299 // the input registers before it's been copied to it's final
300 // destination. Usually the offset should be copied first.
301 bool CopyBufferFirst = TRI->isSubRegisterEq(PreloadedPrivateBufferReg,
302 ScratchWaveOffsetReg);
303 if (CopyBuffer && CopyBufferFirst) {
304 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
305 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
306 }
307
308 if (OffsetRegUsed &&
309 PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) {
Matt Arsenault1d215172016-08-31 21:52:25 +0000310 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchWaveOffsetReg)
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000311 .addReg(PreloadedScratchWaveOffsetReg, RegState::Kill);
312 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000313
Matt Arsenault08906a32016-10-28 19:43:31 +0000314 if (CopyBuffer && !CopyBufferFirst) {
Matt Arsenault1d215172016-08-31 21:52:25 +0000315 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg)
316 .addReg(PreloadedPrivateBufferReg, RegState::Kill);
Matt Arsenault08906a32016-10-28 19:43:31 +0000317 }
318
Tom Stellard2f3f9852017-01-25 01:25:13 +0000319 if (ResourceRegUsed && (ST.isMesaGfxShader(MF) || (PreloadedPrivateBufferReg == AMDGPU::NoRegister))) {
320 assert(!ST.isAmdCodeObjectV2(MF));
Matt Arsenault1d215172016-08-31 21:52:25 +0000321 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
322
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000323 unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
324 unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
325
326 // Use relocations to get the pointer, and setup the other bits manually.
327 uint64_t Rsrc23 = TII->getScratchRsrcWords23();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000328
Tom Stellard2f3f9852017-01-25 01:25:13 +0000329 if (MFI->hasPrivateMemoryInputPtr()) {
330 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
331
332 if (AMDGPU::isCompute(MF.getFunction()->getCallingConv())) {
333 const MCInstrDesc &Mov64 = TII->get(AMDGPU::S_MOV_B64);
334
335 BuildMI(MBB, I, DL, Mov64, Rsrc01)
336 .addReg(PreloadedPrivateBufferReg)
337 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
338 } else {
339 const MCInstrDesc &LoadDwordX2 = TII->get(AMDGPU::S_LOAD_DWORDX2_IMM);
340
341 PointerType *PtrTy =
342 PointerType::get(Type::getInt64Ty(MF.getFunction()->getContext()),
343 AMDGPUAS::CONSTANT_ADDRESS);
344 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy));
345 auto MMO = MF.getMachineMemOperand(PtrInfo,
346 MachineMemOperand::MOLoad |
347 MachineMemOperand::MOInvariant |
348 MachineMemOperand::MODereferenceable,
349 0, 0);
350 BuildMI(MBB, I, DL, LoadDwordX2, Rsrc01)
351 .addReg(PreloadedPrivateBufferReg)
352 .addImm(0) // offset
353 .addImm(0) // glc
354 .addMemOperand(MMO)
355 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
356 }
357 } else {
358 unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
359 unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
360
361 BuildMI(MBB, I, DL, SMovB32, Rsrc0)
362 .addExternalSymbol("SCRATCH_RSRC_DWORD0")
363 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
364
365 BuildMI(MBB, I, DL, SMovB32, Rsrc1)
366 .addExternalSymbol("SCRATCH_RSRC_DWORD1")
367 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
368
369 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000370
371 BuildMI(MBB, I, DL, SMovB32, Rsrc2)
372 .addImm(Rsrc23 & 0xffffffff)
373 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
374
375 BuildMI(MBB, I, DL, SMovB32, Rsrc3)
376 .addImm(Rsrc23 >> 32)
377 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
378 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000379}
380
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000381void SIFrameLowering::emitEpilogue(MachineFunction &MF,
382 MachineBasicBlock &MBB) const {
383
384}
385
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000386static bool allStackObjectsAreDead(const MachineFrameInfo &MFI) {
387 for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd();
388 I != E; ++I) {
389 if (!MFI.isDeadObjectIndex(I))
390 return false;
391 }
392
393 return true;
394}
395
Konstantin Zhuravlyovffdb00e2017-03-10 19:39:07 +0000396int SIFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
397 unsigned &FrameReg) const {
398 const SIRegisterInfo *RI = MF.getSubtarget<SISubtarget>().getRegisterInfo();
399
400 FrameReg = RI->getFrameRegister(MF);
401 return MF.getFrameInfo().getObjectOffset(FI);
402}
403
Matt Arsenault0c90e952015-11-06 18:17:45 +0000404void SIFrameLowering::processFunctionBeforeFrameFinalized(
405 MachineFunction &MF,
406 RegScavenger *RS) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000407 MachineFrameInfo &MFI = MF.getFrameInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000408
Matthias Braun941a7052016-07-28 18:40:00 +0000409 if (!MFI.hasStackObjects())
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000410 return;
411
Matt Arsenault7b6c5d22017-02-22 22:23:32 +0000412 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
413 const SIInstrInfo *TII = ST.getInstrInfo();
414 const SIRegisterInfo &TRI = TII->getRegisterInfo();
415 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>();
416 bool AllSGPRSpilledToVGPRs = false;
417
418 if (TRI.spillSGPRToVGPR() && FuncInfo->hasSpilledSGPRs()) {
419 AllSGPRSpilledToVGPRs = true;
420
421 // Process all SGPR spills before frame offsets are finalized. Ideally SGPRs
422 // are spilled to VGPRs, in which case we can eliminate the stack usage.
423 //
424 // XXX - This operates under the assumption that only other SGPR spills are
425 // users of the frame index. I'm not 100% sure this is correct. The
426 // StackColoring pass has a comment saying a future improvement would be to
427 // merging of allocas with spill slots, but for now according to
428 // MachineFrameInfo isSpillSlot can't alias any other object.
429 for (MachineBasicBlock &MBB : MF) {
430 MachineBasicBlock::iterator Next;
431 for (auto I = MBB.begin(), E = MBB.end(); I != E; I = Next) {
432 MachineInstr &MI = *I;
433 Next = std::next(I);
434
435 if (TII->isSGPRSpill(MI)) {
436 int FI = TII->getNamedOperand(MI, AMDGPU::OpName::addr)->getIndex();
437 if (FuncInfo->allocateSGPRSpillToVGPR(MF, FI)) {
438 bool Spilled = TRI.eliminateSGPRToVGPRSpillFrameIndex(MI, FI, RS);
439 (void)Spilled;
440 assert(Spilled && "failed to spill SGPR to VGPR when allocated");
441 } else
442 AllSGPRSpilledToVGPRs = false;
443 }
444 }
445 }
446
447 FuncInfo->removeSGPRToVGPRFrameIndices(MFI);
448 }
449
450 // FIXME: The other checks should be redundant with allStackObjectsAreDead,
451 // but currently hasNonSpillStackObjects is set only from source
452 // allocas. Stack temps produced from legalization are not counted currently.
453 if (FuncInfo->hasNonSpillStackObjects() || FuncInfo->hasSpilledVGPRs() ||
454 !AllSGPRSpilledToVGPRs || !allStackObjectsAreDead(MFI)) {
455 assert(RS && "RegScavenger required if spilling");
456
Matt Arsenault707780b2017-02-22 21:05:25 +0000457 // We force this to be at offset 0 so no user object ever has 0 as an
458 // address, so we may use 0 as an invalid pointer value. This is because
459 // LLVM assumes 0 is an invalid pointer in address space 0. Because alloca
460 // is required to be address space 0, we are forced to accept this for
461 // now. Ideally we could have the stack in another address space with 0 as a
462 // valid pointer, and -1 as the null value.
463 //
464 // This will also waste additional space when user stack objects require > 4
465 // byte alignment.
466 //
467 // The main cost here is losing the offset for addressing modes. However
468 // this also ensures we shouldn't need a register for the offset when
469 // emergency scavenging.
470 int ScavengeFI = MFI.CreateFixedObject(
471 AMDGPU::SGPR_32RegClass.getSize(), 0, false);
472 RS->addScavengingFrameIndex(ScavengeFI);
473 }
Matt Arsenault0c90e952015-11-06 18:17:45 +0000474}
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000475
476void SIFrameLowering::emitDebuggerPrologue(MachineFunction &MF,
477 MachineBasicBlock &MBB) const {
478 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
479 const SIInstrInfo *TII = ST.getInstrInfo();
480 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
481 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
482
483 MachineBasicBlock::iterator I = MBB.begin();
484 DebugLoc DL;
485
486 // For each dimension:
487 for (unsigned i = 0; i < 3; ++i) {
488 // Get work group ID SGPR, and make it live-in again.
489 unsigned WorkGroupIDSGPR = MFI->getWorkGroupIDSGPR(i);
490 MF.getRegInfo().addLiveIn(WorkGroupIDSGPR);
491 MBB.addLiveIn(WorkGroupIDSGPR);
492
493 // Since SGPRs are spilled into VGPRs, copy work group ID SGPR to VGPR in
494 // order to spill it to scratch.
495 unsigned WorkGroupIDVGPR =
496 MF.getRegInfo().createVirtualRegister(&AMDGPU::VGPR_32RegClass);
497 BuildMI(MBB, I, DL, TII->get(AMDGPU::V_MOV_B32_e32), WorkGroupIDVGPR)
498 .addReg(WorkGroupIDSGPR);
499
500 // Spill work group ID.
501 int WorkGroupIDObjectIdx = MFI->getDebuggerWorkGroupIDStackObjectIndex(i);
502 TII->storeRegToStackSlot(MBB, I, WorkGroupIDVGPR, false,
503 WorkGroupIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
504
505 // Get work item ID VGPR, and make it live-in again.
506 unsigned WorkItemIDVGPR = MFI->getWorkItemIDVGPR(i);
507 MF.getRegInfo().addLiveIn(WorkItemIDVGPR);
508 MBB.addLiveIn(WorkItemIDVGPR);
509
510 // Spill work item ID.
511 int WorkItemIDObjectIdx = MFI->getDebuggerWorkItemIDStackObjectIndex(i);
512 TII->storeRegToStackSlot(MBB, I, WorkItemIDVGPR, false,
513 WorkItemIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI);
514 }
515}