blob: 1545f35489d92d03ce2a9d54884aabbfcaed8686 [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
David Blaikie2c86a722013-12-02 19:33:15 +000014#include "DwarfUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "DwarfAccelTable.h"
Devang Patel0e821f42011-04-12 23:21:44 +000016#include "DwarfDebug.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/APFloat.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000019#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/DataLayout.h"
21#include "llvm/IR/GlobalVariable.h"
22#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000023#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000024#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000025#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000026#include "llvm/MC/MCSection.h"
27#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000028#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000029#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000031#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000033
34using namespace llvm;
35
Chandler Carruth1b9dde02014-04-22 02:02:50 +000036#define DEBUG_TYPE "dwarfdebug"
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
David Blaikied75fb282014-04-23 21:20:10 +0000293 unsigned idx = DD->getAddressPool().getIndex(Label);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000294 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);
David Blaikiee226b082014-04-23 21:04:59 +0000338 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000339 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000340 }
341}
342
Eric Christopher33ff6972013-11-21 23:46:41 +0000343/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000344///
Eric Christophera5a79422013-12-09 23:32:48 +0000345void DwarfUnit::addSectionDelta(DIE *Die, dwarf::Attribute Attribute,
346 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000347 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Eric Christopher33ff6972013-11-21 23:46:41 +0000348 if (DD->getDwarfVersion() >= 4)
349 Die->addValue(Attribute, dwarf::DW_FORM_sec_offset, Value);
350 else
351 Die->addValue(Attribute, dwarf::DW_FORM_data4, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000352}
353
David Blaikie48b1bdc2014-03-07 01:30:55 +0000354void DwarfUnit::addLabelDelta(DIE *Die, dwarf::Attribute Attribute,
355 const MCSymbol *Hi, const MCSymbol *Lo) {
356 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
357 Die->addValue(Attribute, dwarf::DW_FORM_data4, Value);
358}
359
Devang Patel0e821f42011-04-12 23:21:44 +0000360/// addDIEEntry - Add a DIE attribute data and value.
361///
Eric Christophera5a79422013-12-09 23:32:48 +0000362void DwarfUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute, DIE *Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000363 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
364}
365
David Blaikie47f615e2013-12-17 23:32:35 +0000366void DwarfUnit::addDIETypeSignature(DIE *Die, const DwarfTypeUnit &Type) {
367 Die->addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
368 new (DIEValueAllocator) DIETypeSignature(Type));
369}
370
Eric Christophera5a79422013-12-09 23:32:48 +0000371void DwarfUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute,
372 DIEEntry *Entry) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000373 const DIE *DieCU = Die->getUnitOrNull();
374 const DIE *EntryCU = Entry->getEntry()->getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000375 if (!DieCU)
376 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikie2a80e442013-12-02 22:09:48 +0000377 DieCU = getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000378 if (!EntryCU)
David Blaikie2a80e442013-12-02 22:09:48 +0000379 EntryCU = getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000380 Die->addValue(Attribute, EntryCU == DieCU ? dwarf::DW_FORM_ref4
381 : dwarf::DW_FORM_ref_addr,
382 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000383}
384
Manman Renb987e512013-10-29 00:53:03 +0000385/// Create a DIE with the given Tag, add the DIE to its parent, and
386/// call insertDIE if MD is not null.
Eric Christophera5a79422013-12-09 23:32:48 +0000387DIE *DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000388 assert(Tag != dwarf::DW_TAG_auto_variable &&
389 Tag != dwarf::DW_TAG_arg_variable);
390 DIE *Die = new DIE((dwarf::Tag)Tag);
Manman Renb987e512013-10-29 00:53:03 +0000391 Parent.addChild(Die);
David Blaikie52c50202013-11-16 00:29:01 +0000392 if (N)
393 insertDIE(N, Die);
Manman Renb987e512013-10-29 00:53:03 +0000394 return Die;
395}
396
Devang Patel0e821f42011-04-12 23:21:44 +0000397/// addBlock - Add block data.
398///
Eric Christopher4a741042014-02-16 08:46:55 +0000399void DwarfUnit::addBlock(DIE *Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000400 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000401 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
402 Die->addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
403}
404
Eric Christophera5a79422013-12-09 23:32:48 +0000405void DwarfUnit::addBlock(DIE *Die, dwarf::Attribute Attribute,
406 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000407 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000408 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
409 Die->addValue(Attribute, Block->BestForm(), Block);
410}
411
412/// addSourceLine - Add location information to specified debug information
413/// entry.
David Blaikie101613e2014-02-12 00:11:25 +0000414void DwarfUnit::addSourceLine(DIE *Die, unsigned Line, StringRef File,
415 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000416 if (Line == 0)
417 return;
David Blaikie101613e2014-02-12 00:11:25 +0000418
David Blaikie4a2f95f2014-03-18 01:17:26 +0000419 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000420 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000421 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
422 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000423}
424
425/// addSourceLine - Add location information to specified debug information
426/// entry.
David Blaikie101613e2014-02-12 00:11:25 +0000427void DwarfUnit::addSourceLine(DIE *Die, DIVariable V) {
428 assert(V.isVariable());
429
Eric Christopher89a575c2014-02-12 22:38:04 +0000430 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
431 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000432}
433
434/// addSourceLine - Add location information to specified debug information
435/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000436void DwarfUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000437 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000438
David Blaikie101613e2014-02-12 00:11:25 +0000439 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000440}
441
442/// addSourceLine - Add location information to specified debug information
443/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000444void DwarfUnit::addSourceLine(DIE *Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000445 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000446
David Blaikie101613e2014-02-12 00:11:25 +0000447 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000448}
449
450/// addSourceLine - Add location information to specified debug information
451/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000452void DwarfUnit::addSourceLine(DIE *Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000453 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000454
David Blaikie101613e2014-02-12 00:11:25 +0000455 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000456}
457
458/// addSourceLine - Add location information to specified debug information
459/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000460void DwarfUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000461 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000462
Eric Christopher70e1bd82012-03-29 08:42:56 +0000463 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000464 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
465 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000466}
467
468/// addSourceLine - Add location information to specified debug information
469/// entry.
Eric Christophera5a79422013-12-09 23:32:48 +0000470void DwarfUnit::addSourceLine(DIE *Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000471 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000472
David Blaikie101613e2014-02-12 00:11:25 +0000473 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000474}
475
Eric Christopher92331fd2012-11-21 00:34:38 +0000476/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000477/// DbgVariable based on provided MachineLocation.
Eric Christophera5a79422013-12-09 23:32:48 +0000478void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
479 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000480 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000481 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000482 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000483 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
484 else
David Blaikieea2605d2013-06-20 00:25:24 +0000485 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000486 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000487}
488
Devang Patelba5fbf12011-04-26 19:06:18 +0000489/// addRegisterOp - Add register operand.
Eric Christopher4a741042014-02-16 08:46:55 +0000490void DwarfUnit::addRegisterOp(DIELoc *TheDie, unsigned Reg) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000491 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000492 int DWReg = RI->getDwarfRegNum(Reg, false);
493 bool isSubRegister = DWReg < 0;
494
495 unsigned Idx = 0;
496
497 // Go up the super-register chain until we hit a valid dwarf register number.
498 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
499 DWReg = RI->getDwarfRegNum(*SR, false);
500 if (DWReg >= 0)
501 Idx = RI->getSubRegIndex(*SR, Reg);
502 }
503
504 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000505 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000506 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
507 return;
508 }
509
510 // Emit register
Devang Patelba5fbf12011-04-26 19:06:18 +0000511 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000512 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000513 else {
David Blaikief2443192013-10-21 17:28:37 +0000514 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
515 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000516 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000517
518 // Emit Mask
519 if (isSubRegister) {
520 unsigned Size = RI->getSubRegIdxSize(Idx);
521 unsigned Offset = RI->getSubRegIdxOffset(Idx);
522 if (Offset > 0) {
523 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
524 addUInt(TheDie, dwarf::DW_FORM_data1, Size);
525 addUInt(TheDie, dwarf::DW_FORM_data1, Offset);
526 } else {
Adrian Prantl7199fd52014-02-12 19:34:44 +0000527 unsigned ByteSize = Size / 8; // Assuming 8 bits per byte.
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000528 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantl7199fd52014-02-12 19:34:44 +0000529 addUInt(TheDie, dwarf::DW_FORM_data1, ByteSize);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000530 }
531 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000532}
533
534/// addRegisterOffset - Add register offset.
Eric Christopher4a741042014-02-16 08:46:55 +0000535void DwarfUnit::addRegisterOffset(DIELoc *TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000536 int64_t Offset) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000537 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
538 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
539 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
540 if (Reg == TRI->getFrameRegister(*Asm->MF))
541 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000542 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000543 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000544 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000545 else {
David Blaikief2443192013-10-21 17:28:37 +0000546 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
547 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000548 }
David Blaikief2443192013-10-21 17:28:37 +0000549 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000550}
551
552/// addAddress - Add an address attribute to a die based on the location
553/// provided.
Eric Christophera5a79422013-12-09 23:32:48 +0000554void DwarfUnit::addAddress(DIE *Die, dwarf::Attribute Attribute,
555 const MachineLocation &Location, bool Indirect) {
Eric Christopher4a741042014-02-16 08:46:55 +0000556 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patelba5fbf12011-04-26 19:06:18 +0000557
David Blaikieea2605d2013-06-20 00:25:24 +0000558 if (Location.isReg() && !Indirect)
Eric Christopher4a741042014-02-16 08:46:55 +0000559 addRegisterOp(Loc, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000560 else {
Eric Christopher4a741042014-02-16 08:46:55 +0000561 addRegisterOffset(Loc, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000562 if (Indirect && !Location.isReg()) {
Eric Christopher4a741042014-02-16 08:46:55 +0000563 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000564 }
565 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000566
567 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000568 addBlock(Die, Attribute, Loc);
Devang Patelba5fbf12011-04-26 19:06:18 +0000569}
570
Devang Patel0e821f42011-04-12 23:21:44 +0000571/// addComplexAddress - Start with the address based on the location provided,
572/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000573/// given the extra address information encoded in the DbgVariable, starting
574/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000575///
Eric Christophera5a79422013-12-09 23:32:48 +0000576void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
577 dwarf::Attribute Attribute,
578 const MachineLocation &Location) {
Eric Christopher4a741042014-02-16 08:46:55 +0000579 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000580 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000581 unsigned i = 0;
582 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000583 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000584 // If first address element is OpPlus then emit
585 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopher4a741042014-02-16 08:46:55 +0000586 addRegisterOffset(Loc, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000587 i = 2;
588 } else
Eric Christopher4a741042014-02-16 08:46:55 +0000589 addRegisterOp(Loc, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000590 } else
Eric Christopher4a741042014-02-16 08:46:55 +0000591 addRegisterOffset(Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000592
Eric Christopherc2697f82013-10-19 01:04:47 +0000593 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000594 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000595 if (Element == DIBuilder::OpPlus) {
Eric Christopher4a741042014-02-16 08:46:55 +0000596 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
597 addUInt(Loc, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel0e821f42011-04-12 23:21:44 +0000598 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000599 if (!Location.isReg())
Eric Christopher4a741042014-02-16 08:46:55 +0000600 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Eric Christopherc2697f82013-10-19 01:04:47 +0000601 } else
602 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000603 }
604
605 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000606 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000607}
608
609/* Byref variables, in Blocks, are declared by the programmer as "SomeType
610 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
611 gives the variable VarName either the struct, or a pointer to the struct, as
612 its type. This is necessary for various behind-the-scenes things the
613 compiler needs to do with by-reference variables in Blocks.
614
615 However, as far as the original *programmer* is concerned, the variable
616 should still have type 'SomeType', as originally declared.
617
618 The function getBlockByrefType dives into the __Block_byref_x_VarName
619 struct to find the original type of the variable, which is then assigned to
620 the variable's Debug Information Entry as its real type. So far, so good.
621 However now the debugger will expect the variable VarName to have the type
622 SomeType. So we need the location attribute for the variable to be an
623 expression that explains to the debugger how to navigate through the
624 pointers and struct to find the actual variable of type SomeType.
625
626 The following function does just that. We start by getting
627 the "normal" location for the variable. This will be the location
628 of either the struct __Block_byref_x_VarName or the pointer to the
629 struct __Block_byref_x_VarName.
630
631 The struct will look something like:
632
633 struct __Block_byref_x_VarName {
634 ... <various fields>
635 struct __Block_byref_x_VarName *forwarding;
636 ... <various other fields>
637 SomeType VarName;
638 ... <maybe more fields>
639 };
640
641 If we are given the struct directly (as our starting point) we
642 need to tell the debugger to:
643
644 1). Add the offset of the forwarding field.
645
646 2). Follow that pointer to get the real __Block_byref_x_VarName
647 struct to use (the real one may have been copied onto the heap).
648
649 3). Add the offset for the field VarName, to find the actual variable.
650
651 If we started with a pointer to the struct, then we need to
652 dereference that pointer first, before the other steps.
653 Translating this into DWARF ops, we will need to append the following
654 to the current location description for the variable:
655
656 DW_OP_deref -- optional, if we start with a pointer
657 DW_OP_plus_uconst <forward_fld_offset>
658 DW_OP_deref
659 DW_OP_plus_uconst <varName_fld_offset>
660
661 That is what this function does. */
662
663/// addBlockByrefAddress - Start with the address based on the location
664/// provided, and generate the DWARF information necessary to find the
665/// actual Block variable (navigating the Block struct) based on the
666/// starting location. Add the DWARF information to the die. For
667/// more information, read large comment just above here.
668///
Eric Christophera5a79422013-12-09 23:32:48 +0000669void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
670 dwarf::Attribute Attribute,
671 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000672 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000673 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000674 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000675 bool isPointer = false;
676
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000677 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000678
679 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000680 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000681 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000682 isPointer = true;
683 }
684
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000685 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000686
687 // Find the __forwarding field and the variable field in the __Block_byref
688 // struct.
689 DIArray Fields = blockStruct.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000690 DIDerivedType varField;
691 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000692
693 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000694 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000695 StringRef fieldName = DT.getName();
696 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000697 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000698 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000699 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000700 }
701
702 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000703 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
704 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000705
706 // Decode the original location, and use that as the start of the byref
707 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000708 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000709
Eric Christopheref9d7102012-07-04 02:02:18 +0000710 if (Location.isReg())
Eric Christopher4a741042014-02-16 08:46:55 +0000711 addRegisterOp(Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000712 else
Eric Christopher4a741042014-02-16 08:46:55 +0000713 addRegisterOffset(Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000714
715 // If we started with a pointer to the __Block_byref... struct, then
716 // the first thing we need to do is dereference the pointer (DW_OP_deref).
717 if (isPointer)
Eric Christopher4a741042014-02-16 08:46:55 +0000718 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000719
720 // Next add the offset for the '__forwarding' field:
721 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
722 // adding the offset if it's 0.
723 if (forwardingFieldOffset > 0) {
Eric Christopher4a741042014-02-16 08:46:55 +0000724 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
725 addUInt(Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000726 }
727
728 // Now dereference the __forwarding field to get to the real __Block_byref
729 // struct: DW_OP_deref.
Eric Christopher4a741042014-02-16 08:46:55 +0000730 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000731
732 // Now that we've got the real __Block_byref... struct, add the offset
733 // for the variable's field to get to the location of the actual variable:
734 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
735 if (varFieldOffset > 0) {
Eric Christopher4a741042014-02-16 08:46:55 +0000736 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
737 addUInt(Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000738 }
739
740 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000741 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000742}
743
Devang Patelbcd50a12011-07-20 21:57:04 +0000744/// isTypeSigned - Return true if the type is signed.
Manman Renb3388602013-10-05 01:43:03 +0000745static bool isTypeSigned(DwarfDebug *DD, DIType Ty, int *SizeInBits) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000746 if (Ty.isDerivedType())
Manman Renb3388602013-10-05 01:43:03 +0000747 return isTypeSigned(DD, DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()),
748 SizeInBits);
Devang Patelbcd50a12011-07-20 21:57:04 +0000749 if (Ty.isBasicType())
Eric Christopherc2697f82013-10-19 01:04:47 +0000750 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed ||
751 DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000752 *SizeInBits = Ty.getSizeInBits();
753 return true;
754 }
755 return false;
756}
757
Manman Renb3388602013-10-05 01:43:03 +0000758/// Return true if type encoding is unsigned.
759static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
760 DIDerivedType DTy(Ty);
761 if (DTy.isDerivedType())
762 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
763
764 DIBasicType BTy(Ty);
765 if (BTy.isBasicType()) {
766 unsigned Encoding = BTy.getEncoding();
767 if (Encoding == dwarf::DW_ATE_unsigned ||
768 Encoding == dwarf::DW_ATE_unsigned_char ||
769 Encoding == dwarf::DW_ATE_boolean)
770 return true;
771 }
772 return false;
773}
774
775/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000776static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000777 unsigned Tag = Ty.getTag();
778
779 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
780 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
781 Tag != dwarf::DW_TAG_restrict_type)
782 return Ty.getSizeInBits();
783
784 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
785
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000786 // If this type is not derived from any type or the type is a declaration then
787 // take conservative approach.
788 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000789 return Ty.getSizeInBits();
790
791 // If this is a derived type, go ahead and get the base type, unless it's a
792 // reference then it's just the size of the field. Pointer types have no need
793 // of this since they're a different type of qualification on the type.
794 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
795 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
796 return Ty.getSizeInBits();
797
798 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000799 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000800
801 return BaseType.getSizeInBits();
802}
803
Devang Patel0e821f42011-04-12 23:21:44 +0000804/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000805void DwarfUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
806 DIType Ty) {
David Blaikiea1e813d2013-05-10 21:52:07 +0000807 // FIXME: This is a bit conservative/simple - it emits negative values at
808 // their maximum bit width which is a bit unfortunate (& doesn't prefer
809 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000810 assert(MO.isImm() && "Invalid machine operand!");
Devang Patelbcd50a12011-07-20 21:57:04 +0000811 int SizeInBits = -1;
Manman Renb3388602013-10-05 01:43:03 +0000812 bool SignedConstant = isTypeSigned(DD, Ty, &SizeInBits);
David Blaikief2443192013-10-21 17:28:37 +0000813 dwarf::Form Form;
Devang Patelf1d04702011-05-27 18:15:52 +0000814
Eric Christopher9d1daa82013-08-27 23:49:04 +0000815 // If we're a signed constant definitely use sdata.
816 if (SignedConstant) {
817 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
818 return;
819 }
820
821 // Else use data for now unless it's larger than we can deal with.
822 switch (SizeInBits) {
823 case 8:
824 Form = dwarf::DW_FORM_data1;
825 break;
826 case 16:
827 Form = dwarf::DW_FORM_data2;
828 break;
829 case 32:
830 Form = dwarf::DW_FORM_data4;
831 break;
832 case 64:
833 Form = dwarf::DW_FORM_data8;
834 break;
835 default:
836 Form = dwarf::DW_FORM_udata;
837 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
838 return;
839 }
840 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel0e821f42011-04-12 23:21:44 +0000841}
842
843/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000844void DwarfUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000845 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000846 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
847 APFloat FPImm = MO.getFPImm()->getValueAPF();
848
849 // Get the raw data form of the floating point.
850 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000851 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000852
853 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000854 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000855 int Incr = (LittleEndian ? 1 : -1);
856 int Start = (LittleEndian ? 0 : NumBytes - 1);
857 int Stop = (LittleEndian ? NumBytes : -1);
858
859 // Output the constant to DWARF one byte at a time.
860 for (; Start != Stop; Start += Incr)
Eric Christopher98b7f172013-11-11 18:52:36 +0000861 addUInt(Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000862
David Blaikief2443192013-10-21 17:28:37 +0000863 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000864}
865
David Blaikiea39a76e2013-01-20 01:18:01 +0000866/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000867void DwarfUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000868 // Pass this down to addConstantValue as an unsigned bag of bits.
869 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000870}
871
Devang Patel0e821f42011-04-12 23:21:44 +0000872/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000873void DwarfUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
874 bool Unsigned) {
Eric Christopher78fcf4902013-07-03 01:08:30 +0000875 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikiea39a76e2013-01-20 01:18:01 +0000876}
877
878// addConstantValue - Add constant value entry in variable DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000879void DwarfUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000880 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000881 if (CIBitWidth <= 64) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000882 // If we're a signed constant definitely use sdata.
883 if (!Unsigned) {
884 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
885 Val.getSExtValue());
886 return;
Devang Patel8816bbc2011-05-28 00:39:18 +0000887 }
Eric Christopher9d1daa82013-08-27 23:49:04 +0000888
889 // Else use data for now unless it's larger than we can deal with.
David Blaikief2443192013-10-21 17:28:37 +0000890 dwarf::Form Form;
Eric Christopher9d1daa82013-08-27 23:49:04 +0000891 switch (CIBitWidth) {
892 case 8:
893 Form = dwarf::DW_FORM_data1;
894 break;
895 case 16:
896 Form = dwarf::DW_FORM_data2;
897 break;
898 case 32:
899 Form = dwarf::DW_FORM_data4;
900 break;
901 case 64:
902 Form = dwarf::DW_FORM_data8;
903 break;
904 default:
905 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
906 Val.getZExtValue());
907 return;
908 }
909 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000910 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000911 }
912
913 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
914
915 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000916 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000917
918 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000919 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000920
921 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000922 for (int i = 0; i < NumBytes; i++) {
923 uint8_t c;
924 if (LittleEndian)
925 c = Ptr64[i / 8] >> (8 * (i & 7));
926 else
927 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikief2443192013-10-21 17:28:37 +0000928 addUInt(Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000929 }
Devang Patel0e821f42011-04-12 23:21:44 +0000930
David Blaikief2443192013-10-21 17:28:37 +0000931 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000932}
933
Eric Christopher25e35092013-04-22 07:47:40 +0000934/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000935void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000936 // Add template parameters.
937 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
938 DIDescriptor Element = TParams.getElement(i);
939 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000940 constructTemplateTypeParameterDIE(Buffer,
941 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000942 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000943 constructTemplateValueParameterDIE(Buffer,
944 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000945 }
Devang Patel0e821f42011-04-12 23:21:44 +0000946}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000947
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000948/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000949DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000950 if (!Context || Context.isFile())
David Blaikie2a80e442013-12-02 22:09:48 +0000951 return getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000952 if (Context.isType())
953 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000954 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000955 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000956 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000957 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000958 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000959}
960
Eric Christophera5a79422013-12-09 23:32:48 +0000961DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000962 DIScope Context = resolve(Ty.getContext());
963 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000964
965 DIE *TyDIE = getDIE(Ty);
966 if (TyDIE)
967 return TyDIE;
968
969 // Create new type.
970 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
971
David Blaikiefbd29eb2013-11-26 00:35:04 +0000972 constructTypeDIE(*TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000973
David Blaikie9d861be2013-11-26 00:15:27 +0000974 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikie409dd9c2013-11-19 23:08:21 +0000975 return TyDIE;
976}
977
Devang Patel0e821f42011-04-12 23:21:44 +0000978/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
979/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000980DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000981 if (!TyNode)
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000982 return NULL;
Manman Renf4c339e2013-10-29 22:49:29 +0000983
David Blaikie32887552013-11-14 22:25:02 +0000984 DIType Ty(TyNode);
985 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000986 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000987 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000988
David Blaikieee11f222014-04-12 05:35:59 +0000989 // DW_TAG_restrict_type is not supported in DWARF2
990 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
991 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
992
Manman Renf4c339e2013-10-29 22:49:29 +0000993 // Construct the context before querying for the existence of the DIE in case
994 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000995 DIScope Context = resolve(Ty.getContext());
996 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000997 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000998
Eric Christophere595bae2013-10-04 17:08:38 +0000999 DIE *TyDIE = getDIE(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +00001000 if (TyDIE)
1001 return TyDIE;
1002
1003 // Create new type.
Manman Renf4c339e2013-10-29 22:49:29 +00001004 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
1005
David Blaikiec3d9e9e2014-03-06 01:42:00 +00001006 updateAcceleratorTables(Context, Ty, TyDIE);
1007
Devang Patel0e821f42011-04-12 23:21:44 +00001008 if (Ty.isBasicType())
1009 constructTypeDIE(*TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +00001010 else if (Ty.isCompositeType()) {
1011 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +00001012 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
1013 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +00001014 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +00001015 // Skip updating the accelerator tables since this is not the full type.
David Blaikiecfb21152014-01-03 18:59:42 +00001016 return TyDIE;
1017 }
David Blaikiefbd29eb2013-11-26 00:35:04 +00001018 constructTypeDIE(*TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +00001019 } else {
Devang Patel0e821f42011-04-12 23:21:44 +00001020 assert(Ty.isDerivedType() && "Unknown kind of DIType");
1021 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
1022 }
David Blaikie2ea848b2013-11-19 22:51:04 +00001023
David Blaikie2ea848b2013-11-19 22:51:04 +00001024 return TyDIE;
1025}
1026
Eric Christophera5a79422013-12-09 23:32:48 +00001027void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
1028 const DIE *TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +00001029 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
1030 bool IsImplementation = 0;
1031 if (Ty.isCompositeType()) {
1032 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001033 // A runtime language of 0 actually means C/C++ and that any
1034 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +00001035 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +00001036 }
Eric Christophercf7289f2013-09-05 18:20:16 +00001037 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001038 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
David Blaikie9d861be2013-11-26 00:15:27 +00001039
David Blaikieadbea1e2014-03-12 03:34:38 +00001040 if ((!Context || Context.isCompileUnit() || Context.isFile() ||
1041 Context.isNameSpace()) &&
1042 getCUNode().getEmissionKind() != DIBuilder::LineTablesOnly)
David Blaikie9d861be2013-11-26 00:15:27 +00001043 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] = TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +00001044 }
Devang Patel0e821f42011-04-12 23:21:44 +00001045}
1046
1047/// addType - Add a new type attribute to the specified entity.
Eric Christophera5a79422013-12-09 23:32:48 +00001048void DwarfUnit::addType(DIE *Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +00001049 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001050
1051 // Check for pre-existence.
1052 DIEEntry *Entry = getDIEEntry(Ty);
1053 // If it exists then use the existing value.
1054 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001055 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001056 return;
1057 }
1058
1059 // Construct type.
1060 DIE *Buffer = getOrCreateTypeDIE(Ty);
1061
1062 // Set up proxy.
1063 Entry = createDIEEntry(Buffer);
1064 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001065 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001066}
1067
Eric Christophera5a79422013-12-09 23:32:48 +00001068void DwarfUnit::addAccelObjC(StringRef Name, const DIE *Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001069 if (!DD->useDwarfAccelTables())
1070 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001071 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001072 std::vector<const DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001073 DIEs.push_back(Die);
1074}
1075
Eric Christophera5a79422013-12-09 23:32:48 +00001076void DwarfUnit::addAccelNamespace(StringRef Name, const DIE *Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001077 if (!DD->useDwarfAccelTables())
1078 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001079 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001080 std::vector<const DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001081 DIEs.push_back(Die);
1082}
1083
Eric Christophera5a79422013-12-09 23:32:48 +00001084void DwarfUnit::addAccelType(StringRef Name,
1085 std::pair<const DIE *, unsigned> Die) {
Eric Christopherd0d5bba2014-02-12 22:47:09 +00001086 if (!DD->useDwarfAccelTables())
1087 return;
Eric Christopher9cd26af2013-09-20 23:22:52 +00001088 DU->getStringPoolEntry(Name);
David Blaikie2ea848b2013-11-19 22:51:04 +00001089 std::vector<std::pair<const DIE *, unsigned> > &DIEs = AccelTypes[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +00001090 DIEs.push_back(Die);
1091}
1092
Eric Christopher9c58f312013-09-20 22:20:55 +00001093/// addGlobalName - Add a new global name to the compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +00001094void DwarfUnit::addGlobalName(StringRef Name, DIE *Die, DIScope Context) {
David Blaikieadbea1e2014-03-12 03:34:38 +00001095 if (getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1096 return;
Eric Christopher8dba0d52013-10-19 01:04:42 +00001097 std::string FullName = getParentContextString(Context) + Name.str();
Eric Christopher2c8b7902013-10-17 02:06:06 +00001098 GlobalNames[FullName] = Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001099}
1100
Eric Christopher2c8b7902013-10-17 02:06:06 +00001101/// getParentContextString - Walks the metadata parent chain in a language
1102/// specific manner (using the compile unit language) and returns
1103/// it as a string. This is done at the metadata level because DIEs may
1104/// not currently have been added to the parent context and walking the
1105/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001106std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001107 if (!Context)
1108 return "";
1109
1110 // FIXME: Decide whether to implement this for non-C++ languages.
1111 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1112 return "";
1113
Eric Christopher8dba0d52013-10-19 01:04:42 +00001114 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001115 SmallVector<DIScope, 1> Parents;
1116 while (!Context.isCompileUnit()) {
1117 Parents.push_back(Context);
1118 if (Context.getContext())
1119 Context = resolve(Context.getContext());
1120 else
1121 // Structure, etc types will have a NULL context if they're at the top
1122 // level.
1123 break;
1124 }
1125
1126 // Reverse iterate over our list to go from the outermost construct to the
1127 // innermost.
1128 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1129 E = Parents.rend();
1130 I != E; ++I) {
1131 DIScope Ctx = *I;
1132 StringRef Name = Ctx.getName();
Eric Christopher8dba0d52013-10-19 01:04:42 +00001133 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001134 CS += Name;
1135 CS += "::";
1136 }
1137 }
1138 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001139}
1140
1141/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001142void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001143 // Get core information.
1144 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001145 // Add name if not anonymous or intermediate type.
1146 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001147 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001148
David Blaikiefac56122013-10-04 23:21:16 +00001149 // An unspecified type only has a name attribute.
1150 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001151 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001152
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001153 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001154 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001155
Devang Patel0e821f42011-04-12 23:21:44 +00001156 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikief2443192013-10-21 17:28:37 +00001157 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001158}
1159
1160/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001161void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001162 // Get core information.
1163 StringRef Name = DTy.getName();
1164 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001165 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001166
1167 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001168 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001169 if (FromTy)
1170 addType(&Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001171
1172 // Add name if not anonymous or intermediate type.
1173 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001174 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001175
1176 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001177 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikief2443192013-10-21 17:28:37 +00001178 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001179
David Blaikie5d3249b2013-01-07 05:51:15 +00001180 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Eric Christopherc2697f82013-10-19 01:04:47 +00001181 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
1182 getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001183 // Add source line info if available and TyDesc is not a forward declaration.
1184 if (!DTy.isForwardDecl())
1185 addSourceLine(&Buffer, DTy);
1186}
1187
Adrian Prantl3f49c892014-02-25 19:57:42 +00001188/// constructSubprogramArguments - Construct function argument DIEs.
1189void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DIArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001190 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1191 DIDescriptor Ty = Args.getElement(i);
1192 if (Ty.isUnspecifiedParameter()) {
1193 assert(i == N-1 && "Unspecified parameter must be the last argument");
1194 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
1195 } else {
1196 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
1197 addType(Arg, DIType(Ty));
1198 if (DIType(Ty).isArtificial())
1199 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001200 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001201 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001202}
1203
Devang Patel0e821f42011-04-12 23:21:44 +00001204/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001205void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001206 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001207 StringRef Name = CTy.getName();
1208
1209 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001210 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001211
1212 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001213 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001214 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001215 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001216 case dwarf::DW_TAG_enumeration_type:
1217 constructEnumTypeDIE(Buffer, CTy);
1218 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001219 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001220 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001221 DIArray Elements = CTy.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001222 DIType RTy(Elements.getElement(0));
Eric Christopher0df08e22013-08-08 07:40:37 +00001223 if (RTy)
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001224 addType(&Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001225
1226 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001227 if (Elements.getNumElements() == 2 &&
1228 Elements.getElement(1).isUnspecifiedParameter())
1229 isPrototyped = false;
1230
1231 constructSubprogramArguments(Buffer, Elements);
1232
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001233 // Add prototype flag if we're dealing with a C language and the
1234 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001235 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001236 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001237 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001238 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001239 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001240
1241 if (CTy.isLValueReference())
1242 addFlag(&Buffer, dwarf::DW_AT_reference);
1243
1244 if (CTy.isRValueReference())
1245 addFlag(&Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001246 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001247 case dwarf::DW_TAG_structure_type:
1248 case dwarf::DW_TAG_union_type:
1249 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001250 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001251 DIArray Elements = CTy.getTypeArray();
1252 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001253 DIDescriptor Element = Elements.getElement(i);
1254 DIE *ElemDie = NULL;
Adrian Prantlef129fb2014-01-18 02:12:00 +00001255 if (Element.isSubprogram())
1256 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
1257 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001258 DIDerivedType DDTy(Element);
1259 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
Manman Renb987e512013-10-29 00:53:03 +00001260 ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001261 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001262 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001263 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001264 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001265 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001266 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001267 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001268 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001269 DIObjCProperty Property(Element);
Manman Renb987e512013-10-29 00:53:03 +00001270 ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001271 StringRef PropertyName = Property.getObjCPropertyName();
1272 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001273 if (Property.getType())
1274 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001275 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001276 StringRef GetterName = Property.getObjCPropertyGetterName();
1277 if (!GetterName.empty())
1278 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1279 StringRef SetterName = Property.getObjCPropertySetterName();
1280 if (!SetterName.empty())
1281 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1282 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001283 if (Property.isReadOnlyObjCProperty())
1284 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1285 if (Property.isReadWriteObjCProperty())
1286 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1287 if (Property.isAssignObjCProperty())
1288 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1289 if (Property.isRetainObjCProperty())
1290 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1291 if (Property.isCopyObjCProperty())
1292 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1293 if (Property.isNonAtomicObjCProperty())
1294 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1295 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001296 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001297 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001298
Devang Pateld925d1a2012-02-07 23:33:58 +00001299 DIEEntry *Entry = getDIEEntry(Element);
1300 if (!Entry) {
1301 Entry = createDIEEntry(ElemDie);
1302 insertDIEEntry(Element, Entry);
1303 }
Devang Patel403e8192012-02-04 01:30:32 +00001304 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001305 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001306 }
1307
1308 if (CTy.isAppleBlockExtension())
Eric Christopherbb69a272012-08-24 01:14:27 +00001309 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001310
Eric Christopher9e429ae2013-10-05 00:27:02 +00001311 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001312 if (ContainingType)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001313 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001314 getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001315
Devang Patel12419ae2011-05-12 21:29:42 +00001316 if (CTy.isObjcClassComplete())
Eric Christopherbb69a272012-08-24 01:14:27 +00001317 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001318
Eric Christopherda011dd2011-12-16 23:42:42 +00001319 // Add template parameters to a class, structure or union types.
1320 // FIXME: The support isn't in the metadata for this yet.
1321 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001322 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001323 addTemplateParams(Buffer, CTy.getTemplateParams());
1324
1325 break;
1326 }
1327 default:
1328 break;
1329 }
1330
1331 // Add name if not anonymous or intermediate type.
1332 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001333 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001334
Eric Christopher775cbd22012-05-22 18:45:18 +00001335 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001336 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001337 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001338 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001339 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001340 if (Size)
David Blaikief2443192013-10-21 17:28:37 +00001341 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001342 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001343 // Add zero size if it is not a forward declaration.
David Blaikief2443192013-10-21 17:28:37 +00001344 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001345
1346 // If we're a forward decl, say so.
1347 if (CTy.isForwardDecl())
Eric Christopherbb69a272012-08-24 01:14:27 +00001348 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001349
1350 // Add source line info if available.
1351 if (!CTy.isForwardDecl())
1352 addSourceLine(&Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001353
1354 // No harm in adding the runtime language to the declaration.
1355 unsigned RLang = CTy.getRunTimeLang();
1356 if (RLang)
Eric Christopherc2697f82013-10-19 01:04:47 +00001357 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
1358 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001359 }
1360}
1361
Manman Renffc9a712013-10-23 23:05:28 +00001362/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1363/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001364void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1365 DITemplateTypeParameter TP) {
Manman Renb987e512013-10-29 00:53:03 +00001366 DIE *ParamDIE =
1367 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001368 // Add the type if it exists, it could be void and therefore no type.
1369 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001370 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001371 if (!TP.getName().empty())
1372 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001373}
1374
Manman Renffc9a712013-10-23 23:05:28 +00001375/// constructTemplateValueParameterDIE - Construct new DIE for the given
1376/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001377void
1378DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001379 DITemplateValueParameter VP) {
Manman Renb987e512013-10-29 00:53:03 +00001380 DIE *ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001381
1382 // Add the type if there is one, template template and template parameter
1383 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001384 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001385 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001386 if (!VP.getName().empty())
1387 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1388 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001389 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Ren88b0f942013-10-09 19:46:28 +00001390 addConstantValue(ParamDIE, CI,
1391 isUnsignedDIType(DD, resolve(VP.getType())));
David Blaikiea1e813d2013-05-10 21:52:07 +00001392 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1393 // For declaration non-type template parameters (such as global values and
1394 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001395 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
1396 addOpAddress(Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001397 // Emit DW_OP_stack_value to use the address as the immediate value of the
1398 // parameter, rather than a pointer to it.
Eric Christopher4a741042014-02-16 08:46:55 +00001399 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1400 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001401 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001402 assert(isa<MDString>(Val));
1403 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1404 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001405 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001406 assert(isa<MDNode>(Val));
1407 DIArray A(cast<MDNode>(Val));
1408 addTemplateParams(*ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001409 }
1410 }
Devang Patel0e821f42011-04-12 23:21:44 +00001411}
1412
Devang Patel17b53272011-05-06 16:57:54 +00001413/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001414DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001415 // Construct the context before querying for the existence of the DIE in case
1416 // such construction creates the DIE.
1417 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001418
Devang Patel17b53272011-05-06 16:57:54 +00001419 DIE *NDie = getDIE(NS);
1420 if (NDie)
1421 return NDie;
Manman Renf6b936b2013-10-29 05:49:41 +00001422 NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
1423
Eric Christopher4996c702011-11-07 09:24:32 +00001424 if (!NS.getName().empty()) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001425 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher4996c702011-11-07 09:24:32 +00001426 addAccelNamespace(NS.getName(), NDie);
Eric Christopher2c8b7902013-10-17 02:06:06 +00001427 addGlobalName(NS.getName(), NDie, NS.getContext());
Eric Christopher4996c702011-11-07 09:24:32 +00001428 } else
1429 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel17b53272011-05-06 16:57:54 +00001430 addSourceLine(NDie, NS);
Devang Patel17b53272011-05-06 16:57:54 +00001431 return NDie;
1432}
1433
Devang Patel89543712011-08-15 17:24:54 +00001434/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001435DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001436 // Construct the context before querying for the existence of the DIE in case
1437 // such construction creates the DIE (as is the case for member function
1438 // declarations).
Adrian Prantld1e6a4e2014-03-14 23:08:25 +00001439 DIScope Context = resolve(SP.getContext());
1440 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantld486b342014-03-18 17:41:15 +00001441
Adrian Prantld1e6a4e2014-03-14 23:08:25 +00001442 // Unique declarations based on the ODR, where applicable.
Adrian Prantld486b342014-03-18 17:41:15 +00001443 SP = DISubprogram(DD->resolve(SP.getRef()));
1444 assert(SP.Verify());
David Blaikie309ffe42013-10-04 01:39:59 +00001445
Eric Christophere595bae2013-10-04 17:08:38 +00001446 DIE *SPDie = getDIE(SP);
Devang Patel89543712011-08-15 17:24:54 +00001447 if (SPDie)
1448 return SPDie;
1449
Manman Ren73d697c2013-10-29 00:58:04 +00001450 DISubprogram SPDecl = SP.getFunctionDeclaration();
1451 if (SPDecl.isSubprogram())
1452 // Add subprogram definitions to the CU die directly.
David Blaikie2a80e442013-12-02 22:09:48 +00001453 ContextDIE = UnitDie.get();
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001454
1455 // DW_TAG_inlined_subroutine may refer to this DIE.
Manman Ren73d697c2013-10-29 00:58:04 +00001456 SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001457
Rafael Espindola79278362011-11-10 22:34:29 +00001458 DIE *DeclDie = NULL;
Manman Renb9512a72013-10-23 22:12:26 +00001459 if (SPDecl.isSubprogram())
Rafael Espindola79278362011-11-10 22:34:29 +00001460 DeclDie = getOrCreateSubprogramDIE(SPDecl);
Rafael Espindola79278362011-11-10 22:34:29 +00001461
Devang Patel89543712011-08-15 17:24:54 +00001462 // Add function template parameters.
1463 addTemplateParams(*SPDie, SP.getTemplateParams());
1464
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001465 if (DeclDie)
Rafael Espindola79278362011-11-10 22:34:29 +00001466 // Refer function declaration directly.
Manman Ren4c4b69c2013-10-11 23:58:05 +00001467 addDIEEntry(SPDie, dwarf::DW_AT_specification, DeclDie);
Rafael Espindola79278362011-11-10 22:34:29 +00001468
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001469 // Add the linkage name if we have one and it isn't in the Decl.
1470 StringRef LinkageName = SP.getLinkageName();
1471 if (!LinkageName.empty()) {
1472 if (SPDecl.isSubprogram() && !SPDecl.getLinkageName().empty())
1473 assert(SPDecl.getLinkageName() == SP.getLinkageName() &&
1474 "decl has a linkage name and it is different");
1475 else
1476 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1477 GlobalValue::getRealLinkageName(LinkageName));
Rafael Espindola79278362011-11-10 22:34:29 +00001478 }
Devang Patel89543712011-08-15 17:24:54 +00001479
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001480 // If this DIE is going to refer declaration info using AT_specification
1481 // then there is no need to add other attributes.
1482 if (DeclDie)
1483 return SPDie;
Eric Christopheracb71152012-08-23 22:52:55 +00001484
Devang Patel89543712011-08-15 17:24:54 +00001485 // Constructors and operators for anonymous aggregates do not have names.
1486 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001487 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001488
1489 addSourceLine(SPDie, SP);
1490
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001491 // Add the prototype if we have a prototype and we have a C like
1492 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001493 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001494 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001495 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001496 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001497 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001498
Devang Patel89543712011-08-15 17:24:54 +00001499 DICompositeType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001500 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1501 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001502
David Blaikie5174c842013-05-22 23:22:18 +00001503 DIArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001504 // Add a return type. If this is a type like a C/C++ void type we don't add a
1505 // return type.
Eric Christopher0df08e22013-08-08 07:40:37 +00001506 if (Args.getElement(0))
1507 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel89543712011-08-15 17:24:54 +00001508
1509 unsigned VK = SP.getVirtuality();
1510 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001511 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001512 DIELoc *Block = getDIELoc();
David Blaikief2443192013-10-21 17:28:37 +00001513 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1514 addUInt(Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1515 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001516 ContainingTypeMap.insert(
1517 std::make_pair(SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001518 }
1519
1520 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001521 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001522
Devang Patel89543712011-08-15 17:24:54 +00001523 // Add arguments. Do not add arguments for subprogram definition. They will
1524 // be handled while processing variables.
Adrian Prantl3f49c892014-02-25 19:57:42 +00001525 constructSubprogramArguments(*SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001526 }
1527
1528 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001529 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001530
1531 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001532 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001533
1534 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001535 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001536
1537 if (unsigned isa = Asm->getISAEncoding()) {
1538 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1539 }
1540
Adrian Prantl99c7af22013-12-18 21:48:19 +00001541 if (SP.isLValueReference())
1542 addFlag(SPDie, dwarf::DW_AT_reference);
1543
1544 if (SP.isRValueReference())
1545 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1546
Adrian Prantlef129fb2014-01-18 02:12:00 +00001547 if (SP.isProtected())
1548 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1549 dwarf::DW_ACCESS_protected);
1550 else if (SP.isPrivate())
1551 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1552 dwarf::DW_ACCESS_private);
1553 else
1554 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1555 dwarf::DW_ACCESS_public);
1556
1557 if (SP.isExplicit())
1558 addFlag(SPDie, dwarf::DW_AT_explicit);
1559
Devang Patel89543712011-08-15 17:24:54 +00001560 return SPDie;
1561}
1562
Devang Pateldfd6ec32011-08-15 17:57:41 +00001563// Return const expression if value is a GEP to access merged global
1564// constant. e.g.
1565// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1566static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1567 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1568 if (!CE || CE->getNumOperands() != 3 ||
1569 CE->getOpcode() != Instruction::GetElementPtr)
1570 return NULL;
1571
1572 // First operand points to a global struct.
1573 Value *Ptr = CE->getOperand(0);
1574 if (!isa<GlobalValue>(Ptr) ||
1575 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1576 return NULL;
1577
1578 // Second operand is zero.
1579 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1580 if (!CI || !CI->isZero())
1581 return NULL;
1582
1583 // Third operand is offset.
1584 if (!isa<ConstantInt>(CE->getOperand(2)))
1585 return NULL;
1586
1587 return CE;
1588}
1589
1590/// createGlobalVariableDIE - create global variable DIE.
Eric Christopher4287a492013-12-09 23:57:44 +00001591void DwarfCompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001592 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001593 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001594 return;
1595
David Blaikie5e390e42014-02-04 01:23:52 +00001596 assert(GV.isGlobalVariable());
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001597
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001598 DIScope GVContext = GV.getContext();
Adrian Prantl1a1647c2014-03-18 02:34:58 +00001599 DIType GTy = DD->resolve(GV.getType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001600
1601 // If this is a static data member definition, some attributes belong
1602 // to the declaration DIE.
1603 DIE *VariableDIE = NULL;
Manman Rene697d3c2013-02-01 23:54:37 +00001604 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001605 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1606 if (SDMDecl.Verify()) {
1607 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1608 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001609 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001610 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001611 }
1612
1613 // If this is not a static data member definition, create the variable
1614 // DIE and add the initial set of attributes to it.
1615 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001616 // Construct the context before querying for the existence of the DIE in
1617 // case such construction creates the DIE.
1618 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001619
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001620 // Add to map.
David Blaikie52c50202013-11-16 00:29:01 +00001621 VariableDIE = createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001622
1623 // Add name and type.
1624 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1625 addType(VariableDIE, GTy);
1626
1627 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001628 if (!GV.isLocalToUnit())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001629 addFlag(VariableDIE, dwarf::DW_AT_external);
1630
1631 // Add line number info.
1632 addSourceLine(VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001633 }
1634
Devang Pateldfd6ec32011-08-15 17:57:41 +00001635 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001636 bool addToAccelTable = false;
Eric Christopher0a917b72011-11-11 03:16:32 +00001637 DIE *VariableSpecDIE = NULL;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001638 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001639 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001640 addToAccelTable = true;
Eric Christopher4a741042014-02-16 08:46:55 +00001641 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001642 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001643 if (GV.getGlobal()->isThreadLocal()) {
1644 // FIXME: Make this work with -gsplit-dwarf.
1645 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1646 assert((PointerSize == 4 || PointerSize == 8) &&
1647 "Add support for other sizes if necessary");
1648 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001649 if (!DD->useSplitDwarf()) {
1650 // 1) Start with a constNu of the appropriate pointer size
Eric Christopher4a741042014-02-16 08:46:55 +00001651 addUInt(Loc, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001652 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001653 // 2) containing the (relocated) offset of the TLS variable
1654 // within the module's TLS block.
Eric Christopher4a741042014-02-16 08:46:55 +00001655 addExpr(Loc, dwarf::DW_FORM_udata,
David Blaikief1a6dea2014-02-15 19:34:03 +00001656 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym));
David Blaikie8466ca82013-07-01 23:55:52 +00001657 } else {
Eric Christopher4a741042014-02-16 08:46:55 +00001658 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1659 addUInt(Loc, dwarf::DW_FORM_udata,
David Blaikied75fb282014-04-23 21:20:10 +00001660 DD->getAddressPool().getIndex(Sym, /* TLS */ true));
David Blaikie8466ca82013-07-01 23:55:52 +00001661 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001662 // 3) followed by a custom OP to make the debugger do a TLS lookup.
Eric Christopher4a741042014-02-16 08:46:55 +00001663 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001664 } else {
1665 DD->addArangeLabel(SymbolCU(this, Sym));
Eric Christopher4a741042014-02-16 08:46:55 +00001666 addOpAddress(Loc, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001667 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001668 // Do not create specification DIE if context is either compile unit
1669 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001670 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001671 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001672 // Create specification DIE.
David Blaikie2a80e442013-12-02 22:09:48 +00001673 VariableSpecDIE = createAndAddDIE(dwarf::DW_TAG_variable, *UnitDie);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001674 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification, VariableDIE);
Eric Christopher4a741042014-02-16 08:46:55 +00001675 addBlock(VariableSpecDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001676 // A static member's declaration is already flagged as such.
1677 if (!SDMDecl.Verify())
1678 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001679 } else {
Eric Christopher4a741042014-02-16 08:46:55 +00001680 addBlock(VariableDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4996c702011-11-07 09:24:32 +00001681 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001682 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001683 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001684 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001685 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1686 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1687 // TAG_variable.
Eric Christopherc2697f82013-10-19 01:04:47 +00001688 addString(IsStaticMember && VariableSpecDIE ? VariableSpecDIE
1689 : VariableDIE,
Eric Christopheraf7eca22014-03-13 23:26:25 +00001690 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
1691 : dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001692 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001693 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001694 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001695 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001696 // emitting AT_const_value multiple times, we only add AT_const_value when
1697 // it is not a static member.
1698 if (!IsStaticMember)
Manman Renb3388602013-10-05 01:43:03 +00001699 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
David Blaikiea781b25b2013-11-17 21:55:13 +00001700 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001701 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001702 // GV is a merged global.
Eric Christopher4a741042014-02-16 08:46:55 +00001703 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Pateldfd6ec32011-08-15 17:57:41 +00001704 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001705 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1706 DD->addArangeLabel(SymbolCU(this, Sym));
Eric Christopher4a741042014-02-16 08:46:55 +00001707 addOpAddress(Loc, Sym);
1708 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001709 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
Eric Christopher4a741042014-02-16 08:46:55 +00001710 addUInt(Loc, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001711 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
Eric Christopher4a741042014-02-16 08:46:55 +00001712 addUInt(Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1713 addBlock(VariableDIE, dwarf::DW_AT_location, Loc);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001714 }
1715
Eric Christopherc12c2112011-11-11 01:55:22 +00001716 if (addToAccelTable) {
1717 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
David Blaikie2406a0622014-04-23 23:37:35 +00001718 DD->addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001719
Eric Christopherc12c2112011-11-11 01:55:22 +00001720 // If the linkage name is different than the name, go ahead and output
1721 // that as well into the name table.
1722 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
David Blaikie2406a0622014-04-23 23:37:35 +00001723 DD->addAccelName(GV.getLinkageName(), AddrDIE);
Eric Christopherc12c2112011-11-11 01:55:22 +00001724 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001725
1726 if (!GV.isLocalToUnit())
Eric Christopher2c8b7902013-10-17 02:06:06 +00001727 addGlobalName(GV.getName(), VariableSpecDIE ? VariableSpecDIE : VariableDIE,
1728 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001729}
1730
Devang Patel0e821f42011-04-12 23:21:44 +00001731/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001732void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
Manman Renb987e512013-10-29 00:53:03 +00001733 DIE *DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
Manman Ren4c4b69c2013-10-11 23:58:05 +00001734 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001735
Bill Wendling28fe9e72012-12-06 07:38:10 +00001736 // The LowerBound value defines the lower bounds which is typically zero for
1737 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1738 // Count == -1 then the array is unbounded and we do not emit
1739 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1740 // Count == 0, then the array has zero elements in which case we do not emit
1741 // an upper bound.
1742 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001743 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001744 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001745
Bill Wendling3495f9b2012-12-06 07:55:19 +00001746 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001747 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001748
1749 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001750 // FIXME: An unbounded array should reference the expression that defines
1751 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001752 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1753 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001754}
1755
1756/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001757void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001758 if (CTy.isVector())
Eric Christopherbb69a272012-08-24 01:14:27 +00001759 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001760
Eric Christopher0df08e22013-08-08 07:40:37 +00001761 // Emit the element type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001762 addType(&Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001763
1764 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001765 // FIXME: This type should be passed down from the front end
1766 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001767 DIE *IdxTy = getIndexTyDie();
1768 if (!IdxTy) {
David Blaikie12e00fc2014-04-03 06:28:20 +00001769 // Construct an integer type to use for indexes.
David Blaikie2a80e442013-12-02 22:09:48 +00001770 IdxTy = createAndAddDIE(dwarf::DW_TAG_base_type, *UnitDie);
David Blaikie12e00fc2014-04-03 06:28:20 +00001771 addString(IdxTy, dwarf::DW_AT_name, "sizetype");
1772 addUInt(IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
Devang Patel0e821f42011-04-12 23:21:44 +00001773 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
David Blaikie12e00fc2014-04-03 06:28:20 +00001774 dwarf::DW_ATE_unsigned);
Devang Patel0e821f42011-04-12 23:21:44 +00001775 setIndexTyDie(IdxTy);
1776 }
1777
1778 // Add subranges to array type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001779 DIArray Elements = CTy.getTypeArray();
Devang Patel0e821f42011-04-12 23:21:44 +00001780 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1781 DIDescriptor Element = Elements.getElement(i);
1782 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1783 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1784 }
1785}
1786
Eric Christopheraeb105f2013-11-11 18:52:39 +00001787/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001788void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopheraeb105f2013-11-11 18:52:39 +00001789 DIArray Elements = CTy.getTypeArray();
1790
1791 // Add enumerators to enumeration type.
1792 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001793 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001794 if (Enum.isEnumerator()) {
1795 DIE *Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001796 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001797 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001798 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001799 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1800 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001801 }
1802 }
1803 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1804 if (DTy) {
1805 addType(&Buffer, DTy);
1806 addFlag(&Buffer, dwarf::DW_AT_enum_class);
1807 }
Devang Patel0e821f42011-04-12 23:21:44 +00001808}
1809
Devang Patel89543712011-08-15 17:24:54 +00001810/// constructContainingTypeDIEs - Construct DIEs for types that contain
1811/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001812void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001813 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001814 CE = ContainingTypeMap.end();
1815 CI != CE; ++CI) {
Devang Patel89543712011-08-15 17:24:54 +00001816 DIE *SPDie = CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001817 DIDescriptor D(CI->second);
1818 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001819 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001820 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001821 if (!NDie)
1822 continue;
Manman Ren4c4b69c2013-10-11 23:58:05 +00001823 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, NDie);
Devang Patel89543712011-08-15 17:24:54 +00001824 }
1825}
1826
Devang Patel3acc70e2011-08-15 22:04:40 +00001827/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christophera5a79422013-12-09 23:32:48 +00001828DIE *DwarfUnit::constructVariableDIE(DbgVariable &DV, bool isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001829 StringRef Name = DV.getName();
Devang Patel3acc70e2011-08-15 22:04:40 +00001830
Devang Patel3acc70e2011-08-15 22:04:40 +00001831 // Define variable debug information entry.
Eric Christopher34a2c872013-11-15 01:43:19 +00001832 DIE *VariableDie = new DIE(DV.getTag());
1833 DbgVariable *AbsVar = DV.getAbstractVariable();
Devang Patel3acc70e2011-08-15 22:04:40 +00001834 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren4213c392013-05-29 17:16:59 +00001835 if (AbsDIE)
Manman Ren4c4b69c2013-10-11 23:58:05 +00001836 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin, AbsDIE);
Devang Patel3acc70e2011-08-15 22:04:40 +00001837 else {
David Blaikie715528b2013-08-19 03:34:03 +00001838 if (!Name.empty())
1839 addString(VariableDie, dwarf::DW_AT_name, Name);
Eric Christopher34a2c872013-11-15 01:43:19 +00001840 addSourceLine(VariableDie, DV.getVariable());
1841 addType(VariableDie, DV.getType());
Devang Patel3acc70e2011-08-15 22:04:40 +00001842 }
1843
Eric Christopher34a2c872013-11-15 01:43:19 +00001844 if (DV.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001845 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Patel3acc70e2011-08-15 22:04:40 +00001846
1847 if (isScopeAbstract) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001848 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001849 return VariableDie;
1850 }
1851
1852 // Add variable address.
1853
Eric Christopher34a2c872013-11-15 01:43:19 +00001854 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001855 if (Offset != ~0U) {
Eric Christophera27220f2014-03-05 22:41:20 +00001856 addLocationList(VariableDie, dwarf::DW_AT_location, Offset);
Eric Christopher34a2c872013-11-15 01:43:19 +00001857 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001858 return VariableDie;
1859 }
1860
Eric Christophercead0332011-10-03 15:49:20 +00001861 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001862 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001863 assert(DVInsn->getNumOperands() == 3);
1864 if (DVInsn->getOperand(0).isReg()) {
1865 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001866 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001867 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001868 MachineLocation Location(RegOp.getReg(),
1869 DVInsn->getOperand(1).getImm());
Eric Christopher34a2c872013-11-15 01:43:19 +00001870 addVariableAddress(DV, VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001871 } else if (RegOp.getReg())
Eric Christopher34a2c872013-11-15 01:43:19 +00001872 addVariableAddress(DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001873 } else if (DVInsn->getOperand(0).isImm())
Eric Christopher34a2c872013-11-15 01:43:19 +00001874 addConstantValue(VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001875 else if (DVInsn->getOperand(0).isFPImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001876 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001877 else if (DVInsn->getOperand(0).isCImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001878 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher34a2c872013-11-15 01:43:19 +00001879 isUnsignedDIType(DD, DV.getType()));
Eric Christopher78fcf4902013-07-03 01:08:30 +00001880
Eric Christopher34a2c872013-11-15 01:43:19 +00001881 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001882 return VariableDie;
1883 } else {
1884 // .. else use frame index.
Eric Christopher34a2c872013-11-15 01:43:19 +00001885 int FI = DV.getFrameIndex();
Devang Patel3acc70e2011-08-15 22:04:40 +00001886 if (FI != ~0) {
1887 unsigned FrameReg = 0;
1888 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopherc2697f82013-10-19 01:04:47 +00001889 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
Devang Patel3acc70e2011-08-15 22:04:40 +00001890 MachineLocation Location(FrameReg, Offset);
Eric Christopher34a2c872013-11-15 01:43:19 +00001891 addVariableAddress(DV, VariableDie, Location);
Devang Patel3acc70e2011-08-15 22:04:40 +00001892 }
1893 }
1894
Eric Christopher34a2c872013-11-15 01:43:19 +00001895 DV.setDIE(VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001896 return VariableDie;
1897}
1898
Manman Ren230ec862013-10-23 23:00:44 +00001899/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001900void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
Manman Renb987e512013-10-29 00:53:03 +00001901 DIE *MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001902 StringRef Name = DT.getName();
1903 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001904 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001905
Manman Ren93b30902013-10-08 18:42:58 +00001906 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001907
1908 addSourceLine(MemberDie, DT);
1909
Eric Christopherc2697f82013-10-19 01:04:47 +00001910 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001911
1912 // For C++, virtual base classes are not at fixed offset. Use following
1913 // expression to extract appropriate offset from vtable.
1914 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1915
Eric Christopher4a741042014-02-16 08:46:55 +00001916 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikief2443192013-10-21 17:28:37 +00001917 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1918 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1919 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1920 addUInt(VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1921 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1922 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1923 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001924
David Blaikief2443192013-10-21 17:28:37 +00001925 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001926 } else {
1927 uint64_t Size = DT.getSizeInBits();
1928 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1929 uint64_t OffsetInBytes;
1930
1931 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001932 // Handle bitfield, assume bytes are 8 bits.
1933 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1934 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001935
1936 uint64_t Offset = DT.getOffsetInBits();
1937 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1938 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1939 uint64_t FieldOffset = (HiMark - FieldSize);
1940 Offset -= FieldOffset;
1941
1942 // Maybe we need to work from the other end.
1943 if (Asm->getDataLayout().isLittleEndian())
1944 Offset = FieldSize - (Offset + Size);
1945 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1946
Adrian Prantlc67655a2014-01-28 18:13:47 +00001947 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001948 // field that includes this bit field.
1949 OffsetInBytes = FieldOffset >> 3;
1950 } else
1951 // This is not a bitfield.
1952 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001953
David Blaikie22b29a52014-01-03 01:30:05 +00001954 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001955 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie22b29a52014-01-03 01:30:05 +00001956 addUInt(MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1957 addUInt(MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
1958 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1959 } else
1960 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1961 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001962 }
Devang Patel0e821f42011-04-12 23:21:44 +00001963
1964 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001965 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001966 dwarf::DW_ACCESS_protected);
1967 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001968 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001969 dwarf::DW_ACCESS_private);
1970 // Otherwise C++ member and base classes are considered public.
Eric Christopher92331fd2012-11-21 00:34:38 +00001971 else
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_public);
1974 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001975 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001976 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001977
1978 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001979 if (MDNode *PNode = DT.getObjCProperty())
1980 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher92331fd2012-11-21 00:34:38 +00001981 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel44882172012-02-06 17:49:43 +00001982 PropertyDie);
1983
David Blaikie37fefc32012-12-13 22:43:07 +00001984 if (DT.isArtificial())
1985 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001986}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001987
Manman Renc6b63922013-10-14 20:33:57 +00001988/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001989DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001990 if (!DT.Verify())
1991 return NULL;
1992
Manman Renc6b63922013-10-14 20:33:57 +00001993 // Construct the context before querying for the existence of the DIE in case
1994 // such construction creates the DIE.
1995 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001996 assert(dwarf::isType(ContextDIE->getTag()) &&
1997 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001998
1999 DIE *StaticMemberDIE = getDIE(DT);
2000 if (StaticMemberDIE)
2001 return StaticMemberDIE;
2002
Manman Renb987e512013-10-29 00:53:03 +00002003 StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00002004
Manman Ren93b30902013-10-08 18:42:58 +00002005 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002006
2007 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
2008 addType(StaticMemberDIE, Ty);
2009 addSourceLine(StaticMemberDIE, DT);
2010 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
2011 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
2012
2013 // FIXME: We could omit private if the parent is a class_type, and
2014 // public if the parent is something else.
2015 if (DT.isProtected())
2016 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2017 dwarf::DW_ACCESS_protected);
2018 else if (DT.isPrivate())
2019 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2020 dwarf::DW_ACCESS_private);
2021 else
2022 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2023 dwarf::DW_ACCESS_public);
2024
2025 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Renb3388602013-10-05 01:43:03 +00002026 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikiea39a76e2013-01-20 01:18:01 +00002027 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
2028 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002029
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002030 return StaticMemberDIE;
2031}
David Blaikie6b288cf2013-10-30 20:42:41 +00002032
David Blaikied82b2372014-03-24 20:28:10 +00002033void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00002034 Asm->OutStreamer.AddComment("DWARF version number");
2035 Asm->EmitInt16(DD->getDwarfVersion());
2036 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00002037 // We share one abbreviations table across all units so it's always at the
2038 // start of the section. Use a relocatable offset where needed to ensure
2039 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002040 if (ASectionSym)
2041 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
2042 else
David Blaikie326e1fa2014-04-02 02:04:51 +00002043 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002044 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00002045 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2046 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
2047}
David Blaikiebc563272013-12-13 21:33:40 +00002048
Eric Christopher384f3fe2014-03-20 19:16:16 +00002049void DwarfUnit::addRange(RangeSpan Range) {
2050 // Only add a range for this unit if we're emitting full debug.
2051 if (getCUNode().getEmissionKind() == DIBuilder::FullDebug) {
2052 // If we have no current ranges just add the range and return, otherwise,
2053 // check the current section and CU against the previous section and CU we
2054 // emitted into and the subprogram was contained within. If these are the
2055 // same then extend our current range, otherwise add this as a new range.
2056 if (CURanges.size() == 0 ||
2057 this != DD->getPrevCU() ||
2058 Asm->getCurrentSection() != DD->getPrevSection()) {
2059 CURanges.push_back(Range);
2060 return;
2061 }
2062
2063 assert(&(CURanges.back().getEnd()->getSection()) ==
2064 &(Range.getEnd()->getSection()) &&
2065 "We can only append to a range in the same section!");
2066 CURanges.back().setEnd(Range.getEnd());
2067 }
2068}
2069
David Blaikie2494fdb2014-02-14 22:41:51 +00002070void DwarfCompileUnit::initStmtList(MCSymbol *DwarfLineSectionSym) {
2071 // Define start line table label for each Compile Unit.
2072 MCSymbol *LineTableStartSym =
David Blaikie34641612014-04-01 08:07:52 +00002073 Asm->OutStreamer.getDwarfLineTableSymbol(getUniqueID());
David Blaikie2494fdb2014-02-14 22:41:51 +00002074
David Blaikie60e63862014-02-14 23:58:13 +00002075 stmtListIndex = UnitDie->getValues().size();
2076
David Blaikie2494fdb2014-02-14 22:41:51 +00002077 // DW_AT_stmt_list is a offset of line number information for this
2078 // compile unit in debug_line section. For split dwarf this is
2079 // left in the skeleton CU and so not included.
2080 // The line table entries are not always emitted in assembly, so it
2081 // is not okay to use line_table_start here.
2082 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
David Blaikie34641612014-04-01 08:07:52 +00002083 addSectionLabel(UnitDie.get(), dwarf::DW_AT_stmt_list, LineTableStartSym);
David Blaikie2494fdb2014-02-14 22:41:51 +00002084 else
2085 addSectionDelta(UnitDie.get(), dwarf::DW_AT_stmt_list, LineTableStartSym,
2086 DwarfLineSectionSym);
2087}
2088
David Blaikie60e63862014-02-14 23:58:13 +00002089void DwarfCompileUnit::applyStmtList(DIE &D) {
2090 D.addValue(dwarf::DW_AT_stmt_list,
2091 UnitDie->getAbbrev().getData()[stmtListIndex].getForm(),
2092 UnitDie->getValues()[stmtListIndex]);
2093}
2094
David Blaikied82b2372014-03-24 20:28:10 +00002095void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
2096 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00002097 Asm->OutStreamer.AddComment("Type Signature");
2098 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
2099 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00002100 // In a skeleton type unit there is no type DIE so emit a zero offset.
2101 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
2102 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00002103}
2104
2105void DwarfTypeUnit::initSection(const MCSection *Section) {
2106 assert(!this->Section);
2107 this->Section = Section;
2108 // Since each type unit is contained in its own COMDAT section, the begin
2109 // label and the section label are the same. Using the begin label emission in
2110 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
2111 // the only other alternative of lazily constructing start-of-section labels
2112 // and storing a mapping in DwarfDebug (or AsmPrinter).
2113 this->SectionSym = this->LabelBegin =
2114 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2115 this->LabelEnd =
2116 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
2117 this->LabelRange = Asm->GetTempSymbol("gnu_ranges", getUniqueID());
2118}