blob: 4206ffd5535eb14bf6a4217f9b8e30c21594561d [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.cpp - Dwarf Type and Compile Units ---------===//
Devang Patel0e821f42011-04-12 23:21:44 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher160522c2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
David Blaikie2c86a722013-12-02 19:33:15 +000014#include "DwarfUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "DwarfAccelTable.h"
Devang Patel0e821f42011-04-12 23:21:44 +000016#include "DwarfDebug.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/APFloat.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000019#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/DataLayout.h"
21#include "llvm/IR/GlobalVariable.h"
22#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000023#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000024#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000025#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000026#include "llvm/MC/MCSection.h"
27#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000028#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000029#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000031#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000033#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000034
35using namespace llvm;
36
Chandler Carruth1b9dde02014-04-22 02:02:50 +000037#define DEBUG_TYPE "dwarfdebug"
38
Eric Christopher4287a492013-12-09 23:57:44 +000039static cl::opt<bool>
40GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
41 cl::desc("Generate DWARF4 type units."),
42 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000043
David Blaikie2a80e442013-12-02 22:09:48 +000044/// Unit - Unit constructor.
David Blaikiebd579052014-04-28 21:14:27 +000045DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag, DICompileUnit Node,
David Blaikie92a2f8a2014-04-28 21:04:29 +000046 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000047 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
48 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr),
Craig Topper353eda42014-04-24 06:44:33 +000049 Skeleton(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000050 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
51 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000052 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
53}
54
David Blaikiebd579052014-04-28 21:14:27 +000055DwarfCompileUnit::DwarfCompileUnit(unsigned UID, DICompileUnit Node,
56 AsmPrinter *A, DwarfDebug *DW,
57 DwarfFile *DWU)
58 : DwarfUnit(UID, dwarf::DW_TAG_compile_unit, Node, A, DW, DWU) {
David Blaikie92a2f8a2014-04-28 21:04:29 +000059 insertDIE(Node, &getUnitDie());
Devang Patel0e821f42011-04-12 23:21:44 +000060}
61
David Blaikiebd579052014-04-28 21:14:27 +000062DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000063 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000064 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000065 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
66 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000067 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000068 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000069}
David Blaikie409dd9c2013-11-19 23:08:21 +000070
David Blaikie319a05f2013-12-02 19:33:10 +000071/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000072DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000073 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
74 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000075 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
76 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000077}
78
79/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
80/// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +000081DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000082 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
83 return Value;
84}
85
Bill Wendling3495f9b2012-12-06 07:55:19 +000086/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000087/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000088int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000089 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000090 default:
91 break;
92
93 case dwarf::DW_LANG_C89:
94 case dwarf::DW_LANG_C99:
95 case dwarf::DW_LANG_C:
96 case dwarf::DW_LANG_C_plus_plus:
97 case dwarf::DW_LANG_ObjC:
98 case dwarf::DW_LANG_ObjC_plus_plus:
99 return 0;
100
101 case dwarf::DW_LANG_Fortran77:
102 case dwarf::DW_LANG_Fortran90:
103 case dwarf::DW_LANG_Fortran95:
104 return 1;
105
106 // The languages below have valid values only if the DWARF version >= 4.
107 case dwarf::DW_LANG_Java:
108 case dwarf::DW_LANG_Python:
109 case dwarf::DW_LANG_UPC:
110 case dwarf::DW_LANG_D:
111 if (dwarf::DWARF_VERSION >= 4)
112 return 0;
113 break;
114
115 case dwarf::DW_LANG_Ada83:
116 case dwarf::DW_LANG_Ada95:
117 case dwarf::DW_LANG_Cobol74:
118 case dwarf::DW_LANG_Cobol85:
119 case dwarf::DW_LANG_Modula2:
120 case dwarf::DW_LANG_Pascal83:
121 case dwarf::DW_LANG_PLI:
122 if (dwarf::DWARF_VERSION >= 4)
123 return 1;
124 break;
125 }
126
127 return -1;
128}
129
Manman Ren4dbdc902013-10-31 17:54:35 +0000130/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000131static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000132 // When the MDNode can be part of the type system, the DIE can be shared
133 // across CUs.
134 // Combining type units and cross-CU DIE sharing is lower value (since
135 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
136 // level already) but may be implementable for some value in projects
137 // building multiple independent libraries with LTO and then linking those
138 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000139 return (D.isType() ||
140 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000141 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000142}
143
144/// getDIE - Returns the debug information entry map slot for the
145/// specified debug variable. We delegate the request to DwarfDebug
146/// when the DIE for this MDNode can be shared across CUs. The mappings
147/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000148DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000149 if (isShareableAcrossCUs(D))
150 return DD->getDIE(D);
151 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000152}
153
154/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
155/// when the DIE for this MDNode can be shared across CUs. The mappings
156/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000157void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000158 if (isShareableAcrossCUs(Desc)) {
159 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000160 return;
161 }
David Blaikie2ad00162013-11-15 23:09:13 +0000162 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000163}
164
Eric Christopherbb69a272012-08-24 01:14:27 +0000165/// addFlag - Add a flag that is true.
David Blaikie65a74662014-04-25 18:26:14 +0000166void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000167 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000168 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000169 else
David Blaikie65a74662014-04-25 18:26:14 +0000170 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000171}
172
Devang Patel0e821f42011-04-12 23:21:44 +0000173/// addUInt - Add an unsigned integer attribute data and value.
174///
David Blaikie65a74662014-04-25 18:26:14 +0000175void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000176 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000177 if (!Form)
178 Form = DIEInteger::BestForm(false, Integer);
179 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
180 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000181 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000182}
183
David Blaikie65a74662014-04-25 18:26:14 +0000184void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000185 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000186}
187
188/// addSInt - Add an signed integer attribute data and value.
189///
David Blaikie65a74662014-04-25 18:26:14 +0000190void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000191 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000192 if (!Form)
193 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000194 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000195 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000196}
197
David Blaikie65a74662014-04-25 18:26:14 +0000198void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000199 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000200 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000201}
202
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000203/// addString - Add a string attribute data and value. We always emit a
204/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000205/// more predictable sizes. In the case of split dwarf we emit an index
206/// into another table which gets us the static offset into the string
207/// table.
David Blaikie65a74662014-04-25 18:26:14 +0000208void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000209 StringRef String) {
Eric Christopher05893f42013-12-30 18:32:31 +0000210
211 if (!DD->useSplitDwarf())
212 return addLocalString(Die, Attribute, String);
213
David Blaikiedaefdbf2014-04-25 21:34:35 +0000214 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000215 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000216 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000217 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000218}
219
220/// addLocalString - Add a string attribute data and value. This is guaranteed
221/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000222void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000223 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000224 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000225 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000226 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000227 Value = new (DIEValueAllocator) DIELabel(Symb);
David Blaikie6741bb02014-09-11 21:12:48 +0000228 else
229 Value = new (DIEValueAllocator) DIEDelta(Symb, DD->getDebugStrSym());
Eric Christopher05893f42013-12-30 18:32:31 +0000230 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000231 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000232}
233
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000234/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000235///
David Blaikie65a74662014-04-25 18:26:14 +0000236void DwarfUnit::addExpr(DIELoc &Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000237 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikie65a74662014-04-25 18:26:14 +0000238 Die.addValue((dwarf::Attribute)0, Form, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000239}
240
Eric Christophera27220f2014-03-05 22:41:20 +0000241/// addLocationList - Add a Dwarf loclistptr attribute data and value.
242///
David Blaikie65a74662014-04-25 18:26:14 +0000243void DwarfUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera27220f2014-03-05 22:41:20 +0000244 unsigned Index) {
245 DIEValue *Value = new (DIEValueAllocator) DIELocList(Index);
246 dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
247 : dwarf::DW_FORM_data4;
David Blaikie65a74662014-04-25 18:26:14 +0000248 Die.addValue(Attribute, Form, Value);
Eric Christophera27220f2014-03-05 22:41:20 +0000249}
250
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000251/// addLabel - Add a Dwarf label attribute data and value.
252///
David Blaikie65a74662014-04-25 18:26:14 +0000253void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000254 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000255 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000256 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000257}
258
David Blaikie65a74662014-04-25 18:26:14 +0000259void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000260 addLabel(Die, (dwarf::Attribute)0, Form, Label);
261}
262
Eric Christopher33ff6972013-11-21 23:46:41 +0000263/// addSectionLabel - Add a Dwarf section label attribute data and value.
264///
David Blaikie65a74662014-04-25 18:26:14 +0000265void DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000266 const MCSymbol *Label) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000267 if (DD->getDwarfVersion() >= 4)
268 addLabel(Die, Attribute, dwarf::DW_FORM_sec_offset, Label);
269 else
270 addLabel(Die, Attribute, dwarf::DW_FORM_data4, Label);
271}
272
273/// addSectionOffset - Add an offset into a section attribute data and value.
274///
David Blaikie65a74662014-04-25 18:26:14 +0000275void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000276 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000277 if (DD->getDwarfVersion() >= 4)
278 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
279 else
280 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
281}
282
Eric Christopher962c9082013-01-15 23:56:56 +0000283/// addLabelAddress - Add a dwarf label attribute data and value using
284/// DW_FORM_addr or DW_FORM_GNU_addr_index.
285///
David Blaikie65a74662014-04-25 18:26:14 +0000286void DwarfCompileUnit::addLabelAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000287 const MCSymbol *Label) {
288
David Blaikiec42f9ac2014-09-07 17:31:42 +0000289 if (!DD->useSplitDwarf() || !Skeleton)
Eric Christopher384f3fe2014-03-20 19:16:16 +0000290 return addLocalLabelAddress(Die, Attribute, Label);
291
Alexey Samsonov4436bf02013-10-03 08:54:43 +0000292 if (Label)
293 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton21101b32013-09-19 23:21:01 +0000294
David Blaikied75fb282014-04-23 21:20:10 +0000295 unsigned idx = DD->getAddressPool().getIndex(Label);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000296 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
David Blaikie65a74662014-04-25 18:26:14 +0000297 Die.addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000298}
299
David Blaikie65a74662014-04-25 18:26:14 +0000300void DwarfCompileUnit::addLocalLabelAddress(DIE &Die,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000301 dwarf::Attribute Attribute,
302 const MCSymbol *Label) {
303 if (Label)
304 DD->addArangeLabel(SymbolCU(this, Label));
305
David Blaikie65a74662014-04-25 18:26:14 +0000306 Die.addValue(Attribute, dwarf::DW_FORM_addr,
307 Label ? (DIEValue *)new (DIEValueAllocator) DIELabel(Label)
308 : new (DIEValueAllocator) DIEInteger(0));
Eric Christopher962c9082013-01-15 23:56:56 +0000309}
310
David Blaikie0e8d4012014-03-17 23:53:25 +0000311unsigned DwarfCompileUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
312 // If we print assembly, we can't separate .file entries according to
313 // compile units. Thus all files will belong to the default compile unit.
314
315 // FIXME: add a better feature test than hasRawTextSupport. Even better,
316 // extend .file to support this.
317 return Asm->OutStreamer.EmitDwarfFileDirective(
318 0, DirName, FileName,
319 Asm->OutStreamer.hasRawTextSupport() ? 0 : getUniqueID());
320}
321
David Blaikie4a2f95f2014-03-18 01:17:26 +0000322unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
323 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
324 : getCU().getOrCreateSourceID(FileName, DirName);
325}
326
Eric Christophere9ec2452013-01-18 22:11:33 +0000327/// addOpAddress - Add a dwarf op address data and value using the
328/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
329///
David Blaikie65a74662014-04-25 18:26:14 +0000330void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000331 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000332 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
333 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000334 } else {
David Blaikief2443192013-10-21 17:28:37 +0000335 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000336 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000337 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000338 }
339}
340
Eric Christopher33ff6972013-11-21 23:46:41 +0000341/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000342///
David Blaikie65a74662014-04-25 18:26:14 +0000343void DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000344 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000345 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000346 Die.addValue(Attribute, DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
347 : dwarf::DW_FORM_data4,
348 Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000349}
350
David Blaikie65a74662014-04-25 18:26:14 +0000351void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000352 const MCSymbol *Hi, const MCSymbol *Lo) {
353 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000354 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000355}
356
Devang Patel0e821f42011-04-12 23:21:44 +0000357/// addDIEEntry - Add a DIE attribute data and value.
358///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000359void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000360 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
361}
362
David Blaikie65a74662014-04-25 18:26:14 +0000363void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000364 // Flag the type unit reference as a declaration so that if it contains
365 // members (implicit special members, static data member definitions, member
366 // declarations for definitions in this CU, etc) consumers don't get confused
367 // and think this is a full definition.
368 addFlag(Die, dwarf::DW_AT_declaration);
369
David Blaikie65a74662014-04-25 18:26:14 +0000370 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
371 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000372}
373
David Blaikie65a74662014-04-25 18:26:14 +0000374void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000375 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000376 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000377 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000378 if (!DieCU)
379 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000380 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000381 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000382 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000383 Die.addValue(Attribute,
384 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
385 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000386}
387
Manman Renb987e512013-10-29 00:53:03 +0000388/// Create a DIE with the given Tag, add the DIE to its parent, and
389/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000390DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000391 assert(Tag != dwarf::DW_TAG_auto_variable &&
392 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000393 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000394 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000395 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000396 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000397 return Die;
398}
399
Devang Patel0e821f42011-04-12 23:21:44 +0000400/// addBlock - Add block data.
401///
David Blaikie65a74662014-04-25 18:26:14 +0000402void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000403 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000404 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000405 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000406}
407
David Blaikie65a74662014-04-25 18:26:14 +0000408void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000409 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000410 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000411 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000412 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000413}
414
415/// addSourceLine - Add location information to specified debug information
416/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000417void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000418 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000419 if (Line == 0)
420 return;
David Blaikie101613e2014-02-12 00:11:25 +0000421
David Blaikie4a2f95f2014-03-18 01:17:26 +0000422 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000423 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000424 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
425 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000426}
427
428/// addSourceLine - Add location information to specified debug information
429/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000430void DwarfUnit::addSourceLine(DIE &Die, DIVariable V) {
David Blaikie101613e2014-02-12 00:11:25 +0000431 assert(V.isVariable());
432
Eric Christopher89a575c2014-02-12 22:38:04 +0000433 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
434 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000435}
436
437/// addSourceLine - Add location information to specified debug information
438/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000439void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000440 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000441
David Blaikie101613e2014-02-12 00:11:25 +0000442 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000443}
444
445/// addSourceLine - Add location information to specified debug information
446/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000447void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000448 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000449
David Blaikie101613e2014-02-12 00:11:25 +0000450 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000451}
452
453/// addSourceLine - Add location information to specified debug information
454/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000455void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000456 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000457
David Blaikie101613e2014-02-12 00:11:25 +0000458 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000459}
460
461/// addSourceLine - Add location information to specified debug information
462/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000463void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000464 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000465
Eric Christopher70e1bd82012-03-29 08:42:56 +0000466 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000467 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
468 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000469}
470
471/// addSourceLine - Add location information to specified debug information
472/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000473void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000474 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000475
David Blaikie101613e2014-02-12 00:11:25 +0000476 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000477}
478
Eric Christopher92331fd2012-11-21 00:34:38 +0000479/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000480/// DbgVariable based on provided MachineLocation.
David Blaikie65a74662014-04-25 18:26:14 +0000481void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000482 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000483 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000484 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000485 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000486 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
487 else
David Blaikieea2605d2013-06-20 00:25:24 +0000488 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000489 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000490}
491
Devang Patelba5fbf12011-04-26 19:06:18 +0000492/// addRegisterOp - Add register operand.
Adrian Prantlb1416832014-08-01 22:11:58 +0000493// FIXME: Ideally, this would share the implementation with
494// AsmPrinter::EmitDwarfRegOpPiece.
495void DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
496 unsigned SizeInBits, unsigned OffsetInBits) {
Eric Christopherd9134482014-08-04 21:25:23 +0000497 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000498 int DWReg = RI->getDwarfRegNum(Reg, false);
499 bool isSubRegister = DWReg < 0;
500
501 unsigned Idx = 0;
502
503 // Go up the super-register chain until we hit a valid dwarf register number.
504 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
505 DWReg = RI->getDwarfRegNum(*SR, false);
506 if (DWReg >= 0)
507 Idx = RI->getSubRegIndex(*SR, Reg);
508 }
509
510 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000511 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000512 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
513 return;
514 }
515
Adrian Prantlb1416832014-08-01 22:11:58 +0000516 // Emit register.
Devang Patelba5fbf12011-04-26 19:06:18 +0000517 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000518 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000519 else {
David Blaikief2443192013-10-21 17:28:37 +0000520 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
521 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000522 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000523
Adrian Prantlb1416832014-08-01 22:11:58 +0000524 // Emit mask.
525 bool isPiece = SizeInBits > 0;
526 if (isSubRegister || isPiece) {
527 const unsigned SizeOfByte = 8;
528 unsigned RegSizeInBits = RI->getSubRegIdxSize(Idx);
529 unsigned RegOffsetInBits = RI->getSubRegIdxOffset(Idx);
530 unsigned PieceSizeInBits = std::max(SizeInBits, RegSizeInBits);
531 unsigned PieceOffsetInBits = OffsetInBits ? OffsetInBits : RegOffsetInBits;
532 assert(RegSizeInBits >= SizeInBits && "register smaller than value");
533
534 if (RegOffsetInBits != PieceOffsetInBits) {
535 // Manually shift the value into place, since the DW_OP_piece
536 // describes the part of the variable, not the position of the
537 // subregister.
538 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
539 addUInt(TheDie, dwarf::DW_FORM_data1, RegOffsetInBits);
540 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_shr);
541 }
542
543 if (PieceOffsetInBits > 0 || PieceSizeInBits % SizeOfByte) {
544 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000545 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000546 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits);
547 addUInt(TheDie, dwarf::DW_FORM_data1, PieceOffsetInBits);
548 } else {
549 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000550 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000551 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits/SizeOfByte);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000552 }
553 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000554}
555
556/// addRegisterOffset - Add register offset.
David Blaikie65a74662014-04-25 18:26:14 +0000557void DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000558 int64_t Offset) {
Eric Christopherd9134482014-08-04 21:25:23 +0000559 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000560 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
Eric Christopherd9134482014-08-04 21:25:23 +0000561 const TargetRegisterInfo *TRI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000562 if (Reg == TRI->getFrameRegister(*Asm->MF))
563 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000564 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000565 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000566 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000567 else {
David Blaikief2443192013-10-21 17:28:37 +0000568 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
569 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000570 }
David Blaikief2443192013-10-21 17:28:37 +0000571 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000572}
573
574/// addAddress - Add an address attribute to a die based on the location
575/// provided.
David Blaikie65a74662014-04-25 18:26:14 +0000576void DwarfUnit::addAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000577 const MachineLocation &Location, bool Indirect) {
Eric Christopher4a741042014-02-16 08:46:55 +0000578 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patelba5fbf12011-04-26 19:06:18 +0000579
David Blaikieea2605d2013-06-20 00:25:24 +0000580 if (Location.isReg() && !Indirect)
Adrian Prantlb1416832014-08-01 22:11:58 +0000581 addRegisterOpPiece(*Loc, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000582 else {
David Blaikie65a74662014-04-25 18:26:14 +0000583 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000584 if (Indirect && !Location.isReg()) {
David Blaikie65a74662014-04-25 18:26:14 +0000585 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000586 }
587 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000588
589 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000590 addBlock(Die, Attribute, Loc);
Devang Patelba5fbf12011-04-26 19:06:18 +0000591}
592
Devang Patel0e821f42011-04-12 23:21:44 +0000593/// addComplexAddress - Start with the address based on the location provided,
594/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000595/// given the extra address information encoded in the DbgVariable, starting
596/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000597///
David Blaikie65a74662014-04-25 18:26:14 +0000598void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000599 dwarf::Attribute Attribute,
600 const MachineLocation &Location) {
Eric Christopher4a741042014-02-16 08:46:55 +0000601 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000602 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000603 unsigned i = 0;
604 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000605 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000606 // If first address element is OpPlus then emit
607 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
David Blaikie65a74662014-04-25 18:26:14 +0000608 addRegisterOffset(*Loc, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000609 i = 2;
Adrian Prantlb1416832014-08-01 22:11:58 +0000610 } else if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpDeref) {
611 addRegisterOpPiece(*Loc, Location.getReg(),
612 DV.getVariable().getPieceSize(),
613 DV.getVariable().getPieceOffset());
614 i = 3;
Devang Patel3e021532011-04-28 02:22:40 +0000615 } else
Adrian Prantlb1416832014-08-01 22:11:58 +0000616 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000617 } else
David Blaikie65a74662014-04-25 18:26:14 +0000618 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000619
Eric Christopherc2697f82013-10-19 01:04:47 +0000620 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000621 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000622 if (Element == DIBuilder::OpPlus) {
David Blaikie65a74662014-04-25 18:26:14 +0000623 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
624 addUInt(*Loc, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Adrian Prantlb1416832014-08-01 22:11:58 +0000625
Devang Patel0e821f42011-04-12 23:21:44 +0000626 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000627 if (!Location.isReg())
David Blaikie65a74662014-04-25 18:26:14 +0000628 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Adrian Prantlb1416832014-08-01 22:11:58 +0000629
630 } else if (Element == DIBuilder::OpPiece) {
631 const unsigned SizeOfByte = 8;
632 unsigned PieceOffsetInBits = DV.getAddrElement(++i)*SizeOfByte;
633 unsigned PieceSizeInBits = DV.getAddrElement(++i)*SizeOfByte;
634 // Emit DW_OP_bit_piece Size Offset.
635 assert(PieceSizeInBits > 0 && "piece has zero size");
636 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
637 addUInt(*Loc, dwarf::DW_FORM_udata, PieceSizeInBits);
638 addUInt(*Loc, dwarf::DW_FORM_udata, PieceOffsetInBits);
639
Eric Christopherc2697f82013-10-19 01:04:47 +0000640 } else
641 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000642 }
643
644 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000645 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000646}
647
648/* Byref variables, in Blocks, are declared by the programmer as "SomeType
649 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
650 gives the variable VarName either the struct, or a pointer to the struct, as
651 its type. This is necessary for various behind-the-scenes things the
652 compiler needs to do with by-reference variables in Blocks.
653
654 However, as far as the original *programmer* is concerned, the variable
655 should still have type 'SomeType', as originally declared.
656
657 The function getBlockByrefType dives into the __Block_byref_x_VarName
658 struct to find the original type of the variable, which is then assigned to
659 the variable's Debug Information Entry as its real type. So far, so good.
660 However now the debugger will expect the variable VarName to have the type
661 SomeType. So we need the location attribute for the variable to be an
662 expression that explains to the debugger how to navigate through the
663 pointers and struct to find the actual variable of type SomeType.
664
665 The following function does just that. We start by getting
666 the "normal" location for the variable. This will be the location
667 of either the struct __Block_byref_x_VarName or the pointer to the
668 struct __Block_byref_x_VarName.
669
670 The struct will look something like:
671
672 struct __Block_byref_x_VarName {
673 ... <various fields>
674 struct __Block_byref_x_VarName *forwarding;
675 ... <various other fields>
676 SomeType VarName;
677 ... <maybe more fields>
678 };
679
680 If we are given the struct directly (as our starting point) we
681 need to tell the debugger to:
682
683 1). Add the offset of the forwarding field.
684
685 2). Follow that pointer to get the real __Block_byref_x_VarName
686 struct to use (the real one may have been copied onto the heap).
687
688 3). Add the offset for the field VarName, to find the actual variable.
689
690 If we started with a pointer to the struct, then we need to
691 dereference that pointer first, before the other steps.
692 Translating this into DWARF ops, we will need to append the following
693 to the current location description for the variable:
694
695 DW_OP_deref -- optional, if we start with a pointer
696 DW_OP_plus_uconst <forward_fld_offset>
697 DW_OP_deref
698 DW_OP_plus_uconst <varName_fld_offset>
699
700 That is what this function does. */
701
702/// addBlockByrefAddress - Start with the address based on the location
703/// provided, and generate the DWARF information necessary to find the
704/// actual Block variable (navigating the Block struct) based on the
705/// starting location. Add the DWARF information to the die. For
706/// more information, read large comment just above here.
707///
David Blaikie65a74662014-04-25 18:26:14 +0000708void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000709 dwarf::Attribute Attribute,
710 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000711 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000712 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000713 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000714 bool isPointer = false;
715
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000716 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000717
718 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000719 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000720 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000721 isPointer = true;
722 }
723
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000724 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000725
726 // Find the __forwarding field and the variable field in the __Block_byref
727 // struct.
Manman Renab8ffba2014-07-28 19:14:13 +0000728 DIArray Fields = blockStruct.getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000729 DIDerivedType varField;
730 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000731
732 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000733 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000734 StringRef fieldName = DT.getName();
735 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000736 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000737 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000738 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000739 }
740
741 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000742 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
743 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000744
745 // Decode the original location, and use that as the start of the byref
746 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000747 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000748
Eric Christopheref9d7102012-07-04 02:02:18 +0000749 if (Location.isReg())
Adrian Prantlb1416832014-08-01 22:11:58 +0000750 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000751 else
David Blaikie65a74662014-04-25 18:26:14 +0000752 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000753
754 // If we started with a pointer to the __Block_byref... struct, then
755 // the first thing we need to do is dereference the pointer (DW_OP_deref).
756 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000757 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000758
759 // Next add the offset for the '__forwarding' field:
760 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
761 // adding the offset if it's 0.
762 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000763 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
764 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000765 }
766
767 // Now dereference the __forwarding field to get to the real __Block_byref
768 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000769 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000770
771 // Now that we've got the real __Block_byref... struct, add the offset
772 // for the variable's field to get to the location of the actual variable:
773 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
774 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000775 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
776 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000777 }
778
779 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000780 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000781}
782
Manman Renb3388602013-10-05 01:43:03 +0000783/// Return true if type encoding is unsigned.
784static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
785 DIDerivedType DTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000786 if (DTy.isDerivedType()) {
David Blaikie2af1c802014-05-20 18:21:51 +0000787 dwarf::Tag T = (dwarf::Tag)Ty.getTag();
788 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000789 // null pointer constant emission.
790 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
791 // here, but accept them for now due to a bug in SROA producing bogus
792 // dbg.values.
David Blaikie2af1c802014-05-20 18:21:51 +0000793 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000794 T == dwarf::DW_TAG_ptr_to_member_type ||
795 T == dwarf::DW_TAG_reference_type ||
796 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000797 return true;
798 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
799 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000800 T == dwarf::DW_TAG_restrict_type ||
801 T == dwarf::DW_TAG_enumeration_type);
David Blaikie2af1c802014-05-20 18:21:51 +0000802 if (DITypeRef Deriv = DTy.getTypeDerivedFrom())
803 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000804 // FIXME: Enums without a fixed underlying type have unknown signedness
805 // here, leading to incorrectly emitted constants.
806 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
807 return false;
808 }
Manman Renb3388602013-10-05 01:43:03 +0000809
810 DIBasicType BTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000811 assert(BTy.isBasicType());
David Blaikie60cae1b2014-05-11 16:08:41 +0000812 unsigned Encoding = BTy.getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000813 assert((Encoding == dwarf::DW_ATE_unsigned ||
814 Encoding == dwarf::DW_ATE_unsigned_char ||
815 Encoding == dwarf::DW_ATE_signed ||
816 Encoding == dwarf::DW_ATE_signed_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000817 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean) &&
818 "Unsupported encoding");
David Blaikie60cae1b2014-05-11 16:08:41 +0000819 return (Encoding == dwarf::DW_ATE_unsigned ||
820 Encoding == dwarf::DW_ATE_unsigned_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000821 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean);
Manman Renb3388602013-10-05 01:43:03 +0000822}
823
824/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000825static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000826 unsigned Tag = Ty.getTag();
827
828 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
829 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
830 Tag != dwarf::DW_TAG_restrict_type)
831 return Ty.getSizeInBits();
832
833 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
834
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000835 // If this type is not derived from any type or the type is a declaration then
836 // take conservative approach.
837 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000838 return Ty.getSizeInBits();
839
840 // If this is a derived type, go ahead and get the base type, unless it's a
841 // reference then it's just the size of the field. Pointer types have no need
842 // of this since they're a different type of qualification on the type.
843 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
844 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
845 return Ty.getSizeInBits();
846
847 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000848 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000849
850 return BaseType.getSizeInBits();
851}
852
Devang Patel0e821f42011-04-12 23:21:44 +0000853/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000854void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000855 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000856 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
857 APFloat FPImm = MO.getFPImm()->getValueAPF();
858
859 // Get the raw data form of the floating point.
860 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000861 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000862
863 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000864 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000865 int Incr = (LittleEndian ? 1 : -1);
866 int Start = (LittleEndian ? 0 : NumBytes - 1);
867 int Stop = (LittleEndian ? NumBytes : -1);
868
869 // Output the constant to DWARF one byte at a time.
870 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000871 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000872
David Blaikief2443192013-10-21 17:28:37 +0000873 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000874}
875
David Blaikiea39a76e2013-01-20 01:18:01 +0000876/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000877void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000878 // Pass this down to addConstantValue as an unsigned bag of bits.
879 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000880}
881
Devang Patel0e821f42011-04-12 23:21:44 +0000882/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000883void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
884 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000885}
886
David Blaikiec05c8f42014-05-11 15:47:39 +0000887/// addConstantValue - Add constant value entry in variable DIE.
888void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
889 DIType Ty) {
890 assert(MO.isImm() && "Invalid machine operand!");
891
David Blaikie60cae1b2014-05-11 16:08:41 +0000892 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000893}
894
David Blaikie60cae1b2014-05-11 16:08:41 +0000895void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000896 // FIXME: This is a bit conservative/simple - it emits negative values always
897 // sign extended to 64 bits rather than minimizing the number of bytes.
898 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000899 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000900}
901
David Blaikiec0a28412014-05-11 15:56:59 +0000902void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
903 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
904}
905
David Blaikiea39a76e2013-01-20 01:18:01 +0000906// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000907void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000908 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000909 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000910 addConstantValue(Die, Unsigned,
911 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000912 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000913 }
914
915 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
916
917 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000918 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000919
920 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000921 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000922
923 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000924 for (int i = 0; i < NumBytes; i++) {
925 uint8_t c;
926 if (LittleEndian)
927 c = Ptr64[i / 8] >> (8 * (i & 7));
928 else
929 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000930 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000931 }
Devang Patel0e821f42011-04-12 23:21:44 +0000932
David Blaikief2443192013-10-21 17:28:37 +0000933 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000934}
935
Eric Christopher25e35092013-04-22 07:47:40 +0000936/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000937void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000938 // Add template parameters.
939 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
940 DIDescriptor Element = TParams.getElement(i);
941 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000942 constructTemplateTypeParameterDIE(Buffer,
943 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000944 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000945 constructTemplateValueParameterDIE(Buffer,
946 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000947 }
Devang Patel0e821f42011-04-12 23:21:44 +0000948}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000949
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000950/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000951DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000952 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000953 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000954 if (Context.isType())
955 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000956 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000957 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000958 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000959 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000960 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000961}
962
Eric Christophera5a79422013-12-09 23:32:48 +0000963DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000964 DIScope Context = resolve(Ty.getContext());
965 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000966
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000967 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000968 return TyDIE;
969
970 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000971 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000972
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000973 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000974
David Blaikie9d861be2013-11-26 00:15:27 +0000975 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000976 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000977}
978
Devang Patel0e821f42011-04-12 23:21:44 +0000979/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
980/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000981DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000982 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000983 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000984
David Blaikie32887552013-11-14 22:25:02 +0000985 DIType Ty(TyNode);
986 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000987 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000988 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000989
David Blaikieee11f222014-04-12 05:35:59 +0000990 // DW_TAG_restrict_type is not supported in DWARF2
991 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
992 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
993
Manman Renf4c339e2013-10-29 22:49:29 +0000994 // Construct the context before querying for the existence of the DIE in case
995 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000996 DIScope Context = resolve(Ty.getContext());
997 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000998 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000999
David Blaikie65a74662014-04-25 18:26:14 +00001000 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +00001001 return TyDIE;
1002
1003 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001004 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +00001005
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001006 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +00001007
Devang Patel0e821f42011-04-12 23:21:44 +00001008 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +00001009 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +00001010 else if (Ty.isCompositeType()) {
1011 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +00001012 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
1013 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +00001014 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +00001015 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +00001016 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +00001017 }
David Blaikie65a74662014-04-25 18:26:14 +00001018 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +00001019 } else {
Devang Patel0e821f42011-04-12 23:21:44 +00001020 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +00001021 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +00001022 }
David Blaikie2ea848b2013-11-19 22:51:04 +00001023
David Blaikie65a74662014-04-25 18:26:14 +00001024 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +00001025}
1026
Eric Christophera5a79422013-12-09 23:32:48 +00001027void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001028 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +00001029 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
1030 bool IsImplementation = 0;
1031 if (Ty.isCompositeType()) {
1032 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001033 // A runtime language of 0 actually means C/C++ and that any
1034 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +00001035 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +00001036 }
Eric Christophercf7289f2013-09-05 18:20:16 +00001037 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +00001038 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +00001039
David Blaikieadbea1e2014-03-12 03:34:38 +00001040 if ((!Context || Context.isCompileUnit() || Context.isFile() ||
1041 Context.isNameSpace()) &&
1042 getCUNode().getEmissionKind() != DIBuilder::LineTablesOnly)
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001043 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] =
1044 &TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +00001045 }
Devang Patel0e821f42011-04-12 23:21:44 +00001046}
1047
1048/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +00001049void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +00001050 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001051
1052 // Check for pre-existence.
1053 DIEEntry *Entry = getDIEEntry(Ty);
1054 // If it exists then use the existing value.
1055 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001056 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001057 return;
1058 }
1059
1060 // Construct type.
1061 DIE *Buffer = getOrCreateTypeDIE(Ty);
1062
1063 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001064 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001065 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001066 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001067}
1068
Eric Christopher9c58f312013-09-20 22:20:55 +00001069/// addGlobalName - Add a new global name to the compile unit.
David Blaikie65a74662014-04-25 18:26:14 +00001070void DwarfUnit::addGlobalName(StringRef Name, DIE &Die, DIScope Context) {
David Blaikieadbea1e2014-03-12 03:34:38 +00001071 if (getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1072 return;
Eric Christopher8dba0d52013-10-19 01:04:42 +00001073 std::string FullName = getParentContextString(Context) + Name.str();
David Blaikie65a74662014-04-25 18:26:14 +00001074 GlobalNames[FullName] = &Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001075}
1076
Eric Christopher2c8b7902013-10-17 02:06:06 +00001077/// getParentContextString - Walks the metadata parent chain in a language
1078/// specific manner (using the compile unit language) and returns
1079/// it as a string. This is done at the metadata level because DIEs may
1080/// not currently have been added to the parent context and walking the
1081/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001082std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001083 if (!Context)
1084 return "";
1085
1086 // FIXME: Decide whether to implement this for non-C++ languages.
1087 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1088 return "";
1089
Eric Christopher8dba0d52013-10-19 01:04:42 +00001090 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001091 SmallVector<DIScope, 1> Parents;
1092 while (!Context.isCompileUnit()) {
1093 Parents.push_back(Context);
1094 if (Context.getContext())
1095 Context = resolve(Context.getContext());
1096 else
1097 // Structure, etc types will have a NULL context if they're at the top
1098 // level.
1099 break;
1100 }
1101
1102 // Reverse iterate over our list to go from the outermost construct to the
1103 // innermost.
1104 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1105 E = Parents.rend();
1106 I != E; ++I) {
1107 DIScope Ctx = *I;
1108 StringRef Name = Ctx.getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001109 if (Name.empty() && Ctx.isNameSpace())
1110 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +00001111 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001112 CS += Name;
1113 CS += "::";
1114 }
1115 }
1116 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001117}
1118
1119/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001120void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001121 // Get core information.
1122 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001123 // Add name if not anonymous or intermediate type.
1124 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001125 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001126
David Blaikiefac56122013-10-04 23:21:16 +00001127 // An unspecified type only has a name attribute.
1128 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001129 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001130
David Blaikie65a74662014-04-25 18:26:14 +00001131 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001132 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001133
Devang Patel0e821f42011-04-12 23:21:44 +00001134 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +00001135 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001136}
1137
1138/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001139void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001140 // Get core information.
1141 StringRef Name = DTy.getName();
1142 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001143 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001144
1145 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001146 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001147 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +00001148 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001149
1150 // Add name if not anonymous or intermediate type.
1151 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001152 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001153
1154 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001155 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie65a74662014-04-25 18:26:14 +00001156 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001157
David Blaikie5d3249b2013-01-07 05:51:15 +00001158 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +00001159 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001160 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001161 // Add source line info if available and TyDesc is not a forward declaration.
1162 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001163 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001164}
1165
Adrian Prantl3f49c892014-02-25 19:57:42 +00001166/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +00001167void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001168 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renf8a19672014-07-28 22:24:06 +00001169 DIType Ty = resolve(Args.getElement(i));
Manman Renf93ac4b2014-07-29 18:20:39 +00001170 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001171 assert(i == N-1 && "Unspecified parameter must be the last argument");
1172 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
1173 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001174 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
1175 addType(Arg, DIType(Ty));
Adrian Prantl69140d22014-02-25 22:27:14 +00001176 if (DIType(Ty).isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001177 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001178 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001179 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001180}
1181
Devang Patel0e821f42011-04-12 23:21:44 +00001182/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001183void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001184 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001185 StringRef Name = CTy.getName();
1186
1187 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001188 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001189
1190 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001191 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001192 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001193 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001194 case dwarf::DW_TAG_enumeration_type:
1195 constructEnumTypeDIE(Buffer, CTy);
1196 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001197 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001198 // Add return type. A void return won't have a type.
Manman Renf8a19672014-07-28 22:24:06 +00001199 DITypeArray Elements = DISubroutineType(CTy).getTypeArray();
1200 DIType RTy(resolve(Elements.getElement(0)));
Eric Christopher0df08e22013-08-08 07:40:37 +00001201 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001202 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001203
1204 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001205 if (Elements.getNumElements() == 2 &&
Manman Ren72b07e82014-07-29 22:58:13 +00001206 !Elements.getElement(1))
Adrian Prantl3f49c892014-02-25 19:57:42 +00001207 isPrototyped = false;
1208
1209 constructSubprogramArguments(Buffer, Elements);
1210
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001211 // Add prototype flag if we're dealing with a C language and the
1212 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001213 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001214 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001215 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001216 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001217 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001218
1219 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001220 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001221
1222 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001223 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001224 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001225 case dwarf::DW_TAG_structure_type:
1226 case dwarf::DW_TAG_union_type:
1227 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001228 // Add elements to structure type.
Manman Renab8ffba2014-07-28 19:14:13 +00001229 DIArray Elements = CTy.getElements();
David Blaikiea1ae0e62013-08-01 20:30:22 +00001230 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001231 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001232 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001233 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001234 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001235 DIDerivedType DDTy(Element);
1236 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001237 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001238 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001239 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001240 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001241 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001242 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001243 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001244 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001245 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001246 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001247 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001248 StringRef PropertyName = Property.getObjCPropertyName();
1249 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001250 if (Property.getType())
1251 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001252 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001253 StringRef GetterName = Property.getObjCPropertyGetterName();
1254 if (!GetterName.empty())
1255 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1256 StringRef SetterName = Property.getObjCPropertySetterName();
1257 if (!SetterName.empty())
1258 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1259 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001260 if (Property.isReadOnlyObjCProperty())
1261 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1262 if (Property.isReadWriteObjCProperty())
1263 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1264 if (Property.isAssignObjCProperty())
1265 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1266 if (Property.isRetainObjCProperty())
1267 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1268 if (Property.isCopyObjCProperty())
1269 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1270 if (Property.isNonAtomicObjCProperty())
1271 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1272 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001273 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001274 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001275
Devang Pateld925d1a2012-02-07 23:33:58 +00001276 DIEEntry *Entry = getDIEEntry(Element);
1277 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001278 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001279 insertDIEEntry(Element, Entry);
1280 }
Devang Patel403e8192012-02-04 01:30:32 +00001281 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001282 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001283 }
1284
1285 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001286 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001287
Eric Christopher9e429ae2013-10-05 00:27:02 +00001288 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001289 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001290 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001291 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001292
Devang Patel12419ae2011-05-12 21:29:42 +00001293 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001294 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001295
Eric Christopherda011dd2011-12-16 23:42:42 +00001296 // Add template parameters to a class, structure or union types.
1297 // FIXME: The support isn't in the metadata for this yet.
1298 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001299 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001300 addTemplateParams(Buffer, CTy.getTemplateParams());
1301
1302 break;
1303 }
1304 default:
1305 break;
1306 }
1307
1308 // Add name if not anonymous or intermediate type.
1309 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001310 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001311
Eric Christopher775cbd22012-05-22 18:45:18 +00001312 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001313 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001314 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001315 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001316 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001317 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001318 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001319 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001320 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001321 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001322
1323 // If we're a forward decl, say so.
1324 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001325 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001326
1327 // Add source line info if available.
1328 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001329 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001330
1331 // No harm in adding the runtime language to the declaration.
1332 unsigned RLang = CTy.getRunTimeLang();
1333 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001334 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001335 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001336 }
1337}
1338
Manman Renffc9a712013-10-23 23:05:28 +00001339/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1340/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001341void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1342 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001343 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001344 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001345 // Add the type if it exists, it could be void and therefore no type.
1346 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001347 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001348 if (!TP.getName().empty())
1349 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001350}
1351
Manman Renffc9a712013-10-23 23:05:28 +00001352/// constructTemplateValueParameterDIE - Construct new DIE for the given
1353/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001354void
1355DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001356 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001357 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001358
1359 // Add the type if there is one, template template and template parameter
1360 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001361 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001362 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001363 if (!VP.getName().empty())
1364 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1365 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001366 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001367 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
David Blaikiea1e813d2013-05-10 21:52:07 +00001368 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1369 // For declaration non-type template parameters (such as global values and
1370 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001371 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001372 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001373 // Emit DW_OP_stack_value to use the address as the immediate value of the
1374 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001375 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001376 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001377 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001378 assert(isa<MDString>(Val));
1379 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1380 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001381 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001382 assert(isa<MDNode>(Val));
1383 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001384 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001385 }
1386 }
Devang Patel0e821f42011-04-12 23:21:44 +00001387}
1388
Devang Patel17b53272011-05-06 16:57:54 +00001389/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001390DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001391 // Construct the context before querying for the existence of the DIE in case
1392 // such construction creates the DIE.
1393 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001394
David Blaikie65a74662014-04-25 18:26:14 +00001395 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001396 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001397 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001398
David Blaikie553eb4a2014-06-06 22:16:56 +00001399 StringRef Name = NS.getName();
1400 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001401 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001402 else
1403 Name = "(anonymous namespace)";
1404 DD->addAccelNamespace(Name, NDie);
1405 addGlobalName(Name, NDie, NS.getContext());
Devang Patel17b53272011-05-06 16:57:54 +00001406 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001407 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001408}
1409
Devang Patel89543712011-08-15 17:24:54 +00001410/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001411DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001412 // Construct the context before querying for the existence of the DIE in case
1413 // such construction creates the DIE (as is the case for member function
1414 // declarations).
David Blaikie7f916862014-05-27 18:37:38 +00001415 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
Adrian Prantld486b342014-03-18 17:41:15 +00001416
David Blaikie65a74662014-04-25 18:26:14 +00001417 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001418 return SPDie;
1419
David Blaikiece7a1bd2014-05-21 18:04:33 +00001420 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
Manman Ren73d697c2013-10-29 00:58:04 +00001421 // Add subprogram definitions to the CU die directly.
David Blaikiebd579052014-04-28 21:14:27 +00001422 ContextDIE = &getUnitDie();
Alp Tokerda0c7932014-05-31 21:26:28 +00001423 // Build the decl now to ensure it precedes the definition.
David Blaikie7f916862014-05-27 18:37:38 +00001424 getOrCreateSubprogramDIE(SPDecl);
David Blaikiece7a1bd2014-05-21 18:04:33 +00001425 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001426
1427 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001428 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001429
David Blaikie6cfa9e12014-06-05 00:25:26 +00001430 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001431 // subprogram turns out to have inlined instances or not.
1432 if (SP.isDefinition())
1433 return &SPDie;
1434
David Blaikie7f916862014-05-27 18:37:38 +00001435 applySubprogramAttributes(SP, SPDie);
1436 return &SPDie;
1437}
1438
David Blaikie3dca5992014-06-06 22:29:05 +00001439void DwarfUnit::applySubprogramAttributesToDefinition(DISubprogram SP, DIE &SPDie) {
1440 DISubprogram SPDecl = SP.getFunctionDeclaration();
1441 DIScope Context = resolve(SPDecl ? SPDecl.getContext() : SP.getContext());
1442 applySubprogramAttributes(SP, SPDie);
1443 addGlobalName(SP.getName(), SPDie, Context);
1444}
1445
David Blaikie7f916862014-05-27 18:37:38 +00001446void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie) {
1447 DIE *DeclDie = nullptr;
1448 StringRef DeclLinkageName;
1449 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001450 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001451 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001452 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001453 "getOrCreateSubprogramDIE");
David Blaikie7f916862014-05-27 18:37:38 +00001454 DeclLinkageName = SPDecl.getLinkageName();
1455 }
Rafael Espindola79278362011-11-10 22:34:29 +00001456
Devang Patel89543712011-08-15 17:24:54 +00001457 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001458 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001459
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001460 // Add the linkage name if we have one and it isn't in the Decl.
1461 StringRef LinkageName = SP.getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001462 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1463 LinkageName == DeclLinkageName) &&
1464 "decl has a linkage name and it is different");
1465 if (!LinkageName.empty() && DeclLinkageName.empty())
1466 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1467 GlobalValue::getRealLinkageName(LinkageName));
Devang Patel89543712011-08-15 17:24:54 +00001468
David Blaikiece7a1bd2014-05-21 18:04:33 +00001469 if (DeclDie) {
1470 // Refer to the function declaration where all the other attributes will be
1471 // found.
1472 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
David Blaikie7f916862014-05-27 18:37:38 +00001473 return;
David Blaikiece7a1bd2014-05-21 18:04:33 +00001474 }
Eric Christopheracb71152012-08-23 22:52:55 +00001475
Devang Patel89543712011-08-15 17:24:54 +00001476 // Constructors and operators for anonymous aggregates do not have names.
1477 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001478 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001479
1480 addSourceLine(SPDie, SP);
1481
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001482 // Add the prototype if we have a prototype and we have a C like
1483 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001484 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001485 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001486 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001487 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001488 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001489
Manman Renf8a19672014-07-28 22:24:06 +00001490 DISubroutineType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001491 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1492 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001493
Manman Renf8a19672014-07-28 22:24:06 +00001494 DITypeArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001495 // Add a return type. If this is a type like a C/C++ void type we don't add a
1496 // return type.
Manman Renf8a19672014-07-28 22:24:06 +00001497 if (resolve(Args.getElement(0)))
1498 addType(SPDie, DIType(resolve(Args.getElement(0))));
Devang Patel89543712011-08-15 17:24:54 +00001499
1500 unsigned VK = SP.getVirtuality();
1501 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001502 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001503 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001504 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1505 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001506 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001507 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001508 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001509 }
1510
1511 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001512 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001513
Devang Patel89543712011-08-15 17:24:54 +00001514 // Add arguments. Do not add arguments for subprogram definition. They will
1515 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001516 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001517 }
1518
1519 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001520 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001521
1522 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001523 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001524
1525 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001526 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001527
1528 if (unsigned isa = Asm->getISAEncoding()) {
1529 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1530 }
1531
Adrian Prantl99c7af22013-12-18 21:48:19 +00001532 if (SP.isLValueReference())
1533 addFlag(SPDie, dwarf::DW_AT_reference);
1534
1535 if (SP.isRValueReference())
1536 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1537
Adrian Prantlef129fb2014-01-18 02:12:00 +00001538 if (SP.isProtected())
1539 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1540 dwarf::DW_ACCESS_protected);
1541 else if (SP.isPrivate())
1542 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1543 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001544 else if (SP.isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001545 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1546 dwarf::DW_ACCESS_public);
1547
1548 if (SP.isExplicit())
1549 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001550}
1551
David Blaikieeb1a2722014-06-13 22:18:23 +00001552void DwarfUnit::applyVariableAttributes(const DbgVariable &Var,
1553 DIE &VariableDie) {
1554 StringRef Name = Var.getName();
1555 if (!Name.empty())
1556 addString(VariableDie, dwarf::DW_AT_name, Name);
1557 addSourceLine(VariableDie, Var.getVariable());
1558 addType(VariableDie, Var.getType());
1559 if (Var.isArtificial())
1560 addFlag(VariableDie, dwarf::DW_AT_artificial);
1561}
1562
Devang Pateldfd6ec32011-08-15 17:57:41 +00001563// Return const expression if value is a GEP to access merged global
1564// constant. e.g.
1565// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1566static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1567 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1568 if (!CE || CE->getNumOperands() != 3 ||
1569 CE->getOpcode() != Instruction::GetElementPtr)
Craig Topper353eda42014-04-24 06:44:33 +00001570 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001571
1572 // First operand points to a global struct.
1573 Value *Ptr = CE->getOperand(0);
1574 if (!isa<GlobalValue>(Ptr) ||
1575 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
Craig Topper353eda42014-04-24 06:44:33 +00001576 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001577
1578 // Second operand is zero.
1579 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1580 if (!CI || !CI->isZero())
Craig Topper353eda42014-04-24 06:44:33 +00001581 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001582
1583 // Third operand is offset.
1584 if (!isa<ConstantInt>(CE->getOperand(2)))
Craig Topper353eda42014-04-24 06:44:33 +00001585 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001586
1587 return CE;
1588}
1589
1590/// createGlobalVariableDIE - create global variable DIE.
Eric Christopher4287a492013-12-09 23:57:44 +00001591void DwarfCompileUnit::createGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001592 // Check for pre-existence.
David Blaikie2ad00162013-11-15 23:09:13 +00001593 if (getDIE(GV))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001594 return;
1595
David Blaikie5e390e42014-02-04 01:23:52 +00001596 assert(GV.isGlobalVariable());
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001597
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001598 DIScope GVContext = GV.getContext();
Adrian Prantl1a1647c2014-03-18 02:34:58 +00001599 DIType GTy = DD->resolve(GV.getType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001600
1601 // If this is a static data member definition, some attributes belong
1602 // to the declaration DIE.
Craig Topper353eda42014-04-24 06:44:33 +00001603 DIE *VariableDIE = nullptr;
Manman Rene697d3c2013-02-01 23:54:37 +00001604 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001605 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1606 if (SDMDecl.Verify()) {
1607 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1608 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001609 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001610 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001611 }
1612
1613 // If this is not a static data member definition, create the variable
1614 // DIE and add the initial set of attributes to it.
1615 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001616 // Construct the context before querying for the existence of the DIE in
1617 // case such construction creates the DIE.
1618 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001619
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001620 // Add to map.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001621 VariableDIE = &createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001622
1623 // Add name and type.
David Blaikie65a74662014-04-25 18:26:14 +00001624 addString(*VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1625 addType(*VariableDIE, GTy);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001626
1627 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001628 if (!GV.isLocalToUnit())
David Blaikie65a74662014-04-25 18:26:14 +00001629 addFlag(*VariableDIE, dwarf::DW_AT_external);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001630
1631 // Add line number info.
David Blaikie65a74662014-04-25 18:26:14 +00001632 addSourceLine(*VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001633 }
1634
Devang Pateldfd6ec32011-08-15 17:57:41 +00001635 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001636 bool addToAccelTable = false;
Craig Topper353eda42014-04-24 06:44:33 +00001637 DIE *VariableSpecDIE = nullptr;
1638 bool isGlobalVariable = GV.getGlobal() != nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001639 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001640 addToAccelTable = true;
Eric Christopher4a741042014-02-16 08:46:55 +00001641 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001642 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001643 if (GV.getGlobal()->isThreadLocal()) {
1644 // FIXME: Make this work with -gsplit-dwarf.
1645 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1646 assert((PointerSize == 4 || PointerSize == 8) &&
1647 "Add support for other sizes if necessary");
1648 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001649 if (!DD->useSplitDwarf()) {
1650 // 1) Start with a constNu of the appropriate pointer size
David Blaikie65a74662014-04-25 18:26:14 +00001651 addUInt(*Loc, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001652 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001653 // 2) containing the (relocated) offset of the TLS variable
1654 // within the module's TLS block.
David Blaikie65a74662014-04-25 18:26:14 +00001655 addExpr(*Loc, dwarf::DW_FORM_udata,
David Blaikief1a6dea2014-02-15 19:34:03 +00001656 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym));
David Blaikie8466ca82013-07-01 23:55:52 +00001657 } else {
David Blaikie65a74662014-04-25 18:26:14 +00001658 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1659 addUInt(*Loc, dwarf::DW_FORM_udata,
David Blaikied75fb282014-04-23 21:20:10 +00001660 DD->getAddressPool().getIndex(Sym, /* TLS */ true));
David Blaikie8466ca82013-07-01 23:55:52 +00001661 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001662 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikie65a74662014-04-25 18:26:14 +00001663 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001664 } else {
1665 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikie65a74662014-04-25 18:26:14 +00001666 addOpAddress(*Loc, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001667 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001668 // Do not create specification DIE if context is either compile unit
1669 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001670 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001671 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001672 // Create specification DIE.
David Blaikiebd579052014-04-28 21:14:27 +00001673 VariableSpecDIE = &createAndAddDIE(dwarf::DW_TAG_variable, UnitDie);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001674 addDIEEntry(*VariableSpecDIE, dwarf::DW_AT_specification, *VariableDIE);
David Blaikie65a74662014-04-25 18:26:14 +00001675 addBlock(*VariableSpecDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001676 // A static member's declaration is already flagged as such.
1677 if (!SDMDecl.Verify())
David Blaikie65a74662014-04-25 18:26:14 +00001678 addFlag(*VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001679 } else {
David Blaikie65a74662014-04-25 18:26:14 +00001680 addBlock(*VariableDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4996c702011-11-07 09:24:32 +00001681 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001682 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001683 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001684 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001685 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1686 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1687 // TAG_variable.
David Blaikie65a74662014-04-25 18:26:14 +00001688 addString(IsStaticMember && VariableSpecDIE ? *VariableSpecDIE
1689 : *VariableDIE,
Eric Christopheraf7eca22014-03-13 23:26:25 +00001690 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
1691 : dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001692 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001693 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001694 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001695 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001696 // emitting AT_const_value multiple times, we only add AT_const_value when
1697 // it is not a static member.
1698 if (!IsStaticMember)
David Blaikiec0a28412014-05-11 15:56:59 +00001699 addConstantValue(*VariableDIE, CI, GTy);
David Blaikiea781b25b2013-11-17 21:55:13 +00001700 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001701 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001702 // GV is a merged global.
Eric Christopher4a741042014-02-16 08:46:55 +00001703 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Pateldfd6ec32011-08-15 17:57:41 +00001704 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001705 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1706 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikie65a74662014-04-25 18:26:14 +00001707 addOpAddress(*Loc, Sym);
1708 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001709 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikie65a74662014-04-25 18:26:14 +00001710 addUInt(*Loc, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001711 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikie65a74662014-04-25 18:26:14 +00001712 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1713 addBlock(*VariableDIE, dwarf::DW_AT_location, Loc);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001714 }
1715
Eric Christopherc12c2112011-11-11 01:55:22 +00001716 if (addToAccelTable) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001717 DIE &AddrDIE = VariableSpecDIE ? *VariableSpecDIE : *VariableDIE;
David Blaikie2406a0622014-04-23 23:37:35 +00001718 DD->addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001719
Eric Christopherc12c2112011-11-11 01:55:22 +00001720 // If the linkage name is different than the name, go ahead and output
1721 // that as well into the name table.
1722 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
David Blaikie2406a0622014-04-23 23:37:35 +00001723 DD->addAccelName(GV.getLinkageName(), AddrDIE);
Eric Christopherc12c2112011-11-11 01:55:22 +00001724 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001725
David Blaikie553eb4a2014-06-06 22:16:56 +00001726 addGlobalName(GV.getName(), VariableSpecDIE ? *VariableSpecDIE : *VariableDIE,
1727 GV.getContext());
Devang Pateldfd6ec32011-08-15 17:57:41 +00001728}
1729
Devang Patel0e821f42011-04-12 23:21:44 +00001730/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001731void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001732 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001733 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001734
Bill Wendling28fe9e72012-12-06 07:38:10 +00001735 // The LowerBound value defines the lower bounds which is typically zero for
1736 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1737 // Count == -1 then the array is unbounded and we do not emit
1738 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1739 // Count == 0, then the array has zero elements in which case we do not emit
1740 // an upper bound.
1741 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001742 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001743 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001744
Bill Wendling3495f9b2012-12-06 07:55:19 +00001745 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001746 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001747
1748 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001749 // FIXME: An unbounded array should reference the expression that defines
1750 // the array.
Eric Christopher98b7f172013-11-11 18:52:36 +00001751 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1752 LowerBound + Count - 1);
Devang Patel0e821f42011-04-12 23:21:44 +00001753}
1754
1755/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001756void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001757 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001758 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001759
Eric Christopher0df08e22013-08-08 07:40:37 +00001760 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001761 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001762
1763 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001764 // FIXME: This type should be passed down from the front end
1765 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001766 DIE *IdxTy = getIndexTyDie();
1767 if (!IdxTy) {
David Blaikie12e00fc2014-04-03 06:28:20 +00001768 // Construct an integer type to use for indexes.
David Blaikiebd579052014-04-28 21:14:27 +00001769 IdxTy = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
David Blaikie65a74662014-04-25 18:26:14 +00001770 addString(*IdxTy, dwarf::DW_AT_name, "sizetype");
1771 addUInt(*IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1772 addUInt(*IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
David Blaikie12e00fc2014-04-03 06:28:20 +00001773 dwarf::DW_ATE_unsigned);
Devang Patel0e821f42011-04-12 23:21:44 +00001774 setIndexTyDie(IdxTy);
1775 }
1776
1777 // Add subranges to array type.
Manman Renab8ffba2014-07-28 19:14:13 +00001778 DIArray Elements = CTy.getElements();
Devang Patel0e821f42011-04-12 23:21:44 +00001779 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1780 DIDescriptor Element = Elements.getElement(i);
1781 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1782 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1783 }
1784}
1785
Eric Christopheraeb105f2013-11-11 18:52:39 +00001786/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001787void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Manman Renab8ffba2014-07-28 19:14:13 +00001788 DIArray Elements = CTy.getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001789
1790 // Add enumerators to enumeration type.
1791 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001792 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001793 if (Enum.isEnumerator()) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001794 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001795 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001796 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001797 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001798 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1799 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001800 }
1801 }
1802 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1803 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001804 addType(Buffer, DTy);
1805 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001806 }
Devang Patel0e821f42011-04-12 23:21:44 +00001807}
1808
Devang Patel89543712011-08-15 17:24:54 +00001809/// constructContainingTypeDIEs - Construct DIEs for types that contain
1810/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001811void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001812 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001813 CE = ContainingTypeMap.end();
1814 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001815 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001816 DIDescriptor D(CI->second);
1817 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001818 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001819 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001820 if (!NDie)
1821 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001822 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001823 }
1824}
1825
Devang Patel3acc70e2011-08-15 22:04:40 +00001826/// constructVariableDIE - Construct a DIE for the given DbgVariable.
David Blaikie914046e2014-04-25 20:00:34 +00001827std::unique_ptr<DIE> DwarfUnit::constructVariableDIE(DbgVariable &DV,
David Blaikieb85f0082014-05-27 19:34:32 +00001828 bool Abstract) {
1829 auto D = constructVariableDIEImpl(DV, Abstract);
David Blaikiee071fc82014-04-25 17:32:19 +00001830 DV.setDIE(*D);
1831 return D;
1832}
1833
David Blaikieb85f0082014-05-27 19:34:32 +00001834std::unique_ptr<DIE> DwarfUnit::constructVariableDIEImpl(const DbgVariable &DV,
1835 bool Abstract) {
Devang Patel3acc70e2011-08-15 22:04:40 +00001836 // Define variable debug information entry.
David Blaikie914046e2014-04-25 20:00:34 +00001837 auto VariableDie = make_unique<DIE>(DV.getTag());
Devang Patel3acc70e2011-08-15 22:04:40 +00001838
David Blaikieeb1a2722014-06-13 22:18:23 +00001839 if (Abstract) {
1840 applyVariableAttributes(DV, *VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001841 return VariableDie;
David Blaikieeb1a2722014-06-13 22:18:23 +00001842 }
Devang Patel3acc70e2011-08-15 22:04:40 +00001843
1844 // Add variable address.
1845
Eric Christopher34a2c872013-11-15 01:43:19 +00001846 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001847 if (Offset != ~0U) {
David Blaikie65a74662014-04-25 18:26:14 +00001848 addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
Devang Patel3acc70e2011-08-15 22:04:40 +00001849 return VariableDie;
1850 }
1851
Eric Christophercead0332011-10-03 15:49:20 +00001852 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001853 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001854 assert(DVInsn->getNumOperands() == 3);
1855 if (DVInsn->getOperand(0).isReg()) {
1856 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001857 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001858 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001859 MachineLocation Location(RegOp.getReg(),
1860 DVInsn->getOperand(1).getImm());
David Blaikie65a74662014-04-25 18:26:14 +00001861 addVariableAddress(DV, *VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001862 } else if (RegOp.getReg())
David Blaikie65a74662014-04-25 18:26:14 +00001863 addVariableAddress(DV, *VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001864 } else if (DVInsn->getOperand(0).isImm())
David Blaikie65a74662014-04-25 18:26:14 +00001865 addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001866 else if (DVInsn->getOperand(0).isFPImm())
David Blaikie65a74662014-04-25 18:26:14 +00001867 addConstantFPValue(*VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001868 else if (DVInsn->getOperand(0).isCImm())
David Blaikie65a74662014-04-25 18:26:14 +00001869 addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(),
David Blaikiec0a28412014-05-11 15:56:59 +00001870 DV.getType());
Eric Christopher78fcf4902013-07-03 01:08:30 +00001871
Devang Patel3acc70e2011-08-15 22:04:40 +00001872 return VariableDie;
Devang Patel3acc70e2011-08-15 22:04:40 +00001873 }
1874
David Blaikiee071fc82014-04-25 17:32:19 +00001875 // .. else use frame index.
1876 int FI = DV.getFrameIndex();
1877 if (FI != ~0) {
1878 unsigned FrameReg = 0;
Eric Christopherd9134482014-08-04 21:25:23 +00001879 const TargetFrameLowering *TFI =
1880 Asm->TM.getSubtargetImpl()->getFrameLowering();
David Blaikiee071fc82014-04-25 17:32:19 +00001881 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1882 MachineLocation Location(FrameReg, Offset);
David Blaikie65a74662014-04-25 18:26:14 +00001883 addVariableAddress(DV, *VariableDie, Location);
David Blaikiee071fc82014-04-25 17:32:19 +00001884 }
1885
Devang Patel3acc70e2011-08-15 22:04:40 +00001886 return VariableDie;
1887}
1888
Manman Ren230ec862013-10-23 23:00:44 +00001889/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001890void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001891 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001892 StringRef Name = DT.getName();
1893 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001894 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001895
Manman Ren93b30902013-10-08 18:42:58 +00001896 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001897
1898 addSourceLine(MemberDie, DT);
1899
Eric Christopherc2697f82013-10-19 01:04:47 +00001900 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001901
1902 // For C++, virtual base classes are not at fixed offset. Use following
1903 // expression to extract appropriate offset from vtable.
1904 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1905
Eric Christopher4a741042014-02-16 08:46:55 +00001906 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001907 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1908 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1909 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1910 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1911 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1912 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1913 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001914
David Blaikief2443192013-10-21 17:28:37 +00001915 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001916 } else {
1917 uint64_t Size = DT.getSizeInBits();
1918 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1919 uint64_t OffsetInBytes;
1920
1921 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001922 // Handle bitfield, assume bytes are 8 bits.
1923 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1924 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001925
1926 uint64_t Offset = DT.getOffsetInBits();
1927 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1928 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1929 uint64_t FieldOffset = (HiMark - FieldSize);
1930 Offset -= FieldOffset;
1931
1932 // Maybe we need to work from the other end.
1933 if (Asm->getDataLayout().isLittleEndian())
1934 Offset = FieldSize - (Offset + Size);
1935 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1936
Adrian Prantlc67655a2014-01-28 18:13:47 +00001937 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001938 // field that includes this bit field.
1939 OffsetInBytes = FieldOffset >> 3;
1940 } else
1941 // This is not a bitfield.
1942 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001943
David Blaikie22b29a52014-01-03 01:30:05 +00001944 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001945 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001946 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1947 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001948 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1949 } else
1950 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1951 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001952 }
Devang Patel0e821f42011-04-12 23:21:44 +00001953
1954 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001955 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001956 dwarf::DW_ACCESS_protected);
1957 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001958 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001959 dwarf::DW_ACCESS_private);
1960 // Otherwise C++ member and base classes are considered public.
Adrian Prantldaedfda2014-08-29 22:44:07 +00001961 else if (DT.isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001962 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001963 dwarf::DW_ACCESS_public);
1964 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001965 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001966 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001967
1968 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001969 if (MDNode *PNode = DT.getObjCProperty())
1970 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001971 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1972 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001973
David Blaikie37fefc32012-12-13 22:43:07 +00001974 if (DT.isArtificial())
1975 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001976}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001977
Manman Renc6b63922013-10-14 20:33:57 +00001978/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001979DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001980 if (!DT.Verify())
Craig Topper353eda42014-04-24 06:44:33 +00001981 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001982
Manman Renc6b63922013-10-14 20:33:57 +00001983 // Construct the context before querying for the existence of the DIE in case
1984 // such construction creates the DIE.
1985 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001986 assert(dwarf::isType(ContextDIE->getTag()) &&
1987 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001988
David Blaikie65a74662014-04-25 18:26:14 +00001989 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001990 return StaticMemberDIE;
1991
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001992 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001993
Manman Ren93b30902013-10-08 18:42:58 +00001994 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001995
1996 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1997 addType(StaticMemberDIE, Ty);
1998 addSourceLine(StaticMemberDIE, DT);
1999 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
2000 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
2001
2002 // FIXME: We could omit private if the parent is a class_type, and
2003 // public if the parent is something else.
2004 if (DT.isProtected())
2005 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2006 dwarf::DW_ACCESS_protected);
2007 else if (DT.isPrivate())
2008 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2009 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00002010 else if (DT.isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002011 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2012 dwarf::DW_ACCESS_public);
2013
2014 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00002015 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00002016 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
2017 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002018
David Blaikie65a74662014-04-25 18:26:14 +00002019 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002020}
David Blaikie6b288cf2013-10-30 20:42:41 +00002021
David Blaikied82b2372014-03-24 20:28:10 +00002022void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00002023 Asm->OutStreamer.AddComment("DWARF version number");
2024 Asm->EmitInt16(DD->getDwarfVersion());
2025 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00002026 // We share one abbreviations table across all units so it's always at the
2027 // start of the section. Use a relocatable offset where needed to ensure
2028 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002029 if (ASectionSym)
2030 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
2031 else
David Blaikie326e1fa2014-04-02 02:04:51 +00002032 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002033 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00002034 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2035 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
2036}
David Blaikiebc563272013-12-13 21:33:40 +00002037
David Blaikied0f10372014-09-09 23:13:01 +00002038void DwarfCompileUnit::addRange(RangeSpan Range) {
Eric Christopher384f3fe2014-03-20 19:16:16 +00002039 // Only add a range for this unit if we're emitting full debug.
2040 if (getCUNode().getEmissionKind() == DIBuilder::FullDebug) {
David Blaikied0f10372014-09-09 23:13:01 +00002041 bool SameAsPrevCU = this == DD->getPrevCU();
2042 DD->setPrevCU(this);
Eric Christopher384f3fe2014-03-20 19:16:16 +00002043 // If we have no current ranges just add the range and return, otherwise,
2044 // check the current section and CU against the previous section and CU we
2045 // emitted into and the subprogram was contained within. If these are the
2046 // same then extend our current range, otherwise add this as a new range.
David Blaikied0f10372014-09-09 23:13:01 +00002047 if (CURanges.empty() || !SameAsPrevCU ||
David Blaikiedeb174f2014-09-09 22:56:36 +00002048 (&CURanges.back().getEnd()->getSection() !=
2049 &Range.getEnd()->getSection())) {
Eric Christopher384f3fe2014-03-20 19:16:16 +00002050 CURanges.push_back(Range);
2051 return;
2052 }
2053
Eric Christopher384f3fe2014-03-20 19:16:16 +00002054 CURanges.back().setEnd(Range.getEnd());
2055 }
2056}
2057
David Blaikie2494fdb2014-02-14 22:41:51 +00002058void DwarfCompileUnit::initStmtList(MCSymbol *DwarfLineSectionSym) {
2059 // Define start line table label for each Compile Unit.
2060 MCSymbol *LineTableStartSym =
David Blaikie34641612014-04-01 08:07:52 +00002061 Asm->OutStreamer.getDwarfLineTableSymbol(getUniqueID());
David Blaikie2494fdb2014-02-14 22:41:51 +00002062
David Blaikiebd579052014-04-28 21:14:27 +00002063 stmtListIndex = UnitDie.getValues().size();
David Blaikie60e63862014-02-14 23:58:13 +00002064
David Blaikie2494fdb2014-02-14 22:41:51 +00002065 // DW_AT_stmt_list is a offset of line number information for this
2066 // compile unit in debug_line section. For split dwarf this is
2067 // left in the skeleton CU and so not included.
2068 // The line table entries are not always emitted in assembly, so it
2069 // is not okay to use line_table_start here.
2070 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
David Blaikiebd579052014-04-28 21:14:27 +00002071 addSectionLabel(UnitDie, dwarf::DW_AT_stmt_list, LineTableStartSym);
David Blaikie2494fdb2014-02-14 22:41:51 +00002072 else
David Blaikiebd579052014-04-28 21:14:27 +00002073 addSectionDelta(UnitDie, dwarf::DW_AT_stmt_list, LineTableStartSym,
David Blaikie2494fdb2014-02-14 22:41:51 +00002074 DwarfLineSectionSym);
2075}
2076
David Blaikie60e63862014-02-14 23:58:13 +00002077void DwarfCompileUnit::applyStmtList(DIE &D) {
2078 D.addValue(dwarf::DW_AT_stmt_list,
David Blaikiebd579052014-04-28 21:14:27 +00002079 UnitDie.getAbbrev().getData()[stmtListIndex].getForm(),
2080 UnitDie.getValues()[stmtListIndex]);
David Blaikie60e63862014-02-14 23:58:13 +00002081}
2082
David Blaikied82b2372014-03-24 20:28:10 +00002083void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
2084 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00002085 Asm->OutStreamer.AddComment("Type Signature");
2086 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
2087 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00002088 // In a skeleton type unit there is no type DIE so emit a zero offset.
2089 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
2090 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00002091}
2092
2093void DwarfTypeUnit::initSection(const MCSection *Section) {
2094 assert(!this->Section);
2095 this->Section = Section;
2096 // Since each type unit is contained in its own COMDAT section, the begin
2097 // label and the section label are the same. Using the begin label emission in
2098 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
2099 // the only other alternative of lazily constructing start-of-section labels
2100 // and storing a mapping in DwarfDebug (or AsmPrinter).
2101 this->SectionSym = this->LabelBegin =
2102 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2103 this->LabelEnd =
2104 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
David Blaikiebc563272013-12-13 21:33:40 +00002105}