blob: ecd46b95ca6fe85d102246266b945f96b6e36613 [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
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +000023static cl::opt<bool> EnableSpillSGPRToVGPR(
24 "amdgpu-spill-sgpr-to-vgpr",
25 cl::desc("Enable spilling VGPRs to SGPRs"),
26 cl::ReallyHidden,
27 cl::init(true));
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000028
Tom Stellard75aadc22012-12-11 21:25:42 +000029SIMachineFunctionInfo::SIMachineFunctionInfo(const MachineFunction &MF)
Vincent Lejeuneace6f732013-04-01 21:47:53 +000030 : AMDGPUMachineFunction(MF),
Tom Stellard96468902014-09-24 01:33:17 +000031 TIDReg(AMDGPU::NoRegister),
Matt Arsenault49affb82015-11-25 20:55:12 +000032 ScratchRSrcReg(AMDGPU::NoRegister),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000033 ScratchWaveOffsetReg(AMDGPU::NoRegister),
34 PrivateSegmentBufferUserSGPR(AMDGPU::NoRegister),
35 DispatchPtrUserSGPR(AMDGPU::NoRegister),
36 QueuePtrUserSGPR(AMDGPU::NoRegister),
37 KernargSegmentPtrUserSGPR(AMDGPU::NoRegister),
38 DispatchIDUserSGPR(AMDGPU::NoRegister),
39 FlatScratchInitUserSGPR(AMDGPU::NoRegister),
40 PrivateSegmentSizeUserSGPR(AMDGPU::NoRegister),
41 GridWorkGroupCountXUserSGPR(AMDGPU::NoRegister),
42 GridWorkGroupCountYUserSGPR(AMDGPU::NoRegister),
43 GridWorkGroupCountZUserSGPR(AMDGPU::NoRegister),
44 WorkGroupIDXSystemSGPR(AMDGPU::NoRegister),
45 WorkGroupIDYSystemSGPR(AMDGPU::NoRegister),
46 WorkGroupIDZSystemSGPR(AMDGPU::NoRegister),
47 WorkGroupInfoSystemSGPR(AMDGPU::NoRegister),
48 PrivateSegmentWaveByteOffsetSystemSGPR(AMDGPU::NoRegister),
Tom Stellardc149dc02013-11-27 21:23:35 +000049 PSInputAddr(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),
56 PSInputEna(0),
Tom Stellard96468902014-09-24 01:33:17 +000057 NumUserSGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000058 NumSystemSGPRs(0),
Matt Arsenault49affb82015-11-25 20:55:12 +000059 HasSpilledSGPRs(false),
60 HasSpilledVGPRs(false),
Matt Arsenault296b8492016-02-12 06:31:30 +000061 HasNonSpillStackObjects(false),
Marek Olsak0532c192016-07-13 17:35:15 +000062 NumSpilledSGPRs(0),
63 NumSpilledVGPRs(0),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000064 PrivateSegmentBuffer(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000065 DispatchPtr(false),
66 QueuePtr(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000067 KernargSegmentPtr(false),
Matt Arsenault8d718dc2016-07-22 17:01:30 +000068 DispatchID(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000069 FlatScratchInit(false),
70 GridWorkgroupCountX(false),
71 GridWorkgroupCountY(false),
72 GridWorkgroupCountZ(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000073 WorkGroupIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000074 WorkGroupIDY(false),
75 WorkGroupIDZ(false),
76 WorkGroupInfo(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000077 PrivateSegmentWaveByteOffset(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000078 WorkItemIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000079 WorkItemIDY(false),
Tom Stellard2f3f9852017-01-25 01:25:13 +000080 WorkItemIDZ(false),
81 PrivateMemoryInputPtr(false) {
Matt Arsenault43e92fe2016-06-24 06:30:11 +000082 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault49affb82015-11-25 20:55:12 +000083 const Function *F = MF.getFunction();
84
Marek Olsakfccabaf2016-01-13 11:45:36 +000085 PSInputAddr = AMDGPU::getInitialPSInputAddr(*F);
86
Matthias Braun941a7052016-07-28 18:40:00 +000087 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000088
Tom Stellardf110f8f2016-04-14 16:27:03 +000089 if (!AMDGPU::isShader(F->getCallingConv())) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000090 KernargSegmentPtr = true;
Tom Stellardf110f8f2016-04-14 16:27:03 +000091 WorkGroupIDX = true;
92 WorkItemIDX = true;
93 }
Matt Arsenault49affb82015-11-25 20:55:12 +000094
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +000095 if (F->hasFnAttribute("amdgpu-work-group-id-y") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +000096 WorkGroupIDY = true;
97
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +000098 if (F->hasFnAttribute("amdgpu-work-group-id-z") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +000099 WorkGroupIDZ = true;
100
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000101 if (F->hasFnAttribute("amdgpu-work-item-id-y") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +0000102 WorkItemIDY = true;
103
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000104 if (F->hasFnAttribute("amdgpu-work-item-id-z") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +0000105 WorkItemIDZ = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000106
Matt Arsenault296b8492016-02-12 06:31:30 +0000107 // X, XY, and XYZ are the only supported combinations, so make sure Y is
108 // enabled if Z is.
109 if (WorkItemIDZ)
110 WorkItemIDY = true;
111
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000112 bool MaySpill = ST.isVGPRSpillingEnabled(*F);
Matthias Braun941a7052016-07-28 18:40:00 +0000113 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000114
115 if (HasStackObjects || MaySpill)
116 PrivateSegmentWaveByteOffset = true;
117
Tom Stellard2f3f9852017-01-25 01:25:13 +0000118 if (ST.isAmdCodeObjectV2(MF)) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000119 if (HasStackObjects || MaySpill)
120 PrivateSegmentBuffer = true;
121
122 if (F->hasFnAttribute("amdgpu-dispatch-ptr"))
123 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000124
125 if (F->hasFnAttribute("amdgpu-queue-ptr"))
126 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000127
128 if (F->hasFnAttribute("amdgpu-dispatch-id"))
129 DispatchID = true;
Tom Stellard2f3f9852017-01-25 01:25:13 +0000130 } else if (ST.isMesaGfxShader(MF)) {
131 if (HasStackObjects || MaySpill)
132 PrivateMemoryInputPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000133 }
134
Matt Arsenault296b8492016-02-12 06:31:30 +0000135 // We don't need to worry about accessing spills with flat instructions.
136 // TODO: On VI where we must use flat for global, we should be able to omit
137 // this if it is never used for generic access.
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000138 if (HasStackObjects && ST.getGeneration() >= SISubtarget::SEA_ISLANDS &&
Matt Arsenault296b8492016-02-12 06:31:30 +0000139 ST.isAmdHsaOS())
140 FlatScratchInit = true;
Tom Stellard79a1fd72016-04-14 16:27:07 +0000141
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000142 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F);
143 WavesPerEU = ST.getWavesPerEU(*F);
Matt Arsenault49affb82015-11-25 20:55:12 +0000144}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000145
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000146unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
147 const SIRegisterInfo &TRI) {
148 PrivateSegmentBufferUserSGPR = TRI.getMatchingSuperReg(
149 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass);
150 NumUserSGPRs += 4;
151 return PrivateSegmentBufferUserSGPR;
152}
153
154unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
155 DispatchPtrUserSGPR = TRI.getMatchingSuperReg(
156 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
157 NumUserSGPRs += 2;
158 return DispatchPtrUserSGPR;
159}
160
161unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
162 QueuePtrUserSGPR = TRI.getMatchingSuperReg(
163 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
164 NumUserSGPRs += 2;
165 return QueuePtrUserSGPR;
166}
167
168unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
169 KernargSegmentPtrUserSGPR = TRI.getMatchingSuperReg(
170 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
171 NumUserSGPRs += 2;
172 return KernargSegmentPtrUserSGPR;
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000173}
174
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000175unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
176 DispatchIDUserSGPR = TRI.getMatchingSuperReg(
177 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
178 NumUserSGPRs += 2;
179 return DispatchIDUserSGPR;
180}
181
Matt Arsenault296b8492016-02-12 06:31:30 +0000182unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
183 FlatScratchInitUserSGPR = TRI.getMatchingSuperReg(
184 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
185 NumUserSGPRs += 2;
186 return FlatScratchInitUserSGPR;
187}
188
Tom Stellard2f3f9852017-01-25 01:25:13 +0000189unsigned SIMachineFunctionInfo::addPrivateMemoryPtr(const SIRegisterInfo &TRI) {
190 PrivateMemoryPtrUserSGPR = TRI.getMatchingSuperReg(
191 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
192 NumUserSGPRs += 2;
193 return PrivateMemoryPtrUserSGPR;
194}
195
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000196SIMachineFunctionInfo::SpilledReg SIMachineFunctionInfo::getSpilledReg (
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000197 MachineFunction *MF,
198 unsigned FrameIndex,
199 unsigned SubIdx) {
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000200 if (!EnableSpillSGPRToVGPR)
201 return SpilledReg();
202
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000203 const SISubtarget &ST = MF->getSubtarget<SISubtarget>();
204 const SIRegisterInfo *TRI = ST.getRegisterInfo();
205
Matthias Braun941a7052016-07-28 18:40:00 +0000206 MachineFrameInfo &FrameInfo = MF->getFrameInfo();
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000207 MachineRegisterInfo &MRI = MF->getRegInfo();
Matthias Braun941a7052016-07-28 18:40:00 +0000208 int64_t Offset = FrameInfo.getObjectOffset(FrameIndex);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000209 Offset += SubIdx * 4;
210
211 unsigned LaneVGPRIdx = Offset / (64 * 4);
212 unsigned Lane = (Offset / 4) % 64;
213
214 struct SpilledReg Spill;
Tom Stellard649b5db2016-03-04 18:31:18 +0000215 Spill.Lane = Lane;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000216
217 if (!LaneVGPRs.count(LaneVGPRIdx)) {
Tom Stellard19f43012016-07-28 14:30:43 +0000218 unsigned LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass,
219 *MF);
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000220
Tom Stellard649b5db2016-03-04 18:31:18 +0000221 if (LaneVGPR == AMDGPU::NoRegister)
222 // We have no VGPRs left for spilling SGPRs.
223 return Spill;
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000224
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000225 LaneVGPRs[LaneVGPRIdx] = LaneVGPR;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000226
227 // Add this register as live-in to all blocks to avoid machine verifer
228 // complaining about use of an undefined physical register.
229 for (MachineFunction::iterator BI = MF->begin(), BE = MF->end();
230 BI != BE; ++BI) {
231 BI->addLiveIn(LaneVGPR);
232 }
233 }
234
235 Spill.VGPR = LaneVGPRs[LaneVGPRIdx];
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000236 return Spill;
Tom Stellardc149dc02013-11-27 21:23:35 +0000237}