blob: 1730b9b62ea29792cfbb08a94078e7ea3b4db055 [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"
David Blaikie37c52312014-10-04 15:49:50 +000015
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "DwarfAccelTable.h"
David Blaikie37c52312014-10-04 15:49:50 +000017#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000018#include "DwarfDebug.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000021#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
23#include "llvm/IR/GlobalVariable.h"
24#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000025#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000026#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000027#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000028#include "llvm/MC/MCSection.h"
29#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000030#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000031#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000032#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000033#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000034#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000035#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000036
37using namespace llvm;
38
Chandler Carruth1b9dde02014-04-22 02:02:50 +000039#define DEBUG_TYPE "dwarfdebug"
40
Eric Christopher4287a492013-12-09 23:57:44 +000041static cl::opt<bool>
42GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
43 cl::desc("Generate DWARF4 type units."),
44 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000045
David Blaikie2a80e442013-12-02 22:09:48 +000046/// Unit - Unit constructor.
David Blaikiebd579052014-04-28 21:14:27 +000047DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag, DICompileUnit Node,
David Blaikie92a2f8a2014-04-28 21:04:29 +000048 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000049 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
David Blaikie7cbf58a2014-11-01 18:18:07 +000050 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000051 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
52 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000053 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
54}
55
David Blaikiebd579052014-04-28 21:14:27 +000056DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000057 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000058 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000059 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
60 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000061 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000062 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000063}
David Blaikie409dd9c2013-11-19 23:08:21 +000064
David Blaikie319a05f2013-12-02 19:33:10 +000065/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000066DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000067 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
68 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000069 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
70 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000071}
72
73/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
74/// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +000075DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000076 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
77 return Value;
78}
79
Bill Wendling3495f9b2012-12-06 07:55:19 +000080/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000081/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000082int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000083 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000084 default:
85 break;
86
87 case dwarf::DW_LANG_C89:
88 case dwarf::DW_LANG_C99:
89 case dwarf::DW_LANG_C:
90 case dwarf::DW_LANG_C_plus_plus:
91 case dwarf::DW_LANG_ObjC:
92 case dwarf::DW_LANG_ObjC_plus_plus:
93 return 0;
94
95 case dwarf::DW_LANG_Fortran77:
96 case dwarf::DW_LANG_Fortran90:
97 case dwarf::DW_LANG_Fortran95:
98 return 1;
99
100 // The languages below have valid values only if the DWARF version >= 4.
101 case dwarf::DW_LANG_Java:
102 case dwarf::DW_LANG_Python:
103 case dwarf::DW_LANG_UPC:
104 case dwarf::DW_LANG_D:
105 if (dwarf::DWARF_VERSION >= 4)
106 return 0;
107 break;
108
109 case dwarf::DW_LANG_Ada83:
110 case dwarf::DW_LANG_Ada95:
111 case dwarf::DW_LANG_Cobol74:
112 case dwarf::DW_LANG_Cobol85:
113 case dwarf::DW_LANG_Modula2:
114 case dwarf::DW_LANG_Pascal83:
115 case dwarf::DW_LANG_PLI:
116 if (dwarf::DWARF_VERSION >= 4)
117 return 1;
118 break;
119 }
120
121 return -1;
122}
123
Manman Ren4dbdc902013-10-31 17:54:35 +0000124/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000125static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000126 // When the MDNode can be part of the type system, the DIE can be shared
127 // across CUs.
128 // Combining type units and cross-CU DIE sharing is lower value (since
129 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
130 // level already) but may be implementable for some value in projects
131 // building multiple independent libraries with LTO and then linking those
132 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000133 return (D.isType() ||
134 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000135 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000136}
137
138/// getDIE - Returns the debug information entry map slot for the
139/// specified debug variable. We delegate the request to DwarfDebug
140/// when the DIE for this MDNode can be shared across CUs. The mappings
141/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000142DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000143 if (isShareableAcrossCUs(D))
144 return DD->getDIE(D);
145 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000146}
147
148/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
149/// when the DIE for this MDNode can be shared across CUs. The mappings
150/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000151void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000152 if (isShareableAcrossCUs(Desc)) {
153 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000154 return;
155 }
David Blaikie2ad00162013-11-15 23:09:13 +0000156 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000157}
158
Eric Christopherbb69a272012-08-24 01:14:27 +0000159/// addFlag - Add a flag that is true.
David Blaikie65a74662014-04-25 18:26:14 +0000160void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000161 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000162 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000163 else
David Blaikie65a74662014-04-25 18:26:14 +0000164 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000165}
166
Devang Patel0e821f42011-04-12 23:21:44 +0000167/// addUInt - Add an unsigned integer attribute data and value.
168///
David Blaikie65a74662014-04-25 18:26:14 +0000169void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000170 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000171 if (!Form)
172 Form = DIEInteger::BestForm(false, Integer);
173 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
174 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000175 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000176}
177
David Blaikie65a74662014-04-25 18:26:14 +0000178void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000179 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000180}
181
182/// addSInt - Add an signed integer attribute data and value.
183///
David Blaikie65a74662014-04-25 18:26:14 +0000184void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000185 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000186 if (!Form)
187 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000188 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000189 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000190}
191
David Blaikie65a74662014-04-25 18:26:14 +0000192void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000193 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000194 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000195}
196
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000197/// addString - Add a string attribute data and value. We always emit a
198/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000199/// more predictable sizes. In the case of split dwarf we emit an index
200/// into another table which gets us the static offset into the string
201/// table.
David Blaikie65a74662014-04-25 18:26:14 +0000202void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000203 StringRef String) {
David Blaikiecafd9622014-11-02 08:51:37 +0000204 if (!isDwoUnit())
Eric Christopher05893f42013-12-30 18:32:31 +0000205 return addLocalString(Die, Attribute, String);
206
David Blaikiecafd9622014-11-02 08:51:37 +0000207 addIndexedString(Die, Attribute, String);
208}
209
210void DwarfUnit::addIndexedString(DIE &Die, dwarf::Attribute Attribute,
211 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000212 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000213 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000214 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000215 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000216}
217
218/// addLocalString - Add a string attribute data and value. This is guaranteed
219/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000220void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000221 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000222 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000223 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000224 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000225 Value = new (DIEValueAllocator) DIELabel(Symb);
David Blaikie6741bb02014-09-11 21:12:48 +0000226 else
227 Value = new (DIEValueAllocator) DIEDelta(Symb, DD->getDebugStrSym());
Eric Christopher05893f42013-12-30 18:32:31 +0000228 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000229 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000230}
231
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000232/// addLabel - Add a Dwarf label attribute data and value.
233///
David Blaikie65a74662014-04-25 18:26:14 +0000234void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000235 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000236 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000237 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000238}
239
David Blaikie65a74662014-04-25 18:26:14 +0000240void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000241 addLabel(Die, (dwarf::Attribute)0, Form, Label);
242}
243
Eric Christopher33ff6972013-11-21 23:46:41 +0000244/// addSectionOffset - Add an offset into a section attribute data and value.
245///
David Blaikie65a74662014-04-25 18:26:14 +0000246void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000247 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000248 if (DD->getDwarfVersion() >= 4)
249 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
250 else
251 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
252}
253
David Blaikie4a2f95f2014-03-18 01:17:26 +0000254unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
255 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
256 : getCU().getOrCreateSourceID(FileName, DirName);
257}
258
Eric Christophere9ec2452013-01-18 22:11:33 +0000259/// addOpAddress - Add a dwarf op address data and value using the
260/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
261///
David Blaikie65a74662014-04-25 18:26:14 +0000262void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000263 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000264 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
265 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000266 } else {
David Blaikief2443192013-10-21 17:28:37 +0000267 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000268 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000269 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000270 }
271}
272
David Blaikie65a74662014-04-25 18:26:14 +0000273void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000274 const MCSymbol *Hi, const MCSymbol *Lo) {
275 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000276 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000277}
278
Devang Patel0e821f42011-04-12 23:21:44 +0000279/// addDIEEntry - Add a DIE attribute data and value.
280///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000281void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000282 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
283}
284
David Blaikie65a74662014-04-25 18:26:14 +0000285void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000286 // Flag the type unit reference as a declaration so that if it contains
287 // members (implicit special members, static data member definitions, member
288 // declarations for definitions in this CU, etc) consumers don't get confused
289 // and think this is a full definition.
290 addFlag(Die, dwarf::DW_AT_declaration);
291
David Blaikie65a74662014-04-25 18:26:14 +0000292 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
293 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000294}
295
David Blaikie65a74662014-04-25 18:26:14 +0000296void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000297 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000298 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000299 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000300 if (!DieCU)
301 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000302 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000303 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000304 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000305 Die.addValue(Attribute,
306 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
307 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000308}
309
Manman Renb987e512013-10-29 00:53:03 +0000310/// Create a DIE with the given Tag, add the DIE to its parent, and
311/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000312DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000313 assert(Tag != dwarf::DW_TAG_auto_variable &&
314 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000315 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000316 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000317 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000318 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000319 return Die;
320}
321
Devang Patel0e821f42011-04-12 23:21:44 +0000322/// addBlock - Add block data.
323///
David Blaikie65a74662014-04-25 18:26:14 +0000324void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000325 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000326 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000327 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000328}
329
David Blaikie65a74662014-04-25 18:26:14 +0000330void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000331 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000332 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000333 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000334 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000335}
336
337/// addSourceLine - Add location information to specified debug information
338/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000339void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000340 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000341 if (Line == 0)
342 return;
David Blaikie101613e2014-02-12 00:11:25 +0000343
David Blaikie4a2f95f2014-03-18 01:17:26 +0000344 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000345 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000346 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
347 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000348}
349
350/// addSourceLine - Add location information to specified debug information
351/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000352void DwarfUnit::addSourceLine(DIE &Die, DIVariable V) {
David Blaikie101613e2014-02-12 00:11:25 +0000353 assert(V.isVariable());
354
Eric Christopher89a575c2014-02-12 22:38:04 +0000355 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
356 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000357}
358
359/// addSourceLine - Add location information to specified debug information
360/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000361void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000362 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000363
David Blaikie101613e2014-02-12 00:11:25 +0000364 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000365}
366
367/// addSourceLine - Add location information to specified debug information
368/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000369void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000370 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000371
David Blaikie101613e2014-02-12 00:11:25 +0000372 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000373}
374
375/// addSourceLine - Add location information to specified debug information
376/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000377void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000378 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000379
David Blaikie101613e2014-02-12 00:11:25 +0000380 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000381}
382
383/// addSourceLine - Add location information to specified debug information
384/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000385void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000386 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000387
Eric Christopher70e1bd82012-03-29 08:42:56 +0000388 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000389 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
390 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000391}
392
393/// addSourceLine - Add location information to specified debug information
394/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000395void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000396 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000397
David Blaikie101613e2014-02-12 00:11:25 +0000398 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000399}
400
Devang Patelba5fbf12011-04-26 19:06:18 +0000401/// addRegisterOp - Add register operand.
Adrian Prantlb1416832014-08-01 22:11:58 +0000402// FIXME: Ideally, this would share the implementation with
403// AsmPrinter::EmitDwarfRegOpPiece.
404void DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
405 unsigned SizeInBits, unsigned OffsetInBits) {
Eric Christopherd9134482014-08-04 21:25:23 +0000406 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000407 int DWReg = RI->getDwarfRegNum(Reg, false);
408 bool isSubRegister = DWReg < 0;
409
410 unsigned Idx = 0;
411
412 // Go up the super-register chain until we hit a valid dwarf register number.
413 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
414 DWReg = RI->getDwarfRegNum(*SR, false);
415 if (DWReg >= 0)
416 Idx = RI->getSubRegIndex(*SR, Reg);
417 }
418
419 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000420 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000421 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
422 return;
423 }
424
Adrian Prantlb1416832014-08-01 22:11:58 +0000425 // Emit register.
Devang Patelba5fbf12011-04-26 19:06:18 +0000426 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000427 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000428 else {
David Blaikief2443192013-10-21 17:28:37 +0000429 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
430 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000431 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000432
Adrian Prantlb1416832014-08-01 22:11:58 +0000433 // Emit mask.
434 bool isPiece = SizeInBits > 0;
435 if (isSubRegister || isPiece) {
436 const unsigned SizeOfByte = 8;
437 unsigned RegSizeInBits = RI->getSubRegIdxSize(Idx);
438 unsigned RegOffsetInBits = RI->getSubRegIdxOffset(Idx);
439 unsigned PieceSizeInBits = std::max(SizeInBits, RegSizeInBits);
440 unsigned PieceOffsetInBits = OffsetInBits ? OffsetInBits : RegOffsetInBits;
441 assert(RegSizeInBits >= SizeInBits && "register smaller than value");
442
443 if (RegOffsetInBits != PieceOffsetInBits) {
444 // Manually shift the value into place, since the DW_OP_piece
445 // describes the part of the variable, not the position of the
446 // subregister.
447 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
448 addUInt(TheDie, dwarf::DW_FORM_data1, RegOffsetInBits);
449 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_shr);
450 }
451
452 if (PieceOffsetInBits > 0 || PieceSizeInBits % SizeOfByte) {
453 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000454 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000455 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits);
456 addUInt(TheDie, dwarf::DW_FORM_data1, PieceOffsetInBits);
457 } else {
458 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000459 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000460 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits/SizeOfByte);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000461 }
462 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000463}
464
465/// addRegisterOffset - Add register offset.
David Blaikie65a74662014-04-25 18:26:14 +0000466void DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000467 int64_t Offset) {
Eric Christopherd9134482014-08-04 21:25:23 +0000468 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000469 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
Eric Christopherd9134482014-08-04 21:25:23 +0000470 const TargetRegisterInfo *TRI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000471 if (Reg == TRI->getFrameRegister(*Asm->MF))
472 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000473 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000474 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000475 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000476 else {
David Blaikief2443192013-10-21 17:28:37 +0000477 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
478 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000479 }
David Blaikief2443192013-10-21 17:28:37 +0000480 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000481}
482
Devang Patel0e821f42011-04-12 23:21:44 +0000483/* Byref variables, in Blocks, are declared by the programmer as "SomeType
484 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
485 gives the variable VarName either the struct, or a pointer to the struct, as
486 its type. This is necessary for various behind-the-scenes things the
487 compiler needs to do with by-reference variables in Blocks.
488
489 However, as far as the original *programmer* is concerned, the variable
490 should still have type 'SomeType', as originally declared.
491
492 The function getBlockByrefType dives into the __Block_byref_x_VarName
493 struct to find the original type of the variable, which is then assigned to
494 the variable's Debug Information Entry as its real type. So far, so good.
495 However now the debugger will expect the variable VarName to have the type
496 SomeType. So we need the location attribute for the variable to be an
497 expression that explains to the debugger how to navigate through the
498 pointers and struct to find the actual variable of type SomeType.
499
500 The following function does just that. We start by getting
501 the "normal" location for the variable. This will be the location
502 of either the struct __Block_byref_x_VarName or the pointer to the
503 struct __Block_byref_x_VarName.
504
505 The struct will look something like:
506
507 struct __Block_byref_x_VarName {
508 ... <various fields>
509 struct __Block_byref_x_VarName *forwarding;
510 ... <various other fields>
511 SomeType VarName;
512 ... <maybe more fields>
513 };
514
515 If we are given the struct directly (as our starting point) we
516 need to tell the debugger to:
517
518 1). Add the offset of the forwarding field.
519
520 2). Follow that pointer to get the real __Block_byref_x_VarName
521 struct to use (the real one may have been copied onto the heap).
522
523 3). Add the offset for the field VarName, to find the actual variable.
524
525 If we started with a pointer to the struct, then we need to
526 dereference that pointer first, before the other steps.
527 Translating this into DWARF ops, we will need to append the following
528 to the current location description for the variable:
529
530 DW_OP_deref -- optional, if we start with a pointer
531 DW_OP_plus_uconst <forward_fld_offset>
532 DW_OP_deref
533 DW_OP_plus_uconst <varName_fld_offset>
534
535 That is what this function does. */
536
537/// addBlockByrefAddress - Start with the address based on the location
538/// provided, and generate the DWARF information necessary to find the
539/// actual Block variable (navigating the Block struct) based on the
540/// starting location. Add the DWARF information to the die. For
541/// more information, read large comment just above here.
542///
David Blaikie65a74662014-04-25 18:26:14 +0000543void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000544 dwarf::Attribute Attribute,
545 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000546 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000547 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000548 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000549 bool isPointer = false;
550
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000551 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000552
553 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000554 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000555 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000556 isPointer = true;
557 }
558
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000559 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000560
561 // Find the __forwarding field and the variable field in the __Block_byref
562 // struct.
Manman Renab8ffba2014-07-28 19:14:13 +0000563 DIArray Fields = blockStruct.getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000564 DIDerivedType varField;
565 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000566
567 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000568 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000569 StringRef fieldName = DT.getName();
570 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000571 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000572 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000573 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000574 }
575
576 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000577 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
578 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000579
580 // Decode the original location, and use that as the start of the byref
581 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000582 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000583
Eric Christopheref9d7102012-07-04 02:02:18 +0000584 if (Location.isReg())
Adrian Prantlb1416832014-08-01 22:11:58 +0000585 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000586 else
David Blaikie65a74662014-04-25 18:26:14 +0000587 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000588
589 // If we started with a pointer to the __Block_byref... struct, then
590 // the first thing we need to do is dereference the pointer (DW_OP_deref).
591 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000592 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000593
594 // Next add the offset for the '__forwarding' field:
595 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
596 // adding the offset if it's 0.
597 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000598 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
599 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000600 }
601
602 // Now dereference the __forwarding field to get to the real __Block_byref
603 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000604 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000605
606 // Now that we've got the real __Block_byref... struct, add the offset
607 // for the variable's field to get to the location of the actual variable:
608 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
609 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000610 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
611 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000612 }
613
614 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000615 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000616}
617
Manman Renb3388602013-10-05 01:43:03 +0000618/// Return true if type encoding is unsigned.
619static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
620 DIDerivedType DTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000621 if (DTy.isDerivedType()) {
David Blaikie2af1c802014-05-20 18:21:51 +0000622 dwarf::Tag T = (dwarf::Tag)Ty.getTag();
623 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000624 // null pointer constant emission.
625 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
626 // here, but accept them for now due to a bug in SROA producing bogus
627 // dbg.values.
David Blaikie2af1c802014-05-20 18:21:51 +0000628 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000629 T == dwarf::DW_TAG_ptr_to_member_type ||
630 T == dwarf::DW_TAG_reference_type ||
631 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000632 return true;
633 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
634 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000635 T == dwarf::DW_TAG_restrict_type ||
636 T == dwarf::DW_TAG_enumeration_type);
David Blaikie2af1c802014-05-20 18:21:51 +0000637 if (DITypeRef Deriv = DTy.getTypeDerivedFrom())
638 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000639 // FIXME: Enums without a fixed underlying type have unknown signedness
640 // here, leading to incorrectly emitted constants.
641 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
642 return false;
643 }
Manman Renb3388602013-10-05 01:43:03 +0000644
645 DIBasicType BTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000646 assert(BTy.isBasicType());
David Blaikie60cae1b2014-05-11 16:08:41 +0000647 unsigned Encoding = BTy.getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000648 assert((Encoding == dwarf::DW_ATE_unsigned ||
649 Encoding == dwarf::DW_ATE_unsigned_char ||
650 Encoding == dwarf::DW_ATE_signed ||
651 Encoding == dwarf::DW_ATE_signed_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000652 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean) &&
653 "Unsupported encoding");
David Blaikie60cae1b2014-05-11 16:08:41 +0000654 return (Encoding == dwarf::DW_ATE_unsigned ||
655 Encoding == dwarf::DW_ATE_unsigned_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000656 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean);
Manman Renb3388602013-10-05 01:43:03 +0000657}
658
659/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000660static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000661 unsigned Tag = Ty.getTag();
662
663 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
664 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
665 Tag != dwarf::DW_TAG_restrict_type)
666 return Ty.getSizeInBits();
667
668 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
669
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000670 // If this type is not derived from any type or the type is a declaration then
671 // take conservative approach.
672 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000673 return Ty.getSizeInBits();
674
675 // If this is a derived type, go ahead and get the base type, unless it's a
676 // reference then it's just the size of the field. Pointer types have no need
677 // of this since they're a different type of qualification on the type.
678 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
679 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
680 return Ty.getSizeInBits();
681
682 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000683 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000684
685 return BaseType.getSizeInBits();
686}
687
Devang Patel0e821f42011-04-12 23:21:44 +0000688/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000689void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000690 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000691 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
692 APFloat FPImm = MO.getFPImm()->getValueAPF();
693
694 // Get the raw data form of the floating point.
695 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000696 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000697
698 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000699 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000700 int Incr = (LittleEndian ? 1 : -1);
701 int Start = (LittleEndian ? 0 : NumBytes - 1);
702 int Stop = (LittleEndian ? NumBytes : -1);
703
704 // Output the constant to DWARF one byte at a time.
705 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000706 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000707
David Blaikief2443192013-10-21 17:28:37 +0000708 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000709}
710
David Blaikiea39a76e2013-01-20 01:18:01 +0000711/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000712void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000713 // Pass this down to addConstantValue as an unsigned bag of bits.
714 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000715}
716
Devang Patel0e821f42011-04-12 23:21:44 +0000717/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000718void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
719 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000720}
721
David Blaikiec05c8f42014-05-11 15:47:39 +0000722/// addConstantValue - Add constant value entry in variable DIE.
723void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
724 DIType Ty) {
725 assert(MO.isImm() && "Invalid machine operand!");
726
David Blaikie60cae1b2014-05-11 16:08:41 +0000727 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000728}
729
David Blaikie60cae1b2014-05-11 16:08:41 +0000730void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000731 // FIXME: This is a bit conservative/simple - it emits negative values always
732 // sign extended to 64 bits rather than minimizing the number of bytes.
733 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000734 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000735}
736
David Blaikiec0a28412014-05-11 15:56:59 +0000737void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
738 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
739}
740
David Blaikiea39a76e2013-01-20 01:18:01 +0000741// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000742void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000743 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000744 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000745 addConstantValue(Die, Unsigned,
746 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000747 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000748 }
749
750 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
751
752 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000753 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000754
755 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000756 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000757
758 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000759 for (int i = 0; i < NumBytes; i++) {
760 uint8_t c;
761 if (LittleEndian)
762 c = Ptr64[i / 8] >> (8 * (i & 7));
763 else
764 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000765 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000766 }
Devang Patel0e821f42011-04-12 23:21:44 +0000767
David Blaikief2443192013-10-21 17:28:37 +0000768 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000769}
770
Eric Christopher25e35092013-04-22 07:47:40 +0000771/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000772void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000773 // Add template parameters.
774 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
775 DIDescriptor Element = TParams.getElement(i);
776 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000777 constructTemplateTypeParameterDIE(Buffer,
778 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000779 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000780 constructTemplateValueParameterDIE(Buffer,
781 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000782 }
Devang Patel0e821f42011-04-12 23:21:44 +0000783}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000784
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000785/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000786DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000787 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000788 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000789 if (Context.isType())
790 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000791 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000792 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000793 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000794 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000795 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000796}
797
Eric Christophera5a79422013-12-09 23:32:48 +0000798DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000799 DIScope Context = resolve(Ty.getContext());
800 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000801
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000802 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000803 return TyDIE;
804
805 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000806 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000807
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000808 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000809
David Blaikie9d861be2013-11-26 00:15:27 +0000810 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000811 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000812}
813
Devang Patel0e821f42011-04-12 23:21:44 +0000814/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
815/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000816DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000817 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000818 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000819
David Blaikie32887552013-11-14 22:25:02 +0000820 DIType Ty(TyNode);
821 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000822 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000823 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000824
David Blaikieee11f222014-04-12 05:35:59 +0000825 // DW_TAG_restrict_type is not supported in DWARF2
826 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
827 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
828
Manman Renf4c339e2013-10-29 22:49:29 +0000829 // Construct the context before querying for the existence of the DIE in case
830 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000831 DIScope Context = resolve(Ty.getContext());
832 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000833 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000834
David Blaikie65a74662014-04-25 18:26:14 +0000835 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000836 return TyDIE;
837
838 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000839 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000840
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000841 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000842
Devang Patel0e821f42011-04-12 23:21:44 +0000843 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +0000844 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000845 else if (Ty.isCompositeType()) {
846 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +0000847 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
848 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000849 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000850 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000851 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000852 }
David Blaikie65a74662014-04-25 18:26:14 +0000853 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000854 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000855 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +0000856 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000857 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000858
David Blaikie65a74662014-04-25 18:26:14 +0000859 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000860}
861
Eric Christophera5a79422013-12-09 23:32:48 +0000862void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000863 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000864 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
865 bool IsImplementation = 0;
866 if (Ty.isCompositeType()) {
867 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000868 // A runtime language of 0 actually means C/C++ and that any
869 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000870 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000871 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000872 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +0000873 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000874
David Blaikie98cf1722014-11-02 06:06:14 +0000875 if (!Context || Context.isCompileUnit() || Context.isFile() ||
876 Context.isNameSpace())
877 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000878 }
Devang Patel0e821f42011-04-12 23:21:44 +0000879}
880
881/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +0000882void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000883 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000884
885 // Check for pre-existence.
886 DIEEntry *Entry = getDIEEntry(Ty);
887 // If it exists then use the existing value.
888 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000889 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000890 return;
891 }
892
893 // Construct type.
894 DIE *Buffer = getOrCreateTypeDIE(Ty);
895
896 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000897 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +0000898 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +0000899 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +0000900}
901
Eric Christopher2c8b7902013-10-17 02:06:06 +0000902/// getParentContextString - Walks the metadata parent chain in a language
903/// specific manner (using the compile unit language) and returns
904/// it as a string. This is done at the metadata level because DIEs may
905/// not currently have been added to the parent context and walking the
906/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +0000907std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000908 if (!Context)
909 return "";
910
911 // FIXME: Decide whether to implement this for non-C++ languages.
912 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
913 return "";
914
Eric Christopher8dba0d52013-10-19 01:04:42 +0000915 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +0000916 SmallVector<DIScope, 1> Parents;
917 while (!Context.isCompileUnit()) {
918 Parents.push_back(Context);
919 if (Context.getContext())
920 Context = resolve(Context.getContext());
921 else
922 // Structure, etc types will have a NULL context if they're at the top
923 // level.
924 break;
925 }
926
927 // Reverse iterate over our list to go from the outermost construct to the
928 // innermost.
929 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
930 E = Parents.rend();
931 I != E; ++I) {
932 DIScope Ctx = *I;
933 StringRef Name = Ctx.getName();
David Blaikie553eb4a2014-06-06 22:16:56 +0000934 if (Name.empty() && Ctx.isNameSpace())
935 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000936 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000937 CS += Name;
938 CS += "::";
939 }
940 }
941 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000942}
943
944/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +0000945void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000946 // Get core information.
947 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000948 // Add name if not anonymous or intermediate type.
949 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000950 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000951
David Blaikiefac56122013-10-04 23:21:16 +0000952 // An unspecified type only has a name attribute.
953 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000954 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000955
David Blaikie65a74662014-04-25 18:26:14 +0000956 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +0000957 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000958
Devang Patel0e821f42011-04-12 23:21:44 +0000959 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000960 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000961}
962
963/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +0000964void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000965 // Get core information.
966 StringRef Name = DTy.getName();
967 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000968 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000969
970 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +0000971 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +0000972 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000973 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000974
975 // Add name if not anonymous or intermediate type.
976 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000977 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000978
979 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +0000980 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie65a74662014-04-25 18:26:14 +0000981 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000982
David Blaikie5d3249b2013-01-07 05:51:15 +0000983 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000984 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000985 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000986 // Add source line info if available and TyDesc is not a forward declaration.
987 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000988 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000989}
990
Adrian Prantl3f49c892014-02-25 19:57:42 +0000991/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +0000992void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000993 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renf8a19672014-07-28 22:24:06 +0000994 DIType Ty = resolve(Args.getElement(i));
Manman Renf93ac4b2014-07-29 18:20:39 +0000995 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000996 assert(i == N-1 && "Unspecified parameter must be the last argument");
997 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
998 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000999 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +00001000 addType(Arg, Ty);
1001 if (Ty.isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001002 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001003 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001004 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001005}
1006
Devang Patel0e821f42011-04-12 23:21:44 +00001007/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001008void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001009 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001010 StringRef Name = CTy.getName();
1011
1012 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001013 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001014
1015 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001016 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001017 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001018 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001019 case dwarf::DW_TAG_enumeration_type:
1020 constructEnumTypeDIE(Buffer, CTy);
1021 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001022 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001023 // Add return type. A void return won't have a type.
Manman Renf8a19672014-07-28 22:24:06 +00001024 DITypeArray Elements = DISubroutineType(CTy).getTypeArray();
1025 DIType RTy(resolve(Elements.getElement(0)));
Eric Christopher0df08e22013-08-08 07:40:37 +00001026 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001027 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001028
1029 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001030 if (Elements.getNumElements() == 2 &&
Manman Ren72b07e82014-07-29 22:58:13 +00001031 !Elements.getElement(1))
Adrian Prantl3f49c892014-02-25 19:57:42 +00001032 isPrototyped = false;
1033
1034 constructSubprogramArguments(Buffer, Elements);
1035
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001036 // Add prototype flag if we're dealing with a C language and the
1037 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001038 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001039 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001040 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001041 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001042 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001043
1044 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001045 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001046
1047 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001048 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001049 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001050 case dwarf::DW_TAG_structure_type:
1051 case dwarf::DW_TAG_union_type:
1052 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001053 // Add elements to structure type.
Manman Renab8ffba2014-07-28 19:14:13 +00001054 DIArray Elements = CTy.getElements();
David Blaikiea1ae0e62013-08-01 20:30:22 +00001055 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001056 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001057 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001058 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001059 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001060 DIDerivedType DDTy(Element);
1061 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001062 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001063 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001064 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001065 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001066 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001067 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001068 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001069 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001070 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001071 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001072 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001073 StringRef PropertyName = Property.getObjCPropertyName();
1074 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001075 if (Property.getType())
1076 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001077 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001078 StringRef GetterName = Property.getObjCPropertyGetterName();
1079 if (!GetterName.empty())
1080 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1081 StringRef SetterName = Property.getObjCPropertySetterName();
1082 if (!SetterName.empty())
1083 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1084 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001085 if (Property.isReadOnlyObjCProperty())
1086 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1087 if (Property.isReadWriteObjCProperty())
1088 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1089 if (Property.isAssignObjCProperty())
1090 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1091 if (Property.isRetainObjCProperty())
1092 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1093 if (Property.isCopyObjCProperty())
1094 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1095 if (Property.isNonAtomicObjCProperty())
1096 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1097 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001098 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001099 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001100
Devang Pateld925d1a2012-02-07 23:33:58 +00001101 DIEEntry *Entry = getDIEEntry(Element);
1102 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001103 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001104 insertDIEEntry(Element, Entry);
1105 }
Devang Patel403e8192012-02-04 01:30:32 +00001106 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001107 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001108 }
1109
1110 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001111 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001112
Eric Christopher9e429ae2013-10-05 00:27:02 +00001113 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001114 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001115 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001116 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001117
Devang Patel12419ae2011-05-12 21:29:42 +00001118 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001119 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001120
Eric Christopherda011dd2011-12-16 23:42:42 +00001121 // Add template parameters to a class, structure or union types.
1122 // FIXME: The support isn't in the metadata for this yet.
1123 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001124 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001125 addTemplateParams(Buffer, CTy.getTemplateParams());
1126
1127 break;
1128 }
1129 default:
1130 break;
1131 }
1132
1133 // Add name if not anonymous or intermediate type.
1134 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001135 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001136
Eric Christopher775cbd22012-05-22 18:45:18 +00001137 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001138 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001139 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001140 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001141 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001142 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001143 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001144 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001145 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001146 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001147
1148 // If we're a forward decl, say so.
1149 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001150 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001151
1152 // Add source line info if available.
1153 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001154 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001155
1156 // No harm in adding the runtime language to the declaration.
1157 unsigned RLang = CTy.getRunTimeLang();
1158 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001159 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001160 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001161 }
1162}
1163
Manman Renffc9a712013-10-23 23:05:28 +00001164/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1165/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001166void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1167 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001168 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001169 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001170 // Add the type if it exists, it could be void and therefore no type.
1171 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001172 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001173 if (!TP.getName().empty())
1174 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001175}
1176
Manman Renffc9a712013-10-23 23:05:28 +00001177/// constructTemplateValueParameterDIE - Construct new DIE for the given
1178/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001179void
1180DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001181 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001182 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001183
1184 // Add the type if there is one, template template and template parameter
1185 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001186 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001187 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001188 if (!VP.getName().empty())
1189 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1190 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001191 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001192 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
David Blaikiea1e813d2013-05-10 21:52:07 +00001193 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1194 // For declaration non-type template parameters (such as global values and
1195 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001196 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001197 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001198 // Emit DW_OP_stack_value to use the address as the immediate value of the
1199 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001200 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001201 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001202 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001203 assert(isa<MDString>(Val));
1204 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1205 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001206 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001207 assert(isa<MDNode>(Val));
1208 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001209 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001210 }
1211 }
Devang Patel0e821f42011-04-12 23:21:44 +00001212}
1213
Devang Patel17b53272011-05-06 16:57:54 +00001214/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001215DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001216 // Construct the context before querying for the existence of the DIE in case
1217 // such construction creates the DIE.
1218 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001219
David Blaikie65a74662014-04-25 18:26:14 +00001220 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001221 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001222 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001223
David Blaikie553eb4a2014-06-06 22:16:56 +00001224 StringRef Name = NS.getName();
1225 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001226 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001227 else
1228 Name = "(anonymous namespace)";
1229 DD->addAccelNamespace(Name, NDie);
1230 addGlobalName(Name, NDie, NS.getContext());
Devang Patel17b53272011-05-06 16:57:54 +00001231 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001232 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001233}
1234
Devang Patel89543712011-08-15 17:24:54 +00001235/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001236DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001237 // Construct the context before querying for the existence of the DIE in case
1238 // such construction creates the DIE (as is the case for member function
1239 // declarations).
David Blaikie7f916862014-05-27 18:37:38 +00001240 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
Adrian Prantld486b342014-03-18 17:41:15 +00001241
David Blaikie65a74662014-04-25 18:26:14 +00001242 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001243 return SPDie;
1244
David Blaikiece7a1bd2014-05-21 18:04:33 +00001245 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
Manman Ren73d697c2013-10-29 00:58:04 +00001246 // Add subprogram definitions to the CU die directly.
David Blaikiebd579052014-04-28 21:14:27 +00001247 ContextDIE = &getUnitDie();
Alp Tokerda0c7932014-05-31 21:26:28 +00001248 // Build the decl now to ensure it precedes the definition.
David Blaikie7f916862014-05-27 18:37:38 +00001249 getOrCreateSubprogramDIE(SPDecl);
David Blaikiece7a1bd2014-05-21 18:04:33 +00001250 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001251
1252 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001253 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001254
David Blaikie6cfa9e12014-06-05 00:25:26 +00001255 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001256 // subprogram turns out to have inlined instances or not.
1257 if (SP.isDefinition())
1258 return &SPDie;
1259
David Blaikie7f916862014-05-27 18:37:38 +00001260 applySubprogramAttributes(SP, SPDie);
1261 return &SPDie;
1262}
1263
David Blaikie279c4512014-11-02 08:18:06 +00001264void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie,
1265 bool Minimal) {
David Blaikie7f916862014-05-27 18:37:38 +00001266 DIE *DeclDie = nullptr;
1267 StringRef DeclLinkageName;
1268 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001269 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001270 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001271 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001272 "getOrCreateSubprogramDIE");
David Blaikie7f916862014-05-27 18:37:38 +00001273 DeclLinkageName = SPDecl.getLinkageName();
1274 }
Rafael Espindola79278362011-11-10 22:34:29 +00001275
Devang Patel89543712011-08-15 17:24:54 +00001276 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001277 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001278
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001279 // Add the linkage name if we have one and it isn't in the Decl.
1280 StringRef LinkageName = SP.getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001281 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1282 LinkageName == DeclLinkageName) &&
1283 "decl has a linkage name and it is different");
1284 if (!LinkageName.empty() && DeclLinkageName.empty())
1285 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1286 GlobalValue::getRealLinkageName(LinkageName));
Devang Patel89543712011-08-15 17:24:54 +00001287
David Blaikiece7a1bd2014-05-21 18:04:33 +00001288 if (DeclDie) {
1289 // Refer to the function declaration where all the other attributes will be
1290 // found.
1291 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
David Blaikie7f916862014-05-27 18:37:38 +00001292 return;
David Blaikiece7a1bd2014-05-21 18:04:33 +00001293 }
Eric Christopheracb71152012-08-23 22:52:55 +00001294
Devang Patel89543712011-08-15 17:24:54 +00001295 // Constructors and operators for anonymous aggregates do not have names.
1296 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001297 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001298
David Blaikie0b9438b2014-09-19 04:47:46 +00001299 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001300 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001301 return;
1302
Devang Patel89543712011-08-15 17:24:54 +00001303 addSourceLine(SPDie, SP);
1304
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001305 // Add the prototype if we have a prototype and we have a C like
1306 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001307 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001308 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001309 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001310 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001311 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001312
Manman Renf8a19672014-07-28 22:24:06 +00001313 DISubroutineType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001314 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1315 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001316
Manman Renf8a19672014-07-28 22:24:06 +00001317 DITypeArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001318 // Add a return type. If this is a type like a C/C++ void type we don't add a
1319 // return type.
Manman Renf8a19672014-07-28 22:24:06 +00001320 if (resolve(Args.getElement(0)))
1321 addType(SPDie, DIType(resolve(Args.getElement(0))));
Devang Patel89543712011-08-15 17:24:54 +00001322
1323 unsigned VK = SP.getVirtuality();
1324 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001325 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001326 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001327 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1328 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001329 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001330 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001331 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001332 }
1333
1334 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001335 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001336
Devang Patel89543712011-08-15 17:24:54 +00001337 // Add arguments. Do not add arguments for subprogram definition. They will
1338 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001339 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001340 }
1341
1342 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001343 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001344
1345 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001346 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001347
1348 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001349 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001350
1351 if (unsigned isa = Asm->getISAEncoding()) {
1352 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1353 }
1354
Adrian Prantl99c7af22013-12-18 21:48:19 +00001355 if (SP.isLValueReference())
1356 addFlag(SPDie, dwarf::DW_AT_reference);
1357
1358 if (SP.isRValueReference())
1359 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1360
Adrian Prantlef129fb2014-01-18 02:12:00 +00001361 if (SP.isProtected())
1362 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1363 dwarf::DW_ACCESS_protected);
1364 else if (SP.isPrivate())
1365 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1366 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001367 else if (SP.isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001368 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1369 dwarf::DW_ACCESS_public);
1370
1371 if (SP.isExplicit())
1372 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001373}
1374
Devang Patel0e821f42011-04-12 23:21:44 +00001375/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001376void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001377 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001378 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001379
Bill Wendling28fe9e72012-12-06 07:38:10 +00001380 // The LowerBound value defines the lower bounds which is typically zero for
1381 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1382 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001383 // DW_AT_lower_bound and DW_AT_count attributes.
Bill Wendling28fe9e72012-12-06 07:38:10 +00001384 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001385 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001386 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001387
Bill Wendling3495f9b2012-12-06 07:55:19 +00001388 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001389 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001390
David Blaikie32b0f362014-10-01 00:56:55 +00001391 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001392 // FIXME: An unbounded array should reference the expression that defines
1393 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001394 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001395}
1396
David Blaikie871c2d92014-11-02 03:09:13 +00001397DIE *DwarfUnit::getIndexTyDie() {
1398 if (IndexTyDie)
1399 return IndexTyDie;
1400 // Construct an integer type to use for indexes.
1401 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1402 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1403 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1404 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1405 dwarf::DW_ATE_unsigned);
1406 return IndexTyDie;
1407}
1408
Devang Patel0e821f42011-04-12 23:21:44 +00001409/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001410void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001411 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001412 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001413
Eric Christopher0df08e22013-08-08 07:40:37 +00001414 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001415 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001416
1417 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001418 // FIXME: This type should be passed down from the front end
1419 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001420 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001421
1422 // Add subranges to array type.
Manman Renab8ffba2014-07-28 19:14:13 +00001423 DIArray Elements = CTy.getElements();
Devang Patel0e821f42011-04-12 23:21:44 +00001424 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1425 DIDescriptor Element = Elements.getElement(i);
1426 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1427 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1428 }
1429}
1430
Eric Christopheraeb105f2013-11-11 18:52:39 +00001431/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001432void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Manman Renab8ffba2014-07-28 19:14:13 +00001433 DIArray Elements = CTy.getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001434
1435 // Add enumerators to enumeration type.
1436 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001437 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001438 if (Enum.isEnumerator()) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001439 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001440 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001441 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001442 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001443 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1444 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001445 }
1446 }
1447 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1448 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001449 addType(Buffer, DTy);
1450 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001451 }
Devang Patel0e821f42011-04-12 23:21:44 +00001452}
1453
Devang Patel89543712011-08-15 17:24:54 +00001454/// constructContainingTypeDIEs - Construct DIEs for types that contain
1455/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001456void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001457 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001458 CE = ContainingTypeMap.end();
1459 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001460 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001461 DIDescriptor D(CI->second);
1462 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001463 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001464 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001465 if (!NDie)
1466 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001467 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001468 }
1469}
1470
Manman Ren230ec862013-10-23 23:00:44 +00001471/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001472void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001473 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001474 StringRef Name = DT.getName();
1475 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001476 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001477
Manman Ren93b30902013-10-08 18:42:58 +00001478 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001479
1480 addSourceLine(MemberDie, DT);
1481
Eric Christopherc2697f82013-10-19 01:04:47 +00001482 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001483
1484 // For C++, virtual base classes are not at fixed offset. Use following
1485 // expression to extract appropriate offset from vtable.
1486 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1487
Eric Christopher4a741042014-02-16 08:46:55 +00001488 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001489 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1490 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1491 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1492 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1493 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1494 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1495 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001496
David Blaikief2443192013-10-21 17:28:37 +00001497 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001498 } else {
1499 uint64_t Size = DT.getSizeInBits();
1500 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1501 uint64_t OffsetInBytes;
1502
1503 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001504 // Handle bitfield, assume bytes are 8 bits.
1505 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1506 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001507
1508 uint64_t Offset = DT.getOffsetInBits();
1509 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1510 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1511 uint64_t FieldOffset = (HiMark - FieldSize);
1512 Offset -= FieldOffset;
1513
1514 // Maybe we need to work from the other end.
1515 if (Asm->getDataLayout().isLittleEndian())
1516 Offset = FieldSize - (Offset + Size);
1517 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1518
Adrian Prantlc67655a2014-01-28 18:13:47 +00001519 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001520 // field that includes this bit field.
1521 OffsetInBytes = FieldOffset >> 3;
1522 } else
1523 // This is not a bitfield.
1524 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001525
David Blaikie22b29a52014-01-03 01:30:05 +00001526 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001527 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001528 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1529 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001530 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1531 } else
1532 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1533 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001534 }
Devang Patel0e821f42011-04-12 23:21:44 +00001535
1536 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001537 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001538 dwarf::DW_ACCESS_protected);
1539 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001540 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001541 dwarf::DW_ACCESS_private);
1542 // Otherwise C++ member and base classes are considered public.
Adrian Prantldaedfda2014-08-29 22:44:07 +00001543 else if (DT.isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001544 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001545 dwarf::DW_ACCESS_public);
1546 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001547 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001548 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001549
1550 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001551 if (MDNode *PNode = DT.getObjCProperty())
1552 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001553 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1554 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001555
David Blaikie37fefc32012-12-13 22:43:07 +00001556 if (DT.isArtificial())
1557 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001558}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001559
Manman Renc6b63922013-10-14 20:33:57 +00001560/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001561DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001562 if (!DT.Verify())
Craig Topper353eda42014-04-24 06:44:33 +00001563 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001564
Manman Renc6b63922013-10-14 20:33:57 +00001565 // Construct the context before querying for the existence of the DIE in case
1566 // such construction creates the DIE.
1567 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001568 assert(dwarf::isType(ContextDIE->getTag()) &&
1569 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001570
David Blaikie65a74662014-04-25 18:26:14 +00001571 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001572 return StaticMemberDIE;
1573
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001574 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001575
Manman Ren93b30902013-10-08 18:42:58 +00001576 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001577
1578 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1579 addType(StaticMemberDIE, Ty);
1580 addSourceLine(StaticMemberDIE, DT);
1581 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1582 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1583
1584 // FIXME: We could omit private if the parent is a class_type, and
1585 // public if the parent is something else.
1586 if (DT.isProtected())
1587 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1588 dwarf::DW_ACCESS_protected);
1589 else if (DT.isPrivate())
1590 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1591 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001592 else if (DT.isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001593 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1594 dwarf::DW_ACCESS_public);
1595
1596 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001597 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00001598 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1599 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001600
David Blaikie65a74662014-04-25 18:26:14 +00001601 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001602}
David Blaikie6b288cf2013-10-30 20:42:41 +00001603
David Blaikied82b2372014-03-24 20:28:10 +00001604void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikieae57e662014-11-01 23:59:23 +00001605 // Emit size of content not including length itself
1606 Asm->OutStreamer.AddComment("Length of Unit");
1607 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1608
David Blaikie6b288cf2013-10-30 20:42:41 +00001609 Asm->OutStreamer.AddComment("DWARF version number");
1610 Asm->EmitInt16(DD->getDwarfVersion());
1611 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00001612 // We share one abbreviations table across all units so it's always at the
1613 // start of the section. Use a relocatable offset where needed to ensure
1614 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001615 if (ASectionSym)
1616 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
1617 else
David Blaikie326e1fa2014-04-02 02:04:51 +00001618 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001619 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00001620 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1621 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1622}
David Blaikiebc563272013-12-13 21:33:40 +00001623
David Blaikiea34568b2014-11-01 20:06:28 +00001624void DwarfUnit::initSection(const MCSection *Section) {
1625 assert(!this->Section);
1626 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001627}
1628
David Blaikied82b2372014-03-24 20:28:10 +00001629void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
1630 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00001631 Asm->OutStreamer.AddComment("Type Signature");
1632 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
1633 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001634 // In a skeleton type unit there is no type DIE so emit a zero offset.
1635 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
1636 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001637}
1638
David Blaikiecafd9622014-11-02 08:51:37 +00001639bool DwarfTypeUnit::isDwoUnit() const {
1640 // Since there are no skeleton type units, all type units are dwo type units
1641 // when split DWARF is being used.
1642 return DD->useSplitDwarf();
1643}