blob: 37a47b45c1850ab6cfd38dde7b6fc9e306fac050 [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"
14#include "llvm/CodeGen/MachineFrameInfo.h"
15#include "llvm/CodeGen/MachineFunction.h"
Matt Arsenault0e3d3892015-11-30 21:15:53 +000016#include "llvm/CodeGen/MachineInstrBuilder.h"
Matt Arsenault0c90e952015-11-06 18:17:45 +000017#include "llvm/CodeGen/RegisterScavenging.h"
18
19using namespace llvm;
20
Matt Arsenault0e3d3892015-11-30 21:15:53 +000021
22static bool hasOnlySGPRSpills(const SIMachineFunctionInfo *FuncInfo,
23 const MachineFrameInfo *FrameInfo) {
Matt Arsenault296b8492016-02-12 06:31:30 +000024 return FuncInfo->hasSpilledSGPRs() &&
25 (!FuncInfo->hasSpilledVGPRs() && !FuncInfo->hasNonSpillStackObjects());
Matt Arsenault0e3d3892015-11-30 21:15:53 +000026}
27
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000028static ArrayRef<MCPhysReg> getAllSGPR128() {
Matt Arsenaultab3429c2016-05-18 15:19:50 +000029 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(),
30 AMDGPU::SGPR_128RegClass.getNumRegs());
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000031}
32
33static ArrayRef<MCPhysReg> getAllSGPRs() {
34 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(),
35 AMDGPU::SGPR_32RegClass.getNumRegs());
36}
37
Matt Arsenault0e3d3892015-11-30 21:15:53 +000038void SIFrameLowering::emitPrologue(MachineFunction &MF,
39 MachineBasicBlock &MBB) const {
40 if (!MF.getFrameInfo()->hasStackObjects())
41 return;
42
43 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
44
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000045 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenault0e3d3892015-11-30 21:15:53 +000046
47 // If we only have SGPR spills, we won't actually be using scratch memory
48 // since these spill to VGPRs.
49 //
50 // FIXME: We should be cleaning up these unused SGPR spill frame indices
51 // somewhere.
52 if (hasOnlySGPRSpills(MFI, MF.getFrameInfo()))
53 return;
54
55 const SIInstrInfo *TII =
56 static_cast<const SIInstrInfo *>(MF.getSubtarget().getInstrInfo());
57 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000058 const AMDGPUSubtarget &ST = MF.getSubtarget<AMDGPUSubtarget>();
Matt Arsenault296b8492016-02-12 06:31:30 +000059 MachineRegisterInfo &MRI = MF.getRegInfo();
60 MachineBasicBlock::iterator I = MBB.begin();
Matt Arsenault0e3d3892015-11-30 21:15:53 +000061
62 // We need to insert initialization of the scratch resource descriptor.
63 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
64 assert(ScratchRsrcReg != AMDGPU::NoRegister);
65
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000066 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
67 assert(ScratchWaveOffsetReg != AMDGPU::NoRegister);
68
69 unsigned PreloadedScratchWaveOffsetReg = TRI->getPreloadedValue(
70 MF, SIRegisterInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET);
71
72 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister;
73 if (ST.isAmdHsaOS()) {
74 PreloadedPrivateBufferReg = TRI->getPreloadedValue(
75 MF, SIRegisterInfo::PRIVATE_SEGMENT_BUFFER);
76 }
77
Matt Arsenault296b8492016-02-12 06:31:30 +000078 if (MFI->hasFlatScratchInit()) {
79 // We don't need this if we only have spills since there is no user facing
80 // scratch.
81
82 // TODO: If we know we don't have flat instructions earlier, we can omit
83 // this from the input registers.
84 //
85 // TODO: We only need to know if we access scratch space through a flat
86 // pointer. Because we only detect if flat instructions are used at all,
87 // this will be used more often than necessary on VI.
88
89 DebugLoc DL;
90
91 unsigned FlatScratchInitReg
92 = TRI->getPreloadedValue(MF, SIRegisterInfo::FLAT_SCRATCH_INIT);
93
94 MRI.addLiveIn(FlatScratchInitReg);
95 MBB.addLiveIn(FlatScratchInitReg);
96
97 // Copy the size in bytes.
98 unsigned FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1);
99 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_MOV_B32), AMDGPU::FLAT_SCR_LO)
100 .addReg(FlatScrInitHi, RegState::Kill);
101
102 unsigned FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0);
103
104 // Add wave offset in bytes to private base offset.
105 // See comment in AMDKernelCodeT.h for enable_sgpr_flat_scratch_init.
106 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo)
107 .addReg(FlatScrInitLo)
108 .addReg(ScratchWaveOffsetReg);
109
110 // Convert offset to 256-byte units.
111 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_LSHR_B32), AMDGPU::FLAT_SCR_HI)
112 .addReg(FlatScrInitLo, RegState::Kill)
113 .addImm(8);
114 }
115
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000116 // If we reserved the original input registers, we don't need to copy to the
117 // reserved registers.
118 if (ScratchRsrcReg == PreloadedPrivateBufferReg) {
119 // We should always reserve these 5 registers at the same time.
120 assert(ScratchWaveOffsetReg == PreloadedScratchWaveOffsetReg &&
121 "scratch wave offset and private segment buffer inconsistent");
122 return;
123 }
124
125
126 // We added live-ins during argument lowering, but since they were not used
127 // they were deleted. We're adding the uses now, so add them back.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000128 MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
129 MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
130
131 if (ST.isAmdHsaOS()) {
132 MRI.addLiveIn(PreloadedPrivateBufferReg);
133 MBB.addLiveIn(PreloadedPrivateBufferReg);
134 }
135
Nicolai Haehnle60355042016-01-05 20:42:49 +0000136 if (!ST.hasSGPRInitBug()) {
137 // We reserved the last registers for this. Shift it down to the end of those
138 // which were actually used.
139 //
140 // FIXME: It might be safer to use a pseudoregister before replacement.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000141
Nicolai Haehnle60355042016-01-05 20:42:49 +0000142 // FIXME: We should be able to eliminate unused input registers. We only
143 // cannot do this for the resources required for scratch access. For now we
144 // skip over user SGPRs and may leave unused holes.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000145
Nicolai Haehnle60355042016-01-05 20:42:49 +0000146 // We find the resource first because it has an alignment requirement.
147 if (ScratchRsrcReg == TRI->reservedPrivateSegmentBufferReg(MF)) {
148 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000149
Nicolai Haehnle60355042016-01-05 20:42:49 +0000150 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs() / 4;
151 // Skip the last 2 elements because the last one is reserved for VCC, and
152 // this is the 2nd to last element already.
153 for (MCPhysReg Reg : getAllSGPR128().drop_back(2).slice(NumPreloaded)) {
154 // Pick the first unallocated one. Make sure we don't clobber the other
155 // reserved input we needed.
156 if (!MRI.isPhysRegUsed(Reg)) {
157 assert(MRI.isAllocatable(Reg));
158 MRI.replaceRegWith(ScratchRsrcReg, Reg);
159 ScratchRsrcReg = Reg;
160 MFI->setScratchRSrcReg(ScratchRsrcReg);
161 break;
162 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000163 }
164 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000165
Nicolai Haehnle60355042016-01-05 20:42:49 +0000166 if (ScratchWaveOffsetReg == TRI->reservedPrivateSegmentWaveByteOffsetReg(MF)) {
167 MachineRegisterInfo &MRI = MF.getRegInfo();
Nicolai Haehnle60355042016-01-05 20:42:49 +0000168 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs();
Tom Stellard600ca6f2016-03-03 03:45:09 +0000169
170 // We need to drop register from the end of the list that we cannot use
171 // for the scratch wave offset.
172 // + 2 s102 and s103 do not exist on VI.
173 // + 2 for vcc
174 // + 2 for xnack_mask
175 // + 2 for flat_scratch
176 // + 4 for registers reserved for scratch resource register
177 // + 1 for register reserved for scratch wave offset. (By exluding this
178 // register from the list to consider, it means that when this
179 // register is being used for the scratch wave offset and there
180 // are no other free SGPRs, then the value will stay in this register.
181 // ----
182 // 13
183 for (MCPhysReg Reg : getAllSGPRs().drop_back(13).slice(NumPreloaded)) {
Nicolai Haehnle60355042016-01-05 20:42:49 +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)) {
Nirav Davee003bb72016-05-25 01:45:42 +0000187 if (!MRI.isAllocatable(Reg) ||
188 TRI->isSubRegisterEq(ScratchRsrcReg, Reg))
189 continue;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000190
Nicolai Haehnle60355042016-01-05 20:42:49 +0000191 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg);
192 ScratchWaveOffsetReg = Reg;
193 MFI->setScratchWaveOffsetReg(ScratchWaveOffsetReg);
194 break;
195 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000196 }
197 }
198 }
199
200
201 assert(!TRI->isSubRegister(ScratchRsrcReg, ScratchWaveOffsetReg));
202
203 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000204 DebugLoc DL;
205
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000206 if (PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) {
207 // Make sure we emit the copy for the offset first. We may have chosen to copy
208 // the buffer resource into a register that aliases the input offset register.
209 BuildMI(MBB, I, DL, SMovB32, ScratchWaveOffsetReg)
210 .addReg(PreloadedScratchWaveOffsetReg, RegState::Kill);
211 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000212
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000213 if (ST.isAmdHsaOS()) {
214 // Insert copies from argument register.
215 assert(
216 !TRI->isSubRegisterEq(PreloadedPrivateBufferReg, ScratchRsrcReg) &&
217 !TRI->isSubRegisterEq(PreloadedPrivateBufferReg, ScratchWaveOffsetReg));
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000218
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000219 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
220 unsigned Rsrc23 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2_sub3);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000221
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000222 unsigned Lo = TRI->getSubReg(PreloadedPrivateBufferReg, AMDGPU::sub0_sub1);
223 unsigned Hi = TRI->getSubReg(PreloadedPrivateBufferReg, AMDGPU::sub2_sub3);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000224
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000225 const MCInstrDesc &SMovB64 = TII->get(AMDGPU::S_MOV_B64);
226
227 BuildMI(MBB, I, DL, SMovB64, Rsrc01)
228 .addReg(Lo, RegState::Kill);
229 BuildMI(MBB, I, DL, SMovB64, Rsrc23)
230 .addReg(Hi, RegState::Kill);
231 } else {
232 unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
233 unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
234 unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
235 unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
236
237 // Use relocations to get the pointer, and setup the other bits manually.
238 uint64_t Rsrc23 = TII->getScratchRsrcWords23();
239 BuildMI(MBB, I, DL, SMovB32, Rsrc0)
240 .addExternalSymbol("SCRATCH_RSRC_DWORD0")
241 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
242
243 BuildMI(MBB, I, DL, SMovB32, Rsrc1)
244 .addExternalSymbol("SCRATCH_RSRC_DWORD1")
245 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
246
247 BuildMI(MBB, I, DL, SMovB32, Rsrc2)
248 .addImm(Rsrc23 & 0xffffffff)
249 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
250
251 BuildMI(MBB, I, DL, SMovB32, Rsrc3)
252 .addImm(Rsrc23 >> 32)
253 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
254 }
255
256 // Make the register selected live throughout the function.
257 for (MachineBasicBlock &OtherBB : MF) {
258 if (&OtherBB == &MBB)
259 continue;
260
261 OtherBB.addLiveIn(ScratchRsrcReg);
262 OtherBB.addLiveIn(ScratchWaveOffsetReg);
263 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000264}
265
Matt Arsenault0c90e952015-11-06 18:17:45 +0000266void SIFrameLowering::processFunctionBeforeFrameFinalized(
267 MachineFunction &MF,
268 RegScavenger *RS) const {
269 MachineFrameInfo *MFI = MF.getFrameInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000270
271 if (!MFI->hasStackObjects())
272 return;
273
Matt Arsenault0c90e952015-11-06 18:17:45 +0000274 bool MayNeedScavengingEmergencySlot = MFI->hasStackObjects();
275
276 assert((RS || !MayNeedScavengingEmergencySlot) &&
277 "RegScavenger required if spilling");
278
279 if (MayNeedScavengingEmergencySlot) {
280 int ScavengeFI = MFI->CreateSpillStackObject(
281 AMDGPU::SGPR_32RegClass.getSize(),
282 AMDGPU::SGPR_32RegClass.getAlignment());
283 RS->addScavengingFrameIndex(ScavengeFI);
284 }
285}