blob: 83d1f3aa930a02ff55fc9f9556b8cc6d73b3a2a2 [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
Devang Patelbcd50a12011-07-20 21:57:04 +0000748/// isTypeSigned - Return true if the type is signed.
David Blaikie958647c2014-05-11 15:06:20 +0000749static bool isTypeSigned(DwarfDebug *DD, DIType Ty) {
Devang Patelbcd50a12011-07-20 21:57:04 +0000750 if (Ty.isDerivedType())
David Blaikie958647c2014-05-11 15:06:20 +0000751 return isTypeSigned(DD,
752 DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
753
754 return Ty.isBasicType() &&
755 (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed ||
756 DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char);
Devang Patelbcd50a12011-07-20 21:57:04 +0000757}
758
Manman Renb3388602013-10-05 01:43:03 +0000759/// Return true if type encoding is unsigned.
760static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
761 DIDerivedType DTy(Ty);
762 if (DTy.isDerivedType())
763 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
764
765 DIBasicType BTy(Ty);
766 if (BTy.isBasicType()) {
767 unsigned Encoding = BTy.getEncoding();
768 if (Encoding == dwarf::DW_ATE_unsigned ||
769 Encoding == dwarf::DW_ATE_unsigned_char ||
770 Encoding == dwarf::DW_ATE_boolean)
771 return true;
772 }
773 return false;
774}
775
776/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000777static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000778 unsigned Tag = Ty.getTag();
779
780 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
781 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
782 Tag != dwarf::DW_TAG_restrict_type)
783 return Ty.getSizeInBits();
784
785 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
786
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000787 // If this type is not derived from any type or the type is a declaration then
788 // take conservative approach.
789 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000790 return Ty.getSizeInBits();
791
792 // If this is a derived type, go ahead and get the base type, unless it's a
793 // reference then it's just the size of the field. Pointer types have no need
794 // of this since they're a different type of qualification on the type.
795 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
796 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
797 return Ty.getSizeInBits();
798
799 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000800 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000801
802 return BaseType.getSizeInBits();
803}
804
Devang Patel0e821f42011-04-12 23:21:44 +0000805/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000806void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000807 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000808 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
809 APFloat FPImm = MO.getFPImm()->getValueAPF();
810
811 // Get the raw data form of the floating point.
812 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000813 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000814
815 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000816 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000817 int Incr = (LittleEndian ? 1 : -1);
818 int Start = (LittleEndian ? 0 : NumBytes - 1);
819 int Stop = (LittleEndian ? NumBytes : -1);
820
821 // Output the constant to DWARF one byte at a time.
822 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000823 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000824
David Blaikief2443192013-10-21 17:28:37 +0000825 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000826}
827
David Blaikiea39a76e2013-01-20 01:18:01 +0000828/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000829void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000830 // Pass this down to addConstantValue as an unsigned bag of bits.
831 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000832}
833
Devang Patel0e821f42011-04-12 23:21:44 +0000834/// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000835void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Eric Christophera5a79422013-12-09 23:32:48 +0000836 bool Unsigned) {
Eric Christopher78fcf4902013-07-03 01:08:30 +0000837 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikiea39a76e2013-01-20 01:18:01 +0000838}
839
David Blaikiec05c8f42014-05-11 15:47:39 +0000840/// addConstantValue - Add constant value entry in variable DIE.
841void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
842 DIType Ty) {
843 assert(MO.isImm() && "Invalid machine operand!");
844
845 addConstantValue(Die, isTypeSigned(DD, Ty), MO.getImm());
846}
847
848void DwarfUnit::addConstantValue(DIE &Die, bool Signed, uint64_t Val) {
849 // FIXME: This is a bit conservative/simple - it emits negative values always
850 // sign extended to 64 bits rather than minimizing the number of bytes.
851 addUInt(Die, dwarf::DW_AT_const_value,
852 Signed ? dwarf::DW_FORM_sdata : dwarf::DW_FORM_udata, Val);
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 Blaikiec05c8f42014-05-11 15:47:39 +0000859 addConstantValue(Die, !Unsigned, Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000860 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000861 }
862
863 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
864
865 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000866 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000867
868 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000869 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000870
871 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000872 for (int i = 0; i < NumBytes; i++) {
873 uint8_t c;
874 if (LittleEndian)
875 c = Ptr64[i / 8] >> (8 * (i & 7));
876 else
877 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000878 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000879 }
Devang Patel0e821f42011-04-12 23:21:44 +0000880
David Blaikief2443192013-10-21 17:28:37 +0000881 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000882}
883
Eric Christopher25e35092013-04-22 07:47:40 +0000884/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000885void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000886 // Add template parameters.
887 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
888 DIDescriptor Element = TParams.getElement(i);
889 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000890 constructTemplateTypeParameterDIE(Buffer,
891 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000892 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000893 constructTemplateValueParameterDIE(Buffer,
894 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000895 }
Devang Patel0e821f42011-04-12 23:21:44 +0000896}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000897
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000898/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000899DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000900 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000901 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000902 if (Context.isType())
903 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000904 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000905 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000906 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000907 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000908 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000909}
910
Eric Christophera5a79422013-12-09 23:32:48 +0000911DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000912 DIScope Context = resolve(Ty.getContext());
913 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000914
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000915 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000916 return TyDIE;
917
918 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000919 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000920
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000921 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000922
David Blaikie9d861be2013-11-26 00:15:27 +0000923 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000924 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000925}
926
Devang Patel0e821f42011-04-12 23:21:44 +0000927/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
928/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000929DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000930 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000931 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000932
David Blaikie32887552013-11-14 22:25:02 +0000933 DIType Ty(TyNode);
934 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000935 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000936 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000937
David Blaikieee11f222014-04-12 05:35:59 +0000938 // DW_TAG_restrict_type is not supported in DWARF2
939 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
940 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
941
Manman Renf4c339e2013-10-29 22:49:29 +0000942 // Construct the context before querying for the existence of the DIE in case
943 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000944 DIScope Context = resolve(Ty.getContext());
945 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000946 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000947
David Blaikie65a74662014-04-25 18:26:14 +0000948 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000949 return TyDIE;
950
951 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000952 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000953
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000954 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000955
Devang Patel0e821f42011-04-12 23:21:44 +0000956 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +0000957 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000958 else if (Ty.isCompositeType()) {
959 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +0000960 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
961 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000962 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000963 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000964 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000965 }
David Blaikie65a74662014-04-25 18:26:14 +0000966 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000967 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000968 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +0000969 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000970 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000971
David Blaikie65a74662014-04-25 18:26:14 +0000972 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000973}
974
Eric Christophera5a79422013-12-09 23:32:48 +0000975void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000976 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000977 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
978 bool IsImplementation = 0;
979 if (Ty.isCompositeType()) {
980 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000981 // A runtime language of 0 actually means C/C++ and that any
982 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000983 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000984 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000985 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +0000986 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000987
David Blaikieadbea1e2014-03-12 03:34:38 +0000988 if ((!Context || Context.isCompileUnit() || Context.isFile() ||
989 Context.isNameSpace()) &&
990 getCUNode().getEmissionKind() != DIBuilder::LineTablesOnly)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000991 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] =
992 &TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +0000993 }
Devang Patel0e821f42011-04-12 23:21:44 +0000994}
995
996/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +0000997void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000998 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000999
1000 // Check for pre-existence.
1001 DIEEntry *Entry = getDIEEntry(Ty);
1002 // If it exists then use the existing value.
1003 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001004 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001005 return;
1006 }
1007
1008 // Construct type.
1009 DIE *Buffer = getOrCreateTypeDIE(Ty);
1010
1011 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001012 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001013 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001014 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001015}
1016
Eric Christopher9c58f312013-09-20 22:20:55 +00001017/// addGlobalName - Add a new global name to the compile unit.
David Blaikie65a74662014-04-25 18:26:14 +00001018void DwarfUnit::addGlobalName(StringRef Name, DIE &Die, DIScope Context) {
David Blaikieadbea1e2014-03-12 03:34:38 +00001019 if (getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1020 return;
Eric Christopher8dba0d52013-10-19 01:04:42 +00001021 std::string FullName = getParentContextString(Context) + Name.str();
David Blaikie65a74662014-04-25 18:26:14 +00001022 GlobalNames[FullName] = &Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001023}
1024
Eric Christopher2c8b7902013-10-17 02:06:06 +00001025/// getParentContextString - Walks the metadata parent chain in a language
1026/// specific manner (using the compile unit language) and returns
1027/// it as a string. This is done at the metadata level because DIEs may
1028/// not currently have been added to the parent context and walking the
1029/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001030std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001031 if (!Context)
1032 return "";
1033
1034 // FIXME: Decide whether to implement this for non-C++ languages.
1035 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1036 return "";
1037
Eric Christopher8dba0d52013-10-19 01:04:42 +00001038 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001039 SmallVector<DIScope, 1> Parents;
1040 while (!Context.isCompileUnit()) {
1041 Parents.push_back(Context);
1042 if (Context.getContext())
1043 Context = resolve(Context.getContext());
1044 else
1045 // Structure, etc types will have a NULL context if they're at the top
1046 // level.
1047 break;
1048 }
1049
1050 // Reverse iterate over our list to go from the outermost construct to the
1051 // innermost.
1052 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1053 E = Parents.rend();
1054 I != E; ++I) {
1055 DIScope Ctx = *I;
1056 StringRef Name = Ctx.getName();
Eric Christopher8dba0d52013-10-19 01:04:42 +00001057 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001058 CS += Name;
1059 CS += "::";
1060 }
1061 }
1062 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001063}
1064
1065/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001066void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001067 // Get core information.
1068 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001069 // Add name if not anonymous or intermediate type.
1070 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001071 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001072
David Blaikiefac56122013-10-04 23:21:16 +00001073 // An unspecified type only has a name attribute.
1074 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001075 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001076
David Blaikie65a74662014-04-25 18:26:14 +00001077 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001078 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001079
Devang Patel0e821f42011-04-12 23:21:44 +00001080 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +00001081 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001082}
1083
1084/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001085void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001086 // Get core information.
1087 StringRef Name = DTy.getName();
1088 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001089 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001090
1091 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001092 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001093 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +00001094 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001095
1096 // Add name if not anonymous or intermediate type.
1097 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001098 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001099
1100 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001101 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie65a74662014-04-25 18:26:14 +00001102 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001103
David Blaikie5d3249b2013-01-07 05:51:15 +00001104 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +00001105 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001106 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001107 // Add source line info if available and TyDesc is not a forward declaration.
1108 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001109 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001110}
1111
Adrian Prantl3f49c892014-02-25 19:57:42 +00001112/// constructSubprogramArguments - Construct function argument DIEs.
David Blaikie899ae612014-04-30 22:58:19 +00001113void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DIArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001114 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1115 DIDescriptor Ty = Args.getElement(i);
1116 if (Ty.isUnspecifiedParameter()) {
1117 assert(i == N-1 && "Unspecified parameter must be the last argument");
1118 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
1119 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001120 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
1121 addType(Arg, DIType(Ty));
Adrian Prantl69140d22014-02-25 22:27:14 +00001122 if (DIType(Ty).isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001123 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001124 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001125 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001126}
1127
Devang Patel0e821f42011-04-12 23:21:44 +00001128/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001129void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001130 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001131 StringRef Name = CTy.getName();
1132
1133 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001134 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001135
1136 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001137 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001138 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001139 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001140 case dwarf::DW_TAG_enumeration_type:
1141 constructEnumTypeDIE(Buffer, CTy);
1142 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001143 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001144 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001145 DIArray Elements = CTy.getTypeArray();
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001146 DIType RTy(Elements.getElement(0));
Eric Christopher0df08e22013-08-08 07:40:37 +00001147 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001148 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001149
1150 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001151 if (Elements.getNumElements() == 2 &&
1152 Elements.getElement(1).isUnspecifiedParameter())
1153 isPrototyped = false;
1154
1155 constructSubprogramArguments(Buffer, Elements);
1156
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001157 // Add prototype flag if we're dealing with a C language and the
1158 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001159 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001160 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001161 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001162 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001163 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001164
1165 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001166 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001167
1168 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001169 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001170 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001171 case dwarf::DW_TAG_structure_type:
1172 case dwarf::DW_TAG_union_type:
1173 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001174 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001175 DIArray Elements = CTy.getTypeArray();
1176 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001177 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001178 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001179 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001180 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001181 DIDerivedType DDTy(Element);
1182 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001183 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001184 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001185 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001186 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001187 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001188 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001189 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001190 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001191 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001192 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001193 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001194 StringRef PropertyName = Property.getObjCPropertyName();
1195 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001196 if (Property.getType())
1197 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001198 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001199 StringRef GetterName = Property.getObjCPropertyGetterName();
1200 if (!GetterName.empty())
1201 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1202 StringRef SetterName = Property.getObjCPropertySetterName();
1203 if (!SetterName.empty())
1204 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1205 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001206 if (Property.isReadOnlyObjCProperty())
1207 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1208 if (Property.isReadWriteObjCProperty())
1209 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1210 if (Property.isAssignObjCProperty())
1211 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1212 if (Property.isRetainObjCProperty())
1213 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1214 if (Property.isCopyObjCProperty())
1215 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1216 if (Property.isNonAtomicObjCProperty())
1217 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1218 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001219 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001220 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001221
Devang Pateld925d1a2012-02-07 23:33:58 +00001222 DIEEntry *Entry = getDIEEntry(Element);
1223 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001224 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001225 insertDIEEntry(Element, Entry);
1226 }
Devang Patel403e8192012-02-04 01:30:32 +00001227 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001228 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001229 }
1230
1231 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001232 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001233
Eric Christopher9e429ae2013-10-05 00:27:02 +00001234 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001235 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001236 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001237 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001238
Devang Patel12419ae2011-05-12 21:29:42 +00001239 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001240 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001241
Eric Christopherda011dd2011-12-16 23:42:42 +00001242 // Add template parameters to a class, structure or union types.
1243 // FIXME: The support isn't in the metadata for this yet.
1244 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001245 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001246 addTemplateParams(Buffer, CTy.getTemplateParams());
1247
1248 break;
1249 }
1250 default:
1251 break;
1252 }
1253
1254 // Add name if not anonymous or intermediate type.
1255 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001256 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001257
Eric Christopher775cbd22012-05-22 18:45:18 +00001258 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001259 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001260 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001261 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001262 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001263 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001264 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001265 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001266 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001267 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001268
1269 // If we're a forward decl, say so.
1270 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001271 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001272
1273 // Add source line info if available.
1274 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001275 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001276
1277 // No harm in adding the runtime language to the declaration.
1278 unsigned RLang = CTy.getRunTimeLang();
1279 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001280 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001281 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001282 }
1283}
1284
Manman Renffc9a712013-10-23 23:05:28 +00001285/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1286/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001287void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1288 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001289 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001290 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001291 // Add the type if it exists, it could be void and therefore no type.
1292 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001293 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001294 if (!TP.getName().empty())
1295 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001296}
1297
Manman Renffc9a712013-10-23 23:05:28 +00001298/// constructTemplateValueParameterDIE - Construct new DIE for the given
1299/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001300void
1301DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001302 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001303 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001304
1305 // Add the type if there is one, template template and template parameter
1306 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001307 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001308 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001309 if (!VP.getName().empty())
1310 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1311 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001312 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Ren88b0f942013-10-09 19:46:28 +00001313 addConstantValue(ParamDIE, CI,
1314 isUnsignedDIType(DD, 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 Blaikie65a74662014-04-25 18:26:14 +00001620 addConstantValue(*VariableDIE, CI, isUnsignedDIType(DD, 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(),
Eric Christopher34a2c872013-11-15 01:43:19 +00001807 isUnsignedDIType(DD, 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()))
Manman Renb3388602013-10-05 01:43:03 +00001951 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, 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}