blob: 35a82a8b24501db700351de77146a85b367136e5 [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 Bataev0d6aead2018-02-20 15:28:08 +0000237 if (DD->useInlineStrings()) {
238 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_string,
239 new (DIEValueAllocator)
240 DIEInlineString(String, DIEValueAllocator));
241 return;
242 }
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000243 auto StringPoolEntry = DU->getStringPool().getEntry(*Asm, String);
244 dwarf::Form IxForm =
245 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp;
246 // For DWARF v5 and beyond, use the smallest strx? form possible.
247 if (useSegmentedStringOffsetsTable()) {
248 IxForm = dwarf::DW_FORM_strx1;
249 unsigned Index = StringPoolEntry.getIndex();
250 if (Index > 0xffffff)
251 IxForm = dwarf::DW_FORM_strx4;
252 else if (Index > 0xffff)
253 IxForm = dwarf::DW_FORM_strx3;
254 else if (Index > 0xff)
255 IxForm = dwarf::DW_FORM_strx2;
256 }
257 Die.addValue(DIEValueAllocator, Attribute, IxForm,
258 DIEString(StringPoolEntry));
Devang Patel0e821f42011-04-12 23:21:44 +0000259}
260
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000261DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
262 dwarf::Attribute Attribute,
263 dwarf::Form Form,
264 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000265 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000266}
267
David Blaikie65a74662014-04-25 18:26:14 +0000268void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000269 addLabel(Die, (dwarf::Attribute)0, Form, Label);
270}
271
David Blaikie65a74662014-04-25 18:26:14 +0000272void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000273 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000274 if (DD->getDwarfVersion() >= 4)
275 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
276 else
277 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
278}
279
Paul Robinsonb271f312018-03-29 17:16:41 +0000280MD5::MD5Result *DwarfUnit::getMD5AsBytes(const DIFile *File) const {
Paul Robinson612e89d2018-01-12 19:17:50 +0000281 assert(File);
Paul Robinsonb271f312018-03-29 17:16:41 +0000282 if (DD->getDwarfVersion() < 5)
283 return nullptr;
Scott Linder71603842018-02-12 19:45:54 +0000284 Optional<DIFile::ChecksumInfo<StringRef>> Checksum = File->getChecksum();
285 if (!Checksum || Checksum->Kind != DIFile::CSK_MD5)
Paul Robinson612e89d2018-01-12 19:17:50 +0000286 return nullptr;
287
288 // Convert the string checksum to an MD5Result for the streamer.
289 // The verifier validates the checksum so we assume it's okay.
290 // An MD5 checksum is 16 bytes.
Scott Linder71603842018-02-12 19:45:54 +0000291 std::string ChecksumString = fromHex(Checksum->Value);
Paul Robinson612e89d2018-01-12 19:17:50 +0000292 void *CKMem = Asm->OutStreamer->getContext().allocate(16, 1);
Scott Linder71603842018-02-12 19:45:54 +0000293 memcpy(CKMem, ChecksumString.data(), 16);
Paul Robinson612e89d2018-01-12 19:17:50 +0000294 return reinterpret_cast<MD5::MD5Result *>(CKMem);
295}
296
297unsigned DwarfTypeUnit::getOrCreateSourceID(const DIFile *File) {
Paul Robinson7cb26ad2018-03-27 21:28:59 +0000298 if (!SplitLineTable)
299 return getCU().getOrCreateSourceID(File);
300 if (!UsedLineTable) {
301 UsedLineTable = true;
302 // This is a split type unit that needs a line table.
303 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
304 }
305 return SplitLineTable->getFile(File->getDirectory(), File->getFilename(),
306 getMD5AsBytes(File), File->getSource());
David Blaikie4a2f95f2014-03-18 01:17:26 +0000307}
308
David Blaikie65a74662014-04-25 18:26:14 +0000309void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000310 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000311 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
312 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000313 } else {
David Blaikief2443192013-10-21 17:28:37 +0000314 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000315 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000316 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000317 }
318}
319
David Blaikie65a74662014-04-25 18:26:14 +0000320void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000321 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000322 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000323 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000324}
325
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000326void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000327 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000328}
329
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000330void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000331 // Flag the type unit reference as a declaration so that if it contains
332 // members (implicit special members, static data member definitions, member
333 // declarations for definitions in this CU, etc) consumers don't get confused
334 // and think this is a full definition.
335 addFlag(Die, dwarf::DW_AT_declaration);
336
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000337 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000338 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000339}
340
David Blaikie65a74662014-04-25 18:26:14 +0000341void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000342 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000343 const DIEUnit *CU = Die.getUnit();
344 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
345 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000346 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000347 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000348 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000349 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000350 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000351 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000352 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000353}
354
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000355DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000356 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
357 if (N)
358 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000359 return Die;
360}
361
David Blaikie65a74662014-04-25 18:26:14 +0000362void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000363 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000364 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000365 Die.addValue(DIEValueAllocator, Attribute,
366 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000367}
368
David Blaikie65a74662014-04-25 18:26:14 +0000369void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000370 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000371 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000372 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000373 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000374}
375
Paul Robinson612e89d2018-01-12 19:17:50 +0000376void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, const DIFile *File) {
Devang Patel0e821f42011-04-12 23:21:44 +0000377 if (Line == 0)
378 return;
David Blaikie101613e2014-02-12 00:11:25 +0000379
Paul Robinson612e89d2018-01-12 19:17:50 +0000380 unsigned FileID = getOrCreateSourceID(File);
Devang Patel0e821f42011-04-12 23:21:44 +0000381 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000382 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
383 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000384}
385
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000386void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000387 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000388
Paul Robinson612e89d2018-01-12 19:17:50 +0000389 addSourceLine(Die, V->getLine(), V->getFile());
David Blaikie101613e2014-02-12 00:11:25 +0000390}
391
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000392void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000393 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000394
Paul Robinson612e89d2018-01-12 19:17:50 +0000395 addSourceLine(Die, G->getLine(), G->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000396}
397
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000398void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000399 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000400
Paul Robinson612e89d2018-01-12 19:17:50 +0000401 addSourceLine(Die, SP->getLine(), SP->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000402}
403
Hsiangkai Wangcbc58ad2018-07-31 14:48:32 +0000404void DwarfUnit::addSourceLine(DIE &Die, const DILabel *L) {
405 assert(L);
406
407 addSourceLine(Die, L->getLine(), L->getFile());
408}
409
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000410void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000411 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000412
Paul Robinson612e89d2018-01-12 19:17:50 +0000413 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000414}
415
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000416void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000417 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000418
Paul Robinson612e89d2018-01-12 19:17:50 +0000419 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000420}
421
Devang Patel0e821f42011-04-12 23:21:44 +0000422/* Byref variables, in Blocks, are declared by the programmer as "SomeType
423 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
424 gives the variable VarName either the struct, or a pointer to the struct, as
425 its type. This is necessary for various behind-the-scenes things the
426 compiler needs to do with by-reference variables in Blocks.
427
428 However, as far as the original *programmer* is concerned, the variable
429 should still have type 'SomeType', as originally declared.
430
431 The function getBlockByrefType dives into the __Block_byref_x_VarName
432 struct to find the original type of the variable, which is then assigned to
433 the variable's Debug Information Entry as its real type. So far, so good.
434 However now the debugger will expect the variable VarName to have the type
435 SomeType. So we need the location attribute for the variable to be an
436 expression that explains to the debugger how to navigate through the
437 pointers and struct to find the actual variable of type SomeType.
438
439 The following function does just that. We start by getting
440 the "normal" location for the variable. This will be the location
441 of either the struct __Block_byref_x_VarName or the pointer to the
442 struct __Block_byref_x_VarName.
443
444 The struct will look something like:
445
446 struct __Block_byref_x_VarName {
447 ... <various fields>
448 struct __Block_byref_x_VarName *forwarding;
449 ... <various other fields>
450 SomeType VarName;
451 ... <maybe more fields>
452 };
453
454 If we are given the struct directly (as our starting point) we
455 need to tell the debugger to:
456
457 1). Add the offset of the forwarding field.
458
459 2). Follow that pointer to get the real __Block_byref_x_VarName
460 struct to use (the real one may have been copied onto the heap).
461
462 3). Add the offset for the field VarName, to find the actual variable.
463
464 If we started with a pointer to the struct, then we need to
465 dereference that pointer first, before the other steps.
466 Translating this into DWARF ops, we will need to append the following
467 to the current location description for the variable:
468
469 DW_OP_deref -- optional, if we start with a pointer
470 DW_OP_plus_uconst <forward_fld_offset>
471 DW_OP_deref
472 DW_OP_plus_uconst <varName_fld_offset>
473
474 That is what this function does. */
475
David Blaikie65a74662014-04-25 18:26:14 +0000476void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000477 dwarf::Attribute Attribute,
478 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000479 const DIType *Ty = DV.getType();
480 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000481 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000482 bool isPointer = false;
483
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000484 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000485
486 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000487 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000488 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000489 isPointer = true;
490 }
491
Devang Patel0e821f42011-04-12 23:21:44 +0000492 // Find the __forwarding field and the variable field in the __Block_byref
493 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000494 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000495 const DIDerivedType *varField = nullptr;
496 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000497
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000498 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000499 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000500 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000501 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000502 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000503 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000504 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000505 }
506
507 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000508 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
509 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000510
511 // Decode the original location, and use that as the start of the byref
512 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000513 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl956484b2017-03-20 21:35:09 +0000514 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000515 if (Location.isIndirect())
516 DwarfExpr.setMemoryLocationKind();
Devang Patel0e821f42011-04-12 23:21:44 +0000517
Adrian Prantl2049c0d2017-08-02 15:22:17 +0000518 SmallVector<uint64_t, 6> Ops;
Devang Patel0e821f42011-04-12 23:21:44 +0000519 // If we started with a pointer to the __Block_byref... struct, then
520 // the first thing we need to do is dereference the pointer (DW_OP_deref).
521 if (isPointer)
Adrian Prantl956484b2017-03-20 21:35:09 +0000522 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000523
524 // Next add the offset for the '__forwarding' field:
525 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
526 // adding the offset if it's 0.
527 if (forwardingFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000528 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000529 Ops.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000530 }
531
532 // Now dereference the __forwarding field to get to the real __Block_byref
533 // struct: DW_OP_deref.
Adrian Prantl956484b2017-03-20 21:35:09 +0000534 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000535
536 // Now that we've got the real __Block_byref... struct, add the offset
537 // for the variable's field to get to the location of the actual variable:
538 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
539 if (varFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000540 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000541 Ops.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000542 }
Adrian Prantl956484b2017-03-20 21:35:09 +0000543
544 DIExpressionCursor Cursor(Ops);
545 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000546 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantl956484b2017-03-20 21:35:09 +0000547 return;
548 DwarfExpr.addExpression(std::move(Cursor));
Devang Patel0e821f42011-04-12 23:21:44 +0000549
550 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000551 addBlock(Die, Attribute, DwarfExpr.finalize());
Devang Patel0e821f42011-04-12 23:21:44 +0000552}
553
Manman Renb3388602013-10-05 01:43:03 +0000554/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000555static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000556 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
557 // FIXME: Enums without a fixed underlying type have unknown signedness
558 // here, leading to incorrectly emitted constants.
559 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
560 return false;
561
562 // (Pieces of) aggregate types that get hacked apart by SROA may be
563 // represented by a constant. Encode them as unsigned bytes.
564 return true;
565 }
566
567 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000568 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000569 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000570 // null pointer constant emission.
571 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
572 // here, but accept them for now due to a bug in SROA producing bogus
573 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000574 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000575 T == dwarf::DW_TAG_ptr_to_member_type ||
576 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000577 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000578 return true;
579 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
580 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000581 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000582 DITypeRef Deriv = DTy->getBaseType();
583 assert(Deriv && "Expected valid base type");
584 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000585 }
Manman Renb3388602013-10-05 01:43:03 +0000586
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000587 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000588 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000589 assert((Encoding == dwarf::DW_ATE_unsigned ||
590 Encoding == dwarf::DW_ATE_unsigned_char ||
591 Encoding == dwarf::DW_ATE_signed ||
592 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000593 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
594 Encoding == dwarf::DW_ATE_boolean ||
595 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
596 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000597 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000598 return Encoding == dwarf::DW_ATE_unsigned ||
599 Encoding == dwarf::DW_ATE_unsigned_char ||
600 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
601 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000602}
603
David Blaikie65a74662014-04-25 18:26:14 +0000604void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000605 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000606 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000607 APFloat FPImm = MO.getFPImm()->getValueAPF();
608
609 // Get the raw data form of the floating point.
610 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000611 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000612
613 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000614 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000615 int Incr = (LittleEndian ? 1 : -1);
616 int Start = (LittleEndian ? 0 : NumBytes - 1);
617 int Stop = (LittleEndian ? NumBytes : -1);
618
619 // Output the constant to DWARF one byte at a time.
620 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000621 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000622
David Blaikief2443192013-10-21 17:28:37 +0000623 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000624}
625
David Blaikie65a74662014-04-25 18:26:14 +0000626void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000627 // Pass this down to addConstantValue as an unsigned bag of bits.
628 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000629}
630
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000631void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000632 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000633 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000634}
635
David Blaikiec05c8f42014-05-11 15:47:39 +0000636void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000637 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000638 assert(MO.isImm() && "Invalid machine operand!");
639
David Blaikie60cae1b2014-05-11 16:08:41 +0000640 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000641}
642
David Blaikie60cae1b2014-05-11 16:08:41 +0000643void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000644 // FIXME: This is a bit conservative/simple - it emits negative values always
645 // sign extended to 64 bits rather than minimizing the number of bytes.
646 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000647 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000648}
649
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000650void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000651 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
652}
653
David Blaikie65a74662014-04-25 18:26:14 +0000654void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000655 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000656 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000657 addConstantValue(Die, Unsigned,
658 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000659 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000660 }
661
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000662 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000663
664 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000665 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000666
667 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000668 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000669
670 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000671 for (int i = 0; i < NumBytes; i++) {
672 uint8_t c;
673 if (LittleEndian)
674 c = Ptr64[i / 8] >> (8 * (i & 7));
675 else
676 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000677 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000678 }
Devang Patel0e821f42011-04-12 23:21:44 +0000679
David Blaikief2443192013-10-21 17:28:37 +0000680 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000681}
682
Paul Robinson857b4432015-03-10 22:44:45 +0000683void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000684 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000685 addString(Die,
686 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
687 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000688 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000689}
690
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000691void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000692 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000693 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000694 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000695 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000696 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000697 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000698 }
Devang Patel0e821f42011-04-12 23:21:44 +0000699}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000700
Adrian Prantl1d12b882017-04-26 22:56:44 +0000701/// Add thrown types.
702void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
703 for (const auto *Ty : ThrownTypes) {
704 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
705 addType(TT, cast<DIType>(Ty));
706 }
707}
708
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000709DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
710 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000711 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000712 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000713 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000714 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000715 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000716 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000717 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000718 if (auto *M = dyn_cast<DIModule>(Context))
719 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000720 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000721}
722
David Blaikiea0e3c752017-02-03 00:44:18 +0000723DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000724 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000725 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000726
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000727 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000728 return TyDIE;
729
730 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000731 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000732
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000733 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000734
Adrian Prantl19aadf52017-03-13 22:56:14 +0000735 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000736 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000737}
738
David Blaikied51dea62015-07-01 18:07:16 +0000739DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000740 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000741 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000742
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000743 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000744
David Blaikieee11f222014-04-12 05:35:59 +0000745 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000746 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000747 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000748
Victor Leschuke1156c22016-10-31 19:09:38 +0000749 // DW_TAG_atomic_type is not supported in DWARF < 5
750 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
751 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
752
Manman Renf4c339e2013-10-29 22:49:29 +0000753 // Construct the context before querying for the existence of the DIE in case
754 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000755 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000756 DIE *ContextDIE = getOrCreateContextDIE(Context);
757 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000758
David Blaikie65a74662014-04-25 18:26:14 +0000759 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000760 return TyDIE;
761
Amjad Aboud72da9392016-04-30 01:44:07 +0000762 // Create new type.
763 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000764
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000765 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000766
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000767 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000768 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000769 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000770 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000771 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Pavel Labathf9adc202018-07-20 12:59:05 +0000772 if (DD->generateTypeUnits() && !Ty->isForwardDecl())
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000773 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000774 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000775 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000776 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000777 }
David Blaikie65a74662014-04-25 18:26:14 +0000778 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000779 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000780 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000781 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000782
David Blaikie65a74662014-04-25 18:26:14 +0000783 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000784}
785
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000786void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
787 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000788 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000789 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000790 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000791 // A runtime language of 0 actually means C/C++ and that any
792 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000793 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000794 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000795 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000796 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000797
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000798 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
799 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000800 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000801 }
Devang Patel0e821f42011-04-12 23:21:44 +0000802}
803
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000804void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000805 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000806 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000807 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000808}
809
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000810std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000811 if (!Context)
812 return "";
813
814 // FIXME: Decide whether to implement this for non-C++ languages.
815 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
816 return "";
817
Eric Christopher8dba0d52013-10-19 01:04:42 +0000818 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000819 SmallVector<const DIScope *, 1> Parents;
820 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000821 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000822 if (Context->getScope())
823 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000824 else
825 // Structure, etc types will have a NULL context if they're at the top
826 // level.
827 break;
828 }
829
830 // Reverse iterate over our list to go from the outermost construct to the
831 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000832 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000833 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000834 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000835 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000836 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000837 CS += Name;
838 CS += "::";
839 }
840 }
841 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000842}
843
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000844void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000845 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000846 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000847 // Add name if not anonymous or intermediate type.
848 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000849 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000850
David Blaikiefac56122013-10-04 23:21:16 +0000851 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000852 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000853 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000854
David Blaikie65a74662014-04-25 18:26:14 +0000855 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000856 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000857
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000858 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000859 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000860}
861
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000862void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000863 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000864 StringRef Name = DTy->getName();
865 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000866 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000867
868 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000869 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000870 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000871 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000872
873 // Add name if not anonymous or intermediate type.
874 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000875 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000876
877 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000878 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000879 && Tag != dwarf::DW_TAG_ptr_to_member_type
880 && Tag != dwarf::DW_TAG_reference_type
881 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000882 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000883
David Blaikie5d3249b2013-01-07 05:51:15 +0000884 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000885 addDIEEntry(
886 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000887 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000888 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000889 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000890 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000891
892 // If DWARF address space value is other than None, add it for pointer and
893 // reference types as DW_AT_address_class.
894 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
895 Tag == dwarf::DW_TAG_reference_type))
896 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
897 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000898}
899
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000900void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000901 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000902 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000903 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000904 assert(i == N-1 && "Unspecified parameter must be the last argument");
905 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
906 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000907 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000908 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000909 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000910 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000911 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000912 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000913}
914
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000915void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000916 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000917 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000918 if (Elements.size())
919 if (auto RTy = resolve(Elements[0]))
920 addType(Buffer, RTy);
921
922 bool isPrototyped = true;
923 if (Elements.size() == 2 && !Elements[1])
924 isPrototyped = false;
925
926 constructSubprogramArguments(Buffer, Elements);
927
928 // Add prototype flag if we're dealing with a C language and the function has
929 // been prototyped.
930 uint16_t Language = getLanguage();
931 if (isPrototyped &&
932 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
933 Language == dwarf::DW_LANG_ObjC))
934 addFlag(Buffer, dwarf::DW_AT_prototyped);
935
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000936 // Add a DW_AT_calling_convention if this has an explicit convention.
937 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
938 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
939 CTy->getCC());
940
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000941 if (CTy->isLValueReference())
942 addFlag(Buffer, dwarf::DW_AT_reference);
943
944 if (CTy->isRValueReference())
945 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
946}
947
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000948void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000949 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000950 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000951
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000952 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000953 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000954
955 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000956 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000957 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000958 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000959 case dwarf::DW_TAG_enumeration_type:
960 constructEnumTypeDIE(Buffer, CTy);
961 break;
Adrian Prantl8c599212018-02-06 23:45:59 +0000962 case dwarf::DW_TAG_variant_part:
Devang Patel0e821f42011-04-12 23:21:44 +0000963 case dwarf::DW_TAG_structure_type:
964 case dwarf::DW_TAG_union_type:
965 case dwarf::DW_TAG_class_type: {
Adrian Prantl8c599212018-02-06 23:45:59 +0000966 // Emit the discriminator for a variant part.
967 DIDerivedType *Discriminator = nullptr;
968 if (Tag == dwarf::DW_TAG_variant_part) {
969 Discriminator = CTy->getDiscriminator();
970 if (Discriminator) {
971 // DWARF says:
972 // If the variant part has a discriminant, the discriminant is
973 // represented by a separate debugging information entry which is
974 // a child of the variant part entry.
975 DIE &DiscMember = constructMemberDIE(Buffer, Discriminator);
976 addDIEEntry(Buffer, dwarf::DW_AT_discr, DiscMember);
977 }
978 }
979
Devang Patel0e821f42011-04-12 23:21:44 +0000980 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000981 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000982 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000983 if (!Element)
984 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000985 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000986 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000987 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000988 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000989 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000990 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
991 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000992 getOrCreateStaticMemberDIE(DDTy);
Adrian Prantl8c599212018-02-06 23:45:59 +0000993 } else if (Tag == dwarf::DW_TAG_variant_part) {
994 // When emitting a variant part, wrap each member in
995 // DW_TAG_variant.
996 DIE &Variant = createAndAddDIE(dwarf::DW_TAG_variant, Buffer);
997 if (const ConstantInt *CI =
998 dyn_cast_or_null<ConstantInt>(DDTy->getDiscriminantValue())) {
999 if (isUnsignedDIType(DD, resolve(Discriminator->getBaseType())))
1000 addUInt(Variant, dwarf::DW_AT_discr_value, None, CI->getZExtValue());
1001 else
1002 addSInt(Variant, dwarf::DW_AT_discr_value, None, CI->getSExtValue());
1003 }
1004 constructMemberDIE(Variant, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001005 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001006 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001007 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001008 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001009 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
1010 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001011 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001012 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +00001013 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +00001014 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001015 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001016 if (!GetterName.empty())
1017 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001018 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001019 if (!SetterName.empty())
1020 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001021 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +00001022 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001023 PropertyAttributes);
Adrian Prantl8c599212018-02-06 23:45:59 +00001024 } else if (auto *Composite = dyn_cast<DICompositeType>(Element)) {
1025 if (Composite->getTag() == dwarf::DW_TAG_variant_part) {
1026 DIE &VariantPart = createAndAddDIE(Composite->getTag(), Buffer);
1027 constructTypeDIE(VariantPart, Composite);
1028 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001029 }
Devang Patel0e821f42011-04-12 23:21:44 +00001030 }
1031
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001032 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001033 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001034
Adrian Prantlcf44e782014-12-19 00:01:20 +00001035 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
1036 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +00001037 // Rust uses DW_AT_containing_type to link a vtable to the type
1038 // for which it was created.
1039 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +00001040 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001041 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001042
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001043 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001044 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001045
Eric Christopherda011dd2011-12-16 23:42:42 +00001046 // Add template parameters to a class, structure or union types.
1047 // FIXME: The support isn't in the metadata for this yet.
1048 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001049 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001050 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +00001051
Adrian Prantla29aac72018-01-05 01:13:37 +00001052 // Add the type's non-standard calling convention.
1053 uint8_t CC = 0;
1054 if (CTy->isTypePassByValue())
1055 CC = dwarf::DW_CC_pass_by_value;
1056 else if (CTy->isTypePassByReference())
1057 CC = dwarf::DW_CC_pass_by_reference;
1058 if (CC)
1059 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
1060 CC);
Devang Patel0e821f42011-04-12 23:21:44 +00001061 break;
1062 }
1063 default:
1064 break;
1065 }
1066
1067 // Add name if not anonymous or intermediate type.
1068 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001069 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001070
Eric Christopher775cbd22012-05-22 18:45:18 +00001071 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001072 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001073 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001074 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001075 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001076 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001077 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001078 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001079 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001080 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001081
1082 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001083 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001084 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001085
1086 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001087 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001088 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001089
1090 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001091 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001092 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001093 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001094 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001095
1096 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001097 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001098 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1099 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001100 }
1101}
1102
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001103void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001104 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001105 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001106 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001107 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001108 if (TP->getType())
1109 addType(ParamDIE, resolve(TP->getType()));
1110 if (!TP->getName().empty())
1111 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001112}
1113
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001114void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001115 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001116 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001117
1118 // Add the type if there is one, template template and template parameter
1119 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001120 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1121 addType(ParamDIE, resolve(VP->getType()));
1122 if (!VP->getName().empty())
1123 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1124 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001125 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001126 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001127 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001128 // We cannot describe the location of dllimport'd entities: the
1129 // computation of their address requires loads from the IAT.
1130 if (!GV->hasDLLImportStorageClass()) {
1131 // For declaration non-type template parameters (such as global values
1132 // and functions)
1133 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1134 addOpAddress(*Loc, Asm->getSymbol(GV));
1135 // Emit DW_OP_stack_value to use the address as the immediate value of
1136 // the parameter, rather than a pointer to it.
1137 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1138 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1139 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001140 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001141 assert(isa<MDString>(Val));
1142 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1143 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001144 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001145 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001146 }
1147 }
Devang Patel0e821f42011-04-12 23:21:44 +00001148}
1149
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001150DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001151 // Construct the context before querying for the existence of the DIE in case
1152 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001153 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001154
David Blaikie65a74662014-04-25 18:26:14 +00001155 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001156 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001157 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001158
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001159 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001160 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001161 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001162 else
1163 Name = "(anonymous namespace)";
1164 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001165 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001166 if (NS->getExportSymbols())
1167 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001168 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001169}
1170
Adrian Prantl08a388b2015-06-30 02:13:04 +00001171DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1172 // Construct the context before querying for the existence of the DIE in case
1173 // such construction creates the DIE.
1174 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1175
1176 if (DIE *MDie = getDIE(M))
1177 return MDie;
1178 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1179
1180 if (!M->getName().empty()) {
1181 addString(MDie, dwarf::DW_AT_name, M->getName());
1182 addGlobalName(M->getName(), MDie, M->getScope());
1183 }
1184 if (!M->getConfigurationMacros().empty())
1185 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1186 M->getConfigurationMacros());
1187 if (!M->getIncludePath().empty())
1188 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1189 if (!M->getISysRoot().empty())
1190 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
Fangrui Songf78650a2018-07-30 19:41:25 +00001191
Adrian Prantl08a388b2015-06-30 02:13:04 +00001192 return &MDie;
1193}
1194
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001195DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001196 // Construct the context before querying for the existence of the DIE in case
1197 // such construction creates the DIE (as is the case for member function
1198 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001199 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001200 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001201
David Blaikie65a74662014-04-25 18:26:14 +00001202 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001203 return SPDie;
1204
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001205 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001206 if (!Minimal) {
1207 // Add subprogram definitions to the CU die directly.
1208 ContextDIE = &getUnitDie();
1209 // Build the decl now to ensure it precedes the definition.
1210 getOrCreateSubprogramDIE(SPDecl);
1211 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001212 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001213
1214 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001215 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001216
David Blaikie6cfa9e12014-06-05 00:25:26 +00001217 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001218 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001219 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001220 return &SPDie;
1221
David Blaikie7f916862014-05-27 18:37:38 +00001222 applySubprogramAttributes(SP, SPDie);
1223 return &SPDie;
1224}
1225
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001226bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001227 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001228 DIE *DeclDie = nullptr;
1229 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001230 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001231 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001232 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001233 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001234 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001235 // Look at the Decl's linkage name only if we emitted it.
1236 if (DD->useAllLinkageNames())
1237 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson612e89d2018-01-12 19:17:50 +00001238 unsigned DeclID = getOrCreateSourceID(SPDecl->getFile());
1239 unsigned DefID = getOrCreateSourceID(SP->getFile());
David Blaikiec9ad9192015-10-07 00:04:16 +00001240 if (DeclID != DefID)
1241 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1242
1243 if (SP->getLine() != SPDecl->getLine())
1244 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001245 }
Rafael Espindola79278362011-11-10 22:34:29 +00001246
Devang Patel89543712011-08-15 17:24:54 +00001247 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001248 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001249
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001250 // 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 +00001251 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001252 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1253 LinkageName == DeclLinkageName) &&
1254 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001255 if (DeclLinkageName.empty() &&
1256 // Always emit it for abstract subprograms.
1257 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001258 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001259
David Blaikie3a443c22014-11-04 22:12:25 +00001260 if (!DeclDie)
1261 return false;
1262
1263 // Refer to the function declaration where all the other attributes will be
1264 // found.
1265 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1266 return true;
1267}
1268
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001269void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001270 bool SkipSPAttributes) {
1271 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1272 // and its source location.
1273 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001274 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001275 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001276 if (applySubprogramDefinitionAttributes(SP, SPDie))
1277 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001278
Devang Patel89543712011-08-15 17:24:54 +00001279 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001280 if (!SP->getName().empty())
1281 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001282
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001283 if (!SkipSPSourceLocation)
1284 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001285
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001286 // Skip the rest of the attributes under -gmlt to save space.
1287 if (SkipSPAttributes)
1288 return;
Devang Patel89543712011-08-15 17:24:54 +00001289
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001290 // Add the prototype if we have a prototype and we have a C like
1291 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001292 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001293 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001294 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001295 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001296 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001297
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001298 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001299 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001300 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001301 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001302 CC = SPTy->getCC();
1303 }
1304
1305 // Add a DW_AT_calling_convention if this has an explicit convention.
1306 if (CC && CC != dwarf::DW_CC_normal)
1307 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001308
Eric Christopher691281b2013-10-21 17:48:51 +00001309 // Add a return type. If this is a type like a C/C++ void type we don't add a
1310 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001311 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001312 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001313 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001314
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001315 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001316 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001317 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001318 if (SP->getVirtualIndex() != -1u) {
1319 DIELoc *Block = getDIELoc();
1320 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1321 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1322 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1323 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001324 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001325 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001326 }
1327
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001328 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001329 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001330
Devang Patel89543712011-08-15 17:24:54 +00001331 // Add arguments. Do not add arguments for subprogram definition. They will
1332 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001333 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001334 }
1335
Adrian Prantl1d12b882017-04-26 22:56:44 +00001336 addThrownTypes(SPDie, SP->getThrownTypes());
1337
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001338 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001339 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001340
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001341 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001342 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001343
David Blaikiec53e18d2016-05-24 21:19:28 +00001344 if (DD->useAppleExtensionAttributes()) {
1345 if (SP->isOptimized())
1346 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001347
David Blaikiec53e18d2016-05-24 21:19:28 +00001348 if (unsigned isa = Asm->getISAEncoding())
1349 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1350 }
Devang Patel89543712011-08-15 17:24:54 +00001351
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001352 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001353 addFlag(SPDie, dwarf::DW_AT_reference);
1354
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001355 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001356 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1357
Adrian Prantlc19dee72016-08-17 16:02:43 +00001358 if (SP->isNoReturn())
1359 addFlag(SPDie, dwarf::DW_AT_noreturn);
1360
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001361 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001362 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1363 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001364 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001365 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1366 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001367 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001368 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1369 dwarf::DW_ACCESS_public);
1370
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001371 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001372 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001373
1374 if (SP->isMainSubprogram())
1375 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001376}
1377
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001378void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001379 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001380 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001381 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001382
Bill Wendling28fe9e72012-12-06 07:38:10 +00001383 // The LowerBound value defines the lower bounds which is typically zero for
1384 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1385 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001386 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001387 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001388 int64_t DefaultLowerBound = getDefaultLowerBound();
Sander de Smalenfdf40912018-01-24 09:56:07 +00001389 int64_t Count = -1;
1390 if (auto *CI = SR->getCount().dyn_cast<ConstantInt*>())
1391 Count = CI->getSExtValue();
Devang Patel0e821f42011-04-12 23:21:44 +00001392
Bill Wendling3495f9b2012-12-06 07:55:19 +00001393 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001394 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001395
Sander de Smalendc00bec2018-01-24 13:35:54 +00001396 if (auto *CV = SR->getCount().dyn_cast<DIVariable*>()) {
Sander de Smalenbf83be92018-02-17 11:06:53 +00001397 if (auto *CountVarDIE = getDIE(CV))
1398 addDIEEntry(DW_Subrange, dwarf::DW_AT_count, *CountVarDIE);
Sander de Smalendc00bec2018-01-24 13:35:54 +00001399 } else if (Count != -1)
David Blaikie32b0f362014-10-01 00:56:55 +00001400 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001401}
1402
David Blaikie871c2d92014-11-02 03:09:13 +00001403DIE *DwarfUnit::getIndexTyDie() {
1404 if (IndexTyDie)
1405 return IndexTyDie;
1406 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001407 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
Pavel Labathb7243ed2018-04-10 14:23:41 +00001408 StringRef Name = "__ARRAY_SIZE_TYPE__";
1409 addString(*IndexTyDie, dwarf::DW_AT_name, Name);
David Blaikie871c2d92014-11-02 03:09:13 +00001410 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1411 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1412 dwarf::DW_ATE_unsigned);
Pavel Labathb7243ed2018-04-10 14:23:41 +00001413 DD->addAccelType(Name, *IndexTyDie, /*Flags*/ 0);
David Blaikie871c2d92014-11-02 03:09:13 +00001414 return IndexTyDie;
1415}
1416
Matt Davis4c77cb72018-03-08 22:22:26 +00001417/// Returns true if the vector's size differs from the sum of sizes of elements
1418/// the user specified. This can occur if the vector has been rounded up to
1419/// fit memory alignment constraints.
1420static bool hasVectorBeenPadded(const DICompositeType *CTy) {
1421 assert(CTy && CTy->isVector() && "Composite type is not a vector");
1422 const uint64_t ActualSize = CTy->getSizeInBits();
1423
1424 // Obtain the size of each element in the vector.
1425 DIType *BaseTy = CTy->getBaseType().resolve();
1426 assert(BaseTy && "Unknown vector element type.");
1427 const uint64_t ElementSize = BaseTy->getSizeInBits();
1428
1429 // Locate the number of elements in the vector.
1430 const DINodeArray Elements = CTy->getElements();
1431 assert(Elements.size() == 1 &&
1432 Elements[0]->getTag() == dwarf::DW_TAG_subrange_type &&
1433 "Invalid vector element array, expected one element of type subrange");
1434 const auto Subrange = cast<DISubrange>(Elements[0]);
1435 const auto CI = Subrange->getCount().get<ConstantInt *>();
1436 const int32_t NumVecElements = CI->getSExtValue();
1437
1438 // Ensure we found the element count and that the actual size is wide
1439 // enough to contain the requested size.
1440 assert(ActualSize >= (NumVecElements * ElementSize) && "Invalid vector size");
1441 return ActualSize != (NumVecElements * ElementSize);
1442}
1443
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001444void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Matt Davis4c77cb72018-03-08 22:22:26 +00001445 if (CTy->isVector()) {
David Blaikie65a74662014-04-25 18:26:14 +00001446 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Matt Davis4c77cb72018-03-08 22:22:26 +00001447 if (hasVectorBeenPadded(CTy))
1448 addUInt(Buffer, dwarf::DW_AT_byte_size, None,
1449 CTy->getSizeInBits() / CHAR_BIT);
1450 }
Devang Patel0e821f42011-04-12 23:21:44 +00001451
Eric Christopher0df08e22013-08-08 07:40:37 +00001452 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001453 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001454
1455 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001456 // FIXME: This type should be passed down from the front end
1457 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001458 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001459
1460 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001461 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001462 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001463 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001464 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001465 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001466 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001467 }
1468}
1469
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001470void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001471 const DIType *DTy = resolve(CTy->getBaseType());
1472 bool IsUnsigned = DTy && isUnsignedDIType(DD, DTy);
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001473 if (DTy) {
1474 if (DD->getDwarfVersion() >= 3)
1475 addType(Buffer, DTy);
1476 if (DD->getDwarfVersion() >= 4 && (CTy->getFlags() & DINode::FlagFixedEnum))
1477 addFlag(Buffer, dwarf::DW_AT_enum_class);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001478 }
1479
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001480 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001481
1482 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001483 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001484 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001485 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001486 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001487 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001488 addString(Enumerator, dwarf::DW_AT_name, Name);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001489 auto Value = static_cast<uint64_t>(Enum->getValue());
1490 addConstantValue(Enumerator, IsUnsigned, Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001491 }
1492 }
Devang Patel0e821f42011-04-12 23:21:44 +00001493}
1494
Eric Christophera5a79422013-12-09 23:32:48 +00001495void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001496 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001497 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001498 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001499 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001500 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001501 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001502 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001503 if (!NDie)
1504 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001505 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001506 }
1507}
1508
Adrian Prantl8c599212018-02-06 23:45:59 +00001509DIE &DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001510 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1511 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001512 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001513 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001514
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001515 if (DIType *Resolved = resolve(DT->getBaseType()))
1516 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001517
1518 addSourceLine(MemberDie, DT);
1519
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001520 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001521
1522 // For C++, virtual base classes are not at fixed offset. Use following
1523 // expression to extract appropriate offset from vtable.
1524 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1525
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001526 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001527 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1528 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1529 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001530 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001531 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1532 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1533 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001534
David Blaikief2443192013-10-21 17:28:37 +00001535 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001536 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001537 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001538 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001539 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001540 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001541
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001542 bool IsBitfield = FieldSize && Size != FieldSize;
1543 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001544 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001545 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001546 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001547 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001548
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001549 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001550 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1551 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1552 // which can't be done with bitfields. Thus we use FieldSize here.
1553 uint32_t AlignInBits = FieldSize;
1554 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001555 // The bits from the start of the storage unit to the start of the field.
1556 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001557 // The byte offset of the field's aligned storage unit inside the struct.
1558 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001559
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001560 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001561 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1562 uint64_t FieldOffset = (HiMark - FieldSize);
1563 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001564
Adrian Prantle5447572016-04-28 15:37:52 +00001565 // Maybe we need to work from the other end.
1566 if (Asm->getDataLayout().isLittleEndian())
1567 Offset = FieldSize - (Offset + Size);
1568
1569 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1570 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001571 } else {
1572 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001573 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001574 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001575 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001576 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001577 if (AlignInBytes)
1578 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1579 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001580 }
David Blaikie2ada1162014-01-03 00:48:38 +00001581
David Blaikie22b29a52014-01-03 01:30:05 +00001582 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001583 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001584 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1585 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001586 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001587 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001588 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1589 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001590 }
Devang Patel0e821f42011-04-12 23:21:44 +00001591
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001592 if (DT->isProtected())
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_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001595 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001596 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001597 dwarf::DW_ACCESS_private);
1598 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001599 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001600 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001601 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001602 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001603 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001604 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001605
1606 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001607 if (DINode *PNode = DT->getObjCProperty())
1608 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001609 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1610 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001611
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001612 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001613 addFlag(MemberDie, dwarf::DW_AT_artificial);
Adrian Prantl8c599212018-02-06 23:45:59 +00001614
1615 return MemberDie;
Devang Patel0e821f42011-04-12 23:21:44 +00001616}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001617
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001618DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001619 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001620 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001621
Manman Renc6b63922013-10-14 20:33:57 +00001622 // Construct the context before querying for the existence of the DIE in case
1623 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001624 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001625 assert(dwarf::isType(ContextDIE->getTag()) &&
1626 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001627
David Blaikie65a74662014-04-25 18:26:14 +00001628 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001629 return StaticMemberDIE;
1630
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001631 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001632
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001633 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001634
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001635 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001636 addType(StaticMemberDIE, Ty);
1637 addSourceLine(StaticMemberDIE, DT);
1638 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1639 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1640
1641 // FIXME: We could omit private if the parent is a class_type, and
1642 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001643 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001644 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1645 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001646 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001647 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1648 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001649 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001650 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1651 dwarf::DW_ACCESS_public);
1652
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001653 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001654 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001655 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001656 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001657
Victor Leschuka37660c2016-10-26 21:32:29 +00001658 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001659 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1660 AlignInBytes);
1661
David Blaikie65a74662014-04-25 18:26:14 +00001662 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001663}
David Blaikie6b288cf2013-10-30 20:42:41 +00001664
Paul Robinsoncddd6042017-02-28 20:24:55 +00001665void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001666 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001667 Asm->OutStreamer->AddComment("Length of Unit");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001668 Asm->emitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001669
Lang Hames9ff69c82015-04-24 19:11:51 +00001670 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001671 unsigned Version = DD->getDwarfVersion();
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001672 Asm->emitInt16(Version);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001673
1674 // DWARF v5 reorders the address size and adds a unit type.
1675 if (Version >= 5) {
1676 Asm->OutStreamer->AddComment("DWARF Unit Type");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001677 Asm->emitInt8(UT);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001678 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001679 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001680 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001681
David Blaikie6896e192013-12-04 23:39:02 +00001682 // We share one abbreviations table across all units so it's always at the
1683 // start of the section. Use a relocatable offset where needed to ensure
1684 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001685 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001686 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001687 if (UseOffsets)
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001688 Asm->emitInt32(0);
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001689 else
1690 Asm->emitDwarfSymbolReference(
1691 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001692
Paul Robinsoncddd6042017-02-28 20:24:55 +00001693 if (Version <= 4) {
1694 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001695 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001696 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001697}
David Blaikiebc563272013-12-13 21:33:40 +00001698
Rafael Espindola063d7252015-03-10 16:58:10 +00001699void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Fangrui Songf78650a2018-07-30 19:41:25 +00001700 DwarfUnit::emitCommonHeader(UseOffsets,
Paul Robinsoncddd6042017-02-28 20:24:55 +00001701 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1702 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001703 Asm->OutStreamer->AddComment("Type Signature");
1704 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1705 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001706 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001707 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1708 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001709}
1710
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001711DIE::value_iterator
1712DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1713 const MCSymbol *Hi, const MCSymbol *Lo) {
1714 return Die.addValue(DIEValueAllocator, Attribute,
1715 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1716 : dwarf::DW_FORM_data4,
1717 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1718}
1719
1720DIE::value_iterator
1721DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1722 const MCSymbol *Label, const MCSymbol *Sec) {
1723 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1724 return addLabel(Die, Attribute,
1725 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1726 : dwarf::DW_FORM_data4,
1727 Label);
1728 return addSectionDelta(Die, Attribute, Label, Sec);
1729}
1730
David Blaikiecafd9622014-11-02 08:51:37 +00001731bool DwarfTypeUnit::isDwoUnit() const {
1732 // Since there are no skeleton type units, all type units are dwo type units
1733 // when split DWARF is being used.
1734 return DD->useSplitDwarf();
1735}
David Blaikiea0e3c752017-02-03 00:44:18 +00001736
1737void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1738 const DIScope *Context) {
1739 getCU().addGlobalNameForTypeUnit(Name, Context);
1740}
1741
1742void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1743 const DIScope *Context) {
1744 getCU().addGlobalTypeUnitType(Ty, Context);
1745}
David Blaikie85366ac2017-04-22 07:53:44 +00001746
1747const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1748 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1749 return nullptr;
1750 if (isDwoUnit())
1751 return nullptr;
1752 return getSection()->getBeginSymbol();
1753}
Wolfgang Pieb456b5552018-01-26 18:52:58 +00001754
1755void DwarfUnit::addStringOffsetsStart() {
1756 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1757 addSectionLabel(getUnitDie(), dwarf::DW_AT_str_offsets_base,
1758 DU->getStringOffsetsStartSym(),
1759 TLOF.getDwarfStrOffSection()->getBeginSymbol());
1760}
Wolfgang Piebfcf38102018-07-12 18:18:21 +00001761
1762void DwarfUnit::addRnglistsBase() {
1763 assert(DD->getDwarfVersion() >= 5 &&
1764 "DW_AT_rnglists_base requires DWARF version 5 or later");
1765 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1766 addSectionLabel(getUnitDie(), dwarf::DW_AT_rnglists_base,
1767 DU->getRnglistsTableBaseSym(),
1768 TLOF.getDwarfRnglistsSection()->getBeginSymbol());
1769}