blob: debb42fc0fcfc4f58bbabe95189516e3d5202c97 [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),
28 PrivateSegmentBufferUserSGPR(AMDGPU::NoRegister),
29 DispatchPtrUserSGPR(AMDGPU::NoRegister),
30 QueuePtrUserSGPR(AMDGPU::NoRegister),
31 KernargSegmentPtrUserSGPR(AMDGPU::NoRegister),
32 DispatchIDUserSGPR(AMDGPU::NoRegister),
33 FlatScratchInitUserSGPR(AMDGPU::NoRegister),
34 PrivateSegmentSizeUserSGPR(AMDGPU::NoRegister),
35 GridWorkGroupCountXUserSGPR(AMDGPU::NoRegister),
36 GridWorkGroupCountYUserSGPR(AMDGPU::NoRegister),
37 GridWorkGroupCountZUserSGPR(AMDGPU::NoRegister),
38 WorkGroupIDXSystemSGPR(AMDGPU::NoRegister),
39 WorkGroupIDYSystemSGPR(AMDGPU::NoRegister),
40 WorkGroupIDZSystemSGPR(AMDGPU::NoRegister),
41 WorkGroupInfoSystemSGPR(AMDGPU::NoRegister),
42 PrivateSegmentWaveByteOffsetSystemSGPR(AMDGPU::NoRegister),
Tom Stellardc149dc02013-11-27 21:23:35 +000043 PSInputAddr(0),
Matt Arsenaulte622dc32017-04-11 22:29:24 +000044 PSInputEnable(0),
Marek Olsak8e9cc632016-01-13 17:23:09 +000045 ReturnsVoid(true),
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +000046 FlatWorkGroupSizes(0, 0),
47 WavesPerEU(0, 0),
NAKAMURA Takumi5cbd41e2016-06-27 10:26:43 +000048 DebuggerWorkGroupIDStackObjectIndices({{0, 0, 0}}),
49 DebuggerWorkItemIDStackObjectIndices({{0, 0, 0}}),
Marek Olsakfccabaf2016-01-13 11:45:36 +000050 LDSWaveSpillSize(0),
Tom Stellard96468902014-09-24 01:33:17 +000051 NumUserSGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000052 NumSystemSGPRs(0),
Matt Arsenault49affb82015-11-25 20:55:12 +000053 HasSpilledSGPRs(false),
54 HasSpilledVGPRs(false),
Matt Arsenault296b8492016-02-12 06:31:30 +000055 HasNonSpillStackObjects(false),
Marek Olsak0532c192016-07-13 17:35:15 +000056 NumSpilledSGPRs(0),
57 NumSpilledVGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000058 PrivateSegmentBuffer(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000059 DispatchPtr(false),
60 QueuePtr(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000061 KernargSegmentPtr(false),
Matt Arsenault8d718dc2016-07-22 17:01:30 +000062 DispatchID(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000063 FlatScratchInit(false),
64 GridWorkgroupCountX(false),
65 GridWorkgroupCountY(false),
66 GridWorkgroupCountZ(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000067 WorkGroupIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000068 WorkGroupIDY(false),
69 WorkGroupIDZ(false),
70 WorkGroupInfo(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000071 PrivateSegmentWaveByteOffset(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000072 WorkItemIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000073 WorkItemIDY(false),
Tom Stellard2f3f9852017-01-25 01:25:13 +000074 WorkItemIDZ(false),
75 PrivateMemoryInputPtr(false) {
Matt Arsenault43e92fe2016-06-24 06:30:11 +000076 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault49affb82015-11-25 20:55:12 +000077 const Function *F = MF.getFunction();
78
Marek Olsakfccabaf2016-01-13 11:45:36 +000079 PSInputAddr = AMDGPU::getInitialPSInputAddr(*F);
80
Matthias Braun941a7052016-07-28 18:40:00 +000081 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000082
Tom Stellardf110f8f2016-04-14 16:27:03 +000083 if (!AMDGPU::isShader(F->getCallingConv())) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000084 KernargSegmentPtr = true;
Tom Stellardf110f8f2016-04-14 16:27:03 +000085 WorkGroupIDX = true;
86 WorkItemIDX = true;
87 }
Matt Arsenault49affb82015-11-25 20:55:12 +000088
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +000089 if (F->hasFnAttribute("amdgpu-work-group-id-y") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +000090 WorkGroupIDY = true;
91
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +000092 if (F->hasFnAttribute("amdgpu-work-group-id-z") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +000093 WorkGroupIDZ = true;
94
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +000095 if (F->hasFnAttribute("amdgpu-work-item-id-y") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +000096 WorkItemIDY = true;
97
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +000098 if (F->hasFnAttribute("amdgpu-work-item-id-z") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +000099 WorkItemIDZ = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000100
Matt Arsenault296b8492016-02-12 06:31:30 +0000101 // X, XY, and XYZ are the only supported combinations, so make sure Y is
102 // enabled if Z is.
103 if (WorkItemIDZ)
104 WorkItemIDY = true;
105
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000106 bool MaySpill = ST.isVGPRSpillingEnabled(*F);
Matthias Braun941a7052016-07-28 18:40:00 +0000107 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000108
109 if (HasStackObjects || MaySpill)
110 PrivateSegmentWaveByteOffset = true;
111
Tom Stellard2f3f9852017-01-25 01:25:13 +0000112 if (ST.isAmdCodeObjectV2(MF)) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000113 if (HasStackObjects || MaySpill)
114 PrivateSegmentBuffer = true;
115
116 if (F->hasFnAttribute("amdgpu-dispatch-ptr"))
117 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000118
119 if (F->hasFnAttribute("amdgpu-queue-ptr"))
120 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000121
122 if (F->hasFnAttribute("amdgpu-dispatch-id"))
123 DispatchID = true;
Tom Stellard2f3f9852017-01-25 01:25:13 +0000124 } else if (ST.isMesaGfxShader(MF)) {
125 if (HasStackObjects || MaySpill)
126 PrivateMemoryInputPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000127 }
128
Matt Arsenault296b8492016-02-12 06:31:30 +0000129 // We don't need to worry about accessing spills with flat instructions.
130 // TODO: On VI where we must use flat for global, we should be able to omit
131 // this if it is never used for generic access.
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000132 if (HasStackObjects && ST.getGeneration() >= SISubtarget::SEA_ISLANDS &&
Matt Arsenault296b8492016-02-12 06:31:30 +0000133 ST.isAmdHsaOS())
134 FlatScratchInit = true;
Tom Stellard79a1fd72016-04-14 16:27:07 +0000135
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000136 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F);
137 WavesPerEU = ST.getWavesPerEU(*F);
Matt Arsenault49affb82015-11-25 20:55:12 +0000138}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000139
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000140unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
141 const SIRegisterInfo &TRI) {
142 PrivateSegmentBufferUserSGPR = TRI.getMatchingSuperReg(
143 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass);
144 NumUserSGPRs += 4;
145 return PrivateSegmentBufferUserSGPR;
146}
147
148unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
149 DispatchPtrUserSGPR = TRI.getMatchingSuperReg(
150 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
151 NumUserSGPRs += 2;
152 return DispatchPtrUserSGPR;
153}
154
155unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
156 QueuePtrUserSGPR = TRI.getMatchingSuperReg(
157 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
158 NumUserSGPRs += 2;
159 return QueuePtrUserSGPR;
160}
161
162unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
163 KernargSegmentPtrUserSGPR = TRI.getMatchingSuperReg(
164 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
165 NumUserSGPRs += 2;
166 return KernargSegmentPtrUserSGPR;
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000167}
168
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000169unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
170 DispatchIDUserSGPR = TRI.getMatchingSuperReg(
171 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
172 NumUserSGPRs += 2;
173 return DispatchIDUserSGPR;
174}
175
Matt Arsenault296b8492016-02-12 06:31:30 +0000176unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
177 FlatScratchInitUserSGPR = TRI.getMatchingSuperReg(
178 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
179 NumUserSGPRs += 2;
180 return FlatScratchInitUserSGPR;
181}
182
Tom Stellard2f3f9852017-01-25 01:25:13 +0000183unsigned SIMachineFunctionInfo::addPrivateMemoryPtr(const SIRegisterInfo &TRI) {
184 PrivateMemoryPtrUserSGPR = TRI.getMatchingSuperReg(
185 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
186 NumUserSGPRs += 2;
187 return PrivateMemoryPtrUserSGPR;
188}
189
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000190/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
191bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
192 int FI) {
193 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000194
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000195 // This has already been allocated.
196 if (!SpillLanes.empty())
197 return true;
198
199 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000200 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000201 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
202 MachineRegisterInfo &MRI = MF.getRegInfo();
203 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000204
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000205 unsigned Size = FrameInfo.getObjectSize(FI);
206 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
207 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000208
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000209 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000210
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000211 // Make sure to handle the case where a wide SGPR spill may span between two
212 // VGPRs.
213 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
214 unsigned LaneVGPR;
215 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000216
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000217 if (VGPRIndex == 0) {
218 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
219 if (LaneVGPR == AMDGPU::NoRegister) {
220 // We have no VGPRs left for spilling SGPRs. Reset because we won't
221 // partially spill the SGPR to VGPRs.
222 SGPRToVGPRSpills.erase(FI);
223 NumVGPRSpillLanes -= I;
224 return false;
225 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000226
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000227 SpillVGPRs.push_back(LaneVGPR);
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000228
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000229 // Add this register as live-in to all blocks to avoid machine verifer
230 // complaining about use of an undefined physical register.
231 for (MachineBasicBlock &BB : MF)
232 BB.addLiveIn(LaneVGPR);
233 } else {
234 LaneVGPR = SpillVGPRs.back();
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000235 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000236
237 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000238 }
239
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000240 return true;
241}
242
243void SIMachineFunctionInfo::removeSGPRToVGPRFrameIndices(MachineFrameInfo &MFI) {
244 for (auto &R : SGPRToVGPRSpills)
245 MFI.RemoveStackObject(R.first);
Tom Stellardc149dc02013-11-27 21:23:35 +0000246}