blob: a81deac4063f4a2a721b5030e37b1989cf93586c [file] [log] [blame]
Yonghong Song7b410ac2018-12-19 16:40:25 +00001//===- BTFDebug.cpp - BTF Generator ---------------------------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Yonghong Song7b410ac2018-12-19 16:40:25 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file contains support for writing BTF debug info.
10//
11//===----------------------------------------------------------------------===//
12
13#include "BTFDebug.h"
Yonghong Songd3d88d02019-07-09 15:28:41 +000014#include "BPF.h"
15#include "BPFCORE.h"
16#include "MCTargetDesc/BPFMCTargetDesc.h"
Yonghong Song7b410ac2018-12-19 16:40:25 +000017#include "llvm/BinaryFormat/ELF.h"
18#include "llvm/CodeGen/AsmPrinter.h"
19#include "llvm/CodeGen/MachineModuleInfo.h"
20#include "llvm/MC/MCContext.h"
21#include "llvm/MC/MCObjectFileInfo.h"
22#include "llvm/MC/MCSectionELF.h"
23#include "llvm/MC/MCStreamer.h"
Fangrui Song83db8872019-04-02 16:15:46 +000024#include "llvm/Support/LineIterator.h"
Yonghong Song7b410ac2018-12-19 16:40:25 +000025
26using namespace llvm;
27
28static const char *BTFKindStr[] = {
29#define HANDLE_BTF_KIND(ID, NAME) "BTF_KIND_" #NAME,
30#include "BTF.def"
31};
32
33/// Emit a BTF common type.
34void BTFTypeBase::emitType(MCStreamer &OS) {
35 OS.AddComment(std::string(BTFKindStr[Kind]) + "(id = " + std::to_string(Id) +
36 ")");
37 OS.EmitIntValue(BTFType.NameOff, 4);
38 OS.AddComment("0x" + Twine::utohexstr(BTFType.Info));
39 OS.EmitIntValue(BTFType.Info, 4);
40 OS.EmitIntValue(BTFType.Size, 4);
41}
42
Yonghong Songd3d88d02019-07-09 15:28:41 +000043BTFTypeDerived::BTFTypeDerived(const DIDerivedType *DTy, unsigned Tag,
44 bool NeedsFixup)
45 : DTy(DTy), NeedsFixup(NeedsFixup) {
Yonghong Song7b410ac2018-12-19 16:40:25 +000046 switch (Tag) {
47 case dwarf::DW_TAG_pointer_type:
48 Kind = BTF::BTF_KIND_PTR;
49 break;
50 case dwarf::DW_TAG_const_type:
51 Kind = BTF::BTF_KIND_CONST;
52 break;
53 case dwarf::DW_TAG_volatile_type:
54 Kind = BTF::BTF_KIND_VOLATILE;
55 break;
56 case dwarf::DW_TAG_typedef:
57 Kind = BTF::BTF_KIND_TYPEDEF;
58 break;
59 case dwarf::DW_TAG_restrict_type:
60 Kind = BTF::BTF_KIND_RESTRICT;
61 break;
62 default:
63 llvm_unreachable("Unknown DIDerivedType Tag");
64 }
65 BTFType.Info = Kind << 24;
66}
67
68void BTFTypeDerived::completeType(BTFDebug &BDebug) {
Yonghong Songd3d88d02019-07-09 15:28:41 +000069 if (IsCompleted)
70 return;
71 IsCompleted = true;
72
Yonghong Song7b410ac2018-12-19 16:40:25 +000073 BTFType.NameOff = BDebug.addString(DTy->getName());
74
Yonghong Songd3d88d02019-07-09 15:28:41 +000075 if (NeedsFixup)
76 return;
77
Yonghong Song7b410ac2018-12-19 16:40:25 +000078 // The base type for PTR/CONST/VOLATILE could be void.
Fangrui Songda82ce92019-05-07 02:06:37 +000079 const DIType *ResolvedType = DTy->getBaseType();
Yonghong Song7b410ac2018-12-19 16:40:25 +000080 if (!ResolvedType) {
81 assert((Kind == BTF::BTF_KIND_PTR || Kind == BTF::BTF_KIND_CONST ||
82 Kind == BTF::BTF_KIND_VOLATILE) &&
83 "Invalid null basetype");
84 BTFType.Type = 0;
85 } else {
86 BTFType.Type = BDebug.getTypeId(ResolvedType);
87 }
88}
89
90void BTFTypeDerived::emitType(MCStreamer &OS) { BTFTypeBase::emitType(OS); }
91
Yonghong Songd3d88d02019-07-09 15:28:41 +000092void BTFTypeDerived::setPointeeType(uint32_t PointeeType) {
93 BTFType.Type = PointeeType;
94}
95
Yonghong Song7b410ac2018-12-19 16:40:25 +000096/// Represent a struct/union forward declaration.
97BTFTypeFwd::BTFTypeFwd(StringRef Name, bool IsUnion) : Name(Name) {
98 Kind = BTF::BTF_KIND_FWD;
99 BTFType.Info = IsUnion << 31 | Kind << 24;
100 BTFType.Type = 0;
101}
102
103void BTFTypeFwd::completeType(BTFDebug &BDebug) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000104 if (IsCompleted)
105 return;
106 IsCompleted = true;
107
Yonghong Song7b410ac2018-12-19 16:40:25 +0000108 BTFType.NameOff = BDebug.addString(Name);
109}
110
111void BTFTypeFwd::emitType(MCStreamer &OS) { BTFTypeBase::emitType(OS); }
112
113BTFTypeInt::BTFTypeInt(uint32_t Encoding, uint32_t SizeInBits,
114 uint32_t OffsetInBits, StringRef TypeName)
115 : Name(TypeName) {
116 // Translate IR int encoding to BTF int encoding.
117 uint8_t BTFEncoding;
118 switch (Encoding) {
119 case dwarf::DW_ATE_boolean:
120 BTFEncoding = BTF::INT_BOOL;
121 break;
122 case dwarf::DW_ATE_signed:
123 case dwarf::DW_ATE_signed_char:
124 BTFEncoding = BTF::INT_SIGNED;
125 break;
126 case dwarf::DW_ATE_unsigned:
127 case dwarf::DW_ATE_unsigned_char:
128 BTFEncoding = 0;
129 break;
130 default:
131 llvm_unreachable("Unknown BTFTypeInt Encoding");
132 }
133
134 Kind = BTF::BTF_KIND_INT;
135 BTFType.Info = Kind << 24;
136 BTFType.Size = roundupToBytes(SizeInBits);
137 IntVal = (BTFEncoding << 24) | OffsetInBits << 16 | SizeInBits;
138}
139
140void BTFTypeInt::completeType(BTFDebug &BDebug) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000141 if (IsCompleted)
142 return;
143 IsCompleted = true;
144
Yonghong Song7b410ac2018-12-19 16:40:25 +0000145 BTFType.NameOff = BDebug.addString(Name);
146}
147
148void BTFTypeInt::emitType(MCStreamer &OS) {
149 BTFTypeBase::emitType(OS);
150 OS.AddComment("0x" + Twine::utohexstr(IntVal));
151 OS.EmitIntValue(IntVal, 4);
152}
153
154BTFTypeEnum::BTFTypeEnum(const DICompositeType *ETy, uint32_t VLen) : ETy(ETy) {
155 Kind = BTF::BTF_KIND_ENUM;
156 BTFType.Info = Kind << 24 | VLen;
157 BTFType.Size = roundupToBytes(ETy->getSizeInBits());
158}
159
160void BTFTypeEnum::completeType(BTFDebug &BDebug) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000161 if (IsCompleted)
162 return;
163 IsCompleted = true;
164
Yonghong Song7b410ac2018-12-19 16:40:25 +0000165 BTFType.NameOff = BDebug.addString(ETy->getName());
166
167 DINodeArray Elements = ETy->getElements();
168 for (const auto Element : Elements) {
169 const auto *Enum = cast<DIEnumerator>(Element);
170
171 struct BTF::BTFEnum BTFEnum;
172 BTFEnum.NameOff = BDebug.addString(Enum->getName());
173 // BTF enum value is 32bit, enforce it.
174 BTFEnum.Val = static_cast<uint32_t>(Enum->getValue());
175 EnumValues.push_back(BTFEnum);
176 }
177}
178
179void BTFTypeEnum::emitType(MCStreamer &OS) {
180 BTFTypeBase::emitType(OS);
181 for (const auto &Enum : EnumValues) {
182 OS.EmitIntValue(Enum.NameOff, 4);
183 OS.EmitIntValue(Enum.Val, 4);
184 }
185}
186
Yonghong Song37d24a62019-08-02 23:16:44 +0000187BTFTypeArray::BTFTypeArray(uint32_t ElemTypeId, uint32_t NumElems) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000188 Kind = BTF::BTF_KIND_ARRAY;
Yonghong Song360a4e2c2019-03-28 21:59:49 +0000189 BTFType.NameOff = 0;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000190 BTFType.Info = Kind << 24;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000191 BTFType.Size = 0;
192
Yonghong Song360a4e2c2019-03-28 21:59:49 +0000193 ArrayInfo.ElemType = ElemTypeId;
194 ArrayInfo.Nelems = NumElems;
195}
196
197/// Represent a BTF array.
198void BTFTypeArray::completeType(BTFDebug &BDebug) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000199 if (IsCompleted)
200 return;
201 IsCompleted = true;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000202
203 // The IR does not really have a type for the index.
204 // A special type for array index should have been
205 // created during initial type traversal. Just
206 // retrieve that type id.
207 ArrayInfo.IndexType = BDebug.getArrayIndexTypeId();
Yonghong Song7b410ac2018-12-19 16:40:25 +0000208}
209
210void BTFTypeArray::emitType(MCStreamer &OS) {
211 BTFTypeBase::emitType(OS);
212 OS.EmitIntValue(ArrayInfo.ElemType, 4);
213 OS.EmitIntValue(ArrayInfo.IndexType, 4);
214 OS.EmitIntValue(ArrayInfo.Nelems, 4);
215}
216
217/// Represent either a struct or a union.
218BTFTypeStruct::BTFTypeStruct(const DICompositeType *STy, bool IsStruct,
219 bool HasBitField, uint32_t Vlen)
220 : STy(STy), HasBitField(HasBitField) {
221 Kind = IsStruct ? BTF::BTF_KIND_STRUCT : BTF::BTF_KIND_UNION;
222 BTFType.Size = roundupToBytes(STy->getSizeInBits());
223 BTFType.Info = (HasBitField << 31) | (Kind << 24) | Vlen;
224}
225
226void BTFTypeStruct::completeType(BTFDebug &BDebug) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000227 if (IsCompleted)
228 return;
229 IsCompleted = true;
230
Yonghong Song7b410ac2018-12-19 16:40:25 +0000231 BTFType.NameOff = BDebug.addString(STy->getName());
232
233 // Add struct/union members.
234 const DINodeArray Elements = STy->getElements();
235 for (const auto *Element : Elements) {
236 struct BTF::BTFMember BTFMember;
237 const auto *DDTy = cast<DIDerivedType>(Element);
238
239 BTFMember.NameOff = BDebug.addString(DDTy->getName());
240 if (HasBitField) {
241 uint8_t BitFieldSize = DDTy->isBitField() ? DDTy->getSizeInBits() : 0;
242 BTFMember.Offset = BitFieldSize << 24 | DDTy->getOffsetInBits();
243 } else {
244 BTFMember.Offset = DDTy->getOffsetInBits();
245 }
Yonghong Song329abf22019-07-25 21:47:27 +0000246 const auto *BaseTy = DDTy->getBaseType();
247 BTFMember.Type = BDebug.getTypeId(BaseTy);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000248 Members.push_back(BTFMember);
249 }
250}
251
252void BTFTypeStruct::emitType(MCStreamer &OS) {
253 BTFTypeBase::emitType(OS);
254 for (const auto &Member : Members) {
255 OS.EmitIntValue(Member.NameOff, 4);
256 OS.EmitIntValue(Member.Type, 4);
257 OS.AddComment("0x" + Twine::utohexstr(Member.Offset));
258 OS.EmitIntValue(Member.Offset, 4);
259 }
260}
261
Benjamin Krameradcd0262020-01-28 20:23:46 +0100262std::string BTFTypeStruct::getName() { return std::string(STy->getName()); }
Yonghong Songd3d88d02019-07-09 15:28:41 +0000263
Yonghong Song7b410ac2018-12-19 16:40:25 +0000264/// The Func kind represents both subprogram and pointee of function
265/// pointers. If the FuncName is empty, it represents a pointee of function
266/// pointer. Otherwise, it represents a subprogram. The func arg names
267/// are empty for pointee of function pointer case, and are valid names
268/// for subprogram.
269BTFTypeFuncProto::BTFTypeFuncProto(
270 const DISubroutineType *STy, uint32_t VLen,
271 const std::unordered_map<uint32_t, StringRef> &FuncArgNames)
272 : STy(STy), FuncArgNames(FuncArgNames) {
273 Kind = BTF::BTF_KIND_FUNC_PROTO;
274 BTFType.Info = (Kind << 24) | VLen;
275}
276
277void BTFTypeFuncProto::completeType(BTFDebug &BDebug) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000278 if (IsCompleted)
279 return;
280 IsCompleted = true;
281
Yonghong Song7b410ac2018-12-19 16:40:25 +0000282 DITypeRefArray Elements = STy->getTypeArray();
Fangrui Songda82ce92019-05-07 02:06:37 +0000283 auto RetType = Elements[0];
Yonghong Song7b410ac2018-12-19 16:40:25 +0000284 BTFType.Type = RetType ? BDebug.getTypeId(RetType) : 0;
285 BTFType.NameOff = 0;
286
287 // For null parameter which is typically the last one
288 // to represent the vararg, encode the NameOff/Type to be 0.
289 for (unsigned I = 1, N = Elements.size(); I < N; ++I) {
290 struct BTF::BTFParam Param;
Fangrui Songda82ce92019-05-07 02:06:37 +0000291 auto Element = Elements[I];
Yonghong Song7b410ac2018-12-19 16:40:25 +0000292 if (Element) {
293 Param.NameOff = BDebug.addString(FuncArgNames[I]);
294 Param.Type = BDebug.getTypeId(Element);
295 } else {
296 Param.NameOff = 0;
297 Param.Type = 0;
298 }
299 Parameters.push_back(Param);
300 }
301}
302
303void BTFTypeFuncProto::emitType(MCStreamer &OS) {
304 BTFTypeBase::emitType(OS);
305 for (const auto &Param : Parameters) {
306 OS.EmitIntValue(Param.NameOff, 4);
307 OS.EmitIntValue(Param.Type, 4);
308 }
309}
310
Yonghong Songfbb64aa2019-12-17 16:24:23 -0800311BTFTypeFunc::BTFTypeFunc(StringRef FuncName, uint32_t ProtoTypeId,
312 uint32_t Scope)
Yonghong Song7b410ac2018-12-19 16:40:25 +0000313 : Name(FuncName) {
314 Kind = BTF::BTF_KIND_FUNC;
Yonghong Songfbb64aa2019-12-17 16:24:23 -0800315 BTFType.Info = (Kind << 24) | Scope;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000316 BTFType.Type = ProtoTypeId;
317}
318
319void BTFTypeFunc::completeType(BTFDebug &BDebug) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000320 if (IsCompleted)
321 return;
322 IsCompleted = true;
323
Yonghong Song7b410ac2018-12-19 16:40:25 +0000324 BTFType.NameOff = BDebug.addString(Name);
325}
326
327void BTFTypeFunc::emitType(MCStreamer &OS) { BTFTypeBase::emitType(OS); }
328
Yonghong Song6db6b562019-03-16 15:36:31 +0000329BTFKindVar::BTFKindVar(StringRef VarName, uint32_t TypeId, uint32_t VarInfo)
330 : Name(VarName) {
331 Kind = BTF::BTF_KIND_VAR;
332 BTFType.Info = Kind << 24;
333 BTFType.Type = TypeId;
334 Info = VarInfo;
335}
336
337void BTFKindVar::completeType(BTFDebug &BDebug) {
338 BTFType.NameOff = BDebug.addString(Name);
339}
340
341void BTFKindVar::emitType(MCStreamer &OS) {
342 BTFTypeBase::emitType(OS);
343 OS.EmitIntValue(Info, 4);
344}
345
346BTFKindDataSec::BTFKindDataSec(AsmPrinter *AsmPrt, std::string SecName)
347 : Asm(AsmPrt), Name(SecName) {
348 Kind = BTF::BTF_KIND_DATASEC;
349 BTFType.Info = Kind << 24;
350 BTFType.Size = 0;
351}
352
353void BTFKindDataSec::completeType(BTFDebug &BDebug) {
354 BTFType.NameOff = BDebug.addString(Name);
355 BTFType.Info |= Vars.size();
356}
357
358void BTFKindDataSec::emitType(MCStreamer &OS) {
359 BTFTypeBase::emitType(OS);
360
361 for (const auto &V : Vars) {
362 OS.EmitIntValue(std::get<0>(V), 4);
Fangrui Song0bc77a02020-02-13 13:26:21 -0800363 Asm->emitLabelReference(std::get<1>(V), 4);
Yonghong Song6db6b562019-03-16 15:36:31 +0000364 OS.EmitIntValue(std::get<2>(V), 4);
365 }
366}
367
Yonghong Song7b410ac2018-12-19 16:40:25 +0000368uint32_t BTFStringTable::addString(StringRef S) {
369 // Check whether the string already exists.
370 for (auto &OffsetM : OffsetToIdMap) {
371 if (Table[OffsetM.second] == S)
372 return OffsetM.first;
373 }
374 // Not find, add to the string table.
375 uint32_t Offset = Size;
376 OffsetToIdMap[Offset] = Table.size();
Benjamin Krameradcd0262020-01-28 20:23:46 +0100377 Table.push_back(std::string(S));
Yonghong Song7b410ac2018-12-19 16:40:25 +0000378 Size += S.size() + 1;
379 return Offset;
380}
381
382BTFDebug::BTFDebug(AsmPrinter *AP)
383 : DebugHandlerBase(AP), OS(*Asm->OutStreamer), SkipInstruction(false),
Yonghong Songd3d88d02019-07-09 15:28:41 +0000384 LineInfoGenerated(false), SecNameOff(0), ArrayIndexTypeId(0),
385 MapDefNotCollected(true) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000386 addString("\0");
387}
388
Yonghong Song6db6b562019-03-16 15:36:31 +0000389uint32_t BTFDebug::addType(std::unique_ptr<BTFTypeBase> TypeEntry,
390 const DIType *Ty) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000391 TypeEntry->setId(TypeEntries.size() + 1);
Yonghong Song6db6b562019-03-16 15:36:31 +0000392 uint32_t Id = TypeEntry->getId();
393 DIToIdMap[Ty] = Id;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000394 TypeEntries.push_back(std::move(TypeEntry));
Yonghong Song6db6b562019-03-16 15:36:31 +0000395 return Id;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000396}
397
398uint32_t BTFDebug::addType(std::unique_ptr<BTFTypeBase> TypeEntry) {
399 TypeEntry->setId(TypeEntries.size() + 1);
400 uint32_t Id = TypeEntry->getId();
401 TypeEntries.push_back(std::move(TypeEntry));
402 return Id;
403}
404
Yonghong Song6db6b562019-03-16 15:36:31 +0000405void BTFDebug::visitBasicType(const DIBasicType *BTy, uint32_t &TypeId) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000406 // Only int types are supported in BTF.
407 uint32_t Encoding = BTy->getEncoding();
408 if (Encoding != dwarf::DW_ATE_boolean && Encoding != dwarf::DW_ATE_signed &&
409 Encoding != dwarf::DW_ATE_signed_char &&
410 Encoding != dwarf::DW_ATE_unsigned &&
411 Encoding != dwarf::DW_ATE_unsigned_char)
412 return;
413
414 // Create a BTF type instance for this DIBasicType and put it into
415 // DIToIdMap for cross-type reference check.
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000416 auto TypeEntry = std::make_unique<BTFTypeInt>(
Yonghong Song7b410ac2018-12-19 16:40:25 +0000417 Encoding, BTy->getSizeInBits(), BTy->getOffsetInBits(), BTy->getName());
Yonghong Song6db6b562019-03-16 15:36:31 +0000418 TypeId = addType(std::move(TypeEntry), BTy);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000419}
420
421/// Handle subprogram or subroutine types.
422void BTFDebug::visitSubroutineType(
423 const DISubroutineType *STy, bool ForSubprog,
424 const std::unordered_map<uint32_t, StringRef> &FuncArgNames,
425 uint32_t &TypeId) {
426 DITypeRefArray Elements = STy->getTypeArray();
427 uint32_t VLen = Elements.size() - 1;
428 if (VLen > BTF::MAX_VLEN)
429 return;
430
431 // Subprogram has a valid non-zero-length name, and the pointee of
432 // a function pointer has an empty name. The subprogram type will
433 // not be added to DIToIdMap as it should not be referenced by
434 // any other types.
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000435 auto TypeEntry = std::make_unique<BTFTypeFuncProto>(STy, VLen, FuncArgNames);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000436 if (ForSubprog)
437 TypeId = addType(std::move(TypeEntry)); // For subprogram
438 else
Yonghong Song6db6b562019-03-16 15:36:31 +0000439 TypeId = addType(std::move(TypeEntry), STy); // For func ptr
Yonghong Song7b410ac2018-12-19 16:40:25 +0000440
441 // Visit return type and func arg types.
442 for (const auto Element : Elements) {
Fangrui Songda82ce92019-05-07 02:06:37 +0000443 visitTypeEntry(Element);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000444 }
445}
446
447/// Handle structure/union types.
Yonghong Song6db6b562019-03-16 15:36:31 +0000448void BTFDebug::visitStructType(const DICompositeType *CTy, bool IsStruct,
449 uint32_t &TypeId) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000450 const DINodeArray Elements = CTy->getElements();
451 uint32_t VLen = Elements.size();
452 if (VLen > BTF::MAX_VLEN)
453 return;
454
455 // Check whether we have any bitfield members or not
456 bool HasBitField = false;
457 for (const auto *Element : Elements) {
458 auto E = cast<DIDerivedType>(Element);
459 if (E->isBitField()) {
460 HasBitField = true;
461 break;
462 }
463 }
464
465 auto TypeEntry =
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000466 std::make_unique<BTFTypeStruct>(CTy, IsStruct, HasBitField, VLen);
Yonghong Songd3d88d02019-07-09 15:28:41 +0000467 StructTypes.push_back(TypeEntry.get());
Yonghong Song6db6b562019-03-16 15:36:31 +0000468 TypeId = addType(std::move(TypeEntry), CTy);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000469
470 // Visit all struct members.
471 for (const auto *Element : Elements)
472 visitTypeEntry(cast<DIDerivedType>(Element));
473}
474
Yonghong Song6db6b562019-03-16 15:36:31 +0000475void BTFDebug::visitArrayType(const DICompositeType *CTy, uint32_t &TypeId) {
Yonghong Song360a4e2c2019-03-28 21:59:49 +0000476 // Visit array element type.
Yonghong Song1487bf62019-09-24 22:38:43 +0000477 uint32_t ElemTypeId;
Yonghong Songd3d88d02019-07-09 15:28:41 +0000478 const DIType *ElemType = CTy->getBaseType();
479 visitTypeEntry(ElemType, ElemTypeId, false, false);
Yonghong Song329abf22019-07-25 21:47:27 +0000480
Yonghong Song1487bf62019-09-24 22:38:43 +0000481 // Visit array dimensions.
482 DINodeArray Elements = CTy->getElements();
483 for (int I = Elements.size() - 1; I >= 0; --I) {
484 if (auto *Element = dyn_cast_or_null<DINode>(Elements[I]))
485 if (Element->getTag() == dwarf::DW_TAG_subrange_type) {
486 const DISubrange *SR = cast<DISubrange>(Element);
487 auto *CI = SR->getCount().dyn_cast<ConstantInt *>();
488 int64_t Count = CI->getSExtValue();
Yonghong Song360a4e2c2019-03-28 21:59:49 +0000489
Yonghong Song1487bf62019-09-24 22:38:43 +0000490 // For struct s { int b; char c[]; }, the c[] will be represented
491 // as an array with Count = -1.
492 auto TypeEntry =
493 std::make_unique<BTFTypeArray>(ElemTypeId,
494 Count >= 0 ? Count : 0);
495 if (I == 0)
496 ElemTypeId = addType(std::move(TypeEntry), CTy);
497 else
498 ElemTypeId = addType(std::move(TypeEntry));
499 }
Yonghong Song360a4e2c2019-03-28 21:59:49 +0000500 }
501
502 // The array TypeId is the type id of the outermost dimension.
503 TypeId = ElemTypeId;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000504
505 // The IR does not have a type for array index while BTF wants one.
506 // So create an array index type if there is none.
507 if (!ArrayIndexTypeId) {
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000508 auto TypeEntry = std::make_unique<BTFTypeInt>(dwarf::DW_ATE_unsigned, 32,
Yonghong Song7b410ac2018-12-19 16:40:25 +0000509 0, "__ARRAY_SIZE_TYPE__");
510 ArrayIndexTypeId = addType(std::move(TypeEntry));
511 }
Yonghong Song7b410ac2018-12-19 16:40:25 +0000512}
513
Yonghong Song6db6b562019-03-16 15:36:31 +0000514void BTFDebug::visitEnumType(const DICompositeType *CTy, uint32_t &TypeId) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000515 DINodeArray Elements = CTy->getElements();
516 uint32_t VLen = Elements.size();
517 if (VLen > BTF::MAX_VLEN)
518 return;
519
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000520 auto TypeEntry = std::make_unique<BTFTypeEnum>(CTy, VLen);
Yonghong Song6db6b562019-03-16 15:36:31 +0000521 TypeId = addType(std::move(TypeEntry), CTy);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000522 // No need to visit base type as BTF does not encode it.
523}
524
525/// Handle structure/union forward declarations.
Yonghong Song6db6b562019-03-16 15:36:31 +0000526void BTFDebug::visitFwdDeclType(const DICompositeType *CTy, bool IsUnion,
527 uint32_t &TypeId) {
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000528 auto TypeEntry = std::make_unique<BTFTypeFwd>(CTy->getName(), IsUnion);
Yonghong Song6db6b562019-03-16 15:36:31 +0000529 TypeId = addType(std::move(TypeEntry), CTy);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000530}
531
532/// Handle structure, union, array and enumeration types.
Yonghong Song6db6b562019-03-16 15:36:31 +0000533void BTFDebug::visitCompositeType(const DICompositeType *CTy,
534 uint32_t &TypeId) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000535 auto Tag = CTy->getTag();
536 if (Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
537 // Handle forward declaration differently as it does not have members.
538 if (CTy->isForwardDecl())
Yonghong Song6db6b562019-03-16 15:36:31 +0000539 visitFwdDeclType(CTy, Tag == dwarf::DW_TAG_union_type, TypeId);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000540 else
Yonghong Song6db6b562019-03-16 15:36:31 +0000541 visitStructType(CTy, Tag == dwarf::DW_TAG_structure_type, TypeId);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000542 } else if (Tag == dwarf::DW_TAG_array_type)
Yonghong Song6db6b562019-03-16 15:36:31 +0000543 visitArrayType(CTy, TypeId);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000544 else if (Tag == dwarf::DW_TAG_enumeration_type)
Yonghong Song6db6b562019-03-16 15:36:31 +0000545 visitEnumType(CTy, TypeId);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000546}
547
548/// Handle pointer, typedef, const, volatile, restrict and member types.
Yonghong Songd3d88d02019-07-09 15:28:41 +0000549void BTFDebug::visitDerivedType(const DIDerivedType *DTy, uint32_t &TypeId,
550 bool CheckPointer, bool SeenPointer) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000551 unsigned Tag = DTy->getTag();
552
Yonghong Songd3d88d02019-07-09 15:28:41 +0000553 /// Try to avoid chasing pointees, esp. structure pointees which may
554 /// unnecessary bring in a lot of types.
555 if (CheckPointer && !SeenPointer) {
556 SeenPointer = Tag == dwarf::DW_TAG_pointer_type;
557 }
558
559 if (CheckPointer && SeenPointer) {
560 const DIType *Base = DTy->getBaseType();
561 if (Base) {
562 if (const auto *CTy = dyn_cast<DICompositeType>(Base)) {
563 auto CTag = CTy->getTag();
564 if ((CTag == dwarf::DW_TAG_structure_type ||
565 CTag == dwarf::DW_TAG_union_type) &&
566 !CTy->isForwardDecl()) {
567 /// Find a candidate, generate a fixup. Later on the struct/union
568 /// pointee type will be replaced with either a real type or
569 /// a forward declaration.
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000570 auto TypeEntry = std::make_unique<BTFTypeDerived>(DTy, Tag, true);
Yonghong Songd3d88d02019-07-09 15:28:41 +0000571 auto &Fixup = FixupDerivedTypes[CTy->getName()];
572 Fixup.first = CTag == dwarf::DW_TAG_union_type;
573 Fixup.second.push_back(TypeEntry.get());
574 TypeId = addType(std::move(TypeEntry), DTy);
575 return;
576 }
577 }
578 }
579 }
580
Yonghong Song7b410ac2018-12-19 16:40:25 +0000581 if (Tag == dwarf::DW_TAG_pointer_type || Tag == dwarf::DW_TAG_typedef ||
582 Tag == dwarf::DW_TAG_const_type || Tag == dwarf::DW_TAG_volatile_type ||
583 Tag == dwarf::DW_TAG_restrict_type) {
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000584 auto TypeEntry = std::make_unique<BTFTypeDerived>(DTy, Tag, false);
Yonghong Song6db6b562019-03-16 15:36:31 +0000585 TypeId = addType(std::move(TypeEntry), DTy);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000586 } else if (Tag != dwarf::DW_TAG_member) {
587 return;
588 }
589
590 // Visit base type of pointer, typedef, const, volatile, restrict or
591 // struct/union member.
Yonghong Songded9a442019-03-22 01:30:50 +0000592 uint32_t TempTypeId = 0;
Yonghong Songd3d88d02019-07-09 15:28:41 +0000593 if (Tag == dwarf::DW_TAG_member)
594 visitTypeEntry(DTy->getBaseType(), TempTypeId, true, false);
595 else
596 visitTypeEntry(DTy->getBaseType(), TempTypeId, CheckPointer, SeenPointer);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000597}
598
Yonghong Songd3d88d02019-07-09 15:28:41 +0000599void BTFDebug::visitTypeEntry(const DIType *Ty, uint32_t &TypeId,
600 bool CheckPointer, bool SeenPointer) {
Yonghong Song6db6b562019-03-16 15:36:31 +0000601 if (!Ty || DIToIdMap.find(Ty) != DIToIdMap.end()) {
602 TypeId = DIToIdMap[Ty];
Yonghong Song7b410ac2018-12-19 16:40:25 +0000603 return;
Yonghong Song6db6b562019-03-16 15:36:31 +0000604 }
Yonghong Song7b410ac2018-12-19 16:40:25 +0000605
Yonghong Song7b410ac2018-12-19 16:40:25 +0000606 if (const auto *BTy = dyn_cast<DIBasicType>(Ty))
Yonghong Song6db6b562019-03-16 15:36:31 +0000607 visitBasicType(BTy, TypeId);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000608 else if (const auto *STy = dyn_cast<DISubroutineType>(Ty))
609 visitSubroutineType(STy, false, std::unordered_map<uint32_t, StringRef>(),
610 TypeId);
611 else if (const auto *CTy = dyn_cast<DICompositeType>(Ty))
Yonghong Song6db6b562019-03-16 15:36:31 +0000612 visitCompositeType(CTy, TypeId);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000613 else if (const auto *DTy = dyn_cast<DIDerivedType>(Ty))
Yonghong Songd3d88d02019-07-09 15:28:41 +0000614 visitDerivedType(DTy, TypeId, CheckPointer, SeenPointer);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000615 else
616 llvm_unreachable("Unknown DIType");
617}
618
Yonghong Song6db6b562019-03-16 15:36:31 +0000619void BTFDebug::visitTypeEntry(const DIType *Ty) {
620 uint32_t TypeId;
Yonghong Songd3d88d02019-07-09 15:28:41 +0000621 visitTypeEntry(Ty, TypeId, false, false);
622}
623
624void BTFDebug::visitMapDefType(const DIType *Ty, uint32_t &TypeId) {
625 if (!Ty || DIToIdMap.find(Ty) != DIToIdMap.end()) {
626 TypeId = DIToIdMap[Ty];
627 return;
628 }
629
630 // MapDef type is a struct type
631 const auto *CTy = dyn_cast<DICompositeType>(Ty);
632 if (!CTy)
633 return;
634
635 auto Tag = CTy->getTag();
636 if (Tag != dwarf::DW_TAG_structure_type || CTy->isForwardDecl())
637 return;
638
639 // Record this type
640 const DINodeArray Elements = CTy->getElements();
641 bool HasBitField = false;
642 for (const auto *Element : Elements) {
643 auto E = cast<DIDerivedType>(Element);
644 if (E->isBitField()) {
645 HasBitField = true;
646 break;
647 }
648 }
649
650 auto TypeEntry =
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000651 std::make_unique<BTFTypeStruct>(CTy, true, HasBitField, Elements.size());
Yonghong Songd3d88d02019-07-09 15:28:41 +0000652 StructTypes.push_back(TypeEntry.get());
653 TypeId = addType(std::move(TypeEntry), CTy);
654
655 // Visit all struct members
656 for (const auto *Element : Elements) {
657 const auto *MemberType = cast<DIDerivedType>(Element);
658 visitTypeEntry(MemberType->getBaseType());
659 }
Yonghong Song6db6b562019-03-16 15:36:31 +0000660}
661
Yonghong Song7b410ac2018-12-19 16:40:25 +0000662/// Read file contents from the actual file or from the source
663std::string BTFDebug::populateFileContent(const DISubprogram *SP) {
664 auto File = SP->getFile();
665 std::string FileName;
666
Yonghong Songfa365402019-02-02 05:54:59 +0000667 if (!File->getFilename().startswith("/") && File->getDirectory().size())
Yonghong Song7b410ac2018-12-19 16:40:25 +0000668 FileName = File->getDirectory().str() + "/" + File->getFilename().str();
669 else
Benjamin Krameradcd0262020-01-28 20:23:46 +0100670 FileName = std::string(File->getFilename());
Yonghong Song7b410ac2018-12-19 16:40:25 +0000671
672 // No need to populate the contends if it has been populated!
673 if (FileContent.find(FileName) != FileContent.end())
674 return FileName;
675
676 std::vector<std::string> Content;
677 std::string Line;
678 Content.push_back(Line); // Line 0 for empty string
679
Fangrui Song83db8872019-04-02 16:15:46 +0000680 std::unique_ptr<MemoryBuffer> Buf;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000681 auto Source = File->getSource();
Fangrui Song83db8872019-04-02 16:15:46 +0000682 if (Source)
683 Buf = MemoryBuffer::getMemBufferCopy(*Source);
684 else if (ErrorOr<std::unique_ptr<MemoryBuffer>> BufOrErr =
685 MemoryBuffer::getFile(FileName))
686 Buf = std::move(*BufOrErr);
687 if (Buf)
688 for (line_iterator I(*Buf, false), E; I != E; ++I)
Benjamin Krameradcd0262020-01-28 20:23:46 +0100689 Content.push_back(std::string(*I));
Yonghong Song7b410ac2018-12-19 16:40:25 +0000690
691 FileContent[FileName] = Content;
692 return FileName;
693}
694
695void BTFDebug::constructLineInfo(const DISubprogram *SP, MCSymbol *Label,
696 uint32_t Line, uint32_t Column) {
697 std::string FileName = populateFileContent(SP);
698 BTFLineInfo LineInfo;
699
700 LineInfo.Label = Label;
701 LineInfo.FileNameOff = addString(FileName);
702 // If file content is not available, let LineOff = 0.
703 if (Line < FileContent[FileName].size())
704 LineInfo.LineOff = addString(FileContent[FileName][Line]);
705 else
706 LineInfo.LineOff = 0;
707 LineInfo.LineNum = Line;
708 LineInfo.ColumnNum = Column;
709 LineInfoTable[SecNameOff].push_back(LineInfo);
710}
711
712void BTFDebug::emitCommonHeader() {
713 OS.AddComment("0x" + Twine::utohexstr(BTF::MAGIC));
714 OS.EmitIntValue(BTF::MAGIC, 2);
715 OS.EmitIntValue(BTF::VERSION, 1);
716 OS.EmitIntValue(0, 1);
717}
718
719void BTFDebug::emitBTFSection() {
Yonghong Songd82247c2019-03-05 01:01:21 +0000720 // Do not emit section if no types and only "" string.
721 if (!TypeEntries.size() && StringTable.getSize() == 1)
722 return;
723
Yonghong Song7b410ac2018-12-19 16:40:25 +0000724 MCContext &Ctx = OS.getContext();
725 OS.SwitchSection(Ctx.getELFSection(".BTF", ELF::SHT_PROGBITS, 0));
726
727 // Emit header.
728 emitCommonHeader();
729 OS.EmitIntValue(BTF::HeaderSize, 4);
730
731 uint32_t TypeLen = 0, StrLen;
732 for (const auto &TypeEntry : TypeEntries)
733 TypeLen += TypeEntry->getSize();
734 StrLen = StringTable.getSize();
735
736 OS.EmitIntValue(0, 4);
737 OS.EmitIntValue(TypeLen, 4);
738 OS.EmitIntValue(TypeLen, 4);
739 OS.EmitIntValue(StrLen, 4);
740
741 // Emit type table.
742 for (const auto &TypeEntry : TypeEntries)
743 TypeEntry->emitType(OS);
744
745 // Emit string table.
746 uint32_t StringOffset = 0;
747 for (const auto &S : StringTable.getTable()) {
748 OS.AddComment("string offset=" + std::to_string(StringOffset));
Fangrui Songa55daa12020-02-14 18:16:24 -0800749 OS.emitBytes(S);
750 OS.emitBytes(StringRef("\0", 1));
Yonghong Song7b410ac2018-12-19 16:40:25 +0000751 StringOffset += S.size() + 1;
752 }
753}
754
755void BTFDebug::emitBTFExtSection() {
Yonghong Songd46a6a92019-10-10 15:33:09 +0000756 // Do not emit section if empty FuncInfoTable and LineInfoTable
757 // and FieldRelocTable.
Yonghong Songd3d88d02019-07-09 15:28:41 +0000758 if (!FuncInfoTable.size() && !LineInfoTable.size() &&
Yonghong Songd46a6a92019-10-10 15:33:09 +0000759 !FieldRelocTable.size())
Yonghong Songd82247c2019-03-05 01:01:21 +0000760 return;
761
Yonghong Song7b410ac2018-12-19 16:40:25 +0000762 MCContext &Ctx = OS.getContext();
763 OS.SwitchSection(Ctx.getELFSection(".BTF.ext", ELF::SHT_PROGBITS, 0));
764
765 // Emit header.
766 emitCommonHeader();
767 OS.EmitIntValue(BTF::ExtHeaderSize, 4);
768
769 // Account for FuncInfo/LineInfo record size as well.
770 uint32_t FuncLen = 4, LineLen = 4;
Yonghong Songd46a6a92019-10-10 15:33:09 +0000771 // Do not account for optional FieldReloc.
772 uint32_t FieldRelocLen = 0;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000773 for (const auto &FuncSec : FuncInfoTable) {
774 FuncLen += BTF::SecFuncInfoSize;
775 FuncLen += FuncSec.second.size() * BTF::BPFFuncInfoSize;
776 }
777 for (const auto &LineSec : LineInfoTable) {
778 LineLen += BTF::SecLineInfoSize;
779 LineLen += LineSec.second.size() * BTF::BPFLineInfoSize;
780 }
Yonghong Song05e46972019-10-08 18:23:17 +0000781 for (const auto &FieldRelocSec : FieldRelocTable) {
782 FieldRelocLen += BTF::SecFieldRelocSize;
783 FieldRelocLen += FieldRelocSec.second.size() * BTF::BPFFieldRelocSize;
Yonghong Songd3d88d02019-07-09 15:28:41 +0000784 }
Yonghong Songd3d88d02019-07-09 15:28:41 +0000785
Yonghong Song05e46972019-10-08 18:23:17 +0000786 if (FieldRelocLen)
787 FieldRelocLen += 4;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000788
789 OS.EmitIntValue(0, 4);
790 OS.EmitIntValue(FuncLen, 4);
791 OS.EmitIntValue(FuncLen, 4);
792 OS.EmitIntValue(LineLen, 4);
Yonghong Songd3d88d02019-07-09 15:28:41 +0000793 OS.EmitIntValue(FuncLen + LineLen, 4);
Yonghong Song05e46972019-10-08 18:23:17 +0000794 OS.EmitIntValue(FieldRelocLen, 4);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000795
796 // Emit func_info table.
797 OS.AddComment("FuncInfo");
798 OS.EmitIntValue(BTF::BPFFuncInfoSize, 4);
799 for (const auto &FuncSec : FuncInfoTable) {
800 OS.AddComment("FuncInfo section string offset=" +
801 std::to_string(FuncSec.first));
802 OS.EmitIntValue(FuncSec.first, 4);
803 OS.EmitIntValue(FuncSec.second.size(), 4);
804 for (const auto &FuncInfo : FuncSec.second) {
Fangrui Song0bc77a02020-02-13 13:26:21 -0800805 Asm->emitLabelReference(FuncInfo.Label, 4);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000806 OS.EmitIntValue(FuncInfo.TypeId, 4);
807 }
808 }
809
810 // Emit line_info table.
811 OS.AddComment("LineInfo");
812 OS.EmitIntValue(BTF::BPFLineInfoSize, 4);
813 for (const auto &LineSec : LineInfoTable) {
814 OS.AddComment("LineInfo section string offset=" +
815 std::to_string(LineSec.first));
816 OS.EmitIntValue(LineSec.first, 4);
817 OS.EmitIntValue(LineSec.second.size(), 4);
818 for (const auto &LineInfo : LineSec.second) {
Fangrui Song0bc77a02020-02-13 13:26:21 -0800819 Asm->emitLabelReference(LineInfo.Label, 4);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000820 OS.EmitIntValue(LineInfo.FileNameOff, 4);
821 OS.EmitIntValue(LineInfo.LineOff, 4);
822 OS.AddComment("Line " + std::to_string(LineInfo.LineNum) + " Col " +
823 std::to_string(LineInfo.ColumnNum));
824 OS.EmitIntValue(LineInfo.LineNum << 10 | LineInfo.ColumnNum, 4);
825 }
826 }
Yonghong Songd3d88d02019-07-09 15:28:41 +0000827
Yonghong Song05e46972019-10-08 18:23:17 +0000828 // Emit field reloc table.
829 if (FieldRelocLen) {
830 OS.AddComment("FieldReloc");
831 OS.EmitIntValue(BTF::BPFFieldRelocSize, 4);
832 for (const auto &FieldRelocSec : FieldRelocTable) {
833 OS.AddComment("Field reloc section string offset=" +
834 std::to_string(FieldRelocSec.first));
835 OS.EmitIntValue(FieldRelocSec.first, 4);
836 OS.EmitIntValue(FieldRelocSec.second.size(), 4);
837 for (const auto &FieldRelocInfo : FieldRelocSec.second) {
Fangrui Song0bc77a02020-02-13 13:26:21 -0800838 Asm->emitLabelReference(FieldRelocInfo.Label, 4);
Yonghong Song05e46972019-10-08 18:23:17 +0000839 OS.EmitIntValue(FieldRelocInfo.TypeID, 4);
840 OS.EmitIntValue(FieldRelocInfo.OffsetNameOff, 4);
841 OS.EmitIntValue(FieldRelocInfo.RelocKind, 4);
Yonghong Songd3d88d02019-07-09 15:28:41 +0000842 }
843 }
844 }
Yonghong Song7b410ac2018-12-19 16:40:25 +0000845}
846
847void BTFDebug::beginFunctionImpl(const MachineFunction *MF) {
848 auto *SP = MF->getFunction().getSubprogram();
849 auto *Unit = SP->getUnit();
850
851 if (Unit->getEmissionKind() == DICompileUnit::NoDebug) {
852 SkipInstruction = true;
853 return;
854 }
855 SkipInstruction = false;
856
Yonghong Songd3d88d02019-07-09 15:28:41 +0000857 // Collect MapDef types. Map definition needs to collect
858 // pointee types. Do it first. Otherwise, for the following
859 // case:
860 // struct m { ...};
861 // struct t {
862 // struct m *key;
863 // };
864 // foo(struct t *arg);
865 //
866 // struct mapdef {
867 // ...
868 // struct m *key;
869 // ...
870 // } __attribute__((section(".maps"))) hash_map;
871 //
872 // If subroutine foo is traversed first, a type chain
873 // "ptr->struct m(fwd)" will be created and later on
874 // when traversing mapdef, since "ptr->struct m" exists,
875 // the traversal of "struct m" will be omitted.
876 if (MapDefNotCollected) {
877 processGlobals(true);
878 MapDefNotCollected = false;
879 }
880
Yonghong Song7b410ac2018-12-19 16:40:25 +0000881 // Collect all types locally referenced in this function.
882 // Use RetainedNodes so we can collect all argument names
883 // even if the argument is not used.
884 std::unordered_map<uint32_t, StringRef> FuncArgNames;
885 for (const DINode *DN : SP->getRetainedNodes()) {
886 if (const auto *DV = dyn_cast<DILocalVariable>(DN)) {
Yonghong Song7b410ac2018-12-19 16:40:25 +0000887 // Collect function arguments for subprogram func type.
888 uint32_t Arg = DV->getArg();
Yonghong Songcacac052019-03-15 05:51:25 +0000889 if (Arg) {
Fangrui Songda82ce92019-05-07 02:06:37 +0000890 visitTypeEntry(DV->getType());
Yonghong Song7b410ac2018-12-19 16:40:25 +0000891 FuncArgNames[Arg] = DV->getName();
Yonghong Songcacac052019-03-15 05:51:25 +0000892 }
Yonghong Song7b410ac2018-12-19 16:40:25 +0000893 }
894 }
895
896 // Construct subprogram func proto type.
897 uint32_t ProtoTypeId;
898 visitSubroutineType(SP->getType(), true, FuncArgNames, ProtoTypeId);
899
900 // Construct subprogram func type
Yonghong Songfbb64aa2019-12-17 16:24:23 -0800901 uint8_t Scope = SP->isLocalToUnit() ? BTF::FUNC_STATIC : BTF::FUNC_GLOBAL;
Yonghong Song7b410ac2018-12-19 16:40:25 +0000902 auto FuncTypeEntry =
Yonghong Songfbb64aa2019-12-17 16:24:23 -0800903 std::make_unique<BTFTypeFunc>(SP->getName(), ProtoTypeId, Scope);
Yonghong Song7b410ac2018-12-19 16:40:25 +0000904 uint32_t FuncTypeId = addType(std::move(FuncTypeEntry));
905
Yonghong Songd3d88d02019-07-09 15:28:41 +0000906 for (const auto &TypeEntry : TypeEntries)
907 TypeEntry->completeType(*this);
908
Yonghong Song7b410ac2018-12-19 16:40:25 +0000909 // Construct funcinfo and the first lineinfo for the function.
910 MCSymbol *FuncLabel = Asm->getFunctionBegin();
911 BTFFuncInfo FuncInfo;
912 FuncInfo.Label = FuncLabel;
913 FuncInfo.TypeId = FuncTypeId;
914 if (FuncLabel->isInSection()) {
915 MCSection &Section = FuncLabel->getSection();
916 const MCSectionELF *SectionELF = dyn_cast<MCSectionELF>(&Section);
917 assert(SectionELF && "Null section for Function Label");
918 SecNameOff = addString(SectionELF->getSectionName());
919 } else {
920 SecNameOff = addString(".text");
921 }
922 FuncInfoTable[SecNameOff].push_back(FuncInfo);
923}
924
925void BTFDebug::endFunctionImpl(const MachineFunction *MF) {
926 SkipInstruction = false;
927 LineInfoGenerated = false;
928 SecNameOff = 0;
929}
930
Yonghong Songd3d88d02019-07-09 15:28:41 +0000931/// On-demand populate struct types as requested from abstract member
932/// accessing.
933unsigned BTFDebug::populateStructType(const DIType *Ty) {
934 unsigned Id;
935 visitTypeEntry(Ty, Id, false, false);
936 for (const auto &TypeEntry : TypeEntries)
937 TypeEntry->completeType(*this);
938 return Id;
939}
940
Yonghong Song05e46972019-10-08 18:23:17 +0000941/// Generate a struct member field relocation.
Yonghong Songffd57402019-12-19 15:21:53 -0800942void BTFDebug::generateFieldReloc(const MCSymbol *ORSym, DIType *RootTy,
943 StringRef AccessPattern) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000944 unsigned RootId = populateStructType(RootTy);
Yonghong Song37d24a62019-08-02 23:16:44 +0000945 size_t FirstDollar = AccessPattern.find_first_of('$');
946 size_t FirstColon = AccessPattern.find_first_of(':');
Yonghong Song05e46972019-10-08 18:23:17 +0000947 size_t SecondColon = AccessPattern.find_first_of(':', FirstColon + 1);
Yonghong Song37d24a62019-08-02 23:16:44 +0000948 StringRef IndexPattern = AccessPattern.substr(FirstDollar + 1);
Yonghong Song05e46972019-10-08 18:23:17 +0000949 StringRef RelocKindStr = AccessPattern.substr(FirstColon + 1,
950 SecondColon - FirstColon);
951 StringRef PatchImmStr = AccessPattern.substr(SecondColon + 1,
952 FirstDollar - SecondColon);
Yonghong Songd3d88d02019-07-09 15:28:41 +0000953
Yonghong Song05e46972019-10-08 18:23:17 +0000954 BTFFieldReloc FieldReloc;
955 FieldReloc.Label = ORSym;
956 FieldReloc.OffsetNameOff = addString(IndexPattern);
957 FieldReloc.TypeID = RootId;
Benjamin Krameradcd0262020-01-28 20:23:46 +0100958 FieldReloc.RelocKind = std::stoull(std::string(RelocKindStr));
959 PatchImms[AccessPattern.str()] = std::stoul(std::string(PatchImmStr));
Yonghong Song05e46972019-10-08 18:23:17 +0000960 FieldRelocTable[SecNameOff].push_back(FieldReloc);
Yonghong Songd3d88d02019-07-09 15:28:41 +0000961}
962
Yonghong Songffd57402019-12-19 15:21:53 -0800963void BTFDebug::processReloc(const MachineOperand &MO) {
Yonghong Songd3d88d02019-07-09 15:28:41 +0000964 // check whether this is a candidate or not
Yonghong Songd3d88d02019-07-09 15:28:41 +0000965 if (MO.isGlobal()) {
966 const GlobalValue *GVal = MO.getGlobal();
967 auto *GVar = dyn_cast<GlobalVariable>(GVal);
968 if (GVar && GVar->hasAttribute(BPFCoreSharedInfo::AmaAttr)) {
969 MCSymbol *ORSym = OS.getContext().createTempSymbol();
970 OS.EmitLabel(ORSym);
971
972 MDNode *MDN = GVar->getMetadata(LLVMContext::MD_preserve_access_index);
973 DIType *Ty = dyn_cast<DIType>(MDN);
Yonghong Songffd57402019-12-19 15:21:53 -0800974 generateFieldReloc(ORSym, Ty, GVar->getName());
Yonghong Songd3d88d02019-07-09 15:28:41 +0000975 }
976 }
977}
978
Yonghong Song7b410ac2018-12-19 16:40:25 +0000979void BTFDebug::beginInstruction(const MachineInstr *MI) {
980 DebugHandlerBase::beginInstruction(MI);
981
982 if (SkipInstruction || MI->isMetaInstruction() ||
983 MI->getFlag(MachineInstr::FrameSetup))
984 return;
985
986 if (MI->isInlineAsm()) {
987 // Count the number of register definitions to find the asm string.
988 unsigned NumDefs = 0;
989 for (; MI->getOperand(NumDefs).isReg() && MI->getOperand(NumDefs).isDef();
990 ++NumDefs)
991 ;
992
993 // Skip this inline asm instruction if the asmstr is empty.
994 const char *AsmStr = MI->getOperand(NumDefs).getSymbolName();
995 if (AsmStr[0] == 0)
996 return;
997 }
998
Yonghong Songffd57402019-12-19 15:21:53 -0800999 if (MI->getOpcode() == BPF::LD_imm64) {
1000 // If the insn is "r2 = LD_imm64 @<an AmaAttr global>",
1001 // add this insn into the .BTF.ext FieldReloc subsection.
1002 // Relocation looks like:
1003 // . SecName:
1004 // . InstOffset
1005 // . TypeID
1006 // . OffSetNameOff
1007 // . RelocType
1008 // Later, the insn is replaced with "r2 = <offset>"
1009 // where "<offset>" equals to the offset based on current
1010 // type definitions.
1011 processReloc(MI->getOperand(1));
1012 } else if (MI->getOpcode() == BPF::CORE_MEM ||
1013 MI->getOpcode() == BPF::CORE_ALU32_MEM ||
1014 MI->getOpcode() == BPF::CORE_SHIFT) {
1015 // relocation insn is a load, store or shift insn.
1016 processReloc(MI->getOperand(3));
Yonghong Songfbb64aa2019-12-17 16:24:23 -08001017 } else if (MI->getOpcode() == BPF::JAL) {
1018 // check extern function references
1019 const MachineOperand &MO = MI->getOperand(0);
1020 if (MO.isGlobal()) {
1021 processFuncPrototypes(dyn_cast<Function>(MO.getGlobal()));
1022 }
Yonghong Songffd57402019-12-19 15:21:53 -08001023 }
Yonghong Songd3d88d02019-07-09 15:28:41 +00001024
Yonghong Song7b410ac2018-12-19 16:40:25 +00001025 // Skip this instruction if no DebugLoc or the DebugLoc
1026 // is the same as the previous instruction.
1027 const DebugLoc &DL = MI->getDebugLoc();
1028 if (!DL || PrevInstLoc == DL) {
1029 // This instruction will be skipped, no LineInfo has
1030 // been generated, construct one based on function signature.
1031 if (LineInfoGenerated == false) {
1032 auto *S = MI->getMF()->getFunction().getSubprogram();
1033 MCSymbol *FuncLabel = Asm->getFunctionBegin();
1034 constructLineInfo(S, FuncLabel, S->getLine(), 0);
1035 LineInfoGenerated = true;
1036 }
1037
1038 return;
1039 }
1040
1041 // Create a temporary label to remember the insn for lineinfo.
1042 MCSymbol *LineSym = OS.getContext().createTempSymbol();
1043 OS.EmitLabel(LineSym);
1044
1045 // Construct the lineinfo.
1046 auto SP = DL.get()->getScope()->getSubprogram();
1047 constructLineInfo(SP, LineSym, DL.getLine(), DL.getCol());
1048
1049 LineInfoGenerated = true;
1050 PrevInstLoc = DL;
1051}
1052
Yonghong Songd3d88d02019-07-09 15:28:41 +00001053void BTFDebug::processGlobals(bool ProcessingMapDef) {
Yonghong Song7b410ac2018-12-19 16:40:25 +00001054 // Collect all types referenced by globals.
1055 const Module *M = MMI->getModule();
Yonghong Songcacac052019-03-15 05:51:25 +00001056 for (const GlobalVariable &Global : M->globals()) {
Yonghong Songd3d88d02019-07-09 15:28:41 +00001057 // Decide the section name.
1058 StringRef SecName;
1059 if (Global.hasSection()) {
1060 SecName = Global.getSection();
Yonghong Song44481252019-11-22 08:45:37 -08001061 } else if (Global.hasInitializer()) {
Yonghong Songd3d88d02019-07-09 15:28:41 +00001062 // data, bss, or readonly sections
1063 if (Global.isConstant())
1064 SecName = ".rodata";
1065 else
1066 SecName = Global.getInitializer()->isZeroValue() ? ".bss" : ".data";
Yonghong Song7d0e8932019-12-10 11:05:22 -08001067 } else {
1068 // extern variables without explicit section,
1069 // put them into ".extern" section.
1070 SecName = ".extern";
Yonghong Songd3d88d02019-07-09 15:28:41 +00001071 }
1072
1073 if (ProcessingMapDef != SecName.startswith(".maps"))
1074 continue;
1075
Yonghong Songcacac052019-03-15 05:51:25 +00001076 SmallVector<DIGlobalVariableExpression *, 1> GVs;
1077 Global.getDebugInfo(GVs);
Yonghong Song166cdc02019-11-12 11:31:52 -08001078
1079 // No type information, mostly internal, skip it.
1080 if (GVs.size() == 0)
1081 continue;
1082
Yonghong Song6db6b562019-03-16 15:36:31 +00001083 uint32_t GVTypeId = 0;
Yonghong Songcacac052019-03-15 05:51:25 +00001084 for (auto *GVE : GVs) {
Yonghong Songd3d88d02019-07-09 15:28:41 +00001085 if (SecName.startswith(".maps"))
1086 visitMapDefType(GVE->getVariable()->getType(), GVTypeId);
1087 else
1088 visitTypeEntry(GVE->getVariable()->getType(), GVTypeId, false, false);
Yonghong Song6db6b562019-03-16 15:36:31 +00001089 break;
Yonghong Song7b410ac2018-12-19 16:40:25 +00001090 }
Yonghong Song6db6b562019-03-16 15:36:31 +00001091
1092 // Only support the following globals:
1093 // . static variables
Yonghong Song5ea611d2019-12-06 23:00:41 -08001094 // . non-static weak or non-weak global variables
Yonghong Song44481252019-11-22 08:45:37 -08001095 // . weak or non-weak extern global variables
1096 // Whether DataSec is readonly or not can be found from corresponding ELF
1097 // section flags. Whether a BTF_KIND_VAR is a weak symbol or not
1098 // can be found from the corresponding ELF symbol table.
Yonghong Song6db6b562019-03-16 15:36:31 +00001099 auto Linkage = Global.getLinkage();
1100 if (Linkage != GlobalValue::InternalLinkage &&
Yonghong Song5ea611d2019-12-06 23:00:41 -08001101 Linkage != GlobalValue::ExternalLinkage &&
Yonghong Song44481252019-11-22 08:45:37 -08001102 Linkage != GlobalValue::WeakAnyLinkage &&
1103 Linkage != GlobalValue::ExternalWeakLinkage)
Yonghong Song6db6b562019-03-16 15:36:31 +00001104 continue;
1105
Yonghong Song44481252019-11-22 08:45:37 -08001106 uint32_t GVarInfo;
1107 if (Linkage == GlobalValue::InternalLinkage) {
1108 GVarInfo = BTF::VAR_STATIC;
1109 } else if (Global.hasInitializer()) {
1110 GVarInfo = BTF::VAR_GLOBAL_ALLOCATED;
1111 } else {
1112 GVarInfo = BTF::VAR_GLOBAL_EXTERNAL;
1113 }
1114
Yonghong Song6db6b562019-03-16 15:36:31 +00001115 auto VarEntry =
Jonas Devlieghere0eaee542019-08-15 15:54:37 +00001116 std::make_unique<BTFKindVar>(Global.getName(), GVTypeId, GVarInfo);
Yonghong Song6db6b562019-03-16 15:36:31 +00001117 uint32_t VarId = addType(std::move(VarEntry));
1118
Yonghong Song7d0e8932019-12-10 11:05:22 -08001119 assert(!SecName.empty());
Yonghong Song44481252019-11-22 08:45:37 -08001120
Yonghong Song6db6b562019-03-16 15:36:31 +00001121 // Find or create a DataSec
Benjamin Krameradcd0262020-01-28 20:23:46 +01001122 if (DataSecEntries.find(std::string(SecName)) == DataSecEntries.end()) {
1123 DataSecEntries[std::string(SecName)] =
1124 std::make_unique<BTFKindDataSec>(Asm, std::string(SecName));
Yonghong Song6db6b562019-03-16 15:36:31 +00001125 }
1126
1127 // Calculate symbol size
1128 const DataLayout &DL = Global.getParent()->getDataLayout();
1129 uint32_t Size = DL.getTypeAllocSize(Global.getType()->getElementType());
1130
Benjamin Krameradcd0262020-01-28 20:23:46 +01001131 DataSecEntries[std::string(SecName)]->addVar(VarId, Asm->getSymbol(&Global),
1132 Size);
Yonghong Song7b410ac2018-12-19 16:40:25 +00001133 }
Yonghong Songd3d88d02019-07-09 15:28:41 +00001134}
Yonghong Song7b410ac2018-12-19 16:40:25 +00001135
Yonghong Songd3d88d02019-07-09 15:28:41 +00001136/// Emit proper patchable instructions.
1137bool BTFDebug::InstLower(const MachineInstr *MI, MCInst &OutMI) {
1138 if (MI->getOpcode() == BPF::LD_imm64) {
1139 const MachineOperand &MO = MI->getOperand(1);
1140 if (MO.isGlobal()) {
1141 const GlobalValue *GVal = MO.getGlobal();
1142 auto *GVar = dyn_cast<GlobalVariable>(GVal);
1143 if (GVar && GVar->hasAttribute(BPFCoreSharedInfo::AmaAttr)) {
Yonghong Song05e46972019-10-08 18:23:17 +00001144 // Emit "mov ri, <imm>" for patched immediate.
1145 uint32_t Imm = PatchImms[GVar->getName().str()];
Yonghong Songd3d88d02019-07-09 15:28:41 +00001146 OutMI.setOpcode(BPF::MOV_ri);
1147 OutMI.addOperand(MCOperand::createReg(MI->getOperand(0).getReg()));
1148 OutMI.addOperand(MCOperand::createImm(Imm));
1149 return true;
Yonghong Songd3d88d02019-07-09 15:28:41 +00001150 }
1151 }
Yonghong Songffd57402019-12-19 15:21:53 -08001152 } else if (MI->getOpcode() == BPF::CORE_MEM ||
1153 MI->getOpcode() == BPF::CORE_ALU32_MEM ||
1154 MI->getOpcode() == BPF::CORE_SHIFT) {
1155 const MachineOperand &MO = MI->getOperand(3);
1156 if (MO.isGlobal()) {
1157 const GlobalValue *GVal = MO.getGlobal();
1158 auto *GVar = dyn_cast<GlobalVariable>(GVal);
1159 if (GVar && GVar->hasAttribute(BPFCoreSharedInfo::AmaAttr)) {
1160 uint32_t Imm = PatchImms[GVar->getName().str()];
1161 OutMI.setOpcode(MI->getOperand(1).getImm());
1162 if (MI->getOperand(0).isImm())
1163 OutMI.addOperand(MCOperand::createImm(MI->getOperand(0).getImm()));
1164 else
1165 OutMI.addOperand(MCOperand::createReg(MI->getOperand(0).getReg()));
1166 OutMI.addOperand(MCOperand::createReg(MI->getOperand(2).getReg()));
1167 OutMI.addOperand(MCOperand::createImm(Imm));
1168 return true;
1169 }
1170 }
Yonghong Songd3d88d02019-07-09 15:28:41 +00001171 }
1172 return false;
Yonghong Song6db6b562019-03-16 15:36:31 +00001173}
1174
Yonghong Songfbb64aa2019-12-17 16:24:23 -08001175void BTFDebug::processFuncPrototypes(const Function *F) {
1176 if (!F)
1177 return;
Yonghong Song44481252019-11-22 08:45:37 -08001178
Yonghong Songfbb64aa2019-12-17 16:24:23 -08001179 const DISubprogram *SP = F->getSubprogram();
1180 if (!SP || SP->isDefinition())
1181 return;
Yonghong Song44481252019-11-22 08:45:37 -08001182
Yonghong Songfbb64aa2019-12-17 16:24:23 -08001183 // Do not emit again if already emitted.
1184 if (ProtoFunctions.find(F) != ProtoFunctions.end())
1185 return;
1186 ProtoFunctions.insert(F);
Yonghong Song44481252019-11-22 08:45:37 -08001187
Yonghong Songfbb64aa2019-12-17 16:24:23 -08001188 uint32_t ProtoTypeId;
1189 const std::unordered_map<uint32_t, StringRef> FuncArgNames;
1190 visitSubroutineType(SP->getType(), false, FuncArgNames, ProtoTypeId);
Yonghong Song44481252019-11-22 08:45:37 -08001191
Yonghong Songfbb64aa2019-12-17 16:24:23 -08001192 uint8_t Scope = BTF::FUNC_EXTERN;
1193 auto FuncTypeEntry =
1194 std::make_unique<BTFTypeFunc>(SP->getName(), ProtoTypeId, Scope);
1195 addType(std::move(FuncTypeEntry));
Yonghong Song44481252019-11-22 08:45:37 -08001196}
1197
Yonghong Song6db6b562019-03-16 15:36:31 +00001198void BTFDebug::endModule() {
Yonghong Songd3d88d02019-07-09 15:28:41 +00001199 // Collect MapDef globals if not collected yet.
1200 if (MapDefNotCollected) {
1201 processGlobals(true);
1202 MapDefNotCollected = false;
1203 }
1204
1205 // Collect global types/variables except MapDef globals.
1206 processGlobals(false);
Yonghong Song44481252019-11-22 08:45:37 -08001207
Yonghong Songd3d88d02019-07-09 15:28:41 +00001208 for (auto &DataSec : DataSecEntries)
1209 addType(std::move(DataSec.second));
1210
1211 // Fixups
1212 for (auto &Fixup : FixupDerivedTypes) {
1213 StringRef TypeName = Fixup.first;
1214 bool IsUnion = Fixup.second.first;
1215
1216 // Search through struct types
1217 uint32_t StructTypeId = 0;
1218 for (const auto &StructType : StructTypes) {
1219 if (StructType->getName() == TypeName) {
1220 StructTypeId = StructType->getId();
1221 break;
1222 }
1223 }
1224
1225 if (StructTypeId == 0) {
Jonas Devlieghere0eaee542019-08-15 15:54:37 +00001226 auto FwdTypeEntry = std::make_unique<BTFTypeFwd>(TypeName, IsUnion);
Yonghong Songd3d88d02019-07-09 15:28:41 +00001227 StructTypeId = addType(std::move(FwdTypeEntry));
1228 }
1229
1230 for (auto &DType : Fixup.second.second) {
1231 DType->setPointeeType(StructTypeId);
1232 }
1233 }
Yonghong Song6db6b562019-03-16 15:36:31 +00001234
Yonghong Song7b410ac2018-12-19 16:40:25 +00001235 // Complete BTF type cross refereences.
1236 for (const auto &TypeEntry : TypeEntries)
1237 TypeEntry->completeType(*this);
1238
1239 // Emit BTF sections.
1240 emitBTFSection();
1241 emitBTFExtSection();
1242}