blob: df67c5ff1760e65aeef48d9bc54dac141c13b429 [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
Adrian Prantlb846acc2015-03-02 22:02:36 +000050DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
51 DIELoc &DIE)
Greg Claytone6543972016-11-23 23:30:37 +000052 : DwarfExpression(AP.getDwarfVersion()), AP(AP), DU(DU),
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000053 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000054
Adrian Prantla63b8e82017-03-16 17:42:45 +000055void DIEDwarfExpression::emitOp(uint8_t Op, const char* Comment) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000056 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
57}
Eugene Zelenko1804a772016-08-25 00:45:04 +000058
Adrian Prantla63b8e82017-03-16 17:42:45 +000059void DIEDwarfExpression::emitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000060 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
61}
Eugene Zelenko1804a772016-08-25 00:45:04 +000062
Adrian Prantla63b8e82017-03-16 17:42:45 +000063void DIEDwarfExpression::emitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000064 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
65}
Eugene Zelenko1804a772016-08-25 00:45:04 +000066
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000067bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
68 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000069 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000070}
71
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000072DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
73 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000074 : DIEUnit(A->getDwarfVersion(), A->MAI->getCodePointerSize(), UnitTag),
75 CUNode(Node), Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000076}
77
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000078DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000079 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000080 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000081 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
82 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000083}
David Blaikie409dd9c2013-11-19 23:08:21 +000084
Eric Christophera5a79422013-12-09 23:32:48 +000085DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000086 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
87 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000088 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
89 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000090}
91
Eric Christophera5a79422013-12-09 23:32:48 +000092int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000093 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000094 default:
95 break;
96
Paul Robinson91d74812017-03-01 18:32:37 +000097 // The languages below have valid values in all DWARF versions.
Bill Wendling28fe9e72012-12-06 07:38:10 +000098 case dwarf::DW_LANG_C:
Paul Robinsond4f1c482017-03-01 19:01:47 +000099 case dwarf::DW_LANG_C89:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000100 case dwarf::DW_LANG_C_plus_plus:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000101 return 0;
102
103 case dwarf::DW_LANG_Fortran77:
104 case dwarf::DW_LANG_Fortran90:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 return 1;
106
Paul Robinson91d74812017-03-01 18:32:37 +0000107 // The languages below have valid values only if the DWARF version >= 3.
108 case dwarf::DW_LANG_C99:
109 case dwarf::DW_LANG_ObjC:
110 case dwarf::DW_LANG_ObjC_plus_plus:
111 if (DD->getDwarfVersion() >= 3)
112 return 0;
113 break;
114
115 case dwarf::DW_LANG_Fortran95:
116 if (DD->getDwarfVersion() >= 3)
117 return 1;
118 break;
119
120 // Starting with DWARF v4, all defined languages have valid values.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000121 case dwarf::DW_LANG_D:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000122 case dwarf::DW_LANG_Java:
123 case dwarf::DW_LANG_Python:
124 case dwarf::DW_LANG_UPC:
Paul Robinson91d74812017-03-01 18:32:37 +0000125 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000126 return 0;
127 break;
128
129 case dwarf::DW_LANG_Ada83:
130 case dwarf::DW_LANG_Ada95:
131 case dwarf::DW_LANG_Cobol74:
132 case dwarf::DW_LANG_Cobol85:
133 case dwarf::DW_LANG_Modula2:
134 case dwarf::DW_LANG_Pascal83:
135 case dwarf::DW_LANG_PLI:
Paul Robinson91d74812017-03-01 18:32:37 +0000136 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000137 return 1;
138 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000139
Paul Robinson91d74812017-03-01 18:32:37 +0000140 // The languages below are new in DWARF v5.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000141 case dwarf::DW_LANG_BLISS:
142 case dwarf::DW_LANG_C11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000143 case dwarf::DW_LANG_C_plus_plus_03:
144 case dwarf::DW_LANG_C_plus_plus_11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000145 case dwarf::DW_LANG_C_plus_plus_14:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000146 case dwarf::DW_LANG_Dylan:
147 case dwarf::DW_LANG_Go:
148 case dwarf::DW_LANG_Haskell:
149 case dwarf::DW_LANG_OCaml:
150 case dwarf::DW_LANG_OpenCL:
Paul Robinson91d74812017-03-01 18:32:37 +0000151 case dwarf::DW_LANG_RenderScript:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000152 case dwarf::DW_LANG_Rust:
153 case dwarf::DW_LANG_Swift:
Paul Robinson91d74812017-03-01 18:32:37 +0000154 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000155 return 0;
156 break;
157
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000158 case dwarf::DW_LANG_Fortran03:
159 case dwarf::DW_LANG_Fortran08:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000160 case dwarf::DW_LANG_Julia:
161 case dwarf::DW_LANG_Modula3:
Paul Robinson91d74812017-03-01 18:32:37 +0000162 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000163 return 1;
164 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000165 }
166
167 return -1;
168}
169
Manman Ren4dbdc902013-10-31 17:54:35 +0000170/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie488393f2017-05-12 01:13:45 +0000171bool DwarfUnit::isShareableAcrossCUs(const DINode *D) const {
David Blaikiebcb418e2013-11-20 18:40:16 +0000172 // When the MDNode can be part of the type system, the DIE can be shared
173 // across CUs.
174 // Combining type units and cross-CU DIE sharing is lower value (since
175 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
176 // level already) but may be implementable for some value in projects
177 // building multiple independent libraries with LTO and then linking those
178 // together.
David Blaikie488393f2017-05-12 01:13:45 +0000179 if (isDwoUnit() && !DD->shareAcrossDWOCUs())
180 return false;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000181 return (isa<DIType>(D) ||
182 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Pavel Labathf9adc202018-07-20 12:59:05 +0000183 !DD->generateTypeUnits();
Manman Ren4dbdc902013-10-31 17:54:35 +0000184}
185
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000186DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000187 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000188 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000189 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000190}
191
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000192void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000193 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000194 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000195 return;
196 }
David Blaikie2ad00162013-11-15 23:09:13 +0000197 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000198}
199
David Blaikie65a74662014-04-25 18:26:14 +0000200void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000201 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000202 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
203 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000204 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000205 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
206 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000207}
208
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000209void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000210 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000211 if (!Form)
212 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000213 assert(Form != dwarf::DW_FORM_implicit_const &&
214 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000215 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000216}
217
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000218void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
219 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000220 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000221}
222
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000223void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000224 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000225 if (!Form)
226 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000227 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000228}
229
David Blaikie65a74662014-04-25 18:26:14 +0000230void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000231 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000232 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000233}
234
David Blaikie65a74662014-04-25 18:26:14 +0000235void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000236 StringRef String) {
Alexey Bataevd4dd7212018-08-01 19:38:20 +0000237 if (CUNode->isDebugDirectivesOnly())
238 return;
239
Alexey Bataev0d6aead2018-02-20 15:28:08 +0000240 if (DD->useInlineStrings()) {
241 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_string,
242 new (DIEValueAllocator)
243 DIEInlineString(String, DIEValueAllocator));
244 return;
245 }
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000246 auto StringPoolEntry = DU->getStringPool().getEntry(*Asm, String);
247 dwarf::Form IxForm =
248 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp;
249 // For DWARF v5 and beyond, use the smallest strx? form possible.
250 if (useSegmentedStringOffsetsTable()) {
251 IxForm = dwarf::DW_FORM_strx1;
252 unsigned Index = StringPoolEntry.getIndex();
253 if (Index > 0xffffff)
254 IxForm = dwarf::DW_FORM_strx4;
255 else if (Index > 0xffff)
256 IxForm = dwarf::DW_FORM_strx3;
257 else if (Index > 0xff)
258 IxForm = dwarf::DW_FORM_strx2;
259 }
260 Die.addValue(DIEValueAllocator, Attribute, IxForm,
261 DIEString(StringPoolEntry));
Devang Patel0e821f42011-04-12 23:21:44 +0000262}
263
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000264DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
265 dwarf::Attribute Attribute,
266 dwarf::Form Form,
267 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000268 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000269}
270
David Blaikie65a74662014-04-25 18:26:14 +0000271void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000272 addLabel(Die, (dwarf::Attribute)0, Form, Label);
273}
274
David Blaikie65a74662014-04-25 18:26:14 +0000275void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000276 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000277 if (DD->getDwarfVersion() >= 4)
278 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
279 else
280 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
281}
282
Paul Robinsonb271f312018-03-29 17:16:41 +0000283MD5::MD5Result *DwarfUnit::getMD5AsBytes(const DIFile *File) const {
Paul Robinson612e89d2018-01-12 19:17:50 +0000284 assert(File);
Paul Robinsonb271f312018-03-29 17:16:41 +0000285 if (DD->getDwarfVersion() < 5)
286 return nullptr;
Scott Linder71603842018-02-12 19:45:54 +0000287 Optional<DIFile::ChecksumInfo<StringRef>> Checksum = File->getChecksum();
288 if (!Checksum || Checksum->Kind != DIFile::CSK_MD5)
Paul Robinson612e89d2018-01-12 19:17:50 +0000289 return nullptr;
290
291 // Convert the string checksum to an MD5Result for the streamer.
292 // The verifier validates the checksum so we assume it's okay.
293 // An MD5 checksum is 16 bytes.
Scott Linder71603842018-02-12 19:45:54 +0000294 std::string ChecksumString = fromHex(Checksum->Value);
Paul Robinson612e89d2018-01-12 19:17:50 +0000295 void *CKMem = Asm->OutStreamer->getContext().allocate(16, 1);
Scott Linder71603842018-02-12 19:45:54 +0000296 memcpy(CKMem, ChecksumString.data(), 16);
Paul Robinson612e89d2018-01-12 19:17:50 +0000297 return reinterpret_cast<MD5::MD5Result *>(CKMem);
298}
299
300unsigned DwarfTypeUnit::getOrCreateSourceID(const DIFile *File) {
Paul Robinson7cb26ad2018-03-27 21:28:59 +0000301 if (!SplitLineTable)
302 return getCU().getOrCreateSourceID(File);
303 if (!UsedLineTable) {
304 UsedLineTable = true;
305 // This is a split type unit that needs a line table.
306 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
307 }
308 return SplitLineTable->getFile(File->getDirectory(), File->getFilename(),
309 getMD5AsBytes(File), File->getSource());
David Blaikie4a2f95f2014-03-18 01:17:26 +0000310}
311
David Blaikie65a74662014-04-25 18:26:14 +0000312void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000313 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000314 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
315 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000316 } else {
David Blaikief2443192013-10-21 17:28:37 +0000317 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000318 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000319 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000320 }
321}
322
David Blaikie65a74662014-04-25 18:26:14 +0000323void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000324 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000325 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000326 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000327}
328
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000329void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000330 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000331}
332
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000333void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000334 // Flag the type unit reference as a declaration so that if it contains
335 // members (implicit special members, static data member definitions, member
336 // declarations for definitions in this CU, etc) consumers don't get confused
337 // and think this is a full definition.
338 addFlag(Die, dwarf::DW_AT_declaration);
339
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000340 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000341 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000342}
343
David Blaikie65a74662014-04-25 18:26:14 +0000344void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000345 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000346 const DIEUnit *CU = Die.getUnit();
347 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
348 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000349 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000350 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000351 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000352 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000353 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000354 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000355 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000356}
357
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000358DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000359 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
360 if (N)
361 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000362 return Die;
363}
364
David Blaikie65a74662014-04-25 18:26:14 +0000365void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000366 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000367 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000368 Die.addValue(DIEValueAllocator, Attribute,
369 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000370}
371
David Blaikie65a74662014-04-25 18:26:14 +0000372void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000373 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000374 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000375 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000376 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000377}
378
Paul Robinson612e89d2018-01-12 19:17:50 +0000379void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, const DIFile *File) {
Devang Patel0e821f42011-04-12 23:21:44 +0000380 if (Line == 0)
381 return;
David Blaikie101613e2014-02-12 00:11:25 +0000382
Paul Robinson612e89d2018-01-12 19:17:50 +0000383 unsigned FileID = getOrCreateSourceID(File);
Devang Patel0e821f42011-04-12 23:21:44 +0000384 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000385 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
386 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000387}
388
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000389void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000390 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000391
Paul Robinson612e89d2018-01-12 19:17:50 +0000392 addSourceLine(Die, V->getLine(), V->getFile());
David Blaikie101613e2014-02-12 00:11:25 +0000393}
394
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000395void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000396 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000397
Paul Robinson612e89d2018-01-12 19:17:50 +0000398 addSourceLine(Die, G->getLine(), G->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000399}
400
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000401void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000402 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000403
Paul Robinson612e89d2018-01-12 19:17:50 +0000404 addSourceLine(Die, SP->getLine(), SP->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000405}
406
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000407void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000408 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000409
Paul Robinson612e89d2018-01-12 19:17:50 +0000410 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000411}
412
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000413void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000414 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000415
Paul Robinson612e89d2018-01-12 19:17:50 +0000416 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000417}
418
Devang Patel0e821f42011-04-12 23:21:44 +0000419/* Byref variables, in Blocks, are declared by the programmer as "SomeType
420 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
421 gives the variable VarName either the struct, or a pointer to the struct, as
422 its type. This is necessary for various behind-the-scenes things the
423 compiler needs to do with by-reference variables in Blocks.
424
425 However, as far as the original *programmer* is concerned, the variable
426 should still have type 'SomeType', as originally declared.
427
428 The function getBlockByrefType dives into the __Block_byref_x_VarName
429 struct to find the original type of the variable, which is then assigned to
430 the variable's Debug Information Entry as its real type. So far, so good.
431 However now the debugger will expect the variable VarName to have the type
432 SomeType. So we need the location attribute for the variable to be an
433 expression that explains to the debugger how to navigate through the
434 pointers and struct to find the actual variable of type SomeType.
435
436 The following function does just that. We start by getting
437 the "normal" location for the variable. This will be the location
438 of either the struct __Block_byref_x_VarName or the pointer to the
439 struct __Block_byref_x_VarName.
440
441 The struct will look something like:
442
443 struct __Block_byref_x_VarName {
444 ... <various fields>
445 struct __Block_byref_x_VarName *forwarding;
446 ... <various other fields>
447 SomeType VarName;
448 ... <maybe more fields>
449 };
450
451 If we are given the struct directly (as our starting point) we
452 need to tell the debugger to:
453
454 1). Add the offset of the forwarding field.
455
456 2). Follow that pointer to get the real __Block_byref_x_VarName
457 struct to use (the real one may have been copied onto the heap).
458
459 3). Add the offset for the field VarName, to find the actual variable.
460
461 If we started with a pointer to the struct, then we need to
462 dereference that pointer first, before the other steps.
463 Translating this into DWARF ops, we will need to append the following
464 to the current location description for the variable:
465
466 DW_OP_deref -- optional, if we start with a pointer
467 DW_OP_plus_uconst <forward_fld_offset>
468 DW_OP_deref
469 DW_OP_plus_uconst <varName_fld_offset>
470
471 That is what this function does. */
472
David Blaikie65a74662014-04-25 18:26:14 +0000473void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000474 dwarf::Attribute Attribute,
475 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000476 const DIType *Ty = DV.getType();
477 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000478 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000479 bool isPointer = false;
480
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000481 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000482
483 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000484 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000485 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000486 isPointer = true;
487 }
488
Devang Patel0e821f42011-04-12 23:21:44 +0000489 // Find the __forwarding field and the variable field in the __Block_byref
490 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000491 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000492 const DIDerivedType *varField = nullptr;
493 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000494
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000495 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000496 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000497 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000498 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000499 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000500 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000501 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000502 }
503
504 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000505 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
506 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000507
508 // Decode the original location, and use that as the start of the byref
509 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000510 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl956484b2017-03-20 21:35:09 +0000511 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000512 if (Location.isIndirect())
513 DwarfExpr.setMemoryLocationKind();
Devang Patel0e821f42011-04-12 23:21:44 +0000514
Adrian Prantl2049c0d2017-08-02 15:22:17 +0000515 SmallVector<uint64_t, 6> Ops;
Devang Patel0e821f42011-04-12 23:21:44 +0000516 // If we started with a pointer to the __Block_byref... struct, then
517 // the first thing we need to do is dereference the pointer (DW_OP_deref).
518 if (isPointer)
Adrian Prantl956484b2017-03-20 21:35:09 +0000519 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000520
521 // Next add the offset for the '__forwarding' field:
522 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
523 // adding the offset if it's 0.
524 if (forwardingFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000525 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000526 Ops.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000527 }
528
529 // Now dereference the __forwarding field to get to the real __Block_byref
530 // struct: DW_OP_deref.
Adrian Prantl956484b2017-03-20 21:35:09 +0000531 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000532
533 // Now that we've got the real __Block_byref... struct, add the offset
534 // for the variable's field to get to the location of the actual variable:
535 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
536 if (varFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000537 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000538 Ops.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000539 }
Adrian Prantl956484b2017-03-20 21:35:09 +0000540
541 DIExpressionCursor Cursor(Ops);
542 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000543 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantl956484b2017-03-20 21:35:09 +0000544 return;
545 DwarfExpr.addExpression(std::move(Cursor));
Devang Patel0e821f42011-04-12 23:21:44 +0000546
547 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000548 addBlock(Die, Attribute, DwarfExpr.finalize());
Devang Patel0e821f42011-04-12 23:21:44 +0000549}
550
Manman Renb3388602013-10-05 01:43:03 +0000551/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000552static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000553 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
554 // FIXME: Enums without a fixed underlying type have unknown signedness
555 // here, leading to incorrectly emitted constants.
556 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
557 return false;
558
559 // (Pieces of) aggregate types that get hacked apart by SROA may be
560 // represented by a constant. Encode them as unsigned bytes.
561 return true;
562 }
563
564 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000565 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000566 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000567 // null pointer constant emission.
568 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
569 // here, but accept them for now due to a bug in SROA producing bogus
570 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000571 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000572 T == dwarf::DW_TAG_ptr_to_member_type ||
573 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000574 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000575 return true;
576 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
577 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000578 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000579 DITypeRef Deriv = DTy->getBaseType();
580 assert(Deriv && "Expected valid base type");
581 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000582 }
Manman Renb3388602013-10-05 01:43:03 +0000583
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000584 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000585 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000586 assert((Encoding == dwarf::DW_ATE_unsigned ||
587 Encoding == dwarf::DW_ATE_unsigned_char ||
588 Encoding == dwarf::DW_ATE_signed ||
589 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000590 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
591 Encoding == dwarf::DW_ATE_boolean ||
592 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
593 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000594 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000595 return Encoding == dwarf::DW_ATE_unsigned ||
596 Encoding == dwarf::DW_ATE_unsigned_char ||
597 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
598 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000599}
600
David Blaikie65a74662014-04-25 18:26:14 +0000601void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000602 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000603 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000604 APFloat FPImm = MO.getFPImm()->getValueAPF();
605
606 // Get the raw data form of the floating point.
607 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000608 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000609
610 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000611 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000612 int Incr = (LittleEndian ? 1 : -1);
613 int Start = (LittleEndian ? 0 : NumBytes - 1);
614 int Stop = (LittleEndian ? NumBytes : -1);
615
616 // Output the constant to DWARF one byte at a time.
617 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000618 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000619
David Blaikief2443192013-10-21 17:28:37 +0000620 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000621}
622
David Blaikie65a74662014-04-25 18:26:14 +0000623void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000624 // Pass this down to addConstantValue as an unsigned bag of bits.
625 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000626}
627
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000628void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000629 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000630 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000631}
632
David Blaikiec05c8f42014-05-11 15:47:39 +0000633void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000634 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000635 assert(MO.isImm() && "Invalid machine operand!");
636
David Blaikie60cae1b2014-05-11 16:08:41 +0000637 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000638}
639
David Blaikie60cae1b2014-05-11 16:08:41 +0000640void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000641 // FIXME: This is a bit conservative/simple - it emits negative values always
642 // sign extended to 64 bits rather than minimizing the number of bytes.
643 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000644 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000645}
646
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000647void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000648 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
649}
650
David Blaikie65a74662014-04-25 18:26:14 +0000651void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000652 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000653 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000654 addConstantValue(Die, Unsigned,
655 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000656 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000657 }
658
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000659 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000660
661 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000662 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000663
664 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000665 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000666
667 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000668 for (int i = 0; i < NumBytes; i++) {
669 uint8_t c;
670 if (LittleEndian)
671 c = Ptr64[i / 8] >> (8 * (i & 7));
672 else
673 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000674 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000675 }
Devang Patel0e821f42011-04-12 23:21:44 +0000676
David Blaikief2443192013-10-21 17:28:37 +0000677 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000678}
679
Paul Robinson857b4432015-03-10 22:44:45 +0000680void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000681 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000682 addString(Die,
683 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
684 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000685 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000686}
687
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000688void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000689 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000690 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000691 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000692 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000693 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000694 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000695 }
Devang Patel0e821f42011-04-12 23:21:44 +0000696}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000697
Adrian Prantl1d12b882017-04-26 22:56:44 +0000698/// Add thrown types.
699void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
700 for (const auto *Ty : ThrownTypes) {
701 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
702 addType(TT, cast<DIType>(Ty));
703 }
704}
705
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000706DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
707 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000708 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000709 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000710 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000711 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000712 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000713 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000714 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000715 if (auto *M = dyn_cast<DIModule>(Context))
716 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000717 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000718}
719
David Blaikiea0e3c752017-02-03 00:44:18 +0000720DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000721 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000722 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000723
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000724 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000725 return TyDIE;
726
727 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000728 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000729
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000730 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000731
Adrian Prantl19aadf52017-03-13 22:56:14 +0000732 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000733 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000734}
735
David Blaikied51dea62015-07-01 18:07:16 +0000736DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000737 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000738 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000739
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000740 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000741
David Blaikieee11f222014-04-12 05:35:59 +0000742 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000743 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000744 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000745
Victor Leschuke1156c22016-10-31 19:09:38 +0000746 // DW_TAG_atomic_type is not supported in DWARF < 5
747 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
748 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
749
Manman Renf4c339e2013-10-29 22:49:29 +0000750 // Construct the context before querying for the existence of the DIE in case
751 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000752 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000753 DIE *ContextDIE = getOrCreateContextDIE(Context);
754 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000755
David Blaikie65a74662014-04-25 18:26:14 +0000756 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000757 return TyDIE;
758
Amjad Aboud72da9392016-04-30 01:44:07 +0000759 // Create new type.
760 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000761
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000762 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000763
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000764 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000765 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000766 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000767 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000768 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Pavel Labathf9adc202018-07-20 12:59:05 +0000769 if (DD->generateTypeUnits() && !Ty->isForwardDecl())
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000770 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000771 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000772 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000773 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000774 }
David Blaikie65a74662014-04-25 18:26:14 +0000775 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000776 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000777 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000778 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000779
David Blaikie65a74662014-04-25 18:26:14 +0000780 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000781}
782
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000783void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
784 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000785 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000786 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000787 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000788 // A runtime language of 0 actually means C/C++ and that any
789 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000790 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000791 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000792 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000793 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000794
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000795 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
796 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000797 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000798 }
Devang Patel0e821f42011-04-12 23:21:44 +0000799}
800
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000801void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000802 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000803 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000804 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000805}
806
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000807std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000808 if (!Context)
809 return "";
810
811 // FIXME: Decide whether to implement this for non-C++ languages.
812 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
813 return "";
814
Eric Christopher8dba0d52013-10-19 01:04:42 +0000815 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000816 SmallVector<const DIScope *, 1> Parents;
817 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000818 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000819 if (Context->getScope())
820 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000821 else
822 // Structure, etc types will have a NULL context if they're at the top
823 // level.
824 break;
825 }
826
827 // Reverse iterate over our list to go from the outermost construct to the
828 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000829 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000830 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000831 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000832 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000833 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000834 CS += Name;
835 CS += "::";
836 }
837 }
838 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000839}
840
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000841void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000842 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000843 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000844 // Add name if not anonymous or intermediate type.
845 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000846 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000847
David Blaikiefac56122013-10-04 23:21:16 +0000848 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000849 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000850 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000851
David Blaikie65a74662014-04-25 18:26:14 +0000852 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000853 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000854
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000855 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000856 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000857}
858
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000859void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000860 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000861 StringRef Name = DTy->getName();
862 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000863 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000864
865 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000866 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000867 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000868 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000869
870 // Add name if not anonymous or intermediate type.
871 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000872 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000873
874 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000875 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000876 && Tag != dwarf::DW_TAG_ptr_to_member_type
877 && Tag != dwarf::DW_TAG_reference_type
878 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000879 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000880
David Blaikie5d3249b2013-01-07 05:51:15 +0000881 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000882 addDIEEntry(
883 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000884 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000885 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000886 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000887 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000888
889 // If DWARF address space value is other than None, add it for pointer and
890 // reference types as DW_AT_address_class.
891 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
892 Tag == dwarf::DW_TAG_reference_type))
893 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
894 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000895}
896
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000897void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000898 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000899 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000900 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000901 assert(i == N-1 && "Unspecified parameter must be the last argument");
902 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
903 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000904 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000905 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000906 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000907 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000908 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000909 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000910}
911
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000912void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000913 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000914 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000915 if (Elements.size())
916 if (auto RTy = resolve(Elements[0]))
917 addType(Buffer, RTy);
918
919 bool isPrototyped = true;
920 if (Elements.size() == 2 && !Elements[1])
921 isPrototyped = false;
922
923 constructSubprogramArguments(Buffer, Elements);
924
925 // Add prototype flag if we're dealing with a C language and the function has
926 // been prototyped.
927 uint16_t Language = getLanguage();
928 if (isPrototyped &&
929 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
930 Language == dwarf::DW_LANG_ObjC))
931 addFlag(Buffer, dwarf::DW_AT_prototyped);
932
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000933 // Add a DW_AT_calling_convention if this has an explicit convention.
934 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
935 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
936 CTy->getCC());
937
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000938 if (CTy->isLValueReference())
939 addFlag(Buffer, dwarf::DW_AT_reference);
940
941 if (CTy->isRValueReference())
942 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
943}
944
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000945void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000946 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000947 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000948
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000949 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000950 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000951
952 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000953 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000954 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000955 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000956 case dwarf::DW_TAG_enumeration_type:
957 constructEnumTypeDIE(Buffer, CTy);
958 break;
Adrian Prantl8c599212018-02-06 23:45:59 +0000959 case dwarf::DW_TAG_variant_part:
Devang Patel0e821f42011-04-12 23:21:44 +0000960 case dwarf::DW_TAG_structure_type:
961 case dwarf::DW_TAG_union_type:
962 case dwarf::DW_TAG_class_type: {
Adrian Prantl8c599212018-02-06 23:45:59 +0000963 // Emit the discriminator for a variant part.
964 DIDerivedType *Discriminator = nullptr;
965 if (Tag == dwarf::DW_TAG_variant_part) {
966 Discriminator = CTy->getDiscriminator();
967 if (Discriminator) {
968 // DWARF says:
969 // If the variant part has a discriminant, the discriminant is
970 // represented by a separate debugging information entry which is
971 // a child of the variant part entry.
972 DIE &DiscMember = constructMemberDIE(Buffer, Discriminator);
973 addDIEEntry(Buffer, dwarf::DW_AT_discr, DiscMember);
974 }
975 }
976
Devang Patel0e821f42011-04-12 23:21:44 +0000977 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000978 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000979 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000980 if (!Element)
981 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000982 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000983 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000984 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000985 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000986 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000987 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
988 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000989 getOrCreateStaticMemberDIE(DDTy);
Adrian Prantl8c599212018-02-06 23:45:59 +0000990 } else if (Tag == dwarf::DW_TAG_variant_part) {
991 // When emitting a variant part, wrap each member in
992 // DW_TAG_variant.
993 DIE &Variant = createAndAddDIE(dwarf::DW_TAG_variant, Buffer);
994 if (const ConstantInt *CI =
995 dyn_cast_or_null<ConstantInt>(DDTy->getDiscriminantValue())) {
996 if (isUnsignedDIType(DD, resolve(Discriminator->getBaseType())))
997 addUInt(Variant, dwarf::DW_AT_discr_value, None, CI->getZExtValue());
998 else
999 addSInt(Variant, dwarf::DW_AT_discr_value, None, CI->getSExtValue());
1000 }
1001 constructMemberDIE(Variant, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001002 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001003 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001004 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001005 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001006 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
1007 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001008 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001009 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +00001010 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +00001011 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001012 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001013 if (!GetterName.empty())
1014 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001015 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001016 if (!SetterName.empty())
1017 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001018 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +00001019 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001020 PropertyAttributes);
Adrian Prantl8c599212018-02-06 23:45:59 +00001021 } else if (auto *Composite = dyn_cast<DICompositeType>(Element)) {
1022 if (Composite->getTag() == dwarf::DW_TAG_variant_part) {
1023 DIE &VariantPart = createAndAddDIE(Composite->getTag(), Buffer);
1024 constructTypeDIE(VariantPart, Composite);
1025 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001026 }
Devang Patel0e821f42011-04-12 23:21:44 +00001027 }
1028
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001029 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001030 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001031
Adrian Prantlcf44e782014-12-19 00:01:20 +00001032 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
1033 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +00001034 // Rust uses DW_AT_containing_type to link a vtable to the type
1035 // for which it was created.
1036 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +00001037 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001038 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001039
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001040 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001041 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001042
Eric Christopherda011dd2011-12-16 23:42:42 +00001043 // Add template parameters to a class, structure or union types.
1044 // FIXME: The support isn't in the metadata for this yet.
1045 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001046 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001047 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +00001048
Adrian Prantla29aac72018-01-05 01:13:37 +00001049 // Add the type's non-standard calling convention.
1050 uint8_t CC = 0;
1051 if (CTy->isTypePassByValue())
1052 CC = dwarf::DW_CC_pass_by_value;
1053 else if (CTy->isTypePassByReference())
1054 CC = dwarf::DW_CC_pass_by_reference;
1055 if (CC)
1056 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
1057 CC);
Devang Patel0e821f42011-04-12 23:21:44 +00001058 break;
1059 }
1060 default:
1061 break;
1062 }
1063
1064 // Add name if not anonymous or intermediate type.
1065 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001066 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001067
Eric Christopher775cbd22012-05-22 18:45:18 +00001068 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001069 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001070 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001071 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001072 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001073 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001074 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001075 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001076 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001077 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001078
1079 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001080 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001081 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001082
1083 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001084 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001085 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001086
1087 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001088 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001089 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001090 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001091 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001092
1093 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001094 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001095 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1096 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001097 }
1098}
1099
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001100void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001101 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001102 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001103 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001104 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001105 if (TP->getType())
1106 addType(ParamDIE, resolve(TP->getType()));
1107 if (!TP->getName().empty())
1108 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001109}
1110
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001111void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001112 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001113 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001114
1115 // Add the type if there is one, template template and template parameter
1116 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001117 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1118 addType(ParamDIE, resolve(VP->getType()));
1119 if (!VP->getName().empty())
1120 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1121 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001122 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001123 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001124 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001125 // We cannot describe the location of dllimport'd entities: the
1126 // computation of their address requires loads from the IAT.
1127 if (!GV->hasDLLImportStorageClass()) {
1128 // For declaration non-type template parameters (such as global values
1129 // and functions)
1130 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1131 addOpAddress(*Loc, Asm->getSymbol(GV));
1132 // Emit DW_OP_stack_value to use the address as the immediate value of
1133 // the parameter, rather than a pointer to it.
1134 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1135 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1136 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001137 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001138 assert(isa<MDString>(Val));
1139 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1140 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001141 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001142 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001143 }
1144 }
Devang Patel0e821f42011-04-12 23:21:44 +00001145}
1146
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001147DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001148 // Construct the context before querying for the existence of the DIE in case
1149 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001150 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001151
David Blaikie65a74662014-04-25 18:26:14 +00001152 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001153 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001154 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001155
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001156 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001157 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001158 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001159 else
1160 Name = "(anonymous namespace)";
1161 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001162 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001163 if (NS->getExportSymbols())
1164 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001165 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001166}
1167
Adrian Prantl08a388b2015-06-30 02:13:04 +00001168DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1169 // Construct the context before querying for the existence of the DIE in case
1170 // such construction creates the DIE.
1171 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1172
1173 if (DIE *MDie = getDIE(M))
1174 return MDie;
1175 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1176
1177 if (!M->getName().empty()) {
1178 addString(MDie, dwarf::DW_AT_name, M->getName());
1179 addGlobalName(M->getName(), MDie, M->getScope());
1180 }
1181 if (!M->getConfigurationMacros().empty())
1182 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1183 M->getConfigurationMacros());
1184 if (!M->getIncludePath().empty())
1185 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1186 if (!M->getISysRoot().empty())
1187 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
Fangrui Songf78650a2018-07-30 19:41:25 +00001188
Adrian Prantl08a388b2015-06-30 02:13:04 +00001189 return &MDie;
1190}
1191
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001192DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001193 // Construct the context before querying for the existence of the DIE in case
1194 // such construction creates the DIE (as is the case for member function
1195 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001196 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001197 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001198
David Blaikie65a74662014-04-25 18:26:14 +00001199 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001200 return SPDie;
1201
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001202 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001203 if (!Minimal) {
1204 // Add subprogram definitions to the CU die directly.
1205 ContextDIE = &getUnitDie();
1206 // Build the decl now to ensure it precedes the definition.
1207 getOrCreateSubprogramDIE(SPDecl);
1208 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001209 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001210
1211 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001212 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001213
David Blaikie6cfa9e12014-06-05 00:25:26 +00001214 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001215 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001216 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001217 return &SPDie;
1218
David Blaikie7f916862014-05-27 18:37:38 +00001219 applySubprogramAttributes(SP, SPDie);
1220 return &SPDie;
1221}
1222
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001223bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001224 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001225 DIE *DeclDie = nullptr;
1226 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001227 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001228 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001229 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001230 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001231 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001232 // Look at the Decl's linkage name only if we emitted it.
1233 if (DD->useAllLinkageNames())
1234 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson612e89d2018-01-12 19:17:50 +00001235 unsigned DeclID = getOrCreateSourceID(SPDecl->getFile());
1236 unsigned DefID = getOrCreateSourceID(SP->getFile());
David Blaikiec9ad9192015-10-07 00:04:16 +00001237 if (DeclID != DefID)
1238 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1239
1240 if (SP->getLine() != SPDecl->getLine())
1241 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001242 }
Rafael Espindola79278362011-11-10 22:34:29 +00001243
Devang Patel89543712011-08-15 17:24:54 +00001244 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001245 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001246
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001247 // 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 +00001248 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001249 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1250 LinkageName == DeclLinkageName) &&
1251 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001252 if (DeclLinkageName.empty() &&
1253 // Always emit it for abstract subprograms.
1254 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001255 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001256
David Blaikie3a443c22014-11-04 22:12:25 +00001257 if (!DeclDie)
1258 return false;
1259
1260 // Refer to the function declaration where all the other attributes will be
1261 // found.
1262 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1263 return true;
1264}
1265
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001266void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001267 bool SkipSPAttributes) {
1268 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1269 // and its source location.
1270 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001271 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001272 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001273 if (applySubprogramDefinitionAttributes(SP, SPDie))
1274 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001275
Devang Patel89543712011-08-15 17:24:54 +00001276 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001277 if (!SP->getName().empty())
1278 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001279
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001280 if (!SkipSPSourceLocation)
1281 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001282
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001283 // Skip the rest of the attributes under -gmlt to save space.
1284 if (SkipSPAttributes)
1285 return;
Devang Patel89543712011-08-15 17:24:54 +00001286
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001287 // Add the prototype if we have a prototype and we have a C like
1288 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001289 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001290 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001291 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001292 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001293 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001294
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001295 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001296 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001297 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001298 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001299 CC = SPTy->getCC();
1300 }
1301
1302 // Add a DW_AT_calling_convention if this has an explicit convention.
1303 if (CC && CC != dwarf::DW_CC_normal)
1304 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001305
Eric Christopher691281b2013-10-21 17:48:51 +00001306 // Add a return type. If this is a type like a C/C++ void type we don't add a
1307 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001308 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001309 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001310 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001311
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001312 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001313 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001314 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001315 if (SP->getVirtualIndex() != -1u) {
1316 DIELoc *Block = getDIELoc();
1317 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1318 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1319 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1320 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001321 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001322 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001323 }
1324
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001325 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001326 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001327
Devang Patel89543712011-08-15 17:24:54 +00001328 // Add arguments. Do not add arguments for subprogram definition. They will
1329 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001330 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001331 }
1332
Adrian Prantl1d12b882017-04-26 22:56:44 +00001333 addThrownTypes(SPDie, SP->getThrownTypes());
1334
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001335 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001336 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001337
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001338 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001339 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001340
David Blaikiec53e18d2016-05-24 21:19:28 +00001341 if (DD->useAppleExtensionAttributes()) {
1342 if (SP->isOptimized())
1343 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001344
David Blaikiec53e18d2016-05-24 21:19:28 +00001345 if (unsigned isa = Asm->getISAEncoding())
1346 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1347 }
Devang Patel89543712011-08-15 17:24:54 +00001348
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001349 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001350 addFlag(SPDie, dwarf::DW_AT_reference);
1351
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001352 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001353 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1354
Adrian Prantlc19dee72016-08-17 16:02:43 +00001355 if (SP->isNoReturn())
1356 addFlag(SPDie, dwarf::DW_AT_noreturn);
1357
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001358 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001359 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1360 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001361 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001362 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1363 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001364 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001365 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1366 dwarf::DW_ACCESS_public);
1367
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001368 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001369 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001370
1371 if (SP->isMainSubprogram())
1372 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001373}
1374
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001375void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001376 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001377 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001378 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001379
Bill Wendling28fe9e72012-12-06 07:38:10 +00001380 // The LowerBound value defines the lower bounds which is typically zero for
1381 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1382 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001383 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001384 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001385 int64_t DefaultLowerBound = getDefaultLowerBound();
Sander de Smalenfdf40912018-01-24 09:56:07 +00001386 int64_t Count = -1;
1387 if (auto *CI = SR->getCount().dyn_cast<ConstantInt*>())
1388 Count = CI->getSExtValue();
Devang Patel0e821f42011-04-12 23:21:44 +00001389
Bill Wendling3495f9b2012-12-06 07:55:19 +00001390 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001391 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001392
Sander de Smalendc00bec2018-01-24 13:35:54 +00001393 if (auto *CV = SR->getCount().dyn_cast<DIVariable*>()) {
Sander de Smalenbf83be92018-02-17 11:06:53 +00001394 if (auto *CountVarDIE = getDIE(CV))
1395 addDIEEntry(DW_Subrange, dwarf::DW_AT_count, *CountVarDIE);
Sander de Smalendc00bec2018-01-24 13:35:54 +00001396 } else if (Count != -1)
David Blaikie32b0f362014-10-01 00:56:55 +00001397 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001398}
1399
David Blaikie871c2d92014-11-02 03:09:13 +00001400DIE *DwarfUnit::getIndexTyDie() {
1401 if (IndexTyDie)
1402 return IndexTyDie;
1403 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001404 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
Pavel Labathb7243ed2018-04-10 14:23:41 +00001405 StringRef Name = "__ARRAY_SIZE_TYPE__";
1406 addString(*IndexTyDie, dwarf::DW_AT_name, Name);
David Blaikie871c2d92014-11-02 03:09:13 +00001407 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1408 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1409 dwarf::DW_ATE_unsigned);
Pavel Labathb7243ed2018-04-10 14:23:41 +00001410 DD->addAccelType(Name, *IndexTyDie, /*Flags*/ 0);
David Blaikie871c2d92014-11-02 03:09:13 +00001411 return IndexTyDie;
1412}
1413
Matt Davis4c77cb72018-03-08 22:22:26 +00001414/// Returns true if the vector's size differs from the sum of sizes of elements
1415/// the user specified. This can occur if the vector has been rounded up to
1416/// fit memory alignment constraints.
1417static bool hasVectorBeenPadded(const DICompositeType *CTy) {
1418 assert(CTy && CTy->isVector() && "Composite type is not a vector");
1419 const uint64_t ActualSize = CTy->getSizeInBits();
1420
1421 // Obtain the size of each element in the vector.
1422 DIType *BaseTy = CTy->getBaseType().resolve();
1423 assert(BaseTy && "Unknown vector element type.");
1424 const uint64_t ElementSize = BaseTy->getSizeInBits();
1425
1426 // Locate the number of elements in the vector.
1427 const DINodeArray Elements = CTy->getElements();
1428 assert(Elements.size() == 1 &&
1429 Elements[0]->getTag() == dwarf::DW_TAG_subrange_type &&
1430 "Invalid vector element array, expected one element of type subrange");
1431 const auto Subrange = cast<DISubrange>(Elements[0]);
1432 const auto CI = Subrange->getCount().get<ConstantInt *>();
1433 const int32_t NumVecElements = CI->getSExtValue();
1434
1435 // Ensure we found the element count and that the actual size is wide
1436 // enough to contain the requested size.
1437 assert(ActualSize >= (NumVecElements * ElementSize) && "Invalid vector size");
1438 return ActualSize != (NumVecElements * ElementSize);
1439}
1440
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001441void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Matt Davis4c77cb72018-03-08 22:22:26 +00001442 if (CTy->isVector()) {
David Blaikie65a74662014-04-25 18:26:14 +00001443 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Matt Davis4c77cb72018-03-08 22:22:26 +00001444 if (hasVectorBeenPadded(CTy))
1445 addUInt(Buffer, dwarf::DW_AT_byte_size, None,
1446 CTy->getSizeInBits() / CHAR_BIT);
1447 }
Devang Patel0e821f42011-04-12 23:21:44 +00001448
Eric Christopher0df08e22013-08-08 07:40:37 +00001449 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001450 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001451
1452 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001453 // FIXME: This type should be passed down from the front end
1454 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001455 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001456
1457 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001458 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001459 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001460 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001461 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001462 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001463 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001464 }
1465}
1466
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001467void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001468 const DIType *DTy = resolve(CTy->getBaseType());
1469 bool IsUnsigned = DTy && isUnsignedDIType(DD, DTy);
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001470 if (DTy) {
1471 if (DD->getDwarfVersion() >= 3)
1472 addType(Buffer, DTy);
1473 if (DD->getDwarfVersion() >= 4 && (CTy->getFlags() & DINode::FlagFixedEnum))
1474 addFlag(Buffer, dwarf::DW_AT_enum_class);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001475 }
1476
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001477 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001478
1479 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001480 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001481 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001482 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001483 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001484 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001485 addString(Enumerator, dwarf::DW_AT_name, Name);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001486 auto Value = static_cast<uint64_t>(Enum->getValue());
1487 addConstantValue(Enumerator, IsUnsigned, Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001488 }
1489 }
Devang Patel0e821f42011-04-12 23:21:44 +00001490}
1491
Eric Christophera5a79422013-12-09 23:32:48 +00001492void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001493 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001494 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001495 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001496 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001497 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001498 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001499 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001500 if (!NDie)
1501 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001502 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001503 }
1504}
1505
Adrian Prantl8c599212018-02-06 23:45:59 +00001506DIE &DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001507 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1508 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001509 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001510 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001511
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001512 if (DIType *Resolved = resolve(DT->getBaseType()))
1513 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001514
1515 addSourceLine(MemberDie, DT);
1516
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001517 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001518
1519 // For C++, virtual base classes are not at fixed offset. Use following
1520 // expression to extract appropriate offset from vtable.
1521 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1522
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001523 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001524 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1525 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1526 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001527 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001528 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1529 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1530 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001531
David Blaikief2443192013-10-21 17:28:37 +00001532 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001533 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001534 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001535 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001536 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001537 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001538
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001539 bool IsBitfield = FieldSize && Size != FieldSize;
1540 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001541 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001542 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001543 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001544 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001545
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001546 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001547 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1548 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1549 // which can't be done with bitfields. Thus we use FieldSize here.
1550 uint32_t AlignInBits = FieldSize;
1551 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001552 // The bits from the start of the storage unit to the start of the field.
1553 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001554 // The byte offset of the field's aligned storage unit inside the struct.
1555 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001556
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001557 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001558 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1559 uint64_t FieldOffset = (HiMark - FieldSize);
1560 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001561
Adrian Prantle5447572016-04-28 15:37:52 +00001562 // Maybe we need to work from the other end.
1563 if (Asm->getDataLayout().isLittleEndian())
1564 Offset = FieldSize - (Offset + Size);
1565
1566 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1567 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001568 } else {
1569 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001570 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001571 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001572 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001573 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001574 if (AlignInBytes)
1575 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1576 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001577 }
David Blaikie2ada1162014-01-03 00:48:38 +00001578
David Blaikie22b29a52014-01-03 01:30:05 +00001579 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001580 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001581 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1582 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001583 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001584 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001585 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1586 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001587 }
Devang Patel0e821f42011-04-12 23:21:44 +00001588
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001589 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001590 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001591 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001592 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001593 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001594 dwarf::DW_ACCESS_private);
1595 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001596 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001597 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001598 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001599 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001600 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001601 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001602
1603 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001604 if (DINode *PNode = DT->getObjCProperty())
1605 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001606 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1607 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001608
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001609 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001610 addFlag(MemberDie, dwarf::DW_AT_artificial);
Adrian Prantl8c599212018-02-06 23:45:59 +00001611
1612 return MemberDie;
Devang Patel0e821f42011-04-12 23:21:44 +00001613}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001614
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001615DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001616 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001617 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001618
Manman Renc6b63922013-10-14 20:33:57 +00001619 // Construct the context before querying for the existence of the DIE in case
1620 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001621 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001622 assert(dwarf::isType(ContextDIE->getTag()) &&
1623 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001624
David Blaikie65a74662014-04-25 18:26:14 +00001625 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001626 return StaticMemberDIE;
1627
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001628 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001629
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001630 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001631
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001632 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001633 addType(StaticMemberDIE, Ty);
1634 addSourceLine(StaticMemberDIE, DT);
1635 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1636 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1637
1638 // FIXME: We could omit private if the parent is a class_type, and
1639 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001640 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001641 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1642 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001643 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001644 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1645 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001646 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001647 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1648 dwarf::DW_ACCESS_public);
1649
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001650 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001651 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001652 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001653 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001654
Victor Leschuka37660c2016-10-26 21:32:29 +00001655 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001656 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1657 AlignInBytes);
1658
David Blaikie65a74662014-04-25 18:26:14 +00001659 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001660}
David Blaikie6b288cf2013-10-30 20:42:41 +00001661
Paul Robinsoncddd6042017-02-28 20:24:55 +00001662void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001663 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001664 Asm->OutStreamer->AddComment("Length of Unit");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001665 Asm->emitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001666
Lang Hames9ff69c82015-04-24 19:11:51 +00001667 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001668 unsigned Version = DD->getDwarfVersion();
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001669 Asm->emitInt16(Version);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001670
1671 // DWARF v5 reorders the address size and adds a unit type.
1672 if (Version >= 5) {
1673 Asm->OutStreamer->AddComment("DWARF Unit Type");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001674 Asm->emitInt8(UT);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001675 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001676 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001677 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001678
David Blaikie6896e192013-12-04 23:39:02 +00001679 // We share one abbreviations table across all units so it's always at the
1680 // start of the section. Use a relocatable offset where needed to ensure
1681 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001682 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001683 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001684 if (UseOffsets)
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001685 Asm->emitInt32(0);
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001686 else
1687 Asm->emitDwarfSymbolReference(
1688 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001689
Paul Robinsoncddd6042017-02-28 20:24:55 +00001690 if (Version <= 4) {
1691 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001692 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001693 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001694}
David Blaikiebc563272013-12-13 21:33:40 +00001695
Rafael Espindola063d7252015-03-10 16:58:10 +00001696void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Fangrui Songf78650a2018-07-30 19:41:25 +00001697 DwarfUnit::emitCommonHeader(UseOffsets,
Paul Robinsoncddd6042017-02-28 20:24:55 +00001698 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1699 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001700 Asm->OutStreamer->AddComment("Type Signature");
1701 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1702 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001703 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001704 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1705 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001706}
1707
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001708DIE::value_iterator
1709DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1710 const MCSymbol *Hi, const MCSymbol *Lo) {
1711 return Die.addValue(DIEValueAllocator, Attribute,
1712 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1713 : dwarf::DW_FORM_data4,
1714 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1715}
1716
1717DIE::value_iterator
1718DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1719 const MCSymbol *Label, const MCSymbol *Sec) {
1720 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1721 return addLabel(Die, Attribute,
1722 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1723 : dwarf::DW_FORM_data4,
1724 Label);
1725 return addSectionDelta(Die, Attribute, Label, Sec);
1726}
1727
David Blaikiecafd9622014-11-02 08:51:37 +00001728bool DwarfTypeUnit::isDwoUnit() const {
1729 // Since there are no skeleton type units, all type units are dwo type units
1730 // when split DWARF is being used.
1731 return DD->useSplitDwarf();
1732}
David Blaikiea0e3c752017-02-03 00:44:18 +00001733
1734void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1735 const DIScope *Context) {
1736 getCU().addGlobalNameForTypeUnit(Name, Context);
1737}
1738
1739void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1740 const DIScope *Context) {
1741 getCU().addGlobalTypeUnitType(Ty, Context);
1742}
David Blaikie85366ac2017-04-22 07:53:44 +00001743
1744const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1745 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1746 return nullptr;
1747 if (isDwoUnit())
1748 return nullptr;
1749 return getSection()->getBeginSymbol();
1750}
Wolfgang Pieb456b5552018-01-26 18:52:58 +00001751
1752void DwarfUnit::addStringOffsetsStart() {
1753 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1754 addSectionLabel(getUnitDie(), dwarf::DW_AT_str_offsets_base,
1755 DU->getStringOffsetsStartSym(),
1756 TLOF.getDwarfStrOffSection()->getBeginSymbol());
1757}
Wolfgang Piebfcf38102018-07-12 18:18:21 +00001758
1759void DwarfUnit::addRnglistsBase() {
1760 assert(DD->getDwarfVersion() >= 5 &&
1761 "DW_AT_rnglists_base requires DWARF version 5 or later");
1762 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1763 addSectionLabel(getUnitDie(), dwarf::DW_AT_rnglists_base,
1764 DU->getRnglistsTableBaseSym(),
1765 TLOF.getDwarfRnglistsSection()->getBeginSymbol());
1766}