blob: 1f3b361175e98cc5cae0139e5f7f6816feacc544 [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
24static bool hasOnlySGPRSpills(const SIMachineFunctionInfo *FuncInfo,
25 const MachineFrameInfo *FrameInfo) {
Matt Arsenault296b8492016-02-12 06:31:30 +000026 return FuncInfo->hasSpilledSGPRs() &&
27 (!FuncInfo->hasSpilledVGPRs() && !FuncInfo->hasNonSpillStackObjects());
Matt Arsenault0e3d3892015-11-30 21:15:53 +000028}
29
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000030static ArrayRef<MCPhysReg> getAllSGPR128() {
Matt Arsenaultab3429c2016-05-18 15:19:50 +000031 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(),
32 AMDGPU::SGPR_128RegClass.getNumRegs());
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000033}
34
35static ArrayRef<MCPhysReg> getAllSGPRs() {
36 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(),
37 AMDGPU::SGPR_32RegClass.getNumRegs());
38}
39
Matt Arsenault0e3d3892015-11-30 21:15:53 +000040void SIFrameLowering::emitPrologue(MachineFunction &MF,
41 MachineBasicBlock &MBB) const {
42 if (!MF.getFrameInfo()->hasStackObjects())
43 return;
44
45 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
46
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000047 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenault0e3d3892015-11-30 21:15:53 +000048
49 // If we only have SGPR spills, we won't actually be using scratch memory
50 // since these spill to VGPRs.
51 //
52 // FIXME: We should be cleaning up these unused SGPR spill frame indices
53 // somewhere.
54 if (hasOnlySGPRSpills(MFI, MF.getFrameInfo()))
55 return;
56
Matt Arsenault43e92fe2016-06-24 06:30:11 +000057 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
58 const SIInstrInfo *TII = ST.getInstrInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +000059 const SIRegisterInfo *TRI = &TII->getRegisterInfo();
Matt Arsenault296b8492016-02-12 06:31:30 +000060 MachineRegisterInfo &MRI = MF.getRegInfo();
61 MachineBasicBlock::iterator I = MBB.begin();
Matt Arsenault0e3d3892015-11-30 21:15:53 +000062
63 // We need to insert initialization of the scratch resource descriptor.
64 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg();
65 assert(ScratchRsrcReg != AMDGPU::NoRegister);
66
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000067 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg();
68 assert(ScratchWaveOffsetReg != AMDGPU::NoRegister);
69
70 unsigned PreloadedScratchWaveOffsetReg = TRI->getPreloadedValue(
71 MF, SIRegisterInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET);
72
73 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister;
74 if (ST.isAmdHsaOS()) {
75 PreloadedPrivateBufferReg = TRI->getPreloadedValue(
76 MF, SIRegisterInfo::PRIVATE_SEGMENT_BUFFER);
77 }
78
Matt Arsenault296b8492016-02-12 06:31:30 +000079 if (MFI->hasFlatScratchInit()) {
80 // We don't need this if we only have spills since there is no user facing
81 // scratch.
82
83 // TODO: If we know we don't have flat instructions earlier, we can omit
84 // this from the input registers.
85 //
86 // TODO: We only need to know if we access scratch space through a flat
87 // pointer. Because we only detect if flat instructions are used at all,
88 // this will be used more often than necessary on VI.
89
90 DebugLoc DL;
91
92 unsigned FlatScratchInitReg
93 = TRI->getPreloadedValue(MF, SIRegisterInfo::FLAT_SCRATCH_INIT);
94
95 MRI.addLiveIn(FlatScratchInitReg);
96 MBB.addLiveIn(FlatScratchInitReg);
97
98 // Copy the size in bytes.
99 unsigned FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1);
100 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_MOV_B32), AMDGPU::FLAT_SCR_LO)
101 .addReg(FlatScrInitHi, RegState::Kill);
102
103 unsigned FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0);
104
105 // Add wave offset in bytes to private base offset.
106 // See comment in AMDKernelCodeT.h for enable_sgpr_flat_scratch_init.
107 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo)
108 .addReg(FlatScrInitLo)
109 .addReg(ScratchWaveOffsetReg);
110
111 // Convert offset to 256-byte units.
112 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_LSHR_B32), AMDGPU::FLAT_SCR_HI)
113 .addReg(FlatScrInitLo, RegState::Kill)
114 .addImm(8);
115 }
116
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000117 // If we reserved the original input registers, we don't need to copy to the
118 // reserved registers.
119 if (ScratchRsrcReg == PreloadedPrivateBufferReg) {
120 // We should always reserve these 5 registers at the same time.
121 assert(ScratchWaveOffsetReg == PreloadedScratchWaveOffsetReg &&
122 "scratch wave offset and private segment buffer inconsistent");
123 return;
124 }
125
126
127 // We added live-ins during argument lowering, but since they were not used
128 // they were deleted. We're adding the uses now, so add them back.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000129 MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
130 MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
131
132 if (ST.isAmdHsaOS()) {
133 MRI.addLiveIn(PreloadedPrivateBufferReg);
134 MBB.addLiveIn(PreloadedPrivateBufferReg);
135 }
136
Nicolai Haehnle60355042016-01-05 20:42:49 +0000137 if (!ST.hasSGPRInitBug()) {
138 // We reserved the last registers for this. Shift it down to the end of those
139 // which were actually used.
140 //
141 // FIXME: It might be safer to use a pseudoregister before replacement.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000142
Nicolai Haehnle60355042016-01-05 20:42:49 +0000143 // FIXME: We should be able to eliminate unused input registers. We only
144 // cannot do this for the resources required for scratch access. For now we
145 // skip over user SGPRs and may leave unused holes.
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000146
Nicolai Haehnle60355042016-01-05 20:42:49 +0000147 // We find the resource first because it has an alignment requirement.
148 if (ScratchRsrcReg == TRI->reservedPrivateSegmentBufferReg(MF)) {
149 MachineRegisterInfo &MRI = MF.getRegInfo();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000150
Nicolai Haehnle60355042016-01-05 20:42:49 +0000151 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs() / 4;
152 // Skip the last 2 elements because the last one is reserved for VCC, and
153 // this is the 2nd to last element already.
154 for (MCPhysReg Reg : getAllSGPR128().drop_back(2).slice(NumPreloaded)) {
155 // Pick the first unallocated one. Make sure we don't clobber the other
156 // reserved input we needed.
157 if (!MRI.isPhysRegUsed(Reg)) {
158 assert(MRI.isAllocatable(Reg));
159 MRI.replaceRegWith(ScratchRsrcReg, Reg);
160 ScratchRsrcReg = Reg;
161 MFI->setScratchRSrcReg(ScratchRsrcReg);
162 break;
163 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000164 }
165 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000166
Nicolai Haehnle60355042016-01-05 20:42:49 +0000167 if (ScratchWaveOffsetReg == TRI->reservedPrivateSegmentWaveByteOffsetReg(MF)) {
168 MachineRegisterInfo &MRI = MF.getRegInfo();
Nicolai Haehnle60355042016-01-05 20:42:49 +0000169 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs();
Tom Stellard600ca6f2016-03-03 03:45:09 +0000170
171 // We need to drop register from the end of the list that we cannot use
172 // for the scratch wave offset.
173 // + 2 s102 and s103 do not exist on VI.
174 // + 2 for vcc
175 // + 2 for xnack_mask
176 // + 2 for flat_scratch
177 // + 4 for registers reserved for scratch resource register
178 // + 1 for register reserved for scratch wave offset. (By exluding this
179 // register from the list to consider, it means that when this
180 // register is being used for the scratch wave offset and there
181 // are no other free SGPRs, then the value will stay in this register.
182 // ----
183 // 13
184 for (MCPhysReg Reg : getAllSGPRs().drop_back(13).slice(NumPreloaded)) {
Nicolai Haehnle60355042016-01-05 20:42:49 +0000185 // Pick the first unallocated SGPR. Be careful not to pick an alias of the
186 // scratch descriptor, since we haven’t added its uses yet.
187 if (!MRI.isPhysRegUsed(Reg)) {
Nirav Davee003bb72016-05-25 01:45:42 +0000188 if (!MRI.isAllocatable(Reg) ||
189 TRI->isSubRegisterEq(ScratchRsrcReg, Reg))
190 continue;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000191
Nicolai Haehnle60355042016-01-05 20:42:49 +0000192 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg);
193 ScratchWaveOffsetReg = Reg;
194 MFI->setScratchWaveOffsetReg(ScratchWaveOffsetReg);
195 break;
196 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000197 }
198 }
199 }
200
201
202 assert(!TRI->isSubRegister(ScratchRsrcReg, ScratchWaveOffsetReg));
203
204 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000205 DebugLoc DL;
206
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000207 if (PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) {
208 // Make sure we emit the copy for the offset first. We may have chosen to copy
209 // the buffer resource into a register that aliases the input offset register.
210 BuildMI(MBB, I, DL, SMovB32, ScratchWaveOffsetReg)
211 .addReg(PreloadedScratchWaveOffsetReg, RegState::Kill);
212 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000213
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000214 if (ST.isAmdHsaOS()) {
215 // Insert copies from argument register.
216 assert(
217 !TRI->isSubRegisterEq(PreloadedPrivateBufferReg, ScratchRsrcReg) &&
218 !TRI->isSubRegisterEq(PreloadedPrivateBufferReg, ScratchWaveOffsetReg));
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000219
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000220 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
221 unsigned Rsrc23 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2_sub3);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000222
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000223 unsigned Lo = TRI->getSubReg(PreloadedPrivateBufferReg, AMDGPU::sub0_sub1);
224 unsigned Hi = TRI->getSubReg(PreloadedPrivateBufferReg, AMDGPU::sub2_sub3);
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000225
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000226 const MCInstrDesc &SMovB64 = TII->get(AMDGPU::S_MOV_B64);
227
228 BuildMI(MBB, I, DL, SMovB64, Rsrc01)
229 .addReg(Lo, RegState::Kill);
230 BuildMI(MBB, I, DL, SMovB64, Rsrc23)
231 .addReg(Hi, RegState::Kill);
232 } else {
233 unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
234 unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
235 unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
236 unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
237
238 // Use relocations to get the pointer, and setup the other bits manually.
239 uint64_t Rsrc23 = TII->getScratchRsrcWords23();
240 BuildMI(MBB, I, DL, SMovB32, Rsrc0)
241 .addExternalSymbol("SCRATCH_RSRC_DWORD0")
242 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
243
244 BuildMI(MBB, I, DL, SMovB32, Rsrc1)
245 .addExternalSymbol("SCRATCH_RSRC_DWORD1")
246 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
247
248 BuildMI(MBB, I, DL, SMovB32, Rsrc2)
249 .addImm(Rsrc23 & 0xffffffff)
250 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
251
252 BuildMI(MBB, I, DL, SMovB32, Rsrc3)
253 .addImm(Rsrc23 >> 32)
254 .addReg(ScratchRsrcReg, RegState::ImplicitDefine);
255 }
256
257 // Make the register selected live throughout the function.
258 for (MachineBasicBlock &OtherBB : MF) {
259 if (&OtherBB == &MBB)
260 continue;
261
262 OtherBB.addLiveIn(ScratchRsrcReg);
263 OtherBB.addLiveIn(ScratchWaveOffsetReg);
264 }
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000265}
266
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000267void SIFrameLowering::emitEpilogue(MachineFunction &MF,
268 MachineBasicBlock &MBB) const {
269
270}
271
Matt Arsenault0c90e952015-11-06 18:17:45 +0000272void SIFrameLowering::processFunctionBeforeFrameFinalized(
273 MachineFunction &MF,
274 RegScavenger *RS) const {
275 MachineFrameInfo *MFI = MF.getFrameInfo();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000276
277 if (!MFI->hasStackObjects())
278 return;
279
Matt Arsenault0c90e952015-11-06 18:17:45 +0000280 bool MayNeedScavengingEmergencySlot = MFI->hasStackObjects();
281
282 assert((RS || !MayNeedScavengingEmergencySlot) &&
283 "RegScavenger required if spilling");
284
285 if (MayNeedScavengingEmergencySlot) {
286 int ScavengeFI = MFI->CreateSpillStackObject(
287 AMDGPU::SGPR_32RegClass.getSize(),
288 AMDGPU::SGPR_32RegClass.getAlignment());
289 RS->addScavengingFrameIndex(ScavengeFI);
290 }
291}