blob: 6d47631da1eed09e13dd83c1799ad296348016d5 [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===-- AMDGPUSubtarget.cpp - AMDGPU Subtarget Information ----------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Tom Stellard75aadc22012-12-11 21:25:42 +00006//
7//===----------------------------------------------------------------------===//
8//
9/// \file
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000010/// Implements the AMDGPU specific subclass of TargetSubtarget.
Tom Stellard75aadc22012-12-11 21:25:42 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "AMDGPUSubtarget.h"
Quentin Colombetf3f7d4d2017-07-05 18:40:56 +000015#include "AMDGPU.h"
16#include "AMDGPUTargetMachine.h"
Quentin Colombetf3f7d4d2017-07-05 18:40:56 +000017#include "AMDGPUCallLowering.h"
18#include "AMDGPUInstructionSelector.h"
19#include "AMDGPULegalizerInfo.h"
20#include "AMDGPURegisterBankInfo.h"
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +000021#include "SIMachineFunctionInfo.h"
Tom Stellard44b30b42018-05-22 02:03:23 +000022#include "MCTargetDesc/AMDGPUMCTargetDesc.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"
Tom Stellardc5a154d2018-06-28 23:47:12 +000025#include "llvm/MC/MCSubtargetInfo.h"
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +000026#include "llvm/IR/MDBuilder.h"
David Blaikie1be62f02017-11-03 22:32:11 +000027#include "llvm/CodeGen/TargetFrameLowering.h"
Eugene Zelenko6a9226d2016-12-12 22:23:53 +000028#include <algorithm>
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000029
Tom Stellard75aadc22012-12-11 21:25:42 +000030using namespace llvm;
31
Chandler Carruthe96dd892014-04-21 22:55:11 +000032#define DEBUG_TYPE "amdgpu-subtarget"
33
Tom Stellard75aadc22012-12-11 21:25:42 +000034#define GET_SUBTARGETINFO_TARGET_DESC
35#define GET_SUBTARGETINFO_CTOR
Tom Stellard5bfbae52018-07-11 20:59:01 +000036#define AMDGPUSubtarget GCNSubtarget
Tom Stellard75aadc22012-12-11 21:25:42 +000037#include "AMDGPUGenSubtargetInfo.inc"
Tom Stellardc5a154d2018-06-28 23:47:12 +000038#define GET_SUBTARGETINFO_TARGET_DESC
39#define GET_SUBTARGETINFO_CTOR
Tom Stellard5bfbae52018-07-11 20:59:01 +000040#undef AMDGPUSubtarget
Tom Stellardc5a154d2018-06-28 23:47:12 +000041#include "R600GenSubtargetInfo.inc"
Tom Stellard75aadc22012-12-11 21:25:42 +000042
Tom Stellard5bfbae52018-07-11 20:59:01 +000043GCNSubtarget::~GCNSubtarget() = default;
Matt Arsenault43e92fe2016-06-24 06:30:11 +000044
Tom Stellardc5a154d2018-06-28 23:47:12 +000045R600Subtarget &
46R600Subtarget::initializeSubtargetDependencies(const Triple &TT,
47 StringRef GPU, StringRef FS) {
Matt Arsenault055e4dc2019-03-29 19:14:54 +000048 SmallString<256> FullFS("+promote-alloca,");
Tom Stellardc5a154d2018-06-28 23:47:12 +000049 FullFS += FS;
50 ParseSubtargetFeatures(GPU, FullFS);
51
52 // FIXME: I don't think think Evergreen has any useful support for
53 // denormals, but should be checked. Should we issue a warning somewhere
54 // if someone tries to enable these?
Tom Stellard5bfbae52018-07-11 20:59:01 +000055 if (getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) {
Tom Stellardc5a154d2018-06-28 23:47:12 +000056 FP32Denormals = false;
57 }
58
59 HasMulU24 = getGeneration() >= EVERGREEN;
60 HasMulI24 = hasCaymanISA();
61
62 return *this;
63}
64
Tom Stellard5bfbae52018-07-11 20:59:01 +000065GCNSubtarget &
66GCNSubtarget::initializeSubtargetDependencies(const Triple &TT,
Matt Arsenaultf426ddb2019-04-03 01:58:57 +000067 StringRef GPU, StringRef FS) {
Eric Christopherac4b69e2014-07-25 22:22:39 +000068 // Determine default and user-specified characteristics
Matt Arsenaultf171cf22014-07-14 23:40:49 +000069 // On SI+, we want FP64 denormals to be on by default. FP32 denormals can be
70 // enabled, but some instructions do not respect them and they run at the
71 // double precision rate, so don't enable by default.
72 //
73 // We want to be able to turn these off, but making this a subtarget feature
74 // for SI has the unhelpful behavior that it unsets everything else if you
75 // disable it.
David Stuttardf77079f2019-01-14 11:55:24 +000076 //
77 // Similarly we want enable-prt-strict-null to be on by default and not to
78 // unset everything else if it is disabled
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000079
Matt Arsenaultf426ddb2019-04-03 01:58:57 +000080 // Assuming ECC is enabled is the conservative default.
81 SmallString<256> FullFS("+promote-alloca,+load-store-opt,+sram-ecc,");
Jan Veselyd1c9b612017-12-04 22:57:29 +000082
Changpeng Fangb41574a2015-12-22 20:55:23 +000083 if (isAmdHsaOS()) // Turn on FlatForGlobal for HSA.
Matt Arsenaulte0c1f9e2019-03-17 21:31:35 +000084 FullFS += "+flat-for-global,+unaligned-buffer-access,+trap-handler,";
Matt Arsenaulta6867fd2017-01-23 22:31:03 +000085
Jan Veselyd1c9b612017-12-04 22:57:29 +000086 // FIXME: I don't think think Evergreen has any useful support for
87 // denormals, but should be checked. Should we issue a warning somewhere
88 // if someone tries to enable these?
89 if (getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS) {
90 FullFS += "+fp64-fp16-denormals,";
91 } else {
92 FullFS += "-fp32-denormals,";
93 }
94
David Stuttardf77079f2019-01-14 11:55:24 +000095 FullFS += "+enable-prt-strict-null,"; // This is overridden by a disable in FS
96
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000097 FullFS += FS;
98
99 ParseSubtargetFeatures(GPU, FullFS);
Tom Stellard2e59a452014-06-13 01:32:00 +0000100
Jan Veselyd1c9b612017-12-04 22:57:29 +0000101 // We don't support FP64 for EG/NI atm.
102 assert(!hasFP64() || (getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS));
103
Matt Arsenaultd8f7ea32017-01-27 17:42:26 +0000104 // Unless +-flat-for-global is specified, turn on FlatForGlobal for all OS-es
105 // on VI and newer hardware to avoid assertion failures due to missing ADDR64
106 // variants of MUBUF instructions.
107 if (!hasAddr64() && !FS.contains("flat-for-global")) {
108 FlatForGlobal = true;
109 }
110
Matt Arsenault24ee0782016-02-12 02:40:47 +0000111 // Set defaults if needed.
112 if (MaxPrivateElementSize == 0)
Matt Arsenaulte8ed8e52016-05-11 00:28:54 +0000113 MaxPrivateElementSize = 4;
Matt Arsenault24ee0782016-02-12 02:40:47 +0000114
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000115 if (LDSBankCount == 0)
116 LDSBankCount = 32;
117
118 if (TT.getArch() == Triple::amdgcn) {
119 if (LocalMemorySize == 0)
120 LocalMemorySize = 32768;
121
122 // Do something sensible for unspecified target.
123 if (!HasMovrel && !HasVGPRIndexMode)
124 HasMovrel = true;
125 }
126
Matt Arsenaultd7047272019-02-08 19:18:01 +0000127 // Don't crash on invalid devices.
128 if (WavefrontSize == 0)
129 WavefrontSize = 64;
130
Tom Stellardc5a154d2018-06-28 23:47:12 +0000131 HasFminFmaxLegacy = getGeneration() < AMDGPUSubtarget::VOLCANIC_ISLANDS;
132
Matt Arsenaultf426ddb2019-04-03 01:58:57 +0000133 // ECC is on by default, but turn it off if the hardware doesn't support it
134 // anyway. This matters for the gfx9 targets with d16 loads, but don't support
135 // ECC.
136 if (DoesNotSupportSRAMECC && EnableSRAMECC) {
137 ToggleFeature(AMDGPU::FeatureSRAMECC);
138 EnableSRAMECC = false;
139 }
140
Eric Christopherac4b69e2014-07-25 22:22:39 +0000141 return *this;
142}
143
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000144AMDGPUSubtarget::AMDGPUSubtarget(const Triple &TT) :
Tom Stellardc5a154d2018-06-28 23:47:12 +0000145 TargetTriple(TT),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000146 Has16BitInsts(false),
147 HasMadMixInsts(false),
148 FP32Denormals(false),
149 FPExceptions(false),
150 HasSDWA(false),
151 HasVOP3PInsts(false),
152 HasMulI24(true),
153 HasMulU24(true),
Matt Arsenault6c7ba822018-08-15 21:03:55 +0000154 HasInv2PiInlineImm(false),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000155 HasFminFmaxLegacy(true),
156 EnablePromoteAlloca(false),
David Stuttard20de3e92018-09-14 10:27:19 +0000157 HasTrigReducedRange(false),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000158 LocalMemorySize(0),
159 WavefrontSize(0)
160 { }
161
Tom Stellard5bfbae52018-07-11 20:59:01 +0000162GCNSubtarget::GCNSubtarget(const Triple &TT, StringRef GPU, StringRef FS,
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000163 const GCNTargetMachine &TM) :
Tom Stellardc5a154d2018-06-28 23:47:12 +0000164 AMDGPUGenSubtargetInfo(TT, GPU, FS),
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000165 AMDGPUSubtarget(TT),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000166 TargetTriple(TT),
Matt Arsenaulte0c1f9e2019-03-17 21:31:35 +0000167 Gen(TT.getOS() == Triple::AMDHSA ? SEA_ISLANDS : SOUTHERN_ISLANDS),
Stanislav Mekhanoshin06d3b412018-09-17 16:04:32 +0000168 InstrItins(getInstrItineraryForCPU(GPU)),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000169 LDSBankCount(0),
170 MaxPrivateElementSize(0),
Tom Stellard40ce8af2015-01-28 16:04:26 +0000171
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000172 FastFMAF32(false),
173 HalfRate64Ops(false),
174
Matt Arsenaulta6867fd2017-01-23 22:31:03 +0000175 FP64FP16Denormals(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000176 FlatForGlobal(false),
Konstantin Zhuravlyovbe6c0ca2017-06-02 17:40:26 +0000177 AutoWaitcntBeforeBarrier(false),
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000178 CodeObjectV3(false),
Tom Stellard64a9d082016-10-14 18:10:39 +0000179 UnalignedScratchAccess(false),
Matt Arsenault7f681ac2016-07-01 23:03:44 +0000180 UnalignedBufferAccess(false),
181
Matt Arsenaulte823d922017-02-18 18:29:53 +0000182 HasApertureRegs(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000183 EnableXNACK(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000184 EnableCuMode(false),
Wei Ding205bfdb2017-02-10 02:15:29 +0000185 TrapHandler(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000186
Matt Arsenault45b98182017-11-15 00:45:43 +0000187 EnableHugePrivateBuffer(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000188 EnableLoadStoreOpt(false),
189 EnableUnsafeDSOffsetFolding(false),
190 EnableSIScheduler(false),
Marek Olsaka9a58fa2018-04-10 22:48:23 +0000191 EnableDS128(false),
David Stuttardf77079f2019-01-14 11:55:24 +0000192 EnablePRTStrictNull(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000193 DumpCode(false),
194
195 FP64(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000196 GCN3Encoding(false),
197 CIInsts(false),
Stanislav Mekhanoshin7895c032019-04-05 18:24:34 +0000198 GFX8Insts(false),
Matt Arsenault2021f082017-02-18 19:12:26 +0000199 GFX9Insts(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000200 GFX10Insts(false),
Stanislav Mekhanoshin7895c032019-04-05 18:24:34 +0000201 GFX7GFX8GFX9Insts(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000202 SGPRInitBug(false),
203 HasSMemRealTime(false),
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000204 HasIntClamp(false),
Matt Arsenault0084adc2018-04-30 19:08:16 +0000205 HasFmaMixInsts(false),
Matt Arsenaultcc88ce32016-10-12 18:00:51 +0000206 HasMovrel(false),
207 HasVGPRIndexMode(false),
Matt Arsenaultc88ba362016-10-29 04:05:06 +0000208 HasScalarStores(false),
Dmitry Preobrazhensky6bad04e2018-04-02 16:10:25 +0000209 HasScalarAtomics(false),
Sam Kolton3c4933f2017-06-22 06:26:41 +0000210 HasSDWAOmod(false),
211 HasSDWAScalar(false),
212 HasSDWASdst(false),
213 HasSDWAMac(false),
Sam Koltona179d252017-06-27 15:02:23 +0000214 HasSDWAOutModsVOPC(false),
Sam Kolton07dbde22017-01-20 10:01:25 +0000215 HasDPP(false),
Ryan Taylor1f334d02018-08-28 15:07:30 +0000216 HasR128A16(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000217 HasNSAEncoding(false),
Matt Arsenault0084adc2018-04-30 19:08:16 +0000218 HasDLInsts(false),
Stanislav Mekhanoshin0e858b02019-02-09 00:34:21 +0000219 HasDot1Insts(false),
220 HasDot2Insts(false),
Konstantin Zhuravlyov108927b2018-11-05 22:44:19 +0000221 EnableSRAMECC(false),
Matt Arsenaultf426ddb2019-04-03 01:58:57 +0000222 DoesNotSupportSRAMECC(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000223 HasNoSdstCMPX(false),
224 HasVscnt(false),
225 HasRegisterBanking(false),
226 HasVOP3Literal(false),
227 HasNoDataDepHazard(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000228 FlatAddressSpace(false),
Matt Arsenaultacdc7652017-05-10 21:19:05 +0000229 FlatInstOffsets(false),
230 FlatGlobalInsts(false),
231 FlatScratchInsts(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000232 ScalarFlatScratchInsts(false),
Matt Arsenaultc37fe662017-07-20 17:42:47 +0000233 AddNoCarryInsts(false),
Changpeng Fang44dfa1d2018-01-12 21:12:19 +0000234 HasUnpackedD16VMem(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000235 LDSMisalignedBug(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000236
Alexander Timofeev18009562016-12-08 17:28:47 +0000237 ScalarizeGlobal(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000238
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000239 HasVcmpxPermlaneHazard(false),
240 HasVMEMtoScalarWriteHazard(false),
241 HasSMEMtoVectorWriteHazard(false),
242 HasInstFwdPrefetchBug(false),
243 HasVcmpxExecWARHazard(false),
244 HasLdsBranchVmemWARHazard(false),
245 HasNSAtoVMEMBug(false),
246 HasFlatSegmentOffsetBug(false),
247
Tom Stellard5bfbae52018-07-11 20:59:01 +0000248 FeatureDisable(false),
Tom Stellard752ddbd2018-07-11 22:15:15 +0000249 InstrInfo(initializeSubtargetDependencies(TT, GPU, FS)),
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000250 TLInfo(TM, *this),
Tom Stellard5bfbae52018-07-11 20:59:01 +0000251 FrameLowering(TargetFrameLowering::StackGrowsUp, getStackAlignment(), 0) {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000252 CallLoweringInfo.reset(new AMDGPUCallLowering(*getTargetLowering()));
253 Legalizer.reset(new AMDGPULegalizerInfo(*this, TM));
254 RegBankInfo.reset(new AMDGPURegisterBankInfo(*getRegisterInfo()));
255 InstSelector.reset(new AMDGPUInstructionSelector(
256 *this, *static_cast<AMDGPURegisterBankInfo *>(RegBankInfo.get()), TM));
Tom Stellarda40f9712014-01-22 21:55:43 +0000257}
Tom Stellardb8fd6ef2014-12-02 22:00:07 +0000258
Stanislav Mekhanoshinf2baae02019-05-02 03:47:23 +0000259unsigned GCNSubtarget::getConstantBusLimit(unsigned Opcode) const {
260 if (getGeneration() < GFX10)
261 return 1;
262
263 switch (Opcode) {
264 case AMDGPU::V_LSHLREV_B64:
265 case AMDGPU::V_LSHLREV_B64_gfx10:
266 case AMDGPU::V_LSHL_B64:
267 case AMDGPU::V_LSHRREV_B64:
268 case AMDGPU::V_LSHRREV_B64_gfx10:
269 case AMDGPU::V_LSHR_B64:
270 case AMDGPU::V_ASHRREV_I64:
271 case AMDGPU::V_ASHRREV_I64_gfx10:
272 case AMDGPU::V_ASHR_I64:
273 return 1;
274 }
275
276 return 2;
277}
278
Tom Stellard5bfbae52018-07-11 20:59:01 +0000279unsigned AMDGPUSubtarget::getMaxLocalMemSizeWithWaveCount(unsigned NWaves,
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000280 const Function &F) const {
281 if (NWaves == 1)
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000282 return getLocalMemorySize();
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000283 unsigned WorkGroupSize = getFlatWorkGroupSizes(F).second;
284 unsigned WorkGroupsPerCu = getMaxWorkGroupsPerCU(WorkGroupSize);
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000285 if (!WorkGroupsPerCu)
286 return 0;
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000287 unsigned MaxWaves = getMaxWavesPerEU();
288 return getLocalMemorySize() * MaxWaves / WorkGroupsPerCu / NWaves;
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000289}
290
Tom Stellard5bfbae52018-07-11 20:59:01 +0000291unsigned AMDGPUSubtarget::getOccupancyWithLocalMemSize(uint32_t Bytes,
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000292 const Function &F) const {
293 unsigned WorkGroupSize = getFlatWorkGroupSizes(F).second;
294 unsigned WorkGroupsPerCu = getMaxWorkGroupsPerCU(WorkGroupSize);
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000295 if (!WorkGroupsPerCu)
296 return 0;
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000297 unsigned MaxWaves = getMaxWavesPerEU();
298 unsigned Limit = getLocalMemorySize() * MaxWaves / WorkGroupsPerCu;
299 unsigned NumWaves = Limit / (Bytes ? Bytes : 1u);
300 NumWaves = std::min(NumWaves, MaxWaves);
301 NumWaves = std::max(NumWaves, 1u);
302 return NumWaves;
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000303}
304
Tom Stellard44b30b42018-05-22 02:03:23 +0000305unsigned
Tom Stellard5bfbae52018-07-11 20:59:01 +0000306AMDGPUSubtarget::getOccupancyWithLocalMemSize(const MachineFunction &MF) const {
Tom Stellard44b30b42018-05-22 02:03:23 +0000307 const auto *MFI = MF.getInfo<SIMachineFunctionInfo>();
308 return getOccupancyWithLocalMemSize(MFI->getLDSSize(), MF.getFunction());
309}
310
Matt Arsenaultb7918022017-10-23 17:09:35 +0000311std::pair<unsigned, unsigned>
Tom Stellard5bfbae52018-07-11 20:59:01 +0000312AMDGPUSubtarget::getDefaultFlatWorkGroupSize(CallingConv::ID CC) const {
Matt Arsenaultb7918022017-10-23 17:09:35 +0000313 switch (CC) {
314 case CallingConv::AMDGPU_CS:
315 case CallingConv::AMDGPU_KERNEL:
316 case CallingConv::SPIR_KERNEL:
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000317 return std::make_pair(getWavefrontSize() * 2,
318 std::max(getWavefrontSize() * 4, 256u));
Matt Arsenaultb7918022017-10-23 17:09:35 +0000319 case CallingConv::AMDGPU_VS:
320 case CallingConv::AMDGPU_LS:
321 case CallingConv::AMDGPU_HS:
322 case CallingConv::AMDGPU_ES:
323 case CallingConv::AMDGPU_GS:
324 case CallingConv::AMDGPU_PS:
325 return std::make_pair(1, getWavefrontSize());
326 default:
327 return std::make_pair(1, 16 * getWavefrontSize());
328 }
329}
330
Tom Stellard5bfbae52018-07-11 20:59:01 +0000331std::pair<unsigned, unsigned> AMDGPUSubtarget::getFlatWorkGroupSizes(
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000332 const Function &F) const {
Matt Arsenaultb7918022017-10-23 17:09:35 +0000333 // FIXME: 1024 if function.
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000334 // Default minimum/maximum flat work group sizes.
335 std::pair<unsigned, unsigned> Default =
Matt Arsenaultb7918022017-10-23 17:09:35 +0000336 getDefaultFlatWorkGroupSize(F.getCallingConv());
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000337
338 // TODO: Do not process "amdgpu-max-work-group-size" attribute once mesa
339 // starts using "amdgpu-flat-work-group-size" attribute.
340 Default.second = AMDGPU::getIntegerAttribute(
341 F, "amdgpu-max-work-group-size", Default.second);
342 Default.first = std::min(Default.first, Default.second);
343
344 // Requested minimum/maximum flat work group sizes.
345 std::pair<unsigned, unsigned> Requested = AMDGPU::getIntegerPairAttribute(
346 F, "amdgpu-flat-work-group-size", Default);
347
348 // Make sure requested minimum is less than requested maximum.
349 if (Requested.first > Requested.second)
350 return Default;
351
352 // Make sure requested values do not violate subtarget's specifications.
353 if (Requested.first < getMinFlatWorkGroupSize())
354 return Default;
355 if (Requested.second > getMaxFlatWorkGroupSize())
356 return Default;
357
358 return Requested;
359}
360
Tom Stellard5bfbae52018-07-11 20:59:01 +0000361std::pair<unsigned, unsigned> AMDGPUSubtarget::getWavesPerEU(
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000362 const Function &F) const {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000363 // Default minimum/maximum number of waves per execution unit.
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000364 std::pair<unsigned, unsigned> Default(1, getMaxWavesPerEU());
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000365
366 // Default/requested minimum/maximum flat work group sizes.
367 std::pair<unsigned, unsigned> FlatWorkGroupSizes = getFlatWorkGroupSizes(F);
368
369 // If minimum/maximum flat work group sizes were explicitly requested using
370 // "amdgpu-flat-work-group-size" attribute, then set default minimum/maximum
371 // number of waves per execution unit to values implied by requested
372 // minimum/maximum flat work group sizes.
373 unsigned MinImpliedByFlatWorkGroupSize =
374 getMaxWavesPerEU(FlatWorkGroupSizes.second);
375 bool RequestedFlatWorkGroupSize = false;
376
377 // TODO: Do not process "amdgpu-max-work-group-size" attribute once mesa
378 // starts using "amdgpu-flat-work-group-size" attribute.
379 if (F.hasFnAttribute("amdgpu-max-work-group-size") ||
380 F.hasFnAttribute("amdgpu-flat-work-group-size")) {
381 Default.first = MinImpliedByFlatWorkGroupSize;
382 RequestedFlatWorkGroupSize = true;
383 }
384
385 // Requested minimum/maximum number of waves per execution unit.
386 std::pair<unsigned, unsigned> Requested = AMDGPU::getIntegerPairAttribute(
387 F, "amdgpu-waves-per-eu", Default, true);
388
389 // Make sure requested minimum is less than requested maximum.
390 if (Requested.second && Requested.first > Requested.second)
391 return Default;
392
393 // Make sure requested values do not violate subtarget's specifications.
394 if (Requested.first < getMinWavesPerEU() ||
395 Requested.first > getMaxWavesPerEU())
396 return Default;
397 if (Requested.second > getMaxWavesPerEU())
398 return Default;
399
400 // Make sure requested values are compatible with values implied by requested
401 // minimum/maximum flat work group sizes.
402 if (RequestedFlatWorkGroupSize &&
Konstantin Zhuravlyov2ec725c2017-07-16 19:38:47 +0000403 Requested.first < MinImpliedByFlatWorkGroupSize)
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000404 return Default;
405
406 return Requested;
407}
408
Tom Stellard5bfbae52018-07-11 20:59:01 +0000409bool AMDGPUSubtarget::makeLIDRangeMetadata(Instruction *I) const {
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000410 Function *Kernel = I->getParent()->getParent();
411 unsigned MinSize = 0;
412 unsigned MaxSize = getFlatWorkGroupSizes(*Kernel).second;
413 bool IdQuery = false;
414
415 // If reqd_work_group_size is present it narrows value down.
416 if (auto *CI = dyn_cast<CallInst>(I)) {
417 const Function *F = CI->getCalledFunction();
418 if (F) {
419 unsigned Dim = UINT_MAX;
420 switch (F->getIntrinsicID()) {
421 case Intrinsic::amdgcn_workitem_id_x:
422 case Intrinsic::r600_read_tidig_x:
423 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000424 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000425 case Intrinsic::r600_read_local_size_x:
426 Dim = 0;
427 break;
428 case Intrinsic::amdgcn_workitem_id_y:
429 case Intrinsic::r600_read_tidig_y:
430 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000431 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000432 case Intrinsic::r600_read_local_size_y:
433 Dim = 1;
434 break;
435 case Intrinsic::amdgcn_workitem_id_z:
436 case Intrinsic::r600_read_tidig_z:
437 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000438 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000439 case Intrinsic::r600_read_local_size_z:
440 Dim = 2;
441 break;
442 default:
443 break;
444 }
445 if (Dim <= 3) {
446 if (auto Node = Kernel->getMetadata("reqd_work_group_size"))
447 if (Node->getNumOperands() == 3)
448 MinSize = MaxSize = mdconst::extract<ConstantInt>(
449 Node->getOperand(Dim))->getZExtValue();
450 }
451 }
452 }
453
454 if (!MaxSize)
455 return false;
456
457 // Range metadata is [Lo, Hi). For ID query we need to pass max size
458 // as Hi. For size query we need to pass Hi + 1.
459 if (IdQuery)
460 MinSize = 0;
461 else
462 ++MaxSize;
463
464 MDBuilder MDB(I->getContext());
465 MDNode *MaxWorkGroupSizeRange = MDB.createRange(APInt(32, MinSize),
466 APInt(32, MaxSize));
467 I->setMetadata(LLVMContext::MD_range, MaxWorkGroupSizeRange);
468 return true;
469}
470
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000471uint64_t AMDGPUSubtarget::getExplicitKernArgSize(const Function &F,
472 unsigned &MaxAlign) const {
473 assert(F.getCallingConv() == CallingConv::AMDGPU_KERNEL ||
474 F.getCallingConv() == CallingConv::SPIR_KERNEL);
475
476 const DataLayout &DL = F.getParent()->getDataLayout();
477 uint64_t ExplicitArgBytes = 0;
478 MaxAlign = 1;
479
480 for (const Argument &Arg : F.args()) {
481 Type *ArgTy = Arg.getType();
482
483 unsigned Align = DL.getABITypeAlignment(ArgTy);
484 uint64_t AllocSize = DL.getTypeAllocSize(ArgTy);
485 ExplicitArgBytes = alignTo(ExplicitArgBytes, Align) + AllocSize;
486 MaxAlign = std::max(MaxAlign, Align);
487 }
488
489 return ExplicitArgBytes;
490}
491
492unsigned AMDGPUSubtarget::getKernArgSegmentSize(const Function &F,
493 unsigned &MaxAlign) const {
494 uint64_t ExplicitArgBytes = getExplicitKernArgSize(F, MaxAlign);
495
496 unsigned ExplicitOffset = getExplicitKernelArgOffset(F);
497
498 uint64_t TotalSize = ExplicitOffset + ExplicitArgBytes;
499 unsigned ImplicitBytes = getImplicitArgNumBytes(F);
500 if (ImplicitBytes != 0) {
501 unsigned Alignment = getAlignmentForImplicitArgPtr();
502 TotalSize = alignTo(ExplicitArgBytes, Alignment) + ImplicitBytes;
503 }
504
505 // Being able to dereference past the end is useful for emitting scalar loads.
506 return alignTo(TotalSize, 4);
507}
508
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000509R600Subtarget::R600Subtarget(const Triple &TT, StringRef GPU, StringRef FS,
510 const TargetMachine &TM) :
Tom Stellardc5a154d2018-06-28 23:47:12 +0000511 R600GenSubtargetInfo(TT, GPU, FS),
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000512 AMDGPUSubtarget(TT),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000513 InstrInfo(*this),
514 FrameLowering(TargetFrameLowering::StackGrowsUp, getStackAlignment(), 0),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000515 FMA(false),
516 CaymanISA(false),
517 CFALUBug(false),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000518 HasVertexCache(false),
519 R600ALUInst(false),
520 FP64(false),
521 TexVTXClauseSize(0),
522 Gen(R600),
523 TLInfo(TM, initializeSubtargetDependencies(TT, GPU, FS)),
Matt Arsenault0da63502018-08-31 05:49:54 +0000524 InstrItins(getInstrItineraryForCPU(GPU)) { }
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000525
Tom Stellard5bfbae52018-07-11 20:59:01 +0000526void GCNSubtarget::overrideSchedPolicy(MachineSchedPolicy &Policy,
Matt Arsenault55dff272016-06-28 00:11:26 +0000527 unsigned NumRegionInstrs) const {
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000528 // Track register pressure so the scheduler can try to decrease
529 // pressure once register usage is above the threshold defined by
530 // SIRegisterInfo::getRegPressureSetLimit()
531 Policy.ShouldTrackPressure = true;
Tom Stellard83f0bce2015-01-29 16:55:25 +0000532
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000533 // Enabling both top down and bottom up scheduling seems to give us less
534 // register spills than just using one of these approaches on its own.
535 Policy.OnlyTopDown = false;
536 Policy.OnlyBottomUp = false;
Tom Stellard83f0bce2015-01-29 16:55:25 +0000537
Alexander Timofeev9f61fea2017-02-14 14:29:05 +0000538 // Enabling ShouldTrackLaneMasks crashes the SI Machine Scheduler.
539 if (!enableSIScheduler())
540 Policy.ShouldTrackLaneMasks = true;
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000541}
Tom Stellard0bc954e2016-03-30 16:35:09 +0000542
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000543bool GCNSubtarget::hasMadF16() const {
544 return InstrInfo.pseudoToMCOpcode(AMDGPU::V_MAD_F16) != -1;
545}
546
Tom Stellard5bfbae52018-07-11 20:59:01 +0000547unsigned GCNSubtarget::getOccupancyWithNumSGPRs(unsigned SGPRs) const {
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000548 if (getGeneration() >= AMDGPUSubtarget::GFX10)
549 return 10;
550
Tom Stellard5bfbae52018-07-11 20:59:01 +0000551 if (getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS) {
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000552 if (SGPRs <= 80)
553 return 10;
554 if (SGPRs <= 88)
555 return 9;
556 if (SGPRs <= 100)
557 return 8;
558 return 7;
559 }
560 if (SGPRs <= 48)
561 return 10;
562 if (SGPRs <= 56)
563 return 9;
564 if (SGPRs <= 64)
565 return 8;
566 if (SGPRs <= 72)
567 return 7;
568 if (SGPRs <= 80)
569 return 6;
570 return 5;
571}
572
Tom Stellard5bfbae52018-07-11 20:59:01 +0000573unsigned GCNSubtarget::getOccupancyWithNumVGPRs(unsigned VGPRs) const {
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000574 if (VGPRs <= 24)
575 return 10;
576 if (VGPRs <= 28)
577 return 9;
578 if (VGPRs <= 32)
579 return 8;
580 if (VGPRs <= 36)
581 return 7;
582 if (VGPRs <= 40)
583 return 6;
584 if (VGPRs <= 48)
585 return 5;
586 if (VGPRs <= 64)
587 return 4;
588 if (VGPRs <= 84)
589 return 3;
590 if (VGPRs <= 128)
591 return 2;
592 return 1;
593}
Matt Arsenault4eae3012016-10-28 20:31:47 +0000594
Tom Stellard5bfbae52018-07-11 20:59:01 +0000595unsigned GCNSubtarget::getReservedNumSGPRs(const MachineFunction &MF) const {
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000596 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000597 if (getGeneration() >= AMDGPUSubtarget::GFX10)
598 return 2; // VCC. FLAT_SCRATCH and XNACK are no longer in SGPRs.
599
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000600 if (MFI.hasFlatScratchInit()) {
601 if (getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS)
602 return 6; // FLAT_SCRATCH, XNACK, VCC (in that order).
603 if (getGeneration() == AMDGPUSubtarget::SEA_ISLANDS)
604 return 4; // FLAT_SCRATCH, VCC (in that order).
605 }
606
607 if (isXNACKEnabled())
608 return 4; // XNACK, VCC (in that order).
609 return 2; // VCC.
610}
611
Tom Stellard5bfbae52018-07-11 20:59:01 +0000612unsigned GCNSubtarget::getMaxNumSGPRs(const MachineFunction &MF) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000613 const Function &F = MF.getFunction();
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000614 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
615
616 // Compute maximum number of SGPRs function can use using default/requested
617 // minimum number of waves per execution unit.
618 std::pair<unsigned, unsigned> WavesPerEU = MFI.getWavesPerEU();
619 unsigned MaxNumSGPRs = getMaxNumSGPRs(WavesPerEU.first, false);
620 unsigned MaxAddressableNumSGPRs = getMaxNumSGPRs(WavesPerEU.first, true);
621
622 // Check if maximum number of SGPRs was explicitly requested using
623 // "amdgpu-num-sgpr" attribute.
624 if (F.hasFnAttribute("amdgpu-num-sgpr")) {
625 unsigned Requested = AMDGPU::getIntegerAttribute(
626 F, "amdgpu-num-sgpr", MaxNumSGPRs);
627
628 // Make sure requested value does not violate subtarget's specifications.
629 if (Requested && (Requested <= getReservedNumSGPRs(MF)))
630 Requested = 0;
631
632 // If more SGPRs are required to support the input user/system SGPRs,
633 // increase to accommodate them.
634 //
635 // FIXME: This really ends up using the requested number of SGPRs + number
636 // of reserved special registers in total. Theoretically you could re-use
637 // the last input registers for these special registers, but this would
638 // require a lot of complexity to deal with the weird aliasing.
639 unsigned InputNumSGPRs = MFI.getNumPreloadedSGPRs();
640 if (Requested && Requested < InputNumSGPRs)
641 Requested = InputNumSGPRs;
642
643 // Make sure requested value is compatible with values implied by
644 // default/requested minimum/maximum number of waves per execution unit.
645 if (Requested && Requested > getMaxNumSGPRs(WavesPerEU.first, false))
646 Requested = 0;
647 if (WavesPerEU.second &&
648 Requested && Requested < getMinNumSGPRs(WavesPerEU.second))
649 Requested = 0;
650
651 if (Requested)
652 MaxNumSGPRs = Requested;
653 }
654
Matt Arsenault4eae3012016-10-28 20:31:47 +0000655 if (hasSGPRInitBug())
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000656 MaxNumSGPRs = AMDGPU::IsaInfo::FIXED_NUM_SGPRS_FOR_INIT_BUG;
Matt Arsenault4eae3012016-10-28 20:31:47 +0000657
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000658 return std::min(MaxNumSGPRs - getReservedNumSGPRs(MF),
659 MaxAddressableNumSGPRs);
660}
Matt Arsenault4eae3012016-10-28 20:31:47 +0000661
Tom Stellard5bfbae52018-07-11 20:59:01 +0000662unsigned GCNSubtarget::getMaxNumVGPRs(const MachineFunction &MF) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000663 const Function &F = MF.getFunction();
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000664 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
665
666 // Compute maximum number of VGPRs function can use using default/requested
667 // minimum number of waves per execution unit.
668 std::pair<unsigned, unsigned> WavesPerEU = MFI.getWavesPerEU();
669 unsigned MaxNumVGPRs = getMaxNumVGPRs(WavesPerEU.first);
670
671 // Check if maximum number of VGPRs was explicitly requested using
672 // "amdgpu-num-vgpr" attribute.
673 if (F.hasFnAttribute("amdgpu-num-vgpr")) {
674 unsigned Requested = AMDGPU::getIntegerAttribute(
675 F, "amdgpu-num-vgpr", MaxNumVGPRs);
676
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000677 // Make sure requested value is compatible with values implied by
678 // default/requested minimum/maximum number of waves per execution unit.
679 if (Requested && Requested > getMaxNumVGPRs(WavesPerEU.first))
680 Requested = 0;
681 if (WavesPerEU.second &&
682 Requested && Requested < getMinNumVGPRs(WavesPerEU.second))
683 Requested = 0;
684
685 if (Requested)
686 MaxNumVGPRs = Requested;
687 }
688
Konstantin Zhuravlyove004b3d2018-06-21 20:28:19 +0000689 return MaxNumVGPRs;
Matt Arsenault4eae3012016-10-28 20:31:47 +0000690}
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000691
Benjamin Kramerf9ab3dd2017-10-31 23:21:30 +0000692namespace {
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000693struct MemOpClusterMutation : ScheduleDAGMutation {
694 const SIInstrInfo *TII;
695
696 MemOpClusterMutation(const SIInstrInfo *tii) : TII(tii) {}
697
Clement Courbetb70355f2019-03-29 08:33:05 +0000698 void apply(ScheduleDAGInstrs *DAG) override {
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000699 SUnit *SUa = nullptr;
700 // Search for two consequent memory operations and link them
701 // to prevent scheduler from moving them apart.
702 // In DAG pre-process SUnits are in the original order of
703 // the instructions before scheduling.
704 for (SUnit &SU : DAG->SUnits) {
705 MachineInstr &MI2 = *SU.getInstr();
706 if (!MI2.mayLoad() && !MI2.mayStore()) {
707 SUa = nullptr;
708 continue;
709 }
710 if (!SUa) {
711 SUa = &SU;
712 continue;
713 }
714
715 MachineInstr &MI1 = *SUa->getInstr();
716 if ((TII->isVMEM(MI1) && TII->isVMEM(MI2)) ||
717 (TII->isFLAT(MI1) && TII->isFLAT(MI2)) ||
718 (TII->isSMRD(MI1) && TII->isSMRD(MI2)) ||
719 (TII->isDS(MI1) && TII->isDS(MI2))) {
720 SU.addPredBarrier(SUa);
721
722 for (const SDep &SI : SU.Preds) {
723 if (SI.getSUnit() != SUa)
724 SUa->addPred(SDep(SI.getSUnit(), SDep::Artificial));
725 }
726
727 if (&SU != &DAG->ExitSU) {
728 for (const SDep &SI : SUa->Succs) {
729 if (SI.getSUnit() != &SU)
730 SI.getSUnit()->addPred(SDep(&SU, SDep::Artificial));
731 }
732 }
733 }
734
735 SUa = &SU;
736 }
737 }
738};
Benjamin Kramerf9ab3dd2017-10-31 23:21:30 +0000739} // namespace
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000740
Tom Stellard5bfbae52018-07-11 20:59:01 +0000741void GCNSubtarget::getPostRAMutations(
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000742 std::vector<std::unique_ptr<ScheduleDAGMutation>> &Mutations) const {
743 Mutations.push_back(llvm::make_unique<MemOpClusterMutation>(&InstrInfo));
744}
Tom Stellardc5a154d2018-06-28 23:47:12 +0000745
Tom Stellard5bfbae52018-07-11 20:59:01 +0000746const AMDGPUSubtarget &AMDGPUSubtarget::get(const MachineFunction &MF) {
Tom Stellardc5a154d2018-06-28 23:47:12 +0000747 if (MF.getTarget().getTargetTriple().getArch() == Triple::amdgcn)
Tom Stellard5bfbae52018-07-11 20:59:01 +0000748 return static_cast<const AMDGPUSubtarget&>(MF.getSubtarget<GCNSubtarget>());
Tom Stellardc5a154d2018-06-28 23:47:12 +0000749 else
Tom Stellard5bfbae52018-07-11 20:59:01 +0000750 return static_cast<const AMDGPUSubtarget&>(MF.getSubtarget<R600Subtarget>());
Tom Stellardc5a154d2018-06-28 23:47:12 +0000751}
752
Tom Stellard5bfbae52018-07-11 20:59:01 +0000753const AMDGPUSubtarget &AMDGPUSubtarget::get(const TargetMachine &TM, const Function &F) {
Tom Stellardc5a154d2018-06-28 23:47:12 +0000754 if (TM.getTargetTriple().getArch() == Triple::amdgcn)
Tom Stellard5bfbae52018-07-11 20:59:01 +0000755 return static_cast<const AMDGPUSubtarget&>(TM.getSubtarget<GCNSubtarget>(F));
Tom Stellardc5a154d2018-06-28 23:47:12 +0000756 else
Tom Stellard5bfbae52018-07-11 20:59:01 +0000757 return static_cast<const AMDGPUSubtarget&>(TM.getSubtarget<R600Subtarget>(F));
Tom Stellardc5a154d2018-06-28 23:47:12 +0000758}