blob: 8a00f881c9677ddfdee3252e2634fdbf6b1932ce [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) {
Eric Christopher05893f42013-12-30 18:32:31 +0000204
205 if (!DD->useSplitDwarf())
206 return addLocalString(Die, Attribute, String);
207
David Blaikiedaefdbf2014-04-25 21:34:35 +0000208 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000209 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000210 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000211 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000212}
213
214/// addLocalString - Add a string attribute data and value. This is guaranteed
215/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000216void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000217 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000218 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000219 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000220 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000221 Value = new (DIEValueAllocator) DIELabel(Symb);
David Blaikie6741bb02014-09-11 21:12:48 +0000222 else
223 Value = new (DIEValueAllocator) DIEDelta(Symb, DD->getDebugStrSym());
Eric Christopher05893f42013-12-30 18:32:31 +0000224 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000225 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000226}
227
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000228/// addLabel - Add a Dwarf label attribute data and value.
229///
David Blaikie65a74662014-04-25 18:26:14 +0000230void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000231 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000232 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000233 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000234}
235
David Blaikie65a74662014-04-25 18:26:14 +0000236void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000237 addLabel(Die, (dwarf::Attribute)0, Form, Label);
238}
239
Eric Christopher33ff6972013-11-21 23:46:41 +0000240/// addSectionOffset - Add an offset into a section attribute data and value.
241///
David Blaikie65a74662014-04-25 18:26:14 +0000242void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000243 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000244 if (DD->getDwarfVersion() >= 4)
245 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
246 else
247 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
248}
249
David Blaikie4a2f95f2014-03-18 01:17:26 +0000250unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
251 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
252 : getCU().getOrCreateSourceID(FileName, DirName);
253}
254
Eric Christophere9ec2452013-01-18 22:11:33 +0000255/// addOpAddress - Add a dwarf op address data and value using the
256/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
257///
David Blaikie65a74662014-04-25 18:26:14 +0000258void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000259 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000260 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
261 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000262 } else {
David Blaikief2443192013-10-21 17:28:37 +0000263 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000264 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000265 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000266 }
267}
268
David Blaikie65a74662014-04-25 18:26:14 +0000269void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000270 const MCSymbol *Hi, const MCSymbol *Lo) {
271 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000272 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000273}
274
Devang Patel0e821f42011-04-12 23:21:44 +0000275/// addDIEEntry - Add a DIE attribute data and value.
276///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000277void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000278 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
279}
280
David Blaikie65a74662014-04-25 18:26:14 +0000281void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000282 // Flag the type unit reference as a declaration so that if it contains
283 // members (implicit special members, static data member definitions, member
284 // declarations for definitions in this CU, etc) consumers don't get confused
285 // and think this is a full definition.
286 addFlag(Die, dwarf::DW_AT_declaration);
287
David Blaikie65a74662014-04-25 18:26:14 +0000288 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
289 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000290}
291
David Blaikie65a74662014-04-25 18:26:14 +0000292void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000293 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000294 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000295 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000296 if (!DieCU)
297 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000298 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000299 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000300 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000301 Die.addValue(Attribute,
302 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
303 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000304}
305
Manman Renb987e512013-10-29 00:53:03 +0000306/// Create a DIE with the given Tag, add the DIE to its parent, and
307/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000308DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000309 assert(Tag != dwarf::DW_TAG_auto_variable &&
310 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000311 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000312 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000313 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000314 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000315 return Die;
316}
317
Devang Patel0e821f42011-04-12 23:21:44 +0000318/// addBlock - Add block data.
319///
David Blaikie65a74662014-04-25 18:26:14 +0000320void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000321 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000322 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000323 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000324}
325
David Blaikie65a74662014-04-25 18:26:14 +0000326void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000327 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000328 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000329 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000330 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000331}
332
333/// addSourceLine - Add location information to specified debug information
334/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000335void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000336 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000337 if (Line == 0)
338 return;
David Blaikie101613e2014-02-12 00:11:25 +0000339
David Blaikie4a2f95f2014-03-18 01:17:26 +0000340 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000341 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000342 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
343 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000344}
345
346/// addSourceLine - Add location information to specified debug information
347/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000348void DwarfUnit::addSourceLine(DIE &Die, DIVariable V) {
David Blaikie101613e2014-02-12 00:11:25 +0000349 assert(V.isVariable());
350
Eric Christopher89a575c2014-02-12 22:38:04 +0000351 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
352 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000353}
354
355/// addSourceLine - Add location information to specified debug information
356/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000357void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000358 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000359
David Blaikie101613e2014-02-12 00:11:25 +0000360 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000361}
362
363/// addSourceLine - Add location information to specified debug information
364/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000365void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000366 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000367
David Blaikie101613e2014-02-12 00:11:25 +0000368 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000369}
370
371/// addSourceLine - Add location information to specified debug information
372/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000373void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000374 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000375
David Blaikie101613e2014-02-12 00:11:25 +0000376 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000377}
378
379/// addSourceLine - Add location information to specified debug information
380/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000381void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000382 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000383
Eric Christopher70e1bd82012-03-29 08:42:56 +0000384 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000385 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
386 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000387}
388
389/// addSourceLine - Add location information to specified debug information
390/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000391void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000392 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000393
David Blaikie101613e2014-02-12 00:11:25 +0000394 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000395}
396
Devang Patelba5fbf12011-04-26 19:06:18 +0000397/// addRegisterOp - Add register operand.
Adrian Prantlb1416832014-08-01 22:11:58 +0000398// FIXME: Ideally, this would share the implementation with
399// AsmPrinter::EmitDwarfRegOpPiece.
400void DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
401 unsigned SizeInBits, unsigned OffsetInBits) {
Eric Christopherd9134482014-08-04 21:25:23 +0000402 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000403 int DWReg = RI->getDwarfRegNum(Reg, false);
404 bool isSubRegister = DWReg < 0;
405
406 unsigned Idx = 0;
407
408 // Go up the super-register chain until we hit a valid dwarf register number.
409 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
410 DWReg = RI->getDwarfRegNum(*SR, false);
411 if (DWReg >= 0)
412 Idx = RI->getSubRegIndex(*SR, Reg);
413 }
414
415 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000416 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000417 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
418 return;
419 }
420
Adrian Prantlb1416832014-08-01 22:11:58 +0000421 // Emit register.
Devang Patelba5fbf12011-04-26 19:06:18 +0000422 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000423 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000424 else {
David Blaikief2443192013-10-21 17:28:37 +0000425 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
426 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000427 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000428
Adrian Prantlb1416832014-08-01 22:11:58 +0000429 // Emit mask.
430 bool isPiece = SizeInBits > 0;
431 if (isSubRegister || isPiece) {
432 const unsigned SizeOfByte = 8;
433 unsigned RegSizeInBits = RI->getSubRegIdxSize(Idx);
434 unsigned RegOffsetInBits = RI->getSubRegIdxOffset(Idx);
435 unsigned PieceSizeInBits = std::max(SizeInBits, RegSizeInBits);
436 unsigned PieceOffsetInBits = OffsetInBits ? OffsetInBits : RegOffsetInBits;
437 assert(RegSizeInBits >= SizeInBits && "register smaller than value");
438
439 if (RegOffsetInBits != PieceOffsetInBits) {
440 // Manually shift the value into place, since the DW_OP_piece
441 // describes the part of the variable, not the position of the
442 // subregister.
443 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
444 addUInt(TheDie, dwarf::DW_FORM_data1, RegOffsetInBits);
445 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_shr);
446 }
447
448 if (PieceOffsetInBits > 0 || PieceSizeInBits % SizeOfByte) {
449 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000450 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000451 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits);
452 addUInt(TheDie, dwarf::DW_FORM_data1, PieceOffsetInBits);
453 } else {
454 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000455 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000456 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits/SizeOfByte);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000457 }
458 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000459}
460
461/// addRegisterOffset - Add register offset.
David Blaikie65a74662014-04-25 18:26:14 +0000462void DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000463 int64_t Offset) {
Eric Christopherd9134482014-08-04 21:25:23 +0000464 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000465 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
Eric Christopherd9134482014-08-04 21:25:23 +0000466 const TargetRegisterInfo *TRI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000467 if (Reg == TRI->getFrameRegister(*Asm->MF))
468 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000469 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000470 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000471 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000472 else {
David Blaikief2443192013-10-21 17:28:37 +0000473 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
474 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000475 }
David Blaikief2443192013-10-21 17:28:37 +0000476 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000477}
478
Devang Patel0e821f42011-04-12 23:21:44 +0000479/* Byref variables, in Blocks, are declared by the programmer as "SomeType
480 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
481 gives the variable VarName either the struct, or a pointer to the struct, as
482 its type. This is necessary for various behind-the-scenes things the
483 compiler needs to do with by-reference variables in Blocks.
484
485 However, as far as the original *programmer* is concerned, the variable
486 should still have type 'SomeType', as originally declared.
487
488 The function getBlockByrefType dives into the __Block_byref_x_VarName
489 struct to find the original type of the variable, which is then assigned to
490 the variable's Debug Information Entry as its real type. So far, so good.
491 However now the debugger will expect the variable VarName to have the type
492 SomeType. So we need the location attribute for the variable to be an
493 expression that explains to the debugger how to navigate through the
494 pointers and struct to find the actual variable of type SomeType.
495
496 The following function does just that. We start by getting
497 the "normal" location for the variable. This will be the location
498 of either the struct __Block_byref_x_VarName or the pointer to the
499 struct __Block_byref_x_VarName.
500
501 The struct will look something like:
502
503 struct __Block_byref_x_VarName {
504 ... <various fields>
505 struct __Block_byref_x_VarName *forwarding;
506 ... <various other fields>
507 SomeType VarName;
508 ... <maybe more fields>
509 };
510
511 If we are given the struct directly (as our starting point) we
512 need to tell the debugger to:
513
514 1). Add the offset of the forwarding field.
515
516 2). Follow that pointer to get the real __Block_byref_x_VarName
517 struct to use (the real one may have been copied onto the heap).
518
519 3). Add the offset for the field VarName, to find the actual variable.
520
521 If we started with a pointer to the struct, then we need to
522 dereference that pointer first, before the other steps.
523 Translating this into DWARF ops, we will need to append the following
524 to the current location description for the variable:
525
526 DW_OP_deref -- optional, if we start with a pointer
527 DW_OP_plus_uconst <forward_fld_offset>
528 DW_OP_deref
529 DW_OP_plus_uconst <varName_fld_offset>
530
531 That is what this function does. */
532
533/// addBlockByrefAddress - Start with the address based on the location
534/// provided, and generate the DWARF information necessary to find the
535/// actual Block variable (navigating the Block struct) based on the
536/// starting location. Add the DWARF information to the die. For
537/// more information, read large comment just above here.
538///
David Blaikie65a74662014-04-25 18:26:14 +0000539void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000540 dwarf::Attribute Attribute,
541 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000542 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000543 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000544 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000545 bool isPointer = false;
546
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000547 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000548
549 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000550 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000551 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000552 isPointer = true;
553 }
554
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000555 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000556
557 // Find the __forwarding field and the variable field in the __Block_byref
558 // struct.
Manman Renab8ffba2014-07-28 19:14:13 +0000559 DIArray Fields = blockStruct.getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000560 DIDerivedType varField;
561 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000562
563 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000564 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000565 StringRef fieldName = DT.getName();
566 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000567 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000568 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000569 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000570 }
571
572 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000573 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
574 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000575
576 // Decode the original location, and use that as the start of the byref
577 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000578 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000579
Eric Christopheref9d7102012-07-04 02:02:18 +0000580 if (Location.isReg())
Adrian Prantlb1416832014-08-01 22:11:58 +0000581 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000582 else
David Blaikie65a74662014-04-25 18:26:14 +0000583 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000584
585 // If we started with a pointer to the __Block_byref... struct, then
586 // the first thing we need to do is dereference the pointer (DW_OP_deref).
587 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000588 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000589
590 // Next add the offset for the '__forwarding' field:
591 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
592 // adding the offset if it's 0.
593 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000594 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
595 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000596 }
597
598 // Now dereference the __forwarding field to get to the real __Block_byref
599 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000600 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000601
602 // Now that we've got the real __Block_byref... struct, add the offset
603 // for the variable's field to get to the location of the actual variable:
604 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
605 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000606 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
607 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000608 }
609
610 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000611 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000612}
613
Manman Renb3388602013-10-05 01:43:03 +0000614/// Return true if type encoding is unsigned.
615static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
616 DIDerivedType DTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000617 if (DTy.isDerivedType()) {
David Blaikie2af1c802014-05-20 18:21:51 +0000618 dwarf::Tag T = (dwarf::Tag)Ty.getTag();
619 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000620 // null pointer constant emission.
621 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
622 // here, but accept them for now due to a bug in SROA producing bogus
623 // dbg.values.
David Blaikie2af1c802014-05-20 18:21:51 +0000624 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000625 T == dwarf::DW_TAG_ptr_to_member_type ||
626 T == dwarf::DW_TAG_reference_type ||
627 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000628 return true;
629 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
630 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000631 T == dwarf::DW_TAG_restrict_type ||
632 T == dwarf::DW_TAG_enumeration_type);
David Blaikie2af1c802014-05-20 18:21:51 +0000633 if (DITypeRef Deriv = DTy.getTypeDerivedFrom())
634 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000635 // FIXME: Enums without a fixed underlying type have unknown signedness
636 // here, leading to incorrectly emitted constants.
637 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
638 return false;
639 }
Manman Renb3388602013-10-05 01:43:03 +0000640
641 DIBasicType BTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000642 assert(BTy.isBasicType());
David Blaikie60cae1b2014-05-11 16:08:41 +0000643 unsigned Encoding = BTy.getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000644 assert((Encoding == dwarf::DW_ATE_unsigned ||
645 Encoding == dwarf::DW_ATE_unsigned_char ||
646 Encoding == dwarf::DW_ATE_signed ||
647 Encoding == dwarf::DW_ATE_signed_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000648 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean) &&
649 "Unsupported encoding");
David Blaikie60cae1b2014-05-11 16:08:41 +0000650 return (Encoding == dwarf::DW_ATE_unsigned ||
651 Encoding == dwarf::DW_ATE_unsigned_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000652 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean);
Manman Renb3388602013-10-05 01:43:03 +0000653}
654
655/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000656static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000657 unsigned Tag = Ty.getTag();
658
659 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
660 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
661 Tag != dwarf::DW_TAG_restrict_type)
662 return Ty.getSizeInBits();
663
664 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
665
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000666 // If this type is not derived from any type or the type is a declaration then
667 // take conservative approach.
668 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000669 return Ty.getSizeInBits();
670
671 // If this is a derived type, go ahead and get the base type, unless it's a
672 // reference then it's just the size of the field. Pointer types have no need
673 // of this since they're a different type of qualification on the type.
674 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
675 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
676 return Ty.getSizeInBits();
677
678 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000679 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000680
681 return BaseType.getSizeInBits();
682}
683
Devang Patel0e821f42011-04-12 23:21:44 +0000684/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000685void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000686 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000687 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
688 APFloat FPImm = MO.getFPImm()->getValueAPF();
689
690 // Get the raw data form of the floating point.
691 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000692 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000693
694 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000695 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000696 int Incr = (LittleEndian ? 1 : -1);
697 int Start = (LittleEndian ? 0 : NumBytes - 1);
698 int Stop = (LittleEndian ? NumBytes : -1);
699
700 // Output the constant to DWARF one byte at a time.
701 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000702 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000703
David Blaikief2443192013-10-21 17:28:37 +0000704 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000705}
706
David Blaikiea39a76e2013-01-20 01:18:01 +0000707/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000708void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000709 // Pass this down to addConstantValue as an unsigned bag of bits.
710 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000711}
712
Devang Patel0e821f42011-04-12 23:21:44 +0000713/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000714void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
715 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000716}
717
David Blaikiec05c8f42014-05-11 15:47:39 +0000718/// addConstantValue - Add constant value entry in variable DIE.
719void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
720 DIType Ty) {
721 assert(MO.isImm() && "Invalid machine operand!");
722
David Blaikie60cae1b2014-05-11 16:08:41 +0000723 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000724}
725
David Blaikie60cae1b2014-05-11 16:08:41 +0000726void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000727 // FIXME: This is a bit conservative/simple - it emits negative values always
728 // sign extended to 64 bits rather than minimizing the number of bytes.
729 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000730 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000731}
732
David Blaikiec0a28412014-05-11 15:56:59 +0000733void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
734 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
735}
736
David Blaikiea39a76e2013-01-20 01:18:01 +0000737// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000738void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000739 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000740 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000741 addConstantValue(Die, Unsigned,
742 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000743 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000744 }
745
746 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
747
748 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000749 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000750
751 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000752 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000753
754 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000755 for (int i = 0; i < NumBytes; i++) {
756 uint8_t c;
757 if (LittleEndian)
758 c = Ptr64[i / 8] >> (8 * (i & 7));
759 else
760 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000761 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000762 }
Devang Patel0e821f42011-04-12 23:21:44 +0000763
David Blaikief2443192013-10-21 17:28:37 +0000764 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000765}
766
Eric Christopher25e35092013-04-22 07:47:40 +0000767/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000768void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000769 // Add template parameters.
770 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
771 DIDescriptor Element = TParams.getElement(i);
772 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000773 constructTemplateTypeParameterDIE(Buffer,
774 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000775 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000776 constructTemplateValueParameterDIE(Buffer,
777 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000778 }
Devang Patel0e821f42011-04-12 23:21:44 +0000779}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000780
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000781/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000782DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000783 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000784 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000785 if (Context.isType())
786 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000787 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000788 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000789 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000790 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000791 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000792}
793
Eric Christophera5a79422013-12-09 23:32:48 +0000794DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000795 DIScope Context = resolve(Ty.getContext());
796 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000797
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000798 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000799 return TyDIE;
800
801 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000802 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000803
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000804 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000805
David Blaikie9d861be2013-11-26 00:15:27 +0000806 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000807 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000808}
809
Devang Patel0e821f42011-04-12 23:21:44 +0000810/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
811/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000812DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000813 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000814 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000815
David Blaikie32887552013-11-14 22:25:02 +0000816 DIType Ty(TyNode);
817 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000818 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000819 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000820
David Blaikieee11f222014-04-12 05:35:59 +0000821 // DW_TAG_restrict_type is not supported in DWARF2
822 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
823 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
824
Manman Renf4c339e2013-10-29 22:49:29 +0000825 // Construct the context before querying for the existence of the DIE in case
826 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000827 DIScope Context = resolve(Ty.getContext());
828 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000829 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000830
David Blaikie65a74662014-04-25 18:26:14 +0000831 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000832 return TyDIE;
833
834 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000835 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000836
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000837 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000838
Devang Patel0e821f42011-04-12 23:21:44 +0000839 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +0000840 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000841 else if (Ty.isCompositeType()) {
842 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +0000843 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
844 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000845 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000846 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000847 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000848 }
David Blaikie65a74662014-04-25 18:26:14 +0000849 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000850 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000851 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +0000852 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000853 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000854
David Blaikie65a74662014-04-25 18:26:14 +0000855 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000856}
857
Eric Christophera5a79422013-12-09 23:32:48 +0000858void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000859 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000860 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
861 bool IsImplementation = 0;
862 if (Ty.isCompositeType()) {
863 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000864 // A runtime language of 0 actually means C/C++ and that any
865 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000866 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000867 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000868 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +0000869 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000870
David Blaikie98cf1722014-11-02 06:06:14 +0000871 if (!Context || Context.isCompileUnit() || Context.isFile() ||
872 Context.isNameSpace())
873 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000874 }
Devang Patel0e821f42011-04-12 23:21:44 +0000875}
876
877/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +0000878void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000879 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000880
881 // Check for pre-existence.
882 DIEEntry *Entry = getDIEEntry(Ty);
883 // If it exists then use the existing value.
884 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000885 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000886 return;
887 }
888
889 // Construct type.
890 DIE *Buffer = getOrCreateTypeDIE(Ty);
891
892 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000893 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +0000894 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +0000895 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +0000896}
897
Eric Christopher2c8b7902013-10-17 02:06:06 +0000898/// getParentContextString - Walks the metadata parent chain in a language
899/// specific manner (using the compile unit language) and returns
900/// it as a string. This is done at the metadata level because DIEs may
901/// not currently have been added to the parent context and walking the
902/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +0000903std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000904 if (!Context)
905 return "";
906
907 // FIXME: Decide whether to implement this for non-C++ languages.
908 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
909 return "";
910
Eric Christopher8dba0d52013-10-19 01:04:42 +0000911 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +0000912 SmallVector<DIScope, 1> Parents;
913 while (!Context.isCompileUnit()) {
914 Parents.push_back(Context);
915 if (Context.getContext())
916 Context = resolve(Context.getContext());
917 else
918 // Structure, etc types will have a NULL context if they're at the top
919 // level.
920 break;
921 }
922
923 // Reverse iterate over our list to go from the outermost construct to the
924 // innermost.
925 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
926 E = Parents.rend();
927 I != E; ++I) {
928 DIScope Ctx = *I;
929 StringRef Name = Ctx.getName();
David Blaikie553eb4a2014-06-06 22:16:56 +0000930 if (Name.empty() && Ctx.isNameSpace())
931 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000932 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000933 CS += Name;
934 CS += "::";
935 }
936 }
937 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000938}
939
940/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +0000941void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000942 // Get core information.
943 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000944 // Add name if not anonymous or intermediate type.
945 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000946 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000947
David Blaikiefac56122013-10-04 23:21:16 +0000948 // An unspecified type only has a name attribute.
949 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000950 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000951
David Blaikie65a74662014-04-25 18:26:14 +0000952 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +0000953 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000954
Devang Patel0e821f42011-04-12 23:21:44 +0000955 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000956 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000957}
958
959/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +0000960void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000961 // Get core information.
962 StringRef Name = DTy.getName();
963 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000964 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000965
966 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +0000967 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +0000968 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000969 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000970
971 // Add name if not anonymous or intermediate type.
972 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000973 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000974
975 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +0000976 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie65a74662014-04-25 18:26:14 +0000977 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000978
David Blaikie5d3249b2013-01-07 05:51:15 +0000979 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000980 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000981 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000982 // Add source line info if available and TyDesc is not a forward declaration.
983 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000984 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000985}
986
Adrian Prantl3f49c892014-02-25 19:57:42 +0000987/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +0000988void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000989 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renf8a19672014-07-28 22:24:06 +0000990 DIType Ty = resolve(Args.getElement(i));
Manman Renf93ac4b2014-07-29 18:20:39 +0000991 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000992 assert(i == N-1 && "Unspecified parameter must be the last argument");
993 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
994 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000995 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000996 addType(Arg, Ty);
997 if (Ty.isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000998 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000999 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001000 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001001}
1002
Devang Patel0e821f42011-04-12 23:21:44 +00001003/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001004void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001005 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001006 StringRef Name = CTy.getName();
1007
1008 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001009 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001010
1011 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001012 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001013 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001014 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001015 case dwarf::DW_TAG_enumeration_type:
1016 constructEnumTypeDIE(Buffer, CTy);
1017 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001018 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001019 // Add return type. A void return won't have a type.
Manman Renf8a19672014-07-28 22:24:06 +00001020 DITypeArray Elements = DISubroutineType(CTy).getTypeArray();
1021 DIType RTy(resolve(Elements.getElement(0)));
Eric Christopher0df08e22013-08-08 07:40:37 +00001022 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001023 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001024
1025 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001026 if (Elements.getNumElements() == 2 &&
Manman Ren72b07e82014-07-29 22:58:13 +00001027 !Elements.getElement(1))
Adrian Prantl3f49c892014-02-25 19:57:42 +00001028 isPrototyped = false;
1029
1030 constructSubprogramArguments(Buffer, Elements);
1031
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001032 // Add prototype flag if we're dealing with a C language and the
1033 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001034 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001035 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001036 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001037 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001038 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001039
1040 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001041 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001042
1043 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001044 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001045 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001046 case dwarf::DW_TAG_structure_type:
1047 case dwarf::DW_TAG_union_type:
1048 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001049 // Add elements to structure type.
Manman Renab8ffba2014-07-28 19:14:13 +00001050 DIArray Elements = CTy.getElements();
David Blaikiea1ae0e62013-08-01 20:30:22 +00001051 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001052 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001053 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001054 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001055 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001056 DIDerivedType DDTy(Element);
1057 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001058 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001059 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001060 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001061 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001062 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001063 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001064 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001065 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001066 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001067 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001068 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001069 StringRef PropertyName = Property.getObjCPropertyName();
1070 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001071 if (Property.getType())
1072 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001073 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001074 StringRef GetterName = Property.getObjCPropertyGetterName();
1075 if (!GetterName.empty())
1076 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1077 StringRef SetterName = Property.getObjCPropertySetterName();
1078 if (!SetterName.empty())
1079 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1080 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001081 if (Property.isReadOnlyObjCProperty())
1082 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1083 if (Property.isReadWriteObjCProperty())
1084 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1085 if (Property.isAssignObjCProperty())
1086 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1087 if (Property.isRetainObjCProperty())
1088 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1089 if (Property.isCopyObjCProperty())
1090 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1091 if (Property.isNonAtomicObjCProperty())
1092 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1093 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001094 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001095 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001096
Devang Pateld925d1a2012-02-07 23:33:58 +00001097 DIEEntry *Entry = getDIEEntry(Element);
1098 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001099 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001100 insertDIEEntry(Element, Entry);
1101 }
Devang Patel403e8192012-02-04 01:30:32 +00001102 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001103 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001104 }
1105
1106 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001107 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001108
Eric Christopher9e429ae2013-10-05 00:27:02 +00001109 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001110 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001111 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001112 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001113
Devang Patel12419ae2011-05-12 21:29:42 +00001114 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001115 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001116
Eric Christopherda011dd2011-12-16 23:42:42 +00001117 // Add template parameters to a class, structure or union types.
1118 // FIXME: The support isn't in the metadata for this yet.
1119 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001120 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001121 addTemplateParams(Buffer, CTy.getTemplateParams());
1122
1123 break;
1124 }
1125 default:
1126 break;
1127 }
1128
1129 // Add name if not anonymous or intermediate type.
1130 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001131 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001132
Eric Christopher775cbd22012-05-22 18:45:18 +00001133 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001134 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001135 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001136 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001137 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001138 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001139 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001140 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001141 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001142 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001143
1144 // If we're a forward decl, say so.
1145 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001146 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001147
1148 // Add source line info if available.
1149 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001150 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001151
1152 // No harm in adding the runtime language to the declaration.
1153 unsigned RLang = CTy.getRunTimeLang();
1154 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001155 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001156 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001157 }
1158}
1159
Manman Renffc9a712013-10-23 23:05:28 +00001160/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1161/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001162void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1163 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001164 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001165 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001166 // Add the type if it exists, it could be void and therefore no type.
1167 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001168 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001169 if (!TP.getName().empty())
1170 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001171}
1172
Manman Renffc9a712013-10-23 23:05:28 +00001173/// constructTemplateValueParameterDIE - Construct new DIE for the given
1174/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001175void
1176DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001177 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001178 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001179
1180 // Add the type if there is one, template template and template parameter
1181 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001182 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001183 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001184 if (!VP.getName().empty())
1185 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1186 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001187 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001188 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
David Blaikiea1e813d2013-05-10 21:52:07 +00001189 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1190 // For declaration non-type template parameters (such as global values and
1191 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001192 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001193 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001194 // Emit DW_OP_stack_value to use the address as the immediate value of the
1195 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001196 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001197 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001198 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001199 assert(isa<MDString>(Val));
1200 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1201 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001202 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001203 assert(isa<MDNode>(Val));
1204 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001205 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001206 }
1207 }
Devang Patel0e821f42011-04-12 23:21:44 +00001208}
1209
Devang Patel17b53272011-05-06 16:57:54 +00001210/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001211DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001212 // Construct the context before querying for the existence of the DIE in case
1213 // such construction creates the DIE.
1214 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001215
David Blaikie65a74662014-04-25 18:26:14 +00001216 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001217 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001218 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001219
David Blaikie553eb4a2014-06-06 22:16:56 +00001220 StringRef Name = NS.getName();
1221 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001222 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001223 else
1224 Name = "(anonymous namespace)";
1225 DD->addAccelNamespace(Name, NDie);
1226 addGlobalName(Name, NDie, NS.getContext());
Devang Patel17b53272011-05-06 16:57:54 +00001227 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001228 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001229}
1230
Devang Patel89543712011-08-15 17:24:54 +00001231/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001232DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001233 // Construct the context before querying for the existence of the DIE in case
1234 // such construction creates the DIE (as is the case for member function
1235 // declarations).
David Blaikie7f916862014-05-27 18:37:38 +00001236 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
Adrian Prantld486b342014-03-18 17:41:15 +00001237
David Blaikie65a74662014-04-25 18:26:14 +00001238 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001239 return SPDie;
1240
David Blaikiece7a1bd2014-05-21 18:04:33 +00001241 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
Manman Ren73d697c2013-10-29 00:58:04 +00001242 // Add subprogram definitions to the CU die directly.
David Blaikiebd579052014-04-28 21:14:27 +00001243 ContextDIE = &getUnitDie();
Alp Tokerda0c7932014-05-31 21:26:28 +00001244 // Build the decl now to ensure it precedes the definition.
David Blaikie7f916862014-05-27 18:37:38 +00001245 getOrCreateSubprogramDIE(SPDecl);
David Blaikiece7a1bd2014-05-21 18:04:33 +00001246 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001247
1248 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001249 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001250
David Blaikie6cfa9e12014-06-05 00:25:26 +00001251 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001252 // subprogram turns out to have inlined instances or not.
1253 if (SP.isDefinition())
1254 return &SPDie;
1255
David Blaikie7f916862014-05-27 18:37:38 +00001256 applySubprogramAttributes(SP, SPDie);
1257 return &SPDie;
1258}
1259
1260void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie) {
1261 DIE *DeclDie = nullptr;
1262 StringRef DeclLinkageName;
1263 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001264 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001265 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001266 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001267 "getOrCreateSubprogramDIE");
David Blaikie7f916862014-05-27 18:37:38 +00001268 DeclLinkageName = SPDecl.getLinkageName();
1269 }
Rafael Espindola79278362011-11-10 22:34:29 +00001270
Devang Patel89543712011-08-15 17:24:54 +00001271 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001272 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001273
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001274 // Add the linkage name if we have one and it isn't in the Decl.
1275 StringRef LinkageName = SP.getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001276 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1277 LinkageName == DeclLinkageName) &&
1278 "decl has a linkage name and it is different");
1279 if (!LinkageName.empty() && DeclLinkageName.empty())
1280 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1281 GlobalValue::getRealLinkageName(LinkageName));
Devang Patel89543712011-08-15 17:24:54 +00001282
David Blaikiece7a1bd2014-05-21 18:04:33 +00001283 if (DeclDie) {
1284 // Refer to the function declaration where all the other attributes will be
1285 // found.
1286 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
David Blaikie7f916862014-05-27 18:37:38 +00001287 return;
David Blaikiece7a1bd2014-05-21 18:04:33 +00001288 }
Eric Christopheracb71152012-08-23 22:52:55 +00001289
Devang Patel89543712011-08-15 17:24:54 +00001290 // Constructors and operators for anonymous aggregates do not have names.
1291 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001292 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001293
David Blaikie0b9438b2014-09-19 04:47:46 +00001294 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie73b65d22014-09-19 04:30:36 +00001295 if(getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1296 return;
1297
Devang Patel89543712011-08-15 17:24:54 +00001298 addSourceLine(SPDie, SP);
1299
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001300 // Add the prototype if we have a prototype and we have a C like
1301 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001302 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001303 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001304 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001305 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001306 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001307
Manman Renf8a19672014-07-28 22:24:06 +00001308 DISubroutineType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001309 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1310 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001311
Manman Renf8a19672014-07-28 22:24:06 +00001312 DITypeArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001313 // Add a return type. If this is a type like a C/C++ void type we don't add a
1314 // return type.
Manman Renf8a19672014-07-28 22:24:06 +00001315 if (resolve(Args.getElement(0)))
1316 addType(SPDie, DIType(resolve(Args.getElement(0))));
Devang Patel89543712011-08-15 17:24:54 +00001317
1318 unsigned VK = SP.getVirtuality();
1319 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001320 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001321 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001322 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1323 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001324 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001325 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001326 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001327 }
1328
1329 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001330 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001331
Devang Patel89543712011-08-15 17:24:54 +00001332 // Add arguments. Do not add arguments for subprogram definition. They will
1333 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001334 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001335 }
1336
1337 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001338 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001339
1340 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001341 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001342
1343 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001344 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001345
1346 if (unsigned isa = Asm->getISAEncoding()) {
1347 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1348 }
1349
Adrian Prantl99c7af22013-12-18 21:48:19 +00001350 if (SP.isLValueReference())
1351 addFlag(SPDie, dwarf::DW_AT_reference);
1352
1353 if (SP.isRValueReference())
1354 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1355
Adrian Prantlef129fb2014-01-18 02:12:00 +00001356 if (SP.isProtected())
1357 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1358 dwarf::DW_ACCESS_protected);
1359 else if (SP.isPrivate())
1360 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1361 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001362 else if (SP.isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001363 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1364 dwarf::DW_ACCESS_public);
1365
1366 if (SP.isExplicit())
1367 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001368}
1369
Devang Patel0e821f42011-04-12 23:21:44 +00001370/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001371void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001372 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001373 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001374
Bill Wendling28fe9e72012-12-06 07:38:10 +00001375 // The LowerBound value defines the lower bounds which is typically zero for
1376 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1377 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001378 // DW_AT_lower_bound and DW_AT_count attributes.
Bill Wendling28fe9e72012-12-06 07:38:10 +00001379 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001380 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001381 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001382
Bill Wendling3495f9b2012-12-06 07:55:19 +00001383 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001384 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001385
David Blaikie32b0f362014-10-01 00:56:55 +00001386 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001387 // FIXME: An unbounded array should reference the expression that defines
1388 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001389 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001390}
1391
David Blaikie871c2d92014-11-02 03:09:13 +00001392DIE *DwarfUnit::getIndexTyDie() {
1393 if (IndexTyDie)
1394 return IndexTyDie;
1395 // Construct an integer type to use for indexes.
1396 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1397 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1398 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1399 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1400 dwarf::DW_ATE_unsigned);
1401 return IndexTyDie;
1402}
1403
Devang Patel0e821f42011-04-12 23:21:44 +00001404/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001405void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001406 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001407 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001408
Eric Christopher0df08e22013-08-08 07:40:37 +00001409 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001410 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001411
1412 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001413 // FIXME: This type should be passed down from the front end
1414 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001415 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001416
1417 // Add subranges to array type.
Manman Renab8ffba2014-07-28 19:14:13 +00001418 DIArray Elements = CTy.getElements();
Devang Patel0e821f42011-04-12 23:21:44 +00001419 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1420 DIDescriptor Element = Elements.getElement(i);
1421 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1422 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1423 }
1424}
1425
Eric Christopheraeb105f2013-11-11 18:52:39 +00001426/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001427void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Manman Renab8ffba2014-07-28 19:14:13 +00001428 DIArray Elements = CTy.getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001429
1430 // Add enumerators to enumeration type.
1431 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001432 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001433 if (Enum.isEnumerator()) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001434 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001435 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001436 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001437 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001438 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1439 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001440 }
1441 }
1442 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1443 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001444 addType(Buffer, DTy);
1445 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001446 }
Devang Patel0e821f42011-04-12 23:21:44 +00001447}
1448
Devang Patel89543712011-08-15 17:24:54 +00001449/// constructContainingTypeDIEs - Construct DIEs for types that contain
1450/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001451void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001452 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001453 CE = ContainingTypeMap.end();
1454 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001455 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001456 DIDescriptor D(CI->second);
1457 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001458 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001459 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001460 if (!NDie)
1461 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001462 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001463 }
1464}
1465
Manman Ren230ec862013-10-23 23:00:44 +00001466/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001467void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001468 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001469 StringRef Name = DT.getName();
1470 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001471 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001472
Manman Ren93b30902013-10-08 18:42:58 +00001473 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001474
1475 addSourceLine(MemberDie, DT);
1476
Eric Christopherc2697f82013-10-19 01:04:47 +00001477 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001478
1479 // For C++, virtual base classes are not at fixed offset. Use following
1480 // expression to extract appropriate offset from vtable.
1481 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1482
Eric Christopher4a741042014-02-16 08:46:55 +00001483 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001484 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1485 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1486 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1487 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1488 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1489 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1490 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001491
David Blaikief2443192013-10-21 17:28:37 +00001492 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001493 } else {
1494 uint64_t Size = DT.getSizeInBits();
1495 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1496 uint64_t OffsetInBytes;
1497
1498 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001499 // Handle bitfield, assume bytes are 8 bits.
1500 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1501 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001502
1503 uint64_t Offset = DT.getOffsetInBits();
1504 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1505 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1506 uint64_t FieldOffset = (HiMark - FieldSize);
1507 Offset -= FieldOffset;
1508
1509 // Maybe we need to work from the other end.
1510 if (Asm->getDataLayout().isLittleEndian())
1511 Offset = FieldSize - (Offset + Size);
1512 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1513
Adrian Prantlc67655a2014-01-28 18:13:47 +00001514 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001515 // field that includes this bit field.
1516 OffsetInBytes = FieldOffset >> 3;
1517 } else
1518 // This is not a bitfield.
1519 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001520
David Blaikie22b29a52014-01-03 01:30:05 +00001521 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001522 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001523 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1524 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001525 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1526 } else
1527 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1528 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001529 }
Devang Patel0e821f42011-04-12 23:21:44 +00001530
1531 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001532 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001533 dwarf::DW_ACCESS_protected);
1534 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001535 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001536 dwarf::DW_ACCESS_private);
1537 // Otherwise C++ member and base classes are considered public.
Adrian Prantldaedfda2014-08-29 22:44:07 +00001538 else if (DT.isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001539 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001540 dwarf::DW_ACCESS_public);
1541 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001542 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001543 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001544
1545 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001546 if (MDNode *PNode = DT.getObjCProperty())
1547 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001548 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1549 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001550
David Blaikie37fefc32012-12-13 22:43:07 +00001551 if (DT.isArtificial())
1552 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001553}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001554
Manman Renc6b63922013-10-14 20:33:57 +00001555/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001556DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001557 if (!DT.Verify())
Craig Topper353eda42014-04-24 06:44:33 +00001558 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001559
Manman Renc6b63922013-10-14 20:33:57 +00001560 // Construct the context before querying for the existence of the DIE in case
1561 // such construction creates the DIE.
1562 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001563 assert(dwarf::isType(ContextDIE->getTag()) &&
1564 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001565
David Blaikie65a74662014-04-25 18:26:14 +00001566 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001567 return StaticMemberDIE;
1568
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001569 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001570
Manman Ren93b30902013-10-08 18:42:58 +00001571 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001572
1573 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1574 addType(StaticMemberDIE, Ty);
1575 addSourceLine(StaticMemberDIE, DT);
1576 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1577 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1578
1579 // FIXME: We could omit private if the parent is a class_type, and
1580 // public if the parent is something else.
1581 if (DT.isProtected())
1582 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1583 dwarf::DW_ACCESS_protected);
1584 else if (DT.isPrivate())
1585 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1586 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001587 else if (DT.isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001588 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1589 dwarf::DW_ACCESS_public);
1590
1591 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001592 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00001593 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1594 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001595
David Blaikie65a74662014-04-25 18:26:14 +00001596 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001597}
David Blaikie6b288cf2013-10-30 20:42:41 +00001598
David Blaikied82b2372014-03-24 20:28:10 +00001599void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikieae57e662014-11-01 23:59:23 +00001600 // Emit size of content not including length itself
1601 Asm->OutStreamer.AddComment("Length of Unit");
1602 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1603
David Blaikie6b288cf2013-10-30 20:42:41 +00001604 Asm->OutStreamer.AddComment("DWARF version number");
1605 Asm->EmitInt16(DD->getDwarfVersion());
1606 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00001607 // We share one abbreviations table across all units so it's always at the
1608 // start of the section. Use a relocatable offset where needed to ensure
1609 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001610 if (ASectionSym)
1611 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
1612 else
David Blaikie326e1fa2014-04-02 02:04:51 +00001613 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001614 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00001615 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1616 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1617}
David Blaikiebc563272013-12-13 21:33:40 +00001618
David Blaikiea34568b2014-11-01 20:06:28 +00001619void DwarfUnit::initSection(const MCSection *Section) {
1620 assert(!this->Section);
1621 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001622}
1623
David Blaikied82b2372014-03-24 20:28:10 +00001624void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
1625 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00001626 Asm->OutStreamer.AddComment("Type Signature");
1627 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
1628 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001629 // In a skeleton type unit there is no type DIE so emit a zero offset.
1630 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
1631 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001632}
1633