blob: f9a9679ac68c5641536f0528faa1754f30ce61c4 [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
Stanislav Mekhanoshinb83e2832019-07-11 21:25:00 +000043static cl::opt<bool> DisablePowerSched(
44 "amdgpu-disable-power-sched",
45 cl::desc("Disable scheduling to minimize mAI power bursts"),
46 cl::init(false));
47
Tom Stellard5bfbae52018-07-11 20:59:01 +000048GCNSubtarget::~GCNSubtarget() = default;
Matt Arsenault43e92fe2016-06-24 06:30:11 +000049
Tom Stellardc5a154d2018-06-28 23:47:12 +000050R600Subtarget &
51R600Subtarget::initializeSubtargetDependencies(const Triple &TT,
52 StringRef GPU, StringRef FS) {
Matt Arsenault055e4dc2019-03-29 19:14:54 +000053 SmallString<256> FullFS("+promote-alloca,");
Tom Stellardc5a154d2018-06-28 23:47:12 +000054 FullFS += FS;
55 ParseSubtargetFeatures(GPU, FullFS);
56
57 // FIXME: I don't think think Evergreen has any useful support for
58 // denormals, but should be checked. Should we issue a warning somewhere
59 // if someone tries to enable these?
Tom Stellard5bfbae52018-07-11 20:59:01 +000060 if (getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) {
Tom Stellardc5a154d2018-06-28 23:47:12 +000061 FP32Denormals = false;
62 }
63
64 HasMulU24 = getGeneration() >= EVERGREEN;
65 HasMulI24 = hasCaymanISA();
66
67 return *this;
68}
69
Tom Stellard5bfbae52018-07-11 20:59:01 +000070GCNSubtarget &
71GCNSubtarget::initializeSubtargetDependencies(const Triple &TT,
Matt Arsenaultf426ddb2019-04-03 01:58:57 +000072 StringRef GPU, StringRef FS) {
Eric Christopherac4b69e2014-07-25 22:22:39 +000073 // Determine default and user-specified characteristics
Matt Arsenaultf171cf22014-07-14 23:40:49 +000074 // On SI+, we want FP64 denormals to be on by default. FP32 denormals can be
75 // enabled, but some instructions do not respect them and they run at the
76 // double precision rate, so don't enable by default.
77 //
78 // We want to be able to turn these off, but making this a subtarget feature
79 // for SI has the unhelpful behavior that it unsets everything else if you
80 // disable it.
David Stuttardf77079f2019-01-14 11:55:24 +000081 //
82 // Similarly we want enable-prt-strict-null to be on by default and not to
83 // unset everything else if it is disabled
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +000084
Matt Arsenaultf426ddb2019-04-03 01:58:57 +000085 // Assuming ECC is enabled is the conservative default.
Matt Arsenaultdf24c922019-05-16 14:48:34 +000086 SmallString<256> FullFS("+promote-alloca,+load-store-opt,+sram-ecc,+xnack,");
Jan Veselyd1c9b612017-12-04 22:57:29 +000087
Changpeng Fangb41574a2015-12-22 20:55:23 +000088 if (isAmdHsaOS()) // Turn on FlatForGlobal for HSA.
Matt Arsenaulte0c1f9e2019-03-17 21:31:35 +000089 FullFS += "+flat-for-global,+unaligned-buffer-access,+trap-handler,";
Matt Arsenaulta6867fd2017-01-23 22:31:03 +000090
Jan Veselyd1c9b612017-12-04 22:57:29 +000091 // FIXME: I don't think think Evergreen has any useful support for
92 // denormals, but should be checked. Should we issue a warning somewhere
93 // if someone tries to enable these?
94 if (getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS) {
95 FullFS += "+fp64-fp16-denormals,";
96 } else {
97 FullFS += "-fp32-denormals,";
98 }
99
David Stuttardf77079f2019-01-14 11:55:24 +0000100 FullFS += "+enable-prt-strict-null,"; // This is overridden by a disable in FS
101
Stanislav Mekhanoshin8bcc9bb2019-06-13 19:18:29 +0000102 // Disable mutually exclusive bits.
103 if (FS.find_lower("+wavefrontsize") != StringRef::npos) {
104 if (FS.find_lower("wavefrontsize16") == StringRef::npos)
105 FullFS += "-wavefrontsize16,";
106 if (FS.find_lower("wavefrontsize32") == StringRef::npos)
107 FullFS += "-wavefrontsize32,";
108 if (FS.find_lower("wavefrontsize64") == StringRef::npos)
109 FullFS += "-wavefrontsize64,";
110 }
111
Matt Arsenaultd9a23ab2014-07-13 02:08:26 +0000112 FullFS += FS;
113
114 ParseSubtargetFeatures(GPU, FullFS);
Tom Stellard2e59a452014-06-13 01:32:00 +0000115
Jan Veselyd1c9b612017-12-04 22:57:29 +0000116 // We don't support FP64 for EG/NI atm.
117 assert(!hasFP64() || (getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS));
118
Matt Arsenaultd8f7ea32017-01-27 17:42:26 +0000119 // Unless +-flat-for-global is specified, turn on FlatForGlobal for all OS-es
120 // on VI and newer hardware to avoid assertion failures due to missing ADDR64
121 // variants of MUBUF instructions.
122 if (!hasAddr64() && !FS.contains("flat-for-global")) {
123 FlatForGlobal = true;
124 }
125
Matt Arsenault24ee0782016-02-12 02:40:47 +0000126 // Set defaults if needed.
127 if (MaxPrivateElementSize == 0)
Matt Arsenaulte8ed8e52016-05-11 00:28:54 +0000128 MaxPrivateElementSize = 4;
Matt Arsenault24ee0782016-02-12 02:40:47 +0000129
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000130 if (LDSBankCount == 0)
131 LDSBankCount = 32;
132
133 if (TT.getArch() == Triple::amdgcn) {
134 if (LocalMemorySize == 0)
135 LocalMemorySize = 32768;
136
137 // Do something sensible for unspecified target.
138 if (!HasMovrel && !HasVGPRIndexMode)
139 HasMovrel = true;
140 }
141
Matt Arsenaultd7047272019-02-08 19:18:01 +0000142 // Don't crash on invalid devices.
143 if (WavefrontSize == 0)
144 WavefrontSize = 64;
145
Tom Stellardc5a154d2018-06-28 23:47:12 +0000146 HasFminFmaxLegacy = getGeneration() < AMDGPUSubtarget::VOLCANIC_ISLANDS;
147
Matt Arsenaultdf24c922019-05-16 14:48:34 +0000148 if (DoesNotSupportXNACK && EnableXNACK) {
149 ToggleFeature(AMDGPU::FeatureXNACK);
150 EnableXNACK = false;
151 }
152
Matt Arsenaultf426ddb2019-04-03 01:58:57 +0000153 // ECC is on by default, but turn it off if the hardware doesn't support it
154 // anyway. This matters for the gfx9 targets with d16 loads, but don't support
155 // ECC.
156 if (DoesNotSupportSRAMECC && EnableSRAMECC) {
157 ToggleFeature(AMDGPU::FeatureSRAMECC);
158 EnableSRAMECC = false;
159 }
160
Eric Christopherac4b69e2014-07-25 22:22:39 +0000161 return *this;
162}
163
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000164AMDGPUSubtarget::AMDGPUSubtarget(const Triple &TT) :
Tom Stellardc5a154d2018-06-28 23:47:12 +0000165 TargetTriple(TT),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000166 Has16BitInsts(false),
167 HasMadMixInsts(false),
168 FP32Denormals(false),
169 FPExceptions(false),
170 HasSDWA(false),
171 HasVOP3PInsts(false),
172 HasMulI24(true),
173 HasMulU24(true),
Matt Arsenault6c7ba822018-08-15 21:03:55 +0000174 HasInv2PiInlineImm(false),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000175 HasFminFmaxLegacy(true),
176 EnablePromoteAlloca(false),
David Stuttard20de3e92018-09-14 10:27:19 +0000177 HasTrigReducedRange(false),
Stanislav Mekhanoshin2594fa82019-07-31 01:07:10 +0000178 MaxWavesPerEU(10),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000179 LocalMemorySize(0),
180 WavefrontSize(0)
181 { }
182
Tom Stellard5bfbae52018-07-11 20:59:01 +0000183GCNSubtarget::GCNSubtarget(const Triple &TT, StringRef GPU, StringRef FS,
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000184 const GCNTargetMachine &TM) :
Tom Stellardc5a154d2018-06-28 23:47:12 +0000185 AMDGPUGenSubtargetInfo(TT, GPU, FS),
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000186 AMDGPUSubtarget(TT),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000187 TargetTriple(TT),
Matt Arsenaulte0c1f9e2019-03-17 21:31:35 +0000188 Gen(TT.getOS() == Triple::AMDHSA ? SEA_ISLANDS : SOUTHERN_ISLANDS),
Stanislav Mekhanoshin06d3b412018-09-17 16:04:32 +0000189 InstrItins(getInstrItineraryForCPU(GPU)),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000190 LDSBankCount(0),
191 MaxPrivateElementSize(0),
Tom Stellard40ce8af2015-01-28 16:04:26 +0000192
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000193 FastFMAF32(false),
194 HalfRate64Ops(false),
195
Matt Arsenaulta6867fd2017-01-23 22:31:03 +0000196 FP64FP16Denormals(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000197 FlatForGlobal(false),
Konstantin Zhuravlyovbe6c0ca2017-06-02 17:40:26 +0000198 AutoWaitcntBeforeBarrier(false),
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000199 CodeObjectV3(false),
Tom Stellard64a9d082016-10-14 18:10:39 +0000200 UnalignedScratchAccess(false),
Matt Arsenault7f681ac2016-07-01 23:03:44 +0000201 UnalignedBufferAccess(false),
202
Matt Arsenaulte823d922017-02-18 18:29:53 +0000203 HasApertureRegs(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000204 EnableXNACK(false),
Matt Arsenaultdf24c922019-05-16 14:48:34 +0000205 DoesNotSupportXNACK(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000206 EnableCuMode(false),
Wei Ding205bfdb2017-02-10 02:15:29 +0000207 TrapHandler(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000208
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000209 EnableLoadStoreOpt(false),
210 EnableUnsafeDSOffsetFolding(false),
211 EnableSIScheduler(false),
Marek Olsaka9a58fa2018-04-10 22:48:23 +0000212 EnableDS128(false),
David Stuttardf77079f2019-01-14 11:55:24 +0000213 EnablePRTStrictNull(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000214 DumpCode(false),
215
216 FP64(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000217 GCN3Encoding(false),
218 CIInsts(false),
Stanislav Mekhanoshin7895c032019-04-05 18:24:34 +0000219 GFX8Insts(false),
Matt Arsenault2021f082017-02-18 19:12:26 +0000220 GFX9Insts(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000221 GFX10Insts(false),
Stanislav Mekhanoshin7895c032019-04-05 18:24:34 +0000222 GFX7GFX8GFX9Insts(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000223 SGPRInitBug(false),
224 HasSMemRealTime(false),
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000225 HasIntClamp(false),
Matt Arsenault0084adc2018-04-30 19:08:16 +0000226 HasFmaMixInsts(false),
Matt Arsenaultcc88ce32016-10-12 18:00:51 +0000227 HasMovrel(false),
228 HasVGPRIndexMode(false),
Matt Arsenaultc88ba362016-10-29 04:05:06 +0000229 HasScalarStores(false),
Dmitry Preobrazhensky6bad04e2018-04-02 16:10:25 +0000230 HasScalarAtomics(false),
Sam Kolton3c4933f2017-06-22 06:26:41 +0000231 HasSDWAOmod(false),
232 HasSDWAScalar(false),
233 HasSDWASdst(false),
234 HasSDWAMac(false),
Sam Koltona179d252017-06-27 15:02:23 +0000235 HasSDWAOutModsVOPC(false),
Sam Kolton07dbde22017-01-20 10:01:25 +0000236 HasDPP(false),
Stanislav Mekhanoshin245b5ba2019-06-12 18:02:41 +0000237 HasDPP8(false),
Ryan Taylor1f334d02018-08-28 15:07:30 +0000238 HasR128A16(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000239 HasNSAEncoding(false),
Matt Arsenault0084adc2018-04-30 19:08:16 +0000240 HasDLInsts(false),
Stanislav Mekhanoshin0e858b02019-02-09 00:34:21 +0000241 HasDot1Insts(false),
242 HasDot2Insts(false),
Stanislav Mekhanoshin22b2c3d2019-07-09 18:10:06 +0000243 HasDot3Insts(false),
244 HasDot4Insts(false),
Stanislav Mekhanoshinc43e67b2019-06-14 00:33:31 +0000245 HasDot5Insts(false),
246 HasDot6Insts(false),
Stanislav Mekhanoshin22b2c3d2019-07-09 18:10:06 +0000247 HasMAIInsts(false),
248 HasPkFmacF16Inst(false),
249 HasAtomicFaddInsts(false),
Konstantin Zhuravlyov108927b2018-11-05 22:44:19 +0000250 EnableSRAMECC(false),
Matt Arsenaultf426ddb2019-04-03 01:58:57 +0000251 DoesNotSupportSRAMECC(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000252 HasNoSdstCMPX(false),
253 HasVscnt(false),
254 HasRegisterBanking(false),
255 HasVOP3Literal(false),
256 HasNoDataDepHazard(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000257 FlatAddressSpace(false),
Matt Arsenaultacdc7652017-05-10 21:19:05 +0000258 FlatInstOffsets(false),
259 FlatGlobalInsts(false),
260 FlatScratchInsts(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000261 ScalarFlatScratchInsts(false),
Matt Arsenaultc37fe662017-07-20 17:42:47 +0000262 AddNoCarryInsts(false),
Changpeng Fang44dfa1d2018-01-12 21:12:19 +0000263 HasUnpackedD16VMem(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000264 LDSMisalignedBug(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000265
Alexander Timofeev18009562016-12-08 17:28:47 +0000266 ScalarizeGlobal(false),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000267
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000268 HasVcmpxPermlaneHazard(false),
269 HasVMEMtoScalarWriteHazard(false),
270 HasSMEMtoVectorWriteHazard(false),
271 HasInstFwdPrefetchBug(false),
272 HasVcmpxExecWARHazard(false),
273 HasLdsBranchVmemWARHazard(false),
274 HasNSAtoVMEMBug(false),
Ryan Taylor9ab812d2019-06-26 17:34:57 +0000275 HasOffset3fBug(false),
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000276 HasFlatSegmentOffsetBug(false),
277
Tom Stellard5bfbae52018-07-11 20:59:01 +0000278 FeatureDisable(false),
Tom Stellard752ddbd2018-07-11 22:15:15 +0000279 InstrInfo(initializeSubtargetDependencies(TT, GPU, FS)),
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000280 TLInfo(TM, *this),
Tom Stellard5bfbae52018-07-11 20:59:01 +0000281 FrameLowering(TargetFrameLowering::StackGrowsUp, getStackAlignment(), 0) {
Stanislav Mekhanoshin2594fa82019-07-31 01:07:10 +0000282 MaxWavesPerEU = AMDGPU::IsaInfo::getMaxWavesPerEU(this);
Tom Stellard5bfbae52018-07-11 20:59:01 +0000283 CallLoweringInfo.reset(new AMDGPUCallLowering(*getTargetLowering()));
284 Legalizer.reset(new AMDGPULegalizerInfo(*this, TM));
285 RegBankInfo.reset(new AMDGPURegisterBankInfo(*getRegisterInfo()));
286 InstSelector.reset(new AMDGPUInstructionSelector(
287 *this, *static_cast<AMDGPURegisterBankInfo *>(RegBankInfo.get()), TM));
Tom Stellarda40f9712014-01-22 21:55:43 +0000288}
Tom Stellardb8fd6ef2014-12-02 22:00:07 +0000289
Stanislav Mekhanoshinf2baae02019-05-02 03:47:23 +0000290unsigned GCNSubtarget::getConstantBusLimit(unsigned Opcode) const {
291 if (getGeneration() < GFX10)
292 return 1;
293
294 switch (Opcode) {
295 case AMDGPU::V_LSHLREV_B64:
296 case AMDGPU::V_LSHLREV_B64_gfx10:
297 case AMDGPU::V_LSHL_B64:
298 case AMDGPU::V_LSHRREV_B64:
299 case AMDGPU::V_LSHRREV_B64_gfx10:
300 case AMDGPU::V_LSHR_B64:
301 case AMDGPU::V_ASHRREV_I64:
302 case AMDGPU::V_ASHRREV_I64_gfx10:
303 case AMDGPU::V_ASHR_I64:
304 return 1;
305 }
306
307 return 2;
308}
309
Tom Stellard5bfbae52018-07-11 20:59:01 +0000310unsigned AMDGPUSubtarget::getMaxLocalMemSizeWithWaveCount(unsigned NWaves,
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000311 const Function &F) const {
312 if (NWaves == 1)
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000313 return getLocalMemorySize();
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000314 unsigned WorkGroupSize = getFlatWorkGroupSizes(F).second;
315 unsigned WorkGroupsPerCu = getMaxWorkGroupsPerCU(WorkGroupSize);
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000316 if (!WorkGroupsPerCu)
317 return 0;
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000318 unsigned MaxWaves = getMaxWavesPerEU();
319 return getLocalMemorySize() * MaxWaves / WorkGroupsPerCu / NWaves;
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000320}
321
Tom Stellard5bfbae52018-07-11 20:59:01 +0000322unsigned AMDGPUSubtarget::getOccupancyWithLocalMemSize(uint32_t Bytes,
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000323 const Function &F) const {
324 unsigned WorkGroupSize = getFlatWorkGroupSizes(F).second;
325 unsigned WorkGroupsPerCu = getMaxWorkGroupsPerCU(WorkGroupSize);
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000326 if (!WorkGroupsPerCu)
327 return 0;
Stanislav Mekhanoshin2b913b12017-02-01 22:59:50 +0000328 unsigned MaxWaves = getMaxWavesPerEU();
329 unsigned Limit = getLocalMemorySize() * MaxWaves / WorkGroupsPerCu;
330 unsigned NumWaves = Limit / (Bytes ? Bytes : 1u);
331 NumWaves = std::min(NumWaves, MaxWaves);
332 NumWaves = std::max(NumWaves, 1u);
333 return NumWaves;
Matt Arsenault8a028bf2016-05-16 21:19:59 +0000334}
335
Tom Stellard44b30b42018-05-22 02:03:23 +0000336unsigned
Tom Stellard5bfbae52018-07-11 20:59:01 +0000337AMDGPUSubtarget::getOccupancyWithLocalMemSize(const MachineFunction &MF) const {
Tom Stellard44b30b42018-05-22 02:03:23 +0000338 const auto *MFI = MF.getInfo<SIMachineFunctionInfo>();
339 return getOccupancyWithLocalMemSize(MFI->getLDSSize(), MF.getFunction());
340}
341
Matt Arsenaultb7918022017-10-23 17:09:35 +0000342std::pair<unsigned, unsigned>
Tom Stellard5bfbae52018-07-11 20:59:01 +0000343AMDGPUSubtarget::getDefaultFlatWorkGroupSize(CallingConv::ID CC) const {
Matt Arsenaultb7918022017-10-23 17:09:35 +0000344 switch (CC) {
345 case CallingConv::AMDGPU_CS:
346 case CallingConv::AMDGPU_KERNEL:
347 case CallingConv::SPIR_KERNEL:
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000348 return std::make_pair(getWavefrontSize() * 2,
349 std::max(getWavefrontSize() * 4, 256u));
Matt Arsenaultb7918022017-10-23 17:09:35 +0000350 case CallingConv::AMDGPU_VS:
351 case CallingConv::AMDGPU_LS:
352 case CallingConv::AMDGPU_HS:
353 case CallingConv::AMDGPU_ES:
354 case CallingConv::AMDGPU_GS:
355 case CallingConv::AMDGPU_PS:
356 return std::make_pair(1, getWavefrontSize());
357 default:
358 return std::make_pair(1, 16 * getWavefrontSize());
359 }
360}
361
Tom Stellard5bfbae52018-07-11 20:59:01 +0000362std::pair<unsigned, unsigned> AMDGPUSubtarget::getFlatWorkGroupSizes(
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000363 const Function &F) const {
Matt Arsenaultb7918022017-10-23 17:09:35 +0000364 // FIXME: 1024 if function.
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000365 // Default minimum/maximum flat work group sizes.
366 std::pair<unsigned, unsigned> Default =
Matt Arsenaultb7918022017-10-23 17:09:35 +0000367 getDefaultFlatWorkGroupSize(F.getCallingConv());
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000368
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000369 // Requested minimum/maximum flat work group sizes.
370 std::pair<unsigned, unsigned> Requested = AMDGPU::getIntegerPairAttribute(
371 F, "amdgpu-flat-work-group-size", Default);
372
373 // Make sure requested minimum is less than requested maximum.
374 if (Requested.first > Requested.second)
375 return Default;
376
377 // Make sure requested values do not violate subtarget's specifications.
378 if (Requested.first < getMinFlatWorkGroupSize())
379 return Default;
380 if (Requested.second > getMaxFlatWorkGroupSize())
381 return Default;
382
383 return Requested;
384}
385
Tom Stellard5bfbae52018-07-11 20:59:01 +0000386std::pair<unsigned, unsigned> AMDGPUSubtarget::getWavesPerEU(
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000387 const Function &F) const {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000388 // Default minimum/maximum number of waves per execution unit.
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000389 std::pair<unsigned, unsigned> Default(1, getMaxWavesPerEU());
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000390
391 // Default/requested minimum/maximum flat work group sizes.
392 std::pair<unsigned, unsigned> FlatWorkGroupSizes = getFlatWorkGroupSizes(F);
393
394 // If minimum/maximum flat work group sizes were explicitly requested using
395 // "amdgpu-flat-work-group-size" attribute, then set default minimum/maximum
396 // number of waves per execution unit to values implied by requested
397 // minimum/maximum flat work group sizes.
398 unsigned MinImpliedByFlatWorkGroupSize =
399 getMaxWavesPerEU(FlatWorkGroupSizes.second);
400 bool RequestedFlatWorkGroupSize = false;
401
Matt Arsenault4fb580c2019-06-05 20:32:32 +0000402 if (F.hasFnAttribute("amdgpu-flat-work-group-size")) {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000403 Default.first = MinImpliedByFlatWorkGroupSize;
404 RequestedFlatWorkGroupSize = true;
405 }
406
407 // Requested minimum/maximum number of waves per execution unit.
408 std::pair<unsigned, unsigned> Requested = AMDGPU::getIntegerPairAttribute(
409 F, "amdgpu-waves-per-eu", Default, true);
410
411 // Make sure requested minimum is less than requested maximum.
412 if (Requested.second && Requested.first > Requested.second)
413 return Default;
414
415 // Make sure requested values do not violate subtarget's specifications.
416 if (Requested.first < getMinWavesPerEU() ||
417 Requested.first > getMaxWavesPerEU())
418 return Default;
419 if (Requested.second > getMaxWavesPerEU())
420 return Default;
421
422 // Make sure requested values are compatible with values implied by requested
423 // minimum/maximum flat work group sizes.
424 if (RequestedFlatWorkGroupSize &&
Konstantin Zhuravlyov2ec725c2017-07-16 19:38:47 +0000425 Requested.first < MinImpliedByFlatWorkGroupSize)
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000426 return Default;
427
428 return Requested;
429}
430
Tom Stellard5bfbae52018-07-11 20:59:01 +0000431bool AMDGPUSubtarget::makeLIDRangeMetadata(Instruction *I) const {
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000432 Function *Kernel = I->getParent()->getParent();
433 unsigned MinSize = 0;
434 unsigned MaxSize = getFlatWorkGroupSizes(*Kernel).second;
435 bool IdQuery = false;
436
437 // If reqd_work_group_size is present it narrows value down.
438 if (auto *CI = dyn_cast<CallInst>(I)) {
439 const Function *F = CI->getCalledFunction();
440 if (F) {
441 unsigned Dim = UINT_MAX;
442 switch (F->getIntrinsicID()) {
443 case Intrinsic::amdgcn_workitem_id_x:
444 case Intrinsic::r600_read_tidig_x:
445 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000446 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000447 case Intrinsic::r600_read_local_size_x:
448 Dim = 0;
449 break;
450 case Intrinsic::amdgcn_workitem_id_y:
451 case Intrinsic::r600_read_tidig_y:
452 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000453 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000454 case Intrinsic::r600_read_local_size_y:
455 Dim = 1;
456 break;
457 case Intrinsic::amdgcn_workitem_id_z:
458 case Intrinsic::r600_read_tidig_z:
459 IdQuery = true;
Simon Pilgrim0f5b3502017-07-07 10:18:57 +0000460 LLVM_FALLTHROUGH;
Stanislav Mekhanoshinc90347d2017-04-12 20:48:56 +0000461 case Intrinsic::r600_read_local_size_z:
462 Dim = 2;
463 break;
464 default:
465 break;
466 }
467 if (Dim <= 3) {
468 if (auto Node = Kernel->getMetadata("reqd_work_group_size"))
469 if (Node->getNumOperands() == 3)
470 MinSize = MaxSize = mdconst::extract<ConstantInt>(
471 Node->getOperand(Dim))->getZExtValue();
472 }
473 }
474 }
475
476 if (!MaxSize)
477 return false;
478
479 // Range metadata is [Lo, Hi). For ID query we need to pass max size
480 // as Hi. For size query we need to pass Hi + 1.
481 if (IdQuery)
482 MinSize = 0;
483 else
484 ++MaxSize;
485
486 MDBuilder MDB(I->getContext());
487 MDNode *MaxWorkGroupSizeRange = MDB.createRange(APInt(32, MinSize),
488 APInt(32, MaxSize));
489 I->setMetadata(LLVMContext::MD_range, MaxWorkGroupSizeRange);
490 return true;
491}
492
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000493uint64_t AMDGPUSubtarget::getExplicitKernArgSize(const Function &F,
494 unsigned &MaxAlign) const {
495 assert(F.getCallingConv() == CallingConv::AMDGPU_KERNEL ||
496 F.getCallingConv() == CallingConv::SPIR_KERNEL);
497
498 const DataLayout &DL = F.getParent()->getDataLayout();
499 uint64_t ExplicitArgBytes = 0;
500 MaxAlign = 1;
501
502 for (const Argument &Arg : F.args()) {
503 Type *ArgTy = Arg.getType();
504
505 unsigned Align = DL.getABITypeAlignment(ArgTy);
506 uint64_t AllocSize = DL.getTypeAllocSize(ArgTy);
507 ExplicitArgBytes = alignTo(ExplicitArgBytes, Align) + AllocSize;
508 MaxAlign = std::max(MaxAlign, Align);
509 }
510
511 return ExplicitArgBytes;
512}
513
514unsigned AMDGPUSubtarget::getKernArgSegmentSize(const Function &F,
515 unsigned &MaxAlign) const {
516 uint64_t ExplicitArgBytes = getExplicitKernArgSize(F, MaxAlign);
517
518 unsigned ExplicitOffset = getExplicitKernelArgOffset(F);
519
520 uint64_t TotalSize = ExplicitOffset + ExplicitArgBytes;
521 unsigned ImplicitBytes = getImplicitArgNumBytes(F);
522 if (ImplicitBytes != 0) {
523 unsigned Alignment = getAlignmentForImplicitArgPtr();
524 TotalSize = alignTo(ExplicitArgBytes, Alignment) + ImplicitBytes;
525 }
526
527 // Being able to dereference past the end is useful for emitting scalar loads.
528 return alignTo(TotalSize, 4);
529}
530
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000531R600Subtarget::R600Subtarget(const Triple &TT, StringRef GPU, StringRef FS,
532 const TargetMachine &TM) :
Tom Stellardc5a154d2018-06-28 23:47:12 +0000533 R600GenSubtargetInfo(TT, GPU, FS),
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000534 AMDGPUSubtarget(TT),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000535 InstrInfo(*this),
536 FrameLowering(TargetFrameLowering::StackGrowsUp, getStackAlignment(), 0),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000537 FMA(false),
538 CaymanISA(false),
539 CFALUBug(false),
Tom Stellardc5a154d2018-06-28 23:47:12 +0000540 HasVertexCache(false),
541 R600ALUInst(false),
542 FP64(false),
543 TexVTXClauseSize(0),
544 Gen(R600),
545 TLInfo(TM, initializeSubtargetDependencies(TT, GPU, FS)),
Matt Arsenault0da63502018-08-31 05:49:54 +0000546 InstrItins(getInstrItineraryForCPU(GPU)) { }
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000547
Tom Stellard5bfbae52018-07-11 20:59:01 +0000548void GCNSubtarget::overrideSchedPolicy(MachineSchedPolicy &Policy,
Matt Arsenault55dff272016-06-28 00:11:26 +0000549 unsigned NumRegionInstrs) const {
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000550 // Track register pressure so the scheduler can try to decrease
551 // pressure once register usage is above the threshold defined by
552 // SIRegisterInfo::getRegPressureSetLimit()
553 Policy.ShouldTrackPressure = true;
Tom Stellard83f0bce2015-01-29 16:55:25 +0000554
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000555 // Enabling both top down and bottom up scheduling seems to give us less
556 // register spills than just using one of these approaches on its own.
557 Policy.OnlyTopDown = false;
558 Policy.OnlyBottomUp = false;
Tom Stellard83f0bce2015-01-29 16:55:25 +0000559
Alexander Timofeev9f61fea2017-02-14 14:29:05 +0000560 // Enabling ShouldTrackLaneMasks crashes the SI Machine Scheduler.
561 if (!enableSIScheduler())
562 Policy.ShouldTrackLaneMasks = true;
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000563}
Tom Stellard0bc954e2016-03-30 16:35:09 +0000564
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000565bool GCNSubtarget::hasMadF16() const {
566 return InstrInfo.pseudoToMCOpcode(AMDGPU::V_MAD_F16) != -1;
567}
568
Tom Stellard5bfbae52018-07-11 20:59:01 +0000569unsigned GCNSubtarget::getOccupancyWithNumSGPRs(unsigned SGPRs) const {
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000570 if (getGeneration() >= AMDGPUSubtarget::GFX10)
Stanislav Mekhanoshin2594fa82019-07-31 01:07:10 +0000571 return getMaxWavesPerEU();
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000572
Tom Stellard5bfbae52018-07-11 20:59:01 +0000573 if (getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS) {
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000574 if (SGPRs <= 80)
575 return 10;
576 if (SGPRs <= 88)
577 return 9;
578 if (SGPRs <= 100)
579 return 8;
580 return 7;
581 }
582 if (SGPRs <= 48)
583 return 10;
584 if (SGPRs <= 56)
585 return 9;
586 if (SGPRs <= 64)
587 return 8;
588 if (SGPRs <= 72)
589 return 7;
590 if (SGPRs <= 80)
591 return 6;
592 return 5;
593}
594
Tom Stellard5bfbae52018-07-11 20:59:01 +0000595unsigned GCNSubtarget::getOccupancyWithNumVGPRs(unsigned VGPRs) const {
Stanislav Mekhanoshin7b5a54e2019-07-19 21:29:51 +0000596 unsigned MaxWaves = getMaxWavesPerEU();
597 unsigned Granule = getVGPRAllocGranule();
598 if (VGPRs < Granule)
599 return MaxWaves;
600 unsigned RoundedRegs = ((VGPRs + Granule - 1) / Granule) * Granule;
601 return std::min(getTotalNumVGPRs() / RoundedRegs, MaxWaves);
Tom Stellard0d23ebe2016-08-29 19:42:52 +0000602}
Matt Arsenault4eae3012016-10-28 20:31:47 +0000603
Tom Stellard5bfbae52018-07-11 20:59:01 +0000604unsigned GCNSubtarget::getReservedNumSGPRs(const MachineFunction &MF) const {
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000605 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000606 if (getGeneration() >= AMDGPUSubtarget::GFX10)
607 return 2; // VCC. FLAT_SCRATCH and XNACK are no longer in SGPRs.
608
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000609 if (MFI.hasFlatScratchInit()) {
610 if (getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS)
611 return 6; // FLAT_SCRATCH, XNACK, VCC (in that order).
612 if (getGeneration() == AMDGPUSubtarget::SEA_ISLANDS)
613 return 4; // FLAT_SCRATCH, VCC (in that order).
614 }
615
616 if (isXNACKEnabled())
617 return 4; // XNACK, VCC (in that order).
618 return 2; // VCC.
619}
620
Stanislav Mekhanoshin2594fa82019-07-31 01:07:10 +0000621unsigned GCNSubtarget::computeOccupancy(const MachineFunction &MF,
622 unsigned LDSSize,
623 unsigned NumSGPRs,
624 unsigned NumVGPRs) const {
625 unsigned Occupancy =
626 std::min(getMaxWavesPerEU(),
627 getOccupancyWithLocalMemSize(LDSSize, MF.getFunction()));
628 if (NumSGPRs)
629 Occupancy = std::min(Occupancy, getOccupancyWithNumSGPRs(NumSGPRs));
630 if (NumVGPRs)
631 Occupancy = std::min(Occupancy, getOccupancyWithNumVGPRs(NumVGPRs));
632 return Occupancy;
633}
634
Tom Stellard5bfbae52018-07-11 20:59:01 +0000635unsigned GCNSubtarget::getMaxNumSGPRs(const MachineFunction &MF) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000636 const Function &F = MF.getFunction();
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000637 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
638
639 // Compute maximum number of SGPRs function can use using default/requested
640 // minimum number of waves per execution unit.
641 std::pair<unsigned, unsigned> WavesPerEU = MFI.getWavesPerEU();
642 unsigned MaxNumSGPRs = getMaxNumSGPRs(WavesPerEU.first, false);
643 unsigned MaxAddressableNumSGPRs = getMaxNumSGPRs(WavesPerEU.first, true);
644
645 // Check if maximum number of SGPRs was explicitly requested using
646 // "amdgpu-num-sgpr" attribute.
647 if (F.hasFnAttribute("amdgpu-num-sgpr")) {
648 unsigned Requested = AMDGPU::getIntegerAttribute(
649 F, "amdgpu-num-sgpr", MaxNumSGPRs);
650
651 // Make sure requested value does not violate subtarget's specifications.
652 if (Requested && (Requested <= getReservedNumSGPRs(MF)))
653 Requested = 0;
654
655 // If more SGPRs are required to support the input user/system SGPRs,
656 // increase to accommodate them.
657 //
658 // FIXME: This really ends up using the requested number of SGPRs + number
659 // of reserved special registers in total. Theoretically you could re-use
660 // the last input registers for these special registers, but this would
661 // require a lot of complexity to deal with the weird aliasing.
662 unsigned InputNumSGPRs = MFI.getNumPreloadedSGPRs();
663 if (Requested && Requested < InputNumSGPRs)
664 Requested = InputNumSGPRs;
665
666 // Make sure requested value is compatible with values implied by
667 // default/requested minimum/maximum number of waves per execution unit.
668 if (Requested && Requested > getMaxNumSGPRs(WavesPerEU.first, false))
669 Requested = 0;
670 if (WavesPerEU.second &&
671 Requested && Requested < getMinNumSGPRs(WavesPerEU.second))
672 Requested = 0;
673
674 if (Requested)
675 MaxNumSGPRs = Requested;
676 }
677
Matt Arsenault4eae3012016-10-28 20:31:47 +0000678 if (hasSGPRInitBug())
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000679 MaxNumSGPRs = AMDGPU::IsaInfo::FIXED_NUM_SGPRS_FOR_INIT_BUG;
Matt Arsenault4eae3012016-10-28 20:31:47 +0000680
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000681 return std::min(MaxNumSGPRs - getReservedNumSGPRs(MF),
682 MaxAddressableNumSGPRs);
683}
Matt Arsenault4eae3012016-10-28 20:31:47 +0000684
Tom Stellard5bfbae52018-07-11 20:59:01 +0000685unsigned GCNSubtarget::getMaxNumVGPRs(const MachineFunction &MF) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000686 const Function &F = MF.getFunction();
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000687 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
688
689 // Compute maximum number of VGPRs function can use using default/requested
690 // minimum number of waves per execution unit.
691 std::pair<unsigned, unsigned> WavesPerEU = MFI.getWavesPerEU();
692 unsigned MaxNumVGPRs = getMaxNumVGPRs(WavesPerEU.first);
693
694 // Check if maximum number of VGPRs was explicitly requested using
695 // "amdgpu-num-vgpr" attribute.
696 if (F.hasFnAttribute("amdgpu-num-vgpr")) {
697 unsigned Requested = AMDGPU::getIntegerAttribute(
698 F, "amdgpu-num-vgpr", MaxNumVGPRs);
699
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000700 // Make sure requested value is compatible with values implied by
701 // default/requested minimum/maximum number of waves per execution unit.
702 if (Requested && Requested > getMaxNumVGPRs(WavesPerEU.first))
703 Requested = 0;
704 if (WavesPerEU.second &&
705 Requested && Requested < getMinNumVGPRs(WavesPerEU.second))
706 Requested = 0;
707
708 if (Requested)
709 MaxNumVGPRs = Requested;
710 }
711
Konstantin Zhuravlyove004b3d2018-06-21 20:28:19 +0000712 return MaxNumVGPRs;
Matt Arsenault4eae3012016-10-28 20:31:47 +0000713}
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000714
Benjamin Kramerf9ab3dd2017-10-31 23:21:30 +0000715namespace {
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000716struct MemOpClusterMutation : ScheduleDAGMutation {
717 const SIInstrInfo *TII;
718
719 MemOpClusterMutation(const SIInstrInfo *tii) : TII(tii) {}
720
Clement Courbetb70355f2019-03-29 08:33:05 +0000721 void apply(ScheduleDAGInstrs *DAG) override {
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000722 SUnit *SUa = nullptr;
723 // Search for two consequent memory operations and link them
724 // to prevent scheduler from moving them apart.
725 // In DAG pre-process SUnits are in the original order of
726 // the instructions before scheduling.
727 for (SUnit &SU : DAG->SUnits) {
728 MachineInstr &MI2 = *SU.getInstr();
729 if (!MI2.mayLoad() && !MI2.mayStore()) {
730 SUa = nullptr;
731 continue;
732 }
733 if (!SUa) {
734 SUa = &SU;
735 continue;
736 }
737
738 MachineInstr &MI1 = *SUa->getInstr();
739 if ((TII->isVMEM(MI1) && TII->isVMEM(MI2)) ||
740 (TII->isFLAT(MI1) && TII->isFLAT(MI2)) ||
741 (TII->isSMRD(MI1) && TII->isSMRD(MI2)) ||
742 (TII->isDS(MI1) && TII->isDS(MI2))) {
743 SU.addPredBarrier(SUa);
744
745 for (const SDep &SI : SU.Preds) {
746 if (SI.getSUnit() != SUa)
747 SUa->addPred(SDep(SI.getSUnit(), SDep::Artificial));
748 }
749
750 if (&SU != &DAG->ExitSU) {
751 for (const SDep &SI : SUa->Succs) {
752 if (SI.getSUnit() != &SU)
753 SI.getSUnit()->addPred(SDep(&SU, SDep::Artificial));
754 }
755 }
756 }
757
758 SUa = &SU;
759 }
760 }
761};
Stanislav Mekhanoshinb83e2832019-07-11 21:25:00 +0000762
763struct FillMFMAShadowMutation : ScheduleDAGMutation {
764 const SIInstrInfo *TII;
765
766 ScheduleDAGMI *DAG;
767
768 FillMFMAShadowMutation(const SIInstrInfo *tii) : TII(tii) {}
769
770 bool isSALU(const SUnit *SU) const {
Stanislav Mekhanoshinfd08dcb2019-07-15 15:34:05 +0000771 const MachineInstr *MI = SU->getInstr();
772 return MI && TII->isSALU(*MI) && !MI->isTerminator();
Stanislav Mekhanoshinb83e2832019-07-11 21:25:00 +0000773 }
774
775 bool canAddEdge(const SUnit *Succ, const SUnit *Pred) const {
776 if (Pred->NodeNum < Succ->NodeNum)
777 return true;
778
779 SmallVector<const SUnit*, 64> Succs({Succ}), Preds({Pred});
780
781 for (unsigned I = 0; I < Succs.size(); ++I) {
782 for (const SDep &SI : Succs[I]->Succs) {
783 const SUnit *SU = SI.getSUnit();
784 if (SU != Succs[I] && llvm::find(Succs, SU) == Succs.end())
785 Succs.push_back(SU);
786 }
787 }
788
789 SmallPtrSet<const SUnit*, 32> Visited;
790 while (!Preds.empty()) {
791 const SUnit *SU = Preds.pop_back_val();
792 if (llvm::find(Succs, SU) != Succs.end())
793 return false;
794 Visited.insert(SU);
795 for (const SDep &SI : SU->Preds)
796 if (SI.getSUnit() != SU && !Visited.count(SI.getSUnit()))
797 Preds.push_back(SI.getSUnit());
798 }
799
800 return true;
801 }
802
803 // Link as much SALU intructions in chain as possible. Return the size
804 // of the chain. Links up to MaxChain instructions.
805 unsigned linkSALUChain(SUnit *From, SUnit *To, unsigned MaxChain,
806 SmallPtrSetImpl<SUnit *> &Visited) const {
807 SmallVector<SUnit *, 8> Worklist({To});
808 unsigned Linked = 0;
809
810 while (!Worklist.empty() && MaxChain-- > 0) {
811 SUnit *SU = Worklist.pop_back_val();
812 if (!Visited.insert(SU).second)
813 continue;
814
815 LLVM_DEBUG(dbgs() << "Inserting edge from\n" ; DAG->dumpNode(*From);
816 dbgs() << "to\n"; DAG->dumpNode(*SU); dbgs() << '\n');
817
818 if (SU->addPred(SDep(From, SDep::Artificial), false))
819 ++Linked;
820
821 for (SDep &SI : From->Succs) {
822 SUnit *SUv = SI.getSUnit();
823 if (SUv != From && TII->isVALU(*SUv->getInstr()) && canAddEdge(SUv, SU))
824 SUv->addPred(SDep(SU, SDep::Artificial), false);
825 }
826
827 for (SDep &SI : SU->Succs) {
828 SUnit *Succ = SI.getSUnit();
829 if (Succ != SU && isSALU(Succ) && canAddEdge(From, Succ))
830 Worklist.push_back(Succ);
831 }
832 }
833
834 return Linked;
835 }
836
837 void apply(ScheduleDAGInstrs *DAGInstrs) override {
838 const GCNSubtarget &ST = DAGInstrs->MF.getSubtarget<GCNSubtarget>();
839 if (!ST.hasMAIInsts() || DisablePowerSched)
840 return;
841 DAG = static_cast<ScheduleDAGMI*>(DAGInstrs);
842 const TargetSchedModel *TSchedModel = DAGInstrs->getSchedModel();
843 if (!TSchedModel || DAG->SUnits.empty())
844 return;
845
846 // Scan for MFMA long latency instructions and try to add a dependency
847 // of available SALU instructions to give them a chance to fill MFMA
848 // shadow. That is desirable to fill MFMA shadow with SALU instructions
849 // rather than VALU to prevent power consumption bursts and throttle.
850 auto LastSALU = DAG->SUnits.begin();
851 auto E = DAG->SUnits.end();
852 SmallPtrSet<SUnit*, 32> Visited;
853 for (SUnit &SU : DAG->SUnits) {
854 MachineInstr &MAI = *SU.getInstr();
855 if (!TII->isMAI(MAI) ||
856 MAI.getOpcode() == AMDGPU::V_ACCVGPR_WRITE_B32 ||
857 MAI.getOpcode() == AMDGPU::V_ACCVGPR_READ_B32)
858 continue;
859
860 unsigned Lat = TSchedModel->computeInstrLatency(&MAI) - 1;
861
862 LLVM_DEBUG(dbgs() << "Found MFMA: "; DAG->dumpNode(SU);
863 dbgs() << "Need " << Lat
864 << " instructions to cover latency.\n");
865
866 // Find up to Lat independent scalar instructions as early as
867 // possible such that they can be scheduled after this MFMA.
868 for ( ; Lat && LastSALU != E; ++LastSALU) {
869 if (Visited.count(&*LastSALU))
870 continue;
871
872 if (!isSALU(&*LastSALU) || !canAddEdge(&*LastSALU, &SU))
873 continue;
874
875 Lat -= linkSALUChain(&SU, &*LastSALU, Lat, Visited);
876 }
877 }
878 }
879};
Benjamin Kramerf9ab3dd2017-10-31 23:21:30 +0000880} // namespace
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000881
Tom Stellard5bfbae52018-07-11 20:59:01 +0000882void GCNSubtarget::getPostRAMutations(
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000883 std::vector<std::unique_ptr<ScheduleDAGMutation>> &Mutations) const {
884 Mutations.push_back(llvm::make_unique<MemOpClusterMutation>(&InstrInfo));
Stanislav Mekhanoshinb83e2832019-07-11 21:25:00 +0000885 Mutations.push_back(llvm::make_unique<FillMFMAShadowMutation>(&InstrInfo));
Stanislav Mekhanoshind4ae4702017-09-19 20:54:38 +0000886}
Tom Stellardc5a154d2018-06-28 23:47:12 +0000887
Tom Stellard5bfbae52018-07-11 20:59:01 +0000888const AMDGPUSubtarget &AMDGPUSubtarget::get(const MachineFunction &MF) {
Tom Stellardc5a154d2018-06-28 23:47:12 +0000889 if (MF.getTarget().getTargetTriple().getArch() == Triple::amdgcn)
Tom Stellard5bfbae52018-07-11 20:59:01 +0000890 return static_cast<const AMDGPUSubtarget&>(MF.getSubtarget<GCNSubtarget>());
Tom Stellardc5a154d2018-06-28 23:47:12 +0000891 else
Tom Stellard5bfbae52018-07-11 20:59:01 +0000892 return static_cast<const AMDGPUSubtarget&>(MF.getSubtarget<R600Subtarget>());
Tom Stellardc5a154d2018-06-28 23:47:12 +0000893}
894
Tom Stellard5bfbae52018-07-11 20:59:01 +0000895const AMDGPUSubtarget &AMDGPUSubtarget::get(const TargetMachine &TM, const Function &F) {
Tom Stellardc5a154d2018-06-28 23:47:12 +0000896 if (TM.getTargetTriple().getArch() == Triple::amdgcn)
Tom Stellard5bfbae52018-07-11 20:59:01 +0000897 return static_cast<const AMDGPUSubtarget&>(TM.getSubtarget<GCNSubtarget>(F));
Tom Stellardc5a154d2018-06-28 23:47:12 +0000898 else
Tom Stellard5bfbae52018-07-11 20:59:01 +0000899 return static_cast<const AMDGPUSubtarget&>(TM.getSubtarget<R600Subtarget>(F));
Tom Stellardc5a154d2018-06-28 23:47:12 +0000900}