blob: 17eb5037d4e9b94b95d39bf0e693fd34347d19a7 [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"
Eric Christopher84588622013-12-28 01:39:17 +000025#include "llvm/MC/MCAsmInfo.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000026#include "llvm/MC/MCSection.h"
27#include "llvm/MC/MCStreamer.h"
Devang Pateldfd6ec32011-08-15 17:57:41 +000028#include "llvm/Target/Mangler.h"
Devang Patel0e821f42011-04-12 23:21:44 +000029#include "llvm/Target/TargetFrameLowering.h"
30#include "llvm/Target/TargetMachine.h"
David Blaikief2694972013-06-28 20:05:11 +000031#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032#include "llvm/Target/TargetRegisterInfo.h"
David Blaikie409dd9c2013-11-19 23:08:21 +000033#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000034
35using namespace llvm;
36
Eric Christopher4287a492013-12-09 23:57:44 +000037static cl::opt<bool>
38GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
39 cl::desc("Generate DWARF4 type units."),
40 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000041
David Blaikie2a80e442013-12-02 22:09:48 +000042/// Unit - Unit constructor.
Eric Christophera5a79422013-12-09 23:32:48 +000043DwarfUnit::DwarfUnit(unsigned UID, DIE *D, DICompileUnit Node, AsmPrinter *A,
44 DwarfDebug *DW, DwarfFile *DWU)
David Blaikie2a80e442013-12-02 22:09:48 +000045 : UniqueID(UID), Node(Node), UnitDie(D), DebugInfoOffset(0), Asm(A), DD(DW),
Eric Christopherd8667202013-12-30 17:22:27 +000046 DU(DWU), IndexTyDie(0), Section(0), Skeleton(0) {
David Blaikie319a05f2013-12-02 19:33:10 +000047 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
48}
49
Eric Christopher4287a492013-12-09 23:57:44 +000050DwarfCompileUnit::DwarfCompileUnit(unsigned UID, DIE *D, DICompileUnit Node,
51 AsmPrinter *A, DwarfDebug *DW,
52 DwarfFile *DWU)
Eric Christophera5a79422013-12-09 23:32:48 +000053 : DwarfUnit(UID, D, Node, A, DW, DWU) {
David Blaikie5a152402013-11-15 23:52:02 +000054 insertDIE(Node, D);
Devang Patel0e821f42011-04-12 23:21:44 +000055}
56
Eric Christopher4287a492013-12-09 23:57:44 +000057DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DIE *D, uint16_t Language,
58 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Eric Christophera5a79422013-12-09 23:32:48 +000059 : DwarfUnit(UID, D, DICompileUnit(), A, DW, DWU), Language(Language) {}
David Blaikie409dd9c2013-11-19 23:08:21 +000060
David Blaikie319a05f2013-12-02 19:33:10 +000061/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000062DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000063 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
64 DIEBlocks[j]->~DIEBlock();
65}
66
67/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
68/// information entry.
Eric Christophera5a79422013-12-09 23:32:48 +000069DIEEntry *DwarfUnit::createDIEEntry(DIE *Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000070 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
71 return Value;
72}
73
Bill Wendling3495f9b2012-12-06 07:55:19 +000074/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000075/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000076int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000077 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000078 default:
79 break;
80
81 case dwarf::DW_LANG_C89:
82 case dwarf::DW_LANG_C99:
83 case dwarf::DW_LANG_C:
84 case dwarf::DW_LANG_C_plus_plus:
85 case dwarf::DW_LANG_ObjC:
86 case dwarf::DW_LANG_ObjC_plus_plus:
87 return 0;
88
89 case dwarf::DW_LANG_Fortran77:
90 case dwarf::DW_LANG_Fortran90:
91 case dwarf::DW_LANG_Fortran95:
92 return 1;
93
94 // The languages below have valid values only if the DWARF version >= 4.
95 case dwarf::DW_LANG_Java:
96 case dwarf::DW_LANG_Python:
97 case dwarf::DW_LANG_UPC:
98 case dwarf::DW_LANG_D:
99 if (dwarf::DWARF_VERSION >= 4)
100 return 0;
101 break;
102
103 case dwarf::DW_LANG_Ada83:
104 case dwarf::DW_LANG_Ada95:
105 case dwarf::DW_LANG_Cobol74:
106 case dwarf::DW_LANG_Cobol85:
107 case dwarf::DW_LANG_Modula2:
108 case dwarf::DW_LANG_Pascal83:
109 case dwarf::DW_LANG_PLI:
110 if (dwarf::DWARF_VERSION >= 4)
111 return 1;
112 break;
113 }
114
115 return -1;
116}
117
Manman Ren4dbdc902013-10-31 17:54:35 +0000118/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000119static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000120 // When the MDNode can be part of the type system, the DIE can be shared
121 // across CUs.
122 // Combining type units and cross-CU DIE sharing is lower value (since
123 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
124 // level already) but may be implementable for some value in projects
125 // building multiple independent libraries with LTO and then linking those
126 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000127 return (D.isType() ||
128 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000129 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000130}
131
132/// getDIE - Returns the debug information entry map slot for the
133/// specified debug variable. We delegate the request to DwarfDebug
134/// when the DIE for this MDNode can be shared across CUs. The mappings
135/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000136DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000137 if (isShareableAcrossCUs(D))
138 return DD->getDIE(D);
139 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000140}
141
142/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
143/// when the DIE for this MDNode can be shared across CUs. The mappings
144/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000145void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000146 if (isShareableAcrossCUs(Desc)) {
147 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000148 return;
149 }
David Blaikie2ad00162013-11-15 23:09:13 +0000150 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000151}
152
Eric Christopherbb69a272012-08-24 01:14:27 +0000153/// addFlag - Add a flag that is true.
Eric Christophera5a79422013-12-09 23:32:48 +0000154void DwarfUnit::addFlag(DIE *Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000155 if (DD->getDwarfVersion() >= 4)
Eric Christopherdccd3282013-10-04 22:40:05 +0000156 Die->addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000157 else
Eric Christopherdccd3282013-10-04 22:40:05 +0000158 Die->addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000159}
160
Devang Patel0e821f42011-04-12 23:21:44 +0000161/// addUInt - Add an unsigned integer attribute data and value.
162///
Eric Christophera5a79422013-12-09 23:32:48 +0000163void DwarfUnit::addUInt(DIE *Die, dwarf::Attribute Attribute,
164 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000165 if (!Form)
166 Form = DIEInteger::BestForm(false, Integer);
167 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
168 DIEInteger(Integer);
David Blaikief2443192013-10-21 17:28:37 +0000169 Die->addValue(Attribute, *Form, Value);
170}
171
Eric Christophera5a79422013-12-09 23:32:48 +0000172void DwarfUnit::addUInt(DIEBlock *Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000173 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000174}
175
176/// addSInt - Add an signed integer attribute data and value.
177///
Eric Christophera5a79422013-12-09 23:32:48 +0000178void DwarfUnit::addSInt(DIE *Die, dwarf::Attribute Attribute,
179 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000180 if (!Form)
181 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000182 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikief2443192013-10-21 17:28:37 +0000183 Die->addValue(Attribute, *Form, Value);
184}
185
Eric Christophera5a79422013-12-09 23:32:48 +0000186void DwarfUnit::addSInt(DIEBlock *Die, Optional<dwarf::Form> Form,
187 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000188 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000189}
190
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000191/// addString - Add a string attribute data and value. We always emit a
192/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000193/// more predictable sizes. In the case of split dwarf we emit an index
194/// into another table which gets us the static offset into the string
195/// table.
Eric Christophera5a79422013-12-09 23:32:48 +0000196void DwarfUnit::addString(DIE *Die, dwarf::Attribute Attribute,
197 StringRef String) {
Eric Christopher05893f42013-12-30 18:32:31 +0000198
199 if (!DD->useSplitDwarf())
200 return addLocalString(Die, Attribute, String);
201
202 unsigned idx = DU->getStringPoolIndex(String);
203 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000204 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000205 Die->addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000206}
207
208/// addLocalString - Add a string attribute data and value. This is guaranteed
209/// to be in the local string pool instead of indirected.
Eric Christophera5a79422013-12-09 23:32:48 +0000210void DwarfUnit::addLocalString(DIE *Die, dwarf::Attribute Attribute,
211 StringRef String) {
Eric Christophere698f532012-12-20 21:58:36 +0000212 MCSymbol *Symb = DU->getStringPoolEntry(String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000213 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000214 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000215 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000216 else {
Eric Christophere698f532012-12-20 21:58:36 +0000217 MCSymbol *StringPool = DU->getStringPoolSym();
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000218 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000219 }
Eric Christopher05893f42013-12-30 18:32:31 +0000220 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
221 Die->addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000222}
223
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000224/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000225///
Eric Christophera5a79422013-12-09 23:32:48 +0000226void DwarfUnit::addExpr(DIEBlock *Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000227 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikief2443192013-10-21 17:28:37 +0000228 Die->addValue((dwarf::Attribute)0, Form, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000229}
230
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000231/// addLabel - Add a Dwarf label attribute data and value.
232///
Eric Christophera5a79422013-12-09 23:32:48 +0000233void DwarfUnit::addLabel(DIE *Die, dwarf::Attribute Attribute, dwarf::Form Form,
234 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000235 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
236 Die->addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000237}
238
Eric Christophera5a79422013-12-09 23:32:48 +0000239void DwarfUnit::addLabel(DIEBlock *Die, dwarf::Form Form,
240 const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000241 addLabel(Die, (dwarf::Attribute)0, Form, Label);
242}
243
Eric Christopher33ff6972013-11-21 23:46:41 +0000244/// addSectionLabel - Add a Dwarf section label attribute data and value.
245///
Eric Christophera5a79422013-12-09 23:32:48 +0000246void DwarfUnit::addSectionLabel(DIE *Die, dwarf::Attribute Attribute,
247 const MCSymbol *Label) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000248 if (DD->getDwarfVersion() >= 4)
249 addLabel(Die, Attribute, dwarf::DW_FORM_sec_offset, Label);
250 else
251 addLabel(Die, Attribute, dwarf::DW_FORM_data4, Label);
252}
253
254/// addSectionOffset - Add an offset into a section attribute data and value.
255///
Eric Christophera5a79422013-12-09 23:32:48 +0000256void DwarfUnit::addSectionOffset(DIE *Die, dwarf::Attribute Attribute,
257 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000258 if (DD->getDwarfVersion() >= 4)
259 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
260 else
261 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
262}
263
Eric Christopher962c9082013-01-15 23:56:56 +0000264/// addLabelAddress - Add a dwarf label attribute data and value using
265/// DW_FORM_addr or DW_FORM_GNU_addr_index.
266///
Eric Christopher4287a492013-12-09 23:57:44 +0000267void DwarfCompileUnit::addLabelAddress(DIE *Die, dwarf::Attribute Attribute,
268 MCSymbol *Label) {
Alexey Samsonov4436bf02013-10-03 08:54:43 +0000269 if (Label)
270 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton21101b32013-09-19 23:21:01 +0000271
Eric Christopher962c9082013-01-15 23:56:56 +0000272 if (!DD->useSplitDwarf()) {
Eric Christopher8bdb6e12014-01-02 21:03:22 +0000273 if (Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000274 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Eric Christopher962c9082013-01-15 23:56:56 +0000275 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
276 } else {
277 DIEValue *Value = new (DIEValueAllocator) DIEInteger(0);
278 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
279 }
280 } else {
281 unsigned idx = DU->getAddrPoolIndex(Label);
282 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
283 Die->addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
284 }
285}
286
Eric Christophere9ec2452013-01-18 22:11:33 +0000287/// addOpAddress - Add a dwarf op address data and value using the
288/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
289///
Eric Christophera5a79422013-12-09 23:32:48 +0000290void DwarfUnit::addOpAddress(DIEBlock *Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000291 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000292 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
293 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000294 } else {
David Blaikief2443192013-10-21 17:28:37 +0000295 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
296 addUInt(Die, dwarf::DW_FORM_GNU_addr_index, DU->getAddrPoolIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000297 }
298}
299
Eric Christopher33ff6972013-11-21 23:46:41 +0000300/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000301///
Eric Christophera5a79422013-12-09 23:32:48 +0000302void DwarfUnit::addSectionDelta(DIE *Die, dwarf::Attribute Attribute,
303 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000304 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Eric Christopher33ff6972013-11-21 23:46:41 +0000305 if (DD->getDwarfVersion() >= 4)
306 Die->addValue(Attribute, dwarf::DW_FORM_sec_offset, Value);
307 else
308 Die->addValue(Attribute, dwarf::DW_FORM_data4, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000309}
310
311/// addDIEEntry - Add a DIE attribute data and value.
312///
Eric Christophera5a79422013-12-09 23:32:48 +0000313void DwarfUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute, DIE *Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000314 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
315}
316
David Blaikie47f615e2013-12-17 23:32:35 +0000317void DwarfUnit::addDIETypeSignature(DIE *Die, const DwarfTypeUnit &Type) {
318 Die->addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
319 new (DIEValueAllocator) DIETypeSignature(Type));
320}
321
Eric Christophera5a79422013-12-09 23:32:48 +0000322void DwarfUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute,
323 DIEEntry *Entry) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000324 const DIE *DieCU = Die->getUnitOrNull();
325 const DIE *EntryCU = Entry->getEntry()->getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000326 if (!DieCU)
327 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikie2a80e442013-12-02 22:09:48 +0000328 DieCU = getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000329 if (!EntryCU)
David Blaikie2a80e442013-12-02 22:09:48 +0000330 EntryCU = getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000331 Die->addValue(Attribute, EntryCU == DieCU ? dwarf::DW_FORM_ref4
332 : dwarf::DW_FORM_ref_addr,
333 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000334}
335
Manman Renb987e512013-10-29 00:53:03 +0000336/// Create a DIE with the given Tag, add the DIE to its parent, and
337/// call insertDIE if MD is not null.
Eric Christophera5a79422013-12-09 23:32:48 +0000338DIE *DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
Manman Renb987e512013-10-29 00:53:03 +0000339 DIE *Die = new DIE(Tag);
340 Parent.addChild(Die);
David Blaikie52c50202013-11-16 00:29:01 +0000341 if (N)
342 insertDIE(N, Die);
Manman Renb987e512013-10-29 00:53:03 +0000343 return Die;
344}
345
Devang Patel0e821f42011-04-12 23:21:44 +0000346/// addBlock - Add block data.
347///
Eric Christophera5a79422013-12-09 23:32:48 +0000348void DwarfUnit::addBlock(DIE *Die, dwarf::Attribute Attribute,
349 DIEBlock *Block) {
Devang Patel0e821f42011-04-12 23:21:44 +0000350 Block->ComputeSize(Asm);
351 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
352 Die->addValue(Attribute, Block->BestForm(), Block);
353}
354
355/// addSourceLine - Add location information to specified debug information
356/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000357void DwarfUnit::addSourceLine(DIE *Die, DIVariable V) {
Devang Patel0e821f42011-04-12 23:21:44 +0000358 // Verify variable.
Manman Ren7504ed42013-07-08 18:33:29 +0000359 if (!V.isVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000360 return;
Eric Christopher92331fd2012-11-21 00:34:38 +0000361
Devang Patel0e821f42011-04-12 23:21:44 +0000362 unsigned Line = V.getLineNumber();
363 if (Line == 0)
364 return;
Eric Christopherc2697f82013-10-19 01:04:47 +0000365 unsigned FileID =
366 DD->getOrCreateSourceID(V.getContext().getFilename(),
367 V.getContext().getDirectory(), getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000368 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000369 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
370 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000371}
372
373/// addSourceLine - Add location information to specified debug information
374/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000375void DwarfUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
Devang Patel0e821f42011-04-12 23:21:44 +0000376 // Verify global variable.
Manman Ren7504ed42013-07-08 18:33:29 +0000377 if (!G.isGlobalVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000378 return;
379
380 unsigned Line = G.getLineNumber();
381 if (Line == 0)
382 return;
Eric Christopherc2697f82013-10-19 01:04:47 +0000383 unsigned FileID =
384 DD->getOrCreateSourceID(G.getFilename(), G.getDirectory(), getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000385 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000386 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
387 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000388}
389
390/// addSourceLine - Add location information to specified debug information
391/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000392void DwarfUnit::addSourceLine(DIE *Die, DISubprogram SP) {
Devang Patel0e821f42011-04-12 23:21:44 +0000393 // Verify subprogram.
Manman Ren7504ed42013-07-08 18:33:29 +0000394 if (!SP.isSubprogram())
Devang Patel0e821f42011-04-12 23:21:44 +0000395 return;
Eric Christopher7734ca22012-03-15 23:55:40 +0000396
Devang Patel0e821f42011-04-12 23:21:44 +0000397 // If the line number is 0, don't add it.
Eric Christopher7734ca22012-03-15 23:55:40 +0000398 unsigned Line = SP.getLineNumber();
399 if (Line == 0)
Devang Patel0e821f42011-04-12 23:21:44 +0000400 return;
401
Eric Christopherc2697f82013-10-19 01:04:47 +0000402 unsigned FileID = DD->getOrCreateSourceID(SP.getFilename(), SP.getDirectory(),
403 getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000404 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000405 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
406 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000407}
408
409/// addSourceLine - Add location information to specified debug information
410/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000411void DwarfUnit::addSourceLine(DIE *Die, DIType Ty) {
Devang Patel0e821f42011-04-12 23:21:44 +0000412 // Verify type.
Manman Ren7504ed42013-07-08 18:33:29 +0000413 if (!Ty.isType())
Devang Patel0e821f42011-04-12 23:21:44 +0000414 return;
415
416 unsigned Line = Ty.getLineNumber();
Eric Christopher7734ca22012-03-15 23:55:40 +0000417 if (Line == 0)
Devang Patel0e821f42011-04-12 23:21:44 +0000418 return;
Eric Christopherc2697f82013-10-19 01:04:47 +0000419 unsigned FileID = DD->getOrCreateSourceID(Ty.getFilename(), Ty.getDirectory(),
420 getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000421 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000422 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
423 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000424}
425
426/// addSourceLine - Add location information to specified debug information
427/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000428void DwarfUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
Eric Christopher70e1bd82012-03-29 08:42:56 +0000429 // Verify type.
Manman Ren7504ed42013-07-08 18:33:29 +0000430 if (!Ty.isObjCProperty())
Eric Christopher70e1bd82012-03-29 08:42:56 +0000431 return;
432
433 unsigned Line = Ty.getLineNumber();
434 if (Line == 0)
435 return;
436 DIFile File = Ty.getFile();
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000437 unsigned FileID = DD->getOrCreateSourceID(File.getFilename(),
Manman Ren1e427202013-03-07 01:42:00 +0000438 File.getDirectory(), getUniqueID());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000439 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000440 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
441 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000442}
443
444/// addSourceLine - Add location information to specified debug information
445/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000446void DwarfUnit::addSourceLine(DIE *Die, DINameSpace NS) {
Devang Patel0e821f42011-04-12 23:21:44 +0000447 // Verify namespace.
448 if (!NS.Verify())
449 return;
450
451 unsigned Line = NS.getLineNumber();
452 if (Line == 0)
453 return;
454 StringRef FN = NS.getFilename();
455
Eric Christopherc2697f82013-10-19 01:04:47 +0000456 unsigned FileID =
457 DD->getOrCreateSourceID(FN, NS.getDirectory(), getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000458 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000459 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
460 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000461}
462
Eric Christopher92331fd2012-11-21 00:34:38 +0000463/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000464/// DbgVariable based on provided MachineLocation.
Eric Christophera5a79422013-12-09 23:32:48 +0000465void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
466 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000467 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000468 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000469 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000470 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
471 else
David Blaikieea2605d2013-06-20 00:25:24 +0000472 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000473 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000474}
475
Devang Patelba5fbf12011-04-26 19:06:18 +0000476/// addRegisterOp - Add register operand.
Eric Christophera5a79422013-12-09 23:32:48 +0000477void DwarfUnit::addRegisterOp(DIEBlock *TheDie, unsigned Reg) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000478 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
479 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
480 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000481 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000482 else {
David Blaikief2443192013-10-21 17:28:37 +0000483 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
484 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000485 }
486}
487
488/// addRegisterOffset - Add register offset.
Eric Christophera5a79422013-12-09 23:32:48 +0000489void DwarfUnit::addRegisterOffset(DIEBlock *TheDie, unsigned Reg,
490 int64_t Offset) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000491 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
492 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
493 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
494 if (Reg == TRI->getFrameRegister(*Asm->MF))
495 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000496 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000497 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000498 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000499 else {
David Blaikief2443192013-10-21 17:28:37 +0000500 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
501 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000502 }
David Blaikief2443192013-10-21 17:28:37 +0000503 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000504}
505
506/// addAddress - Add an address attribute to a die based on the location
507/// provided.
Eric Christophera5a79422013-12-09 23:32:48 +0000508void DwarfUnit::addAddress(DIE *Die, dwarf::Attribute Attribute,
509 const MachineLocation &Location, bool Indirect) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000510 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
511
David Blaikieea2605d2013-06-20 00:25:24 +0000512 if (Location.isReg() && !Indirect)
Devang Patelba5fbf12011-04-26 19:06:18 +0000513 addRegisterOp(Block, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000514 else {
Devang Patelba5fbf12011-04-26 19:06:18 +0000515 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000516 if (Indirect && !Location.isReg()) {
David Blaikief2443192013-10-21 17:28:37 +0000517 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000518 }
519 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000520
521 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000522 addBlock(Die, Attribute, Block);
Devang Patelba5fbf12011-04-26 19:06:18 +0000523}
524
Devang Patel0e821f42011-04-12 23:21:44 +0000525/// addComplexAddress - Start with the address based on the location provided,
526/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000527/// given the extra address information encoded in the DbgVariable, starting
528/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000529///
Eric Christophera5a79422013-12-09 23:32:48 +0000530void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
531 dwarf::Attribute Attribute,
532 const MachineLocation &Location) {
Devang Patel0e821f42011-04-12 23:21:44 +0000533 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000534 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000535 unsigned i = 0;
536 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000537 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000538 // If first address element is OpPlus then emit
539 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000540 addRegisterOffset(Block, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000541 i = 2;
542 } else
543 addRegisterOp(Block, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000544 } else
Devang Patelba5fbf12011-04-26 19:06:18 +0000545 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000546
Eric Christopherc2697f82013-10-19 01:04:47 +0000547 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000548 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000549 if (Element == DIBuilder::OpPlus) {
David Blaikief2443192013-10-21 17:28:37 +0000550 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
551 addUInt(Block, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel0e821f42011-04-12 23:21:44 +0000552 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000553 if (!Location.isReg())
David Blaikief2443192013-10-21 17:28:37 +0000554 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Eric Christopherc2697f82013-10-19 01:04:47 +0000555 } else
556 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000557 }
558
559 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000560 addBlock(Die, Attribute, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000561}
562
563/* Byref variables, in Blocks, are declared by the programmer as "SomeType
564 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
565 gives the variable VarName either the struct, or a pointer to the struct, as
566 its type. This is necessary for various behind-the-scenes things the
567 compiler needs to do with by-reference variables in Blocks.
568
569 However, as far as the original *programmer* is concerned, the variable
570 should still have type 'SomeType', as originally declared.
571
572 The function getBlockByrefType dives into the __Block_byref_x_VarName
573 struct to find the original type of the variable, which is then assigned to
574 the variable's Debug Information Entry as its real type. So far, so good.
575 However now the debugger will expect the variable VarName to have the type
576 SomeType. So we need the location attribute for the variable to be an
577 expression that explains to the debugger how to navigate through the
578 pointers and struct to find the actual variable of type SomeType.
579
580 The following function does just that. We start by getting
581 the "normal" location for the variable. This will be the location
582 of either the struct __Block_byref_x_VarName or the pointer to the
583 struct __Block_byref_x_VarName.
584
585 The struct will look something like:
586
587 struct __Block_byref_x_VarName {
588 ... <various fields>
589 struct __Block_byref_x_VarName *forwarding;
590 ... <various other fields>
591 SomeType VarName;
592 ... <maybe more fields>
593 };
594
595 If we are given the struct directly (as our starting point) we
596 need to tell the debugger to:
597
598 1). Add the offset of the forwarding field.
599
600 2). Follow that pointer to get the real __Block_byref_x_VarName
601 struct to use (the real one may have been copied onto the heap).
602
603 3). Add the offset for the field VarName, to find the actual variable.
604
605 If we started with a pointer to the struct, then we need to
606 dereference that pointer first, before the other steps.
607 Translating this into DWARF ops, we will need to append the following
608 to the current location description for the variable:
609
610 DW_OP_deref -- optional, if we start with a pointer
611 DW_OP_plus_uconst <forward_fld_offset>
612 DW_OP_deref
613 DW_OP_plus_uconst <varName_fld_offset>
614
615 That is what this function does. */
616
617/// addBlockByrefAddress - Start with the address based on the location
618/// provided, and generate the DWARF information necessary to find the
619/// actual Block variable (navigating the Block struct) based on the
620/// starting location. Add the DWARF information to the die. For
621/// more information, read large comment just above here.
622///
Eric Christophera5a79422013-12-09 23:32:48 +0000623void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
624 dwarf::Attribute Attribute,
625 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000626 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000627 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000628 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000629 bool isPointer = false;
630
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000631 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000632
633 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000634 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000635 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000636 isPointer = true;
637 }
638
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000639 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000640
641 // Find the __forwarding field and the variable field in the __Block_byref
642 // struct.
643 DIArray Fields = blockStruct.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000644 DIDerivedType varField;
645 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000646
647 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000648 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000649 StringRef fieldName = DT.getName();
650 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000651 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000652 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000653 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000654 }
655
656 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000657 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
658 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000659
660 // Decode the original location, and use that as the start of the byref
661 // variable's location.
Devang Patel0e821f42011-04-12 23:21:44 +0000662 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
663
Eric Christopheref9d7102012-07-04 02:02:18 +0000664 if (Location.isReg())
665 addRegisterOp(Block, Location.getReg());
666 else
667 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000668
669 // If we started with a pointer to the __Block_byref... struct, then
670 // the first thing we need to do is dereference the pointer (DW_OP_deref).
671 if (isPointer)
David Blaikief2443192013-10-21 17:28:37 +0000672 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000673
674 // Next add the offset for the '__forwarding' field:
675 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
676 // adding the offset if it's 0.
677 if (forwardingFieldOffset > 0) {
David Blaikief2443192013-10-21 17:28:37 +0000678 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
679 addUInt(Block, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000680 }
681
682 // Now dereference the __forwarding field to get to the real __Block_byref
683 // struct: DW_OP_deref.
David Blaikief2443192013-10-21 17:28:37 +0000684 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000685
686 // Now that we've got the real __Block_byref... struct, add the offset
687 // for the variable's field to get to the location of the actual variable:
688 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
689 if (varFieldOffset > 0) {
David Blaikief2443192013-10-21 17:28:37 +0000690 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
691 addUInt(Block, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000692 }
693
694 // Now attach the location information to the DIE.
David Blaikief2443192013-10-21 17:28:37 +0000695 addBlock(Die, Attribute, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000696}
697
Devang Patelbcd50a12011-07-20 21:57:04 +0000698/// isTypeSigned - Return true if the type is signed.
Manman Renb3388602013-10-05 01:43:03 +0000699static bool isTypeSigned(DwarfDebug *DD, DIType Ty, int *SizeInBits) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000700 if (Ty.isDerivedType())
Manman Renb3388602013-10-05 01:43:03 +0000701 return isTypeSigned(DD, DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()),
702 SizeInBits);
Devang Patelbcd50a12011-07-20 21:57:04 +0000703 if (Ty.isBasicType())
Eric Christopherc2697f82013-10-19 01:04:47 +0000704 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed ||
705 DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000706 *SizeInBits = Ty.getSizeInBits();
707 return true;
708 }
709 return false;
710}
711
Manman Renb3388602013-10-05 01:43:03 +0000712/// Return true if type encoding is unsigned.
713static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
714 DIDerivedType DTy(Ty);
715 if (DTy.isDerivedType())
716 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
717
718 DIBasicType BTy(Ty);
719 if (BTy.isBasicType()) {
720 unsigned Encoding = BTy.getEncoding();
721 if (Encoding == dwarf::DW_ATE_unsigned ||
722 Encoding == dwarf::DW_ATE_unsigned_char ||
723 Encoding == dwarf::DW_ATE_boolean)
724 return true;
725 }
726 return false;
727}
728
729/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000730static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000731 unsigned Tag = Ty.getTag();
732
733 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
734 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
735 Tag != dwarf::DW_TAG_restrict_type)
736 return Ty.getSizeInBits();
737
738 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
739
740 // If this type is not derived from any type then take conservative approach.
741 if (!BaseType.isValid())
742 return Ty.getSizeInBits();
743
744 // If this is a derived type, go ahead and get the base type, unless it's a
745 // reference then it's just the size of the field. Pointer types have no need
746 // of this since they're a different type of qualification on the type.
747 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
748 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
749 return Ty.getSizeInBits();
750
751 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000752 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000753
754 return BaseType.getSizeInBits();
755}
756
Devang Patel0e821f42011-04-12 23:21:44 +0000757/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000758void DwarfUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
759 DIType Ty) {
David Blaikiea1e813d2013-05-10 21:52:07 +0000760 // FIXME: This is a bit conservative/simple - it emits negative values at
761 // their maximum bit width which is a bit unfortunate (& doesn't prefer
762 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000763 assert(MO.isImm() && "Invalid machine operand!");
Devang Patelbcd50a12011-07-20 21:57:04 +0000764 int SizeInBits = -1;
Manman Renb3388602013-10-05 01:43:03 +0000765 bool SignedConstant = isTypeSigned(DD, Ty, &SizeInBits);
David Blaikief2443192013-10-21 17:28:37 +0000766 dwarf::Form Form;
Devang Patelf1d04702011-05-27 18:15:52 +0000767
Eric Christopher9d1daa82013-08-27 23:49:04 +0000768 // If we're a signed constant definitely use sdata.
769 if (SignedConstant) {
770 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
771 return;
772 }
773
774 // Else use data for now unless it's larger than we can deal with.
775 switch (SizeInBits) {
776 case 8:
777 Form = dwarf::DW_FORM_data1;
778 break;
779 case 16:
780 Form = dwarf::DW_FORM_data2;
781 break;
782 case 32:
783 Form = dwarf::DW_FORM_data4;
784 break;
785 case 64:
786 Form = dwarf::DW_FORM_data8;
787 break;
788 default:
789 Form = dwarf::DW_FORM_udata;
790 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
791 return;
792 }
793 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel0e821f42011-04-12 23:21:44 +0000794}
795
796/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000797void DwarfUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000798 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000799 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
800 APFloat FPImm = MO.getFPImm()->getValueAPF();
801
802 // Get the raw data form of the floating point.
803 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000804 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000805
806 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000807 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000808 int Incr = (LittleEndian ? 1 : -1);
809 int Start = (LittleEndian ? 0 : NumBytes - 1);
810 int Stop = (LittleEndian ? NumBytes : -1);
811
812 // Output the constant to DWARF one byte at a time.
813 for (; Start != Stop; Start += Incr)
Eric Christopher98b7f172013-11-11 18:52:36 +0000814 addUInt(Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000815
David Blaikief2443192013-10-21 17:28:37 +0000816 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000817}
818
David Blaikiea39a76e2013-01-20 01:18:01 +0000819/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000820void DwarfUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000821 // Pass this down to addConstantValue as an unsigned bag of bits.
822 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000823}
824
Devang Patel0e821f42011-04-12 23:21:44 +0000825/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000826void DwarfUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
827 bool Unsigned) {
Eric Christopher78fcf4902013-07-03 01:08:30 +0000828 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikiea39a76e2013-01-20 01:18:01 +0000829}
830
831// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000832void DwarfUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000833 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000834 if (CIBitWidth <= 64) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000835 // If we're a signed constant definitely use sdata.
836 if (!Unsigned) {
837 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
838 Val.getSExtValue());
839 return;
Devang Patel8816bbc2011-05-28 00:39:18 +0000840 }
Eric Christopher9d1daa82013-08-27 23:49:04 +0000841
842 // Else use data for now unless it's larger than we can deal with.
David Blaikief2443192013-10-21 17:28:37 +0000843 dwarf::Form Form;
Eric Christopher9d1daa82013-08-27 23:49:04 +0000844 switch (CIBitWidth) {
845 case 8:
846 Form = dwarf::DW_FORM_data1;
847 break;
848 case 16:
849 Form = dwarf::DW_FORM_data2;
850 break;
851 case 32:
852 Form = dwarf::DW_FORM_data4;
853 break;
854 case 64:
855 Form = dwarf::DW_FORM_data8;
856 break;
857 default:
858 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
859 Val.getZExtValue());
860 return;
861 }
862 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000863 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000864 }
865
866 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
867
868 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000869 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000870
871 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000872 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000873
874 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000875 for (int i = 0; i < NumBytes; i++) {
876 uint8_t c;
877 if (LittleEndian)
878 c = Ptr64[i / 8] >> (8 * (i & 7));
879 else
880 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikief2443192013-10-21 17:28:37 +0000881 addUInt(Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000882 }
Devang Patel0e821f42011-04-12 23:21:44 +0000883
David Blaikief2443192013-10-21 17:28:37 +0000884 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000885}
886
Eric Christopher25e35092013-04-22 07:47:40 +0000887/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000888void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000889 // Add template parameters.
890 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
891 DIDescriptor Element = TParams.getElement(i);
892 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000893 constructTemplateTypeParameterDIE(Buffer,
894 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000895 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000896 constructTemplateValueParameterDIE(Buffer,
897 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000898 }
Devang Patel0e821f42011-04-12 23:21:44 +0000899}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000900
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000901/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000902DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000903 if (!Context || Context.isFile())
David Blaikie2a80e442013-12-02 22:09:48 +0000904 return getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000905 if (Context.isType())
906 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000907 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000908 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000909 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000910 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000911 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000912}
913
Eric Christophera5a79422013-12-09 23:32:48 +0000914DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000915 DIScope Context = resolve(Ty.getContext());
916 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000917
918 DIE *TyDIE = getDIE(Ty);
919 if (TyDIE)
920 return TyDIE;
921
922 // Create new type.
923 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
924
David Blaikiefbd29eb2013-11-26 00:35:04 +0000925 constructTypeDIE(*TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000926
David Blaikie9d861be2013-11-26 00:15:27 +0000927 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie409dd9c2013-11-19 23:08:21 +0000928 return TyDIE;
929}
930
David Blaikie8a263cb2013-11-26 00:22:37 +0000931/// Return true if the type is appropriately scoped to be contained inside
932/// its own type unit.
Eric Christopher4287a492013-12-09 23:57:44 +0000933static bool isDwarfTypeUnitScoped(DIType Ty, const DwarfDebug *DD) {
David Blaikie8a263cb2013-11-26 00:22:37 +0000934 DIScope Parent = DD->resolve(Ty.getContext());
935 while (Parent) {
936 // Don't generate a hash for anything scoped inside a function.
937 if (Parent.isSubprogram())
938 return false;
939 Parent = DD->resolve(Parent.getContext());
940 }
941 return true;
942}
943
944/// Return true if the type should be split out into a type unit.
Eric Christopher4287a492013-12-09 23:57:44 +0000945static bool shouldCreateDwarfTypeUnit(DICompositeType CTy,
946 const DwarfDebug *DD) {
947 if (!GenerateDwarfTypeUnits)
David Blaikie8a263cb2013-11-26 00:22:37 +0000948 return false;
949
950 uint16_t Tag = CTy.getTag();
951
952 switch (Tag) {
953 case dwarf::DW_TAG_structure_type:
954 case dwarf::DW_TAG_union_type:
955 case dwarf::DW_TAG_enumeration_type:
956 case dwarf::DW_TAG_class_type:
957 // If this is a class, structure, union, or enumeration type
958 // that is a definition (not a declaration), and not scoped
959 // inside a function then separate this out as a type unit.
Eric Christopher4287a492013-12-09 23:57:44 +0000960 return !CTy.isForwardDecl() && isDwarfTypeUnitScoped(CTy, DD);
David Blaikie8a263cb2013-11-26 00:22:37 +0000961 default:
962 return false;
963 }
964}
965
Devang Patel0e821f42011-04-12 23:21:44 +0000966/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
967/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000968DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000969 if (!TyNode)
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000970 return NULL;
Manman Renf4c339e2013-10-29 22:49:29 +0000971
David Blaikie32887552013-11-14 22:25:02 +0000972 DIType Ty(TyNode);
973 assert(Ty.isType());
974
Manman Renf4c339e2013-10-29 22:49:29 +0000975 // Construct the context before querying for the existence of the DIE in case
976 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000977 DIScope Context = resolve(Ty.getContext());
978 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000979 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000980
Eric Christophere595bae2013-10-04 17:08:38 +0000981 DIE *TyDIE = getDIE(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000982 if (TyDIE)
983 return TyDIE;
984
985 // Create new type.
Manman Renf4c339e2013-10-29 22:49:29 +0000986 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
987
Devang Patel0e821f42011-04-12 23:21:44 +0000988 if (Ty.isBasicType())
989 constructTypeDIE(*TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000990 else if (Ty.isCompositeType()) {
991 DICompositeType CTy(Ty);
Eric Christopher4287a492013-12-09 23:57:44 +0000992 if (shouldCreateDwarfTypeUnit(CTy, DD)) {
993 DD->addDwarfTypeUnitType(getLanguage(), TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000994 // Skip updating the accellerator tables since this is not the full type
995 return TyDIE;
996 }
David Blaikiefbd29eb2013-11-26 00:35:04 +0000997 constructTypeDIE(*TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000998 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000999 assert(Ty.isDerivedType() && "Unknown kind of DIType");
1000 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
1001 }
David Blaikie2ea848b2013-11-19 22:51:04 +00001002
David Blaikie9d861be2013-11-26 00:15:27 +00001003 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie2ea848b2013-11-19 22:51:04 +00001004
1005 return TyDIE;
1006}
1007
Eric Christophera5a79422013-12-09 23:32:48 +00001008void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
1009 const DIE *TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +00001010 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
1011 bool IsImplementation = 0;
1012 if (Ty.isCompositeType()) {
1013 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001014 // A runtime language of 0 actually means C/C++ and that any
1015 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +00001016 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +00001017 }
Eric Christophercf7289f2013-09-05 18:20:16 +00001018 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001019 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
David Blaikie9d861be2013-11-26 00:15:27 +00001020
1021 if (!Context || Context.isCompileUnit() || Context.isFile() ||
1022 Context.isNameSpace())
1023 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] = TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +00001024 }
Devang Patel0e821f42011-04-12 23:21:44 +00001025}
1026
1027/// addType - Add a new type attribute to the specified entity.
Eric Christophera5a79422013-12-09 23:32:48 +00001028void DwarfUnit::addType(DIE *Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +00001029 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001030
1031 // Check for pre-existence.
1032 DIEEntry *Entry = getDIEEntry(Ty);
1033 // If it exists then use the existing value.
1034 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001035 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001036 return;
1037 }
1038
1039 // Construct type.
1040 DIE *Buffer = getOrCreateTypeDIE(Ty);
1041
1042 // Set up proxy.
1043 Entry = createDIEEntry(Buffer);
1044 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001045 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001046}
1047
Eric Christopher9cd26af2013-09-20 23:22:52 +00001048// Accelerator table mutators - add each name along with its companion
1049// DIE to the proper table while ensuring that the name that we're going
1050// to reference is in the string table. We do this since the names we
1051// add may not only be identical to the names in the DIE.
Eric Christophera5a79422013-12-09 23:32:48 +00001052void DwarfUnit::addAccelName(StringRef Name, const DIE *Die) {
Eric Christopher9cd26af2013-09-20 23:22:52 +00001053 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001054 std::vector<const DIE *> &DIEs = AccelNames[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001055 DIEs.push_back(Die);
1056}
1057
Eric Christophera5a79422013-12-09 23:32:48 +00001058void DwarfUnit::addAccelObjC(StringRef Name, const DIE *Die) {
Eric Christopher9cd26af2013-09-20 23:22:52 +00001059 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001060 std::vector<const DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001061 DIEs.push_back(Die);
1062}
1063
Eric Christophera5a79422013-12-09 23:32:48 +00001064void DwarfUnit::addAccelNamespace(StringRef Name, const DIE *Die) {
Eric Christopher9cd26af2013-09-20 23:22:52 +00001065 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001066 std::vector<const DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001067 DIEs.push_back(Die);
1068}
1069
Eric Christophera5a79422013-12-09 23:32:48 +00001070void DwarfUnit::addAccelType(StringRef Name,
1071 std::pair<const DIE *, unsigned> Die) {
Eric Christopher9cd26af2013-09-20 23:22:52 +00001072 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001073 std::vector<std::pair<const DIE *, unsigned> > &DIEs = AccelTypes[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001074 DIEs.push_back(Die);
1075}
1076
Eric Christopher9c58f312013-09-20 22:20:55 +00001077/// addGlobalName - Add a new global name to the compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +00001078void DwarfUnit::addGlobalName(StringRef Name, DIE *Die, DIScope Context) {
Eric Christopher8dba0d52013-10-19 01:04:42 +00001079 std::string FullName = getParentContextString(Context) + Name.str();
Eric Christopher2c8b7902013-10-17 02:06:06 +00001080 GlobalNames[FullName] = Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001081}
1082
Eric Christopher2c8b7902013-10-17 02:06:06 +00001083/// getParentContextString - Walks the metadata parent chain in a language
1084/// specific manner (using the compile unit language) and returns
1085/// it as a string. This is done at the metadata level because DIEs may
1086/// not currently have been added to the parent context and walking the
1087/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001088std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001089 if (!Context)
1090 return "";
1091
1092 // FIXME: Decide whether to implement this for non-C++ languages.
1093 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1094 return "";
1095
Eric Christopher8dba0d52013-10-19 01:04:42 +00001096 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001097 SmallVector<DIScope, 1> Parents;
1098 while (!Context.isCompileUnit()) {
1099 Parents.push_back(Context);
1100 if (Context.getContext())
1101 Context = resolve(Context.getContext());
1102 else
1103 // Structure, etc types will have a NULL context if they're at the top
1104 // level.
1105 break;
1106 }
1107
1108 // Reverse iterate over our list to go from the outermost construct to the
1109 // innermost.
1110 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1111 E = Parents.rend();
1112 I != E; ++I) {
1113 DIScope Ctx = *I;
1114 StringRef Name = Ctx.getName();
Eric Christopher8dba0d52013-10-19 01:04:42 +00001115 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001116 CS += Name;
1117 CS += "::";
1118 }
1119 }
1120 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001121}
1122
1123/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001124void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001125 // Get core information.
1126 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001127 // Add name if not anonymous or intermediate type.
1128 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001129 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001130
David Blaikiefac56122013-10-04 23:21:16 +00001131 // An unspecified type only has a name attribute.
1132 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001133 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001134
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001135 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001136 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001137
Devang Patel0e821f42011-04-12 23:21:44 +00001138 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikief2443192013-10-21 17:28:37 +00001139 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001140}
1141
1142/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001143void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001144 // Get core information.
1145 StringRef Name = DTy.getName();
1146 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001147 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001148
1149 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001150 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001151 if (FromTy)
1152 addType(&Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001153
1154 // Add name if not anonymous or intermediate type.
1155 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001156 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001157
1158 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001159 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikief2443192013-10-21 17:28:37 +00001160 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001161
David Blaikie5d3249b2013-01-07 05:51:15 +00001162 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Eric Christopherc2697f82013-10-19 01:04:47 +00001163 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
1164 getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001165 // Add source line info if available and TyDesc is not a forward declaration.
1166 if (!DTy.isForwardDecl())
1167 addSourceLine(&Buffer, DTy);
1168}
1169
1170/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001171void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001172 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001173 StringRef Name = CTy.getName();
1174
1175 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001176 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001177
1178 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001179 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001180 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001181 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001182 case dwarf::DW_TAG_enumeration_type:
1183 constructEnumTypeDIE(Buffer, CTy);
1184 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001185 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001186 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001187 DIArray Elements = CTy.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001188 DIType RTy(Elements.getElement(0));
Eric Christopher0df08e22013-08-08 07:40:37 +00001189 if (RTy)
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001190 addType(&Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001191
1192 bool isPrototyped = true;
1193 // Add arguments.
1194 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1195 DIDescriptor Ty = Elements.getElement(i);
1196 if (Ty.isUnspecifiedParameter()) {
Manman Renb987e512013-10-29 00:53:03 +00001197 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001198 isPrototyped = false;
1199 } else {
Manman Renb987e512013-10-29 00:53:03 +00001200 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001201 addType(Arg, DIType(Ty));
David Blaikie9a7a7a92013-01-29 19:35:24 +00001202 if (DIType(Ty).isArtificial())
1203 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001204 }
1205 }
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001206 // Add prototype flag if we're dealing with a C language and the
1207 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001208 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001209 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001210 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001211 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001212 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001213
1214 if (CTy.isLValueReference())
1215 addFlag(&Buffer, dwarf::DW_AT_reference);
1216
1217 if (CTy.isRValueReference())
1218 addFlag(&Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001219 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001220 case dwarf::DW_TAG_structure_type:
1221 case dwarf::DW_TAG_union_type:
1222 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001223 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001224 DIArray Elements = CTy.getTypeArray();
1225 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001226 DIDescriptor Element = Elements.getElement(i);
1227 DIE *ElemDie = NULL;
1228 if (Element.isSubprogram()) {
1229 DISubprogram SP(Element);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001230 ElemDie = getOrCreateSubprogramDIE(SP);
Devang Patel0e821f42011-04-12 23:21:44 +00001231 if (SP.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001232 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001233 dwarf::DW_ACCESS_protected);
1234 else if (SP.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001235 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001236 dwarf::DW_ACCESS_private);
Eric Christopher92331fd2012-11-21 00:34:38 +00001237 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001238 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001239 dwarf::DW_ACCESS_public);
Devang Patel0e821f42011-04-12 23:21:44 +00001240 if (SP.isExplicit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001241 addFlag(ElemDie, dwarf::DW_AT_explicit);
Eric Christopher7285c7d2012-03-28 07:34:31 +00001242 } else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001243 DIDerivedType DDTy(Element);
1244 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
Manman Renb987e512013-10-29 00:53:03 +00001245 ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001246 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001247 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001248 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001249 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001250 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001251 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001252 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001253 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001254 DIObjCProperty Property(Element);
Manman Renb987e512013-10-29 00:53:03 +00001255 ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001256 StringRef PropertyName = Property.getObjCPropertyName();
1257 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopherd42b92f2012-05-22 18:45:24 +00001258 addType(ElemDie, Property.getType());
1259 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001260 StringRef GetterName = Property.getObjCPropertyGetterName();
1261 if (!GetterName.empty())
1262 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1263 StringRef SetterName = Property.getObjCPropertySetterName();
1264 if (!SetterName.empty())
1265 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1266 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001267 if (Property.isReadOnlyObjCProperty())
1268 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1269 if (Property.isReadWriteObjCProperty())
1270 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1271 if (Property.isAssignObjCProperty())
1272 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1273 if (Property.isRetainObjCProperty())
1274 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1275 if (Property.isCopyObjCProperty())
1276 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1277 if (Property.isNonAtomicObjCProperty())
1278 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1279 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001280 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001281 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001282
Devang Pateld925d1a2012-02-07 23:33:58 +00001283 DIEEntry *Entry = getDIEEntry(Element);
1284 if (!Entry) {
1285 Entry = createDIEEntry(ElemDie);
1286 insertDIEEntry(Element, Entry);
1287 }
Devang Patel403e8192012-02-04 01:30:32 +00001288 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001289 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001290 }
1291
1292 if (CTy.isAppleBlockExtension())
Eric Christopherbb69a272012-08-24 01:14:27 +00001293 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001294
Eric Christopher9e429ae2013-10-05 00:27:02 +00001295 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001296 if (ContainingType)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001297 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001298 getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001299
Devang Patel12419ae2011-05-12 21:29:42 +00001300 if (CTy.isObjcClassComplete())
Eric Christopherbb69a272012-08-24 01:14:27 +00001301 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001302
Eric Christopherda011dd2011-12-16 23:42:42 +00001303 // Add template parameters to a class, structure or union types.
1304 // FIXME: The support isn't in the metadata for this yet.
1305 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001306 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001307 addTemplateParams(Buffer, CTy.getTemplateParams());
1308
1309 break;
1310 }
1311 default:
1312 break;
1313 }
1314
1315 // Add name if not anonymous or intermediate type.
1316 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001317 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001318
Eric Christopher775cbd22012-05-22 18:45:18 +00001319 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001320 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001321 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001322 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001323 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001324 if (Size)
David Blaikief2443192013-10-21 17:28:37 +00001325 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001326 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001327 // Add zero size if it is not a forward declaration.
David Blaikief2443192013-10-21 17:28:37 +00001328 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001329
1330 // If we're a forward decl, say so.
1331 if (CTy.isForwardDecl())
Eric Christopherbb69a272012-08-24 01:14:27 +00001332 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001333
1334 // Add source line info if available.
1335 if (!CTy.isForwardDecl())
1336 addSourceLine(&Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001337
1338 // No harm in adding the runtime language to the declaration.
1339 unsigned RLang = CTy.getRunTimeLang();
1340 if (RLang)
Eric Christopherc2697f82013-10-19 01:04:47 +00001341 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
1342 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001343 }
1344}
1345
Manman Renffc9a712013-10-23 23:05:28 +00001346/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1347/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001348void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1349 DITemplateTypeParameter TP) {
Manman Renb987e512013-10-29 00:53:03 +00001350 DIE *ParamDIE =
1351 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001352 // Add the type if it exists, it could be void and therefore no type.
1353 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001354 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001355 if (!TP.getName().empty())
1356 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001357}
1358
Manman Renffc9a712013-10-23 23:05:28 +00001359/// constructTemplateValueParameterDIE - Construct new DIE for the given
1360/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001361void
1362DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001363 DITemplateValueParameter VP) {
Manman Renb987e512013-10-29 00:53:03 +00001364 DIE *ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001365
1366 // Add the type if there is one, template template and template parameter
1367 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001368 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001369 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001370 if (!VP.getName().empty())
1371 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1372 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001373 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Ren88b0f942013-10-09 19:46:28 +00001374 addConstantValue(ParamDIE, CI,
1375 isUnsignedDIType(DD, resolve(VP.getType())));
David Blaikiea1e813d2013-05-10 21:52:07 +00001376 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1377 // For declaration non-type template parameters (such as global values and
1378 // functions)
1379 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001380 addOpAddress(Block, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001381 // Emit DW_OP_stack_value to use the address as the immediate value of the
1382 // parameter, rather than a pointer to it.
David Blaikief2443192013-10-21 17:28:37 +00001383 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1384 addBlock(ParamDIE, dwarf::DW_AT_location, Block);
Eric Christopherafb2c412013-08-08 07:40:31 +00001385 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001386 assert(isa<MDString>(Val));
1387 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1388 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001389 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001390 assert(isa<MDNode>(Val));
1391 DIArray A(cast<MDNode>(Val));
1392 addTemplateParams(*ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001393 }
1394 }
Devang Patel0e821f42011-04-12 23:21:44 +00001395}
1396
Devang Patel17b53272011-05-06 16:57:54 +00001397/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001398DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001399 // Construct the context before querying for the existence of the DIE in case
1400 // such construction creates the DIE.
1401 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001402
Devang Patel17b53272011-05-06 16:57:54 +00001403 DIE *NDie = getDIE(NS);
1404 if (NDie)
1405 return NDie;
Manman Renf6b936b2013-10-29 05:49:41 +00001406 NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
1407
Eric Christopher4996c702011-11-07 09:24:32 +00001408 if (!NS.getName().empty()) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001409 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher4996c702011-11-07 09:24:32 +00001410 addAccelNamespace(NS.getName(), NDie);
Eric Christopher2c8b7902013-10-17 02:06:06 +00001411 addGlobalName(NS.getName(), NDie, NS.getContext());
Eric Christopher4996c702011-11-07 09:24:32 +00001412 } else
1413 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel17b53272011-05-06 16:57:54 +00001414 addSourceLine(NDie, NS);
Devang Patel17b53272011-05-06 16:57:54 +00001415 return NDie;
1416}
1417
Devang Patel89543712011-08-15 17:24:54 +00001418/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001419DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001420 // Construct the context before querying for the existence of the DIE in case
1421 // such construction creates the DIE (as is the case for member function
1422 // declarations).
Manman Renc50fa112013-10-10 18:40:01 +00001423 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
David Blaikie309ffe42013-10-04 01:39:59 +00001424
Eric Christophere595bae2013-10-04 17:08:38 +00001425 DIE *SPDie = getDIE(SP);
Devang Patel89543712011-08-15 17:24:54 +00001426 if (SPDie)
1427 return SPDie;
1428
Manman Ren73d697c2013-10-29 00:58:04 +00001429 DISubprogram SPDecl = SP.getFunctionDeclaration();
1430 if (SPDecl.isSubprogram())
1431 // Add subprogram definitions to the CU die directly.
David Blaikie2a80e442013-12-02 22:09:48 +00001432 ContextDIE = UnitDie.get();
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001433
1434 // DW_TAG_inlined_subroutine may refer to this DIE.
Manman Ren73d697c2013-10-29 00:58:04 +00001435 SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001436
Rafael Espindola79278362011-11-10 22:34:29 +00001437 DIE *DeclDie = NULL;
Manman Renb9512a72013-10-23 22:12:26 +00001438 if (SPDecl.isSubprogram())
Rafael Espindola79278362011-11-10 22:34:29 +00001439 DeclDie = getOrCreateSubprogramDIE(SPDecl);
Rafael Espindola79278362011-11-10 22:34:29 +00001440
Devang Patel89543712011-08-15 17:24:54 +00001441 // Add function template parameters.
1442 addTemplateParams(*SPDie, SP.getTemplateParams());
1443
Devang Patel89543712011-08-15 17:24:54 +00001444 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherf20ff972013-05-09 00:42:33 +00001445 // then there is no need to add other attributes.
Rafael Espindola79278362011-11-10 22:34:29 +00001446 if (DeclDie) {
1447 // Refer function declaration directly.
Manman Ren4c4b69c2013-10-11 23:58:05 +00001448 addDIEEntry(SPDie, dwarf::DW_AT_specification, DeclDie);
Rafael Espindola79278362011-11-10 22:34:29 +00001449
Devang Patel89543712011-08-15 17:24:54 +00001450 return SPDie;
Rafael Espindola79278362011-11-10 22:34:29 +00001451 }
Devang Patel89543712011-08-15 17:24:54 +00001452
Eric Christopheracb71152012-08-23 22:52:55 +00001453 // Add the linkage name if we have one.
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001454 StringRef LinkageName = SP.getLinkageName();
1455 if (!LinkageName.empty())
Eric Christopheracb71152012-08-23 22:52:55 +00001456 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001457 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopheracb71152012-08-23 22:52:55 +00001458
Devang Patel89543712011-08-15 17:24:54 +00001459 // Constructors and operators for anonymous aggregates do not have names.
1460 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001461 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001462
1463 addSourceLine(SPDie, SP);
1464
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001465 // Add the prototype if we have a prototype and we have a C like
1466 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001467 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001468 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001469 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001470 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001471 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001472
Devang Patel89543712011-08-15 17:24:54 +00001473 DICompositeType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001474 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1475 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001476
David Blaikie5174c842013-05-22 23:22:18 +00001477 DIArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001478 // Add a return type. If this is a type like a C/C++ void type we don't add a
1479 // return type.
Eric Christopher0df08e22013-08-08 07:40:37 +00001480 if (Args.getElement(0))
1481 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel89543712011-08-15 17:24:54 +00001482
1483 unsigned VK = SP.getVirtuality();
1484 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001485 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Patel89543712011-08-15 17:24:54 +00001486 DIEBlock *Block = getDIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001487 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1488 addUInt(Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1489 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001490 ContainingTypeMap.insert(
1491 std::make_pair(SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001492 }
1493
1494 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001495 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001496
Devang Patel89543712011-08-15 17:24:54 +00001497 // Add arguments. Do not add arguments for subprogram definition. They will
1498 // be handled while processing variables.
Eric Christopherc2697f82013-10-19 01:04:47 +00001499 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renb987e512013-10-29 00:53:03 +00001500 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, *SPDie);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001501 DIType ATy(Args.getElement(i));
David Blaikie5174c842013-05-22 23:22:18 +00001502 addType(Arg, ATy);
1503 if (ATy.isArtificial())
1504 addFlag(Arg, dwarf::DW_AT_artificial);
David Blaikie5174c842013-05-22 23:22:18 +00001505 }
Devang Patel89543712011-08-15 17:24:54 +00001506 }
1507
1508 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001509 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001510
1511 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001512 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001513
1514 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001515 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001516
1517 if (unsigned isa = Asm->getISAEncoding()) {
1518 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1519 }
1520
Adrian Prantl99c7af22013-12-18 21:48:19 +00001521 if (SP.isLValueReference())
1522 addFlag(SPDie, dwarf::DW_AT_reference);
1523
1524 if (SP.isRValueReference())
1525 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1526
Devang Patel89543712011-08-15 17:24:54 +00001527 return SPDie;
1528}
1529
Devang Pateldfd6ec32011-08-15 17:57:41 +00001530// Return const expression if value is a GEP to access merged global
1531// constant. e.g.
1532// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1533static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1534 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1535 if (!CE || CE->getNumOperands() != 3 ||
1536 CE->getOpcode() != Instruction::GetElementPtr)
1537 return NULL;
1538
1539 // First operand points to a global struct.
1540 Value *Ptr = CE->getOperand(0);
1541 if (!isa<GlobalValue>(Ptr) ||
1542 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1543 return NULL;
1544
1545 // Second operand is zero.
1546 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1547 if (!CI || !CI->isZero())
1548 return NULL;
1549
1550 // Third operand is offset.
1551 if (!isa<ConstantInt>(CE->getOperand(2)))
1552 return NULL;
1553
1554 return CE;
1555}
1556
1557/// createGlobalVariableDIE - create global variable DIE.
Eric Christopher4287a492013-12-09 23:57:44 +00001558void DwarfCompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001559 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001560 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001561 return;
1562
Manman Ren7504ed42013-07-08 18:33:29 +00001563 if (!GV.isGlobalVariable())
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001564 return;
1565
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001566 DIScope GVContext = GV.getContext();
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001567 DIType GTy = GV.getType();
1568
1569 // If this is a static data member definition, some attributes belong
1570 // to the declaration DIE.
1571 DIE *VariableDIE = NULL;
Manman Rene697d3c2013-02-01 23:54:37 +00001572 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001573 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1574 if (SDMDecl.Verify()) {
1575 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1576 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001577 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001578 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001579 }
1580
1581 // If this is not a static data member definition, create the variable
1582 // DIE and add the initial set of attributes to it.
1583 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001584 // Construct the context before querying for the existence of the DIE in
1585 // case such construction creates the DIE.
1586 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001587
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001588 // Add to map.
David Blaikie52c50202013-11-16 00:29:01 +00001589 VariableDIE = createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001590
1591 // Add name and type.
1592 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1593 addType(VariableDIE, GTy);
1594
1595 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001596 if (!GV.isLocalToUnit())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001597 addFlag(VariableDIE, dwarf::DW_AT_external);
1598
1599 // Add line number info.
1600 addSourceLine(VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001601 }
1602
Devang Pateldfd6ec32011-08-15 17:57:41 +00001603 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001604 bool addToAccelTable = false;
Eric Christopher0a917b72011-11-11 03:16:32 +00001605 DIE *VariableSpecDIE = NULL;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001606 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001607 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001608 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001609 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001610 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001611 if (GV.getGlobal()->isThreadLocal()) {
1612 // FIXME: Make this work with -gsplit-dwarf.
1613 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1614 assert((PointerSize == 4 || PointerSize == 8) &&
1615 "Add support for other sizes if necessary");
Ulrich Weigand2b6fc8d2013-07-02 18:47:09 +00001616 const MCExpr *Expr =
David Blaikie8466ca82013-07-01 23:55:52 +00001617 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikief2694972013-06-28 20:05:11 +00001618 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001619 if (!DD->useSplitDwarf()) {
1620 // 1) Start with a constNu of the appropriate pointer size
David Blaikief2443192013-10-21 17:28:37 +00001621 addUInt(Block, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001622 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001623 // 2) containing the (relocated) offset of the TLS variable
1624 // within the module's TLS block.
David Blaikief2443192013-10-21 17:28:37 +00001625 addExpr(Block, dwarf::DW_FORM_udata, Expr);
David Blaikie8466ca82013-07-01 23:55:52 +00001626 } else {
David Blaikief2443192013-10-21 17:28:37 +00001627 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1628 addUInt(Block, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8466ca82013-07-01 23:55:52 +00001629 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001630 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikief2443192013-10-21 17:28:37 +00001631 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001632 } else {
1633 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikief2694972013-06-28 20:05:11 +00001634 addOpAddress(Block, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001635 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001636 // Do not create specification DIE if context is either compile unit
1637 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001638 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001639 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001640 // Create specification DIE.
David Blaikie2a80e442013-12-02 22:09:48 +00001641 VariableSpecDIE = createAndAddDIE(dwarf::DW_TAG_variable, *UnitDie);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001642 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification, VariableDIE);
David Blaikief2443192013-10-21 17:28:37 +00001643 addBlock(VariableSpecDIE, dwarf::DW_AT_location, Block);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001644 // A static member's declaration is already flagged as such.
1645 if (!SDMDecl.Verify())
1646 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001647 } else {
David Blaikief2443192013-10-21 17:28:37 +00001648 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Eric Christopher4996c702011-11-07 09:24:32 +00001649 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001650 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001651 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001652 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001653 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1654 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1655 // TAG_variable.
Eric Christopherc2697f82013-10-19 01:04:47 +00001656 addString(IsStaticMember && VariableSpecDIE ? VariableSpecDIE
1657 : VariableDIE,
1658 dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001659 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001660 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001661 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001662 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001663 // emitting AT_const_value multiple times, we only add AT_const_value when
1664 // it is not a static member.
1665 if (!IsStaticMember)
Manman Renb3388602013-10-05 01:43:03 +00001666 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
David Blaikiea781b25b2013-11-17 21:55:13 +00001667 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001668 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001669 // GV is a merged global.
1670 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1671 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001672 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1673 DD->addArangeLabel(SymbolCU(this, Sym));
1674 addOpAddress(Block, Sym);
David Blaikief2443192013-10-21 17:28:37 +00001675 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001676 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikief2443192013-10-21 17:28:37 +00001677 addUInt(Block, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001678 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikief2443192013-10-21 17:28:37 +00001679 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1680 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001681 }
1682
Eric Christopherc12c2112011-11-11 01:55:22 +00001683 if (addToAccelTable) {
1684 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1685 addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001686
Eric Christopherc12c2112011-11-11 01:55:22 +00001687 // If the linkage name is different than the name, go ahead and output
1688 // that as well into the name table.
1689 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1690 addAccelName(GV.getLinkageName(), AddrDIE);
1691 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001692
1693 if (!GV.isLocalToUnit())
Eric Christopher2c8b7902013-10-17 02:06:06 +00001694 addGlobalName(GV.getName(), VariableSpecDIE ? VariableSpecDIE : VariableDIE,
1695 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001696}
1697
Devang Patel0e821f42011-04-12 23:21:44 +00001698/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001699void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
Manman Renb987e512013-10-29 00:53:03 +00001700 DIE *DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001701 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001702
Bill Wendling28fe9e72012-12-06 07:38:10 +00001703 // The LowerBound value defines the lower bounds which is typically zero for
1704 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1705 // Count == -1 then the array is unbounded and we do not emit
1706 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1707 // Count == 0, then the array has zero elements in which case we do not emit
1708 // an upper bound.
1709 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001710 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001711 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001712
Bill Wendling3495f9b2012-12-06 07:55:19 +00001713 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001714 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001715
1716 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001717 // FIXME: An unbounded array should reference the expression that defines
1718 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001719 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1720 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001721}
1722
1723/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001724void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001725 if (CTy.isVector())
Eric Christopherbb69a272012-08-24 01:14:27 +00001726 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001727
Eric Christopher0df08e22013-08-08 07:40:37 +00001728 // Emit the element type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001729 addType(&Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001730
1731 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001732 // FIXME: This type should be passed down from the front end
1733 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001734 DIE *IdxTy = getIndexTyDie();
1735 if (!IdxTy) {
1736 // Construct an anonymous type for index type.
David Blaikie2a80e442013-12-02 22:09:48 +00001737 IdxTy = createAndAddDIE(dwarf::DW_TAG_base_type, *UnitDie);
Eric Christophercad9b532013-01-04 21:51:53 +00001738 addString(IdxTy, dwarf::DW_AT_name, "int");
David Blaikief2443192013-10-21 17:28:37 +00001739 addUInt(IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int32_t));
Devang Patel0e821f42011-04-12 23:21:44 +00001740 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1741 dwarf::DW_ATE_signed);
Devang Patel0e821f42011-04-12 23:21:44 +00001742 setIndexTyDie(IdxTy);
1743 }
1744
1745 // Add subranges to array type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001746 DIArray Elements = CTy.getTypeArray();
Devang Patel0e821f42011-04-12 23:21:44 +00001747 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1748 DIDescriptor Element = Elements.getElement(i);
1749 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1750 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1751 }
1752}
1753
Eric Christopheraeb105f2013-11-11 18:52:39 +00001754/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001755void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopheraeb105f2013-11-11 18:52:39 +00001756 DIArray Elements = CTy.getTypeArray();
1757
1758 // Add enumerators to enumeration type.
1759 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001760 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001761 if (Enum.isEnumerator()) {
1762 DIE *Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001763 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001764 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001765 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001766 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1767 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001768 }
1769 }
1770 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1771 if (DTy) {
1772 addType(&Buffer, DTy);
1773 addFlag(&Buffer, dwarf::DW_AT_enum_class);
1774 }
Devang Patel0e821f42011-04-12 23:21:44 +00001775}
1776
Devang Patel89543712011-08-15 17:24:54 +00001777/// constructContainingTypeDIEs - Construct DIEs for types that contain
1778/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001779void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001780 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001781 CE = ContainingTypeMap.end();
1782 CI != CE; ++CI) {
Devang Patel89543712011-08-15 17:24:54 +00001783 DIE *SPDie = CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001784 DIDescriptor D(CI->second);
1785 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001786 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001787 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001788 if (!NDie)
1789 continue;
Manman Ren4c4b69c2013-10-11 23:58:05 +00001790 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, NDie);
Devang Patel89543712011-08-15 17:24:54 +00001791 }
1792}
1793
Devang Patel3acc70e2011-08-15 22:04:40 +00001794/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christophera5a79422013-12-09 23:32:48 +00001795DIE *DwarfUnit::constructVariableDIE(DbgVariable &DV, bool isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001796 StringRef Name = DV.getName();
Devang Patel3acc70e2011-08-15 22:04:40 +00001797
Devang Patel3acc70e2011-08-15 22:04:40 +00001798 // Define variable debug information entry.
Eric Christopher34a2c872013-11-15 01:43:19 +00001799 DIE *VariableDie = new DIE(DV.getTag());
1800 DbgVariable *AbsVar = DV.getAbstractVariable();
Devang Patel3acc70e2011-08-15 22:04:40 +00001801 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren4213c392013-05-29 17:16:59 +00001802 if (AbsDIE)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001803 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin, AbsDIE);
Devang Patel3acc70e2011-08-15 22:04:40 +00001804 else {
David Blaikie715528b2013-08-19 03:34:03 +00001805 if (!Name.empty())
1806 addString(VariableDie, dwarf::DW_AT_name, Name);
Eric Christopher34a2c872013-11-15 01:43:19 +00001807 addSourceLine(VariableDie, DV.getVariable());
1808 addType(VariableDie, DV.getType());
Devang Patel3acc70e2011-08-15 22:04:40 +00001809 }
1810
Eric Christopher34a2c872013-11-15 01:43:19 +00001811 if (DV.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001812 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Patel3acc70e2011-08-15 22:04:40 +00001813
1814 if (isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001815 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001816 return VariableDie;
1817 }
1818
1819 // Add variable address.
1820
Eric Christopher34a2c872013-11-15 01:43:19 +00001821 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001822 if (Offset != ~0U) {
Eric Christopher33ff6972013-11-21 23:46:41 +00001823 addSectionLabel(VariableDie, dwarf::DW_AT_location,
1824 Asm->GetTempSymbol("debug_loc", Offset));
Eric Christopher34a2c872013-11-15 01:43:19 +00001825 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001826 return VariableDie;
1827 }
1828
Eric Christophercead0332011-10-03 15:49:20 +00001829 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001830 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001831 assert(DVInsn->getNumOperands() == 3);
1832 if (DVInsn->getOperand(0).isReg()) {
1833 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001834 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001835 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001836 MachineLocation Location(RegOp.getReg(),
1837 DVInsn->getOperand(1).getImm());
Eric Christopher34a2c872013-11-15 01:43:19 +00001838 addVariableAddress(DV, VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001839 } else if (RegOp.getReg())
Eric Christopher34a2c872013-11-15 01:43:19 +00001840 addVariableAddress(DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001841 } else if (DVInsn->getOperand(0).isImm())
Eric Christopher34a2c872013-11-15 01:43:19 +00001842 addConstantValue(VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001843 else if (DVInsn->getOperand(0).isFPImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001844 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001845 else if (DVInsn->getOperand(0).isCImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001846 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher34a2c872013-11-15 01:43:19 +00001847 isUnsignedDIType(DD, DV.getType()));
Eric Christopher78fcf4902013-07-03 01:08:30 +00001848
Eric Christopher34a2c872013-11-15 01:43:19 +00001849 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001850 return VariableDie;
1851 } else {
1852 // .. else use frame index.
Eric Christopher34a2c872013-11-15 01:43:19 +00001853 int FI = DV.getFrameIndex();
Devang Patel3acc70e2011-08-15 22:04:40 +00001854 if (FI != ~0) {
1855 unsigned FrameReg = 0;
1856 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopherc2697f82013-10-19 01:04:47 +00001857 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
Devang Patel3acc70e2011-08-15 22:04:40 +00001858 MachineLocation Location(FrameReg, Offset);
Eric Christopher34a2c872013-11-15 01:43:19 +00001859 addVariableAddress(DV, VariableDie, Location);
Devang Patel3acc70e2011-08-15 22:04:40 +00001860 }
1861 }
1862
Eric Christopher34a2c872013-11-15 01:43:19 +00001863 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001864 return VariableDie;
1865}
1866
Manman Ren230ec862013-10-23 23:00:44 +00001867/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001868void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
Manman Renb987e512013-10-29 00:53:03 +00001869 DIE *MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001870 StringRef Name = DT.getName();
1871 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001872 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001873
Manman Ren93b30902013-10-08 18:42:58 +00001874 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001875
1876 addSourceLine(MemberDie, DT);
1877
1878 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001879 addUInt(MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel0e821f42011-04-12 23:21:44 +00001880
Eric Christopherc2697f82013-10-19 01:04:47 +00001881 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001882
1883 // For C++, virtual base classes are not at fixed offset. Use following
1884 // expression to extract appropriate offset from vtable.
1885 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1886
1887 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001888 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1889 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1890 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1891 addUInt(VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1892 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1893 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1894 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001895
David Blaikief2443192013-10-21 17:28:37 +00001896 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001897 } else {
1898 uint64_t Size = DT.getSizeInBits();
1899 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1900 uint64_t OffsetInBytes;
1901
1902 if (Size != FieldSize) {
1903 // Handle bitfield.
1904 addUInt(MemberDie, dwarf::DW_AT_byte_size, None,
1905 getBaseTypeSize(DD, DT) >> 3);
1906 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, DT.getSizeInBits());
1907
1908 uint64_t Offset = DT.getOffsetInBits();
1909 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1910 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1911 uint64_t FieldOffset = (HiMark - FieldSize);
1912 Offset -= FieldOffset;
1913
1914 // Maybe we need to work from the other end.
1915 if (Asm->getDataLayout().isLittleEndian())
1916 Offset = FieldSize - (Offset + Size);
1917 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1918
1919 // Here WD_AT_data_member_location points to the anonymous
1920 // field that includes this bit field.
1921 OffsetInBytes = FieldOffset >> 3;
1922 } else
1923 // This is not a bitfield.
1924 OffsetInBytes = DT.getOffsetInBits() >> 3;
Eric Christopher98b7f172013-11-11 18:52:36 +00001925 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None, OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001926 }
Devang Patel0e821f42011-04-12 23:21:44 +00001927
1928 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001929 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001930 dwarf::DW_ACCESS_protected);
1931 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001932 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001933 dwarf::DW_ACCESS_private);
1934 // Otherwise C++ member and base classes are considered public.
Eric Christopher92331fd2012-11-21 00:34:38 +00001935 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001936 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001937 dwarf::DW_ACCESS_public);
1938 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001939 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001940 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001941
1942 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001943 if (MDNode *PNode = DT.getObjCProperty())
1944 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher92331fd2012-11-21 00:34:38 +00001945 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel44882172012-02-06 17:49:43 +00001946 PropertyDie);
1947
David Blaikie37fefc32012-12-13 22:43:07 +00001948 if (DT.isArtificial())
1949 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001950}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001951
Manman Renc6b63922013-10-14 20:33:57 +00001952/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001953DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001954 if (!DT.Verify())
1955 return NULL;
1956
Manman Renc6b63922013-10-14 20:33:57 +00001957 // Construct the context before querying for the existence of the DIE in case
1958 // such construction creates the DIE.
1959 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001960 assert(dwarf::isType(ContextDIE->getTag()) &&
1961 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001962
1963 DIE *StaticMemberDIE = getDIE(DT);
1964 if (StaticMemberDIE)
1965 return StaticMemberDIE;
1966
Manman Renb987e512013-10-29 00:53:03 +00001967 StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001968
Manman Ren93b30902013-10-08 18:42:58 +00001969 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001970
1971 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1972 addType(StaticMemberDIE, Ty);
1973 addSourceLine(StaticMemberDIE, DT);
1974 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1975 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1976
1977 // FIXME: We could omit private if the parent is a class_type, and
1978 // public if the parent is something else.
1979 if (DT.isProtected())
1980 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1981 dwarf::DW_ACCESS_protected);
1982 else if (DT.isPrivate())
1983 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1984 dwarf::DW_ACCESS_private);
1985 else
1986 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1987 dwarf::DW_ACCESS_public);
1988
1989 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Renb3388602013-10-05 01:43:03 +00001990 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikiea39a76e2013-01-20 01:18:01 +00001991 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1992 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001993
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001994 return StaticMemberDIE;
1995}
David Blaikie6b288cf2013-10-30 20:42:41 +00001996
Eric Christophera5a79422013-12-09 23:32:48 +00001997void DwarfUnit::emitHeader(const MCSection *ASection,
David Blaikie3332d4c2013-12-11 21:14:02 +00001998 const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00001999 Asm->OutStreamer.AddComment("DWARF version number");
2000 Asm->EmitInt16(DD->getDwarfVersion());
2001 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00002002 // We share one abbreviations table across all units so it's always at the
2003 // start of the section. Use a relocatable offset where needed to ensure
2004 // linking doesn't invalidate that offset.
David Blaikie91db9ab2013-12-04 18:12:28 +00002005 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
David Blaikie6b288cf2013-10-30 20:42:41 +00002006 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2007 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
2008}
David Blaikiebc563272013-12-13 21:33:40 +00002009
Juergen Ributzkadb9ee002013-12-14 12:23:14 +00002010DwarfCompileUnit::~DwarfCompileUnit() {}
2011DwarfTypeUnit::~DwarfTypeUnit() {}
2012
David Blaikiebc563272013-12-13 21:33:40 +00002013void DwarfTypeUnit::emitHeader(const MCSection *ASection,
2014 const MCSymbol *ASectionSym) const {
2015 DwarfUnit::emitHeader(ASection, ASectionSym);
2016 Asm->OutStreamer.AddComment("Type Signature");
2017 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
2018 Asm->OutStreamer.AddComment("Type DIE Offset");
2019 Asm->OutStreamer.EmitIntValue(Ty->getOffset(), sizeof(Ty->getOffset()));
2020}
2021
2022void DwarfTypeUnit::initSection(const MCSection *Section) {
2023 assert(!this->Section);
2024 this->Section = Section;
2025 // Since each type unit is contained in its own COMDAT section, the begin
2026 // label and the section label are the same. Using the begin label emission in
2027 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
2028 // the only other alternative of lazily constructing start-of-section labels
2029 // and storing a mapping in DwarfDebug (or AsmPrinter).
2030 this->SectionSym = this->LabelBegin =
2031 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2032 this->LabelEnd =
2033 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
2034 this->LabelRange = Asm->GetTempSymbol("gnu_ranges", getUniqueID());
2035}