blob: 18b197ddb7ae7c04aaf76e5982cb413bafc014ea [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 Arsenault49affb82015-11-25 20:55:12 +000026 ScratchRSrcReg(AMDGPU::NoRegister),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000027 ScratchWaveOffsetReg(AMDGPU::NoRegister),
Matt Arsenault1c0ae392017-04-24 18:05:16 +000028 FrameOffsetReg(AMDGPU::NoRegister),
29 StackPtrOffsetReg(AMDGPU::NoRegister),
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),
Tom Stellardc149dc02013-11-27 21:23:35 +000045 PSInputAddr(0),
Matt Arsenaulte622dc32017-04-11 22:29:24 +000046 PSInputEnable(0),
Marek Olsak8e9cc632016-01-13 17:23:09 +000047 ReturnsVoid(true),
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +000048 FlatWorkGroupSizes(0, 0),
49 WavesPerEU(0, 0),
NAKAMURA Takumi5cbd41e2016-06-27 10:26:43 +000050 DebuggerWorkGroupIDStackObjectIndices({{0, 0, 0}}),
51 DebuggerWorkItemIDStackObjectIndices({{0, 0, 0}}),
Marek Olsakfccabaf2016-01-13 11:45:36 +000052 LDSWaveSpillSize(0),
Tom Stellard96468902014-09-24 01:33:17 +000053 NumUserSGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000054 NumSystemSGPRs(0),
Matt Arsenault49affb82015-11-25 20:55:12 +000055 HasSpilledSGPRs(false),
56 HasSpilledVGPRs(false),
Matt Arsenault296b8492016-02-12 06:31:30 +000057 HasNonSpillStackObjects(false),
Marek Olsak0532c192016-07-13 17:35:15 +000058 NumSpilledSGPRs(0),
59 NumSpilledVGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000060 PrivateSegmentBuffer(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000061 DispatchPtr(false),
62 QueuePtr(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000063 KernargSegmentPtr(false),
Matt Arsenault8d718dc2016-07-22 17:01:30 +000064 DispatchID(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000065 FlatScratchInit(false),
66 GridWorkgroupCountX(false),
67 GridWorkgroupCountY(false),
68 GridWorkgroupCountZ(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000069 WorkGroupIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000070 WorkGroupIDY(false),
71 WorkGroupIDZ(false),
72 WorkGroupInfo(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000073 PrivateSegmentWaveByteOffset(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000074 WorkItemIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000075 WorkItemIDY(false),
Tom Stellard2f3f9852017-01-25 01:25:13 +000076 WorkItemIDZ(false),
77 PrivateMemoryInputPtr(false) {
Matt Arsenault43e92fe2016-06-24 06:30:11 +000078 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault49affb82015-11-25 20:55:12 +000079 const Function *F = MF.getFunction();
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000080 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F);
81 WavesPerEU = ST.getWavesPerEU(*F);
Matt Arsenault49affb82015-11-25 20:55:12 +000082
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000083 if (!isEntryFunction()) {
84 // Non-entry functions have no special inputs for now, other registers
85 // required for scratch access.
86 ScratchRSrcReg = AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3;
87 ScratchWaveOffsetReg = AMDGPU::SGPR4;
88 FrameOffsetReg = AMDGPU::SGPR5;
89 return;
90 }
Marek Olsakfccabaf2016-01-13 11:45:36 +000091
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000092 CallingConv::ID CC = F->getCallingConv();
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000093 if (CC == CallingConv::AMDGPU_KERNEL || CC == CallingConv::SPIR_KERNEL) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000094 KernargSegmentPtr = true;
Tom Stellardf110f8f2016-04-14 16:27:03 +000095 WorkGroupIDX = true;
96 WorkItemIDX = true;
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000097 } else if (CC == CallingConv::AMDGPU_PS) {
98 PSInputAddr = AMDGPU::getInitialPSInputAddr(*F);
Tom Stellardf110f8f2016-04-14 16:27:03 +000099 }
Matt Arsenault49affb82015-11-25 20:55:12 +0000100
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000101 if (ST.debuggerEmitPrologue()) {
102 // Enable everything.
Matt Arsenault49affb82015-11-25 20:55:12 +0000103 WorkGroupIDY = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000104 WorkGroupIDZ = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000105 WorkItemIDY = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000106 WorkItemIDZ = true;
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000107 } else {
108 if (F->hasFnAttribute("amdgpu-work-group-id-y"))
109 WorkGroupIDY = true;
110
111 if (F->hasFnAttribute("amdgpu-work-group-id-z"))
112 WorkGroupIDZ = true;
113
114 if (F->hasFnAttribute("amdgpu-work-item-id-y"))
115 WorkItemIDY = true;
116
117 if (F->hasFnAttribute("amdgpu-work-item-id-z"))
118 WorkItemIDZ = true;
119 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000120
Matt Arsenault296b8492016-02-12 06:31:30 +0000121 // X, XY, and XYZ are the only supported combinations, so make sure Y is
122 // enabled if Z is.
123 if (WorkItemIDZ)
124 WorkItemIDY = true;
125
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000126 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000127 bool MaySpill = ST.isVGPRSpillingEnabled(*F);
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000128 bool HasStackObjects = FrameInfo.hasStackObjects() || FrameInfo.hasCalls();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000129
Marek Olsak584d2c02017-05-04 22:25:20 +0000130 if (HasStackObjects || MaySpill) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000131 PrivateSegmentWaveByteOffset = true;
132
Marek Olsak584d2c02017-05-04 22:25:20 +0000133 // HS and GS always have the scratch wave offset in SGPR5 on GFX9.
134 if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 &&
135 (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS))
136 PrivateSegmentWaveByteOffsetSystemSGPR = AMDGPU::SGPR5;
137 }
138
Tom Stellard2f3f9852017-01-25 01:25:13 +0000139 if (ST.isAmdCodeObjectV2(MF)) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000140 if (HasStackObjects || MaySpill)
141 PrivateSegmentBuffer = true;
142
143 if (F->hasFnAttribute("amdgpu-dispatch-ptr"))
144 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000145
146 if (F->hasFnAttribute("amdgpu-queue-ptr"))
147 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000148
149 if (F->hasFnAttribute("amdgpu-dispatch-id"))
150 DispatchID = true;
Tom Stellard2f3f9852017-01-25 01:25:13 +0000151 } else if (ST.isMesaGfxShader(MF)) {
152 if (HasStackObjects || MaySpill)
153 PrivateMemoryInputPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000154 }
155
Matt Arsenault296b8492016-02-12 06:31:30 +0000156 // We don't need to worry about accessing spills with flat instructions.
157 // TODO: On VI where we must use flat for global, we should be able to omit
158 // this if it is never used for generic access.
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000159 if (HasStackObjects && ST.hasFlatAddressSpace() && ST.isAmdHsaOS())
Matt Arsenault296b8492016-02-12 06:31:30 +0000160 FlatScratchInit = true;
Matt Arsenault49affb82015-11-25 20:55:12 +0000161}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000162
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000163unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
164 const SIRegisterInfo &TRI) {
165 PrivateSegmentBufferUserSGPR = TRI.getMatchingSuperReg(
166 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass);
167 NumUserSGPRs += 4;
168 return PrivateSegmentBufferUserSGPR;
169}
170
171unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
172 DispatchPtrUserSGPR = TRI.getMatchingSuperReg(
173 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
174 NumUserSGPRs += 2;
175 return DispatchPtrUserSGPR;
176}
177
178unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
179 QueuePtrUserSGPR = TRI.getMatchingSuperReg(
180 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
181 NumUserSGPRs += 2;
182 return QueuePtrUserSGPR;
183}
184
185unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
186 KernargSegmentPtrUserSGPR = TRI.getMatchingSuperReg(
187 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
188 NumUserSGPRs += 2;
189 return KernargSegmentPtrUserSGPR;
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000190}
191
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000192unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
193 DispatchIDUserSGPR = TRI.getMatchingSuperReg(
194 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
195 NumUserSGPRs += 2;
196 return DispatchIDUserSGPR;
197}
198
Matt Arsenault296b8492016-02-12 06:31:30 +0000199unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
200 FlatScratchInitUserSGPR = TRI.getMatchingSuperReg(
201 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
202 NumUserSGPRs += 2;
203 return FlatScratchInitUserSGPR;
204}
205
Tom Stellard2f3f9852017-01-25 01:25:13 +0000206unsigned SIMachineFunctionInfo::addPrivateMemoryPtr(const SIRegisterInfo &TRI) {
207 PrivateMemoryPtrUserSGPR = TRI.getMatchingSuperReg(
208 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
209 NumUserSGPRs += 2;
210 return PrivateMemoryPtrUserSGPR;
211}
212
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000213/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
214bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
215 int FI) {
216 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000217
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000218 // This has already been allocated.
219 if (!SpillLanes.empty())
220 return true;
221
222 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000223 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000224 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
225 MachineRegisterInfo &MRI = MF.getRegInfo();
226 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000227
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000228 unsigned Size = FrameInfo.getObjectSize(FI);
229 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
230 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000231
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000232 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000233
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000234 // Make sure to handle the case where a wide SGPR spill may span between two
235 // VGPRs.
236 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
237 unsigned LaneVGPR;
238 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000239
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000240 if (VGPRIndex == 0) {
241 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
242 if (LaneVGPR == AMDGPU::NoRegister) {
243 // We have no VGPRs left for spilling SGPRs. Reset because we won't
244 // partially spill the SGPR to VGPRs.
245 SGPRToVGPRSpills.erase(FI);
246 NumVGPRSpillLanes -= I;
247 return false;
248 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000249
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000250 SpillVGPRs.push_back(LaneVGPR);
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000251
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000252 // Add this register as live-in to all blocks to avoid machine verifer
253 // complaining about use of an undefined physical register.
254 for (MachineBasicBlock &BB : MF)
255 BB.addLiveIn(LaneVGPR);
256 } else {
257 LaneVGPR = SpillVGPRs.back();
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000258 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000259
260 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000261 }
262
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000263 return true;
264}
265
266void SIMachineFunctionInfo::removeSGPRToVGPRFrameIndices(MachineFrameInfo &MFI) {
267 for (auto &R : SGPRToVGPRSpills)
268 MFI.RemoveStackObject(R.first);
Tom Stellardc149dc02013-11-27 21:23:35 +0000269}