blob: 04e57bedb210281cba3e76092b996ccf794d3dfe [file] [log] [blame]
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +00001//===-- SIMachineFunctionInfo.cpp -------- SI Machine Function Info -------===//
Tom Stellard75aadc22012-12-11 21:25:42 +00002//
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//
Tom Stellard75aadc22012-12-11 21:25:42 +00008//===----------------------------------------------------------------------===//
9
Tom Stellard75aadc22012-12-11 21:25:42 +000010#include "SIMachineFunctionInfo.h"
Tom Stellard96468902014-09-24 01:33:17 +000011#include "AMDGPUSubtarget.h"
Tom Stellardeba61072014-05-02 15:41:42 +000012#include "SIInstrInfo.h"
Tom Stellardc5cf2f02014-08-21 20:40:54 +000013#include "llvm/CodeGen/MachineFrameInfo.h"
NAKAMURA Takumif619b502016-06-27 10:26:36 +000014#include "llvm/CodeGen/MachineInstrBuilder.h"
Tom Stellardc149dc02013-11-27 21:23:35 +000015#include "llvm/CodeGen/MachineRegisterInfo.h"
Tom Stellardeba61072014-05-02 15:41:42 +000016#include "llvm/IR/Function.h"
17#include "llvm/IR/LLVMContext.h"
Tom Stellardc149dc02013-11-27 21:23:35 +000018
19#define MAX_LANES 64
Tom Stellard75aadc22012-12-11 21:25:42 +000020
21using namespace llvm;
22
23SIMachineFunctionInfo::SIMachineFunctionInfo(const MachineFunction &MF)
Vincent Lejeuneace6f732013-04-01 21:47:53 +000024 : AMDGPUMachineFunction(MF),
Tom Stellard96468902014-09-24 01:33:17 +000025 TIDReg(AMDGPU::NoRegister),
Matt Arsenault1cc47f82017-07-18 16:44:56 +000026 ScratchRSrcReg(AMDGPU::PRIVATE_RSRC_REG),
27 ScratchWaveOffsetReg(AMDGPU::SCRATCH_WAVE_OFFSET_REG),
28 FrameOffsetReg(AMDGPU::FP_REG),
29 StackPtrOffsetReg(AMDGPU::SP_REG),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000030 PrivateSegmentBufferUserSGPR(AMDGPU::NoRegister),
31 DispatchPtrUserSGPR(AMDGPU::NoRegister),
32 QueuePtrUserSGPR(AMDGPU::NoRegister),
33 KernargSegmentPtrUserSGPR(AMDGPU::NoRegister),
34 DispatchIDUserSGPR(AMDGPU::NoRegister),
35 FlatScratchInitUserSGPR(AMDGPU::NoRegister),
36 PrivateSegmentSizeUserSGPR(AMDGPU::NoRegister),
37 GridWorkGroupCountXUserSGPR(AMDGPU::NoRegister),
38 GridWorkGroupCountYUserSGPR(AMDGPU::NoRegister),
39 GridWorkGroupCountZUserSGPR(AMDGPU::NoRegister),
40 WorkGroupIDXSystemSGPR(AMDGPU::NoRegister),
41 WorkGroupIDYSystemSGPR(AMDGPU::NoRegister),
42 WorkGroupIDZSystemSGPR(AMDGPU::NoRegister),
43 WorkGroupInfoSystemSGPR(AMDGPU::NoRegister),
44 PrivateSegmentWaveByteOffsetSystemSGPR(AMDGPU::NoRegister),
Matt Arsenaulte15855d2017-07-17 22:35:50 +000045 WorkItemIDXVGPR(AMDGPU::NoRegister),
46 WorkItemIDYVGPR(AMDGPU::NoRegister),
47 WorkItemIDZVGPR(AMDGPU::NoRegister),
Tom Stellardc149dc02013-11-27 21:23:35 +000048 PSInputAddr(0),
Matt Arsenaulte622dc32017-04-11 22:29:24 +000049 PSInputEnable(0),
Marek Olsak8e9cc632016-01-13 17:23:09 +000050 ReturnsVoid(true),
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +000051 FlatWorkGroupSizes(0, 0),
52 WavesPerEU(0, 0),
NAKAMURA Takumi5cbd41e2016-06-27 10:26:43 +000053 DebuggerWorkGroupIDStackObjectIndices({{0, 0, 0}}),
54 DebuggerWorkItemIDStackObjectIndices({{0, 0, 0}}),
Marek Olsakfccabaf2016-01-13 11:45:36 +000055 LDSWaveSpillSize(0),
Tom Stellard96468902014-09-24 01:33:17 +000056 NumUserSGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000057 NumSystemSGPRs(0),
Matt Arsenault49affb82015-11-25 20:55:12 +000058 HasSpilledSGPRs(false),
59 HasSpilledVGPRs(false),
Matt Arsenault296b8492016-02-12 06:31:30 +000060 HasNonSpillStackObjects(false),
Marek Olsak0532c192016-07-13 17:35:15 +000061 NumSpilledSGPRs(0),
62 NumSpilledVGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000063 PrivateSegmentBuffer(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000064 DispatchPtr(false),
65 QueuePtr(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000066 KernargSegmentPtr(false),
Matt Arsenault8d718dc2016-07-22 17:01:30 +000067 DispatchID(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000068 FlatScratchInit(false),
69 GridWorkgroupCountX(false),
70 GridWorkgroupCountY(false),
71 GridWorkgroupCountZ(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000072 WorkGroupIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000073 WorkGroupIDY(false),
74 WorkGroupIDZ(false),
75 WorkGroupInfo(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000076 PrivateSegmentWaveByteOffset(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000077 WorkItemIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000078 WorkItemIDY(false),
Tom Stellard2f3f9852017-01-25 01:25:13 +000079 WorkItemIDZ(false),
Matt Arsenault10fc0622017-06-26 03:01:31 +000080 ImplicitBufferPtr(false) {
Matt Arsenault43e92fe2016-06-24 06:30:11 +000081 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault49affb82015-11-25 20:55:12 +000082 const Function *F = MF.getFunction();
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000083 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F);
84 WavesPerEU = ST.getWavesPerEU(*F);
Matt Arsenault49affb82015-11-25 20:55:12 +000085
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000086 if (!isEntryFunction()) {
87 // Non-entry functions have no special inputs for now, other registers
88 // required for scratch access.
89 ScratchRSrcReg = AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3;
90 ScratchWaveOffsetReg = AMDGPU::SGPR4;
91 FrameOffsetReg = AMDGPU::SGPR5;
Matt Arsenaultf28683c2017-06-26 17:53:59 +000092 StackPtrOffsetReg = AMDGPU::SGPR32;
Matt Arsenault1cc47f82017-07-18 16:44:56 +000093
94 // FIXME: Not really a system SGPR.
95 PrivateSegmentWaveByteOffsetSystemSGPR = ScratchWaveOffsetReg;
Matt Arsenault9166ce82017-07-28 15:52:08 +000096 if (F->hasFnAttribute("amdgpu-implicitarg-ptr"))
97 ImplicitArgPtr = true;
98 } else {
99 if (F->hasFnAttribute("amdgpu-implicitarg-ptr"))
100 KernargSegmentPtr = true;
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000101 }
Marek Olsakfccabaf2016-01-13 11:45:36 +0000102
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000103 CallingConv::ID CC = F->getCallingConv();
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000104 if (CC == CallingConv::AMDGPU_KERNEL || CC == CallingConv::SPIR_KERNEL) {
Matt Arsenault9166ce82017-07-28 15:52:08 +0000105 if (!F->arg_empty())
106 KernargSegmentPtr = true;
Tom Stellardf110f8f2016-04-14 16:27:03 +0000107 WorkGroupIDX = true;
108 WorkItemIDX = true;
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000109 } else if (CC == CallingConv::AMDGPU_PS) {
110 PSInputAddr = AMDGPU::getInitialPSInputAddr(*F);
Tom Stellardf110f8f2016-04-14 16:27:03 +0000111 }
Matt Arsenault49affb82015-11-25 20:55:12 +0000112
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000113 if (ST.debuggerEmitPrologue()) {
114 // Enable everything.
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000115 WorkGroupIDX = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000116 WorkGroupIDY = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000117 WorkGroupIDZ = true;
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000118 WorkItemIDX = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000119 WorkItemIDY = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000120 WorkItemIDZ = true;
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000121 } else {
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000122 if (F->hasFnAttribute("amdgpu-work-group-id-x"))
123 WorkGroupIDX = true;
124
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000125 if (F->hasFnAttribute("amdgpu-work-group-id-y"))
126 WorkGroupIDY = true;
127
128 if (F->hasFnAttribute("amdgpu-work-group-id-z"))
129 WorkGroupIDZ = true;
130
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000131 if (F->hasFnAttribute("amdgpu-work-item-id-x"))
132 WorkItemIDX = true;
133
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000134 if (F->hasFnAttribute("amdgpu-work-item-id-y"))
135 WorkItemIDY = true;
136
137 if (F->hasFnAttribute("amdgpu-work-item-id-z"))
138 WorkItemIDZ = true;
139 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000140
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000141 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000142 bool MaySpill = ST.isVGPRSpillingEnabled(*F);
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000143 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000144
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000145 if (isEntryFunction()) {
146 // X, XY, and XYZ are the only supported combinations, so make sure Y is
147 // enabled if Z is.
148 if (WorkItemIDZ)
149 WorkItemIDY = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000150
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000151 if (HasStackObjects || MaySpill) {
152 PrivateSegmentWaveByteOffset = true;
153
154 // HS and GS always have the scratch wave offset in SGPR5 on GFX9.
155 if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 &&
156 (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS))
157 PrivateSegmentWaveByteOffsetSystemSGPR = AMDGPU::SGPR5;
158 }
Marek Olsak584d2c02017-05-04 22:25:20 +0000159 }
160
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000161 bool IsCOV2 = ST.isAmdCodeObjectV2(MF);
162 if (IsCOV2) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000163 if (HasStackObjects || MaySpill)
164 PrivateSegmentBuffer = true;
165
166 if (F->hasFnAttribute("amdgpu-dispatch-ptr"))
167 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000168
169 if (F->hasFnAttribute("amdgpu-queue-ptr"))
170 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000171
172 if (F->hasFnAttribute("amdgpu-dispatch-id"))
173 DispatchID = true;
Tom Stellard2f3f9852017-01-25 01:25:13 +0000174 } else if (ST.isMesaGfxShader(MF)) {
175 if (HasStackObjects || MaySpill)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000176 ImplicitBufferPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000177 }
178
Matt Arsenault23e4df62017-07-14 00:11:13 +0000179 if (F->hasFnAttribute("amdgpu-kernarg-segment-ptr"))
180 KernargSegmentPtr = true;
181
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000182 if (ST.hasFlatAddressSpace() && isEntryFunction() && IsCOV2) {
183 // TODO: This could be refined a lot. The attribute is a poor way of
184 // detecting calls that may require it before argument lowering.
185 if (HasStackObjects || F->hasFnAttribute("amdgpu-flat-scratch"))
186 FlatScratchInit = true;
187 }
Matt Arsenault49affb82015-11-25 20:55:12 +0000188}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000189
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000190unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
191 const SIRegisterInfo &TRI) {
192 PrivateSegmentBufferUserSGPR = TRI.getMatchingSuperReg(
193 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass);
194 NumUserSGPRs += 4;
195 return PrivateSegmentBufferUserSGPR;
196}
197
198unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
199 DispatchPtrUserSGPR = TRI.getMatchingSuperReg(
200 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
201 NumUserSGPRs += 2;
202 return DispatchPtrUserSGPR;
203}
204
205unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
206 QueuePtrUserSGPR = TRI.getMatchingSuperReg(
207 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
208 NumUserSGPRs += 2;
209 return QueuePtrUserSGPR;
210}
211
212unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
213 KernargSegmentPtrUserSGPR = TRI.getMatchingSuperReg(
214 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
215 NumUserSGPRs += 2;
216 return KernargSegmentPtrUserSGPR;
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000217}
218
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000219unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
220 DispatchIDUserSGPR = TRI.getMatchingSuperReg(
221 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
222 NumUserSGPRs += 2;
223 return DispatchIDUserSGPR;
224}
225
Matt Arsenault296b8492016-02-12 06:31:30 +0000226unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
227 FlatScratchInitUserSGPR = TRI.getMatchingSuperReg(
228 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
229 NumUserSGPRs += 2;
230 return FlatScratchInitUserSGPR;
231}
232
Matt Arsenault10fc0622017-06-26 03:01:31 +0000233unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) {
234 ImplicitBufferPtrUserSGPR = TRI.getMatchingSuperReg(
Tom Stellard2f3f9852017-01-25 01:25:13 +0000235 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
236 NumUserSGPRs += 2;
Matt Arsenault10fc0622017-06-26 03:01:31 +0000237 return ImplicitBufferPtrUserSGPR;
Tom Stellard2f3f9852017-01-25 01:25:13 +0000238}
239
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000240/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
241bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
242 int FI) {
243 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000244
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000245 // This has already been allocated.
246 if (!SpillLanes.empty())
247 return true;
248
249 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000250 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000251 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
252 MachineRegisterInfo &MRI = MF.getRegInfo();
253 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000254
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000255 unsigned Size = FrameInfo.getObjectSize(FI);
256 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
257 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000258
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000259 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000260
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000261 // Make sure to handle the case where a wide SGPR spill may span between two
262 // VGPRs.
263 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
264 unsigned LaneVGPR;
265 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000266
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000267 if (VGPRIndex == 0) {
268 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
269 if (LaneVGPR == AMDGPU::NoRegister) {
270 // We have no VGPRs left for spilling SGPRs. Reset because we won't
271 // partially spill the SGPR to VGPRs.
272 SGPRToVGPRSpills.erase(FI);
273 NumVGPRSpillLanes -= I;
274 return false;
275 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000276
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000277 SpillVGPRs.push_back(LaneVGPR);
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000278
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000279 // Add this register as live-in to all blocks to avoid machine verifer
280 // complaining about use of an undefined physical register.
281 for (MachineBasicBlock &BB : MF)
282 BB.addLiveIn(LaneVGPR);
283 } else {
284 LaneVGPR = SpillVGPRs.back();
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000285 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000286
287 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000288 }
289
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000290 return true;
291}
292
293void SIMachineFunctionInfo::removeSGPRToVGPRFrameIndices(MachineFrameInfo &MFI) {
294 for (auto &R : SGPRToVGPRSpills)
295 MFI.RemoveStackObject(R.first);
Tom Stellardc149dc02013-11-27 21:23:35 +0000296}