blob: 42c1cbf768a377470b140aa5f750023b5dc1834b [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
14#define DEBUG_TYPE "dwarfdebug"
15
David Blaikie2c86a722013-12-02 19:33:15 +000016#include "DwarfUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "DwarfAccelTable.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"
Bill Wendlingf799efd2012-06-29 08:32:07 +000020#include "llvm/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/Constants.h"
22#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"
Devang Patel0e821f42011-04-12 23:21:44 +000035
36using namespace llvm;
37
Eric Christopher4287a492013-12-09 23:57:44 +000038static cl::opt<bool>
39GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
40 cl::desc("Generate DWARF4 type units."),
41 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000042
David Blaikie2a80e442013-12-02 22:09:48 +000043/// Unit - Unit constructor.
David Blaikie7480ae62014-01-09 03:03:27 +000044DwarfUnit::DwarfUnit(unsigned UID, DIE *D, DICompileUnit Node, AsmPrinter *A,
45 DwarfDebug *DW, DwarfFile *DWU)
David Blaikief645f962014-01-09 03:23:41 +000046 : UniqueID(UID), CUNode(Node), UnitDie(D), DebugInfoOffset(0), Asm(A),
47 DD(DW), DU(DWU), IndexTyDie(0), Section(0), Skeleton(0) {
David Blaikie319a05f2013-12-02 19:33:10 +000048 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
49}
50
Eric Christopher4287a492013-12-09 23:57:44 +000051DwarfCompileUnit::DwarfCompileUnit(unsigned UID, DIE *D, DICompileUnit Node,
52 AsmPrinter *A, DwarfDebug *DW,
53 DwarfFile *DWU)
David Blaikie7480ae62014-01-09 03:03:27 +000054 : DwarfUnit(UID, D, Node, A, DW, DWU) {
David Blaikie5a152402013-11-15 23:52:02 +000055 insertDIE(Node, D);
Devang Patel0e821f42011-04-12 23:21:44 +000056}
57
David Blaikie15632ae2014-02-12 00:31:30 +000058DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DIE *D, DwarfCompileUnit &CU,
Eric Christopher4287a492013-12-09 23:57:44 +000059 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikie15632ae2014-02-12 00:31:30 +000060 : DwarfUnit(UID, D, CU.getCUNode(), A, DW, DWU), CU(CU) {
61 (void)CU;
62}
David Blaikie409dd9c2013-11-19 23:08:21 +000063
David Blaikie319a05f2013-12-02 19:33:10 +000064/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000065DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000066 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
67 DIEBlocks[j]->~DIEBlock();
68}
69
70/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
71/// information entry.
Eric Christophera5a79422013-12-09 23:32:48 +000072DIEEntry *DwarfUnit::createDIEEntry(DIE *Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000073 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
74 return Value;
75}
76
Bill Wendling3495f9b2012-12-06 07:55:19 +000077/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000078/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000079int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000080 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000081 default:
82 break;
83
84 case dwarf::DW_LANG_C89:
85 case dwarf::DW_LANG_C99:
86 case dwarf::DW_LANG_C:
87 case dwarf::DW_LANG_C_plus_plus:
88 case dwarf::DW_LANG_ObjC:
89 case dwarf::DW_LANG_ObjC_plus_plus:
90 return 0;
91
92 case dwarf::DW_LANG_Fortran77:
93 case dwarf::DW_LANG_Fortran90:
94 case dwarf::DW_LANG_Fortran95:
95 return 1;
96
97 // The languages below have valid values only if the DWARF version >= 4.
98 case dwarf::DW_LANG_Java:
99 case dwarf::DW_LANG_Python:
100 case dwarf::DW_LANG_UPC:
101 case dwarf::DW_LANG_D:
102 if (dwarf::DWARF_VERSION >= 4)
103 return 0;
104 break;
105
106 case dwarf::DW_LANG_Ada83:
107 case dwarf::DW_LANG_Ada95:
108 case dwarf::DW_LANG_Cobol74:
109 case dwarf::DW_LANG_Cobol85:
110 case dwarf::DW_LANG_Modula2:
111 case dwarf::DW_LANG_Pascal83:
112 case dwarf::DW_LANG_PLI:
113 if (dwarf::DWARF_VERSION >= 4)
114 return 1;
115 break;
116 }
117
118 return -1;
119}
120
Manman Ren4dbdc902013-10-31 17:54:35 +0000121/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000122static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000123 // When the MDNode can be part of the type system, the DIE can be shared
124 // across CUs.
125 // Combining type units and cross-CU DIE sharing is lower value (since
126 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
127 // level already) but may be implementable for some value in projects
128 // building multiple independent libraries with LTO and then linking those
129 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000130 return (D.isType() ||
131 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000132 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000133}
134
135/// getDIE - Returns the debug information entry map slot for the
136/// specified debug variable. We delegate the request to DwarfDebug
137/// when the DIE for this MDNode can be shared across CUs. The mappings
138/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000139DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000140 if (isShareableAcrossCUs(D))
141 return DD->getDIE(D);
142 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000143}
144
145/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
146/// when the DIE for this MDNode can be shared across CUs. The mappings
147/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000148void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000149 if (isShareableAcrossCUs(Desc)) {
150 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000151 return;
152 }
David Blaikie2ad00162013-11-15 23:09:13 +0000153 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000154}
155
Eric Christopherbb69a272012-08-24 01:14:27 +0000156/// addFlag - Add a flag that is true.
Eric Christophera5a79422013-12-09 23:32:48 +0000157void DwarfUnit::addFlag(DIE *Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000158 if (DD->getDwarfVersion() >= 4)
Eric Christopherdccd3282013-10-04 22:40:05 +0000159 Die->addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000160 else
Eric Christopherdccd3282013-10-04 22:40:05 +0000161 Die->addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000162}
163
Devang Patel0e821f42011-04-12 23:21:44 +0000164/// addUInt - Add an unsigned integer attribute data and value.
165///
Eric Christophera5a79422013-12-09 23:32:48 +0000166void DwarfUnit::addUInt(DIE *Die, dwarf::Attribute Attribute,
167 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000168 if (!Form)
169 Form = DIEInteger::BestForm(false, Integer);
170 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
171 DIEInteger(Integer);
David Blaikief2443192013-10-21 17:28:37 +0000172 Die->addValue(Attribute, *Form, Value);
173}
174
Eric Christophera5a79422013-12-09 23:32:48 +0000175void DwarfUnit::addUInt(DIEBlock *Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000176 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000177}
178
179/// addSInt - Add an signed integer attribute data and value.
180///
Eric Christophera5a79422013-12-09 23:32:48 +0000181void DwarfUnit::addSInt(DIE *Die, dwarf::Attribute Attribute,
182 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000183 if (!Form)
184 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000185 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikief2443192013-10-21 17:28:37 +0000186 Die->addValue(Attribute, *Form, Value);
187}
188
Eric Christophera5a79422013-12-09 23:32:48 +0000189void DwarfUnit::addSInt(DIEBlock *Die, Optional<dwarf::Form> Form,
190 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000191 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000192}
193
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000194/// addString - Add a string attribute data and value. We always emit a
195/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000196/// more predictable sizes. In the case of split dwarf we emit an index
197/// into another table which gets us the static offset into the string
198/// table.
Eric Christophera5a79422013-12-09 23:32:48 +0000199void DwarfUnit::addString(DIE *Die, dwarf::Attribute Attribute,
200 StringRef String) {
Eric Christopher05893f42013-12-30 18:32:31 +0000201
202 if (!DD->useSplitDwarf())
203 return addLocalString(Die, Attribute, String);
204
205 unsigned idx = DU->getStringPoolIndex(String);
206 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000207 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000208 Die->addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000209}
210
211/// addLocalString - Add a string attribute data and value. This is guaranteed
212/// to be in the local string pool instead of indirected.
Eric Christophera5a79422013-12-09 23:32:48 +0000213void DwarfUnit::addLocalString(DIE *Die, dwarf::Attribute Attribute,
214 StringRef String) {
Eric Christophere698f532012-12-20 21:58:36 +0000215 MCSymbol *Symb = DU->getStringPoolEntry(String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000216 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000217 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000218 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000219 else {
Eric Christophere698f532012-12-20 21:58:36 +0000220 MCSymbol *StringPool = DU->getStringPoolSym();
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000221 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000222 }
Eric Christopher05893f42013-12-30 18:32:31 +0000223 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
224 Die->addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000225}
226
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000227/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000228///
Eric Christophera5a79422013-12-09 23:32:48 +0000229void DwarfUnit::addExpr(DIEBlock *Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000230 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikief2443192013-10-21 17:28:37 +0000231 Die->addValue((dwarf::Attribute)0, Form, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000232}
233
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000234/// addLabel - Add a Dwarf label attribute data and value.
235///
Eric Christophera5a79422013-12-09 23:32:48 +0000236void DwarfUnit::addLabel(DIE *Die, dwarf::Attribute Attribute, dwarf::Form Form,
237 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000238 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
239 Die->addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000240}
241
Eric Christophera5a79422013-12-09 23:32:48 +0000242void DwarfUnit::addLabel(DIEBlock *Die, dwarf::Form Form,
243 const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000244 addLabel(Die, (dwarf::Attribute)0, Form, Label);
245}
246
Eric Christopher33ff6972013-11-21 23:46:41 +0000247/// addSectionLabel - Add a Dwarf section label attribute data and value.
248///
Eric Christophera5a79422013-12-09 23:32:48 +0000249void DwarfUnit::addSectionLabel(DIE *Die, dwarf::Attribute Attribute,
250 const MCSymbol *Label) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000251 if (DD->getDwarfVersion() >= 4)
252 addLabel(Die, Attribute, dwarf::DW_FORM_sec_offset, Label);
253 else
254 addLabel(Die, Attribute, dwarf::DW_FORM_data4, Label);
255}
256
257/// addSectionOffset - Add an offset into a section attribute data and value.
258///
Eric Christophera5a79422013-12-09 23:32:48 +0000259void DwarfUnit::addSectionOffset(DIE *Die, dwarf::Attribute Attribute,
260 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000261 if (DD->getDwarfVersion() >= 4)
262 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
263 else
264 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
265}
266
Eric Christopher962c9082013-01-15 23:56:56 +0000267/// addLabelAddress - Add a dwarf label attribute data and value using
268/// DW_FORM_addr or DW_FORM_GNU_addr_index.
269///
Eric Christopher4287a492013-12-09 23:57:44 +0000270void DwarfCompileUnit::addLabelAddress(DIE *Die, dwarf::Attribute Attribute,
271 MCSymbol *Label) {
Alexey Samsonov4436bf02013-10-03 08:54:43 +0000272 if (Label)
273 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton21101b32013-09-19 23:21:01 +0000274
Eric Christophercf48ade2014-01-24 11:52:53 +0000275 if (!DD->useSplitDwarf()) {
276 if (Label) {
277 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
278 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
279 } else {
280 DIEValue *Value = new (DIEValueAllocator) DIEInteger(0);
281 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
282 }
Eric Christopher962c9082013-01-15 23:56:56 +0000283 } else {
Eric Christophercf48ade2014-01-24 11:52:53 +0000284 unsigned idx = DU->getAddrPoolIndex(Label);
285 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
286 Die->addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
Eric Christopher962c9082013-01-15 23:56:56 +0000287 }
288}
289
Eric Christophere9ec2452013-01-18 22:11:33 +0000290/// addOpAddress - Add a dwarf op address data and value using the
291/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
292///
Eric Christophera5a79422013-12-09 23:32:48 +0000293void DwarfUnit::addOpAddress(DIEBlock *Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000294 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000295 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
296 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000297 } else {
David Blaikief2443192013-10-21 17:28:37 +0000298 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
299 addUInt(Die, dwarf::DW_FORM_GNU_addr_index, DU->getAddrPoolIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000300 }
301}
302
Eric Christopher33ff6972013-11-21 23:46:41 +0000303/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000304///
Eric Christophera5a79422013-12-09 23:32:48 +0000305void DwarfUnit::addSectionDelta(DIE *Die, dwarf::Attribute Attribute,
306 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000307 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Eric Christopher33ff6972013-11-21 23:46:41 +0000308 if (DD->getDwarfVersion() >= 4)
309 Die->addValue(Attribute, dwarf::DW_FORM_sec_offset, Value);
310 else
311 Die->addValue(Attribute, dwarf::DW_FORM_data4, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000312}
313
314/// addDIEEntry - Add a DIE attribute data and value.
315///
Eric Christophera5a79422013-12-09 23:32:48 +0000316void DwarfUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute, DIE *Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000317 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
318}
319
David Blaikie47f615e2013-12-17 23:32:35 +0000320void DwarfUnit::addDIETypeSignature(DIE *Die, const DwarfTypeUnit &Type) {
321 Die->addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
322 new (DIEValueAllocator) DIETypeSignature(Type));
323}
324
Eric Christophera5a79422013-12-09 23:32:48 +0000325void DwarfUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute,
326 DIEEntry *Entry) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000327 const DIE *DieCU = Die->getUnitOrNull();
328 const DIE *EntryCU = Entry->getEntry()->getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000329 if (!DieCU)
330 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikie2a80e442013-12-02 22:09:48 +0000331 DieCU = getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000332 if (!EntryCU)
David Blaikie2a80e442013-12-02 22:09:48 +0000333 EntryCU = getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000334 Die->addValue(Attribute, EntryCU == DieCU ? dwarf::DW_FORM_ref4
335 : dwarf::DW_FORM_ref_addr,
336 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000337}
338
Manman Renb987e512013-10-29 00:53:03 +0000339/// Create a DIE with the given Tag, add the DIE to its parent, and
340/// call insertDIE if MD is not null.
Eric Christophera5a79422013-12-09 23:32:48 +0000341DIE *DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
Manman Renb987e512013-10-29 00:53:03 +0000342 DIE *Die = new DIE(Tag);
343 Parent.addChild(Die);
David Blaikie52c50202013-11-16 00:29:01 +0000344 if (N)
345 insertDIE(N, Die);
Manman Renb987e512013-10-29 00:53:03 +0000346 return Die;
347}
348
Devang Patel0e821f42011-04-12 23:21:44 +0000349/// addBlock - Add block data.
350///
Eric Christophera5a79422013-12-09 23:32:48 +0000351void DwarfUnit::addBlock(DIE *Die, dwarf::Attribute Attribute,
352 DIEBlock *Block) {
Devang Patel0e821f42011-04-12 23:21:44 +0000353 Block->ComputeSize(Asm);
354 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
355 Die->addValue(Attribute, Block->BestForm(), Block);
356}
357
358/// addSourceLine - Add location information to specified debug information
359/// entry.
David Blaikie101613e2014-02-12 00:11:25 +0000360void DwarfUnit::addSourceLine(DIE *Die, unsigned Line, StringRef File,
361 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000362 if (Line == 0)
363 return;
David Blaikie101613e2014-02-12 00:11:25 +0000364
365 unsigned FileID = DD->getOrCreateSourceID(File, Directory, getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000366 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000367 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
368 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000369}
370
371/// addSourceLine - Add location information to specified debug information
372/// entry.
David Blaikie101613e2014-02-12 00:11:25 +0000373void DwarfUnit::addSourceLine(DIE *Die, DIVariable V) {
374 assert(V.isVariable());
375
376 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(), V.getContext().getDirectory());
377}
378
379/// addSourceLine - Add location information to specified debug information
380/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000381void DwarfUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000382 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000383
David Blaikie101613e2014-02-12 00:11:25 +0000384 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000385}
386
387/// addSourceLine - Add location information to specified debug information
388/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000389void DwarfUnit::addSourceLine(DIE *Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000390 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000391
David Blaikie101613e2014-02-12 00:11:25 +0000392 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000393}
394
395/// addSourceLine - Add location information to specified debug information
396/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000397void DwarfUnit::addSourceLine(DIE *Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000398 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000399
David Blaikie101613e2014-02-12 00:11:25 +0000400 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000401}
402
403/// addSourceLine - Add location information to specified debug information
404/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000405void DwarfUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000406 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000407
Eric Christopher70e1bd82012-03-29 08:42:56 +0000408 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000409 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
410 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000411}
412
413/// addSourceLine - Add location information to specified debug information
414/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000415void DwarfUnit::addSourceLine(DIE *Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000416 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000417
David Blaikie101613e2014-02-12 00:11:25 +0000418 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000419}
420
Eric Christopher92331fd2012-11-21 00:34:38 +0000421/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000422/// DbgVariable based on provided MachineLocation.
Eric Christophera5a79422013-12-09 23:32:48 +0000423void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
424 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000425 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000426 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000427 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000428 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
429 else
David Blaikieea2605d2013-06-20 00:25:24 +0000430 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000431 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000432}
433
Devang Patelba5fbf12011-04-26 19:06:18 +0000434/// addRegisterOp - Add register operand.
Eric Christophera5a79422013-12-09 23:32:48 +0000435void DwarfUnit::addRegisterOp(DIEBlock *TheDie, unsigned Reg) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000436 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000437 int DWReg = RI->getDwarfRegNum(Reg, false);
438 bool isSubRegister = DWReg < 0;
439
440 unsigned Idx = 0;
441
442 // Go up the super-register chain until we hit a valid dwarf register number.
443 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
444 DWReg = RI->getDwarfRegNum(*SR, false);
445 if (DWReg >= 0)
446 Idx = RI->getSubRegIndex(*SR, Reg);
447 }
448
449 if (DWReg < 0) {
450 DEBUG(llvm::dbgs() << "Invalid Dwarf register number.\n");
451 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
452 return;
453 }
454
455 // Emit register
Devang Patelba5fbf12011-04-26 19:06:18 +0000456 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000457 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000458 else {
David Blaikief2443192013-10-21 17:28:37 +0000459 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
460 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000461 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000462
463 // Emit Mask
464 if (isSubRegister) {
465 unsigned Size = RI->getSubRegIdxSize(Idx);
466 unsigned Offset = RI->getSubRegIdxOffset(Idx);
467 if (Offset > 0) {
468 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
469 addUInt(TheDie, dwarf::DW_FORM_data1, Size);
470 addUInt(TheDie, dwarf::DW_FORM_data1, Offset);
471 } else {
472 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
473 addUInt(TheDie, dwarf::DW_FORM_data1, Size);
474 }
475 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000476}
477
478/// addRegisterOffset - Add register offset.
Eric Christophera5a79422013-12-09 23:32:48 +0000479void DwarfUnit::addRegisterOffset(DIEBlock *TheDie, unsigned Reg,
480 int64_t Offset) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000481 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
482 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
483 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
484 if (Reg == TRI->getFrameRegister(*Asm->MF))
485 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000486 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000487 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000488 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000489 else {
David Blaikief2443192013-10-21 17:28:37 +0000490 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
491 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000492 }
David Blaikief2443192013-10-21 17:28:37 +0000493 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000494}
495
496/// addAddress - Add an address attribute to a die based on the location
497/// provided.
Eric Christophera5a79422013-12-09 23:32:48 +0000498void DwarfUnit::addAddress(DIE *Die, dwarf::Attribute Attribute,
499 const MachineLocation &Location, bool Indirect) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000500 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
501
David Blaikieea2605d2013-06-20 00:25:24 +0000502 if (Location.isReg() && !Indirect)
Devang Patelba5fbf12011-04-26 19:06:18 +0000503 addRegisterOp(Block, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000504 else {
Devang Patelba5fbf12011-04-26 19:06:18 +0000505 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000506 if (Indirect && !Location.isReg()) {
David Blaikief2443192013-10-21 17:28:37 +0000507 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000508 }
509 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000510
511 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000512 addBlock(Die, Attribute, Block);
Devang Patelba5fbf12011-04-26 19:06:18 +0000513}
514
Devang Patel0e821f42011-04-12 23:21:44 +0000515/// addComplexAddress - Start with the address based on the location provided,
516/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000517/// given the extra address information encoded in the DbgVariable, starting
518/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000519///
Eric Christophera5a79422013-12-09 23:32:48 +0000520void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
521 dwarf::Attribute Attribute,
522 const MachineLocation &Location) {
Devang Patel0e821f42011-04-12 23:21:44 +0000523 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000524 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000525 unsigned i = 0;
526 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000527 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000528 // If first address element is OpPlus then emit
529 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000530 addRegisterOffset(Block, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000531 i = 2;
532 } else
533 addRegisterOp(Block, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000534 } else
Devang Patelba5fbf12011-04-26 19:06:18 +0000535 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000536
Eric Christopherc2697f82013-10-19 01:04:47 +0000537 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000538 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000539 if (Element == DIBuilder::OpPlus) {
David Blaikief2443192013-10-21 17:28:37 +0000540 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
541 addUInt(Block, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel0e821f42011-04-12 23:21:44 +0000542 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000543 if (!Location.isReg())
David Blaikief2443192013-10-21 17:28:37 +0000544 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Eric Christopherc2697f82013-10-19 01:04:47 +0000545 } else
546 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000547 }
548
549 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000550 addBlock(Die, Attribute, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000551}
552
553/* Byref variables, in Blocks, are declared by the programmer as "SomeType
554 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
555 gives the variable VarName either the struct, or a pointer to the struct, as
556 its type. This is necessary for various behind-the-scenes things the
557 compiler needs to do with by-reference variables in Blocks.
558
559 However, as far as the original *programmer* is concerned, the variable
560 should still have type 'SomeType', as originally declared.
561
562 The function getBlockByrefType dives into the __Block_byref_x_VarName
563 struct to find the original type of the variable, which is then assigned to
564 the variable's Debug Information Entry as its real type. So far, so good.
565 However now the debugger will expect the variable VarName to have the type
566 SomeType. So we need the location attribute for the variable to be an
567 expression that explains to the debugger how to navigate through the
568 pointers and struct to find the actual variable of type SomeType.
569
570 The following function does just that. We start by getting
571 the "normal" location for the variable. This will be the location
572 of either the struct __Block_byref_x_VarName or the pointer to the
573 struct __Block_byref_x_VarName.
574
575 The struct will look something like:
576
577 struct __Block_byref_x_VarName {
578 ... <various fields>
579 struct __Block_byref_x_VarName *forwarding;
580 ... <various other fields>
581 SomeType VarName;
582 ... <maybe more fields>
583 };
584
585 If we are given the struct directly (as our starting point) we
586 need to tell the debugger to:
587
588 1). Add the offset of the forwarding field.
589
590 2). Follow that pointer to get the real __Block_byref_x_VarName
591 struct to use (the real one may have been copied onto the heap).
592
593 3). Add the offset for the field VarName, to find the actual variable.
594
595 If we started with a pointer to the struct, then we need to
596 dereference that pointer first, before the other steps.
597 Translating this into DWARF ops, we will need to append the following
598 to the current location description for the variable:
599
600 DW_OP_deref -- optional, if we start with a pointer
601 DW_OP_plus_uconst <forward_fld_offset>
602 DW_OP_deref
603 DW_OP_plus_uconst <varName_fld_offset>
604
605 That is what this function does. */
606
607/// addBlockByrefAddress - Start with the address based on the location
608/// provided, and generate the DWARF information necessary to find the
609/// actual Block variable (navigating the Block struct) based on the
610/// starting location. Add the DWARF information to the die. For
611/// more information, read large comment just above here.
612///
Eric Christophera5a79422013-12-09 23:32:48 +0000613void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
614 dwarf::Attribute Attribute,
615 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000616 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000617 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000618 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000619 bool isPointer = false;
620
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000621 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000622
623 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000624 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000625 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000626 isPointer = true;
627 }
628
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000629 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000630
631 // Find the __forwarding field and the variable field in the __Block_byref
632 // struct.
633 DIArray Fields = blockStruct.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000634 DIDerivedType varField;
635 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000636
637 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000638 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000639 StringRef fieldName = DT.getName();
640 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000641 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000642 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000643 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000644 }
645
646 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000647 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
648 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000649
650 // Decode the original location, and use that as the start of the byref
651 // variable's location.
Devang Patel0e821f42011-04-12 23:21:44 +0000652 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
653
Eric Christopheref9d7102012-07-04 02:02:18 +0000654 if (Location.isReg())
655 addRegisterOp(Block, Location.getReg());
656 else
657 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000658
659 // If we started with a pointer to the __Block_byref... struct, then
660 // the first thing we need to do is dereference the pointer (DW_OP_deref).
661 if (isPointer)
David Blaikief2443192013-10-21 17:28:37 +0000662 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000663
664 // Next add the offset for the '__forwarding' field:
665 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
666 // adding the offset if it's 0.
667 if (forwardingFieldOffset > 0) {
David Blaikief2443192013-10-21 17:28:37 +0000668 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
669 addUInt(Block, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000670 }
671
672 // Now dereference the __forwarding field to get to the real __Block_byref
673 // struct: DW_OP_deref.
David Blaikief2443192013-10-21 17:28:37 +0000674 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000675
676 // Now that we've got the real __Block_byref... struct, add the offset
677 // for the variable's field to get to the location of the actual variable:
678 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
679 if (varFieldOffset > 0) {
David Blaikief2443192013-10-21 17:28:37 +0000680 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
681 addUInt(Block, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000682 }
683
684 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000685 addBlock(Die, Attribute, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000686}
687
Devang Patelbcd50a12011-07-20 21:57:04 +0000688/// isTypeSigned - Return true if the type is signed.
Manman Renb3388602013-10-05 01:43:03 +0000689static bool isTypeSigned(DwarfDebug *DD, DIType Ty, int *SizeInBits) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000690 if (Ty.isDerivedType())
Manman Renb3388602013-10-05 01:43:03 +0000691 return isTypeSigned(DD, DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()),
692 SizeInBits);
Devang Patelbcd50a12011-07-20 21:57:04 +0000693 if (Ty.isBasicType())
Eric Christopherc2697f82013-10-19 01:04:47 +0000694 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed ||
695 DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000696 *SizeInBits = Ty.getSizeInBits();
697 return true;
698 }
699 return false;
700}
701
Manman Renb3388602013-10-05 01:43:03 +0000702/// Return true if type encoding is unsigned.
703static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
704 DIDerivedType DTy(Ty);
705 if (DTy.isDerivedType())
706 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
707
708 DIBasicType BTy(Ty);
709 if (BTy.isBasicType()) {
710 unsigned Encoding = BTy.getEncoding();
711 if (Encoding == dwarf::DW_ATE_unsigned ||
712 Encoding == dwarf::DW_ATE_unsigned_char ||
713 Encoding == dwarf::DW_ATE_boolean)
714 return true;
715 }
716 return false;
717}
718
719/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000720static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000721 unsigned Tag = Ty.getTag();
722
723 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
724 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
725 Tag != dwarf::DW_TAG_restrict_type)
726 return Ty.getSizeInBits();
727
728 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
729
730 // If this type is not derived from any type then take conservative approach.
731 if (!BaseType.isValid())
732 return Ty.getSizeInBits();
733
734 // If this is a derived type, go ahead and get the base type, unless it's a
735 // reference then it's just the size of the field. Pointer types have no need
736 // of this since they're a different type of qualification on the type.
737 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
738 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
739 return Ty.getSizeInBits();
740
741 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000742 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000743
744 return BaseType.getSizeInBits();
745}
746
Devang Patel0e821f42011-04-12 23:21:44 +0000747/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000748void DwarfUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
749 DIType Ty) {
David Blaikiea1e813d2013-05-10 21:52:07 +0000750 // FIXME: This is a bit conservative/simple - it emits negative values at
751 // their maximum bit width which is a bit unfortunate (& doesn't prefer
752 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000753 assert(MO.isImm() && "Invalid machine operand!");
Devang Patelbcd50a12011-07-20 21:57:04 +0000754 int SizeInBits = -1;
Manman Renb3388602013-10-05 01:43:03 +0000755 bool SignedConstant = isTypeSigned(DD, Ty, &SizeInBits);
David Blaikief2443192013-10-21 17:28:37 +0000756 dwarf::Form Form;
Devang Patelf1d04702011-05-27 18:15:52 +0000757
Eric Christopher9d1daa82013-08-27 23:49:04 +0000758 // If we're a signed constant definitely use sdata.
759 if (SignedConstant) {
760 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
761 return;
762 }
763
764 // Else use data for now unless it's larger than we can deal with.
765 switch (SizeInBits) {
766 case 8:
767 Form = dwarf::DW_FORM_data1;
768 break;
769 case 16:
770 Form = dwarf::DW_FORM_data2;
771 break;
772 case 32:
773 Form = dwarf::DW_FORM_data4;
774 break;
775 case 64:
776 Form = dwarf::DW_FORM_data8;
777 break;
778 default:
779 Form = dwarf::DW_FORM_udata;
780 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
781 return;
782 }
783 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel0e821f42011-04-12 23:21:44 +0000784}
785
786/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000787void DwarfUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000788 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000789 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
790 APFloat FPImm = MO.getFPImm()->getValueAPF();
791
792 // Get the raw data form of the floating point.
793 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000794 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000795
796 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000797 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000798 int Incr = (LittleEndian ? 1 : -1);
799 int Start = (LittleEndian ? 0 : NumBytes - 1);
800 int Stop = (LittleEndian ? NumBytes : -1);
801
802 // Output the constant to DWARF one byte at a time.
803 for (; Start != Stop; Start += Incr)
Eric Christopher98b7f172013-11-11 18:52:36 +0000804 addUInt(Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000805
David Blaikief2443192013-10-21 17:28:37 +0000806 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000807}
808
David Blaikiea39a76e2013-01-20 01:18:01 +0000809/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000810void DwarfUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000811 // Pass this down to addConstantValue as an unsigned bag of bits.
812 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000813}
814
Devang Patel0e821f42011-04-12 23:21:44 +0000815/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000816void DwarfUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
817 bool Unsigned) {
Eric Christopher78fcf4902013-07-03 01:08:30 +0000818 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikiea39a76e2013-01-20 01:18:01 +0000819}
820
821// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000822void DwarfUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000823 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000824 if (CIBitWidth <= 64) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000825 // If we're a signed constant definitely use sdata.
826 if (!Unsigned) {
827 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
828 Val.getSExtValue());
829 return;
Devang Patel8816bbc2011-05-28 00:39:18 +0000830 }
Eric Christopher9d1daa82013-08-27 23:49:04 +0000831
832 // Else use data for now unless it's larger than we can deal with.
David Blaikief2443192013-10-21 17:28:37 +0000833 dwarf::Form Form;
Eric Christopher9d1daa82013-08-27 23:49:04 +0000834 switch (CIBitWidth) {
835 case 8:
836 Form = dwarf::DW_FORM_data1;
837 break;
838 case 16:
839 Form = dwarf::DW_FORM_data2;
840 break;
841 case 32:
842 Form = dwarf::DW_FORM_data4;
843 break;
844 case 64:
845 Form = dwarf::DW_FORM_data8;
846 break;
847 default:
848 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
849 Val.getZExtValue());
850 return;
851 }
852 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000853 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000854 }
855
856 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
857
858 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000859 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000860
861 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000862 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000863
864 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000865 for (int i = 0; i < NumBytes; i++) {
866 uint8_t c;
867 if (LittleEndian)
868 c = Ptr64[i / 8] >> (8 * (i & 7));
869 else
870 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikief2443192013-10-21 17:28:37 +0000871 addUInt(Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000872 }
Devang Patel0e821f42011-04-12 23:21:44 +0000873
David Blaikief2443192013-10-21 17:28:37 +0000874 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000875}
876
Eric Christopher25e35092013-04-22 07:47:40 +0000877/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000878void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000879 // Add template parameters.
880 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
881 DIDescriptor Element = TParams.getElement(i);
882 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000883 constructTemplateTypeParameterDIE(Buffer,
884 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000885 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000886 constructTemplateValueParameterDIE(Buffer,
887 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000888 }
Devang Patel0e821f42011-04-12 23:21:44 +0000889}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000890
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000891/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000892DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000893 if (!Context || Context.isFile())
David Blaikie2a80e442013-12-02 22:09:48 +0000894 return getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000895 if (Context.isType())
896 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000897 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000898 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000899 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000900 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000901 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000902}
903
Eric Christophera5a79422013-12-09 23:32:48 +0000904DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000905 DIScope Context = resolve(Ty.getContext());
906 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000907
908 DIE *TyDIE = getDIE(Ty);
909 if (TyDIE)
910 return TyDIE;
911
912 // Create new type.
913 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
914
David Blaikiefbd29eb2013-11-26 00:35:04 +0000915 constructTypeDIE(*TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000916
David Blaikie9d861be2013-11-26 00:15:27 +0000917 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie409dd9c2013-11-19 23:08:21 +0000918 return TyDIE;
919}
920
Devang Patel0e821f42011-04-12 23:21:44 +0000921/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
922/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000923DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000924 if (!TyNode)
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000925 return NULL;
Manman Renf4c339e2013-10-29 22:49:29 +0000926
David Blaikie32887552013-11-14 22:25:02 +0000927 DIType Ty(TyNode);
928 assert(Ty.isType());
929
Manman Renf4c339e2013-10-29 22:49:29 +0000930 // Construct the context before querying for the existence of the DIE in case
931 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000932 DIScope Context = resolve(Ty.getContext());
933 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000934 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000935
Eric Christophere595bae2013-10-04 17:08:38 +0000936 DIE *TyDIE = getDIE(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000937 if (TyDIE)
938 return TyDIE;
939
940 // Create new type.
Manman Renf4c339e2013-10-29 22:49:29 +0000941 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
942
Devang Patel0e821f42011-04-12 23:21:44 +0000943 if (Ty.isBasicType())
944 constructTypeDIE(*TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000945 else if (Ty.isCompositeType()) {
946 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +0000947 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
948 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000949 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
David Blaikiecfb21152014-01-03 18:59:42 +0000950 // Skip updating the accellerator tables since this is not the full type
951 return TyDIE;
952 }
David Blaikiefbd29eb2013-11-26 00:35:04 +0000953 constructTypeDIE(*TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000954 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000955 assert(Ty.isDerivedType() && "Unknown kind of DIType");
956 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
957 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000958
David Blaikie9d861be2013-11-26 00:15:27 +0000959 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie2ea848b2013-11-19 22:51:04 +0000960
961 return TyDIE;
962}
963
Eric Christophera5a79422013-12-09 23:32:48 +0000964void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
965 const DIE *TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000966 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
967 bool IsImplementation = 0;
968 if (Ty.isCompositeType()) {
969 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000970 // A runtime language of 0 actually means C/C++ and that any
971 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000972 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000973 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000974 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000975 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
David Blaikie9d861be2013-11-26 00:15:27 +0000976
977 if (!Context || Context.isCompileUnit() || Context.isFile() ||
978 Context.isNameSpace())
979 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] = TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +0000980 }
Devang Patel0e821f42011-04-12 23:21:44 +0000981}
982
983/// addType - Add a new type attribute to the specified entity.
Eric Christophera5a79422013-12-09 23:32:48 +0000984void DwarfUnit::addType(DIE *Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000985 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000986
987 // Check for pre-existence.
988 DIEEntry *Entry = getDIEEntry(Ty);
989 // If it exists then use the existing value.
990 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000991 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000992 return;
993 }
994
995 // Construct type.
996 DIE *Buffer = getOrCreateTypeDIE(Ty);
997
998 // Set up proxy.
999 Entry = createDIEEntry(Buffer);
1000 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001001 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001002}
1003
Eric Christopher9cd26af2013-09-20 23:22:52 +00001004// Accelerator table mutators - add each name along with its companion
1005// DIE to the proper table while ensuring that the name that we're going
1006// to reference is in the string table. We do this since the names we
1007// add may not only be identical to the names in the DIE.
Eric Christophera5a79422013-12-09 23:32:48 +00001008void DwarfUnit::addAccelName(StringRef Name, const DIE *Die) {
Paul Robinson3878a782014-01-31 20:39:19 +00001009 if (!DD->useDwarfAccelTables()) return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001010 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001011 std::vector<const DIE *> &DIEs = AccelNames[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001012 DIEs.push_back(Die);
1013}
1014
Eric Christophera5a79422013-12-09 23:32:48 +00001015void DwarfUnit::addAccelObjC(StringRef Name, const DIE *Die) {
Paul Robinson3878a782014-01-31 20:39:19 +00001016 if (!DD->useDwarfAccelTables()) return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001017 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001018 std::vector<const DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001019 DIEs.push_back(Die);
1020}
1021
Eric Christophera5a79422013-12-09 23:32:48 +00001022void DwarfUnit::addAccelNamespace(StringRef Name, const DIE *Die) {
Paul Robinson3878a782014-01-31 20:39:19 +00001023 if (!DD->useDwarfAccelTables()) return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001024 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001025 std::vector<const DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001026 DIEs.push_back(Die);
1027}
1028
Eric Christophera5a79422013-12-09 23:32:48 +00001029void DwarfUnit::addAccelType(StringRef Name,
1030 std::pair<const DIE *, unsigned> Die) {
Paul Robinson3878a782014-01-31 20:39:19 +00001031 if (!DD->useDwarfAccelTables()) return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001032 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001033 std::vector<std::pair<const DIE *, unsigned> > &DIEs = AccelTypes[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001034 DIEs.push_back(Die);
1035}
1036
Eric Christopher9c58f312013-09-20 22:20:55 +00001037/// addGlobalName - Add a new global name to the compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +00001038void DwarfUnit::addGlobalName(StringRef Name, DIE *Die, DIScope Context) {
Eric Christopher8dba0d52013-10-19 01:04:42 +00001039 std::string FullName = getParentContextString(Context) + Name.str();
Eric Christopher2c8b7902013-10-17 02:06:06 +00001040 GlobalNames[FullName] = Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001041}
1042
Eric Christopher2c8b7902013-10-17 02:06:06 +00001043/// getParentContextString - Walks the metadata parent chain in a language
1044/// specific manner (using the compile unit language) and returns
1045/// it as a string. This is done at the metadata level because DIEs may
1046/// not currently have been added to the parent context and walking the
1047/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001048std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001049 if (!Context)
1050 return "";
1051
1052 // FIXME: Decide whether to implement this for non-C++ languages.
1053 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1054 return "";
1055
Eric Christopher8dba0d52013-10-19 01:04:42 +00001056 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001057 SmallVector<DIScope, 1> Parents;
1058 while (!Context.isCompileUnit()) {
1059 Parents.push_back(Context);
1060 if (Context.getContext())
1061 Context = resolve(Context.getContext());
1062 else
1063 // Structure, etc types will have a NULL context if they're at the top
1064 // level.
1065 break;
1066 }
1067
1068 // Reverse iterate over our list to go from the outermost construct to the
1069 // innermost.
1070 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1071 E = Parents.rend();
1072 I != E; ++I) {
1073 DIScope Ctx = *I;
1074 StringRef Name = Ctx.getName();
Eric Christopher8dba0d52013-10-19 01:04:42 +00001075 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001076 CS += Name;
1077 CS += "::";
1078 }
1079 }
1080 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001081}
1082
1083/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001084void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001085 // Get core information.
1086 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001087 // Add name if not anonymous or intermediate type.
1088 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001089 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001090
David Blaikiefac56122013-10-04 23:21:16 +00001091 // An unspecified type only has a name attribute.
1092 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001093 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001094
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001095 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001096 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001097
Devang Patel0e821f42011-04-12 23:21:44 +00001098 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikief2443192013-10-21 17:28:37 +00001099 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001100}
1101
1102/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001103void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001104 // Get core information.
1105 StringRef Name = DTy.getName();
1106 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001107 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001108
1109 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001110 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001111 if (FromTy)
1112 addType(&Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001113
1114 // Add name if not anonymous or intermediate type.
1115 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001116 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001117
1118 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001119 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikief2443192013-10-21 17:28:37 +00001120 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001121
David Blaikie5d3249b2013-01-07 05:51:15 +00001122 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Eric Christopherc2697f82013-10-19 01:04:47 +00001123 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
1124 getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001125 // Add source line info if available and TyDesc is not a forward declaration.
1126 if (!DTy.isForwardDecl())
1127 addSourceLine(&Buffer, DTy);
1128}
1129
1130/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001131void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001132 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001133 StringRef Name = CTy.getName();
1134
1135 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001136 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001137
1138 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001139 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001140 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001141 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001142 case dwarf::DW_TAG_enumeration_type:
1143 constructEnumTypeDIE(Buffer, CTy);
1144 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001145 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001146 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001147 DIArray Elements = CTy.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001148 DIType RTy(Elements.getElement(0));
Eric Christopher0df08e22013-08-08 07:40:37 +00001149 if (RTy)
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001150 addType(&Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001151
1152 bool isPrototyped = true;
1153 // Add arguments.
1154 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1155 DIDescriptor Ty = Elements.getElement(i);
1156 if (Ty.isUnspecifiedParameter()) {
Manman Renb987e512013-10-29 00:53:03 +00001157 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001158 isPrototyped = false;
1159 } else {
Manman Renb987e512013-10-29 00:53:03 +00001160 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001161 addType(Arg, DIType(Ty));
David Blaikie9a7a7a92013-01-29 19:35:24 +00001162 if (DIType(Ty).isArtificial())
1163 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001164 }
1165 }
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001166 // Add prototype flag if we're dealing with a C language and the
1167 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001168 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001169 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001170 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001171 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001172 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001173
1174 if (CTy.isLValueReference())
1175 addFlag(&Buffer, dwarf::DW_AT_reference);
1176
1177 if (CTy.isRValueReference())
1178 addFlag(&Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001179 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001180 case dwarf::DW_TAG_structure_type:
1181 case dwarf::DW_TAG_union_type:
1182 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001183 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001184 DIArray Elements = CTy.getTypeArray();
1185 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001186 DIDescriptor Element = Elements.getElement(i);
1187 DIE *ElemDie = NULL;
Adrian Prantlef129fb2014-01-18 02:12:00 +00001188 if (Element.isSubprogram())
1189 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
1190 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001191 DIDerivedType DDTy(Element);
1192 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
Manman Renb987e512013-10-29 00:53:03 +00001193 ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001194 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001195 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001196 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001197 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001198 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001199 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001200 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001201 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001202 DIObjCProperty Property(Element);
Manman Renb987e512013-10-29 00:53:03 +00001203 ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001204 StringRef PropertyName = Property.getObjCPropertyName();
1205 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001206 if (Property.getType())
1207 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001208 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001209 StringRef GetterName = Property.getObjCPropertyGetterName();
1210 if (!GetterName.empty())
1211 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1212 StringRef SetterName = Property.getObjCPropertySetterName();
1213 if (!SetterName.empty())
1214 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1215 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001216 if (Property.isReadOnlyObjCProperty())
1217 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1218 if (Property.isReadWriteObjCProperty())
1219 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1220 if (Property.isAssignObjCProperty())
1221 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1222 if (Property.isRetainObjCProperty())
1223 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1224 if (Property.isCopyObjCProperty())
1225 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1226 if (Property.isNonAtomicObjCProperty())
1227 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1228 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001229 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001230 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001231
Devang Pateld925d1a2012-02-07 23:33:58 +00001232 DIEEntry *Entry = getDIEEntry(Element);
1233 if (!Entry) {
1234 Entry = createDIEEntry(ElemDie);
1235 insertDIEEntry(Element, Entry);
1236 }
Devang Patel403e8192012-02-04 01:30:32 +00001237 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001238 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001239 }
1240
1241 if (CTy.isAppleBlockExtension())
Eric Christopherbb69a272012-08-24 01:14:27 +00001242 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001243
Eric Christopher9e429ae2013-10-05 00:27:02 +00001244 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001245 if (ContainingType)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001246 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001247 getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001248
Devang Patel12419ae2011-05-12 21:29:42 +00001249 if (CTy.isObjcClassComplete())
Eric Christopherbb69a272012-08-24 01:14:27 +00001250 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001251
Eric Christopherda011dd2011-12-16 23:42:42 +00001252 // Add template parameters to a class, structure or union types.
1253 // FIXME: The support isn't in the metadata for this yet.
1254 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001255 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001256 addTemplateParams(Buffer, CTy.getTemplateParams());
1257
1258 break;
1259 }
1260 default:
1261 break;
1262 }
1263
1264 // Add name if not anonymous or intermediate type.
1265 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001266 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001267
Eric Christopher775cbd22012-05-22 18:45:18 +00001268 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001269 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001270 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001271 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001272 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001273 if (Size)
David Blaikief2443192013-10-21 17:28:37 +00001274 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001275 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001276 // Add zero size if it is not a forward declaration.
David Blaikief2443192013-10-21 17:28:37 +00001277 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001278
1279 // If we're a forward decl, say so.
1280 if (CTy.isForwardDecl())
Eric Christopherbb69a272012-08-24 01:14:27 +00001281 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001282
1283 // Add source line info if available.
1284 if (!CTy.isForwardDecl())
1285 addSourceLine(&Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001286
1287 // No harm in adding the runtime language to the declaration.
1288 unsigned RLang = CTy.getRunTimeLang();
1289 if (RLang)
Eric Christopherc2697f82013-10-19 01:04:47 +00001290 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
1291 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001292 }
1293}
1294
Manman Renffc9a712013-10-23 23:05:28 +00001295/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1296/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001297void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1298 DITemplateTypeParameter TP) {
Manman Renb987e512013-10-29 00:53:03 +00001299 DIE *ParamDIE =
1300 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001301 // Add the type if it exists, it could be void and therefore no type.
1302 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001303 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001304 if (!TP.getName().empty())
1305 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001306}
1307
Manman Renffc9a712013-10-23 23:05:28 +00001308/// constructTemplateValueParameterDIE - Construct new DIE for the given
1309/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001310void
1311DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001312 DITemplateValueParameter VP) {
Manman Renb987e512013-10-29 00:53:03 +00001313 DIE *ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001314
1315 // Add the type if there is one, template template and template parameter
1316 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001317 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001318 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001319 if (!VP.getName().empty())
1320 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1321 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001322 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Ren88b0f942013-10-09 19:46:28 +00001323 addConstantValue(ParamDIE, CI,
1324 isUnsignedDIType(DD, resolve(VP.getType())));
David Blaikiea1e813d2013-05-10 21:52:07 +00001325 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1326 // For declaration non-type template parameters (such as global values and
1327 // functions)
1328 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001329 addOpAddress(Block, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001330 // Emit DW_OP_stack_value to use the address as the immediate value of the
1331 // parameter, rather than a pointer to it.
David Blaikief2443192013-10-21 17:28:37 +00001332 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1333 addBlock(ParamDIE, dwarf::DW_AT_location, Block);
Eric Christopherafb2c412013-08-08 07:40:31 +00001334 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001335 assert(isa<MDString>(Val));
1336 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1337 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001338 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001339 assert(isa<MDNode>(Val));
1340 DIArray A(cast<MDNode>(Val));
1341 addTemplateParams(*ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001342 }
1343 }
Devang Patel0e821f42011-04-12 23:21:44 +00001344}
1345
Devang Patel17b53272011-05-06 16:57:54 +00001346/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001347DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001348 // Construct the context before querying for the existence of the DIE in case
1349 // such construction creates the DIE.
1350 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001351
Devang Patel17b53272011-05-06 16:57:54 +00001352 DIE *NDie = getDIE(NS);
1353 if (NDie)
1354 return NDie;
Manman Renf6b936b2013-10-29 05:49:41 +00001355 NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
1356
Eric Christopher4996c702011-11-07 09:24:32 +00001357 if (!NS.getName().empty()) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001358 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher4996c702011-11-07 09:24:32 +00001359 addAccelNamespace(NS.getName(), NDie);
Eric Christopher2c8b7902013-10-17 02:06:06 +00001360 addGlobalName(NS.getName(), NDie, NS.getContext());
Eric Christopher4996c702011-11-07 09:24:32 +00001361 } else
1362 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel17b53272011-05-06 16:57:54 +00001363 addSourceLine(NDie, NS);
Devang Patel17b53272011-05-06 16:57:54 +00001364 return NDie;
1365}
1366
Devang Patel89543712011-08-15 17:24:54 +00001367/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001368DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001369 // Construct the context before querying for the existence of the DIE in case
1370 // such construction creates the DIE (as is the case for member function
1371 // declarations).
Manman Renc50fa112013-10-10 18:40:01 +00001372 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
David Blaikie309ffe42013-10-04 01:39:59 +00001373
Eric Christophere595bae2013-10-04 17:08:38 +00001374 DIE *SPDie = getDIE(SP);
Devang Patel89543712011-08-15 17:24:54 +00001375 if (SPDie)
1376 return SPDie;
1377
Manman Ren73d697c2013-10-29 00:58:04 +00001378 DISubprogram SPDecl = SP.getFunctionDeclaration();
1379 if (SPDecl.isSubprogram())
1380 // Add subprogram definitions to the CU die directly.
David Blaikie2a80e442013-12-02 22:09:48 +00001381 ContextDIE = UnitDie.get();
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001382
1383 // DW_TAG_inlined_subroutine may refer to this DIE.
Manman Ren73d697c2013-10-29 00:58:04 +00001384 SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001385
Rafael Espindola79278362011-11-10 22:34:29 +00001386 DIE *DeclDie = NULL;
Manman Renb9512a72013-10-23 22:12:26 +00001387 if (SPDecl.isSubprogram())
Rafael Espindola79278362011-11-10 22:34:29 +00001388 DeclDie = getOrCreateSubprogramDIE(SPDecl);
Rafael Espindola79278362011-11-10 22:34:29 +00001389
Devang Patel89543712011-08-15 17:24:54 +00001390 // Add function template parameters.
1391 addTemplateParams(*SPDie, SP.getTemplateParams());
1392
Devang Patel89543712011-08-15 17:24:54 +00001393 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherf20ff972013-05-09 00:42:33 +00001394 // then there is no need to add other attributes.
Rafael Espindola79278362011-11-10 22:34:29 +00001395 if (DeclDie) {
1396 // Refer function declaration directly.
Manman Ren4c4b69c2013-10-11 23:58:05 +00001397 addDIEEntry(SPDie, dwarf::DW_AT_specification, DeclDie);
Rafael Espindola79278362011-11-10 22:34:29 +00001398
Devang Patel89543712011-08-15 17:24:54 +00001399 return SPDie;
Rafael Espindola79278362011-11-10 22:34:29 +00001400 }
Devang Patel89543712011-08-15 17:24:54 +00001401
Eric Christopheracb71152012-08-23 22:52:55 +00001402 // Add the linkage name if we have one.
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001403 StringRef LinkageName = SP.getLinkageName();
1404 if (!LinkageName.empty())
Eric Christopheracb71152012-08-23 22:52:55 +00001405 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001406 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopheracb71152012-08-23 22:52:55 +00001407
Devang Patel89543712011-08-15 17:24:54 +00001408 // Constructors and operators for anonymous aggregates do not have names.
1409 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001410 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001411
1412 addSourceLine(SPDie, SP);
1413
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001414 // Add the prototype if we have a prototype and we have a C like
1415 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001416 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001417 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001418 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001419 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001420 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001421
Devang Patel89543712011-08-15 17:24:54 +00001422 DICompositeType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001423 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1424 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001425
David Blaikie5174c842013-05-22 23:22:18 +00001426 DIArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001427 // Add a return type. If this is a type like a C/C++ void type we don't add a
1428 // return type.
Eric Christopher0df08e22013-08-08 07:40:37 +00001429 if (Args.getElement(0))
1430 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel89543712011-08-15 17:24:54 +00001431
1432 unsigned VK = SP.getVirtuality();
1433 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001434 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Patel89543712011-08-15 17:24:54 +00001435 DIEBlock *Block = getDIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001436 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1437 addUInt(Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1438 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001439 ContainingTypeMap.insert(
1440 std::make_pair(SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001441 }
1442
1443 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001444 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001445
Devang Patel89543712011-08-15 17:24:54 +00001446 // Add arguments. Do not add arguments for subprogram definition. They will
1447 // be handled while processing variables.
Eric Christopherc2697f82013-10-19 01:04:47 +00001448 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renb987e512013-10-29 00:53:03 +00001449 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, *SPDie);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001450 DIType ATy(Args.getElement(i));
David Blaikie5174c842013-05-22 23:22:18 +00001451 addType(Arg, ATy);
1452 if (ATy.isArtificial())
1453 addFlag(Arg, dwarf::DW_AT_artificial);
David Blaikie5174c842013-05-22 23:22:18 +00001454 }
Devang Patel89543712011-08-15 17:24:54 +00001455 }
1456
1457 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001458 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001459
1460 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001461 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001462
1463 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001464 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001465
1466 if (unsigned isa = Asm->getISAEncoding()) {
1467 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1468 }
1469
Adrian Prantl99c7af22013-12-18 21:48:19 +00001470 if (SP.isLValueReference())
1471 addFlag(SPDie, dwarf::DW_AT_reference);
1472
1473 if (SP.isRValueReference())
1474 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1475
Adrian Prantlef129fb2014-01-18 02:12:00 +00001476 if (SP.isProtected())
1477 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1478 dwarf::DW_ACCESS_protected);
1479 else if (SP.isPrivate())
1480 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1481 dwarf::DW_ACCESS_private);
1482 else
1483 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1484 dwarf::DW_ACCESS_public);
1485
1486 if (SP.isExplicit())
1487 addFlag(SPDie, dwarf::DW_AT_explicit);
1488
Devang Patel89543712011-08-15 17:24:54 +00001489 return SPDie;
1490}
1491
Devang Pateldfd6ec32011-08-15 17:57:41 +00001492// Return const expression if value is a GEP to access merged global
1493// constant. e.g.
1494// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1495static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1496 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1497 if (!CE || CE->getNumOperands() != 3 ||
1498 CE->getOpcode() != Instruction::GetElementPtr)
1499 return NULL;
1500
1501 // First operand points to a global struct.
1502 Value *Ptr = CE->getOperand(0);
1503 if (!isa<GlobalValue>(Ptr) ||
1504 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1505 return NULL;
1506
1507 // Second operand is zero.
1508 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1509 if (!CI || !CI->isZero())
1510 return NULL;
1511
1512 // Third operand is offset.
1513 if (!isa<ConstantInt>(CE->getOperand(2)))
1514 return NULL;
1515
1516 return CE;
1517}
1518
1519/// createGlobalVariableDIE - create global variable DIE.
Eric Christopher4287a492013-12-09 23:57:44 +00001520void DwarfCompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001521 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001522 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001523 return;
1524
David Blaikie5e390e42014-02-04 01:23:52 +00001525 assert(GV.isGlobalVariable());
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001526
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001527 DIScope GVContext = GV.getContext();
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001528 DIType GTy = GV.getType();
1529
1530 // If this is a static data member definition, some attributes belong
1531 // to the declaration DIE.
1532 DIE *VariableDIE = NULL;
Manman Rene697d3c2013-02-01 23:54:37 +00001533 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001534 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1535 if (SDMDecl.Verify()) {
1536 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1537 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001538 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001539 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001540 }
1541
1542 // If this is not a static data member definition, create the variable
1543 // DIE and add the initial set of attributes to it.
1544 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001545 // Construct the context before querying for the existence of the DIE in
1546 // case such construction creates the DIE.
1547 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001548
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001549 // Add to map.
David Blaikie52c50202013-11-16 00:29:01 +00001550 VariableDIE = createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001551
1552 // Add name and type.
1553 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1554 addType(VariableDIE, GTy);
1555
1556 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001557 if (!GV.isLocalToUnit())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001558 addFlag(VariableDIE, dwarf::DW_AT_external);
1559
1560 // Add line number info.
1561 addSourceLine(VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001562 }
1563
Devang Pateldfd6ec32011-08-15 17:57:41 +00001564 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001565 bool addToAccelTable = false;
Eric Christopher0a917b72011-11-11 03:16:32 +00001566 DIE *VariableSpecDIE = NULL;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001567 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001568 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001569 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001570 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001571 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001572 if (GV.getGlobal()->isThreadLocal()) {
1573 // FIXME: Make this work with -gsplit-dwarf.
1574 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1575 assert((PointerSize == 4 || PointerSize == 8) &&
1576 "Add support for other sizes if necessary");
Ulrich Weigand2b6fc8d2013-07-02 18:47:09 +00001577 const MCExpr *Expr =
David Blaikie8466ca82013-07-01 23:55:52 +00001578 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikief2694972013-06-28 20:05:11 +00001579 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001580 if (!DD->useSplitDwarf()) {
1581 // 1) Start with a constNu of the appropriate pointer size
David Blaikief2443192013-10-21 17:28:37 +00001582 addUInt(Block, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001583 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001584 // 2) containing the (relocated) offset of the TLS variable
1585 // within the module's TLS block.
David Blaikief2443192013-10-21 17:28:37 +00001586 addExpr(Block, dwarf::DW_FORM_udata, Expr);
David Blaikie8466ca82013-07-01 23:55:52 +00001587 } else {
David Blaikief2443192013-10-21 17:28:37 +00001588 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1589 addUInt(Block, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8466ca82013-07-01 23:55:52 +00001590 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001591 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikief2443192013-10-21 17:28:37 +00001592 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001593 } else {
1594 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikief2694972013-06-28 20:05:11 +00001595 addOpAddress(Block, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001596 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001597 // Do not create specification DIE if context is either compile unit
1598 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001599 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001600 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001601 // Create specification DIE.
David Blaikie2a80e442013-12-02 22:09:48 +00001602 VariableSpecDIE = createAndAddDIE(dwarf::DW_TAG_variable, *UnitDie);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001603 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification, VariableDIE);
David Blaikief2443192013-10-21 17:28:37 +00001604 addBlock(VariableSpecDIE, dwarf::DW_AT_location, Block);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001605 // A static member's declaration is already flagged as such.
1606 if (!SDMDecl.Verify())
1607 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001608 } else {
David Blaikief2443192013-10-21 17:28:37 +00001609 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Eric Christopher4996c702011-11-07 09:24:32 +00001610 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001611 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001612 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001613 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001614 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1615 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1616 // TAG_variable.
Eric Christopherc2697f82013-10-19 01:04:47 +00001617 addString(IsStaticMember && VariableSpecDIE ? VariableSpecDIE
1618 : VariableDIE,
1619 dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001620 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001621 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001622 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001623 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001624 // emitting AT_const_value multiple times, we only add AT_const_value when
1625 // it is not a static member.
1626 if (!IsStaticMember)
Manman Renb3388602013-10-05 01:43:03 +00001627 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
David Blaikiea781b25b2013-11-17 21:55:13 +00001628 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001629 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001630 // GV is a merged global.
1631 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1632 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001633 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1634 DD->addArangeLabel(SymbolCU(this, Sym));
1635 addOpAddress(Block, Sym);
David Blaikief2443192013-10-21 17:28:37 +00001636 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001637 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikief2443192013-10-21 17:28:37 +00001638 addUInt(Block, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001639 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikief2443192013-10-21 17:28:37 +00001640 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1641 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001642 }
1643
Eric Christopherc12c2112011-11-11 01:55:22 +00001644 if (addToAccelTable) {
1645 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1646 addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001647
Eric Christopherc12c2112011-11-11 01:55:22 +00001648 // If the linkage name is different than the name, go ahead and output
1649 // that as well into the name table.
1650 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1651 addAccelName(GV.getLinkageName(), AddrDIE);
1652 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001653
1654 if (!GV.isLocalToUnit())
Eric Christopher2c8b7902013-10-17 02:06:06 +00001655 addGlobalName(GV.getName(), VariableSpecDIE ? VariableSpecDIE : VariableDIE,
1656 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001657}
1658
Devang Patel0e821f42011-04-12 23:21:44 +00001659/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001660void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
Manman Renb987e512013-10-29 00:53:03 +00001661 DIE *DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001662 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001663
Bill Wendling28fe9e72012-12-06 07:38:10 +00001664 // The LowerBound value defines the lower bounds which is typically zero for
1665 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1666 // Count == -1 then the array is unbounded and we do not emit
1667 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1668 // Count == 0, then the array has zero elements in which case we do not emit
1669 // an upper bound.
1670 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001671 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001672 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001673
Bill Wendling3495f9b2012-12-06 07:55:19 +00001674 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001675 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001676
1677 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001678 // FIXME: An unbounded array should reference the expression that defines
1679 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001680 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1681 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001682}
1683
1684/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001685void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001686 if (CTy.isVector())
Eric Christopherbb69a272012-08-24 01:14:27 +00001687 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001688
Eric Christopher0df08e22013-08-08 07:40:37 +00001689 // Emit the element type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001690 addType(&Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001691
1692 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001693 // FIXME: This type should be passed down from the front end
1694 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001695 DIE *IdxTy = getIndexTyDie();
1696 if (!IdxTy) {
1697 // Construct an anonymous type for index type.
David Blaikie2a80e442013-12-02 22:09:48 +00001698 IdxTy = createAndAddDIE(dwarf::DW_TAG_base_type, *UnitDie);
Eric Christophercad9b532013-01-04 21:51:53 +00001699 addString(IdxTy, dwarf::DW_AT_name, "int");
David Blaikief2443192013-10-21 17:28:37 +00001700 addUInt(IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int32_t));
Devang Patel0e821f42011-04-12 23:21:44 +00001701 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1702 dwarf::DW_ATE_signed);
Devang Patel0e821f42011-04-12 23:21:44 +00001703 setIndexTyDie(IdxTy);
1704 }
1705
1706 // Add subranges to array type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001707 DIArray Elements = CTy.getTypeArray();
Devang Patel0e821f42011-04-12 23:21:44 +00001708 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1709 DIDescriptor Element = Elements.getElement(i);
1710 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1711 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1712 }
1713}
1714
Eric Christopheraeb105f2013-11-11 18:52:39 +00001715/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001716void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopheraeb105f2013-11-11 18:52:39 +00001717 DIArray Elements = CTy.getTypeArray();
1718
1719 // Add enumerators to enumeration type.
1720 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001721 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001722 if (Enum.isEnumerator()) {
1723 DIE *Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001724 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001725 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001726 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001727 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1728 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001729 }
1730 }
1731 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1732 if (DTy) {
1733 addType(&Buffer, DTy);
1734 addFlag(&Buffer, dwarf::DW_AT_enum_class);
1735 }
Devang Patel0e821f42011-04-12 23:21:44 +00001736}
1737
Devang Patel89543712011-08-15 17:24:54 +00001738/// constructContainingTypeDIEs - Construct DIEs for types that contain
1739/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001740void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001741 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001742 CE = ContainingTypeMap.end();
1743 CI != CE; ++CI) {
Devang Patel89543712011-08-15 17:24:54 +00001744 DIE *SPDie = CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001745 DIDescriptor D(CI->second);
1746 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001747 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001748 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001749 if (!NDie)
1750 continue;
Manman Ren4c4b69c2013-10-11 23:58:05 +00001751 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, NDie);
Devang Patel89543712011-08-15 17:24:54 +00001752 }
1753}
1754
Devang Patel3acc70e2011-08-15 22:04:40 +00001755/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christophera5a79422013-12-09 23:32:48 +00001756DIE *DwarfUnit::constructVariableDIE(DbgVariable &DV, bool isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001757 StringRef Name = DV.getName();
Devang Patel3acc70e2011-08-15 22:04:40 +00001758
Devang Patel3acc70e2011-08-15 22:04:40 +00001759 // Define variable debug information entry.
Eric Christopher34a2c872013-11-15 01:43:19 +00001760 DIE *VariableDie = new DIE(DV.getTag());
1761 DbgVariable *AbsVar = DV.getAbstractVariable();
Devang Patel3acc70e2011-08-15 22:04:40 +00001762 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren4213c392013-05-29 17:16:59 +00001763 if (AbsDIE)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001764 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin, AbsDIE);
Devang Patel3acc70e2011-08-15 22:04:40 +00001765 else {
David Blaikie715528b2013-08-19 03:34:03 +00001766 if (!Name.empty())
1767 addString(VariableDie, dwarf::DW_AT_name, Name);
Eric Christopher34a2c872013-11-15 01:43:19 +00001768 addSourceLine(VariableDie, DV.getVariable());
1769 addType(VariableDie, DV.getType());
Devang Patel3acc70e2011-08-15 22:04:40 +00001770 }
1771
Eric Christopher34a2c872013-11-15 01:43:19 +00001772 if (DV.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001773 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Patel3acc70e2011-08-15 22:04:40 +00001774
1775 if (isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001776 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001777 return VariableDie;
1778 }
1779
1780 // Add variable address.
1781
Eric Christopher34a2c872013-11-15 01:43:19 +00001782 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001783 if (Offset != ~0U) {
Eric Christopher33ff6972013-11-21 23:46:41 +00001784 addSectionLabel(VariableDie, dwarf::DW_AT_location,
1785 Asm->GetTempSymbol("debug_loc", Offset));
Eric Christopher34a2c872013-11-15 01:43:19 +00001786 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001787 return VariableDie;
1788 }
1789
Eric Christophercead0332011-10-03 15:49:20 +00001790 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001791 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001792 assert(DVInsn->getNumOperands() == 3);
1793 if (DVInsn->getOperand(0).isReg()) {
1794 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001795 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001796 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001797 MachineLocation Location(RegOp.getReg(),
1798 DVInsn->getOperand(1).getImm());
Eric Christopher34a2c872013-11-15 01:43:19 +00001799 addVariableAddress(DV, VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001800 } else if (RegOp.getReg())
Eric Christopher34a2c872013-11-15 01:43:19 +00001801 addVariableAddress(DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001802 } else if (DVInsn->getOperand(0).isImm())
Eric Christopher34a2c872013-11-15 01:43:19 +00001803 addConstantValue(VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001804 else if (DVInsn->getOperand(0).isFPImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001805 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001806 else if (DVInsn->getOperand(0).isCImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001807 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher34a2c872013-11-15 01:43:19 +00001808 isUnsignedDIType(DD, DV.getType()));
Eric Christopher78fcf4902013-07-03 01:08:30 +00001809
Eric Christopher34a2c872013-11-15 01:43:19 +00001810 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001811 return VariableDie;
1812 } else {
1813 // .. else use frame index.
Eric Christopher34a2c872013-11-15 01:43:19 +00001814 int FI = DV.getFrameIndex();
Devang Patel3acc70e2011-08-15 22:04:40 +00001815 if (FI != ~0) {
1816 unsigned FrameReg = 0;
1817 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopherc2697f82013-10-19 01:04:47 +00001818 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
Devang Patel3acc70e2011-08-15 22:04:40 +00001819 MachineLocation Location(FrameReg, Offset);
Eric Christopher34a2c872013-11-15 01:43:19 +00001820 addVariableAddress(DV, VariableDie, Location);
Devang Patel3acc70e2011-08-15 22:04:40 +00001821 }
1822 }
1823
Eric Christopher34a2c872013-11-15 01:43:19 +00001824 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001825 return VariableDie;
1826}
1827
Manman Ren230ec862013-10-23 23:00:44 +00001828/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001829void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
Manman Renb987e512013-10-29 00:53:03 +00001830 DIE *MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001831 StringRef Name = DT.getName();
1832 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001833 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001834
Manman Ren93b30902013-10-08 18:42:58 +00001835 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001836
1837 addSourceLine(MemberDie, DT);
1838
Eric Christopherc2697f82013-10-19 01:04:47 +00001839 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001840
1841 // For C++, virtual base classes are not at fixed offset. Use following
1842 // expression to extract appropriate offset from vtable.
1843 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1844
1845 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001846 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1847 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1848 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1849 addUInt(VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1850 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1851 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1852 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001853
David Blaikief2443192013-10-21 17:28:37 +00001854 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001855 } else {
1856 uint64_t Size = DT.getSizeInBits();
1857 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1858 uint64_t OffsetInBytes;
1859
1860 if (Size != FieldSize) {
1861 // Handle bitfield.
1862 addUInt(MemberDie, dwarf::DW_AT_byte_size, None,
1863 getBaseTypeSize(DD, DT) >> 3);
1864 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, DT.getSizeInBits());
1865
1866 uint64_t Offset = DT.getOffsetInBits();
1867 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1868 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1869 uint64_t FieldOffset = (HiMark - FieldSize);
1870 Offset -= FieldOffset;
1871
1872 // Maybe we need to work from the other end.
1873 if (Asm->getDataLayout().isLittleEndian())
1874 Offset = FieldSize - (Offset + Size);
1875 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1876
Adrian Prantlc67655a2014-01-28 18:13:47 +00001877 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001878 // field that includes this bit field.
1879 OffsetInBytes = FieldOffset >> 3;
1880 } else
1881 // This is not a bitfield.
1882 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001883
David Blaikie22b29a52014-01-03 01:30:05 +00001884 if (DD->getDwarfVersion() <= 2) {
1885 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
1886 addUInt(MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1887 addUInt(MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
1888 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1889 } else
1890 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1891 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001892 }
Devang Patel0e821f42011-04-12 23:21:44 +00001893
1894 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001895 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001896 dwarf::DW_ACCESS_protected);
1897 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001898 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001899 dwarf::DW_ACCESS_private);
1900 // Otherwise C++ member and base classes are considered public.
Eric Christopher92331fd2012-11-21 00:34:38 +00001901 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001902 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001903 dwarf::DW_ACCESS_public);
1904 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001905 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001906 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001907
1908 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001909 if (MDNode *PNode = DT.getObjCProperty())
1910 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher92331fd2012-11-21 00:34:38 +00001911 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel44882172012-02-06 17:49:43 +00001912 PropertyDie);
1913
David Blaikie37fefc32012-12-13 22:43:07 +00001914 if (DT.isArtificial())
1915 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001916}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001917
Manman Renc6b63922013-10-14 20:33:57 +00001918/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001919DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001920 if (!DT.Verify())
1921 return NULL;
1922
Manman Renc6b63922013-10-14 20:33:57 +00001923 // Construct the context before querying for the existence of the DIE in case
1924 // such construction creates the DIE.
1925 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001926 assert(dwarf::isType(ContextDIE->getTag()) &&
1927 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001928
1929 DIE *StaticMemberDIE = getDIE(DT);
1930 if (StaticMemberDIE)
1931 return StaticMemberDIE;
1932
Manman Renb987e512013-10-29 00:53:03 +00001933 StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001934
Manman Ren93b30902013-10-08 18:42:58 +00001935 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001936
1937 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1938 addType(StaticMemberDIE, Ty);
1939 addSourceLine(StaticMemberDIE, DT);
1940 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1941 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1942
1943 // FIXME: We could omit private if the parent is a class_type, and
1944 // public if the parent is something else.
1945 if (DT.isProtected())
1946 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1947 dwarf::DW_ACCESS_protected);
1948 else if (DT.isPrivate())
1949 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1950 dwarf::DW_ACCESS_private);
1951 else
1952 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1953 dwarf::DW_ACCESS_public);
1954
1955 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Renb3388602013-10-05 01:43:03 +00001956 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikiea39a76e2013-01-20 01:18:01 +00001957 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1958 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001959
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001960 return StaticMemberDIE;
1961}
David Blaikie6b288cf2013-10-30 20:42:41 +00001962
Eric Christophera5a79422013-12-09 23:32:48 +00001963void DwarfUnit::emitHeader(const MCSection *ASection,
David Blaikie3332d4c2013-12-11 21:14:02 +00001964 const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00001965 Asm->OutStreamer.AddComment("DWARF version number");
1966 Asm->EmitInt16(DD->getDwarfVersion());
1967 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00001968 // We share one abbreviations table across all units so it's always at the
1969 // start of the section. Use a relocatable offset where needed to ensure
1970 // linking doesn't invalidate that offset.
David Blaikie91db9ab2013-12-04 18:12:28 +00001971 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
David Blaikie6b288cf2013-10-30 20:42:41 +00001972 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1973 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1974}
David Blaikiebc563272013-12-13 21:33:40 +00001975
Juergen Ributzkadb9ee002013-12-14 12:23:14 +00001976DwarfCompileUnit::~DwarfCompileUnit() {}
1977DwarfTypeUnit::~DwarfTypeUnit() {}
1978
David Blaikiebc563272013-12-13 21:33:40 +00001979void DwarfTypeUnit::emitHeader(const MCSection *ASection,
1980 const MCSymbol *ASectionSym) const {
1981 DwarfUnit::emitHeader(ASection, ASectionSym);
1982 Asm->OutStreamer.AddComment("Type Signature");
1983 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
1984 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001985 // In a skeleton type unit there is no type DIE so emit a zero offset.
1986 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
1987 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001988}
1989
1990void DwarfTypeUnit::initSection(const MCSection *Section) {
1991 assert(!this->Section);
1992 this->Section = Section;
1993 // Since each type unit is contained in its own COMDAT section, the begin
1994 // label and the section label are the same. Using the begin label emission in
1995 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
1996 // the only other alternative of lazily constructing start-of-section labels
1997 // and storing a mapping in DwarfDebug (or AsmPrinter).
1998 this->SectionSym = this->LabelBegin =
1999 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2000 this->LabelEnd =
2001 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
2002 this->LabelRange = Asm->GetTempSymbol("gnu_ranges", getUniqueID());
2003}