blob: 7caf31af3783d4cbee3780e9e004e37bdb74cb3a [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"
David Blaikie37c52312014-10-04 15:49:50 +000016#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000017#include "DwarfDebug.h"
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000018#include "DwarfExpression.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000021#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
23#include "llvm/IR/GlobalVariable.h"
24#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000025#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000026#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000027#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000028#include "llvm/MC/MCSection.h"
29#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000030#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000031#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000032#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000033#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000034#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000035#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000036
37using namespace llvm;
38
Chandler Carruth1b9dde02014-04-22 02:02:50 +000039#define DEBUG_TYPE "dwarfdebug"
40
Eric Christopher4287a492013-12-09 23:57:44 +000041static cl::opt<bool>
42GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
43 cl::desc("Generate DWARF4 type units."),
44 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000045
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000046void DIEDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
47 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
48}
49void DIEDwarfExpression::EmitSigned(int Value) {
50 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
51}
52void DIEDwarfExpression::EmitUnsigned(unsigned Value) {
53 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
54}
Adrian Prantl8995f5c2015-01-13 23:10:43 +000055bool DIEDwarfExpression::isFrameRegister(unsigned MachineReg) {
56 return MachineReg == getTRI()->getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000057}
58
59
David Blaikie2a80e442013-12-02 22:09:48 +000060/// Unit - Unit constructor.
David Blaikiebd579052014-04-28 21:14:27 +000061DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag, DICompileUnit Node,
David Blaikie92a2f8a2014-04-28 21:04:29 +000062 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000063 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
David Blaikie7cbf58a2014-11-01 18:18:07 +000064 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000065 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
66 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000067 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
68}
69
David Blaikiebd579052014-04-28 21:14:27 +000070DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000071 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000072 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000073 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
74 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000075 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000076 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000077}
David Blaikie409dd9c2013-11-19 23:08:21 +000078
David Blaikie319a05f2013-12-02 19:33:10 +000079/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000080DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000081 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
82 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000083 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
84 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000085}
86
87/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
88/// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +000089DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000090 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
91 return Value;
92}
93
Bill Wendling3495f9b2012-12-06 07:55:19 +000094/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000095/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000096int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000097 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000098 default:
99 break;
100
101 case dwarf::DW_LANG_C89:
102 case dwarf::DW_LANG_C99:
103 case dwarf::DW_LANG_C:
104 case dwarf::DW_LANG_C_plus_plus:
105 case dwarf::DW_LANG_ObjC:
106 case dwarf::DW_LANG_ObjC_plus_plus:
107 return 0;
108
109 case dwarf::DW_LANG_Fortran77:
110 case dwarf::DW_LANG_Fortran90:
111 case dwarf::DW_LANG_Fortran95:
112 return 1;
113
114 // The languages below have valid values only if the DWARF version >= 4.
115 case dwarf::DW_LANG_Java:
116 case dwarf::DW_LANG_Python:
117 case dwarf::DW_LANG_UPC:
118 case dwarf::DW_LANG_D:
119 if (dwarf::DWARF_VERSION >= 4)
120 return 0;
121 break;
122
123 case dwarf::DW_LANG_Ada83:
124 case dwarf::DW_LANG_Ada95:
125 case dwarf::DW_LANG_Cobol74:
126 case dwarf::DW_LANG_Cobol85:
127 case dwarf::DW_LANG_Modula2:
128 case dwarf::DW_LANG_Pascal83:
129 case dwarf::DW_LANG_PLI:
130 if (dwarf::DWARF_VERSION >= 4)
131 return 1;
132 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000133
134 // The languages below have valid values only if the DWARF version >= 5.
135 case dwarf::DW_LANG_OpenCL:
136 case dwarf::DW_LANG_Go:
137 case dwarf::DW_LANG_Haskell:
138 case dwarf::DW_LANG_C_plus_plus_03:
139 case dwarf::DW_LANG_C_plus_plus_11:
140 case dwarf::DW_LANG_OCaml:
141 case dwarf::DW_LANG_Rust:
142 case dwarf::DW_LANG_C11:
143 case dwarf::DW_LANG_Swift:
144 case dwarf::DW_LANG_Dylan:
145 case dwarf::DW_LANG_C_plus_plus_14:
146 if (dwarf::DWARF_VERSION >= 5)
147 return 0;
148 break;
149
150 case dwarf::DW_LANG_Modula3:
151 case dwarf::DW_LANG_Julia:
152 case dwarf::DW_LANG_Fortran03:
153 case dwarf::DW_LANG_Fortran08:
154 if (dwarf::DWARF_VERSION >= 5)
155 return 1;
156 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000157 }
158
159 return -1;
160}
161
Manman Ren4dbdc902013-10-31 17:54:35 +0000162/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000163static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000164 // When the MDNode can be part of the type system, the DIE can be shared
165 // across CUs.
166 // Combining type units and cross-CU DIE sharing is lower value (since
167 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
168 // level already) but may be implementable for some value in projects
169 // building multiple independent libraries with LTO and then linking those
170 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000171 return (D.isType() ||
172 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000173 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000174}
175
176/// getDIE - Returns the debug information entry map slot for the
177/// specified debug variable. We delegate the request to DwarfDebug
178/// when the DIE for this MDNode can be shared across CUs. The mappings
179/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000180DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000181 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000182 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000183 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000184}
185
186/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
187/// when the DIE for this MDNode can be shared across CUs. The mappings
188/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000189void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000190 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000191 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000192 return;
193 }
David Blaikie2ad00162013-11-15 23:09:13 +0000194 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000195}
196
Eric Christopherbb69a272012-08-24 01:14:27 +0000197/// addFlag - Add a flag that is true.
David Blaikie65a74662014-04-25 18:26:14 +0000198void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000199 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000200 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000201 else
David Blaikie65a74662014-04-25 18:26:14 +0000202 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000203}
204
Devang Patel0e821f42011-04-12 23:21:44 +0000205/// addUInt - Add an unsigned integer attribute data and value.
206///
David Blaikie65a74662014-04-25 18:26:14 +0000207void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000208 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000209 if (!Form)
210 Form = DIEInteger::BestForm(false, Integer);
211 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
212 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000213 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000214}
215
David Blaikie65a74662014-04-25 18:26:14 +0000216void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000217 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000218}
219
220/// addSInt - Add an signed integer attribute data and value.
221///
David Blaikie65a74662014-04-25 18:26:14 +0000222void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000223 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000224 if (!Form)
225 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000226 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000227 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000228}
229
David Blaikie65a74662014-04-25 18:26:14 +0000230void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000231 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000232 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000233}
234
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000235/// addString - Add a string attribute data and value. We always emit a
236/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000237/// more predictable sizes. In the case of split dwarf we emit an index
238/// into another table which gets us the static offset into the string
239/// table.
David Blaikie65a74662014-04-25 18:26:14 +0000240void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000241 StringRef String) {
David Blaikiecafd9622014-11-02 08:51:37 +0000242 if (!isDwoUnit())
Eric Christopher05893f42013-12-30 18:32:31 +0000243 return addLocalString(Die, Attribute, String);
244
David Blaikiecafd9622014-11-02 08:51:37 +0000245 addIndexedString(Die, Attribute, String);
246}
247
248void DwarfUnit::addIndexedString(DIE &Die, dwarf::Attribute Attribute,
249 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000250 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000251 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000252 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000253 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000254}
255
256/// addLocalString - Add a string attribute data and value. This is guaranteed
257/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000258void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000259 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000260 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000261 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000262 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000263 Value = new (DIEValueAllocator) DIELabel(Symb);
David Blaikie6741bb02014-09-11 21:12:48 +0000264 else
265 Value = new (DIEValueAllocator) DIEDelta(Symb, DD->getDebugStrSym());
Eric Christopher05893f42013-12-30 18:32:31 +0000266 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000267 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000268}
269
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000270/// addLabel - Add a Dwarf label attribute data and value.
271///
David Blaikie65a74662014-04-25 18:26:14 +0000272void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000273 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000274 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000275 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000276}
277
David Blaikie65a74662014-04-25 18:26:14 +0000278void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000279 addLabel(Die, (dwarf::Attribute)0, Form, Label);
280}
281
Eric Christopher33ff6972013-11-21 23:46:41 +0000282/// addSectionOffset - Add an offset into a section attribute data and value.
283///
David Blaikie65a74662014-04-25 18:26:14 +0000284void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000285 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000286 if (DD->getDwarfVersion() >= 4)
287 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
288 else
289 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
290}
291
David Blaikie4a2f95f2014-03-18 01:17:26 +0000292unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
293 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
294 : getCU().getOrCreateSourceID(FileName, DirName);
295}
296
Eric Christophere9ec2452013-01-18 22:11:33 +0000297/// addOpAddress - Add a dwarf op address data and value using the
298/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
299///
David Blaikie65a74662014-04-25 18:26:14 +0000300void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000301 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000302 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
303 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000304 } else {
David Blaikief2443192013-10-21 17:28:37 +0000305 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000306 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000307 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000308 }
309}
310
David Blaikie65a74662014-04-25 18:26:14 +0000311void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000312 const MCSymbol *Hi, const MCSymbol *Lo) {
313 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000314 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000315}
316
Devang Patel0e821f42011-04-12 23:21:44 +0000317/// addDIEEntry - Add a DIE attribute data and value.
318///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000319void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000320 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
321}
322
David Blaikie65a74662014-04-25 18:26:14 +0000323void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000324 // Flag the type unit reference as a declaration so that if it contains
325 // members (implicit special members, static data member definitions, member
326 // declarations for definitions in this CU, etc) consumers don't get confused
327 // and think this is a full definition.
328 addFlag(Die, dwarf::DW_AT_declaration);
329
David Blaikie65a74662014-04-25 18:26:14 +0000330 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
331 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000332}
333
David Blaikie65a74662014-04-25 18:26:14 +0000334void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000335 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000336 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000337 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000338 if (!DieCU)
339 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000340 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000341 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000342 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000343 Die.addValue(Attribute,
344 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
345 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000346}
347
Manman Renb987e512013-10-29 00:53:03 +0000348/// Create a DIE with the given Tag, add the DIE to its parent, and
349/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000350DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000351 assert(Tag != dwarf::DW_TAG_auto_variable &&
352 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000353 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000354 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000355 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000356 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000357 return Die;
358}
359
Devang Patel0e821f42011-04-12 23:21:44 +0000360/// addBlock - Add block data.
361///
David Blaikie65a74662014-04-25 18:26:14 +0000362void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000363 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000364 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000365 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000366}
367
David Blaikie65a74662014-04-25 18:26:14 +0000368void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000369 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000370 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000371 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000372 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000373}
374
375/// addSourceLine - Add location information to specified debug information
376/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000377void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000378 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000379 if (Line == 0)
380 return;
David Blaikie101613e2014-02-12 00:11:25 +0000381
David Blaikie4a2f95f2014-03-18 01:17:26 +0000382 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000383 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000384 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
385 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000386}
387
388/// addSourceLine - Add location information to specified debug information
389/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000390void DwarfUnit::addSourceLine(DIE &Die, DIVariable V) {
David Blaikie101613e2014-02-12 00:11:25 +0000391 assert(V.isVariable());
392
Eric Christopher89a575c2014-02-12 22:38:04 +0000393 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
394 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000395}
396
397/// addSourceLine - Add location information to specified debug information
398/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000399void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000400 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000401
David Blaikie101613e2014-02-12 00:11:25 +0000402 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000403}
404
405/// addSourceLine - Add location information to specified debug information
406/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000407void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000408 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000409
David Blaikie101613e2014-02-12 00:11:25 +0000410 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000411}
412
413/// addSourceLine - Add location information to specified debug information
414/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000415void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000416 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000417
David Blaikie101613e2014-02-12 00:11:25 +0000418 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000419}
420
421/// addSourceLine - Add location information to specified debug information
422/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000423void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000424 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000425
Eric Christopher70e1bd82012-03-29 08:42:56 +0000426 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000427 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
428 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000429}
430
431/// addSourceLine - Add location information to specified debug information
432/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000433void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000434 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000435
David Blaikie101613e2014-02-12 00:11:25 +0000436 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000437}
438
Devang Patelba5fbf12011-04-26 19:06:18 +0000439/// addRegisterOp - Add register operand.
Adrian Prantlab255fc2014-12-05 01:02:46 +0000440bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000441 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000442 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000443 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000444 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000445}
446
447/// addRegisterOffset - Add register offset.
Adrian Prantlab255fc2014-12-05 01:02:46 +0000448bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000449 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000450 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000451 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000452}
453
Devang Patel0e821f42011-04-12 23:21:44 +0000454/* Byref variables, in Blocks, are declared by the programmer as "SomeType
455 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
456 gives the variable VarName either the struct, or a pointer to the struct, as
457 its type. This is necessary for various behind-the-scenes things the
458 compiler needs to do with by-reference variables in Blocks.
459
460 However, as far as the original *programmer* is concerned, the variable
461 should still have type 'SomeType', as originally declared.
462
463 The function getBlockByrefType dives into the __Block_byref_x_VarName
464 struct to find the original type of the variable, which is then assigned to
465 the variable's Debug Information Entry as its real type. So far, so good.
466 However now the debugger will expect the variable VarName to have the type
467 SomeType. So we need the location attribute for the variable to be an
468 expression that explains to the debugger how to navigate through the
469 pointers and struct to find the actual variable of type SomeType.
470
471 The following function does just that. We start by getting
472 the "normal" location for the variable. This will be the location
473 of either the struct __Block_byref_x_VarName or the pointer to the
474 struct __Block_byref_x_VarName.
475
476 The struct will look something like:
477
478 struct __Block_byref_x_VarName {
479 ... <various fields>
480 struct __Block_byref_x_VarName *forwarding;
481 ... <various other fields>
482 SomeType VarName;
483 ... <maybe more fields>
484 };
485
486 If we are given the struct directly (as our starting point) we
487 need to tell the debugger to:
488
489 1). Add the offset of the forwarding field.
490
491 2). Follow that pointer to get the real __Block_byref_x_VarName
492 struct to use (the real one may have been copied onto the heap).
493
494 3). Add the offset for the field VarName, to find the actual variable.
495
496 If we started with a pointer to the struct, then we need to
497 dereference that pointer first, before the other steps.
498 Translating this into DWARF ops, we will need to append the following
499 to the current location description for the variable:
500
501 DW_OP_deref -- optional, if we start with a pointer
502 DW_OP_plus_uconst <forward_fld_offset>
503 DW_OP_deref
504 DW_OP_plus_uconst <varName_fld_offset>
505
506 That is what this function does. */
507
508/// addBlockByrefAddress - Start with the address based on the location
509/// provided, and generate the DWARF information necessary to find the
510/// actual Block variable (navigating the Block struct) based on the
511/// starting location. Add the DWARF information to the die. For
512/// more information, read large comment just above here.
513///
David Blaikie65a74662014-04-25 18:26:14 +0000514void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000515 dwarf::Attribute Attribute,
516 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000517 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000518 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000519 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000520 bool isPointer = false;
521
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000522 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000523
524 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000525 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000526 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000527 isPointer = true;
528 }
529
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000530 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000531
532 // Find the __forwarding field and the variable field in the __Block_byref
533 // struct.
Manman Renab8ffba2014-07-28 19:14:13 +0000534 DIArray Fields = blockStruct.getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000535 DIDerivedType varField;
536 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000537
538 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000539 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000540 StringRef fieldName = DT.getName();
541 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000542 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000543 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000544 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000545 }
546
547 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000548 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
549 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000550
551 // Decode the original location, and use that as the start of the byref
552 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000553 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000554
Adrian Prantlab255fc2014-12-05 01:02:46 +0000555 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000556 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000557 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000558 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000559 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
560
561 if (!validReg)
562 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000563
564 // If we started with a pointer to the __Block_byref... struct, then
565 // the first thing we need to do is dereference the pointer (DW_OP_deref).
566 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000567 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000568
569 // Next add the offset for the '__forwarding' field:
570 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
571 // adding the offset if it's 0.
572 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000573 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
574 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000575 }
576
577 // Now dereference the __forwarding field to get to the real __Block_byref
578 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000579 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000580
581 // Now that we've got the real __Block_byref... struct, add the offset
582 // for the variable's field to get to the location of the actual variable:
583 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
584 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000585 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
586 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000587 }
588
589 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000590 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000591}
592
Manman Renb3388602013-10-05 01:43:03 +0000593/// Return true if type encoding is unsigned.
594static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
595 DIDerivedType DTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000596 if (DTy.isDerivedType()) {
David Blaikie2af1c802014-05-20 18:21:51 +0000597 dwarf::Tag T = (dwarf::Tag)Ty.getTag();
598 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000599 // null pointer constant emission.
Adrian Prantld88af272015-01-07 21:35:13 +0000600 // (Pieces of) aggregate types that get hacked apart by SROA may also be
601 // represented by a constant. Encode them as unsigned bytes.
David Blaikie93ef46b2014-05-20 21:40:13 +0000602 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
603 // here, but accept them for now due to a bug in SROA producing bogus
604 // dbg.values.
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000605 if (T == dwarf::DW_TAG_array_type ||
606 T == dwarf::DW_TAG_class_type ||
607 T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000608 T == dwarf::DW_TAG_ptr_to_member_type ||
609 T == dwarf::DW_TAG_reference_type ||
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000610 T == dwarf::DW_TAG_rvalue_reference_type ||
Adrian Prantl577feba2015-01-23 18:01:39 +0000611 T == dwarf::DW_TAG_structure_type ||
612 T == dwarf::DW_TAG_union_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000613 return true;
614 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
615 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000616 T == dwarf::DW_TAG_restrict_type ||
617 T == dwarf::DW_TAG_enumeration_type);
David Blaikie2af1c802014-05-20 18:21:51 +0000618 if (DITypeRef Deriv = DTy.getTypeDerivedFrom())
619 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000620 // FIXME: Enums without a fixed underlying type have unknown signedness
621 // here, leading to incorrectly emitted constants.
622 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
623 return false;
624 }
Manman Renb3388602013-10-05 01:43:03 +0000625
626 DIBasicType BTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000627 assert(BTy.isBasicType());
David Blaikie60cae1b2014-05-11 16:08:41 +0000628 unsigned Encoding = BTy.getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000629 assert((Encoding == dwarf::DW_ATE_unsigned ||
630 Encoding == dwarf::DW_ATE_unsigned_char ||
631 Encoding == dwarf::DW_ATE_signed ||
632 Encoding == dwarf::DW_ATE_signed_char ||
Adrian Prantl9013c4b2015-02-02 18:31:58 +0000633 Encoding == dwarf::DW_ATE_float ||
David Blaikie8b979f02014-12-17 00:43:22 +0000634 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
635 (Ty.getTag() == dwarf::DW_TAG_unspecified_type &&
636 Ty.getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000637 "Unsupported encoding");
David Blaikie60cae1b2014-05-11 16:08:41 +0000638 return (Encoding == dwarf::DW_ATE_unsigned ||
639 Encoding == dwarf::DW_ATE_unsigned_char ||
David Blaikie8b979f02014-12-17 00:43:22 +0000640 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
641 Ty.getTag() == dwarf::DW_TAG_unspecified_type);
Manman Renb3388602013-10-05 01:43:03 +0000642}
643
644/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000645static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000646 unsigned Tag = Ty.getTag();
647
648 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
649 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
650 Tag != dwarf::DW_TAG_restrict_type)
651 return Ty.getSizeInBits();
652
653 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
654
David Blaikiee2452282015-01-28 02:43:15 +0000655 assert(BaseType.isValid() && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000656
657 // If this is a derived type, go ahead and get the base type, unless it's a
658 // reference then it's just the size of the field. Pointer types have no need
659 // of this since they're a different type of qualification on the type.
660 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
661 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
662 return Ty.getSizeInBits();
663
664 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000665 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000666
667 return BaseType.getSizeInBits();
668}
669
Devang Patel0e821f42011-04-12 23:21:44 +0000670/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000671void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000672 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000673 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
674 APFloat FPImm = MO.getFPImm()->getValueAPF();
675
676 // Get the raw data form of the floating point.
677 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000678 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000679
680 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000681 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000682 int Incr = (LittleEndian ? 1 : -1);
683 int Start = (LittleEndian ? 0 : NumBytes - 1);
684 int Stop = (LittleEndian ? NumBytes : -1);
685
686 // Output the constant to DWARF one byte at a time.
687 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000688 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000689
David Blaikief2443192013-10-21 17:28:37 +0000690 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000691}
692
David Blaikiea39a76e2013-01-20 01:18:01 +0000693/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000694void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000695 // Pass this down to addConstantValue as an unsigned bag of bits.
696 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000697}
698
Devang Patel0e821f42011-04-12 23:21:44 +0000699/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000700void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
701 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000702}
703
David Blaikiec05c8f42014-05-11 15:47:39 +0000704/// addConstantValue - Add constant value entry in variable DIE.
705void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
706 DIType Ty) {
707 assert(MO.isImm() && "Invalid machine operand!");
708
David Blaikie60cae1b2014-05-11 16:08:41 +0000709 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000710}
711
David Blaikie60cae1b2014-05-11 16:08:41 +0000712void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000713 // FIXME: This is a bit conservative/simple - it emits negative values always
714 // sign extended to 64 bits rather than minimizing the number of bytes.
715 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000716 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000717}
718
David Blaikiec0a28412014-05-11 15:56:59 +0000719void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
720 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
721}
722
David Blaikiea39a76e2013-01-20 01:18:01 +0000723// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000724void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000725 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000726 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000727 addConstantValue(Die, Unsigned,
728 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000729 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000730 }
731
732 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
733
734 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000735 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000736
737 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000738 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000739
740 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000741 for (int i = 0; i < NumBytes; i++) {
742 uint8_t c;
743 if (LittleEndian)
744 c = Ptr64[i / 8] >> (8 * (i & 7));
745 else
746 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000747 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000748 }
Devang Patel0e821f42011-04-12 23:21:44 +0000749
David Blaikief2443192013-10-21 17:28:37 +0000750 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000751}
752
Eric Christopher25e35092013-04-22 07:47:40 +0000753/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000754void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000755 // Add template parameters.
756 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
757 DIDescriptor Element = TParams.getElement(i);
758 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000759 constructTemplateTypeParameterDIE(Buffer,
760 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000761 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000762 constructTemplateValueParameterDIE(Buffer,
763 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000764 }
Devang Patel0e821f42011-04-12 23:21:44 +0000765}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000766
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000767/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000768DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000769 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000770 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000771 if (Context.isType())
772 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000773 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000774 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000775 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000776 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000777 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000778}
779
Eric Christophera5a79422013-12-09 23:32:48 +0000780DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000781 DIScope Context = resolve(Ty.getContext());
782 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000783
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000784 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000785 return TyDIE;
786
787 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000788 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000789
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000790 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000791
David Blaikie9d861be2013-11-26 00:15:27 +0000792 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000793 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000794}
795
Devang Patel0e821f42011-04-12 23:21:44 +0000796/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
797/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000798DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000799 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000800 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000801
David Blaikie32887552013-11-14 22:25:02 +0000802 DIType Ty(TyNode);
803 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000804 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000805 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000806
David Blaikieee11f222014-04-12 05:35:59 +0000807 // DW_TAG_restrict_type is not supported in DWARF2
808 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
809 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
810
Manman Renf4c339e2013-10-29 22:49:29 +0000811 // Construct the context before querying for the existence of the DIE in case
812 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000813 DIScope Context = resolve(Ty.getContext());
814 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000815 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000816
David Blaikie65a74662014-04-25 18:26:14 +0000817 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000818 return TyDIE;
819
820 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000821 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000822
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000823 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000824
Devang Patel0e821f42011-04-12 23:21:44 +0000825 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +0000826 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000827 else if (Ty.isCompositeType()) {
828 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +0000829 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
830 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000831 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000832 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000833 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000834 }
David Blaikie65a74662014-04-25 18:26:14 +0000835 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000836 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000837 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +0000838 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000839 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000840
David Blaikie65a74662014-04-25 18:26:14 +0000841 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000842}
843
Eric Christophera5a79422013-12-09 23:32:48 +0000844void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000845 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000846 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
847 bool IsImplementation = 0;
848 if (Ty.isCompositeType()) {
849 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000850 // A runtime language of 0 actually means C/C++ and that any
851 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000852 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000853 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000854 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +0000855 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000856
David Blaikie98cf1722014-11-02 06:06:14 +0000857 if (!Context || Context.isCompileUnit() || Context.isFile() ||
858 Context.isNameSpace())
859 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000860 }
Devang Patel0e821f42011-04-12 23:21:44 +0000861}
862
863/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +0000864void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000865 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000866
867 // Check for pre-existence.
868 DIEEntry *Entry = getDIEEntry(Ty);
869 // If it exists then use the existing value.
870 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000871 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000872 return;
873 }
874
875 // Construct type.
876 DIE *Buffer = getOrCreateTypeDIE(Ty);
877
878 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000879 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +0000880 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +0000881 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +0000882}
883
Eric Christopher2c8b7902013-10-17 02:06:06 +0000884/// getParentContextString - Walks the metadata parent chain in a language
885/// specific manner (using the compile unit language) and returns
886/// it as a string. This is done at the metadata level because DIEs may
887/// not currently have been added to the parent context and walking the
888/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +0000889std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000890 if (!Context)
891 return "";
892
893 // FIXME: Decide whether to implement this for non-C++ languages.
894 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
895 return "";
896
Eric Christopher8dba0d52013-10-19 01:04:42 +0000897 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +0000898 SmallVector<DIScope, 1> Parents;
899 while (!Context.isCompileUnit()) {
900 Parents.push_back(Context);
901 if (Context.getContext())
902 Context = resolve(Context.getContext());
903 else
904 // Structure, etc types will have a NULL context if they're at the top
905 // level.
906 break;
907 }
908
909 // Reverse iterate over our list to go from the outermost construct to the
910 // innermost.
911 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
912 E = Parents.rend();
913 I != E; ++I) {
914 DIScope Ctx = *I;
915 StringRef Name = Ctx.getName();
David Blaikie553eb4a2014-06-06 22:16:56 +0000916 if (Name.empty() && Ctx.isNameSpace())
917 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000918 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000919 CS += Name;
920 CS += "::";
921 }
922 }
923 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000924}
925
926/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +0000927void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000928 // Get core information.
929 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000930 // Add name if not anonymous or intermediate type.
931 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000932 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000933
David Blaikiefac56122013-10-04 23:21:16 +0000934 // An unspecified type only has a name attribute.
935 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000936 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000937
David Blaikie65a74662014-04-25 18:26:14 +0000938 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +0000939 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000940
Devang Patel0e821f42011-04-12 23:21:44 +0000941 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000942 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000943}
944
945/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +0000946void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000947 // Get core information.
948 StringRef Name = DTy.getName();
949 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000950 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000951
952 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +0000953 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +0000954 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000955 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000956
957 // Add name if not anonymous or intermediate type.
958 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000959 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000960
961 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000962 if (Size && Tag != dwarf::DW_TAG_pointer_type
963 && Tag != dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000964 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000965
David Blaikie5d3249b2013-01-07 05:51:15 +0000966 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000967 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000968 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000969 // Add source line info if available and TyDesc is not a forward declaration.
970 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000971 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000972}
973
Adrian Prantl3f49c892014-02-25 19:57:42 +0000974/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +0000975void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000976 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renf8a19672014-07-28 22:24:06 +0000977 DIType Ty = resolve(Args.getElement(i));
Manman Renf93ac4b2014-07-29 18:20:39 +0000978 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000979 assert(i == N-1 && "Unspecified parameter must be the last argument");
980 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
981 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000982 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000983 addType(Arg, Ty);
984 if (Ty.isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000985 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000986 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000987 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000988}
989
Devang Patel0e821f42011-04-12 23:21:44 +0000990/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +0000991void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000992 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +0000993 StringRef Name = CTy.getName();
994
995 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000996 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000997
998 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000999 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001000 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001001 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001002 case dwarf::DW_TAG_enumeration_type:
1003 constructEnumTypeDIE(Buffer, CTy);
1004 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001005 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001006 // Add return type. A void return won't have a type.
Manman Renf8a19672014-07-28 22:24:06 +00001007 DITypeArray Elements = DISubroutineType(CTy).getTypeArray();
1008 DIType RTy(resolve(Elements.getElement(0)));
Eric Christopher0df08e22013-08-08 07:40:37 +00001009 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001010 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001011
1012 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001013 if (Elements.getNumElements() == 2 &&
Manman Ren72b07e82014-07-29 22:58:13 +00001014 !Elements.getElement(1))
Adrian Prantl3f49c892014-02-25 19:57:42 +00001015 isPrototyped = false;
1016
1017 constructSubprogramArguments(Buffer, Elements);
1018
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001019 // Add prototype flag if we're dealing with a C language and the
1020 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001021 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001022 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001023 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001024 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001025 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001026
1027 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001028 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001029
1030 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001031 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001032 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001033 case dwarf::DW_TAG_structure_type:
1034 case dwarf::DW_TAG_union_type:
1035 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001036 // Add elements to structure type.
Manman Renab8ffba2014-07-28 19:14:13 +00001037 DIArray Elements = CTy.getElements();
David Blaikiea1ae0e62013-08-01 20:30:22 +00001038 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001039 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001040 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001041 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001042 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001043 DIDerivedType DDTy(Element);
1044 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001045 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001046 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001047 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001048 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001049 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001050 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001051 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001052 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001053 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001054 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001055 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001056 StringRef PropertyName = Property.getObjCPropertyName();
1057 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001058 if (Property.getType())
1059 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001060 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001061 StringRef GetterName = Property.getObjCPropertyGetterName();
1062 if (!GetterName.empty())
1063 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1064 StringRef SetterName = Property.getObjCPropertySetterName();
1065 if (!SetterName.empty())
1066 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1067 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001068 if (Property.isReadOnlyObjCProperty())
1069 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1070 if (Property.isReadWriteObjCProperty())
1071 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1072 if (Property.isAssignObjCProperty())
1073 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1074 if (Property.isRetainObjCProperty())
1075 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1076 if (Property.isCopyObjCProperty())
1077 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1078 if (Property.isNonAtomicObjCProperty())
1079 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1080 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001081 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001082 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001083
Devang Pateld925d1a2012-02-07 23:33:58 +00001084 DIEEntry *Entry = getDIEEntry(Element);
1085 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001086 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001087 insertDIEEntry(Element, Entry);
1088 }
Devang Patel403e8192012-02-04 01:30:32 +00001089 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001090 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001091 }
1092
1093 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001094 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001095
Adrian Prantlcf44e782014-12-19 00:01:20 +00001096 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
1097 // inside C++ composite types to point to the base class with the vtable.
Eric Christopher9e429ae2013-10-05 00:27:02 +00001098 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001099 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001100 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001101 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001102
Devang Patel12419ae2011-05-12 21:29:42 +00001103 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001104 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001105
Eric Christopherda011dd2011-12-16 23:42:42 +00001106 // Add template parameters to a class, structure or union types.
1107 // FIXME: The support isn't in the metadata for this yet.
1108 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001109 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001110 addTemplateParams(Buffer, CTy.getTemplateParams());
1111
1112 break;
1113 }
1114 default:
1115 break;
1116 }
1117
1118 // Add name if not anonymous or intermediate type.
1119 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001120 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001121
Eric Christopher775cbd22012-05-22 18:45:18 +00001122 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001123 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001124 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001125 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001126 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001127 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001128 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001129 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001130 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001131 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001132
1133 // If we're a forward decl, say so.
1134 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001135 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001136
1137 // Add source line info if available.
1138 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001139 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001140
1141 // No harm in adding the runtime language to the declaration.
1142 unsigned RLang = CTy.getRunTimeLang();
1143 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001144 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001145 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001146 }
1147}
1148
Manman Renffc9a712013-10-23 23:05:28 +00001149/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1150/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001151void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1152 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001153 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001154 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001155 // Add the type if it exists, it could be void and therefore no type.
1156 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001157 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001158 if (!TP.getName().empty())
1159 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001160}
1161
Manman Renffc9a712013-10-23 23:05:28 +00001162/// constructTemplateValueParameterDIE - Construct new DIE for the given
1163/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001164void
1165DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001166 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001167 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001168
1169 // Add the type if there is one, template template and template parameter
1170 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001171 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001172 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001173 if (!VP.getName().empty())
1174 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001175 if (Metadata *Val = VP.getValue()) {
1176 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001177 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001178 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001179 // For declaration non-type template parameters (such as global values and
1180 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001181 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001182 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001183 // Emit DW_OP_stack_value to use the address as the immediate value of the
1184 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001185 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001186 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001187 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001188 assert(isa<MDString>(Val));
1189 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1190 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001191 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001192 assert(isa<MDNode>(Val));
1193 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001194 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001195 }
1196 }
Devang Patel0e821f42011-04-12 23:21:44 +00001197}
1198
Devang Patel17b53272011-05-06 16:57:54 +00001199/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001200DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001201 // Construct the context before querying for the existence of the DIE in case
1202 // such construction creates the DIE.
1203 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001204
David Blaikie65a74662014-04-25 18:26:14 +00001205 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001206 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001207 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001208
David Blaikie553eb4a2014-06-06 22:16:56 +00001209 StringRef Name = NS.getName();
1210 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001211 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001212 else
1213 Name = "(anonymous namespace)";
1214 DD->addAccelNamespace(Name, NDie);
1215 addGlobalName(Name, NDie, NS.getContext());
Devang Patel17b53272011-05-06 16:57:54 +00001216 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001217 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001218}
1219
Devang Patel89543712011-08-15 17:24:54 +00001220/// getOrCreateSubprogramDIE - Create new DIE using SP.
David Blaikie3a443c22014-11-04 22:12:25 +00001221DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001222 // Construct the context before querying for the existence of the DIE in case
1223 // such construction creates the DIE (as is the case for member function
1224 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001225 DIE *ContextDIE =
1226 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP.getContext()));
Adrian Prantld486b342014-03-18 17:41:15 +00001227
David Blaikie65a74662014-04-25 18:26:14 +00001228 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001229 return SPDie;
1230
David Blaikiece7a1bd2014-05-21 18:04:33 +00001231 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001232 if (!Minimal) {
1233 // Add subprogram definitions to the CU die directly.
1234 ContextDIE = &getUnitDie();
1235 // Build the decl now to ensure it precedes the definition.
1236 getOrCreateSubprogramDIE(SPDecl);
1237 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001238 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001239
1240 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001241 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001242
David Blaikie6cfa9e12014-06-05 00:25:26 +00001243 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001244 // subprogram turns out to have inlined instances or not.
1245 if (SP.isDefinition())
1246 return &SPDie;
1247
David Blaikie7f916862014-05-27 18:37:38 +00001248 applySubprogramAttributes(SP, SPDie);
1249 return &SPDie;
1250}
1251
David Blaikie3a443c22014-11-04 22:12:25 +00001252bool DwarfUnit::applySubprogramDefinitionAttributes(DISubprogram SP,
1253 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001254 DIE *DeclDie = nullptr;
1255 StringRef DeclLinkageName;
1256 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001257 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001258 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001259 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001260 "getOrCreateSubprogramDIE");
David Blaikie7f916862014-05-27 18:37:38 +00001261 DeclLinkageName = SPDecl.getLinkageName();
1262 }
Rafael Espindola79278362011-11-10 22:34:29 +00001263
Devang Patel89543712011-08-15 17:24:54 +00001264 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001265 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001266
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001267 // Add the linkage name if we have one and it isn't in the Decl.
1268 StringRef LinkageName = SP.getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001269 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1270 LinkageName == DeclLinkageName) &&
1271 "decl has a linkage name and it is different");
1272 if (!LinkageName.empty() && DeclLinkageName.empty())
1273 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1274 GlobalValue::getRealLinkageName(LinkageName));
Devang Patel89543712011-08-15 17:24:54 +00001275
David Blaikie3a443c22014-11-04 22:12:25 +00001276 if (!DeclDie)
1277 return false;
1278
1279 // Refer to the function declaration where all the other attributes will be
1280 // found.
1281 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1282 return true;
1283}
1284
1285void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie,
1286 bool Minimal) {
1287 if (!Minimal)
1288 if (applySubprogramDefinitionAttributes(SP, SPDie))
1289 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001290
Devang Patel89543712011-08-15 17:24:54 +00001291 // Constructors and operators for anonymous aggregates do not have names.
1292 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001293 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001294
David Blaikie0b9438b2014-09-19 04:47:46 +00001295 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001296 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001297 return;
1298
Devang Patel89543712011-08-15 17:24:54 +00001299 addSourceLine(SPDie, SP);
1300
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001301 // Add the prototype if we have a prototype and we have a C like
1302 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001303 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001304 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001305 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001306 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001307 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001308
Manman Renf8a19672014-07-28 22:24:06 +00001309 DISubroutineType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001310 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1311 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001312
Manman Renf8a19672014-07-28 22:24:06 +00001313 DITypeArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001314 // Add a return type. If this is a type like a C/C++ void type we don't add a
1315 // return type.
Manman Renf8a19672014-07-28 22:24:06 +00001316 if (resolve(Args.getElement(0)))
1317 addType(SPDie, DIType(resolve(Args.getElement(0))));
Devang Patel89543712011-08-15 17:24:54 +00001318
1319 unsigned VK = SP.getVirtuality();
1320 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001321 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001322 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001323 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1324 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001325 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001326 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001327 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001328 }
1329
1330 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001331 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001332
Devang Patel89543712011-08-15 17:24:54 +00001333 // Add arguments. Do not add arguments for subprogram definition. They will
1334 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001335 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001336 }
1337
1338 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001339 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001340
1341 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001342 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001343
1344 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001345 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001346
1347 if (unsigned isa = Asm->getISAEncoding()) {
1348 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1349 }
1350
Adrian Prantl99c7af22013-12-18 21:48:19 +00001351 if (SP.isLValueReference())
1352 addFlag(SPDie, dwarf::DW_AT_reference);
1353
1354 if (SP.isRValueReference())
1355 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1356
Adrian Prantlef129fb2014-01-18 02:12:00 +00001357 if (SP.isProtected())
1358 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1359 dwarf::DW_ACCESS_protected);
1360 else if (SP.isPrivate())
1361 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1362 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001363 else if (SP.isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001364 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1365 dwarf::DW_ACCESS_public);
1366
1367 if (SP.isExplicit())
1368 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001369}
1370
Devang Patel0e821f42011-04-12 23:21:44 +00001371/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001372void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001373 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001374 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001375
Bill Wendling28fe9e72012-12-06 07:38:10 +00001376 // The LowerBound value defines the lower bounds which is typically zero for
1377 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1378 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001379 // DW_AT_lower_bound and DW_AT_count attributes.
Bill Wendling28fe9e72012-12-06 07:38:10 +00001380 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001381 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001382 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001383
Bill Wendling3495f9b2012-12-06 07:55:19 +00001384 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001385 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001386
David Blaikie32b0f362014-10-01 00:56:55 +00001387 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001388 // FIXME: An unbounded array should reference the expression that defines
1389 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001390 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001391}
1392
David Blaikie871c2d92014-11-02 03:09:13 +00001393DIE *DwarfUnit::getIndexTyDie() {
1394 if (IndexTyDie)
1395 return IndexTyDie;
1396 // Construct an integer type to use for indexes.
1397 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1398 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1399 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1400 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1401 dwarf::DW_ATE_unsigned);
1402 return IndexTyDie;
1403}
1404
Devang Patel0e821f42011-04-12 23:21:44 +00001405/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001406void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001407 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001408 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001409
Eric Christopher0df08e22013-08-08 07:40:37 +00001410 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001411 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001412
1413 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001414 // FIXME: This type should be passed down from the front end
1415 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001416 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001417
1418 // Add subranges to array type.
Manman Renab8ffba2014-07-28 19:14:13 +00001419 DIArray Elements = CTy.getElements();
Devang Patel0e821f42011-04-12 23:21:44 +00001420 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1421 DIDescriptor Element = Elements.getElement(i);
1422 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1423 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1424 }
1425}
1426
Eric Christopheraeb105f2013-11-11 18:52:39 +00001427/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001428void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Manman Renab8ffba2014-07-28 19:14:13 +00001429 DIArray Elements = CTy.getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001430
1431 // Add enumerators to enumeration type.
1432 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001433 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001434 if (Enum.isEnumerator()) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001435 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001436 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001437 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001438 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001439 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1440 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001441 }
1442 }
1443 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1444 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001445 addType(Buffer, DTy);
1446 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001447 }
Devang Patel0e821f42011-04-12 23:21:44 +00001448}
1449
Devang Patel89543712011-08-15 17:24:54 +00001450/// constructContainingTypeDIEs - Construct DIEs for types that contain
1451/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001452void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001453 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001454 CE = ContainingTypeMap.end();
1455 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001456 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001457 DIDescriptor D(CI->second);
1458 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001459 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001460 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001461 if (!NDie)
1462 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001463 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001464 }
1465}
1466
Manman Ren230ec862013-10-23 23:00:44 +00001467/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001468void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001469 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001470 StringRef Name = DT.getName();
1471 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001472 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001473
Manman Ren93b30902013-10-08 18:42:58 +00001474 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001475
1476 addSourceLine(MemberDie, DT);
1477
Eric Christopherc2697f82013-10-19 01:04:47 +00001478 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001479
1480 // For C++, virtual base classes are not at fixed offset. Use following
1481 // expression to extract appropriate offset from vtable.
1482 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1483
Eric Christopher4a741042014-02-16 08:46:55 +00001484 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001485 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1486 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1487 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1488 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1489 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1490 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1491 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001492
David Blaikief2443192013-10-21 17:28:37 +00001493 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001494 } else {
1495 uint64_t Size = DT.getSizeInBits();
1496 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1497 uint64_t OffsetInBytes;
1498
David Blaikiefa1a3c72015-01-28 02:34:53 +00001499 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001500 // Handle bitfield, assume bytes are 8 bits.
1501 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1502 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001503
1504 uint64_t Offset = DT.getOffsetInBits();
1505 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1506 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1507 uint64_t FieldOffset = (HiMark - FieldSize);
1508 Offset -= FieldOffset;
1509
1510 // Maybe we need to work from the other end.
1511 if (Asm->getDataLayout().isLittleEndian())
1512 Offset = FieldSize - (Offset + Size);
1513 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1514
Adrian Prantlc67655a2014-01-28 18:13:47 +00001515 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001516 // field that includes this bit field.
1517 OffsetInBytes = FieldOffset >> 3;
1518 } else
1519 // This is not a bitfield.
1520 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001521
David Blaikie22b29a52014-01-03 01:30:05 +00001522 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001523 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001524 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1525 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001526 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1527 } else
1528 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1529 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001530 }
Devang Patel0e821f42011-04-12 23:21:44 +00001531
1532 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001533 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001534 dwarf::DW_ACCESS_protected);
1535 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001536 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001537 dwarf::DW_ACCESS_private);
1538 // Otherwise C++ member and base classes are considered public.
Adrian Prantldaedfda2014-08-29 22:44:07 +00001539 else if (DT.isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001540 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001541 dwarf::DW_ACCESS_public);
1542 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001543 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001544 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001545
1546 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001547 if (MDNode *PNode = DT.getObjCProperty())
1548 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001549 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1550 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001551
David Blaikie37fefc32012-12-13 22:43:07 +00001552 if (DT.isArtificial())
1553 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001554}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001555
Manman Renc6b63922013-10-14 20:33:57 +00001556/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001557DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001558 if (!DT.Verify())
Craig Topper353eda42014-04-24 06:44:33 +00001559 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001560
Manman Renc6b63922013-10-14 20:33:57 +00001561 // Construct the context before querying for the existence of the DIE in case
1562 // such construction creates the DIE.
1563 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001564 assert(dwarf::isType(ContextDIE->getTag()) &&
1565 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001566
David Blaikie65a74662014-04-25 18:26:14 +00001567 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001568 return StaticMemberDIE;
1569
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001570 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001571
Manman Ren93b30902013-10-08 18:42:58 +00001572 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001573
1574 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1575 addType(StaticMemberDIE, Ty);
1576 addSourceLine(StaticMemberDIE, DT);
1577 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1578 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1579
1580 // FIXME: We could omit private if the parent is a class_type, and
1581 // public if the parent is something else.
1582 if (DT.isProtected())
1583 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1584 dwarf::DW_ACCESS_protected);
1585 else if (DT.isPrivate())
1586 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1587 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001588 else if (DT.isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001589 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1590 dwarf::DW_ACCESS_public);
1591
1592 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001593 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00001594 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1595 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001596
David Blaikie65a74662014-04-25 18:26:14 +00001597 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001598}
David Blaikie6b288cf2013-10-30 20:42:41 +00001599
David Blaikied82b2372014-03-24 20:28:10 +00001600void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikieae57e662014-11-01 23:59:23 +00001601 // Emit size of content not including length itself
1602 Asm->OutStreamer.AddComment("Length of Unit");
1603 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1604
David Blaikie6b288cf2013-10-30 20:42:41 +00001605 Asm->OutStreamer.AddComment("DWARF version number");
1606 Asm->EmitInt16(DD->getDwarfVersion());
1607 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00001608 // We share one abbreviations table across all units so it's always at the
1609 // start of the section. Use a relocatable offset where needed to ensure
1610 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001611 if (ASectionSym)
1612 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
1613 else
David Blaikie326e1fa2014-04-02 02:04:51 +00001614 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001615 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00001616 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1617 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1618}
David Blaikiebc563272013-12-13 21:33:40 +00001619
David Blaikiea34568b2014-11-01 20:06:28 +00001620void DwarfUnit::initSection(const MCSection *Section) {
1621 assert(!this->Section);
1622 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001623}
1624
David Blaikied82b2372014-03-24 20:28:10 +00001625void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
1626 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00001627 Asm->OutStreamer.AddComment("Type Signature");
1628 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
1629 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001630 // In a skeleton type unit there is no type DIE so emit a zero offset.
1631 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
1632 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001633}
1634
David Blaikiecafd9622014-11-02 08:51:37 +00001635bool DwarfTypeUnit::isDwoUnit() const {
1636 // Since there are no skeleton type units, all type units are dwo type units
1637 // when split DWARF is being used.
1638 return DD->useSplitDwarf();
1639}