blob: 087c9cc9d6707784f71b95cb6d7c71ee63dbc481 [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
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000011/// Implements the AMDGPU specific subclass of TargetSubtarget.
Tom Stellard75aadc22012-12-11 21:25:42 +000012//
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"
Tom Stellard44b30b42018-05-22 02:03:23 +000023#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000024#include "llvm/ADT/SmallString.h"
Tom Stellard83f0bce2015-01-29 16:55:25 +000025#include "llvm/CodeGen/MachineScheduler.h"
Tom Stellardc5a154d2018-06-28 23:47:12 +000026#include "llvm/MC/MCSubtargetInfo.h"
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +000027#include "llvm/IR/MDBuilder.h"
David Blaikie1be62f02017-11-03 22:32:11 +000028#include "llvm/CodeGen/TargetFrameLowering.h"
Eugene Zelenko6a9226d2016-12-12 22:23:53 +000029#include <algorithm>
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000030
Tom Stellard75aadc22012-12-11 21:25:42 +000031using namespace llvm;
32
Chandler Carruthe96dd892014-04-21 22:55:11 +000033#define DEBUG_TYPE "amdgpu-subtarget"
34
Tom Stellard75aadc22012-12-11 21:25:42 +000035#define GET_SUBTARGETINFO_TARGET_DESC
36#define GET_SUBTARGETINFO_CTOR
Tom Stellard5bfbae52018-07-11 20:59:01 +000037#define AMDGPUSubtarget GCNSubtarget
Tom Stellard75aadc22012-12-11 21:25:42 +000038#include "AMDGPUGenSubtargetInfo.inc"
Tom Stellardc5a154d2018-06-28 23:47:12 +000039#define GET_SUBTARGETINFO_TARGET_DESC
40#define GET_SUBTARGETINFO_CTOR
Tom Stellard5bfbae52018-07-11 20:59:01 +000041#undef AMDGPUSubtarget
Tom Stellardc5a154d2018-06-28 23:47:12 +000042#include "R600GenSubtargetInfo.inc"
Tom Stellard75aadc22012-12-11 21:25:42 +000043
Tom Stellard5bfbae52018-07-11 20:59:01 +000044GCNSubtarget::~GCNSubtarget() = default;
Matt Arsenault43e92fe2016-06-24 06:30:11 +000045
Tom Stellardc5a154d2018-06-28 23:47:12 +000046R600Subtarget &
47R600Subtarget::initializeSubtargetDependencies(const Triple &TT,
48 StringRef GPU, StringRef FS) {
49 SmallString<256> FullFS("+promote-alloca,+dx10-clamp,");
50 FullFS += FS;
51 ParseSubtargetFeatures(GPU, FullFS);
52
53 // FIXME: I don't think think Evergreen has any useful support for
54 // denormals, but should be checked. Should we issue a warning somewhere
55 // if someone tries to enable these?
Tom Stellard5bfbae52018-07-11 20:59:01 +000056 if (getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) {
Tom Stellardc5a154d2018-06-28 23:47:12 +000057 FP32Denormals = false;
58 }
59
60 HasMulU24 = getGeneration() >= EVERGREEN;
61 HasMulI24 = hasCaymanISA();
62
63 return *this;
64}
65
Tom Stellard5bfbae52018-07-11 20:59:01 +000066GCNSubtarget &
67GCNSubtarget::initializeSubtargetDependencies(const Triple &TT,
Daniel Sandersa73f1fd2015-06-10 12:11:26 +000068 StringRef GPU, StringRef FS) {
Eric Christopherac4b69e2014-07-25 22:22:39 +000069 // Determine default and user-specified characteristics
Matt Arsenaultf171cf22014-07-14 23:40:49 +000070 // On SI+, we want FP64 denormals to be on by default. FP32 denormals can be
71 // enabled, but some instructions do not respect them and they run at the
72 // double precision rate, so don't enable by default.
73 //
74 // We want to be able to turn these off, but making this a subtarget feature
75 // for SI has the unhelpful behavior that it unsets everything else if you
76 // disable it.
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000077
Jan Veselyd1c9b612017-12-04 22:57:29 +000078 SmallString<256> FullFS("+promote-alloca,+dx10-clamp,+load-store-opt,");
79
Changpeng Fangb41574a2015-12-22 20:55:23 +000080 if (isAmdHsaOS()) // Turn on FlatForGlobal for HSA.
Matt Arsenault8728c5f2017-08-07 14:58:04 +000081 FullFS += "+flat-address-space,+flat-for-global,+unaligned-buffer-access,+trap-handler,";
Matt Arsenaulta6867fd2017-01-23 22:31:03 +000082
Jan Veselyd1c9b612017-12-04 22:57:29 +000083 // FIXME: I don't think think Evergreen has any useful support for
84 // denormals, but should be checked. Should we issue a warning somewhere
85 // if someone tries to enable these?
86 if (getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS) {
87 FullFS += "+fp64-fp16-denormals,";
88 } else {
89 FullFS += "-fp32-denormals,";
90 }
91
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000092 FullFS += FS;
93
94 ParseSubtargetFeatures(GPU, FullFS);
Tom Stellard2e59a452014-06-13 01:32:00 +000095
Jan Veselyd1c9b612017-12-04 22:57:29 +000096 // We don't support FP64 for EG/NI atm.
97 assert(!hasFP64() || (getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS));
98
Matt Arsenaultd8f7ea32017-01-27 17:42:26 +000099 // Unless +-flat-for-global is specified, turn on FlatForGlobal for all OS-es
100 // on VI and newer hardware to avoid assertion failures due to missing ADDR64
101 // variants of MUBUF instructions.
102 if (!hasAddr64() && !FS.contains("flat-for-global")) {
103 FlatForGlobal = true;
104 }
105
Matt Arsenault24ee0782016-02-12 02:40:47 +0000106 // Set defaults if needed.
107 if (MaxPrivateElementSize == 0)
Matt Arsenaulte8ed8e52016-05-11 00:28:54 +0000108 MaxPrivateElementSize = 4;
Matt Arsenault24ee0782016-02-12 02:40:47 +0000109
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000110 if (LDSBankCount == 0)
111 LDSBankCount = 32;
112
113 if (TT.getArch() == Triple::amdgcn) {
114 if (LocalMemorySize == 0)
115 LocalMemorySize = 32768;
116
117 // Do something sensible for unspecified target.
118 if (!HasMovrel && !HasVGPRIndexMode)
119 HasMovrel = true;
120 }
121
Tom Stellardc5a154d2018-06-28 23:47:12 +0000122 HasFminFmaxLegacy = getGeneration() < AMDGPUSubtarget::VOLCANIC_ISLANDS;
123
Eric Christopherac4b69e2014-07-25 22:22:39 +0000124 return *this;
125}
126
Tom Stellard5bfbae52018-07-11 20:59:01 +0000127AMDGPUSubtarget::AMDGPUSubtarget(const Triple &TT,
Tom Stellardc5a154d2018-06-28 23:47:12 +0000128 const FeatureBitset &FeatureBits) :
129 TargetTriple(TT),
130 SubtargetFeatureBits(FeatureBits),
131 Has16BitInsts(false),
132 HasMadMixInsts(false),
133 FP32Denormals(false),
134 FPExceptions(false),
135 HasSDWA(false),
136 HasVOP3PInsts(false),
137 HasMulI24(true),
138 HasMulU24(true),
139 HasFminFmaxLegacy(true),
140 EnablePromoteAlloca(false),
141 LocalMemorySize(0),
142 WavefrontSize(0)
143 { }
144
Tom Stellard5bfbae52018-07-11 20:59:01 +0000145GCNSubtarget::GCNSubtarget(const Triple &TT, StringRef GPU, StringRef FS,
146 const GCNTargetMachine &TM) :
Tom Stellardc5a154d2018-06-28 23:47:12 +0000147 AMDGPUGenSubtargetInfo(TT, GPU, FS),
Tom Stellard5bfbae52018-07-11 20:59:01 +0000148 AMDGPUSubtarget(TT, getFeatureBits()),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000149 TargetTriple(TT),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000150 Gen(SOUTHERN_ISLANDS),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000151 IsaVersion(ISAVersion0_0_0),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000152 LDSBankCount(0),
153 MaxPrivateElementSize(0),
Tom Stellard40ce8af2015-01-28 16:04:26 +0000154
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000155 FastFMAF32(false),
156 HalfRate64Ops(false),
157
Matt Arsenaulta6867fd2017-01-23 22:31:03 +0000158 FP64FP16Denormals(false),
Matt Arsenault2fdf2a12017-02-21 23:35:48 +0000159 DX10Clamp(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000160 FlatForGlobal(false),
Konstantin Zhuravlyovbe6c0ca2017-06-02 17:40:26 +0000161 AutoWaitcntBeforeBarrier(false),
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000162 CodeObjectV3(false),
Tom Stellard64a9d082016-10-14 18:10:39 +0000163 UnalignedScratchAccess(false),
Matt Arsenault7f681ac2016-07-01 23:03:44 +0000164 UnalignedBufferAccess(false),
165
Matt Arsenaulte823d922017-02-18 18:29:53 +0000166 HasApertureRegs(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000167 EnableXNACK(false),
Wei Ding205bfdb2017-02-10 02:15:29 +0000168 TrapHandler(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000169 DebuggerInsertNops(false),
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000170 DebuggerEmitPrologue(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000171
Matt Arsenault45b98182017-11-15 00:45:43 +0000172 EnableHugePrivateBuffer(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000173 EnableVGPRSpilling(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000174 EnableLoadStoreOpt(false),
175 EnableUnsafeDSOffsetFolding(false),
176 EnableSIScheduler(false),
Marek Olsaka9a58fa2018-04-10 22:48:23 +0000177 EnableDS128(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000178 DumpCode(false),
179
180 FP64(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000181 GCN3Encoding(false),
182 CIInsts(false),
Matt Arsenault2021f082017-02-18 19:12:26 +0000183 GFX9Insts(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000184 SGPRInitBug(false),
185 HasSMemRealTime(false),
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000186 HasIntClamp(false),
Matt Arsenault0084adc2018-04-30 19:08:16 +0000187 HasFmaMixInsts(false),
Matt Arsenaultcc88ce32016-10-12 18:00:51 +0000188 HasMovrel(false),
189 HasVGPRIndexMode(false),
Matt Arsenaultc88ba362016-10-29 04:05:06 +0000190 HasScalarStores(false),
Dmitry Preobrazhensky6bad04e2018-04-02 16:10:25 +0000191 HasScalarAtomics(false),
Benjamin Kramer11590b82017-01-20 10:37:53 +0000192 HasInv2PiInlineImm(false),
Sam Kolton3c4933f2017-06-22 06:26:41 +0000193 HasSDWAOmod(false),
194 HasSDWAScalar(false),
195 HasSDWASdst(false),
196 HasSDWAMac(false),
Sam Koltona179d252017-06-27 15:02:23 +0000197 HasSDWAOutModsVOPC(false),
Sam Kolton07dbde22017-01-20 10:01:25 +0000198 HasDPP(false),
Matt Arsenault0084adc2018-04-30 19:08:16 +0000199 HasDLInsts(false),
Konstantin Zhuravlyovc2c2eb72018-05-04 20:06:57 +0000200 D16PreservesUnusedBits(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000201 FlatAddressSpace(false),
Matt Arsenaultacdc7652017-05-10 21:19:05 +0000202 FlatInstOffsets(false),
203 FlatGlobalInsts(false),
204 FlatScratchInsts(false),
Matt Arsenaultc37fe662017-07-20 17:42:47 +0000205 AddNoCarryInsts(false),
Changpeng Fang44dfa1d2018-01-12 21:12:19 +0000206 HasUnpackedD16VMem(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000207
Alexander Timofeev18009562016-12-08 17:28:47 +0000208 ScalarizeGlobal(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000209
Tom Stellard5bfbae52018-07-11 20:59:01 +0000210 FeatureDisable(false),
211 TLInfo(TM, initializeSubtargetDependencies(TT, GPU, FS)),
212 InstrInfo(*this),
213 FrameLowering(TargetFrameLowering::StackGrowsUp, getStackAlignment(), 0) {
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000214 AS = AMDGPU::getAMDGPUAS(TT);
Tom Stellard5bfbae52018-07-11 20:59:01 +0000215 CallLoweringInfo.reset(new AMDGPUCallLowering(*getTargetLowering()));
216 Legalizer.reset(new AMDGPULegalizerInfo(*this, TM));
217 RegBankInfo.reset(new AMDGPURegisterBankInfo(*getRegisterInfo()));
218 InstSelector.reset(new AMDGPUInstructionSelector(
219 *this, *static_cast<AMDGPURegisterBankInfo *>(RegBankInfo.get()), TM));
Tom Stellard40ce8af2015-01-28 16:04:26 +0000220 initializeSubtargetDependencies(TT, GPU, FS);
Tom Stellarda40f9712014-01-22 21:55:43 +0000221}
Tom Stellardb8fd6ef2014-12-02 22:00:07 +0000222
Tom Stellard5bfbae52018-07-11 20:59:01 +0000223unsigned AMDGPUSubtarget::getMaxLocalMemSizeWithWaveCount(unsigned NWaves,
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000224 const Function &F) const {
225 if (NWaves == 1)
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000226 return getLocalMemorySize();
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000227 unsigned WorkGroupSize = getFlatWorkGroupSizes(F).second;
228 unsigned WorkGroupsPerCu = getMaxWorkGroupsPerCU(WorkGroupSize);
229 unsigned MaxWaves = getMaxWavesPerEU();
230 return getLocalMemorySize() * MaxWaves / WorkGroupsPerCu / NWaves;
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000231}
232
Tom Stellard5bfbae52018-07-11 20:59:01 +0000233unsigned AMDGPUSubtarget::getOccupancyWithLocalMemSize(uint32_t Bytes,
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000234 const Function &F) const {
235 unsigned WorkGroupSize = getFlatWorkGroupSizes(F).second;
236 unsigned WorkGroupsPerCu = getMaxWorkGroupsPerCU(WorkGroupSize);
237 unsigned MaxWaves = getMaxWavesPerEU();
238 unsigned Limit = getLocalMemorySize() * MaxWaves / WorkGroupsPerCu;
239 unsigned NumWaves = Limit / (Bytes ? Bytes : 1u);
240 NumWaves = std::min(NumWaves, MaxWaves);
241 NumWaves = std::max(NumWaves, 1u);
242 return NumWaves;
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000243}
244
Tom Stellard44b30b42018-05-22 02:03:23 +0000245unsigned
Tom Stellard5bfbae52018-07-11 20:59:01 +0000246AMDGPUSubtarget::getOccupancyWithLocalMemSize(const MachineFunction &MF) const {
Tom Stellard44b30b42018-05-22 02:03:23 +0000247 const auto *MFI = MF.getInfo<SIMachineFunctionInfo>();
248 return getOccupancyWithLocalMemSize(MFI->getLDSSize(), MF.getFunction());
249}
250
Matt Arsenaultb7918022017-10-23 17:09:35 +0000251std::pair<unsigned, unsigned>
Tom Stellard5bfbae52018-07-11 20:59:01 +0000252AMDGPUSubtarget::getDefaultFlatWorkGroupSize(CallingConv::ID CC) const {
Matt Arsenaultb7918022017-10-23 17:09:35 +0000253 switch (CC) {
254 case CallingConv::AMDGPU_CS:
255 case CallingConv::AMDGPU_KERNEL:
256 case CallingConv::SPIR_KERNEL:
257 return std::make_pair(getWavefrontSize() * 2, getWavefrontSize() * 4);
258 case CallingConv::AMDGPU_VS:
259 case CallingConv::AMDGPU_LS:
260 case CallingConv::AMDGPU_HS:
261 case CallingConv::AMDGPU_ES:
262 case CallingConv::AMDGPU_GS:
263 case CallingConv::AMDGPU_PS:
264 return std::make_pair(1, getWavefrontSize());
265 default:
266 return std::make_pair(1, 16 * getWavefrontSize());
267 }
268}
269
Tom Stellard5bfbae52018-07-11 20:59:01 +0000270std::pair<unsigned, unsigned> AMDGPUSubtarget::getFlatWorkGroupSizes(
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000271 const Function &F) const {
Matt Arsenaultb7918022017-10-23 17:09:35 +0000272 // FIXME: 1024 if function.
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000273 // Default minimum/maximum flat work group sizes.
274 std::pair<unsigned, unsigned> Default =
Matt Arsenaultb7918022017-10-23 17:09:35 +0000275 getDefaultFlatWorkGroupSize(F.getCallingConv());
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000276
277 // TODO: Do not process "amdgpu-max-work-group-size" attribute once mesa
278 // starts using "amdgpu-flat-work-group-size" attribute.
279 Default.second = AMDGPU::getIntegerAttribute(
280 F, "amdgpu-max-work-group-size", Default.second);
281 Default.first = std::min(Default.first, Default.second);
282
283 // Requested minimum/maximum flat work group sizes.
284 std::pair<unsigned, unsigned> Requested = AMDGPU::getIntegerPairAttribute(
285 F, "amdgpu-flat-work-group-size", Default);
286
287 // Make sure requested minimum is less than requested maximum.
288 if (Requested.first > Requested.second)
289 return Default;
290
291 // Make sure requested values do not violate subtarget's specifications.
292 if (Requested.first < getMinFlatWorkGroupSize())
293 return Default;
294 if (Requested.second > getMaxFlatWorkGroupSize())
295 return Default;
296
297 return Requested;
298}
299
Tom Stellard5bfbae52018-07-11 20:59:01 +0000300std::pair<unsigned, unsigned> AMDGPUSubtarget::getWavesPerEU(
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000301 const Function &F) const {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000302 // Default minimum/maximum number of waves per execution unit.
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000303 std::pair<unsigned, unsigned> Default(1, getMaxWavesPerEU());
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000304
305 // Default/requested minimum/maximum flat work group sizes.
306 std::pair<unsigned, unsigned> FlatWorkGroupSizes = getFlatWorkGroupSizes(F);
307
308 // If minimum/maximum flat work group sizes were explicitly requested using
309 // "amdgpu-flat-work-group-size" attribute, then set default minimum/maximum
310 // number of waves per execution unit to values implied by requested
311 // minimum/maximum flat work group sizes.
312 unsigned MinImpliedByFlatWorkGroupSize =
313 getMaxWavesPerEU(FlatWorkGroupSizes.second);
314 bool RequestedFlatWorkGroupSize = false;
315
316 // TODO: Do not process "amdgpu-max-work-group-size" attribute once mesa
317 // starts using "amdgpu-flat-work-group-size" attribute.
318 if (F.hasFnAttribute("amdgpu-max-work-group-size") ||
319 F.hasFnAttribute("amdgpu-flat-work-group-size")) {
320 Default.first = MinImpliedByFlatWorkGroupSize;
321 RequestedFlatWorkGroupSize = true;
322 }
323
324 // Requested minimum/maximum number of waves per execution unit.
325 std::pair<unsigned, unsigned> Requested = AMDGPU::getIntegerPairAttribute(
326 F, "amdgpu-waves-per-eu", Default, true);
327
328 // Make sure requested minimum is less than requested maximum.
329 if (Requested.second && Requested.first > Requested.second)
330 return Default;
331
332 // Make sure requested values do not violate subtarget's specifications.
333 if (Requested.first < getMinWavesPerEU() ||
334 Requested.first > getMaxWavesPerEU())
335 return Default;
336 if (Requested.second > getMaxWavesPerEU())
337 return Default;
338
339 // Make sure requested values are compatible with values implied by requested
340 // minimum/maximum flat work group sizes.
341 if (RequestedFlatWorkGroupSize &&
Konstantin Zhuravlyov2ec725c2017-07-16 19:38:47 +0000342 Requested.first < MinImpliedByFlatWorkGroupSize)
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000343 return Default;
344
345 return Requested;
346}
347
Tom Stellard5bfbae52018-07-11 20:59:01 +0000348bool AMDGPUSubtarget::makeLIDRangeMetadata(Instruction *I) const {
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000349 Function *Kernel = I->getParent()->getParent();
350 unsigned MinSize = 0;
351 unsigned MaxSize = getFlatWorkGroupSizes(*Kernel).second;
352 bool IdQuery = false;
353
354 // If reqd_work_group_size is present it narrows value down.
355 if (auto *CI = dyn_cast<CallInst>(I)) {
356 const Function *F = CI->getCalledFunction();
357 if (F) {
358 unsigned Dim = UINT_MAX;
359 switch (F->getIntrinsicID()) {
360 case Intrinsic::amdgcn_workitem_id_x:
361 case Intrinsic::r600_read_tidig_x:
362 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000363 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000364 case Intrinsic::r600_read_local_size_x:
365 Dim = 0;
366 break;
367 case Intrinsic::amdgcn_workitem_id_y:
368 case Intrinsic::r600_read_tidig_y:
369 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000370 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000371 case Intrinsic::r600_read_local_size_y:
372 Dim = 1;
373 break;
374 case Intrinsic::amdgcn_workitem_id_z:
375 case Intrinsic::r600_read_tidig_z:
376 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000377 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000378 case Intrinsic::r600_read_local_size_z:
379 Dim = 2;
380 break;
381 default:
382 break;
383 }
384 if (Dim <= 3) {
385 if (auto Node = Kernel->getMetadata("reqd_work_group_size"))
386 if (Node->getNumOperands() == 3)
387 MinSize = MaxSize = mdconst::extract<ConstantInt>(
388 Node->getOperand(Dim))->getZExtValue();
389 }
390 }
391 }
392
393 if (!MaxSize)
394 return false;
395
396 // Range metadata is [Lo, Hi). For ID query we need to pass max size
397 // as Hi. For size query we need to pass Hi + 1.
398 if (IdQuery)
399 MinSize = 0;
400 else
401 ++MaxSize;
402
403 MDBuilder MDB(I->getContext());
404 MDNode *MaxWorkGroupSizeRange = MDB.createRange(APInt(32, MinSize),
405 APInt(32, MaxSize));
406 I->setMetadata(LLVMContext::MD_range, MaxWorkGroupSizeRange);
407 return true;
408}
409
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000410R600Subtarget::R600Subtarget(const Triple &TT, StringRef GPU, StringRef FS,
411 const TargetMachine &TM) :
Tom Stellardc5a154d2018-06-28 23:47:12 +0000412 R600GenSubtargetInfo(TT, GPU, FS),
Tom Stellard5bfbae52018-07-11 20:59:01 +0000413 AMDGPUSubtarget(TT, getFeatureBits()),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000414 InstrInfo(*this),
415 FrameLowering(TargetFrameLowering::StackGrowsUp, getStackAlignment(), 0),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000416 FMA(false),
417 CaymanISA(false),
418 CFALUBug(false),
419 DX10Clamp(false),
420 HasVertexCache(false),
421 R600ALUInst(false),
422 FP64(false),
423 TexVTXClauseSize(0),
424 Gen(R600),
425 TLInfo(TM, initializeSubtargetDependencies(TT, GPU, FS)),
426 InstrItins(getInstrItineraryForCPU(GPU)),
427 AS (AMDGPU::getAMDGPUAS(TT)) { }
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000428
Tom Stellard5bfbae52018-07-11 20:59:01 +0000429void GCNSubtarget::overrideSchedPolicy(MachineSchedPolicy &Policy,
Matt Arsenault55dff272016-06-28 00:11:26 +0000430 unsigned NumRegionInstrs) const {
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000431 // Track register pressure so the scheduler can try to decrease
432 // pressure once register usage is above the threshold defined by
433 // SIRegisterInfo::getRegPressureSetLimit()
434 Policy.ShouldTrackPressure = true;
Tom Stellard83f0bce2015-01-29 16:55:25 +0000435
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000436 // Enabling both top down and bottom up scheduling seems to give us less
437 // register spills than just using one of these approaches on its own.
438 Policy.OnlyTopDown = false;
439 Policy.OnlyBottomUp = false;
Tom Stellard83f0bce2015-01-29 16:55:25 +0000440
Alexander Timofeev9f61fea2017-02-14 14:29:05 +0000441 // Enabling ShouldTrackLaneMasks crashes the SI Machine Scheduler.
442 if (!enableSIScheduler())
443 Policy.ShouldTrackLaneMasks = true;
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000444}
Tom Stellard0bc954e2016-03-30 16:35:09 +0000445
Tom Stellard5bfbae52018-07-11 20:59:01 +0000446bool GCNSubtarget::isVGPRSpillingEnabled(const Function& F) const {
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000447 return EnableVGPRSpilling || !AMDGPU::isShader(F.getCallingConv());
448}
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000449
Tom Stellard5bfbae52018-07-11 20:59:01 +0000450uint64_t GCNSubtarget::getExplicitKernArgSize(const Function &F) const {
Matt Arsenaultf5be3ad2018-06-29 17:31:42 +0000451 assert(F.getCallingConv() == CallingConv::AMDGPU_KERNEL);
Tom Stellarde88bbc32016-09-23 01:33:26 +0000452
Matt Arsenaultf5be3ad2018-06-29 17:31:42 +0000453 const DataLayout &DL = F.getParent()->getDataLayout();
454 uint64_t ExplicitArgBytes = 0;
455 for (const Argument &Arg : F.args()) {
456 Type *ArgTy = Arg.getType();
457
458 unsigned Align = DL.getABITypeAlignment(ArgTy);
459 uint64_t AllocSize = DL.getTypeAllocSize(ArgTy);
460 ExplicitArgBytes = alignTo(ExplicitArgBytes, Align) + AllocSize;
461 }
462
463 return ExplicitArgBytes;
464}
465
Tom Stellard5bfbae52018-07-11 20:59:01 +0000466unsigned GCNSubtarget::getKernArgSegmentSize(const Function &F,
Matt Arsenaultf5be3ad2018-06-29 17:31:42 +0000467 int64_t ExplicitArgBytes) const {
468 if (ExplicitArgBytes == -1)
469 ExplicitArgBytes = getExplicitKernArgSize(F);
470
471 unsigned ExplicitOffset = getExplicitKernelArgOffset(F);
472
473 uint64_t TotalSize = ExplicitOffset + ExplicitArgBytes;
474 unsigned ImplicitBytes = getImplicitArgNumBytes(F);
Matt Arsenault1ea04022018-05-29 19:35:00 +0000475 if (ImplicitBytes != 0) {
476 unsigned Alignment = getAlignmentForImplicitArgPtr();
477 TotalSize = alignTo(ExplicitArgBytes, Alignment) + ImplicitBytes;
478 }
479
480 // Being able to dereference past the end is useful for emitting scalar loads.
481 return alignTo(TotalSize, 4);
Tom Stellarde88bbc32016-09-23 01:33:26 +0000482}
483
Tom Stellard5bfbae52018-07-11 20:59:01 +0000484unsigned GCNSubtarget::getOccupancyWithNumSGPRs(unsigned SGPRs) const {
485 if (getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS) {
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000486 if (SGPRs <= 80)
487 return 10;
488 if (SGPRs <= 88)
489 return 9;
490 if (SGPRs <= 100)
491 return 8;
492 return 7;
493 }
494 if (SGPRs <= 48)
495 return 10;
496 if (SGPRs <= 56)
497 return 9;
498 if (SGPRs <= 64)
499 return 8;
500 if (SGPRs <= 72)
501 return 7;
502 if (SGPRs <= 80)
503 return 6;
504 return 5;
505}
506
Tom Stellard5bfbae52018-07-11 20:59:01 +0000507unsigned GCNSubtarget::getOccupancyWithNumVGPRs(unsigned VGPRs) const {
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000508 if (VGPRs <= 24)
509 return 10;
510 if (VGPRs <= 28)
511 return 9;
512 if (VGPRs <= 32)
513 return 8;
514 if (VGPRs <= 36)
515 return 7;
516 if (VGPRs <= 40)
517 return 6;
518 if (VGPRs <= 48)
519 return 5;
520 if (VGPRs <= 64)
521 return 4;
522 if (VGPRs <= 84)
523 return 3;
524 if (VGPRs <= 128)
525 return 2;
526 return 1;
527}
Matt Arsenault4eae3012016-10-28 20:31:47 +0000528
Tom Stellard5bfbae52018-07-11 20:59:01 +0000529unsigned GCNSubtarget::getReservedNumSGPRs(const MachineFunction &MF) const {
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000530 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
531 if (MFI.hasFlatScratchInit()) {
532 if (getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS)
533 return 6; // FLAT_SCRATCH, XNACK, VCC (in that order).
534 if (getGeneration() == AMDGPUSubtarget::SEA_ISLANDS)
535 return 4; // FLAT_SCRATCH, VCC (in that order).
536 }
537
538 if (isXNACKEnabled())
539 return 4; // XNACK, VCC (in that order).
540 return 2; // VCC.
541}
542
Tom Stellard5bfbae52018-07-11 20:59:01 +0000543unsigned GCNSubtarget::getMaxNumSGPRs(const MachineFunction &MF) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000544 const Function &F = MF.getFunction();
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000545 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
546
547 // Compute maximum number of SGPRs function can use using default/requested
548 // minimum number of waves per execution unit.
549 std::pair<unsigned, unsigned> WavesPerEU = MFI.getWavesPerEU();
550 unsigned MaxNumSGPRs = getMaxNumSGPRs(WavesPerEU.first, false);
551 unsigned MaxAddressableNumSGPRs = getMaxNumSGPRs(WavesPerEU.first, true);
552
553 // Check if maximum number of SGPRs was explicitly requested using
554 // "amdgpu-num-sgpr" attribute.
555 if (F.hasFnAttribute("amdgpu-num-sgpr")) {
556 unsigned Requested = AMDGPU::getIntegerAttribute(
557 F, "amdgpu-num-sgpr", MaxNumSGPRs);
558
559 // Make sure requested value does not violate subtarget's specifications.
560 if (Requested && (Requested <= getReservedNumSGPRs(MF)))
561 Requested = 0;
562
563 // If more SGPRs are required to support the input user/system SGPRs,
564 // increase to accommodate them.
565 //
566 // FIXME: This really ends up using the requested number of SGPRs + number
567 // of reserved special registers in total. Theoretically you could re-use
568 // the last input registers for these special registers, but this would
569 // require a lot of complexity to deal with the weird aliasing.
570 unsigned InputNumSGPRs = MFI.getNumPreloadedSGPRs();
571 if (Requested && Requested < InputNumSGPRs)
572 Requested = InputNumSGPRs;
573
574 // Make sure requested value is compatible with values implied by
575 // default/requested minimum/maximum number of waves per execution unit.
576 if (Requested && Requested > getMaxNumSGPRs(WavesPerEU.first, false))
577 Requested = 0;
578 if (WavesPerEU.second &&
579 Requested && Requested < getMinNumSGPRs(WavesPerEU.second))
580 Requested = 0;
581
582 if (Requested)
583 MaxNumSGPRs = Requested;
584 }
585
Matt Arsenault4eae3012016-10-28 20:31:47 +0000586 if (hasSGPRInitBug())
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000587 MaxNumSGPRs = AMDGPU::IsaInfo::FIXED_NUM_SGPRS_FOR_INIT_BUG;
Matt Arsenault4eae3012016-10-28 20:31:47 +0000588
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000589 return std::min(MaxNumSGPRs - getReservedNumSGPRs(MF),
590 MaxAddressableNumSGPRs);
591}
Matt Arsenault4eae3012016-10-28 20:31:47 +0000592
Tom Stellard5bfbae52018-07-11 20:59:01 +0000593unsigned GCNSubtarget::getMaxNumVGPRs(const MachineFunction &MF) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000594 const Function &F = MF.getFunction();
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000595 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
596
597 // Compute maximum number of VGPRs function can use using default/requested
598 // minimum number of waves per execution unit.
599 std::pair<unsigned, unsigned> WavesPerEU = MFI.getWavesPerEU();
600 unsigned MaxNumVGPRs = getMaxNumVGPRs(WavesPerEU.first);
601
602 // Check if maximum number of VGPRs was explicitly requested using
603 // "amdgpu-num-vgpr" attribute.
604 if (F.hasFnAttribute("amdgpu-num-vgpr")) {
605 unsigned Requested = AMDGPU::getIntegerAttribute(
606 F, "amdgpu-num-vgpr", MaxNumVGPRs);
607
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000608 // Make sure requested value is compatible with values implied by
609 // default/requested minimum/maximum number of waves per execution unit.
610 if (Requested && Requested > getMaxNumVGPRs(WavesPerEU.first))
611 Requested = 0;
612 if (WavesPerEU.second &&
613 Requested && Requested < getMinNumVGPRs(WavesPerEU.second))
614 Requested = 0;
615
616 if (Requested)
617 MaxNumVGPRs = Requested;
618 }
619
Konstantin Zhuravlyove004b3d2018-06-21 20:28:19 +0000620 return MaxNumVGPRs;
Matt Arsenault4eae3012016-10-28 20:31:47 +0000621}
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000622
Benjamin Kramerf9ab3dd2017-10-31 23:21:30 +0000623namespace {
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000624struct MemOpClusterMutation : ScheduleDAGMutation {
625 const SIInstrInfo *TII;
626
627 MemOpClusterMutation(const SIInstrInfo *tii) : TII(tii) {}
628
629 void apply(ScheduleDAGInstrs *DAGInstrs) override {
630 ScheduleDAGMI *DAG = static_cast<ScheduleDAGMI*>(DAGInstrs);
631
632 SUnit *SUa = nullptr;
633 // Search for two consequent memory operations and link them
634 // to prevent scheduler from moving them apart.
635 // In DAG pre-process SUnits are in the original order of
636 // the instructions before scheduling.
637 for (SUnit &SU : DAG->SUnits) {
638 MachineInstr &MI2 = *SU.getInstr();
639 if (!MI2.mayLoad() && !MI2.mayStore()) {
640 SUa = nullptr;
641 continue;
642 }
643 if (!SUa) {
644 SUa = &SU;
645 continue;
646 }
647
648 MachineInstr &MI1 = *SUa->getInstr();
649 if ((TII->isVMEM(MI1) && TII->isVMEM(MI2)) ||
650 (TII->isFLAT(MI1) && TII->isFLAT(MI2)) ||
651 (TII->isSMRD(MI1) && TII->isSMRD(MI2)) ||
652 (TII->isDS(MI1) && TII->isDS(MI2))) {
653 SU.addPredBarrier(SUa);
654
655 for (const SDep &SI : SU.Preds) {
656 if (SI.getSUnit() != SUa)
657 SUa->addPred(SDep(SI.getSUnit(), SDep::Artificial));
658 }
659
660 if (&SU != &DAG->ExitSU) {
661 for (const SDep &SI : SUa->Succs) {
662 if (SI.getSUnit() != &SU)
663 SI.getSUnit()->addPred(SDep(&SU, SDep::Artificial));
664 }
665 }
666 }
667
668 SUa = &SU;
669 }
670 }
671};
Benjamin Kramerf9ab3dd2017-10-31 23:21:30 +0000672} // namespace
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000673
Tom Stellard5bfbae52018-07-11 20:59:01 +0000674void GCNSubtarget::getPostRAMutations(
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000675 std::vector<std::unique_ptr<ScheduleDAGMutation>> &Mutations) const {
676 Mutations.push_back(llvm::make_unique<MemOpClusterMutation>(&InstrInfo));
677}
Tom Stellardc5a154d2018-06-28 23:47:12 +0000678
Tom Stellard5bfbae52018-07-11 20:59:01 +0000679const AMDGPUSubtarget &AMDGPUSubtarget::get(const MachineFunction &MF) {
Tom Stellardc5a154d2018-06-28 23:47:12 +0000680 if (MF.getTarget().getTargetTriple().getArch() == Triple::amdgcn)
Tom Stellard5bfbae52018-07-11 20:59:01 +0000681 return static_cast<const AMDGPUSubtarget&>(MF.getSubtarget<GCNSubtarget>());
Tom Stellardc5a154d2018-06-28 23:47:12 +0000682 else
Tom Stellard5bfbae52018-07-11 20:59:01 +0000683 return static_cast<const AMDGPUSubtarget&>(MF.getSubtarget<R600Subtarget>());
Tom Stellardc5a154d2018-06-28 23:47:12 +0000684}
685
Tom Stellard5bfbae52018-07-11 20:59:01 +0000686const AMDGPUSubtarget &AMDGPUSubtarget::get(const TargetMachine &TM, const Function &F) {
Tom Stellardc5a154d2018-06-28 23:47:12 +0000687 if (TM.getTargetTriple().getArch() == Triple::amdgcn)
Tom Stellard5bfbae52018-07-11 20:59:01 +0000688 return static_cast<const AMDGPUSubtarget&>(TM.getSubtarget<GCNSubtarget>(F));
Tom Stellardc5a154d2018-06-28 23:47:12 +0000689 else
Tom Stellard5bfbae52018-07-11 20:59:01 +0000690 return static_cast<const AMDGPUSubtarget&>(TM.getSubtarget<R600Subtarget>(F));
Tom Stellardc5a154d2018-06-28 23:47:12 +0000691}