blob: 236d750fba93830bf366d6d1408d4cfedf762cdf [file] [log] [blame]
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +00001//===--- AMDGPUHSAMetadataStreamer.cpp --------------------------*- C++ -*-===//
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +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
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +00006//
7//===----------------------------------------------------------------------===//
8//
9/// \file
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000010/// AMDGPU HSA Metadata Streamer.
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000011///
12//
13//===----------------------------------------------------------------------===//
14
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +000015#include "AMDGPUHSAMetadataStreamer.h"
Scott Linder2ad2c182018-07-10 17:31:32 +000016#include "AMDGPU.h"
17#include "AMDGPUSubtarget.h"
Scott Linderf5b36e52018-12-12 19:39:27 +000018#include "MCTargetDesc/AMDGPUTargetStreamer.h"
Scott Linder2ad2c182018-07-10 17:31:32 +000019#include "SIMachineFunctionInfo.h"
20#include "SIProgramInfo.h"
Konstantin Zhuravlyovf0badd52018-07-10 16:12:51 +000021#include "Utils/AMDGPUBaseInfo.h"
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000022#include "llvm/ADT/StringSwitch.h"
23#include "llvm/IR/Constants.h"
24#include "llvm/IR/Module.h"
Konstantin Zhuravlyov1e2b8782017-06-06 18:35:50 +000025#include "llvm/Support/raw_ostream.h"
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000026
27namespace llvm {
28
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +000029static cl::opt<bool> DumpHSAMetadata(
30 "amdgpu-dump-hsa-metadata",
31 cl::desc("Dump AMDGPU HSA Metadata"));
32static cl::opt<bool> VerifyHSAMetadata(
33 "amdgpu-verify-hsa-metadata",
34 cl::desc("Verify AMDGPU HSA Metadata"));
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000035
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000036namespace AMDGPU {
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +000037namespace HSAMD {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000038
Scott Linderf5b36e52018-12-12 19:39:27 +000039//===----------------------------------------------------------------------===//
40// HSAMetadataStreamerV2
41//===----------------------------------------------------------------------===//
42void MetadataStreamerV2::dump(StringRef HSAMetadataString) const {
Konstantin Zhuravlyov516651b2017-10-11 22:59:35 +000043 errs() << "AMDGPU HSA Metadata:\n" << HSAMetadataString << '\n';
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000044}
45
Scott Linderf5b36e52018-12-12 19:39:27 +000046void MetadataStreamerV2::verify(StringRef HSAMetadataString) const {
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +000047 errs() << "AMDGPU HSA Metadata Parser Test: ";
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000048
Konstantin Zhuravlyov516651b2017-10-11 22:59:35 +000049 HSAMD::Metadata FromHSAMetadataString;
50 if (fromString(HSAMetadataString, FromHSAMetadataString)) {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000051 errs() << "FAIL\n";
52 return;
53 }
54
Konstantin Zhuravlyov516651b2017-10-11 22:59:35 +000055 std::string ToHSAMetadataString;
56 if (toString(FromHSAMetadataString, ToHSAMetadataString)) {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000057 errs() << "FAIL\n";
58 return;
59 }
60
Konstantin Zhuravlyov516651b2017-10-11 22:59:35 +000061 errs() << (HSAMetadataString == ToHSAMetadataString ? "PASS" : "FAIL")
62 << '\n';
63 if (HSAMetadataString != ToHSAMetadataString) {
64 errs() << "Original input: " << HSAMetadataString << '\n'
65 << "Produced output: " << ToHSAMetadataString << '\n';
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000066 }
67}
68
Scott Linderf5b36e52018-12-12 19:39:27 +000069AccessQualifier
70MetadataStreamerV2::getAccessQualifier(StringRef AccQual) const {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000071 if (AccQual.empty())
72 return AccessQualifier::Unknown;
73
74 return StringSwitch<AccessQualifier>(AccQual)
75 .Case("read_only", AccessQualifier::ReadOnly)
76 .Case("write_only", AccessQualifier::WriteOnly)
77 .Case("read_write", AccessQualifier::ReadWrite)
78 .Default(AccessQualifier::Default);
79}
80
Scott Linderf5b36e52018-12-12 19:39:27 +000081AddressSpaceQualifier
82MetadataStreamerV2::getAddressSpaceQualifier(
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000083 unsigned AddressSpace) const {
Matt Arsenaultb9986742018-09-10 02:23:30 +000084 switch (AddressSpace) {
85 case AMDGPUAS::PRIVATE_ADDRESS:
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000086 return AddressSpaceQualifier::Private;
Matt Arsenaultb9986742018-09-10 02:23:30 +000087 case AMDGPUAS::GLOBAL_ADDRESS:
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000088 return AddressSpaceQualifier::Global;
Matt Arsenaultb9986742018-09-10 02:23:30 +000089 case AMDGPUAS::CONSTANT_ADDRESS:
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000090 return AddressSpaceQualifier::Constant;
Matt Arsenaultb9986742018-09-10 02:23:30 +000091 case AMDGPUAS::LOCAL_ADDRESS:
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000092 return AddressSpaceQualifier::Local;
Matt Arsenaultb9986742018-09-10 02:23:30 +000093 case AMDGPUAS::FLAT_ADDRESS:
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000094 return AddressSpaceQualifier::Generic;
Matt Arsenaultb9986742018-09-10 02:23:30 +000095 case AMDGPUAS::REGION_ADDRESS:
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +000096 return AddressSpaceQualifier::Region;
Matt Arsenaultb9986742018-09-10 02:23:30 +000097 default:
98 return AddressSpaceQualifier::Unknown;
99 }
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000100}
101
Scott Linderf5b36e52018-12-12 19:39:27 +0000102ValueKind MetadataStreamerV2::getValueKind(Type *Ty, StringRef TypeQual,
103 StringRef BaseTypeName) const {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000104 if (TypeQual.find("pipe") != StringRef::npos)
105 return ValueKind::Pipe;
106
107 return StringSwitch<ValueKind>(BaseTypeName)
Konstantin Zhuravlyov54ba4312017-04-25 20:38:26 +0000108 .Case("image1d_t", ValueKind::Image)
109 .Case("image1d_array_t", ValueKind::Image)
110 .Case("image1d_buffer_t", ValueKind::Image)
111 .Case("image2d_t", ValueKind::Image)
112 .Case("image2d_array_t", ValueKind::Image)
113 .Case("image2d_array_depth_t", ValueKind::Image)
114 .Case("image2d_array_msaa_t", ValueKind::Image)
115 .Case("image2d_array_msaa_depth_t", ValueKind::Image)
116 .Case("image2d_depth_t", ValueKind::Image)
117 .Case("image2d_msaa_t", ValueKind::Image)
118 .Case("image2d_msaa_depth_t", ValueKind::Image)
119 .Case("image3d_t", ValueKind::Image)
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000120 .Case("sampler_t", ValueKind::Sampler)
121 .Case("queue_t", ValueKind::Queue)
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000122 .Default(isa<PointerType>(Ty) ?
123 (Ty->getPointerAddressSpace() ==
Matt Arsenault0da63502018-08-31 05:49:54 +0000124 AMDGPUAS::LOCAL_ADDRESS ?
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000125 ValueKind::DynamicSharedPointer :
126 ValueKind::GlobalBuffer) :
127 ValueKind::ByValue);
128}
129
Scott Linderf5b36e52018-12-12 19:39:27 +0000130ValueType MetadataStreamerV2::getValueType(Type *Ty, StringRef TypeName) const {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000131 switch (Ty->getTypeID()) {
132 case Type::IntegerTyID: {
133 auto Signed = !TypeName.startswith("u");
134 switch (Ty->getIntegerBitWidth()) {
135 case 8:
136 return Signed ? ValueType::I8 : ValueType::U8;
137 case 16:
138 return Signed ? ValueType::I16 : ValueType::U16;
139 case 32:
140 return Signed ? ValueType::I32 : ValueType::U32;
141 case 64:
142 return Signed ? ValueType::I64 : ValueType::U64;
143 default:
144 return ValueType::Struct;
145 }
146 }
147 case Type::HalfTyID:
148 return ValueType::F16;
149 case Type::FloatTyID:
150 return ValueType::F32;
151 case Type::DoubleTyID:
152 return ValueType::F64;
153 case Type::PointerTyID:
154 return getValueType(Ty->getPointerElementType(), TypeName);
155 case Type::VectorTyID:
156 return getValueType(Ty->getVectorElementType(), TypeName);
157 default:
158 return ValueType::Struct;
159 }
160}
161
Scott Linderf5b36e52018-12-12 19:39:27 +0000162std::string MetadataStreamerV2::getTypeName(Type *Ty, bool Signed) const {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000163 switch (Ty->getTypeID()) {
164 case Type::IntegerTyID: {
165 if (!Signed)
166 return (Twine('u') + getTypeName(Ty, true)).str();
167
168 auto BitWidth = Ty->getIntegerBitWidth();
169 switch (BitWidth) {
170 case 8:
171 return "char";
172 case 16:
173 return "short";
174 case 32:
175 return "int";
176 case 64:
177 return "long";
178 default:
179 return (Twine('i') + Twine(BitWidth)).str();
180 }
181 }
182 case Type::HalfTyID:
183 return "half";
184 case Type::FloatTyID:
185 return "float";
186 case Type::DoubleTyID:
187 return "double";
188 case Type::VectorTyID: {
189 auto VecTy = cast<VectorType>(Ty);
190 auto ElTy = VecTy->getElementType();
191 auto NumElements = VecTy->getVectorNumElements();
192 return (Twine(getTypeName(ElTy, Signed)) + Twine(NumElements)).str();
193 }
194 default:
195 return "unknown";
196 }
197}
198
Scott Linderf5b36e52018-12-12 19:39:27 +0000199std::vector<uint32_t>
200MetadataStreamerV2::getWorkGroupDimensions(MDNode *Node) const {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000201 std::vector<uint32_t> Dims;
202 if (Node->getNumOperands() != 3)
203 return Dims;
204
205 for (auto &Op : Node->operands())
206 Dims.push_back(mdconst::extract<ConstantInt>(Op)->getZExtValue());
207 return Dims;
208}
209
Scott Linderf5b36e52018-12-12 19:39:27 +0000210Kernel::CodeProps::Metadata
211MetadataStreamerV2::getHSACodeProps(const MachineFunction &MF,
212 const SIProgramInfo &ProgramInfo) const {
Tom Stellard5bfbae52018-07-11 20:59:01 +0000213 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
Scott Linder2ad2c182018-07-10 17:31:32 +0000214 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
215 HSAMD::Kernel::CodeProps::Metadata HSACodeProps;
216 const Function &F = MF.getFunction();
217
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000218 assert(F.getCallingConv() == CallingConv::AMDGPU_KERNEL ||
219 F.getCallingConv() == CallingConv::SPIR_KERNEL);
Scott Linder2ad2c182018-07-10 17:31:32 +0000220
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000221 unsigned MaxKernArgAlign;
222 HSACodeProps.mKernargSegmentSize = STM.getKernArgSegmentSize(F,
223 MaxKernArgAlign);
Scott Linder2ad2c182018-07-10 17:31:32 +0000224 HSACodeProps.mGroupSegmentFixedSize = ProgramInfo.LDSSize;
225 HSACodeProps.mPrivateSegmentFixedSize = ProgramInfo.ScratchSize;
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000226 HSACodeProps.mKernargSegmentAlign = std::max(MaxKernArgAlign, 4u);
Scott Linder2ad2c182018-07-10 17:31:32 +0000227 HSACodeProps.mWavefrontSize = STM.getWavefrontSize();
228 HSACodeProps.mNumSGPRs = ProgramInfo.NumSGPR;
229 HSACodeProps.mNumVGPRs = ProgramInfo.NumVGPR;
230 HSACodeProps.mMaxFlatWorkGroupSize = MFI.getMaxFlatWorkGroupSize();
231 HSACodeProps.mIsDynamicCallStack = ProgramInfo.DynamicCallStack;
232 HSACodeProps.mIsXNACKEnabled = STM.isXNACKEnabled();
233 HSACodeProps.mNumSpilledSGPRs = MFI.getNumSpilledSGPRs();
234 HSACodeProps.mNumSpilledVGPRs = MFI.getNumSpilledVGPRs();
235
236 return HSACodeProps;
237}
238
Scott Linderf5b36e52018-12-12 19:39:27 +0000239Kernel::DebugProps::Metadata
240MetadataStreamerV2::getHSADebugProps(const MachineFunction &MF,
241 const SIProgramInfo &ProgramInfo) const {
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000242 return HSAMD::Kernel::DebugProps::Metadata();
Scott Linder2ad2c182018-07-10 17:31:32 +0000243}
244
Scott Linderf5b36e52018-12-12 19:39:27 +0000245void MetadataStreamerV2::emitVersion() {
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +0000246 auto &Version = HSAMetadata.mVersion;
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000247
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +0000248 Version.push_back(VersionMajor);
249 Version.push_back(VersionMinor);
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000250}
251
Scott Linderf5b36e52018-12-12 19:39:27 +0000252void MetadataStreamerV2::emitPrintf(const Module &Mod) {
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +0000253 auto &Printf = HSAMetadata.mPrintf;
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000254
255 auto Node = Mod.getNamedMetadata("llvm.printf.fmts");
256 if (!Node)
257 return;
258
259 for (auto Op : Node->operands())
260 if (Op->getNumOperands())
261 Printf.push_back(cast<MDString>(Op->getOperand(0))->getString());
262}
263
Scott Linderf5b36e52018-12-12 19:39:27 +0000264void MetadataStreamerV2::emitKernelLanguage(const Function &Func) {
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +0000265 auto &Kernel = HSAMetadata.mKernels.back();
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000266
267 // TODO: What about other languages?
268 auto Node = Func.getParent()->getNamedMetadata("opencl.ocl.version");
269 if (!Node || !Node->getNumOperands())
270 return;
271 auto Op0 = Node->getOperand(0);
272 if (Op0->getNumOperands() <= 1)
273 return;
274
275 Kernel.mLanguage = "OpenCL C";
276 Kernel.mLanguageVersion.push_back(
277 mdconst::extract<ConstantInt>(Op0->getOperand(0))->getZExtValue());
278 Kernel.mLanguageVersion.push_back(
279 mdconst::extract<ConstantInt>(Op0->getOperand(1))->getZExtValue());
280}
281
Scott Linderf5b36e52018-12-12 19:39:27 +0000282void MetadataStreamerV2::emitKernelAttrs(const Function &Func) {
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +0000283 auto &Attrs = HSAMetadata.mKernels.back().mAttrs;
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000284
285 if (auto Node = Func.getMetadata("reqd_work_group_size"))
286 Attrs.mReqdWorkGroupSize = getWorkGroupDimensions(Node);
287 if (auto Node = Func.getMetadata("work_group_size_hint"))
288 Attrs.mWorkGroupSizeHint = getWorkGroupDimensions(Node);
289 if (auto Node = Func.getMetadata("vec_type_hint")) {
290 Attrs.mVecTypeHint = getTypeName(
291 cast<ValueAsMetadata>(Node->getOperand(0))->getType(),
292 mdconst::extract<ConstantInt>(Node->getOperand(1))->getZExtValue());
293 }
Yaxun Liude4b88d2017-10-10 19:39:48 +0000294 if (Func.hasFnAttribute("runtime-handle")) {
295 Attrs.mRuntimeHandle =
296 Func.getFnAttribute("runtime-handle").getValueAsString().str();
297 }
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000298}
299
Scott Linderf5b36e52018-12-12 19:39:27 +0000300void MetadataStreamerV2::emitKernelArgs(const Function &Func) {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000301 for (auto &Arg : Func.args())
302 emitKernelArg(Arg);
303
Konstantin Zhuravlyovf0badd52018-07-10 16:12:51 +0000304 emitHiddenKernelArgs(Func);
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000305}
306
Scott Linderf5b36e52018-12-12 19:39:27 +0000307void MetadataStreamerV2::emitKernelArg(const Argument &Arg) {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000308 auto Func = Arg.getParent();
309 auto ArgNo = Arg.getArgNo();
310 const MDNode *Node;
311
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000312 StringRef Name;
313 Node = Func->getMetadata("kernel_arg_name");
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000314 if (Node && ArgNo < Node->getNumOperands())
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000315 Name = cast<MDString>(Node->getOperand(ArgNo))->getString();
Konstantin Zhuravlyove30f88f2017-12-08 19:22:12 +0000316 else if (Arg.hasName())
317 Name = Arg.getName();
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000318
319 StringRef TypeName;
320 Node = Func->getMetadata("kernel_arg_type");
321 if (Node && ArgNo < Node->getNumOperands())
322 TypeName = cast<MDString>(Node->getOperand(ArgNo))->getString();
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000323
324 StringRef BaseTypeName;
325 Node = Func->getMetadata("kernel_arg_base_type");
326 if (Node && ArgNo < Node->getNumOperands())
327 BaseTypeName = cast<MDString>(Node->getOperand(ArgNo))->getString();
328
329 StringRef AccQual;
Stanislav Mekhanoshineff0bc72017-04-14 19:11:40 +0000330 if (Arg.getType()->isPointerTy() && Arg.onlyReadsMemory() &&
331 Arg.hasNoAliasAttr()) {
332 AccQual = "read_only";
333 } else {
334 Node = Func->getMetadata("kernel_arg_access_qual");
335 if (Node && ArgNo < Node->getNumOperands())
336 AccQual = cast<MDString>(Node->getOperand(ArgNo))->getString();
337 }
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000338
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000339 StringRef TypeQual;
340 Node = Func->getMetadata("kernel_arg_type_qual");
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000341 if (Node && ArgNo < Node->getNumOperands())
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000342 TypeQual = cast<MDString>(Node->getOperand(ArgNo))->getString();
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000343
Matt Arsenault73eeb422018-06-25 14:29:04 +0000344 Type *Ty = Arg.getType();
345 const DataLayout &DL = Func->getParent()->getDataLayout();
346
347 unsigned PointeeAlign = 0;
348 if (auto PtrTy = dyn_cast<PointerType>(Ty)) {
Matt Arsenault0da63502018-08-31 05:49:54 +0000349 if (PtrTy->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS) {
Matt Arsenault73eeb422018-06-25 14:29:04 +0000350 PointeeAlign = Arg.getParamAlignment();
351 if (PointeeAlign == 0)
352 PointeeAlign = DL.getABITypeAlignment(PtrTy->getElementType());
353 }
354 }
355
356 emitKernelArg(DL, Ty, getValueKind(Arg.getType(), TypeQual, BaseTypeName),
357 PointeeAlign, Name, TypeName, BaseTypeName, AccQual, TypeQual);
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000358}
359
Scott Linderf5b36e52018-12-12 19:39:27 +0000360void MetadataStreamerV2::emitKernelArg(const DataLayout &DL, Type *Ty,
361 ValueKind ValueKind,
362 unsigned PointeeAlign, StringRef Name,
363 StringRef TypeName,
364 StringRef BaseTypeName,
365 StringRef AccQual, StringRef TypeQual) {
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +0000366 HSAMetadata.mKernels.back().mArgs.push_back(Kernel::Arg::Metadata());
367 auto &Arg = HSAMetadata.mKernels.back().mArgs.back();
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000368
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000369 Arg.mName = Name;
370 Arg.mTypeName = TypeName;
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000371 Arg.mSize = DL.getTypeAllocSize(Ty);
372 Arg.mAlign = DL.getABITypeAlignment(Ty);
373 Arg.mValueKind = ValueKind;
374 Arg.mValueType = getValueType(Ty, BaseTypeName);
Matt Arsenault73eeb422018-06-25 14:29:04 +0000375 Arg.mPointeeAlign = PointeeAlign;
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000376
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000377 if (auto PtrTy = dyn_cast<PointerType>(Ty))
Scott Linderf5b36e52018-12-12 19:39:27 +0000378 Arg.mAddrSpaceQual = getAddressSpaceQualifier(PtrTy->getAddressSpace());
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000379
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000380 Arg.mAccQual = getAccessQualifier(AccQual);
381
382 // TODO: Emit Arg.mActualAccQual.
383
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000384 SmallVector<StringRef, 1> SplitTypeQuals;
385 TypeQual.split(SplitTypeQuals, " ", -1, false);
386 for (StringRef Key : SplitTypeQuals) {
387 auto P = StringSwitch<bool*>(Key)
388 .Case("const", &Arg.mIsConst)
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000389 .Case("restrict", &Arg.mIsRestrict)
390 .Case("volatile", &Arg.mIsVolatile)
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000391 .Case("pipe", &Arg.mIsPipe)
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000392 .Default(nullptr);
393 if (P)
394 *P = true;
395 }
Konstantin Zhuravlyova780ffa2017-03-22 23:10:46 +0000396}
397
Scott Linderf5b36e52018-12-12 19:39:27 +0000398void MetadataStreamerV2::emitHiddenKernelArgs(const Function &Func) {
Konstantin Zhuravlyovf0badd52018-07-10 16:12:51 +0000399 int HiddenArgNumBytes =
400 getIntegerAttribute(Func, "amdgpu-implicitarg-num-bytes", 0);
401
402 if (!HiddenArgNumBytes)
403 return;
404
405 auto &DL = Func.getParent()->getDataLayout();
406 auto Int64Ty = Type::getInt64Ty(Func.getContext());
407
408 if (HiddenArgNumBytes >= 8)
409 emitKernelArg(DL, Int64Ty, ValueKind::HiddenGlobalOffsetX);
410 if (HiddenArgNumBytes >= 16)
411 emitKernelArg(DL, Int64Ty, ValueKind::HiddenGlobalOffsetY);
412 if (HiddenArgNumBytes >= 24)
413 emitKernelArg(DL, Int64Ty, ValueKind::HiddenGlobalOffsetZ);
414
415 auto Int8PtrTy = Type::getInt8PtrTy(Func.getContext(),
Matt Arsenault0da63502018-08-31 05:49:54 +0000416 AMDGPUAS::GLOBAL_ADDRESS);
Konstantin Zhuravlyovf0badd52018-07-10 16:12:51 +0000417
418 // Emit "printf buffer" argument if printf is used, otherwise emit dummy
419 // "none" argument.
420 if (HiddenArgNumBytes >= 32) {
421 if (Func.getParent()->getNamedMetadata("llvm.printf.fmts"))
422 emitKernelArg(DL, Int8PtrTy, ValueKind::HiddenPrintfBuffer);
423 else
424 emitKernelArg(DL, Int8PtrTy, ValueKind::HiddenNone);
425 }
426
427 // Emit "default queue" and "completion action" arguments if enqueue kernel is
428 // used, otherwise emit dummy "none" arguments.
429 if (HiddenArgNumBytes >= 48) {
430 if (Func.hasFnAttribute("calls-enqueue-kernel")) {
431 emitKernelArg(DL, Int8PtrTy, ValueKind::HiddenDefaultQueue);
432 emitKernelArg(DL, Int8PtrTy, ValueKind::HiddenCompletionAction);
433 } else {
434 emitKernelArg(DL, Int8PtrTy, ValueKind::HiddenNone);
435 emitKernelArg(DL, Int8PtrTy, ValueKind::HiddenNone);
436 }
437 }
438}
439
Scott Linderf5b36e52018-12-12 19:39:27 +0000440bool MetadataStreamerV2::emitTo(AMDGPUTargetStreamer &TargetStreamer) {
441 return TargetStreamer.EmitHSAMetadata(getHSAMetadata());
442}
443
444void MetadataStreamerV2::begin(const Module &Mod) {
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000445 emitVersion();
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000446 emitPrintf(Mod);
447}
448
Scott Linderf5b36e52018-12-12 19:39:27 +0000449void MetadataStreamerV2::end() {
Konstantin Zhuravlyov516651b2017-10-11 22:59:35 +0000450 std::string HSAMetadataString;
Konstantin Zhuravlyov63e87f52017-10-12 17:34:05 +0000451 if (toString(HSAMetadata, HSAMetadataString))
Konstantin Zhuravlyov516651b2017-10-11 22:59:35 +0000452 return;
453
454 if (DumpHSAMetadata)
455 dump(HSAMetadataString);
456 if (VerifyHSAMetadata)
457 verify(HSAMetadataString);
458}
459
Scott Linderf5b36e52018-12-12 19:39:27 +0000460void MetadataStreamerV2::emitKernel(const MachineFunction &MF,
461 const SIProgramInfo &ProgramInfo) {
Scott Linder2ad2c182018-07-10 17:31:32 +0000462 auto &Func = MF.getFunction();
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000463 if (Func.getCallingConv() != CallingConv::AMDGPU_KERNEL)
464 return;
465
Matt Arsenault4bec7d42018-07-20 09:05:08 +0000466 auto CodeProps = getHSACodeProps(MF, ProgramInfo);
467 auto DebugProps = getHSADebugProps(MF, ProgramInfo);
468
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +0000469 HSAMetadata.mKernels.push_back(Kernel::Metadata());
470 auto &Kernel = HSAMetadata.mKernels.back();
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000471
472 Kernel.mName = Func.getName();
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000473 Kernel.mSymbolName = (Twine(Func.getName()) + Twine("@kd")).str();
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000474 emitKernelLanguage(Func);
475 emitKernelAttrs(Func);
476 emitKernelArgs(Func);
Konstantin Zhuravlyova01d8b02017-10-14 19:03:51 +0000477 HSAMetadata.mKernels.back().mCodeProps = CodeProps;
478 HSAMetadata.mKernels.back().mDebugProps = DebugProps;
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000479}
480
Scott Linderf5b36e52018-12-12 19:39:27 +0000481//===----------------------------------------------------------------------===//
482// HSAMetadataStreamerV3
483//===----------------------------------------------------------------------===//
484
485void MetadataStreamerV3::dump(StringRef HSAMetadataString) const {
486 errs() << "AMDGPU HSA Metadata:\n" << HSAMetadataString << '\n';
487}
488
489void MetadataStreamerV3::verify(StringRef HSAMetadataString) const {
490 errs() << "AMDGPU HSA Metadata Parser Test: ";
491
Tim Renoufed0b9af2019-03-13 18:55:50 +0000492 msgpack::Document FromHSAMetadataString;
Scott Linderf5b36e52018-12-12 19:39:27 +0000493
Tim Renoufed0b9af2019-03-13 18:55:50 +0000494 if (!FromHSAMetadataString.fromYAML(HSAMetadataString)) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000495 errs() << "FAIL\n";
496 return;
497 }
498
499 std::string ToHSAMetadataString;
500 raw_string_ostream StrOS(ToHSAMetadataString);
Tim Renoufed0b9af2019-03-13 18:55:50 +0000501 FromHSAMetadataString.toYAML(StrOS);
Scott Linderf5b36e52018-12-12 19:39:27 +0000502
503 errs() << (HSAMetadataString == StrOS.str() ? "PASS" : "FAIL") << '\n';
504 if (HSAMetadataString != ToHSAMetadataString) {
505 errs() << "Original input: " << HSAMetadataString << '\n'
506 << "Produced output: " << StrOS.str() << '\n';
507 }
508}
509
510Optional<StringRef>
511MetadataStreamerV3::getAccessQualifier(StringRef AccQual) const {
512 return StringSwitch<Optional<StringRef>>(AccQual)
513 .Case("read_only", StringRef("read_only"))
514 .Case("write_only", StringRef("write_only"))
515 .Case("read_write", StringRef("read_write"))
516 .Default(None);
517}
518
519Optional<StringRef>
520MetadataStreamerV3::getAddressSpaceQualifier(unsigned AddressSpace) const {
521 switch (AddressSpace) {
522 case AMDGPUAS::PRIVATE_ADDRESS:
523 return StringRef("private");
524 case AMDGPUAS::GLOBAL_ADDRESS:
525 return StringRef("global");
526 case AMDGPUAS::CONSTANT_ADDRESS:
527 return StringRef("constant");
528 case AMDGPUAS::LOCAL_ADDRESS:
529 return StringRef("local");
530 case AMDGPUAS::FLAT_ADDRESS:
531 return StringRef("generic");
532 case AMDGPUAS::REGION_ADDRESS:
533 return StringRef("region");
534 default:
535 return None;
536 }
537}
538
539StringRef MetadataStreamerV3::getValueKind(Type *Ty, StringRef TypeQual,
540 StringRef BaseTypeName) const {
541 if (TypeQual.find("pipe") != StringRef::npos)
542 return "pipe";
543
544 return StringSwitch<StringRef>(BaseTypeName)
545 .Case("image1d_t", "image")
546 .Case("image1d_array_t", "image")
547 .Case("image1d_buffer_t", "image")
548 .Case("image2d_t", "image")
549 .Case("image2d_array_t", "image")
550 .Case("image2d_array_depth_t", "image")
551 .Case("image2d_array_msaa_t", "image")
552 .Case("image2d_array_msaa_depth_t", "image")
553 .Case("image2d_depth_t", "image")
554 .Case("image2d_msaa_t", "image")
555 .Case("image2d_msaa_depth_t", "image")
556 .Case("image3d_t", "image")
557 .Case("sampler_t", "sampler")
558 .Case("queue_t", "queue")
559 .Default(isa<PointerType>(Ty)
560 ? (Ty->getPointerAddressSpace() == AMDGPUAS::LOCAL_ADDRESS
561 ? "dynamic_shared_pointer"
562 : "global_buffer")
563 : "by_value");
564}
565
566StringRef MetadataStreamerV3::getValueType(Type *Ty, StringRef TypeName) const {
567 switch (Ty->getTypeID()) {
568 case Type::IntegerTyID: {
569 auto Signed = !TypeName.startswith("u");
570 switch (Ty->getIntegerBitWidth()) {
571 case 8:
572 return Signed ? "i8" : "u8";
573 case 16:
574 return Signed ? "i16" : "u16";
575 case 32:
576 return Signed ? "i32" : "u32";
577 case 64:
578 return Signed ? "i64" : "u64";
579 default:
580 return "struct";
581 }
582 }
583 case Type::HalfTyID:
584 return "f16";
585 case Type::FloatTyID:
586 return "f32";
587 case Type::DoubleTyID:
588 return "f64";
589 case Type::PointerTyID:
590 return getValueType(Ty->getPointerElementType(), TypeName);
591 case Type::VectorTyID:
592 return getValueType(Ty->getVectorElementType(), TypeName);
593 default:
594 return "struct";
595 }
596}
597
598std::string MetadataStreamerV3::getTypeName(Type *Ty, bool Signed) const {
599 switch (Ty->getTypeID()) {
600 case Type::IntegerTyID: {
601 if (!Signed)
602 return (Twine('u') + getTypeName(Ty, true)).str();
603
604 auto BitWidth = Ty->getIntegerBitWidth();
605 switch (BitWidth) {
606 case 8:
607 return "char";
608 case 16:
609 return "short";
610 case 32:
611 return "int";
612 case 64:
613 return "long";
614 default:
615 return (Twine('i') + Twine(BitWidth)).str();
616 }
617 }
618 case Type::HalfTyID:
619 return "half";
620 case Type::FloatTyID:
621 return "float";
622 case Type::DoubleTyID:
623 return "double";
624 case Type::VectorTyID: {
625 auto VecTy = cast<VectorType>(Ty);
626 auto ElTy = VecTy->getElementType();
627 auto NumElements = VecTy->getVectorNumElements();
628 return (Twine(getTypeName(ElTy, Signed)) + Twine(NumElements)).str();
629 }
630 default:
631 return "unknown";
632 }
633}
634
Tim Renoufed0b9af2019-03-13 18:55:50 +0000635msgpack::ArrayDocNode
Scott Linderf5b36e52018-12-12 19:39:27 +0000636MetadataStreamerV3::getWorkGroupDimensions(MDNode *Node) const {
Tim Renoufed0b9af2019-03-13 18:55:50 +0000637 auto Dims = HSAMetadataDoc->getArrayNode();
Scott Linderf5b36e52018-12-12 19:39:27 +0000638 if (Node->getNumOperands() != 3)
639 return Dims;
640
641 for (auto &Op : Node->operands())
Tim Renoufed0b9af2019-03-13 18:55:50 +0000642 Dims.push_back(Dims.getDocument()->getNode(
643 uint64_t(mdconst::extract<ConstantInt>(Op)->getZExtValue())));
Scott Linderf5b36e52018-12-12 19:39:27 +0000644 return Dims;
645}
646
647void MetadataStreamerV3::emitVersion() {
Tim Renoufed0b9af2019-03-13 18:55:50 +0000648 auto Version = HSAMetadataDoc->getArrayNode();
649 Version.push_back(Version.getDocument()->getNode(VersionMajor));
650 Version.push_back(Version.getDocument()->getNode(VersionMinor));
651 getRootMetadata("amdhsa.version") = Version;
Scott Linderf5b36e52018-12-12 19:39:27 +0000652}
653
654void MetadataStreamerV3::emitPrintf(const Module &Mod) {
655 auto Node = Mod.getNamedMetadata("llvm.printf.fmts");
656 if (!Node)
657 return;
658
Tim Renoufed0b9af2019-03-13 18:55:50 +0000659 auto Printf = HSAMetadataDoc->getArrayNode();
Scott Linderf5b36e52018-12-12 19:39:27 +0000660 for (auto Op : Node->operands())
661 if (Op->getNumOperands())
Tim Renoufed0b9af2019-03-13 18:55:50 +0000662 Printf.push_back(Printf.getDocument()->getNode(
663 cast<MDString>(Op->getOperand(0))->getString(), /*Copy=*/true));
664 getRootMetadata("amdhsa.printf") = Printf;
Scott Linderf5b36e52018-12-12 19:39:27 +0000665}
666
667void MetadataStreamerV3::emitKernelLanguage(const Function &Func,
Tim Renoufed0b9af2019-03-13 18:55:50 +0000668 msgpack::MapDocNode Kern) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000669 // TODO: What about other languages?
670 auto Node = Func.getParent()->getNamedMetadata("opencl.ocl.version");
671 if (!Node || !Node->getNumOperands())
672 return;
673 auto Op0 = Node->getOperand(0);
674 if (Op0->getNumOperands() <= 1)
675 return;
676
Tim Renoufed0b9af2019-03-13 18:55:50 +0000677 Kern[".language"] = Kern.getDocument()->getNode("OpenCL C");
678 auto LanguageVersion = Kern.getDocument()->getArrayNode();
679 LanguageVersion.push_back(Kern.getDocument()->getNode(
Scott Linderf5b36e52018-12-12 19:39:27 +0000680 mdconst::extract<ConstantInt>(Op0->getOperand(0))->getZExtValue()));
Tim Renoufed0b9af2019-03-13 18:55:50 +0000681 LanguageVersion.push_back(Kern.getDocument()->getNode(
Scott Linderf5b36e52018-12-12 19:39:27 +0000682 mdconst::extract<ConstantInt>(Op0->getOperand(1))->getZExtValue()));
Tim Renoufed0b9af2019-03-13 18:55:50 +0000683 Kern[".language_version"] = LanguageVersion;
Scott Linderf5b36e52018-12-12 19:39:27 +0000684}
685
686void MetadataStreamerV3::emitKernelAttrs(const Function &Func,
Tim Renoufed0b9af2019-03-13 18:55:50 +0000687 msgpack::MapDocNode Kern) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000688
689 if (auto Node = Func.getMetadata("reqd_work_group_size"))
690 Kern[".reqd_workgroup_size"] = getWorkGroupDimensions(Node);
691 if (auto Node = Func.getMetadata("work_group_size_hint"))
692 Kern[".workgroup_size_hint"] = getWorkGroupDimensions(Node);
693 if (auto Node = Func.getMetadata("vec_type_hint")) {
Tim Renoufed0b9af2019-03-13 18:55:50 +0000694 Kern[".vec_type_hint"] = Kern.getDocument()->getNode(
695 getTypeName(
696 cast<ValueAsMetadata>(Node->getOperand(0))->getType(),
697 mdconst::extract<ConstantInt>(Node->getOperand(1))->getZExtValue()),
698 /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000699 }
700 if (Func.hasFnAttribute("runtime-handle")) {
Tim Renoufed0b9af2019-03-13 18:55:50 +0000701 Kern[".device_enqueue_symbol"] = Kern.getDocument()->getNode(
702 Func.getFnAttribute("runtime-handle").getValueAsString().str(),
703 /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000704 }
705}
706
707void MetadataStreamerV3::emitKernelArgs(const Function &Func,
Tim Renoufed0b9af2019-03-13 18:55:50 +0000708 msgpack::MapDocNode Kern) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000709 unsigned Offset = 0;
Tim Renoufed0b9af2019-03-13 18:55:50 +0000710 auto Args = HSAMetadataDoc->getArrayNode();
Scott Linderf5b36e52018-12-12 19:39:27 +0000711 for (auto &Arg : Func.args())
Tim Renoufed0b9af2019-03-13 18:55:50 +0000712 emitKernelArg(Arg, Offset, Args);
Scott Linderf5b36e52018-12-12 19:39:27 +0000713
Tim Renoufed0b9af2019-03-13 18:55:50 +0000714 emitHiddenKernelArgs(Func, Offset, Args);
Scott Linderf5b36e52018-12-12 19:39:27 +0000715
Tim Renoufed0b9af2019-03-13 18:55:50 +0000716 Kern[".args"] = Args;
Scott Linderf5b36e52018-12-12 19:39:27 +0000717}
718
719void MetadataStreamerV3::emitKernelArg(const Argument &Arg, unsigned &Offset,
Tim Renoufed0b9af2019-03-13 18:55:50 +0000720 msgpack::ArrayDocNode Args) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000721 auto Func = Arg.getParent();
722 auto ArgNo = Arg.getArgNo();
723 const MDNode *Node;
724
725 StringRef Name;
726 Node = Func->getMetadata("kernel_arg_name");
727 if (Node && ArgNo < Node->getNumOperands())
728 Name = cast<MDString>(Node->getOperand(ArgNo))->getString();
729 else if (Arg.hasName())
730 Name = Arg.getName();
731
732 StringRef TypeName;
733 Node = Func->getMetadata("kernel_arg_type");
734 if (Node && ArgNo < Node->getNumOperands())
735 TypeName = cast<MDString>(Node->getOperand(ArgNo))->getString();
736
737 StringRef BaseTypeName;
738 Node = Func->getMetadata("kernel_arg_base_type");
739 if (Node && ArgNo < Node->getNumOperands())
740 BaseTypeName = cast<MDString>(Node->getOperand(ArgNo))->getString();
741
742 StringRef AccQual;
743 if (Arg.getType()->isPointerTy() && Arg.onlyReadsMemory() &&
744 Arg.hasNoAliasAttr()) {
745 AccQual = "read_only";
746 } else {
747 Node = Func->getMetadata("kernel_arg_access_qual");
748 if (Node && ArgNo < Node->getNumOperands())
749 AccQual = cast<MDString>(Node->getOperand(ArgNo))->getString();
750 }
751
752 StringRef TypeQual;
753 Node = Func->getMetadata("kernel_arg_type_qual");
754 if (Node && ArgNo < Node->getNumOperands())
755 TypeQual = cast<MDString>(Node->getOperand(ArgNo))->getString();
756
757 Type *Ty = Arg.getType();
758 const DataLayout &DL = Func->getParent()->getDataLayout();
759
760 unsigned PointeeAlign = 0;
761 if (auto PtrTy = dyn_cast<PointerType>(Ty)) {
762 if (PtrTy->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS) {
763 PointeeAlign = Arg.getParamAlignment();
764 if (PointeeAlign == 0)
765 PointeeAlign = DL.getABITypeAlignment(PtrTy->getElementType());
766 }
767 }
768
769 emitKernelArg(Func->getParent()->getDataLayout(), Arg.getType(),
770 getValueKind(Arg.getType(), TypeQual, BaseTypeName), Offset,
771 Args, PointeeAlign, Name, TypeName, BaseTypeName, AccQual,
772 TypeQual);
773}
774
775void MetadataStreamerV3::emitKernelArg(const DataLayout &DL, Type *Ty,
776 StringRef ValueKind, unsigned &Offset,
Tim Renoufed0b9af2019-03-13 18:55:50 +0000777 msgpack::ArrayDocNode Args,
Scott Linderf5b36e52018-12-12 19:39:27 +0000778 unsigned PointeeAlign, StringRef Name,
779 StringRef TypeName,
780 StringRef BaseTypeName,
781 StringRef AccQual, StringRef TypeQual) {
Tim Renoufed0b9af2019-03-13 18:55:50 +0000782 auto Arg = Args.getDocument()->getMapNode();
Scott Linderf5b36e52018-12-12 19:39:27 +0000783
784 if (!Name.empty())
Tim Renoufed0b9af2019-03-13 18:55:50 +0000785 Arg[".name"] = Arg.getDocument()->getNode(Name, /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000786 if (!TypeName.empty())
Tim Renoufed0b9af2019-03-13 18:55:50 +0000787 Arg[".type_name"] = Arg.getDocument()->getNode(TypeName, /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000788 auto Size = DL.getTypeAllocSize(Ty);
789 auto Align = DL.getABITypeAlignment(Ty);
Tim Renoufed0b9af2019-03-13 18:55:50 +0000790 Arg[".size"] = Arg.getDocument()->getNode(Size);
Scott Linderf5b36e52018-12-12 19:39:27 +0000791 Offset = alignTo(Offset, Align);
Tim Renoufed0b9af2019-03-13 18:55:50 +0000792 Arg[".offset"] = Arg.getDocument()->getNode(Offset);
Scott Linderf5b36e52018-12-12 19:39:27 +0000793 Offset += Size;
Tim Renoufed0b9af2019-03-13 18:55:50 +0000794 Arg[".value_kind"] = Arg.getDocument()->getNode(ValueKind, /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000795 Arg[".value_type"] =
Tim Renoufed0b9af2019-03-13 18:55:50 +0000796 Arg.getDocument()->getNode(getValueType(Ty, BaseTypeName), /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000797 if (PointeeAlign)
Tim Renoufed0b9af2019-03-13 18:55:50 +0000798 Arg[".pointee_align"] = Arg.getDocument()->getNode(PointeeAlign);
Scott Linderf5b36e52018-12-12 19:39:27 +0000799
800 if (auto PtrTy = dyn_cast<PointerType>(Ty))
801 if (auto Qualifier = getAddressSpaceQualifier(PtrTy->getAddressSpace()))
Tim Renoufed0b9af2019-03-13 18:55:50 +0000802 Arg[".address_space"] = Arg.getDocument()->getNode(*Qualifier, /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000803
804 if (auto AQ = getAccessQualifier(AccQual))
Tim Renoufed0b9af2019-03-13 18:55:50 +0000805 Arg[".access"] = Arg.getDocument()->getNode(*AQ, /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000806
807 // TODO: Emit Arg[".actual_access"].
808
809 SmallVector<StringRef, 1> SplitTypeQuals;
810 TypeQual.split(SplitTypeQuals, " ", -1, false);
811 for (StringRef Key : SplitTypeQuals) {
812 if (Key == "const")
Tim Renoufed0b9af2019-03-13 18:55:50 +0000813 Arg[".is_const"] = Arg.getDocument()->getNode(true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000814 else if (Key == "restrict")
Tim Renoufed0b9af2019-03-13 18:55:50 +0000815 Arg[".is_restrict"] = Arg.getDocument()->getNode(true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000816 else if (Key == "volatile")
Tim Renoufed0b9af2019-03-13 18:55:50 +0000817 Arg[".is_volatile"] = Arg.getDocument()->getNode(true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000818 else if (Key == "pipe")
Tim Renoufed0b9af2019-03-13 18:55:50 +0000819 Arg[".is_pipe"] = Arg.getDocument()->getNode(true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000820 }
821
Tim Renoufed0b9af2019-03-13 18:55:50 +0000822 Args.push_back(Arg);
Scott Linderf5b36e52018-12-12 19:39:27 +0000823}
824
825void MetadataStreamerV3::emitHiddenKernelArgs(const Function &Func,
826 unsigned &Offset,
Tim Renoufed0b9af2019-03-13 18:55:50 +0000827 msgpack::ArrayDocNode Args) {
Scott Linderf5b36e52018-12-12 19:39:27 +0000828 int HiddenArgNumBytes =
829 getIntegerAttribute(Func, "amdgpu-implicitarg-num-bytes", 0);
830
831 if (!HiddenArgNumBytes)
832 return;
833
834 auto &DL = Func.getParent()->getDataLayout();
835 auto Int64Ty = Type::getInt64Ty(Func.getContext());
836
837 if (HiddenArgNumBytes >= 8)
838 emitKernelArg(DL, Int64Ty, "hidden_global_offset_x", Offset, Args);
839 if (HiddenArgNumBytes >= 16)
840 emitKernelArg(DL, Int64Ty, "hidden_global_offset_y", Offset, Args);
841 if (HiddenArgNumBytes >= 24)
842 emitKernelArg(DL, Int64Ty, "hidden_global_offset_z", Offset, Args);
843
844 auto Int8PtrTy =
845 Type::getInt8PtrTy(Func.getContext(), AMDGPUAS::GLOBAL_ADDRESS);
846
847 // Emit "printf buffer" argument if printf is used, otherwise emit dummy
848 // "none" argument.
849 if (HiddenArgNumBytes >= 32) {
850 if (Func.getParent()->getNamedMetadata("llvm.printf.fmts"))
851 emitKernelArg(DL, Int8PtrTy, "hidden_printf_buffer", Offset, Args);
852 else
853 emitKernelArg(DL, Int8PtrTy, "hidden_none", Offset, Args);
854 }
855
856 // Emit "default queue" and "completion action" arguments if enqueue kernel is
857 // used, otherwise emit dummy "none" arguments.
858 if (HiddenArgNumBytes >= 48) {
859 if (Func.hasFnAttribute("calls-enqueue-kernel")) {
860 emitKernelArg(DL, Int8PtrTy, "hidden_default_queue", Offset, Args);
861 emitKernelArg(DL, Int8PtrTy, "hidden_completion_action", Offset, Args);
862 } else {
863 emitKernelArg(DL, Int8PtrTy, "hidden_none", Offset, Args);
864 emitKernelArg(DL, Int8PtrTy, "hidden_none", Offset, Args);
865 }
866 }
867}
868
Tim Renoufed0b9af2019-03-13 18:55:50 +0000869msgpack::MapDocNode
Scott Linderf5b36e52018-12-12 19:39:27 +0000870MetadataStreamerV3::getHSAKernelProps(const MachineFunction &MF,
871 const SIProgramInfo &ProgramInfo) const {
872 const GCNSubtarget &STM = MF.getSubtarget<GCNSubtarget>();
873 const SIMachineFunctionInfo &MFI = *MF.getInfo<SIMachineFunctionInfo>();
874 const Function &F = MF.getFunction();
875
Tim Renoufed0b9af2019-03-13 18:55:50 +0000876 auto Kern = HSAMetadataDoc->getMapNode();
Scott Linderf5b36e52018-12-12 19:39:27 +0000877
878 unsigned MaxKernArgAlign;
Tim Renoufed0b9af2019-03-13 18:55:50 +0000879 Kern[".kernarg_segment_size"] = Kern.getDocument()->getNode(
Scott Linderf5b36e52018-12-12 19:39:27 +0000880 STM.getKernArgSegmentSize(F, MaxKernArgAlign));
881 Kern[".group_segment_fixed_size"] =
Tim Renoufed0b9af2019-03-13 18:55:50 +0000882 Kern.getDocument()->getNode(ProgramInfo.LDSSize);
Scott Linderf5b36e52018-12-12 19:39:27 +0000883 Kern[".private_segment_fixed_size"] =
Tim Renoufed0b9af2019-03-13 18:55:50 +0000884 Kern.getDocument()->getNode(ProgramInfo.ScratchSize);
Scott Linderf5b36e52018-12-12 19:39:27 +0000885 Kern[".kernarg_segment_align"] =
Tim Renoufed0b9af2019-03-13 18:55:50 +0000886 Kern.getDocument()->getNode(std::max(uint32_t(4), MaxKernArgAlign));
Scott Linderf5b36e52018-12-12 19:39:27 +0000887 Kern[".wavefront_size"] =
Tim Renoufed0b9af2019-03-13 18:55:50 +0000888 Kern.getDocument()->getNode(STM.getWavefrontSize());
889 Kern[".sgpr_count"] = Kern.getDocument()->getNode(ProgramInfo.NumSGPR);
890 Kern[".vgpr_count"] = Kern.getDocument()->getNode(ProgramInfo.NumVGPR);
Scott Linderf5b36e52018-12-12 19:39:27 +0000891 Kern[".max_flat_workgroup_size"] =
Tim Renoufed0b9af2019-03-13 18:55:50 +0000892 Kern.getDocument()->getNode(MFI.getMaxFlatWorkGroupSize());
Scott Linderf5b36e52018-12-12 19:39:27 +0000893 Kern[".sgpr_spill_count"] =
Tim Renoufed0b9af2019-03-13 18:55:50 +0000894 Kern.getDocument()->getNode(MFI.getNumSpilledSGPRs());
Scott Linderf5b36e52018-12-12 19:39:27 +0000895 Kern[".vgpr_spill_count"] =
Tim Renoufed0b9af2019-03-13 18:55:50 +0000896 Kern.getDocument()->getNode(MFI.getNumSpilledVGPRs());
Scott Linderf5b36e52018-12-12 19:39:27 +0000897
Tim Renoufed0b9af2019-03-13 18:55:50 +0000898 return Kern;
Scott Linderf5b36e52018-12-12 19:39:27 +0000899}
900
901bool MetadataStreamerV3::emitTo(AMDGPUTargetStreamer &TargetStreamer) {
Tim Renoufed0b9af2019-03-13 18:55:50 +0000902 return TargetStreamer.EmitHSAMetadata(*HSAMetadataDoc, true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000903}
904
905void MetadataStreamerV3::begin(const Module &Mod) {
906 emitVersion();
907 emitPrintf(Mod);
Tim Renoufed0b9af2019-03-13 18:55:50 +0000908 getRootMetadata("amdhsa.kernels") = HSAMetadataDoc->getArrayNode();
Scott Linderf5b36e52018-12-12 19:39:27 +0000909}
910
911void MetadataStreamerV3::end() {
912 std::string HSAMetadataString;
913 raw_string_ostream StrOS(HSAMetadataString);
Tim Renoufed0b9af2019-03-13 18:55:50 +0000914 HSAMetadataDoc->toYAML(StrOS);
Scott Linderf5b36e52018-12-12 19:39:27 +0000915
916 if (DumpHSAMetadata)
917 dump(StrOS.str());
918 if (VerifyHSAMetadata)
919 verify(StrOS.str());
920}
921
922void MetadataStreamerV3::emitKernel(const MachineFunction &MF,
923 const SIProgramInfo &ProgramInfo) {
924 auto &Func = MF.getFunction();
Tim Renoufed0b9af2019-03-13 18:55:50 +0000925 auto Kern = getHSAKernelProps(MF, ProgramInfo);
Scott Linderf5b36e52018-12-12 19:39:27 +0000926
927 assert(Func.getCallingConv() == CallingConv::AMDGPU_KERNEL ||
928 Func.getCallingConv() == CallingConv::SPIR_KERNEL);
929
Tim Renoufed0b9af2019-03-13 18:55:50 +0000930 auto Kernels =
931 getRootMetadata("amdhsa.kernels").getArray(/*Convert=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000932
933 {
Tim Renoufed0b9af2019-03-13 18:55:50 +0000934 Kern[".name"] = Kern.getDocument()->getNode(Func.getName());
935 Kern[".symbol"] = Kern.getDocument()->getNode(
936 (Twine(Func.getName()) + Twine(".kd")).str(), /*Copy=*/true);
Scott Linderf5b36e52018-12-12 19:39:27 +0000937 emitKernelLanguage(Func, Kern);
938 emitKernelAttrs(Func, Kern);
939 emitKernelArgs(Func, Kern);
940 }
941
Tim Renoufed0b9af2019-03-13 18:55:50 +0000942 Kernels.push_back(Kern);
Scott Linderf5b36e52018-12-12 19:39:27 +0000943}
944
Konstantin Zhuravlyova63b0f92017-10-11 22:18:53 +0000945} // end namespace HSAMD
Konstantin Zhuravlyov7498cd62017-03-22 22:32:22 +0000946} // end namespace AMDGPU
947} // end namespace llvm