blob: b9a84171f23502ad1f1f8e231d71cb462c3116e2 [file] [log] [blame]
Konstantin Zhuravlyov30f03b32018-06-27 05:36:03 +00001//===-- AMDGPUAsmPrinter.cpp - AMDGPU assembly printer -------------------===//
Tom Stellard45bb48e2015-06-13 03:28:10 +00002//
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 Stellard45bb48e2015-06-13 03:28:10 +00006//
7//===----------------------------------------------------------------------===//
8//
9/// \file
10///
11/// The AMDGPUAsmPrinter is used to print both assembly string and also binary
12/// code. When passed an MCAsmStreamer it prints assembly and when passed
13/// an MCObjectStreamer it outputs binary code.
14//
15//===----------------------------------------------------------------------===//
16//
17
18#include "AMDGPUAsmPrinter.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000019#include "AMDGPU.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000020#include "AMDGPUSubtarget.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000021#include "AMDGPUTargetMachine.h"
22#include "InstPrinter/AMDGPUInstPrinter.h"
Tom Stellard44b30b42018-05-22 02:03:23 +000023#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000024#include "MCTargetDesc/AMDGPUTargetStreamer.h"
Tom Stellardc5015012018-05-24 20:02:01 +000025#include "R600AsmPrinter.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000026#include "R600Defines.h"
27#include "R600MachineFunctionInfo.h"
28#include "R600RegisterInfo.h"
29#include "SIDefines.h"
Matt Arsenaulta9720c62016-06-20 17:51:32 +000030#include "SIInstrInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000031#include "SIMachineFunctionInfo.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000032#include "SIRegisterInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000033#include "Utils/AMDGPUBaseInfo.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000034#include "llvm/BinaryFormat/ELF.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000035#include "llvm/CodeGen/MachineFrameInfo.h"
Matt Arsenaultff982412016-06-20 18:13:04 +000036#include "llvm/IR/DiagnosticInfo.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000037#include "llvm/MC/MCContext.h"
38#include "llvm/MC/MCSectionELF.h"
39#include "llvm/MC/MCStreamer.h"
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +000040#include "llvm/Support/AMDGPUMetadata.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000041#include "llvm/Support/MathExtras.h"
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +000042#include "llvm/Support/TargetParser.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000043#include "llvm/Support/TargetRegistry.h"
David Blaikie6054e652018-03-23 23:58:19 +000044#include "llvm/Target/TargetLoweringObjectFile.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000045
46using namespace llvm;
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +000047using namespace llvm::AMDGPU;
Scott Linderf5b36e52018-12-12 19:39:27 +000048using namespace llvm::AMDGPU::HSAMD;
Tom Stellard45bb48e2015-06-13 03:28:10 +000049
50// TODO: This should get the default rounding mode from the kernel. We just set
51// the default here, but this could change if the OpenCL rounding mode pragmas
52// are used.
53//
54// The denormal mode here should match what is reported by the OpenCL runtime
55// for the CL_FP_DENORM bit from CL_DEVICE_{HALF|SINGLE|DOUBLE}_FP_CONFIG, but
56// can also be override to flush with the -cl-denorms-are-zero compiler flag.
57//
58// AMD OpenCL only sets flush none and reports CL_FP_DENORM for double
59// precision, and leaves single precision to flush all and does not report
60// CL_FP_DENORM for CL_DEVICE_SINGLE_FP_CONFIG. Mesa's OpenCL currently reports
61// CL_FP_DENORM for both.
62//
63// FIXME: It seems some instructions do not support single precision denormals
64// regardless of the mode (exp_*_f32, rcp_*_f32, rsq_*_f32, rsq_*f32, sqrt_f32,
65// and sin_f32, cos_f32 on most parts).
66
67// We want to use these instructions, and using fp32 denormals also causes
68// instructions to run at the double precision rate for the device so it's
69// probably best to just report no single precision denormals.
70static uint32_t getFPMode(const MachineFunction &F) {
Tom Stellard5bfbae52018-07-11 20:59:01 +000071 const GCNSubtarget& ST = F.getSubtarget<GCNSubtarget>();
Tom Stellard45bb48e2015-06-13 03:28:10 +000072 // TODO: Is there any real use for the flush in only / flush out only modes?
73
74 uint32_t FP32Denormals =
75 ST.hasFP32Denormals() ? FP_DENORM_FLUSH_NONE : FP_DENORM_FLUSH_IN_FLUSH_OUT;
76
77 uint32_t FP64Denormals =
78 ST.hasFP64Denormals() ? FP_DENORM_FLUSH_NONE : FP_DENORM_FLUSH_IN_FLUSH_OUT;
79
80 return FP_ROUND_MODE_SP(FP_ROUND_ROUND_TO_NEAREST) |
81 FP_ROUND_MODE_DP(FP_ROUND_ROUND_TO_NEAREST) |
82 FP_DENORM_MODE_SP(FP32Denormals) |
83 FP_DENORM_MODE_DP(FP64Denormals);
84}
85
86static AsmPrinter *
87createAMDGPUAsmPrinterPass(TargetMachine &tm,
88 std::unique_ptr<MCStreamer> &&Streamer) {
89 return new AMDGPUAsmPrinter(tm, std::move(Streamer));
90}
91
92extern "C" void LLVMInitializeAMDGPUAsmPrinter() {
Mehdi Aminif42454b2016-10-09 23:00:34 +000093 TargetRegistry::RegisterAsmPrinter(getTheAMDGPUTarget(),
Tom Stellardc5015012018-05-24 20:02:01 +000094 llvm::createR600AsmPrinterPass);
Mehdi Aminif42454b2016-10-09 23:00:34 +000095 TargetRegistry::RegisterAsmPrinter(getTheGCNTarget(),
96 createAMDGPUAsmPrinterPass);
Tom Stellard45bb48e2015-06-13 03:28:10 +000097}
98
99AMDGPUAsmPrinter::AMDGPUAsmPrinter(TargetMachine &TM,
100 std::unique_ptr<MCStreamer> Streamer)
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000101 : AsmPrinter(TM, std::move(Streamer)) {
Matt Arsenault4cd95092019-02-12 23:44:13 +0000102 if (IsaInfo::hasCodeObjectV3(getGlobalSTI()))
Scott Linderf5b36e52018-12-12 19:39:27 +0000103 HSAMetadataStream.reset(new MetadataStreamerV3());
104 else
105 HSAMetadataStream.reset(new MetadataStreamerV2());
Matt Arsenault0da63502018-08-31 05:49:54 +0000106}
Tom Stellard45bb48e2015-06-13 03:28:10 +0000107
Mehdi Amini117296c2016-10-01 02:56:57 +0000108StringRef AMDGPUAsmPrinter::getPassName() const {
Matt Arsenaultf9245b72016-07-22 17:01:25 +0000109 return "AMDGPU Assembly Printer";
110}
111
Matt Arsenault4cd95092019-02-12 23:44:13 +0000112const MCSubtargetInfo *AMDGPUAsmPrinter::getGlobalSTI() const {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000113 return TM.getMCSubtargetInfo();
114}
115
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000116AMDGPUTargetStreamer* AMDGPUAsmPrinter::getTargetStreamer() const {
117 if (!OutStreamer)
118 return nullptr;
119 return static_cast<AMDGPUTargetStreamer*>(OutStreamer->getTargetStreamer());
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000120}
121
Tom Stellardf4218372016-01-12 17:18:17 +0000122void AMDGPUAsmPrinter::EmitStartOfAsmFile(Module &M) {
Matt Arsenault4cd95092019-02-12 23:44:13 +0000123 if (IsaInfo::hasCodeObjectV3(getGlobalSTI())) {
Konstantin Zhuravlyov94dfcc2e2018-10-15 20:37:47 +0000124 std::string ExpectedTarget;
125 raw_string_ostream ExpectedTargetOS(ExpectedTarget);
Matt Arsenault4cd95092019-02-12 23:44:13 +0000126 IsaInfo::streamIsaVersion(getGlobalSTI(), ExpectedTargetOS);
Konstantin Zhuravlyov94dfcc2e2018-10-15 20:37:47 +0000127
128 getTargetStreamer()->EmitDirectiveAMDGCNTarget(ExpectedTarget);
Konstantin Zhuravlyov94dfcc2e2018-10-15 20:37:47 +0000129 }
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000130
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000131 if (TM.getTargetTriple().getOS() != Triple::AMDHSA &&
132 TM.getTargetTriple().getOS() != Triple::AMDPAL)
133 return;
134
135 if (TM.getTargetTriple().getOS() == Triple::AMDHSA)
Scott Linderf5b36e52018-12-12 19:39:27 +0000136 HSAMetadataStream->begin(M);
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000137
138 if (TM.getTargetTriple().getOS() == Triple::AMDPAL)
139 readPALMetadata(M);
140
Matt Arsenault4cd95092019-02-12 23:44:13 +0000141 if (IsaInfo::hasCodeObjectV3(getGlobalSTI()))
Scott Linderf5b36e52018-12-12 19:39:27 +0000142 return;
143
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000144 // HSA emits NT_AMDGPU_HSA_CODE_OBJECT_VERSION for code objects v2.
145 if (TM.getTargetTriple().getOS() == Triple::AMDHSA)
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000146 getTargetStreamer()->EmitDirectiveHSACodeObjectVersion(2, 1);
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000147
148 // HSA and PAL emit NT_AMDGPU_HSA_ISA for code objects v2.
Matt Arsenault4cd95092019-02-12 23:44:13 +0000149 IsaVersion Version = getIsaVersion(getGlobalSTI()->getCPU());
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000150 getTargetStreamer()->EmitDirectiveHSACodeObjectISA(
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000151 Version.Major, Version.Minor, Version.Stepping, "AMD", "AMDGPU");
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000152}
153
154void AMDGPUAsmPrinter::EmitEndOfAsmFile(Module &M) {
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000155 // Following code requires TargetStreamer to be present.
156 if (!getTargetStreamer())
157 return;
158
Matt Arsenault4cd95092019-02-12 23:44:13 +0000159 if (!IsaInfo::hasCodeObjectV3(getGlobalSTI())) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000160 // Emit ISA Version (NT_AMD_AMDGPU_ISA).
161 std::string ISAVersionString;
162 raw_string_ostream ISAVersionStream(ISAVersionString);
Matt Arsenault4cd95092019-02-12 23:44:13 +0000163 IsaInfo::streamIsaVersion(getGlobalSTI(), ISAVersionStream);
Scott Linderf5b36e52018-12-12 19:39:27 +0000164 getTargetStreamer()->EmitISAVersion(ISAVersionStream.str());
165 }
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000166
167 // Emit HSA Metadata (NT_AMD_AMDGPU_HSA_METADATA).
168 if (TM.getTargetTriple().getOS() == Triple::AMDHSA) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000169 HSAMetadataStream->end();
170 bool Success = HSAMetadataStream->emitTo(*getTargetStreamer());
171 (void)Success;
172 assert(Success && "Malformed HSA Metadata");
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000173 }
174
Matt Arsenault4cd95092019-02-12 23:44:13 +0000175 if (!IsaInfo::hasCodeObjectV3(getGlobalSTI())) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000176 // Emit PAL Metadata (NT_AMD_AMDGPU_PAL_METADATA).
177 if (TM.getTargetTriple().getOS() == Triple::AMDPAL) {
178 // Copy the PAL metadata from the map where we collected it into a vector,
179 // then write it as a .note.
180 PALMD::Metadata PALMetadataVector;
181 for (auto i : PALMetadataMap) {
182 PALMetadataVector.push_back(i.first);
183 PALMetadataVector.push_back(i.second);
184 }
185 getTargetStreamer()->EmitPALMetadata(PALMetadataVector);
Tim Renouf72800f02017-10-03 19:03:52 +0000186 }
Tim Renouf72800f02017-10-03 19:03:52 +0000187 }
Tom Stellardf4218372016-01-12 17:18:17 +0000188}
189
Matt Arsenault6bc43d82016-10-06 16:20:41 +0000190bool AMDGPUAsmPrinter::isBlockOnlyReachableByFallthrough(
191 const MachineBasicBlock *MBB) const {
192 if (!AsmPrinter::isBlockOnlyReachableByFallthrough(MBB))
193 return false;
194
195 if (MBB->empty())
196 return true;
197
198 // If this is a block implementing a long branch, an expression relative to
199 // the start of the block is needed. to the start of the block.
200 // XXX - Is there a smarter way to check this?
201 return (MBB->back().getOpcode() != AMDGPU::S_SETPC_B64);
202}
203
Tom Stellardf151a452015-06-26 21:14:58 +0000204void AMDGPUAsmPrinter::EmitFunctionBodyStart() {
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000205 const SIMachineFunctionInfo &MFI = *MF->getInfo<SIMachineFunctionInfo>();
206 if (!MFI.isEntryFunction())
207 return;
Matt Arsenault021a2182017-04-19 19:38:10 +0000208
Tom Stellard5bfbae52018-07-11 20:59:01 +0000209 const GCNSubtarget &STM = MF->getSubtarget<GCNSubtarget>();
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000210 const Function &F = MF->getFunction();
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000211 if (!STM.hasCodeObjectV3() && STM.isAmdHsaOrMesa(F) &&
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000212 (F.getCallingConv() == CallingConv::AMDGPU_KERNEL ||
213 F.getCallingConv() == CallingConv::SPIR_KERNEL)) {
214 amd_kernel_code_t KernelCode;
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000215 getAmdKernelCode(KernelCode, CurrentProgramInfo, *MF);
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000216 getTargetStreamer()->EmitAMDKernelCodeT(KernelCode);
Tom Stellardf151a452015-06-26 21:14:58 +0000217 }
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000218
Scott Linderf5b36e52018-12-12 19:39:27 +0000219 if (STM.isAmdHsaOS())
220 HSAMetadataStream->emitKernel(*MF, CurrentProgramInfo);
Tom Stellardf151a452015-06-26 21:14:58 +0000221}
222
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000223void AMDGPUAsmPrinter::EmitFunctionBodyEnd() {
224 const SIMachineFunctionInfo &MFI = *MF->getInfo<SIMachineFunctionInfo>();
225 if (!MFI.isEntryFunction())
226 return;
Matt Arsenault4cd95092019-02-12 23:44:13 +0000227
228 if (!IsaInfo::hasCodeObjectV3(getGlobalSTI()) ||
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000229 TM.getTargetTriple().getOS() != Triple::AMDHSA)
230 return;
231
Konstantin Zhuravlyovce25bc32018-06-12 18:33:51 +0000232 auto &Streamer = getTargetStreamer()->getStreamer();
233 auto &Context = Streamer.getContext();
234 auto &ObjectFileInfo = *Context.getObjectFileInfo();
235 auto &ReadOnlySection = *ObjectFileInfo.getReadOnlySection();
236
237 Streamer.PushSection();
238 Streamer.SwitchSection(&ReadOnlySection);
239
240 // CP microcode requires the kernel descriptor to be allocated on 64 byte
241 // alignment.
242 Streamer.EmitValueToAlignment(64, 0, 1, 0);
243 if (ReadOnlySection.getAlignment() < 64)
244 ReadOnlySection.setAlignment(64);
245
Matt Arsenault4cd95092019-02-12 23:44:13 +0000246 const MCSubtargetInfo &STI = MF->getSubtarget();
247
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000248 SmallString<128> KernelName;
249 getNameWithPrefix(KernelName, &MF->getFunction());
250 getTargetStreamer()->EmitAmdhsaKernelDescriptor(
Matt Arsenault4cd95092019-02-12 23:44:13 +0000251 STI, KernelName, getAmdhsaKernelDescriptor(*MF, CurrentProgramInfo),
Scott Linder1e8c2c72018-06-21 19:38:56 +0000252 CurrentProgramInfo.NumVGPRsForWavesPerEU,
253 CurrentProgramInfo.NumSGPRsForWavesPerEU -
Matt Arsenault4cd95092019-02-12 23:44:13 +0000254 IsaInfo::getNumExtraSGPRs(&STI,
Scott Linder1e8c2c72018-06-21 19:38:56 +0000255 CurrentProgramInfo.VCCUsed,
256 CurrentProgramInfo.FlatUsed),
257 CurrentProgramInfo.VCCUsed, CurrentProgramInfo.FlatUsed,
Matt Arsenault4cd95092019-02-12 23:44:13 +0000258 hasXNACK(STI));
Konstantin Zhuravlyovce25bc32018-06-12 18:33:51 +0000259
260 Streamer.PopSection();
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000261}
262
Tom Stellard1e1b05d2015-11-06 11:45:14 +0000263void AMDGPUAsmPrinter::EmitFunctionEntryLabel() {
Matt Arsenault4cd95092019-02-12 23:44:13 +0000264 if (IsaInfo::hasCodeObjectV3(getGlobalSTI()) &&
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000265 TM.getTargetTriple().getOS() == Triple::AMDHSA) {
266 AsmPrinter::EmitFunctionEntryLabel();
267 return;
268 }
269
Tom Stellard1e1b05d2015-11-06 11:45:14 +0000270 const SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>();
Tom Stellard5bfbae52018-07-11 20:59:01 +0000271 const GCNSubtarget &STM = MF->getSubtarget<GCNSubtarget>();
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000272 if (MFI->isEntryFunction() && STM.isAmdHsaOrMesa(MF->getFunction())) {
Tom Stellard1b9748c2016-09-26 17:29:25 +0000273 SmallString<128> SymbolName;
Matthias Braunf1caa282017-12-15 22:22:58 +0000274 getNameWithPrefix(SymbolName, &MF->getFunction()),
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000275 getTargetStreamer()->EmitAMDGPUSymbolType(
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000276 SymbolName, ELF::STT_AMDGPU_HSA_KERNEL);
Tom Stellard1e1b05d2015-11-06 11:45:14 +0000277 }
Matt Arsenault4cd95092019-02-12 23:44:13 +0000278 if (STM.dumpCode()) {
Tim Renoufcead41d2017-12-08 14:09:34 +0000279 // Disassemble function name label to text.
Matthias Braunf1caa282017-12-15 22:22:58 +0000280 DisasmLines.push_back(MF->getName().str() + ":");
Tim Renoufcead41d2017-12-08 14:09:34 +0000281 DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLines.back().size());
282 HexLines.push_back("");
283 }
Tom Stellard1e1b05d2015-11-06 11:45:14 +0000284
285 AsmPrinter::EmitFunctionEntryLabel();
286}
287
Tim Renoufcead41d2017-12-08 14:09:34 +0000288void AMDGPUAsmPrinter::EmitBasicBlockStart(const MachineBasicBlock &MBB) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000289 const GCNSubtarget &STI = MBB.getParent()->getSubtarget<GCNSubtarget>();
Tim Renoufcead41d2017-12-08 14:09:34 +0000290 if (STI.dumpCode() && !isBlockOnlyReachableByFallthrough(&MBB)) {
291 // Write a line for the basic block label if it is not only fallthrough.
292 DisasmLines.push_back(
293 (Twine("BB") + Twine(getFunctionNumber())
294 + "_" + Twine(MBB.getNumber()) + ":").str());
295 DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLines.back().size());
296 HexLines.push_back("");
297 }
298 AsmPrinter::EmitBasicBlockStart(MBB);
299}
300
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000301void AMDGPUAsmPrinter::EmitGlobalVariable(const GlobalVariable *GV) {
302
Tom Stellard00f2f912015-12-02 19:47:57 +0000303 // Group segment variables aren't emitted in HSA.
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000304 if (AMDGPU::isGroupSegment(GV))
Tom Stellard00f2f912015-12-02 19:47:57 +0000305 return;
306
Tom Stellardfcfaea42016-05-05 17:03:33 +0000307 AsmPrinter::EmitGlobalVariable(GV);
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000308}
309
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000310bool AMDGPUAsmPrinter::doFinalization(Module &M) {
311 CallGraphResourceInfo.clear();
312 return AsmPrinter::doFinalization(M);
313}
314
Tim Renouf72800f02017-10-03 19:03:52 +0000315// For the amdpal OS type, read the amdgpu.pal.metadata supplied by the
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +0000316// frontend into our PALMetadataMap, ready for per-function modification. It
Tim Renouf72800f02017-10-03 19:03:52 +0000317// is a NamedMD containing an MDTuple containing a number of MDNodes each of
318// which is an integer value, and each two integer values forms a key=value
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +0000319// pair that we store as PALMetadataMap[key]=value in the map.
320void AMDGPUAsmPrinter::readPALMetadata(Module &M) {
Tim Renouf72800f02017-10-03 19:03:52 +0000321 auto NamedMD = M.getNamedMetadata("amdgpu.pal.metadata");
322 if (!NamedMD || !NamedMD->getNumOperands())
323 return;
324 auto Tuple = dyn_cast<MDTuple>(NamedMD->getOperand(0));
325 if (!Tuple)
326 return;
327 for (unsigned I = 0, E = Tuple->getNumOperands() & -2; I != E; I += 2) {
328 auto Key = mdconst::dyn_extract<ConstantInt>(Tuple->getOperand(I));
329 auto Val = mdconst::dyn_extract<ConstantInt>(Tuple->getOperand(I + 1));
330 if (!Key || !Val)
331 continue;
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +0000332 PALMetadataMap[Key->getZExtValue()] = Val->getZExtValue();
Tim Renouf72800f02017-10-03 19:03:52 +0000333 }
334}
335
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000336// Print comments that apply to both callable functions and entry points.
337void AMDGPUAsmPrinter::emitCommonFunctionComments(
338 uint32_t NumVGPR,
339 uint32_t NumSGPR,
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000340 uint64_t ScratchSize,
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000341 uint64_t CodeSize,
342 const AMDGPUMachineFunction *MFI) {
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000343 OutStreamer->emitRawComment(" codeLenInByte = " + Twine(CodeSize), false);
344 OutStreamer->emitRawComment(" NumSgprs: " + Twine(NumSGPR), false);
345 OutStreamer->emitRawComment(" NumVgprs: " + Twine(NumVGPR), false);
346 OutStreamer->emitRawComment(" ScratchSize: " + Twine(ScratchSize), false);
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000347 OutStreamer->emitRawComment(" MemoryBound: " + Twine(MFI->isMemoryBound()),
348 false);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000349}
350
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000351uint16_t AMDGPUAsmPrinter::getAmdhsaKernelCodeProperties(
352 const MachineFunction &MF) const {
353 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
354 uint16_t KernelCodeProperties = 0;
355
356 if (MFI.hasPrivateSegmentBuffer()) {
357 KernelCodeProperties |=
358 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_PRIVATE_SEGMENT_BUFFER;
359 }
360 if (MFI.hasDispatchPtr()) {
361 KernelCodeProperties |=
362 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_PTR;
363 }
364 if (MFI.hasQueuePtr()) {
365 KernelCodeProperties |=
366 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_QUEUE_PTR;
367 }
368 if (MFI.hasKernargSegmentPtr()) {
369 KernelCodeProperties |=
370 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_KERNARG_SEGMENT_PTR;
371 }
372 if (MFI.hasDispatchID()) {
373 KernelCodeProperties |=
374 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_ID;
375 }
376 if (MFI.hasFlatScratchInit()) {
377 KernelCodeProperties |=
378 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_FLAT_SCRATCH_INIT;
379 }
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000380
381 return KernelCodeProperties;
382}
383
384amdhsa::kernel_descriptor_t AMDGPUAsmPrinter::getAmdhsaKernelDescriptor(
385 const MachineFunction &MF,
386 const SIProgramInfo &PI) const {
387 amdhsa::kernel_descriptor_t KernelDescriptor;
388 memset(&KernelDescriptor, 0x0, sizeof(KernelDescriptor));
389
390 assert(isUInt<32>(PI.ScratchSize));
391 assert(isUInt<32>(PI.ComputePGMRSrc1));
392 assert(isUInt<32>(PI.ComputePGMRSrc2));
393
394 KernelDescriptor.group_segment_fixed_size = PI.LDSSize;
395 KernelDescriptor.private_segment_fixed_size = PI.ScratchSize;
396 KernelDescriptor.compute_pgm_rsrc1 = PI.ComputePGMRSrc1;
397 KernelDescriptor.compute_pgm_rsrc2 = PI.ComputePGMRSrc2;
398 KernelDescriptor.kernel_code_properties = getAmdhsaKernelCodeProperties(MF);
399
400 return KernelDescriptor;
401}
402
Tom Stellard45bb48e2015-06-13 03:28:10 +0000403bool AMDGPUAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000404 CurrentProgramInfo = SIProgramInfo();
405
Matt Arsenault6cb7b8a2017-04-19 17:42:39 +0000406 const AMDGPUMachineFunction *MFI = MF.getInfo<AMDGPUMachineFunction>();
Tom Stellard45bb48e2015-06-13 03:28:10 +0000407
408 // The starting address of all shader programs must be 256 bytes aligned.
Matt Arsenault6cb7b8a2017-04-19 17:42:39 +0000409 // Regular functions just need the basic required instruction alignment.
410 MF.setAlignment(MFI->isEntryFunction() ? 8 : 2);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000411
412 SetupMachineFunction(MF);
413
Tom Stellard5bfbae52018-07-11 20:59:01 +0000414 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Konstantin Zhuravlyov67a6d542017-01-06 17:02:10 +0000415 MCContext &Context = getObjFileLowering().getContext();
Tim Renouf807ecc32018-02-06 13:39:38 +0000416 // FIXME: This should be an explicit check for Mesa.
417 if (!STM.isAmdHsaOS() && !STM.isAmdPalOS()) {
Konstantin Zhuravlyov67a6d542017-01-06 17:02:10 +0000418 MCSectionELF *ConfigSection =
419 Context.getELFSection(".AMDGPU.config", ELF::SHT_PROGBITS, 0);
420 OutStreamer->SwitchSection(ConfigSection);
421 }
422
Tom Stellardc5015012018-05-24 20:02:01 +0000423 if (MFI->isEntryFunction()) {
424 getSIProgramInfo(CurrentProgramInfo, MF);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000425 } else {
Tom Stellardc5015012018-05-24 20:02:01 +0000426 auto I = CallGraphResourceInfo.insert(
427 std::make_pair(&MF.getFunction(), SIFunctionResourceInfo()));
428 SIFunctionResourceInfo &Info = I.first->second;
429 assert(I.second && "should only be called once per function");
430 Info = analyzeResourceUsage(MF);
431 }
432
433 if (STM.isAmdPalOS())
434 EmitPALMetadata(MF, CurrentProgramInfo);
435 else if (!STM.isAmdHsaOS()) {
436 EmitProgramInfoSI(MF, CurrentProgramInfo);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000437 }
438
439 DisasmLines.clear();
440 HexLines.clear();
441 DisasmLineMaxLen = 0;
442
443 EmitFunctionBody();
444
445 if (isVerbose()) {
446 MCSectionELF *CommentSection =
447 Context.getELFSection(".AMDGPU.csdata", ELF::SHT_PROGBITS, 0);
448 OutStreamer->SwitchSection(CommentSection);
449
Tom Stellardc5015012018-05-24 20:02:01 +0000450 if (!MFI->isEntryFunction()) {
451 OutStreamer->emitRawComment(" Function info:", false);
452 SIFunctionResourceInfo &Info = CallGraphResourceInfo[&MF.getFunction()];
453 emitCommonFunctionComments(
454 Info.NumVGPR,
Tom Stellard5bfbae52018-07-11 20:59:01 +0000455 Info.getTotalNumSGPRs(MF.getSubtarget<GCNSubtarget>()),
Tom Stellardc5015012018-05-24 20:02:01 +0000456 Info.PrivateSegmentSize,
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000457 getFunctionCodeSize(MF), MFI);
Tom Stellardc5015012018-05-24 20:02:01 +0000458 return false;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000459 }
Tom Stellardc5015012018-05-24 20:02:01 +0000460
461 OutStreamer->emitRawComment(" Kernel info:", false);
462 emitCommonFunctionComments(CurrentProgramInfo.NumVGPR,
463 CurrentProgramInfo.NumSGPR,
464 CurrentProgramInfo.ScratchSize,
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000465 getFunctionCodeSize(MF), MFI);
Tom Stellardc5015012018-05-24 20:02:01 +0000466
467 OutStreamer->emitRawComment(
468 " FloatMode: " + Twine(CurrentProgramInfo.FloatMode), false);
469 OutStreamer->emitRawComment(
470 " IeeeMode: " + Twine(CurrentProgramInfo.IEEEMode), false);
471 OutStreamer->emitRawComment(
472 " LDSByteSize: " + Twine(CurrentProgramInfo.LDSSize) +
473 " bytes/workgroup (compile time only)", false);
474
475 OutStreamer->emitRawComment(
476 " SGPRBlocks: " + Twine(CurrentProgramInfo.SGPRBlocks), false);
477 OutStreamer->emitRawComment(
478 " VGPRBlocks: " + Twine(CurrentProgramInfo.VGPRBlocks), false);
479
480 OutStreamer->emitRawComment(
481 " NumSGPRsForWavesPerEU: " +
482 Twine(CurrentProgramInfo.NumSGPRsForWavesPerEU), false);
483 OutStreamer->emitRawComment(
484 " NumVGPRsForWavesPerEU: " +
485 Twine(CurrentProgramInfo.NumVGPRsForWavesPerEU), false);
486
487 OutStreamer->emitRawComment(
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000488 " WaveLimiterHint : " + Twine(MFI->needsWaveLimiter()), false);
489
Tom Stellardc5015012018-05-24 20:02:01 +0000490 OutStreamer->emitRawComment(
491 " COMPUTE_PGM_RSRC2:USER_SGPR: " +
492 Twine(G_00B84C_USER_SGPR(CurrentProgramInfo.ComputePGMRSrc2)), false);
493 OutStreamer->emitRawComment(
494 " COMPUTE_PGM_RSRC2:TRAP_HANDLER: " +
495 Twine(G_00B84C_TRAP_HANDLER(CurrentProgramInfo.ComputePGMRSrc2)), false);
496 OutStreamer->emitRawComment(
497 " COMPUTE_PGM_RSRC2:TGID_X_EN: " +
498 Twine(G_00B84C_TGID_X_EN(CurrentProgramInfo.ComputePGMRSrc2)), false);
499 OutStreamer->emitRawComment(
500 " COMPUTE_PGM_RSRC2:TGID_Y_EN: " +
501 Twine(G_00B84C_TGID_Y_EN(CurrentProgramInfo.ComputePGMRSrc2)), false);
502 OutStreamer->emitRawComment(
503 " COMPUTE_PGM_RSRC2:TGID_Z_EN: " +
504 Twine(G_00B84C_TGID_Z_EN(CurrentProgramInfo.ComputePGMRSrc2)), false);
505 OutStreamer->emitRawComment(
506 " COMPUTE_PGM_RSRC2:TIDIG_COMP_CNT: " +
507 Twine(G_00B84C_TIDIG_COMP_CNT(CurrentProgramInfo.ComputePGMRSrc2)),
508 false);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000509 }
510
511 if (STM.dumpCode()) {
512
513 OutStreamer->SwitchSection(
514 Context.getELFSection(".AMDGPU.disasm", ELF::SHT_NOTE, 0));
515
516 for (size_t i = 0; i < DisasmLines.size(); ++i) {
Tim Renoufcead41d2017-12-08 14:09:34 +0000517 std::string Comment = "\n";
518 if (!HexLines[i].empty()) {
519 Comment = std::string(DisasmLineMaxLen - DisasmLines[i].size(), ' ');
520 Comment += " ; " + HexLines[i] + "\n";
521 }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000522
523 OutStreamer->EmitBytes(StringRef(DisasmLines[i]));
524 OutStreamer->EmitBytes(StringRef(Comment));
525 }
526 }
527
528 return false;
529}
530
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000531uint64_t AMDGPUAsmPrinter::getFunctionCodeSize(const MachineFunction &MF) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000532 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000533 const SIInstrInfo *TII = STM.getInstrInfo();
Tom Stellard45bb48e2015-06-13 03:28:10 +0000534
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000535 uint64_t CodeSize = 0;
536
Tom Stellard45bb48e2015-06-13 03:28:10 +0000537 for (const MachineBasicBlock &MBB : MF) {
538 for (const MachineInstr &MI : MBB) {
539 // TODO: CodeSize should account for multiple functions.
Matt Arsenaultc5746862015-08-12 09:04:44 +0000540
541 // TODO: Should we count size of debug info?
Shiva Chen801bf7e2018-05-09 02:42:00 +0000542 if (MI.isDebugInstr())
Matt Arsenaultc5746862015-08-12 09:04:44 +0000543 continue;
544
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000545 CodeSize += TII->getInstSizeInBytes(MI);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000546 }
547 }
548
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000549 return CodeSize;
550}
551
552static bool hasAnyNonFlatUseOfReg(const MachineRegisterInfo &MRI,
553 const SIInstrInfo &TII,
554 unsigned Reg) {
555 for (const MachineOperand &UseOp : MRI.reg_operands(Reg)) {
556 if (!UseOp.isImplicit() || !TII.isFLAT(*UseOp.getParent()))
557 return true;
558 }
559
560 return false;
561}
562
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000563int32_t AMDGPUAsmPrinter::SIFunctionResourceInfo::getTotalNumSGPRs(
Tom Stellard5bfbae52018-07-11 20:59:01 +0000564 const GCNSubtarget &ST) const {
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000565 return NumExplicitSGPR + IsaInfo::getNumExtraSGPRs(&ST,
Scott Linder1e8c2c72018-06-21 19:38:56 +0000566 UsesVCC, UsesFlatScratch);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000567}
568
569AMDGPUAsmPrinter::SIFunctionResourceInfo AMDGPUAsmPrinter::analyzeResourceUsage(
570 const MachineFunction &MF) const {
571 SIFunctionResourceInfo Info;
572
573 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Tom Stellard5bfbae52018-07-11 20:59:01 +0000574 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000575 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
576 const MachineRegisterInfo &MRI = MF.getRegInfo();
577 const SIInstrInfo *TII = ST.getInstrInfo();
578 const SIRegisterInfo &TRI = TII->getRegisterInfo();
579
580 Info.UsesFlatScratch = MRI.isPhysRegUsed(AMDGPU::FLAT_SCR_LO) ||
581 MRI.isPhysRegUsed(AMDGPU::FLAT_SCR_HI);
582
583 // Even if FLAT_SCRATCH is implicitly used, it has no effect if flat
584 // instructions aren't used to access the scratch buffer. Inline assembly may
585 // need it though.
586 //
587 // If we only have implicit uses of flat_scr on flat instructions, it is not
588 // really needed.
589 if (Info.UsesFlatScratch && !MFI->hasFlatScratchInit() &&
590 (!hasAnyNonFlatUseOfReg(MRI, *TII, AMDGPU::FLAT_SCR) &&
591 !hasAnyNonFlatUseOfReg(MRI, *TII, AMDGPU::FLAT_SCR_LO) &&
592 !hasAnyNonFlatUseOfReg(MRI, *TII, AMDGPU::FLAT_SCR_HI))) {
593 Info.UsesFlatScratch = false;
594 }
595
596 Info.HasDynamicallySizedStack = FrameInfo.hasVarSizedObjects();
597 Info.PrivateSegmentSize = FrameInfo.getStackSize();
Matt Arsenault03ae3992018-03-29 21:30:06 +0000598 if (MFI->isStackRealigned())
599 Info.PrivateSegmentSize += FrameInfo.getMaxAlignment();
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000600
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000601
Matt Arsenault3416b8c2017-06-01 15:05:15 +0000602 Info.UsesVCC = MRI.isPhysRegUsed(AMDGPU::VCC_LO) ||
603 MRI.isPhysRegUsed(AMDGPU::VCC_HI);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000604
Matt Arsenault3416b8c2017-06-01 15:05:15 +0000605 // If there are no calls, MachineRegisterInfo can tell us the used register
606 // count easily.
Matt Arsenault22cdb612017-09-05 18:36:36 +0000607 // A tail call isn't considered a call for MachineFrameInfo's purposes.
608 if (!FrameInfo.hasCalls() && !FrameInfo.hasTailCall()) {
Matt Arsenault2738ede2017-08-02 17:15:01 +0000609 MCPhysReg HighestVGPRReg = AMDGPU::NoRegister;
610 for (MCPhysReg Reg : reverse(AMDGPU::VGPR_32RegClass.getRegisters())) {
611 if (MRI.isPhysRegUsed(Reg)) {
612 HighestVGPRReg = Reg;
613 break;
614 }
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000615 }
Matt Arsenault2738ede2017-08-02 17:15:01 +0000616
617 MCPhysReg HighestSGPRReg = AMDGPU::NoRegister;
618 for (MCPhysReg Reg : reverse(AMDGPU::SGPR_32RegClass.getRegisters())) {
619 if (MRI.isPhysRegUsed(Reg)) {
620 HighestSGPRReg = Reg;
621 break;
622 }
623 }
624
625 // We found the maximum register index. They start at 0, so add one to get the
626 // number of registers.
627 Info.NumVGPR = HighestVGPRReg == AMDGPU::NoRegister ? 0 :
628 TRI.getHWRegIndex(HighestVGPRReg) + 1;
629 Info.NumExplicitSGPR = HighestSGPRReg == AMDGPU::NoRegister ? 0 :
630 TRI.getHWRegIndex(HighestSGPRReg) + 1;
631
632 return Info;
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000633 }
634
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000635 int32_t MaxVGPR = -1;
636 int32_t MaxSGPR = -1;
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000637 uint64_t CalleeFrameSize = 0;
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000638
639 for (const MachineBasicBlock &MBB : MF) {
640 for (const MachineInstr &MI : MBB) {
641 // TODO: Check regmasks? Do they occur anywhere except calls?
642 for (const MachineOperand &MO : MI.operands()) {
643 unsigned Width = 0;
644 bool IsSGPR = false;
645
646 if (!MO.isReg())
647 continue;
648
649 unsigned Reg = MO.getReg();
650 switch (Reg) {
651 case AMDGPU::EXEC:
652 case AMDGPU::EXEC_LO:
653 case AMDGPU::EXEC_HI:
654 case AMDGPU::SCC:
655 case AMDGPU::M0:
656 case AMDGPU::SRC_SHARED_BASE:
657 case AMDGPU::SRC_SHARED_LIMIT:
658 case AMDGPU::SRC_PRIVATE_BASE:
659 case AMDGPU::SRC_PRIVATE_LIMIT:
660 continue;
661
662 case AMDGPU::NoRegister:
Shiva Chen801bf7e2018-05-09 02:42:00 +0000663 assert(MI.isDebugInstr());
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000664 continue;
665
666 case AMDGPU::VCC:
667 case AMDGPU::VCC_LO:
668 case AMDGPU::VCC_HI:
669 Info.UsesVCC = true;
670 continue;
671
672 case AMDGPU::FLAT_SCR:
673 case AMDGPU::FLAT_SCR_LO:
674 case AMDGPU::FLAT_SCR_HI:
675 continue;
676
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000677 case AMDGPU::XNACK_MASK:
678 case AMDGPU::XNACK_MASK_LO:
679 case AMDGPU::XNACK_MASK_HI:
680 llvm_unreachable("xnack_mask registers should not be used");
681
Dmitry Preobrazhensky942c2732019-02-08 14:57:37 +0000682 case AMDGPU::LDS_DIRECT:
683 llvm_unreachable("lds_direct register should not be used");
684
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000685 case AMDGPU::TBA:
686 case AMDGPU::TBA_LO:
687 case AMDGPU::TBA_HI:
688 case AMDGPU::TMA:
689 case AMDGPU::TMA_LO:
690 case AMDGPU::TMA_HI:
691 llvm_unreachable("trap handler registers should not be used");
692
693 default:
694 break;
695 }
696
697 if (AMDGPU::SReg_32RegClass.contains(Reg)) {
698 assert(!AMDGPU::TTMP_32RegClass.contains(Reg) &&
699 "trap handler registers should not be used");
700 IsSGPR = true;
701 Width = 1;
702 } else if (AMDGPU::VGPR_32RegClass.contains(Reg)) {
703 IsSGPR = false;
704 Width = 1;
705 } else if (AMDGPU::SReg_64RegClass.contains(Reg)) {
706 assert(!AMDGPU::TTMP_64RegClass.contains(Reg) &&
707 "trap handler registers should not be used");
708 IsSGPR = true;
709 Width = 2;
710 } else if (AMDGPU::VReg_64RegClass.contains(Reg)) {
711 IsSGPR = false;
712 Width = 2;
713 } else if (AMDGPU::VReg_96RegClass.contains(Reg)) {
714 IsSGPR = false;
715 Width = 3;
716 } else if (AMDGPU::SReg_128RegClass.contains(Reg)) {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000717 assert(!AMDGPU::TTMP_128RegClass.contains(Reg) &&
718 "trap handler registers should not be used");
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000719 IsSGPR = true;
720 Width = 4;
721 } else if (AMDGPU::VReg_128RegClass.contains(Reg)) {
722 IsSGPR = false;
723 Width = 4;
724 } else if (AMDGPU::SReg_256RegClass.contains(Reg)) {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000725 assert(!AMDGPU::TTMP_256RegClass.contains(Reg) &&
726 "trap handler registers should not be used");
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000727 IsSGPR = true;
728 Width = 8;
729 } else if (AMDGPU::VReg_256RegClass.contains(Reg)) {
730 IsSGPR = false;
731 Width = 8;
732 } else if (AMDGPU::SReg_512RegClass.contains(Reg)) {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000733 assert(!AMDGPU::TTMP_512RegClass.contains(Reg) &&
734 "trap handler registers should not be used");
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000735 IsSGPR = true;
736 Width = 16;
737 } else if (AMDGPU::VReg_512RegClass.contains(Reg)) {
738 IsSGPR = false;
739 Width = 16;
740 } else {
741 llvm_unreachable("Unknown register class");
742 }
743 unsigned HWReg = TRI.getHWRegIndex(Reg);
744 int MaxUsed = HWReg + Width - 1;
745 if (IsSGPR) {
746 MaxSGPR = MaxUsed > MaxSGPR ? MaxUsed : MaxSGPR;
747 } else {
748 MaxVGPR = MaxUsed > MaxVGPR ? MaxUsed : MaxVGPR;
749 }
750 }
751
752 if (MI.isCall()) {
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000753 // Pseudo used just to encode the underlying global. Is there a better
754 // way to track this?
Matt Arsenault71bcbd42017-08-11 20:42:08 +0000755
756 const MachineOperand *CalleeOp
757 = TII->getNamedOperand(MI, AMDGPU::OpName::callee);
758 const Function *Callee = cast<Function>(CalleeOp->getGlobal());
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000759 if (Callee->isDeclaration()) {
760 // If this is a call to an external function, we can't do much. Make
761 // conservative guesses.
762
763 // 48 SGPRs - vcc, - flat_scr, -xnack
Scott Linder1e8c2c72018-06-21 19:38:56 +0000764 int MaxSGPRGuess =
Matt Arsenault4cd95092019-02-12 23:44:13 +0000765 47 - IsaInfo::getNumExtraSGPRs(&ST, true, ST.hasFlatAddressSpace());
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000766 MaxSGPR = std::max(MaxSGPR, MaxSGPRGuess);
767 MaxVGPR = std::max(MaxVGPR, 23);
768
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000769 CalleeFrameSize = std::max(CalleeFrameSize, UINT64_C(16384));
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000770 Info.UsesVCC = true;
771 Info.UsesFlatScratch = ST.hasFlatAddressSpace();
772 Info.HasDynamicallySizedStack = true;
773 } else {
774 // We force CodeGen to run in SCC order, so the callee's register
775 // usage etc. should be the cumulative usage of all callees.
776 auto I = CallGraphResourceInfo.find(Callee);
777 assert(I != CallGraphResourceInfo.end() &&
778 "callee should have been handled before caller");
779
780 MaxSGPR = std::max(I->second.NumExplicitSGPR - 1, MaxSGPR);
781 MaxVGPR = std::max(I->second.NumVGPR - 1, MaxVGPR);
782 CalleeFrameSize
783 = std::max(I->second.PrivateSegmentSize, CalleeFrameSize);
784 Info.UsesVCC |= I->second.UsesVCC;
785 Info.UsesFlatScratch |= I->second.UsesFlatScratch;
786 Info.HasDynamicallySizedStack |= I->second.HasDynamicallySizedStack;
787 Info.HasRecursion |= I->second.HasRecursion;
788 }
789
790 if (!Callee->doesNotRecurse())
791 Info.HasRecursion = true;
792 }
Matt Arsenault3416b8c2017-06-01 15:05:15 +0000793 }
794 }
795
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000796 Info.NumExplicitSGPR = MaxSGPR + 1;
797 Info.NumVGPR = MaxVGPR + 1;
798 Info.PrivateSegmentSize += CalleeFrameSize;
Matt Arsenault3416b8c2017-06-01 15:05:15 +0000799
800 return Info;
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000801}
802
803void AMDGPUAsmPrinter::getSIProgramInfo(SIProgramInfo &ProgInfo,
804 const MachineFunction &MF) {
805 SIFunctionResourceInfo Info = analyzeResourceUsage(MF);
806
807 ProgInfo.NumVGPR = Info.NumVGPR;
808 ProgInfo.NumSGPR = Info.NumExplicitSGPR;
809 ProgInfo.ScratchSize = Info.PrivateSegmentSize;
810 ProgInfo.VCCUsed = Info.UsesVCC;
811 ProgInfo.FlatUsed = Info.UsesFlatScratch;
812 ProgInfo.DynamicCallStack = Info.HasDynamicallySizedStack || Info.HasRecursion;
813
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000814 if (!isUInt<32>(ProgInfo.ScratchSize)) {
Matthias Braunf1caa282017-12-15 22:22:58 +0000815 DiagnosticInfoStackSize DiagStackSize(MF.getFunction(),
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000816 ProgInfo.ScratchSize, DS_Error);
Matthias Braunf1caa282017-12-15 22:22:58 +0000817 MF.getFunction().getContext().diagnose(DiagStackSize);
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000818 }
819
Tom Stellard5bfbae52018-07-11 20:59:01 +0000820 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000821 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000822
Scott Linder1e8c2c72018-06-21 19:38:56 +0000823 // TODO(scott.linder): The calculations related to SGPR/VGPR blocks are
824 // duplicated in part in AMDGPUAsmParser::calculateGPRBlocks, and could be
825 // unified.
826 unsigned ExtraSGPRs = IsaInfo::getNumExtraSGPRs(
Matt Arsenault4cd95092019-02-12 23:44:13 +0000827 &STM, ProgInfo.VCCUsed, ProgInfo.FlatUsed);
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000828
Marek Olsak91f22fb2016-12-09 19:49:40 +0000829 // Check the addressable register limit before we add ExtraSGPRs.
830 if (STM.getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS &&
831 !STM.hasSGPRInitBug()) {
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000832 unsigned MaxAddressableNumSGPRs = STM.getAddressableNumSGPRs();
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000833 if (ProgInfo.NumSGPR > MaxAddressableNumSGPRs) {
Marek Olsak91f22fb2016-12-09 19:49:40 +0000834 // This can happen due to a compiler bug or when using inline asm.
Matthias Braunf1caa282017-12-15 22:22:58 +0000835 LLVMContext &Ctx = MF.getFunction().getContext();
836 DiagnosticInfoResourceLimit Diag(MF.getFunction(),
Marek Olsak91f22fb2016-12-09 19:49:40 +0000837 "addressable scalar registers",
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000838 ProgInfo.NumSGPR, DS_Error,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000839 DK_ResourceLimit,
840 MaxAddressableNumSGPRs);
Marek Olsak91f22fb2016-12-09 19:49:40 +0000841 Ctx.diagnose(Diag);
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000842 ProgInfo.NumSGPR = MaxAddressableNumSGPRs - 1;
Marek Olsak91f22fb2016-12-09 19:49:40 +0000843 }
844 }
845
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000846 // Account for extra SGPRs and VGPRs reserved for debugger use.
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000847 ProgInfo.NumSGPR += ExtraSGPRs;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000848
Tim Renouffd8d4af2018-04-11 17:18:36 +0000849 // Ensure there are enough SGPRs and VGPRs for wave dispatch, where wave
850 // dispatch registers are function args.
851 unsigned WaveDispatchNumSGPR = 0, WaveDispatchNumVGPR = 0;
852 for (auto &Arg : MF.getFunction().args()) {
853 unsigned NumRegs = (Arg.getType()->getPrimitiveSizeInBits() + 31) / 32;
854 if (Arg.hasAttribute(Attribute::InReg))
855 WaveDispatchNumSGPR += NumRegs;
856 else
857 WaveDispatchNumVGPR += NumRegs;
858 }
859 ProgInfo.NumSGPR = std::max(ProgInfo.NumSGPR, WaveDispatchNumSGPR);
860 ProgInfo.NumVGPR = std::max(ProgInfo.NumVGPR, WaveDispatchNumVGPR);
861
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000862 // Adjust number of registers used to meet default/requested minimum/maximum
863 // number of waves per execution unit request.
864 ProgInfo.NumSGPRsForWavesPerEU = std::max(
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000865 std::max(ProgInfo.NumSGPR, 1u), STM.getMinNumSGPRs(MFI->getMaxWavesPerEU()));
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000866 ProgInfo.NumVGPRsForWavesPerEU = std::max(
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000867 std::max(ProgInfo.NumVGPR, 1u), STM.getMinNumVGPRs(MFI->getMaxWavesPerEU()));
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000868
Marek Olsak91f22fb2016-12-09 19:49:40 +0000869 if (STM.getGeneration() <= AMDGPUSubtarget::SEA_ISLANDS ||
870 STM.hasSGPRInitBug()) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000871 unsigned MaxAddressableNumSGPRs = STM.getAddressableNumSGPRs();
872 if (ProgInfo.NumSGPR > MaxAddressableNumSGPRs) {
873 // This can happen due to a compiler bug or when using inline asm to use
874 // the registers which are usually reserved for vcc etc.
Matthias Braunf1caa282017-12-15 22:22:58 +0000875 LLVMContext &Ctx = MF.getFunction().getContext();
876 DiagnosticInfoResourceLimit Diag(MF.getFunction(),
Marek Olsak91f22fb2016-12-09 19:49:40 +0000877 "scalar registers",
878 ProgInfo.NumSGPR, DS_Error,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000879 DK_ResourceLimit,
880 MaxAddressableNumSGPRs);
Marek Olsak91f22fb2016-12-09 19:49:40 +0000881 Ctx.diagnose(Diag);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000882 ProgInfo.NumSGPR = MaxAddressableNumSGPRs;
883 ProgInfo.NumSGPRsForWavesPerEU = MaxAddressableNumSGPRs;
Marek Olsak91f22fb2016-12-09 19:49:40 +0000884 }
Matt Arsenault4eae3012016-10-28 20:31:47 +0000885 }
886
887 if (STM.hasSGPRInitBug()) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000888 ProgInfo.NumSGPR =
889 AMDGPU::IsaInfo::FIXED_NUM_SGPRS_FOR_INIT_BUG;
890 ProgInfo.NumSGPRsForWavesPerEU =
891 AMDGPU::IsaInfo::FIXED_NUM_SGPRS_FOR_INIT_BUG;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000892 }
893
Matt Arsenault161e2b42017-04-18 20:59:40 +0000894 if (MFI->getNumUserSGPRs() > STM.getMaxNumUserSGPRs()) {
Matthias Braunf1caa282017-12-15 22:22:58 +0000895 LLVMContext &Ctx = MF.getFunction().getContext();
896 DiagnosticInfoResourceLimit Diag(MF.getFunction(), "user SGPRs",
Matt Arsenault161e2b42017-04-18 20:59:40 +0000897 MFI->getNumUserSGPRs(), DS_Error);
Matt Arsenaultff982412016-06-20 18:13:04 +0000898 Ctx.diagnose(Diag);
Matt Arsenault41003af2015-11-30 21:16:07 +0000899 }
900
Matt Arsenault52ef4012016-07-26 16:45:58 +0000901 if (MFI->getLDSSize() > static_cast<unsigned>(STM.getLocalMemorySize())) {
Matthias Braunf1caa282017-12-15 22:22:58 +0000902 LLVMContext &Ctx = MF.getFunction().getContext();
903 DiagnosticInfoResourceLimit Diag(MF.getFunction(), "local memory",
Matt Arsenault52ef4012016-07-26 16:45:58 +0000904 MFI->getLDSSize(), DS_Error);
Matt Arsenaultff982412016-06-20 18:13:04 +0000905 Ctx.diagnose(Diag);
Matt Arsenault1c4d0ef2016-04-28 19:37:35 +0000906 }
907
Scott Linder1e8c2c72018-06-21 19:38:56 +0000908 ProgInfo.SGPRBlocks = IsaInfo::getNumSGPRBlocks(
David Stuttardbe3d7ba2018-11-19 15:44:20 +0000909 &STM, ProgInfo.NumSGPRsForWavesPerEU);
Scott Linder1e8c2c72018-06-21 19:38:56 +0000910 ProgInfo.VGPRBlocks = IsaInfo::getNumVGPRBlocks(
David Stuttardbe3d7ba2018-11-19 15:44:20 +0000911 &STM, ProgInfo.NumVGPRsForWavesPerEU);
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000912
Tom Stellard45bb48e2015-06-13 03:28:10 +0000913 // Set the value to initialize FP_ROUND and FP_DENORM parts of the mode
914 // register.
915 ProgInfo.FloatMode = getFPMode(MF);
916
Wei Ding3cb2a1e2016-10-19 22:34:49 +0000917 ProgInfo.IEEEMode = STM.enableIEEEBit(MF);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000918
Matt Arsenault7293f982016-01-28 20:53:35 +0000919 // Make clamp modifier on NaN input returns 0.
Matt Arsenault2fdf2a12017-02-21 23:35:48 +0000920 ProgInfo.DX10Clamp = STM.enableDX10Clamp();
Tom Stellard45bb48e2015-06-13 03:28:10 +0000921
Tom Stellard45bb48e2015-06-13 03:28:10 +0000922 unsigned LDSAlignShift;
Tom Stellard5bfbae52018-07-11 20:59:01 +0000923 if (STM.getGeneration() < AMDGPUSubtarget::SEA_ISLANDS) {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000924 // LDS is allocated in 64 dword blocks.
925 LDSAlignShift = 8;
926 } else {
927 // LDS is allocated in 128 dword blocks.
928 LDSAlignShift = 9;
929 }
930
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000931 unsigned LDSSpillSize =
Matt Arsenault161e2b42017-04-18 20:59:40 +0000932 MFI->getLDSWaveSpillSize() * MFI->getMaxFlatWorkGroupSize();
Tom Stellard45bb48e2015-06-13 03:28:10 +0000933
Matt Arsenault52ef4012016-07-26 16:45:58 +0000934 ProgInfo.LDSSize = MFI->getLDSSize() + LDSSpillSize;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000935 ProgInfo.LDSBlocks =
Aaron Ballmanef0fe1e2016-03-30 21:30:00 +0000936 alignTo(ProgInfo.LDSSize, 1ULL << LDSAlignShift) >> LDSAlignShift;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000937
938 // Scratch is allocated in 256 dword blocks.
939 unsigned ScratchAlignShift = 10;
940 // We need to program the hardware with the amount of scratch memory that
941 // is used by the entire wave. ProgInfo.ScratchSize is the amount of
942 // scratch memory used per thread.
943 ProgInfo.ScratchBlocks =
Rui Ueyamada00f2f2016-01-14 21:06:47 +0000944 alignTo(ProgInfo.ScratchSize * STM.getWavefrontSize(),
Aaron Ballmanef0fe1e2016-03-30 21:30:00 +0000945 1ULL << ScratchAlignShift) >>
Rui Ueyamada00f2f2016-01-14 21:06:47 +0000946 ScratchAlignShift;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000947
948 ProgInfo.ComputePGMRSrc1 =
949 S_00B848_VGPRS(ProgInfo.VGPRBlocks) |
950 S_00B848_SGPRS(ProgInfo.SGPRBlocks) |
951 S_00B848_PRIORITY(ProgInfo.Priority) |
952 S_00B848_FLOAT_MODE(ProgInfo.FloatMode) |
953 S_00B848_PRIV(ProgInfo.Priv) |
954 S_00B848_DX10_CLAMP(ProgInfo.DX10Clamp) |
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000955 S_00B848_DEBUG_MODE(ProgInfo.DebugMode) |
Tom Stellard45bb48e2015-06-13 03:28:10 +0000956 S_00B848_IEEE_MODE(ProgInfo.IEEEMode);
957
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000958 // 0 = X, 1 = XY, 2 = XYZ
959 unsigned TIDIGCompCnt = 0;
960 if (MFI->hasWorkItemIDZ())
961 TIDIGCompCnt = 2;
962 else if (MFI->hasWorkItemIDY())
963 TIDIGCompCnt = 1;
964
Tom Stellard45bb48e2015-06-13 03:28:10 +0000965 ProgInfo.ComputePGMRSrc2 =
966 S_00B84C_SCRATCH_EN(ProgInfo.ScratchBlocks > 0) |
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000967 S_00B84C_USER_SGPR(MFI->getNumUserSGPRs()) |
Konstantin Zhuravlyov2ca6b1f2018-05-29 19:09:13 +0000968 // For AMDHSA, TRAP_HANDLER must be zero, as it is populated by the CP.
969 S_00B84C_TRAP_HANDLER(STM.isAmdHsaOS() ? 0 : STM.isTrapHandlerEnabled()) |
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000970 S_00B84C_TGID_X_EN(MFI->hasWorkGroupIDX()) |
971 S_00B84C_TGID_Y_EN(MFI->hasWorkGroupIDY()) |
972 S_00B84C_TGID_Z_EN(MFI->hasWorkGroupIDZ()) |
973 S_00B84C_TG_SIZE_EN(MFI->hasWorkGroupInfo()) |
974 S_00B84C_TIDIG_COMP_CNT(TIDIGCompCnt) |
975 S_00B84C_EXCP_EN_MSB(0) |
Konstantin Zhuravlyov6ccb0762017-05-05 20:13:55 +0000976 // For AMDHSA, LDS_SIZE must be zero, as it is populated by the CP.
977 S_00B84C_LDS_SIZE(STM.isAmdHsaOS() ? 0 : ProgInfo.LDSBlocks) |
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000978 S_00B84C_EXCP_EN(0);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000979}
980
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000981static unsigned getRsrcReg(CallingConv::ID CallConv) {
982 switch (CallConv) {
Justin Bognercd1d5aa2016-08-17 20:30:52 +0000983 default: LLVM_FALLTHROUGH;
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000984 case CallingConv::AMDGPU_CS: return R_00B848_COMPUTE_PGM_RSRC1;
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000985 case CallingConv::AMDGPU_LS: return R_00B528_SPI_SHADER_PGM_RSRC1_LS;
Marek Olsaka302a7362017-05-02 15:41:10 +0000986 case CallingConv::AMDGPU_HS: return R_00B428_SPI_SHADER_PGM_RSRC1_HS;
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000987 case CallingConv::AMDGPU_ES: return R_00B328_SPI_SHADER_PGM_RSRC1_ES;
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000988 case CallingConv::AMDGPU_GS: return R_00B228_SPI_SHADER_PGM_RSRC1_GS;
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000989 case CallingConv::AMDGPU_VS: return R_00B128_SPI_SHADER_PGM_RSRC1_VS;
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000990 case CallingConv::AMDGPU_PS: return R_00B028_SPI_SHADER_PGM_RSRC1_PS;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000991 }
992}
993
994void AMDGPUAsmPrinter::EmitProgramInfoSI(const MachineFunction &MF,
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000995 const SIProgramInfo &CurrentProgramInfo) {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000996 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matthias Braunf1caa282017-12-15 22:22:58 +0000997 unsigned RsrcReg = getRsrcReg(MF.getFunction().getCallingConv());
Tom Stellard45bb48e2015-06-13 03:28:10 +0000998
Matthias Braunf1caa282017-12-15 22:22:58 +0000999 if (AMDGPU::isCompute(MF.getFunction().getCallingConv())) {
Tom Stellard45bb48e2015-06-13 03:28:10 +00001000 OutStreamer->EmitIntValue(R_00B848_COMPUTE_PGM_RSRC1, 4);
1001
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001002 OutStreamer->EmitIntValue(CurrentProgramInfo.ComputePGMRSrc1, 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001003
1004 OutStreamer->EmitIntValue(R_00B84C_COMPUTE_PGM_RSRC2, 4);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001005 OutStreamer->EmitIntValue(CurrentProgramInfo.ComputePGMRSrc2, 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001006
1007 OutStreamer->EmitIntValue(R_00B860_COMPUTE_TMPRING_SIZE, 4);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001008 OutStreamer->EmitIntValue(S_00B860_WAVESIZE(CurrentProgramInfo.ScratchBlocks), 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001009
1010 // TODO: Should probably note flat usage somewhere. SC emits a "FlatPtr32 =
1011 // 0" comment but I don't see a corresponding field in the register spec.
1012 } else {
1013 OutStreamer->EmitIntValue(RsrcReg, 4);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001014 OutStreamer->EmitIntValue(S_00B028_VGPRS(CurrentProgramInfo.VGPRBlocks) |
1015 S_00B028_SGPRS(CurrentProgramInfo.SGPRBlocks), 4);
Scott Linderc6c62722018-10-31 18:54:06 +00001016 OutStreamer->EmitIntValue(R_0286E8_SPI_TMPRING_SIZE, 4);
1017 OutStreamer->EmitIntValue(
1018 S_0286E8_WAVESIZE(CurrentProgramInfo.ScratchBlocks), 4);
Tim Renouf807ecc32018-02-06 13:39:38 +00001019 }
1020
1021 if (MF.getFunction().getCallingConv() == CallingConv::AMDGPU_PS) {
1022 OutStreamer->EmitIntValue(R_00B02C_SPI_SHADER_PGM_RSRC2_PS, 4);
1023 OutStreamer->EmitIntValue(S_00B02C_EXTRA_LDS_SIZE(CurrentProgramInfo.LDSBlocks), 4);
1024 OutStreamer->EmitIntValue(R_0286CC_SPI_PS_INPUT_ENA, 4);
1025 OutStreamer->EmitIntValue(MFI->getPSInputEnable(), 4);
1026 OutStreamer->EmitIntValue(R_0286D0_SPI_PS_INPUT_ADDR, 4);
1027 OutStreamer->EmitIntValue(MFI->getPSInputAddr(), 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001028 }
Marek Olsak0532c192016-07-13 17:35:15 +00001029
1030 OutStreamer->EmitIntValue(R_SPILLED_SGPRS, 4);
1031 OutStreamer->EmitIntValue(MFI->getNumSpilledSGPRs(), 4);
1032 OutStreamer->EmitIntValue(R_SPILLED_VGPRS, 4);
1033 OutStreamer->EmitIntValue(MFI->getNumSpilledVGPRs(), 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001034}
1035
Tim Renouf72800f02017-10-03 19:03:52 +00001036// This is the equivalent of EmitProgramInfoSI above, but for when the OS type
1037// is AMDPAL. It stores each compute/SPI register setting and other PAL
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001038// metadata items into the PALMetadataMap, combining with any provided by the
1039// frontend as LLVM metadata. Once all functions are written, PALMetadataMap is
Tim Renouf72800f02017-10-03 19:03:52 +00001040// then written as a single block in the .note section.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001041void AMDGPUAsmPrinter::EmitPALMetadata(const MachineFunction &MF,
Tim Renouf72800f02017-10-03 19:03:52 +00001042 const SIProgramInfo &CurrentProgramInfo) {
1043 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
1044 // Given the calling convention, calculate the register number for rsrc1. In
1045 // principle the register number could change in future hardware, but we know
1046 // it is the same for gfx6-9 (except that LS and ES don't exist on gfx9), so
1047 // we can use the same fixed value that .AMDGPU.config has for Mesa. Note
1048 // that we use a register number rather than a byte offset, so we need to
1049 // divide by 4.
Matthias Braunf1caa282017-12-15 22:22:58 +00001050 unsigned Rsrc1Reg = getRsrcReg(MF.getFunction().getCallingConv()) / 4;
Tim Renouf72800f02017-10-03 19:03:52 +00001051 unsigned Rsrc2Reg = Rsrc1Reg + 1;
1052 // Also calculate the PAL metadata key for *S_SCRATCH_SIZE. It can be used
1053 // with a constant offset to access any non-register shader-specific PAL
1054 // metadata key.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001055 unsigned ScratchSizeKey = PALMD::Key::CS_SCRATCH_SIZE;
Matthias Braunf1caa282017-12-15 22:22:58 +00001056 switch (MF.getFunction().getCallingConv()) {
Tim Renouf72800f02017-10-03 19:03:52 +00001057 case CallingConv::AMDGPU_PS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001058 ScratchSizeKey = PALMD::Key::PS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001059 break;
1060 case CallingConv::AMDGPU_VS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001061 ScratchSizeKey = PALMD::Key::VS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001062 break;
1063 case CallingConv::AMDGPU_GS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001064 ScratchSizeKey = PALMD::Key::GS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001065 break;
1066 case CallingConv::AMDGPU_ES:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001067 ScratchSizeKey = PALMD::Key::ES_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001068 break;
1069 case CallingConv::AMDGPU_HS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001070 ScratchSizeKey = PALMD::Key::HS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001071 break;
1072 case CallingConv::AMDGPU_LS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001073 ScratchSizeKey = PALMD::Key::LS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001074 break;
1075 }
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001076 unsigned NumUsedVgprsKey = ScratchSizeKey +
1077 PALMD::Key::VS_NUM_USED_VGPRS - PALMD::Key::VS_SCRATCH_SIZE;
1078 unsigned NumUsedSgprsKey = ScratchSizeKey +
1079 PALMD::Key::VS_NUM_USED_SGPRS - PALMD::Key::VS_SCRATCH_SIZE;
1080 PALMetadataMap[NumUsedVgprsKey] = CurrentProgramInfo.NumVGPRsForWavesPerEU;
1081 PALMetadataMap[NumUsedSgprsKey] = CurrentProgramInfo.NumSGPRsForWavesPerEU;
Matthias Braunf1caa282017-12-15 22:22:58 +00001082 if (AMDGPU::isCompute(MF.getFunction().getCallingConv())) {
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001083 PALMetadataMap[Rsrc1Reg] |= CurrentProgramInfo.ComputePGMRSrc1;
1084 PALMetadataMap[Rsrc2Reg] |= CurrentProgramInfo.ComputePGMRSrc2;
Tim Renouf72800f02017-10-03 19:03:52 +00001085 // ScratchSize is in bytes, 16 aligned.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001086 PALMetadataMap[ScratchSizeKey] |=
1087 alignTo(CurrentProgramInfo.ScratchSize, 16);
Tim Renouf72800f02017-10-03 19:03:52 +00001088 } else {
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001089 PALMetadataMap[Rsrc1Reg] |= S_00B028_VGPRS(CurrentProgramInfo.VGPRBlocks) |
1090 S_00B028_SGPRS(CurrentProgramInfo.SGPRBlocks);
Tim Renouf72800f02017-10-03 19:03:52 +00001091 if (CurrentProgramInfo.ScratchBlocks > 0)
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001092 PALMetadataMap[Rsrc2Reg] |= S_00B84C_SCRATCH_EN(1);
Tim Renouf72800f02017-10-03 19:03:52 +00001093 // ScratchSize is in bytes, 16 aligned.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001094 PALMetadataMap[ScratchSizeKey] |=
1095 alignTo(CurrentProgramInfo.ScratchSize, 16);
Tim Renouf72800f02017-10-03 19:03:52 +00001096 }
Matthias Braunf1caa282017-12-15 22:22:58 +00001097 if (MF.getFunction().getCallingConv() == CallingConv::AMDGPU_PS) {
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001098 PALMetadataMap[Rsrc2Reg] |=
1099 S_00B02C_EXTRA_LDS_SIZE(CurrentProgramInfo.LDSBlocks);
1100 PALMetadataMap[R_0286CC_SPI_PS_INPUT_ENA / 4] |= MFI->getPSInputEnable();
1101 PALMetadataMap[R_0286D0_SPI_PS_INPUT_ADDR / 4] |= MFI->getPSInputAddr();
Tim Renouf72800f02017-10-03 19:03:52 +00001102 }
1103}
1104
Matt Arsenault24ee0782016-02-12 02:40:47 +00001105// This is supposed to be log2(Size)
1106static amd_element_byte_size_t getElementByteSizeValue(unsigned Size) {
1107 switch (Size) {
1108 case 4:
1109 return AMD_ELEMENT_4_BYTES;
1110 case 8:
1111 return AMD_ELEMENT_8_BYTES;
1112 case 16:
1113 return AMD_ELEMENT_16_BYTES;
1114 default:
1115 llvm_unreachable("invalid private_element_size");
1116 }
1117}
1118
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001119void AMDGPUAsmPrinter::getAmdKernelCode(amd_kernel_code_t &Out,
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001120 const SIProgramInfo &CurrentProgramInfo,
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001121 const MachineFunction &MF) const {
Matt Arsenault4bec7d42018-07-20 09:05:08 +00001122 const Function &F = MF.getFunction();
1123 assert(F.getCallingConv() == CallingConv::AMDGPU_KERNEL ||
1124 F.getCallingConv() == CallingConv::SPIR_KERNEL);
1125
Tom Stellard45bb48e2015-06-13 03:28:10 +00001126 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Tom Stellard5bfbae52018-07-11 20:59:01 +00001127 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Tom Stellard45bb48e2015-06-13 03:28:10 +00001128
Matt Arsenault4cd95092019-02-12 23:44:13 +00001129 AMDGPU::initDefaultAMDKernelCodeT(Out, &STM);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001130
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001131 Out.compute_pgm_resource_registers =
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001132 CurrentProgramInfo.ComputePGMRSrc1 |
1133 (CurrentProgramInfo.ComputePGMRSrc2 << 32);
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001134 Out.code_properties = AMD_CODE_PROPERTY_IS_PTR64;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001135
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001136 if (CurrentProgramInfo.DynamicCallStack)
1137 Out.code_properties |= AMD_CODE_PROPERTY_IS_DYNAMIC_CALLSTACK;
1138
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001139 AMD_HSA_BITS_SET(Out.code_properties,
Matt Arsenault24ee0782016-02-12 02:40:47 +00001140 AMD_CODE_PROPERTY_PRIVATE_ELEMENT_SIZE,
1141 getElementByteSizeValue(STM.getMaxPrivateElementSize()));
1142
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001143 if (MFI->hasPrivateSegmentBuffer()) {
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001144 Out.code_properties |=
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001145 AMD_CODE_PROPERTY_ENABLE_SGPR_PRIVATE_SEGMENT_BUFFER;
1146 }
1147
1148 if (MFI->hasDispatchPtr())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001149 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_PTR;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001150
1151 if (MFI->hasQueuePtr())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001152 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_QUEUE_PTR;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001153
1154 if (MFI->hasKernargSegmentPtr())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001155 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_KERNARG_SEGMENT_PTR;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001156
1157 if (MFI->hasDispatchID())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001158 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_ID;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001159
1160 if (MFI->hasFlatScratchInit())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001161 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_FLAT_SCRATCH_INIT;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001162
Tom Stellard48f29f22015-11-26 00:43:29 +00001163 if (MFI->hasDispatchPtr())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001164 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_PTR;
Tom Stellard48f29f22015-11-26 00:43:29 +00001165
Nicolai Haehnle5b504972016-01-04 23:35:53 +00001166 if (STM.isXNACKEnabled())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001167 Out.code_properties |= AMD_CODE_PROPERTY_IS_XNACK_SUPPORTED;
Nicolai Haehnle5b504972016-01-04 23:35:53 +00001168
Matt Arsenault4bec7d42018-07-20 09:05:08 +00001169 unsigned MaxKernArgAlign;
1170 Out.kernarg_segment_byte_size = STM.getKernArgSegmentSize(F, MaxKernArgAlign);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001171 Out.wavefront_sgpr_count = CurrentProgramInfo.NumSGPR;
1172 Out.workitem_vgpr_count = CurrentProgramInfo.NumVGPR;
1173 Out.workitem_private_segment_byte_size = CurrentProgramInfo.ScratchSize;
1174 Out.workgroup_group_segment_byte_size = CurrentProgramInfo.LDSSize;
Tom Stellard45bb48e2015-06-13 03:28:10 +00001175
Tom Stellard175959e2016-12-06 21:53:10 +00001176 // These alignment values are specified in powers of two, so alignment =
1177 // 2^n. The minimum alignment is 2^4 = 16.
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001178 Out.kernarg_segment_alignment = std::max((size_t)4,
Matt Arsenault4bec7d42018-07-20 09:05:08 +00001179 countTrailingZeros(MaxKernArgAlign));
Tom Stellard45bb48e2015-06-13 03:28:10 +00001180}
1181
1182bool AMDGPUAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
1183 unsigned AsmVariant,
1184 const char *ExtraCode, raw_ostream &O) {
Matt Arsenault36cd1852017-08-09 20:09:35 +00001185 // First try the generic code, which knows about modifiers like 'c' and 'n'.
1186 if (!AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, O))
1187 return false;
1188
Tom Stellard45bb48e2015-06-13 03:28:10 +00001189 if (ExtraCode && ExtraCode[0]) {
1190 if (ExtraCode[1] != 0)
1191 return true; // Unknown modifier.
1192
1193 switch (ExtraCode[0]) {
Tom Stellard45bb48e2015-06-13 03:28:10 +00001194 case 'r':
1195 break;
Matt Arsenault36cd1852017-08-09 20:09:35 +00001196 default:
1197 return true;
Tom Stellard45bb48e2015-06-13 03:28:10 +00001198 }
1199 }
1200
Matt Arsenault36cd1852017-08-09 20:09:35 +00001201 // TODO: Should be able to support other operand types like globals.
1202 const MachineOperand &MO = MI->getOperand(OpNo);
1203 if (MO.isReg()) {
1204 AMDGPUInstPrinter::printRegOperand(MO.getReg(), O,
1205 *MF->getSubtarget().getRegisterInfo());
1206 return false;
1207 }
1208
1209 return true;
Tom Stellard45bb48e2015-06-13 03:28:10 +00001210}