blob: 7797ff4273a69c2a31f083591e53449e2c62de9f [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.cpp - Dwarf Type and Compile Units ---------===//
Devang Patel0e821f42011-04-12 23:21:44 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher160522c2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
David Blaikie2c86a722013-12-02 19:33:15 +000014#include "DwarfUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "DwarfAccelTable.h"
Devang Patel0e821f42011-04-12 23:21:44 +000016#include "DwarfDebug.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/APFloat.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000019#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/DataLayout.h"
21#include "llvm/IR/GlobalVariable.h"
22#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000023#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000024#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000025#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000026#include "llvm/MC/MCSection.h"
27#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000028#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000029#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000031#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000033
34using namespace llvm;
35
Chandler Carruth1b9dde02014-04-22 02:02:50 +000036#define DEBUG_TYPE "dwarfdebug"
37
Eric Christopher4287a492013-12-09 23:57:44 +000038static cl::opt<bool>
39GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
40 cl::desc("Generate DWARF4 type units."),
41 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000042
David Blaikie2a80e442013-12-02 22:09:48 +000043/// Unit - Unit constructor.
David Blaikiebd579052014-04-28 21:14:27 +000044DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag, DICompileUnit Node,
David Blaikie92a2f8a2014-04-28 21:04:29 +000045 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000046 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
47 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr),
Craig Topper353eda42014-04-24 06:44:33 +000048 Skeleton(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000049 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
50 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000051 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
52}
53
David Blaikiebd579052014-04-28 21:14:27 +000054DwarfCompileUnit::DwarfCompileUnit(unsigned UID, DICompileUnit Node,
55 AsmPrinter *A, DwarfDebug *DW,
56 DwarfFile *DWU)
57 : DwarfUnit(UID, dwarf::DW_TAG_compile_unit, Node, A, DW, DWU) {
David Blaikie92a2f8a2014-04-28 21:04:29 +000058 insertDIE(Node, &getUnitDie());
Devang Patel0e821f42011-04-12 23:21:44 +000059}
60
David Blaikiebd579052014-04-28 21:14:27 +000061DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000062 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000063 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000064 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
65 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000066 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000067 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000068}
David Blaikie409dd9c2013-11-19 23:08:21 +000069
David Blaikie319a05f2013-12-02 19:33:10 +000070/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000071DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000072 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
73 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000074 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
75 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000076}
77
78/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
79/// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +000080DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000081 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
82 return Value;
83}
84
Bill Wendling3495f9b2012-12-06 07:55:19 +000085/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000086/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000087int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000088 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000089 default:
90 break;
91
92 case dwarf::DW_LANG_C89:
93 case dwarf::DW_LANG_C99:
94 case dwarf::DW_LANG_C:
95 case dwarf::DW_LANG_C_plus_plus:
96 case dwarf::DW_LANG_ObjC:
97 case dwarf::DW_LANG_ObjC_plus_plus:
98 return 0;
99
100 case dwarf::DW_LANG_Fortran77:
101 case dwarf::DW_LANG_Fortran90:
102 case dwarf::DW_LANG_Fortran95:
103 return 1;
104
105 // The languages below have valid values only if the DWARF version >= 4.
106 case dwarf::DW_LANG_Java:
107 case dwarf::DW_LANG_Python:
108 case dwarf::DW_LANG_UPC:
109 case dwarf::DW_LANG_D:
110 if (dwarf::DWARF_VERSION >= 4)
111 return 0;
112 break;
113
114 case dwarf::DW_LANG_Ada83:
115 case dwarf::DW_LANG_Ada95:
116 case dwarf::DW_LANG_Cobol74:
117 case dwarf::DW_LANG_Cobol85:
118 case dwarf::DW_LANG_Modula2:
119 case dwarf::DW_LANG_Pascal83:
120 case dwarf::DW_LANG_PLI:
121 if (dwarf::DWARF_VERSION >= 4)
122 return 1;
123 break;
124 }
125
126 return -1;
127}
128
Manman Ren4dbdc902013-10-31 17:54:35 +0000129/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000130static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000131 // When the MDNode can be part of the type system, the DIE can be shared
132 // across CUs.
133 // Combining type units and cross-CU DIE sharing is lower value (since
134 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
135 // level already) but may be implementable for some value in projects
136 // building multiple independent libraries with LTO and then linking those
137 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000138 return (D.isType() ||
139 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000140 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000141}
142
143/// getDIE - Returns the debug information entry map slot for the
144/// specified debug variable. We delegate the request to DwarfDebug
145/// when the DIE for this MDNode can be shared across CUs. The mappings
146/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000147DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000148 if (isShareableAcrossCUs(D))
149 return DD->getDIE(D);
150 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000151}
152
153/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
154/// when the DIE for this MDNode can be shared across CUs. The mappings
155/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000156void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000157 if (isShareableAcrossCUs(Desc)) {
158 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000159 return;
160 }
David Blaikie2ad00162013-11-15 23:09:13 +0000161 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000162}
163
Eric Christopherbb69a272012-08-24 01:14:27 +0000164/// addFlag - Add a flag that is true.
David Blaikie65a74662014-04-25 18:26:14 +0000165void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000166 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000167 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000168 else
David Blaikie65a74662014-04-25 18:26:14 +0000169 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000170}
171
Devang Patel0e821f42011-04-12 23:21:44 +0000172/// addUInt - Add an unsigned integer attribute data and value.
173///
David Blaikie65a74662014-04-25 18:26:14 +0000174void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000175 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000176 if (!Form)
177 Form = DIEInteger::BestForm(false, Integer);
178 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
179 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000180 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000181}
182
David Blaikie65a74662014-04-25 18:26:14 +0000183void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000184 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000185}
186
187/// addSInt - Add an signed integer attribute data and value.
188///
David Blaikie65a74662014-04-25 18:26:14 +0000189void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000190 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000191 if (!Form)
192 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000193 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000194 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000195}
196
David Blaikie65a74662014-04-25 18:26:14 +0000197void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000198 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000199 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000200}
201
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000202/// addString - Add a string attribute data and value. We always emit a
203/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000204/// more predictable sizes. In the case of split dwarf we emit an index
205/// into another table which gets us the static offset into the string
206/// table.
David Blaikie65a74662014-04-25 18:26:14 +0000207void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000208 StringRef String) {
Eric Christopher05893f42013-12-30 18:32:31 +0000209
210 if (!DD->useSplitDwarf())
211 return addLocalString(Die, Attribute, String);
212
David Blaikiedaefdbf2014-04-25 21:34:35 +0000213 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000214 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000215 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000216 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000217}
218
219/// addLocalString - Add a string attribute data and value. This is guaranteed
220/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000221void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000222 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000223 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000224 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000225 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000226 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000227 else {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000228 MCSymbol *StringPool = DU->getStringPool().getSectionSymbol();
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000229 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000230 }
Eric Christopher05893f42013-12-30 18:32:31 +0000231 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000232 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000233}
234
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000235/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000236///
David Blaikie65a74662014-04-25 18:26:14 +0000237void DwarfUnit::addExpr(DIELoc &Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000238 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikie65a74662014-04-25 18:26:14 +0000239 Die.addValue((dwarf::Attribute)0, Form, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000240}
241
Eric Christophera27220f2014-03-05 22:41:20 +0000242/// addLocationList - Add a Dwarf loclistptr attribute data and value.
243///
David Blaikie65a74662014-04-25 18:26:14 +0000244void DwarfUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera27220f2014-03-05 22:41:20 +0000245 unsigned Index) {
246 DIEValue *Value = new (DIEValueAllocator) DIELocList(Index);
247 dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
248 : dwarf::DW_FORM_data4;
David Blaikie65a74662014-04-25 18:26:14 +0000249 Die.addValue(Attribute, Form, Value);
Eric Christophera27220f2014-03-05 22:41:20 +0000250}
251
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000252/// addLabel - Add a Dwarf label attribute data and value.
253///
David Blaikie65a74662014-04-25 18:26:14 +0000254void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000255 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000256 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000257 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000258}
259
David Blaikie65a74662014-04-25 18:26:14 +0000260void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000261 addLabel(Die, (dwarf::Attribute)0, Form, Label);
262}
263
Eric Christopher33ff6972013-11-21 23:46:41 +0000264/// addSectionLabel - Add a Dwarf section label attribute data and value.
265///
David Blaikie65a74662014-04-25 18:26:14 +0000266void DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000267 const MCSymbol *Label) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000268 if (DD->getDwarfVersion() >= 4)
269 addLabel(Die, Attribute, dwarf::DW_FORM_sec_offset, Label);
270 else
271 addLabel(Die, Attribute, dwarf::DW_FORM_data4, Label);
272}
273
274/// addSectionOffset - Add an offset into a section attribute data and value.
275///
David Blaikie65a74662014-04-25 18:26:14 +0000276void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000277 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000278 if (DD->getDwarfVersion() >= 4)
279 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
280 else
281 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
282}
283
Eric Christopher962c9082013-01-15 23:56:56 +0000284/// addLabelAddress - Add a dwarf label attribute data and value using
285/// DW_FORM_addr or DW_FORM_GNU_addr_index.
286///
David Blaikie65a74662014-04-25 18:26:14 +0000287void DwarfCompileUnit::addLabelAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000288 const MCSymbol *Label) {
289
290 if (!DD->useSplitDwarf())
291 return addLocalLabelAddress(Die, Attribute, Label);
292
Alexey Samsonov4436bf02013-10-03 08:54:43 +0000293 if (Label)
294 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton21101b32013-09-19 23:21:01 +0000295
David Blaikied75fb282014-04-23 21:20:10 +0000296 unsigned idx = DD->getAddressPool().getIndex(Label);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000297 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
David Blaikie65a74662014-04-25 18:26:14 +0000298 Die.addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000299}
300
David Blaikie65a74662014-04-25 18:26:14 +0000301void DwarfCompileUnit::addLocalLabelAddress(DIE &Die,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000302 dwarf::Attribute Attribute,
303 const MCSymbol *Label) {
304 if (Label)
305 DD->addArangeLabel(SymbolCU(this, Label));
306
David Blaikie65a74662014-04-25 18:26:14 +0000307 Die.addValue(Attribute, dwarf::DW_FORM_addr,
308 Label ? (DIEValue *)new (DIEValueAllocator) DIELabel(Label)
309 : new (DIEValueAllocator) DIEInteger(0));
Eric Christopher962c9082013-01-15 23:56:56 +0000310}
311
David Blaikie0e8d4012014-03-17 23:53:25 +0000312unsigned DwarfCompileUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
313 // If we print assembly, we can't separate .file entries according to
314 // compile units. Thus all files will belong to the default compile unit.
315
316 // FIXME: add a better feature test than hasRawTextSupport. Even better,
317 // extend .file to support this.
318 return Asm->OutStreamer.EmitDwarfFileDirective(
319 0, DirName, FileName,
320 Asm->OutStreamer.hasRawTextSupport() ? 0 : getUniqueID());
321}
322
David Blaikie4a2f95f2014-03-18 01:17:26 +0000323unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
324 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
325 : getCU().getOrCreateSourceID(FileName, DirName);
326}
327
Eric Christophere9ec2452013-01-18 22:11:33 +0000328/// addOpAddress - Add a dwarf op address data and value using the
329/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
330///
David Blaikie65a74662014-04-25 18:26:14 +0000331void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000332 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000333 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
334 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000335 } else {
David Blaikief2443192013-10-21 17:28:37 +0000336 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000337 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000338 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000339 }
340}
341
Eric Christopher33ff6972013-11-21 23:46:41 +0000342/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000343///
David Blaikie65a74662014-04-25 18:26:14 +0000344void DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000345 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000346 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000347 Die.addValue(Attribute, DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
348 : dwarf::DW_FORM_data4,
349 Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000350}
351
David Blaikie65a74662014-04-25 18:26:14 +0000352void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000353 const MCSymbol *Hi, const MCSymbol *Lo) {
354 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000355 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000356}
357
Devang Patel0e821f42011-04-12 23:21:44 +0000358/// addDIEEntry - Add a DIE attribute data and value.
359///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000360void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000361 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
362}
363
David Blaikie65a74662014-04-25 18:26:14 +0000364void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000365 // Flag the type unit reference as a declaration so that if it contains
366 // members (implicit special members, static data member definitions, member
367 // declarations for definitions in this CU, etc) consumers don't get confused
368 // and think this is a full definition.
369 addFlag(Die, dwarf::DW_AT_declaration);
370
David Blaikie65a74662014-04-25 18:26:14 +0000371 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
372 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000373}
374
David Blaikie65a74662014-04-25 18:26:14 +0000375void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000376 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000377 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000378 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000379 if (!DieCU)
380 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000381 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000382 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000383 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000384 Die.addValue(Attribute,
385 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
386 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000387}
388
Manman Renb987e512013-10-29 00:53:03 +0000389/// Create a DIE with the given Tag, add the DIE to its parent, and
390/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000391DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000392 assert(Tag != dwarf::DW_TAG_auto_variable &&
393 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000394 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000395 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000396 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000397 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000398 return Die;
399}
400
Devang Patel0e821f42011-04-12 23:21:44 +0000401/// addBlock - Add block data.
402///
David Blaikie65a74662014-04-25 18:26:14 +0000403void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000404 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000405 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000406 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000407}
408
David Blaikie65a74662014-04-25 18:26:14 +0000409void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000410 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000411 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000412 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000413 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000414}
415
416/// addSourceLine - Add location information to specified debug information
417/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000418void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000419 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000420 if (Line == 0)
421 return;
David Blaikie101613e2014-02-12 00:11:25 +0000422
David Blaikie4a2f95f2014-03-18 01:17:26 +0000423 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000424 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000425 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
426 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000427}
428
429/// addSourceLine - Add location information to specified debug information
430/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000431void DwarfUnit::addSourceLine(DIE &Die, DIVariable V) {
David Blaikie101613e2014-02-12 00:11:25 +0000432 assert(V.isVariable());
433
Eric Christopher89a575c2014-02-12 22:38:04 +0000434 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
435 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000436}
437
438/// addSourceLine - Add location information to specified debug information
439/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000440void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000441 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000442
David Blaikie101613e2014-02-12 00:11:25 +0000443 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000444}
445
446/// addSourceLine - Add location information to specified debug information
447/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000448void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000449 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000450
David Blaikie101613e2014-02-12 00:11:25 +0000451 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000452}
453
454/// addSourceLine - Add location information to specified debug information
455/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000456void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000457 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000458
David Blaikie101613e2014-02-12 00:11:25 +0000459 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000460}
461
462/// addSourceLine - Add location information to specified debug information
463/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000464void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000465 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000466
Eric Christopher70e1bd82012-03-29 08:42:56 +0000467 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000468 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
469 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000470}
471
472/// addSourceLine - Add location information to specified debug information
473/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000474void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000475 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000476
David Blaikie101613e2014-02-12 00:11:25 +0000477 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000478}
479
Eric Christopher92331fd2012-11-21 00:34:38 +0000480/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000481/// DbgVariable based on provided MachineLocation.
David Blaikie65a74662014-04-25 18:26:14 +0000482void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000483 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000484 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000485 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000486 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000487 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
488 else
David Blaikieea2605d2013-06-20 00:25:24 +0000489 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000490 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000491}
492
Devang Patelba5fbf12011-04-26 19:06:18 +0000493/// addRegisterOp - Add register operand.
David Blaikie65a74662014-04-25 18:26:14 +0000494void DwarfUnit::addRegisterOp(DIELoc &TheDie, unsigned Reg) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000495 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000496 int DWReg = RI->getDwarfRegNum(Reg, false);
497 bool isSubRegister = DWReg < 0;
498
499 unsigned Idx = 0;
500
501 // Go up the super-register chain until we hit a valid dwarf register number.
502 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
503 DWReg = RI->getDwarfRegNum(*SR, false);
504 if (DWReg >= 0)
505 Idx = RI->getSubRegIndex(*SR, Reg);
506 }
507
508 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000509 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000510 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
511 return;
512 }
513
514 // Emit register
Devang Patelba5fbf12011-04-26 19:06:18 +0000515 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000516 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000517 else {
David Blaikief2443192013-10-21 17:28:37 +0000518 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
519 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000520 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000521
522 // Emit Mask
523 if (isSubRegister) {
524 unsigned Size = RI->getSubRegIdxSize(Idx);
525 unsigned Offset = RI->getSubRegIdxOffset(Idx);
526 if (Offset > 0) {
527 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
528 addUInt(TheDie, dwarf::DW_FORM_data1, Size);
529 addUInt(TheDie, dwarf::DW_FORM_data1, Offset);
530 } else {
Adrian Prantl7199fd52014-02-12 19:34:44 +0000531 unsigned ByteSize = Size / 8; // Assuming 8 bits per byte.
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000532 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantl7199fd52014-02-12 19:34:44 +0000533 addUInt(TheDie, dwarf::DW_FORM_data1, ByteSize);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000534 }
535 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000536}
537
538/// addRegisterOffset - Add register offset.
David Blaikie65a74662014-04-25 18:26:14 +0000539void DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000540 int64_t Offset) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000541 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
542 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
543 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
544 if (Reg == TRI->getFrameRegister(*Asm->MF))
545 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000546 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000547 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000548 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000549 else {
David Blaikief2443192013-10-21 17:28:37 +0000550 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
551 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000552 }
David Blaikief2443192013-10-21 17:28:37 +0000553 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000554}
555
556/// addAddress - Add an address attribute to a die based on the location
557/// provided.
David Blaikie65a74662014-04-25 18:26:14 +0000558void DwarfUnit::addAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000559 const MachineLocation &Location, bool Indirect) {
Eric Christopher4a741042014-02-16 08:46:55 +0000560 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patelba5fbf12011-04-26 19:06:18 +0000561
David Blaikieea2605d2013-06-20 00:25:24 +0000562 if (Location.isReg() && !Indirect)
David Blaikie65a74662014-04-25 18:26:14 +0000563 addRegisterOp(*Loc, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000564 else {
David Blaikie65a74662014-04-25 18:26:14 +0000565 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000566 if (Indirect && !Location.isReg()) {
David Blaikie65a74662014-04-25 18:26:14 +0000567 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000568 }
569 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000570
571 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000572 addBlock(Die, Attribute, Loc);
Devang Patelba5fbf12011-04-26 19:06:18 +0000573}
574
Devang Patel0e821f42011-04-12 23:21:44 +0000575/// addComplexAddress - Start with the address based on the location provided,
576/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000577/// given the extra address information encoded in the DbgVariable, starting
578/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000579///
David Blaikie65a74662014-04-25 18:26:14 +0000580void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000581 dwarf::Attribute Attribute,
582 const MachineLocation &Location) {
Eric Christopher4a741042014-02-16 08:46:55 +0000583 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000584 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000585 unsigned i = 0;
586 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000587 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000588 // If first address element is OpPlus then emit
589 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
David Blaikie65a74662014-04-25 18:26:14 +0000590 addRegisterOffset(*Loc, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000591 i = 2;
592 } else
David Blaikie65a74662014-04-25 18:26:14 +0000593 addRegisterOp(*Loc, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000594 } else
David Blaikie65a74662014-04-25 18:26:14 +0000595 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000596
Eric Christopherc2697f82013-10-19 01:04:47 +0000597 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000598 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000599 if (Element == DIBuilder::OpPlus) {
David Blaikie65a74662014-04-25 18:26:14 +0000600 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
601 addUInt(*Loc, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel0e821f42011-04-12 23:21:44 +0000602 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000603 if (!Location.isReg())
David Blaikie65a74662014-04-25 18:26:14 +0000604 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Eric Christopherc2697f82013-10-19 01:04:47 +0000605 } else
606 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000607 }
608
609 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000610 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000611}
612
613/* Byref variables, in Blocks, are declared by the programmer as "SomeType
614 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
615 gives the variable VarName either the struct, or a pointer to the struct, as
616 its type. This is necessary for various behind-the-scenes things the
617 compiler needs to do with by-reference variables in Blocks.
618
619 However, as far as the original *programmer* is concerned, the variable
620 should still have type 'SomeType', as originally declared.
621
622 The function getBlockByrefType dives into the __Block_byref_x_VarName
623 struct to find the original type of the variable, which is then assigned to
624 the variable's Debug Information Entry as its real type. So far, so good.
625 However now the debugger will expect the variable VarName to have the type
626 SomeType. So we need the location attribute for the variable to be an
627 expression that explains to the debugger how to navigate through the
628 pointers and struct to find the actual variable of type SomeType.
629
630 The following function does just that. We start by getting
631 the "normal" location for the variable. This will be the location
632 of either the struct __Block_byref_x_VarName or the pointer to the
633 struct __Block_byref_x_VarName.
634
635 The struct will look something like:
636
637 struct __Block_byref_x_VarName {
638 ... <various fields>
639 struct __Block_byref_x_VarName *forwarding;
640 ... <various other fields>
641 SomeType VarName;
642 ... <maybe more fields>
643 };
644
645 If we are given the struct directly (as our starting point) we
646 need to tell the debugger to:
647
648 1). Add the offset of the forwarding field.
649
650 2). Follow that pointer to get the real __Block_byref_x_VarName
651 struct to use (the real one may have been copied onto the heap).
652
653 3). Add the offset for the field VarName, to find the actual variable.
654
655 If we started with a pointer to the struct, then we need to
656 dereference that pointer first, before the other steps.
657 Translating this into DWARF ops, we will need to append the following
658 to the current location description for the variable:
659
660 DW_OP_deref -- optional, if we start with a pointer
661 DW_OP_plus_uconst <forward_fld_offset>
662 DW_OP_deref
663 DW_OP_plus_uconst <varName_fld_offset>
664
665 That is what this function does. */
666
667/// addBlockByrefAddress - Start with the address based on the location
668/// provided, and generate the DWARF information necessary to find the
669/// actual Block variable (navigating the Block struct) based on the
670/// starting location. Add the DWARF information to the die. For
671/// more information, read large comment just above here.
672///
David Blaikie65a74662014-04-25 18:26:14 +0000673void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000674 dwarf::Attribute Attribute,
675 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000676 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000677 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000678 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000679 bool isPointer = false;
680
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000681 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000682
683 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000684 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000685 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000686 isPointer = true;
687 }
688
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000689 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000690
691 // Find the __forwarding field and the variable field in the __Block_byref
692 // struct.
693 DIArray Fields = blockStruct.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000694 DIDerivedType varField;
695 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000696
697 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000698 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000699 StringRef fieldName = DT.getName();
700 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000701 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000702 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000703 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000704 }
705
706 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000707 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
708 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000709
710 // Decode the original location, and use that as the start of the byref
711 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000712 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000713
Eric Christopheref9d7102012-07-04 02:02:18 +0000714 if (Location.isReg())
David Blaikie65a74662014-04-25 18:26:14 +0000715 addRegisterOp(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000716 else
David Blaikie65a74662014-04-25 18:26:14 +0000717 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000718
719 // If we started with a pointer to the __Block_byref... struct, then
720 // the first thing we need to do is dereference the pointer (DW_OP_deref).
721 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000722 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000723
724 // Next add the offset for the '__forwarding' field:
725 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
726 // adding the offset if it's 0.
727 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000728 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
729 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000730 }
731
732 // Now dereference the __forwarding field to get to the real __Block_byref
733 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000734 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000735
736 // Now that we've got the real __Block_byref... struct, add the offset
737 // for the variable's field to get to the location of the actual variable:
738 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
739 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000740 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
741 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000742 }
743
744 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000745 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000746}
747
Manman Renb3388602013-10-05 01:43:03 +0000748/// Return true if type encoding is unsigned.
749static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
750 DIDerivedType DTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000751 if (DTy.isDerivedType()) {
752 if (DIType Deriv = DD->resolve(DTy.getTypeDerivedFrom()))
753 return isUnsignedDIType(DD, Deriv);
754 // FIXME: Enums without a fixed underlying type have unknown signedness
755 // here, leading to incorrectly emitted constants.
756 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
757 return false;
758 }
Manman Renb3388602013-10-05 01:43:03 +0000759
760 DIBasicType BTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000761 assert(BTy.isBasicType());
David Blaikie60cae1b2014-05-11 16:08:41 +0000762 unsigned Encoding = BTy.getEncoding();
763 assert(Encoding == dwarf::DW_ATE_unsigned ||
764 Encoding == dwarf::DW_ATE_unsigned_char ||
765 Encoding == dwarf::DW_ATE_signed ||
766 Encoding == dwarf::DW_ATE_signed_char ||
767 Encoding == dwarf::DW_ATE_boolean && "Unsupported encoding");
768 return (Encoding == dwarf::DW_ATE_unsigned ||
769 Encoding == dwarf::DW_ATE_unsigned_char ||
770 Encoding == dwarf::DW_ATE_boolean);
Manman Renb3388602013-10-05 01:43:03 +0000771}
772
773/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000774static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000775 unsigned Tag = Ty.getTag();
776
777 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
778 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
779 Tag != dwarf::DW_TAG_restrict_type)
780 return Ty.getSizeInBits();
781
782 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
783
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000784 // If this type is not derived from any type or the type is a declaration then
785 // take conservative approach.
786 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000787 return Ty.getSizeInBits();
788
789 // If this is a derived type, go ahead and get the base type, unless it's a
790 // reference then it's just the size of the field. Pointer types have no need
791 // of this since they're a different type of qualification on the type.
792 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
793 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
794 return Ty.getSizeInBits();
795
796 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000797 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000798
799 return BaseType.getSizeInBits();
800}
801
Devang Patel0e821f42011-04-12 23:21:44 +0000802/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000803void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000804 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000805 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
806 APFloat FPImm = MO.getFPImm()->getValueAPF();
807
808 // Get the raw data form of the floating point.
809 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000810 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000811
812 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000813 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000814 int Incr = (LittleEndian ? 1 : -1);
815 int Start = (LittleEndian ? 0 : NumBytes - 1);
816 int Stop = (LittleEndian ? NumBytes : -1);
817
818 // Output the constant to DWARF one byte at a time.
819 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000820 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000821
David Blaikief2443192013-10-21 17:28:37 +0000822 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000823}
824
David Blaikiea39a76e2013-01-20 01:18:01 +0000825/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000826void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000827 // Pass this down to addConstantValue as an unsigned bag of bits.
828 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000829}
830
Devang Patel0e821f42011-04-12 23:21:44 +0000831/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000832void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
833 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000834}
835
David Blaikiec05c8f42014-05-11 15:47:39 +0000836/// addConstantValue - Add constant value entry in variable DIE.
837void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
838 DIType Ty) {
839 assert(MO.isImm() && "Invalid machine operand!");
840
David Blaikie60cae1b2014-05-11 16:08:41 +0000841 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000842}
843
David Blaikie60cae1b2014-05-11 16:08:41 +0000844void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000845 // FIXME: This is a bit conservative/simple - it emits negative values always
846 // sign extended to 64 bits rather than minimizing the number of bytes.
847 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000848 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000849}
850
David Blaikiec0a28412014-05-11 15:56:59 +0000851void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
852 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
853}
854
David Blaikiea39a76e2013-01-20 01:18:01 +0000855// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000856void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000857 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000858 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000859 addConstantValue(Die, Unsigned,
860 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000861 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000862 }
863
864 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
865
866 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000867 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000868
869 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000870 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000871
872 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000873 for (int i = 0; i < NumBytes; i++) {
874 uint8_t c;
875 if (LittleEndian)
876 c = Ptr64[i / 8] >> (8 * (i & 7));
877 else
878 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000879 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000880 }
Devang Patel0e821f42011-04-12 23:21:44 +0000881
David Blaikief2443192013-10-21 17:28:37 +0000882 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000883}
884
Eric Christopher25e35092013-04-22 07:47:40 +0000885/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000886void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000887 // Add template parameters.
888 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
889 DIDescriptor Element = TParams.getElement(i);
890 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000891 constructTemplateTypeParameterDIE(Buffer,
892 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000893 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000894 constructTemplateValueParameterDIE(Buffer,
895 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000896 }
Devang Patel0e821f42011-04-12 23:21:44 +0000897}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000898
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000899/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000900DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000901 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000902 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000903 if (Context.isType())
904 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000905 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000906 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000907 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000908 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000909 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000910}
911
Eric Christophera5a79422013-12-09 23:32:48 +0000912DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000913 DIScope Context = resolve(Ty.getContext());
914 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000915
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000916 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000917 return TyDIE;
918
919 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000920 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000921
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000922 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000923
David Blaikie9d861be2013-11-26 00:15:27 +0000924 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000925 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000926}
927
Devang Patel0e821f42011-04-12 23:21:44 +0000928/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
929/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000930DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000931 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000932 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000933
David Blaikie32887552013-11-14 22:25:02 +0000934 DIType Ty(TyNode);
935 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000936 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000937 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000938
David Blaikieee11f222014-04-12 05:35:59 +0000939 // DW_TAG_restrict_type is not supported in DWARF2
940 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
941 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
942
Manman Renf4c339e2013-10-29 22:49:29 +0000943 // Construct the context before querying for the existence of the DIE in case
944 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000945 DIScope Context = resolve(Ty.getContext());
946 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000947 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000948
David Blaikie65a74662014-04-25 18:26:14 +0000949 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000950 return TyDIE;
951
952 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000953 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000954
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000955 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000956
Devang Patel0e821f42011-04-12 23:21:44 +0000957 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +0000958 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000959 else if (Ty.isCompositeType()) {
960 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +0000961 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
962 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000963 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000964 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000965 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000966 }
David Blaikie65a74662014-04-25 18:26:14 +0000967 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000968 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000969 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +0000970 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000971 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000972
David Blaikie65a74662014-04-25 18:26:14 +0000973 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000974}
975
Eric Christophera5a79422013-12-09 23:32:48 +0000976void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000977 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000978 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
979 bool IsImplementation = 0;
980 if (Ty.isCompositeType()) {
981 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000982 // A runtime language of 0 actually means C/C++ and that any
983 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000984 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000985 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000986 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +0000987 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000988
David Blaikieadbea1e2014-03-12 03:34:38 +0000989 if ((!Context || Context.isCompileUnit() || Context.isFile() ||
990 Context.isNameSpace()) &&
991 getCUNode().getEmissionKind() != DIBuilder::LineTablesOnly)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000992 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] =
993 &TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +0000994 }
Devang Patel0e821f42011-04-12 23:21:44 +0000995}
996
997/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +0000998void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000999 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001000
1001 // Check for pre-existence.
1002 DIEEntry *Entry = getDIEEntry(Ty);
1003 // If it exists then use the existing value.
1004 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001005 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001006 return;
1007 }
1008
1009 // Construct type.
1010 DIE *Buffer = getOrCreateTypeDIE(Ty);
1011
1012 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001013 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001014 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001015 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001016}
1017
Eric Christopher9c58f312013-09-20 22:20:55 +00001018/// addGlobalName - Add a new global name to the compile unit.
David Blaikie65a74662014-04-25 18:26:14 +00001019void DwarfUnit::addGlobalName(StringRef Name, DIE &Die, DIScope Context) {
David Blaikieadbea1e2014-03-12 03:34:38 +00001020 if (getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1021 return;
Eric Christopher8dba0d52013-10-19 01:04:42 +00001022 std::string FullName = getParentContextString(Context) + Name.str();
David Blaikie65a74662014-04-25 18:26:14 +00001023 GlobalNames[FullName] = &Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001024}
1025
Eric Christopher2c8b7902013-10-17 02:06:06 +00001026/// getParentContextString - Walks the metadata parent chain in a language
1027/// specific manner (using the compile unit language) and returns
1028/// it as a string. This is done at the metadata level because DIEs may
1029/// not currently have been added to the parent context and walking the
1030/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001031std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001032 if (!Context)
1033 return "";
1034
1035 // FIXME: Decide whether to implement this for non-C++ languages.
1036 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1037 return "";
1038
Eric Christopher8dba0d52013-10-19 01:04:42 +00001039 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001040 SmallVector<DIScope, 1> Parents;
1041 while (!Context.isCompileUnit()) {
1042 Parents.push_back(Context);
1043 if (Context.getContext())
1044 Context = resolve(Context.getContext());
1045 else
1046 // Structure, etc types will have a NULL context if they're at the top
1047 // level.
1048 break;
1049 }
1050
1051 // Reverse iterate over our list to go from the outermost construct to the
1052 // innermost.
1053 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1054 E = Parents.rend();
1055 I != E; ++I) {
1056 DIScope Ctx = *I;
1057 StringRef Name = Ctx.getName();
Eric Christopher8dba0d52013-10-19 01:04:42 +00001058 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001059 CS += Name;
1060 CS += "::";
1061 }
1062 }
1063 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001064}
1065
1066/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001067void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001068 // Get core information.
1069 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001070 // Add name if not anonymous or intermediate type.
1071 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001072 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001073
David Blaikiefac56122013-10-04 23:21:16 +00001074 // An unspecified type only has a name attribute.
1075 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001076 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001077
David Blaikie65a74662014-04-25 18:26:14 +00001078 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001079 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001080
Devang Patel0e821f42011-04-12 23:21:44 +00001081 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +00001082 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001083}
1084
1085/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001086void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001087 // Get core information.
1088 StringRef Name = DTy.getName();
1089 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001090 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001091
1092 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001093 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001094 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +00001095 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001096
1097 // Add name if not anonymous or intermediate type.
1098 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001099 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001100
1101 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001102 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie65a74662014-04-25 18:26:14 +00001103 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001104
David Blaikie5d3249b2013-01-07 05:51:15 +00001105 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +00001106 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001107 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001108 // Add source line info if available and TyDesc is not a forward declaration.
1109 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001110 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001111}
1112
Adrian Prantl3f49c892014-02-25 19:57:42 +00001113/// constructSubprogramArguments - Construct function argument DIEs.
David Blaikie899ae612014-04-30 22:58:19 +00001114void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DIArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001115 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1116 DIDescriptor Ty = Args.getElement(i);
1117 if (Ty.isUnspecifiedParameter()) {
1118 assert(i == N-1 && "Unspecified parameter must be the last argument");
1119 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
1120 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001121 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
1122 addType(Arg, DIType(Ty));
Adrian Prantl69140d22014-02-25 22:27:14 +00001123 if (DIType(Ty).isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001124 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001125 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001126 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001127}
1128
Devang Patel0e821f42011-04-12 23:21:44 +00001129/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001130void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001131 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001132 StringRef Name = CTy.getName();
1133
1134 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001135 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001136
1137 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001138 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001139 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001140 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001141 case dwarf::DW_TAG_enumeration_type:
1142 constructEnumTypeDIE(Buffer, CTy);
1143 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001144 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001145 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001146 DIArray Elements = CTy.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001147 DIType RTy(Elements.getElement(0));
Eric Christopher0df08e22013-08-08 07:40:37 +00001148 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001149 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001150
1151 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001152 if (Elements.getNumElements() == 2 &&
1153 Elements.getElement(1).isUnspecifiedParameter())
1154 isPrototyped = false;
1155
1156 constructSubprogramArguments(Buffer, Elements);
1157
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001158 // Add prototype flag if we're dealing with a C language and the
1159 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001160 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001161 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001162 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001163 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001164 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001165
1166 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001167 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001168
1169 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001170 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001171 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001172 case dwarf::DW_TAG_structure_type:
1173 case dwarf::DW_TAG_union_type:
1174 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001175 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001176 DIArray Elements = CTy.getTypeArray();
1177 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001178 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001179 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001180 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001181 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001182 DIDerivedType DDTy(Element);
1183 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001184 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001185 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001186 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001187 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001188 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001189 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001190 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001191 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001192 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001193 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001194 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001195 StringRef PropertyName = Property.getObjCPropertyName();
1196 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001197 if (Property.getType())
1198 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001199 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001200 StringRef GetterName = Property.getObjCPropertyGetterName();
1201 if (!GetterName.empty())
1202 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1203 StringRef SetterName = Property.getObjCPropertySetterName();
1204 if (!SetterName.empty())
1205 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1206 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001207 if (Property.isReadOnlyObjCProperty())
1208 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1209 if (Property.isReadWriteObjCProperty())
1210 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1211 if (Property.isAssignObjCProperty())
1212 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1213 if (Property.isRetainObjCProperty())
1214 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1215 if (Property.isCopyObjCProperty())
1216 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1217 if (Property.isNonAtomicObjCProperty())
1218 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1219 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001220 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001221 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001222
Devang Pateld925d1a2012-02-07 23:33:58 +00001223 DIEEntry *Entry = getDIEEntry(Element);
1224 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001225 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001226 insertDIEEntry(Element, Entry);
1227 }
Devang Patel403e8192012-02-04 01:30:32 +00001228 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001229 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001230 }
1231
1232 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001233 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001234
Eric Christopher9e429ae2013-10-05 00:27:02 +00001235 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001236 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001237 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001238 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001239
Devang Patel12419ae2011-05-12 21:29:42 +00001240 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001241 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001242
Eric Christopherda011dd2011-12-16 23:42:42 +00001243 // Add template parameters to a class, structure or union types.
1244 // FIXME: The support isn't in the metadata for this yet.
1245 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001246 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001247 addTemplateParams(Buffer, CTy.getTemplateParams());
1248
1249 break;
1250 }
1251 default:
1252 break;
1253 }
1254
1255 // Add name if not anonymous or intermediate type.
1256 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001257 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001258
Eric Christopher775cbd22012-05-22 18:45:18 +00001259 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001260 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001261 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001262 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001263 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001264 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001265 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001266 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001267 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001268 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001269
1270 // If we're a forward decl, say so.
1271 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001272 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001273
1274 // Add source line info if available.
1275 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001276 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001277
1278 // No harm in adding the runtime language to the declaration.
1279 unsigned RLang = CTy.getRunTimeLang();
1280 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001281 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001282 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001283 }
1284}
1285
Manman Renffc9a712013-10-23 23:05:28 +00001286/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1287/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001288void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1289 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001290 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001291 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001292 // Add the type if it exists, it could be void and therefore no type.
1293 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001294 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001295 if (!TP.getName().empty())
1296 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001297}
1298
Manman Renffc9a712013-10-23 23:05:28 +00001299/// constructTemplateValueParameterDIE - Construct new DIE for the given
1300/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001301void
1302DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001303 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001304 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001305
1306 // Add the type if there is one, template template and template parameter
1307 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001308 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001309 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001310 if (!VP.getName().empty())
1311 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1312 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001313 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001314 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
David Blaikiea1e813d2013-05-10 21:52:07 +00001315 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1316 // For declaration non-type template parameters (such as global values and
1317 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001318 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001319 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001320 // Emit DW_OP_stack_value to use the address as the immediate value of the
1321 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001322 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001323 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001324 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001325 assert(isa<MDString>(Val));
1326 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1327 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001328 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001329 assert(isa<MDNode>(Val));
1330 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001331 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001332 }
1333 }
Devang Patel0e821f42011-04-12 23:21:44 +00001334}
1335
Devang Patel17b53272011-05-06 16:57:54 +00001336/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001337DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001338 // Construct the context before querying for the existence of the DIE in case
1339 // such construction creates the DIE.
1340 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001341
David Blaikie65a74662014-04-25 18:26:14 +00001342 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001343 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001344 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001345
Eric Christopher4996c702011-11-07 09:24:32 +00001346 if (!NS.getName().empty()) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001347 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001348 DD->addAccelNamespace(NS.getName(), NDie);
Eric Christopher2c8b7902013-10-17 02:06:06 +00001349 addGlobalName(NS.getName(), NDie, NS.getContext());
Eric Christopher4996c702011-11-07 09:24:32 +00001350 } else
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001351 DD->addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel17b53272011-05-06 16:57:54 +00001352 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001353 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001354}
1355
Devang Patel89543712011-08-15 17:24:54 +00001356/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001357DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001358 // Construct the context before querying for the existence of the DIE in case
1359 // such construction creates the DIE (as is the case for member function
1360 // declarations).
Adrian Prantld1e6a4e2014-03-14 23:08:25 +00001361 DIScope Context = resolve(SP.getContext());
1362 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantld486b342014-03-18 17:41:15 +00001363
Adrian Prantld1e6a4e2014-03-14 23:08:25 +00001364 // Unique declarations based on the ODR, where applicable.
Adrian Prantld486b342014-03-18 17:41:15 +00001365 SP = DISubprogram(DD->resolve(SP.getRef()));
1366 assert(SP.Verify());
David Blaikie309ffe42013-10-04 01:39:59 +00001367
David Blaikie65a74662014-04-25 18:26:14 +00001368 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001369 return SPDie;
1370
Manman Ren73d697c2013-10-29 00:58:04 +00001371 DISubprogram SPDecl = SP.getFunctionDeclaration();
1372 if (SPDecl.isSubprogram())
1373 // Add subprogram definitions to the CU die directly.
David Blaikiebd579052014-04-28 21:14:27 +00001374 ContextDIE = &getUnitDie();
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001375
1376 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001377 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001378
Craig Topper353eda42014-04-24 06:44:33 +00001379 DIE *DeclDie = nullptr;
Manman Renb9512a72013-10-23 22:12:26 +00001380 if (SPDecl.isSubprogram())
Rafael Espindola79278362011-11-10 22:34:29 +00001381 DeclDie = getOrCreateSubprogramDIE(SPDecl);
Rafael Espindola79278362011-11-10 22:34:29 +00001382
Devang Patel89543712011-08-15 17:24:54 +00001383 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001384 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001385
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001386 if (DeclDie)
Rafael Espindola79278362011-11-10 22:34:29 +00001387 // Refer function declaration directly.
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001388 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
Rafael Espindola79278362011-11-10 22:34:29 +00001389
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001390 // Add the linkage name if we have one and it isn't in the Decl.
1391 StringRef LinkageName = SP.getLinkageName();
1392 if (!LinkageName.empty()) {
1393 if (SPDecl.isSubprogram() && !SPDecl.getLinkageName().empty())
1394 assert(SPDecl.getLinkageName() == SP.getLinkageName() &&
1395 "decl has a linkage name and it is different");
1396 else
1397 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1398 GlobalValue::getRealLinkageName(LinkageName));
Rafael Espindola79278362011-11-10 22:34:29 +00001399 }
Devang Patel89543712011-08-15 17:24:54 +00001400
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001401 // If this DIE is going to refer declaration info using AT_specification
1402 // then there is no need to add other attributes.
1403 if (DeclDie)
David Blaikie65a74662014-04-25 18:26:14 +00001404 return &SPDie;
Eric Christopheracb71152012-08-23 22:52:55 +00001405
Devang Patel89543712011-08-15 17:24:54 +00001406 // Constructors and operators for anonymous aggregates do not have names.
1407 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001408 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001409
1410 addSourceLine(SPDie, SP);
1411
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001412 // Add the prototype if we have a prototype and we have a C like
1413 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001414 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001415 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001416 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001417 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001418 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001419
Devang Patel89543712011-08-15 17:24:54 +00001420 DICompositeType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001421 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1422 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001423
David Blaikie5174c842013-05-22 23:22:18 +00001424 DIArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001425 // Add a return type. If this is a type like a C/C++ void type we don't add a
1426 // return type.
Eric Christopher0df08e22013-08-08 07:40:37 +00001427 if (Args.getElement(0))
1428 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel89543712011-08-15 17:24:54 +00001429
1430 unsigned VK = SP.getVirtuality();
1431 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001432 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001433 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001434 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1435 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001436 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001437 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001438 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001439 }
1440
1441 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001442 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001443
Devang Patel89543712011-08-15 17:24:54 +00001444 // Add arguments. Do not add arguments for subprogram definition. They will
1445 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001446 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001447 }
1448
1449 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001450 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001451
1452 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001453 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001454
1455 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001456 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001457
1458 if (unsigned isa = Asm->getISAEncoding()) {
1459 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1460 }
1461
Adrian Prantl99c7af22013-12-18 21:48:19 +00001462 if (SP.isLValueReference())
1463 addFlag(SPDie, dwarf::DW_AT_reference);
1464
1465 if (SP.isRValueReference())
1466 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1467
Adrian Prantlef129fb2014-01-18 02:12:00 +00001468 if (SP.isProtected())
1469 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1470 dwarf::DW_ACCESS_protected);
1471 else if (SP.isPrivate())
1472 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1473 dwarf::DW_ACCESS_private);
1474 else
1475 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1476 dwarf::DW_ACCESS_public);
1477
1478 if (SP.isExplicit())
1479 addFlag(SPDie, dwarf::DW_AT_explicit);
1480
David Blaikie65a74662014-04-25 18:26:14 +00001481 return &SPDie;
Devang Patel89543712011-08-15 17:24:54 +00001482}
1483
Devang Pateldfd6ec32011-08-15 17:57:41 +00001484// Return const expression if value is a GEP to access merged global
1485// constant. e.g.
1486// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1487static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1488 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1489 if (!CE || CE->getNumOperands() != 3 ||
1490 CE->getOpcode() != Instruction::GetElementPtr)
Craig Topper353eda42014-04-24 06:44:33 +00001491 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001492
1493 // First operand points to a global struct.
1494 Value *Ptr = CE->getOperand(0);
1495 if (!isa<GlobalValue>(Ptr) ||
1496 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
Craig Topper353eda42014-04-24 06:44:33 +00001497 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001498
1499 // Second operand is zero.
1500 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1501 if (!CI || !CI->isZero())
Craig Topper353eda42014-04-24 06:44:33 +00001502 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001503
1504 // Third operand is offset.
1505 if (!isa<ConstantInt>(CE->getOperand(2)))
Craig Topper353eda42014-04-24 06:44:33 +00001506 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001507
1508 return CE;
1509}
1510
1511/// createGlobalVariableDIE - create global variable DIE.
Eric Christopher4287a492013-12-09 23:57:44 +00001512void DwarfCompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001513 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001514 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001515 return;
1516
David Blaikie5e390e42014-02-04 01:23:52 +00001517 assert(GV.isGlobalVariable());
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001518
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001519 DIScope GVContext = GV.getContext();
Adrian Prantl1a1647c2014-03-18 02:34:58 +00001520 DIType GTy = DD->resolve(GV.getType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001521
1522 // If this is a static data member definition, some attributes belong
1523 // to the declaration DIE.
Craig Topper353eda42014-04-24 06:44:33 +00001524 DIE *VariableDIE = nullptr;
Manman Rene697d3c2013-02-01 23:54:37 +00001525 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001526 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1527 if (SDMDecl.Verify()) {
1528 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1529 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001530 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001531 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001532 }
1533
1534 // If this is not a static data member definition, create the variable
1535 // DIE and add the initial set of attributes to it.
1536 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001537 // Construct the context before querying for the existence of the DIE in
1538 // case such construction creates the DIE.
1539 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001540
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001541 // Add to map.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001542 VariableDIE = &createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001543
1544 // Add name and type.
David Blaikie65a74662014-04-25 18:26:14 +00001545 addString(*VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1546 addType(*VariableDIE, GTy);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001547
1548 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001549 if (!GV.isLocalToUnit())
David Blaikie65a74662014-04-25 18:26:14 +00001550 addFlag(*VariableDIE, dwarf::DW_AT_external);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001551
1552 // Add line number info.
David Blaikie65a74662014-04-25 18:26:14 +00001553 addSourceLine(*VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001554 }
1555
Devang Pateldfd6ec32011-08-15 17:57:41 +00001556 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001557 bool addToAccelTable = false;
Craig Topper353eda42014-04-24 06:44:33 +00001558 DIE *VariableSpecDIE = nullptr;
1559 bool isGlobalVariable = GV.getGlobal() != nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001560 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001561 addToAccelTable = true;
Eric Christopher4a741042014-02-16 08:46:55 +00001562 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001563 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001564 if (GV.getGlobal()->isThreadLocal()) {
1565 // FIXME: Make this work with -gsplit-dwarf.
1566 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1567 assert((PointerSize == 4 || PointerSize == 8) &&
1568 "Add support for other sizes if necessary");
1569 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001570 if (!DD->useSplitDwarf()) {
1571 // 1) Start with a constNu of the appropriate pointer size
David Blaikie65a74662014-04-25 18:26:14 +00001572 addUInt(*Loc, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001573 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001574 // 2) containing the (relocated) offset of the TLS variable
1575 // within the module's TLS block.
David Blaikie65a74662014-04-25 18:26:14 +00001576 addExpr(*Loc, dwarf::DW_FORM_udata,
David Blaikief1a6dea2014-02-15 19:34:03 +00001577 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym));
David Blaikie8466ca82013-07-01 23:55:52 +00001578 } else {
David Blaikie65a74662014-04-25 18:26:14 +00001579 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1580 addUInt(*Loc, dwarf::DW_FORM_udata,
David Blaikied75fb282014-04-23 21:20:10 +00001581 DD->getAddressPool().getIndex(Sym, /* TLS */ true));
David Blaikie8466ca82013-07-01 23:55:52 +00001582 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001583 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikie65a74662014-04-25 18:26:14 +00001584 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001585 } else {
1586 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikie65a74662014-04-25 18:26:14 +00001587 addOpAddress(*Loc, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001588 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001589 // Do not create specification DIE if context is either compile unit
1590 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001591 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001592 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001593 // Create specification DIE.
David Blaikiebd579052014-04-28 21:14:27 +00001594 VariableSpecDIE = &createAndAddDIE(dwarf::DW_TAG_variable, UnitDie);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001595 addDIEEntry(*VariableSpecDIE, dwarf::DW_AT_specification, *VariableDIE);
David Blaikie65a74662014-04-25 18:26:14 +00001596 addBlock(*VariableSpecDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001597 // A static member's declaration is already flagged as such.
1598 if (!SDMDecl.Verify())
David Blaikie65a74662014-04-25 18:26:14 +00001599 addFlag(*VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001600 } else {
David Blaikie65a74662014-04-25 18:26:14 +00001601 addBlock(*VariableDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4996c702011-11-07 09:24:32 +00001602 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001603 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001604 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001605 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001606 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1607 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1608 // TAG_variable.
David Blaikie65a74662014-04-25 18:26:14 +00001609 addString(IsStaticMember && VariableSpecDIE ? *VariableSpecDIE
1610 : *VariableDIE,
Eric Christopheraf7eca22014-03-13 23:26:25 +00001611 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
1612 : dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001613 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001614 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001615 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001616 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001617 // emitting AT_const_value multiple times, we only add AT_const_value when
1618 // it is not a static member.
1619 if (!IsStaticMember)
David Blaikiec0a28412014-05-11 15:56:59 +00001620 addConstantValue(*VariableDIE, CI, GTy);
David Blaikiea781b25b2013-11-17 21:55:13 +00001621 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001622 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001623 // GV is a merged global.
Eric Christopher4a741042014-02-16 08:46:55 +00001624 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Pateldfd6ec32011-08-15 17:57:41 +00001625 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001626 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1627 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikie65a74662014-04-25 18:26:14 +00001628 addOpAddress(*Loc, Sym);
1629 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001630 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikie65a74662014-04-25 18:26:14 +00001631 addUInt(*Loc, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001632 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikie65a74662014-04-25 18:26:14 +00001633 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1634 addBlock(*VariableDIE, dwarf::DW_AT_location, Loc);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001635 }
1636
Eric Christopherc12c2112011-11-11 01:55:22 +00001637 if (addToAccelTable) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001638 DIE &AddrDIE = VariableSpecDIE ? *VariableSpecDIE : *VariableDIE;
David Blaikie2406a0622014-04-23 23:37:35 +00001639 DD->addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001640
Eric Christopherc12c2112011-11-11 01:55:22 +00001641 // If the linkage name is different than the name, go ahead and output
1642 // that as well into the name table.
1643 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
David Blaikie2406a0622014-04-23 23:37:35 +00001644 DD->addAccelName(GV.getLinkageName(), AddrDIE);
Eric Christopherc12c2112011-11-11 01:55:22 +00001645 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001646
1647 if (!GV.isLocalToUnit())
David Blaikie65a74662014-04-25 18:26:14 +00001648 addGlobalName(GV.getName(),
1649 VariableSpecDIE ? *VariableSpecDIE : *VariableDIE,
Eric Christopher2c8b7902013-10-17 02:06:06 +00001650 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001651}
1652
Devang Patel0e821f42011-04-12 23:21:44 +00001653/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001654void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001655 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001656 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001657
Bill Wendling28fe9e72012-12-06 07:38:10 +00001658 // The LowerBound value defines the lower bounds which is typically zero for
1659 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1660 // Count == -1 then the array is unbounded and we do not emit
1661 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1662 // Count == 0, then the array has zero elements in which case we do not emit
1663 // an upper bound.
1664 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001665 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001666 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001667
Bill Wendling3495f9b2012-12-06 07:55:19 +00001668 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001669 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001670
1671 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001672 // FIXME: An unbounded array should reference the expression that defines
1673 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001674 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1675 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001676}
1677
1678/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001679void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001680 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001681 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001682
Eric Christopher0df08e22013-08-08 07:40:37 +00001683 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001684 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001685
1686 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001687 // FIXME: This type should be passed down from the front end
1688 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001689 DIE *IdxTy = getIndexTyDie();
1690 if (!IdxTy) {
David Blaikie12e00fc2014-04-03 06:28:20 +00001691 // Construct an integer type to use for indexes.
David Blaikiebd579052014-04-28 21:14:27 +00001692 IdxTy = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
David Blaikie65a74662014-04-25 18:26:14 +00001693 addString(*IdxTy, dwarf::DW_AT_name, "sizetype");
1694 addUInt(*IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1695 addUInt(*IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
David Blaikie12e00fc2014-04-03 06:28:20 +00001696 dwarf::DW_ATE_unsigned);
Devang Patel0e821f42011-04-12 23:21:44 +00001697 setIndexTyDie(IdxTy);
1698 }
1699
1700 // Add subranges to array type.
Eric Christopherdf9955d2013-11-11 18:52:31 +00001701 DIArray Elements = CTy.getTypeArray();
Devang Patel0e821f42011-04-12 23:21:44 +00001702 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1703 DIDescriptor Element = Elements.getElement(i);
1704 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1705 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1706 }
1707}
1708
Eric Christopheraeb105f2013-11-11 18:52:39 +00001709/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001710void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopheraeb105f2013-11-11 18:52:39 +00001711 DIArray Elements = CTy.getTypeArray();
1712
1713 // Add enumerators to enumeration type.
1714 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001715 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001716 if (Enum.isEnumerator()) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001717 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001718 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001719 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001720 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001721 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1722 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001723 }
1724 }
1725 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1726 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001727 addType(Buffer, DTy);
1728 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001729 }
Devang Patel0e821f42011-04-12 23:21:44 +00001730}
1731
Devang Patel89543712011-08-15 17:24:54 +00001732/// constructContainingTypeDIEs - Construct DIEs for types that contain
1733/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001734void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001735 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001736 CE = ContainingTypeMap.end();
1737 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001738 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001739 DIDescriptor D(CI->second);
1740 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001741 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001742 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001743 if (!NDie)
1744 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001745 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001746 }
1747}
1748
Devang Patel3acc70e2011-08-15 22:04:40 +00001749/// constructVariableDIE - Construct a DIE for the given DbgVariable.
David Blaikie914046e2014-04-25 20:00:34 +00001750std::unique_ptr<DIE> DwarfUnit::constructVariableDIE(DbgVariable &DV,
David Blaikie44078b32014-04-30 22:41:33 +00001751 AbstractOrInlined AbsIn) {
1752 auto D = constructVariableDIEImpl(DV, AbsIn);
David Blaikiee071fc82014-04-25 17:32:19 +00001753 DV.setDIE(*D);
1754 return D;
1755}
1756
David Blaikie44078b32014-04-30 22:41:33 +00001757std::unique_ptr<DIE>
1758DwarfUnit::constructVariableDIEImpl(const DbgVariable &DV,
1759 AbstractOrInlined AbsIn) {
Eric Christopher34a2c872013-11-15 01:43:19 +00001760 StringRef Name = DV.getName();
Devang Patel3acc70e2011-08-15 22:04:40 +00001761
Devang Patel3acc70e2011-08-15 22:04:40 +00001762 // Define variable debug information entry.
David Blaikie914046e2014-04-25 20:00:34 +00001763 auto VariableDie = make_unique<DIE>(DV.getTag());
Eric Christopher34a2c872013-11-15 01:43:19 +00001764 DbgVariable *AbsVar = DV.getAbstractVariable();
Craig Topper353eda42014-04-24 06:44:33 +00001765 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : nullptr;
Manman Ren4213c392013-05-29 17:16:59 +00001766 if (AbsDIE)
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001767 addDIEEntry(*VariableDie, dwarf::DW_AT_abstract_origin, *AbsDIE);
Devang Patel3acc70e2011-08-15 22:04:40 +00001768 else {
David Blaikie715528b2013-08-19 03:34:03 +00001769 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001770 addString(*VariableDie, dwarf::DW_AT_name, Name);
1771 addSourceLine(*VariableDie, DV.getVariable());
1772 addType(*VariableDie, DV.getType());
Devang Patel3acc70e2011-08-15 22:04:40 +00001773 }
1774
David Blaikie44078b32014-04-30 22:41:33 +00001775 if (AbsIn != AOI_Inlined && DV.isArtificial())
David Blaikie65a74662014-04-25 18:26:14 +00001776 addFlag(*VariableDie, dwarf::DW_AT_artificial);
Devang Patel3acc70e2011-08-15 22:04:40 +00001777
David Blaikie44078b32014-04-30 22:41:33 +00001778 if (AbsIn == AOI_Abstract)
Devang Patel3acc70e2011-08-15 22:04:40 +00001779 return VariableDie;
Devang Patel3acc70e2011-08-15 22:04:40 +00001780
1781 // Add variable address.
1782
Eric Christopher34a2c872013-11-15 01:43:19 +00001783 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001784 if (Offset != ~0U) {
David Blaikie65a74662014-04-25 18:26:14 +00001785 addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
Devang Patel3acc70e2011-08-15 22:04:40 +00001786 return VariableDie;
1787 }
1788
Eric Christophercead0332011-10-03 15:49:20 +00001789 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001790 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001791 assert(DVInsn->getNumOperands() == 3);
1792 if (DVInsn->getOperand(0).isReg()) {
1793 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001794 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001795 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001796 MachineLocation Location(RegOp.getReg(),
1797 DVInsn->getOperand(1).getImm());
David Blaikie65a74662014-04-25 18:26:14 +00001798 addVariableAddress(DV, *VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001799 } else if (RegOp.getReg())
David Blaikie65a74662014-04-25 18:26:14 +00001800 addVariableAddress(DV, *VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001801 } else if (DVInsn->getOperand(0).isImm())
David Blaikie65a74662014-04-25 18:26:14 +00001802 addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001803 else if (DVInsn->getOperand(0).isFPImm())
David Blaikie65a74662014-04-25 18:26:14 +00001804 addConstantFPValue(*VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001805 else if (DVInsn->getOperand(0).isCImm())
David Blaikie65a74662014-04-25 18:26:14 +00001806 addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(),
David Blaikiec0a28412014-05-11 15:56:59 +00001807 DV.getType());
Eric Christopher78fcf4902013-07-03 01:08:30 +00001808
Devang Patel3acc70e2011-08-15 22:04:40 +00001809 return VariableDie;
Devang Patel3acc70e2011-08-15 22:04:40 +00001810 }
1811
David Blaikiee071fc82014-04-25 17:32:19 +00001812 // .. else use frame index.
1813 int FI = DV.getFrameIndex();
1814 if (FI != ~0) {
1815 unsigned FrameReg = 0;
1816 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
1817 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1818 MachineLocation Location(FrameReg, Offset);
David Blaikie65a74662014-04-25 18:26:14 +00001819 addVariableAddress(DV, *VariableDie, Location);
David Blaikiee071fc82014-04-25 17:32:19 +00001820 }
1821
Devang Patel3acc70e2011-08-15 22:04:40 +00001822 return VariableDie;
1823}
1824
Manman Ren230ec862013-10-23 23:00:44 +00001825/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001826void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001827 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001828 StringRef Name = DT.getName();
1829 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001830 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001831
Manman Ren93b30902013-10-08 18:42:58 +00001832 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001833
1834 addSourceLine(MemberDie, DT);
1835
Eric Christopherc2697f82013-10-19 01:04:47 +00001836 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001837
1838 // For C++, virtual base classes are not at fixed offset. Use following
1839 // expression to extract appropriate offset from vtable.
1840 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1841
Eric Christopher4a741042014-02-16 08:46:55 +00001842 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001843 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1844 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1845 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1846 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1847 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1848 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1849 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001850
David Blaikief2443192013-10-21 17:28:37 +00001851 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001852 } else {
1853 uint64_t Size = DT.getSizeInBits();
1854 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1855 uint64_t OffsetInBytes;
1856
1857 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001858 // Handle bitfield, assume bytes are 8 bits.
1859 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1860 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001861
1862 uint64_t Offset = DT.getOffsetInBits();
1863 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1864 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1865 uint64_t FieldOffset = (HiMark - FieldSize);
1866 Offset -= FieldOffset;
1867
1868 // Maybe we need to work from the other end.
1869 if (Asm->getDataLayout().isLittleEndian())
1870 Offset = FieldSize - (Offset + Size);
1871 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1872
Adrian Prantlc67655a2014-01-28 18:13:47 +00001873 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001874 // field that includes this bit field.
1875 OffsetInBytes = FieldOffset >> 3;
1876 } else
1877 // This is not a bitfield.
1878 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001879
David Blaikie22b29a52014-01-03 01:30:05 +00001880 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001881 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001882 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1883 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001884 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1885 } else
1886 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1887 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001888 }
Devang Patel0e821f42011-04-12 23:21:44 +00001889
1890 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001891 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001892 dwarf::DW_ACCESS_protected);
1893 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001894 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001895 dwarf::DW_ACCESS_private);
1896 // Otherwise C++ member and base classes are considered public.
Eric Christopher92331fd2012-11-21 00:34:38 +00001897 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001898 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001899 dwarf::DW_ACCESS_public);
1900 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001901 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001902 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001903
1904 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001905 if (MDNode *PNode = DT.getObjCProperty())
1906 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001907 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1908 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001909
David Blaikie37fefc32012-12-13 22:43:07 +00001910 if (DT.isArtificial())
1911 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001912}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001913
Manman Renc6b63922013-10-14 20:33:57 +00001914/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001915DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001916 if (!DT.Verify())
Craig Topper353eda42014-04-24 06:44:33 +00001917 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001918
Manman Renc6b63922013-10-14 20:33:57 +00001919 // Construct the context before querying for the existence of the DIE in case
1920 // such construction creates the DIE.
1921 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001922 assert(dwarf::isType(ContextDIE->getTag()) &&
1923 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001924
David Blaikie65a74662014-04-25 18:26:14 +00001925 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001926 return StaticMemberDIE;
1927
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001928 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001929
Manman Ren93b30902013-10-08 18:42:58 +00001930 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001931
1932 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1933 addType(StaticMemberDIE, Ty);
1934 addSourceLine(StaticMemberDIE, DT);
1935 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1936 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1937
1938 // FIXME: We could omit private if the parent is a class_type, and
1939 // public if the parent is something else.
1940 if (DT.isProtected())
1941 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1942 dwarf::DW_ACCESS_protected);
1943 else if (DT.isPrivate())
1944 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1945 dwarf::DW_ACCESS_private);
1946 else
1947 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1948 dwarf::DW_ACCESS_public);
1949
1950 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001951 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00001952 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1953 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001954
David Blaikie65a74662014-04-25 18:26:14 +00001955 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001956}
David Blaikie6b288cf2013-10-30 20:42:41 +00001957
David Blaikied82b2372014-03-24 20:28:10 +00001958void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00001959 Asm->OutStreamer.AddComment("DWARF version number");
1960 Asm->EmitInt16(DD->getDwarfVersion());
1961 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00001962 // We share one abbreviations table across all units so it's always at the
1963 // start of the section. Use a relocatable offset where needed to ensure
1964 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001965 if (ASectionSym)
1966 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
1967 else
David Blaikie326e1fa2014-04-02 02:04:51 +00001968 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001969 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00001970 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1971 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1972}
David Blaikiebc563272013-12-13 21:33:40 +00001973
Eric Christopher384f3fe2014-03-20 19:16:16 +00001974void DwarfUnit::addRange(RangeSpan Range) {
1975 // Only add a range for this unit if we're emitting full debug.
1976 if (getCUNode().getEmissionKind() == DIBuilder::FullDebug) {
1977 // If we have no current ranges just add the range and return, otherwise,
1978 // check the current section and CU against the previous section and CU we
1979 // emitted into and the subprogram was contained within. If these are the
1980 // same then extend our current range, otherwise add this as a new range.
1981 if (CURanges.size() == 0 ||
1982 this != DD->getPrevCU() ||
1983 Asm->getCurrentSection() != DD->getPrevSection()) {
1984 CURanges.push_back(Range);
1985 return;
1986 }
1987
1988 assert(&(CURanges.back().getEnd()->getSection()) ==
1989 &(Range.getEnd()->getSection()) &&
1990 "We can only append to a range in the same section!");
1991 CURanges.back().setEnd(Range.getEnd());
1992 }
1993}
1994
David Blaikie2494fdb2014-02-14 22:41:51 +00001995void DwarfCompileUnit::initStmtList(MCSymbol *DwarfLineSectionSym) {
1996 // Define start line table label for each Compile Unit.
1997 MCSymbol *LineTableStartSym =
David Blaikie34641612014-04-01 08:07:52 +00001998 Asm->OutStreamer.getDwarfLineTableSymbol(getUniqueID());
David Blaikie2494fdb2014-02-14 22:41:51 +00001999
David Blaikiebd579052014-04-28 21:14:27 +00002000 stmtListIndex = UnitDie.getValues().size();
David Blaikie60e63862014-02-14 23:58:13 +00002001
David Blaikie2494fdb2014-02-14 22:41:51 +00002002 // DW_AT_stmt_list is a offset of line number information for this
2003 // compile unit in debug_line section. For split dwarf this is
2004 // left in the skeleton CU and so not included.
2005 // The line table entries are not always emitted in assembly, so it
2006 // is not okay to use line_table_start here.
2007 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
David Blaikiebd579052014-04-28 21:14:27 +00002008 addSectionLabel(UnitDie, dwarf::DW_AT_stmt_list, LineTableStartSym);
David Blaikie2494fdb2014-02-14 22:41:51 +00002009 else
David Blaikiebd579052014-04-28 21:14:27 +00002010 addSectionDelta(UnitDie, dwarf::DW_AT_stmt_list, LineTableStartSym,
David Blaikie2494fdb2014-02-14 22:41:51 +00002011 DwarfLineSectionSym);
2012}
2013
David Blaikie60e63862014-02-14 23:58:13 +00002014void DwarfCompileUnit::applyStmtList(DIE &D) {
2015 D.addValue(dwarf::DW_AT_stmt_list,
David Blaikiebd579052014-04-28 21:14:27 +00002016 UnitDie.getAbbrev().getData()[stmtListIndex].getForm(),
2017 UnitDie.getValues()[stmtListIndex]);
David Blaikie60e63862014-02-14 23:58:13 +00002018}
2019
David Blaikied82b2372014-03-24 20:28:10 +00002020void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
2021 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00002022 Asm->OutStreamer.AddComment("Type Signature");
2023 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
2024 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00002025 // In a skeleton type unit there is no type DIE so emit a zero offset.
2026 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
2027 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00002028}
2029
2030void DwarfTypeUnit::initSection(const MCSection *Section) {
2031 assert(!this->Section);
2032 this->Section = Section;
2033 // Since each type unit is contained in its own COMDAT section, the begin
2034 // label and the section label are the same. Using the begin label emission in
2035 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
2036 // the only other alternative of lazily constructing start-of-section labels
2037 // and storing a mapping in DwarfDebug (or AsmPrinter).
2038 this->SectionSym = this->LabelBegin =
2039 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2040 this->LabelEnd =
2041 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
David Blaikiebc563272013-12-13 21:33:40 +00002042}