blob: 83122281d2b2bb0b17c66ba86d9649d3625b9189 [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===-- AMDGPUSubtarget.cpp - AMDGPU Subtarget Information ----------------===//
2//
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//
8//===----------------------------------------------------------------------===//
9//
10/// \file
11/// \brief Implements the AMDGPU specific subclass of TargetSubtarget.
12//
13//===----------------------------------------------------------------------===//
14
15#include "AMDGPUSubtarget.h"
Quentin Colombetf3f7d4d2017-07-05 18:40:56 +000016#include "AMDGPU.h"
17#include "AMDGPUTargetMachine.h"
Quentin Colombetf3f7d4d2017-07-05 18:40:56 +000018#include "AMDGPUCallLowering.h"
19#include "AMDGPUInstructionSelector.h"
20#include "AMDGPULegalizerInfo.h"
21#include "AMDGPURegisterBankInfo.h"
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000022#include "SIMachineFunctionInfo.h"
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000023#include "llvm/ADT/SmallString.h"
Tom Stellard83f0bce2015-01-29 16:55:25 +000024#include "llvm/CodeGen/MachineScheduler.h"
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +000025#include "llvm/IR/MDBuilder.h"
David Blaikie1be62f02017-11-03 22:32:11 +000026#include "llvm/CodeGen/TargetFrameLowering.h"
Eugene Zelenko6a9226d2016-12-12 22:23:53 +000027#include <algorithm>
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000028
Tom Stellard75aadc22012-12-11 21:25:42 +000029using namespace llvm;
30
Chandler Carruthe96dd892014-04-21 22:55:11 +000031#define DEBUG_TYPE "amdgpu-subtarget"
32
Tom Stellard75aadc22012-12-11 21:25:42 +000033#define GET_SUBTARGETINFO_TARGET_DESC
34#define GET_SUBTARGETINFO_CTOR
35#include "AMDGPUGenSubtargetInfo.inc"
36
Eugene Zelenko6a9226d2016-12-12 22:23:53 +000037AMDGPUSubtarget::~AMDGPUSubtarget() = default;
Matt Arsenault43e92fe2016-06-24 06:30:11 +000038
Eric Christopherac4b69e2014-07-25 22:22:39 +000039AMDGPUSubtarget &
Daniel Sandersa73f1fd2015-06-10 12:11:26 +000040AMDGPUSubtarget::initializeSubtargetDependencies(const Triple &TT,
41 StringRef GPU, StringRef FS) {
Eric Christopherac4b69e2014-07-25 22:22:39 +000042 // Determine default and user-specified characteristics
Matt Arsenaultf171cf22014-07-14 23:40:49 +000043 // On SI+, we want FP64 denormals to be on by default. FP32 denormals can be
44 // enabled, but some instructions do not respect them and they run at the
45 // double precision rate, so don't enable by default.
46 //
47 // We want to be able to turn these off, but making this a subtarget feature
48 // for SI has the unhelpful behavior that it unsets everything else if you
49 // disable it.
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000050
Matt Arsenault2fdf2a12017-02-21 23:35:48 +000051 SmallString<256> FullFS("+promote-alloca,+fp64-fp16-denormals,+dx10-clamp,+load-store-opt,");
Changpeng Fangb41574a2015-12-22 20:55:23 +000052 if (isAmdHsaOS()) // Turn on FlatForGlobal for HSA.
Matt Arsenault8728c5f2017-08-07 14:58:04 +000053 FullFS += "+flat-address-space,+flat-for-global,+unaligned-buffer-access,+trap-handler,";
Matt Arsenaulta6867fd2017-01-23 22:31:03 +000054
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000055 FullFS += FS;
56
57 ParseSubtargetFeatures(GPU, FullFS);
Tom Stellard2e59a452014-06-13 01:32:00 +000058
Matt Arsenaultd8f7ea32017-01-27 17:42:26 +000059 // Unless +-flat-for-global is specified, turn on FlatForGlobal for all OS-es
60 // on VI and newer hardware to avoid assertion failures due to missing ADDR64
61 // variants of MUBUF instructions.
62 if (!hasAddr64() && !FS.contains("flat-for-global")) {
63 FlatForGlobal = true;
64 }
65
Eric Christopherac4b69e2014-07-25 22:22:39 +000066 // FIXME: I don't think think Evergreen has any useful support for
67 // denormals, but should be checked. Should we issue a warning somewhere
68 // if someone tries to enable these?
Tom Stellard2e59a452014-06-13 01:32:00 +000069 if (getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) {
Matt Arsenaulta6867fd2017-01-23 22:31:03 +000070 FP64FP16Denormals = false;
Matt Arsenaultf171cf22014-07-14 23:40:49 +000071 FP32Denormals = false;
Eric Christopherac4b69e2014-07-25 22:22:39 +000072 }
Matt Arsenault24ee0782016-02-12 02:40:47 +000073
74 // Set defaults if needed.
75 if (MaxPrivateElementSize == 0)
Matt Arsenaulte8ed8e52016-05-11 00:28:54 +000076 MaxPrivateElementSize = 4;
Matt Arsenault24ee0782016-02-12 02:40:47 +000077
Matt Arsenault8728c5f2017-08-07 14:58:04 +000078 if (LDSBankCount == 0)
79 LDSBankCount = 32;
80
81 if (TT.getArch() == Triple::amdgcn) {
82 if (LocalMemorySize == 0)
83 LocalMemorySize = 32768;
84
85 // Do something sensible for unspecified target.
86 if (!HasMovrel && !HasVGPRIndexMode)
87 HasMovrel = true;
88 }
89
Eric Christopherac4b69e2014-07-25 22:22:39 +000090 return *this;
91}
92
Daniel Sandersa73f1fd2015-06-10 12:11:26 +000093AMDGPUSubtarget::AMDGPUSubtarget(const Triple &TT, StringRef GPU, StringRef FS,
Matt Arsenault43e92fe2016-06-24 06:30:11 +000094 const TargetMachine &TM)
95 : AMDGPUGenSubtargetInfo(TT, GPU, FS),
96 TargetTriple(TT),
97 Gen(TT.getArch() == Triple::amdgcn ? SOUTHERN_ISLANDS : R600),
98 IsaVersion(ISAVersion0_0_0),
Konstantin Zhuravlyov339e7442017-10-23 23:02:39 +000099 WavefrontSize(0),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000100 LocalMemorySize(0),
101 LDSBankCount(0),
102 MaxPrivateElementSize(0),
Tom Stellard40ce8af2015-01-28 16:04:26 +0000103
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000104 FastFMAF32(false),
105 HalfRate64Ops(false),
106
107 FP32Denormals(false),
Matt Arsenaulta6867fd2017-01-23 22:31:03 +0000108 FP64FP16Denormals(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000109 FPExceptions(false),
Matt Arsenault2fdf2a12017-02-21 23:35:48 +0000110 DX10Clamp(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000111 FlatForGlobal(false),
Konstantin Zhuravlyovbe6c0ca2017-06-02 17:40:26 +0000112 AutoWaitcntBeforeBarrier(false),
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000113 CodeObjectV3(false),
Tom Stellard64a9d082016-10-14 18:10:39 +0000114 UnalignedScratchAccess(false),
Matt Arsenault7f681ac2016-07-01 23:03:44 +0000115 UnalignedBufferAccess(false),
116
Matt Arsenaulte823d922017-02-18 18:29:53 +0000117 HasApertureRegs(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000118 EnableXNACK(false),
Wei Ding205bfdb2017-02-10 02:15:29 +0000119 TrapHandler(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000120 DebuggerInsertNops(false),
121 DebuggerReserveRegs(false),
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000122 DebuggerEmitPrologue(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000123
124 EnableVGPRSpilling(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000125 EnablePromoteAlloca(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000126 EnableLoadStoreOpt(false),
127 EnableUnsafeDSOffsetFolding(false),
128 EnableSIScheduler(false),
129 DumpCode(false),
130
131 FP64(false),
132 IsGCN(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000133 GCN3Encoding(false),
134 CIInsts(false),
Matt Arsenault2021f082017-02-18 19:12:26 +0000135 GFX9Insts(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000136 SGPRInitBug(false),
137 HasSMemRealTime(false),
138 Has16BitInsts(false),
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000139 HasIntClamp(false),
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000140 HasVOP3PInsts(false),
Matt Arsenault28f52e52017-10-25 07:00:51 +0000141 HasMadMixInsts(false),
Matt Arsenaultcc88ce32016-10-12 18:00:51 +0000142 HasMovrel(false),
143 HasVGPRIndexMode(false),
Matt Arsenaultc88ba362016-10-29 04:05:06 +0000144 HasScalarStores(false),
Benjamin Kramer11590b82017-01-20 10:37:53 +0000145 HasInv2PiInlineImm(false),
Sam Kolton07dbde22017-01-20 10:01:25 +0000146 HasSDWA(false),
Sam Kolton3c4933f2017-06-22 06:26:41 +0000147 HasSDWAOmod(false),
148 HasSDWAScalar(false),
149 HasSDWASdst(false),
150 HasSDWAMac(false),
Sam Koltona179d252017-06-27 15:02:23 +0000151 HasSDWAOutModsVOPC(false),
Sam Kolton07dbde22017-01-20 10:01:25 +0000152 HasDPP(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000153 FlatAddressSpace(false),
Matt Arsenaultacdc7652017-05-10 21:19:05 +0000154 FlatInstOffsets(false),
155 FlatGlobalInsts(false),
156 FlatScratchInsts(false),
Matt Arsenaultc37fe662017-07-20 17:42:47 +0000157 AddNoCarryInsts(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000158
159 R600ALUInst(false),
160 CaymanISA(false),
161 CFALUBug(false),
162 HasVertexCache(false),
163 TexVTXClauseSize(0),
Alexander Timofeev18009562016-12-08 17:28:47 +0000164 ScalarizeGlobal(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000165
166 FeatureDisable(false),
Eugene Zelenko6a9226d2016-12-12 22:23:53 +0000167 InstrItins(getInstrItineraryForCPU(GPU)) {
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000168 AS = AMDGPU::getAMDGPUAS(TT);
Tom Stellard40ce8af2015-01-28 16:04:26 +0000169 initializeSubtargetDependencies(TT, GPU, FS);
Tom Stellarda40f9712014-01-22 21:55:43 +0000170}
Tom Stellardb8fd6ef2014-12-02 22:00:07 +0000171
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000172unsigned AMDGPUSubtarget::getMaxLocalMemSizeWithWaveCount(unsigned NWaves,
173 const Function &F) const {
174 if (NWaves == 1)
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000175 return getLocalMemorySize();
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000176 unsigned WorkGroupSize = getFlatWorkGroupSizes(F).second;
177 unsigned WorkGroupsPerCu = getMaxWorkGroupsPerCU(WorkGroupSize);
178 unsigned MaxWaves = getMaxWavesPerEU();
179 return getLocalMemorySize() * MaxWaves / WorkGroupsPerCu / NWaves;
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000180}
181
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000182unsigned AMDGPUSubtarget::getOccupancyWithLocalMemSize(uint32_t Bytes,
183 const Function &F) const {
184 unsigned WorkGroupSize = getFlatWorkGroupSizes(F).second;
185 unsigned WorkGroupsPerCu = getMaxWorkGroupsPerCU(WorkGroupSize);
186 unsigned MaxWaves = getMaxWavesPerEU();
187 unsigned Limit = getLocalMemorySize() * MaxWaves / WorkGroupsPerCu;
188 unsigned NumWaves = Limit / (Bytes ? Bytes : 1u);
189 NumWaves = std::min(NumWaves, MaxWaves);
190 NumWaves = std::max(NumWaves, 1u);
191 return NumWaves;
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000192}
193
Matt Arsenaultb7918022017-10-23 17:09:35 +0000194std::pair<unsigned, unsigned>
195AMDGPUSubtarget::getDefaultFlatWorkGroupSize(CallingConv::ID CC) const {
196 switch (CC) {
197 case CallingConv::AMDGPU_CS:
198 case CallingConv::AMDGPU_KERNEL:
199 case CallingConv::SPIR_KERNEL:
200 return std::make_pair(getWavefrontSize() * 2, getWavefrontSize() * 4);
201 case CallingConv::AMDGPU_VS:
202 case CallingConv::AMDGPU_LS:
203 case CallingConv::AMDGPU_HS:
204 case CallingConv::AMDGPU_ES:
205 case CallingConv::AMDGPU_GS:
206 case CallingConv::AMDGPU_PS:
207 return std::make_pair(1, getWavefrontSize());
208 default:
209 return std::make_pair(1, 16 * getWavefrontSize());
210 }
211}
212
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000213std::pair<unsigned, unsigned> AMDGPUSubtarget::getFlatWorkGroupSizes(
214 const Function &F) const {
Matt Arsenaultb7918022017-10-23 17:09:35 +0000215 // FIXME: 1024 if function.
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000216 // Default minimum/maximum flat work group sizes.
217 std::pair<unsigned, unsigned> Default =
Matt Arsenaultb7918022017-10-23 17:09:35 +0000218 getDefaultFlatWorkGroupSize(F.getCallingConv());
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000219
220 // TODO: Do not process "amdgpu-max-work-group-size" attribute once mesa
221 // starts using "amdgpu-flat-work-group-size" attribute.
222 Default.second = AMDGPU::getIntegerAttribute(
223 F, "amdgpu-max-work-group-size", Default.second);
224 Default.first = std::min(Default.first, Default.second);
225
226 // Requested minimum/maximum flat work group sizes.
227 std::pair<unsigned, unsigned> Requested = AMDGPU::getIntegerPairAttribute(
228 F, "amdgpu-flat-work-group-size", Default);
229
230 // Make sure requested minimum is less than requested maximum.
231 if (Requested.first > Requested.second)
232 return Default;
233
234 // Make sure requested values do not violate subtarget's specifications.
235 if (Requested.first < getMinFlatWorkGroupSize())
236 return Default;
237 if (Requested.second > getMaxFlatWorkGroupSize())
238 return Default;
239
240 return Requested;
241}
242
243std::pair<unsigned, unsigned> AMDGPUSubtarget::getWavesPerEU(
244 const Function &F) const {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000245 // Default minimum/maximum number of waves per execution unit.
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000246 std::pair<unsigned, unsigned> Default(1, getMaxWavesPerEU());
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000247
248 // Default/requested minimum/maximum flat work group sizes.
249 std::pair<unsigned, unsigned> FlatWorkGroupSizes = getFlatWorkGroupSizes(F);
250
251 // If minimum/maximum flat work group sizes were explicitly requested using
252 // "amdgpu-flat-work-group-size" attribute, then set default minimum/maximum
253 // number of waves per execution unit to values implied by requested
254 // minimum/maximum flat work group sizes.
255 unsigned MinImpliedByFlatWorkGroupSize =
256 getMaxWavesPerEU(FlatWorkGroupSizes.second);
257 bool RequestedFlatWorkGroupSize = false;
258
259 // TODO: Do not process "amdgpu-max-work-group-size" attribute once mesa
260 // starts using "amdgpu-flat-work-group-size" attribute.
261 if (F.hasFnAttribute("amdgpu-max-work-group-size") ||
262 F.hasFnAttribute("amdgpu-flat-work-group-size")) {
263 Default.first = MinImpliedByFlatWorkGroupSize;
264 RequestedFlatWorkGroupSize = true;
265 }
266
267 // Requested minimum/maximum number of waves per execution unit.
268 std::pair<unsigned, unsigned> Requested = AMDGPU::getIntegerPairAttribute(
269 F, "amdgpu-waves-per-eu", Default, true);
270
271 // Make sure requested minimum is less than requested maximum.
272 if (Requested.second && Requested.first > Requested.second)
273 return Default;
274
275 // Make sure requested values do not violate subtarget's specifications.
276 if (Requested.first < getMinWavesPerEU() ||
277 Requested.first > getMaxWavesPerEU())
278 return Default;
279 if (Requested.second > getMaxWavesPerEU())
280 return Default;
281
282 // Make sure requested values are compatible with values implied by requested
283 // minimum/maximum flat work group sizes.
284 if (RequestedFlatWorkGroupSize &&
Konstantin Zhuravlyov2ec725c2017-07-16 19:38:47 +0000285 Requested.first < MinImpliedByFlatWorkGroupSize)
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000286 return Default;
287
288 return Requested;
289}
290
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000291bool AMDGPUSubtarget::makeLIDRangeMetadata(Instruction *I) const {
292 Function *Kernel = I->getParent()->getParent();
293 unsigned MinSize = 0;
294 unsigned MaxSize = getFlatWorkGroupSizes(*Kernel).second;
295 bool IdQuery = false;
296
297 // If reqd_work_group_size is present it narrows value down.
298 if (auto *CI = dyn_cast<CallInst>(I)) {
299 const Function *F = CI->getCalledFunction();
300 if (F) {
301 unsigned Dim = UINT_MAX;
302 switch (F->getIntrinsicID()) {
303 case Intrinsic::amdgcn_workitem_id_x:
304 case Intrinsic::r600_read_tidig_x:
305 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000306 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000307 case Intrinsic::r600_read_local_size_x:
308 Dim = 0;
309 break;
310 case Intrinsic::amdgcn_workitem_id_y:
311 case Intrinsic::r600_read_tidig_y:
312 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000313 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000314 case Intrinsic::r600_read_local_size_y:
315 Dim = 1;
316 break;
317 case Intrinsic::amdgcn_workitem_id_z:
318 case Intrinsic::r600_read_tidig_z:
319 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000320 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000321 case Intrinsic::r600_read_local_size_z:
322 Dim = 2;
323 break;
324 default:
325 break;
326 }
327 if (Dim <= 3) {
328 if (auto Node = Kernel->getMetadata("reqd_work_group_size"))
329 if (Node->getNumOperands() == 3)
330 MinSize = MaxSize = mdconst::extract<ConstantInt>(
331 Node->getOperand(Dim))->getZExtValue();
332 }
333 }
334 }
335
336 if (!MaxSize)
337 return false;
338
339 // Range metadata is [Lo, Hi). For ID query we need to pass max size
340 // as Hi. For size query we need to pass Hi + 1.
341 if (IdQuery)
342 MinSize = 0;
343 else
344 ++MaxSize;
345
346 MDBuilder MDB(I->getContext());
347 MDNode *MaxWorkGroupSizeRange = MDB.createRange(APInt(32, MinSize),
348 APInt(32, MaxSize));
349 I->setMetadata(LLVMContext::MD_range, MaxWorkGroupSizeRange);
350 return true;
351}
352
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000353R600Subtarget::R600Subtarget(const Triple &TT, StringRef GPU, StringRef FS,
354 const TargetMachine &TM) :
355 AMDGPUSubtarget(TT, GPU, FS, TM),
356 InstrInfo(*this),
357 FrameLowering(TargetFrameLowering::StackGrowsUp, getStackAlignment(), 0),
358 TLInfo(TM, *this) {}
359
360SISubtarget::SISubtarget(const Triple &TT, StringRef GPU, StringRef FS,
Quentin Colombetf3f7d4d2017-07-05 18:40:56 +0000361 const TargetMachine &TM)
362 : AMDGPUSubtarget(TT, GPU, FS, TM), InstrInfo(*this),
363 FrameLowering(TargetFrameLowering::StackGrowsUp, getStackAlignment(), 0),
364 TLInfo(TM, *this) {
Quentin Colombet61d71a12017-08-15 22:31:51 +0000365 CallLoweringInfo.reset(new AMDGPUCallLowering(*getTargetLowering()));
366 Legalizer.reset(new AMDGPULegalizerInfo());
Quentin Colombetf3f7d4d2017-07-05 18:40:56 +0000367
Quentin Colombet61d71a12017-08-15 22:31:51 +0000368 RegBankInfo.reset(new AMDGPURegisterBankInfo(*getRegisterInfo()));
369 InstSelector.reset(new AMDGPUInstructionSelector(
370 *this, *static_cast<AMDGPURegisterBankInfo *>(RegBankInfo.get())));
Quentin Colombetf3f7d4d2017-07-05 18:40:56 +0000371}
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000372
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000373void SISubtarget::overrideSchedPolicy(MachineSchedPolicy &Policy,
Matt Arsenault55dff272016-06-28 00:11:26 +0000374 unsigned NumRegionInstrs) const {
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000375 // Track register pressure so the scheduler can try to decrease
376 // pressure once register usage is above the threshold defined by
377 // SIRegisterInfo::getRegPressureSetLimit()
378 Policy.ShouldTrackPressure = true;
Tom Stellard83f0bce2015-01-29 16:55:25 +0000379
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000380 // Enabling both top down and bottom up scheduling seems to give us less
381 // register spills than just using one of these approaches on its own.
382 Policy.OnlyTopDown = false;
383 Policy.OnlyBottomUp = false;
Tom Stellard83f0bce2015-01-29 16:55:25 +0000384
Alexander Timofeev9f61fea2017-02-14 14:29:05 +0000385 // Enabling ShouldTrackLaneMasks crashes the SI Machine Scheduler.
386 if (!enableSIScheduler())
387 Policy.ShouldTrackLaneMasks = true;
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000388}
Tom Stellard0bc954e2016-03-30 16:35:09 +0000389
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000390bool SISubtarget::isVGPRSpillingEnabled(const Function& F) const {
391 return EnableVGPRSpilling || !AMDGPU::isShader(F.getCallingConv());
392}
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000393
Tom Stellard2f3f9852017-01-25 01:25:13 +0000394unsigned SISubtarget::getKernArgSegmentSize(const MachineFunction &MF,
Konstantin Zhuravlyov27d64c32017-02-08 13:29:23 +0000395 unsigned ExplicitArgBytes) const {
Tom Stellard2f3f9852017-01-25 01:25:13 +0000396 unsigned ImplicitBytes = getImplicitArgNumBytes(MF);
Tom Stellarde88bbc32016-09-23 01:33:26 +0000397 if (ImplicitBytes == 0)
398 return ExplicitArgBytes;
399
400 unsigned Alignment = getAlignmentForImplicitArgPtr();
401 return alignTo(ExplicitArgBytes, Alignment) + ImplicitBytes;
402}
403
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000404unsigned SISubtarget::getOccupancyWithNumSGPRs(unsigned SGPRs) const {
405 if (getGeneration() >= SISubtarget::VOLCANIC_ISLANDS) {
406 if (SGPRs <= 80)
407 return 10;
408 if (SGPRs <= 88)
409 return 9;
410 if (SGPRs <= 100)
411 return 8;
412 return 7;
413 }
414 if (SGPRs <= 48)
415 return 10;
416 if (SGPRs <= 56)
417 return 9;
418 if (SGPRs <= 64)
419 return 8;
420 if (SGPRs <= 72)
421 return 7;
422 if (SGPRs <= 80)
423 return 6;
424 return 5;
425}
426
427unsigned SISubtarget::getOccupancyWithNumVGPRs(unsigned VGPRs) const {
428 if (VGPRs <= 24)
429 return 10;
430 if (VGPRs <= 28)
431 return 9;
432 if (VGPRs <= 32)
433 return 8;
434 if (VGPRs <= 36)
435 return 7;
436 if (VGPRs <= 40)
437 return 6;
438 if (VGPRs <= 48)
439 return 5;
440 if (VGPRs <= 64)
441 return 4;
442 if (VGPRs <= 84)
443 return 3;
444 if (VGPRs <= 128)
445 return 2;
446 return 1;
447}
Matt Arsenault4eae3012016-10-28 20:31:47 +0000448
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000449unsigned SISubtarget::getReservedNumSGPRs(const MachineFunction &MF) const {
450 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
451 if (MFI.hasFlatScratchInit()) {
452 if (getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS)
453 return 6; // FLAT_SCRATCH, XNACK, VCC (in that order).
454 if (getGeneration() == AMDGPUSubtarget::SEA_ISLANDS)
455 return 4; // FLAT_SCRATCH, VCC (in that order).
456 }
457
458 if (isXNACKEnabled())
459 return 4; // XNACK, VCC (in that order).
460 return 2; // VCC.
461}
462
463unsigned SISubtarget::getMaxNumSGPRs(const MachineFunction &MF) const {
464 const Function &F = *MF.getFunction();
465 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
466
467 // Compute maximum number of SGPRs function can use using default/requested
468 // minimum number of waves per execution unit.
469 std::pair<unsigned, unsigned> WavesPerEU = MFI.getWavesPerEU();
470 unsigned MaxNumSGPRs = getMaxNumSGPRs(WavesPerEU.first, false);
471 unsigned MaxAddressableNumSGPRs = getMaxNumSGPRs(WavesPerEU.first, true);
472
473 // Check if maximum number of SGPRs was explicitly requested using
474 // "amdgpu-num-sgpr" attribute.
475 if (F.hasFnAttribute("amdgpu-num-sgpr")) {
476 unsigned Requested = AMDGPU::getIntegerAttribute(
477 F, "amdgpu-num-sgpr", MaxNumSGPRs);
478
479 // Make sure requested value does not violate subtarget's specifications.
480 if (Requested && (Requested <= getReservedNumSGPRs(MF)))
481 Requested = 0;
482
483 // If more SGPRs are required to support the input user/system SGPRs,
484 // increase to accommodate them.
485 //
486 // FIXME: This really ends up using the requested number of SGPRs + number
487 // of reserved special registers in total. Theoretically you could re-use
488 // the last input registers for these special registers, but this would
489 // require a lot of complexity to deal with the weird aliasing.
490 unsigned InputNumSGPRs = MFI.getNumPreloadedSGPRs();
491 if (Requested && Requested < InputNumSGPRs)
492 Requested = InputNumSGPRs;
493
494 // Make sure requested value is compatible with values implied by
495 // default/requested minimum/maximum number of waves per execution unit.
496 if (Requested && Requested > getMaxNumSGPRs(WavesPerEU.first, false))
497 Requested = 0;
498 if (WavesPerEU.second &&
499 Requested && Requested < getMinNumSGPRs(WavesPerEU.second))
500 Requested = 0;
501
502 if (Requested)
503 MaxNumSGPRs = Requested;
504 }
505
Matt Arsenault4eae3012016-10-28 20:31:47 +0000506 if (hasSGPRInitBug())
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000507 MaxNumSGPRs = AMDGPU::IsaInfo::FIXED_NUM_SGPRS_FOR_INIT_BUG;
Matt Arsenault4eae3012016-10-28 20:31:47 +0000508
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000509 return std::min(MaxNumSGPRs - getReservedNumSGPRs(MF),
510 MaxAddressableNumSGPRs);
511}
Matt Arsenault4eae3012016-10-28 20:31:47 +0000512
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000513unsigned SISubtarget::getMaxNumVGPRs(const MachineFunction &MF) const {
514 const Function &F = *MF.getFunction();
515 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
516
517 // Compute maximum number of VGPRs function can use using default/requested
518 // minimum number of waves per execution unit.
519 std::pair<unsigned, unsigned> WavesPerEU = MFI.getWavesPerEU();
520 unsigned MaxNumVGPRs = getMaxNumVGPRs(WavesPerEU.first);
521
522 // Check if maximum number of VGPRs was explicitly requested using
523 // "amdgpu-num-vgpr" attribute.
524 if (F.hasFnAttribute("amdgpu-num-vgpr")) {
525 unsigned Requested = AMDGPU::getIntegerAttribute(
526 F, "amdgpu-num-vgpr", MaxNumVGPRs);
527
528 // Make sure requested value does not violate subtarget's specifications.
529 if (Requested && Requested <= getReservedNumVGPRs(MF))
530 Requested = 0;
531
532 // Make sure requested value is compatible with values implied by
533 // default/requested minimum/maximum number of waves per execution unit.
534 if (Requested && Requested > getMaxNumVGPRs(WavesPerEU.first))
535 Requested = 0;
536 if (WavesPerEU.second &&
537 Requested && Requested < getMinNumVGPRs(WavesPerEU.second))
538 Requested = 0;
539
540 if (Requested)
541 MaxNumVGPRs = Requested;
542 }
543
544 return MaxNumVGPRs - getReservedNumVGPRs(MF);
Matt Arsenault4eae3012016-10-28 20:31:47 +0000545}
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000546
Benjamin Kramerf9ab3dd2017-10-31 23:21:30 +0000547namespace {
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000548struct MemOpClusterMutation : ScheduleDAGMutation {
549 const SIInstrInfo *TII;
550
551 MemOpClusterMutation(const SIInstrInfo *tii) : TII(tii) {}
552
553 void apply(ScheduleDAGInstrs *DAGInstrs) override {
554 ScheduleDAGMI *DAG = static_cast<ScheduleDAGMI*>(DAGInstrs);
555
556 SUnit *SUa = nullptr;
557 // Search for two consequent memory operations and link them
558 // to prevent scheduler from moving them apart.
559 // In DAG pre-process SUnits are in the original order of
560 // the instructions before scheduling.
561 for (SUnit &SU : DAG->SUnits) {
562 MachineInstr &MI2 = *SU.getInstr();
563 if (!MI2.mayLoad() && !MI2.mayStore()) {
564 SUa = nullptr;
565 continue;
566 }
567 if (!SUa) {
568 SUa = &SU;
569 continue;
570 }
571
572 MachineInstr &MI1 = *SUa->getInstr();
573 if ((TII->isVMEM(MI1) && TII->isVMEM(MI2)) ||
574 (TII->isFLAT(MI1) && TII->isFLAT(MI2)) ||
575 (TII->isSMRD(MI1) && TII->isSMRD(MI2)) ||
576 (TII->isDS(MI1) && TII->isDS(MI2))) {
577 SU.addPredBarrier(SUa);
578
579 for (const SDep &SI : SU.Preds) {
580 if (SI.getSUnit() != SUa)
581 SUa->addPred(SDep(SI.getSUnit(), SDep::Artificial));
582 }
583
584 if (&SU != &DAG->ExitSU) {
585 for (const SDep &SI : SUa->Succs) {
586 if (SI.getSUnit() != &SU)
587 SI.getSUnit()->addPred(SDep(&SU, SDep::Artificial));
588 }
589 }
590 }
591
592 SUa = &SU;
593 }
594 }
595};
Benjamin Kramerf9ab3dd2017-10-31 23:21:30 +0000596} // namespace
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000597
598void SISubtarget::getPostRAMutations(
599 std::vector<std::unique_ptr<ScheduleDAGMutation>> &Mutations) const {
600 Mutations.push_back(llvm::make_unique<MemOpClusterMutation>(&InstrInfo));
601}