blob: bf96bc6380e5fc780a1a396e63911b01c228ff15 [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.cpp - Dwarf Type and Compile Units ---------===//
Devang Patel0e821f42011-04-12 23:21:44 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher160522c2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
David Blaikie2c86a722013-12-02 19:33:15 +000014#include "DwarfUnit.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000015#include "AddressPool.h"
David Blaikie37c52312014-10-04 15:49:50 +000016#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000017#include "DwarfDebug.h"
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000018#include "DwarfExpression.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000020#include "llvm/ADT/APInt.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000021#include "llvm/ADT/None.h"
Paul Robinson612e89d2018-01-12 19:17:50 +000022#include "llvm/ADT/StringExtras.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000023#include "llvm/ADT/iterator_range.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000024#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000025#include "llvm/CodeGen/MachineOperand.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000026#include "llvm/CodeGen/TargetRegisterInfo.h"
27#include "llvm/CodeGen/TargetSubtargetInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000028#include "llvm/IR/Constants.h"
29#include "llvm/IR/DataLayout.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000030#include "llvm/IR/GlobalValue.h"
31#include "llvm/IR/Metadata.h"
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000032#include "llvm/MC/MCAsmInfo.h"
Paul Robinson612e89d2018-01-12 19:17:50 +000033#include "llvm/MC/MCContext.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000034#include "llvm/MC/MCDwarf.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000035#include "llvm/MC/MCSection.h"
36#include "llvm/MC/MCStreamer.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000037#include "llvm/MC/MachineLocation.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000038#include "llvm/Support/Casting.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000039#include "llvm/Support/CommandLine.h"
David Blaikie6054e652018-03-23 23:58:19 +000040#include "llvm/Target/TargetLoweringObjectFile.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000041#include <cassert>
42#include <cstdint>
43#include <string>
44#include <utility>
Devang Patel0e821f42011-04-12 23:21:44 +000045
46using namespace llvm;
47
Chandler Carruth1b9dde02014-04-22 02:02:50 +000048#define DEBUG_TYPE "dwarfdebug"
49
Adrian Prantlb846acc2015-03-02 22:02:36 +000050DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
51 DIELoc &DIE)
Greg Claytone6543972016-11-23 23:30:37 +000052 : DwarfExpression(AP.getDwarfVersion()), AP(AP), DU(DU),
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000053 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000054
Adrian Prantla63b8e82017-03-16 17:42:45 +000055void DIEDwarfExpression::emitOp(uint8_t Op, const char* Comment) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000056 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
57}
Eugene Zelenko1804a772016-08-25 00:45:04 +000058
Adrian Prantla63b8e82017-03-16 17:42:45 +000059void DIEDwarfExpression::emitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000060 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
61}
Eugene Zelenko1804a772016-08-25 00:45:04 +000062
Adrian Prantla63b8e82017-03-16 17:42:45 +000063void DIEDwarfExpression::emitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000064 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
65}
Eugene Zelenko1804a772016-08-25 00:45:04 +000066
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000067bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
68 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000069 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000070}
71
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000072DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
73 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000074 : DIEUnit(A->getDwarfVersion(), A->MAI->getCodePointerSize(), UnitTag),
75 CUNode(Node), Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000076}
77
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000078DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000079 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000080 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000081 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
82 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000083}
David Blaikie409dd9c2013-11-19 23:08:21 +000084
Eric Christophera5a79422013-12-09 23:32:48 +000085DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000086 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
87 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000088 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
89 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000090}
91
Eric Christophera5a79422013-12-09 23:32:48 +000092int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000093 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000094 default:
95 break;
96
Paul Robinson91d74812017-03-01 18:32:37 +000097 // The languages below have valid values in all DWARF versions.
Bill Wendling28fe9e72012-12-06 07:38:10 +000098 case dwarf::DW_LANG_C:
Paul Robinsond4f1c482017-03-01 19:01:47 +000099 case dwarf::DW_LANG_C89:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000100 case dwarf::DW_LANG_C_plus_plus:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000101 return 0;
102
103 case dwarf::DW_LANG_Fortran77:
104 case dwarf::DW_LANG_Fortran90:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 return 1;
106
Paul Robinson91d74812017-03-01 18:32:37 +0000107 // The languages below have valid values only if the DWARF version >= 3.
108 case dwarf::DW_LANG_C99:
109 case dwarf::DW_LANG_ObjC:
110 case dwarf::DW_LANG_ObjC_plus_plus:
111 if (DD->getDwarfVersion() >= 3)
112 return 0;
113 break;
114
115 case dwarf::DW_LANG_Fortran95:
116 if (DD->getDwarfVersion() >= 3)
117 return 1;
118 break;
119
120 // Starting with DWARF v4, all defined languages have valid values.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000121 case dwarf::DW_LANG_D:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000122 case dwarf::DW_LANG_Java:
123 case dwarf::DW_LANG_Python:
124 case dwarf::DW_LANG_UPC:
Paul Robinson91d74812017-03-01 18:32:37 +0000125 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000126 return 0;
127 break;
128
129 case dwarf::DW_LANG_Ada83:
130 case dwarf::DW_LANG_Ada95:
131 case dwarf::DW_LANG_Cobol74:
132 case dwarf::DW_LANG_Cobol85:
133 case dwarf::DW_LANG_Modula2:
134 case dwarf::DW_LANG_Pascal83:
135 case dwarf::DW_LANG_PLI:
Paul Robinson91d74812017-03-01 18:32:37 +0000136 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000137 return 1;
138 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000139
Paul Robinson91d74812017-03-01 18:32:37 +0000140 // The languages below are new in DWARF v5.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000141 case dwarf::DW_LANG_BLISS:
142 case dwarf::DW_LANG_C11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000143 case dwarf::DW_LANG_C_plus_plus_03:
144 case dwarf::DW_LANG_C_plus_plus_11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000145 case dwarf::DW_LANG_C_plus_plus_14:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000146 case dwarf::DW_LANG_Dylan:
147 case dwarf::DW_LANG_Go:
148 case dwarf::DW_LANG_Haskell:
149 case dwarf::DW_LANG_OCaml:
150 case dwarf::DW_LANG_OpenCL:
Paul Robinson91d74812017-03-01 18:32:37 +0000151 case dwarf::DW_LANG_RenderScript:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000152 case dwarf::DW_LANG_Rust:
153 case dwarf::DW_LANG_Swift:
Paul Robinson91d74812017-03-01 18:32:37 +0000154 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000155 return 0;
156 break;
157
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000158 case dwarf::DW_LANG_Fortran03:
159 case dwarf::DW_LANG_Fortran08:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000160 case dwarf::DW_LANG_Julia:
161 case dwarf::DW_LANG_Modula3:
Paul Robinson91d74812017-03-01 18:32:37 +0000162 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000163 return 1;
164 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000165 }
166
167 return -1;
168}
169
Manman Ren4dbdc902013-10-31 17:54:35 +0000170/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie488393f2017-05-12 01:13:45 +0000171bool DwarfUnit::isShareableAcrossCUs(const DINode *D) const {
David Blaikiebcb418e2013-11-20 18:40:16 +0000172 // When the MDNode can be part of the type system, the DIE can be shared
173 // across CUs.
174 // Combining type units and cross-CU DIE sharing is lower value (since
175 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
176 // level already) but may be implementable for some value in projects
177 // building multiple independent libraries with LTO and then linking those
178 // together.
David Blaikie488393f2017-05-12 01:13:45 +0000179 if (isDwoUnit() && !DD->shareAcrossDWOCUs())
180 return false;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000181 return (isa<DIType>(D) ||
182 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Pavel Labathf9adc202018-07-20 12:59:05 +0000183 !DD->generateTypeUnits();
Manman Ren4dbdc902013-10-31 17:54:35 +0000184}
185
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000186DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000187 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000188 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000189 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000190}
191
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000192void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000193 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000194 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000195 return;
196 }
David Blaikie2ad00162013-11-15 23:09:13 +0000197 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000198}
199
David Blaikie65a74662014-04-25 18:26:14 +0000200void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000201 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000202 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
203 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000204 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000205 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
206 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000207}
208
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000209void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000210 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000211 if (!Form)
212 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000213 assert(Form != dwarf::DW_FORM_implicit_const &&
214 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000215 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000216}
217
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000218void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
219 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000220 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000221}
222
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000223void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000224 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000225 if (!Form)
226 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000227 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000228}
229
David Blaikie65a74662014-04-25 18:26:14 +0000230void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000231 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000232 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000233}
234
David Blaikie65a74662014-04-25 18:26:14 +0000235void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000236 StringRef String) {
Alexey Bataevd4dd7212018-08-01 19:38:20 +0000237 if (CUNode->isDebugDirectivesOnly())
238 return;
239
Alexey Bataev0d6aead2018-02-20 15:28:08 +0000240 if (DD->useInlineStrings()) {
241 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_string,
242 new (DIEValueAllocator)
243 DIEInlineString(String, DIEValueAllocator));
244 return;
245 }
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000246 dwarf::Form IxForm =
247 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp;
Pavel Labath2f088112018-08-07 09:54:52 +0000248
249 auto StringPoolEntry =
250 useSegmentedStringOffsetsTable() || IxForm == dwarf::DW_FORM_GNU_str_index
251 ? DU->getStringPool().getIndexedEntry(*Asm, String)
252 : DU->getStringPool().getEntry(*Asm, String);
253
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000254 // For DWARF v5 and beyond, use the smallest strx? form possible.
255 if (useSegmentedStringOffsetsTable()) {
256 IxForm = dwarf::DW_FORM_strx1;
257 unsigned Index = StringPoolEntry.getIndex();
258 if (Index > 0xffffff)
259 IxForm = dwarf::DW_FORM_strx4;
260 else if (Index > 0xffff)
261 IxForm = dwarf::DW_FORM_strx3;
262 else if (Index > 0xff)
263 IxForm = dwarf::DW_FORM_strx2;
264 }
265 Die.addValue(DIEValueAllocator, Attribute, IxForm,
266 DIEString(StringPoolEntry));
Devang Patel0e821f42011-04-12 23:21:44 +0000267}
268
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000269DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
270 dwarf::Attribute Attribute,
271 dwarf::Form Form,
272 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000273 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000274}
275
David Blaikie65a74662014-04-25 18:26:14 +0000276void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000277 addLabel(Die, (dwarf::Attribute)0, Form, Label);
278}
279
David Blaikie65a74662014-04-25 18:26:14 +0000280void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000281 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000282 if (DD->getDwarfVersion() >= 4)
283 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
284 else
285 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
286}
287
Paul Robinsonb271f312018-03-29 17:16:41 +0000288MD5::MD5Result *DwarfUnit::getMD5AsBytes(const DIFile *File) const {
Paul Robinson612e89d2018-01-12 19:17:50 +0000289 assert(File);
Paul Robinsonb271f312018-03-29 17:16:41 +0000290 if (DD->getDwarfVersion() < 5)
291 return nullptr;
Scott Linder71603842018-02-12 19:45:54 +0000292 Optional<DIFile::ChecksumInfo<StringRef>> Checksum = File->getChecksum();
293 if (!Checksum || Checksum->Kind != DIFile::CSK_MD5)
Paul Robinson612e89d2018-01-12 19:17:50 +0000294 return nullptr;
295
296 // Convert the string checksum to an MD5Result for the streamer.
297 // The verifier validates the checksum so we assume it's okay.
298 // An MD5 checksum is 16 bytes.
Scott Linder71603842018-02-12 19:45:54 +0000299 std::string ChecksumString = fromHex(Checksum->Value);
Paul Robinson612e89d2018-01-12 19:17:50 +0000300 void *CKMem = Asm->OutStreamer->getContext().allocate(16, 1);
Scott Linder71603842018-02-12 19:45:54 +0000301 memcpy(CKMem, ChecksumString.data(), 16);
Paul Robinson612e89d2018-01-12 19:17:50 +0000302 return reinterpret_cast<MD5::MD5Result *>(CKMem);
303}
304
305unsigned DwarfTypeUnit::getOrCreateSourceID(const DIFile *File) {
Paul Robinson7cb26ad2018-03-27 21:28:59 +0000306 if (!SplitLineTable)
307 return getCU().getOrCreateSourceID(File);
308 if (!UsedLineTable) {
309 UsedLineTable = true;
310 // This is a split type unit that needs a line table.
311 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
312 }
313 return SplitLineTable->getFile(File->getDirectory(), File->getFilename(),
314 getMD5AsBytes(File), File->getSource());
David Blaikie4a2f95f2014-03-18 01:17:26 +0000315}
316
David Blaikie65a74662014-04-25 18:26:14 +0000317void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000318 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000319 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
320 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000321 } else {
David Blaikief2443192013-10-21 17:28:37 +0000322 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000323 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000324 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000325 }
326}
327
David Blaikie65a74662014-04-25 18:26:14 +0000328void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000329 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000330 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000331 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000332}
333
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000334void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000335 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000336}
337
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000338void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000339 // Flag the type unit reference as a declaration so that if it contains
340 // members (implicit special members, static data member definitions, member
341 // declarations for definitions in this CU, etc) consumers don't get confused
342 // and think this is a full definition.
343 addFlag(Die, dwarf::DW_AT_declaration);
344
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000345 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000346 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000347}
348
David Blaikie65a74662014-04-25 18:26:14 +0000349void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000350 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000351 const DIEUnit *CU = Die.getUnit();
352 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
353 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000354 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000355 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000356 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000357 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000358 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000359 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000360 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000361}
362
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000363DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000364 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
365 if (N)
366 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000367 return Die;
368}
369
David Blaikie65a74662014-04-25 18:26:14 +0000370void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000371 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000372 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000373 Die.addValue(DIEValueAllocator, Attribute,
374 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000375}
376
David Blaikie65a74662014-04-25 18:26:14 +0000377void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000378 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000379 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000380 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000381 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000382}
383
Paul Robinson612e89d2018-01-12 19:17:50 +0000384void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, const DIFile *File) {
Devang Patel0e821f42011-04-12 23:21:44 +0000385 if (Line == 0)
386 return;
David Blaikie101613e2014-02-12 00:11:25 +0000387
Paul Robinson612e89d2018-01-12 19:17:50 +0000388 unsigned FileID = getOrCreateSourceID(File);
Devang Patel0e821f42011-04-12 23:21:44 +0000389 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000390 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
391 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000392}
393
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000394void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000395 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000396
Paul Robinson612e89d2018-01-12 19:17:50 +0000397 addSourceLine(Die, V->getLine(), V->getFile());
David Blaikie101613e2014-02-12 00:11:25 +0000398}
399
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000400void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000401 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000402
Paul Robinson612e89d2018-01-12 19:17:50 +0000403 addSourceLine(Die, G->getLine(), G->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000404}
405
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000406void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000407 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000408
Paul Robinson612e89d2018-01-12 19:17:50 +0000409 addSourceLine(Die, SP->getLine(), SP->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000410}
411
Hsiangkai Wang2532ac82018-08-17 15:22:04 +0000412void DwarfUnit::addSourceLine(DIE &Die, const DILabel *L) {
413 assert(L);
414
415 addSourceLine(Die, L->getLine(), L->getFile());
416}
417
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000418void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000419 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000420
Paul Robinson612e89d2018-01-12 19:17:50 +0000421 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000422}
423
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000424void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000425 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000426
Paul Robinson612e89d2018-01-12 19:17:50 +0000427 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000428}
429
Manman Renb3388602013-10-05 01:43:03 +0000430/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000431static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000432 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
433 // FIXME: Enums without a fixed underlying type have unknown signedness
434 // here, leading to incorrectly emitted constants.
435 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
436 return false;
437
438 // (Pieces of) aggregate types that get hacked apart by SROA may be
439 // represented by a constant. Encode them as unsigned bytes.
440 return true;
441 }
442
443 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000444 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000445 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000446 // null pointer constant emission.
447 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
448 // here, but accept them for now due to a bug in SROA producing bogus
449 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000450 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000451 T == dwarf::DW_TAG_ptr_to_member_type ||
452 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000453 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000454 return true;
455 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
456 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000457 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000458 DITypeRef Deriv = DTy->getBaseType();
459 assert(Deriv && "Expected valid base type");
460 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000461 }
Manman Renb3388602013-10-05 01:43:03 +0000462
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000463 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000464 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000465 assert((Encoding == dwarf::DW_ATE_unsigned ||
466 Encoding == dwarf::DW_ATE_unsigned_char ||
467 Encoding == dwarf::DW_ATE_signed ||
468 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000469 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
470 Encoding == dwarf::DW_ATE_boolean ||
471 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
472 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000473 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000474 return Encoding == dwarf::DW_ATE_unsigned ||
475 Encoding == dwarf::DW_ATE_unsigned_char ||
476 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
477 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000478}
479
David Blaikie65a74662014-04-25 18:26:14 +0000480void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000481 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000482 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000483 APFloat FPImm = MO.getFPImm()->getValueAPF();
484
485 // Get the raw data form of the floating point.
486 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000487 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000488
489 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000490 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000491 int Incr = (LittleEndian ? 1 : -1);
492 int Start = (LittleEndian ? 0 : NumBytes - 1);
493 int Stop = (LittleEndian ? NumBytes : -1);
494
495 // Output the constant to DWARF one byte at a time.
496 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000497 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000498
David Blaikief2443192013-10-21 17:28:37 +0000499 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000500}
501
David Blaikie65a74662014-04-25 18:26:14 +0000502void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000503 // Pass this down to addConstantValue as an unsigned bag of bits.
504 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000505}
506
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000507void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000508 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000509 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000510}
511
David Blaikiec05c8f42014-05-11 15:47:39 +0000512void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000513 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000514 assert(MO.isImm() && "Invalid machine operand!");
515
David Blaikie60cae1b2014-05-11 16:08:41 +0000516 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000517}
518
David Blaikie60cae1b2014-05-11 16:08:41 +0000519void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000520 // FIXME: This is a bit conservative/simple - it emits negative values always
521 // sign extended to 64 bits rather than minimizing the number of bytes.
522 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000523 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000524}
525
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000526void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000527 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
528}
529
David Blaikie65a74662014-04-25 18:26:14 +0000530void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000531 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000532 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000533 addConstantValue(Die, Unsigned,
534 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000535 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000536 }
537
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000538 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000539
540 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000541 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000542
543 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000544 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000545
546 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000547 for (int i = 0; i < NumBytes; i++) {
548 uint8_t c;
549 if (LittleEndian)
550 c = Ptr64[i / 8] >> (8 * (i & 7));
551 else
552 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000553 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000554 }
Devang Patel0e821f42011-04-12 23:21:44 +0000555
David Blaikief2443192013-10-21 17:28:37 +0000556 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000557}
558
Paul Robinson857b4432015-03-10 22:44:45 +0000559void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000560 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000561 addString(Die,
562 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
563 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000564 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000565}
566
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000567void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000568 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000569 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000570 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000571 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000572 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000573 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000574 }
Devang Patel0e821f42011-04-12 23:21:44 +0000575}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000576
Adrian Prantl1d12b882017-04-26 22:56:44 +0000577/// Add thrown types.
578void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
579 for (const auto *Ty : ThrownTypes) {
580 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
581 addType(TT, cast<DIType>(Ty));
582 }
583}
584
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000585DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
586 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000587 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000588 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000589 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000590 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000591 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000592 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000593 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000594 if (auto *M = dyn_cast<DIModule>(Context))
595 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000596 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000597}
598
David Blaikiea0e3c752017-02-03 00:44:18 +0000599DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000600 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000601 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000602
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000603 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000604 return TyDIE;
605
606 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000607 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000608
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000609 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000610
Adrian Prantl19aadf52017-03-13 22:56:14 +0000611 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000612 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000613}
614
David Blaikied51dea62015-07-01 18:07:16 +0000615DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000616 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000617 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000618
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000619 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000620
David Blaikieee11f222014-04-12 05:35:59 +0000621 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000622 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000623 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000624
Victor Leschuke1156c22016-10-31 19:09:38 +0000625 // DW_TAG_atomic_type is not supported in DWARF < 5
626 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
627 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
628
Manman Renf4c339e2013-10-29 22:49:29 +0000629 // Construct the context before querying for the existence of the DIE in case
630 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000631 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000632 DIE *ContextDIE = getOrCreateContextDIE(Context);
633 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000634
David Blaikie65a74662014-04-25 18:26:14 +0000635 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000636 return TyDIE;
637
Amjad Aboud72da9392016-04-30 01:44:07 +0000638 // Create new type.
639 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000640
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000641 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000642
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000643 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000644 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000645 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000646 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000647 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Pavel Labathf9adc202018-07-20 12:59:05 +0000648 if (DD->generateTypeUnits() && !Ty->isForwardDecl())
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000649 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000650 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000651 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000652 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000653 }
David Blaikie65a74662014-04-25 18:26:14 +0000654 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000655 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000656 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000657 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000658
David Blaikie65a74662014-04-25 18:26:14 +0000659 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000660}
661
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000662void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
663 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000664 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000665 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000666 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000667 // A runtime language of 0 actually means C/C++ and that any
668 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000669 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000670 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000671 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie66cf14d2018-08-16 21:29:55 +0000672 DD->addAccelType(*CUNode, Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000673
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000674 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
675 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000676 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000677 }
Devang Patel0e821f42011-04-12 23:21:44 +0000678}
679
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000680void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000681 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000682 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000683 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000684}
685
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000686std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000687 if (!Context)
688 return "";
689
690 // FIXME: Decide whether to implement this for non-C++ languages.
691 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
692 return "";
693
Eric Christopher8dba0d52013-10-19 01:04:42 +0000694 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000695 SmallVector<const DIScope *, 1> Parents;
696 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000697 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000698 if (Context->getScope())
699 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000700 else
701 // Structure, etc types will have a NULL context if they're at the top
702 // level.
703 break;
704 }
705
706 // Reverse iterate over our list to go from the outermost construct to the
707 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000708 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000709 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000710 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000711 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000712 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000713 CS += Name;
714 CS += "::";
715 }
716 }
717 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000718}
719
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000720void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000721 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000722 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000723 // Add name if not anonymous or intermediate type.
724 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000725 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000726
David Blaikiefac56122013-10-04 23:21:16 +0000727 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000728 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000729 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000730
David Blaikie65a74662014-04-25 18:26:14 +0000731 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000732 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000733
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000734 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000735 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Adrian Prantl55f42622018-08-14 19:35:34 +0000736
737 if (BTy->isBigEndian())
738 addUInt(Buffer, dwarf::DW_AT_endianity, None, dwarf::DW_END_big);
739 else if (BTy->isLittleEndian())
740 addUInt(Buffer, dwarf::DW_AT_endianity, None, dwarf::DW_END_little);
Devang Patel0e821f42011-04-12 23:21:44 +0000741}
742
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000743void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000744 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000745 StringRef Name = DTy->getName();
746 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000747 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000748
749 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000750 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000751 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000752 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000753
754 // Add name if not anonymous or intermediate type.
755 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000756 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000757
758 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000759 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000760 && Tag != dwarf::DW_TAG_ptr_to_member_type
761 && Tag != dwarf::DW_TAG_reference_type
762 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000763 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000764
David Blaikie5d3249b2013-01-07 05:51:15 +0000765 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000766 addDIEEntry(
767 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000768 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000769 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000770 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000771 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000772
773 // If DWARF address space value is other than None, add it for pointer and
774 // reference types as DW_AT_address_class.
775 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
776 Tag == dwarf::DW_TAG_reference_type))
777 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
778 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000779}
780
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000781void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000782 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000783 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000784 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000785 assert(i == N-1 && "Unspecified parameter must be the last argument");
786 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
787 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000788 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000789 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000790 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000791 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000792 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000793 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000794}
795
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000796void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000797 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000798 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000799 if (Elements.size())
800 if (auto RTy = resolve(Elements[0]))
801 addType(Buffer, RTy);
802
803 bool isPrototyped = true;
804 if (Elements.size() == 2 && !Elements[1])
805 isPrototyped = false;
806
807 constructSubprogramArguments(Buffer, Elements);
808
809 // Add prototype flag if we're dealing with a C language and the function has
810 // been prototyped.
811 uint16_t Language = getLanguage();
812 if (isPrototyped &&
813 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
814 Language == dwarf::DW_LANG_ObjC))
815 addFlag(Buffer, dwarf::DW_AT_prototyped);
816
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000817 // Add a DW_AT_calling_convention if this has an explicit convention.
818 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
819 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
820 CTy->getCC());
821
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000822 if (CTy->isLValueReference())
823 addFlag(Buffer, dwarf::DW_AT_reference);
824
825 if (CTy->isRValueReference())
826 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
827}
828
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000829void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000830 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000831 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000832
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000833 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000834 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000835
836 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000837 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000838 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000839 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000840 case dwarf::DW_TAG_enumeration_type:
841 constructEnumTypeDIE(Buffer, CTy);
842 break;
Adrian Prantl8c599212018-02-06 23:45:59 +0000843 case dwarf::DW_TAG_variant_part:
Devang Patel0e821f42011-04-12 23:21:44 +0000844 case dwarf::DW_TAG_structure_type:
845 case dwarf::DW_TAG_union_type:
846 case dwarf::DW_TAG_class_type: {
Adrian Prantl8c599212018-02-06 23:45:59 +0000847 // Emit the discriminator for a variant part.
848 DIDerivedType *Discriminator = nullptr;
849 if (Tag == dwarf::DW_TAG_variant_part) {
850 Discriminator = CTy->getDiscriminator();
851 if (Discriminator) {
852 // DWARF says:
853 // If the variant part has a discriminant, the discriminant is
854 // represented by a separate debugging information entry which is
855 // a child of the variant part entry.
856 DIE &DiscMember = constructMemberDIE(Buffer, Discriminator);
857 addDIEEntry(Buffer, dwarf::DW_AT_discr, DiscMember);
858 }
859 }
860
Devang Patel0e821f42011-04-12 23:21:44 +0000861 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000862 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000863 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000864 if (!Element)
865 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000866 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000867 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000868 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000869 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000870 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000871 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
872 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000873 getOrCreateStaticMemberDIE(DDTy);
Adrian Prantl8c599212018-02-06 23:45:59 +0000874 } else if (Tag == dwarf::DW_TAG_variant_part) {
875 // When emitting a variant part, wrap each member in
876 // DW_TAG_variant.
877 DIE &Variant = createAndAddDIE(dwarf::DW_TAG_variant, Buffer);
878 if (const ConstantInt *CI =
879 dyn_cast_or_null<ConstantInt>(DDTy->getDiscriminantValue())) {
880 if (isUnsignedDIType(DD, resolve(Discriminator->getBaseType())))
881 addUInt(Variant, dwarf::DW_AT_discr_value, None, CI->getZExtValue());
882 else
883 addSInt(Variant, dwarf::DW_AT_discr_value, None, CI->getSExtValue());
884 }
885 constructMemberDIE(Variant, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000886 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000887 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000888 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000889 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000890 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
891 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000892 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000893 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000894 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000895 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000896 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000897 if (!GetterName.empty())
898 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000899 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000900 if (!SetterName.empty())
901 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000902 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000903 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000904 PropertyAttributes);
Adrian Prantl8c599212018-02-06 23:45:59 +0000905 } else if (auto *Composite = dyn_cast<DICompositeType>(Element)) {
906 if (Composite->getTag() == dwarf::DW_TAG_variant_part) {
907 DIE &VariantPart = createAndAddDIE(Composite->getTag(), Buffer);
908 constructTypeDIE(VariantPart, Composite);
909 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000910 }
Devang Patel0e821f42011-04-12 23:21:44 +0000911 }
912
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000913 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000914 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000915
Adrian Prantlcf44e782014-12-19 00:01:20 +0000916 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
917 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +0000918 // Rust uses DW_AT_containing_type to link a vtable to the type
919 // for which it was created.
920 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +0000921 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000922 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000923
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000924 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000925 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000926
Eric Christopherda011dd2011-12-16 23:42:42 +0000927 // Add template parameters to a class, structure or union types.
928 // FIXME: The support isn't in the metadata for this yet.
929 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000930 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000931 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000932
Adrian Prantla29aac72018-01-05 01:13:37 +0000933 // Add the type's non-standard calling convention.
934 uint8_t CC = 0;
935 if (CTy->isTypePassByValue())
936 CC = dwarf::DW_CC_pass_by_value;
937 else if (CTy->isTypePassByReference())
938 CC = dwarf::DW_CC_pass_by_reference;
939 if (CC)
940 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
941 CC);
Devang Patel0e821f42011-04-12 23:21:44 +0000942 break;
943 }
944 default:
945 break;
946 }
947
948 // Add name if not anonymous or intermediate type.
949 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000950 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000951
Eric Christopher775cbd22012-05-22 18:45:18 +0000952 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000953 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000954 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000955 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000956 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000957 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000958 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000959 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000960 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000961 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000962
963 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000964 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000965 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000966
967 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000968 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000969 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000970
971 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000972 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000973 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +0000974 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +0000975 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +0000976
977 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +0000978 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +0000979 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
980 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +0000981 }
982}
983
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000984void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000985 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +0000986 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000987 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +0000988 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000989 if (TP->getType())
990 addType(ParamDIE, resolve(TP->getType()));
991 if (!TP->getName().empty())
992 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +0000993}
994
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000995void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000996 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000997 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +0000998
999 // Add the type if there is one, template template and template parameter
1000 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001001 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1002 addType(ParamDIE, resolve(VP->getType()));
1003 if (!VP->getName().empty())
1004 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1005 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001006 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001007 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001008 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001009 // We cannot describe the location of dllimport'd entities: the
1010 // computation of their address requires loads from the IAT.
1011 if (!GV->hasDLLImportStorageClass()) {
1012 // For declaration non-type template parameters (such as global values
1013 // and functions)
1014 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1015 addOpAddress(*Loc, Asm->getSymbol(GV));
1016 // Emit DW_OP_stack_value to use the address as the immediate value of
1017 // the parameter, rather than a pointer to it.
1018 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1019 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1020 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001021 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001022 assert(isa<MDString>(Val));
1023 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1024 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001025 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001026 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001027 }
1028 }
Devang Patel0e821f42011-04-12 23:21:44 +00001029}
1030
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001031DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001032 // Construct the context before querying for the existence of the DIE in case
1033 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001034 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001035
David Blaikie65a74662014-04-25 18:26:14 +00001036 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001037 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001038 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001039
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001040 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001041 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001042 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001043 else
1044 Name = "(anonymous namespace)";
David Blaikie66cf14d2018-08-16 21:29:55 +00001045 DD->addAccelNamespace(*CUNode, Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001046 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001047 if (NS->getExportSymbols())
1048 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001049 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001050}
1051
Adrian Prantl08a388b2015-06-30 02:13:04 +00001052DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1053 // Construct the context before querying for the existence of the DIE in case
1054 // such construction creates the DIE.
1055 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1056
1057 if (DIE *MDie = getDIE(M))
1058 return MDie;
1059 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1060
1061 if (!M->getName().empty()) {
1062 addString(MDie, dwarf::DW_AT_name, M->getName());
1063 addGlobalName(M->getName(), MDie, M->getScope());
1064 }
1065 if (!M->getConfigurationMacros().empty())
1066 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1067 M->getConfigurationMacros());
1068 if (!M->getIncludePath().empty())
1069 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1070 if (!M->getISysRoot().empty())
1071 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
Fangrui Songf78650a2018-07-30 19:41:25 +00001072
Adrian Prantl08a388b2015-06-30 02:13:04 +00001073 return &MDie;
1074}
1075
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001076DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001077 // Construct the context before querying for the existence of the DIE in case
1078 // such construction creates the DIE (as is the case for member function
1079 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001080 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001081 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001082
David Blaikie65a74662014-04-25 18:26:14 +00001083 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001084 return SPDie;
1085
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001086 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001087 if (!Minimal) {
1088 // Add subprogram definitions to the CU die directly.
1089 ContextDIE = &getUnitDie();
1090 // Build the decl now to ensure it precedes the definition.
1091 getOrCreateSubprogramDIE(SPDecl);
1092 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001093 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001094
1095 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001096 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001097
David Blaikie6cfa9e12014-06-05 00:25:26 +00001098 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001099 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001100 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001101 return &SPDie;
1102
David Blaikie7f916862014-05-27 18:37:38 +00001103 applySubprogramAttributes(SP, SPDie);
1104 return &SPDie;
1105}
1106
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001107bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001108 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001109 DIE *DeclDie = nullptr;
1110 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001111 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001112 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001113 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001114 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001115 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001116 // Look at the Decl's linkage name only if we emitted it.
1117 if (DD->useAllLinkageNames())
1118 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson612e89d2018-01-12 19:17:50 +00001119 unsigned DeclID = getOrCreateSourceID(SPDecl->getFile());
1120 unsigned DefID = getOrCreateSourceID(SP->getFile());
David Blaikiec9ad9192015-10-07 00:04:16 +00001121 if (DeclID != DefID)
1122 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1123
1124 if (SP->getLine() != SPDecl->getLine())
1125 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001126 }
Rafael Espindola79278362011-11-10 22:34:29 +00001127
Devang Patel89543712011-08-15 17:24:54 +00001128 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001129 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001130
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001131 // 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 +00001132 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001133 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1134 LinkageName == DeclLinkageName) &&
1135 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001136 if (DeclLinkageName.empty() &&
1137 // Always emit it for abstract subprograms.
1138 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001139 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001140
David Blaikie3a443c22014-11-04 22:12:25 +00001141 if (!DeclDie)
1142 return false;
1143
1144 // Refer to the function declaration where all the other attributes will be
1145 // found.
1146 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1147 return true;
1148}
1149
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001150void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001151 bool SkipSPAttributes) {
1152 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1153 // and its source location.
1154 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001155 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001156 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001157 if (applySubprogramDefinitionAttributes(SP, SPDie))
1158 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001159
Devang Patel89543712011-08-15 17:24:54 +00001160 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001161 if (!SP->getName().empty())
1162 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001163
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001164 if (!SkipSPSourceLocation)
1165 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001166
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001167 // Skip the rest of the attributes under -gmlt to save space.
1168 if (SkipSPAttributes)
1169 return;
Devang Patel89543712011-08-15 17:24:54 +00001170
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001171 // Add the prototype if we have a prototype and we have a C like
1172 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001173 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001174 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001175 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001176 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001177 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001178
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001179 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001180 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001181 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001182 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001183 CC = SPTy->getCC();
1184 }
1185
1186 // Add a DW_AT_calling_convention if this has an explicit convention.
1187 if (CC && CC != dwarf::DW_CC_normal)
1188 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001189
Eric Christopher691281b2013-10-21 17:48:51 +00001190 // Add a return type. If this is a type like a C/C++ void type we don't add a
1191 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001192 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001193 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001194 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001195
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001196 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001197 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001198 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001199 if (SP->getVirtualIndex() != -1u) {
1200 DIELoc *Block = getDIELoc();
1201 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1202 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1203 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1204 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001205 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001206 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001207 }
1208
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001209 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001210 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001211
Devang Patel89543712011-08-15 17:24:54 +00001212 // Add arguments. Do not add arguments for subprogram definition. They will
1213 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001214 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001215 }
1216
Adrian Prantl1d12b882017-04-26 22:56:44 +00001217 addThrownTypes(SPDie, SP->getThrownTypes());
1218
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001219 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001220 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001221
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001222 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001223 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001224
David Blaikiec53e18d2016-05-24 21:19:28 +00001225 if (DD->useAppleExtensionAttributes()) {
1226 if (SP->isOptimized())
1227 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001228
David Blaikiec53e18d2016-05-24 21:19:28 +00001229 if (unsigned isa = Asm->getISAEncoding())
1230 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1231 }
Devang Patel89543712011-08-15 17:24:54 +00001232
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001233 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001234 addFlag(SPDie, dwarf::DW_AT_reference);
1235
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001236 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001237 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1238
Adrian Prantlc19dee72016-08-17 16:02:43 +00001239 if (SP->isNoReturn())
1240 addFlag(SPDie, dwarf::DW_AT_noreturn);
1241
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001242 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001243 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1244 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001245 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001246 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1247 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001248 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001249 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1250 dwarf::DW_ACCESS_public);
1251
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001252 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001253 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001254
1255 if (SP->isMainSubprogram())
1256 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001257}
1258
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001259void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001260 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001261 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001262 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001263
Bill Wendling28fe9e72012-12-06 07:38:10 +00001264 // The LowerBound value defines the lower bounds which is typically zero for
1265 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1266 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001267 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001268 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001269 int64_t DefaultLowerBound = getDefaultLowerBound();
Sander de Smalenfdf40912018-01-24 09:56:07 +00001270 int64_t Count = -1;
1271 if (auto *CI = SR->getCount().dyn_cast<ConstantInt*>())
1272 Count = CI->getSExtValue();
Devang Patel0e821f42011-04-12 23:21:44 +00001273
Bill Wendling3495f9b2012-12-06 07:55:19 +00001274 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001275 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001276
Sander de Smalendc00bec2018-01-24 13:35:54 +00001277 if (auto *CV = SR->getCount().dyn_cast<DIVariable*>()) {
Sander de Smalenbf83be92018-02-17 11:06:53 +00001278 if (auto *CountVarDIE = getDIE(CV))
1279 addDIEEntry(DW_Subrange, dwarf::DW_AT_count, *CountVarDIE);
Sander de Smalendc00bec2018-01-24 13:35:54 +00001280 } else if (Count != -1)
David Blaikie32b0f362014-10-01 00:56:55 +00001281 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001282}
1283
David Blaikie871c2d92014-11-02 03:09:13 +00001284DIE *DwarfUnit::getIndexTyDie() {
1285 if (IndexTyDie)
1286 return IndexTyDie;
1287 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001288 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
Pavel Labathb7243ed2018-04-10 14:23:41 +00001289 StringRef Name = "__ARRAY_SIZE_TYPE__";
1290 addString(*IndexTyDie, dwarf::DW_AT_name, Name);
David Blaikie871c2d92014-11-02 03:09:13 +00001291 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1292 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1293 dwarf::DW_ATE_unsigned);
David Blaikie66cf14d2018-08-16 21:29:55 +00001294 DD->addAccelType(*CUNode, Name, *IndexTyDie, /*Flags*/ 0);
David Blaikie871c2d92014-11-02 03:09:13 +00001295 return IndexTyDie;
1296}
1297
Matt Davis4c77cb72018-03-08 22:22:26 +00001298/// Returns true if the vector's size differs from the sum of sizes of elements
1299/// the user specified. This can occur if the vector has been rounded up to
1300/// fit memory alignment constraints.
1301static bool hasVectorBeenPadded(const DICompositeType *CTy) {
1302 assert(CTy && CTy->isVector() && "Composite type is not a vector");
1303 const uint64_t ActualSize = CTy->getSizeInBits();
1304
1305 // Obtain the size of each element in the vector.
1306 DIType *BaseTy = CTy->getBaseType().resolve();
1307 assert(BaseTy && "Unknown vector element type.");
1308 const uint64_t ElementSize = BaseTy->getSizeInBits();
1309
1310 // Locate the number of elements in the vector.
1311 const DINodeArray Elements = CTy->getElements();
1312 assert(Elements.size() == 1 &&
1313 Elements[0]->getTag() == dwarf::DW_TAG_subrange_type &&
1314 "Invalid vector element array, expected one element of type subrange");
1315 const auto Subrange = cast<DISubrange>(Elements[0]);
1316 const auto CI = Subrange->getCount().get<ConstantInt *>();
1317 const int32_t NumVecElements = CI->getSExtValue();
1318
1319 // Ensure we found the element count and that the actual size is wide
1320 // enough to contain the requested size.
1321 assert(ActualSize >= (NumVecElements * ElementSize) && "Invalid vector size");
1322 return ActualSize != (NumVecElements * ElementSize);
1323}
1324
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001325void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Matt Davis4c77cb72018-03-08 22:22:26 +00001326 if (CTy->isVector()) {
David Blaikie65a74662014-04-25 18:26:14 +00001327 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Matt Davis4c77cb72018-03-08 22:22:26 +00001328 if (hasVectorBeenPadded(CTy))
1329 addUInt(Buffer, dwarf::DW_AT_byte_size, None,
1330 CTy->getSizeInBits() / CHAR_BIT);
1331 }
Devang Patel0e821f42011-04-12 23:21:44 +00001332
Eric Christopher0df08e22013-08-08 07:40:37 +00001333 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001334 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001335
1336 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001337 // FIXME: This type should be passed down from the front end
1338 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001339 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001340
1341 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001342 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001343 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001344 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001345 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001346 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001347 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001348 }
1349}
1350
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001351void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001352 const DIType *DTy = resolve(CTy->getBaseType());
1353 bool IsUnsigned = DTy && isUnsignedDIType(DD, DTy);
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001354 if (DTy) {
1355 if (DD->getDwarfVersion() >= 3)
1356 addType(Buffer, DTy);
1357 if (DD->getDwarfVersion() >= 4 && (CTy->getFlags() & DINode::FlagFixedEnum))
1358 addFlag(Buffer, dwarf::DW_AT_enum_class);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001359 }
1360
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001361 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001362
1363 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001364 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001365 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001366 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001367 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001368 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001369 addString(Enumerator, dwarf::DW_AT_name, Name);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001370 auto Value = static_cast<uint64_t>(Enum->getValue());
1371 addConstantValue(Enumerator, IsUnsigned, Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001372 }
1373 }
Devang Patel0e821f42011-04-12 23:21:44 +00001374}
1375
Eric Christophera5a79422013-12-09 23:32:48 +00001376void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001377 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001378 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001379 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001380 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001381 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001382 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001383 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001384 if (!NDie)
1385 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001386 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001387 }
1388}
1389
Adrian Prantl8c599212018-02-06 23:45:59 +00001390DIE &DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001391 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1392 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001393 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001394 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001395
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001396 if (DIType *Resolved = resolve(DT->getBaseType()))
1397 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001398
1399 addSourceLine(MemberDie, DT);
1400
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001401 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001402
1403 // For C++, virtual base classes are not at fixed offset. Use following
1404 // expression to extract appropriate offset from vtable.
1405 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1406
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001407 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001408 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1409 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1410 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001411 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001412 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1413 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1414 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001415
David Blaikief2443192013-10-21 17:28:37 +00001416 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001417 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001418 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001419 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001420 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001421 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001422
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001423 bool IsBitfield = FieldSize && Size != FieldSize;
1424 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001425 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001426 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001427 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001428 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001429
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001430 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001431 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1432 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1433 // which can't be done with bitfields. Thus we use FieldSize here.
1434 uint32_t AlignInBits = FieldSize;
1435 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001436 // The bits from the start of the storage unit to the start of the field.
1437 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001438 // The byte offset of the field's aligned storage unit inside the struct.
1439 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001440
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001441 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001442 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1443 uint64_t FieldOffset = (HiMark - FieldSize);
1444 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001445
Adrian Prantle5447572016-04-28 15:37:52 +00001446 // Maybe we need to work from the other end.
1447 if (Asm->getDataLayout().isLittleEndian())
1448 Offset = FieldSize - (Offset + Size);
1449
1450 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1451 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001452 } else {
1453 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001454 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001455 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001456 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001457 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001458 if (AlignInBytes)
1459 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1460 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001461 }
David Blaikie2ada1162014-01-03 00:48:38 +00001462
David Blaikie22b29a52014-01-03 01:30:05 +00001463 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001464 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001465 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1466 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001467 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001468 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001469 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1470 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001471 }
Devang Patel0e821f42011-04-12 23:21:44 +00001472
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001473 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001474 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001475 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001476 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001477 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001478 dwarf::DW_ACCESS_private);
1479 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001480 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001481 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001482 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001483 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001484 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001485 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001486
1487 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001488 if (DINode *PNode = DT->getObjCProperty())
1489 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001490 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1491 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001492
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001493 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001494 addFlag(MemberDie, dwarf::DW_AT_artificial);
Adrian Prantl8c599212018-02-06 23:45:59 +00001495
1496 return MemberDie;
Devang Patel0e821f42011-04-12 23:21:44 +00001497}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001498
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001499DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001500 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001501 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001502
Manman Renc6b63922013-10-14 20:33:57 +00001503 // Construct the context before querying for the existence of the DIE in case
1504 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001505 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001506 assert(dwarf::isType(ContextDIE->getTag()) &&
1507 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001508
David Blaikie65a74662014-04-25 18:26:14 +00001509 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001510 return StaticMemberDIE;
1511
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001512 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001513
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001514 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001515
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001516 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001517 addType(StaticMemberDIE, Ty);
1518 addSourceLine(StaticMemberDIE, DT);
1519 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1520 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1521
1522 // FIXME: We could omit private if the parent is a class_type, and
1523 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001524 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001525 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1526 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001527 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001528 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1529 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001530 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001531 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1532 dwarf::DW_ACCESS_public);
1533
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001534 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001535 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001536 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001537 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001538
Victor Leschuka37660c2016-10-26 21:32:29 +00001539 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001540 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1541 AlignInBytes);
1542
David Blaikie65a74662014-04-25 18:26:14 +00001543 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001544}
David Blaikie6b288cf2013-10-30 20:42:41 +00001545
Paul Robinsoncddd6042017-02-28 20:24:55 +00001546void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001547 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001548 Asm->OutStreamer->AddComment("Length of Unit");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001549 Asm->emitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001550
Lang Hames9ff69c82015-04-24 19:11:51 +00001551 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001552 unsigned Version = DD->getDwarfVersion();
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001553 Asm->emitInt16(Version);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001554
1555 // DWARF v5 reorders the address size and adds a unit type.
1556 if (Version >= 5) {
1557 Asm->OutStreamer->AddComment("DWARF Unit Type");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001558 Asm->emitInt8(UT);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001559 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001560 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001561 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001562
David Blaikie6896e192013-12-04 23:39:02 +00001563 // We share one abbreviations table across all units so it's always at the
1564 // start of the section. Use a relocatable offset where needed to ensure
1565 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001566 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001567 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001568 if (UseOffsets)
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001569 Asm->emitInt32(0);
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001570 else
1571 Asm->emitDwarfSymbolReference(
1572 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001573
Paul Robinsoncddd6042017-02-28 20:24:55 +00001574 if (Version <= 4) {
1575 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001576 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001577 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001578}
David Blaikiebc563272013-12-13 21:33:40 +00001579
Rafael Espindola063d7252015-03-10 16:58:10 +00001580void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Fangrui Songf78650a2018-07-30 19:41:25 +00001581 DwarfUnit::emitCommonHeader(UseOffsets,
Paul Robinsoncddd6042017-02-28 20:24:55 +00001582 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1583 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001584 Asm->OutStreamer->AddComment("Type Signature");
1585 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1586 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001587 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001588 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1589 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001590}
1591
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001592DIE::value_iterator
1593DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1594 const MCSymbol *Hi, const MCSymbol *Lo) {
1595 return Die.addValue(DIEValueAllocator, Attribute,
1596 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1597 : dwarf::DW_FORM_data4,
1598 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1599}
1600
1601DIE::value_iterator
1602DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1603 const MCSymbol *Label, const MCSymbol *Sec) {
1604 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1605 return addLabel(Die, Attribute,
1606 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1607 : dwarf::DW_FORM_data4,
1608 Label);
1609 return addSectionDelta(Die, Attribute, Label, Sec);
1610}
1611
David Blaikiecafd9622014-11-02 08:51:37 +00001612bool DwarfTypeUnit::isDwoUnit() const {
1613 // Since there are no skeleton type units, all type units are dwo type units
1614 // when split DWARF is being used.
1615 return DD->useSplitDwarf();
1616}
David Blaikiea0e3c752017-02-03 00:44:18 +00001617
1618void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1619 const DIScope *Context) {
1620 getCU().addGlobalNameForTypeUnit(Name, Context);
1621}
1622
1623void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1624 const DIScope *Context) {
1625 getCU().addGlobalTypeUnitType(Ty, Context);
1626}
David Blaikie85366ac2017-04-22 07:53:44 +00001627
1628const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1629 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1630 return nullptr;
1631 if (isDwoUnit())
1632 return nullptr;
1633 return getSection()->getBeginSymbol();
1634}
Wolfgang Pieb456b5552018-01-26 18:52:58 +00001635
1636void DwarfUnit::addStringOffsetsStart() {
1637 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1638 addSectionLabel(getUnitDie(), dwarf::DW_AT_str_offsets_base,
1639 DU->getStringOffsetsStartSym(),
1640 TLOF.getDwarfStrOffSection()->getBeginSymbol());
1641}
Wolfgang Piebfcf38102018-07-12 18:18:21 +00001642
1643void DwarfUnit::addRnglistsBase() {
1644 assert(DD->getDwarfVersion() >= 5 &&
1645 "DW_AT_rnglists_base requires DWARF version 5 or later");
1646 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1647 addSectionLabel(getUnitDie(), dwarf::DW_AT_rnglists_base,
1648 DU->getRnglistsTableBaseSym(),
1649 TLOF.getDwarfRnglistsSection()->getBeginSymbol());
1650}