blob: baf26039a5f39879b38855a04c75a0a8de0258d9 [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 Arsenault8623e8d2017-08-03 23:00:29 +000030 ArgInfo(),
Tom Stellardc149dc02013-11-27 21:23:35 +000031 PSInputAddr(0),
Matt Arsenaulte622dc32017-04-11 22:29:24 +000032 PSInputEnable(0),
Marek Olsak8e9cc632016-01-13 17:23:09 +000033 ReturnsVoid(true),
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +000034 FlatWorkGroupSizes(0, 0),
35 WavesPerEU(0, 0),
NAKAMURA Takumi5cbd41e2016-06-27 10:26:43 +000036 DebuggerWorkGroupIDStackObjectIndices({{0, 0, 0}}),
37 DebuggerWorkItemIDStackObjectIndices({{0, 0, 0}}),
Marek Olsakfccabaf2016-01-13 11:45:36 +000038 LDSWaveSpillSize(0),
Tom Stellard96468902014-09-24 01:33:17 +000039 NumUserSGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000040 NumSystemSGPRs(0),
Matt Arsenault49affb82015-11-25 20:55:12 +000041 HasSpilledSGPRs(false),
42 HasSpilledVGPRs(false),
Matt Arsenault296b8492016-02-12 06:31:30 +000043 HasNonSpillStackObjects(false),
Marek Olsak0532c192016-07-13 17:35:15 +000044 NumSpilledSGPRs(0),
45 NumSpilledVGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000046 PrivateSegmentBuffer(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000047 DispatchPtr(false),
48 QueuePtr(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000049 KernargSegmentPtr(false),
Matt Arsenault8d718dc2016-07-22 17:01:30 +000050 DispatchID(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000051 FlatScratchInit(false),
52 GridWorkgroupCountX(false),
53 GridWorkgroupCountY(false),
54 GridWorkgroupCountZ(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000055 WorkGroupIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000056 WorkGroupIDY(false),
57 WorkGroupIDZ(false),
58 WorkGroupInfo(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000059 PrivateSegmentWaveByteOffset(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000060 WorkItemIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000061 WorkItemIDY(false),
Tom Stellard2f3f9852017-01-25 01:25:13 +000062 WorkItemIDZ(false),
Matt Arsenault817c2532017-08-03 23:12:44 +000063 ImplicitBufferPtr(false),
64 ImplicitArgPtr(false) {
Matt Arsenault43e92fe2016-06-24 06:30:11 +000065 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault49affb82015-11-25 20:55:12 +000066 const Function *F = MF.getFunction();
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000067 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F);
68 WavesPerEU = ST.getWavesPerEU(*F);
Matt Arsenault49affb82015-11-25 20:55:12 +000069
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000070 if (!isEntryFunction()) {
71 // Non-entry functions have no special inputs for now, other registers
72 // required for scratch access.
73 ScratchRSrcReg = AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3;
74 ScratchWaveOffsetReg = AMDGPU::SGPR4;
75 FrameOffsetReg = AMDGPU::SGPR5;
Matt Arsenaultf28683c2017-06-26 17:53:59 +000076 StackPtrOffsetReg = AMDGPU::SGPR32;
Matt Arsenault1cc47f82017-07-18 16:44:56 +000077
Matt Arsenault8623e8d2017-08-03 23:00:29 +000078 ArgInfo.PrivateSegmentBuffer =
79 ArgDescriptor::createRegister(ScratchRSrcReg);
80 ArgInfo.PrivateSegmentWaveByteOffset =
81 ArgDescriptor::createRegister(ScratchWaveOffsetReg);
82
Matt Arsenault9166ce82017-07-28 15:52:08 +000083 if (F->hasFnAttribute("amdgpu-implicitarg-ptr"))
84 ImplicitArgPtr = true;
85 } else {
86 if (F->hasFnAttribute("amdgpu-implicitarg-ptr"))
87 KernargSegmentPtr = true;
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000088 }
Marek Olsakfccabaf2016-01-13 11:45:36 +000089
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000090 CallingConv::ID CC = F->getCallingConv();
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000091 if (CC == CallingConv::AMDGPU_KERNEL || CC == CallingConv::SPIR_KERNEL) {
Matt Arsenault9166ce82017-07-28 15:52:08 +000092 if (!F->arg_empty())
93 KernargSegmentPtr = true;
Tom Stellardf110f8f2016-04-14 16:27:03 +000094 WorkGroupIDX = true;
95 WorkItemIDX = true;
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000096 } else if (CC == CallingConv::AMDGPU_PS) {
97 PSInputAddr = AMDGPU::getInitialPSInputAddr(*F);
Tom Stellardf110f8f2016-04-14 16:27:03 +000098 }
Matt Arsenault49affb82015-11-25 20:55:12 +000099
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000100 if (ST.debuggerEmitPrologue()) {
101 // Enable everything.
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000102 WorkGroupIDX = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000103 WorkGroupIDY = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000104 WorkGroupIDZ = true;
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000105 WorkItemIDX = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000106 WorkItemIDY = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000107 WorkItemIDZ = true;
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000108 } else {
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000109 if (F->hasFnAttribute("amdgpu-work-group-id-x"))
110 WorkGroupIDX = true;
111
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000112 if (F->hasFnAttribute("amdgpu-work-group-id-y"))
113 WorkGroupIDY = true;
114
115 if (F->hasFnAttribute("amdgpu-work-group-id-z"))
116 WorkGroupIDZ = true;
117
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000118 if (F->hasFnAttribute("amdgpu-work-item-id-x"))
119 WorkItemIDX = true;
120
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000121 if (F->hasFnAttribute("amdgpu-work-item-id-y"))
122 WorkItemIDY = true;
123
124 if (F->hasFnAttribute("amdgpu-work-item-id-z"))
125 WorkItemIDZ = true;
126 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000127
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000128 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000129 bool MaySpill = ST.isVGPRSpillingEnabled(*F);
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000130 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000131
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000132 if (isEntryFunction()) {
133 // X, XY, and XYZ are the only supported combinations, so make sure Y is
134 // enabled if Z is.
135 if (WorkItemIDZ)
136 WorkItemIDY = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000137
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000138 if (HasStackObjects || MaySpill) {
139 PrivateSegmentWaveByteOffset = true;
140
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000141 // HS and GS always have the scratch wave offset in SGPR5 on GFX9.
142 if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 &&
143 (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS))
144 ArgInfo.PrivateSegmentWaveByteOffset
145 = ArgDescriptor::createRegister(AMDGPU::SGPR5);
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000146 }
Marek Olsak584d2c02017-05-04 22:25:20 +0000147 }
148
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000149 bool IsCOV2 = ST.isAmdCodeObjectV2(MF);
150 if (IsCOV2) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000151 if (HasStackObjects || MaySpill)
152 PrivateSegmentBuffer = true;
153
154 if (F->hasFnAttribute("amdgpu-dispatch-ptr"))
155 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000156
157 if (F->hasFnAttribute("amdgpu-queue-ptr"))
158 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000159
160 if (F->hasFnAttribute("amdgpu-dispatch-id"))
161 DispatchID = true;
Tom Stellard2f3f9852017-01-25 01:25:13 +0000162 } else if (ST.isMesaGfxShader(MF)) {
163 if (HasStackObjects || MaySpill)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000164 ImplicitBufferPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000165 }
166
Matt Arsenault23e4df62017-07-14 00:11:13 +0000167 if (F->hasFnAttribute("amdgpu-kernarg-segment-ptr"))
168 KernargSegmentPtr = true;
169
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000170 if (ST.hasFlatAddressSpace() && isEntryFunction() && IsCOV2) {
171 // TODO: This could be refined a lot. The attribute is a poor way of
172 // detecting calls that may require it before argument lowering.
173 if (HasStackObjects || F->hasFnAttribute("amdgpu-flat-scratch"))
174 FlatScratchInit = true;
175 }
Matt Arsenault49affb82015-11-25 20:55:12 +0000176}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000177
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000178unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
179 const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000180 ArgInfo.PrivateSegmentBuffer =
181 ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
182 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000183 NumUserSGPRs += 4;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000184 return ArgInfo.PrivateSegmentBuffer.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000185}
186
187unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000188 ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
189 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000190 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000191 return ArgInfo.DispatchPtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000192}
193
194unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000195 ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
196 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000197 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000198 return ArgInfo.QueuePtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000199}
200
201unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000202 ArgInfo.KernargSegmentPtr
203 = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
204 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000205 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000206 return ArgInfo.KernargSegmentPtr.getRegister();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000207}
208
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000209unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000210 ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
211 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000212 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000213 return ArgInfo.DispatchID.getRegister();
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000214}
215
Matt Arsenault296b8492016-02-12 06:31:30 +0000216unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000217 ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
218 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault296b8492016-02-12 06:31:30 +0000219 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000220 return ArgInfo.FlatScratchInit.getRegister();
Matt Arsenault296b8492016-02-12 06:31:30 +0000221}
222
Matt Arsenault10fc0622017-06-26 03:01:31 +0000223unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000224 ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
225 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Tom Stellard2f3f9852017-01-25 01:25:13 +0000226 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000227 return ArgInfo.ImplicitBufferPtr.getRegister();
Tom Stellard2f3f9852017-01-25 01:25:13 +0000228}
229
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000230static bool isCalleeSavedReg(const MCPhysReg *CSRegs, MCPhysReg Reg) {
231 for (unsigned I = 0; CSRegs[I]; ++I) {
232 if (CSRegs[I] == Reg)
233 return true;
234 }
235
236 return false;
237}
238
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000239/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
240bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
241 int FI) {
242 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000243
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000244 // This has already been allocated.
245 if (!SpillLanes.empty())
246 return true;
247
248 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000249 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000250 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
251 MachineRegisterInfo &MRI = MF.getRegInfo();
252 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000253
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000254 unsigned Size = FrameInfo.getObjectSize(FI);
255 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
256 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000257
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000258 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000259
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000260 const MCPhysReg *CSRegs = TRI->getCalleeSavedRegs(&MF);
261
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000262 // Make sure to handle the case where a wide SGPR spill may span between two
263 // VGPRs.
264 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
265 unsigned LaneVGPR;
266 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000267
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000268 if (VGPRIndex == 0) {
269 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
270 if (LaneVGPR == AMDGPU::NoRegister) {
271 // We have no VGPRs left for spilling SGPRs. Reset because we won't
272 // partially spill the SGPR to VGPRs.
273 SGPRToVGPRSpills.erase(FI);
274 NumVGPRSpillLanes -= I;
275 return false;
276 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000277
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000278 Optional<int> CSRSpillFI;
279 if (FrameInfo.hasCalls() && CSRegs && isCalleeSavedReg(CSRegs, LaneVGPR)) {
280 // TODO: Should this be a CreateSpillStackObject? This is technically a
281 // weird CSR spill.
282 CSRSpillFI = FrameInfo.CreateStackObject(4, 4, false);
283 }
284
285 SpillVGPRs.push_back(SGPRSpillVGPRCSR(LaneVGPR, CSRSpillFI));
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000286
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000287 // Add this register as live-in to all blocks to avoid machine verifer
288 // complaining about use of an undefined physical register.
289 for (MachineBasicBlock &BB : MF)
290 BB.addLiveIn(LaneVGPR);
291 } else {
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000292 LaneVGPR = SpillVGPRs.back().VGPR;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000293 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000294
295 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000296 }
297
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000298 return true;
299}
300
301void SIMachineFunctionInfo::removeSGPRToVGPRFrameIndices(MachineFrameInfo &MFI) {
302 for (auto &R : SGPRToVGPRSpills)
303 MFI.RemoveStackObject(R.first);
Tom Stellardc149dc02013-11-27 21:23:35 +0000304}