blob: db354e6f161bc035e312dc40257803fdd3934bb3 [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
David Blaikie5b858582014-02-12 00:40:47 +0000365 unsigned FileID =
366 DD->getOrCreateSourceID(File, Directory, getCU().getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000367 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000368 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
369 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000370}
371
372/// addSourceLine - Add location information to specified debug information
373/// entry.
David Blaikie101613e2014-02-12 00:11:25 +0000374void DwarfUnit::addSourceLine(DIE *Die, DIVariable V) {
375 assert(V.isVariable());
376
Eric Christopher89a575c2014-02-12 22:38:04 +0000377 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
378 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000379}
380
381/// addSourceLine - Add location information to specified debug information
382/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000383void DwarfUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000384 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000385
David Blaikie101613e2014-02-12 00:11:25 +0000386 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000387}
388
389/// addSourceLine - Add location information to specified debug information
390/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000391void DwarfUnit::addSourceLine(DIE *Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000392 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000393
David Blaikie101613e2014-02-12 00:11:25 +0000394 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000395}
396
397/// addSourceLine - Add location information to specified debug information
398/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000399void DwarfUnit::addSourceLine(DIE *Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000400 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000401
David Blaikie101613e2014-02-12 00:11:25 +0000402 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000403}
404
405/// addSourceLine - Add location information to specified debug information
406/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000407void DwarfUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000408 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000409
Eric Christopher70e1bd82012-03-29 08:42:56 +0000410 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000411 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
412 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000413}
414
415/// addSourceLine - Add location information to specified debug information
416/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000417void DwarfUnit::addSourceLine(DIE *Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000418 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000419
David Blaikie101613e2014-02-12 00:11:25 +0000420 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000421}
422
Eric Christopher92331fd2012-11-21 00:34:38 +0000423/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000424/// DbgVariable based on provided MachineLocation.
Eric Christophera5a79422013-12-09 23:32:48 +0000425void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
426 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000427 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000428 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000429 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000430 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
431 else
David Blaikieea2605d2013-06-20 00:25:24 +0000432 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000433 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000434}
435
Devang Patelba5fbf12011-04-26 19:06:18 +0000436/// addRegisterOp - Add register operand.
Eric Christophera5a79422013-12-09 23:32:48 +0000437void DwarfUnit::addRegisterOp(DIEBlock *TheDie, unsigned Reg) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000438 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000439 int DWReg = RI->getDwarfRegNum(Reg, false);
440 bool isSubRegister = DWReg < 0;
441
442 unsigned Idx = 0;
443
444 // Go up the super-register chain until we hit a valid dwarf register number.
445 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
446 DWReg = RI->getDwarfRegNum(*SR, false);
447 if (DWReg >= 0)
448 Idx = RI->getSubRegIndex(*SR, Reg);
449 }
450
451 if (DWReg < 0) {
452 DEBUG(llvm::dbgs() << "Invalid Dwarf register number.\n");
453 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
454 return;
455 }
456
457 // Emit register
Devang Patelba5fbf12011-04-26 19:06:18 +0000458 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000459 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000460 else {
David Blaikief2443192013-10-21 17:28:37 +0000461 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
462 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000463 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000464
465 // Emit Mask
466 if (isSubRegister) {
467 unsigned Size = RI->getSubRegIdxSize(Idx);
468 unsigned Offset = RI->getSubRegIdxOffset(Idx);
469 if (Offset > 0) {
470 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
471 addUInt(TheDie, dwarf::DW_FORM_data1, Size);
472 addUInt(TheDie, dwarf::DW_FORM_data1, Offset);
473 } else {
Adrian Prantl7199fd52014-02-12 19:34:44 +0000474 unsigned ByteSize = Size / 8; // Assuming 8 bits per byte.
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000475 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantl7199fd52014-02-12 19:34:44 +0000476 addUInt(TheDie, dwarf::DW_FORM_data1, ByteSize);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000477 }
478 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000479}
480
481/// addRegisterOffset - Add register offset.
Eric Christophera5a79422013-12-09 23:32:48 +0000482void DwarfUnit::addRegisterOffset(DIEBlock *TheDie, unsigned Reg,
483 int64_t Offset) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000484 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
485 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
486 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
487 if (Reg == TRI->getFrameRegister(*Asm->MF))
488 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000489 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000490 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000491 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000492 else {
David Blaikief2443192013-10-21 17:28:37 +0000493 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
494 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000495 }
David Blaikief2443192013-10-21 17:28:37 +0000496 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000497}
498
499/// addAddress - Add an address attribute to a die based on the location
500/// provided.
Eric Christophera5a79422013-12-09 23:32:48 +0000501void DwarfUnit::addAddress(DIE *Die, dwarf::Attribute Attribute,
502 const MachineLocation &Location, bool Indirect) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000503 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
504
David Blaikieea2605d2013-06-20 00:25:24 +0000505 if (Location.isReg() && !Indirect)
Devang Patelba5fbf12011-04-26 19:06:18 +0000506 addRegisterOp(Block, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000507 else {
Devang Patelba5fbf12011-04-26 19:06:18 +0000508 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000509 if (Indirect && !Location.isReg()) {
David Blaikief2443192013-10-21 17:28:37 +0000510 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000511 }
512 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000513
514 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000515 addBlock(Die, Attribute, Block);
Devang Patelba5fbf12011-04-26 19:06:18 +0000516}
517
Devang Patel0e821f42011-04-12 23:21:44 +0000518/// addComplexAddress - Start with the address based on the location provided,
519/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000520/// given the extra address information encoded in the DbgVariable, starting
521/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000522///
Eric Christophera5a79422013-12-09 23:32:48 +0000523void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
524 dwarf::Attribute Attribute,
525 const MachineLocation &Location) {
Devang Patel0e821f42011-04-12 23:21:44 +0000526 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000527 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000528 unsigned i = 0;
529 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000530 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000531 // If first address element is OpPlus then emit
532 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000533 addRegisterOffset(Block, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000534 i = 2;
535 } else
536 addRegisterOp(Block, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000537 } else
Devang Patelba5fbf12011-04-26 19:06:18 +0000538 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000539
Eric Christopherc2697f82013-10-19 01:04:47 +0000540 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000541 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000542 if (Element == DIBuilder::OpPlus) {
David Blaikief2443192013-10-21 17:28:37 +0000543 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
544 addUInt(Block, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel0e821f42011-04-12 23:21:44 +0000545 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000546 if (!Location.isReg())
David Blaikief2443192013-10-21 17:28:37 +0000547 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Eric Christopherc2697f82013-10-19 01:04:47 +0000548 } else
549 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000550 }
551
552 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000553 addBlock(Die, Attribute, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000554}
555
556/* Byref variables, in Blocks, are declared by the programmer as "SomeType
557 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
558 gives the variable VarName either the struct, or a pointer to the struct, as
559 its type. This is necessary for various behind-the-scenes things the
560 compiler needs to do with by-reference variables in Blocks.
561
562 However, as far as the original *programmer* is concerned, the variable
563 should still have type 'SomeType', as originally declared.
564
565 The function getBlockByrefType dives into the __Block_byref_x_VarName
566 struct to find the original type of the variable, which is then assigned to
567 the variable's Debug Information Entry as its real type. So far, so good.
568 However now the debugger will expect the variable VarName to have the type
569 SomeType. So we need the location attribute for the variable to be an
570 expression that explains to the debugger how to navigate through the
571 pointers and struct to find the actual variable of type SomeType.
572
573 The following function does just that. We start by getting
574 the "normal" location for the variable. This will be the location
575 of either the struct __Block_byref_x_VarName or the pointer to the
576 struct __Block_byref_x_VarName.
577
578 The struct will look something like:
579
580 struct __Block_byref_x_VarName {
581 ... <various fields>
582 struct __Block_byref_x_VarName *forwarding;
583 ... <various other fields>
584 SomeType VarName;
585 ... <maybe more fields>
586 };
587
588 If we are given the struct directly (as our starting point) we
589 need to tell the debugger to:
590
591 1). Add the offset of the forwarding field.
592
593 2). Follow that pointer to get the real __Block_byref_x_VarName
594 struct to use (the real one may have been copied onto the heap).
595
596 3). Add the offset for the field VarName, to find the actual variable.
597
598 If we started with a pointer to the struct, then we need to
599 dereference that pointer first, before the other steps.
600 Translating this into DWARF ops, we will need to append the following
601 to the current location description for the variable:
602
603 DW_OP_deref -- optional, if we start with a pointer
604 DW_OP_plus_uconst <forward_fld_offset>
605 DW_OP_deref
606 DW_OP_plus_uconst <varName_fld_offset>
607
608 That is what this function does. */
609
610/// addBlockByrefAddress - Start with the address based on the location
611/// provided, and generate the DWARF information necessary to find the
612/// actual Block variable (navigating the Block struct) based on the
613/// starting location. Add the DWARF information to the die. For
614/// more information, read large comment just above here.
615///
Eric Christophera5a79422013-12-09 23:32:48 +0000616void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
617 dwarf::Attribute Attribute,
618 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000619 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000620 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000621 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000622 bool isPointer = false;
623
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000624 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000625
626 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000627 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000628 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000629 isPointer = true;
630 }
631
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000632 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000633
634 // Find the __forwarding field and the variable field in the __Block_byref
635 // struct.
636 DIArray Fields = blockStruct.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000637 DIDerivedType varField;
638 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000639
640 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000641 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000642 StringRef fieldName = DT.getName();
643 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000644 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000645 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000646 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000647 }
648
649 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000650 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
651 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000652
653 // Decode the original location, and use that as the start of the byref
654 // variable's location.
Devang Patel0e821f42011-04-12 23:21:44 +0000655 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
656
Eric Christopheref9d7102012-07-04 02:02:18 +0000657 if (Location.isReg())
658 addRegisterOp(Block, Location.getReg());
659 else
660 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000661
662 // If we started with a pointer to the __Block_byref... struct, then
663 // the first thing we need to do is dereference the pointer (DW_OP_deref).
664 if (isPointer)
David Blaikief2443192013-10-21 17:28:37 +0000665 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000666
667 // Next add the offset for the '__forwarding' field:
668 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
669 // adding the offset if it's 0.
670 if (forwardingFieldOffset > 0) {
David Blaikief2443192013-10-21 17:28:37 +0000671 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
672 addUInt(Block, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000673 }
674
675 // Now dereference the __forwarding field to get to the real __Block_byref
676 // struct: DW_OP_deref.
David Blaikief2443192013-10-21 17:28:37 +0000677 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000678
679 // Now that we've got the real __Block_byref... struct, add the offset
680 // for the variable's field to get to the location of the actual variable:
681 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
682 if (varFieldOffset > 0) {
David Blaikief2443192013-10-21 17:28:37 +0000683 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
684 addUInt(Block, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000685 }
686
687 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000688 addBlock(Die, Attribute, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000689}
690
Devang Patelbcd50a12011-07-20 21:57:04 +0000691/// isTypeSigned - Return true if the type is signed.
Manman Renb3388602013-10-05 01:43:03 +0000692static bool isTypeSigned(DwarfDebug *DD, DIType Ty, int *SizeInBits) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000693 if (Ty.isDerivedType())
Manman Renb3388602013-10-05 01:43:03 +0000694 return isTypeSigned(DD, DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()),
695 SizeInBits);
Devang Patelbcd50a12011-07-20 21:57:04 +0000696 if (Ty.isBasicType())
Eric Christopherc2697f82013-10-19 01:04:47 +0000697 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed ||
698 DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000699 *SizeInBits = Ty.getSizeInBits();
700 return true;
701 }
702 return false;
703}
704
Manman Renb3388602013-10-05 01:43:03 +0000705/// Return true if type encoding is unsigned.
706static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
707 DIDerivedType DTy(Ty);
708 if (DTy.isDerivedType())
709 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
710
711 DIBasicType BTy(Ty);
712 if (BTy.isBasicType()) {
713 unsigned Encoding = BTy.getEncoding();
714 if (Encoding == dwarf::DW_ATE_unsigned ||
715 Encoding == dwarf::DW_ATE_unsigned_char ||
716 Encoding == dwarf::DW_ATE_boolean)
717 return true;
718 }
719 return false;
720}
721
722/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000723static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000724 unsigned Tag = Ty.getTag();
725
726 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
727 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
728 Tag != dwarf::DW_TAG_restrict_type)
729 return Ty.getSizeInBits();
730
731 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
732
733 // If this type is not derived from any type then take conservative approach.
734 if (!BaseType.isValid())
735 return Ty.getSizeInBits();
736
737 // If this is a derived type, go ahead and get the base type, unless it's a
738 // reference then it's just the size of the field. Pointer types have no need
739 // of this since they're a different type of qualification on the type.
740 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
741 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
742 return Ty.getSizeInBits();
743
744 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000745 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000746
747 return BaseType.getSizeInBits();
748}
749
Devang Patel0e821f42011-04-12 23:21:44 +0000750/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000751void DwarfUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
752 DIType Ty) {
David Blaikiea1e813d2013-05-10 21:52:07 +0000753 // FIXME: This is a bit conservative/simple - it emits negative values at
754 // their maximum bit width which is a bit unfortunate (& doesn't prefer
755 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000756 assert(MO.isImm() && "Invalid machine operand!");
Devang Patelbcd50a12011-07-20 21:57:04 +0000757 int SizeInBits = -1;
Manman Renb3388602013-10-05 01:43:03 +0000758 bool SignedConstant = isTypeSigned(DD, Ty, &SizeInBits);
David Blaikief2443192013-10-21 17:28:37 +0000759 dwarf::Form Form;
Devang Patelf1d04702011-05-27 18:15:52 +0000760
Eric Christopher9d1daa82013-08-27 23:49:04 +0000761 // If we're a signed constant definitely use sdata.
762 if (SignedConstant) {
763 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
764 return;
765 }
766
767 // Else use data for now unless it's larger than we can deal with.
768 switch (SizeInBits) {
769 case 8:
770 Form = dwarf::DW_FORM_data1;
771 break;
772 case 16:
773 Form = dwarf::DW_FORM_data2;
774 break;
775 case 32:
776 Form = dwarf::DW_FORM_data4;
777 break;
778 case 64:
779 Form = dwarf::DW_FORM_data8;
780 break;
781 default:
782 Form = dwarf::DW_FORM_udata;
783 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
784 return;
785 }
786 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel0e821f42011-04-12 23:21:44 +0000787}
788
789/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000790void DwarfUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000791 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000792 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
793 APFloat FPImm = MO.getFPImm()->getValueAPF();
794
795 // Get the raw data form of the floating point.
796 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000797 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000798
799 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000800 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000801 int Incr = (LittleEndian ? 1 : -1);
802 int Start = (LittleEndian ? 0 : NumBytes - 1);
803 int Stop = (LittleEndian ? NumBytes : -1);
804
805 // Output the constant to DWARF one byte at a time.
806 for (; Start != Stop; Start += Incr)
Eric Christopher98b7f172013-11-11 18:52:36 +0000807 addUInt(Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000808
David Blaikief2443192013-10-21 17:28:37 +0000809 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000810}
811
David Blaikiea39a76e2013-01-20 01:18:01 +0000812/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000813void DwarfUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000814 // Pass this down to addConstantValue as an unsigned bag of bits.
815 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000816}
817
Devang Patel0e821f42011-04-12 23:21:44 +0000818/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000819void DwarfUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
820 bool Unsigned) {
Eric Christopher78fcf4902013-07-03 01:08:30 +0000821 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikiea39a76e2013-01-20 01:18:01 +0000822}
823
824// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000825void DwarfUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000826 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000827 if (CIBitWidth <= 64) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000828 // If we're a signed constant definitely use sdata.
829 if (!Unsigned) {
830 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
831 Val.getSExtValue());
832 return;
Devang Patel8816bbc2011-05-28 00:39:18 +0000833 }
Eric Christopher9d1daa82013-08-27 23:49:04 +0000834
835 // Else use data for now unless it's larger than we can deal with.
David Blaikief2443192013-10-21 17:28:37 +0000836 dwarf::Form Form;
Eric Christopher9d1daa82013-08-27 23:49:04 +0000837 switch (CIBitWidth) {
838 case 8:
839 Form = dwarf::DW_FORM_data1;
840 break;
841 case 16:
842 Form = dwarf::DW_FORM_data2;
843 break;
844 case 32:
845 Form = dwarf::DW_FORM_data4;
846 break;
847 case 64:
848 Form = dwarf::DW_FORM_data8;
849 break;
850 default:
851 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
852 Val.getZExtValue());
853 return;
854 }
855 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000856 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000857 }
858
859 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
860
861 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000862 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000863
864 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000865 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000866
867 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000868 for (int i = 0; i < NumBytes; i++) {
869 uint8_t c;
870 if (LittleEndian)
871 c = Ptr64[i / 8] >> (8 * (i & 7));
872 else
873 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikief2443192013-10-21 17:28:37 +0000874 addUInt(Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000875 }
Devang Patel0e821f42011-04-12 23:21:44 +0000876
David Blaikief2443192013-10-21 17:28:37 +0000877 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000878}
879
Eric Christopher25e35092013-04-22 07:47:40 +0000880/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000881void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000882 // Add template parameters.
883 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
884 DIDescriptor Element = TParams.getElement(i);
885 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000886 constructTemplateTypeParameterDIE(Buffer,
887 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000888 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000889 constructTemplateValueParameterDIE(Buffer,
890 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000891 }
Devang Patel0e821f42011-04-12 23:21:44 +0000892}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000893
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000894/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000895DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000896 if (!Context || Context.isFile())
David Blaikie2a80e442013-12-02 22:09:48 +0000897 return getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000898 if (Context.isType())
899 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000900 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000901 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000902 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000903 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000904 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000905}
906
Eric Christophera5a79422013-12-09 23:32:48 +0000907DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000908 DIScope Context = resolve(Ty.getContext());
909 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000910
911 DIE *TyDIE = getDIE(Ty);
912 if (TyDIE)
913 return TyDIE;
914
915 // Create new type.
916 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
917
David Blaikiefbd29eb2013-11-26 00:35:04 +0000918 constructTypeDIE(*TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000919
David Blaikie9d861be2013-11-26 00:15:27 +0000920 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie409dd9c2013-11-19 23:08:21 +0000921 return TyDIE;
922}
923
Devang Patel0e821f42011-04-12 23:21:44 +0000924/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
925/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000926DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000927 if (!TyNode)
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000928 return NULL;
Manman Renf4c339e2013-10-29 22:49:29 +0000929
David Blaikie32887552013-11-14 22:25:02 +0000930 DIType Ty(TyNode);
931 assert(Ty.isType());
932
Manman Renf4c339e2013-10-29 22:49:29 +0000933 // Construct the context before querying for the existence of the DIE in case
934 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000935 DIScope Context = resolve(Ty.getContext());
936 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000937 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000938
Eric Christophere595bae2013-10-04 17:08:38 +0000939 DIE *TyDIE = getDIE(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000940 if (TyDIE)
941 return TyDIE;
942
943 // Create new type.
Manman Renf4c339e2013-10-29 22:49:29 +0000944 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
945
Devang Patel0e821f42011-04-12 23:21:44 +0000946 if (Ty.isBasicType())
947 constructTypeDIE(*TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000948 else if (Ty.isCompositeType()) {
949 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +0000950 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
951 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000952 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
David Blaikiecfb21152014-01-03 18:59:42 +0000953 // Skip updating the accellerator tables since this is not the full type
954 return TyDIE;
955 }
David Blaikiefbd29eb2013-11-26 00:35:04 +0000956 constructTypeDIE(*TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000957 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000958 assert(Ty.isDerivedType() && "Unknown kind of DIType");
959 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
960 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000961
David Blaikie9d861be2013-11-26 00:15:27 +0000962 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie2ea848b2013-11-19 22:51:04 +0000963
964 return TyDIE;
965}
966
Eric Christophera5a79422013-12-09 23:32:48 +0000967void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
968 const DIE *TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000969 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
970 bool IsImplementation = 0;
971 if (Ty.isCompositeType()) {
972 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000973 // A runtime language of 0 actually means C/C++ and that any
974 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000975 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000976 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000977 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000978 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
David Blaikie9d861be2013-11-26 00:15:27 +0000979
980 if (!Context || Context.isCompileUnit() || Context.isFile() ||
981 Context.isNameSpace())
982 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] = TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +0000983 }
Devang Patel0e821f42011-04-12 23:21:44 +0000984}
985
986/// addType - Add a new type attribute to the specified entity.
Eric Christophera5a79422013-12-09 23:32:48 +0000987void DwarfUnit::addType(DIE *Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000988 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000989
990 // Check for pre-existence.
991 DIEEntry *Entry = getDIEEntry(Ty);
992 // If it exists then use the existing value.
993 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000994 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000995 return;
996 }
997
998 // Construct type.
999 DIE *Buffer = getOrCreateTypeDIE(Ty);
1000
1001 // Set up proxy.
1002 Entry = createDIEEntry(Buffer);
1003 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001004 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001005}
1006
Eric Christopher9cd26af2013-09-20 23:22:52 +00001007// Accelerator table mutators - add each name along with its companion
1008// DIE to the proper table while ensuring that the name that we're going
1009// to reference is in the string table. We do this since the names we
1010// add may not only be identical to the names in the DIE.
Eric Christophera5a79422013-12-09 23:32:48 +00001011void DwarfUnit::addAccelName(StringRef Name, const DIE *Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001012 if (!DD->useDwarfAccelTables())
1013 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001014 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001015 std::vector<const DIE *> &DIEs = AccelNames[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001016 DIEs.push_back(Die);
1017}
1018
Eric Christophera5a79422013-12-09 23:32:48 +00001019void DwarfUnit::addAccelObjC(StringRef Name, const DIE *Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001020 if (!DD->useDwarfAccelTables())
1021 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001022 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001023 std::vector<const DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001024 DIEs.push_back(Die);
1025}
1026
Eric Christophera5a79422013-12-09 23:32:48 +00001027void DwarfUnit::addAccelNamespace(StringRef Name, const DIE *Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001028 if (!DD->useDwarfAccelTables())
1029 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001030 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001031 std::vector<const DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001032 DIEs.push_back(Die);
1033}
1034
Eric Christophera5a79422013-12-09 23:32:48 +00001035void DwarfUnit::addAccelType(StringRef Name,
1036 std::pair<const DIE *, unsigned> Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001037 if (!DD->useDwarfAccelTables())
1038 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001039 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001040 std::vector<std::pair<const DIE *, unsigned> > &DIEs = AccelTypes[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001041 DIEs.push_back(Die);
1042}
1043
Eric Christopher9c58f312013-09-20 22:20:55 +00001044/// addGlobalName - Add a new global name to the compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +00001045void DwarfUnit::addGlobalName(StringRef Name, DIE *Die, DIScope Context) {
Eric Christopher8dba0d52013-10-19 01:04:42 +00001046 std::string FullName = getParentContextString(Context) + Name.str();
Eric Christopher2c8b7902013-10-17 02:06:06 +00001047 GlobalNames[FullName] = Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001048}
1049
Eric Christopher2c8b7902013-10-17 02:06:06 +00001050/// getParentContextString - Walks the metadata parent chain in a language
1051/// specific manner (using the compile unit language) and returns
1052/// it as a string. This is done at the metadata level because DIEs may
1053/// not currently have been added to the parent context and walking the
1054/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001055std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001056 if (!Context)
1057 return "";
1058
1059 // FIXME: Decide whether to implement this for non-C++ languages.
1060 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1061 return "";
1062
Eric Christopher8dba0d52013-10-19 01:04:42 +00001063 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001064 SmallVector<DIScope, 1> Parents;
1065 while (!Context.isCompileUnit()) {
1066 Parents.push_back(Context);
1067 if (Context.getContext())
1068 Context = resolve(Context.getContext());
1069 else
1070 // Structure, etc types will have a NULL context if they're at the top
1071 // level.
1072 break;
1073 }
1074
1075 // Reverse iterate over our list to go from the outermost construct to the
1076 // innermost.
1077 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1078 E = Parents.rend();
1079 I != E; ++I) {
1080 DIScope Ctx = *I;
1081 StringRef Name = Ctx.getName();
Eric Christopher8dba0d52013-10-19 01:04:42 +00001082 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001083 CS += Name;
1084 CS += "::";
1085 }
1086 }
1087 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001088}
1089
1090/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001091void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001092 // Get core information.
1093 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001094 // Add name if not anonymous or intermediate type.
1095 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001096 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001097
David Blaikiefac56122013-10-04 23:21:16 +00001098 // An unspecified type only has a name attribute.
1099 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001100 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001101
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001102 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001103 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001104
Devang Patel0e821f42011-04-12 23:21:44 +00001105 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikief2443192013-10-21 17:28:37 +00001106 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001107}
1108
1109/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001110void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001111 // Get core information.
1112 StringRef Name = DTy.getName();
1113 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001114 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001115
1116 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001117 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001118 if (FromTy)
1119 addType(&Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001120
1121 // Add name if not anonymous or intermediate type.
1122 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001123 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001124
1125 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001126 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikief2443192013-10-21 17:28:37 +00001127 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001128
David Blaikie5d3249b2013-01-07 05:51:15 +00001129 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Eric Christopherc2697f82013-10-19 01:04:47 +00001130 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
1131 getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001132 // Add source line info if available and TyDesc is not a forward declaration.
1133 if (!DTy.isForwardDecl())
1134 addSourceLine(&Buffer, DTy);
1135}
1136
1137/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001138void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001139 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001140 StringRef Name = CTy.getName();
1141
1142 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001143 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001144
1145 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001146 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001147 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001148 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001149 case dwarf::DW_TAG_enumeration_type:
1150 constructEnumTypeDIE(Buffer, CTy);
1151 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001152 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001153 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001154 DIArray Elements = CTy.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001155 DIType RTy(Elements.getElement(0));
Eric Christopher0df08e22013-08-08 07:40:37 +00001156 if (RTy)
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001157 addType(&Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001158
1159 bool isPrototyped = true;
1160 // Add arguments.
1161 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1162 DIDescriptor Ty = Elements.getElement(i);
1163 if (Ty.isUnspecifiedParameter()) {
Manman Renb987e512013-10-29 00:53:03 +00001164 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001165 isPrototyped = false;
1166 } else {
Manman Renb987e512013-10-29 00:53:03 +00001167 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001168 addType(Arg, DIType(Ty));
David Blaikie9a7a7a92013-01-29 19:35:24 +00001169 if (DIType(Ty).isArtificial())
1170 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001171 }
1172 }
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001173 // Add prototype flag if we're dealing with a C language and the
1174 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001175 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001176 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001177 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001178 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001179 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001180
1181 if (CTy.isLValueReference())
1182 addFlag(&Buffer, dwarf::DW_AT_reference);
1183
1184 if (CTy.isRValueReference())
1185 addFlag(&Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001186 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001187 case dwarf::DW_TAG_structure_type:
1188 case dwarf::DW_TAG_union_type:
1189 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001190 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001191 DIArray Elements = CTy.getTypeArray();
1192 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001193 DIDescriptor Element = Elements.getElement(i);
1194 DIE *ElemDie = NULL;
Adrian Prantlef129fb2014-01-18 02:12:00 +00001195 if (Element.isSubprogram())
1196 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
1197 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001198 DIDerivedType DDTy(Element);
1199 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
Manman Renb987e512013-10-29 00:53:03 +00001200 ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001201 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001202 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001203 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001204 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001205 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001206 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001207 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001208 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001209 DIObjCProperty Property(Element);
Manman Renb987e512013-10-29 00:53:03 +00001210 ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001211 StringRef PropertyName = Property.getObjCPropertyName();
1212 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001213 if (Property.getType())
1214 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001215 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001216 StringRef GetterName = Property.getObjCPropertyGetterName();
1217 if (!GetterName.empty())
1218 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1219 StringRef SetterName = Property.getObjCPropertySetterName();
1220 if (!SetterName.empty())
1221 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1222 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001223 if (Property.isReadOnlyObjCProperty())
1224 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1225 if (Property.isReadWriteObjCProperty())
1226 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1227 if (Property.isAssignObjCProperty())
1228 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1229 if (Property.isRetainObjCProperty())
1230 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1231 if (Property.isCopyObjCProperty())
1232 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1233 if (Property.isNonAtomicObjCProperty())
1234 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1235 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001236 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001237 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001238
Devang Pateld925d1a2012-02-07 23:33:58 +00001239 DIEEntry *Entry = getDIEEntry(Element);
1240 if (!Entry) {
1241 Entry = createDIEEntry(ElemDie);
1242 insertDIEEntry(Element, Entry);
1243 }
Devang Patel403e8192012-02-04 01:30:32 +00001244 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001245 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001246 }
1247
1248 if (CTy.isAppleBlockExtension())
Eric Christopherbb69a272012-08-24 01:14:27 +00001249 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001250
Eric Christopher9e429ae2013-10-05 00:27:02 +00001251 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001252 if (ContainingType)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001253 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001254 getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001255
Devang Patel12419ae2011-05-12 21:29:42 +00001256 if (CTy.isObjcClassComplete())
Eric Christopherbb69a272012-08-24 01:14:27 +00001257 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001258
Eric Christopherda011dd2011-12-16 23:42:42 +00001259 // Add template parameters to a class, structure or union types.
1260 // FIXME: The support isn't in the metadata for this yet.
1261 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001262 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001263 addTemplateParams(Buffer, CTy.getTemplateParams());
1264
1265 break;
1266 }
1267 default:
1268 break;
1269 }
1270
1271 // Add name if not anonymous or intermediate type.
1272 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001273 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001274
Eric Christopher775cbd22012-05-22 18:45:18 +00001275 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001276 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001277 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001278 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001279 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001280 if (Size)
David Blaikief2443192013-10-21 17:28:37 +00001281 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001282 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001283 // Add zero size if it is not a forward declaration.
David Blaikief2443192013-10-21 17:28:37 +00001284 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001285
1286 // If we're a forward decl, say so.
1287 if (CTy.isForwardDecl())
Eric Christopherbb69a272012-08-24 01:14:27 +00001288 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001289
1290 // Add source line info if available.
1291 if (!CTy.isForwardDecl())
1292 addSourceLine(&Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001293
1294 // No harm in adding the runtime language to the declaration.
1295 unsigned RLang = CTy.getRunTimeLang();
1296 if (RLang)
Eric Christopherc2697f82013-10-19 01:04:47 +00001297 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
1298 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001299 }
1300}
1301
Manman Renffc9a712013-10-23 23:05:28 +00001302/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1303/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001304void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1305 DITemplateTypeParameter TP) {
Manman Renb987e512013-10-29 00:53:03 +00001306 DIE *ParamDIE =
1307 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001308 // Add the type if it exists, it could be void and therefore no type.
1309 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001310 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001311 if (!TP.getName().empty())
1312 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001313}
1314
Manman Renffc9a712013-10-23 23:05:28 +00001315/// constructTemplateValueParameterDIE - Construct new DIE for the given
1316/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001317void
1318DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001319 DITemplateValueParameter VP) {
Manman Renb987e512013-10-29 00:53:03 +00001320 DIE *ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001321
1322 // Add the type if there is one, template template and template parameter
1323 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001324 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001325 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001326 if (!VP.getName().empty())
1327 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1328 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001329 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Ren88b0f942013-10-09 19:46:28 +00001330 addConstantValue(ParamDIE, CI,
1331 isUnsignedDIType(DD, resolve(VP.getType())));
David Blaikiea1e813d2013-05-10 21:52:07 +00001332 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1333 // For declaration non-type template parameters (such as global values and
1334 // functions)
1335 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001336 addOpAddress(Block, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001337 // Emit DW_OP_stack_value to use the address as the immediate value of the
1338 // parameter, rather than a pointer to it.
David Blaikief2443192013-10-21 17:28:37 +00001339 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1340 addBlock(ParamDIE, dwarf::DW_AT_location, Block);
Eric Christopherafb2c412013-08-08 07:40:31 +00001341 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001342 assert(isa<MDString>(Val));
1343 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1344 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001345 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001346 assert(isa<MDNode>(Val));
1347 DIArray A(cast<MDNode>(Val));
1348 addTemplateParams(*ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001349 }
1350 }
Devang Patel0e821f42011-04-12 23:21:44 +00001351}
1352
Devang Patel17b53272011-05-06 16:57:54 +00001353/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001354DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001355 // Construct the context before querying for the existence of the DIE in case
1356 // such construction creates the DIE.
1357 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001358
Devang Patel17b53272011-05-06 16:57:54 +00001359 DIE *NDie = getDIE(NS);
1360 if (NDie)
1361 return NDie;
Manman Renf6b936b2013-10-29 05:49:41 +00001362 NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
1363
Eric Christopher4996c702011-11-07 09:24:32 +00001364 if (!NS.getName().empty()) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001365 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher4996c702011-11-07 09:24:32 +00001366 addAccelNamespace(NS.getName(), NDie);
Eric Christopher2c8b7902013-10-17 02:06:06 +00001367 addGlobalName(NS.getName(), NDie, NS.getContext());
Eric Christopher4996c702011-11-07 09:24:32 +00001368 } else
1369 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel17b53272011-05-06 16:57:54 +00001370 addSourceLine(NDie, NS);
Devang Patel17b53272011-05-06 16:57:54 +00001371 return NDie;
1372}
1373
Devang Patel89543712011-08-15 17:24:54 +00001374/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001375DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001376 // Construct the context before querying for the existence of the DIE in case
1377 // such construction creates the DIE (as is the case for member function
1378 // declarations).
Manman Renc50fa112013-10-10 18:40:01 +00001379 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
David Blaikie309ffe42013-10-04 01:39:59 +00001380
Eric Christophere595bae2013-10-04 17:08:38 +00001381 DIE *SPDie = getDIE(SP);
Devang Patel89543712011-08-15 17:24:54 +00001382 if (SPDie)
1383 return SPDie;
1384
Manman Ren73d697c2013-10-29 00:58:04 +00001385 DISubprogram SPDecl = SP.getFunctionDeclaration();
1386 if (SPDecl.isSubprogram())
1387 // Add subprogram definitions to the CU die directly.
David Blaikie2a80e442013-12-02 22:09:48 +00001388 ContextDIE = UnitDie.get();
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001389
1390 // DW_TAG_inlined_subroutine may refer to this DIE.
Manman Ren73d697c2013-10-29 00:58:04 +00001391 SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001392
Rafael Espindola79278362011-11-10 22:34:29 +00001393 DIE *DeclDie = NULL;
Manman Renb9512a72013-10-23 22:12:26 +00001394 if (SPDecl.isSubprogram())
Rafael Espindola79278362011-11-10 22:34:29 +00001395 DeclDie = getOrCreateSubprogramDIE(SPDecl);
Rafael Espindola79278362011-11-10 22:34:29 +00001396
Devang Patel89543712011-08-15 17:24:54 +00001397 // Add function template parameters.
1398 addTemplateParams(*SPDie, SP.getTemplateParams());
1399
Devang Patel89543712011-08-15 17:24:54 +00001400 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherf20ff972013-05-09 00:42:33 +00001401 // then there is no need to add other attributes.
Rafael Espindola79278362011-11-10 22:34:29 +00001402 if (DeclDie) {
1403 // Refer function declaration directly.
Manman Ren4c4b69c2013-10-11 23:58:05 +00001404 addDIEEntry(SPDie, dwarf::DW_AT_specification, DeclDie);
Rafael Espindola79278362011-11-10 22:34:29 +00001405
Devang Patel89543712011-08-15 17:24:54 +00001406 return SPDie;
Rafael Espindola79278362011-11-10 22:34:29 +00001407 }
Devang Patel89543712011-08-15 17:24:54 +00001408
Eric Christopheracb71152012-08-23 22:52:55 +00001409 // Add the linkage name if we have one.
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001410 StringRef LinkageName = SP.getLinkageName();
1411 if (!LinkageName.empty())
Eric Christopheracb71152012-08-23 22:52:55 +00001412 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001413 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopheracb71152012-08-23 22:52:55 +00001414
Devang Patel89543712011-08-15 17:24:54 +00001415 // Constructors and operators for anonymous aggregates do not have names.
1416 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001417 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001418
1419 addSourceLine(SPDie, SP);
1420
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001421 // Add the prototype if we have a prototype and we have a C like
1422 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001423 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001424 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001425 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001426 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001427 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001428
Devang Patel89543712011-08-15 17:24:54 +00001429 DICompositeType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001430 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1431 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001432
David Blaikie5174c842013-05-22 23:22:18 +00001433 DIArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001434 // Add a return type. If this is a type like a C/C++ void type we don't add a
1435 // return type.
Eric Christopher0df08e22013-08-08 07:40:37 +00001436 if (Args.getElement(0))
1437 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel89543712011-08-15 17:24:54 +00001438
1439 unsigned VK = SP.getVirtuality();
1440 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001441 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Patel89543712011-08-15 17:24:54 +00001442 DIEBlock *Block = getDIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001443 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1444 addUInt(Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1445 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001446 ContainingTypeMap.insert(
1447 std::make_pair(SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001448 }
1449
1450 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001451 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001452
Devang Patel89543712011-08-15 17:24:54 +00001453 // Add arguments. Do not add arguments for subprogram definition. They will
1454 // be handled while processing variables.
Eric Christopherc2697f82013-10-19 01:04:47 +00001455 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renb987e512013-10-29 00:53:03 +00001456 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, *SPDie);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001457 DIType ATy(Args.getElement(i));
David Blaikie5174c842013-05-22 23:22:18 +00001458 addType(Arg, ATy);
1459 if (ATy.isArtificial())
1460 addFlag(Arg, dwarf::DW_AT_artificial);
David Blaikie5174c842013-05-22 23:22:18 +00001461 }
Devang Patel89543712011-08-15 17:24:54 +00001462 }
1463
1464 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001465 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001466
1467 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001468 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001469
1470 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001471 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001472
1473 if (unsigned isa = Asm->getISAEncoding()) {
1474 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1475 }
1476
Adrian Prantl99c7af22013-12-18 21:48:19 +00001477 if (SP.isLValueReference())
1478 addFlag(SPDie, dwarf::DW_AT_reference);
1479
1480 if (SP.isRValueReference())
1481 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1482
Adrian Prantlef129fb2014-01-18 02:12:00 +00001483 if (SP.isProtected())
1484 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1485 dwarf::DW_ACCESS_protected);
1486 else if (SP.isPrivate())
1487 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1488 dwarf::DW_ACCESS_private);
1489 else
1490 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1491 dwarf::DW_ACCESS_public);
1492
1493 if (SP.isExplicit())
1494 addFlag(SPDie, dwarf::DW_AT_explicit);
1495
Devang Patel89543712011-08-15 17:24:54 +00001496 return SPDie;
1497}
1498
Devang Pateldfd6ec32011-08-15 17:57:41 +00001499// Return const expression if value is a GEP to access merged global
1500// constant. e.g.
1501// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1502static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1503 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1504 if (!CE || CE->getNumOperands() != 3 ||
1505 CE->getOpcode() != Instruction::GetElementPtr)
1506 return NULL;
1507
1508 // First operand points to a global struct.
1509 Value *Ptr = CE->getOperand(0);
1510 if (!isa<GlobalValue>(Ptr) ||
1511 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1512 return NULL;
1513
1514 // Second operand is zero.
1515 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1516 if (!CI || !CI->isZero())
1517 return NULL;
1518
1519 // Third operand is offset.
1520 if (!isa<ConstantInt>(CE->getOperand(2)))
1521 return NULL;
1522
1523 return CE;
1524}
1525
1526/// createGlobalVariableDIE - create global variable DIE.
Eric Christopher4287a492013-12-09 23:57:44 +00001527void DwarfCompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001528 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001529 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001530 return;
1531
David Blaikie5e390e42014-02-04 01:23:52 +00001532 assert(GV.isGlobalVariable());
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001533
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001534 DIScope GVContext = GV.getContext();
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001535 DIType GTy = GV.getType();
1536
1537 // If this is a static data member definition, some attributes belong
1538 // to the declaration DIE.
1539 DIE *VariableDIE = NULL;
Manman Rene697d3c2013-02-01 23:54:37 +00001540 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001541 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1542 if (SDMDecl.Verify()) {
1543 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1544 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001545 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001546 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001547 }
1548
1549 // If this is not a static data member definition, create the variable
1550 // DIE and add the initial set of attributes to it.
1551 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001552 // Construct the context before querying for the existence of the DIE in
1553 // case such construction creates the DIE.
1554 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001555
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001556 // Add to map.
David Blaikie52c50202013-11-16 00:29:01 +00001557 VariableDIE = createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001558
1559 // Add name and type.
1560 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1561 addType(VariableDIE, GTy);
1562
1563 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001564 if (!GV.isLocalToUnit())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001565 addFlag(VariableDIE, dwarf::DW_AT_external);
1566
1567 // Add line number info.
1568 addSourceLine(VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001569 }
1570
Devang Pateldfd6ec32011-08-15 17:57:41 +00001571 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001572 bool addToAccelTable = false;
Eric Christopher0a917b72011-11-11 03:16:32 +00001573 DIE *VariableSpecDIE = NULL;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001574 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001575 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001576 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001577 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001578 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001579 if (GV.getGlobal()->isThreadLocal()) {
1580 // FIXME: Make this work with -gsplit-dwarf.
1581 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1582 assert((PointerSize == 4 || PointerSize == 8) &&
1583 "Add support for other sizes if necessary");
Ulrich Weigand2b6fc8d2013-07-02 18:47:09 +00001584 const MCExpr *Expr =
David Blaikie8466ca82013-07-01 23:55:52 +00001585 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikief2694972013-06-28 20:05:11 +00001586 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001587 if (!DD->useSplitDwarf()) {
1588 // 1) Start with a constNu of the appropriate pointer size
David Blaikief2443192013-10-21 17:28:37 +00001589 addUInt(Block, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001590 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001591 // 2) containing the (relocated) offset of the TLS variable
1592 // within the module's TLS block.
David Blaikief2443192013-10-21 17:28:37 +00001593 addExpr(Block, dwarf::DW_FORM_udata, Expr);
David Blaikie8466ca82013-07-01 23:55:52 +00001594 } else {
David Blaikief2443192013-10-21 17:28:37 +00001595 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1596 addUInt(Block, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8466ca82013-07-01 23:55:52 +00001597 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001598 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikief2443192013-10-21 17:28:37 +00001599 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001600 } else {
1601 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikief2694972013-06-28 20:05:11 +00001602 addOpAddress(Block, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001603 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001604 // Do not create specification DIE if context is either compile unit
1605 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001606 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001607 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001608 // Create specification DIE.
David Blaikie2a80e442013-12-02 22:09:48 +00001609 VariableSpecDIE = createAndAddDIE(dwarf::DW_TAG_variable, *UnitDie);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001610 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification, VariableDIE);
David Blaikief2443192013-10-21 17:28:37 +00001611 addBlock(VariableSpecDIE, dwarf::DW_AT_location, Block);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001612 // A static member's declaration is already flagged as such.
1613 if (!SDMDecl.Verify())
1614 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001615 } else {
David Blaikief2443192013-10-21 17:28:37 +00001616 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Eric Christopher4996c702011-11-07 09:24:32 +00001617 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001618 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001619 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001620 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001621 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1622 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1623 // TAG_variable.
Eric Christopherc2697f82013-10-19 01:04:47 +00001624 addString(IsStaticMember && VariableSpecDIE ? VariableSpecDIE
1625 : VariableDIE,
1626 dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001627 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001628 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001629 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001630 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001631 // emitting AT_const_value multiple times, we only add AT_const_value when
1632 // it is not a static member.
1633 if (!IsStaticMember)
Manman Renb3388602013-10-05 01:43:03 +00001634 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
David Blaikiea781b25b2013-11-17 21:55:13 +00001635 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001636 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001637 // GV is a merged global.
1638 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1639 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001640 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1641 DD->addArangeLabel(SymbolCU(this, Sym));
1642 addOpAddress(Block, Sym);
David Blaikief2443192013-10-21 17:28:37 +00001643 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001644 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikief2443192013-10-21 17:28:37 +00001645 addUInt(Block, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001646 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikief2443192013-10-21 17:28:37 +00001647 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1648 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001649 }
1650
Eric Christopherc12c2112011-11-11 01:55:22 +00001651 if (addToAccelTable) {
1652 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1653 addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001654
Eric Christopherc12c2112011-11-11 01:55:22 +00001655 // If the linkage name is different than the name, go ahead and output
1656 // that as well into the name table.
1657 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1658 addAccelName(GV.getLinkageName(), AddrDIE);
1659 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001660
1661 if (!GV.isLocalToUnit())
Eric Christopher2c8b7902013-10-17 02:06:06 +00001662 addGlobalName(GV.getName(), VariableSpecDIE ? VariableSpecDIE : VariableDIE,
1663 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001664}
1665
Devang Patel0e821f42011-04-12 23:21:44 +00001666/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001667void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
Manman Renb987e512013-10-29 00:53:03 +00001668 DIE *DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001669 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001670
Bill Wendling28fe9e72012-12-06 07:38:10 +00001671 // The LowerBound value defines the lower bounds which is typically zero for
1672 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1673 // Count == -1 then the array is unbounded and we do not emit
1674 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1675 // Count == 0, then the array has zero elements in which case we do not emit
1676 // an upper bound.
1677 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001678 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001679 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001680
Bill Wendling3495f9b2012-12-06 07:55:19 +00001681 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001682 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001683
1684 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001685 // FIXME: An unbounded array should reference the expression that defines
1686 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001687 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1688 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001689}
1690
1691/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001692void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001693 if (CTy.isVector())
Eric Christopherbb69a272012-08-24 01:14:27 +00001694 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001695
Eric Christopher0df08e22013-08-08 07:40:37 +00001696 // Emit the element type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001697 addType(&Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001698
1699 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001700 // FIXME: This type should be passed down from the front end
1701 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001702 DIE *IdxTy = getIndexTyDie();
1703 if (!IdxTy) {
1704 // Construct an anonymous type for index type.
David Blaikie2a80e442013-12-02 22:09:48 +00001705 IdxTy = createAndAddDIE(dwarf::DW_TAG_base_type, *UnitDie);
Eric Christophercad9b532013-01-04 21:51:53 +00001706 addString(IdxTy, dwarf::DW_AT_name, "int");
David Blaikief2443192013-10-21 17:28:37 +00001707 addUInt(IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int32_t));
Devang Patel0e821f42011-04-12 23:21:44 +00001708 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1709 dwarf::DW_ATE_signed);
Devang Patel0e821f42011-04-12 23:21:44 +00001710 setIndexTyDie(IdxTy);
1711 }
1712
1713 // Add subranges to array type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001714 DIArray Elements = CTy.getTypeArray();
Devang Patel0e821f42011-04-12 23:21:44 +00001715 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1716 DIDescriptor Element = Elements.getElement(i);
1717 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1718 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1719 }
1720}
1721
Eric Christopheraeb105f2013-11-11 18:52:39 +00001722/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001723void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopheraeb105f2013-11-11 18:52:39 +00001724 DIArray Elements = CTy.getTypeArray();
1725
1726 // Add enumerators to enumeration type.
1727 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001728 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001729 if (Enum.isEnumerator()) {
1730 DIE *Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001731 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001732 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001733 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001734 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1735 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001736 }
1737 }
1738 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1739 if (DTy) {
1740 addType(&Buffer, DTy);
1741 addFlag(&Buffer, dwarf::DW_AT_enum_class);
1742 }
Devang Patel0e821f42011-04-12 23:21:44 +00001743}
1744
Devang Patel89543712011-08-15 17:24:54 +00001745/// constructContainingTypeDIEs - Construct DIEs for types that contain
1746/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001747void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001748 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001749 CE = ContainingTypeMap.end();
1750 CI != CE; ++CI) {
Devang Patel89543712011-08-15 17:24:54 +00001751 DIE *SPDie = CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001752 DIDescriptor D(CI->second);
1753 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001754 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001755 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001756 if (!NDie)
1757 continue;
Manman Ren4c4b69c2013-10-11 23:58:05 +00001758 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, NDie);
Devang Patel89543712011-08-15 17:24:54 +00001759 }
1760}
1761
Devang Patel3acc70e2011-08-15 22:04:40 +00001762/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christophera5a79422013-12-09 23:32:48 +00001763DIE *DwarfUnit::constructVariableDIE(DbgVariable &DV, bool isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001764 StringRef Name = DV.getName();
Devang Patel3acc70e2011-08-15 22:04:40 +00001765
Devang Patel3acc70e2011-08-15 22:04:40 +00001766 // Define variable debug information entry.
Eric Christopher34a2c872013-11-15 01:43:19 +00001767 DIE *VariableDie = new DIE(DV.getTag());
1768 DbgVariable *AbsVar = DV.getAbstractVariable();
Devang Patel3acc70e2011-08-15 22:04:40 +00001769 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren4213c392013-05-29 17:16:59 +00001770 if (AbsDIE)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001771 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin, AbsDIE);
Devang Patel3acc70e2011-08-15 22:04:40 +00001772 else {
David Blaikie715528b2013-08-19 03:34:03 +00001773 if (!Name.empty())
1774 addString(VariableDie, dwarf::DW_AT_name, Name);
Eric Christopher34a2c872013-11-15 01:43:19 +00001775 addSourceLine(VariableDie, DV.getVariable());
1776 addType(VariableDie, DV.getType());
Devang Patel3acc70e2011-08-15 22:04:40 +00001777 }
1778
Eric Christopher34a2c872013-11-15 01:43:19 +00001779 if (DV.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001780 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Patel3acc70e2011-08-15 22:04:40 +00001781
1782 if (isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001783 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001784 return VariableDie;
1785 }
1786
1787 // Add variable address.
1788
Eric Christopher34a2c872013-11-15 01:43:19 +00001789 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001790 if (Offset != ~0U) {
Eric Christopher33ff6972013-11-21 23:46:41 +00001791 addSectionLabel(VariableDie, dwarf::DW_AT_location,
1792 Asm->GetTempSymbol("debug_loc", Offset));
Eric Christopher34a2c872013-11-15 01:43:19 +00001793 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001794 return VariableDie;
1795 }
1796
Eric Christophercead0332011-10-03 15:49:20 +00001797 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001798 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001799 assert(DVInsn->getNumOperands() == 3);
1800 if (DVInsn->getOperand(0).isReg()) {
1801 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001802 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001803 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001804 MachineLocation Location(RegOp.getReg(),
1805 DVInsn->getOperand(1).getImm());
Eric Christopher34a2c872013-11-15 01:43:19 +00001806 addVariableAddress(DV, VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001807 } else if (RegOp.getReg())
Eric Christopher34a2c872013-11-15 01:43:19 +00001808 addVariableAddress(DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001809 } else if (DVInsn->getOperand(0).isImm())
Eric Christopher34a2c872013-11-15 01:43:19 +00001810 addConstantValue(VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001811 else if (DVInsn->getOperand(0).isFPImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001812 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001813 else if (DVInsn->getOperand(0).isCImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001814 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher34a2c872013-11-15 01:43:19 +00001815 isUnsignedDIType(DD, DV.getType()));
Eric Christopher78fcf4902013-07-03 01:08:30 +00001816
Eric Christopher34a2c872013-11-15 01:43:19 +00001817 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001818 return VariableDie;
1819 } else {
1820 // .. else use frame index.
Eric Christopher34a2c872013-11-15 01:43:19 +00001821 int FI = DV.getFrameIndex();
Devang Patel3acc70e2011-08-15 22:04:40 +00001822 if (FI != ~0) {
1823 unsigned FrameReg = 0;
1824 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopherc2697f82013-10-19 01:04:47 +00001825 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
Devang Patel3acc70e2011-08-15 22:04:40 +00001826 MachineLocation Location(FrameReg, Offset);
Eric Christopher34a2c872013-11-15 01:43:19 +00001827 addVariableAddress(DV, VariableDie, Location);
Devang Patel3acc70e2011-08-15 22:04:40 +00001828 }
1829 }
1830
Eric Christopher34a2c872013-11-15 01:43:19 +00001831 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001832 return VariableDie;
1833}
1834
Manman Ren230ec862013-10-23 23:00:44 +00001835/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001836void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
Manman Renb987e512013-10-29 00:53:03 +00001837 DIE *MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001838 StringRef Name = DT.getName();
1839 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001840 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001841
Manman Ren93b30902013-10-08 18:42:58 +00001842 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001843
1844 addSourceLine(MemberDie, DT);
1845
Eric Christopherc2697f82013-10-19 01:04:47 +00001846 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001847
1848 // For C++, virtual base classes are not at fixed offset. Use following
1849 // expression to extract appropriate offset from vtable.
1850 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1851
1852 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001853 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1854 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1855 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1856 addUInt(VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1857 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1858 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1859 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001860
David Blaikief2443192013-10-21 17:28:37 +00001861 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001862 } else {
1863 uint64_t Size = DT.getSizeInBits();
1864 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1865 uint64_t OffsetInBytes;
1866
1867 if (Size != FieldSize) {
1868 // Handle bitfield.
1869 addUInt(MemberDie, dwarf::DW_AT_byte_size, None,
1870 getBaseTypeSize(DD, DT) >> 3);
1871 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, DT.getSizeInBits());
1872
1873 uint64_t Offset = DT.getOffsetInBits();
1874 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1875 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1876 uint64_t FieldOffset = (HiMark - FieldSize);
1877 Offset -= FieldOffset;
1878
1879 // Maybe we need to work from the other end.
1880 if (Asm->getDataLayout().isLittleEndian())
1881 Offset = FieldSize - (Offset + Size);
1882 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1883
Adrian Prantlc67655a2014-01-28 18:13:47 +00001884 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001885 // field that includes this bit field.
1886 OffsetInBytes = FieldOffset >> 3;
1887 } else
1888 // This is not a bitfield.
1889 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001890
David Blaikie22b29a52014-01-03 01:30:05 +00001891 if (DD->getDwarfVersion() <= 2) {
1892 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
1893 addUInt(MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1894 addUInt(MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
1895 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1896 } else
1897 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1898 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001899 }
Devang Patel0e821f42011-04-12 23:21:44 +00001900
1901 if (DT.isProtected())
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_protected);
1904 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001905 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001906 dwarf::DW_ACCESS_private);
1907 // Otherwise C++ member and base classes are considered public.
Eric Christopher92331fd2012-11-21 00:34:38 +00001908 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001909 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001910 dwarf::DW_ACCESS_public);
1911 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001912 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001913 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001914
1915 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001916 if (MDNode *PNode = DT.getObjCProperty())
1917 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher92331fd2012-11-21 00:34:38 +00001918 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel44882172012-02-06 17:49:43 +00001919 PropertyDie);
1920
David Blaikie37fefc32012-12-13 22:43:07 +00001921 if (DT.isArtificial())
1922 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001923}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001924
Manman Renc6b63922013-10-14 20:33:57 +00001925/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001926DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001927 if (!DT.Verify())
1928 return NULL;
1929
Manman Renc6b63922013-10-14 20:33:57 +00001930 // Construct the context before querying for the existence of the DIE in case
1931 // such construction creates the DIE.
1932 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001933 assert(dwarf::isType(ContextDIE->getTag()) &&
1934 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001935
1936 DIE *StaticMemberDIE = getDIE(DT);
1937 if (StaticMemberDIE)
1938 return StaticMemberDIE;
1939
Manman Renb987e512013-10-29 00:53:03 +00001940 StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001941
Manman Ren93b30902013-10-08 18:42:58 +00001942 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001943
1944 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1945 addType(StaticMemberDIE, Ty);
1946 addSourceLine(StaticMemberDIE, DT);
1947 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1948 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1949
1950 // FIXME: We could omit private if the parent is a class_type, and
1951 // public if the parent is something else.
1952 if (DT.isProtected())
1953 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1954 dwarf::DW_ACCESS_protected);
1955 else if (DT.isPrivate())
1956 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1957 dwarf::DW_ACCESS_private);
1958 else
1959 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1960 dwarf::DW_ACCESS_public);
1961
1962 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Renb3388602013-10-05 01:43:03 +00001963 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikiea39a76e2013-01-20 01:18:01 +00001964 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1965 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001966
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001967 return StaticMemberDIE;
1968}
David Blaikie6b288cf2013-10-30 20:42:41 +00001969
Eric Christophera5a79422013-12-09 23:32:48 +00001970void DwarfUnit::emitHeader(const MCSection *ASection,
David Blaikie3332d4c2013-12-11 21:14:02 +00001971 const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00001972 Asm->OutStreamer.AddComment("DWARF version number");
1973 Asm->EmitInt16(DD->getDwarfVersion());
1974 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00001975 // We share one abbreviations table across all units so it's always at the
1976 // start of the section. Use a relocatable offset where needed to ensure
1977 // linking doesn't invalidate that offset.
David Blaikie91db9ab2013-12-04 18:12:28 +00001978 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
David Blaikie6b288cf2013-10-30 20:42:41 +00001979 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1980 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1981}
David Blaikiebc563272013-12-13 21:33:40 +00001982
Juergen Ributzkadb9ee002013-12-14 12:23:14 +00001983DwarfCompileUnit::~DwarfCompileUnit() {}
1984DwarfTypeUnit::~DwarfTypeUnit() {}
1985
David Blaikiebc563272013-12-13 21:33:40 +00001986void DwarfTypeUnit::emitHeader(const MCSection *ASection,
1987 const MCSymbol *ASectionSym) const {
1988 DwarfUnit::emitHeader(ASection, ASectionSym);
1989 Asm->OutStreamer.AddComment("Type Signature");
1990 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
1991 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001992 // In a skeleton type unit there is no type DIE so emit a zero offset.
1993 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
1994 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001995}
1996
1997void DwarfTypeUnit::initSection(const MCSection *Section) {
1998 assert(!this->Section);
1999 this->Section = Section;
2000 // Since each type unit is contained in its own COMDAT section, the begin
2001 // label and the section label are the same. Using the begin label emission in
2002 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
2003 // the only other alternative of lazily constructing start-of-section labels
2004 // and storing a mapping in DwarfDebug (or AsmPrinter).
2005 this->SectionSym = this->LabelBegin =
2006 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2007 this->LabelEnd =
2008 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
2009 this->LabelRange = Asm->GetTempSymbol("gnu_ranges", getUniqueID());
2010}