blob: 48003c06ebe70aa8cf3aeac3ee91e4f5a8a49931 [file] [log] [blame]
Devang Patel0e821f42011-04-12 23:21:44 +00001//===-- llvm/CodeGen/DwarfCompileUnit.cpp - Dwarf Compile Unit ------------===//
2//
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
16#include "DwarfCompileUnit.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"
David Blaikie6b288cf2013-10-30 20:42:41 +000025#include "llvm/MC/MCSection.h"
26#include "llvm/MC/MCStreamer.h"
Devang Pateldfd6ec32011-08-15 17:57:41 +000027#include "llvm/Target/Mangler.h"
Devang Patel0e821f42011-04-12 23:21:44 +000028#include "llvm/Target/TargetFrameLowering.h"
29#include "llvm/Target/TargetMachine.h"
David Blaikief2694972013-06-28 20:05:11 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel0e821f42011-04-12 23:21:44 +000031#include "llvm/Target/TargetRegisterInfo.h"
David Blaikie409dd9c2013-11-19 23:08:21 +000032#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000033
34using namespace llvm;
35
David Blaikie409dd9c2013-11-19 23:08:21 +000036static cl::opt<bool> GenerateTypeUnits("generate-type-units", cl::Hidden,
37 cl::desc("Generate DWARF4 type units."),
38 cl::init(false));
39
Devang Patel0e821f42011-04-12 23:21:44 +000040/// CompileUnit - Compile unit constructor.
David Blaikie5a152402013-11-15 23:52:02 +000041CompileUnit::CompileUnit(unsigned UID, DIE *D, DICompileUnit Node,
42 AsmPrinter *A, DwarfDebug *DW, DwarfUnits *DWU)
Eric Christophera16725b2013-11-21 01:29:16 +000043 : UniqueID(UID), Node(Node), Language(Node.getLanguage()), CUDie(D),
44 DebugInfoOffset(0), Asm(A), DD(DW), DU(DWU), IndexTyDie(0) {
Devang Patel0e821f42011-04-12 23:21:44 +000045 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
David Blaikie5a152402013-11-15 23:52:02 +000046 insertDIE(Node, D);
Devang Patel0e821f42011-04-12 23:21:44 +000047}
48
David Blaikie409dd9c2013-11-19 23:08:21 +000049CompileUnit::CompileUnit(unsigned UID, DIE *D, uint16_t Language, AsmPrinter *A,
50 DwarfDebug *DD, DwarfUnits *DU)
Eric Christophera16725b2013-11-21 01:29:16 +000051 : UniqueID(UID), Node(NULL), Language(Language), CUDie(D),
52 DebugInfoOffset(0), Asm(A), DD(DD), DU(DU), IndexTyDie(0) {
David Blaikie409dd9c2013-11-19 23:08:21 +000053 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
54}
55
Devang Patel0e821f42011-04-12 23:21:44 +000056/// ~CompileUnit - Destructor for compile unit.
57CompileUnit::~CompileUnit() {
58 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
59 DIEBlocks[j]->~DIEBlock();
60}
61
62/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
63/// information entry.
64DIEEntry *CompileUnit::createDIEEntry(DIE *Entry) {
65 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
66 return Value;
67}
68
Bill Wendling3495f9b2012-12-06 07:55:19 +000069/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000070/// DWARF version doesn't handle the language, return -1.
Bill Wendling3495f9b2012-12-06 07:55:19 +000071int64_t CompileUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000072 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000073 default:
74 break;
75
76 case dwarf::DW_LANG_C89:
77 case dwarf::DW_LANG_C99:
78 case dwarf::DW_LANG_C:
79 case dwarf::DW_LANG_C_plus_plus:
80 case dwarf::DW_LANG_ObjC:
81 case dwarf::DW_LANG_ObjC_plus_plus:
82 return 0;
83
84 case dwarf::DW_LANG_Fortran77:
85 case dwarf::DW_LANG_Fortran90:
86 case dwarf::DW_LANG_Fortran95:
87 return 1;
88
89 // The languages below have valid values only if the DWARF version >= 4.
90 case dwarf::DW_LANG_Java:
91 case dwarf::DW_LANG_Python:
92 case dwarf::DW_LANG_UPC:
93 case dwarf::DW_LANG_D:
94 if (dwarf::DWARF_VERSION >= 4)
95 return 0;
96 break;
97
98 case dwarf::DW_LANG_Ada83:
99 case dwarf::DW_LANG_Ada95:
100 case dwarf::DW_LANG_Cobol74:
101 case dwarf::DW_LANG_Cobol85:
102 case dwarf::DW_LANG_Modula2:
103 case dwarf::DW_LANG_Pascal83:
104 case dwarf::DW_LANG_PLI:
105 if (dwarf::DWARF_VERSION >= 4)
106 return 1;
107 break;
108 }
109
110 return -1;
111}
112
Manman Ren4dbdc902013-10-31 17:54:35 +0000113/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000114static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000115 // When the MDNode can be part of the type system, the DIE can be shared
116 // across CUs.
117 // Combining type units and cross-CU DIE sharing is lower value (since
118 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
119 // level already) but may be implementable for some value in projects
120 // building multiple independent libraries with LTO and then linking those
121 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000122 return (D.isType() ||
123 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
124 !GenerateTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000125}
126
127/// getDIE - Returns the debug information entry map slot for the
128/// specified debug variable. We delegate the request to DwarfDebug
129/// when the DIE for this MDNode can be shared across CUs. The mappings
130/// will be kept in DwarfDebug for shareable DIEs.
David Blaikie2ad00162013-11-15 23:09:13 +0000131DIE *CompileUnit::getDIE(DIDescriptor D) const {
132 if (isShareableAcrossCUs(D))
133 return DD->getDIE(D);
134 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000135}
136
137/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
138/// when the DIE for this MDNode can be shared across CUs. The mappings
139/// will be kept in DwarfDebug for shareable DIEs.
David Blaikie2ad00162013-11-15 23:09:13 +0000140void CompileUnit::insertDIE(DIDescriptor Desc, DIE *D) {
141 if (isShareableAcrossCUs(Desc)) {
142 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000143 return;
144 }
David Blaikie2ad00162013-11-15 23:09:13 +0000145 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000146}
147
Eric Christopherbb69a272012-08-24 01:14:27 +0000148/// addFlag - Add a flag that is true.
David Blaikief2443192013-10-21 17:28:37 +0000149void CompileUnit::addFlag(DIE *Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000150 if (DD->getDwarfVersion() >= 4)
Eric Christopherdccd3282013-10-04 22:40:05 +0000151 Die->addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000152 else
Eric Christopherdccd3282013-10-04 22:40:05 +0000153 Die->addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000154}
155
Devang Patel0e821f42011-04-12 23:21:44 +0000156/// addUInt - Add an unsigned integer attribute data and value.
157///
David Blaikief2443192013-10-21 17:28:37 +0000158void CompileUnit::addUInt(DIE *Die, dwarf::Attribute Attribute,
159 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000160 if (!Form)
161 Form = DIEInteger::BestForm(false, Integer);
162 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
163 DIEInteger(Integer);
David Blaikief2443192013-10-21 17:28:37 +0000164 Die->addValue(Attribute, *Form, Value);
165}
166
167void CompileUnit::addUInt(DIEBlock *Block, dwarf::Form Form, uint64_t Integer) {
168 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000169}
170
171/// addSInt - Add an signed integer attribute data and value.
172///
David Blaikief2443192013-10-21 17:28:37 +0000173void CompileUnit::addSInt(DIE *Die, dwarf::Attribute Attribute,
174 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000175 if (!Form)
176 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000177 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikief2443192013-10-21 17:28:37 +0000178 Die->addValue(Attribute, *Form, Value);
179}
180
181void CompileUnit::addSInt(DIEBlock *Die, Optional<dwarf::Form> Form,
182 int64_t Integer) {
183 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000184}
185
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000186/// addString - Add a string attribute data and value. We always emit a
187/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000188/// more predictable sizes. In the case of split dwarf we emit an index
189/// into another table which gets us the static offset into the string
190/// table.
Eric Christophere6c6c4d2013-11-11 18:52:33 +0000191void CompileUnit::addString(DIE *Die, dwarf::Attribute Attribute,
192 StringRef String) {
Eric Christopher67646432013-07-26 17:02:41 +0000193 DIEValue *Value;
David Blaikief2443192013-10-21 17:28:37 +0000194 dwarf::Form Form;
Eric Christopher2cbd5762013-01-07 19:32:41 +0000195 if (!DD->useSplitDwarf()) {
196 MCSymbol *Symb = DU->getStringPoolEntry(String);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000197 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000198 Value = new (DIEValueAllocator) DIELabel(Symb);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000199 else {
200 MCSymbol *StringPool = DU->getStringPoolSym();
201 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
202 }
Eric Christopher67646432013-07-26 17:02:41 +0000203 Form = dwarf::DW_FORM_strp;
Eric Christopher2cbd5762013-01-07 19:32:41 +0000204 } else {
205 unsigned idx = DU->getStringPoolIndex(String);
Eric Christopher67646432013-07-26 17:02:41 +0000206 Value = new (DIEValueAllocator) DIEInteger(idx);
207 Form = dwarf::DW_FORM_GNU_str_index;
Eric Christopher2cbd5762013-01-07 19:32:41 +0000208 }
Eric Christopher67646432013-07-26 17:02:41 +0000209 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
210 Die->addValue(Attribute, Form, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000211}
212
213/// addLocalString - Add a string attribute data and value. This is guaranteed
214/// to be in the local string pool instead of indirected.
David Blaikief2443192013-10-21 17:28:37 +0000215void CompileUnit::addLocalString(DIE *Die, dwarf::Attribute Attribute,
Eric Christopher2cbd5762013-01-07 19:32:41 +0000216 StringRef String) {
Eric Christophere698f532012-12-20 21:58:36 +0000217 MCSymbol *Symb = DU->getStringPoolEntry(String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000218 DIEValue *Value;
219 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000220 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000221 else {
Eric Christophere698f532012-12-20 21:58:36 +0000222 MCSymbol *StringPool = DU->getStringPoolSym();
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000223 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000224 }
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000225 Die->addValue(Attribute, dwarf::DW_FORM_strp, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000226}
227
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000228/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000229///
David Blaikief2443192013-10-21 17:28:37 +0000230void CompileUnit::addExpr(DIEBlock *Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000231 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikief2443192013-10-21 17:28:37 +0000232 Die->addValue((dwarf::Attribute)0, Form, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000233}
234
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000235/// addLabel - Add a Dwarf label attribute data and value.
236///
Eric Christophere6c6c4d2013-11-11 18:52:33 +0000237void CompileUnit::addLabel(DIE *Die, dwarf::Attribute Attribute,
238 dwarf::Form Form, const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000239 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
240 Die->addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000241}
242
David Blaikief2443192013-10-21 17:28:37 +0000243void CompileUnit::addLabel(DIEBlock *Die, dwarf::Form Form,
244 const MCSymbol *Label) {
245 addLabel(Die, (dwarf::Attribute)0, Form, Label);
246}
247
Eric Christopher33ff6972013-11-21 23:46:41 +0000248/// addSectionLabel - Add a Dwarf section label attribute data and value.
249///
250void CompileUnit::addSectionLabel(DIE *Die, dwarf::Attribute Attribute,
251 const MCSymbol *Label) {
252 if (DD->getDwarfVersion() >= 4)
253 addLabel(Die, Attribute, dwarf::DW_FORM_sec_offset, Label);
254 else
255 addLabel(Die, Attribute, dwarf::DW_FORM_data4, Label);
256}
257
258/// addSectionOffset - Add an offset into a section attribute data and value.
259///
260void CompileUnit::addSectionOffset(DIE *Die, dwarf::Attribute Attribute,
261 uint64_t Integer) {
262 if (DD->getDwarfVersion() >= 4)
263 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
264 else
265 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
266}
267
Eric Christopher962c9082013-01-15 23:56:56 +0000268/// addLabelAddress - Add a dwarf label attribute data and value using
269/// DW_FORM_addr or DW_FORM_GNU_addr_index.
270///
David Blaikief2443192013-10-21 17:28:37 +0000271void CompileUnit::addLabelAddress(DIE *Die, dwarf::Attribute Attribute,
Eric Christopher962c9082013-01-15 23:56:56 +0000272 MCSymbol *Label) {
Alexey Samsonov4436bf02013-10-03 08:54:43 +0000273 if (Label)
274 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton21101b32013-09-19 23:21:01 +0000275
Eric Christopher962c9082013-01-15 23:56:56 +0000276 if (!DD->useSplitDwarf()) {
277 if (Label != NULL) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000278 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Eric Christopher962c9082013-01-15 23:56:56 +0000279 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
280 } else {
281 DIEValue *Value = new (DIEValueAllocator) DIEInteger(0);
282 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
283 }
284 } else {
285 unsigned idx = DU->getAddrPoolIndex(Label);
286 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
287 Die->addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
288 }
289}
290
Eric Christophere9ec2452013-01-18 22:11:33 +0000291/// addOpAddress - Add a dwarf op address data and value using the
292/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
293///
David Blaikief2443192013-10-21 17:28:37 +0000294void CompileUnit::addOpAddress(DIEBlock *Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000295 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000296 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
297 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000298 } else {
David Blaikief2443192013-10-21 17:28:37 +0000299 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
300 addUInt(Die, dwarf::DW_FORM_GNU_addr_index, DU->getAddrPoolIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000301 }
302}
303
Eric Christopher33ff6972013-11-21 23:46:41 +0000304/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000305///
Eric Christopher33ff6972013-11-21 23:46:41 +0000306void CompileUnit::addSectionDelta(DIE *Die, dwarf::Attribute Attribute,
307 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000308 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Eric Christopher33ff6972013-11-21 23:46:41 +0000309 if (DD->getDwarfVersion() >= 4)
310 Die->addValue(Attribute, dwarf::DW_FORM_sec_offset, Value);
311 else
312 Die->addValue(Attribute, dwarf::DW_FORM_data4, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000313}
314
315/// addDIEEntry - Add a DIE attribute data and value.
316///
Eric Christopher98b7f172013-11-11 18:52:36 +0000317void CompileUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute,
318 DIE *Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000319 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
320}
321
322void CompileUnit::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.
328 DieCU = getCUDie();
329 if (!EntryCU)
330 EntryCU = getCUDie();
331 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.
David Blaikie52c50202013-11-16 00:29:01 +0000338DIE *CompileUnit::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///
David Blaikief2443192013-10-21 17:28:37 +0000348void CompileUnit::addBlock(DIE *Die, dwarf::Attribute Attribute,
Devang Patel0e821f42011-04-12 23:21:44 +0000349 DIEBlock *Block) {
350 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.
357void CompileUnit::addSourceLine(DIE *Die, DIVariable V) {
358 // 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.
375void CompileUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
376 // 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.
392void CompileUnit::addSourceLine(DIE *Die, DISubprogram SP) {
393 // 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.
411void CompileUnit::addSourceLine(DIE *Die, DIType Ty) {
412 // 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 Christopher70e1bd82012-03-29 08:42:56 +0000428void CompileUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
429 // 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.
Devang Patel0e821f42011-04-12 23:21:44 +0000446void CompileUnit::addSourceLine(DIE *Die, DINameSpace NS) {
447 // 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 Christopherbf2d23c2013-06-24 21:07:27 +0000465void CompileUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
Devang Patel77dc5412011-04-27 22:45:24 +0000466 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.
David Blaikief2443192013-10-21 17:28:37 +0000477void CompileUnit::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.
David Blaikief2443192013-10-21 17:28:37 +0000489void CompileUnit::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.
David Blaikief2443192013-10-21 17:28:37 +0000508void CompileUnit::addAddress(DIE *Die, dwarf::Attribute Attribute,
David Blaikieea2605d2013-06-20 00:25:24 +0000509 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
527/// given the extra address information encoded in the DIVariable, starting from
528/// the starting location. Add the DWARF information to the die.
529///
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000530void CompileUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
David Blaikief2443192013-10-21 17:28:37 +0000531 dwarf::Attribute Attribute,
Devang Patel0e821f42011-04-12 23:21:44 +0000532 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 Christopherbf2d23c2013-06-24 21:07:27 +0000623void CompileUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
David Blaikief2443192013-10-21 17:28:37 +0000624 dwarf::Attribute Attribute,
Devang Patel0e821f42011-04-12 23:21:44 +0000625 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 Christopher78fcf4902013-07-03 01:08:30 +0000758void CompileUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
Devang Patel3c6aed22011-05-27 16:45:18 +0000759 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 Christopher78fcf4902013-07-03 01:08:30 +0000797void CompileUnit::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 Christopher78fcf4902013-07-03 01:08:30 +0000820void CompileUnit::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 Christopher78fcf4902013-07-03 01:08:30 +0000826void CompileUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
Devang Patel0e821f42011-04-12 23:21:44 +0000827 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 Christopher78fcf4902013-07-03 01:08:30 +0000832void CompileUnit::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.
Devang Patel0e821f42011-04-12 23:21:44 +0000888void CompileUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
889 // 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 Christopher08f7c8f2013-10-04 23:49:26 +0000902DIE *CompileUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000903 if (!Context || Context.isFile())
904 return getCUDie();
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
David Blaikie409dd9c2013-11-19 23:08:21 +0000914DIE *CompileUnit::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.
933static bool isTypeUnitScoped(DIType Ty, const DwarfDebug *DD) {
934 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.
945static bool shouldCreateTypeUnit(DICompositeType CTy, const DwarfDebug *DD) {
946 if (!GenerateTypeUnits)
947 return false;
948
949 uint16_t Tag = CTy.getTag();
950
951 switch (Tag) {
952 case dwarf::DW_TAG_structure_type:
953 case dwarf::DW_TAG_union_type:
954 case dwarf::DW_TAG_enumeration_type:
955 case dwarf::DW_TAG_class_type:
956 // If this is a class, structure, union, or enumeration type
957 // that is a definition (not a declaration), and not scoped
958 // inside a function then separate this out as a type unit.
959 return !CTy.isForwardDecl() && isTypeUnitScoped(CTy, DD);
960 default:
961 return false;
962 }
963}
964
Devang Patel0e821f42011-04-12 23:21:44 +0000965/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
966/// given DIType.
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000967DIE *CompileUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000968 if (!TyNode)
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000969 return NULL;
Manman Renf4c339e2013-10-29 22:49:29 +0000970
David Blaikie32887552013-11-14 22:25:02 +0000971 DIType Ty(TyNode);
972 assert(Ty.isType());
973
Manman Renf4c339e2013-10-29 22:49:29 +0000974 // Construct the context before querying for the existence of the DIE in case
975 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000976 DIScope Context = resolve(Ty.getContext());
977 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000978 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000979
Eric Christophere595bae2013-10-04 17:08:38 +0000980 DIE *TyDIE = getDIE(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000981 if (TyDIE)
982 return TyDIE;
983
984 // Create new type.
Manman Renf4c339e2013-10-29 22:49:29 +0000985 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
986
Devang Patel0e821f42011-04-12 23:21:44 +0000987 if (Ty.isBasicType())
988 constructTypeDIE(*TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000989 else if (Ty.isCompositeType()) {
990 DICompositeType CTy(Ty);
991 if (shouldCreateTypeUnit(CTy, DD)) {
David Blaikie3c1d3322013-12-02 18:44:29 +0000992 DD->addTypeUnitType(getLanguage(), TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000993 // Skip updating the accellerator tables since this is not the full type
994 return TyDIE;
995 }
David Blaikiefbd29eb2013-11-26 00:35:04 +0000996 constructTypeDIE(*TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000997 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000998 assert(Ty.isDerivedType() && "Unknown kind of DIType");
999 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
1000 }
David Blaikie2ea848b2013-11-19 22:51:04 +00001001
David Blaikie9d861be2013-11-26 00:15:27 +00001002 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie2ea848b2013-11-19 22:51:04 +00001003
1004 return TyDIE;
1005}
1006
David Blaikie9d861be2013-11-26 00:15:27 +00001007void CompileUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
1008 const DIE *TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +00001009 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
1010 bool IsImplementation = 0;
1011 if (Ty.isCompositeType()) {
1012 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001013 // A runtime language of 0 actually means C/C++ and that any
1014 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +00001015 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +00001016 }
Eric Christophercf7289f2013-09-05 18:20:16 +00001017 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001018 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
David Blaikie9d861be2013-11-26 00:15:27 +00001019
1020 if (!Context || Context.isCompileUnit() || Context.isFile() ||
1021 Context.isNameSpace())
1022 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] = TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +00001023 }
Devang Patel0e821f42011-04-12 23:21:44 +00001024}
1025
1026/// addType - Add a new type attribute to the specified entity.
David Blaikief2443192013-10-21 17:28:37 +00001027void CompileUnit::addType(DIE *Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +00001028 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001029
1030 // Check for pre-existence.
1031 DIEEntry *Entry = getDIEEntry(Ty);
1032 // If it exists then use the existing value.
1033 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001034 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001035 return;
1036 }
1037
1038 // Construct type.
1039 DIE *Buffer = getOrCreateTypeDIE(Ty);
1040
1041 // Set up proxy.
1042 Entry = createDIEEntry(Buffer);
1043 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001044 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001045}
1046
Eric Christopher9cd26af2013-09-20 23:22:52 +00001047// Accelerator table mutators - add each name along with its companion
1048// DIE to the proper table while ensuring that the name that we're going
1049// to reference is in the string table. We do this since the names we
1050// add may not only be identical to the names in the DIE.
David Blaikie2ea848b2013-11-19 22:51:04 +00001051void CompileUnit::addAccelName(StringRef Name, const DIE *Die) {
Eric Christopher9cd26af2013-09-20 23:22:52 +00001052 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001053 std::vector<const DIE *> &DIEs = AccelNames[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001054 DIEs.push_back(Die);
1055}
1056
David Blaikie2ea848b2013-11-19 22:51:04 +00001057void CompileUnit::addAccelObjC(StringRef Name, const DIE *Die) {
Eric Christopher9cd26af2013-09-20 23:22:52 +00001058 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001059 std::vector<const DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001060 DIEs.push_back(Die);
1061}
1062
David Blaikie2ea848b2013-11-19 22:51:04 +00001063void CompileUnit::addAccelNamespace(StringRef Name, const DIE *Die) {
Eric Christopher9cd26af2013-09-20 23:22:52 +00001064 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001065 std::vector<const DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001066 DIEs.push_back(Die);
1067}
1068
David Blaikie2ea848b2013-11-19 22:51:04 +00001069void CompileUnit::addAccelType(StringRef Name,
1070 std::pair<const DIE *, unsigned> Die) {
Eric Christopher9cd26af2013-09-20 23:22:52 +00001071 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001072 std::vector<std::pair<const DIE *, unsigned> > &DIEs = AccelTypes[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001073 DIEs.push_back(Die);
1074}
1075
Eric Christopher9c58f312013-09-20 22:20:55 +00001076/// addGlobalName - Add a new global name to the compile unit.
Eric Christopher2c8b7902013-10-17 02:06:06 +00001077void CompileUnit::addGlobalName(StringRef Name, DIE *Die, DIScope Context) {
Eric Christopher8dba0d52013-10-19 01:04:42 +00001078 std::string FullName = getParentContextString(Context) + Name.str();
Eric Christopher2c8b7902013-10-17 02:06:06 +00001079 GlobalNames[FullName] = Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001080}
1081
Eric Christopher2c8b7902013-10-17 02:06:06 +00001082/// getParentContextString - Walks the metadata parent chain in a language
1083/// specific manner (using the compile unit language) and returns
1084/// it as a string. This is done at the metadata level because DIEs may
1085/// not currently have been added to the parent context and walking the
1086/// DIEs looking for names is more expensive than walking the metadata.
1087std::string CompileUnit::getParentContextString(DIScope Context) const {
1088 if (!Context)
1089 return "";
1090
1091 // FIXME: Decide whether to implement this for non-C++ languages.
1092 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1093 return "";
1094
Eric Christopher8dba0d52013-10-19 01:04:42 +00001095 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001096 SmallVector<DIScope, 1> Parents;
1097 while (!Context.isCompileUnit()) {
1098 Parents.push_back(Context);
1099 if (Context.getContext())
1100 Context = resolve(Context.getContext());
1101 else
1102 // Structure, etc types will have a NULL context if they're at the top
1103 // level.
1104 break;
1105 }
1106
1107 // Reverse iterate over our list to go from the outermost construct to the
1108 // innermost.
1109 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1110 E = Parents.rend();
1111 I != E; ++I) {
1112 DIScope Ctx = *I;
1113 StringRef Name = Ctx.getName();
Eric Christopher8dba0d52013-10-19 01:04:42 +00001114 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001115 CS += Name;
1116 CS += "::";
1117 }
1118 }
1119 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001120}
1121
1122/// constructTypeDIE - Construct basic type die from DIBasicType.
1123void CompileUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
1124 // Get core information.
1125 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001126 // Add name if not anonymous or intermediate type.
1127 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001128 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001129
David Blaikiefac56122013-10-04 23:21:16 +00001130 // An unspecified type only has a name attribute.
1131 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001132 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001133
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001134 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001135 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001136
Devang Patel0e821f42011-04-12 23:21:44 +00001137 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikief2443192013-10-21 17:28:37 +00001138 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001139}
1140
1141/// constructTypeDIE - Construct derived type die from DIDerivedType.
1142void CompileUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
1143 // Get core information.
1144 StringRef Name = DTy.getName();
1145 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001146 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001147
1148 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001149 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001150 if (FromTy)
1151 addType(&Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001152
1153 // Add name if not anonymous or intermediate type.
1154 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001155 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001156
1157 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001158 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikief2443192013-10-21 17:28:37 +00001159 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001160
David Blaikie5d3249b2013-01-07 05:51:15 +00001161 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Eric Christopherc2697f82013-10-19 01:04:47 +00001162 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
1163 getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001164 // Add source line info if available and TyDesc is not a forward declaration.
1165 if (!DTy.isForwardDecl())
1166 addSourceLine(&Buffer, DTy);
1167}
1168
1169/// constructTypeDIE - Construct type DIE from DICompositeType.
1170void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001171 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001172 StringRef Name = CTy.getName();
1173
1174 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001175 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001176
1177 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001178 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001179 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001180 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001181 case dwarf::DW_TAG_enumeration_type:
1182 constructEnumTypeDIE(Buffer, CTy);
1183 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001184 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001185 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001186 DIArray Elements = CTy.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001187 DIType RTy(Elements.getElement(0));
Eric Christopher0df08e22013-08-08 07:40:37 +00001188 if (RTy)
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001189 addType(&Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001190
1191 bool isPrototyped = true;
1192 // Add arguments.
1193 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1194 DIDescriptor Ty = Elements.getElement(i);
1195 if (Ty.isUnspecifiedParameter()) {
Manman Renb987e512013-10-29 00:53:03 +00001196 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001197 isPrototyped = false;
1198 } else {
Manman Renb987e512013-10-29 00:53:03 +00001199 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001200 addType(Arg, DIType(Ty));
David Blaikie9a7a7a92013-01-29 19:35:24 +00001201 if (DIType(Ty).isArtificial())
1202 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001203 }
1204 }
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001205 // Add prototype flag if we're dealing with a C language and the
1206 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001207 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001208 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001209 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001210 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001211 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Eric Christopherc2697f82013-10-19 01:04:47 +00001212 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001213 case dwarf::DW_TAG_structure_type:
1214 case dwarf::DW_TAG_union_type:
1215 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001216 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001217 DIArray Elements = CTy.getTypeArray();
1218 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001219 DIDescriptor Element = Elements.getElement(i);
1220 DIE *ElemDie = NULL;
1221 if (Element.isSubprogram()) {
1222 DISubprogram SP(Element);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001223 ElemDie = getOrCreateSubprogramDIE(SP);
Devang Patel0e821f42011-04-12 23:21:44 +00001224 if (SP.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001225 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001226 dwarf::DW_ACCESS_protected);
1227 else if (SP.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001228 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001229 dwarf::DW_ACCESS_private);
Eric Christopher92331fd2012-11-21 00:34:38 +00001230 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001231 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001232 dwarf::DW_ACCESS_public);
Devang Patel0e821f42011-04-12 23:21:44 +00001233 if (SP.isExplicit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001234 addFlag(ElemDie, dwarf::DW_AT_explicit);
Eric Christopher7285c7d2012-03-28 07:34:31 +00001235 } else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001236 DIDerivedType DDTy(Element);
1237 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
Manman Renb987e512013-10-29 00:53:03 +00001238 ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001239 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001240 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001241 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001242 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001243 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001244 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001245 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001246 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001247 DIObjCProperty Property(Element);
Manman Renb987e512013-10-29 00:53:03 +00001248 ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001249 StringRef PropertyName = Property.getObjCPropertyName();
1250 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopherd42b92f2012-05-22 18:45:24 +00001251 addType(ElemDie, Property.getType());
1252 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001253 StringRef GetterName = Property.getObjCPropertyGetterName();
1254 if (!GetterName.empty())
1255 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1256 StringRef SetterName = Property.getObjCPropertySetterName();
1257 if (!SetterName.empty())
1258 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1259 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001260 if (Property.isReadOnlyObjCProperty())
1261 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1262 if (Property.isReadWriteObjCProperty())
1263 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1264 if (Property.isAssignObjCProperty())
1265 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1266 if (Property.isRetainObjCProperty())
1267 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1268 if (Property.isCopyObjCProperty())
1269 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1270 if (Property.isNonAtomicObjCProperty())
1271 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1272 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001273 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001274 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001275
Devang Pateld925d1a2012-02-07 23:33:58 +00001276 DIEEntry *Entry = getDIEEntry(Element);
1277 if (!Entry) {
1278 Entry = createDIEEntry(ElemDie);
1279 insertDIEEntry(Element, Entry);
1280 }
Devang Patel403e8192012-02-04 01:30:32 +00001281 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001282 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001283 }
1284
1285 if (CTy.isAppleBlockExtension())
Eric Christopherbb69a272012-08-24 01:14:27 +00001286 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001287
Eric Christopher9e429ae2013-10-05 00:27:02 +00001288 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001289 if (ContainingType)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001290 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001291 getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001292
Devang Patel12419ae2011-05-12 21:29:42 +00001293 if (CTy.isObjcClassComplete())
Eric Christopherbb69a272012-08-24 01:14:27 +00001294 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001295
Eric Christopherda011dd2011-12-16 23:42:42 +00001296 // Add template parameters to a class, structure or union types.
1297 // FIXME: The support isn't in the metadata for this yet.
1298 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001299 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001300 addTemplateParams(Buffer, CTy.getTemplateParams());
1301
1302 break;
1303 }
1304 default:
1305 break;
1306 }
1307
1308 // Add name if not anonymous or intermediate type.
1309 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001310 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001311
Eric Christopher775cbd22012-05-22 18:45:18 +00001312 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001313 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001314 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001315 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001316 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001317 if (Size)
David Blaikief2443192013-10-21 17:28:37 +00001318 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001319 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001320 // Add zero size if it is not a forward declaration.
David Blaikief2443192013-10-21 17:28:37 +00001321 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001322
1323 // If we're a forward decl, say so.
1324 if (CTy.isForwardDecl())
Eric Christopherbb69a272012-08-24 01:14:27 +00001325 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001326
1327 // Add source line info if available.
1328 if (!CTy.isForwardDecl())
1329 addSourceLine(&Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001330
1331 // No harm in adding the runtime language to the declaration.
1332 unsigned RLang = CTy.getRunTimeLang();
1333 if (RLang)
Eric Christopherc2697f82013-10-19 01:04:47 +00001334 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
1335 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001336 }
1337}
1338
Manman Renffc9a712013-10-23 23:05:28 +00001339/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1340/// DITemplateTypeParameter.
Manman Ren57e6ff72013-10-23 22:57:12 +00001341void
Manman Renffc9a712013-10-23 23:05:28 +00001342CompileUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1343 DITemplateTypeParameter TP) {
Manman Renb987e512013-10-29 00:53:03 +00001344 DIE *ParamDIE =
1345 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001346 // Add the type if it exists, it could be void and therefore no type.
1347 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001348 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001349 if (!TP.getName().empty())
1350 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001351}
1352
Manman Renffc9a712013-10-23 23:05:28 +00001353/// constructTemplateValueParameterDIE - Construct new DIE for the given
1354/// DITemplateValueParameter.
Manman Ren57e6ff72013-10-23 22:57:12 +00001355void
Manman Renffc9a712013-10-23 23:05:28 +00001356CompileUnit::constructTemplateValueParameterDIE(DIE &Buffer,
1357 DITemplateValueParameter VP) {
Manman Renb987e512013-10-29 00:53:03 +00001358 DIE *ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001359
1360 // Add the type if there is one, template template and template parameter
1361 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001362 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001363 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001364 if (!VP.getName().empty())
1365 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1366 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001367 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Ren88b0f942013-10-09 19:46:28 +00001368 addConstantValue(ParamDIE, CI,
1369 isUnsignedDIType(DD, resolve(VP.getType())));
David Blaikiea1e813d2013-05-10 21:52:07 +00001370 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1371 // For declaration non-type template parameters (such as global values and
1372 // functions)
1373 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001374 addOpAddress(Block, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001375 // Emit DW_OP_stack_value to use the address as the immediate value of the
1376 // parameter, rather than a pointer to it.
David Blaikief2443192013-10-21 17:28:37 +00001377 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1378 addBlock(ParamDIE, dwarf::DW_AT_location, Block);
Eric Christopherafb2c412013-08-08 07:40:31 +00001379 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001380 assert(isa<MDString>(Val));
1381 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1382 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001383 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001384 assert(isa<MDNode>(Val));
1385 DIArray A(cast<MDNode>(Val));
1386 addTemplateParams(*ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001387 }
1388 }
Devang Patel0e821f42011-04-12 23:21:44 +00001389}
1390
Devang Patel17b53272011-05-06 16:57:54 +00001391/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1392DIE *CompileUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001393 // Construct the context before querying for the existence of the DIE in case
1394 // such construction creates the DIE.
1395 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001396
Devang Patel17b53272011-05-06 16:57:54 +00001397 DIE *NDie = getDIE(NS);
1398 if (NDie)
1399 return NDie;
Manman Renf6b936b2013-10-29 05:49:41 +00001400 NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
1401
Eric Christopher4996c702011-11-07 09:24:32 +00001402 if (!NS.getName().empty()) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001403 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher4996c702011-11-07 09:24:32 +00001404 addAccelNamespace(NS.getName(), NDie);
Eric Christopher2c8b7902013-10-17 02:06:06 +00001405 addGlobalName(NS.getName(), NDie, NS.getContext());
Eric Christopher4996c702011-11-07 09:24:32 +00001406 } else
1407 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel17b53272011-05-06 16:57:54 +00001408 addSourceLine(NDie, NS);
Devang Patel17b53272011-05-06 16:57:54 +00001409 return NDie;
1410}
1411
Devang Patel89543712011-08-15 17:24:54 +00001412/// getOrCreateSubprogramDIE - Create new DIE using SP.
1413DIE *CompileUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001414 // Construct the context before querying for the existence of the DIE in case
1415 // such construction creates the DIE (as is the case for member function
1416 // declarations).
Manman Renc50fa112013-10-10 18:40:01 +00001417 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
David Blaikie309ffe42013-10-04 01:39:59 +00001418
Eric Christophere595bae2013-10-04 17:08:38 +00001419 DIE *SPDie = getDIE(SP);
Devang Patel89543712011-08-15 17:24:54 +00001420 if (SPDie)
1421 return SPDie;
1422
Manman Ren73d697c2013-10-29 00:58:04 +00001423 DISubprogram SPDecl = SP.getFunctionDeclaration();
1424 if (SPDecl.isSubprogram())
1425 // Add subprogram definitions to the CU die directly.
1426 ContextDIE = CUDie.get();
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001427
1428 // DW_TAG_inlined_subroutine may refer to this DIE.
Manman Ren73d697c2013-10-29 00:58:04 +00001429 SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001430
Rafael Espindola79278362011-11-10 22:34:29 +00001431 DIE *DeclDie = NULL;
Manman Renb9512a72013-10-23 22:12:26 +00001432 if (SPDecl.isSubprogram())
Rafael Espindola79278362011-11-10 22:34:29 +00001433 DeclDie = getOrCreateSubprogramDIE(SPDecl);
Rafael Espindola79278362011-11-10 22:34:29 +00001434
Devang Patel89543712011-08-15 17:24:54 +00001435 // Add function template parameters.
1436 addTemplateParams(*SPDie, SP.getTemplateParams());
1437
Devang Patel89543712011-08-15 17:24:54 +00001438 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherf20ff972013-05-09 00:42:33 +00001439 // then there is no need to add other attributes.
Rafael Espindola79278362011-11-10 22:34:29 +00001440 if (DeclDie) {
1441 // Refer function declaration directly.
Manman Ren4c4b69c2013-10-11 23:58:05 +00001442 addDIEEntry(SPDie, dwarf::DW_AT_specification, DeclDie);
Rafael Espindola79278362011-11-10 22:34:29 +00001443
Devang Patel89543712011-08-15 17:24:54 +00001444 return SPDie;
Rafael Espindola79278362011-11-10 22:34:29 +00001445 }
Devang Patel89543712011-08-15 17:24:54 +00001446
Eric Christopheracb71152012-08-23 22:52:55 +00001447 // Add the linkage name if we have one.
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001448 StringRef LinkageName = SP.getLinkageName();
1449 if (!LinkageName.empty())
Eric Christopheracb71152012-08-23 22:52:55 +00001450 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001451 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopheracb71152012-08-23 22:52:55 +00001452
Devang Patel89543712011-08-15 17:24:54 +00001453 // Constructors and operators for anonymous aggregates do not have names.
1454 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001455 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001456
1457 addSourceLine(SPDie, SP);
1458
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001459 // Add the prototype if we have a prototype and we have a C like
1460 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001461 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001462 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001463 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001464 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001465 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001466
Devang Patel89543712011-08-15 17:24:54 +00001467 DICompositeType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001468 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1469 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001470
David Blaikie5174c842013-05-22 23:22:18 +00001471 DIArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001472 // Add a return type. If this is a type like a C/C++ void type we don't add a
1473 // return type.
Eric Christopher0df08e22013-08-08 07:40:37 +00001474 if (Args.getElement(0))
1475 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel89543712011-08-15 17:24:54 +00001476
1477 unsigned VK = SP.getVirtuality();
1478 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001479 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Patel89543712011-08-15 17:24:54 +00001480 DIEBlock *Block = getDIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001481 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1482 addUInt(Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1483 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001484 ContainingTypeMap.insert(
1485 std::make_pair(SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001486 }
1487
1488 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001489 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001490
Devang Patel89543712011-08-15 17:24:54 +00001491 // Add arguments. Do not add arguments for subprogram definition. They will
1492 // be handled while processing variables.
Eric Christopherc2697f82013-10-19 01:04:47 +00001493 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renb987e512013-10-29 00:53:03 +00001494 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, *SPDie);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001495 DIType ATy(Args.getElement(i));
David Blaikie5174c842013-05-22 23:22:18 +00001496 addType(Arg, ATy);
1497 if (ATy.isArtificial())
1498 addFlag(Arg, dwarf::DW_AT_artificial);
David Blaikie5174c842013-05-22 23:22:18 +00001499 }
Devang Patel89543712011-08-15 17:24:54 +00001500 }
1501
1502 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001503 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001504
1505 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001506 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001507
1508 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001509 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001510
1511 if (unsigned isa = Asm->getISAEncoding()) {
1512 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1513 }
1514
1515 return SPDie;
1516}
1517
Devang Pateldfd6ec32011-08-15 17:57:41 +00001518// Return const expression if value is a GEP to access merged global
1519// constant. e.g.
1520// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1521static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1522 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1523 if (!CE || CE->getNumOperands() != 3 ||
1524 CE->getOpcode() != Instruction::GetElementPtr)
1525 return NULL;
1526
1527 // First operand points to a global struct.
1528 Value *Ptr = CE->getOperand(0);
1529 if (!isa<GlobalValue>(Ptr) ||
1530 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1531 return NULL;
1532
1533 // Second operand is zero.
1534 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1535 if (!CI || !CI->isZero())
1536 return NULL;
1537
1538 // Third operand is offset.
1539 if (!isa<ConstantInt>(CE->getOperand(2)))
1540 return NULL;
1541
1542 return CE;
1543}
1544
1545/// createGlobalVariableDIE - create global variable DIE.
David Blaikiea781b25b2013-11-17 21:55:13 +00001546void CompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001547 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001548 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001549 return;
1550
Manman Ren7504ed42013-07-08 18:33:29 +00001551 if (!GV.isGlobalVariable())
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001552 return;
1553
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001554 DIScope GVContext = GV.getContext();
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001555 DIType GTy = GV.getType();
1556
1557 // If this is a static data member definition, some attributes belong
1558 // to the declaration DIE.
1559 DIE *VariableDIE = NULL;
Manman Rene697d3c2013-02-01 23:54:37 +00001560 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001561 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1562 if (SDMDecl.Verify()) {
1563 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1564 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001565 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001566 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001567 }
1568
1569 // If this is not a static data member definition, create the variable
1570 // DIE and add the initial set of attributes to it.
1571 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001572 // Construct the context before querying for the existence of the DIE in
1573 // case such construction creates the DIE.
1574 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001575
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001576 // Add to map.
David Blaikie52c50202013-11-16 00:29:01 +00001577 VariableDIE = createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001578
1579 // Add name and type.
1580 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1581 addType(VariableDIE, GTy);
1582
1583 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001584 if (!GV.isLocalToUnit())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001585 addFlag(VariableDIE, dwarf::DW_AT_external);
1586
1587 // Add line number info.
1588 addSourceLine(VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001589 }
1590
Devang Pateldfd6ec32011-08-15 17:57:41 +00001591 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001592 bool addToAccelTable = false;
Eric Christopher0a917b72011-11-11 03:16:32 +00001593 DIE *VariableSpecDIE = NULL;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001594 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001595 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001596 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001597 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001598 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001599 if (GV.getGlobal()->isThreadLocal()) {
1600 // FIXME: Make this work with -gsplit-dwarf.
1601 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1602 assert((PointerSize == 4 || PointerSize == 8) &&
1603 "Add support for other sizes if necessary");
Ulrich Weigand2b6fc8d2013-07-02 18:47:09 +00001604 const MCExpr *Expr =
David Blaikie8466ca82013-07-01 23:55:52 +00001605 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikief2694972013-06-28 20:05:11 +00001606 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001607 if (!DD->useSplitDwarf()) {
1608 // 1) Start with a constNu of the appropriate pointer size
David Blaikief2443192013-10-21 17:28:37 +00001609 addUInt(Block, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001610 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001611 // 2) containing the (relocated) offset of the TLS variable
1612 // within the module's TLS block.
David Blaikief2443192013-10-21 17:28:37 +00001613 addExpr(Block, dwarf::DW_FORM_udata, Expr);
David Blaikie8466ca82013-07-01 23:55:52 +00001614 } else {
David Blaikief2443192013-10-21 17:28:37 +00001615 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1616 addUInt(Block, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8466ca82013-07-01 23:55:52 +00001617 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001618 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikief2443192013-10-21 17:28:37 +00001619 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001620 } else {
1621 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikief2694972013-06-28 20:05:11 +00001622 addOpAddress(Block, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001623 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001624 // Do not create specification DIE if context is either compile unit
1625 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001626 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001627 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001628 // Create specification DIE.
David Blaikieeb0338fe2013-11-16 00:28:15 +00001629 VariableSpecDIE = createAndAddDIE(dwarf::DW_TAG_variable, *CUDie);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001630 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification, VariableDIE);
David Blaikief2443192013-10-21 17:28:37 +00001631 addBlock(VariableSpecDIE, dwarf::DW_AT_location, Block);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001632 // A static member's declaration is already flagged as such.
1633 if (!SDMDecl.Verify())
1634 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001635 } else {
David Blaikief2443192013-10-21 17:28:37 +00001636 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Eric Christopher4996c702011-11-07 09:24:32 +00001637 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001638 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001639 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001640 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001641 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1642 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1643 // TAG_variable.
Eric Christopherc2697f82013-10-19 01:04:47 +00001644 addString(IsStaticMember && VariableSpecDIE ? VariableSpecDIE
1645 : VariableDIE,
1646 dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001647 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001648 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001649 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001650 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001651 // emitting AT_const_value multiple times, we only add AT_const_value when
1652 // it is not a static member.
1653 if (!IsStaticMember)
Manman Renb3388602013-10-05 01:43:03 +00001654 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
David Blaikiea781b25b2013-11-17 21:55:13 +00001655 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001656 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001657 // GV is a merged global.
1658 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1659 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001660 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1661 DD->addArangeLabel(SymbolCU(this, Sym));
1662 addOpAddress(Block, Sym);
David Blaikief2443192013-10-21 17:28:37 +00001663 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001664 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikief2443192013-10-21 17:28:37 +00001665 addUInt(Block, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001666 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikief2443192013-10-21 17:28:37 +00001667 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1668 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001669 }
1670
Eric Christopherc12c2112011-11-11 01:55:22 +00001671 if (addToAccelTable) {
1672 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1673 addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001674
Eric Christopherc12c2112011-11-11 01:55:22 +00001675 // If the linkage name is different than the name, go ahead and output
1676 // that as well into the name table.
1677 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1678 addAccelName(GV.getLinkageName(), AddrDIE);
1679 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001680
1681 if (!GV.isLocalToUnit())
Eric Christopher2c8b7902013-10-17 02:06:06 +00001682 addGlobalName(GV.getName(), VariableSpecDIE ? VariableSpecDIE : VariableDIE,
1683 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001684}
1685
Devang Patel0e821f42011-04-12 23:21:44 +00001686/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christopherd42b92f2012-05-22 18:45:24 +00001687void CompileUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR,
1688 DIE *IndexTy) {
Manman Renb987e512013-10-29 00:53:03 +00001689 DIE *DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001690 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001691
Bill Wendling28fe9e72012-12-06 07:38:10 +00001692 // The LowerBound value defines the lower bounds which is typically zero for
1693 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1694 // Count == -1 then the array is unbounded and we do not emit
1695 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1696 // Count == 0, then the array has zero elements in which case we do not emit
1697 // an upper bound.
1698 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001699 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001700 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001701
Bill Wendling3495f9b2012-12-06 07:55:19 +00001702 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001703 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001704
1705 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001706 // FIXME: An unbounded array should reference the expression that defines
1707 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001708 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1709 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001710}
1711
1712/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001713void CompileUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
1714 if (CTy.isVector())
Eric Christopherbb69a272012-08-24 01:14:27 +00001715 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001716
Eric Christopher0df08e22013-08-08 07:40:37 +00001717 // Emit the element type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001718 addType(&Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001719
1720 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001721 // FIXME: This type should be passed down from the front end
1722 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001723 DIE *IdxTy = getIndexTyDie();
1724 if (!IdxTy) {
1725 // Construct an anonymous type for index type.
Manman Renb987e512013-10-29 00:53:03 +00001726 IdxTy = createAndAddDIE(dwarf::DW_TAG_base_type, *CUDie.get());
Eric Christophercad9b532013-01-04 21:51:53 +00001727 addString(IdxTy, dwarf::DW_AT_name, "int");
David Blaikief2443192013-10-21 17:28:37 +00001728 addUInt(IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int32_t));
Devang Patel0e821f42011-04-12 23:21:44 +00001729 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1730 dwarf::DW_ATE_signed);
Devang Patel0e821f42011-04-12 23:21:44 +00001731 setIndexTyDie(IdxTy);
1732 }
1733
1734 // Add subranges to array type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001735 DIArray Elements = CTy.getTypeArray();
Devang Patel0e821f42011-04-12 23:21:44 +00001736 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1737 DIDescriptor Element = Elements.getElement(i);
1738 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1739 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1740 }
1741}
1742
Eric Christopheraeb105f2013-11-11 18:52:39 +00001743/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
1744void CompileUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
1745 DIArray Elements = CTy.getTypeArray();
1746
1747 // Add enumerators to enumeration type.
1748 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001749 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001750 if (Enum.isEnumerator()) {
1751 DIE *Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001752 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001753 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001754 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001755 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1756 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001757 }
1758 }
1759 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1760 if (DTy) {
1761 addType(&Buffer, DTy);
1762 addFlag(&Buffer, dwarf::DW_AT_enum_class);
1763 }
Devang Patel0e821f42011-04-12 23:21:44 +00001764}
1765
Devang Patel89543712011-08-15 17:24:54 +00001766/// constructContainingTypeDIEs - Construct DIEs for types that contain
1767/// vtables.
1768void CompileUnit::constructContainingTypeDIEs() {
1769 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001770 CE = ContainingTypeMap.end();
1771 CI != CE; ++CI) {
Devang Patel89543712011-08-15 17:24:54 +00001772 DIE *SPDie = CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001773 DIDescriptor D(CI->second);
1774 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001775 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001776 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001777 if (!NDie)
1778 continue;
Manman Ren4c4b69c2013-10-11 23:58:05 +00001779 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, NDie);
Devang Patel89543712011-08-15 17:24:54 +00001780 }
1781}
1782
Devang Patel3acc70e2011-08-15 22:04:40 +00001783/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christopher34a2c872013-11-15 01:43:19 +00001784DIE *CompileUnit::constructVariableDIE(DbgVariable &DV, bool isScopeAbstract) {
1785 StringRef Name = DV.getName();
Devang Patel3acc70e2011-08-15 22:04:40 +00001786
Devang Patel3acc70e2011-08-15 22:04:40 +00001787 // Define variable debug information entry.
Eric Christopher34a2c872013-11-15 01:43:19 +00001788 DIE *VariableDie = new DIE(DV.getTag());
1789 DbgVariable *AbsVar = DV.getAbstractVariable();
Devang Patel3acc70e2011-08-15 22:04:40 +00001790 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren4213c392013-05-29 17:16:59 +00001791 if (AbsDIE)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001792 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin, AbsDIE);
Devang Patel3acc70e2011-08-15 22:04:40 +00001793 else {
David Blaikie715528b2013-08-19 03:34:03 +00001794 if (!Name.empty())
1795 addString(VariableDie, dwarf::DW_AT_name, Name);
Eric Christopher34a2c872013-11-15 01:43:19 +00001796 addSourceLine(VariableDie, DV.getVariable());
1797 addType(VariableDie, DV.getType());
Devang Patel3acc70e2011-08-15 22:04:40 +00001798 }
1799
Eric Christopher34a2c872013-11-15 01:43:19 +00001800 if (DV.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001801 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Patel3acc70e2011-08-15 22:04:40 +00001802
1803 if (isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001804 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001805 return VariableDie;
1806 }
1807
1808 // Add variable address.
1809
Eric Christopher34a2c872013-11-15 01:43:19 +00001810 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001811 if (Offset != ~0U) {
Eric Christopher33ff6972013-11-21 23:46:41 +00001812 addSectionLabel(VariableDie, dwarf::DW_AT_location,
1813 Asm->GetTempSymbol("debug_loc", Offset));
Eric Christopher34a2c872013-11-15 01:43:19 +00001814 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001815 return VariableDie;
1816 }
1817
Eric Christophercead0332011-10-03 15:49:20 +00001818 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001819 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001820 assert(DVInsn->getNumOperands() == 3);
1821 if (DVInsn->getOperand(0).isReg()) {
1822 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001823 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001824 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001825 MachineLocation Location(RegOp.getReg(),
1826 DVInsn->getOperand(1).getImm());
Eric Christopher34a2c872013-11-15 01:43:19 +00001827 addVariableAddress(DV, VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001828 } else if (RegOp.getReg())
Eric Christopher34a2c872013-11-15 01:43:19 +00001829 addVariableAddress(DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001830 } else if (DVInsn->getOperand(0).isImm())
Eric Christopher34a2c872013-11-15 01:43:19 +00001831 addConstantValue(VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001832 else if (DVInsn->getOperand(0).isFPImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001833 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001834 else if (DVInsn->getOperand(0).isCImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001835 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher34a2c872013-11-15 01:43:19 +00001836 isUnsignedDIType(DD, DV.getType()));
Eric Christopher78fcf4902013-07-03 01:08:30 +00001837
Eric Christopher34a2c872013-11-15 01:43:19 +00001838 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001839 return VariableDie;
1840 } else {
1841 // .. else use frame index.
Eric Christopher34a2c872013-11-15 01:43:19 +00001842 int FI = DV.getFrameIndex();
Devang Patel3acc70e2011-08-15 22:04:40 +00001843 if (FI != ~0) {
1844 unsigned FrameReg = 0;
1845 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopherc2697f82013-10-19 01:04:47 +00001846 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
Devang Patel3acc70e2011-08-15 22:04:40 +00001847 MachineLocation Location(FrameReg, Offset);
Eric Christopher34a2c872013-11-15 01:43:19 +00001848 addVariableAddress(DV, VariableDie, Location);
Devang Patel3acc70e2011-08-15 22:04:40 +00001849 }
1850 }
1851
Eric Christopher34a2c872013-11-15 01:43:19 +00001852 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001853 return VariableDie;
1854}
1855
Manman Ren230ec862013-10-23 23:00:44 +00001856/// constructMemberDIE - Construct member DIE from DIDerivedType.
1857void CompileUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
Manman Renb987e512013-10-29 00:53:03 +00001858 DIE *MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001859 StringRef Name = DT.getName();
1860 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001861 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001862
Manman Ren93b30902013-10-08 18:42:58 +00001863 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001864
1865 addSourceLine(MemberDie, DT);
1866
1867 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001868 addUInt(MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel0e821f42011-04-12 23:21:44 +00001869
Eric Christopherc2697f82013-10-19 01:04:47 +00001870 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001871
1872 // For C++, virtual base classes are not at fixed offset. Use following
1873 // expression to extract appropriate offset from vtable.
1874 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1875
1876 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
David Blaikief2443192013-10-21 17:28:37 +00001877 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1878 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1879 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1880 addUInt(VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1881 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1882 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1883 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001884
David Blaikief2443192013-10-21 17:28:37 +00001885 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001886 } else {
1887 uint64_t Size = DT.getSizeInBits();
1888 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1889 uint64_t OffsetInBytes;
1890
1891 if (Size != FieldSize) {
1892 // Handle bitfield.
1893 addUInt(MemberDie, dwarf::DW_AT_byte_size, None,
1894 getBaseTypeSize(DD, DT) >> 3);
1895 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, DT.getSizeInBits());
1896
1897 uint64_t Offset = DT.getOffsetInBits();
1898 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1899 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1900 uint64_t FieldOffset = (HiMark - FieldSize);
1901 Offset -= FieldOffset;
1902
1903 // Maybe we need to work from the other end.
1904 if (Asm->getDataLayout().isLittleEndian())
1905 Offset = FieldSize - (Offset + Size);
1906 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1907
1908 // Here WD_AT_data_member_location points to the anonymous
1909 // field that includes this bit field.
1910 OffsetInBytes = FieldOffset >> 3;
1911 } else
1912 // This is not a bitfield.
1913 OffsetInBytes = DT.getOffsetInBits() >> 3;
Eric Christopher98b7f172013-11-11 18:52:36 +00001914 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None, OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001915 }
Devang Patel0e821f42011-04-12 23:21:44 +00001916
1917 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001918 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001919 dwarf::DW_ACCESS_protected);
1920 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001921 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001922 dwarf::DW_ACCESS_private);
1923 // Otherwise C++ member and base classes are considered public.
Eric Christopher92331fd2012-11-21 00:34:38 +00001924 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001925 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001926 dwarf::DW_ACCESS_public);
1927 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001928 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001929 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001930
1931 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001932 if (MDNode *PNode = DT.getObjCProperty())
1933 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher92331fd2012-11-21 00:34:38 +00001934 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel44882172012-02-06 17:49:43 +00001935 PropertyDie);
1936
David Blaikie37fefc32012-12-13 22:43:07 +00001937 if (DT.isArtificial())
1938 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001939}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001940
Manman Renc6b63922013-10-14 20:33:57 +00001941/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
David Blaikie2ad00162013-11-15 23:09:13 +00001942DIE *CompileUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001943 if (!DT.Verify())
1944 return NULL;
1945
Manman Renc6b63922013-10-14 20:33:57 +00001946 // Construct the context before querying for the existence of the DIE in case
1947 // such construction creates the DIE.
1948 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001949 assert(dwarf::isType(ContextDIE->getTag()) &&
1950 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001951
1952 DIE *StaticMemberDIE = getDIE(DT);
1953 if (StaticMemberDIE)
1954 return StaticMemberDIE;
1955
Manman Renb987e512013-10-29 00:53:03 +00001956 StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001957
Manman Ren93b30902013-10-08 18:42:58 +00001958 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001959
1960 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1961 addType(StaticMemberDIE, Ty);
1962 addSourceLine(StaticMemberDIE, DT);
1963 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1964 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1965
1966 // FIXME: We could omit private if the parent is a class_type, and
1967 // public if the parent is something else.
1968 if (DT.isProtected())
1969 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1970 dwarf::DW_ACCESS_protected);
1971 else if (DT.isPrivate())
1972 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1973 dwarf::DW_ACCESS_private);
1974 else
1975 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1976 dwarf::DW_ACCESS_public);
1977
1978 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Renb3388602013-10-05 01:43:03 +00001979 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikiea39a76e2013-01-20 01:18:01 +00001980 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1981 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001982
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001983 return StaticMemberDIE;
1984}
David Blaikie6b288cf2013-10-30 20:42:41 +00001985
1986void CompileUnit::emitHeader(const MCSection *ASection,
1987 const MCSymbol *ASectionSym) {
1988 Asm->OutStreamer.AddComment("DWARF version number");
1989 Asm->EmitInt16(DD->getDwarfVersion());
1990 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
1991 Asm->EmitSectionOffset(Asm->GetTempSymbol(ASection->getLabelBeginName()),
1992 ASectionSym);
1993 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1994 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1995}