blob: 77861ad45be8167bbe80a1002a85156c18725cbc [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.cpp - Dwarf Type and Compile Units ---------===//
Devang Patel0e821f42011-04-12 23:21:44 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher160522c2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
David Blaikie2c86a722013-12-02 19:33:15 +000014#include "DwarfUnit.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000015#include "AddressPool.h"
David Blaikie37c52312014-10-04 15:49:50 +000016#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000017#include "DwarfDebug.h"
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000018#include "DwarfExpression.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000020#include "llvm/ADT/APInt.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000021#include "llvm/ADT/None.h"
Paul Robinson612e89d2018-01-12 19:17:50 +000022#include "llvm/ADT/StringExtras.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000023#include "llvm/ADT/iterator_range.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000024#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000025#include "llvm/CodeGen/MachineOperand.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000026#include "llvm/CodeGen/TargetRegisterInfo.h"
27#include "llvm/CodeGen/TargetSubtargetInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000028#include "llvm/IR/Constants.h"
29#include "llvm/IR/DataLayout.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000030#include "llvm/IR/GlobalValue.h"
31#include "llvm/IR/Metadata.h"
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000032#include "llvm/MC/MCAsmInfo.h"
Paul Robinson612e89d2018-01-12 19:17:50 +000033#include "llvm/MC/MCContext.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000034#include "llvm/MC/MCDwarf.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000035#include "llvm/MC/MCSection.h"
36#include "llvm/MC/MCStreamer.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000037#include "llvm/MC/MachineLocation.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000038#include "llvm/Support/Casting.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000039#include "llvm/Support/CommandLine.h"
David Blaikie6054e652018-03-23 23:58:19 +000040#include "llvm/Target/TargetLoweringObjectFile.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000041#include <cassert>
42#include <cstdint>
43#include <string>
44#include <utility>
Devang Patel0e821f42011-04-12 23:21:44 +000045
46using namespace llvm;
47
Chandler Carruth1b9dde02014-04-22 02:02:50 +000048#define DEBUG_TYPE "dwarfdebug"
49
Eric Christopher4287a492013-12-09 23:57:44 +000050static cl::opt<bool>
51GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
52 cl::desc("Generate DWARF4 type units."),
53 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000054
Adrian Prantlb846acc2015-03-02 22:02:36 +000055DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
56 DIELoc &DIE)
Greg Claytone6543972016-11-23 23:30:37 +000057 : DwarfExpression(AP.getDwarfVersion()), AP(AP), DU(DU),
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000058 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000059
Adrian Prantla63b8e82017-03-16 17:42:45 +000060void DIEDwarfExpression::emitOp(uint8_t Op, const char* Comment) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000061 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
62}
Eugene Zelenko1804a772016-08-25 00:45:04 +000063
Adrian Prantla63b8e82017-03-16 17:42:45 +000064void DIEDwarfExpression::emitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000065 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
66}
Eugene Zelenko1804a772016-08-25 00:45:04 +000067
Adrian Prantla63b8e82017-03-16 17:42:45 +000068void DIEDwarfExpression::emitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000069 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
70}
Eugene Zelenko1804a772016-08-25 00:45:04 +000071
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000072bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
73 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000074 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000075}
76
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000077DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
78 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000079 : DIEUnit(A->getDwarfVersion(), A->MAI->getCodePointerSize(), UnitTag),
80 CUNode(Node), Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000081}
82
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000083DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000084 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000085 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000086 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
87 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000088}
David Blaikie409dd9c2013-11-19 23:08:21 +000089
Eric Christophera5a79422013-12-09 23:32:48 +000090DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000091 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
92 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000093 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
94 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000095}
96
Eric Christophera5a79422013-12-09 23:32:48 +000097int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000098 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000099 default:
100 break;
101
Paul Robinson91d74812017-03-01 18:32:37 +0000102 // The languages below have valid values in all DWARF versions.
Bill Wendling28fe9e72012-12-06 07:38:10 +0000103 case dwarf::DW_LANG_C:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000104 case dwarf::DW_LANG_C89:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 case dwarf::DW_LANG_C_plus_plus:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000106 return 0;
107
108 case dwarf::DW_LANG_Fortran77:
109 case dwarf::DW_LANG_Fortran90:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000110 return 1;
111
Paul Robinson91d74812017-03-01 18:32:37 +0000112 // The languages below have valid values only if the DWARF version >= 3.
113 case dwarf::DW_LANG_C99:
114 case dwarf::DW_LANG_ObjC:
115 case dwarf::DW_LANG_ObjC_plus_plus:
116 if (DD->getDwarfVersion() >= 3)
117 return 0;
118 break;
119
120 case dwarf::DW_LANG_Fortran95:
121 if (DD->getDwarfVersion() >= 3)
122 return 1;
123 break;
124
125 // Starting with DWARF v4, all defined languages have valid values.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000126 case dwarf::DW_LANG_D:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000127 case dwarf::DW_LANG_Java:
128 case dwarf::DW_LANG_Python:
129 case dwarf::DW_LANG_UPC:
Paul Robinson91d74812017-03-01 18:32:37 +0000130 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000131 return 0;
132 break;
133
134 case dwarf::DW_LANG_Ada83:
135 case dwarf::DW_LANG_Ada95:
136 case dwarf::DW_LANG_Cobol74:
137 case dwarf::DW_LANG_Cobol85:
138 case dwarf::DW_LANG_Modula2:
139 case dwarf::DW_LANG_Pascal83:
140 case dwarf::DW_LANG_PLI:
Paul Robinson91d74812017-03-01 18:32:37 +0000141 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000142 return 1;
143 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000144
Paul Robinson91d74812017-03-01 18:32:37 +0000145 // The languages below are new in DWARF v5.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000146 case dwarf::DW_LANG_BLISS:
147 case dwarf::DW_LANG_C11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000148 case dwarf::DW_LANG_C_plus_plus_03:
149 case dwarf::DW_LANG_C_plus_plus_11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000150 case dwarf::DW_LANG_C_plus_plus_14:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000151 case dwarf::DW_LANG_Dylan:
152 case dwarf::DW_LANG_Go:
153 case dwarf::DW_LANG_Haskell:
154 case dwarf::DW_LANG_OCaml:
155 case dwarf::DW_LANG_OpenCL:
Paul Robinson91d74812017-03-01 18:32:37 +0000156 case dwarf::DW_LANG_RenderScript:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000157 case dwarf::DW_LANG_Rust:
158 case dwarf::DW_LANG_Swift:
Paul Robinson91d74812017-03-01 18:32:37 +0000159 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000160 return 0;
161 break;
162
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000163 case dwarf::DW_LANG_Fortran03:
164 case dwarf::DW_LANG_Fortran08:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000165 case dwarf::DW_LANG_Julia:
166 case dwarf::DW_LANG_Modula3:
Paul Robinson91d74812017-03-01 18:32:37 +0000167 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000168 return 1;
169 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000170 }
171
172 return -1;
173}
174
Manman Ren4dbdc902013-10-31 17:54:35 +0000175/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie488393f2017-05-12 01:13:45 +0000176bool DwarfUnit::isShareableAcrossCUs(const DINode *D) const {
David Blaikiebcb418e2013-11-20 18:40:16 +0000177 // When the MDNode can be part of the type system, the DIE can be shared
178 // across CUs.
179 // Combining type units and cross-CU DIE sharing is lower value (since
180 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
181 // level already) but may be implementable for some value in projects
182 // building multiple independent libraries with LTO and then linking those
183 // together.
David Blaikie488393f2017-05-12 01:13:45 +0000184 if (isDwoUnit() && !DD->shareAcrossDWOCUs())
185 return false;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000186 return (isa<DIType>(D) ||
187 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000188 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000189}
190
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000191DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000192 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000193 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000194 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000195}
196
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000197void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000198 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000199 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000200 return;
201 }
David Blaikie2ad00162013-11-15 23:09:13 +0000202 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000203}
204
David Blaikie65a74662014-04-25 18:26:14 +0000205void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000206 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000207 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
208 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000209 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000210 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
211 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000212}
213
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000214void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000215 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000216 if (!Form)
217 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000218 assert(Form != dwarf::DW_FORM_implicit_const &&
219 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000220 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000221}
222
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000223void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
224 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000225 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000226}
227
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000228void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000229 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000230 if (!Form)
231 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000232 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000233}
234
David Blaikie65a74662014-04-25 18:26:14 +0000235void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000236 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000237 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000238}
239
David Blaikie65a74662014-04-25 18:26:14 +0000240void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000241 StringRef String) {
Alexey Bataev0d6aead2018-02-20 15:28:08 +0000242 if (DD->useInlineStrings()) {
243 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_string,
244 new (DIEValueAllocator)
245 DIEInlineString(String, DIEValueAllocator));
246 return;
247 }
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000248 auto StringPoolEntry = DU->getStringPool().getEntry(*Asm, String);
249 dwarf::Form IxForm =
250 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp;
251 // For DWARF v5 and beyond, use the smallest strx? form possible.
252 if (useSegmentedStringOffsetsTable()) {
253 IxForm = dwarf::DW_FORM_strx1;
254 unsigned Index = StringPoolEntry.getIndex();
255 if (Index > 0xffffff)
256 IxForm = dwarf::DW_FORM_strx4;
257 else if (Index > 0xffff)
258 IxForm = dwarf::DW_FORM_strx3;
259 else if (Index > 0xff)
260 IxForm = dwarf::DW_FORM_strx2;
261 }
262 Die.addValue(DIEValueAllocator, Attribute, IxForm,
263 DIEString(StringPoolEntry));
Devang Patel0e821f42011-04-12 23:21:44 +0000264}
265
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000266DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
267 dwarf::Attribute Attribute,
268 dwarf::Form Form,
269 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000270 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000271}
272
David Blaikie65a74662014-04-25 18:26:14 +0000273void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000274 addLabel(Die, (dwarf::Attribute)0, Form, Label);
275}
276
David Blaikie65a74662014-04-25 18:26:14 +0000277void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000278 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000279 if (DD->getDwarfVersion() >= 4)
280 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
281 else
282 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
283}
284
Paul Robinsonb271f312018-03-29 17:16:41 +0000285MD5::MD5Result *DwarfUnit::getMD5AsBytes(const DIFile *File) const {
Paul Robinson612e89d2018-01-12 19:17:50 +0000286 assert(File);
Paul Robinsonb271f312018-03-29 17:16:41 +0000287 if (DD->getDwarfVersion() < 5)
288 return nullptr;
Scott Linder71603842018-02-12 19:45:54 +0000289 Optional<DIFile::ChecksumInfo<StringRef>> Checksum = File->getChecksum();
290 if (!Checksum || Checksum->Kind != DIFile::CSK_MD5)
Paul Robinson612e89d2018-01-12 19:17:50 +0000291 return nullptr;
292
293 // Convert the string checksum to an MD5Result for the streamer.
294 // The verifier validates the checksum so we assume it's okay.
295 // An MD5 checksum is 16 bytes.
Scott Linder71603842018-02-12 19:45:54 +0000296 std::string ChecksumString = fromHex(Checksum->Value);
Paul Robinson612e89d2018-01-12 19:17:50 +0000297 void *CKMem = Asm->OutStreamer->getContext().allocate(16, 1);
Scott Linder71603842018-02-12 19:45:54 +0000298 memcpy(CKMem, ChecksumString.data(), 16);
Paul Robinson612e89d2018-01-12 19:17:50 +0000299 return reinterpret_cast<MD5::MD5Result *>(CKMem);
300}
301
302unsigned DwarfTypeUnit::getOrCreateSourceID(const DIFile *File) {
Paul Robinson7cb26ad2018-03-27 21:28:59 +0000303 if (!SplitLineTable)
304 return getCU().getOrCreateSourceID(File);
305 if (!UsedLineTable) {
306 UsedLineTable = true;
307 // This is a split type unit that needs a line table.
308 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
309 }
310 return SplitLineTable->getFile(File->getDirectory(), File->getFilename(),
311 getMD5AsBytes(File), File->getSource());
David Blaikie4a2f95f2014-03-18 01:17:26 +0000312}
313
David Blaikie65a74662014-04-25 18:26:14 +0000314void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000315 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000316 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
317 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000318 } else {
David Blaikief2443192013-10-21 17:28:37 +0000319 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000320 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000321 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000322 }
323}
324
David Blaikie65a74662014-04-25 18:26:14 +0000325void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000326 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000327 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000328 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000329}
330
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000331void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000332 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000333}
334
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000335void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000336 // Flag the type unit reference as a declaration so that if it contains
337 // members (implicit special members, static data member definitions, member
338 // declarations for definitions in this CU, etc) consumers don't get confused
339 // and think this is a full definition.
340 addFlag(Die, dwarf::DW_AT_declaration);
341
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000342 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000343 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000344}
345
David Blaikie65a74662014-04-25 18:26:14 +0000346void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000347 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000348 const DIEUnit *CU = Die.getUnit();
349 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
350 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000351 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000352 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000353 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000354 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000355 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000356 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000357 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000358}
359
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000360DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000361 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
362 if (N)
363 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000364 return Die;
365}
366
David Blaikie65a74662014-04-25 18:26:14 +0000367void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000368 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000369 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000370 Die.addValue(DIEValueAllocator, Attribute,
371 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000372}
373
David Blaikie65a74662014-04-25 18:26:14 +0000374void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000375 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000376 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000377 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000378 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000379}
380
Paul Robinson612e89d2018-01-12 19:17:50 +0000381void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, const DIFile *File) {
Devang Patel0e821f42011-04-12 23:21:44 +0000382 if (Line == 0)
383 return;
David Blaikie101613e2014-02-12 00:11:25 +0000384
Paul Robinson612e89d2018-01-12 19:17:50 +0000385 unsigned FileID = getOrCreateSourceID(File);
Devang Patel0e821f42011-04-12 23:21:44 +0000386 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000387 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
388 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000389}
390
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000391void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000392 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000393
Paul Robinson612e89d2018-01-12 19:17:50 +0000394 addSourceLine(Die, V->getLine(), V->getFile());
David Blaikie101613e2014-02-12 00:11:25 +0000395}
396
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000397void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000398 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000399
Paul Robinson612e89d2018-01-12 19:17:50 +0000400 addSourceLine(Die, G->getLine(), G->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000401}
402
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000403void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000404 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000405
Paul Robinson612e89d2018-01-12 19:17:50 +0000406 addSourceLine(Die, SP->getLine(), SP->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000407}
408
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000409void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000410 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000411
Paul Robinson612e89d2018-01-12 19:17:50 +0000412 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000413}
414
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000415void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000416 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000417
Paul Robinson612e89d2018-01-12 19:17:50 +0000418 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000419}
420
Devang Patel0e821f42011-04-12 23:21:44 +0000421/* Byref variables, in Blocks, are declared by the programmer as "SomeType
422 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
423 gives the variable VarName either the struct, or a pointer to the struct, as
424 its type. This is necessary for various behind-the-scenes things the
425 compiler needs to do with by-reference variables in Blocks.
426
427 However, as far as the original *programmer* is concerned, the variable
428 should still have type 'SomeType', as originally declared.
429
430 The function getBlockByrefType dives into the __Block_byref_x_VarName
431 struct to find the original type of the variable, which is then assigned to
432 the variable's Debug Information Entry as its real type. So far, so good.
433 However now the debugger will expect the variable VarName to have the type
434 SomeType. So we need the location attribute for the variable to be an
435 expression that explains to the debugger how to navigate through the
436 pointers and struct to find the actual variable of type SomeType.
437
438 The following function does just that. We start by getting
439 the "normal" location for the variable. This will be the location
440 of either the struct __Block_byref_x_VarName or the pointer to the
441 struct __Block_byref_x_VarName.
442
443 The struct will look something like:
444
445 struct __Block_byref_x_VarName {
446 ... <various fields>
447 struct __Block_byref_x_VarName *forwarding;
448 ... <various other fields>
449 SomeType VarName;
450 ... <maybe more fields>
451 };
452
453 If we are given the struct directly (as our starting point) we
454 need to tell the debugger to:
455
456 1). Add the offset of the forwarding field.
457
458 2). Follow that pointer to get the real __Block_byref_x_VarName
459 struct to use (the real one may have been copied onto the heap).
460
461 3). Add the offset for the field VarName, to find the actual variable.
462
463 If we started with a pointer to the struct, then we need to
464 dereference that pointer first, before the other steps.
465 Translating this into DWARF ops, we will need to append the following
466 to the current location description for the variable:
467
468 DW_OP_deref -- optional, if we start with a pointer
469 DW_OP_plus_uconst <forward_fld_offset>
470 DW_OP_deref
471 DW_OP_plus_uconst <varName_fld_offset>
472
473 That is what this function does. */
474
David Blaikie65a74662014-04-25 18:26:14 +0000475void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000476 dwarf::Attribute Attribute,
477 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000478 const DIType *Ty = DV.getType();
479 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000480 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000481 bool isPointer = false;
482
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000483 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000484
485 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000486 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000487 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000488 isPointer = true;
489 }
490
Devang Patel0e821f42011-04-12 23:21:44 +0000491 // Find the __forwarding field and the variable field in the __Block_byref
492 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000493 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000494 const DIDerivedType *varField = nullptr;
495 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000496
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000497 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000498 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000499 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000500 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000501 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000502 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000503 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000504 }
505
506 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000507 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
508 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000509
510 // Decode the original location, and use that as the start of the byref
511 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000512 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl956484b2017-03-20 21:35:09 +0000513 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000514 if (Location.isIndirect())
515 DwarfExpr.setMemoryLocationKind();
Devang Patel0e821f42011-04-12 23:21:44 +0000516
Adrian Prantl2049c0d2017-08-02 15:22:17 +0000517 SmallVector<uint64_t, 6> Ops;
Devang Patel0e821f42011-04-12 23:21:44 +0000518 // If we started with a pointer to the __Block_byref... struct, then
519 // the first thing we need to do is dereference the pointer (DW_OP_deref).
520 if (isPointer)
Adrian Prantl956484b2017-03-20 21:35:09 +0000521 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000522
523 // Next add the offset for the '__forwarding' field:
524 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
525 // adding the offset if it's 0.
526 if (forwardingFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000527 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000528 Ops.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000529 }
530
531 // Now dereference the __forwarding field to get to the real __Block_byref
532 // struct: DW_OP_deref.
Adrian Prantl956484b2017-03-20 21:35:09 +0000533 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000534
535 // Now that we've got the real __Block_byref... struct, add the offset
536 // for the variable's field to get to the location of the actual variable:
537 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
538 if (varFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000539 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000540 Ops.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000541 }
Adrian Prantl956484b2017-03-20 21:35:09 +0000542
543 DIExpressionCursor Cursor(Ops);
544 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000545 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantl956484b2017-03-20 21:35:09 +0000546 return;
547 DwarfExpr.addExpression(std::move(Cursor));
Devang Patel0e821f42011-04-12 23:21:44 +0000548
549 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000550 addBlock(Die, Attribute, DwarfExpr.finalize());
Devang Patel0e821f42011-04-12 23:21:44 +0000551}
552
Manman Renb3388602013-10-05 01:43:03 +0000553/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000554static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000555 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
556 // FIXME: Enums without a fixed underlying type have unknown signedness
557 // here, leading to incorrectly emitted constants.
558 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
559 return false;
560
561 // (Pieces of) aggregate types that get hacked apart by SROA may be
562 // represented by a constant. Encode them as unsigned bytes.
563 return true;
564 }
565
566 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000567 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000568 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000569 // null pointer constant emission.
570 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
571 // here, but accept them for now due to a bug in SROA producing bogus
572 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000573 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000574 T == dwarf::DW_TAG_ptr_to_member_type ||
575 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000576 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000577 return true;
578 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
579 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000580 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000581 DITypeRef Deriv = DTy->getBaseType();
582 assert(Deriv && "Expected valid base type");
583 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000584 }
Manman Renb3388602013-10-05 01:43:03 +0000585
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000586 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000587 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000588 assert((Encoding == dwarf::DW_ATE_unsigned ||
589 Encoding == dwarf::DW_ATE_unsigned_char ||
590 Encoding == dwarf::DW_ATE_signed ||
591 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000592 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
593 Encoding == dwarf::DW_ATE_boolean ||
594 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
595 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000596 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000597 return Encoding == dwarf::DW_ATE_unsigned ||
598 Encoding == dwarf::DW_ATE_unsigned_char ||
599 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
600 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000601}
602
David Blaikie65a74662014-04-25 18:26:14 +0000603void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000604 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000605 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000606 APFloat FPImm = MO.getFPImm()->getValueAPF();
607
608 // Get the raw data form of the floating point.
609 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000610 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000611
612 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000613 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000614 int Incr = (LittleEndian ? 1 : -1);
615 int Start = (LittleEndian ? 0 : NumBytes - 1);
616 int Stop = (LittleEndian ? NumBytes : -1);
617
618 // Output the constant to DWARF one byte at a time.
619 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000620 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000621
David Blaikief2443192013-10-21 17:28:37 +0000622 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000623}
624
David Blaikie65a74662014-04-25 18:26:14 +0000625void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000626 // Pass this down to addConstantValue as an unsigned bag of bits.
627 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000628}
629
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000630void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000631 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000632 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000633}
634
David Blaikiec05c8f42014-05-11 15:47:39 +0000635void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000636 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000637 assert(MO.isImm() && "Invalid machine operand!");
638
David Blaikie60cae1b2014-05-11 16:08:41 +0000639 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000640}
641
David Blaikie60cae1b2014-05-11 16:08:41 +0000642void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000643 // FIXME: This is a bit conservative/simple - it emits negative values always
644 // sign extended to 64 bits rather than minimizing the number of bytes.
645 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000646 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000647}
648
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000649void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000650 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
651}
652
David Blaikie65a74662014-04-25 18:26:14 +0000653void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000654 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000655 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000656 addConstantValue(Die, Unsigned,
657 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000658 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000659 }
660
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000661 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000662
663 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000664 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000665
666 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000667 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000668
669 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000670 for (int i = 0; i < NumBytes; i++) {
671 uint8_t c;
672 if (LittleEndian)
673 c = Ptr64[i / 8] >> (8 * (i & 7));
674 else
675 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000676 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000677 }
Devang Patel0e821f42011-04-12 23:21:44 +0000678
David Blaikief2443192013-10-21 17:28:37 +0000679 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000680}
681
Paul Robinson857b4432015-03-10 22:44:45 +0000682void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000683 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000684 addString(Die,
685 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
686 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000687 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000688}
689
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000690void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000691 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000692 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000693 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000694 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000695 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000696 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000697 }
Devang Patel0e821f42011-04-12 23:21:44 +0000698}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000699
Adrian Prantl1d12b882017-04-26 22:56:44 +0000700/// Add thrown types.
701void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
702 for (const auto *Ty : ThrownTypes) {
703 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
704 addType(TT, cast<DIType>(Ty));
705 }
706}
707
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000708DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
709 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000710 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000711 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000712 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000713 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000714 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000715 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000716 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000717 if (auto *M = dyn_cast<DIModule>(Context))
718 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000719 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000720}
721
David Blaikiea0e3c752017-02-03 00:44:18 +0000722DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000723 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000724 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000725
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000726 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000727 return TyDIE;
728
729 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000730 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000731
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000732 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000733
Adrian Prantl19aadf52017-03-13 22:56:14 +0000734 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000735 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000736}
737
David Blaikied51dea62015-07-01 18:07:16 +0000738DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000739 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000740 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000741
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000742 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000743
David Blaikieee11f222014-04-12 05:35:59 +0000744 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000745 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000746 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000747
Victor Leschuke1156c22016-10-31 19:09:38 +0000748 // DW_TAG_atomic_type is not supported in DWARF < 5
749 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
750 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
751
Manman Renf4c339e2013-10-29 22:49:29 +0000752 // Construct the context before querying for the existence of the DIE in case
753 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000754 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000755 DIE *ContextDIE = getOrCreateContextDIE(Context);
756 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000757
David Blaikie65a74662014-04-25 18:26:14 +0000758 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000759 return TyDIE;
760
Amjad Aboud72da9392016-04-30 01:44:07 +0000761 // Create new type.
762 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000763
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000764 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000765
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000766 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000767 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000768 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000769 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000770 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000771 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
772 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000773 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000774 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000775 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000776 }
David Blaikie65a74662014-04-25 18:26:14 +0000777 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000778 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000779 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000780 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000781
David Blaikie65a74662014-04-25 18:26:14 +0000782 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000783}
784
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000785void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
786 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000787 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000788 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000789 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000790 // A runtime language of 0 actually means C/C++ and that any
791 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000792 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000793 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000794 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000795 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000796
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000797 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
798 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000799 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000800 }
Devang Patel0e821f42011-04-12 23:21:44 +0000801}
802
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000803void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000804 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000805 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000806 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000807}
808
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000809std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000810 if (!Context)
811 return "";
812
813 // FIXME: Decide whether to implement this for non-C++ languages.
814 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
815 return "";
816
Eric Christopher8dba0d52013-10-19 01:04:42 +0000817 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000818 SmallVector<const DIScope *, 1> Parents;
819 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000820 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000821 if (Context->getScope())
822 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000823 else
824 // Structure, etc types will have a NULL context if they're at the top
825 // level.
826 break;
827 }
828
829 // Reverse iterate over our list to go from the outermost construct to the
830 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000831 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000832 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000833 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000834 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000835 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000836 CS += Name;
837 CS += "::";
838 }
839 }
840 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000841}
842
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000843void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000844 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000845 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000846 // Add name if not anonymous or intermediate type.
847 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000848 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000849
David Blaikiefac56122013-10-04 23:21:16 +0000850 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000851 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000852 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000853
David Blaikie65a74662014-04-25 18:26:14 +0000854 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000855 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000856
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000857 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000858 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000859}
860
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000861void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000862 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000863 StringRef Name = DTy->getName();
864 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000865 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000866
867 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000868 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000869 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000870 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000871
872 // Add name if not anonymous or intermediate type.
873 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000874 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000875
876 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000877 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000878 && Tag != dwarf::DW_TAG_ptr_to_member_type
879 && Tag != dwarf::DW_TAG_reference_type
880 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000881 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000882
David Blaikie5d3249b2013-01-07 05:51:15 +0000883 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000884 addDIEEntry(
885 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000886 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000887 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000888 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000889 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000890
891 // If DWARF address space value is other than None, add it for pointer and
892 // reference types as DW_AT_address_class.
893 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
894 Tag == dwarf::DW_TAG_reference_type))
895 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
896 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000897}
898
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000899void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000900 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000901 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000902 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000903 assert(i == N-1 && "Unspecified parameter must be the last argument");
904 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
905 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000906 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000907 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000908 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000909 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000910 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000911 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000912}
913
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000914void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000915 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000916 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000917 if (Elements.size())
918 if (auto RTy = resolve(Elements[0]))
919 addType(Buffer, RTy);
920
921 bool isPrototyped = true;
922 if (Elements.size() == 2 && !Elements[1])
923 isPrototyped = false;
924
925 constructSubprogramArguments(Buffer, Elements);
926
927 // Add prototype flag if we're dealing with a C language and the function has
928 // been prototyped.
929 uint16_t Language = getLanguage();
930 if (isPrototyped &&
931 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
932 Language == dwarf::DW_LANG_ObjC))
933 addFlag(Buffer, dwarf::DW_AT_prototyped);
934
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000935 // Add a DW_AT_calling_convention if this has an explicit convention.
936 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
937 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
938 CTy->getCC());
939
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000940 if (CTy->isLValueReference())
941 addFlag(Buffer, dwarf::DW_AT_reference);
942
943 if (CTy->isRValueReference())
944 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
945}
946
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000947void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000948 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000949 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000950
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000951 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000952 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000953
954 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000955 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000956 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000957 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000958 case dwarf::DW_TAG_enumeration_type:
959 constructEnumTypeDIE(Buffer, CTy);
960 break;
Adrian Prantl8c599212018-02-06 23:45:59 +0000961 case dwarf::DW_TAG_variant_part:
Devang Patel0e821f42011-04-12 23:21:44 +0000962 case dwarf::DW_TAG_structure_type:
963 case dwarf::DW_TAG_union_type:
964 case dwarf::DW_TAG_class_type: {
Adrian Prantl8c599212018-02-06 23:45:59 +0000965 // Emit the discriminator for a variant part.
966 DIDerivedType *Discriminator = nullptr;
967 if (Tag == dwarf::DW_TAG_variant_part) {
968 Discriminator = CTy->getDiscriminator();
969 if (Discriminator) {
970 // DWARF says:
971 // If the variant part has a discriminant, the discriminant is
972 // represented by a separate debugging information entry which is
973 // a child of the variant part entry.
974 DIE &DiscMember = constructMemberDIE(Buffer, Discriminator);
975 addDIEEntry(Buffer, dwarf::DW_AT_discr, DiscMember);
976 }
977 }
978
Devang Patel0e821f42011-04-12 23:21:44 +0000979 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000980 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000981 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000982 if (!Element)
983 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000984 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000985 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000986 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000987 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000988 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000989 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
990 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000991 getOrCreateStaticMemberDIE(DDTy);
Adrian Prantl8c599212018-02-06 23:45:59 +0000992 } else if (Tag == dwarf::DW_TAG_variant_part) {
993 // When emitting a variant part, wrap each member in
994 // DW_TAG_variant.
995 DIE &Variant = createAndAddDIE(dwarf::DW_TAG_variant, Buffer);
996 if (const ConstantInt *CI =
997 dyn_cast_or_null<ConstantInt>(DDTy->getDiscriminantValue())) {
998 if (isUnsignedDIType(DD, resolve(Discriminator->getBaseType())))
999 addUInt(Variant, dwarf::DW_AT_discr_value, None, CI->getZExtValue());
1000 else
1001 addSInt(Variant, dwarf::DW_AT_discr_value, None, CI->getSExtValue());
1002 }
1003 constructMemberDIE(Variant, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001004 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001005 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001006 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001007 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001008 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
1009 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001010 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001011 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +00001012 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +00001013 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001014 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001015 if (!GetterName.empty())
1016 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001017 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001018 if (!SetterName.empty())
1019 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001020 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +00001021 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001022 PropertyAttributes);
Adrian Prantl8c599212018-02-06 23:45:59 +00001023 } else if (auto *Composite = dyn_cast<DICompositeType>(Element)) {
1024 if (Composite->getTag() == dwarf::DW_TAG_variant_part) {
1025 DIE &VariantPart = createAndAddDIE(Composite->getTag(), Buffer);
1026 constructTypeDIE(VariantPart, Composite);
1027 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001028 }
Devang Patel0e821f42011-04-12 23:21:44 +00001029 }
1030
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001031 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001032 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001033
Adrian Prantlcf44e782014-12-19 00:01:20 +00001034 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
1035 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +00001036 // Rust uses DW_AT_containing_type to link a vtable to the type
1037 // for which it was created.
1038 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +00001039 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001040 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001041
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001042 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001043 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001044
Eric Christopherda011dd2011-12-16 23:42:42 +00001045 // Add template parameters to a class, structure or union types.
1046 // FIXME: The support isn't in the metadata for this yet.
1047 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001048 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001049 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +00001050
Adrian Prantla29aac72018-01-05 01:13:37 +00001051 // Add the type's non-standard calling convention.
1052 uint8_t CC = 0;
1053 if (CTy->isTypePassByValue())
1054 CC = dwarf::DW_CC_pass_by_value;
1055 else if (CTy->isTypePassByReference())
1056 CC = dwarf::DW_CC_pass_by_reference;
1057 if (CC)
1058 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
1059 CC);
Devang Patel0e821f42011-04-12 23:21:44 +00001060 break;
1061 }
1062 default:
1063 break;
1064 }
1065
1066 // Add name if not anonymous or intermediate type.
1067 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001068 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001069
Eric Christopher775cbd22012-05-22 18:45:18 +00001070 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001071 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001072 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001073 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001074 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001075 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001076 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001077 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001078 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001079 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001080
1081 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001082 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001083 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001084
1085 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001086 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001087 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001088
1089 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001090 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001091 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001092 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001093 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001094
1095 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001096 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001097 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1098 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001099 }
1100}
1101
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001102void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001103 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001104 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001105 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001106 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001107 if (TP->getType())
1108 addType(ParamDIE, resolve(TP->getType()));
1109 if (!TP->getName().empty())
1110 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001111}
1112
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001113void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001114 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001115 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001116
1117 // Add the type if there is one, template template and template parameter
1118 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001119 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1120 addType(ParamDIE, resolve(VP->getType()));
1121 if (!VP->getName().empty())
1122 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1123 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001124 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001125 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001126 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001127 // We cannot describe the location of dllimport'd entities: the
1128 // computation of their address requires loads from the IAT.
1129 if (!GV->hasDLLImportStorageClass()) {
1130 // For declaration non-type template parameters (such as global values
1131 // and functions)
1132 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1133 addOpAddress(*Loc, Asm->getSymbol(GV));
1134 // Emit DW_OP_stack_value to use the address as the immediate value of
1135 // the parameter, rather than a pointer to it.
1136 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1137 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1138 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001139 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001140 assert(isa<MDString>(Val));
1141 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1142 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001143 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001144 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001145 }
1146 }
Devang Patel0e821f42011-04-12 23:21:44 +00001147}
1148
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001149DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001150 // Construct the context before querying for the existence of the DIE in case
1151 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001152 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001153
David Blaikie65a74662014-04-25 18:26:14 +00001154 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001155 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001156 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001157
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001158 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001159 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001160 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001161 else
1162 Name = "(anonymous namespace)";
1163 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001164 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001165 if (NS->getExportSymbols())
1166 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001167 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001168}
1169
Adrian Prantl08a388b2015-06-30 02:13:04 +00001170DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1171 // Construct the context before querying for the existence of the DIE in case
1172 // such construction creates the DIE.
1173 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1174
1175 if (DIE *MDie = getDIE(M))
1176 return MDie;
1177 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1178
1179 if (!M->getName().empty()) {
1180 addString(MDie, dwarf::DW_AT_name, M->getName());
1181 addGlobalName(M->getName(), MDie, M->getScope());
1182 }
1183 if (!M->getConfigurationMacros().empty())
1184 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1185 M->getConfigurationMacros());
1186 if (!M->getIncludePath().empty())
1187 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1188 if (!M->getISysRoot().empty())
1189 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1190
1191 return &MDie;
1192}
1193
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001194DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001195 // Construct the context before querying for the existence of the DIE in case
1196 // such construction creates the DIE (as is the case for member function
1197 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001198 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001199 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001200
David Blaikie65a74662014-04-25 18:26:14 +00001201 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001202 return SPDie;
1203
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001204 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001205 if (!Minimal) {
1206 // Add subprogram definitions to the CU die directly.
1207 ContextDIE = &getUnitDie();
1208 // Build the decl now to ensure it precedes the definition.
1209 getOrCreateSubprogramDIE(SPDecl);
1210 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001211 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001212
1213 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001214 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001215
David Blaikie6cfa9e12014-06-05 00:25:26 +00001216 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001217 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001218 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001219 return &SPDie;
1220
David Blaikie7f916862014-05-27 18:37:38 +00001221 applySubprogramAttributes(SP, SPDie);
1222 return &SPDie;
1223}
1224
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001225bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001226 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001227 DIE *DeclDie = nullptr;
1228 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001229 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001230 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001231 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001232 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001233 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001234 // Look at the Decl's linkage name only if we emitted it.
1235 if (DD->useAllLinkageNames())
1236 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson612e89d2018-01-12 19:17:50 +00001237 unsigned DeclID = getOrCreateSourceID(SPDecl->getFile());
1238 unsigned DefID = getOrCreateSourceID(SP->getFile());
David Blaikiec9ad9192015-10-07 00:04:16 +00001239 if (DeclID != DefID)
1240 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1241
1242 if (SP->getLine() != SPDecl->getLine())
1243 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001244 }
Rafael Espindola79278362011-11-10 22:34:29 +00001245
Devang Patel89543712011-08-15 17:24:54 +00001246 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001247 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001248
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001249 // Add the linkage name if we have one and it isn't in the Decl.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001250 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001251 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1252 LinkageName == DeclLinkageName) &&
1253 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001254 if (DeclLinkageName.empty() &&
1255 // Always emit it for abstract subprograms.
1256 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001257 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001258
David Blaikie3a443c22014-11-04 22:12:25 +00001259 if (!DeclDie)
1260 return false;
1261
1262 // Refer to the function declaration where all the other attributes will be
1263 // found.
1264 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1265 return true;
1266}
1267
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001268void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001269 bool SkipSPAttributes) {
1270 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1271 // and its source location.
1272 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001273 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001274 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001275 if (applySubprogramDefinitionAttributes(SP, SPDie))
1276 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001277
Devang Patel89543712011-08-15 17:24:54 +00001278 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001279 if (!SP->getName().empty())
1280 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001281
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001282 if (!SkipSPSourceLocation)
1283 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001284
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001285 // Skip the rest of the attributes under -gmlt to save space.
1286 if (SkipSPAttributes)
1287 return;
Devang Patel89543712011-08-15 17:24:54 +00001288
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001289 // Add the prototype if we have a prototype and we have a C like
1290 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001291 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001292 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001293 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001294 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001295 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001296
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001297 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001298 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001299 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001300 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001301 CC = SPTy->getCC();
1302 }
1303
1304 // Add a DW_AT_calling_convention if this has an explicit convention.
1305 if (CC && CC != dwarf::DW_CC_normal)
1306 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001307
Eric Christopher691281b2013-10-21 17:48:51 +00001308 // Add a return type. If this is a type like a C/C++ void type we don't add a
1309 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001310 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001311 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001312 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001313
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001314 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001315 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001316 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001317 if (SP->getVirtualIndex() != -1u) {
1318 DIELoc *Block = getDIELoc();
1319 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1320 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1321 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1322 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001323 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001324 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001325 }
1326
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001327 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001328 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001329
Devang Patel89543712011-08-15 17:24:54 +00001330 // Add arguments. Do not add arguments for subprogram definition. They will
1331 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001332 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001333 }
1334
Adrian Prantl1d12b882017-04-26 22:56:44 +00001335 addThrownTypes(SPDie, SP->getThrownTypes());
1336
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001337 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001338 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001339
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001340 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001341 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001342
David Blaikiec53e18d2016-05-24 21:19:28 +00001343 if (DD->useAppleExtensionAttributes()) {
1344 if (SP->isOptimized())
1345 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001346
David Blaikiec53e18d2016-05-24 21:19:28 +00001347 if (unsigned isa = Asm->getISAEncoding())
1348 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1349 }
Devang Patel89543712011-08-15 17:24:54 +00001350
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001351 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001352 addFlag(SPDie, dwarf::DW_AT_reference);
1353
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001354 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001355 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1356
Adrian Prantlc19dee72016-08-17 16:02:43 +00001357 if (SP->isNoReturn())
1358 addFlag(SPDie, dwarf::DW_AT_noreturn);
1359
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001360 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001361 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1362 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001363 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001364 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1365 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001366 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001367 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1368 dwarf::DW_ACCESS_public);
1369
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001370 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001371 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001372
1373 if (SP->isMainSubprogram())
1374 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001375}
1376
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001377void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001378 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001379 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001380 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001381
Bill Wendling28fe9e72012-12-06 07:38:10 +00001382 // The LowerBound value defines the lower bounds which is typically zero for
1383 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1384 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001385 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001386 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001387 int64_t DefaultLowerBound = getDefaultLowerBound();
Sander de Smalenfdf40912018-01-24 09:56:07 +00001388 int64_t Count = -1;
1389 if (auto *CI = SR->getCount().dyn_cast<ConstantInt*>())
1390 Count = CI->getSExtValue();
Devang Patel0e821f42011-04-12 23:21:44 +00001391
Bill Wendling3495f9b2012-12-06 07:55:19 +00001392 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001393 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001394
Sander de Smalendc00bec2018-01-24 13:35:54 +00001395 if (auto *CV = SR->getCount().dyn_cast<DIVariable*>()) {
Sander de Smalenbf83be92018-02-17 11:06:53 +00001396 if (auto *CountVarDIE = getDIE(CV))
1397 addDIEEntry(DW_Subrange, dwarf::DW_AT_count, *CountVarDIE);
Sander de Smalendc00bec2018-01-24 13:35:54 +00001398 } else if (Count != -1)
David Blaikie32b0f362014-10-01 00:56:55 +00001399 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001400}
1401
David Blaikie871c2d92014-11-02 03:09:13 +00001402DIE *DwarfUnit::getIndexTyDie() {
1403 if (IndexTyDie)
1404 return IndexTyDie;
1405 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001406 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
Pavel Labathb7243ed2018-04-10 14:23:41 +00001407 StringRef Name = "__ARRAY_SIZE_TYPE__";
1408 addString(*IndexTyDie, dwarf::DW_AT_name, Name);
David Blaikie871c2d92014-11-02 03:09:13 +00001409 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1410 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1411 dwarf::DW_ATE_unsigned);
Pavel Labathb7243ed2018-04-10 14:23:41 +00001412 DD->addAccelType(Name, *IndexTyDie, /*Flags*/ 0);
David Blaikie871c2d92014-11-02 03:09:13 +00001413 return IndexTyDie;
1414}
1415
Matt Davis4c77cb72018-03-08 22:22:26 +00001416/// Returns true if the vector's size differs from the sum of sizes of elements
1417/// the user specified. This can occur if the vector has been rounded up to
1418/// fit memory alignment constraints.
1419static bool hasVectorBeenPadded(const DICompositeType *CTy) {
1420 assert(CTy && CTy->isVector() && "Composite type is not a vector");
1421 const uint64_t ActualSize = CTy->getSizeInBits();
1422
1423 // Obtain the size of each element in the vector.
1424 DIType *BaseTy = CTy->getBaseType().resolve();
1425 assert(BaseTy && "Unknown vector element type.");
1426 const uint64_t ElementSize = BaseTy->getSizeInBits();
1427
1428 // Locate the number of elements in the vector.
1429 const DINodeArray Elements = CTy->getElements();
1430 assert(Elements.size() == 1 &&
1431 Elements[0]->getTag() == dwarf::DW_TAG_subrange_type &&
1432 "Invalid vector element array, expected one element of type subrange");
1433 const auto Subrange = cast<DISubrange>(Elements[0]);
1434 const auto CI = Subrange->getCount().get<ConstantInt *>();
1435 const int32_t NumVecElements = CI->getSExtValue();
1436
1437 // Ensure we found the element count and that the actual size is wide
1438 // enough to contain the requested size.
1439 assert(ActualSize >= (NumVecElements * ElementSize) && "Invalid vector size");
1440 return ActualSize != (NumVecElements * ElementSize);
1441}
1442
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001443void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Matt Davis4c77cb72018-03-08 22:22:26 +00001444 if (CTy->isVector()) {
David Blaikie65a74662014-04-25 18:26:14 +00001445 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Matt Davis4c77cb72018-03-08 22:22:26 +00001446 if (hasVectorBeenPadded(CTy))
1447 addUInt(Buffer, dwarf::DW_AT_byte_size, None,
1448 CTy->getSizeInBits() / CHAR_BIT);
1449 }
Devang Patel0e821f42011-04-12 23:21:44 +00001450
Eric Christopher0df08e22013-08-08 07:40:37 +00001451 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001452 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001453
1454 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001455 // FIXME: This type should be passed down from the front end
1456 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001457 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001458
1459 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001460 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001461 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001462 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001463 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001464 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001465 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001466 }
1467}
1468
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001469void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001470 const DIType *DTy = resolve(CTy->getBaseType());
1471 bool IsUnsigned = DTy && isUnsignedDIType(DD, DTy);
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001472 if (DTy) {
1473 if (DD->getDwarfVersion() >= 3)
1474 addType(Buffer, DTy);
1475 if (DD->getDwarfVersion() >= 4 && (CTy->getFlags() & DINode::FlagFixedEnum))
1476 addFlag(Buffer, dwarf::DW_AT_enum_class);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001477 }
1478
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001479 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001480
1481 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001482 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001483 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001484 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001485 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001486 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001487 addString(Enumerator, dwarf::DW_AT_name, Name);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001488 auto Value = static_cast<uint64_t>(Enum->getValue());
1489 addConstantValue(Enumerator, IsUnsigned, Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001490 }
1491 }
Devang Patel0e821f42011-04-12 23:21:44 +00001492}
1493
Eric Christophera5a79422013-12-09 23:32:48 +00001494void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001495 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001496 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001497 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001498 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001499 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001500 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001501 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001502 if (!NDie)
1503 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001504 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001505 }
1506}
1507
Adrian Prantl8c599212018-02-06 23:45:59 +00001508DIE &DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001509 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1510 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001511 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001512 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001513
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001514 if (DIType *Resolved = resolve(DT->getBaseType()))
1515 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001516
1517 addSourceLine(MemberDie, DT);
1518
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001519 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001520
1521 // For C++, virtual base classes are not at fixed offset. Use following
1522 // expression to extract appropriate offset from vtable.
1523 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1524
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001525 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001526 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1527 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1528 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001529 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001530 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1531 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1532 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001533
David Blaikief2443192013-10-21 17:28:37 +00001534 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001535 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001536 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001537 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001538 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001539 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001540
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001541 bool IsBitfield = FieldSize && Size != FieldSize;
1542 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001543 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001544 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001545 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001546 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001547
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001548 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001549 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1550 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1551 // which can't be done with bitfields. Thus we use FieldSize here.
1552 uint32_t AlignInBits = FieldSize;
1553 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001554 // The bits from the start of the storage unit to the start of the field.
1555 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001556 // The byte offset of the field's aligned storage unit inside the struct.
1557 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001558
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001559 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001560 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1561 uint64_t FieldOffset = (HiMark - FieldSize);
1562 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001563
Adrian Prantle5447572016-04-28 15:37:52 +00001564 // Maybe we need to work from the other end.
1565 if (Asm->getDataLayout().isLittleEndian())
1566 Offset = FieldSize - (Offset + Size);
1567
1568 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1569 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001570 } else {
1571 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001572 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001573 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001574 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001575 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001576 if (AlignInBytes)
1577 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1578 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001579 }
David Blaikie2ada1162014-01-03 00:48:38 +00001580
David Blaikie22b29a52014-01-03 01:30:05 +00001581 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001582 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001583 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1584 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001585 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001586 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001587 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1588 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001589 }
Devang Patel0e821f42011-04-12 23:21:44 +00001590
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001591 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001592 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001593 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001594 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001595 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001596 dwarf::DW_ACCESS_private);
1597 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001598 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001599 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001600 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001601 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001602 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001603 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001604
1605 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001606 if (DINode *PNode = DT->getObjCProperty())
1607 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001608 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1609 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001610
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001611 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001612 addFlag(MemberDie, dwarf::DW_AT_artificial);
Adrian Prantl8c599212018-02-06 23:45:59 +00001613
1614 return MemberDie;
Devang Patel0e821f42011-04-12 23:21:44 +00001615}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001616
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001617DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001618 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001619 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001620
Manman Renc6b63922013-10-14 20:33:57 +00001621 // Construct the context before querying for the existence of the DIE in case
1622 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001623 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001624 assert(dwarf::isType(ContextDIE->getTag()) &&
1625 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001626
David Blaikie65a74662014-04-25 18:26:14 +00001627 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001628 return StaticMemberDIE;
1629
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001630 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001631
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001632 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001633
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001634 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001635 addType(StaticMemberDIE, Ty);
1636 addSourceLine(StaticMemberDIE, DT);
1637 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1638 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1639
1640 // FIXME: We could omit private if the parent is a class_type, and
1641 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001642 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001643 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1644 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001645 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001646 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1647 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001648 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001649 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1650 dwarf::DW_ACCESS_public);
1651
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001652 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001653 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001654 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001655 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001656
Victor Leschuka37660c2016-10-26 21:32:29 +00001657 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001658 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1659 AlignInBytes);
1660
David Blaikie65a74662014-04-25 18:26:14 +00001661 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001662}
David Blaikie6b288cf2013-10-30 20:42:41 +00001663
Paul Robinsoncddd6042017-02-28 20:24:55 +00001664void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001665 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001666 Asm->OutStreamer->AddComment("Length of Unit");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001667 Asm->emitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001668
Lang Hames9ff69c82015-04-24 19:11:51 +00001669 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001670 unsigned Version = DD->getDwarfVersion();
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001671 Asm->emitInt16(Version);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001672
1673 // DWARF v5 reorders the address size and adds a unit type.
1674 if (Version >= 5) {
1675 Asm->OutStreamer->AddComment("DWARF Unit Type");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001676 Asm->emitInt8(UT);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001677 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001678 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001679 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001680
David Blaikie6896e192013-12-04 23:39:02 +00001681 // We share one abbreviations table across all units so it's always at the
1682 // start of the section. Use a relocatable offset where needed to ensure
1683 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001684 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001685 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001686 if (UseOffsets)
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001687 Asm->emitInt32(0);
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001688 else
1689 Asm->emitDwarfSymbolReference(
1690 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001691
Paul Robinsoncddd6042017-02-28 20:24:55 +00001692 if (Version <= 4) {
1693 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001694 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001695 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001696}
David Blaikiebc563272013-12-13 21:33:40 +00001697
Rafael Espindola063d7252015-03-10 16:58:10 +00001698void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Paul Robinsoncddd6042017-02-28 20:24:55 +00001699 DwarfUnit::emitCommonHeader(UseOffsets,
1700 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1701 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001702 Asm->OutStreamer->AddComment("Type Signature");
1703 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1704 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001705 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001706 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1707 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001708}
1709
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001710DIE::value_iterator
1711DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1712 const MCSymbol *Hi, const MCSymbol *Lo) {
1713 return Die.addValue(DIEValueAllocator, Attribute,
1714 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1715 : dwarf::DW_FORM_data4,
1716 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1717}
1718
1719DIE::value_iterator
1720DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1721 const MCSymbol *Label, const MCSymbol *Sec) {
1722 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1723 return addLabel(Die, Attribute,
1724 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1725 : dwarf::DW_FORM_data4,
1726 Label);
1727 return addSectionDelta(Die, Attribute, Label, Sec);
1728}
1729
David Blaikiecafd9622014-11-02 08:51:37 +00001730bool DwarfTypeUnit::isDwoUnit() const {
1731 // Since there are no skeleton type units, all type units are dwo type units
1732 // when split DWARF is being used.
1733 return DD->useSplitDwarf();
1734}
David Blaikiea0e3c752017-02-03 00:44:18 +00001735
1736void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1737 const DIScope *Context) {
1738 getCU().addGlobalNameForTypeUnit(Name, Context);
1739}
1740
1741void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1742 const DIScope *Context) {
1743 getCU().addGlobalTypeUnitType(Ty, Context);
1744}
David Blaikie85366ac2017-04-22 07:53:44 +00001745
1746const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1747 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1748 return nullptr;
1749 if (isDwoUnit())
1750 return nullptr;
1751 return getSection()->getBeginSymbol();
1752}
Wolfgang Pieb456b5552018-01-26 18:52:58 +00001753
1754void DwarfUnit::addStringOffsetsStart() {
1755 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1756 addSectionLabel(getUnitDie(), dwarf::DW_AT_str_offsets_base,
1757 DU->getStringOffsetsStartSym(),
1758 TLOF.getDwarfStrOffSection()->getBeginSymbol());
1759}