blob: bf7860803c3a1ea1b1192ba0534c8536dc0b94c3 [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"
Eric Christopherd9134482014-08-04 21:25:23 +000033#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000034
35using namespace llvm;
36
Chandler Carruth1b9dde02014-04-22 02:02:50 +000037#define DEBUG_TYPE "dwarfdebug"
38
Eric Christopher4287a492013-12-09 23:57:44 +000039static cl::opt<bool>
40GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
41 cl::desc("Generate DWARF4 type units."),
42 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000043
David Blaikie2a80e442013-12-02 22:09:48 +000044/// Unit - Unit constructor.
David Blaikiebd579052014-04-28 21:14:27 +000045DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag, DICompileUnit Node,
David Blaikie92a2f8a2014-04-28 21:04:29 +000046 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000047 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
48 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr),
Craig Topper353eda42014-04-24 06:44:33 +000049 Skeleton(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000050 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
51 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000052 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
53}
54
David Blaikiebd579052014-04-28 21:14:27 +000055DwarfCompileUnit::DwarfCompileUnit(unsigned UID, DICompileUnit Node,
56 AsmPrinter *A, DwarfDebug *DW,
57 DwarfFile *DWU)
58 : DwarfUnit(UID, dwarf::DW_TAG_compile_unit, Node, A, DW, DWU) {
David Blaikie92a2f8a2014-04-28 21:04:29 +000059 insertDIE(Node, &getUnitDie());
Devang Patel0e821f42011-04-12 23:21:44 +000060}
61
David Blaikiebd579052014-04-28 21:14:27 +000062DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000063 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000064 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000065 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
66 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000067 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000068 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000069}
David Blaikie409dd9c2013-11-19 23:08:21 +000070
David Blaikie319a05f2013-12-02 19:33:10 +000071/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000072DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000073 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
74 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000075 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
76 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000077}
78
79/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
80/// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +000081DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000082 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
83 return Value;
84}
85
Bill Wendling3495f9b2012-12-06 07:55:19 +000086/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000087/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000088int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000089 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000090 default:
91 break;
92
93 case dwarf::DW_LANG_C89:
94 case dwarf::DW_LANG_C99:
95 case dwarf::DW_LANG_C:
96 case dwarf::DW_LANG_C_plus_plus:
97 case dwarf::DW_LANG_ObjC:
98 case dwarf::DW_LANG_ObjC_plus_plus:
99 return 0;
100
101 case dwarf::DW_LANG_Fortran77:
102 case dwarf::DW_LANG_Fortran90:
103 case dwarf::DW_LANG_Fortran95:
104 return 1;
105
106 // The languages below have valid values only if the DWARF version >= 4.
107 case dwarf::DW_LANG_Java:
108 case dwarf::DW_LANG_Python:
109 case dwarf::DW_LANG_UPC:
110 case dwarf::DW_LANG_D:
111 if (dwarf::DWARF_VERSION >= 4)
112 return 0;
113 break;
114
115 case dwarf::DW_LANG_Ada83:
116 case dwarf::DW_LANG_Ada95:
117 case dwarf::DW_LANG_Cobol74:
118 case dwarf::DW_LANG_Cobol85:
119 case dwarf::DW_LANG_Modula2:
120 case dwarf::DW_LANG_Pascal83:
121 case dwarf::DW_LANG_PLI:
122 if (dwarf::DWARF_VERSION >= 4)
123 return 1;
124 break;
125 }
126
127 return -1;
128}
129
Manman Ren4dbdc902013-10-31 17:54:35 +0000130/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000131static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000132 // When the MDNode can be part of the type system, the DIE can be shared
133 // across CUs.
134 // Combining type units and cross-CU DIE sharing is lower value (since
135 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
136 // level already) but may be implementable for some value in projects
137 // building multiple independent libraries with LTO and then linking those
138 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000139 return (D.isType() ||
140 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000141 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000142}
143
144/// getDIE - Returns the debug information entry map slot for the
145/// specified debug variable. We delegate the request to DwarfDebug
146/// when the DIE for this MDNode can be shared across CUs. The mappings
147/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000148DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000149 if (isShareableAcrossCUs(D))
150 return DD->getDIE(D);
151 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000152}
153
154/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
155/// when the DIE for this MDNode can be shared across CUs. The mappings
156/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000157void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000158 if (isShareableAcrossCUs(Desc)) {
159 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000160 return;
161 }
David Blaikie2ad00162013-11-15 23:09:13 +0000162 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000163}
164
Eric Christopherbb69a272012-08-24 01:14:27 +0000165/// addFlag - Add a flag that is true.
David Blaikie65a74662014-04-25 18:26:14 +0000166void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000167 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000168 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000169 else
David Blaikie65a74662014-04-25 18:26:14 +0000170 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000171}
172
Devang Patel0e821f42011-04-12 23:21:44 +0000173/// addUInt - Add an unsigned integer attribute data and value.
174///
David Blaikie65a74662014-04-25 18:26:14 +0000175void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000176 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000177 if (!Form)
178 Form = DIEInteger::BestForm(false, Integer);
179 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
180 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000181 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000182}
183
David Blaikie65a74662014-04-25 18:26:14 +0000184void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000185 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000186}
187
188/// addSInt - Add an signed integer attribute data and value.
189///
David Blaikie65a74662014-04-25 18:26:14 +0000190void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000191 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000192 if (!Form)
193 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000194 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000195 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000196}
197
David Blaikie65a74662014-04-25 18:26:14 +0000198void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000199 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000200 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000201}
202
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000203/// addString - Add a string attribute data and value. We always emit a
204/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000205/// more predictable sizes. In the case of split dwarf we emit an index
206/// into another table which gets us the static offset into the string
207/// table.
David Blaikie65a74662014-04-25 18:26:14 +0000208void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000209 StringRef String) {
Eric Christopher05893f42013-12-30 18:32:31 +0000210
211 if (!DD->useSplitDwarf())
212 return addLocalString(Die, Attribute, String);
213
David Blaikiedaefdbf2014-04-25 21:34:35 +0000214 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000215 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000216 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000217 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000218}
219
220/// addLocalString - Add a string attribute data and value. This is guaranteed
221/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000222void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000223 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000224 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000225 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000226 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000227 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000228 else {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000229 MCSymbol *StringPool = DU->getStringPool().getSectionSymbol();
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000230 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000231 }
Eric Christopher05893f42013-12-30 18:32:31 +0000232 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000233 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000234}
235
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000236/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000237///
David Blaikie65a74662014-04-25 18:26:14 +0000238void DwarfUnit::addExpr(DIELoc &Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000239 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikie65a74662014-04-25 18:26:14 +0000240 Die.addValue((dwarf::Attribute)0, Form, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000241}
242
Eric Christophera27220f2014-03-05 22:41:20 +0000243/// addLocationList - Add a Dwarf loclistptr attribute data and value.
244///
David Blaikie65a74662014-04-25 18:26:14 +0000245void DwarfUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera27220f2014-03-05 22:41:20 +0000246 unsigned Index) {
247 DIEValue *Value = new (DIEValueAllocator) DIELocList(Index);
248 dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
249 : dwarf::DW_FORM_data4;
David Blaikie65a74662014-04-25 18:26:14 +0000250 Die.addValue(Attribute, Form, Value);
Eric Christophera27220f2014-03-05 22:41:20 +0000251}
252
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000253/// addLabel - Add a Dwarf label attribute data and value.
254///
David Blaikie65a74662014-04-25 18:26:14 +0000255void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000256 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000257 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000258 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000259}
260
David Blaikie65a74662014-04-25 18:26:14 +0000261void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000262 addLabel(Die, (dwarf::Attribute)0, Form, Label);
263}
264
Eric Christopher33ff6972013-11-21 23:46:41 +0000265/// addSectionLabel - Add a Dwarf section label attribute data and value.
266///
David Blaikie65a74662014-04-25 18:26:14 +0000267void DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000268 const MCSymbol *Label) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000269 if (DD->getDwarfVersion() >= 4)
270 addLabel(Die, Attribute, dwarf::DW_FORM_sec_offset, Label);
271 else
272 addLabel(Die, Attribute, dwarf::DW_FORM_data4, Label);
273}
274
275/// addSectionOffset - Add an offset into a section attribute data and value.
276///
David Blaikie65a74662014-04-25 18:26:14 +0000277void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000278 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000279 if (DD->getDwarfVersion() >= 4)
280 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
281 else
282 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
283}
284
Eric Christopher962c9082013-01-15 23:56:56 +0000285/// addLabelAddress - Add a dwarf label attribute data and value using
286/// DW_FORM_addr or DW_FORM_GNU_addr_index.
287///
David Blaikie65a74662014-04-25 18:26:14 +0000288void DwarfCompileUnit::addLabelAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000289 const MCSymbol *Label) {
290
David Blaikiec42f9ac2014-09-07 17:31:42 +0000291 if (!DD->useSplitDwarf() || !Skeleton)
Eric Christopher384f3fe2014-03-20 19:16:16 +0000292 return addLocalLabelAddress(Die, Attribute, Label);
293
Alexey Samsonov4436bf02013-10-03 08:54:43 +0000294 if (Label)
295 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton21101b32013-09-19 23:21:01 +0000296
David Blaikied75fb282014-04-23 21:20:10 +0000297 unsigned idx = DD->getAddressPool().getIndex(Label);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000298 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
David Blaikie65a74662014-04-25 18:26:14 +0000299 Die.addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000300}
301
David Blaikie65a74662014-04-25 18:26:14 +0000302void DwarfCompileUnit::addLocalLabelAddress(DIE &Die,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000303 dwarf::Attribute Attribute,
304 const MCSymbol *Label) {
305 if (Label)
306 DD->addArangeLabel(SymbolCU(this, Label));
307
David Blaikie65a74662014-04-25 18:26:14 +0000308 Die.addValue(Attribute, dwarf::DW_FORM_addr,
309 Label ? (DIEValue *)new (DIEValueAllocator) DIELabel(Label)
310 : new (DIEValueAllocator) DIEInteger(0));
Eric Christopher962c9082013-01-15 23:56:56 +0000311}
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///
David Blaikie65a74662014-04-25 18:26:14 +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///
David Blaikie65a74662014-04-25 18:26:14 +0000345void DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000346 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000347 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000348 Die.addValue(Attribute, DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
349 : dwarf::DW_FORM_data4,
350 Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000351}
352
David Blaikie65a74662014-04-25 18:26:14 +0000353void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000354 const MCSymbol *Hi, const MCSymbol *Lo) {
355 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000356 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000357}
358
Devang Patel0e821f42011-04-12 23:21:44 +0000359/// addDIEEntry - Add a DIE attribute data and value.
360///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000361void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000362 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
363}
364
David Blaikie65a74662014-04-25 18:26:14 +0000365void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000366 // Flag the type unit reference as a declaration so that if it contains
367 // members (implicit special members, static data member definitions, member
368 // declarations for definitions in this CU, etc) consumers don't get confused
369 // and think this is a full definition.
370 addFlag(Die, dwarf::DW_AT_declaration);
371
David Blaikie65a74662014-04-25 18:26:14 +0000372 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
373 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000374}
375
David Blaikie65a74662014-04-25 18:26:14 +0000376void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000377 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000378 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000379 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000380 if (!DieCU)
381 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000382 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000383 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000384 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000385 Die.addValue(Attribute,
386 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
387 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000388}
389
Manman Renb987e512013-10-29 00:53:03 +0000390/// Create a DIE with the given Tag, add the DIE to its parent, and
391/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000392DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000393 assert(Tag != dwarf::DW_TAG_auto_variable &&
394 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000395 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000396 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000397 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000398 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000399 return Die;
400}
401
Devang Patel0e821f42011-04-12 23:21:44 +0000402/// addBlock - Add block data.
403///
David Blaikie65a74662014-04-25 18:26:14 +0000404void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000405 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000406 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000407 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000408}
409
David Blaikie65a74662014-04-25 18:26:14 +0000410void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000411 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000412 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000413 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000414 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000415}
416
417/// addSourceLine - Add location information to specified debug information
418/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000419void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000420 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000421 if (Line == 0)
422 return;
David Blaikie101613e2014-02-12 00:11:25 +0000423
David Blaikie4a2f95f2014-03-18 01:17:26 +0000424 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000425 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000426 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
427 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000428}
429
430/// addSourceLine - Add location information to specified debug information
431/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000432void DwarfUnit::addSourceLine(DIE &Die, DIVariable V) {
David Blaikie101613e2014-02-12 00:11:25 +0000433 assert(V.isVariable());
434
Eric Christopher89a575c2014-02-12 22:38:04 +0000435 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
436 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000437}
438
439/// addSourceLine - Add location information to specified debug information
440/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000441void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000442 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000443
David Blaikie101613e2014-02-12 00:11:25 +0000444 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000445}
446
447/// addSourceLine - Add location information to specified debug information
448/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000449void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000450 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000451
David Blaikie101613e2014-02-12 00:11:25 +0000452 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000453}
454
455/// addSourceLine - Add location information to specified debug information
456/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000457void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000458 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000459
David Blaikie101613e2014-02-12 00:11:25 +0000460 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000461}
462
463/// addSourceLine - Add location information to specified debug information
464/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000465void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000466 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000467
Eric Christopher70e1bd82012-03-29 08:42:56 +0000468 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000469 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
470 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000471}
472
473/// addSourceLine - Add location information to specified debug information
474/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000475void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000476 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000477
David Blaikie101613e2014-02-12 00:11:25 +0000478 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000479}
480
Eric Christopher92331fd2012-11-21 00:34:38 +0000481/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000482/// DbgVariable based on provided MachineLocation.
David Blaikie65a74662014-04-25 18:26:14 +0000483void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000484 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000485 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000486 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000487 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000488 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
489 else
David Blaikieea2605d2013-06-20 00:25:24 +0000490 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000491 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000492}
493
Devang Patelba5fbf12011-04-26 19:06:18 +0000494/// addRegisterOp - Add register operand.
Adrian Prantlb1416832014-08-01 22:11:58 +0000495// FIXME: Ideally, this would share the implementation with
496// AsmPrinter::EmitDwarfRegOpPiece.
497void DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
498 unsigned SizeInBits, unsigned OffsetInBits) {
Eric Christopherd9134482014-08-04 21:25:23 +0000499 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000500 int DWReg = RI->getDwarfRegNum(Reg, false);
501 bool isSubRegister = DWReg < 0;
502
503 unsigned Idx = 0;
504
505 // Go up the super-register chain until we hit a valid dwarf register number.
506 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
507 DWReg = RI->getDwarfRegNum(*SR, false);
508 if (DWReg >= 0)
509 Idx = RI->getSubRegIndex(*SR, Reg);
510 }
511
512 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000513 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000514 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
515 return;
516 }
517
Adrian Prantlb1416832014-08-01 22:11:58 +0000518 // Emit register.
Devang Patelba5fbf12011-04-26 19:06:18 +0000519 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000520 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000521 else {
David Blaikief2443192013-10-21 17:28:37 +0000522 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
523 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000524 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000525
Adrian Prantlb1416832014-08-01 22:11:58 +0000526 // Emit mask.
527 bool isPiece = SizeInBits > 0;
528 if (isSubRegister || isPiece) {
529 const unsigned SizeOfByte = 8;
530 unsigned RegSizeInBits = RI->getSubRegIdxSize(Idx);
531 unsigned RegOffsetInBits = RI->getSubRegIdxOffset(Idx);
532 unsigned PieceSizeInBits = std::max(SizeInBits, RegSizeInBits);
533 unsigned PieceOffsetInBits = OffsetInBits ? OffsetInBits : RegOffsetInBits;
534 assert(RegSizeInBits >= SizeInBits && "register smaller than value");
535
536 if (RegOffsetInBits != PieceOffsetInBits) {
537 // Manually shift the value into place, since the DW_OP_piece
538 // describes the part of the variable, not the position of the
539 // subregister.
540 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
541 addUInt(TheDie, dwarf::DW_FORM_data1, RegOffsetInBits);
542 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_shr);
543 }
544
545 if (PieceOffsetInBits > 0 || PieceSizeInBits % SizeOfByte) {
546 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000547 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000548 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits);
549 addUInt(TheDie, dwarf::DW_FORM_data1, PieceOffsetInBits);
550 } else {
551 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000552 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000553 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits/SizeOfByte);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000554 }
555 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000556}
557
558/// addRegisterOffset - Add register offset.
David Blaikie65a74662014-04-25 18:26:14 +0000559void DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000560 int64_t Offset) {
Eric Christopherd9134482014-08-04 21:25:23 +0000561 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000562 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
Eric Christopherd9134482014-08-04 21:25:23 +0000563 const TargetRegisterInfo *TRI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000564 if (Reg == TRI->getFrameRegister(*Asm->MF))
565 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000566 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000567 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000568 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000569 else {
David Blaikief2443192013-10-21 17:28:37 +0000570 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
571 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000572 }
David Blaikief2443192013-10-21 17:28:37 +0000573 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000574}
575
576/// addAddress - Add an address attribute to a die based on the location
577/// provided.
David Blaikie65a74662014-04-25 18:26:14 +0000578void DwarfUnit::addAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000579 const MachineLocation &Location, bool Indirect) {
Eric Christopher4a741042014-02-16 08:46:55 +0000580 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patelba5fbf12011-04-26 19:06:18 +0000581
David Blaikieea2605d2013-06-20 00:25:24 +0000582 if (Location.isReg() && !Indirect)
Adrian Prantlb1416832014-08-01 22:11:58 +0000583 addRegisterOpPiece(*Loc, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000584 else {
David Blaikie65a74662014-04-25 18:26:14 +0000585 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000586 if (Indirect && !Location.isReg()) {
David Blaikie65a74662014-04-25 18:26:14 +0000587 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000588 }
589 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000590
591 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000592 addBlock(Die, Attribute, Loc);
Devang Patelba5fbf12011-04-26 19:06:18 +0000593}
594
Devang Patel0e821f42011-04-12 23:21:44 +0000595/// addComplexAddress - Start with the address based on the location provided,
596/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000597/// given the extra address information encoded in the DbgVariable, starting
598/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000599///
David Blaikie65a74662014-04-25 18:26:14 +0000600void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000601 dwarf::Attribute Attribute,
602 const MachineLocation &Location) {
Eric Christopher4a741042014-02-16 08:46:55 +0000603 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000604 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000605 unsigned i = 0;
606 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000607 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000608 // If first address element is OpPlus then emit
609 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
David Blaikie65a74662014-04-25 18:26:14 +0000610 addRegisterOffset(*Loc, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000611 i = 2;
Adrian Prantlb1416832014-08-01 22:11:58 +0000612 } else if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpDeref) {
613 addRegisterOpPiece(*Loc, Location.getReg(),
614 DV.getVariable().getPieceSize(),
615 DV.getVariable().getPieceOffset());
616 i = 3;
Devang Patel3e021532011-04-28 02:22:40 +0000617 } else
Adrian Prantlb1416832014-08-01 22:11:58 +0000618 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000619 } else
David Blaikie65a74662014-04-25 18:26:14 +0000620 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000621
Eric Christopherc2697f82013-10-19 01:04:47 +0000622 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000623 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000624 if (Element == DIBuilder::OpPlus) {
David Blaikie65a74662014-04-25 18:26:14 +0000625 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
626 addUInt(*Loc, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Adrian Prantlb1416832014-08-01 22:11:58 +0000627
Devang Patel0e821f42011-04-12 23:21:44 +0000628 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000629 if (!Location.isReg())
David Blaikie65a74662014-04-25 18:26:14 +0000630 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Adrian Prantlb1416832014-08-01 22:11:58 +0000631
632 } else if (Element == DIBuilder::OpPiece) {
633 const unsigned SizeOfByte = 8;
634 unsigned PieceOffsetInBits = DV.getAddrElement(++i)*SizeOfByte;
635 unsigned PieceSizeInBits = DV.getAddrElement(++i)*SizeOfByte;
636 // Emit DW_OP_bit_piece Size Offset.
637 assert(PieceSizeInBits > 0 && "piece has zero size");
638 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
639 addUInt(*Loc, dwarf::DW_FORM_udata, PieceSizeInBits);
640 addUInt(*Loc, dwarf::DW_FORM_udata, PieceOffsetInBits);
641
Eric Christopherc2697f82013-10-19 01:04:47 +0000642 } else
643 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000644 }
645
646 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000647 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000648}
649
650/* Byref variables, in Blocks, are declared by the programmer as "SomeType
651 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
652 gives the variable VarName either the struct, or a pointer to the struct, as
653 its type. This is necessary for various behind-the-scenes things the
654 compiler needs to do with by-reference variables in Blocks.
655
656 However, as far as the original *programmer* is concerned, the variable
657 should still have type 'SomeType', as originally declared.
658
659 The function getBlockByrefType dives into the __Block_byref_x_VarName
660 struct to find the original type of the variable, which is then assigned to
661 the variable's Debug Information Entry as its real type. So far, so good.
662 However now the debugger will expect the variable VarName to have the type
663 SomeType. So we need the location attribute for the variable to be an
664 expression that explains to the debugger how to navigate through the
665 pointers and struct to find the actual variable of type SomeType.
666
667 The following function does just that. We start by getting
668 the "normal" location for the variable. This will be the location
669 of either the struct __Block_byref_x_VarName or the pointer to the
670 struct __Block_byref_x_VarName.
671
672 The struct will look something like:
673
674 struct __Block_byref_x_VarName {
675 ... <various fields>
676 struct __Block_byref_x_VarName *forwarding;
677 ... <various other fields>
678 SomeType VarName;
679 ... <maybe more fields>
680 };
681
682 If we are given the struct directly (as our starting point) we
683 need to tell the debugger to:
684
685 1). Add the offset of the forwarding field.
686
687 2). Follow that pointer to get the real __Block_byref_x_VarName
688 struct to use (the real one may have been copied onto the heap).
689
690 3). Add the offset for the field VarName, to find the actual variable.
691
692 If we started with a pointer to the struct, then we need to
693 dereference that pointer first, before the other steps.
694 Translating this into DWARF ops, we will need to append the following
695 to the current location description for the variable:
696
697 DW_OP_deref -- optional, if we start with a pointer
698 DW_OP_plus_uconst <forward_fld_offset>
699 DW_OP_deref
700 DW_OP_plus_uconst <varName_fld_offset>
701
702 That is what this function does. */
703
704/// addBlockByrefAddress - Start with the address based on the location
705/// provided, and generate the DWARF information necessary to find the
706/// actual Block variable (navigating the Block struct) based on the
707/// starting location. Add the DWARF information to the die. For
708/// more information, read large comment just above here.
709///
David Blaikie65a74662014-04-25 18:26:14 +0000710void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000711 dwarf::Attribute Attribute,
712 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000713 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000714 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000715 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000716 bool isPointer = false;
717
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000718 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000719
720 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000721 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000722 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000723 isPointer = true;
724 }
725
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000726 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000727
728 // Find the __forwarding field and the variable field in the __Block_byref
729 // struct.
Manman Renab8ffba2014-07-28 19:14:13 +0000730 DIArray Fields = blockStruct.getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000731 DIDerivedType varField;
732 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000733
734 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000735 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000736 StringRef fieldName = DT.getName();
737 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000738 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000739 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000740 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000741 }
742
743 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000744 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
745 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000746
747 // Decode the original location, and use that as the start of the byref
748 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000749 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000750
Eric Christopheref9d7102012-07-04 02:02:18 +0000751 if (Location.isReg())
Adrian Prantlb1416832014-08-01 22:11:58 +0000752 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000753 else
David Blaikie65a74662014-04-25 18:26:14 +0000754 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000755
756 // If we started with a pointer to the __Block_byref... struct, then
757 // the first thing we need to do is dereference the pointer (DW_OP_deref).
758 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000759 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000760
761 // Next add the offset for the '__forwarding' field:
762 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
763 // adding the offset if it's 0.
764 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000765 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
766 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000767 }
768
769 // Now dereference the __forwarding field to get to the real __Block_byref
770 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000771 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000772
773 // Now that we've got the real __Block_byref... struct, add the offset
774 // for the variable's field to get to the location of the actual variable:
775 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
776 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000777 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
778 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000779 }
780
781 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000782 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000783}
784
Manman Renb3388602013-10-05 01:43:03 +0000785/// Return true if type encoding is unsigned.
786static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
787 DIDerivedType DTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000788 if (DTy.isDerivedType()) {
David Blaikie2af1c802014-05-20 18:21:51 +0000789 dwarf::Tag T = (dwarf::Tag)Ty.getTag();
790 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000791 // null pointer constant emission.
792 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
793 // here, but accept them for now due to a bug in SROA producing bogus
794 // dbg.values.
David Blaikie2af1c802014-05-20 18:21:51 +0000795 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000796 T == dwarf::DW_TAG_ptr_to_member_type ||
797 T == dwarf::DW_TAG_reference_type ||
798 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000799 return true;
800 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
801 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000802 T == dwarf::DW_TAG_restrict_type ||
803 T == dwarf::DW_TAG_enumeration_type);
David Blaikie2af1c802014-05-20 18:21:51 +0000804 if (DITypeRef Deriv = DTy.getTypeDerivedFrom())
805 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000806 // FIXME: Enums without a fixed underlying type have unknown signedness
807 // here, leading to incorrectly emitted constants.
808 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
809 return false;
810 }
Manman Renb3388602013-10-05 01:43:03 +0000811
812 DIBasicType BTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000813 assert(BTy.isBasicType());
David Blaikie60cae1b2014-05-11 16:08:41 +0000814 unsigned Encoding = BTy.getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000815 assert((Encoding == dwarf::DW_ATE_unsigned ||
816 Encoding == dwarf::DW_ATE_unsigned_char ||
817 Encoding == dwarf::DW_ATE_signed ||
818 Encoding == dwarf::DW_ATE_signed_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000819 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean) &&
820 "Unsupported encoding");
David Blaikie60cae1b2014-05-11 16:08:41 +0000821 return (Encoding == dwarf::DW_ATE_unsigned ||
822 Encoding == dwarf::DW_ATE_unsigned_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000823 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean);
Manman Renb3388602013-10-05 01:43:03 +0000824}
825
826/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000827static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000828 unsigned Tag = Ty.getTag();
829
830 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
831 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
832 Tag != dwarf::DW_TAG_restrict_type)
833 return Ty.getSizeInBits();
834
835 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
836
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000837 // If this type is not derived from any type or the type is a declaration then
838 // take conservative approach.
839 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000840 return Ty.getSizeInBits();
841
842 // If this is a derived type, go ahead and get the base type, unless it's a
843 // reference then it's just the size of the field. Pointer types have no need
844 // of this since they're a different type of qualification on the type.
845 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
846 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
847 return Ty.getSizeInBits();
848
849 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000850 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000851
852 return BaseType.getSizeInBits();
853}
854
Devang Patel0e821f42011-04-12 23:21:44 +0000855/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000856void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000857 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000858 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
859 APFloat FPImm = MO.getFPImm()->getValueAPF();
860
861 // Get the raw data form of the floating point.
862 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000863 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000864
865 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000866 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000867 int Incr = (LittleEndian ? 1 : -1);
868 int Start = (LittleEndian ? 0 : NumBytes - 1);
869 int Stop = (LittleEndian ? NumBytes : -1);
870
871 // Output the constant to DWARF one byte at a time.
872 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000873 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000874
David Blaikief2443192013-10-21 17:28:37 +0000875 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000876}
877
David Blaikiea39a76e2013-01-20 01:18:01 +0000878/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000879void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000880 // Pass this down to addConstantValue as an unsigned bag of bits.
881 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000882}
883
Devang Patel0e821f42011-04-12 23:21:44 +0000884/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000885void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
886 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000887}
888
David Blaikiec05c8f42014-05-11 15:47:39 +0000889/// addConstantValue - Add constant value entry in variable DIE.
890void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
891 DIType Ty) {
892 assert(MO.isImm() && "Invalid machine operand!");
893
David Blaikie60cae1b2014-05-11 16:08:41 +0000894 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000895}
896
David Blaikie60cae1b2014-05-11 16:08:41 +0000897void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000898 // FIXME: This is a bit conservative/simple - it emits negative values always
899 // sign extended to 64 bits rather than minimizing the number of bytes.
900 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000901 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000902}
903
David Blaikiec0a28412014-05-11 15:56:59 +0000904void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
905 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
906}
907
David Blaikiea39a76e2013-01-20 01:18:01 +0000908// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000909void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000910 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000911 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000912 addConstantValue(Die, Unsigned,
913 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000914 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000915 }
916
917 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
918
919 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000920 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000921
922 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000923 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000924
925 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000926 for (int i = 0; i < NumBytes; i++) {
927 uint8_t c;
928 if (LittleEndian)
929 c = Ptr64[i / 8] >> (8 * (i & 7));
930 else
931 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000932 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000933 }
Devang Patel0e821f42011-04-12 23:21:44 +0000934
David Blaikief2443192013-10-21 17:28:37 +0000935 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000936}
937
Eric Christopher25e35092013-04-22 07:47:40 +0000938/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000939void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000940 // Add template parameters.
941 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
942 DIDescriptor Element = TParams.getElement(i);
943 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000944 constructTemplateTypeParameterDIE(Buffer,
945 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000946 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000947 constructTemplateValueParameterDIE(Buffer,
948 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000949 }
Devang Patel0e821f42011-04-12 23:21:44 +0000950}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000951
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000952/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000953DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000954 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000955 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000956 if (Context.isType())
957 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000958 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000959 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000960 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000961 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000962 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000963}
964
Eric Christophera5a79422013-12-09 23:32:48 +0000965DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000966 DIScope Context = resolve(Ty.getContext());
967 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000968
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000969 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000970 return TyDIE;
971
972 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000973 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000974
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000975 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000976
David Blaikie9d861be2013-11-26 00:15:27 +0000977 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000978 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000979}
980
Devang Patel0e821f42011-04-12 23:21:44 +0000981/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
982/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000983DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000984 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000985 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000986
David Blaikie32887552013-11-14 22:25:02 +0000987 DIType Ty(TyNode);
988 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000989 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000990 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000991
David Blaikieee11f222014-04-12 05:35:59 +0000992 // DW_TAG_restrict_type is not supported in DWARF2
993 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
994 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
995
Manman Renf4c339e2013-10-29 22:49:29 +0000996 // Construct the context before querying for the existence of the DIE in case
997 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000998 DIScope Context = resolve(Ty.getContext());
999 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +00001000 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +00001001
David Blaikie65a74662014-04-25 18:26:14 +00001002 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +00001003 return TyDIE;
1004
1005 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001006 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +00001007
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001008 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +00001009
Devang Patel0e821f42011-04-12 23:21:44 +00001010 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +00001011 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +00001012 else if (Ty.isCompositeType()) {
1013 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +00001014 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
1015 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +00001016 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +00001017 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +00001018 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +00001019 }
David Blaikie65a74662014-04-25 18:26:14 +00001020 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +00001021 } else {
Devang Patel0e821f42011-04-12 23:21:44 +00001022 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +00001023 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +00001024 }
David Blaikie2ea848b2013-11-19 22:51:04 +00001025
David Blaikie65a74662014-04-25 18:26:14 +00001026 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +00001027}
1028
Eric Christophera5a79422013-12-09 23:32:48 +00001029void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001030 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +00001031 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
1032 bool IsImplementation = 0;
1033 if (Ty.isCompositeType()) {
1034 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001035 // A runtime language of 0 actually means C/C++ and that any
1036 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +00001037 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +00001038 }
Eric Christophercf7289f2013-09-05 18:20:16 +00001039 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +00001040 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +00001041
David Blaikieadbea1e2014-03-12 03:34:38 +00001042 if ((!Context || Context.isCompileUnit() || Context.isFile() ||
1043 Context.isNameSpace()) &&
1044 getCUNode().getEmissionKind() != DIBuilder::LineTablesOnly)
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001045 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] =
1046 &TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +00001047 }
Devang Patel0e821f42011-04-12 23:21:44 +00001048}
1049
1050/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +00001051void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +00001052 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001053
1054 // Check for pre-existence.
1055 DIEEntry *Entry = getDIEEntry(Ty);
1056 // If it exists then use the existing value.
1057 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001058 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001059 return;
1060 }
1061
1062 // Construct type.
1063 DIE *Buffer = getOrCreateTypeDIE(Ty);
1064
1065 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001066 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001067 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001068 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001069}
1070
Eric Christopher9c58f312013-09-20 22:20:55 +00001071/// addGlobalName - Add a new global name to the compile unit.
David Blaikie65a74662014-04-25 18:26:14 +00001072void DwarfUnit::addGlobalName(StringRef Name, DIE &Die, DIScope Context) {
David Blaikieadbea1e2014-03-12 03:34:38 +00001073 if (getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1074 return;
Eric Christopher8dba0d52013-10-19 01:04:42 +00001075 std::string FullName = getParentContextString(Context) + Name.str();
David Blaikie65a74662014-04-25 18:26:14 +00001076 GlobalNames[FullName] = &Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001077}
1078
Eric Christopher2c8b7902013-10-17 02:06:06 +00001079/// getParentContextString - Walks the metadata parent chain in a language
1080/// specific manner (using the compile unit language) and returns
1081/// it as a string. This is done at the metadata level because DIEs may
1082/// not currently have been added to the parent context and walking the
1083/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001084std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001085 if (!Context)
1086 return "";
1087
1088 // FIXME: Decide whether to implement this for non-C++ languages.
1089 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1090 return "";
1091
Eric Christopher8dba0d52013-10-19 01:04:42 +00001092 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001093 SmallVector<DIScope, 1> Parents;
1094 while (!Context.isCompileUnit()) {
1095 Parents.push_back(Context);
1096 if (Context.getContext())
1097 Context = resolve(Context.getContext());
1098 else
1099 // Structure, etc types will have a NULL context if they're at the top
1100 // level.
1101 break;
1102 }
1103
1104 // Reverse iterate over our list to go from the outermost construct to the
1105 // innermost.
1106 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1107 E = Parents.rend();
1108 I != E; ++I) {
1109 DIScope Ctx = *I;
1110 StringRef Name = Ctx.getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001111 if (Name.empty() && Ctx.isNameSpace())
1112 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +00001113 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001114 CS += Name;
1115 CS += "::";
1116 }
1117 }
1118 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001119}
1120
1121/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001122void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001123 // Get core information.
1124 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001125 // Add name if not anonymous or intermediate type.
1126 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001127 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001128
David Blaikiefac56122013-10-04 23:21:16 +00001129 // An unspecified type only has a name attribute.
1130 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001131 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001132
David Blaikie65a74662014-04-25 18:26:14 +00001133 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001134 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001135
Devang Patel0e821f42011-04-12 23:21:44 +00001136 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +00001137 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001138}
1139
1140/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001141void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001142 // Get core information.
1143 StringRef Name = DTy.getName();
1144 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001145 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001146
1147 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001148 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001149 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +00001150 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001151
1152 // Add name if not anonymous or intermediate type.
1153 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001154 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001155
1156 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001157 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie65a74662014-04-25 18:26:14 +00001158 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001159
David Blaikie5d3249b2013-01-07 05:51:15 +00001160 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +00001161 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001162 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001163 // Add source line info if available and TyDesc is not a forward declaration.
1164 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001165 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001166}
1167
Adrian Prantl3f49c892014-02-25 19:57:42 +00001168/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +00001169void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001170 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renf8a19672014-07-28 22:24:06 +00001171 DIType Ty = resolve(Args.getElement(i));
Manman Renf93ac4b2014-07-29 18:20:39 +00001172 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001173 assert(i == N-1 && "Unspecified parameter must be the last argument");
1174 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
1175 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001176 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
1177 addType(Arg, DIType(Ty));
Adrian Prantl69140d22014-02-25 22:27:14 +00001178 if (DIType(Ty).isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001179 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001180 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001181 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001182}
1183
Devang Patel0e821f42011-04-12 23:21:44 +00001184/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001185void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001186 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001187 StringRef Name = CTy.getName();
1188
1189 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001190 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001191
1192 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001193 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001194 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001195 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001196 case dwarf::DW_TAG_enumeration_type:
1197 constructEnumTypeDIE(Buffer, CTy);
1198 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001199 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001200 // Add return type. A void return won't have a type.
Manman Renf8a19672014-07-28 22:24:06 +00001201 DITypeArray Elements = DISubroutineType(CTy).getTypeArray();
1202 DIType RTy(resolve(Elements.getElement(0)));
Eric Christopher0df08e22013-08-08 07:40:37 +00001203 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001204 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001205
1206 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001207 if (Elements.getNumElements() == 2 &&
Manman Ren72b07e82014-07-29 22:58:13 +00001208 !Elements.getElement(1))
Adrian Prantl3f49c892014-02-25 19:57:42 +00001209 isPrototyped = false;
1210
1211 constructSubprogramArguments(Buffer, Elements);
1212
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001213 // Add prototype flag if we're dealing with a C language and the
1214 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001215 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001216 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001217 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001218 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001219 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001220
1221 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001222 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001223
1224 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001225 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001226 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001227 case dwarf::DW_TAG_structure_type:
1228 case dwarf::DW_TAG_union_type:
1229 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001230 // Add elements to structure type.
Manman Renab8ffba2014-07-28 19:14:13 +00001231 DIArray Elements = CTy.getElements();
David Blaikiea1ae0e62013-08-01 20:30:22 +00001232 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001233 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001234 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001235 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001236 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001237 DIDerivedType DDTy(Element);
1238 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001239 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001240 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001241 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001242 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001243 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001244 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001245 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001246 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001247 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001248 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001249 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001250 StringRef PropertyName = Property.getObjCPropertyName();
1251 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001252 if (Property.getType())
1253 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001254 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001255 StringRef GetterName = Property.getObjCPropertyGetterName();
1256 if (!GetterName.empty())
1257 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1258 StringRef SetterName = Property.getObjCPropertySetterName();
1259 if (!SetterName.empty())
1260 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1261 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001262 if (Property.isReadOnlyObjCProperty())
1263 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1264 if (Property.isReadWriteObjCProperty())
1265 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1266 if (Property.isAssignObjCProperty())
1267 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1268 if (Property.isRetainObjCProperty())
1269 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1270 if (Property.isCopyObjCProperty())
1271 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1272 if (Property.isNonAtomicObjCProperty())
1273 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1274 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001275 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001276 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001277
Devang Pateld925d1a2012-02-07 23:33:58 +00001278 DIEEntry *Entry = getDIEEntry(Element);
1279 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001280 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001281 insertDIEEntry(Element, Entry);
1282 }
Devang Patel403e8192012-02-04 01:30:32 +00001283 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001284 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001285 }
1286
1287 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001288 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001289
Eric Christopher9e429ae2013-10-05 00:27:02 +00001290 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001291 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001292 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001293 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001294
Devang Patel12419ae2011-05-12 21:29:42 +00001295 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001296 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001297
Eric Christopherda011dd2011-12-16 23:42:42 +00001298 // Add template parameters to a class, structure or union types.
1299 // FIXME: The support isn't in the metadata for this yet.
1300 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001301 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001302 addTemplateParams(Buffer, CTy.getTemplateParams());
1303
1304 break;
1305 }
1306 default:
1307 break;
1308 }
1309
1310 // Add name if not anonymous or intermediate type.
1311 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001312 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001313
Eric Christopher775cbd22012-05-22 18:45:18 +00001314 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001315 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001316 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001317 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001318 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001319 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001320 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001321 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001322 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001323 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001324
1325 // If we're a forward decl, say so.
1326 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001327 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001328
1329 // Add source line info if available.
1330 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001331 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001332
1333 // No harm in adding the runtime language to the declaration.
1334 unsigned RLang = CTy.getRunTimeLang();
1335 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001336 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001337 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001338 }
1339}
1340
Manman Renffc9a712013-10-23 23:05:28 +00001341/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1342/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001343void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1344 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001345 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001346 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001347 // Add the type if it exists, it could be void and therefore no type.
1348 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001349 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001350 if (!TP.getName().empty())
1351 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001352}
1353
Manman Renffc9a712013-10-23 23:05:28 +00001354/// constructTemplateValueParameterDIE - Construct new DIE for the given
1355/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001356void
1357DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001358 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001359 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001360
1361 // Add the type if there is one, template template and template parameter
1362 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001363 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001364 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001365 if (!VP.getName().empty())
1366 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1367 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001368 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001369 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
David Blaikiea1e813d2013-05-10 21:52:07 +00001370 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1371 // For declaration non-type template parameters (such as global values and
1372 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001373 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001374 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001375 // Emit DW_OP_stack_value to use the address as the immediate value of the
1376 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001377 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001378 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001379 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001380 assert(isa<MDString>(Val));
1381 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1382 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001383 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001384 assert(isa<MDNode>(Val));
1385 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001386 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001387 }
1388 }
Devang Patel0e821f42011-04-12 23:21:44 +00001389}
1390
Devang Patel17b53272011-05-06 16:57:54 +00001391/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001392DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001393 // Construct the context before querying for the existence of the DIE in case
1394 // such construction creates the DIE.
1395 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001396
David Blaikie65a74662014-04-25 18:26:14 +00001397 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001398 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001399 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001400
David Blaikie553eb4a2014-06-06 22:16:56 +00001401 StringRef Name = NS.getName();
1402 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001403 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001404 else
1405 Name = "(anonymous namespace)";
1406 DD->addAccelNamespace(Name, NDie);
1407 addGlobalName(Name, NDie, NS.getContext());
Devang Patel17b53272011-05-06 16:57:54 +00001408 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001409 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001410}
1411
Devang Patel89543712011-08-15 17:24:54 +00001412/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001413DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001414 // Construct the context before querying for the existence of the DIE in case
1415 // such construction creates the DIE (as is the case for member function
1416 // declarations).
David Blaikie7f916862014-05-27 18:37:38 +00001417 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
Adrian Prantld486b342014-03-18 17:41:15 +00001418
David Blaikie65a74662014-04-25 18:26:14 +00001419 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001420 return SPDie;
1421
David Blaikiece7a1bd2014-05-21 18:04:33 +00001422 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
Manman Ren73d697c2013-10-29 00:58:04 +00001423 // Add subprogram definitions to the CU die directly.
David Blaikiebd579052014-04-28 21:14:27 +00001424 ContextDIE = &getUnitDie();
Alp Tokerda0c7932014-05-31 21:26:28 +00001425 // Build the decl now to ensure it precedes the definition.
David Blaikie7f916862014-05-27 18:37:38 +00001426 getOrCreateSubprogramDIE(SPDecl);
David Blaikiece7a1bd2014-05-21 18:04:33 +00001427 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001428
1429 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001430 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001431
David Blaikie6cfa9e12014-06-05 00:25:26 +00001432 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001433 // subprogram turns out to have inlined instances or not.
1434 if (SP.isDefinition())
1435 return &SPDie;
1436
David Blaikie7f916862014-05-27 18:37:38 +00001437 applySubprogramAttributes(SP, SPDie);
1438 return &SPDie;
1439}
1440
David Blaikie3dca5992014-06-06 22:29:05 +00001441void DwarfUnit::applySubprogramAttributesToDefinition(DISubprogram SP, DIE &SPDie) {
1442 DISubprogram SPDecl = SP.getFunctionDeclaration();
1443 DIScope Context = resolve(SPDecl ? SPDecl.getContext() : SP.getContext());
1444 applySubprogramAttributes(SP, SPDie);
1445 addGlobalName(SP.getName(), SPDie, Context);
1446}
1447
David Blaikie7f916862014-05-27 18:37:38 +00001448void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie) {
1449 DIE *DeclDie = nullptr;
1450 StringRef DeclLinkageName;
1451 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001452 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001453 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001454 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001455 "getOrCreateSubprogramDIE");
David Blaikie7f916862014-05-27 18:37:38 +00001456 DeclLinkageName = SPDecl.getLinkageName();
1457 }
Rafael Espindola79278362011-11-10 22:34:29 +00001458
Devang Patel89543712011-08-15 17:24:54 +00001459 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001460 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001461
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001462 // Add the linkage name if we have one and it isn't in the Decl.
1463 StringRef LinkageName = SP.getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001464 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1465 LinkageName == DeclLinkageName) &&
1466 "decl has a linkage name and it is different");
1467 if (!LinkageName.empty() && DeclLinkageName.empty())
1468 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1469 GlobalValue::getRealLinkageName(LinkageName));
Devang Patel89543712011-08-15 17:24:54 +00001470
David Blaikiece7a1bd2014-05-21 18:04:33 +00001471 if (DeclDie) {
1472 // Refer to the function declaration where all the other attributes will be
1473 // found.
1474 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
David Blaikie7f916862014-05-27 18:37:38 +00001475 return;
David Blaikiece7a1bd2014-05-21 18:04:33 +00001476 }
Eric Christopheracb71152012-08-23 22:52:55 +00001477
Devang Patel89543712011-08-15 17:24:54 +00001478 // Constructors and operators for anonymous aggregates do not have names.
1479 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001480 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001481
1482 addSourceLine(SPDie, SP);
1483
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001484 // Add the prototype if we have a prototype and we have a C like
1485 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001486 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001487 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001488 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001489 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001490 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001491
Manman Renf8a19672014-07-28 22:24:06 +00001492 DISubroutineType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001493 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1494 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001495
Manman Renf8a19672014-07-28 22:24:06 +00001496 DITypeArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001497 // Add a return type. If this is a type like a C/C++ void type we don't add a
1498 // return type.
Manman Renf8a19672014-07-28 22:24:06 +00001499 if (resolve(Args.getElement(0)))
1500 addType(SPDie, DIType(resolve(Args.getElement(0))));
Devang Patel89543712011-08-15 17:24:54 +00001501
1502 unsigned VK = SP.getVirtuality();
1503 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001504 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001505 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001506 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1507 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001508 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001509 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001510 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001511 }
1512
1513 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001514 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001515
Devang Patel89543712011-08-15 17:24:54 +00001516 // Add arguments. Do not add arguments for subprogram definition. They will
1517 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001518 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001519 }
1520
1521 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001522 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001523
1524 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001525 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001526
1527 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001528 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001529
1530 if (unsigned isa = Asm->getISAEncoding()) {
1531 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1532 }
1533
Adrian Prantl99c7af22013-12-18 21:48:19 +00001534 if (SP.isLValueReference())
1535 addFlag(SPDie, dwarf::DW_AT_reference);
1536
1537 if (SP.isRValueReference())
1538 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1539
Adrian Prantlef129fb2014-01-18 02:12:00 +00001540 if (SP.isProtected())
1541 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1542 dwarf::DW_ACCESS_protected);
1543 else if (SP.isPrivate())
1544 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1545 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001546 else if (SP.isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001547 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1548 dwarf::DW_ACCESS_public);
1549
1550 if (SP.isExplicit())
1551 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001552}
1553
David Blaikieeb1a2722014-06-13 22:18:23 +00001554void DwarfUnit::applyVariableAttributes(const DbgVariable &Var,
1555 DIE &VariableDie) {
1556 StringRef Name = Var.getName();
1557 if (!Name.empty())
1558 addString(VariableDie, dwarf::DW_AT_name, Name);
1559 addSourceLine(VariableDie, Var.getVariable());
1560 addType(VariableDie, Var.getType());
1561 if (Var.isArtificial())
1562 addFlag(VariableDie, dwarf::DW_AT_artificial);
1563}
1564
Devang Pateldfd6ec32011-08-15 17:57:41 +00001565// Return const expression if value is a GEP to access merged global
1566// constant. e.g.
1567// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1568static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1569 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1570 if (!CE || CE->getNumOperands() != 3 ||
1571 CE->getOpcode() != Instruction::GetElementPtr)
Craig Topper353eda42014-04-24 06:44:33 +00001572 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001573
1574 // First operand points to a global struct.
1575 Value *Ptr = CE->getOperand(0);
1576 if (!isa<GlobalValue>(Ptr) ||
1577 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
Craig Topper353eda42014-04-24 06:44:33 +00001578 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001579
1580 // Second operand is zero.
1581 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1582 if (!CI || !CI->isZero())
Craig Topper353eda42014-04-24 06:44:33 +00001583 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001584
1585 // Third operand is offset.
1586 if (!isa<ConstantInt>(CE->getOperand(2)))
Craig Topper353eda42014-04-24 06:44:33 +00001587 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001588
1589 return CE;
1590}
1591
1592/// createGlobalVariableDIE - create global variable DIE.
Eric Christopher4287a492013-12-09 23:57:44 +00001593void DwarfCompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001594 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001595 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001596 return;
1597
David Blaikie5e390e42014-02-04 01:23:52 +00001598 assert(GV.isGlobalVariable());
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001599
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001600 DIScope GVContext = GV.getContext();
Adrian Prantl1a1647c2014-03-18 02:34:58 +00001601 DIType GTy = DD->resolve(GV.getType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001602
1603 // If this is a static data member definition, some attributes belong
1604 // to the declaration DIE.
Craig Topper353eda42014-04-24 06:44:33 +00001605 DIE *VariableDIE = nullptr;
Manman Rene697d3c2013-02-01 23:54:37 +00001606 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001607 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1608 if (SDMDecl.Verify()) {
1609 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1610 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001611 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001612 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001613 }
1614
1615 // If this is not a static data member definition, create the variable
1616 // DIE and add the initial set of attributes to it.
1617 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001618 // Construct the context before querying for the existence of the DIE in
1619 // case such construction creates the DIE.
1620 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001621
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001622 // Add to map.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001623 VariableDIE = &createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001624
1625 // Add name and type.
David Blaikie65a74662014-04-25 18:26:14 +00001626 addString(*VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1627 addType(*VariableDIE, GTy);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001628
1629 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001630 if (!GV.isLocalToUnit())
David Blaikie65a74662014-04-25 18:26:14 +00001631 addFlag(*VariableDIE, dwarf::DW_AT_external);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001632
1633 // Add line number info.
David Blaikie65a74662014-04-25 18:26:14 +00001634 addSourceLine(*VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001635 }
1636
Devang Pateldfd6ec32011-08-15 17:57:41 +00001637 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001638 bool addToAccelTable = false;
Craig Topper353eda42014-04-24 06:44:33 +00001639 DIE *VariableSpecDIE = nullptr;
1640 bool isGlobalVariable = GV.getGlobal() != nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001641 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001642 addToAccelTable = true;
Eric Christopher4a741042014-02-16 08:46:55 +00001643 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001644 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001645 if (GV.getGlobal()->isThreadLocal()) {
1646 // FIXME: Make this work with -gsplit-dwarf.
1647 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1648 assert((PointerSize == 4 || PointerSize == 8) &&
1649 "Add support for other sizes if necessary");
1650 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001651 if (!DD->useSplitDwarf()) {
1652 // 1) Start with a constNu of the appropriate pointer size
David Blaikie65a74662014-04-25 18:26:14 +00001653 addUInt(*Loc, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001654 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001655 // 2) containing the (relocated) offset of the TLS variable
1656 // within the module's TLS block.
David Blaikie65a74662014-04-25 18:26:14 +00001657 addExpr(*Loc, dwarf::DW_FORM_udata,
David Blaikief1a6dea2014-02-15 19:34:03 +00001658 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym));
David Blaikie8466ca82013-07-01 23:55:52 +00001659 } else {
David Blaikie65a74662014-04-25 18:26:14 +00001660 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1661 addUInt(*Loc, dwarf::DW_FORM_udata,
David Blaikied75fb282014-04-23 21:20:10 +00001662 DD->getAddressPool().getIndex(Sym, /* TLS */ true));
David Blaikie8466ca82013-07-01 23:55:52 +00001663 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001664 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikie65a74662014-04-25 18:26:14 +00001665 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001666 } else {
1667 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikie65a74662014-04-25 18:26:14 +00001668 addOpAddress(*Loc, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001669 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001670 // Do not create specification DIE if context is either compile unit
1671 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001672 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001673 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001674 // Create specification DIE.
David Blaikiebd579052014-04-28 21:14:27 +00001675 VariableSpecDIE = &createAndAddDIE(dwarf::DW_TAG_variable, UnitDie);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001676 addDIEEntry(*VariableSpecDIE, dwarf::DW_AT_specification, *VariableDIE);
David Blaikie65a74662014-04-25 18:26:14 +00001677 addBlock(*VariableSpecDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001678 // A static member's declaration is already flagged as such.
1679 if (!SDMDecl.Verify())
David Blaikie65a74662014-04-25 18:26:14 +00001680 addFlag(*VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001681 } else {
David Blaikie65a74662014-04-25 18:26:14 +00001682 addBlock(*VariableDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4996c702011-11-07 09:24:32 +00001683 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001684 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001685 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001686 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001687 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1688 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1689 // TAG_variable.
David Blaikie65a74662014-04-25 18:26:14 +00001690 addString(IsStaticMember && VariableSpecDIE ? *VariableSpecDIE
1691 : *VariableDIE,
Eric Christopheraf7eca22014-03-13 23:26:25 +00001692 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
1693 : dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001694 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001695 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001696 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001697 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001698 // emitting AT_const_value multiple times, we only add AT_const_value when
1699 // it is not a static member.
1700 if (!IsStaticMember)
David Blaikiec0a28412014-05-11 15:56:59 +00001701 addConstantValue(*VariableDIE, CI, GTy);
David Blaikiea781b25b2013-11-17 21:55:13 +00001702 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001703 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001704 // GV is a merged global.
Eric Christopher4a741042014-02-16 08:46:55 +00001705 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Pateldfd6ec32011-08-15 17:57:41 +00001706 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001707 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1708 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikie65a74662014-04-25 18:26:14 +00001709 addOpAddress(*Loc, Sym);
1710 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001711 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikie65a74662014-04-25 18:26:14 +00001712 addUInt(*Loc, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001713 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikie65a74662014-04-25 18:26:14 +00001714 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1715 addBlock(*VariableDIE, dwarf::DW_AT_location, Loc);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001716 }
1717
Eric Christopherc12c2112011-11-11 01:55:22 +00001718 if (addToAccelTable) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001719 DIE &AddrDIE = VariableSpecDIE ? *VariableSpecDIE : *VariableDIE;
David Blaikie2406a0622014-04-23 23:37:35 +00001720 DD->addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001721
Eric Christopherc12c2112011-11-11 01:55:22 +00001722 // If the linkage name is different than the name, go ahead and output
1723 // that as well into the name table.
1724 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
David Blaikie2406a0622014-04-23 23:37:35 +00001725 DD->addAccelName(GV.getLinkageName(), AddrDIE);
Eric Christopherc12c2112011-11-11 01:55:22 +00001726 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001727
David Blaikie553eb4a2014-06-06 22:16:56 +00001728 addGlobalName(GV.getName(), VariableSpecDIE ? *VariableSpecDIE : *VariableDIE,
1729 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001730}
1731
Devang Patel0e821f42011-04-12 23:21:44 +00001732/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001733void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001734 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001735 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001736
Bill Wendling28fe9e72012-12-06 07:38:10 +00001737 // The LowerBound value defines the lower bounds which is typically zero for
1738 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1739 // Count == -1 then the array is unbounded and we do not emit
1740 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1741 // Count == 0, then the array has zero elements in which case we do not emit
1742 // an upper bound.
1743 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001744 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001745 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001746
Bill Wendling3495f9b2012-12-06 07:55:19 +00001747 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001748 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001749
1750 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001751 // FIXME: An unbounded array should reference the expression that defines
1752 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001753 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1754 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001755}
1756
1757/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001758void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001759 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001760 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001761
Eric Christopher0df08e22013-08-08 07:40:37 +00001762 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001763 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001764
1765 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001766 // FIXME: This type should be passed down from the front end
1767 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001768 DIE *IdxTy = getIndexTyDie();
1769 if (!IdxTy) {
David Blaikie12e00fc2014-04-03 06:28:20 +00001770 // Construct an integer type to use for indexes.
David Blaikiebd579052014-04-28 21:14:27 +00001771 IdxTy = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
David Blaikie65a74662014-04-25 18:26:14 +00001772 addString(*IdxTy, dwarf::DW_AT_name, "sizetype");
1773 addUInt(*IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1774 addUInt(*IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
David Blaikie12e00fc2014-04-03 06:28:20 +00001775 dwarf::DW_ATE_unsigned);
Devang Patel0e821f42011-04-12 23:21:44 +00001776 setIndexTyDie(IdxTy);
1777 }
1778
1779 // Add subranges to array type.
Manman Renab8ffba2014-07-28 19:14:13 +00001780 DIArray Elements = CTy.getElements();
Devang Patel0e821f42011-04-12 23:21:44 +00001781 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1782 DIDescriptor Element = Elements.getElement(i);
1783 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1784 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1785 }
1786}
1787
Eric Christopheraeb105f2013-11-11 18:52:39 +00001788/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001789void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Manman Renab8ffba2014-07-28 19:14:13 +00001790 DIArray Elements = CTy.getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001791
1792 // Add enumerators to enumeration type.
1793 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001794 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001795 if (Enum.isEnumerator()) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001796 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001797 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001798 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001799 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001800 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1801 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001802 }
1803 }
1804 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1805 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001806 addType(Buffer, DTy);
1807 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001808 }
Devang Patel0e821f42011-04-12 23:21:44 +00001809}
1810
Devang Patel89543712011-08-15 17:24:54 +00001811/// constructContainingTypeDIEs - Construct DIEs for types that contain
1812/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001813void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001814 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001815 CE = ContainingTypeMap.end();
1816 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001817 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001818 DIDescriptor D(CI->second);
1819 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001820 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001821 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001822 if (!NDie)
1823 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001824 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001825 }
1826}
1827
Devang Patel3acc70e2011-08-15 22:04:40 +00001828/// constructVariableDIE - Construct a DIE for the given DbgVariable.
David Blaikie914046e2014-04-25 20:00:34 +00001829std::unique_ptr<DIE> DwarfUnit::constructVariableDIE(DbgVariable &DV,
David Blaikieb85f0082014-05-27 19:34:32 +00001830 bool Abstract) {
1831 auto D = constructVariableDIEImpl(DV, Abstract);
David Blaikiee071fc82014-04-25 17:32:19 +00001832 DV.setDIE(*D);
1833 return D;
1834}
1835
David Blaikieb85f0082014-05-27 19:34:32 +00001836std::unique_ptr<DIE> DwarfUnit::constructVariableDIEImpl(const DbgVariable &DV,
1837 bool Abstract) {
Devang Patel3acc70e2011-08-15 22:04:40 +00001838 // Define variable debug information entry.
David Blaikie914046e2014-04-25 20:00:34 +00001839 auto VariableDie = make_unique<DIE>(DV.getTag());
Devang Patel3acc70e2011-08-15 22:04:40 +00001840
David Blaikieeb1a2722014-06-13 22:18:23 +00001841 if (Abstract) {
1842 applyVariableAttributes(DV, *VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001843 return VariableDie;
David Blaikieeb1a2722014-06-13 22:18:23 +00001844 }
Devang Patel3acc70e2011-08-15 22:04:40 +00001845
1846 // Add variable address.
1847
Eric Christopher34a2c872013-11-15 01:43:19 +00001848 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001849 if (Offset != ~0U) {
David Blaikie65a74662014-04-25 18:26:14 +00001850 addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
Devang Patel3acc70e2011-08-15 22:04:40 +00001851 return VariableDie;
1852 }
1853
Eric Christophercead0332011-10-03 15:49:20 +00001854 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001855 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001856 assert(DVInsn->getNumOperands() == 3);
1857 if (DVInsn->getOperand(0).isReg()) {
1858 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001859 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001860 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001861 MachineLocation Location(RegOp.getReg(),
1862 DVInsn->getOperand(1).getImm());
David Blaikie65a74662014-04-25 18:26:14 +00001863 addVariableAddress(DV, *VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001864 } else if (RegOp.getReg())
David Blaikie65a74662014-04-25 18:26:14 +00001865 addVariableAddress(DV, *VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001866 } else if (DVInsn->getOperand(0).isImm())
David Blaikie65a74662014-04-25 18:26:14 +00001867 addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001868 else if (DVInsn->getOperand(0).isFPImm())
David Blaikie65a74662014-04-25 18:26:14 +00001869 addConstantFPValue(*VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001870 else if (DVInsn->getOperand(0).isCImm())
David Blaikie65a74662014-04-25 18:26:14 +00001871 addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(),
David Blaikiec0a28412014-05-11 15:56:59 +00001872 DV.getType());
Eric Christopher78fcf4902013-07-03 01:08:30 +00001873
Devang Patel3acc70e2011-08-15 22:04:40 +00001874 return VariableDie;
Devang Patel3acc70e2011-08-15 22:04:40 +00001875 }
1876
David Blaikiee071fc82014-04-25 17:32:19 +00001877 // .. else use frame index.
1878 int FI = DV.getFrameIndex();
1879 if (FI != ~0) {
1880 unsigned FrameReg = 0;
Eric Christopherd9134482014-08-04 21:25:23 +00001881 const TargetFrameLowering *TFI =
1882 Asm->TM.getSubtargetImpl()->getFrameLowering();
David Blaikiee071fc82014-04-25 17:32:19 +00001883 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1884 MachineLocation Location(FrameReg, Offset);
David Blaikie65a74662014-04-25 18:26:14 +00001885 addVariableAddress(DV, *VariableDie, Location);
David Blaikiee071fc82014-04-25 17:32:19 +00001886 }
1887
Devang Patel3acc70e2011-08-15 22:04:40 +00001888 return VariableDie;
1889}
1890
Manman Ren230ec862013-10-23 23:00:44 +00001891/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001892void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001893 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001894 StringRef Name = DT.getName();
1895 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001896 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001897
Manman Ren93b30902013-10-08 18:42:58 +00001898 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001899
1900 addSourceLine(MemberDie, DT);
1901
Eric Christopherc2697f82013-10-19 01:04:47 +00001902 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001903
1904 // For C++, virtual base classes are not at fixed offset. Use following
1905 // expression to extract appropriate offset from vtable.
1906 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1907
Eric Christopher4a741042014-02-16 08:46:55 +00001908 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001909 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1910 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1911 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1912 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1913 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1914 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1915 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001916
David Blaikief2443192013-10-21 17:28:37 +00001917 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001918 } else {
1919 uint64_t Size = DT.getSizeInBits();
1920 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1921 uint64_t OffsetInBytes;
1922
1923 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001924 // Handle bitfield, assume bytes are 8 bits.
1925 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1926 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001927
1928 uint64_t Offset = DT.getOffsetInBits();
1929 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1930 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1931 uint64_t FieldOffset = (HiMark - FieldSize);
1932 Offset -= FieldOffset;
1933
1934 // Maybe we need to work from the other end.
1935 if (Asm->getDataLayout().isLittleEndian())
1936 Offset = FieldSize - (Offset + Size);
1937 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1938
Adrian Prantlc67655a2014-01-28 18:13:47 +00001939 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001940 // field that includes this bit field.
1941 OffsetInBytes = FieldOffset >> 3;
1942 } else
1943 // This is not a bitfield.
1944 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001945
David Blaikie22b29a52014-01-03 01:30:05 +00001946 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001947 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001948 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1949 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001950 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1951 } else
1952 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1953 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001954 }
Devang Patel0e821f42011-04-12 23:21:44 +00001955
1956 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001957 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001958 dwarf::DW_ACCESS_protected);
1959 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001960 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001961 dwarf::DW_ACCESS_private);
1962 // Otherwise C++ member and base classes are considered public.
Adrian Prantldaedfda2014-08-29 22:44:07 +00001963 else if (DT.isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001964 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001965 dwarf::DW_ACCESS_public);
1966 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001967 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001968 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001969
1970 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001971 if (MDNode *PNode = DT.getObjCProperty())
1972 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001973 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1974 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001975
David Blaikie37fefc32012-12-13 22:43:07 +00001976 if (DT.isArtificial())
1977 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001978}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001979
Manman Renc6b63922013-10-14 20:33:57 +00001980/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001981DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001982 if (!DT.Verify())
Craig Topper353eda42014-04-24 06:44:33 +00001983 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001984
Manman Renc6b63922013-10-14 20:33:57 +00001985 // Construct the context before querying for the existence of the DIE in case
1986 // such construction creates the DIE.
1987 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001988 assert(dwarf::isType(ContextDIE->getTag()) &&
1989 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001990
David Blaikie65a74662014-04-25 18:26:14 +00001991 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001992 return StaticMemberDIE;
1993
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001994 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001995
Manman Ren93b30902013-10-08 18:42:58 +00001996 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001997
1998 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1999 addType(StaticMemberDIE, Ty);
2000 addSourceLine(StaticMemberDIE, DT);
2001 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
2002 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
2003
2004 // FIXME: We could omit private if the parent is a class_type, and
2005 // public if the parent is something else.
2006 if (DT.isProtected())
2007 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2008 dwarf::DW_ACCESS_protected);
2009 else if (DT.isPrivate())
2010 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2011 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00002012 else if (DT.isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002013 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2014 dwarf::DW_ACCESS_public);
2015
2016 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00002017 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00002018 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
2019 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002020
David Blaikie65a74662014-04-25 18:26:14 +00002021 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002022}
David Blaikie6b288cf2013-10-30 20:42:41 +00002023
David Blaikied82b2372014-03-24 20:28:10 +00002024void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00002025 Asm->OutStreamer.AddComment("DWARF version number");
2026 Asm->EmitInt16(DD->getDwarfVersion());
2027 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00002028 // We share one abbreviations table across all units so it's always at the
2029 // start of the section. Use a relocatable offset where needed to ensure
2030 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002031 if (ASectionSym)
2032 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
2033 else
David Blaikie326e1fa2014-04-02 02:04:51 +00002034 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002035 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00002036 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2037 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
2038}
David Blaikiebc563272013-12-13 21:33:40 +00002039
David Blaikied0f10372014-09-09 23:13:01 +00002040void DwarfCompileUnit::addRange(RangeSpan Range) {
Eric Christopher384f3fe2014-03-20 19:16:16 +00002041 // Only add a range for this unit if we're emitting full debug.
2042 if (getCUNode().getEmissionKind() == DIBuilder::FullDebug) {
David Blaikied0f10372014-09-09 23:13:01 +00002043 bool SameAsPrevCU = this == DD->getPrevCU();
2044 DD->setPrevCU(this);
Eric Christopher384f3fe2014-03-20 19:16:16 +00002045 // If we have no current ranges just add the range and return, otherwise,
2046 // check the current section and CU against the previous section and CU we
2047 // emitted into and the subprogram was contained within. If these are the
2048 // same then extend our current range, otherwise add this as a new range.
David Blaikied0f10372014-09-09 23:13:01 +00002049 if (CURanges.empty() || !SameAsPrevCU ||
David Blaikiedeb174f2014-09-09 22:56:36 +00002050 (&CURanges.back().getEnd()->getSection() !=
2051 &Range.getEnd()->getSection())) {
Eric Christopher384f3fe2014-03-20 19:16:16 +00002052 CURanges.push_back(Range);
2053 return;
2054 }
2055
Eric Christopher384f3fe2014-03-20 19:16:16 +00002056 CURanges.back().setEnd(Range.getEnd());
2057 }
2058}
2059
David Blaikie2494fdb2014-02-14 22:41:51 +00002060void DwarfCompileUnit::initStmtList(MCSymbol *DwarfLineSectionSym) {
2061 // Define start line table label for each Compile Unit.
2062 MCSymbol *LineTableStartSym =
David Blaikie34641612014-04-01 08:07:52 +00002063 Asm->OutStreamer.getDwarfLineTableSymbol(getUniqueID());
David Blaikie2494fdb2014-02-14 22:41:51 +00002064
David Blaikiebd579052014-04-28 21:14:27 +00002065 stmtListIndex = UnitDie.getValues().size();
David Blaikie60e63862014-02-14 23:58:13 +00002066
David Blaikie2494fdb2014-02-14 22:41:51 +00002067 // DW_AT_stmt_list is a offset of line number information for this
2068 // compile unit in debug_line section. For split dwarf this is
2069 // left in the skeleton CU and so not included.
2070 // The line table entries are not always emitted in assembly, so it
2071 // is not okay to use line_table_start here.
2072 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
David Blaikiebd579052014-04-28 21:14:27 +00002073 addSectionLabel(UnitDie, dwarf::DW_AT_stmt_list, LineTableStartSym);
David Blaikie2494fdb2014-02-14 22:41:51 +00002074 else
David Blaikiebd579052014-04-28 21:14:27 +00002075 addSectionDelta(UnitDie, dwarf::DW_AT_stmt_list, LineTableStartSym,
David Blaikie2494fdb2014-02-14 22:41:51 +00002076 DwarfLineSectionSym);
2077}
2078
David Blaikie60e63862014-02-14 23:58:13 +00002079void DwarfCompileUnit::applyStmtList(DIE &D) {
2080 D.addValue(dwarf::DW_AT_stmt_list,
David Blaikiebd579052014-04-28 21:14:27 +00002081 UnitDie.getAbbrev().getData()[stmtListIndex].getForm(),
2082 UnitDie.getValues()[stmtListIndex]);
David Blaikie60e63862014-02-14 23:58:13 +00002083}
2084
David Blaikied82b2372014-03-24 20:28:10 +00002085void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
2086 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00002087 Asm->OutStreamer.AddComment("Type Signature");
2088 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
2089 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00002090 // In a skeleton type unit there is no type DIE so emit a zero offset.
2091 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
2092 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00002093}
2094
2095void DwarfTypeUnit::initSection(const MCSection *Section) {
2096 assert(!this->Section);
2097 this->Section = Section;
2098 // Since each type unit is contained in its own COMDAT section, the begin
2099 // label and the section label are the same. Using the begin label emission in
2100 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
2101 // the only other alternative of lazily constructing start-of-section labels
2102 // and storing a mapping in DwarfDebug (or AsmPrinter).
2103 this->SectionSym = this->LabelBegin =
2104 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2105 this->LabelEnd =
2106 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
David Blaikiebc563272013-12-13 21:33:40 +00002107}