blob: 7e6a406b1e34fbeb4202883f384cd045d3a05ec3 [file] [log] [blame]
Konstantin Zhuravlyov30f03b32018-06-27 05:36:03 +00001//===-- AMDGPUAsmPrinter.cpp - AMDGPU assembly printer -------------------===//
Tom Stellard45bb48e2015-06-13 03:28:10 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10/// \file
11///
12/// The AMDGPUAsmPrinter is used to print both assembly string and also binary
13/// code. When passed an MCAsmStreamer it prints assembly and when passed
14/// an MCObjectStreamer it outputs binary code.
15//
16//===----------------------------------------------------------------------===//
17//
18
19#include "AMDGPUAsmPrinter.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000020#include "AMDGPU.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000021#include "AMDGPUSubtarget.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000022#include "AMDGPUTargetMachine.h"
23#include "InstPrinter/AMDGPUInstPrinter.h"
Tom Stellard44b30b42018-05-22 02:03:23 +000024#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000025#include "MCTargetDesc/AMDGPUTargetStreamer.h"
Tom Stellardc5015012018-05-24 20:02:01 +000026#include "R600AsmPrinter.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000027#include "R600Defines.h"
28#include "R600MachineFunctionInfo.h"
29#include "R600RegisterInfo.h"
30#include "SIDefines.h"
Matt Arsenaulta9720c62016-06-20 17:51:32 +000031#include "SIInstrInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000032#include "SIMachineFunctionInfo.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000033#include "SIRegisterInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000034#include "Utils/AMDGPUBaseInfo.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000035#include "llvm/BinaryFormat/ELF.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000036#include "llvm/CodeGen/MachineFrameInfo.h"
Matt Arsenaultff982412016-06-20 18:13:04 +000037#include "llvm/IR/DiagnosticInfo.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000038#include "llvm/MC/MCContext.h"
39#include "llvm/MC/MCSectionELF.h"
40#include "llvm/MC/MCStreamer.h"
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +000041#include "llvm/Support/AMDGPUMetadata.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000042#include "llvm/Support/MathExtras.h"
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +000043#include "llvm/Support/TargetParser.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000044#include "llvm/Support/TargetRegistry.h"
David Blaikie6054e652018-03-23 23:58:19 +000045#include "llvm/Target/TargetLoweringObjectFile.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000046
47using namespace llvm;
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +000048using namespace llvm::AMDGPU;
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 Arsenault0da63502018-08-31 05:49:54 +0000102}
Tom Stellard45bb48e2015-06-13 03:28:10 +0000103
Mehdi Amini117296c2016-10-01 02:56:57 +0000104StringRef AMDGPUAsmPrinter::getPassName() const {
Matt Arsenaultf9245b72016-07-22 17:01:25 +0000105 return "AMDGPU Assembly Printer";
106}
107
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000108const MCSubtargetInfo* AMDGPUAsmPrinter::getSTI() const {
109 return TM.getMCSubtargetInfo();
110}
111
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000112AMDGPUTargetStreamer* AMDGPUAsmPrinter::getTargetStreamer() const {
113 if (!OutStreamer)
114 return nullptr;
115 return static_cast<AMDGPUTargetStreamer*>(OutStreamer->getTargetStreamer());
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000116}
117
Tom Stellardf4218372016-01-12 17:18:17 +0000118void AMDGPUAsmPrinter::EmitStartOfAsmFile(Module &M) {
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000119 if (IsaInfo::hasCodeObjectV3(getSTI()) &&
120 TM.getTargetTriple().getOS() == Triple::AMDHSA)
121 return;
122
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000123 if (TM.getTargetTriple().getOS() != Triple::AMDHSA &&
124 TM.getTargetTriple().getOS() != Triple::AMDPAL)
125 return;
126
127 if (TM.getTargetTriple().getOS() == Triple::AMDHSA)
128 HSAMetadataStream.begin(M);
129
130 if (TM.getTargetTriple().getOS() == Triple::AMDPAL)
131 readPALMetadata(M);
132
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000133 // HSA emits NT_AMDGPU_HSA_CODE_OBJECT_VERSION for code objects v2.
134 if (TM.getTargetTriple().getOS() == Triple::AMDHSA)
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000135 getTargetStreamer()->EmitDirectiveHSACodeObjectVersion(2, 1);
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000136
137 // HSA and PAL emit NT_AMDGPU_HSA_ISA for code objects v2.
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000138 IsaVersion Version = getIsaVersion(getSTI()->getCPU());
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000139 getTargetStreamer()->EmitDirectiveHSACodeObjectISA(
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000140 Version.Major, Version.Minor, Version.Stepping, "AMD", "AMDGPU");
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000141}
142
143void AMDGPUAsmPrinter::EmitEndOfAsmFile(Module &M) {
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000144 // TODO: Add metadata to code object v3.
145 if (IsaInfo::hasCodeObjectV3(getSTI()) &&
146 TM.getTargetTriple().getOS() == Triple::AMDHSA)
147 return;
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000148
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000149 // Following code requires TargetStreamer to be present.
150 if (!getTargetStreamer())
151 return;
152
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000153 // Emit ISA Version (NT_AMD_AMDGPU_ISA).
154 std::string ISAVersionString;
155 raw_string_ostream ISAVersionStream(ISAVersionString);
156 IsaInfo::streamIsaVersion(getSTI(), ISAVersionStream);
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000157 getTargetStreamer()->EmitISAVersion(ISAVersionStream.str());
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000158
159 // Emit HSA Metadata (NT_AMD_AMDGPU_HSA_METADATA).
160 if (TM.getTargetTriple().getOS() == Triple::AMDHSA) {
161 HSAMetadataStream.end();
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000162 getTargetStreamer()->EmitHSAMetadata(HSAMetadataStream.getHSAMetadata());
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000163 }
164
165 // Emit PAL Metadata (NT_AMD_AMDGPU_PAL_METADATA).
Tim Renouf72800f02017-10-03 19:03:52 +0000166 if (TM.getTargetTriple().getOS() == Triple::AMDPAL) {
167 // Copy the PAL metadata from the map where we collected it into a vector,
168 // then write it as a .note.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +0000169 PALMD::Metadata PALMetadataVector;
170 for (auto i : PALMetadataMap) {
171 PALMetadataVector.push_back(i.first);
172 PALMetadataVector.push_back(i.second);
Tim Renouf72800f02017-10-03 19:03:52 +0000173 }
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000174 getTargetStreamer()->EmitPALMetadata(PALMetadataVector);
Tim Renouf72800f02017-10-03 19:03:52 +0000175 }
Tom Stellardf4218372016-01-12 17:18:17 +0000176}
177
Matt Arsenault6bc43d82016-10-06 16:20:41 +0000178bool AMDGPUAsmPrinter::isBlockOnlyReachableByFallthrough(
179 const MachineBasicBlock *MBB) const {
180 if (!AsmPrinter::isBlockOnlyReachableByFallthrough(MBB))
181 return false;
182
183 if (MBB->empty())
184 return true;
185
186 // If this is a block implementing a long branch, an expression relative to
187 // the start of the block is needed. to the start of the block.
188 // XXX - Is there a smarter way to check this?
189 return (MBB->back().getOpcode() != AMDGPU::S_SETPC_B64);
190}
191
Tom Stellardf151a452015-06-26 21:14:58 +0000192void AMDGPUAsmPrinter::EmitFunctionBodyStart() {
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000193 const SIMachineFunctionInfo &MFI = *MF->getInfo<SIMachineFunctionInfo>();
194 if (!MFI.isEntryFunction())
195 return;
Matt Arsenault021a2182017-04-19 19:38:10 +0000196
Tom Stellard5bfbae52018-07-11 20:59:01 +0000197 const GCNSubtarget &STM = MF->getSubtarget<GCNSubtarget>();
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000198 const Function &F = MF->getFunction();
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000199 if (!STM.hasCodeObjectV3() && STM.isAmdHsaOrMesa(F) &&
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000200 (F.getCallingConv() == CallingConv::AMDGPU_KERNEL ||
201 F.getCallingConv() == CallingConv::SPIR_KERNEL)) {
202 amd_kernel_code_t KernelCode;
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000203 getAmdKernelCode(KernelCode, CurrentProgramInfo, *MF);
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000204 getTargetStreamer()->EmitAMDKernelCodeT(KernelCode);
Tom Stellardf151a452015-06-26 21:14:58 +0000205 }
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000206
207 if (TM.getTargetTriple().getOS() != Triple::AMDHSA)
208 return;
Konstantin Zhuravlyov516651b2017-10-11 22:59:35 +0000209
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000210 if (!STM.hasCodeObjectV3() && STM.isAmdHsaOS())
211 HSAMetadataStream.emitKernel(*MF, CurrentProgramInfo);
Tom Stellardf151a452015-06-26 21:14:58 +0000212}
213
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000214void AMDGPUAsmPrinter::EmitFunctionBodyEnd() {
215 const SIMachineFunctionInfo &MFI = *MF->getInfo<SIMachineFunctionInfo>();
216 if (!MFI.isEntryFunction())
217 return;
218 if (!IsaInfo::hasCodeObjectV3(getSTI()) ||
219 TM.getTargetTriple().getOS() != Triple::AMDHSA)
220 return;
221
Konstantin Zhuravlyovce25bc32018-06-12 18:33:51 +0000222 auto &Streamer = getTargetStreamer()->getStreamer();
223 auto &Context = Streamer.getContext();
224 auto &ObjectFileInfo = *Context.getObjectFileInfo();
225 auto &ReadOnlySection = *ObjectFileInfo.getReadOnlySection();
226
227 Streamer.PushSection();
228 Streamer.SwitchSection(&ReadOnlySection);
229
230 // CP microcode requires the kernel descriptor to be allocated on 64 byte
231 // alignment.
232 Streamer.EmitValueToAlignment(64, 0, 1, 0);
233 if (ReadOnlySection.getAlignment() < 64)
234 ReadOnlySection.setAlignment(64);
235
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000236 SmallString<128> KernelName;
237 getNameWithPrefix(KernelName, &MF->getFunction());
238 getTargetStreamer()->EmitAmdhsaKernelDescriptor(
Scott Linder1e8c2c72018-06-21 19:38:56 +0000239 *getSTI(), KernelName, getAmdhsaKernelDescriptor(*MF, CurrentProgramInfo),
240 CurrentProgramInfo.NumVGPRsForWavesPerEU,
241 CurrentProgramInfo.NumSGPRsForWavesPerEU -
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000242 IsaInfo::getNumExtraSGPRs(getSTI(),
Scott Linder1e8c2c72018-06-21 19:38:56 +0000243 CurrentProgramInfo.VCCUsed,
244 CurrentProgramInfo.FlatUsed),
245 CurrentProgramInfo.VCCUsed, CurrentProgramInfo.FlatUsed,
246 hasXNACK(*getSTI()));
Konstantin Zhuravlyovce25bc32018-06-12 18:33:51 +0000247
248 Streamer.PopSection();
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000249}
250
Tom Stellard1e1b05d2015-11-06 11:45:14 +0000251void AMDGPUAsmPrinter::EmitFunctionEntryLabel() {
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000252 if (IsaInfo::hasCodeObjectV3(getSTI()) &&
253 TM.getTargetTriple().getOS() == Triple::AMDHSA) {
254 AsmPrinter::EmitFunctionEntryLabel();
255 return;
256 }
257
Tom Stellard1e1b05d2015-11-06 11:45:14 +0000258 const SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>();
Tom Stellard5bfbae52018-07-11 20:59:01 +0000259 const GCNSubtarget &STM = MF->getSubtarget<GCNSubtarget>();
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000260 if (MFI->isEntryFunction() && STM.isAmdHsaOrMesa(MF->getFunction())) {
Tom Stellard1b9748c2016-09-26 17:29:25 +0000261 SmallString<128> SymbolName;
Matthias Braunf1caa282017-12-15 22:22:58 +0000262 getNameWithPrefix(SymbolName, &MF->getFunction()),
Konstantin Zhuravlyov8c18f5b2017-10-14 22:16:26 +0000263 getTargetStreamer()->EmitAMDGPUSymbolType(
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000264 SymbolName, ELF::STT_AMDGPU_HSA_KERNEL);
Tom Stellard1e1b05d2015-11-06 11:45:14 +0000265 }
Tom Stellard5bfbae52018-07-11 20:59:01 +0000266 const GCNSubtarget &STI = MF->getSubtarget<GCNSubtarget>();
Tim Renoufcead41d2017-12-08 14:09:34 +0000267 if (STI.dumpCode()) {
268 // Disassemble function name label to text.
Matthias Braunf1caa282017-12-15 22:22:58 +0000269 DisasmLines.push_back(MF->getName().str() + ":");
Tim Renoufcead41d2017-12-08 14:09:34 +0000270 DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLines.back().size());
271 HexLines.push_back("");
272 }
Tom Stellard1e1b05d2015-11-06 11:45:14 +0000273
274 AsmPrinter::EmitFunctionEntryLabel();
275}
276
Tim Renoufcead41d2017-12-08 14:09:34 +0000277void AMDGPUAsmPrinter::EmitBasicBlockStart(const MachineBasicBlock &MBB) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000278 const GCNSubtarget &STI = MBB.getParent()->getSubtarget<GCNSubtarget>();
Tim Renoufcead41d2017-12-08 14:09:34 +0000279 if (STI.dumpCode() && !isBlockOnlyReachableByFallthrough(&MBB)) {
280 // Write a line for the basic block label if it is not only fallthrough.
281 DisasmLines.push_back(
282 (Twine("BB") + Twine(getFunctionNumber())
283 + "_" + Twine(MBB.getNumber()) + ":").str());
284 DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLines.back().size());
285 HexLines.push_back("");
286 }
287 AsmPrinter::EmitBasicBlockStart(MBB);
288}
289
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000290void AMDGPUAsmPrinter::EmitGlobalVariable(const GlobalVariable *GV) {
291
Tom Stellard00f2f912015-12-02 19:47:57 +0000292 // Group segment variables aren't emitted in HSA.
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000293 if (AMDGPU::isGroupSegment(GV))
Tom Stellard00f2f912015-12-02 19:47:57 +0000294 return;
295
Tom Stellardfcfaea42016-05-05 17:03:33 +0000296 AsmPrinter::EmitGlobalVariable(GV);
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000297}
298
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000299bool AMDGPUAsmPrinter::doFinalization(Module &M) {
300 CallGraphResourceInfo.clear();
301 return AsmPrinter::doFinalization(M);
302}
303
Tim Renouf72800f02017-10-03 19:03:52 +0000304// For the amdpal OS type, read the amdgpu.pal.metadata supplied by the
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +0000305// frontend into our PALMetadataMap, ready for per-function modification. It
Tim Renouf72800f02017-10-03 19:03:52 +0000306// is a NamedMD containing an MDTuple containing a number of MDNodes each of
307// which is an integer value, and each two integer values forms a key=value
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +0000308// pair that we store as PALMetadataMap[key]=value in the map.
309void AMDGPUAsmPrinter::readPALMetadata(Module &M) {
Tim Renouf72800f02017-10-03 19:03:52 +0000310 auto NamedMD = M.getNamedMetadata("amdgpu.pal.metadata");
311 if (!NamedMD || !NamedMD->getNumOperands())
312 return;
313 auto Tuple = dyn_cast<MDTuple>(NamedMD->getOperand(0));
314 if (!Tuple)
315 return;
316 for (unsigned I = 0, E = Tuple->getNumOperands() & -2; I != E; I += 2) {
317 auto Key = mdconst::dyn_extract<ConstantInt>(Tuple->getOperand(I));
318 auto Val = mdconst::dyn_extract<ConstantInt>(Tuple->getOperand(I + 1));
319 if (!Key || !Val)
320 continue;
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +0000321 PALMetadataMap[Key->getZExtValue()] = Val->getZExtValue();
Tim Renouf72800f02017-10-03 19:03:52 +0000322 }
323}
324
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000325// Print comments that apply to both callable functions and entry points.
326void AMDGPUAsmPrinter::emitCommonFunctionComments(
327 uint32_t NumVGPR,
328 uint32_t NumSGPR,
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000329 uint64_t ScratchSize,
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000330 uint64_t CodeSize,
331 const AMDGPUMachineFunction *MFI) {
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000332 OutStreamer->emitRawComment(" codeLenInByte = " + Twine(CodeSize), false);
333 OutStreamer->emitRawComment(" NumSgprs: " + Twine(NumSGPR), false);
334 OutStreamer->emitRawComment(" NumVgprs: " + Twine(NumVGPR), false);
335 OutStreamer->emitRawComment(" ScratchSize: " + Twine(ScratchSize), false);
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000336 OutStreamer->emitRawComment(" MemoryBound: " + Twine(MFI->isMemoryBound()),
337 false);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000338}
339
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000340uint16_t AMDGPUAsmPrinter::getAmdhsaKernelCodeProperties(
341 const MachineFunction &MF) const {
342 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
343 uint16_t KernelCodeProperties = 0;
344
345 if (MFI.hasPrivateSegmentBuffer()) {
346 KernelCodeProperties |=
347 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_PRIVATE_SEGMENT_BUFFER;
348 }
349 if (MFI.hasDispatchPtr()) {
350 KernelCodeProperties |=
351 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_PTR;
352 }
353 if (MFI.hasQueuePtr()) {
354 KernelCodeProperties |=
355 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_QUEUE_PTR;
356 }
357 if (MFI.hasKernargSegmentPtr()) {
358 KernelCodeProperties |=
359 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_KERNARG_SEGMENT_PTR;
360 }
361 if (MFI.hasDispatchID()) {
362 KernelCodeProperties |=
363 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_ID;
364 }
365 if (MFI.hasFlatScratchInit()) {
366 KernelCodeProperties |=
367 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_SGPR_FLAT_SCRATCH_INIT;
368 }
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000369
370 return KernelCodeProperties;
371}
372
373amdhsa::kernel_descriptor_t AMDGPUAsmPrinter::getAmdhsaKernelDescriptor(
374 const MachineFunction &MF,
375 const SIProgramInfo &PI) const {
376 amdhsa::kernel_descriptor_t KernelDescriptor;
377 memset(&KernelDescriptor, 0x0, sizeof(KernelDescriptor));
378
379 assert(isUInt<32>(PI.ScratchSize));
380 assert(isUInt<32>(PI.ComputePGMRSrc1));
381 assert(isUInt<32>(PI.ComputePGMRSrc2));
382
383 KernelDescriptor.group_segment_fixed_size = PI.LDSSize;
384 KernelDescriptor.private_segment_fixed_size = PI.ScratchSize;
385 KernelDescriptor.compute_pgm_rsrc1 = PI.ComputePGMRSrc1;
386 KernelDescriptor.compute_pgm_rsrc2 = PI.ComputePGMRSrc2;
387 KernelDescriptor.kernel_code_properties = getAmdhsaKernelCodeProperties(MF);
388
389 return KernelDescriptor;
390}
391
Tom Stellard45bb48e2015-06-13 03:28:10 +0000392bool AMDGPUAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000393 CurrentProgramInfo = SIProgramInfo();
394
Matt Arsenault6cb7b8a2017-04-19 17:42:39 +0000395 const AMDGPUMachineFunction *MFI = MF.getInfo<AMDGPUMachineFunction>();
Tom Stellard45bb48e2015-06-13 03:28:10 +0000396
397 // The starting address of all shader programs must be 256 bytes aligned.
Matt Arsenault6cb7b8a2017-04-19 17:42:39 +0000398 // Regular functions just need the basic required instruction alignment.
399 MF.setAlignment(MFI->isEntryFunction() ? 8 : 2);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000400
401 SetupMachineFunction(MF);
402
Tom Stellard5bfbae52018-07-11 20:59:01 +0000403 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Konstantin Zhuravlyov67a6d542017-01-06 17:02:10 +0000404 MCContext &Context = getObjFileLowering().getContext();
Tim Renouf807ecc32018-02-06 13:39:38 +0000405 // FIXME: This should be an explicit check for Mesa.
406 if (!STM.isAmdHsaOS() && !STM.isAmdPalOS()) {
Konstantin Zhuravlyov67a6d542017-01-06 17:02:10 +0000407 MCSectionELF *ConfigSection =
408 Context.getELFSection(".AMDGPU.config", ELF::SHT_PROGBITS, 0);
409 OutStreamer->SwitchSection(ConfigSection);
410 }
411
Tom Stellardc5015012018-05-24 20:02:01 +0000412 if (MFI->isEntryFunction()) {
413 getSIProgramInfo(CurrentProgramInfo, MF);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000414 } else {
Tom Stellardc5015012018-05-24 20:02:01 +0000415 auto I = CallGraphResourceInfo.insert(
416 std::make_pair(&MF.getFunction(), SIFunctionResourceInfo()));
417 SIFunctionResourceInfo &Info = I.first->second;
418 assert(I.second && "should only be called once per function");
419 Info = analyzeResourceUsage(MF);
420 }
421
422 if (STM.isAmdPalOS())
423 EmitPALMetadata(MF, CurrentProgramInfo);
424 else if (!STM.isAmdHsaOS()) {
425 EmitProgramInfoSI(MF, CurrentProgramInfo);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000426 }
427
428 DisasmLines.clear();
429 HexLines.clear();
430 DisasmLineMaxLen = 0;
431
432 EmitFunctionBody();
433
434 if (isVerbose()) {
435 MCSectionELF *CommentSection =
436 Context.getELFSection(".AMDGPU.csdata", ELF::SHT_PROGBITS, 0);
437 OutStreamer->SwitchSection(CommentSection);
438
Tom Stellardc5015012018-05-24 20:02:01 +0000439 if (!MFI->isEntryFunction()) {
440 OutStreamer->emitRawComment(" Function info:", false);
441 SIFunctionResourceInfo &Info = CallGraphResourceInfo[&MF.getFunction()];
442 emitCommonFunctionComments(
443 Info.NumVGPR,
Tom Stellard5bfbae52018-07-11 20:59:01 +0000444 Info.getTotalNumSGPRs(MF.getSubtarget<GCNSubtarget>()),
Tom Stellardc5015012018-05-24 20:02:01 +0000445 Info.PrivateSegmentSize,
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000446 getFunctionCodeSize(MF), MFI);
Tom Stellardc5015012018-05-24 20:02:01 +0000447 return false;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000448 }
Tom Stellardc5015012018-05-24 20:02:01 +0000449
450 OutStreamer->emitRawComment(" Kernel info:", false);
451 emitCommonFunctionComments(CurrentProgramInfo.NumVGPR,
452 CurrentProgramInfo.NumSGPR,
453 CurrentProgramInfo.ScratchSize,
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000454 getFunctionCodeSize(MF), MFI);
Tom Stellardc5015012018-05-24 20:02:01 +0000455
456 OutStreamer->emitRawComment(
457 " FloatMode: " + Twine(CurrentProgramInfo.FloatMode), false);
458 OutStreamer->emitRawComment(
459 " IeeeMode: " + Twine(CurrentProgramInfo.IEEEMode), false);
460 OutStreamer->emitRawComment(
461 " LDSByteSize: " + Twine(CurrentProgramInfo.LDSSize) +
462 " bytes/workgroup (compile time only)", false);
463
464 OutStreamer->emitRawComment(
465 " SGPRBlocks: " + Twine(CurrentProgramInfo.SGPRBlocks), false);
466 OutStreamer->emitRawComment(
467 " VGPRBlocks: " + Twine(CurrentProgramInfo.VGPRBlocks), false);
468
469 OutStreamer->emitRawComment(
470 " NumSGPRsForWavesPerEU: " +
471 Twine(CurrentProgramInfo.NumSGPRsForWavesPerEU), false);
472 OutStreamer->emitRawComment(
473 " NumVGPRsForWavesPerEU: " +
474 Twine(CurrentProgramInfo.NumVGPRsForWavesPerEU), false);
475
476 OutStreamer->emitRawComment(
Stanislav Mekhanoshin1c538422018-05-25 17:25:12 +0000477 " WaveLimiterHint : " + Twine(MFI->needsWaveLimiter()), false);
478
Tom Stellard5bfbae52018-07-11 20:59:01 +0000479 if (MF.getSubtarget<GCNSubtarget>().debuggerEmitPrologue()) {
Tom Stellardc5015012018-05-24 20:02:01 +0000480 OutStreamer->emitRawComment(
481 " DebuggerWavefrontPrivateSegmentOffsetSGPR: s" +
482 Twine(CurrentProgramInfo.DebuggerWavefrontPrivateSegmentOffsetSGPR), false);
483 OutStreamer->emitRawComment(
484 " DebuggerPrivateSegmentBufferSGPR: s" +
485 Twine(CurrentProgramInfo.DebuggerPrivateSegmentBufferSGPR), false);
486 }
487
488 OutStreamer->emitRawComment(
489 " COMPUTE_PGM_RSRC2:USER_SGPR: " +
490 Twine(G_00B84C_USER_SGPR(CurrentProgramInfo.ComputePGMRSrc2)), false);
491 OutStreamer->emitRawComment(
492 " COMPUTE_PGM_RSRC2:TRAP_HANDLER: " +
493 Twine(G_00B84C_TRAP_HANDLER(CurrentProgramInfo.ComputePGMRSrc2)), false);
494 OutStreamer->emitRawComment(
495 " COMPUTE_PGM_RSRC2:TGID_X_EN: " +
496 Twine(G_00B84C_TGID_X_EN(CurrentProgramInfo.ComputePGMRSrc2)), false);
497 OutStreamer->emitRawComment(
498 " COMPUTE_PGM_RSRC2:TGID_Y_EN: " +
499 Twine(G_00B84C_TGID_Y_EN(CurrentProgramInfo.ComputePGMRSrc2)), false);
500 OutStreamer->emitRawComment(
501 " COMPUTE_PGM_RSRC2:TGID_Z_EN: " +
502 Twine(G_00B84C_TGID_Z_EN(CurrentProgramInfo.ComputePGMRSrc2)), false);
503 OutStreamer->emitRawComment(
504 " COMPUTE_PGM_RSRC2:TIDIG_COMP_CNT: " +
505 Twine(G_00B84C_TIDIG_COMP_CNT(CurrentProgramInfo.ComputePGMRSrc2)),
506 false);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000507 }
508
509 if (STM.dumpCode()) {
510
511 OutStreamer->SwitchSection(
512 Context.getELFSection(".AMDGPU.disasm", ELF::SHT_NOTE, 0));
513
514 for (size_t i = 0; i < DisasmLines.size(); ++i) {
Tim Renoufcead41d2017-12-08 14:09:34 +0000515 std::string Comment = "\n";
516 if (!HexLines[i].empty()) {
517 Comment = std::string(DisasmLineMaxLen - DisasmLines[i].size(), ' ');
518 Comment += " ; " + HexLines[i] + "\n";
519 }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000520
521 OutStreamer->EmitBytes(StringRef(DisasmLines[i]));
522 OutStreamer->EmitBytes(StringRef(Comment));
523 }
524 }
525
526 return false;
527}
528
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000529uint64_t AMDGPUAsmPrinter::getFunctionCodeSize(const MachineFunction &MF) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000530 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000531 const SIInstrInfo *TII = STM.getInstrInfo();
Tom Stellard45bb48e2015-06-13 03:28:10 +0000532
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000533 uint64_t CodeSize = 0;
534
Tom Stellard45bb48e2015-06-13 03:28:10 +0000535 for (const MachineBasicBlock &MBB : MF) {
536 for (const MachineInstr &MI : MBB) {
537 // TODO: CodeSize should account for multiple functions.
Matt Arsenaultc5746862015-08-12 09:04:44 +0000538
539 // TODO: Should we count size of debug info?
Shiva Chen801bf7e2018-05-09 02:42:00 +0000540 if (MI.isDebugInstr())
Matt Arsenaultc5746862015-08-12 09:04:44 +0000541 continue;
542
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000543 CodeSize += TII->getInstSizeInBytes(MI);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000544 }
545 }
546
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000547 return CodeSize;
548}
549
550static bool hasAnyNonFlatUseOfReg(const MachineRegisterInfo &MRI,
551 const SIInstrInfo &TII,
552 unsigned Reg) {
553 for (const MachineOperand &UseOp : MRI.reg_operands(Reg)) {
554 if (!UseOp.isImplicit() || !TII.isFLAT(*UseOp.getParent()))
555 return true;
556 }
557
558 return false;
559}
560
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000561int32_t AMDGPUAsmPrinter::SIFunctionResourceInfo::getTotalNumSGPRs(
Tom Stellard5bfbae52018-07-11 20:59:01 +0000562 const GCNSubtarget &ST) const {
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000563 return NumExplicitSGPR + IsaInfo::getNumExtraSGPRs(&ST,
Scott Linder1e8c2c72018-06-21 19:38:56 +0000564 UsesVCC, UsesFlatScratch);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000565}
566
567AMDGPUAsmPrinter::SIFunctionResourceInfo AMDGPUAsmPrinter::analyzeResourceUsage(
568 const MachineFunction &MF) const {
569 SIFunctionResourceInfo Info;
570
571 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Tom Stellard5bfbae52018-07-11 20:59:01 +0000572 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000573 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
574 const MachineRegisterInfo &MRI = MF.getRegInfo();
575 const SIInstrInfo *TII = ST.getInstrInfo();
576 const SIRegisterInfo &TRI = TII->getRegisterInfo();
577
578 Info.UsesFlatScratch = MRI.isPhysRegUsed(AMDGPU::FLAT_SCR_LO) ||
579 MRI.isPhysRegUsed(AMDGPU::FLAT_SCR_HI);
580
581 // Even if FLAT_SCRATCH is implicitly used, it has no effect if flat
582 // instructions aren't used to access the scratch buffer. Inline assembly may
583 // need it though.
584 //
585 // If we only have implicit uses of flat_scr on flat instructions, it is not
586 // really needed.
587 if (Info.UsesFlatScratch && !MFI->hasFlatScratchInit() &&
588 (!hasAnyNonFlatUseOfReg(MRI, *TII, AMDGPU::FLAT_SCR) &&
589 !hasAnyNonFlatUseOfReg(MRI, *TII, AMDGPU::FLAT_SCR_LO) &&
590 !hasAnyNonFlatUseOfReg(MRI, *TII, AMDGPU::FLAT_SCR_HI))) {
591 Info.UsesFlatScratch = false;
592 }
593
594 Info.HasDynamicallySizedStack = FrameInfo.hasVarSizedObjects();
595 Info.PrivateSegmentSize = FrameInfo.getStackSize();
Matt Arsenault03ae3992018-03-29 21:30:06 +0000596 if (MFI->isStackRealigned())
597 Info.PrivateSegmentSize += FrameInfo.getMaxAlignment();
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000598
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000599
Matt Arsenault3416b8c2017-06-01 15:05:15 +0000600 Info.UsesVCC = MRI.isPhysRegUsed(AMDGPU::VCC_LO) ||
601 MRI.isPhysRegUsed(AMDGPU::VCC_HI);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000602
Matt Arsenault3416b8c2017-06-01 15:05:15 +0000603 // If there are no calls, MachineRegisterInfo can tell us the used register
604 // count easily.
Matt Arsenault22cdb612017-09-05 18:36:36 +0000605 // A tail call isn't considered a call for MachineFrameInfo's purposes.
606 if (!FrameInfo.hasCalls() && !FrameInfo.hasTailCall()) {
Matt Arsenault2738ede2017-08-02 17:15:01 +0000607 MCPhysReg HighestVGPRReg = AMDGPU::NoRegister;
608 for (MCPhysReg Reg : reverse(AMDGPU::VGPR_32RegClass.getRegisters())) {
609 if (MRI.isPhysRegUsed(Reg)) {
610 HighestVGPRReg = Reg;
611 break;
612 }
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000613 }
Matt Arsenault2738ede2017-08-02 17:15:01 +0000614
615 MCPhysReg HighestSGPRReg = AMDGPU::NoRegister;
616 for (MCPhysReg Reg : reverse(AMDGPU::SGPR_32RegClass.getRegisters())) {
617 if (MRI.isPhysRegUsed(Reg)) {
618 HighestSGPRReg = Reg;
619 break;
620 }
621 }
622
623 // We found the maximum register index. They start at 0, so add one to get the
624 // number of registers.
625 Info.NumVGPR = HighestVGPRReg == AMDGPU::NoRegister ? 0 :
626 TRI.getHWRegIndex(HighestVGPRReg) + 1;
627 Info.NumExplicitSGPR = HighestSGPRReg == AMDGPU::NoRegister ? 0 :
628 TRI.getHWRegIndex(HighestSGPRReg) + 1;
629
630 return Info;
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000631 }
632
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000633 int32_t MaxVGPR = -1;
634 int32_t MaxSGPR = -1;
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000635 uint64_t CalleeFrameSize = 0;
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000636
637 for (const MachineBasicBlock &MBB : MF) {
638 for (const MachineInstr &MI : MBB) {
639 // TODO: Check regmasks? Do they occur anywhere except calls?
640 for (const MachineOperand &MO : MI.operands()) {
641 unsigned Width = 0;
642 bool IsSGPR = false;
643
644 if (!MO.isReg())
645 continue;
646
647 unsigned Reg = MO.getReg();
648 switch (Reg) {
649 case AMDGPU::EXEC:
650 case AMDGPU::EXEC_LO:
651 case AMDGPU::EXEC_HI:
652 case AMDGPU::SCC:
653 case AMDGPU::M0:
654 case AMDGPU::SRC_SHARED_BASE:
655 case AMDGPU::SRC_SHARED_LIMIT:
656 case AMDGPU::SRC_PRIVATE_BASE:
657 case AMDGPU::SRC_PRIVATE_LIMIT:
658 continue;
659
660 case AMDGPU::NoRegister:
Shiva Chen801bf7e2018-05-09 02:42:00 +0000661 assert(MI.isDebugInstr());
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000662 continue;
663
664 case AMDGPU::VCC:
665 case AMDGPU::VCC_LO:
666 case AMDGPU::VCC_HI:
667 Info.UsesVCC = true;
668 continue;
669
670 case AMDGPU::FLAT_SCR:
671 case AMDGPU::FLAT_SCR_LO:
672 case AMDGPU::FLAT_SCR_HI:
673 continue;
674
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000675 case AMDGPU::XNACK_MASK:
676 case AMDGPU::XNACK_MASK_LO:
677 case AMDGPU::XNACK_MASK_HI:
678 llvm_unreachable("xnack_mask registers should not be used");
679
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000680 case AMDGPU::TBA:
681 case AMDGPU::TBA_LO:
682 case AMDGPU::TBA_HI:
683 case AMDGPU::TMA:
684 case AMDGPU::TMA_LO:
685 case AMDGPU::TMA_HI:
686 llvm_unreachable("trap handler registers should not be used");
687
688 default:
689 break;
690 }
691
692 if (AMDGPU::SReg_32RegClass.contains(Reg)) {
693 assert(!AMDGPU::TTMP_32RegClass.contains(Reg) &&
694 "trap handler registers should not be used");
695 IsSGPR = true;
696 Width = 1;
697 } else if (AMDGPU::VGPR_32RegClass.contains(Reg)) {
698 IsSGPR = false;
699 Width = 1;
700 } else if (AMDGPU::SReg_64RegClass.contains(Reg)) {
701 assert(!AMDGPU::TTMP_64RegClass.contains(Reg) &&
702 "trap handler registers should not be used");
703 IsSGPR = true;
704 Width = 2;
705 } else if (AMDGPU::VReg_64RegClass.contains(Reg)) {
706 IsSGPR = false;
707 Width = 2;
708 } else if (AMDGPU::VReg_96RegClass.contains(Reg)) {
709 IsSGPR = false;
710 Width = 3;
711 } else if (AMDGPU::SReg_128RegClass.contains(Reg)) {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000712 assert(!AMDGPU::TTMP_128RegClass.contains(Reg) &&
713 "trap handler registers should not be used");
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000714 IsSGPR = true;
715 Width = 4;
716 } else if (AMDGPU::VReg_128RegClass.contains(Reg)) {
717 IsSGPR = false;
718 Width = 4;
719 } else if (AMDGPU::SReg_256RegClass.contains(Reg)) {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000720 assert(!AMDGPU::TTMP_256RegClass.contains(Reg) &&
721 "trap handler registers should not be used");
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000722 IsSGPR = true;
723 Width = 8;
724 } else if (AMDGPU::VReg_256RegClass.contains(Reg)) {
725 IsSGPR = false;
726 Width = 8;
727 } else if (AMDGPU::SReg_512RegClass.contains(Reg)) {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000728 assert(!AMDGPU::TTMP_512RegClass.contains(Reg) &&
729 "trap handler registers should not be used");
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000730 IsSGPR = true;
731 Width = 16;
732 } else if (AMDGPU::VReg_512RegClass.contains(Reg)) {
733 IsSGPR = false;
734 Width = 16;
735 } else {
736 llvm_unreachable("Unknown register class");
737 }
738 unsigned HWReg = TRI.getHWRegIndex(Reg);
739 int MaxUsed = HWReg + Width - 1;
740 if (IsSGPR) {
741 MaxSGPR = MaxUsed > MaxSGPR ? MaxUsed : MaxSGPR;
742 } else {
743 MaxVGPR = MaxUsed > MaxVGPR ? MaxUsed : MaxVGPR;
744 }
745 }
746
747 if (MI.isCall()) {
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000748 // Pseudo used just to encode the underlying global. Is there a better
749 // way to track this?
Matt Arsenault71bcbd42017-08-11 20:42:08 +0000750
751 const MachineOperand *CalleeOp
752 = TII->getNamedOperand(MI, AMDGPU::OpName::callee);
753 const Function *Callee = cast<Function>(CalleeOp->getGlobal());
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000754 if (Callee->isDeclaration()) {
755 // If this is a call to an external function, we can't do much. Make
756 // conservative guesses.
757
758 // 48 SGPRs - vcc, - flat_scr, -xnack
Scott Linder1e8c2c72018-06-21 19:38:56 +0000759 int MaxSGPRGuess =
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000760 47 - IsaInfo::getNumExtraSGPRs(getSTI(), true,
Scott Linder1e8c2c72018-06-21 19:38:56 +0000761 ST.hasFlatAddressSpace());
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000762 MaxSGPR = std::max(MaxSGPR, MaxSGPRGuess);
763 MaxVGPR = std::max(MaxVGPR, 23);
764
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000765 CalleeFrameSize = std::max(CalleeFrameSize, UINT64_C(16384));
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000766 Info.UsesVCC = true;
767 Info.UsesFlatScratch = ST.hasFlatAddressSpace();
768 Info.HasDynamicallySizedStack = true;
769 } else {
770 // We force CodeGen to run in SCC order, so the callee's register
771 // usage etc. should be the cumulative usage of all callees.
772 auto I = CallGraphResourceInfo.find(Callee);
773 assert(I != CallGraphResourceInfo.end() &&
774 "callee should have been handled before caller");
775
776 MaxSGPR = std::max(I->second.NumExplicitSGPR - 1, MaxSGPR);
777 MaxVGPR = std::max(I->second.NumVGPR - 1, MaxVGPR);
778 CalleeFrameSize
779 = std::max(I->second.PrivateSegmentSize, CalleeFrameSize);
780 Info.UsesVCC |= I->second.UsesVCC;
781 Info.UsesFlatScratch |= I->second.UsesFlatScratch;
782 Info.HasDynamicallySizedStack |= I->second.HasDynamicallySizedStack;
783 Info.HasRecursion |= I->second.HasRecursion;
784 }
785
786 if (!Callee->doesNotRecurse())
787 Info.HasRecursion = true;
788 }
Matt Arsenault3416b8c2017-06-01 15:05:15 +0000789 }
790 }
791
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000792 Info.NumExplicitSGPR = MaxSGPR + 1;
793 Info.NumVGPR = MaxVGPR + 1;
794 Info.PrivateSegmentSize += CalleeFrameSize;
Matt Arsenault3416b8c2017-06-01 15:05:15 +0000795
796 return Info;
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000797}
798
799void AMDGPUAsmPrinter::getSIProgramInfo(SIProgramInfo &ProgInfo,
800 const MachineFunction &MF) {
801 SIFunctionResourceInfo Info = analyzeResourceUsage(MF);
802
803 ProgInfo.NumVGPR = Info.NumVGPR;
804 ProgInfo.NumSGPR = Info.NumExplicitSGPR;
805 ProgInfo.ScratchSize = Info.PrivateSegmentSize;
806 ProgInfo.VCCUsed = Info.UsesVCC;
807 ProgInfo.FlatUsed = Info.UsesFlatScratch;
808 ProgInfo.DynamicCallStack = Info.HasDynamicallySizedStack || Info.HasRecursion;
809
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000810 if (!isUInt<32>(ProgInfo.ScratchSize)) {
Matthias Braunf1caa282017-12-15 22:22:58 +0000811 DiagnosticInfoStackSize DiagStackSize(MF.getFunction(),
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000812 ProgInfo.ScratchSize, DS_Error);
Matthias Braunf1caa282017-12-15 22:22:58 +0000813 MF.getFunction().getContext().diagnose(DiagStackSize);
Matt Arsenault9ba465a2017-11-14 20:33:14 +0000814 }
815
Tom Stellard5bfbae52018-07-11 20:59:01 +0000816 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +0000817 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
818 const SIInstrInfo *TII = STM.getInstrInfo();
819 const SIRegisterInfo *RI = &TII->getRegisterInfo();
820
Scott Linder1e8c2c72018-06-21 19:38:56 +0000821 // TODO(scott.linder): The calculations related to SGPR/VGPR blocks are
822 // duplicated in part in AMDGPUAsmParser::calculateGPRBlocks, and could be
823 // unified.
824 unsigned ExtraSGPRs = IsaInfo::getNumExtraSGPRs(
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000825 getSTI(), ProgInfo.VCCUsed, ProgInfo.FlatUsed);
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000826
Marek Olsak91f22fb2016-12-09 19:49:40 +0000827 // Check the addressable register limit before we add ExtraSGPRs.
828 if (STM.getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS &&
829 !STM.hasSGPRInitBug()) {
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000830 unsigned MaxAddressableNumSGPRs = STM.getAddressableNumSGPRs();
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000831 if (ProgInfo.NumSGPR > MaxAddressableNumSGPRs) {
Marek Olsak91f22fb2016-12-09 19:49:40 +0000832 // This can happen due to a compiler bug or when using inline asm.
Matthias Braunf1caa282017-12-15 22:22:58 +0000833 LLVMContext &Ctx = MF.getFunction().getContext();
834 DiagnosticInfoResourceLimit Diag(MF.getFunction(),
Marek Olsak91f22fb2016-12-09 19:49:40 +0000835 "addressable scalar registers",
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000836 ProgInfo.NumSGPR, DS_Error,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000837 DK_ResourceLimit,
838 MaxAddressableNumSGPRs);
Marek Olsak91f22fb2016-12-09 19:49:40 +0000839 Ctx.diagnose(Diag);
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000840 ProgInfo.NumSGPR = MaxAddressableNumSGPRs - 1;
Marek Olsak91f22fb2016-12-09 19:49:40 +0000841 }
842 }
843
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000844 // Account for extra SGPRs and VGPRs reserved for debugger use.
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000845 ProgInfo.NumSGPR += ExtraSGPRs;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000846
Tim Renouffd8d4af2018-04-11 17:18:36 +0000847 // Ensure there are enough SGPRs and VGPRs for wave dispatch, where wave
848 // dispatch registers are function args.
849 unsigned WaveDispatchNumSGPR = 0, WaveDispatchNumVGPR = 0;
850 for (auto &Arg : MF.getFunction().args()) {
851 unsigned NumRegs = (Arg.getType()->getPrimitiveSizeInBits() + 31) / 32;
852 if (Arg.hasAttribute(Attribute::InReg))
853 WaveDispatchNumSGPR += NumRegs;
854 else
855 WaveDispatchNumVGPR += NumRegs;
856 }
857 ProgInfo.NumSGPR = std::max(ProgInfo.NumSGPR, WaveDispatchNumSGPR);
858 ProgInfo.NumVGPR = std::max(ProgInfo.NumVGPR, WaveDispatchNumVGPR);
859
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000860 // Adjust number of registers used to meet default/requested minimum/maximum
861 // number of waves per execution unit request.
862 ProgInfo.NumSGPRsForWavesPerEU = std::max(
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000863 std::max(ProgInfo.NumSGPR, 1u), STM.getMinNumSGPRs(MFI->getMaxWavesPerEU()));
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000864 ProgInfo.NumVGPRsForWavesPerEU = std::max(
Matt Arsenaulta3566f22017-04-17 19:48:30 +0000865 std::max(ProgInfo.NumVGPR, 1u), STM.getMinNumVGPRs(MFI->getMaxWavesPerEU()));
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000866
Marek Olsak91f22fb2016-12-09 19:49:40 +0000867 if (STM.getGeneration() <= AMDGPUSubtarget::SEA_ISLANDS ||
868 STM.hasSGPRInitBug()) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000869 unsigned MaxAddressableNumSGPRs = STM.getAddressableNumSGPRs();
870 if (ProgInfo.NumSGPR > MaxAddressableNumSGPRs) {
871 // This can happen due to a compiler bug or when using inline asm to use
872 // the registers which are usually reserved for vcc etc.
Matthias Braunf1caa282017-12-15 22:22:58 +0000873 LLVMContext &Ctx = MF.getFunction().getContext();
874 DiagnosticInfoResourceLimit Diag(MF.getFunction(),
Marek Olsak91f22fb2016-12-09 19:49:40 +0000875 "scalar registers",
876 ProgInfo.NumSGPR, DS_Error,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000877 DK_ResourceLimit,
878 MaxAddressableNumSGPRs);
Marek Olsak91f22fb2016-12-09 19:49:40 +0000879 Ctx.diagnose(Diag);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000880 ProgInfo.NumSGPR = MaxAddressableNumSGPRs;
881 ProgInfo.NumSGPRsForWavesPerEU = MaxAddressableNumSGPRs;
Marek Olsak91f22fb2016-12-09 19:49:40 +0000882 }
Matt Arsenault4eae3012016-10-28 20:31:47 +0000883 }
884
885 if (STM.hasSGPRInitBug()) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000886 ProgInfo.NumSGPR =
887 AMDGPU::IsaInfo::FIXED_NUM_SGPRS_FOR_INIT_BUG;
888 ProgInfo.NumSGPRsForWavesPerEU =
889 AMDGPU::IsaInfo::FIXED_NUM_SGPRS_FOR_INIT_BUG;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000890 }
891
Matt Arsenault161e2b42017-04-18 20:59:40 +0000892 if (MFI->getNumUserSGPRs() > STM.getMaxNumUserSGPRs()) {
Matthias Braunf1caa282017-12-15 22:22:58 +0000893 LLVMContext &Ctx = MF.getFunction().getContext();
894 DiagnosticInfoResourceLimit Diag(MF.getFunction(), "user SGPRs",
Matt Arsenault161e2b42017-04-18 20:59:40 +0000895 MFI->getNumUserSGPRs(), DS_Error);
Matt Arsenaultff982412016-06-20 18:13:04 +0000896 Ctx.diagnose(Diag);
Matt Arsenault41003af2015-11-30 21:16:07 +0000897 }
898
Matt Arsenault52ef4012016-07-26 16:45:58 +0000899 if (MFI->getLDSSize() > static_cast<unsigned>(STM.getLocalMemorySize())) {
Matthias Braunf1caa282017-12-15 22:22:58 +0000900 LLVMContext &Ctx = MF.getFunction().getContext();
901 DiagnosticInfoResourceLimit Diag(MF.getFunction(), "local memory",
Matt Arsenault52ef4012016-07-26 16:45:58 +0000902 MFI->getLDSSize(), DS_Error);
Matt Arsenaultff982412016-06-20 18:13:04 +0000903 Ctx.diagnose(Diag);
Matt Arsenault1c4d0ef2016-04-28 19:37:35 +0000904 }
905
Scott Linder1e8c2c72018-06-21 19:38:56 +0000906 ProgInfo.SGPRBlocks = IsaInfo::getNumSGPRBlocks(
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000907 getSTI(), ProgInfo.NumSGPRsForWavesPerEU);
Scott Linder1e8c2c72018-06-21 19:38:56 +0000908 ProgInfo.VGPRBlocks = IsaInfo::getNumVGPRBlocks(
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000909 getSTI(), ProgInfo.NumVGPRsForWavesPerEU);
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000910
Konstantin Zhuravlyove03b1d72017-02-08 13:02:33 +0000911 // Update DebuggerWavefrontPrivateSegmentOffsetSGPR and
912 // DebuggerPrivateSegmentBufferSGPR fields if "amdgpu-debugger-emit-prologue"
913 // attribute was requested.
914 if (STM.debuggerEmitPrologue()) {
915 ProgInfo.DebuggerWavefrontPrivateSegmentOffsetSGPR =
916 RI->getHWRegIndex(MFI->getScratchWaveOffsetReg());
917 ProgInfo.DebuggerPrivateSegmentBufferSGPR =
918 RI->getHWRegIndex(MFI->getScratchRSrcReg());
919 }
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000920
Tom Stellard45bb48e2015-06-13 03:28:10 +0000921 // Set the value to initialize FP_ROUND and FP_DENORM parts of the mode
922 // register.
923 ProgInfo.FloatMode = getFPMode(MF);
924
Wei Ding3cb2a1e2016-10-19 22:34:49 +0000925 ProgInfo.IEEEMode = STM.enableIEEEBit(MF);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000926
Matt Arsenault7293f982016-01-28 20:53:35 +0000927 // Make clamp modifier on NaN input returns 0.
Matt Arsenault2fdf2a12017-02-21 23:35:48 +0000928 ProgInfo.DX10Clamp = STM.enableDX10Clamp();
Tom Stellard45bb48e2015-06-13 03:28:10 +0000929
Tom Stellard45bb48e2015-06-13 03:28:10 +0000930 unsigned LDSAlignShift;
Tom Stellard5bfbae52018-07-11 20:59:01 +0000931 if (STM.getGeneration() < AMDGPUSubtarget::SEA_ISLANDS) {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000932 // LDS is allocated in 64 dword blocks.
933 LDSAlignShift = 8;
934 } else {
935 // LDS is allocated in 128 dword blocks.
936 LDSAlignShift = 9;
937 }
938
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000939 unsigned LDSSpillSize =
Matt Arsenault161e2b42017-04-18 20:59:40 +0000940 MFI->getLDSWaveSpillSize() * MFI->getMaxFlatWorkGroupSize();
Tom Stellard45bb48e2015-06-13 03:28:10 +0000941
Matt Arsenault52ef4012016-07-26 16:45:58 +0000942 ProgInfo.LDSSize = MFI->getLDSSize() + LDSSpillSize;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000943 ProgInfo.LDSBlocks =
Aaron Ballmanef0fe1e2016-03-30 21:30:00 +0000944 alignTo(ProgInfo.LDSSize, 1ULL << LDSAlignShift) >> LDSAlignShift;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000945
946 // Scratch is allocated in 256 dword blocks.
947 unsigned ScratchAlignShift = 10;
948 // We need to program the hardware with the amount of scratch memory that
949 // is used by the entire wave. ProgInfo.ScratchSize is the amount of
950 // scratch memory used per thread.
951 ProgInfo.ScratchBlocks =
Rui Ueyamada00f2f2016-01-14 21:06:47 +0000952 alignTo(ProgInfo.ScratchSize * STM.getWavefrontSize(),
Aaron Ballmanef0fe1e2016-03-30 21:30:00 +0000953 1ULL << ScratchAlignShift) >>
Rui Ueyamada00f2f2016-01-14 21:06:47 +0000954 ScratchAlignShift;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000955
956 ProgInfo.ComputePGMRSrc1 =
957 S_00B848_VGPRS(ProgInfo.VGPRBlocks) |
958 S_00B848_SGPRS(ProgInfo.SGPRBlocks) |
959 S_00B848_PRIORITY(ProgInfo.Priority) |
960 S_00B848_FLOAT_MODE(ProgInfo.FloatMode) |
961 S_00B848_PRIV(ProgInfo.Priv) |
962 S_00B848_DX10_CLAMP(ProgInfo.DX10Clamp) |
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000963 S_00B848_DEBUG_MODE(ProgInfo.DebugMode) |
Tom Stellard45bb48e2015-06-13 03:28:10 +0000964 S_00B848_IEEE_MODE(ProgInfo.IEEEMode);
965
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000966 // 0 = X, 1 = XY, 2 = XYZ
967 unsigned TIDIGCompCnt = 0;
968 if (MFI->hasWorkItemIDZ())
969 TIDIGCompCnt = 2;
970 else if (MFI->hasWorkItemIDY())
971 TIDIGCompCnt = 1;
972
Tom Stellard45bb48e2015-06-13 03:28:10 +0000973 ProgInfo.ComputePGMRSrc2 =
974 S_00B84C_SCRATCH_EN(ProgInfo.ScratchBlocks > 0) |
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000975 S_00B84C_USER_SGPR(MFI->getNumUserSGPRs()) |
Konstantin Zhuravlyov2ca6b1f2018-05-29 19:09:13 +0000976 // For AMDHSA, TRAP_HANDLER must be zero, as it is populated by the CP.
977 S_00B84C_TRAP_HANDLER(STM.isAmdHsaOS() ? 0 : STM.isTrapHandlerEnabled()) |
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000978 S_00B84C_TGID_X_EN(MFI->hasWorkGroupIDX()) |
979 S_00B84C_TGID_Y_EN(MFI->hasWorkGroupIDY()) |
980 S_00B84C_TGID_Z_EN(MFI->hasWorkGroupIDZ()) |
981 S_00B84C_TG_SIZE_EN(MFI->hasWorkGroupInfo()) |
982 S_00B84C_TIDIG_COMP_CNT(TIDIGCompCnt) |
983 S_00B84C_EXCP_EN_MSB(0) |
Konstantin Zhuravlyov6ccb0762017-05-05 20:13:55 +0000984 // For AMDHSA, LDS_SIZE must be zero, as it is populated by the CP.
985 S_00B84C_LDS_SIZE(STM.isAmdHsaOS() ? 0 : ProgInfo.LDSBlocks) |
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000986 S_00B84C_EXCP_EN(0);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000987}
988
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000989static unsigned getRsrcReg(CallingConv::ID CallConv) {
990 switch (CallConv) {
Justin Bognercd1d5aa2016-08-17 20:30:52 +0000991 default: LLVM_FALLTHROUGH;
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000992 case CallingConv::AMDGPU_CS: return R_00B848_COMPUTE_PGM_RSRC1;
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000993 case CallingConv::AMDGPU_LS: return R_00B528_SPI_SHADER_PGM_RSRC1_LS;
Marek Olsaka302a7362017-05-02 15:41:10 +0000994 case CallingConv::AMDGPU_HS: return R_00B428_SPI_SHADER_PGM_RSRC1_HS;
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000995 case CallingConv::AMDGPU_ES: return R_00B328_SPI_SHADER_PGM_RSRC1_ES;
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000996 case CallingConv::AMDGPU_GS: return R_00B228_SPI_SHADER_PGM_RSRC1_GS;
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000997 case CallingConv::AMDGPU_VS: return R_00B128_SPI_SHADER_PGM_RSRC1_VS;
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000998 case CallingConv::AMDGPU_PS: return R_00B028_SPI_SHADER_PGM_RSRC1_PS;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000999 }
1000}
1001
1002void AMDGPUAsmPrinter::EmitProgramInfoSI(const MachineFunction &MF,
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001003 const SIProgramInfo &CurrentProgramInfo) {
Tom Stellard5bfbae52018-07-11 20:59:01 +00001004 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Tom Stellard45bb48e2015-06-13 03:28:10 +00001005 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Matthias Braunf1caa282017-12-15 22:22:58 +00001006 unsigned RsrcReg = getRsrcReg(MF.getFunction().getCallingConv());
Tom Stellard45bb48e2015-06-13 03:28:10 +00001007
Matthias Braunf1caa282017-12-15 22:22:58 +00001008 if (AMDGPU::isCompute(MF.getFunction().getCallingConv())) {
Tom Stellard45bb48e2015-06-13 03:28:10 +00001009 OutStreamer->EmitIntValue(R_00B848_COMPUTE_PGM_RSRC1, 4);
1010
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001011 OutStreamer->EmitIntValue(CurrentProgramInfo.ComputePGMRSrc1, 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001012
1013 OutStreamer->EmitIntValue(R_00B84C_COMPUTE_PGM_RSRC2, 4);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001014 OutStreamer->EmitIntValue(CurrentProgramInfo.ComputePGMRSrc2, 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001015
1016 OutStreamer->EmitIntValue(R_00B860_COMPUTE_TMPRING_SIZE, 4);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001017 OutStreamer->EmitIntValue(S_00B860_WAVESIZE(CurrentProgramInfo.ScratchBlocks), 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001018
1019 // TODO: Should probably note flat usage somewhere. SC emits a "FlatPtr32 =
1020 // 0" comment but I don't see a corresponding field in the register spec.
1021 } else {
1022 OutStreamer->EmitIntValue(RsrcReg, 4);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001023 OutStreamer->EmitIntValue(S_00B028_VGPRS(CurrentProgramInfo.VGPRBlocks) |
1024 S_00B028_SGPRS(CurrentProgramInfo.SGPRBlocks), 4);
Matthias Braunf1caa282017-12-15 22:22:58 +00001025 if (STM.isVGPRSpillingEnabled(MF.getFunction())) {
Tom Stellard45bb48e2015-06-13 03:28:10 +00001026 OutStreamer->EmitIntValue(R_0286E8_SPI_TMPRING_SIZE, 4);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001027 OutStreamer->EmitIntValue(S_0286E8_WAVESIZE(CurrentProgramInfo.ScratchBlocks), 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001028 }
Tim Renouf807ecc32018-02-06 13:39:38 +00001029 }
1030
1031 if (MF.getFunction().getCallingConv() == CallingConv::AMDGPU_PS) {
1032 OutStreamer->EmitIntValue(R_00B02C_SPI_SHADER_PGM_RSRC2_PS, 4);
1033 OutStreamer->EmitIntValue(S_00B02C_EXTRA_LDS_SIZE(CurrentProgramInfo.LDSBlocks), 4);
1034 OutStreamer->EmitIntValue(R_0286CC_SPI_PS_INPUT_ENA, 4);
1035 OutStreamer->EmitIntValue(MFI->getPSInputEnable(), 4);
1036 OutStreamer->EmitIntValue(R_0286D0_SPI_PS_INPUT_ADDR, 4);
1037 OutStreamer->EmitIntValue(MFI->getPSInputAddr(), 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001038 }
Marek Olsak0532c192016-07-13 17:35:15 +00001039
1040 OutStreamer->EmitIntValue(R_SPILLED_SGPRS, 4);
1041 OutStreamer->EmitIntValue(MFI->getNumSpilledSGPRs(), 4);
1042 OutStreamer->EmitIntValue(R_SPILLED_VGPRS, 4);
1043 OutStreamer->EmitIntValue(MFI->getNumSpilledVGPRs(), 4);
Tom Stellard45bb48e2015-06-13 03:28:10 +00001044}
1045
Tim Renouf72800f02017-10-03 19:03:52 +00001046// This is the equivalent of EmitProgramInfoSI above, but for when the OS type
1047// is AMDPAL. It stores each compute/SPI register setting and other PAL
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001048// metadata items into the PALMetadataMap, combining with any provided by the
1049// frontend as LLVM metadata. Once all functions are written, PALMetadataMap is
Tim Renouf72800f02017-10-03 19:03:52 +00001050// then written as a single block in the .note section.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001051void AMDGPUAsmPrinter::EmitPALMetadata(const MachineFunction &MF,
Tim Renouf72800f02017-10-03 19:03:52 +00001052 const SIProgramInfo &CurrentProgramInfo) {
1053 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
1054 // Given the calling convention, calculate the register number for rsrc1. In
1055 // principle the register number could change in future hardware, but we know
1056 // it is the same for gfx6-9 (except that LS and ES don't exist on gfx9), so
1057 // we can use the same fixed value that .AMDGPU.config has for Mesa. Note
1058 // that we use a register number rather than a byte offset, so we need to
1059 // divide by 4.
Matthias Braunf1caa282017-12-15 22:22:58 +00001060 unsigned Rsrc1Reg = getRsrcReg(MF.getFunction().getCallingConv()) / 4;
Tim Renouf72800f02017-10-03 19:03:52 +00001061 unsigned Rsrc2Reg = Rsrc1Reg + 1;
1062 // Also calculate the PAL metadata key for *S_SCRATCH_SIZE. It can be used
1063 // with a constant offset to access any non-register shader-specific PAL
1064 // metadata key.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001065 unsigned ScratchSizeKey = PALMD::Key::CS_SCRATCH_SIZE;
Matthias Braunf1caa282017-12-15 22:22:58 +00001066 switch (MF.getFunction().getCallingConv()) {
Tim Renouf72800f02017-10-03 19:03:52 +00001067 case CallingConv::AMDGPU_PS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001068 ScratchSizeKey = PALMD::Key::PS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001069 break;
1070 case CallingConv::AMDGPU_VS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001071 ScratchSizeKey = PALMD::Key::VS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001072 break;
1073 case CallingConv::AMDGPU_GS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001074 ScratchSizeKey = PALMD::Key::GS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001075 break;
1076 case CallingConv::AMDGPU_ES:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001077 ScratchSizeKey = PALMD::Key::ES_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001078 break;
1079 case CallingConv::AMDGPU_HS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001080 ScratchSizeKey = PALMD::Key::HS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001081 break;
1082 case CallingConv::AMDGPU_LS:
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001083 ScratchSizeKey = PALMD::Key::LS_SCRATCH_SIZE;
Tim Renouf72800f02017-10-03 19:03:52 +00001084 break;
1085 }
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001086 unsigned NumUsedVgprsKey = ScratchSizeKey +
1087 PALMD::Key::VS_NUM_USED_VGPRS - PALMD::Key::VS_SCRATCH_SIZE;
1088 unsigned NumUsedSgprsKey = ScratchSizeKey +
1089 PALMD::Key::VS_NUM_USED_SGPRS - PALMD::Key::VS_SCRATCH_SIZE;
1090 PALMetadataMap[NumUsedVgprsKey] = CurrentProgramInfo.NumVGPRsForWavesPerEU;
1091 PALMetadataMap[NumUsedSgprsKey] = CurrentProgramInfo.NumSGPRsForWavesPerEU;
Matthias Braunf1caa282017-12-15 22:22:58 +00001092 if (AMDGPU::isCompute(MF.getFunction().getCallingConv())) {
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001093 PALMetadataMap[Rsrc1Reg] |= CurrentProgramInfo.ComputePGMRSrc1;
1094 PALMetadataMap[Rsrc2Reg] |= CurrentProgramInfo.ComputePGMRSrc2;
Tim Renouf72800f02017-10-03 19:03:52 +00001095 // ScratchSize is in bytes, 16 aligned.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001096 PALMetadataMap[ScratchSizeKey] |=
1097 alignTo(CurrentProgramInfo.ScratchSize, 16);
Tim Renouf72800f02017-10-03 19:03:52 +00001098 } else {
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001099 PALMetadataMap[Rsrc1Reg] |= S_00B028_VGPRS(CurrentProgramInfo.VGPRBlocks) |
1100 S_00B028_SGPRS(CurrentProgramInfo.SGPRBlocks);
Tim Renouf72800f02017-10-03 19:03:52 +00001101 if (CurrentProgramInfo.ScratchBlocks > 0)
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001102 PALMetadataMap[Rsrc2Reg] |= S_00B84C_SCRATCH_EN(1);
Tim Renouf72800f02017-10-03 19:03:52 +00001103 // ScratchSize is in bytes, 16 aligned.
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001104 PALMetadataMap[ScratchSizeKey] |=
1105 alignTo(CurrentProgramInfo.ScratchSize, 16);
Tim Renouf72800f02017-10-03 19:03:52 +00001106 }
Matthias Braunf1caa282017-12-15 22:22:58 +00001107 if (MF.getFunction().getCallingConv() == CallingConv::AMDGPU_PS) {
Konstantin Zhuravlyovc3beb6a2017-10-11 22:41:09 +00001108 PALMetadataMap[Rsrc2Reg] |=
1109 S_00B02C_EXTRA_LDS_SIZE(CurrentProgramInfo.LDSBlocks);
1110 PALMetadataMap[R_0286CC_SPI_PS_INPUT_ENA / 4] |= MFI->getPSInputEnable();
1111 PALMetadataMap[R_0286D0_SPI_PS_INPUT_ADDR / 4] |= MFI->getPSInputAddr();
Tim Renouf72800f02017-10-03 19:03:52 +00001112 }
1113}
1114
Matt Arsenault24ee0782016-02-12 02:40:47 +00001115// This is supposed to be log2(Size)
1116static amd_element_byte_size_t getElementByteSizeValue(unsigned Size) {
1117 switch (Size) {
1118 case 4:
1119 return AMD_ELEMENT_4_BYTES;
1120 case 8:
1121 return AMD_ELEMENT_8_BYTES;
1122 case 16:
1123 return AMD_ELEMENT_16_BYTES;
1124 default:
1125 llvm_unreachable("invalid private_element_size");
1126 }
1127}
1128
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001129void AMDGPUAsmPrinter::getAmdKernelCode(amd_kernel_code_t &Out,
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001130 const SIProgramInfo &CurrentProgramInfo,
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001131 const MachineFunction &MF) const {
Matt Arsenault4bec7d42018-07-20 09:05:08 +00001132 const Function &F = MF.getFunction();
1133 assert(F.getCallingConv() == CallingConv::AMDGPU_KERNEL ||
1134 F.getCallingConv() == CallingConv::SPIR_KERNEL);
1135
Tom Stellard45bb48e2015-06-13 03:28:10 +00001136 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
Tom Stellard5bfbae52018-07-11 20:59:01 +00001137 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Tom Stellard45bb48e2015-06-13 03:28:10 +00001138
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +00001139 AMDGPU::initDefaultAMDKernelCodeT(Out, getSTI());
Tom Stellard45bb48e2015-06-13 03:28:10 +00001140
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001141 Out.compute_pgm_resource_registers =
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001142 CurrentProgramInfo.ComputePGMRSrc1 |
1143 (CurrentProgramInfo.ComputePGMRSrc2 << 32);
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001144 Out.code_properties = AMD_CODE_PROPERTY_IS_PTR64;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001145
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001146 if (CurrentProgramInfo.DynamicCallStack)
1147 Out.code_properties |= AMD_CODE_PROPERTY_IS_DYNAMIC_CALLSTACK;
1148
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001149 AMD_HSA_BITS_SET(Out.code_properties,
Matt Arsenault24ee0782016-02-12 02:40:47 +00001150 AMD_CODE_PROPERTY_PRIVATE_ELEMENT_SIZE,
1151 getElementByteSizeValue(STM.getMaxPrivateElementSize()));
1152
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001153 if (MFI->hasPrivateSegmentBuffer()) {
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001154 Out.code_properties |=
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001155 AMD_CODE_PROPERTY_ENABLE_SGPR_PRIVATE_SEGMENT_BUFFER;
1156 }
1157
1158 if (MFI->hasDispatchPtr())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001159 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_PTR;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001160
1161 if (MFI->hasQueuePtr())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001162 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_QUEUE_PTR;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001163
1164 if (MFI->hasKernargSegmentPtr())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001165 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_KERNARG_SEGMENT_PTR;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001166
1167 if (MFI->hasDispatchID())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001168 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_ID;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001169
1170 if (MFI->hasFlatScratchInit())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001171 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_FLAT_SCRATCH_INIT;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001172
Tom Stellard48f29f22015-11-26 00:43:29 +00001173 if (MFI->hasDispatchPtr())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001174 Out.code_properties |= AMD_CODE_PROPERTY_ENABLE_SGPR_DISPATCH_PTR;
Tom Stellard48f29f22015-11-26 00:43:29 +00001175
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +00001176 if (STM.debuggerSupported())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001177 Out.code_properties |= AMD_CODE_PROPERTY_IS_DEBUG_SUPPORTED;
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +00001178
Nicolai Haehnle5b504972016-01-04 23:35:53 +00001179 if (STM.isXNACKEnabled())
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001180 Out.code_properties |= AMD_CODE_PROPERTY_IS_XNACK_SUPPORTED;
Nicolai Haehnle5b504972016-01-04 23:35:53 +00001181
Matt Arsenault4bec7d42018-07-20 09:05:08 +00001182 unsigned MaxKernArgAlign;
1183 Out.kernarg_segment_byte_size = STM.getKernArgSegmentSize(F, MaxKernArgAlign);
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001184 Out.wavefront_sgpr_count = CurrentProgramInfo.NumSGPR;
1185 Out.workitem_vgpr_count = CurrentProgramInfo.NumVGPR;
1186 Out.workitem_private_segment_byte_size = CurrentProgramInfo.ScratchSize;
1187 Out.workgroup_group_segment_byte_size = CurrentProgramInfo.LDSSize;
Tom Stellard45bb48e2015-06-13 03:28:10 +00001188
Tom Stellard175959e2016-12-06 21:53:10 +00001189 // These alignment values are specified in powers of two, so alignment =
1190 // 2^n. The minimum alignment is 2^4 = 16.
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001191 Out.kernarg_segment_alignment = std::max((size_t)4,
Matt Arsenault4bec7d42018-07-20 09:05:08 +00001192 countTrailingZeros(MaxKernArgAlign));
Tom Stellard175959e2016-12-06 21:53:10 +00001193
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +00001194 if (STM.debuggerEmitPrologue()) {
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001195 Out.debug_wavefront_private_segment_offset_sgpr =
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001196 CurrentProgramInfo.DebuggerWavefrontPrivateSegmentOffsetSGPR;
Konstantin Zhuravlyovca0e7f62017-03-22 22:54:39 +00001197 Out.debug_private_segment_buffer_sgpr =
Matt Arsenaultb03dd8d2017-05-02 17:14:00 +00001198 CurrentProgramInfo.DebuggerPrivateSegmentBufferSGPR;
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +00001199 }
Tom Stellard45bb48e2015-06-13 03:28:10 +00001200}
1201
1202bool AMDGPUAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
1203 unsigned AsmVariant,
1204 const char *ExtraCode, raw_ostream &O) {
Matt Arsenault36cd1852017-08-09 20:09:35 +00001205 // First try the generic code, which knows about modifiers like 'c' and 'n'.
1206 if (!AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, O))
1207 return false;
1208
Tom Stellard45bb48e2015-06-13 03:28:10 +00001209 if (ExtraCode && ExtraCode[0]) {
1210 if (ExtraCode[1] != 0)
1211 return true; // Unknown modifier.
1212
1213 switch (ExtraCode[0]) {
Tom Stellard45bb48e2015-06-13 03:28:10 +00001214 case 'r':
1215 break;
Matt Arsenault36cd1852017-08-09 20:09:35 +00001216 default:
1217 return true;
Tom Stellard45bb48e2015-06-13 03:28:10 +00001218 }
1219 }
1220
Matt Arsenault36cd1852017-08-09 20:09:35 +00001221 // TODO: Should be able to support other operand types like globals.
1222 const MachineOperand &MO = MI->getOperand(OpNo);
1223 if (MO.isReg()) {
1224 AMDGPUInstPrinter::printRegOperand(MO.getReg(), O,
1225 *MF->getSubtarget().getRegisterInfo());
1226 return false;
1227 }
1228
1229 return true;
Tom Stellard45bb48e2015-06-13 03:28:10 +00001230}