blob: ccecb5be50bb90207fce0ce7739de7da1680547d [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.cpp - Dwarf Type and Compile Units ---------===//
Devang Patel0e821f42011-04-12 23:21:44 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher160522c2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "dwarfdebug"
15
David Blaikie2c86a722013-12-02 19:33:15 +000016#include "DwarfUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "DwarfAccelTable.h"
Devang Patel0e821f42011-04-12 23:21:44 +000018#include "DwarfDebug.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000021#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
23#include "llvm/IR/GlobalVariable.h"
24#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000025#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000026#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000027#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000028#include "llvm/MC/MCSection.h"
29#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000030#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000031#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000032#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000033#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000034#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000035
36using namespace llvm;
37
Eric Christopher4287a492013-12-09 23:57:44 +000038static cl::opt<bool>
39GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
40 cl::desc("Generate DWARF4 type units."),
41 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000042
David Blaikie2a80e442013-12-02 22:09:48 +000043/// Unit - Unit constructor.
David Blaikie7480ae62014-01-09 03:03:27 +000044DwarfUnit::DwarfUnit(unsigned UID, DIE *D, DICompileUnit Node, AsmPrinter *A,
45 DwarfDebug *DW, DwarfFile *DWU)
David Blaikief645f962014-01-09 03:23:41 +000046 : UniqueID(UID), CUNode(Node), UnitDie(D), DebugInfoOffset(0), Asm(A),
47 DD(DW), DU(DWU), IndexTyDie(0), Section(0), Skeleton(0) {
David Blaikie319a05f2013-12-02 19:33:10 +000048 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
49}
50
Eric Christopher4287a492013-12-09 23:57:44 +000051DwarfCompileUnit::DwarfCompileUnit(unsigned UID, DIE *D, DICompileUnit Node,
52 AsmPrinter *A, DwarfDebug *DW,
53 DwarfFile *DWU)
David Blaikie7480ae62014-01-09 03:03:27 +000054 : DwarfUnit(UID, D, Node, A, DW, DWU) {
David Blaikie5a152402013-11-15 23:52:02 +000055 insertDIE(Node, D);
Devang Patel0e821f42011-04-12 23:21:44 +000056}
57
David Blaikie15632ae2014-02-12 00:31:30 +000058DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DIE *D, DwarfCompileUnit &CU,
David Blaikie4a2f95f2014-03-18 01:17:26 +000059 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000060 MCDwarfDwoLineTable *SplitLineTable)
David Blaikie4a2f95f2014-03-18 01:17:26 +000061 : DwarfUnit(UID, D, CU.getCUNode(), A, DW, DWU), CU(CU),
62 SplitLineTable(SplitLineTable) {
63 if (SplitLineTable)
64 addSectionOffset(UnitDie.get(), dwarf::DW_AT_stmt_list, 0);
65}
David Blaikie409dd9c2013-11-19 23:08:21 +000066
David Blaikie319a05f2013-12-02 19:33:10 +000067/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000068DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000069 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
70 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000071 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
72 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000073}
74
75/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
76/// information entry.
Eric Christophera5a79422013-12-09 23:32:48 +000077DIEEntry *DwarfUnit::createDIEEntry(DIE *Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000078 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
79 return Value;
80}
81
Bill Wendling3495f9b2012-12-06 07:55:19 +000082/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000083/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000084int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000085 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000086 default:
87 break;
88
89 case dwarf::DW_LANG_C89:
90 case dwarf::DW_LANG_C99:
91 case dwarf::DW_LANG_C:
92 case dwarf::DW_LANG_C_plus_plus:
93 case dwarf::DW_LANG_ObjC:
94 case dwarf::DW_LANG_ObjC_plus_plus:
95 return 0;
96
97 case dwarf::DW_LANG_Fortran77:
98 case dwarf::DW_LANG_Fortran90:
99 case dwarf::DW_LANG_Fortran95:
100 return 1;
101
102 // The languages below have valid values only if the DWARF version >= 4.
103 case dwarf::DW_LANG_Java:
104 case dwarf::DW_LANG_Python:
105 case dwarf::DW_LANG_UPC:
106 case dwarf::DW_LANG_D:
107 if (dwarf::DWARF_VERSION >= 4)
108 return 0;
109 break;
110
111 case dwarf::DW_LANG_Ada83:
112 case dwarf::DW_LANG_Ada95:
113 case dwarf::DW_LANG_Cobol74:
114 case dwarf::DW_LANG_Cobol85:
115 case dwarf::DW_LANG_Modula2:
116 case dwarf::DW_LANG_Pascal83:
117 case dwarf::DW_LANG_PLI:
118 if (dwarf::DWARF_VERSION >= 4)
119 return 1;
120 break;
121 }
122
123 return -1;
124}
125
Manman Ren4dbdc902013-10-31 17:54:35 +0000126/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000127static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000128 // When the MDNode can be part of the type system, the DIE can be shared
129 // across CUs.
130 // Combining type units and cross-CU DIE sharing is lower value (since
131 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
132 // level already) but may be implementable for some value in projects
133 // building multiple independent libraries with LTO and then linking those
134 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000135 return (D.isType() ||
136 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000137 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000138}
139
140/// getDIE - Returns the debug information entry map slot for the
141/// specified debug variable. We delegate the request to DwarfDebug
142/// when the DIE for this MDNode can be shared across CUs. The mappings
143/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000144DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000145 if (isShareableAcrossCUs(D))
146 return DD->getDIE(D);
147 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000148}
149
150/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
151/// when the DIE for this MDNode can be shared across CUs. The mappings
152/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000153void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000154 if (isShareableAcrossCUs(Desc)) {
155 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000156 return;
157 }
David Blaikie2ad00162013-11-15 23:09:13 +0000158 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000159}
160
Eric Christopherbb69a272012-08-24 01:14:27 +0000161/// addFlag - Add a flag that is true.
Eric Christophera5a79422013-12-09 23:32:48 +0000162void DwarfUnit::addFlag(DIE *Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000163 if (DD->getDwarfVersion() >= 4)
Eric Christopherdccd3282013-10-04 22:40:05 +0000164 Die->addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000165 else
Eric Christopherdccd3282013-10-04 22:40:05 +0000166 Die->addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000167}
168
Devang Patel0e821f42011-04-12 23:21:44 +0000169/// addUInt - Add an unsigned integer attribute data and value.
170///
Eric Christophera5a79422013-12-09 23:32:48 +0000171void DwarfUnit::addUInt(DIE *Die, dwarf::Attribute Attribute,
172 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000173 if (!Form)
174 Form = DIEInteger::BestForm(false, Integer);
175 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
176 DIEInteger(Integer);
David Blaikief2443192013-10-21 17:28:37 +0000177 Die->addValue(Attribute, *Form, Value);
178}
179
Eric Christopher4a741042014-02-16 08:46:55 +0000180void DwarfUnit::addUInt(DIE *Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000181 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000182}
183
184/// addSInt - Add an signed integer attribute data and value.
185///
Eric Christophera5a79422013-12-09 23:32:48 +0000186void DwarfUnit::addSInt(DIE *Die, dwarf::Attribute Attribute,
187 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000188 if (!Form)
189 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000190 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikief2443192013-10-21 17:28:37 +0000191 Die->addValue(Attribute, *Form, Value);
192}
193
Eric Christopher4a741042014-02-16 08:46:55 +0000194void DwarfUnit::addSInt(DIELoc *Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000195 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000196 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000197}
198
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000199/// addString - Add a string attribute data and value. We always emit a
200/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000201/// more predictable sizes. In the case of split dwarf we emit an index
202/// into another table which gets us the static offset into the string
203/// table.
Eric Christophera5a79422013-12-09 23:32:48 +0000204void DwarfUnit::addString(DIE *Die, dwarf::Attribute Attribute,
205 StringRef String) {
Eric Christopher05893f42013-12-30 18:32:31 +0000206
207 if (!DD->useSplitDwarf())
208 return addLocalString(Die, Attribute, String);
209
210 unsigned idx = DU->getStringPoolIndex(String);
211 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000212 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000213 Die->addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000214}
215
216/// addLocalString - Add a string attribute data and value. This is guaranteed
217/// to be in the local string pool instead of indirected.
Eric Christophera5a79422013-12-09 23:32:48 +0000218void DwarfUnit::addLocalString(DIE *Die, dwarf::Attribute Attribute,
219 StringRef String) {
Eric Christophere698f532012-12-20 21:58:36 +0000220 MCSymbol *Symb = DU->getStringPoolEntry(String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000221 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000222 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000223 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000224 else {
Eric Christophere698f532012-12-20 21:58:36 +0000225 MCSymbol *StringPool = DU->getStringPoolSym();
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000226 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000227 }
Eric Christopher05893f42013-12-30 18:32:31 +0000228 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
229 Die->addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000230}
231
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000232/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000233///
Eric Christopher4a741042014-02-16 08:46:55 +0000234void DwarfUnit::addExpr(DIELoc *Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000235 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikief2443192013-10-21 17:28:37 +0000236 Die->addValue((dwarf::Attribute)0, Form, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000237}
238
Eric Christophera27220f2014-03-05 22:41:20 +0000239/// addLocationList - Add a Dwarf loclistptr attribute data and value.
240///
241void DwarfUnit::addLocationList(DIE *Die, dwarf::Attribute Attribute,
242 unsigned Index) {
243 DIEValue *Value = new (DIEValueAllocator) DIELocList(Index);
244 dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
245 : dwarf::DW_FORM_data4;
246 Die->addValue(Attribute, Form, Value);
247}
248
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000249/// addLabel - Add a Dwarf label attribute data and value.
250///
Eric Christophera5a79422013-12-09 23:32:48 +0000251void DwarfUnit::addLabel(DIE *Die, dwarf::Attribute Attribute, dwarf::Form Form,
252 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000253 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
254 Die->addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000255}
256
Eric Christopher4a741042014-02-16 08:46:55 +0000257void DwarfUnit::addLabel(DIELoc *Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000258 addLabel(Die, (dwarf::Attribute)0, Form, Label);
259}
260
Eric Christopher33ff6972013-11-21 23:46:41 +0000261/// addSectionLabel - Add a Dwarf section label attribute data and value.
262///
Eric Christophera5a79422013-12-09 23:32:48 +0000263void DwarfUnit::addSectionLabel(DIE *Die, dwarf::Attribute Attribute,
264 const MCSymbol *Label) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000265 if (DD->getDwarfVersion() >= 4)
266 addLabel(Die, Attribute, dwarf::DW_FORM_sec_offset, Label);
267 else
268 addLabel(Die, Attribute, dwarf::DW_FORM_data4, Label);
269}
270
271/// addSectionOffset - Add an offset into a section attribute data and value.
272///
Eric Christophera5a79422013-12-09 23:32:48 +0000273void DwarfUnit::addSectionOffset(DIE *Die, dwarf::Attribute Attribute,
274 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000275 if (DD->getDwarfVersion() >= 4)
276 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
277 else
278 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
279}
280
Eric Christopher962c9082013-01-15 23:56:56 +0000281/// addLabelAddress - Add a dwarf label attribute data and value using
282/// DW_FORM_addr or DW_FORM_GNU_addr_index.
283///
Eric Christopher4287a492013-12-09 23:57:44 +0000284void DwarfCompileUnit::addLabelAddress(DIE *Die, dwarf::Attribute Attribute,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000285 const MCSymbol *Label) {
286
287 if (!DD->useSplitDwarf())
288 return addLocalLabelAddress(Die, Attribute, Label);
289
Alexey Samsonov4436bf02013-10-03 08:54:43 +0000290 if (Label)
291 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton21101b32013-09-19 23:21:01 +0000292
Eric Christopher384f3fe2014-03-20 19:16:16 +0000293 unsigned idx = DU->getAddrPoolIndex(Label);
294 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
295 Die->addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
296}
297
298void DwarfCompileUnit::addLocalLabelAddress(DIE *Die,
299 dwarf::Attribute Attribute,
300 const MCSymbol *Label) {
301 if (Label)
302 DD->addArangeLabel(SymbolCU(this, Label));
303
304 if (Label) {
305 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
306 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
Eric Christopher962c9082013-01-15 23:56:56 +0000307 } else {
Eric Christopher384f3fe2014-03-20 19:16:16 +0000308 DIEValue *Value = new (DIEValueAllocator) DIEInteger(0);
309 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
Eric Christopher962c9082013-01-15 23:56:56 +0000310 }
311}
312
David Blaikie0e8d4012014-03-17 23:53:25 +0000313unsigned DwarfCompileUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
314 // If we print assembly, we can't separate .file entries according to
315 // compile units. Thus all files will belong to the default compile unit.
316
317 // FIXME: add a better feature test than hasRawTextSupport. Even better,
318 // extend .file to support this.
319 return Asm->OutStreamer.EmitDwarfFileDirective(
320 0, DirName, FileName,
321 Asm->OutStreamer.hasRawTextSupport() ? 0 : getUniqueID());
322}
323
David Blaikie4a2f95f2014-03-18 01:17:26 +0000324unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
325 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
326 : getCU().getOrCreateSourceID(FileName, DirName);
327}
328
Eric Christophere9ec2452013-01-18 22:11:33 +0000329/// addOpAddress - Add a dwarf op address data and value using the
330/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
331///
Eric Christopher4a741042014-02-16 08:46:55 +0000332void DwarfUnit::addOpAddress(DIELoc *Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000333 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000334 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
335 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000336 } else {
David Blaikief2443192013-10-21 17:28:37 +0000337 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
338 addUInt(Die, dwarf::DW_FORM_GNU_addr_index, DU->getAddrPoolIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000339 }
340}
341
Eric Christopher33ff6972013-11-21 23:46:41 +0000342/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000343///
Eric Christophera5a79422013-12-09 23:32:48 +0000344void DwarfUnit::addSectionDelta(DIE *Die, dwarf::Attribute Attribute,
345 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000346 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Eric Christopher33ff6972013-11-21 23:46:41 +0000347 if (DD->getDwarfVersion() >= 4)
348 Die->addValue(Attribute, dwarf::DW_FORM_sec_offset, Value);
349 else
350 Die->addValue(Attribute, dwarf::DW_FORM_data4, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000351}
352
David Blaikie48b1bdc2014-03-07 01:30:55 +0000353void DwarfUnit::addLabelDelta(DIE *Die, dwarf::Attribute Attribute,
354 const MCSymbol *Hi, const MCSymbol *Lo) {
355 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
356 Die->addValue(Attribute, dwarf::DW_FORM_data4, Value);
357}
358
Devang Patel0e821f42011-04-12 23:21:44 +0000359/// addDIEEntry - Add a DIE attribute data and value.
360///
Eric Christophera5a79422013-12-09 23:32:48 +0000361void DwarfUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute, DIE *Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000362 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
363}
364
David Blaikie47f615e2013-12-17 23:32:35 +0000365void DwarfUnit::addDIETypeSignature(DIE *Die, const DwarfTypeUnit &Type) {
366 Die->addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
367 new (DIEValueAllocator) DIETypeSignature(Type));
368}
369
Eric Christophera5a79422013-12-09 23:32:48 +0000370void DwarfUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute,
371 DIEEntry *Entry) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000372 const DIE *DieCU = Die->getUnitOrNull();
373 const DIE *EntryCU = Entry->getEntry()->getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000374 if (!DieCU)
375 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikie2a80e442013-12-02 22:09:48 +0000376 DieCU = getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000377 if (!EntryCU)
David Blaikie2a80e442013-12-02 22:09:48 +0000378 EntryCU = getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000379 Die->addValue(Attribute, EntryCU == DieCU ? dwarf::DW_FORM_ref4
380 : dwarf::DW_FORM_ref_addr,
381 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000382}
383
Manman Renb987e512013-10-29 00:53:03 +0000384/// Create a DIE with the given Tag, add the DIE to its parent, and
385/// call insertDIE if MD is not null.
Eric Christophera5a79422013-12-09 23:32:48 +0000386DIE *DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000387 assert(Tag != dwarf::DW_TAG_auto_variable &&
388 Tag != dwarf::DW_TAG_arg_variable);
389 DIE *Die = new DIE((dwarf::Tag)Tag);
Manman Renb987e512013-10-29 00:53:03 +0000390 Parent.addChild(Die);
David Blaikie52c50202013-11-16 00:29:01 +0000391 if (N)
392 insertDIE(N, Die);
Manman Renb987e512013-10-29 00:53:03 +0000393 return Die;
394}
395
Devang Patel0e821f42011-04-12 23:21:44 +0000396/// addBlock - Add block data.
397///
Eric Christopher4a741042014-02-16 08:46:55 +0000398void DwarfUnit::addBlock(DIE *Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000399 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000400 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
401 Die->addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
402}
403
Eric Christophera5a79422013-12-09 23:32:48 +0000404void DwarfUnit::addBlock(DIE *Die, dwarf::Attribute Attribute,
405 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000406 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000407 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
408 Die->addValue(Attribute, Block->BestForm(), Block);
409}
410
411/// addSourceLine - Add location information to specified debug information
412/// entry.
David Blaikie101613e2014-02-12 00:11:25 +0000413void DwarfUnit::addSourceLine(DIE *Die, unsigned Line, StringRef File,
414 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000415 if (Line == 0)
416 return;
David Blaikie101613e2014-02-12 00:11:25 +0000417
David Blaikie4a2f95f2014-03-18 01:17:26 +0000418 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000419 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000420 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
421 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000422}
423
424/// addSourceLine - Add location information to specified debug information
425/// entry.
David Blaikie101613e2014-02-12 00:11:25 +0000426void DwarfUnit::addSourceLine(DIE *Die, DIVariable V) {
427 assert(V.isVariable());
428
Eric Christopher89a575c2014-02-12 22:38:04 +0000429 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
430 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000431}
432
433/// addSourceLine - Add location information to specified debug information
434/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000435void DwarfUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000436 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000437
David Blaikie101613e2014-02-12 00:11:25 +0000438 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000439}
440
441/// addSourceLine - Add location information to specified debug information
442/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000443void DwarfUnit::addSourceLine(DIE *Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000444 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000445
David Blaikie101613e2014-02-12 00:11:25 +0000446 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000447}
448
449/// addSourceLine - Add location information to specified debug information
450/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000451void DwarfUnit::addSourceLine(DIE *Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000452 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000453
David Blaikie101613e2014-02-12 00:11:25 +0000454 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000455}
456
457/// addSourceLine - Add location information to specified debug information
458/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000459void DwarfUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000460 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000461
Eric Christopher70e1bd82012-03-29 08:42:56 +0000462 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000463 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
464 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000465}
466
467/// addSourceLine - Add location information to specified debug information
468/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000469void DwarfUnit::addSourceLine(DIE *Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000470 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000471
David Blaikie101613e2014-02-12 00:11:25 +0000472 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000473}
474
Eric Christopher92331fd2012-11-21 00:34:38 +0000475/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000476/// DbgVariable based on provided MachineLocation.
Eric Christophera5a79422013-12-09 23:32:48 +0000477void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
478 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000479 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000480 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000481 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000482 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
483 else
David Blaikieea2605d2013-06-20 00:25:24 +0000484 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000485 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000486}
487
Devang Patelba5fbf12011-04-26 19:06:18 +0000488/// addRegisterOp - Add register operand.
Eric Christopher4a741042014-02-16 08:46:55 +0000489void DwarfUnit::addRegisterOp(DIELoc *TheDie, unsigned Reg) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000490 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000491 int DWReg = RI->getDwarfRegNum(Reg, false);
492 bool isSubRegister = DWReg < 0;
493
494 unsigned Idx = 0;
495
496 // Go up the super-register chain until we hit a valid dwarf register number.
497 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
498 DWReg = RI->getDwarfRegNum(*SR, false);
499 if (DWReg >= 0)
500 Idx = RI->getSubRegIndex(*SR, Reg);
501 }
502
503 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000504 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000505 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
506 return;
507 }
508
509 // Emit register
Devang Patelba5fbf12011-04-26 19:06:18 +0000510 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000511 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000512 else {
David Blaikief2443192013-10-21 17:28:37 +0000513 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
514 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000515 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000516
517 // Emit Mask
518 if (isSubRegister) {
519 unsigned Size = RI->getSubRegIdxSize(Idx);
520 unsigned Offset = RI->getSubRegIdxOffset(Idx);
521 if (Offset > 0) {
522 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
523 addUInt(TheDie, dwarf::DW_FORM_data1, Size);
524 addUInt(TheDie, dwarf::DW_FORM_data1, Offset);
525 } else {
Adrian Prantl7199fd52014-02-12 19:34:44 +0000526 unsigned ByteSize = Size / 8; // Assuming 8 bits per byte.
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000527 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantl7199fd52014-02-12 19:34:44 +0000528 addUInt(TheDie, dwarf::DW_FORM_data1, ByteSize);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000529 }
530 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000531}
532
533/// addRegisterOffset - Add register offset.
Eric Christopher4a741042014-02-16 08:46:55 +0000534void DwarfUnit::addRegisterOffset(DIELoc *TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000535 int64_t Offset) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000536 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
537 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
538 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
539 if (Reg == TRI->getFrameRegister(*Asm->MF))
540 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000541 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000542 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000543 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000544 else {
David Blaikief2443192013-10-21 17:28:37 +0000545 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
546 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000547 }
David Blaikief2443192013-10-21 17:28:37 +0000548 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000549}
550
551/// addAddress - Add an address attribute to a die based on the location
552/// provided.
Eric Christophera5a79422013-12-09 23:32:48 +0000553void DwarfUnit::addAddress(DIE *Die, dwarf::Attribute Attribute,
554 const MachineLocation &Location, bool Indirect) {
Eric Christopher4a741042014-02-16 08:46:55 +0000555 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patelba5fbf12011-04-26 19:06:18 +0000556
David Blaikieea2605d2013-06-20 00:25:24 +0000557 if (Location.isReg() && !Indirect)
Eric Christopher4a741042014-02-16 08:46:55 +0000558 addRegisterOp(Loc, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000559 else {
Eric Christopher4a741042014-02-16 08:46:55 +0000560 addRegisterOffset(Loc, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000561 if (Indirect && !Location.isReg()) {
Eric Christopher4a741042014-02-16 08:46:55 +0000562 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000563 }
564 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000565
566 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000567 addBlock(Die, Attribute, Loc);
Devang Patelba5fbf12011-04-26 19:06:18 +0000568}
569
Devang Patel0e821f42011-04-12 23:21:44 +0000570/// addComplexAddress - Start with the address based on the location provided,
571/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000572/// given the extra address information encoded in the DbgVariable, starting
573/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000574///
Eric Christophera5a79422013-12-09 23:32:48 +0000575void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
576 dwarf::Attribute Attribute,
577 const MachineLocation &Location) {
Eric Christopher4a741042014-02-16 08:46:55 +0000578 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000579 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000580 unsigned i = 0;
581 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000582 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000583 // If first address element is OpPlus then emit
584 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopher4a741042014-02-16 08:46:55 +0000585 addRegisterOffset(Loc, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000586 i = 2;
587 } else
Eric Christopher4a741042014-02-16 08:46:55 +0000588 addRegisterOp(Loc, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000589 } else
Eric Christopher4a741042014-02-16 08:46:55 +0000590 addRegisterOffset(Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000591
Eric Christopherc2697f82013-10-19 01:04:47 +0000592 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000593 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000594 if (Element == DIBuilder::OpPlus) {
Eric Christopher4a741042014-02-16 08:46:55 +0000595 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
596 addUInt(Loc, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel0e821f42011-04-12 23:21:44 +0000597 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000598 if (!Location.isReg())
Eric Christopher4a741042014-02-16 08:46:55 +0000599 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Eric Christopherc2697f82013-10-19 01:04:47 +0000600 } else
601 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000602 }
603
604 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000605 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000606}
607
608/* Byref variables, in Blocks, are declared by the programmer as "SomeType
609 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
610 gives the variable VarName either the struct, or a pointer to the struct, as
611 its type. This is necessary for various behind-the-scenes things the
612 compiler needs to do with by-reference variables in Blocks.
613
614 However, as far as the original *programmer* is concerned, the variable
615 should still have type 'SomeType', as originally declared.
616
617 The function getBlockByrefType dives into the __Block_byref_x_VarName
618 struct to find the original type of the variable, which is then assigned to
619 the variable's Debug Information Entry as its real type. So far, so good.
620 However now the debugger will expect the variable VarName to have the type
621 SomeType. So we need the location attribute for the variable to be an
622 expression that explains to the debugger how to navigate through the
623 pointers and struct to find the actual variable of type SomeType.
624
625 The following function does just that. We start by getting
626 the "normal" location for the variable. This will be the location
627 of either the struct __Block_byref_x_VarName or the pointer to the
628 struct __Block_byref_x_VarName.
629
630 The struct will look something like:
631
632 struct __Block_byref_x_VarName {
633 ... <various fields>
634 struct __Block_byref_x_VarName *forwarding;
635 ... <various other fields>
636 SomeType VarName;
637 ... <maybe more fields>
638 };
639
640 If we are given the struct directly (as our starting point) we
641 need to tell the debugger to:
642
643 1). Add the offset of the forwarding field.
644
645 2). Follow that pointer to get the real __Block_byref_x_VarName
646 struct to use (the real one may have been copied onto the heap).
647
648 3). Add the offset for the field VarName, to find the actual variable.
649
650 If we started with a pointer to the struct, then we need to
651 dereference that pointer first, before the other steps.
652 Translating this into DWARF ops, we will need to append the following
653 to the current location description for the variable:
654
655 DW_OP_deref -- optional, if we start with a pointer
656 DW_OP_plus_uconst <forward_fld_offset>
657 DW_OP_deref
658 DW_OP_plus_uconst <varName_fld_offset>
659
660 That is what this function does. */
661
662/// addBlockByrefAddress - Start with the address based on the location
663/// provided, and generate the DWARF information necessary to find the
664/// actual Block variable (navigating the Block struct) based on the
665/// starting location. Add the DWARF information to the die. For
666/// more information, read large comment just above here.
667///
Eric Christophera5a79422013-12-09 23:32:48 +0000668void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
669 dwarf::Attribute Attribute,
670 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000671 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000672 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000673 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000674 bool isPointer = false;
675
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000676 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000677
678 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000679 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000680 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000681 isPointer = true;
682 }
683
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000684 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000685
686 // Find the __forwarding field and the variable field in the __Block_byref
687 // struct.
688 DIArray Fields = blockStruct.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000689 DIDerivedType varField;
690 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000691
692 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000693 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000694 StringRef fieldName = DT.getName();
695 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000696 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000697 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000698 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000699 }
700
701 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000702 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
703 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000704
705 // Decode the original location, and use that as the start of the byref
706 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000707 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000708
Eric Christopheref9d7102012-07-04 02:02:18 +0000709 if (Location.isReg())
Eric Christopher4a741042014-02-16 08:46:55 +0000710 addRegisterOp(Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000711 else
Eric Christopher4a741042014-02-16 08:46:55 +0000712 addRegisterOffset(Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000713
714 // If we started with a pointer to the __Block_byref... struct, then
715 // the first thing we need to do is dereference the pointer (DW_OP_deref).
716 if (isPointer)
Eric Christopher4a741042014-02-16 08:46:55 +0000717 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000718
719 // Next add the offset for the '__forwarding' field:
720 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
721 // adding the offset if it's 0.
722 if (forwardingFieldOffset > 0) {
Eric Christopher4a741042014-02-16 08:46:55 +0000723 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
724 addUInt(Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000725 }
726
727 // Now dereference the __forwarding field to get to the real __Block_byref
728 // struct: DW_OP_deref.
Eric Christopher4a741042014-02-16 08:46:55 +0000729 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000730
731 // Now that we've got the real __Block_byref... struct, add the offset
732 // for the variable's field to get to the location of the actual variable:
733 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
734 if (varFieldOffset > 0) {
Eric Christopher4a741042014-02-16 08:46:55 +0000735 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
736 addUInt(Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000737 }
738
739 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000740 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000741}
742
Devang Patelbcd50a12011-07-20 21:57:04 +0000743/// isTypeSigned - Return true if the type is signed.
Manman Renb3388602013-10-05 01:43:03 +0000744static bool isTypeSigned(DwarfDebug *DD, DIType Ty, int *SizeInBits) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000745 if (Ty.isDerivedType())
Manman Renb3388602013-10-05 01:43:03 +0000746 return isTypeSigned(DD, DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()),
747 SizeInBits);
Devang Patelbcd50a12011-07-20 21:57:04 +0000748 if (Ty.isBasicType())
Eric Christopherc2697f82013-10-19 01:04:47 +0000749 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed ||
750 DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000751 *SizeInBits = Ty.getSizeInBits();
752 return true;
753 }
754 return false;
755}
756
Manman Renb3388602013-10-05 01:43:03 +0000757/// Return true if type encoding is unsigned.
758static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
759 DIDerivedType DTy(Ty);
760 if (DTy.isDerivedType())
761 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
762
763 DIBasicType BTy(Ty);
764 if (BTy.isBasicType()) {
765 unsigned Encoding = BTy.getEncoding();
766 if (Encoding == dwarf::DW_ATE_unsigned ||
767 Encoding == dwarf::DW_ATE_unsigned_char ||
768 Encoding == dwarf::DW_ATE_boolean)
769 return true;
770 }
771 return false;
772}
773
774/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000775static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000776 unsigned Tag = Ty.getTag();
777
778 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
779 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
780 Tag != dwarf::DW_TAG_restrict_type)
781 return Ty.getSizeInBits();
782
783 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
784
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000785 // If this type is not derived from any type or the type is a declaration then
786 // take conservative approach.
787 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000788 return Ty.getSizeInBits();
789
790 // If this is a derived type, go ahead and get the base type, unless it's a
791 // reference then it's just the size of the field. Pointer types have no need
792 // of this since they're a different type of qualification on the type.
793 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
794 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
795 return Ty.getSizeInBits();
796
797 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000798 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000799
800 return BaseType.getSizeInBits();
801}
802
Devang Patel0e821f42011-04-12 23:21:44 +0000803/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000804void DwarfUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
805 DIType Ty) {
David Blaikiea1e813d2013-05-10 21:52:07 +0000806 // FIXME: This is a bit conservative/simple - it emits negative values at
807 // their maximum bit width which is a bit unfortunate (& doesn't prefer
808 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000809 assert(MO.isImm() && "Invalid machine operand!");
Devang Patelbcd50a12011-07-20 21:57:04 +0000810 int SizeInBits = -1;
Manman Renb3388602013-10-05 01:43:03 +0000811 bool SignedConstant = isTypeSigned(DD, Ty, &SizeInBits);
David Blaikief2443192013-10-21 17:28:37 +0000812 dwarf::Form Form;
Devang Patelf1d04702011-05-27 18:15:52 +0000813
Eric Christopher9d1daa82013-08-27 23:49:04 +0000814 // If we're a signed constant definitely use sdata.
815 if (SignedConstant) {
816 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
817 return;
818 }
819
820 // Else use data for now unless it's larger than we can deal with.
821 switch (SizeInBits) {
822 case 8:
823 Form = dwarf::DW_FORM_data1;
824 break;
825 case 16:
826 Form = dwarf::DW_FORM_data2;
827 break;
828 case 32:
829 Form = dwarf::DW_FORM_data4;
830 break;
831 case 64:
832 Form = dwarf::DW_FORM_data8;
833 break;
834 default:
835 Form = dwarf::DW_FORM_udata;
836 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
837 return;
838 }
839 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel0e821f42011-04-12 23:21:44 +0000840}
841
842/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000843void DwarfUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000844 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000845 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
846 APFloat FPImm = MO.getFPImm()->getValueAPF();
847
848 // Get the raw data form of the floating point.
849 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000850 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000851
852 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000853 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000854 int Incr = (LittleEndian ? 1 : -1);
855 int Start = (LittleEndian ? 0 : NumBytes - 1);
856 int Stop = (LittleEndian ? NumBytes : -1);
857
858 // Output the constant to DWARF one byte at a time.
859 for (; Start != Stop; Start += Incr)
Eric Christopher98b7f172013-11-11 18:52:36 +0000860 addUInt(Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000861
David Blaikief2443192013-10-21 17:28:37 +0000862 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000863}
864
David Blaikiea39a76e2013-01-20 01:18:01 +0000865/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000866void DwarfUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000867 // Pass this down to addConstantValue as an unsigned bag of bits.
868 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000869}
870
Devang Patel0e821f42011-04-12 23:21:44 +0000871/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000872void DwarfUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
873 bool Unsigned) {
Eric Christopher78fcf4902013-07-03 01:08:30 +0000874 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikiea39a76e2013-01-20 01:18:01 +0000875}
876
877// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000878void DwarfUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000879 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000880 if (CIBitWidth <= 64) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000881 // If we're a signed constant definitely use sdata.
882 if (!Unsigned) {
883 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
884 Val.getSExtValue());
885 return;
Devang Patel8816bbc2011-05-28 00:39:18 +0000886 }
Eric Christopher9d1daa82013-08-27 23:49:04 +0000887
888 // Else use data for now unless it's larger than we can deal with.
David Blaikief2443192013-10-21 17:28:37 +0000889 dwarf::Form Form;
Eric Christopher9d1daa82013-08-27 23:49:04 +0000890 switch (CIBitWidth) {
891 case 8:
892 Form = dwarf::DW_FORM_data1;
893 break;
894 case 16:
895 Form = dwarf::DW_FORM_data2;
896 break;
897 case 32:
898 Form = dwarf::DW_FORM_data4;
899 break;
900 case 64:
901 Form = dwarf::DW_FORM_data8;
902 break;
903 default:
904 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
905 Val.getZExtValue());
906 return;
907 }
908 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000909 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000910 }
911
912 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
913
914 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000915 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000916
917 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000918 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000919
920 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000921 for (int i = 0; i < NumBytes; i++) {
922 uint8_t c;
923 if (LittleEndian)
924 c = Ptr64[i / 8] >> (8 * (i & 7));
925 else
926 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikief2443192013-10-21 17:28:37 +0000927 addUInt(Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000928 }
Devang Patel0e821f42011-04-12 23:21:44 +0000929
David Blaikief2443192013-10-21 17:28:37 +0000930 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000931}
932
Eric Christopher25e35092013-04-22 07:47:40 +0000933/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000934void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000935 // Add template parameters.
936 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
937 DIDescriptor Element = TParams.getElement(i);
938 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000939 constructTemplateTypeParameterDIE(Buffer,
940 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000941 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000942 constructTemplateValueParameterDIE(Buffer,
943 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000944 }
Devang Patel0e821f42011-04-12 23:21:44 +0000945}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000946
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000947/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000948DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000949 if (!Context || Context.isFile())
David Blaikie2a80e442013-12-02 22:09:48 +0000950 return getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000951 if (Context.isType())
952 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000953 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000954 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000955 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000956 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000957 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000958}
959
Eric Christophera5a79422013-12-09 23:32:48 +0000960DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000961 DIScope Context = resolve(Ty.getContext());
962 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000963
964 DIE *TyDIE = getDIE(Ty);
965 if (TyDIE)
966 return TyDIE;
967
968 // Create new type.
969 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
970
David Blaikiefbd29eb2013-11-26 00:35:04 +0000971 constructTypeDIE(*TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000972
David Blaikie9d861be2013-11-26 00:15:27 +0000973 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie409dd9c2013-11-19 23:08:21 +0000974 return TyDIE;
975}
976
Devang Patel0e821f42011-04-12 23:21:44 +0000977/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
978/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000979DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000980 if (!TyNode)
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000981 return NULL;
Manman Renf4c339e2013-10-29 22:49:29 +0000982
David Blaikie32887552013-11-14 22:25:02 +0000983 DIType Ty(TyNode);
984 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000985 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000986 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000987
Manman Renf4c339e2013-10-29 22:49:29 +0000988 // Construct the context before querying for the existence of the DIE in case
989 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000990 DIScope Context = resolve(Ty.getContext());
991 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000992 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000993
Eric Christophere595bae2013-10-04 17:08:38 +0000994 DIE *TyDIE = getDIE(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000995 if (TyDIE)
996 return TyDIE;
997
998 // Create new type.
Manman Renf4c339e2013-10-29 22:49:29 +0000999 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
1000
David Blaikiec3d9e9e2014-03-06 01:42:00 +00001001 updateAcceleratorTables(Context, Ty, TyDIE);
1002
Devang Patel0e821f42011-04-12 23:21:44 +00001003 if (Ty.isBasicType())
1004 constructTypeDIE(*TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +00001005 else if (Ty.isCompositeType()) {
1006 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +00001007 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
1008 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +00001009 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +00001010 // Skip updating the accelerator tables since this is not the full type.
David Blaikiecfb21152014-01-03 18:59:42 +00001011 return TyDIE;
1012 }
David Blaikiefbd29eb2013-11-26 00:35:04 +00001013 constructTypeDIE(*TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +00001014 } else {
Devang Patel0e821f42011-04-12 23:21:44 +00001015 assert(Ty.isDerivedType() && "Unknown kind of DIType");
1016 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
1017 }
David Blaikie2ea848b2013-11-19 22:51:04 +00001018
David Blaikie2ea848b2013-11-19 22:51:04 +00001019 return TyDIE;
1020}
1021
Eric Christophera5a79422013-12-09 23:32:48 +00001022void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
1023 const DIE *TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +00001024 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
1025 bool IsImplementation = 0;
1026 if (Ty.isCompositeType()) {
1027 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001028 // A runtime language of 0 actually means C/C++ and that any
1029 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +00001030 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +00001031 }
Eric Christophercf7289f2013-09-05 18:20:16 +00001032 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001033 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
David Blaikie9d861be2013-11-26 00:15:27 +00001034
David Blaikieadbea1e2014-03-12 03:34:38 +00001035 if ((!Context || Context.isCompileUnit() || Context.isFile() ||
1036 Context.isNameSpace()) &&
1037 getCUNode().getEmissionKind() != DIBuilder::LineTablesOnly)
David Blaikie9d861be2013-11-26 00:15:27 +00001038 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] = TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +00001039 }
Devang Patel0e821f42011-04-12 23:21:44 +00001040}
1041
1042/// addType - Add a new type attribute to the specified entity.
Eric Christophera5a79422013-12-09 23:32:48 +00001043void DwarfUnit::addType(DIE *Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +00001044 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001045
1046 // Check for pre-existence.
1047 DIEEntry *Entry = getDIEEntry(Ty);
1048 // If it exists then use the existing value.
1049 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001050 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001051 return;
1052 }
1053
1054 // Construct type.
1055 DIE *Buffer = getOrCreateTypeDIE(Ty);
1056
1057 // Set up proxy.
1058 Entry = createDIEEntry(Buffer);
1059 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001060 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001061}
1062
Eric Christopher9cd26af2013-09-20 23:22:52 +00001063// Accelerator table mutators - add each name along with its companion
1064// DIE to the proper table while ensuring that the name that we're going
1065// to reference is in the string table. We do this since the names we
1066// add may not only be identical to the names in the DIE.
Eric Christophera5a79422013-12-09 23:32:48 +00001067void DwarfUnit::addAccelName(StringRef Name, const DIE *Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001068 if (!DD->useDwarfAccelTables())
1069 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001070 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001071 std::vector<const DIE *> &DIEs = AccelNames[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001072 DIEs.push_back(Die);
1073}
1074
Eric Christophera5a79422013-12-09 23:32:48 +00001075void DwarfUnit::addAccelObjC(StringRef Name, const DIE *Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001076 if (!DD->useDwarfAccelTables())
1077 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001078 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001079 std::vector<const DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001080 DIEs.push_back(Die);
1081}
1082
Eric Christophera5a79422013-12-09 23:32:48 +00001083void DwarfUnit::addAccelNamespace(StringRef Name, const DIE *Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001084 if (!DD->useDwarfAccelTables())
1085 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001086 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001087 std::vector<const DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001088 DIEs.push_back(Die);
1089}
1090
Eric Christophera5a79422013-12-09 23:32:48 +00001091void DwarfUnit::addAccelType(StringRef Name,
1092 std::pair<const DIE *, unsigned> Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001093 if (!DD->useDwarfAccelTables())
1094 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001095 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001096 std::vector<std::pair<const DIE *, unsigned> > &DIEs = AccelTypes[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001097 DIEs.push_back(Die);
1098}
1099
Eric Christopher9c58f312013-09-20 22:20:55 +00001100/// addGlobalName - Add a new global name to the compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +00001101void DwarfUnit::addGlobalName(StringRef Name, DIE *Die, DIScope Context) {
David Blaikieadbea1e2014-03-12 03:34:38 +00001102 if (getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1103 return;
Eric Christopher8dba0d52013-10-19 01:04:42 +00001104 std::string FullName = getParentContextString(Context) + Name.str();
Eric Christopher2c8b7902013-10-17 02:06:06 +00001105 GlobalNames[FullName] = Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001106}
1107
Eric Christopher2c8b7902013-10-17 02:06:06 +00001108/// getParentContextString - Walks the metadata parent chain in a language
1109/// specific manner (using the compile unit language) and returns
1110/// it as a string. This is done at the metadata level because DIEs may
1111/// not currently have been added to the parent context and walking the
1112/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001113std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001114 if (!Context)
1115 return "";
1116
1117 // FIXME: Decide whether to implement this for non-C++ languages.
1118 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1119 return "";
1120
Eric Christopher8dba0d52013-10-19 01:04:42 +00001121 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001122 SmallVector<DIScope, 1> Parents;
1123 while (!Context.isCompileUnit()) {
1124 Parents.push_back(Context);
1125 if (Context.getContext())
1126 Context = resolve(Context.getContext());
1127 else
1128 // Structure, etc types will have a NULL context if they're at the top
1129 // level.
1130 break;
1131 }
1132
1133 // Reverse iterate over our list to go from the outermost construct to the
1134 // innermost.
1135 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1136 E = Parents.rend();
1137 I != E; ++I) {
1138 DIScope Ctx = *I;
1139 StringRef Name = Ctx.getName();
Eric Christopher8dba0d52013-10-19 01:04:42 +00001140 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001141 CS += Name;
1142 CS += "::";
1143 }
1144 }
1145 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001146}
1147
1148/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001149void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001150 // Get core information.
1151 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001152 // Add name if not anonymous or intermediate type.
1153 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001154 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001155
David Blaikiefac56122013-10-04 23:21:16 +00001156 // An unspecified type only has a name attribute.
1157 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001158 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001159
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001160 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001161 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001162
Devang Patel0e821f42011-04-12 23:21:44 +00001163 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikief2443192013-10-21 17:28:37 +00001164 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001165}
1166
1167/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001168void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001169 // Get core information.
1170 StringRef Name = DTy.getName();
1171 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001172 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001173
1174 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001175 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001176 if (FromTy)
1177 addType(&Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001178
1179 // Add name if not anonymous or intermediate type.
1180 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001181 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001182
1183 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001184 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikief2443192013-10-21 17:28:37 +00001185 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001186
David Blaikie5d3249b2013-01-07 05:51:15 +00001187 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Eric Christopherc2697f82013-10-19 01:04:47 +00001188 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
1189 getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001190 // Add source line info if available and TyDesc is not a forward declaration.
1191 if (!DTy.isForwardDecl())
1192 addSourceLine(&Buffer, DTy);
1193}
1194
Adrian Prantl3f49c892014-02-25 19:57:42 +00001195/// constructSubprogramArguments - Construct function argument DIEs.
1196void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DIArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001197 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1198 DIDescriptor Ty = Args.getElement(i);
1199 if (Ty.isUnspecifiedParameter()) {
1200 assert(i == N-1 && "Unspecified parameter must be the last argument");
1201 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
1202 } else {
1203 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
1204 addType(Arg, DIType(Ty));
1205 if (DIType(Ty).isArtificial())
1206 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001207 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001208 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001209}
1210
Devang Patel0e821f42011-04-12 23:21:44 +00001211/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001212void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001213 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001214 StringRef Name = CTy.getName();
1215
1216 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001217 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001218
1219 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001220 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001221 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001222 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001223 case dwarf::DW_TAG_enumeration_type:
1224 constructEnumTypeDIE(Buffer, CTy);
1225 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001226 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001227 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001228 DIArray Elements = CTy.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001229 DIType RTy(Elements.getElement(0));
Eric Christopher0df08e22013-08-08 07:40:37 +00001230 if (RTy)
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001231 addType(&Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001232
1233 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001234 if (Elements.getNumElements() == 2 &&
1235 Elements.getElement(1).isUnspecifiedParameter())
1236 isPrototyped = false;
1237
1238 constructSubprogramArguments(Buffer, Elements);
1239
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001240 // Add prototype flag if we're dealing with a C language and the
1241 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001242 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001243 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001244 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001245 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001246 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001247
1248 if (CTy.isLValueReference())
1249 addFlag(&Buffer, dwarf::DW_AT_reference);
1250
1251 if (CTy.isRValueReference())
1252 addFlag(&Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001253 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001254 case dwarf::DW_TAG_structure_type:
1255 case dwarf::DW_TAG_union_type:
1256 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001257 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001258 DIArray Elements = CTy.getTypeArray();
1259 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001260 DIDescriptor Element = Elements.getElement(i);
1261 DIE *ElemDie = NULL;
Adrian Prantlef129fb2014-01-18 02:12:00 +00001262 if (Element.isSubprogram())
1263 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
1264 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001265 DIDerivedType DDTy(Element);
1266 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
Manman Renb987e512013-10-29 00:53:03 +00001267 ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001268 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001269 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001270 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001271 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001272 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001273 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001274 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001275 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001276 DIObjCProperty Property(Element);
Manman Renb987e512013-10-29 00:53:03 +00001277 ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001278 StringRef PropertyName = Property.getObjCPropertyName();
1279 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001280 if (Property.getType())
1281 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001282 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001283 StringRef GetterName = Property.getObjCPropertyGetterName();
1284 if (!GetterName.empty())
1285 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1286 StringRef SetterName = Property.getObjCPropertySetterName();
1287 if (!SetterName.empty())
1288 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1289 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001290 if (Property.isReadOnlyObjCProperty())
1291 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1292 if (Property.isReadWriteObjCProperty())
1293 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1294 if (Property.isAssignObjCProperty())
1295 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1296 if (Property.isRetainObjCProperty())
1297 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1298 if (Property.isCopyObjCProperty())
1299 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1300 if (Property.isNonAtomicObjCProperty())
1301 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1302 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001303 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001304 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001305
Devang Pateld925d1a2012-02-07 23:33:58 +00001306 DIEEntry *Entry = getDIEEntry(Element);
1307 if (!Entry) {
1308 Entry = createDIEEntry(ElemDie);
1309 insertDIEEntry(Element, Entry);
1310 }
Devang Patel403e8192012-02-04 01:30:32 +00001311 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001312 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001313 }
1314
1315 if (CTy.isAppleBlockExtension())
Eric Christopherbb69a272012-08-24 01:14:27 +00001316 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001317
Eric Christopher9e429ae2013-10-05 00:27:02 +00001318 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001319 if (ContainingType)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001320 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001321 getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001322
Devang Patel12419ae2011-05-12 21:29:42 +00001323 if (CTy.isObjcClassComplete())
Eric Christopherbb69a272012-08-24 01:14:27 +00001324 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001325
Eric Christopherda011dd2011-12-16 23:42:42 +00001326 // Add template parameters to a class, structure or union types.
1327 // FIXME: The support isn't in the metadata for this yet.
1328 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001329 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001330 addTemplateParams(Buffer, CTy.getTemplateParams());
1331
1332 break;
1333 }
1334 default:
1335 break;
1336 }
1337
1338 // Add name if not anonymous or intermediate type.
1339 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001340 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001341
Eric Christopher775cbd22012-05-22 18:45:18 +00001342 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001343 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001344 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001345 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001346 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001347 if (Size)
David Blaikief2443192013-10-21 17:28:37 +00001348 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001349 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001350 // Add zero size if it is not a forward declaration.
David Blaikief2443192013-10-21 17:28:37 +00001351 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001352
1353 // If we're a forward decl, say so.
1354 if (CTy.isForwardDecl())
Eric Christopherbb69a272012-08-24 01:14:27 +00001355 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001356
1357 // Add source line info if available.
1358 if (!CTy.isForwardDecl())
1359 addSourceLine(&Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001360
1361 // No harm in adding the runtime language to the declaration.
1362 unsigned RLang = CTy.getRunTimeLang();
1363 if (RLang)
Eric Christopherc2697f82013-10-19 01:04:47 +00001364 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
1365 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001366 }
1367}
1368
Manman Renffc9a712013-10-23 23:05:28 +00001369/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1370/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001371void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1372 DITemplateTypeParameter TP) {
Manman Renb987e512013-10-29 00:53:03 +00001373 DIE *ParamDIE =
1374 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001375 // Add the type if it exists, it could be void and therefore no type.
1376 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001377 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001378 if (!TP.getName().empty())
1379 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001380}
1381
Manman Renffc9a712013-10-23 23:05:28 +00001382/// constructTemplateValueParameterDIE - Construct new DIE for the given
1383/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001384void
1385DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001386 DITemplateValueParameter VP) {
Manman Renb987e512013-10-29 00:53:03 +00001387 DIE *ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001388
1389 // Add the type if there is one, template template and template parameter
1390 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001391 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001392 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001393 if (!VP.getName().empty())
1394 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1395 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001396 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Ren88b0f942013-10-09 19:46:28 +00001397 addConstantValue(ParamDIE, CI,
1398 isUnsignedDIType(DD, resolve(VP.getType())));
David Blaikiea1e813d2013-05-10 21:52:07 +00001399 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1400 // For declaration non-type template parameters (such as global values and
1401 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001402 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
1403 addOpAddress(Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001404 // Emit DW_OP_stack_value to use the address as the immediate value of the
1405 // parameter, rather than a pointer to it.
Eric Christopher4a741042014-02-16 08:46:55 +00001406 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1407 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001408 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001409 assert(isa<MDString>(Val));
1410 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1411 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001412 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001413 assert(isa<MDNode>(Val));
1414 DIArray A(cast<MDNode>(Val));
1415 addTemplateParams(*ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001416 }
1417 }
Devang Patel0e821f42011-04-12 23:21:44 +00001418}
1419
Devang Patel17b53272011-05-06 16:57:54 +00001420/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001421DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001422 // Construct the context before querying for the existence of the DIE in case
1423 // such construction creates the DIE.
1424 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001425
Devang Patel17b53272011-05-06 16:57:54 +00001426 DIE *NDie = getDIE(NS);
1427 if (NDie)
1428 return NDie;
Manman Renf6b936b2013-10-29 05:49:41 +00001429 NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
1430
Eric Christopher4996c702011-11-07 09:24:32 +00001431 if (!NS.getName().empty()) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001432 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher4996c702011-11-07 09:24:32 +00001433 addAccelNamespace(NS.getName(), NDie);
Eric Christopher2c8b7902013-10-17 02:06:06 +00001434 addGlobalName(NS.getName(), NDie, NS.getContext());
Eric Christopher4996c702011-11-07 09:24:32 +00001435 } else
1436 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel17b53272011-05-06 16:57:54 +00001437 addSourceLine(NDie, NS);
Devang Patel17b53272011-05-06 16:57:54 +00001438 return NDie;
1439}
1440
Devang Patel89543712011-08-15 17:24:54 +00001441/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001442DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001443 // Construct the context before querying for the existence of the DIE in case
1444 // such construction creates the DIE (as is the case for member function
1445 // declarations).
Adrian Prantld1e6a4e2014-03-14 23:08:25 +00001446 DIScope Context = resolve(SP.getContext());
1447 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantld486b342014-03-18 17:41:15 +00001448
Adrian Prantld1e6a4e2014-03-14 23:08:25 +00001449 // Unique declarations based on the ODR, where applicable.
Adrian Prantld486b342014-03-18 17:41:15 +00001450 SP = DISubprogram(DD->resolve(SP.getRef()));
1451 assert(SP.Verify());
David Blaikie309ffe42013-10-04 01:39:59 +00001452
Eric Christophere595bae2013-10-04 17:08:38 +00001453 DIE *SPDie = getDIE(SP);
Devang Patel89543712011-08-15 17:24:54 +00001454 if (SPDie)
1455 return SPDie;
1456
Manman Ren73d697c2013-10-29 00:58:04 +00001457 DISubprogram SPDecl = SP.getFunctionDeclaration();
1458 if (SPDecl.isSubprogram())
1459 // Add subprogram definitions to the CU die directly.
David Blaikie2a80e442013-12-02 22:09:48 +00001460 ContextDIE = UnitDie.get();
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001461
1462 // DW_TAG_inlined_subroutine may refer to this DIE.
Manman Ren73d697c2013-10-29 00:58:04 +00001463 SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001464
Rafael Espindola79278362011-11-10 22:34:29 +00001465 DIE *DeclDie = NULL;
Manman Renb9512a72013-10-23 22:12:26 +00001466 if (SPDecl.isSubprogram())
Rafael Espindola79278362011-11-10 22:34:29 +00001467 DeclDie = getOrCreateSubprogramDIE(SPDecl);
Rafael Espindola79278362011-11-10 22:34:29 +00001468
Devang Patel89543712011-08-15 17:24:54 +00001469 // Add function template parameters.
1470 addTemplateParams(*SPDie, SP.getTemplateParams());
1471
Adrian Prantl1f2f3c32014-04-12 01:44:42 +00001472 if (DeclDie)
Rafael Espindola79278362011-11-10 22:34:29 +00001473 // Refer function declaration directly.
Manman Ren4c4b69c2013-10-11 23:58:05 +00001474 addDIEEntry(SPDie, dwarf::DW_AT_specification, DeclDie);
Rafael Espindola79278362011-11-10 22:34:29 +00001475
Adrian Prantl1f2f3c32014-04-12 01:44:42 +00001476 // Add the linkage name if we have one and it isn't in the Decl.
1477 StringRef LinkageName = SP.getLinkageName();
1478 if (!LinkageName.empty()) {
1479 if (SPDecl.isSubprogram() && !SPDecl.getLinkageName().empty())
1480 assert(SPDecl.getLinkageName() == SP.getLinkageName() &&
1481 "decl has a linkage name and it is different");
1482 else
1483 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1484 GlobalValue::getRealLinkageName(LinkageName));
Rafael Espindola79278362011-11-10 22:34:29 +00001485 }
Devang Patel89543712011-08-15 17:24:54 +00001486
Adrian Prantl1f2f3c32014-04-12 01:44:42 +00001487 // If this DIE is going to refer declaration info using AT_specification
1488 // then there is no need to add other attributes.
1489 if (DeclDie)
1490 return SPDie;
Eric Christopheracb71152012-08-23 22:52:55 +00001491
Devang Patel89543712011-08-15 17:24:54 +00001492 // Constructors and operators for anonymous aggregates do not have names.
1493 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001494 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001495
1496 addSourceLine(SPDie, SP);
1497
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001498 // Add the prototype if we have a prototype and we have a C like
1499 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001500 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001501 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001502 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001503 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001504 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001505
Devang Patel89543712011-08-15 17:24:54 +00001506 DICompositeType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001507 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1508 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001509
David Blaikie5174c842013-05-22 23:22:18 +00001510 DIArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001511 // Add a return type. If this is a type like a C/C++ void type we don't add a
1512 // return type.
Eric Christopher0df08e22013-08-08 07:40:37 +00001513 if (Args.getElement(0))
1514 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel89543712011-08-15 17:24:54 +00001515
1516 unsigned VK = SP.getVirtuality();
1517 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001518 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001519 DIELoc *Block = getDIELoc();
David Blaikief2443192013-10-21 17:28:37 +00001520 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1521 addUInt(Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1522 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001523 ContainingTypeMap.insert(
1524 std::make_pair(SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001525 }
1526
1527 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001528 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001529
Devang Patel89543712011-08-15 17:24:54 +00001530 // Add arguments. Do not add arguments for subprogram definition. They will
1531 // be handled while processing variables.
Adrian Prantl3f49c892014-02-25 19:57:42 +00001532 constructSubprogramArguments(*SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001533 }
1534
1535 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001536 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001537
1538 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001539 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001540
1541 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001542 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001543
1544 if (unsigned isa = Asm->getISAEncoding()) {
1545 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1546 }
1547
Adrian Prantl99c7af22013-12-18 21:48:19 +00001548 if (SP.isLValueReference())
1549 addFlag(SPDie, dwarf::DW_AT_reference);
1550
1551 if (SP.isRValueReference())
1552 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1553
Adrian Prantlef129fb2014-01-18 02:12:00 +00001554 if (SP.isProtected())
1555 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1556 dwarf::DW_ACCESS_protected);
1557 else if (SP.isPrivate())
1558 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1559 dwarf::DW_ACCESS_private);
1560 else
1561 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1562 dwarf::DW_ACCESS_public);
1563
1564 if (SP.isExplicit())
1565 addFlag(SPDie, dwarf::DW_AT_explicit);
1566
Devang Patel89543712011-08-15 17:24:54 +00001567 return SPDie;
1568}
1569
Devang Pateldfd6ec32011-08-15 17:57:41 +00001570// Return const expression if value is a GEP to access merged global
1571// constant. e.g.
1572// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1573static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1574 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1575 if (!CE || CE->getNumOperands() != 3 ||
1576 CE->getOpcode() != Instruction::GetElementPtr)
1577 return NULL;
1578
1579 // First operand points to a global struct.
1580 Value *Ptr = CE->getOperand(0);
1581 if (!isa<GlobalValue>(Ptr) ||
1582 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1583 return NULL;
1584
1585 // Second operand is zero.
1586 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1587 if (!CI || !CI->isZero())
1588 return NULL;
1589
1590 // Third operand is offset.
1591 if (!isa<ConstantInt>(CE->getOperand(2)))
1592 return NULL;
1593
1594 return CE;
1595}
1596
1597/// createGlobalVariableDIE - create global variable DIE.
Eric Christopher4287a492013-12-09 23:57:44 +00001598void DwarfCompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001599 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001600 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001601 return;
1602
David Blaikie5e390e42014-02-04 01:23:52 +00001603 assert(GV.isGlobalVariable());
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001604
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001605 DIScope GVContext = GV.getContext();
Adrian Prantl1a1647c2014-03-18 02:34:58 +00001606 DIType GTy = DD->resolve(GV.getType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001607
1608 // If this is a static data member definition, some attributes belong
1609 // to the declaration DIE.
1610 DIE *VariableDIE = NULL;
Manman Rene697d3c2013-02-01 23:54:37 +00001611 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001612 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1613 if (SDMDecl.Verify()) {
1614 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1615 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001616 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001617 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001618 }
1619
1620 // If this is not a static data member definition, create the variable
1621 // DIE and add the initial set of attributes to it.
1622 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001623 // Construct the context before querying for the existence of the DIE in
1624 // case such construction creates the DIE.
1625 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001626
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001627 // Add to map.
David Blaikie52c50202013-11-16 00:29:01 +00001628 VariableDIE = createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001629
1630 // Add name and type.
1631 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1632 addType(VariableDIE, GTy);
1633
1634 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001635 if (!GV.isLocalToUnit())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001636 addFlag(VariableDIE, dwarf::DW_AT_external);
1637
1638 // Add line number info.
1639 addSourceLine(VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001640 }
1641
Devang Pateldfd6ec32011-08-15 17:57:41 +00001642 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001643 bool addToAccelTable = false;
Eric Christopher0a917b72011-11-11 03:16:32 +00001644 DIE *VariableSpecDIE = NULL;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001645 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001646 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001647 addToAccelTable = true;
Eric Christopher4a741042014-02-16 08:46:55 +00001648 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001649 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001650 if (GV.getGlobal()->isThreadLocal()) {
1651 // FIXME: Make this work with -gsplit-dwarf.
1652 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1653 assert((PointerSize == 4 || PointerSize == 8) &&
1654 "Add support for other sizes if necessary");
1655 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001656 if (!DD->useSplitDwarf()) {
1657 // 1) Start with a constNu of the appropriate pointer size
Eric Christopher4a741042014-02-16 08:46:55 +00001658 addUInt(Loc, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001659 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001660 // 2) containing the (relocated) offset of the TLS variable
1661 // within the module's TLS block.
Eric Christopher4a741042014-02-16 08:46:55 +00001662 addExpr(Loc, dwarf::DW_FORM_udata,
David Blaikief1a6dea2014-02-15 19:34:03 +00001663 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym));
David Blaikie8466ca82013-07-01 23:55:52 +00001664 } else {
Eric Christopher4a741042014-02-16 08:46:55 +00001665 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1666 addUInt(Loc, dwarf::DW_FORM_udata,
David Blaikief1a6dea2014-02-15 19:34:03 +00001667 DU->getAddrPoolIndex(Sym, /* TLS */ true));
David Blaikie8466ca82013-07-01 23:55:52 +00001668 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001669 // 3) followed by a custom OP to make the debugger do a TLS lookup.
Eric Christopher4a741042014-02-16 08:46:55 +00001670 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001671 } else {
1672 DD->addArangeLabel(SymbolCU(this, Sym));
Eric Christopher4a741042014-02-16 08:46:55 +00001673 addOpAddress(Loc, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001674 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001675 // Do not create specification DIE if context is either compile unit
1676 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001677 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001678 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001679 // Create specification DIE.
David Blaikie2a80e442013-12-02 22:09:48 +00001680 VariableSpecDIE = createAndAddDIE(dwarf::DW_TAG_variable, *UnitDie);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001681 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification, VariableDIE);
Eric Christopher4a741042014-02-16 08:46:55 +00001682 addBlock(VariableSpecDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001683 // A static member's declaration is already flagged as such.
1684 if (!SDMDecl.Verify())
1685 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001686 } else {
Eric Christopher4a741042014-02-16 08:46:55 +00001687 addBlock(VariableDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4996c702011-11-07 09:24:32 +00001688 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001689 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001690 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001691 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001692 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1693 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1694 // TAG_variable.
Eric Christopherc2697f82013-10-19 01:04:47 +00001695 addString(IsStaticMember && VariableSpecDIE ? VariableSpecDIE
1696 : VariableDIE,
Eric Christopheraf7eca22014-03-13 23:26:25 +00001697 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
1698 : dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001699 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001700 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001701 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001702 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001703 // emitting AT_const_value multiple times, we only add AT_const_value when
1704 // it is not a static member.
1705 if (!IsStaticMember)
Manman Renb3388602013-10-05 01:43:03 +00001706 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
David Blaikiea781b25b2013-11-17 21:55:13 +00001707 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001708 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001709 // GV is a merged global.
Eric Christopher4a741042014-02-16 08:46:55 +00001710 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Pateldfd6ec32011-08-15 17:57:41 +00001711 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001712 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1713 DD->addArangeLabel(SymbolCU(this, Sym));
Eric Christopher4a741042014-02-16 08:46:55 +00001714 addOpAddress(Loc, Sym);
1715 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001716 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
Eric Christopher4a741042014-02-16 08:46:55 +00001717 addUInt(Loc, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001718 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
Eric Christopher4a741042014-02-16 08:46:55 +00001719 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1720 addBlock(VariableDIE, dwarf::DW_AT_location, Loc);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001721 }
1722
Eric Christopherc12c2112011-11-11 01:55:22 +00001723 if (addToAccelTable) {
1724 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1725 addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001726
Eric Christopherc12c2112011-11-11 01:55:22 +00001727 // If the linkage name is different than the name, go ahead and output
1728 // that as well into the name table.
1729 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1730 addAccelName(GV.getLinkageName(), AddrDIE);
1731 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001732
1733 if (!GV.isLocalToUnit())
Eric Christopher2c8b7902013-10-17 02:06:06 +00001734 addGlobalName(GV.getName(), VariableSpecDIE ? VariableSpecDIE : VariableDIE,
1735 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001736}
1737
Devang Patel0e821f42011-04-12 23:21:44 +00001738/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001739void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
Manman Renb987e512013-10-29 00:53:03 +00001740 DIE *DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001741 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001742
Bill Wendling28fe9e72012-12-06 07:38:10 +00001743 // The LowerBound value defines the lower bounds which is typically zero for
1744 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1745 // Count == -1 then the array is unbounded and we do not emit
1746 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1747 // Count == 0, then the array has zero elements in which case we do not emit
1748 // an upper bound.
1749 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001750 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001751 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001752
Bill Wendling3495f9b2012-12-06 07:55:19 +00001753 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001754 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001755
1756 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001757 // FIXME: An unbounded array should reference the expression that defines
1758 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001759 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1760 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001761}
1762
1763/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001764void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001765 if (CTy.isVector())
Eric Christopherbb69a272012-08-24 01:14:27 +00001766 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001767
Eric Christopher0df08e22013-08-08 07:40:37 +00001768 // Emit the element type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001769 addType(&Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001770
1771 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001772 // FIXME: This type should be passed down from the front end
1773 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001774 DIE *IdxTy = getIndexTyDie();
1775 if (!IdxTy) {
David Blaikie12e00fc2014-04-03 06:28:20 +00001776 // Construct an integer type to use for indexes.
David Blaikie2a80e442013-12-02 22:09:48 +00001777 IdxTy = createAndAddDIE(dwarf::DW_TAG_base_type, *UnitDie);
David Blaikie12e00fc2014-04-03 06:28:20 +00001778 addString(IdxTy, dwarf::DW_AT_name, "sizetype");
1779 addUInt(IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
Devang Patel0e821f42011-04-12 23:21:44 +00001780 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
David Blaikie12e00fc2014-04-03 06:28:20 +00001781 dwarf::DW_ATE_unsigned);
Devang Patel0e821f42011-04-12 23:21:44 +00001782 setIndexTyDie(IdxTy);
1783 }
1784
1785 // Add subranges to array type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001786 DIArray Elements = CTy.getTypeArray();
Devang Patel0e821f42011-04-12 23:21:44 +00001787 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1788 DIDescriptor Element = Elements.getElement(i);
1789 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1790 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1791 }
1792}
1793
Eric Christopheraeb105f2013-11-11 18:52:39 +00001794/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001795void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopheraeb105f2013-11-11 18:52:39 +00001796 DIArray Elements = CTy.getTypeArray();
1797
1798 // Add enumerators to enumeration type.
1799 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001800 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001801 if (Enum.isEnumerator()) {
1802 DIE *Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001803 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001804 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001805 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001806 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1807 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001808 }
1809 }
1810 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1811 if (DTy) {
1812 addType(&Buffer, DTy);
1813 addFlag(&Buffer, dwarf::DW_AT_enum_class);
1814 }
Devang Patel0e821f42011-04-12 23:21:44 +00001815}
1816
Devang Patel89543712011-08-15 17:24:54 +00001817/// constructContainingTypeDIEs - Construct DIEs for types that contain
1818/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001819void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001820 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001821 CE = ContainingTypeMap.end();
1822 CI != CE; ++CI) {
Devang Patel89543712011-08-15 17:24:54 +00001823 DIE *SPDie = CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001824 DIDescriptor D(CI->second);
1825 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001826 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001827 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001828 if (!NDie)
1829 continue;
Manman Ren4c4b69c2013-10-11 23:58:05 +00001830 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, NDie);
Devang Patel89543712011-08-15 17:24:54 +00001831 }
1832}
1833
Devang Patel3acc70e2011-08-15 22:04:40 +00001834/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christophera5a79422013-12-09 23:32:48 +00001835DIE *DwarfUnit::constructVariableDIE(DbgVariable &DV, bool isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001836 StringRef Name = DV.getName();
Devang Patel3acc70e2011-08-15 22:04:40 +00001837
Devang Patel3acc70e2011-08-15 22:04:40 +00001838 // Define variable debug information entry.
Eric Christopher34a2c872013-11-15 01:43:19 +00001839 DIE *VariableDie = new DIE(DV.getTag());
1840 DbgVariable *AbsVar = DV.getAbstractVariable();
Devang Patel3acc70e2011-08-15 22:04:40 +00001841 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren4213c392013-05-29 17:16:59 +00001842 if (AbsDIE)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001843 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin, AbsDIE);
Devang Patel3acc70e2011-08-15 22:04:40 +00001844 else {
David Blaikie715528b2013-08-19 03:34:03 +00001845 if (!Name.empty())
1846 addString(VariableDie, dwarf::DW_AT_name, Name);
Eric Christopher34a2c872013-11-15 01:43:19 +00001847 addSourceLine(VariableDie, DV.getVariable());
1848 addType(VariableDie, DV.getType());
Devang Patel3acc70e2011-08-15 22:04:40 +00001849 }
1850
Eric Christopher34a2c872013-11-15 01:43:19 +00001851 if (DV.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001852 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Patel3acc70e2011-08-15 22:04:40 +00001853
1854 if (isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001855 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001856 return VariableDie;
1857 }
1858
1859 // Add variable address.
1860
Eric Christopher34a2c872013-11-15 01:43:19 +00001861 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001862 if (Offset != ~0U) {
Eric Christophera27220f2014-03-05 22:41:20 +00001863 addLocationList(VariableDie, dwarf::DW_AT_location, Offset);
Eric Christopher34a2c872013-11-15 01:43:19 +00001864 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001865 return VariableDie;
1866 }
1867
Eric Christophercead0332011-10-03 15:49:20 +00001868 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001869 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001870 assert(DVInsn->getNumOperands() == 3);
1871 if (DVInsn->getOperand(0).isReg()) {
1872 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001873 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001874 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001875 MachineLocation Location(RegOp.getReg(),
1876 DVInsn->getOperand(1).getImm());
Eric Christopher34a2c872013-11-15 01:43:19 +00001877 addVariableAddress(DV, VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001878 } else if (RegOp.getReg())
Eric Christopher34a2c872013-11-15 01:43:19 +00001879 addVariableAddress(DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001880 } else if (DVInsn->getOperand(0).isImm())
Eric Christopher34a2c872013-11-15 01:43:19 +00001881 addConstantValue(VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001882 else if (DVInsn->getOperand(0).isFPImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001883 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001884 else if (DVInsn->getOperand(0).isCImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001885 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher34a2c872013-11-15 01:43:19 +00001886 isUnsignedDIType(DD, DV.getType()));
Eric Christopher78fcf4902013-07-03 01:08:30 +00001887
Eric Christopher34a2c872013-11-15 01:43:19 +00001888 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001889 return VariableDie;
1890 } else {
1891 // .. else use frame index.
Eric Christopher34a2c872013-11-15 01:43:19 +00001892 int FI = DV.getFrameIndex();
Devang Patel3acc70e2011-08-15 22:04:40 +00001893 if (FI != ~0) {
1894 unsigned FrameReg = 0;
1895 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopherc2697f82013-10-19 01:04:47 +00001896 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
Devang Patel3acc70e2011-08-15 22:04:40 +00001897 MachineLocation Location(FrameReg, Offset);
Eric Christopher34a2c872013-11-15 01:43:19 +00001898 addVariableAddress(DV, VariableDie, Location);
Devang Patel3acc70e2011-08-15 22:04:40 +00001899 }
1900 }
1901
Eric Christopher34a2c872013-11-15 01:43:19 +00001902 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001903 return VariableDie;
1904}
1905
Manman Ren230ec862013-10-23 23:00:44 +00001906/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001907void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
Manman Renb987e512013-10-29 00:53:03 +00001908 DIE *MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001909 StringRef Name = DT.getName();
1910 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001911 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001912
Manman Ren93b30902013-10-08 18:42:58 +00001913 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001914
1915 addSourceLine(MemberDie, DT);
1916
Eric Christopherc2697f82013-10-19 01:04:47 +00001917 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001918
1919 // For C++, virtual base classes are not at fixed offset. Use following
1920 // expression to extract appropriate offset from vtable.
1921 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1922
Eric Christopher4a741042014-02-16 08:46:55 +00001923 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikief2443192013-10-21 17:28:37 +00001924 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1925 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1926 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1927 addUInt(VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1928 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1929 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1930 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001931
David Blaikief2443192013-10-21 17:28:37 +00001932 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001933 } else {
1934 uint64_t Size = DT.getSizeInBits();
1935 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1936 uint64_t OffsetInBytes;
1937
1938 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001939 // Handle bitfield, assume bytes are 8 bits.
1940 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1941 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001942
1943 uint64_t Offset = DT.getOffsetInBits();
1944 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1945 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1946 uint64_t FieldOffset = (HiMark - FieldSize);
1947 Offset -= FieldOffset;
1948
1949 // Maybe we need to work from the other end.
1950 if (Asm->getDataLayout().isLittleEndian())
1951 Offset = FieldSize - (Offset + Size);
1952 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1953
Adrian Prantlc67655a2014-01-28 18:13:47 +00001954 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001955 // field that includes this bit field.
1956 OffsetInBytes = FieldOffset >> 3;
1957 } else
1958 // This is not a bitfield.
1959 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001960
David Blaikie22b29a52014-01-03 01:30:05 +00001961 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001962 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie22b29a52014-01-03 01:30:05 +00001963 addUInt(MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1964 addUInt(MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
1965 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1966 } else
1967 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1968 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001969 }
Devang Patel0e821f42011-04-12 23:21:44 +00001970
1971 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001972 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001973 dwarf::DW_ACCESS_protected);
1974 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001975 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001976 dwarf::DW_ACCESS_private);
1977 // Otherwise C++ member and base classes are considered public.
Eric Christopher92331fd2012-11-21 00:34:38 +00001978 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001979 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001980 dwarf::DW_ACCESS_public);
1981 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001982 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001983 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001984
1985 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001986 if (MDNode *PNode = DT.getObjCProperty())
1987 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher92331fd2012-11-21 00:34:38 +00001988 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel44882172012-02-06 17:49:43 +00001989 PropertyDie);
1990
David Blaikie37fefc32012-12-13 22:43:07 +00001991 if (DT.isArtificial())
1992 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001993}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001994
Manman Renc6b63922013-10-14 20:33:57 +00001995/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001996DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001997 if (!DT.Verify())
1998 return NULL;
1999
Manman Renc6b63922013-10-14 20:33:57 +00002000 // Construct the context before querying for the existence of the DIE in case
2001 // such construction creates the DIE.
2002 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00002003 assert(dwarf::isType(ContextDIE->getTag()) &&
2004 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00002005
2006 DIE *StaticMemberDIE = getDIE(DT);
2007 if (StaticMemberDIE)
2008 return StaticMemberDIE;
2009
Manman Renb987e512013-10-29 00:53:03 +00002010 StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00002011
Manman Ren93b30902013-10-08 18:42:58 +00002012 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002013
2014 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
2015 addType(StaticMemberDIE, Ty);
2016 addSourceLine(StaticMemberDIE, DT);
2017 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
2018 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
2019
2020 // FIXME: We could omit private if the parent is a class_type, and
2021 // public if the parent is something else.
2022 if (DT.isProtected())
2023 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2024 dwarf::DW_ACCESS_protected);
2025 else if (DT.isPrivate())
2026 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2027 dwarf::DW_ACCESS_private);
2028 else
2029 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2030 dwarf::DW_ACCESS_public);
2031
2032 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Renb3388602013-10-05 01:43:03 +00002033 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikiea39a76e2013-01-20 01:18:01 +00002034 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
2035 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002036
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002037 return StaticMemberDIE;
2038}
David Blaikie6b288cf2013-10-30 20:42:41 +00002039
David Blaikied82b2372014-03-24 20:28:10 +00002040void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00002041 Asm->OutStreamer.AddComment("DWARF version number");
2042 Asm->EmitInt16(DD->getDwarfVersion());
2043 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00002044 // We share one abbreviations table across all units so it's always at the
2045 // start of the section. Use a relocatable offset where needed to ensure
2046 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002047 if (ASectionSym)
2048 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
2049 else
David Blaikie326e1fa2014-04-02 02:04:51 +00002050 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002051 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00002052 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2053 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
2054}
David Blaikiebc563272013-12-13 21:33:40 +00002055
Eric Christopher384f3fe2014-03-20 19:16:16 +00002056void DwarfUnit::addRange(RangeSpan Range) {
2057 // Only add a range for this unit if we're emitting full debug.
2058 if (getCUNode().getEmissionKind() == DIBuilder::FullDebug) {
2059 // If we have no current ranges just add the range and return, otherwise,
2060 // check the current section and CU against the previous section and CU we
2061 // emitted into and the subprogram was contained within. If these are the
2062 // same then extend our current range, otherwise add this as a new range.
2063 if (CURanges.size() == 0 ||
2064 this != DD->getPrevCU() ||
2065 Asm->getCurrentSection() != DD->getPrevSection()) {
2066 CURanges.push_back(Range);
2067 return;
2068 }
2069
2070 assert(&(CURanges.back().getEnd()->getSection()) ==
2071 &(Range.getEnd()->getSection()) &&
2072 "We can only append to a range in the same section!");
2073 CURanges.back().setEnd(Range.getEnd());
2074 }
2075}
2076
David Blaikie2494fdb2014-02-14 22:41:51 +00002077void DwarfCompileUnit::initStmtList(MCSymbol *DwarfLineSectionSym) {
2078 // Define start line table label for each Compile Unit.
2079 MCSymbol *LineTableStartSym =
David Blaikie34641612014-04-01 08:07:52 +00002080 Asm->OutStreamer.getDwarfLineTableSymbol(getUniqueID());
David Blaikie2494fdb2014-02-14 22:41:51 +00002081
David Blaikie60e63862014-02-14 23:58:13 +00002082 stmtListIndex = UnitDie->getValues().size();
2083
David Blaikie2494fdb2014-02-14 22:41:51 +00002084 // DW_AT_stmt_list is a offset of line number information for this
2085 // compile unit in debug_line section. For split dwarf this is
2086 // left in the skeleton CU and so not included.
2087 // The line table entries are not always emitted in assembly, so it
2088 // is not okay to use line_table_start here.
2089 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
David Blaikie34641612014-04-01 08:07:52 +00002090 addSectionLabel(UnitDie.get(), dwarf::DW_AT_stmt_list, LineTableStartSym);
David Blaikie2494fdb2014-02-14 22:41:51 +00002091 else
2092 addSectionDelta(UnitDie.get(), dwarf::DW_AT_stmt_list, LineTableStartSym,
2093 DwarfLineSectionSym);
2094}
2095
David Blaikie60e63862014-02-14 23:58:13 +00002096void DwarfCompileUnit::applyStmtList(DIE &D) {
2097 D.addValue(dwarf::DW_AT_stmt_list,
2098 UnitDie->getAbbrev().getData()[stmtListIndex].getForm(),
2099 UnitDie->getValues()[stmtListIndex]);
2100}
2101
David Blaikied82b2372014-03-24 20:28:10 +00002102void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
2103 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00002104 Asm->OutStreamer.AddComment("Type Signature");
2105 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
2106 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00002107 // In a skeleton type unit there is no type DIE so emit a zero offset.
2108 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
2109 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00002110}
2111
2112void DwarfTypeUnit::initSection(const MCSection *Section) {
2113 assert(!this->Section);
2114 this->Section = Section;
2115 // Since each type unit is contained in its own COMDAT section, the begin
2116 // label and the section label are the same. Using the begin label emission in
2117 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
2118 // the only other alternative of lazily constructing start-of-section labels
2119 // and storing a mapping in DwarfDebug (or AsmPrinter).
2120 this->SectionSym = this->LabelBegin =
2121 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2122 this->LabelEnd =
2123 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
2124 this->LabelRange = Asm->GetTempSymbol("gnu_ranges", getUniqueID());
2125}