blob: c1958a8ac3f9bf517e7de20695d1f01a84bccb59 [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"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "DwarfAccelTable.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"
Adrian Prantlb846acc2015-03-02 22:02:36 +000020#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000022#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/DataLayout.h"
24#include "llvm/IR/GlobalVariable.h"
25#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000026#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000027#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000028#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000029#include "llvm/MC/MCSection.h"
30#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000031#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000033#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000034#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000035#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000036#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000037
38using namespace llvm;
39
Chandler Carruth1b9dde02014-04-22 02:02:50 +000040#define DEBUG_TYPE "dwarfdebug"
41
Eric Christopher4287a492013-12-09 23:57:44 +000042static cl::opt<bool>
43GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
44 cl::desc("Generate DWARF4 type units."),
45 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000046
Adrian Prantlb846acc2015-03-02 22:02:36 +000047DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
48 DIELoc &DIE)
49 : DwarfExpression(*AP.MF->getSubtarget().getRegisterInfo(),
50 AP.getDwarfDebug()->getDwarfVersion()),
51 AP(AP), DU(DU), DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000052
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000053void DIEDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
54 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
55}
Adrian Prantl51233682015-03-10 19:23:37 +000056void DIEDwarfExpression::EmitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000057 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
58}
Adrian Prantl51233682015-03-10 19:23:37 +000059void DIEDwarfExpression::EmitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000060 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
61}
Adrian Prantl8995f5c2015-01-13 23:10:43 +000062bool DIEDwarfExpression::isFrameRegister(unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000063 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000064}
65
66
David Blaikie2a80e442013-12-02 22:09:48 +000067/// Unit - Unit constructor.
David Blaikiebd579052014-04-28 21:14:27 +000068DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag, DICompileUnit Node,
David Blaikie92a2f8a2014-04-28 21:04:29 +000069 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000070 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
David Blaikie7cbf58a2014-11-01 18:18:07 +000071 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000072 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
73 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000074 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
75}
76
David Blaikiebd579052014-04-28 21:14:27 +000077DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000078 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000079 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000080 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
81 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000082 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000083 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000084}
David Blaikie409dd9c2013-11-19 23:08:21 +000085
David Blaikie319a05f2013-12-02 19:33:10 +000086/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000087DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000088 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
89 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000090 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
91 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000092}
93
94/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
95/// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +000096DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000097 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
98 return Value;
99}
100
Bill Wendling3495f9b2012-12-06 07:55:19 +0000101/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +0000102/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +0000103int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +0000104 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 default:
106 break;
107
108 case dwarf::DW_LANG_C89:
109 case dwarf::DW_LANG_C99:
110 case dwarf::DW_LANG_C:
111 case dwarf::DW_LANG_C_plus_plus:
112 case dwarf::DW_LANG_ObjC:
113 case dwarf::DW_LANG_ObjC_plus_plus:
114 return 0;
115
116 case dwarf::DW_LANG_Fortran77:
117 case dwarf::DW_LANG_Fortran90:
118 case dwarf::DW_LANG_Fortran95:
119 return 1;
120
121 // The languages below have valid values only if the DWARF version >= 4.
122 case dwarf::DW_LANG_Java:
123 case dwarf::DW_LANG_Python:
124 case dwarf::DW_LANG_UPC:
125 case dwarf::DW_LANG_D:
126 if (dwarf::DWARF_VERSION >= 4)
127 return 0;
128 break;
129
130 case dwarf::DW_LANG_Ada83:
131 case dwarf::DW_LANG_Ada95:
132 case dwarf::DW_LANG_Cobol74:
133 case dwarf::DW_LANG_Cobol85:
134 case dwarf::DW_LANG_Modula2:
135 case dwarf::DW_LANG_Pascal83:
136 case dwarf::DW_LANG_PLI:
137 if (dwarf::DWARF_VERSION >= 4)
138 return 1;
139 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000140
141 // The languages below have valid values only if the DWARF version >= 5.
142 case dwarf::DW_LANG_OpenCL:
143 case dwarf::DW_LANG_Go:
144 case dwarf::DW_LANG_Haskell:
145 case dwarf::DW_LANG_C_plus_plus_03:
146 case dwarf::DW_LANG_C_plus_plus_11:
147 case dwarf::DW_LANG_OCaml:
148 case dwarf::DW_LANG_Rust:
149 case dwarf::DW_LANG_C11:
150 case dwarf::DW_LANG_Swift:
151 case dwarf::DW_LANG_Dylan:
152 case dwarf::DW_LANG_C_plus_plus_14:
153 if (dwarf::DWARF_VERSION >= 5)
154 return 0;
155 break;
156
157 case dwarf::DW_LANG_Modula3:
158 case dwarf::DW_LANG_Julia:
159 case dwarf::DW_LANG_Fortran03:
160 case dwarf::DW_LANG_Fortran08:
161 if (dwarf::DWARF_VERSION >= 5)
162 return 1;
163 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000164 }
165
166 return -1;
167}
168
Manman Ren4dbdc902013-10-31 17:54:35 +0000169/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000170static bool isShareableAcrossCUs(const DebugNode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000171 // When the MDNode can be part of the type system, the DIE can be shared
172 // across CUs.
173 // Combining type units and cross-CU DIE sharing is lower value (since
174 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
175 // level already) but may be implementable for some value in projects
176 // building multiple independent libraries with LTO and then linking those
177 // together.
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000178 return (isa<MDType>(D) ||
179 (isa<MDSubprogram>(D) && !cast<MDSubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000180 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000181}
182
183/// getDIE - Returns the debug information entry map slot for the
184/// specified debug variable. We delegate the request to DwarfDebug
185/// when the DIE for this MDNode can be shared across CUs. The mappings
186/// will be kept in DwarfDebug for shareable DIEs.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000187DIE *DwarfUnit::getDIE(const DebugNode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000188 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000189 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000190 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000191}
192
193/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
194/// when the DIE for this MDNode can be shared across CUs. The mappings
195/// will be kept in DwarfDebug for shareable DIEs.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000196void DwarfUnit::insertDIE(const DebugNode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000197 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000198 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000199 return;
200 }
David Blaikie2ad00162013-11-15 23:09:13 +0000201 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000202}
203
Eric Christopherbb69a272012-08-24 01:14:27 +0000204/// addFlag - Add a flag that is true.
David Blaikie65a74662014-04-25 18:26:14 +0000205void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000206 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000207 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000208 else
David Blaikie65a74662014-04-25 18:26:14 +0000209 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000210}
211
Devang Patel0e821f42011-04-12 23:21:44 +0000212/// addUInt - Add an unsigned integer attribute data and value.
213///
David Blaikie65a74662014-04-25 18:26:14 +0000214void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000215 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000216 if (!Form)
217 Form = DIEInteger::BestForm(false, Integer);
218 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
219 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000220 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000221}
222
David Blaikie65a74662014-04-25 18:26:14 +0000223void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000224 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000225}
226
227/// addSInt - Add an signed integer attribute data and value.
228///
David Blaikie65a74662014-04-25 18:26:14 +0000229void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000230 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000231 if (!Form)
232 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000233 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000234 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000235}
236
David Blaikie65a74662014-04-25 18:26:14 +0000237void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000238 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000239 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000240}
241
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000242/// addString - Add a string attribute data and value. We always emit a
243/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000244/// more predictable sizes. In the case of split dwarf we emit an index
245/// into another table which gets us the static offset into the string
246/// table.
David Blaikie65a74662014-04-25 18:26:14 +0000247void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000248 StringRef String) {
David Blaikiecafd9622014-11-02 08:51:37 +0000249 if (!isDwoUnit())
Eric Christopher05893f42013-12-30 18:32:31 +0000250 return addLocalString(Die, Attribute, String);
251
David Blaikiecafd9622014-11-02 08:51:37 +0000252 addIndexedString(Die, Attribute, String);
253}
254
255void DwarfUnit::addIndexedString(DIE &Die, dwarf::Attribute Attribute,
256 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000257 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000258 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000259 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000260 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000261}
262
263/// addLocalString - Add a string attribute data and value. This is guaranteed
264/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000265void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000266 StringRef String) {
Rafael Espindola063d7252015-03-10 16:58:10 +0000267 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
David Blaikiedaefdbf2014-04-25 21:34:35 +0000268 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000269 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000270 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000271 Value = new (DIEValueAllocator) DIELabel(Symb);
David Blaikie6741bb02014-09-11 21:12:48 +0000272 else
Rafael Espindola063d7252015-03-10 16:58:10 +0000273 Value = new (DIEValueAllocator)
274 DIEDelta(Symb, TLOF.getDwarfStrSection()->getBeginSymbol());
Eric Christopher05893f42013-12-30 18:32:31 +0000275 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000276 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000277}
278
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000279/// addLabel - Add a Dwarf label attribute data and value.
280///
David Blaikie65a74662014-04-25 18:26:14 +0000281void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000282 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000283 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000284 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000285}
286
David Blaikie65a74662014-04-25 18:26:14 +0000287void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000288 addLabel(Die, (dwarf::Attribute)0, Form, Label);
289}
290
Eric Christopher33ff6972013-11-21 23:46:41 +0000291/// addSectionOffset - Add an offset into a section attribute data and value.
292///
David Blaikie65a74662014-04-25 18:26:14 +0000293void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000294 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000295 if (DD->getDwarfVersion() >= 4)
296 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
297 else
298 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
299}
300
David Blaikie4a2f95f2014-03-18 01:17:26 +0000301unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
302 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
303 : getCU().getOrCreateSourceID(FileName, DirName);
304}
305
Eric Christophere9ec2452013-01-18 22:11:33 +0000306/// addOpAddress - Add a dwarf op address data and value using the
307/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
308///
David Blaikie65a74662014-04-25 18:26:14 +0000309void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000310 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000311 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
312 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000313 } else {
David Blaikief2443192013-10-21 17:28:37 +0000314 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000315 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000316 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000317 }
318}
319
David Blaikie65a74662014-04-25 18:26:14 +0000320void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000321 const MCSymbol *Hi, const MCSymbol *Lo) {
322 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000323 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000324}
325
Devang Patel0e821f42011-04-12 23:21:44 +0000326/// addDIEEntry - Add a DIE attribute data and value.
327///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000328void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000329 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
330}
331
David Blaikie65a74662014-04-25 18:26:14 +0000332void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000333 // Flag the type unit reference as a declaration so that if it contains
334 // members (implicit special members, static data member definitions, member
335 // declarations for definitions in this CU, etc) consumers don't get confused
336 // and think this is a full definition.
337 addFlag(Die, dwarf::DW_AT_declaration);
338
David Blaikie65a74662014-04-25 18:26:14 +0000339 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
340 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000341}
342
David Blaikie65a74662014-04-25 18:26:14 +0000343void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000344 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000345 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000346 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000347 if (!DieCU)
348 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000349 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000350 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000351 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000352 Die.addValue(Attribute,
353 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
354 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000355}
356
Manman Renb987e512013-10-29 00:53:03 +0000357/// Create a DIE with the given Tag, add the DIE to its parent, and
358/// call insertDIE if MD is not null.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000359DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DebugNode *N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000360 assert(Tag != dwarf::DW_TAG_auto_variable &&
361 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000362 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000363 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000364 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000365 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000366 return Die;
367}
368
Devang Patel0e821f42011-04-12 23:21:44 +0000369/// addBlock - Add block data.
370///
David Blaikie65a74662014-04-25 18:26:14 +0000371void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000372 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000373 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000374 Die.addValue(Attribute, 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.
David Blaikie65a74662014-04-25 18:26:14 +0000381 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000382}
383
384/// addSourceLine - Add location information to specified debug information
385/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000386void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000387 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000388 if (Line == 0)
389 return;
David Blaikie101613e2014-02-12 00:11:25 +0000390
David Blaikie4a2f95f2014-03-18 01:17:26 +0000391 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000392 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000393 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
394 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000395}
396
397/// addSourceLine - Add location information to specified debug information
398/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000399void DwarfUnit::addSourceLine(DIE &Die, DIVariable V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000400 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000401
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000402 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
403 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000404}
405
406/// addSourceLine - Add location information to specified debug information
407/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000408void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000409 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000410
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000411 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000412}
413
414/// addSourceLine - Add location information to specified debug information
415/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000416void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000417 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000418
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000419 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000420}
421
422/// addSourceLine - Add location information to specified debug information
423/// entry.
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000424void DwarfUnit::addSourceLine(DIE &Die, const MDType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000425 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000426
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000427 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000428}
429
430/// addSourceLine - Add location information to specified debug information
431/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000432void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000433 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000434
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000435 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000436}
437
438/// addSourceLine - Add location information to specified debug information
439/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000440void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000441 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000442}
443
Devang Patelba5fbf12011-04-26 19:06:18 +0000444/// addRegisterOp - Add register operand.
Adrian Prantlab255fc2014-12-05 01:02:46 +0000445bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000446 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000447 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000448 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000449 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000450}
451
452/// addRegisterOffset - Add register offset.
Adrian Prantlab255fc2014-12-05 01:02:46 +0000453bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000454 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000455 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000456 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000457}
458
Devang Patel0e821f42011-04-12 23:21:44 +0000459/* Byref variables, in Blocks, are declared by the programmer as "SomeType
460 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
461 gives the variable VarName either the struct, or a pointer to the struct, as
462 its type. This is necessary for various behind-the-scenes things the
463 compiler needs to do with by-reference variables in Blocks.
464
465 However, as far as the original *programmer* is concerned, the variable
466 should still have type 'SomeType', as originally declared.
467
468 The function getBlockByrefType dives into the __Block_byref_x_VarName
469 struct to find the original type of the variable, which is then assigned to
470 the variable's Debug Information Entry as its real type. So far, so good.
471 However now the debugger will expect the variable VarName to have the type
472 SomeType. So we need the location attribute for the variable to be an
473 expression that explains to the debugger how to navigate through the
474 pointers and struct to find the actual variable of type SomeType.
475
476 The following function does just that. We start by getting
477 the "normal" location for the variable. This will be the location
478 of either the struct __Block_byref_x_VarName or the pointer to the
479 struct __Block_byref_x_VarName.
480
481 The struct will look something like:
482
483 struct __Block_byref_x_VarName {
484 ... <various fields>
485 struct __Block_byref_x_VarName *forwarding;
486 ... <various other fields>
487 SomeType VarName;
488 ... <maybe more fields>
489 };
490
491 If we are given the struct directly (as our starting point) we
492 need to tell the debugger to:
493
494 1). Add the offset of the forwarding field.
495
496 2). Follow that pointer to get the real __Block_byref_x_VarName
497 struct to use (the real one may have been copied onto the heap).
498
499 3). Add the offset for the field VarName, to find the actual variable.
500
501 If we started with a pointer to the struct, then we need to
502 dereference that pointer first, before the other steps.
503 Translating this into DWARF ops, we will need to append the following
504 to the current location description for the variable:
505
506 DW_OP_deref -- optional, if we start with a pointer
507 DW_OP_plus_uconst <forward_fld_offset>
508 DW_OP_deref
509 DW_OP_plus_uconst <varName_fld_offset>
510
511 That is what this function does. */
512
513/// addBlockByrefAddress - Start with the address based on the location
514/// provided, and generate the DWARF information necessary to find the
515/// actual Block variable (navigating the Block struct) based on the
516/// starting location. Add the DWARF information to the die. For
517/// more information, read large comment just above here.
518///
David Blaikie65a74662014-04-25 18:26:14 +0000519void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000520 dwarf::Attribute Attribute,
521 const MachineLocation &Location) {
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000522 const MDType *Ty = DV.getType();
523 const MDType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000524 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000525 bool isPointer = false;
526
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000527 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000528
529 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000530 DIDerivedType DTy = cast<MDDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000531 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000532 isPointer = true;
533 }
534
Devang Patel0e821f42011-04-12 23:21:44 +0000535 // Find the __forwarding field and the variable field in the __Block_byref
536 // struct.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000537 DIArray Fields = cast<MDCompositeTypeBase>(TmpTy)->getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000538 DIDerivedType varField;
539 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000540
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000541 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
542 DIDerivedType DT = cast<MDDerivedTypeBase>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000543 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000544 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000545 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000546 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000547 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000548 }
549
550 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000551 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
552 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000553
554 // Decode the original location, and use that as the start of the byref
555 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000556 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000557
Adrian Prantlab255fc2014-12-05 01:02:46 +0000558 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000559 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000560 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000561 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000562 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
563
564 if (!validReg)
565 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000566
567 // If we started with a pointer to the __Block_byref... struct, then
568 // the first thing we need to do is dereference the pointer (DW_OP_deref).
569 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000570 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000571
572 // Next add the offset for the '__forwarding' field:
573 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
574 // adding the offset if it's 0.
575 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000576 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
577 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000578 }
579
580 // Now dereference the __forwarding field to get to the real __Block_byref
581 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000582 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000583
584 // Now that we've got the real __Block_byref... struct, add the offset
585 // for the variable's field to get to the location of the actual variable:
586 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
587 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000588 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
589 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000590 }
591
592 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000593 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000594}
595
Manman Renb3388602013-10-05 01:43:03 +0000596/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000597static bool isUnsignedDIType(DwarfDebug *DD, const MDType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000598 if (DIDerivedType DTy = dyn_cast<MDDerivedTypeBase>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000599 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000600 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000601 // null pointer constant emission.
Adrian Prantld88af272015-01-07 21:35:13 +0000602 // (Pieces of) aggregate types that get hacked apart by SROA may also be
603 // represented by a constant. Encode them as unsigned bytes.
David Blaikie93ef46b2014-05-20 21:40:13 +0000604 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
605 // here, but accept them for now due to a bug in SROA producing bogus
606 // dbg.values.
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000607 if (T == dwarf::DW_TAG_array_type ||
608 T == dwarf::DW_TAG_class_type ||
609 T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000610 T == dwarf::DW_TAG_ptr_to_member_type ||
611 T == dwarf::DW_TAG_reference_type ||
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000612 T == dwarf::DW_TAG_rvalue_reference_type ||
Adrian Prantl577feba2015-01-23 18:01:39 +0000613 T == dwarf::DW_TAG_structure_type ||
614 T == dwarf::DW_TAG_union_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000615 return true;
616 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
617 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000618 T == dwarf::DW_TAG_restrict_type ||
619 T == dwarf::DW_TAG_enumeration_type);
Duncan P. N. Exon Smith848af382015-04-20 18:20:03 +0000620 if (MDTypeRef Deriv = DTy->getBaseType())
David Blaikie2af1c802014-05-20 18:21:51 +0000621 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000622 // FIXME: Enums without a fixed underlying type have unknown signedness
623 // here, leading to incorrectly emitted constants.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000624 assert(DTy->getTag() == dwarf::DW_TAG_enumeration_type);
David Blaikiee0f14742014-05-11 17:04:05 +0000625 return false;
626 }
Manman Renb3388602013-10-05 01:43:03 +0000627
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000628 DIBasicType BTy = cast<MDBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000629 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000630 assert((Encoding == dwarf::DW_ATE_unsigned ||
631 Encoding == dwarf::DW_ATE_unsigned_char ||
632 Encoding == dwarf::DW_ATE_signed ||
633 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000634 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
635 Encoding == dwarf::DW_ATE_boolean ||
636 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
637 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000638 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000639 return Encoding == dwarf::DW_ATE_unsigned ||
640 Encoding == dwarf::DW_ATE_unsigned_char ||
641 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
642 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000643}
644
645/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000646static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000647 unsigned Tag = Ty->getTag();
Manman Renb3388602013-10-05 01:43:03 +0000648
649 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
650 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
651 Tag != dwarf::DW_TAG_restrict_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000652 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000653
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000654 auto *BaseType = DD->resolve(Ty->getBaseType());
Manman Renb3388602013-10-05 01:43:03 +0000655
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000656 assert(BaseType && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000657
658 // If this is a derived type, go ahead and get the base type, unless it's a
659 // reference then it's just the size of the field. Pointer types have no need
660 // of this since they're a different type of qualification on the type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000661 if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
662 BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
663 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000664
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000665 if (auto *DT = dyn_cast<MDDerivedTypeBase>(BaseType))
666 return getBaseTypeSize(DD, DT);
Manman Renb3388602013-10-05 01:43:03 +0000667
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000668 return BaseType->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000669}
670
Devang Patel0e821f42011-04-12 23:21:44 +0000671/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000672void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000673 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000674 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
675 APFloat FPImm = MO.getFPImm()->getValueAPF();
676
677 // Get the raw data form of the floating point.
678 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000679 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000680
681 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000682 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000683 int Incr = (LittleEndian ? 1 : -1);
684 int Start = (LittleEndian ? 0 : NumBytes - 1);
685 int Stop = (LittleEndian ? NumBytes : -1);
686
687 // Output the constant to DWARF one byte at a time.
688 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000689 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000690
David Blaikief2443192013-10-21 17:28:37 +0000691 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000692}
693
David Blaikiea39a76e2013-01-20 01:18:01 +0000694/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000695void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000696 // Pass this down to addConstantValue as an unsigned bag of bits.
697 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000698}
699
Devang Patel0e821f42011-04-12 23:21:44 +0000700/// addConstantValue - Add constant value entry in variable DIE.
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000701void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
702 const MDType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000703 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000704}
705
David Blaikiec05c8f42014-05-11 15:47:39 +0000706/// addConstantValue - Add constant value entry in variable DIE.
707void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000708 const MDType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000709 assert(MO.isImm() && "Invalid machine operand!");
710
David Blaikie60cae1b2014-05-11 16:08:41 +0000711 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000712}
713
David Blaikie60cae1b2014-05-11 16:08:41 +0000714void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000715 // FIXME: This is a bit conservative/simple - it emits negative values always
716 // sign extended to 64 bits rather than minimizing the number of bytes.
717 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000718 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000719}
720
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000721void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const MDType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000722 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
723}
724
David Blaikiea39a76e2013-01-20 01:18:01 +0000725// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000726void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000727 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000728 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000729 addConstantValue(Die, Unsigned,
730 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000731 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000732 }
733
734 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
735
736 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000737 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000738
739 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000740 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000741
742 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000743 for (int i = 0; i < NumBytes; i++) {
744 uint8_t c;
745 if (LittleEndian)
746 c = Ptr64[i / 8] >> (8 * (i & 7));
747 else
748 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000749 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000750 }
Devang Patel0e821f42011-04-12 23:21:44 +0000751
David Blaikief2443192013-10-21 17:28:37 +0000752 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000753}
754
Paul Robinson857b4432015-03-10 22:44:45 +0000755// Add a linkage name to the DIE.
756void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
757 if (!LinkageName.empty())
758 addString(Die,
759 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
760 : dwarf::DW_AT_MIPS_linkage_name,
761 GlobalValue::getRealLinkageName(LinkageName));
762}
763
Eric Christopher25e35092013-04-22 07:47:40 +0000764/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000765void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000766 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000767 for (const auto *Element : TParams) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000768 if (auto *TTP = dyn_cast<MDTemplateTypeParameter>(Element))
769 constructTemplateTypeParameterDIE(Buffer, TTP);
770 else if (auto *TVP = dyn_cast<MDTemplateValueParameter>(Element))
771 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000772 }
Devang Patel0e821f42011-04-12 23:21:44 +0000773}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000774
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000775/// getOrCreateContextDIE - Get context owner's DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000776DIE *DwarfUnit::getOrCreateContextDIE(const MDScope *Context) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000777 if (!Context || isa<MDFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000778 return &getUnitDie();
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000779 if (auto *T = dyn_cast<MDType>(Context))
780 return getOrCreateTypeDIE(T);
781 if (auto *NS = dyn_cast<MDNamespace>(Context))
782 return getOrCreateNameSpace(NS);
783 if (auto *SP = dyn_cast<MDSubprogram>(Context))
784 return getOrCreateSubprogramDIE(SP);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000785 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000786}
787
Eric Christophera5a79422013-12-09 23:32:48 +0000788DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000789 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000790 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000791
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000792 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000793 return TyDIE;
794
795 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000796 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000797
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000798 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000799
David Blaikie9d861be2013-11-26 00:15:27 +0000800 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000801 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000802}
803
Devang Patel0e821f42011-04-12 23:21:44 +0000804/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000805/// given type.
Eric Christophera5a79422013-12-09 23:32:48 +0000806DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000807 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000808 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000809
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000810 auto *Ty = cast<MDType>(TyNode);
811 assert(Ty == resolve(Ty->getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000812 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000813
David Blaikieee11f222014-04-12 05:35:59 +0000814 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000815 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000816 return getOrCreateTypeDIE(
Duncan P. N. Exon Smith848af382015-04-20 18:20:03 +0000817 resolve(cast<MDDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000818
Manman Renf4c339e2013-10-29 22:49:29 +0000819 // Construct the context before querying for the existence of the DIE in case
820 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000821 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000822 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000823 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000824
David Blaikie65a74662014-04-25 18:26:14 +0000825 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000826 return TyDIE;
827
828 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000829 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000830
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000831 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000832
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000833 if (auto *BT = dyn_cast<MDBasicType>(Ty))
834 constructTypeDIE(TyDIE, BT);
835 else if (DICompositeType CTy = dyn_cast<MDCompositeTypeBase>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000836 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
837 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000838 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000839 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000840 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000841 }
David Blaikie65a74662014-04-25 18:26:14 +0000842 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000843 } else {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000844 constructTypeDIE(TyDIE, cast<MDDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000845 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000846
David Blaikie65a74662014-04-25 18:26:14 +0000847 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000848}
849
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000850void DwarfUnit::updateAcceleratorTables(const MDScope *Context,
851 const MDType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000852 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eric Christopher21bde872012-01-06 04:35:23 +0000853 bool IsImplementation = 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000854 if (auto *CT = dyn_cast<MDCompositeTypeBase>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000855 // A runtime language of 0 actually means C/C++ and that any
856 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000857 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000858 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000859 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000860 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000861
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000862 if (!Context || isa<MDCompileUnit>(Context) || isa<MDFile>(Context) ||
863 isa<MDNamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000864 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000865 }
Devang Patel0e821f42011-04-12 23:21:44 +0000866}
867
868/// addType - Add a new type attribute to the specified entity.
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000869void DwarfUnit::addType(DIE &Entity, const MDType *Ty,
870 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000871 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000872
873 // Check for pre-existence.
874 DIEEntry *Entry = getDIEEntry(Ty);
875 // If it exists then use the existing value.
876 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000877 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000878 return;
879 }
880
881 // Construct type.
882 DIE *Buffer = getOrCreateTypeDIE(Ty);
883
884 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000885 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +0000886 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +0000887 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +0000888}
889
Eric Christopher2c8b7902013-10-17 02:06:06 +0000890/// getParentContextString - Walks the metadata parent chain in a language
891/// specific manner (using the compile unit language) and returns
892/// it as a string. This is done at the metadata level because DIEs may
893/// not currently have been added to the parent context and walking the
894/// DIEs looking for names is more expensive than walking the metadata.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000895std::string DwarfUnit::getParentContextString(const MDScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000896 if (!Context)
897 return "";
898
899 // FIXME: Decide whether to implement this for non-C++ languages.
900 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
901 return "";
902
Eric Christopher8dba0d52013-10-19 01:04:42 +0000903 std::string CS;
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000904 SmallVector<const MDScope *, 1> Parents;
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000905 while (!isa<MDCompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000906 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000907 if (Context->getScope())
908 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000909 else
910 // Structure, etc types will have a NULL context if they're at the top
911 // level.
912 break;
913 }
914
915 // Reverse iterate over our list to go from the outermost construct to the
916 // innermost.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000917 for (auto I = Parents.rbegin(), E = Parents.rend(); I != E; ++I) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000918 const MDScope *Ctx = *I;
919 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000920 if (Name.empty() && isa<MDNamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000921 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000922 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000923 CS += Name;
924 CS += "::";
925 }
926 }
927 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000928}
929
930/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +0000931void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000932 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000933 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000934 // Add name if not anonymous or intermediate type.
935 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000936 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000937
David Blaikiefac56122013-10-04 23:21:16 +0000938 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000939 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000940 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000941
David Blaikie65a74662014-04-25 18:26:14 +0000942 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000943 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000944
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000945 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000946 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000947}
948
949/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +0000950void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000951 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000952 StringRef Name = DTy->getName();
953 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000954 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000955
956 // Map to main type, void will not have a type.
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000957 const MDType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000958 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000959 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000960
961 // Add name if not anonymous or intermediate type.
962 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000963 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000964
965 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000966 if (Size && Tag != dwarf::DW_TAG_pointer_type
967 && Tag != dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000968 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000969
David Blaikie5d3249b2013-01-07 05:51:15 +0000970 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000971 addDIEEntry(
972 Buffer, dwarf::DW_AT_containing_type,
973 *getOrCreateTypeDIE(resolve(cast<MDDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000974 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000975 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000976 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000977}
978
Adrian Prantl3f49c892014-02-25 19:57:42 +0000979/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +0000980void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000981 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000982 const MDType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000983 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000984 assert(i == N-1 && "Unspecified parameter must be the last argument");
985 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
986 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000987 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000988 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000989 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000990 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000991 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000992 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000993}
994
Devang Patel0e821f42011-04-12 23:21:44 +0000995/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +0000996void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000997 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000998 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000999
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001000 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001001 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001002
1003 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001004 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001005 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001006 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001007 case dwarf::DW_TAG_enumeration_type:
1008 constructEnumTypeDIE(Buffer, CTy);
1009 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001010 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001011 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001012 auto Elements = cast<MDSubroutineType>(CTy)->getTypeArray();
1013 if (Elements.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001014 if (auto RTy = resolve(Elements[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001015 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001016
1017 bool isPrototyped = true;
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001018 if (Elements.size() == 2 && !Elements[1])
Adrian Prantl3f49c892014-02-25 19:57:42 +00001019 isPrototyped = false;
1020
1021 constructSubprogramArguments(Buffer, Elements);
1022
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001023 // Add prototype flag if we're dealing with a C language and the
1024 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001025 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001026 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001027 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001028 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001029 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001030
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001031 if (CTy->isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001032 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001033
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001034 if (CTy->isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001035 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001036 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001037 case dwarf::DW_TAG_structure_type:
1038 case dwarf::DW_TAG_union_type:
1039 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001040 // Add elements to structure type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001041 DIArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001042 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001043 if (!Element)
1044 continue;
1045 if (auto *SP = dyn_cast<MDSubprogram>(Element))
1046 getOrCreateSubprogramDIE(SP);
1047 else if (DIDerivedType DDTy = dyn_cast<MDDerivedTypeBase>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001048 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001049 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001050 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
1051 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001052 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001053 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001054 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001055 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001056 } else if (DIObjCProperty Property = dyn_cast<MDObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001057 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
1058 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001059 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001060 if (Property->getType())
1061 addType(ElemDie, Property->getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001062 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001063 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001064 if (!GetterName.empty())
1065 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001066 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +00001067 if (!SetterName.empty())
1068 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +00001069 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +00001070 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001071 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001072
Devang Pateld925d1a2012-02-07 23:33:58 +00001073 DIEEntry *Entry = getDIEEntry(Element);
1074 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001075 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001076 insertDIEEntry(Element, Entry);
1077 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001078 }
Devang Patel0e821f42011-04-12 23:21:44 +00001079 }
1080
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001081 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001082 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001083
Adrian Prantlcf44e782014-12-19 00:01:20 +00001084 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
1085 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001086 if (DICompositeType ContainingType =
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001087 dyn_cast_or_null<MDCompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +00001088 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001089 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001090
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001091 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001092 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001093
Eric Christopherda011dd2011-12-16 23:42:42 +00001094 // Add template parameters to a class, structure or union types.
1095 // FIXME: The support isn't in the metadata for this yet.
1096 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001097 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001098 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +00001099
1100 break;
1101 }
1102 default:
1103 break;
1104 }
1105
1106 // Add name if not anonymous or intermediate type.
1107 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001108 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001109
Eric Christopher775cbd22012-05-22 18:45:18 +00001110 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001111 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001112 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001113 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001114 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001115 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001116 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001117 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001118 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001119 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001120
1121 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001122 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001123 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001124
1125 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001126 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001127 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001128
1129 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001130 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001131 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001132 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001133 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001134 }
1135}
1136
Manman Renffc9a712013-10-23 23:05:28 +00001137/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1138/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001139void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1140 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001141 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001142 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001143 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001144 if (TP->getType())
1145 addType(ParamDIE, resolve(TP->getType()));
1146 if (!TP->getName().empty())
1147 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001148}
1149
Manman Renffc9a712013-10-23 23:05:28 +00001150/// constructTemplateValueParameterDIE - Construct new DIE for the given
1151/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001152void
1153DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001154 DITemplateValueParameter VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001155 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001156
1157 // Add the type if there is one, template template and template parameter
1158 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001159 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1160 addType(ParamDIE, resolve(VP->getType()));
1161 if (!VP->getName().empty())
1162 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1163 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001164 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001165 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001166 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001167 // For declaration non-type template parameters (such as global values and
1168 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001169 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001170 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001171 // Emit DW_OP_stack_value to use the address as the immediate value of the
1172 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001173 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001174 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001175 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001176 assert(isa<MDString>(Val));
1177 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1178 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001179 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001180 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001181 }
1182 }
Devang Patel0e821f42011-04-12 23:21:44 +00001183}
1184
Devang Patel17b53272011-05-06 16:57:54 +00001185/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001186DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001187 // Construct the context before querying for the existence of the DIE in case
1188 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001189 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001190
David Blaikie65a74662014-04-25 18:26:14 +00001191 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001192 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001193 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001194
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001195 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001196 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001197 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001198 else
1199 Name = "(anonymous namespace)";
1200 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001201 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001202 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001203 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001204}
1205
Devang Patel89543712011-08-15 17:24:54 +00001206/// getOrCreateSubprogramDIE - Create new DIE using SP.
David Blaikie3a443c22014-11-04 22:12:25 +00001207DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001208 // Construct the context before querying for the existence of the DIE in case
1209 // such construction creates the DIE (as is the case for member function
1210 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001211 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001212 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001213
David Blaikie65a74662014-04-25 18:26:14 +00001214 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001215 return SPDie;
1216
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001217 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001218 if (!Minimal) {
1219 // Add subprogram definitions to the CU die directly.
1220 ContextDIE = &getUnitDie();
1221 // Build the decl now to ensure it precedes the definition.
1222 getOrCreateSubprogramDIE(SPDecl);
1223 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001224 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001225
1226 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001227 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001228
David Blaikie6cfa9e12014-06-05 00:25:26 +00001229 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001230 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001231 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001232 return &SPDie;
1233
David Blaikie7f916862014-05-27 18:37:38 +00001234 applySubprogramAttributes(SP, SPDie);
1235 return &SPDie;
1236}
1237
David Blaikie3a443c22014-11-04 22:12:25 +00001238bool DwarfUnit::applySubprogramDefinitionAttributes(DISubprogram SP,
1239 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001240 DIE *DeclDie = nullptr;
1241 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001242 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001243 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001244 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001245 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001246 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001247 DeclLinkageName = SPDecl->getLinkageName();
David Blaikie7f916862014-05-27 18:37:38 +00001248 }
Rafael Espindola79278362011-11-10 22:34:29 +00001249
Devang Patel89543712011-08-15 17:24:54 +00001250 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001251 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001252
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001253 // 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 +00001254 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001255 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1256 LinkageName == DeclLinkageName) &&
1257 "decl has a linkage name and it is different");
Paul Robinson857b4432015-03-10 22:44:45 +00001258 if (DeclLinkageName.empty())
1259 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001260
David Blaikie3a443c22014-11-04 22:12:25 +00001261 if (!DeclDie)
1262 return false;
1263
1264 // Refer to the function declaration where all the other attributes will be
1265 // found.
1266 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1267 return true;
1268}
1269
1270void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie,
1271 bool Minimal) {
1272 if (!Minimal)
1273 if (applySubprogramDefinitionAttributes(SP, SPDie))
1274 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001275
Devang Patel89543712011-08-15 17:24:54 +00001276 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001277 if (!SP->getName().empty())
1278 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001279
David Blaikie0b9438b2014-09-19 04:47:46 +00001280 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001281 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001282 return;
1283
Devang Patel89543712011-08-15 17:24:54 +00001284 addSourceLine(SPDie, SP);
1285
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001286 // Add the prototype if we have a prototype and we have a C like
1287 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001288 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001289 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001290 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001291 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001292 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001293
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001294 DISubroutineType SPTy = SP->getType();
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001295 assert(SPTy->getTag() == dwarf::DW_TAG_subroutine_type &&
David Blaikie5174c842013-05-22 23:22:18 +00001296 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001297
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001298 auto Args = SPTy->getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001299 // Add a return type. If this is a type like a C/C++ void type we don't add a
1300 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001301 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001302 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001303 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001304
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001305 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001306 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001307 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001308 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001309 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001310 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001311 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001312 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001313 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001314 }
1315
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001316 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001317 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001318
Devang Patel89543712011-08-15 17:24:54 +00001319 // Add arguments. Do not add arguments for subprogram definition. They will
1320 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001321 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001322 }
1323
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001324 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001325 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001326
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001327 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001328 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001329
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001330 if (SP->isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001331 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001332
Eric Christophercd53d6e2015-03-21 03:13:01 +00001333 if (unsigned isa = Asm->getISAEncoding())
Devang Patel89543712011-08-15 17:24:54 +00001334 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
Devang Patel89543712011-08-15 17:24:54 +00001335
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001336 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001337 addFlag(SPDie, dwarf::DW_AT_reference);
1338
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001339 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001340 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1341
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001342 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001343 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1344 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001345 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001346 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1347 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001348 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001349 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1350 dwarf::DW_ACCESS_public);
1351
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001352 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001353 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001354}
1355
Devang Patel0e821f42011-04-12 23:21:44 +00001356/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001357void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001358 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001359 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001360
Bill Wendling28fe9e72012-12-06 07:38:10 +00001361 // The LowerBound value defines the lower bounds which is typically zero for
1362 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1363 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001364 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001365 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001366 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001367 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001368
Bill Wendling3495f9b2012-12-06 07:55:19 +00001369 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001370 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001371
David Blaikie32b0f362014-10-01 00:56:55 +00001372 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001373 // FIXME: An unbounded array should reference the expression that defines
1374 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001375 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001376}
1377
David Blaikie871c2d92014-11-02 03:09:13 +00001378DIE *DwarfUnit::getIndexTyDie() {
1379 if (IndexTyDie)
1380 return IndexTyDie;
1381 // Construct an integer type to use for indexes.
1382 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1383 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1384 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1385 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1386 dwarf::DW_ATE_unsigned);
1387 return IndexTyDie;
1388}
1389
Devang Patel0e821f42011-04-12 23:21:44 +00001390/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001391void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001392 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001393 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001394
Eric Christopher0df08e22013-08-08 07:40:37 +00001395 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001396 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001397
1398 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001399 // FIXME: This type should be passed down from the front end
1400 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001401 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001402
1403 // Add subranges to array type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001404 DIArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001405 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001406 // FIXME: Should this really be such a loose cast?
1407 if (auto *Element = dyn_cast_or_null<DebugNode>(Elements[i]))
1408 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
1409 constructSubrangeDIE(Buffer, cast<MDSubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001410 }
1411}
1412
Eric Christopheraeb105f2013-11-11 18:52:39 +00001413/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001414void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001415 DIArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001416
1417 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001418 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001419 auto *Enum = dyn_cast_or_null<MDEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001420 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001421 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001422 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001423 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001424 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001425 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1426 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001427 }
1428 }
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +00001429 const MDType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001430 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001431 addType(Buffer, DTy);
1432 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001433 }
Devang Patel0e821f42011-04-12 23:21:44 +00001434}
1435
Devang Patel89543712011-08-15 17:24:54 +00001436/// constructContainingTypeDIEs - Construct DIEs for types that contain
1437/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001438void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001439 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001440 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001441 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001442 const DebugNode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001443 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001444 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001445 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001446 if (!NDie)
1447 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001448 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001449 }
1450}
1451
Manman Ren230ec862013-10-23 23:00:44 +00001452/// constructMemberDIE - Construct member DIE from DIDerivedType.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001453void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT_) {
1454 // Downcast to MDDerivedType.
1455 const MDDerivedType *DT = cast<MDDerivedType>(DT_);
1456
1457 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1458 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001459 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001460 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001461
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001462 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001463
1464 addSourceLine(MemberDie, DT);
1465
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001466 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001467
1468 // For C++, virtual base classes are not at fixed offset. Use following
1469 // expression to extract appropriate offset from vtable.
1470 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1471
Eric Christopher4a741042014-02-16 08:46:55 +00001472 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001473 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1474 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1475 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001476 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001477 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1478 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1479 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001480
David Blaikief2443192013-10-21 17:28:37 +00001481 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001482 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001483 uint64_t Size = DT->getSizeInBits();
David Blaikie71d34a22013-11-01 00:25:45 +00001484 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1485 uint64_t OffsetInBytes;
1486
David Blaikiefa1a3c72015-01-28 02:34:53 +00001487 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001488 // Handle bitfield, assume bytes are 8 bits.
1489 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1490 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001491
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001492 uint64_t Offset = DT->getOffsetInBits();
1493 uint64_t AlignMask = ~(DT->getAlignInBits() - 1);
David Blaikie71d34a22013-11-01 00:25:45 +00001494 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1495 uint64_t FieldOffset = (HiMark - FieldSize);
1496 Offset -= FieldOffset;
1497
1498 // Maybe we need to work from the other end.
1499 if (Asm->getDataLayout().isLittleEndian())
1500 Offset = FieldSize - (Offset + Size);
1501 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1502
Adrian Prantlc67655a2014-01-28 18:13:47 +00001503 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001504 // field that includes this bit field.
1505 OffsetInBytes = FieldOffset >> 3;
1506 } else
1507 // This is not a bitfield.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001508 OffsetInBytes = DT->getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001509
David Blaikie22b29a52014-01-03 01:30:05 +00001510 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001511 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001512 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1513 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001514 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1515 } else
1516 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1517 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001518 }
Devang Patel0e821f42011-04-12 23:21:44 +00001519
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001520 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001521 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001522 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001523 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001524 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001525 dwarf::DW_ACCESS_private);
1526 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001527 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001528 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001529 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001530 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001531 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001532 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001533
1534 // Objective-C properties.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001535 if (MDNode *PNode = DT->getObjCProperty())
Devang Patel44882172012-02-06 17:49:43 +00001536 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001537 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1538 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001539
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001540 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001541 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001542}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001543
Manman Renc6b63922013-10-14 20:33:57 +00001544/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001545DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT_) {
1546 const MDDerivedType *DT = cast_or_null<MDDerivedType>(DT_);
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001547 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001548 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001549
Manman Renc6b63922013-10-14 20:33:57 +00001550 // Construct the context before querying for the existence of the DIE in case
1551 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001552 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001553 assert(dwarf::isType(ContextDIE->getTag()) &&
1554 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001555
David Blaikie65a74662014-04-25 18:26:14 +00001556 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001557 return StaticMemberDIE;
1558
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001559 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001560
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +00001561 const MDType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001562
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001563 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001564 addType(StaticMemberDIE, Ty);
1565 addSourceLine(StaticMemberDIE, DT);
1566 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1567 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1568
1569 // FIXME: We could omit private if the parent is a class_type, and
1570 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001571 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001572 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1573 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001574 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001575 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1576 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001577 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001578 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1579 dwarf::DW_ACCESS_public);
1580
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001581 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001582 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001583 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001584 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001585
David Blaikie65a74662014-04-25 18:26:14 +00001586 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001587}
David Blaikie6b288cf2013-10-30 20:42:41 +00001588
Rafael Espindola063d7252015-03-10 16:58:10 +00001589void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001590 // Emit size of content not including length itself
1591 Asm->OutStreamer.AddComment("Length of Unit");
1592 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1593
David Blaikie6b288cf2013-10-30 20:42:41 +00001594 Asm->OutStreamer.AddComment("DWARF version number");
1595 Asm->EmitInt16(DD->getDwarfVersion());
1596 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001597
David Blaikie6896e192013-12-04 23:39:02 +00001598 // We share one abbreviations table across all units so it's always at the
1599 // start of the section. Use a relocatable offset where needed to ensure
1600 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001601 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1602 if (!UseOffsets)
1603 Asm->emitSectionOffset(TLOF.getDwarfAbbrevSection()->getBeginSymbol());
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001604 else
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001605 Asm->EmitInt32(0);
Rafael Espindola063d7252015-03-10 16:58:10 +00001606
David Blaikie6b288cf2013-10-30 20:42:41 +00001607 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1608 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1609}
David Blaikiebc563272013-12-13 21:33:40 +00001610
David Blaikiea34568b2014-11-01 20:06:28 +00001611void DwarfUnit::initSection(const MCSection *Section) {
1612 assert(!this->Section);
1613 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001614}
1615
Rafael Espindola063d7252015-03-10 16:58:10 +00001616void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1617 DwarfUnit::emitHeader(UseOffsets);
David Blaikiebc563272013-12-13 21:33:40 +00001618 Asm->OutStreamer.AddComment("Type Signature");
1619 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
1620 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001621 // In a skeleton type unit there is no type DIE so emit a zero offset.
1622 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
1623 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001624}
1625
David Blaikiecafd9622014-11-02 08:51:37 +00001626bool DwarfTypeUnit::isDwoUnit() const {
1627 // Since there are no skeleton type units, all type units are dwo type units
1628 // when split DWARF is being used.
1629 return DD->useSplitDwarf();
1630}