blob: b19b576cdf3d56b15c5194b9cac941354116f385 [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 Blaikieba656e12014-09-15 22:41:25 +0000289 // Don't use the address pool in non-fission or in the skeleton unit itself.
290 // FIXME: Once GDB supports this, it's probably worthwhile using the address
291 // pool from the skeleton - maybe even in non-fission (possibly fewer
292 // relocations by sharing them in the pool, but we have other ideas about how
293 // to reduce the number of relocations as well/instead).
David Blaikiec42f9ac2014-09-07 17:31:42 +0000294 if (!DD->useSplitDwarf() || !Skeleton)
Eric Christopher384f3fe2014-03-20 19:16:16 +0000295 return addLocalLabelAddress(Die, Attribute, Label);
296
Alexey Samsonov4436bf02013-10-03 08:54:43 +0000297 if (Label)
298 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton21101b32013-09-19 23:21:01 +0000299
David Blaikied75fb282014-04-23 21:20:10 +0000300 unsigned idx = DD->getAddressPool().getIndex(Label);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000301 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
David Blaikie65a74662014-04-25 18:26:14 +0000302 Die.addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
Eric Christopher384f3fe2014-03-20 19:16:16 +0000303}
304
David Blaikie65a74662014-04-25 18:26:14 +0000305void DwarfCompileUnit::addLocalLabelAddress(DIE &Die,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000306 dwarf::Attribute Attribute,
307 const MCSymbol *Label) {
308 if (Label)
309 DD->addArangeLabel(SymbolCU(this, Label));
310
David Blaikie65a74662014-04-25 18:26:14 +0000311 Die.addValue(Attribute, dwarf::DW_FORM_addr,
312 Label ? (DIEValue *)new (DIEValueAllocator) DIELabel(Label)
313 : new (DIEValueAllocator) DIEInteger(0));
Eric Christopher962c9082013-01-15 23:56:56 +0000314}
315
David Blaikie0e8d4012014-03-17 23:53:25 +0000316unsigned DwarfCompileUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
317 // If we print assembly, we can't separate .file entries according to
318 // compile units. Thus all files will belong to the default compile unit.
319
320 // FIXME: add a better feature test than hasRawTextSupport. Even better,
321 // extend .file to support this.
322 return Asm->OutStreamer.EmitDwarfFileDirective(
323 0, DirName, FileName,
324 Asm->OutStreamer.hasRawTextSupport() ? 0 : getUniqueID());
325}
326
David Blaikie4a2f95f2014-03-18 01:17:26 +0000327unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
328 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
329 : getCU().getOrCreateSourceID(FileName, DirName);
330}
331
Eric Christophere9ec2452013-01-18 22:11:33 +0000332/// addOpAddress - Add a dwarf op address data and value using the
333/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
334///
David Blaikie65a74662014-04-25 18:26:14 +0000335void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000336 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000337 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
338 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000339 } else {
David Blaikief2443192013-10-21 17:28:37 +0000340 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000341 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000342 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000343 }
344}
345
Eric Christopher33ff6972013-11-21 23:46:41 +0000346/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000347///
David Blaikie65a74662014-04-25 18:26:14 +0000348void DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000349 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000350 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000351 Die.addValue(Attribute, DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
352 : dwarf::DW_FORM_data4,
353 Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000354}
355
David Blaikie65a74662014-04-25 18:26:14 +0000356void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000357 const MCSymbol *Hi, const MCSymbol *Lo) {
358 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000359 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000360}
361
Devang Patel0e821f42011-04-12 23:21:44 +0000362/// addDIEEntry - Add a DIE attribute data and value.
363///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000364void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000365 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
366}
367
David Blaikie65a74662014-04-25 18:26:14 +0000368void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000369 // Flag the type unit reference as a declaration so that if it contains
370 // members (implicit special members, static data member definitions, member
371 // declarations for definitions in this CU, etc) consumers don't get confused
372 // and think this is a full definition.
373 addFlag(Die, dwarf::DW_AT_declaration);
374
David Blaikie65a74662014-04-25 18:26:14 +0000375 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
376 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000377}
378
David Blaikie65a74662014-04-25 18:26:14 +0000379void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000380 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000381 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000382 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000383 if (!DieCU)
384 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000385 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000386 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000387 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000388 Die.addValue(Attribute,
389 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
390 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000391}
392
Manman Renb987e512013-10-29 00:53:03 +0000393/// Create a DIE with the given Tag, add the DIE to its parent, and
394/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000395DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000396 assert(Tag != dwarf::DW_TAG_auto_variable &&
397 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000398 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000399 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000400 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000401 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000402 return Die;
403}
404
Devang Patel0e821f42011-04-12 23:21:44 +0000405/// addBlock - Add block data.
406///
David Blaikie65a74662014-04-25 18:26:14 +0000407void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000408 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000409 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000410 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000411}
412
David Blaikie65a74662014-04-25 18:26:14 +0000413void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000414 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000415 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000416 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000417 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000418}
419
420/// addSourceLine - Add location information to specified debug information
421/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000422void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000423 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000424 if (Line == 0)
425 return;
David Blaikie101613e2014-02-12 00:11:25 +0000426
David Blaikie4a2f95f2014-03-18 01:17:26 +0000427 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000428 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000429 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
430 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000431}
432
433/// addSourceLine - Add location information to specified debug information
434/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000435void DwarfUnit::addSourceLine(DIE &Die, DIVariable V) {
David Blaikie101613e2014-02-12 00:11:25 +0000436 assert(V.isVariable());
437
Eric Christopher89a575c2014-02-12 22:38:04 +0000438 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
439 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000440}
441
442/// addSourceLine - Add location information to specified debug information
443/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000444void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000445 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000446
David Blaikie101613e2014-02-12 00:11:25 +0000447 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000448}
449
450/// addSourceLine - Add location information to specified debug information
451/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000452void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000453 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000454
David Blaikie101613e2014-02-12 00:11:25 +0000455 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000456}
457
458/// addSourceLine - Add location information to specified debug information
459/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000460void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000461 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000462
David Blaikie101613e2014-02-12 00:11:25 +0000463 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000464}
465
466/// addSourceLine - Add location information to specified debug information
467/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000468void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000469 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000470
Eric Christopher70e1bd82012-03-29 08:42:56 +0000471 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000472 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
473 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000474}
475
476/// addSourceLine - Add location information to specified debug information
477/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000478void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000479 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000480
David Blaikie101613e2014-02-12 00:11:25 +0000481 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000482}
483
Eric Christopher92331fd2012-11-21 00:34:38 +0000484/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000485/// DbgVariable based on provided MachineLocation.
David Blaikie65a74662014-04-25 18:26:14 +0000486void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000487 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000488 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000489 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000490 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000491 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
492 else
David Blaikieea2605d2013-06-20 00:25:24 +0000493 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000494 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000495}
496
Devang Patelba5fbf12011-04-26 19:06:18 +0000497/// addRegisterOp - Add register operand.
Adrian Prantlb1416832014-08-01 22:11:58 +0000498// FIXME: Ideally, this would share the implementation with
499// AsmPrinter::EmitDwarfRegOpPiece.
500void DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
501 unsigned SizeInBits, unsigned OffsetInBits) {
Eric Christopherd9134482014-08-04 21:25:23 +0000502 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000503 int DWReg = RI->getDwarfRegNum(Reg, false);
504 bool isSubRegister = DWReg < 0;
505
506 unsigned Idx = 0;
507
508 // Go up the super-register chain until we hit a valid dwarf register number.
509 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
510 DWReg = RI->getDwarfRegNum(*SR, false);
511 if (DWReg >= 0)
512 Idx = RI->getSubRegIndex(*SR, Reg);
513 }
514
515 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000516 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000517 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
518 return;
519 }
520
Adrian Prantlb1416832014-08-01 22:11:58 +0000521 // Emit register.
Devang Patelba5fbf12011-04-26 19:06:18 +0000522 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000523 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000524 else {
David Blaikief2443192013-10-21 17:28:37 +0000525 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
526 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000527 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000528
Adrian Prantlb1416832014-08-01 22:11:58 +0000529 // Emit mask.
530 bool isPiece = SizeInBits > 0;
531 if (isSubRegister || isPiece) {
532 const unsigned SizeOfByte = 8;
533 unsigned RegSizeInBits = RI->getSubRegIdxSize(Idx);
534 unsigned RegOffsetInBits = RI->getSubRegIdxOffset(Idx);
535 unsigned PieceSizeInBits = std::max(SizeInBits, RegSizeInBits);
536 unsigned PieceOffsetInBits = OffsetInBits ? OffsetInBits : RegOffsetInBits;
537 assert(RegSizeInBits >= SizeInBits && "register smaller than value");
538
539 if (RegOffsetInBits != PieceOffsetInBits) {
540 // Manually shift the value into place, since the DW_OP_piece
541 // describes the part of the variable, not the position of the
542 // subregister.
543 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
544 addUInt(TheDie, dwarf::DW_FORM_data1, RegOffsetInBits);
545 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_shr);
546 }
547
548 if (PieceOffsetInBits > 0 || PieceSizeInBits % SizeOfByte) {
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_bit_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000551 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits);
552 addUInt(TheDie, dwarf::DW_FORM_data1, PieceOffsetInBits);
553 } else {
554 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000555 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000556 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits/SizeOfByte);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000557 }
558 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000559}
560
561/// addRegisterOffset - Add register offset.
David Blaikie65a74662014-04-25 18:26:14 +0000562void DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000563 int64_t Offset) {
Eric Christopherd9134482014-08-04 21:25:23 +0000564 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000565 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
Eric Christopherd9134482014-08-04 21:25:23 +0000566 const TargetRegisterInfo *TRI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000567 if (Reg == TRI->getFrameRegister(*Asm->MF))
568 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000569 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000570 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000571 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000572 else {
David Blaikief2443192013-10-21 17:28:37 +0000573 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
574 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000575 }
David Blaikief2443192013-10-21 17:28:37 +0000576 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000577}
578
579/// addAddress - Add an address attribute to a die based on the location
580/// provided.
David Blaikie65a74662014-04-25 18:26:14 +0000581void DwarfUnit::addAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000582 const MachineLocation &Location, bool Indirect) {
Eric Christopher4a741042014-02-16 08:46:55 +0000583 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patelba5fbf12011-04-26 19:06:18 +0000584
David Blaikieea2605d2013-06-20 00:25:24 +0000585 if (Location.isReg() && !Indirect)
Adrian Prantlb1416832014-08-01 22:11:58 +0000586 addRegisterOpPiece(*Loc, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000587 else {
David Blaikie65a74662014-04-25 18:26:14 +0000588 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000589 if (Indirect && !Location.isReg()) {
David Blaikie65a74662014-04-25 18:26:14 +0000590 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000591 }
592 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000593
594 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000595 addBlock(Die, Attribute, Loc);
Devang Patelba5fbf12011-04-26 19:06:18 +0000596}
597
Devang Patel0e821f42011-04-12 23:21:44 +0000598/// addComplexAddress - Start with the address based on the location provided,
599/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000600/// given the extra address information encoded in the DbgVariable, starting
601/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000602///
David Blaikie65a74662014-04-25 18:26:14 +0000603void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000604 dwarf::Attribute Attribute,
605 const MachineLocation &Location) {
Eric Christopher4a741042014-02-16 08:46:55 +0000606 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000607 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000608 unsigned i = 0;
609 if (Location.isReg()) {
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000610 if (N >= 2 && DV.getAddrElement(0) == dwarf::DW_OP_plus) {
611 assert(!DV.getVariable().isIndirect() &&
612 "double indirection not handled");
Devang Patel3e021532011-04-28 02:22:40 +0000613 // If first address element is OpPlus then emit
614 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
David Blaikie65a74662014-04-25 18:26:14 +0000615 addRegisterOffset(*Loc, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000616 i = 2;
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000617 } else if (N >= 2 && DV.getAddrElement(0) == dwarf::DW_OP_deref) {
618 assert(!DV.getVariable().isIndirect() &&
619 "double indirection not handled");
620 addRegisterOpPiece(*Loc, Location.getReg(),
621 DV.getExpression().getPieceSize(),
622 DV.getExpression().getPieceOffset());
623 i = 3;
Devang Patel3e021532011-04-28 02:22:40 +0000624 } else
Adrian Prantlb1416832014-08-01 22:11:58 +0000625 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000626 } else
David Blaikie65a74662014-04-25 18:26:14 +0000627 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000628
Eric Christopherc2697f82013-10-19 01:04:47 +0000629 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000630 uint64_t Element = DV.getAddrElement(i);
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000631 if (Element == dwarf::DW_OP_plus) {
David Blaikie65a74662014-04-25 18:26:14 +0000632 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
633 addUInt(*Loc, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Adrian Prantlb1416832014-08-01 22:11:58 +0000634
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000635 } else if (Element == dwarf::DW_OP_deref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000636 if (!Location.isReg())
David Blaikie65a74662014-04-25 18:26:14 +0000637 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Adrian Prantlb1416832014-08-01 22:11:58 +0000638
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000639 } else if (Element == dwarf::DW_OP_piece) {
Adrian Prantlb1416832014-08-01 22:11:58 +0000640 const unsigned SizeOfByte = 8;
641 unsigned PieceOffsetInBits = DV.getAddrElement(++i)*SizeOfByte;
642 unsigned PieceSizeInBits = DV.getAddrElement(++i)*SizeOfByte;
643 // Emit DW_OP_bit_piece Size Offset.
644 assert(PieceSizeInBits > 0 && "piece has zero size");
645 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
646 addUInt(*Loc, dwarf::DW_FORM_udata, PieceSizeInBits);
647 addUInt(*Loc, dwarf::DW_FORM_udata, PieceOffsetInBits);
648
Eric Christopherc2697f82013-10-19 01:04:47 +0000649 } else
650 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000651 }
652
653 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000654 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000655}
656
657/* Byref variables, in Blocks, are declared by the programmer as "SomeType
658 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
659 gives the variable VarName either the struct, or a pointer to the struct, as
660 its type. This is necessary for various behind-the-scenes things the
661 compiler needs to do with by-reference variables in Blocks.
662
663 However, as far as the original *programmer* is concerned, the variable
664 should still have type 'SomeType', as originally declared.
665
666 The function getBlockByrefType dives into the __Block_byref_x_VarName
667 struct to find the original type of the variable, which is then assigned to
668 the variable's Debug Information Entry as its real type. So far, so good.
669 However now the debugger will expect the variable VarName to have the type
670 SomeType. So we need the location attribute for the variable to be an
671 expression that explains to the debugger how to navigate through the
672 pointers and struct to find the actual variable of type SomeType.
673
674 The following function does just that. We start by getting
675 the "normal" location for the variable. This will be the location
676 of either the struct __Block_byref_x_VarName or the pointer to the
677 struct __Block_byref_x_VarName.
678
679 The struct will look something like:
680
681 struct __Block_byref_x_VarName {
682 ... <various fields>
683 struct __Block_byref_x_VarName *forwarding;
684 ... <various other fields>
685 SomeType VarName;
686 ... <maybe more fields>
687 };
688
689 If we are given the struct directly (as our starting point) we
690 need to tell the debugger to:
691
692 1). Add the offset of the forwarding field.
693
694 2). Follow that pointer to get the real __Block_byref_x_VarName
695 struct to use (the real one may have been copied onto the heap).
696
697 3). Add the offset for the field VarName, to find the actual variable.
698
699 If we started with a pointer to the struct, then we need to
700 dereference that pointer first, before the other steps.
701 Translating this into DWARF ops, we will need to append the following
702 to the current location description for the variable:
703
704 DW_OP_deref -- optional, if we start with a pointer
705 DW_OP_plus_uconst <forward_fld_offset>
706 DW_OP_deref
707 DW_OP_plus_uconst <varName_fld_offset>
708
709 That is what this function does. */
710
711/// addBlockByrefAddress - Start with the address based on the location
712/// provided, and generate the DWARF information necessary to find the
713/// actual Block variable (navigating the Block struct) based on the
714/// starting location. Add the DWARF information to the die. For
715/// more information, read large comment just above here.
716///
David Blaikie65a74662014-04-25 18:26:14 +0000717void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000718 dwarf::Attribute Attribute,
719 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000720 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000721 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000722 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000723 bool isPointer = false;
724
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000725 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000726
727 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000728 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000729 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000730 isPointer = true;
731 }
732
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000733 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000734
735 // Find the __forwarding field and the variable field in the __Block_byref
736 // struct.
Manman Renab8ffba2014-07-28 19:14:13 +0000737 DIArray Fields = blockStruct.getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000738 DIDerivedType varField;
739 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000740
741 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000742 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000743 StringRef fieldName = DT.getName();
744 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000745 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000746 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000747 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000748 }
749
750 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000751 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
752 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000753
754 // Decode the original location, and use that as the start of the byref
755 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000756 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000757
Eric Christopheref9d7102012-07-04 02:02:18 +0000758 if (Location.isReg())
Adrian Prantlb1416832014-08-01 22:11:58 +0000759 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000760 else
David Blaikie65a74662014-04-25 18:26:14 +0000761 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000762
763 // If we started with a pointer to the __Block_byref... struct, then
764 // the first thing we need to do is dereference the pointer (DW_OP_deref).
765 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000766 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000767
768 // Next add the offset for the '__forwarding' field:
769 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
770 // adding the offset if it's 0.
771 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000772 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
773 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000774 }
775
776 // Now dereference the __forwarding field to get to the real __Block_byref
777 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000778 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000779
780 // Now that we've got the real __Block_byref... struct, add the offset
781 // for the variable's field to get to the location of the actual variable:
782 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
783 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000784 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
785 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000786 }
787
788 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000789 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000790}
791
Manman Renb3388602013-10-05 01:43:03 +0000792/// Return true if type encoding is unsigned.
793static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
794 DIDerivedType DTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000795 if (DTy.isDerivedType()) {
David Blaikie2af1c802014-05-20 18:21:51 +0000796 dwarf::Tag T = (dwarf::Tag)Ty.getTag();
797 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000798 // null pointer constant emission.
799 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
800 // here, but accept them for now due to a bug in SROA producing bogus
801 // dbg.values.
David Blaikie2af1c802014-05-20 18:21:51 +0000802 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000803 T == dwarf::DW_TAG_ptr_to_member_type ||
804 T == dwarf::DW_TAG_reference_type ||
805 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000806 return true;
807 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
808 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000809 T == dwarf::DW_TAG_restrict_type ||
810 T == dwarf::DW_TAG_enumeration_type);
David Blaikie2af1c802014-05-20 18:21:51 +0000811 if (DITypeRef Deriv = DTy.getTypeDerivedFrom())
812 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000813 // FIXME: Enums without a fixed underlying type have unknown signedness
814 // here, leading to incorrectly emitted constants.
815 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
816 return false;
817 }
Manman Renb3388602013-10-05 01:43:03 +0000818
819 DIBasicType BTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000820 assert(BTy.isBasicType());
David Blaikie60cae1b2014-05-11 16:08:41 +0000821 unsigned Encoding = BTy.getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000822 assert((Encoding == dwarf::DW_ATE_unsigned ||
823 Encoding == dwarf::DW_ATE_unsigned_char ||
824 Encoding == dwarf::DW_ATE_signed ||
825 Encoding == dwarf::DW_ATE_signed_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000826 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean) &&
827 "Unsupported encoding");
David Blaikie60cae1b2014-05-11 16:08:41 +0000828 return (Encoding == dwarf::DW_ATE_unsigned ||
829 Encoding == dwarf::DW_ATE_unsigned_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000830 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean);
Manman Renb3388602013-10-05 01:43:03 +0000831}
832
833/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000834static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000835 unsigned Tag = Ty.getTag();
836
837 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
838 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
839 Tag != dwarf::DW_TAG_restrict_type)
840 return Ty.getSizeInBits();
841
842 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
843
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000844 // If this type is not derived from any type or the type is a declaration then
845 // take conservative approach.
846 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000847 return Ty.getSizeInBits();
848
849 // If this is a derived type, go ahead and get the base type, unless it's a
850 // reference then it's just the size of the field. Pointer types have no need
851 // of this since they're a different type of qualification on the type.
852 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
853 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
854 return Ty.getSizeInBits();
855
856 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000857 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000858
859 return BaseType.getSizeInBits();
860}
861
Devang Patel0e821f42011-04-12 23:21:44 +0000862/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000863void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000864 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000865 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
866 APFloat FPImm = MO.getFPImm()->getValueAPF();
867
868 // Get the raw data form of the floating point.
869 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000870 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000871
872 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000873 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000874 int Incr = (LittleEndian ? 1 : -1);
875 int Start = (LittleEndian ? 0 : NumBytes - 1);
876 int Stop = (LittleEndian ? NumBytes : -1);
877
878 // Output the constant to DWARF one byte at a time.
879 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000880 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000881
David Blaikief2443192013-10-21 17:28:37 +0000882 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000883}
884
David Blaikiea39a76e2013-01-20 01:18:01 +0000885/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000886void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000887 // Pass this down to addConstantValue as an unsigned bag of bits.
888 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000889}
890
Devang Patel0e821f42011-04-12 23:21:44 +0000891/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000892void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
893 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000894}
895
David Blaikiec05c8f42014-05-11 15:47:39 +0000896/// addConstantValue - Add constant value entry in variable DIE.
897void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
898 DIType Ty) {
899 assert(MO.isImm() && "Invalid machine operand!");
900
David Blaikie60cae1b2014-05-11 16:08:41 +0000901 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000902}
903
David Blaikie60cae1b2014-05-11 16:08:41 +0000904void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000905 // FIXME: This is a bit conservative/simple - it emits negative values always
906 // sign extended to 64 bits rather than minimizing the number of bytes.
907 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000908 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000909}
910
David Blaikiec0a28412014-05-11 15:56:59 +0000911void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
912 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
913}
914
David Blaikiea39a76e2013-01-20 01:18:01 +0000915// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000916void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000917 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000918 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000919 addConstantValue(Die, Unsigned,
920 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000921 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000922 }
923
924 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
925
926 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000927 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000928
929 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000930 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000931
932 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000933 for (int i = 0; i < NumBytes; i++) {
934 uint8_t c;
935 if (LittleEndian)
936 c = Ptr64[i / 8] >> (8 * (i & 7));
937 else
938 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000939 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000940 }
Devang Patel0e821f42011-04-12 23:21:44 +0000941
David Blaikief2443192013-10-21 17:28:37 +0000942 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000943}
944
Eric Christopher25e35092013-04-22 07:47:40 +0000945/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000946void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000947 // Add template parameters.
948 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
949 DIDescriptor Element = TParams.getElement(i);
950 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000951 constructTemplateTypeParameterDIE(Buffer,
952 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000953 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000954 constructTemplateValueParameterDIE(Buffer,
955 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000956 }
Devang Patel0e821f42011-04-12 23:21:44 +0000957}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000958
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000959/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000960DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000961 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000962 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000963 if (Context.isType())
964 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000965 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000966 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000967 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000968 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000969 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000970}
971
Eric Christophera5a79422013-12-09 23:32:48 +0000972DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000973 DIScope Context = resolve(Ty.getContext());
974 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000975
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000976 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000977 return TyDIE;
978
979 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000980 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000981
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000982 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000983
David Blaikie9d861be2013-11-26 00:15:27 +0000984 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000985 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000986}
987
Devang Patel0e821f42011-04-12 23:21:44 +0000988/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
989/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000990DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000991 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000992 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000993
David Blaikie32887552013-11-14 22:25:02 +0000994 DIType Ty(TyNode);
995 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000996 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000997 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000998
David Blaikieee11f222014-04-12 05:35:59 +0000999 // DW_TAG_restrict_type is not supported in DWARF2
1000 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
1001 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
1002
Manman Renf4c339e2013-10-29 22:49:29 +00001003 // Construct the context before querying for the existence of the DIE in case
1004 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +00001005 DIScope Context = resolve(Ty.getContext());
1006 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +00001007 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +00001008
David Blaikie65a74662014-04-25 18:26:14 +00001009 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +00001010 return TyDIE;
1011
1012 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001013 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +00001014
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001015 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +00001016
Devang Patel0e821f42011-04-12 23:21:44 +00001017 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +00001018 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +00001019 else if (Ty.isCompositeType()) {
1020 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +00001021 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
1022 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +00001023 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +00001024 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +00001025 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +00001026 }
David Blaikie65a74662014-04-25 18:26:14 +00001027 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +00001028 } else {
Devang Patel0e821f42011-04-12 23:21:44 +00001029 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +00001030 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +00001031 }
David Blaikie2ea848b2013-11-19 22:51:04 +00001032
David Blaikie65a74662014-04-25 18:26:14 +00001033 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +00001034}
1035
Eric Christophera5a79422013-12-09 23:32:48 +00001036void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001037 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +00001038 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
1039 bool IsImplementation = 0;
1040 if (Ty.isCompositeType()) {
1041 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +00001042 // A runtime language of 0 actually means C/C++ and that any
1043 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +00001044 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +00001045 }
Eric Christophercf7289f2013-09-05 18:20:16 +00001046 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +00001047 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +00001048
David Blaikieadbea1e2014-03-12 03:34:38 +00001049 if ((!Context || Context.isCompileUnit() || Context.isFile() ||
1050 Context.isNameSpace()) &&
1051 getCUNode().getEmissionKind() != DIBuilder::LineTablesOnly)
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001052 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] =
1053 &TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +00001054 }
Devang Patel0e821f42011-04-12 23:21:44 +00001055}
1056
1057/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +00001058void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +00001059 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001060
1061 // Check for pre-existence.
1062 DIEEntry *Entry = getDIEEntry(Ty);
1063 // If it exists then use the existing value.
1064 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001065 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001066 return;
1067 }
1068
1069 // Construct type.
1070 DIE *Buffer = getOrCreateTypeDIE(Ty);
1071
1072 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001073 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001074 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001075 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001076}
1077
Eric Christopher9c58f312013-09-20 22:20:55 +00001078/// addGlobalName - Add a new global name to the compile unit.
David Blaikie65a74662014-04-25 18:26:14 +00001079void DwarfUnit::addGlobalName(StringRef Name, DIE &Die, DIScope Context) {
David Blaikieadbea1e2014-03-12 03:34:38 +00001080 if (getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1081 return;
Eric Christopher8dba0d52013-10-19 01:04:42 +00001082 std::string FullName = getParentContextString(Context) + Name.str();
David Blaikie65a74662014-04-25 18:26:14 +00001083 GlobalNames[FullName] = &Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001084}
1085
Eric Christopher2c8b7902013-10-17 02:06:06 +00001086/// getParentContextString - Walks the metadata parent chain in a language
1087/// specific manner (using the compile unit language) and returns
1088/// it as a string. This is done at the metadata level because DIEs may
1089/// not currently have been added to the parent context and walking the
1090/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001091std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001092 if (!Context)
1093 return "";
1094
1095 // FIXME: Decide whether to implement this for non-C++ languages.
1096 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1097 return "";
1098
Eric Christopher8dba0d52013-10-19 01:04:42 +00001099 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001100 SmallVector<DIScope, 1> Parents;
1101 while (!Context.isCompileUnit()) {
1102 Parents.push_back(Context);
1103 if (Context.getContext())
1104 Context = resolve(Context.getContext());
1105 else
1106 // Structure, etc types will have a NULL context if they're at the top
1107 // level.
1108 break;
1109 }
1110
1111 // Reverse iterate over our list to go from the outermost construct to the
1112 // innermost.
1113 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1114 E = Parents.rend();
1115 I != E; ++I) {
1116 DIScope Ctx = *I;
1117 StringRef Name = Ctx.getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001118 if (Name.empty() && Ctx.isNameSpace())
1119 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +00001120 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001121 CS += Name;
1122 CS += "::";
1123 }
1124 }
1125 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001126}
1127
1128/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001129void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001130 // Get core information.
1131 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001132 // Add name if not anonymous or intermediate type.
1133 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001134 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001135
David Blaikiefac56122013-10-04 23:21:16 +00001136 // An unspecified type only has a name attribute.
1137 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001138 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001139
David Blaikie65a74662014-04-25 18:26:14 +00001140 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001141 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001142
Devang Patel0e821f42011-04-12 23:21:44 +00001143 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +00001144 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001145}
1146
1147/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001148void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001149 // Get core information.
1150 StringRef Name = DTy.getName();
1151 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001152 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001153
1154 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001155 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001156 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +00001157 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001158
1159 // Add name if not anonymous or intermediate type.
1160 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001161 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001162
1163 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001164 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie65a74662014-04-25 18:26:14 +00001165 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001166
David Blaikie5d3249b2013-01-07 05:51:15 +00001167 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +00001168 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001169 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001170 // Add source line info if available and TyDesc is not a forward declaration.
1171 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001172 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001173}
1174
Adrian Prantl3f49c892014-02-25 19:57:42 +00001175/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +00001176void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001177 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renf8a19672014-07-28 22:24:06 +00001178 DIType Ty = resolve(Args.getElement(i));
Manman Renf93ac4b2014-07-29 18:20:39 +00001179 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001180 assert(i == N-1 && "Unspecified parameter must be the last argument");
1181 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
1182 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001183 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
1184 addType(Arg, DIType(Ty));
Adrian Prantl69140d22014-02-25 22:27:14 +00001185 if (DIType(Ty).isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001186 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001187 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001188 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001189}
1190
Devang Patel0e821f42011-04-12 23:21:44 +00001191/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001192void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001193 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001194 StringRef Name = CTy.getName();
1195
1196 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001197 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001198
1199 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001200 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001201 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001202 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001203 case dwarf::DW_TAG_enumeration_type:
1204 constructEnumTypeDIE(Buffer, CTy);
1205 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001206 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001207 // Add return type. A void return won't have a type.
Manman Renf8a19672014-07-28 22:24:06 +00001208 DITypeArray Elements = DISubroutineType(CTy).getTypeArray();
1209 DIType RTy(resolve(Elements.getElement(0)));
Eric Christopher0df08e22013-08-08 07:40:37 +00001210 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001211 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001212
1213 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001214 if (Elements.getNumElements() == 2 &&
Manman Ren72b07e82014-07-29 22:58:13 +00001215 !Elements.getElement(1))
Adrian Prantl3f49c892014-02-25 19:57:42 +00001216 isPrototyped = false;
1217
1218 constructSubprogramArguments(Buffer, Elements);
1219
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001220 // Add prototype flag if we're dealing with a C language and the
1221 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001222 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001223 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001224 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001225 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001226 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001227
1228 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001229 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001230
1231 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001232 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001233 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001234 case dwarf::DW_TAG_structure_type:
1235 case dwarf::DW_TAG_union_type:
1236 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001237 // Add elements to structure type.
Manman Renab8ffba2014-07-28 19:14:13 +00001238 DIArray Elements = CTy.getElements();
David Blaikiea1ae0e62013-08-01 20:30:22 +00001239 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001240 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001241 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001242 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001243 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001244 DIDerivedType DDTy(Element);
1245 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001246 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001247 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001248 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001249 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001250 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001251 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001252 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001253 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001254 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001255 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001256 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001257 StringRef PropertyName = Property.getObjCPropertyName();
1258 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001259 if (Property.getType())
1260 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001261 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001262 StringRef GetterName = Property.getObjCPropertyGetterName();
1263 if (!GetterName.empty())
1264 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1265 StringRef SetterName = Property.getObjCPropertySetterName();
1266 if (!SetterName.empty())
1267 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1268 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001269 if (Property.isReadOnlyObjCProperty())
1270 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1271 if (Property.isReadWriteObjCProperty())
1272 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1273 if (Property.isAssignObjCProperty())
1274 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1275 if (Property.isRetainObjCProperty())
1276 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1277 if (Property.isCopyObjCProperty())
1278 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1279 if (Property.isNonAtomicObjCProperty())
1280 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1281 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001282 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001283 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001284
Devang Pateld925d1a2012-02-07 23:33:58 +00001285 DIEEntry *Entry = getDIEEntry(Element);
1286 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001287 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001288 insertDIEEntry(Element, Entry);
1289 }
Devang Patel403e8192012-02-04 01:30:32 +00001290 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001291 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001292 }
1293
1294 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001295 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001296
Eric Christopher9e429ae2013-10-05 00:27:02 +00001297 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001298 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001299 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001300 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001301
Devang Patel12419ae2011-05-12 21:29:42 +00001302 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001303 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001304
Eric Christopherda011dd2011-12-16 23:42:42 +00001305 // Add template parameters to a class, structure or union types.
1306 // FIXME: The support isn't in the metadata for this yet.
1307 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001308 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001309 addTemplateParams(Buffer, CTy.getTemplateParams());
1310
1311 break;
1312 }
1313 default:
1314 break;
1315 }
1316
1317 // Add name if not anonymous or intermediate type.
1318 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001319 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001320
Eric Christopher775cbd22012-05-22 18:45:18 +00001321 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001322 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001323 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001324 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001325 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001326 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001327 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001328 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001329 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001330 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001331
1332 // If we're a forward decl, say so.
1333 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001334 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001335
1336 // Add source line info if available.
1337 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001338 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001339
1340 // No harm in adding the runtime language to the declaration.
1341 unsigned RLang = CTy.getRunTimeLang();
1342 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001343 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001344 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001345 }
1346}
1347
Manman Renffc9a712013-10-23 23:05:28 +00001348/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1349/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001350void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1351 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001352 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001353 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001354 // Add the type if it exists, it could be void and therefore no type.
1355 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001356 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001357 if (!TP.getName().empty())
1358 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001359}
1360
Manman Renffc9a712013-10-23 23:05:28 +00001361/// constructTemplateValueParameterDIE - Construct new DIE for the given
1362/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001363void
1364DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001365 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001366 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001367
1368 // Add the type if there is one, template template and template parameter
1369 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001370 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001371 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001372 if (!VP.getName().empty())
1373 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1374 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001375 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001376 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
David Blaikiea1e813d2013-05-10 21:52:07 +00001377 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1378 // For declaration non-type template parameters (such as global values and
1379 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001380 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001381 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001382 // Emit DW_OP_stack_value to use the address as the immediate value of the
1383 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001384 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001385 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001386 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001387 assert(isa<MDString>(Val));
1388 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1389 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001390 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001391 assert(isa<MDNode>(Val));
1392 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001393 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001394 }
1395 }
Devang Patel0e821f42011-04-12 23:21:44 +00001396}
1397
Devang Patel17b53272011-05-06 16:57:54 +00001398/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001399DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001400 // Construct the context before querying for the existence of the DIE in case
1401 // such construction creates the DIE.
1402 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001403
David Blaikie65a74662014-04-25 18:26:14 +00001404 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001405 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001406 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001407
David Blaikie553eb4a2014-06-06 22:16:56 +00001408 StringRef Name = NS.getName();
1409 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001410 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001411 else
1412 Name = "(anonymous namespace)";
1413 DD->addAccelNamespace(Name, NDie);
1414 addGlobalName(Name, NDie, NS.getContext());
Devang Patel17b53272011-05-06 16:57:54 +00001415 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001416 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001417}
1418
Devang Patel89543712011-08-15 17:24:54 +00001419/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001420DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001421 // Construct the context before querying for the existence of the DIE in case
1422 // such construction creates the DIE (as is the case for member function
1423 // declarations).
David Blaikie7f916862014-05-27 18:37:38 +00001424 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
Adrian Prantld486b342014-03-18 17:41:15 +00001425
David Blaikie65a74662014-04-25 18:26:14 +00001426 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001427 return SPDie;
1428
David Blaikiece7a1bd2014-05-21 18:04:33 +00001429 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
Manman Ren73d697c2013-10-29 00:58:04 +00001430 // Add subprogram definitions to the CU die directly.
David Blaikiebd579052014-04-28 21:14:27 +00001431 ContextDIE = &getUnitDie();
Alp Tokerda0c7932014-05-31 21:26:28 +00001432 // Build the decl now to ensure it precedes the definition.
David Blaikie7f916862014-05-27 18:37:38 +00001433 getOrCreateSubprogramDIE(SPDecl);
David Blaikiece7a1bd2014-05-21 18:04:33 +00001434 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001435
1436 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001437 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001438
David Blaikie6cfa9e12014-06-05 00:25:26 +00001439 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001440 // subprogram turns out to have inlined instances or not.
1441 if (SP.isDefinition())
1442 return &SPDie;
1443
David Blaikie7f916862014-05-27 18:37:38 +00001444 applySubprogramAttributes(SP, SPDie);
1445 return &SPDie;
1446}
1447
David Blaikie3dca5992014-06-06 22:29:05 +00001448void DwarfUnit::applySubprogramAttributesToDefinition(DISubprogram SP, DIE &SPDie) {
1449 DISubprogram SPDecl = SP.getFunctionDeclaration();
1450 DIScope Context = resolve(SPDecl ? SPDecl.getContext() : SP.getContext());
1451 applySubprogramAttributes(SP, SPDie);
1452 addGlobalName(SP.getName(), SPDie, Context);
1453}
1454
David Blaikie7f916862014-05-27 18:37:38 +00001455void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie) {
1456 DIE *DeclDie = nullptr;
1457 StringRef DeclLinkageName;
1458 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001459 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001460 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001461 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001462 "getOrCreateSubprogramDIE");
David Blaikie7f916862014-05-27 18:37:38 +00001463 DeclLinkageName = SPDecl.getLinkageName();
1464 }
Rafael Espindola79278362011-11-10 22:34:29 +00001465
Devang Patel89543712011-08-15 17:24:54 +00001466 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001467 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001468
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001469 // Add the linkage name if we have one and it isn't in the Decl.
1470 StringRef LinkageName = SP.getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001471 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1472 LinkageName == DeclLinkageName) &&
1473 "decl has a linkage name and it is different");
1474 if (!LinkageName.empty() && DeclLinkageName.empty())
1475 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1476 GlobalValue::getRealLinkageName(LinkageName));
Devang Patel89543712011-08-15 17:24:54 +00001477
David Blaikiece7a1bd2014-05-21 18:04:33 +00001478 if (DeclDie) {
1479 // Refer to the function declaration where all the other attributes will be
1480 // found.
1481 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
David Blaikie7f916862014-05-27 18:37:38 +00001482 return;
David Blaikiece7a1bd2014-05-21 18:04:33 +00001483 }
Eric Christopheracb71152012-08-23 22:52:55 +00001484
Devang Patel89543712011-08-15 17:24:54 +00001485 // Constructors and operators for anonymous aggregates do not have names.
1486 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001487 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001488
David Blaikie0b9438b2014-09-19 04:47:46 +00001489 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie73b65d22014-09-19 04:30:36 +00001490 if(getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1491 return;
1492
Devang Patel89543712011-08-15 17:24:54 +00001493 addSourceLine(SPDie, SP);
1494
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001495 // Add the prototype if we have a prototype and we have a C like
1496 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001497 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001498 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001499 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001500 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001501 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001502
Manman Renf8a19672014-07-28 22:24:06 +00001503 DISubroutineType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001504 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1505 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001506
Manman Renf8a19672014-07-28 22:24:06 +00001507 DITypeArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001508 // Add a return type. If this is a type like a C/C++ void type we don't add a
1509 // return type.
Manman Renf8a19672014-07-28 22:24:06 +00001510 if (resolve(Args.getElement(0)))
1511 addType(SPDie, DIType(resolve(Args.getElement(0))));
Devang Patel89543712011-08-15 17:24:54 +00001512
1513 unsigned VK = SP.getVirtuality();
1514 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001515 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001516 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001517 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1518 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001519 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001520 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001521 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001522 }
1523
1524 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001525 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001526
Devang Patel89543712011-08-15 17:24:54 +00001527 // Add arguments. Do not add arguments for subprogram definition. They will
1528 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001529 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001530 }
1531
1532 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001533 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001534
1535 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001536 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001537
1538 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001539 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001540
1541 if (unsigned isa = Asm->getISAEncoding()) {
1542 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1543 }
1544
Adrian Prantl99c7af22013-12-18 21:48:19 +00001545 if (SP.isLValueReference())
1546 addFlag(SPDie, dwarf::DW_AT_reference);
1547
1548 if (SP.isRValueReference())
1549 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1550
Adrian Prantlef129fb2014-01-18 02:12:00 +00001551 if (SP.isProtected())
1552 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1553 dwarf::DW_ACCESS_protected);
1554 else if (SP.isPrivate())
1555 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1556 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001557 else if (SP.isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001558 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1559 dwarf::DW_ACCESS_public);
1560
1561 if (SP.isExplicit())
1562 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001563}
1564
David Blaikieeb1a2722014-06-13 22:18:23 +00001565void DwarfUnit::applyVariableAttributes(const DbgVariable &Var,
1566 DIE &VariableDie) {
1567 StringRef Name = Var.getName();
1568 if (!Name.empty())
1569 addString(VariableDie, dwarf::DW_AT_name, Name);
1570 addSourceLine(VariableDie, Var.getVariable());
1571 addType(VariableDie, Var.getType());
1572 if (Var.isArtificial())
1573 addFlag(VariableDie, dwarf::DW_AT_artificial);
1574}
1575
Devang Pateldfd6ec32011-08-15 17:57:41 +00001576// Return const expression if value is a GEP to access merged global
1577// constant. e.g.
1578// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1579static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1580 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1581 if (!CE || CE->getNumOperands() != 3 ||
1582 CE->getOpcode() != Instruction::GetElementPtr)
Craig Topper353eda42014-04-24 06:44:33 +00001583 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001584
1585 // First operand points to a global struct.
1586 Value *Ptr = CE->getOperand(0);
1587 if (!isa<GlobalValue>(Ptr) ||
1588 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
Craig Topper353eda42014-04-24 06:44:33 +00001589 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001590
1591 // Second operand is zero.
1592 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1593 if (!CI || !CI->isZero())
Craig Topper353eda42014-04-24 06:44:33 +00001594 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001595
1596 // Third operand is offset.
1597 if (!isa<ConstantInt>(CE->getOperand(2)))
Craig Topper353eda42014-04-24 06:44:33 +00001598 return nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001599
1600 return CE;
1601}
1602
Frederic Riss9ba9eff2014-09-19 15:12:03 +00001603/// getOrCreateGlobalVariableDIE - get or create global variable DIE.
1604DIE *DwarfCompileUnit::getOrCreateGlobalVariableDIE(DIGlobalVariable GV) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001605 // Check for pre-existence.
Frederic Riss9ba9eff2014-09-19 15:12:03 +00001606 if (DIE *Die = getDIE(GV))
1607 return Die;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001608
David Blaikie5e390e42014-02-04 01:23:52 +00001609 assert(GV.isGlobalVariable());
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001610
Eric Christopher08f7c8f2013-10-04 23:49:26 +00001611 DIScope GVContext = GV.getContext();
Adrian Prantl1a1647c2014-03-18 02:34:58 +00001612 DIType GTy = DD->resolve(GV.getType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001613
1614 // If this is a static data member definition, some attributes belong
1615 // to the declaration DIE.
Craig Topper353eda42014-04-24 06:44:33 +00001616 DIE *VariableDIE = nullptr;
Manman Rene697d3c2013-02-01 23:54:37 +00001617 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001618 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1619 if (SDMDecl.Verify()) {
1620 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1621 // We need the declaration DIE that is in the static member's class.
Manman Renc6b63922013-10-14 20:33:57 +00001622 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Rene697d3c2013-02-01 23:54:37 +00001623 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001624 }
1625
1626 // If this is not a static data member definition, create the variable
1627 // DIE and add the initial set of attributes to it.
1628 if (!VariableDIE) {
Manman Renf6b936b2013-10-29 05:49:41 +00001629 // Construct the context before querying for the existence of the DIE in
1630 // case such construction creates the DIE.
1631 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Renf6b936b2013-10-29 05:49:41 +00001632
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001633 // Add to map.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001634 VariableDIE = &createAndAddDIE(GV.getTag(), *ContextDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001635
1636 // Add name and type.
David Blaikie65a74662014-04-25 18:26:14 +00001637 addString(*VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1638 addType(*VariableDIE, GTy);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001639
1640 // Add scoping info.
Eric Christopherd2b497b2013-10-16 01:37:49 +00001641 if (!GV.isLocalToUnit())
David Blaikie65a74662014-04-25 18:26:14 +00001642 addFlag(*VariableDIE, dwarf::DW_AT_external);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001643
1644 // Add line number info.
David Blaikie65a74662014-04-25 18:26:14 +00001645 addSourceLine(*VariableDIE, GV);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001646 }
1647
Devang Pateldfd6ec32011-08-15 17:57:41 +00001648 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001649 bool addToAccelTable = false;
Craig Topper353eda42014-04-24 06:44:33 +00001650 DIE *VariableSpecDIE = nullptr;
1651 bool isGlobalVariable = GV.getGlobal() != nullptr;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001652 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001653 addToAccelTable = true;
Eric Christopher4a741042014-02-16 08:46:55 +00001654 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001655 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikief2694972013-06-28 20:05:11 +00001656 if (GV.getGlobal()->isThreadLocal()) {
1657 // FIXME: Make this work with -gsplit-dwarf.
1658 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1659 assert((PointerSize == 4 || PointerSize == 8) &&
1660 "Add support for other sizes if necessary");
1661 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001662 if (!DD->useSplitDwarf()) {
1663 // 1) Start with a constNu of the appropriate pointer size
David Blaikie65a74662014-04-25 18:26:14 +00001664 addUInt(*Loc, dwarf::DW_FORM_data1,
David Blaikie8466ca82013-07-01 23:55:52 +00001665 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton0aafb582013-10-07 18:39:18 +00001666 // 2) containing the (relocated) offset of the TLS variable
1667 // within the module's TLS block.
David Blaikie65a74662014-04-25 18:26:14 +00001668 addExpr(*Loc, dwarf::DW_FORM_udata,
David Blaikief1a6dea2014-02-15 19:34:03 +00001669 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym));
David Blaikie8466ca82013-07-01 23:55:52 +00001670 } else {
David Blaikie65a74662014-04-25 18:26:14 +00001671 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1672 addUInt(*Loc, dwarf::DW_FORM_udata,
David Blaikied75fb282014-04-23 21:20:10 +00001673 DD->getAddressPool().getIndex(Sym, /* TLS */ true));
David Blaikie8466ca82013-07-01 23:55:52 +00001674 }
Richard Mitton0aafb582013-10-07 18:39:18 +00001675 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikie65a74662014-04-25 18:26:14 +00001676 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001677 } else {
1678 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikie65a74662014-04-25 18:26:14 +00001679 addOpAddress(*Loc, Sym);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001680 }
Frederic Rissbe26dfb2014-09-18 09:38:23 +00001681 // A static member's declaration is already flagged as such.
1682 if (!SDMDecl.Verify() && !GV.isDefinition())
1683 addFlag(*VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001684 // Do not create specification DIE if context is either compile unit
1685 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001686 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001687 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001688 // Create specification DIE.
David Blaikiebd579052014-04-28 21:14:27 +00001689 VariableSpecDIE = &createAndAddDIE(dwarf::DW_TAG_variable, UnitDie);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001690 addDIEEntry(*VariableSpecDIE, dwarf::DW_AT_specification, *VariableDIE);
David Blaikie65a74662014-04-25 18:26:14 +00001691 addBlock(*VariableSpecDIE, dwarf::DW_AT_location, Loc);
Frederic Riss0baab0c2014-09-18 16:41:04 +00001692 // A static member's declaration is already flagged as such.
1693 if (!SDMDecl.Verify())
1694 addFlag(*VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001695 } else {
David Blaikie65a74662014-04-25 18:26:14 +00001696 addBlock(*VariableDIE, dwarf::DW_AT_location, Loc);
Eric Christopher4996c702011-11-07 09:24:32 +00001697 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001698 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001699 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001700 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001701 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1702 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1703 // TAG_variable.
David Blaikie65a74662014-04-25 18:26:14 +00001704 addString(IsStaticMember && VariableSpecDIE ? *VariableSpecDIE
1705 : *VariableDIE,
Eric Christopheraf7eca22014-03-13 23:26:25 +00001706 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
1707 : dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001708 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001709 } else if (const ConstantInt *CI =
Eric Christopherc2697f82013-10-19 01:04:47 +00001710 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001711 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001712 // emitting AT_const_value multiple times, we only add AT_const_value when
1713 // it is not a static member.
1714 if (!IsStaticMember)
David Blaikiec0a28412014-05-11 15:56:59 +00001715 addConstantValue(*VariableDIE, CI, GTy);
David Blaikiea781b25b2013-11-17 21:55:13 +00001716 } else if (const ConstantExpr *CE = getMergedGlobalExpr(GV->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001717 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001718 // GV is a merged global.
Eric Christopher4a741042014-02-16 08:46:55 +00001719 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Pateldfd6ec32011-08-15 17:57:41 +00001720 Value *Ptr = CE->getOperand(0);
David Blaikiebc7e0d42013-11-27 23:53:52 +00001721 MCSymbol *Sym = Asm->getSymbol(cast<GlobalValue>(Ptr));
1722 DD->addArangeLabel(SymbolCU(this, Sym));
David Blaikie65a74662014-04-25 18:26:14 +00001723 addOpAddress(*Loc, Sym);
1724 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopherc2697f82013-10-19 01:04:47 +00001725 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikie65a74662014-04-25 18:26:14 +00001726 addUInt(*Loc, dwarf::DW_FORM_udata,
Eric Christopherc2697f82013-10-19 01:04:47 +00001727 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikie65a74662014-04-25 18:26:14 +00001728 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1729 addBlock(*VariableDIE, dwarf::DW_AT_location, Loc);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001730 }
1731
Frederic Riss9ba9eff2014-09-19 15:12:03 +00001732 DIE *ResultDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1733
Eric Christopherc12c2112011-11-11 01:55:22 +00001734 if (addToAccelTable) {
Frederic Riss9ba9eff2014-09-19 15:12:03 +00001735 DD->addAccelName(GV.getName(), *ResultDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001736
Eric Christopherc12c2112011-11-11 01:55:22 +00001737 // If the linkage name is different than the name, go ahead and output
1738 // that as well into the name table.
1739 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
Frederic Riss9ba9eff2014-09-19 15:12:03 +00001740 DD->addAccelName(GV.getLinkageName(), *ResultDIE);
Eric Christopherc12c2112011-11-11 01:55:22 +00001741 }
Eric Christopherd2b497b2013-10-16 01:37:49 +00001742
Frederic Riss9ba9eff2014-09-19 15:12:03 +00001743 addGlobalName(GV.getName(), *ResultDIE, GV.getContext());
1744 return ResultDIE;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001745}
1746
Devang Patel0e821f42011-04-12 23:21:44 +00001747/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001748void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001749 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001750 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001751
Bill Wendling28fe9e72012-12-06 07:38:10 +00001752 // The LowerBound value defines the lower bounds which is typically zero for
1753 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1754 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001755 // DW_AT_lower_bound and DW_AT_count attributes.
Bill Wendling28fe9e72012-12-06 07:38:10 +00001756 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001757 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001758 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001759
Bill Wendling3495f9b2012-12-06 07:55:19 +00001760 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001761 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001762
David Blaikie32b0f362014-10-01 00:56:55 +00001763 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001764 // FIXME: An unbounded array should reference the expression that defines
1765 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001766 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001767}
1768
1769/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001770void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001771 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001772 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001773
Eric Christopher0df08e22013-08-08 07:40:37 +00001774 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001775 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001776
1777 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001778 // FIXME: This type should be passed down from the front end
1779 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001780 DIE *IdxTy = getIndexTyDie();
1781 if (!IdxTy) {
David Blaikie12e00fc2014-04-03 06:28:20 +00001782 // Construct an integer type to use for indexes.
David Blaikiebd579052014-04-28 21:14:27 +00001783 IdxTy = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
David Blaikie65a74662014-04-25 18:26:14 +00001784 addString(*IdxTy, dwarf::DW_AT_name, "sizetype");
1785 addUInt(*IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1786 addUInt(*IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
David Blaikie12e00fc2014-04-03 06:28:20 +00001787 dwarf::DW_ATE_unsigned);
Devang Patel0e821f42011-04-12 23:21:44 +00001788 setIndexTyDie(IdxTy);
1789 }
1790
1791 // Add subranges to array type.
Manman Renab8ffba2014-07-28 19:14:13 +00001792 DIArray Elements = CTy.getElements();
Devang Patel0e821f42011-04-12 23:21:44 +00001793 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1794 DIDescriptor Element = Elements.getElement(i);
1795 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1796 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1797 }
1798}
1799
Eric Christopheraeb105f2013-11-11 18:52:39 +00001800/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001801void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Manman Renab8ffba2014-07-28 19:14:13 +00001802 DIArray Elements = CTy.getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001803
1804 // Add enumerators to enumeration type.
1805 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001806 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001807 if (Enum.isEnumerator()) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001808 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001809 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001810 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001811 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001812 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1813 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001814 }
1815 }
1816 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1817 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001818 addType(Buffer, DTy);
1819 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001820 }
Devang Patel0e821f42011-04-12 23:21:44 +00001821}
1822
Devang Patel89543712011-08-15 17:24:54 +00001823/// constructContainingTypeDIEs - Construct DIEs for types that contain
1824/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001825void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001826 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001827 CE = ContainingTypeMap.end();
1828 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001829 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001830 DIDescriptor D(CI->second);
1831 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001832 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001833 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001834 if (!NDie)
1835 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001836 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001837 }
1838}
1839
Devang Patel3acc70e2011-08-15 22:04:40 +00001840/// constructVariableDIE - Construct a DIE for the given DbgVariable.
David Blaikie914046e2014-04-25 20:00:34 +00001841std::unique_ptr<DIE> DwarfUnit::constructVariableDIE(DbgVariable &DV,
David Blaikieb85f0082014-05-27 19:34:32 +00001842 bool Abstract) {
1843 auto D = constructVariableDIEImpl(DV, Abstract);
David Blaikiee071fc82014-04-25 17:32:19 +00001844 DV.setDIE(*D);
1845 return D;
1846}
1847
David Blaikieb85f0082014-05-27 19:34:32 +00001848std::unique_ptr<DIE> DwarfUnit::constructVariableDIEImpl(const DbgVariable &DV,
1849 bool Abstract) {
Devang Patel3acc70e2011-08-15 22:04:40 +00001850 // Define variable debug information entry.
David Blaikie914046e2014-04-25 20:00:34 +00001851 auto VariableDie = make_unique<DIE>(DV.getTag());
Devang Patel3acc70e2011-08-15 22:04:40 +00001852
David Blaikieeb1a2722014-06-13 22:18:23 +00001853 if (Abstract) {
1854 applyVariableAttributes(DV, *VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001855 return VariableDie;
David Blaikieeb1a2722014-06-13 22:18:23 +00001856 }
Devang Patel3acc70e2011-08-15 22:04:40 +00001857
1858 // Add variable address.
1859
Eric Christopher34a2c872013-11-15 01:43:19 +00001860 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001861 if (Offset != ~0U) {
David Blaikie65a74662014-04-25 18:26:14 +00001862 addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
Devang Patel3acc70e2011-08-15 22:04:40 +00001863 return VariableDie;
1864 }
1865
Eric Christophercead0332011-10-03 15:49:20 +00001866 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001867 if (const MachineInstr *DVInsn = DV.getMInsn()) {
Adrian Prantl87b7eb92014-10-01 18:55:02 +00001868 assert(DVInsn->getNumOperands() == 4);
David Blaikie0252265b2013-06-16 20:34:15 +00001869 if (DVInsn->getOperand(0).isReg()) {
1870 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001871 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001872 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001873 MachineLocation Location(RegOp.getReg(),
1874 DVInsn->getOperand(1).getImm());
David Blaikie65a74662014-04-25 18:26:14 +00001875 addVariableAddress(DV, *VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001876 } else if (RegOp.getReg())
David Blaikie65a74662014-04-25 18:26:14 +00001877 addVariableAddress(DV, *VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001878 } else if (DVInsn->getOperand(0).isImm())
David Blaikie65a74662014-04-25 18:26:14 +00001879 addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001880 else if (DVInsn->getOperand(0).isFPImm())
David Blaikie65a74662014-04-25 18:26:14 +00001881 addConstantFPValue(*VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001882 else if (DVInsn->getOperand(0).isCImm())
David Blaikie65a74662014-04-25 18:26:14 +00001883 addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(),
David Blaikiec0a28412014-05-11 15:56:59 +00001884 DV.getType());
Eric Christopher78fcf4902013-07-03 01:08:30 +00001885
Devang Patel3acc70e2011-08-15 22:04:40 +00001886 return VariableDie;
Devang Patel3acc70e2011-08-15 22:04:40 +00001887 }
1888
David Blaikiee071fc82014-04-25 17:32:19 +00001889 // .. else use frame index.
1890 int FI = DV.getFrameIndex();
1891 if (FI != ~0) {
1892 unsigned FrameReg = 0;
Eric Christopherd9134482014-08-04 21:25:23 +00001893 const TargetFrameLowering *TFI =
1894 Asm->TM.getSubtargetImpl()->getFrameLowering();
David Blaikiee071fc82014-04-25 17:32:19 +00001895 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1896 MachineLocation Location(FrameReg, Offset);
David Blaikie65a74662014-04-25 18:26:14 +00001897 addVariableAddress(DV, *VariableDie, Location);
David Blaikiee071fc82014-04-25 17:32:19 +00001898 }
1899
Devang Patel3acc70e2011-08-15 22:04:40 +00001900 return VariableDie;
1901}
1902
Manman Ren230ec862013-10-23 23:00:44 +00001903/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001904void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001905 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001906 StringRef Name = DT.getName();
1907 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001908 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001909
Manman Ren93b30902013-10-08 18:42:58 +00001910 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001911
1912 addSourceLine(MemberDie, DT);
1913
Eric Christopherc2697f82013-10-19 01:04:47 +00001914 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001915
1916 // For C++, virtual base classes are not at fixed offset. Use following
1917 // expression to extract appropriate offset from vtable.
1918 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1919
Eric Christopher4a741042014-02-16 08:46:55 +00001920 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001921 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1922 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1923 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1924 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1925 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1926 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1927 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001928
David Blaikief2443192013-10-21 17:28:37 +00001929 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001930 } else {
1931 uint64_t Size = DT.getSizeInBits();
1932 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1933 uint64_t OffsetInBytes;
1934
1935 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001936 // Handle bitfield, assume bytes are 8 bits.
1937 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1938 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001939
1940 uint64_t Offset = DT.getOffsetInBits();
1941 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1942 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1943 uint64_t FieldOffset = (HiMark - FieldSize);
1944 Offset -= FieldOffset;
1945
1946 // Maybe we need to work from the other end.
1947 if (Asm->getDataLayout().isLittleEndian())
1948 Offset = FieldSize - (Offset + Size);
1949 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1950
Adrian Prantlc67655a2014-01-28 18:13:47 +00001951 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001952 // field that includes this bit field.
1953 OffsetInBytes = FieldOffset >> 3;
1954 } else
1955 // This is not a bitfield.
1956 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001957
David Blaikie22b29a52014-01-03 01:30:05 +00001958 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001959 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001960 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1961 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001962 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1963 } else
1964 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1965 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001966 }
Devang Patel0e821f42011-04-12 23:21:44 +00001967
1968 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001969 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001970 dwarf::DW_ACCESS_protected);
1971 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001972 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001973 dwarf::DW_ACCESS_private);
1974 // Otherwise C++ member and base classes are considered public.
Adrian Prantldaedfda2014-08-29 22:44:07 +00001975 else if (DT.isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001976 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001977 dwarf::DW_ACCESS_public);
1978 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001979 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001980 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001981
1982 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001983 if (MDNode *PNode = DT.getObjCProperty())
1984 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001985 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1986 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001987
David Blaikie37fefc32012-12-13 22:43:07 +00001988 if (DT.isArtificial())
1989 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001990}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001991
Manman Renc6b63922013-10-14 20:33:57 +00001992/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001993DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001994 if (!DT.Verify())
Craig Topper353eda42014-04-24 06:44:33 +00001995 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001996
Manman Renc6b63922013-10-14 20:33:57 +00001997 // Construct the context before querying for the existence of the DIE in case
1998 // such construction creates the DIE.
1999 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00002000 assert(dwarf::isType(ContextDIE->getTag()) &&
2001 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00002002
David Blaikie65a74662014-04-25 18:26:14 +00002003 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00002004 return StaticMemberDIE;
2005
David Blaikieb0b3fcf2014-04-25 18:52:29 +00002006 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00002007
Manman Ren93b30902013-10-08 18:42:58 +00002008 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002009
2010 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
2011 addType(StaticMemberDIE, Ty);
2012 addSourceLine(StaticMemberDIE, DT);
2013 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
2014 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
2015
2016 // FIXME: We could omit private if the parent is a class_type, and
2017 // public if the parent is something else.
2018 if (DT.isProtected())
2019 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2020 dwarf::DW_ACCESS_protected);
2021 else if (DT.isPrivate())
2022 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2023 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00002024 else if (DT.isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002025 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
2026 dwarf::DW_ACCESS_public);
2027
2028 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00002029 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00002030 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
2031 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002032
David Blaikie65a74662014-04-25 18:26:14 +00002033 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00002034}
David Blaikie6b288cf2013-10-30 20:42:41 +00002035
David Blaikied82b2372014-03-24 20:28:10 +00002036void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00002037 Asm->OutStreamer.AddComment("DWARF version number");
2038 Asm->EmitInt16(DD->getDwarfVersion());
2039 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00002040 // We share one abbreviations table across all units so it's always at the
2041 // start of the section. Use a relocatable offset where needed to ensure
2042 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002043 if (ASectionSym)
2044 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
2045 else
David Blaikie326e1fa2014-04-02 02:04:51 +00002046 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00002047 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00002048 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2049 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
2050}
David Blaikiebc563272013-12-13 21:33:40 +00002051
David Blaikied0f10372014-09-09 23:13:01 +00002052void DwarfCompileUnit::addRange(RangeSpan Range) {
David Blaikie3a7ce252014-09-19 17:03:16 +00002053 bool SameAsPrevCU = this == DD->getPrevCU();
2054 DD->setPrevCU(this);
2055 // If we have no current ranges just add the range and return, otherwise,
2056 // check the current section and CU against the previous section and CU we
2057 // emitted into and the subprogram was contained within. If these are the
2058 // same then extend our current range, otherwise add this as a new range.
2059 if (CURanges.empty() || !SameAsPrevCU ||
2060 (&CURanges.back().getEnd()->getSection() !=
2061 &Range.getEnd()->getSection())) {
2062 CURanges.push_back(Range);
2063 return;
Eric Christopher384f3fe2014-03-20 19:16:16 +00002064 }
David Blaikie3a7ce252014-09-19 17:03:16 +00002065
2066 CURanges.back().setEnd(Range.getEnd());
Eric Christopher384f3fe2014-03-20 19:16:16 +00002067}
2068
David Blaikie2494fdb2014-02-14 22:41:51 +00002069void DwarfCompileUnit::initStmtList(MCSymbol *DwarfLineSectionSym) {
2070 // Define start line table label for each Compile Unit.
2071 MCSymbol *LineTableStartSym =
David Blaikie34641612014-04-01 08:07:52 +00002072 Asm->OutStreamer.getDwarfLineTableSymbol(getUniqueID());
David Blaikie2494fdb2014-02-14 22:41:51 +00002073
David Blaikiebd579052014-04-28 21:14:27 +00002074 stmtListIndex = UnitDie.getValues().size();
David Blaikie60e63862014-02-14 23:58:13 +00002075
David Blaikie2494fdb2014-02-14 22:41:51 +00002076 // DW_AT_stmt_list is a offset of line number information for this
2077 // compile unit in debug_line section. For split dwarf this is
2078 // left in the skeleton CU and so not included.
2079 // The line table entries are not always emitted in assembly, so it
2080 // is not okay to use line_table_start here.
2081 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
David Blaikiebd579052014-04-28 21:14:27 +00002082 addSectionLabel(UnitDie, dwarf::DW_AT_stmt_list, LineTableStartSym);
David Blaikie2494fdb2014-02-14 22:41:51 +00002083 else
David Blaikiebd579052014-04-28 21:14:27 +00002084 addSectionDelta(UnitDie, dwarf::DW_AT_stmt_list, LineTableStartSym,
David Blaikie2494fdb2014-02-14 22:41:51 +00002085 DwarfLineSectionSym);
2086}
2087
David Blaikie60e63862014-02-14 23:58:13 +00002088void DwarfCompileUnit::applyStmtList(DIE &D) {
2089 D.addValue(dwarf::DW_AT_stmt_list,
David Blaikiebd579052014-04-28 21:14:27 +00002090 UnitDie.getAbbrev().getData()[stmtListIndex].getForm(),
2091 UnitDie.getValues()[stmtListIndex]);
David Blaikie60e63862014-02-14 23:58:13 +00002092}
2093
David Blaikied82b2372014-03-24 20:28:10 +00002094void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
2095 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00002096 Asm->OutStreamer.AddComment("Type Signature");
2097 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
2098 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00002099 // In a skeleton type unit there is no type DIE so emit a zero offset.
2100 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
2101 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00002102}
2103
2104void DwarfTypeUnit::initSection(const MCSection *Section) {
2105 assert(!this->Section);
2106 this->Section = Section;
2107 // Since each type unit is contained in its own COMDAT section, the begin
2108 // label and the section label are the same. Using the begin label emission in
2109 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
2110 // the only other alternative of lazily constructing start-of-section labels
2111 // and storing a mapping in DwarfDebug (or AsmPrinter).
2112 this->SectionSym = this->LabelBegin =
2113 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
2114 this->LabelEnd =
2115 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
David Blaikiebc563272013-12-13 21:33:40 +00002116}