blob: 10f73a7f0ee29007998e3e89b6ac1e093272427e [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),
80 WorkItemIDZ(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();
83
Marek Olsakfccabaf2016-01-13 11:45:36 +000084 PSInputAddr = AMDGPU::getInitialPSInputAddr(*F);
85
Matthias Braun941a7052016-07-28 18:40:00 +000086 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000087
Tom Stellardf110f8f2016-04-14 16:27:03 +000088 if (!AMDGPU::isShader(F->getCallingConv())) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000089 KernargSegmentPtr = true;
Tom Stellardf110f8f2016-04-14 16:27:03 +000090 WorkGroupIDX = true;
91 WorkItemIDX = true;
92 }
Matt Arsenault49affb82015-11-25 20:55:12 +000093
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +000094 if (F->hasFnAttribute("amdgpu-work-group-id-y") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +000095 WorkGroupIDY = true;
96
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +000097 if (F->hasFnAttribute("amdgpu-work-group-id-z") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +000098 WorkGroupIDZ = true;
99
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000100 if (F->hasFnAttribute("amdgpu-work-item-id-y") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +0000101 WorkItemIDY = true;
102
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000103 if (F->hasFnAttribute("amdgpu-work-item-id-z") || ST.debuggerEmitPrologue())
Matt Arsenault49affb82015-11-25 20:55:12 +0000104 WorkItemIDZ = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000105
Matt Arsenault296b8492016-02-12 06:31:30 +0000106 // X, XY, and XYZ are the only supported combinations, so make sure Y is
107 // enabled if Z is.
108 if (WorkItemIDZ)
109 WorkItemIDY = true;
110
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000111 bool MaySpill = ST.isVGPRSpillingEnabled(*F);
Matthias Braun941a7052016-07-28 18:40:00 +0000112 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000113
114 if (HasStackObjects || MaySpill)
115 PrivateSegmentWaveByteOffset = true;
116
117 if (ST.isAmdHsaOS()) {
118 if (HasStackObjects || MaySpill)
119 PrivateSegmentBuffer = true;
120
121 if (F->hasFnAttribute("amdgpu-dispatch-ptr"))
122 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000123
124 if (F->hasFnAttribute("amdgpu-queue-ptr"))
125 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000126
127 if (F->hasFnAttribute("amdgpu-dispatch-id"))
128 DispatchID = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000129 }
130
Matt Arsenault296b8492016-02-12 06:31:30 +0000131 // We don't need to worry about accessing spills with flat instructions.
132 // TODO: On VI where we must use flat for global, we should be able to omit
133 // this if it is never used for generic access.
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000134 if (HasStackObjects && ST.getGeneration() >= SISubtarget::SEA_ISLANDS &&
Matt Arsenault296b8492016-02-12 06:31:30 +0000135 ST.isAmdHsaOS())
136 FlatScratchInit = true;
Tom Stellard79a1fd72016-04-14 16:27:07 +0000137
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000138 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F);
139 WavesPerEU = ST.getWavesPerEU(*F);
Matt Arsenault49affb82015-11-25 20:55:12 +0000140}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000141
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000142unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
143 const SIRegisterInfo &TRI) {
144 PrivateSegmentBufferUserSGPR = TRI.getMatchingSuperReg(
145 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass);
146 NumUserSGPRs += 4;
147 return PrivateSegmentBufferUserSGPR;
148}
149
150unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
151 DispatchPtrUserSGPR = TRI.getMatchingSuperReg(
152 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
153 NumUserSGPRs += 2;
154 return DispatchPtrUserSGPR;
155}
156
157unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
158 QueuePtrUserSGPR = TRI.getMatchingSuperReg(
159 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
160 NumUserSGPRs += 2;
161 return QueuePtrUserSGPR;
162}
163
164unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
165 KernargSegmentPtrUserSGPR = TRI.getMatchingSuperReg(
166 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
167 NumUserSGPRs += 2;
168 return KernargSegmentPtrUserSGPR;
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000169}
170
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000171unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
172 DispatchIDUserSGPR = TRI.getMatchingSuperReg(
173 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
174 NumUserSGPRs += 2;
175 return DispatchIDUserSGPR;
176}
177
Matt Arsenault296b8492016-02-12 06:31:30 +0000178unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
179 FlatScratchInitUserSGPR = TRI.getMatchingSuperReg(
180 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass);
181 NumUserSGPRs += 2;
182 return FlatScratchInitUserSGPR;
183}
184
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000185SIMachineFunctionInfo::SpilledReg SIMachineFunctionInfo::getSpilledReg (
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000186 MachineFunction *MF,
187 unsigned FrameIndex,
188 unsigned SubIdx) {
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000189 if (!EnableSpillSGPRToVGPR)
190 return SpilledReg();
191
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000192 const SISubtarget &ST = MF->getSubtarget<SISubtarget>();
193 const SIRegisterInfo *TRI = ST.getRegisterInfo();
194
Matthias Braun941a7052016-07-28 18:40:00 +0000195 MachineFrameInfo &FrameInfo = MF->getFrameInfo();
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000196 MachineRegisterInfo &MRI = MF->getRegInfo();
Matthias Braun941a7052016-07-28 18:40:00 +0000197 int64_t Offset = FrameInfo.getObjectOffset(FrameIndex);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000198 Offset += SubIdx * 4;
199
200 unsigned LaneVGPRIdx = Offset / (64 * 4);
201 unsigned Lane = (Offset / 4) % 64;
202
203 struct SpilledReg Spill;
Tom Stellard649b5db2016-03-04 18:31:18 +0000204 Spill.Lane = Lane;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000205
206 if (!LaneVGPRs.count(LaneVGPRIdx)) {
Tom Stellard19f43012016-07-28 14:30:43 +0000207 unsigned LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass,
208 *MF);
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000209
Tom Stellard649b5db2016-03-04 18:31:18 +0000210 if (LaneVGPR == AMDGPU::NoRegister)
211 // We have no VGPRs left for spilling SGPRs.
212 return Spill;
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000213
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000214 LaneVGPRs[LaneVGPRIdx] = LaneVGPR;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000215
216 // Add this register as live-in to all blocks to avoid machine verifer
217 // complaining about use of an undefined physical register.
218 for (MachineFunction::iterator BI = MF->begin(), BE = MF->end();
219 BI != BE; ++BI) {
220 BI->addLiveIn(LaneVGPR);
221 }
222 }
223
224 Spill.VGPR = LaneVGPRs[LaneVGPRIdx];
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000225 return Spill;
Tom Stellardc149dc02013-11-27 21:23:35 +0000226}