blob: 6daecc7d3e7ffdb3244607eb40175a4a61c6cb75 [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"
Adrian Prantlb846acc2015-03-02 22:02:36 +000020#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000022#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/DataLayout.h"
24#include "llvm/IR/GlobalVariable.h"
25#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000026#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000027#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000028#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000029#include "llvm/MC/MCSection.h"
30#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000031#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000033#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000034#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000035#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000036#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000037
38using namespace llvm;
39
Chandler Carruth1b9dde02014-04-22 02:02:50 +000040#define DEBUG_TYPE "dwarfdebug"
41
Eric Christopher4287a492013-12-09 23:57:44 +000042static cl::opt<bool>
43GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
44 cl::desc("Generate DWARF4 type units."),
45 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000046
Adrian Prantlb846acc2015-03-02 22:02:36 +000047DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
48 DIELoc &DIE)
49 : DwarfExpression(*AP.MF->getSubtarget().getRegisterInfo(),
50 AP.getDwarfDebug()->getDwarfVersion()),
51 AP(AP), DU(DU), DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000052
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000053void DIEDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
54 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
55}
Adrian Prantl51233682015-03-10 19:23:37 +000056void DIEDwarfExpression::EmitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000057 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
58}
Adrian Prantl51233682015-03-10 19:23:37 +000059void DIEDwarfExpression::EmitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000060 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
61}
Adrian Prantl8995f5c2015-01-13 23:10:43 +000062bool DIEDwarfExpression::isFrameRegister(unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000063 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000064}
65
66
David Blaikie2a80e442013-12-02 22:09:48 +000067/// Unit - Unit constructor.
David Blaikiebd579052014-04-28 21:14:27 +000068DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag, DICompileUnit Node,
David Blaikie92a2f8a2014-04-28 21:04:29 +000069 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000070 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
David Blaikie7cbf58a2014-11-01 18:18:07 +000071 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000072 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
73 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000074 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
75}
76
David Blaikiebd579052014-04-28 21:14:27 +000077DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000078 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000079 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000080 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
81 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000082 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000083 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000084}
David Blaikie409dd9c2013-11-19 23:08:21 +000085
David Blaikie319a05f2013-12-02 19:33:10 +000086/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000087DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000088 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
89 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000090 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
91 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000092}
93
94/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
95/// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +000096DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000097 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
98 return Value;
99}
100
Bill Wendling3495f9b2012-12-06 07:55:19 +0000101/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +0000102/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +0000103int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +0000104 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 default:
106 break;
107
108 case dwarf::DW_LANG_C89:
109 case dwarf::DW_LANG_C99:
110 case dwarf::DW_LANG_C:
111 case dwarf::DW_LANG_C_plus_plus:
112 case dwarf::DW_LANG_ObjC:
113 case dwarf::DW_LANG_ObjC_plus_plus:
114 return 0;
115
116 case dwarf::DW_LANG_Fortran77:
117 case dwarf::DW_LANG_Fortran90:
118 case dwarf::DW_LANG_Fortran95:
119 return 1;
120
121 // The languages below have valid values only if the DWARF version >= 4.
122 case dwarf::DW_LANG_Java:
123 case dwarf::DW_LANG_Python:
124 case dwarf::DW_LANG_UPC:
125 case dwarf::DW_LANG_D:
126 if (dwarf::DWARF_VERSION >= 4)
127 return 0;
128 break;
129
130 case dwarf::DW_LANG_Ada83:
131 case dwarf::DW_LANG_Ada95:
132 case dwarf::DW_LANG_Cobol74:
133 case dwarf::DW_LANG_Cobol85:
134 case dwarf::DW_LANG_Modula2:
135 case dwarf::DW_LANG_Pascal83:
136 case dwarf::DW_LANG_PLI:
137 if (dwarf::DWARF_VERSION >= 4)
138 return 1;
139 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000140
141 // The languages below have valid values only if the DWARF version >= 5.
142 case dwarf::DW_LANG_OpenCL:
143 case dwarf::DW_LANG_Go:
144 case dwarf::DW_LANG_Haskell:
145 case dwarf::DW_LANG_C_plus_plus_03:
146 case dwarf::DW_LANG_C_plus_plus_11:
147 case dwarf::DW_LANG_OCaml:
148 case dwarf::DW_LANG_Rust:
149 case dwarf::DW_LANG_C11:
150 case dwarf::DW_LANG_Swift:
151 case dwarf::DW_LANG_Dylan:
152 case dwarf::DW_LANG_C_plus_plus_14:
153 if (dwarf::DWARF_VERSION >= 5)
154 return 0;
155 break;
156
157 case dwarf::DW_LANG_Modula3:
158 case dwarf::DW_LANG_Julia:
159 case dwarf::DW_LANG_Fortran03:
160 case dwarf::DW_LANG_Fortran08:
161 if (dwarf::DWARF_VERSION >= 5)
162 return 1;
163 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000164 }
165
166 return -1;
167}
168
Manman Ren4dbdc902013-10-31 17:54:35 +0000169/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000170static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000171 // When the MDNode can be part of the type system, the DIE can be shared
172 // across CUs.
173 // Combining type units and cross-CU DIE sharing is lower value (since
174 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
175 // level already) but may be implementable for some value in projects
176 // building multiple independent libraries with LTO and then linking those
177 // together.
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000178 return (isa<MDType>(D) ||
179 (isa<MDSubprogram>(D) && !cast<MDSubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000180 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000181}
182
183/// getDIE - Returns the debug information entry map slot for the
184/// specified debug variable. We delegate the request to DwarfDebug
185/// when the DIE for this MDNode can be shared across CUs. The mappings
186/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000187DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000188 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000189 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000190 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000191}
192
193/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
194/// when the DIE for this MDNode can be shared across CUs. The mappings
195/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000196void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000197 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000198 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000199 return;
200 }
David Blaikie2ad00162013-11-15 23:09:13 +0000201 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000202}
203
Eric Christopherbb69a272012-08-24 01:14:27 +0000204/// addFlag - Add a flag that is true.
David Blaikie65a74662014-04-25 18:26:14 +0000205void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000206 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000207 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000208 else
David Blaikie65a74662014-04-25 18:26:14 +0000209 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000210}
211
Devang Patel0e821f42011-04-12 23:21:44 +0000212/// addUInt - Add an unsigned integer attribute data and value.
213///
David Blaikie65a74662014-04-25 18:26:14 +0000214void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000215 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000216 if (!Form)
217 Form = DIEInteger::BestForm(false, Integer);
218 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
219 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000220 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000221}
222
David Blaikie65a74662014-04-25 18:26:14 +0000223void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000224 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000225}
226
227/// addSInt - Add an signed integer attribute data and value.
228///
David Blaikie65a74662014-04-25 18:26:14 +0000229void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000230 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000231 if (!Form)
232 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000233 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000234 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000235}
236
David Blaikie65a74662014-04-25 18:26:14 +0000237void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000238 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000239 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000240}
241
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000242/// addString - Add a string attribute data and value. We always emit a
243/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000244/// more predictable sizes. In the case of split dwarf we emit an index
245/// into another table which gets us the static offset into the string
246/// table.
David Blaikie65a74662014-04-25 18:26:14 +0000247void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000248 StringRef String) {
David Blaikiecafd9622014-11-02 08:51:37 +0000249 if (!isDwoUnit())
Eric Christopher05893f42013-12-30 18:32:31 +0000250 return addLocalString(Die, Attribute, String);
251
David Blaikiecafd9622014-11-02 08:51:37 +0000252 addIndexedString(Die, Attribute, String);
253}
254
255void DwarfUnit::addIndexedString(DIE &Die, dwarf::Attribute Attribute,
256 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000257 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000258 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000259 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000260 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000261}
262
263/// addLocalString - Add a string attribute data and value. This is guaranteed
264/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000265void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000266 StringRef String) {
Rafael Espindola063d7252015-03-10 16:58:10 +0000267 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
David Blaikiedaefdbf2014-04-25 21:34:35 +0000268 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000269 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000270 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000271 Value = new (DIEValueAllocator) DIELabel(Symb);
David Blaikie6741bb02014-09-11 21:12:48 +0000272 else
Rafael Espindola063d7252015-03-10 16:58:10 +0000273 Value = new (DIEValueAllocator)
274 DIEDelta(Symb, TLOF.getDwarfStrSection()->getBeginSymbol());
Eric Christopher05893f42013-12-30 18:32:31 +0000275 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000276 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000277}
278
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000279/// addLabel - Add a Dwarf label attribute data and value.
280///
David Blaikie65a74662014-04-25 18:26:14 +0000281void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000282 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000283 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000284 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000285}
286
David Blaikie65a74662014-04-25 18:26:14 +0000287void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000288 addLabel(Die, (dwarf::Attribute)0, Form, Label);
289}
290
Eric Christopher33ff6972013-11-21 23:46:41 +0000291/// addSectionOffset - Add an offset into a section attribute data and value.
292///
David Blaikie65a74662014-04-25 18:26:14 +0000293void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000294 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000295 if (DD->getDwarfVersion() >= 4)
296 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
297 else
298 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
299}
300
David Blaikie4a2f95f2014-03-18 01:17:26 +0000301unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
302 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
303 : getCU().getOrCreateSourceID(FileName, DirName);
304}
305
Eric Christophere9ec2452013-01-18 22:11:33 +0000306/// addOpAddress - Add a dwarf op address data and value using the
307/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
308///
David Blaikie65a74662014-04-25 18:26:14 +0000309void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000310 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000311 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
312 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000313 } else {
David Blaikief2443192013-10-21 17:28:37 +0000314 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000315 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000316 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000317 }
318}
319
David Blaikie65a74662014-04-25 18:26:14 +0000320void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000321 const MCSymbol *Hi, const MCSymbol *Lo) {
322 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000323 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000324}
325
Devang Patel0e821f42011-04-12 23:21:44 +0000326/// addDIEEntry - Add a DIE attribute data and value.
327///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000328void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000329 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
330}
331
David Blaikie65a74662014-04-25 18:26:14 +0000332void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000333 // Flag the type unit reference as a declaration so that if it contains
334 // members (implicit special members, static data member definitions, member
335 // declarations for definitions in this CU, etc) consumers don't get confused
336 // and think this is a full definition.
337 addFlag(Die, dwarf::DW_AT_declaration);
338
David Blaikie65a74662014-04-25 18:26:14 +0000339 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
340 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000341}
342
David Blaikie65a74662014-04-25 18:26:14 +0000343void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000344 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000345 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000346 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000347 if (!DieCU)
348 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000349 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000350 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000351 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000352 Die.addValue(Attribute,
353 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
354 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000355}
356
Manman Renb987e512013-10-29 00:53:03 +0000357/// Create a DIE with the given Tag, add the DIE to its parent, and
358/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000359DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000360 assert(Tag != dwarf::DW_TAG_auto_variable &&
361 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000362 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000363 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000364 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000365 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000366 return Die;
367}
368
Devang Patel0e821f42011-04-12 23:21:44 +0000369/// addBlock - Add block data.
370///
David Blaikie65a74662014-04-25 18:26:14 +0000371void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000372 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000373 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000374 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000375}
376
David Blaikie65a74662014-04-25 18:26:14 +0000377void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000378 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000379 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000380 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000381 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000382}
383
384/// addSourceLine - Add location information to specified debug information
385/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000386void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000387 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000388 if (Line == 0)
389 return;
David Blaikie101613e2014-02-12 00:11:25 +0000390
David Blaikie4a2f95f2014-03-18 01:17:26 +0000391 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000392 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000393 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
394 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +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, DIVariable V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000400 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000401
Eric Christopher89a575c2014-02-12 22:38:04 +0000402 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
403 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000404}
405
406/// addSourceLine - Add location information to specified debug information
407/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000408void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000409 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000410
David Blaikie101613e2014-02-12 00:11:25 +0000411 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000412}
413
414/// addSourceLine - Add location information to specified debug information
415/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000416void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000417 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000418
David Blaikie101613e2014-02-12 00:11:25 +0000419 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000420}
421
422/// addSourceLine - Add location information to specified debug information
423/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000424void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000425 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000426
David Blaikie101613e2014-02-12 00:11:25 +0000427 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000428}
429
430/// addSourceLine - Add location information to specified debug information
431/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000432void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000433 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000434
Eric Christopher70e1bd82012-03-29 08:42:56 +0000435 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000436 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
437 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000438}
439
440/// addSourceLine - Add location information to specified debug information
441/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000442void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie101613e2014-02-12 00:11:25 +0000443 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000444}
445
Devang Patelba5fbf12011-04-26 19:06:18 +0000446/// addRegisterOp - Add register operand.
Adrian Prantlab255fc2014-12-05 01:02:46 +0000447bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000448 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000449 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000450 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000451 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000452}
453
454/// addRegisterOffset - Add register offset.
Adrian Prantlab255fc2014-12-05 01:02:46 +0000455bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000456 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000457 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000458 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000459}
460
Devang Patel0e821f42011-04-12 23:21:44 +0000461/* Byref variables, in Blocks, are declared by the programmer as "SomeType
462 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
463 gives the variable VarName either the struct, or a pointer to the struct, as
464 its type. This is necessary for various behind-the-scenes things the
465 compiler needs to do with by-reference variables in Blocks.
466
467 However, as far as the original *programmer* is concerned, the variable
468 should still have type 'SomeType', as originally declared.
469
470 The function getBlockByrefType dives into the __Block_byref_x_VarName
471 struct to find the original type of the variable, which is then assigned to
472 the variable's Debug Information Entry as its real type. So far, so good.
473 However now the debugger will expect the variable VarName to have the type
474 SomeType. So we need the location attribute for the variable to be an
475 expression that explains to the debugger how to navigate through the
476 pointers and struct to find the actual variable of type SomeType.
477
478 The following function does just that. We start by getting
479 the "normal" location for the variable. This will be the location
480 of either the struct __Block_byref_x_VarName or the pointer to the
481 struct __Block_byref_x_VarName.
482
483 The struct will look something like:
484
485 struct __Block_byref_x_VarName {
486 ... <various fields>
487 struct __Block_byref_x_VarName *forwarding;
488 ... <various other fields>
489 SomeType VarName;
490 ... <maybe more fields>
491 };
492
493 If we are given the struct directly (as our starting point) we
494 need to tell the debugger to:
495
496 1). Add the offset of the forwarding field.
497
498 2). Follow that pointer to get the real __Block_byref_x_VarName
499 struct to use (the real one may have been copied onto the heap).
500
501 3). Add the offset for the field VarName, to find the actual variable.
502
503 If we started with a pointer to the struct, then we need to
504 dereference that pointer first, before the other steps.
505 Translating this into DWARF ops, we will need to append the following
506 to the current location description for the variable:
507
508 DW_OP_deref -- optional, if we start with a pointer
509 DW_OP_plus_uconst <forward_fld_offset>
510 DW_OP_deref
511 DW_OP_plus_uconst <varName_fld_offset>
512
513 That is what this function does. */
514
515/// addBlockByrefAddress - Start with the address based on the location
516/// provided, and generate the DWARF information necessary to find the
517/// actual Block variable (navigating the Block struct) based on the
518/// starting location. Add the DWARF information to the die. For
519/// more information, read large comment just above here.
520///
David Blaikie65a74662014-04-25 18:26:14 +0000521void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000522 dwarf::Attribute Attribute,
523 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000524 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000525 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000526 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000527 bool isPointer = false;
528
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000529 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000530
531 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000532 DIDerivedType DTy = cast<MDDerivedType>(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000533 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000534 isPointer = true;
535 }
536
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000537 DICompositeType blockStruct = cast<MDCompositeTypeBase>(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000538
539 // Find the __forwarding field and the variable field in the __Block_byref
540 // struct.
Manman Renab8ffba2014-07-28 19:14:13 +0000541 DIArray Fields = blockStruct.getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000542 DIDerivedType varField;
543 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000544
545 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000546 DIDerivedType DT = cast<MDDerivedTypeBase>(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000547 StringRef fieldName = DT.getName();
548 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000549 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000550 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000551 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000552 }
553
554 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000555 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
556 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000557
558 // Decode the original location, and use that as the start of the byref
559 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000560 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000561
Adrian Prantlab255fc2014-12-05 01:02:46 +0000562 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000563 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000564 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000565 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000566 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
567
568 if (!validReg)
569 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000570
571 // If we started with a pointer to the __Block_byref... struct, then
572 // the first thing we need to do is dereference the pointer (DW_OP_deref).
573 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000574 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000575
576 // Next add the offset for the '__forwarding' field:
577 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
578 // adding the offset if it's 0.
579 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000580 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
581 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000582 }
583
584 // Now dereference the __forwarding field to get to the real __Block_byref
585 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000586 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000587
588 // Now that we've got the real __Block_byref... struct, add the offset
589 // for the variable's field to get to the location of the actual variable:
590 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
591 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000592 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
593 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000594 }
595
596 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000597 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000598}
599
Manman Renb3388602013-10-05 01:43:03 +0000600/// Return true if type encoding is unsigned.
601static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000602 if (DIDerivedType DTy = dyn_cast<MDDerivedTypeBase>(Ty)) {
David Blaikie2af1c802014-05-20 18:21:51 +0000603 dwarf::Tag T = (dwarf::Tag)Ty.getTag();
604 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000605 // null pointer constant emission.
Adrian Prantld88af272015-01-07 21:35:13 +0000606 // (Pieces of) aggregate types that get hacked apart by SROA may also be
607 // represented by a constant. Encode them as unsigned bytes.
David Blaikie93ef46b2014-05-20 21:40:13 +0000608 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
609 // here, but accept them for now due to a bug in SROA producing bogus
610 // dbg.values.
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000611 if (T == dwarf::DW_TAG_array_type ||
612 T == dwarf::DW_TAG_class_type ||
613 T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000614 T == dwarf::DW_TAG_ptr_to_member_type ||
615 T == dwarf::DW_TAG_reference_type ||
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000616 T == dwarf::DW_TAG_rvalue_reference_type ||
Adrian Prantl577feba2015-01-23 18:01:39 +0000617 T == dwarf::DW_TAG_structure_type ||
618 T == dwarf::DW_TAG_union_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000619 return true;
620 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
621 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000622 T == dwarf::DW_TAG_restrict_type ||
623 T == dwarf::DW_TAG_enumeration_type);
David Blaikie2af1c802014-05-20 18:21:51 +0000624 if (DITypeRef Deriv = DTy.getTypeDerivedFrom())
625 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000626 // FIXME: Enums without a fixed underlying type have unknown signedness
627 // here, leading to incorrectly emitted constants.
628 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
629 return false;
630 }
Manman Renb3388602013-10-05 01:43:03 +0000631
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000632 DIBasicType BTy = cast<MDBasicType>(Ty);
David Blaikie60cae1b2014-05-11 16:08:41 +0000633 unsigned Encoding = BTy.getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000634 assert((Encoding == dwarf::DW_ATE_unsigned ||
635 Encoding == dwarf::DW_ATE_unsigned_char ||
636 Encoding == dwarf::DW_ATE_signed ||
637 Encoding == dwarf::DW_ATE_signed_char ||
Adrian Prantl9013c4b2015-02-02 18:31:58 +0000638 Encoding == dwarf::DW_ATE_float ||
David Blaikie8b979f02014-12-17 00:43:22 +0000639 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
640 (Ty.getTag() == dwarf::DW_TAG_unspecified_type &&
641 Ty.getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000642 "Unsupported encoding");
David Blaikie60cae1b2014-05-11 16:08:41 +0000643 return (Encoding == dwarf::DW_ATE_unsigned ||
644 Encoding == dwarf::DW_ATE_unsigned_char ||
David Blaikie8b979f02014-12-17 00:43:22 +0000645 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
646 Ty.getTag() == dwarf::DW_TAG_unspecified_type);
Manman Renb3388602013-10-05 01:43:03 +0000647}
648
649/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000650static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000651 unsigned Tag = Ty.getTag();
652
653 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
654 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
655 Tag != dwarf::DW_TAG_restrict_type)
656 return Ty.getSizeInBits();
657
658 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
659
David Blaikiee2452282015-01-28 02:43:15 +0000660 assert(BaseType.isValid() && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000661
662 // If this is a derived type, go ahead and get the base type, unless it's a
663 // reference then it's just the size of the field. Pointer types have no need
664 // of this since they're a different type of qualification on the type.
665 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
666 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
667 return Ty.getSizeInBits();
668
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000669 if (auto *DT = dyn_cast<MDDerivedTypeBase>(BaseType))
670 return getBaseTypeSize(DD, DT);
Manman Renb3388602013-10-05 01:43:03 +0000671
672 return BaseType.getSizeInBits();
673}
674
Devang Patel0e821f42011-04-12 23:21:44 +0000675/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000676void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000677 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000678 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
679 APFloat FPImm = MO.getFPImm()->getValueAPF();
680
681 // Get the raw data form of the floating point.
682 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000683 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000684
685 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000686 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000687 int Incr = (LittleEndian ? 1 : -1);
688 int Start = (LittleEndian ? 0 : NumBytes - 1);
689 int Stop = (LittleEndian ? NumBytes : -1);
690
691 // Output the constant to DWARF one byte at a time.
692 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000693 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000694
David Blaikief2443192013-10-21 17:28:37 +0000695 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000696}
697
David Blaikiea39a76e2013-01-20 01:18:01 +0000698/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000699void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000700 // Pass this down to addConstantValue as an unsigned bag of bits.
701 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000702}
703
Devang Patel0e821f42011-04-12 23:21:44 +0000704/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000705void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
706 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000707}
708
David Blaikiec05c8f42014-05-11 15:47:39 +0000709/// addConstantValue - Add constant value entry in variable DIE.
710void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
711 DIType Ty) {
712 assert(MO.isImm() && "Invalid machine operand!");
713
David Blaikie60cae1b2014-05-11 16:08:41 +0000714 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000715}
716
David Blaikie60cae1b2014-05-11 16:08:41 +0000717void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000718 // FIXME: This is a bit conservative/simple - it emits negative values always
719 // sign extended to 64 bits rather than minimizing the number of bytes.
720 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000721 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000722}
723
David Blaikiec0a28412014-05-11 15:56:59 +0000724void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
725 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
726}
727
David Blaikiea39a76e2013-01-20 01:18:01 +0000728// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000729void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000730 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000731 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000732 addConstantValue(Die, Unsigned,
733 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000734 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000735 }
736
737 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
738
739 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000740 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000741
742 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000743 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000744
745 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000746 for (int i = 0; i < NumBytes; i++) {
747 uint8_t c;
748 if (LittleEndian)
749 c = Ptr64[i / 8] >> (8 * (i & 7));
750 else
751 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000752 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000753 }
Devang Patel0e821f42011-04-12 23:21:44 +0000754
David Blaikief2443192013-10-21 17:28:37 +0000755 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000756}
757
Paul Robinson857b4432015-03-10 22:44:45 +0000758// Add a linkage name to the DIE.
759void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
760 if (!LinkageName.empty())
761 addString(Die,
762 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
763 : dwarf::DW_AT_MIPS_linkage_name,
764 GlobalValue::getRealLinkageName(LinkageName));
765}
766
Eric Christopher25e35092013-04-22 07:47:40 +0000767/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000768void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000769 // Add template parameters.
770 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
771 DIDescriptor Element = TParams.getElement(i);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000772 if (auto *TTP = dyn_cast<MDTemplateTypeParameter>(Element))
773 constructTemplateTypeParameterDIE(Buffer, TTP);
774 else if (auto *TVP = dyn_cast<MDTemplateValueParameter>(Element))
775 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000776 }
Devang Patel0e821f42011-04-12 23:21:44 +0000777}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000778
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000779/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000780DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000781 if (!Context || isa<MDFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000782 return &getUnitDie();
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000783 if (auto *T = dyn_cast<MDType>(Context))
784 return getOrCreateTypeDIE(T);
785 if (auto *NS = dyn_cast<MDNamespace>(Context))
786 return getOrCreateNameSpace(NS);
787 if (auto *SP = dyn_cast<MDSubprogram>(Context))
788 return getOrCreateSubprogramDIE(SP);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000789 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000790}
791
Eric Christophera5a79422013-12-09 23:32:48 +0000792DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000793 DIScope Context = resolve(Ty.getContext());
794 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000795
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000796 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000797 return TyDIE;
798
799 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000800 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000801
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000802 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000803
David Blaikie9d861be2013-11-26 00:15:27 +0000804 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000805 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000806}
807
Devang Patel0e821f42011-04-12 23:21:44 +0000808/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
809/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000810DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000811 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000812 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000813
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000814 DIType Ty = cast<MDType>(TyNode);
Adrian Prantlc95ec912014-03-24 21:33:01 +0000815 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000816 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000817
David Blaikieee11f222014-04-12 05:35:59 +0000818 // DW_TAG_restrict_type is not supported in DWARF2
819 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000820 return getOrCreateTypeDIE(
821 resolve(DITypeRef(cast<MDDerivedType>(Ty)->getBaseType())));
David Blaikieee11f222014-04-12 05:35:59 +0000822
Manman Renf4c339e2013-10-29 22:49:29 +0000823 // Construct the context before querying for the existence of the DIE in case
824 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000825 DIScope Context = resolve(Ty.getContext());
826 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000827 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000828
David Blaikie65a74662014-04-25 18:26:14 +0000829 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000830 return TyDIE;
831
832 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000833 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000834
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000835 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000836
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000837 if (auto *BT = dyn_cast<MDBasicType>(Ty))
838 constructTypeDIE(TyDIE, BT);
839 else if (DICompositeType CTy = dyn_cast<MDCompositeTypeBase>(Ty)) {
David Blaikiecfb21152014-01-03 18:59:42 +0000840 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
841 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000842 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000843 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000844 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000845 }
David Blaikie65a74662014-04-25 18:26:14 +0000846 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000847 } else {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000848 constructTypeDIE(TyDIE, cast<MDDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000849 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000850
David Blaikie65a74662014-04-25 18:26:14 +0000851 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000852}
853
Eric Christophera5a79422013-12-09 23:32:48 +0000854void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000855 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000856 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
857 bool IsImplementation = 0;
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000858 if (DICompositeType CT = dyn_cast<MDCompositeTypeBase>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000859 // A runtime language of 0 actually means C/C++ and that any
860 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000861 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000862 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000863 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +0000864 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000865
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000866 if (!Context || isa<MDCompileUnit>(Context) || isa<MDFile>(Context) ||
867 isa<MDNamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000868 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000869 }
Devang Patel0e821f42011-04-12 23:21:44 +0000870}
871
872/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +0000873void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000874 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000875
876 // Check for pre-existence.
877 DIEEntry *Entry = getDIEEntry(Ty);
878 // If it exists then use the existing value.
879 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000880 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000881 return;
882 }
883
884 // Construct type.
885 DIE *Buffer = getOrCreateTypeDIE(Ty);
886
887 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000888 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +0000889 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +0000890 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +0000891}
892
Eric Christopher2c8b7902013-10-17 02:06:06 +0000893/// getParentContextString - Walks the metadata parent chain in a language
894/// specific manner (using the compile unit language) and returns
895/// it as a string. This is done at the metadata level because DIEs may
896/// not currently have been added to the parent context and walking the
897/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +0000898std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000899 if (!Context)
900 return "";
901
902 // FIXME: Decide whether to implement this for non-C++ languages.
903 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
904 return "";
905
Eric Christopher8dba0d52013-10-19 01:04:42 +0000906 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +0000907 SmallVector<DIScope, 1> Parents;
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000908 while (!isa<MDCompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000909 Parents.push_back(Context);
910 if (Context.getContext())
911 Context = resolve(Context.getContext());
912 else
913 // Structure, etc types will have a NULL context if they're at the top
914 // level.
915 break;
916 }
917
918 // Reverse iterate over our list to go from the outermost construct to the
919 // innermost.
920 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
921 E = Parents.rend();
922 I != E; ++I) {
923 DIScope Ctx = *I;
924 StringRef Name = Ctx.getName();
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000925 if (Name.empty() && isa<MDNamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000926 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000927 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000928 CS += Name;
929 CS += "::";
930 }
931 }
932 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000933}
934
935/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +0000936void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000937 // Get core information.
938 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000939 // Add name if not anonymous or intermediate type.
940 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000941 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000942
David Blaikiefac56122013-10-04 23:21:16 +0000943 // An unspecified type only has a name attribute.
944 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000945 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000946
David Blaikie65a74662014-04-25 18:26:14 +0000947 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +0000948 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000949
Devang Patel0e821f42011-04-12 23:21:44 +0000950 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000951 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000952}
953
954/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +0000955void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000956 // Get core information.
957 StringRef Name = DTy.getName();
958 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000959 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000960
961 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +0000962 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +0000963 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000964 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000965
966 // Add name if not anonymous or intermediate type.
967 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000968 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000969
970 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000971 if (Size && Tag != dwarf::DW_TAG_pointer_type
972 && Tag != dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000973 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000974
David Blaikie5d3249b2013-01-07 05:51:15 +0000975 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000976 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000977 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000978 // Add source line info if available and TyDesc is not a forward declaration.
979 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000980 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000981}
982
Adrian Prantl3f49c892014-02-25 19:57:42 +0000983/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +0000984void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000985 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renf8a19672014-07-28 22:24:06 +0000986 DIType Ty = resolve(Args.getElement(i));
Manman Renf93ac4b2014-07-29 18:20:39 +0000987 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000988 assert(i == N-1 && "Unspecified parameter must be the last argument");
989 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
990 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000991 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000992 addType(Arg, Ty);
993 if (Ty.isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000994 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000995 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000996 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000997}
998
Devang Patel0e821f42011-04-12 23:21:44 +0000999/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001000void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001001 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001002 StringRef Name = CTy.getName();
1003
1004 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001005 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001006
1007 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001008 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001009 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001010 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001011 case dwarf::DW_TAG_enumeration_type:
1012 constructEnumTypeDIE(Buffer, CTy);
1013 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001014 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001015 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001016 DITypeArray Elements(cast<MDSubroutineType>(CTy)->getTypeArray());
Manman Renf8a19672014-07-28 22:24:06 +00001017 DIType RTy(resolve(Elements.getElement(0)));
Eric Christopher0df08e22013-08-08 07:40:37 +00001018 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001019 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001020
1021 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001022 if (Elements.getNumElements() == 2 &&
Manman Ren72b07e82014-07-29 22:58:13 +00001023 !Elements.getElement(1))
Adrian Prantl3f49c892014-02-25 19:57:42 +00001024 isPrototyped = false;
1025
1026 constructSubprogramArguments(Buffer, Elements);
1027
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001028 // Add prototype flag if we're dealing with a C language and the
1029 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001030 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001031 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001032 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001033 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001034 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001035
1036 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001037 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001038
1039 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001040 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001041 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001042 case dwarf::DW_TAG_structure_type:
1043 case dwarf::DW_TAG_union_type:
1044 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001045 // Add elements to structure type.
Manman Renab8ffba2014-07-28 19:14:13 +00001046 DIArray Elements = CTy.getElements();
David Blaikiea1ae0e62013-08-01 20:30:22 +00001047 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001048 DIDescriptor Element = Elements.getElement(i);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001049 if (!Element)
1050 continue;
1051 if (auto *SP = dyn_cast<MDSubprogram>(Element))
1052 getOrCreateSubprogramDIE(SP);
1053 else if (DIDerivedType DDTy = dyn_cast<MDDerivedTypeBase>(Element)) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001054 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001055 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001056 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001057 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001058 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001059 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001060 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001061 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001062 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001063 } else if (DIObjCProperty Property = dyn_cast<MDObjCProperty>(Element)) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001064 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001065 StringRef PropertyName = Property.getObjCPropertyName();
1066 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001067 if (Property.getType())
1068 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001069 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001070 StringRef GetterName = Property.getObjCPropertyGetterName();
1071 if (!GetterName.empty())
1072 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1073 StringRef SetterName = Property.getObjCPropertySetterName();
1074 if (!SetterName.empty())
1075 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1076 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001077 if (Property.isReadOnlyObjCProperty())
1078 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1079 if (Property.isReadWriteObjCProperty())
1080 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1081 if (Property.isAssignObjCProperty())
1082 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1083 if (Property.isRetainObjCProperty())
1084 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1085 if (Property.isCopyObjCProperty())
1086 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1087 if (Property.isNonAtomicObjCProperty())
1088 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1089 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001090 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001091 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001092
Devang Pateld925d1a2012-02-07 23:33:58 +00001093 DIEEntry *Entry = getDIEEntry(Element);
1094 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001095 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001096 insertDIEEntry(Element, Entry);
1097 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001098 }
Devang Patel0e821f42011-04-12 23:21:44 +00001099 }
1100
1101 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001102 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001103
Adrian Prantlcf44e782014-12-19 00:01:20 +00001104 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
1105 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001106 if (DICompositeType ContainingType =
1107 dyn_cast_or_null<MDCompositeType>(resolve(CTy.getContainingType())))
David Blaikie65a74662014-04-25 18:26:14 +00001108 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001109 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001110
Devang Patel12419ae2011-05-12 21:29:42 +00001111 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001112 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001113
Eric Christopherda011dd2011-12-16 23:42:42 +00001114 // Add template parameters to a class, structure or union types.
1115 // FIXME: The support isn't in the metadata for this yet.
1116 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001117 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001118 addTemplateParams(Buffer, CTy.getTemplateParams());
1119
1120 break;
1121 }
1122 default:
1123 break;
1124 }
1125
1126 // Add name if not anonymous or intermediate type.
1127 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001128 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001129
Eric Christopher775cbd22012-05-22 18:45:18 +00001130 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001131 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001132 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001133 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001134 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001135 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001136 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001137 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001138 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001139 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001140
1141 // If we're a forward decl, say so.
1142 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001143 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001144
1145 // Add source line info if available.
1146 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001147 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001148
1149 // No harm in adding the runtime language to the declaration.
1150 unsigned RLang = CTy.getRunTimeLang();
1151 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001152 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001153 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001154 }
1155}
1156
Manman Renffc9a712013-10-23 23:05:28 +00001157/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1158/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001159void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1160 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001161 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001162 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001163 // Add the type if it exists, it could be void and therefore no type.
1164 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001165 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001166 if (!TP.getName().empty())
1167 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001168}
1169
Manman Renffc9a712013-10-23 23:05:28 +00001170/// constructTemplateValueParameterDIE - Construct new DIE for the given
1171/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001172void
1173DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001174 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001175 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001176
1177 // Add the type if there is one, template template and template parameter
1178 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001179 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001180 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001181 if (!VP.getName().empty())
1182 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001183 if (Metadata *Val = VP.getValue()) {
1184 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001185 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001186 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001187 // For declaration non-type template parameters (such as global values and
1188 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001189 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001190 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001191 // Emit DW_OP_stack_value to use the address as the immediate value of the
1192 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001193 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001194 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001195 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001196 assert(isa<MDString>(Val));
1197 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1198 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001199 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001200 assert(isa<MDNode>(Val));
1201 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001202 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001203 }
1204 }
Devang Patel0e821f42011-04-12 23:21:44 +00001205}
1206
Devang Patel17b53272011-05-06 16:57:54 +00001207/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001208DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001209 // Construct the context before querying for the existence of the DIE in case
1210 // such construction creates the DIE.
1211 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001212
David Blaikie65a74662014-04-25 18:26:14 +00001213 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001214 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001215 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001216
David Blaikie553eb4a2014-06-06 22:16:56 +00001217 StringRef Name = NS.getName();
1218 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001219 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001220 else
1221 Name = "(anonymous namespace)";
1222 DD->addAccelNamespace(Name, NDie);
1223 addGlobalName(Name, NDie, NS.getContext());
Devang Patel17b53272011-05-06 16:57:54 +00001224 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001225 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001226}
1227
Devang Patel89543712011-08-15 17:24:54 +00001228/// getOrCreateSubprogramDIE - Create new DIE using SP.
David Blaikie3a443c22014-11-04 22:12:25 +00001229DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001230 // Construct the context before querying for the existence of the DIE in case
1231 // such construction creates the DIE (as is the case for member function
1232 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001233 DIE *ContextDIE =
1234 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP.getContext()));
Adrian Prantld486b342014-03-18 17:41:15 +00001235
David Blaikie65a74662014-04-25 18:26:14 +00001236 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001237 return SPDie;
1238
David Blaikiece7a1bd2014-05-21 18:04:33 +00001239 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001240 if (!Minimal) {
1241 // Add subprogram definitions to the CU die directly.
1242 ContextDIE = &getUnitDie();
1243 // Build the decl now to ensure it precedes the definition.
1244 getOrCreateSubprogramDIE(SPDecl);
1245 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001246 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001247
1248 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001249 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001250
David Blaikie6cfa9e12014-06-05 00:25:26 +00001251 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001252 // subprogram turns out to have inlined instances or not.
1253 if (SP.isDefinition())
1254 return &SPDie;
1255
David Blaikie7f916862014-05-27 18:37:38 +00001256 applySubprogramAttributes(SP, SPDie);
1257 return &SPDie;
1258}
1259
David Blaikie3a443c22014-11-04 22:12:25 +00001260bool DwarfUnit::applySubprogramDefinitionAttributes(DISubprogram SP,
1261 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001262 DIE *DeclDie = nullptr;
1263 StringRef DeclLinkageName;
1264 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001265 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001266 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001267 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001268 "getOrCreateSubprogramDIE");
David Blaikie7f916862014-05-27 18:37:38 +00001269 DeclLinkageName = SPDecl.getLinkageName();
1270 }
Rafael Espindola79278362011-11-10 22:34:29 +00001271
Devang Patel89543712011-08-15 17:24:54 +00001272 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001273 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001274
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001275 // Add the linkage name if we have one and it isn't in the Decl.
1276 StringRef LinkageName = SP.getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001277 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1278 LinkageName == DeclLinkageName) &&
1279 "decl has a linkage name and it is different");
Paul Robinson857b4432015-03-10 22:44:45 +00001280 if (DeclLinkageName.empty())
1281 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001282
David Blaikie3a443c22014-11-04 22:12:25 +00001283 if (!DeclDie)
1284 return false;
1285
1286 // Refer to the function declaration where all the other attributes will be
1287 // found.
1288 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1289 return true;
1290}
1291
1292void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie,
1293 bool Minimal) {
1294 if (!Minimal)
1295 if (applySubprogramDefinitionAttributes(SP, SPDie))
1296 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001297
Devang Patel89543712011-08-15 17:24:54 +00001298 // Constructors and operators for anonymous aggregates do not have names.
1299 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001300 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001301
David Blaikie0b9438b2014-09-19 04:47:46 +00001302 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001303 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001304 return;
1305
Devang Patel89543712011-08-15 17:24:54 +00001306 addSourceLine(SPDie, SP);
1307
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001308 // Add the prototype if we have a prototype and we have a C like
1309 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001310 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001311 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001312 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001313 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001314 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001315
Manman Renf8a19672014-07-28 22:24:06 +00001316 DISubroutineType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001317 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1318 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001319
Manman Renf8a19672014-07-28 22:24:06 +00001320 DITypeArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001321 // Add a return type. If this is a type like a C/C++ void type we don't add a
1322 // return type.
Manman Renf8a19672014-07-28 22:24:06 +00001323 if (resolve(Args.getElement(0)))
1324 addType(SPDie, DIType(resolve(Args.getElement(0))));
Devang Patel89543712011-08-15 17:24:54 +00001325
1326 unsigned VK = SP.getVirtuality();
1327 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001328 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001329 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001330 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1331 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001332 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001333 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001334 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001335 }
1336
1337 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001338 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001339
Devang Patel89543712011-08-15 17:24:54 +00001340 // Add arguments. Do not add arguments for subprogram definition. They will
1341 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001342 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001343 }
1344
1345 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001346 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001347
1348 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001349 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001350
1351 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001352 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001353
Eric Christophercd53d6e2015-03-21 03:13:01 +00001354 if (unsigned isa = Asm->getISAEncoding())
Devang Patel89543712011-08-15 17:24:54 +00001355 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
Devang Patel89543712011-08-15 17:24:54 +00001356
Adrian Prantl99c7af22013-12-18 21:48:19 +00001357 if (SP.isLValueReference())
1358 addFlag(SPDie, dwarf::DW_AT_reference);
1359
1360 if (SP.isRValueReference())
1361 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1362
Adrian Prantlef129fb2014-01-18 02:12:00 +00001363 if (SP.isProtected())
1364 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1365 dwarf::DW_ACCESS_protected);
1366 else if (SP.isPrivate())
1367 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1368 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001369 else if (SP.isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001370 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1371 dwarf::DW_ACCESS_public);
1372
1373 if (SP.isExplicit())
1374 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001375}
1376
Devang Patel0e821f42011-04-12 23:21:44 +00001377/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001378void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001379 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001380 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001381
Bill Wendling28fe9e72012-12-06 07:38:10 +00001382 // The LowerBound value defines the lower bounds which is typically zero for
1383 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1384 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001385 // DW_AT_lower_bound and DW_AT_count attributes.
Bill Wendling28fe9e72012-12-06 07:38:10 +00001386 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001387 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001388 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001389
Bill Wendling3495f9b2012-12-06 07:55:19 +00001390 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001391 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001392
David Blaikie32b0f362014-10-01 00:56:55 +00001393 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001394 // FIXME: An unbounded array should reference the expression that defines
1395 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001396 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001397}
1398
David Blaikie871c2d92014-11-02 03:09:13 +00001399DIE *DwarfUnit::getIndexTyDie() {
1400 if (IndexTyDie)
1401 return IndexTyDie;
1402 // Construct an integer type to use for indexes.
1403 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1404 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1405 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1406 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1407 dwarf::DW_ATE_unsigned);
1408 return IndexTyDie;
1409}
1410
Devang Patel0e821f42011-04-12 23:21:44 +00001411/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001412void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001413 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001414 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001415
Eric Christopher0df08e22013-08-08 07:40:37 +00001416 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001417 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001418
1419 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001420 // FIXME: This type should be passed down from the front end
1421 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001422 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001423
1424 // Add subranges to array type.
Manman Renab8ffba2014-07-28 19:14:13 +00001425 DIArray Elements = CTy.getElements();
Devang Patel0e821f42011-04-12 23:21:44 +00001426 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1427 DIDescriptor Element = Elements.getElement(i);
1428 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001429 constructSubrangeDIE(Buffer, cast<MDSubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001430 }
1431}
1432
Eric Christopheraeb105f2013-11-11 18:52:39 +00001433/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001434void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Manman Renab8ffba2014-07-28 19:14:13 +00001435 DIArray Elements = CTy.getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001436
1437 // Add enumerators to enumeration type.
1438 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001439 DIEnumerator Enum = dyn_cast_or_null<MDEnumerator>(Elements.getElement(i));
1440 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001441 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001442 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001443 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001444 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001445 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1446 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001447 }
1448 }
1449 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1450 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001451 addType(Buffer, DTy);
1452 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001453 }
Devang Patel0e821f42011-04-12 23:21:44 +00001454}
1455
Devang Patel89543712011-08-15 17:24:54 +00001456/// constructContainingTypeDIEs - Construct DIEs for types that contain
1457/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001458void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001459 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001460 CE = ContainingTypeMap.end();
1461 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001462 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001463 DIDescriptor D(CI->second);
1464 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001465 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001466 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001467 if (!NDie)
1468 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001469 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001470 }
1471}
1472
Manman Ren230ec862013-10-23 23:00:44 +00001473/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001474void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001475 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001476 StringRef Name = DT.getName();
1477 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001478 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001479
Manman Ren93b30902013-10-08 18:42:58 +00001480 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001481
1482 addSourceLine(MemberDie, DT);
1483
Eric Christopherc2697f82013-10-19 01:04:47 +00001484 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001485
1486 // For C++, virtual base classes are not at fixed offset. Use following
1487 // expression to extract appropriate offset from vtable.
1488 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1489
Eric Christopher4a741042014-02-16 08:46:55 +00001490 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001491 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1492 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1493 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1494 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1495 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1496 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1497 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001498
David Blaikief2443192013-10-21 17:28:37 +00001499 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001500 } else {
1501 uint64_t Size = DT.getSizeInBits();
1502 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1503 uint64_t OffsetInBytes;
1504
David Blaikiefa1a3c72015-01-28 02:34:53 +00001505 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001506 // Handle bitfield, assume bytes are 8 bits.
1507 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1508 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001509
1510 uint64_t Offset = DT.getOffsetInBits();
1511 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1512 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1513 uint64_t FieldOffset = (HiMark - FieldSize);
1514 Offset -= FieldOffset;
1515
1516 // Maybe we need to work from the other end.
1517 if (Asm->getDataLayout().isLittleEndian())
1518 Offset = FieldSize - (Offset + Size);
1519 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1520
Adrian Prantlc67655a2014-01-28 18:13:47 +00001521 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001522 // field that includes this bit field.
1523 OffsetInBytes = FieldOffset >> 3;
1524 } else
1525 // This is not a bitfield.
1526 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001527
David Blaikie22b29a52014-01-03 01:30:05 +00001528 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001529 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001530 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1531 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001532 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1533 } else
1534 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1535 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001536 }
Devang Patel0e821f42011-04-12 23:21:44 +00001537
1538 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001539 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001540 dwarf::DW_ACCESS_protected);
1541 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001542 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001543 dwarf::DW_ACCESS_private);
1544 // Otherwise C++ member and base classes are considered public.
Adrian Prantldaedfda2014-08-29 22:44:07 +00001545 else if (DT.isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001546 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001547 dwarf::DW_ACCESS_public);
1548 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001549 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001550 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001551
1552 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001553 if (MDNode *PNode = DT.getObjCProperty())
1554 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001555 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1556 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001557
David Blaikie37fefc32012-12-13 22:43:07 +00001558 if (DT.isArtificial())
1559 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001560}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001561
Manman Renc6b63922013-10-14 20:33:57 +00001562/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001563DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001564 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001565 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001566
Manman Renc6b63922013-10-14 20:33:57 +00001567 // Construct the context before querying for the existence of the DIE in case
1568 // such construction creates the DIE.
1569 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001570 assert(dwarf::isType(ContextDIE->getTag()) &&
1571 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001572
David Blaikie65a74662014-04-25 18:26:14 +00001573 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001574 return StaticMemberDIE;
1575
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001576 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001577
Manman Ren93b30902013-10-08 18:42:58 +00001578 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001579
1580 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1581 addType(StaticMemberDIE, Ty);
1582 addSourceLine(StaticMemberDIE, DT);
1583 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1584 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1585
1586 // FIXME: We could omit private if the parent is a class_type, and
1587 // public if the parent is something else.
1588 if (DT.isProtected())
1589 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1590 dwarf::DW_ACCESS_protected);
1591 else if (DT.isPrivate())
1592 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1593 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001594 else if (DT.isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001595 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1596 dwarf::DW_ACCESS_public);
1597
1598 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001599 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00001600 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1601 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001602
David Blaikie65a74662014-04-25 18:26:14 +00001603 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001604}
David Blaikie6b288cf2013-10-30 20:42:41 +00001605
Rafael Espindola063d7252015-03-10 16:58:10 +00001606void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001607 // Emit size of content not including length itself
1608 Asm->OutStreamer.AddComment("Length of Unit");
1609 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1610
David Blaikie6b288cf2013-10-30 20:42:41 +00001611 Asm->OutStreamer.AddComment("DWARF version number");
1612 Asm->EmitInt16(DD->getDwarfVersion());
1613 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001614
David Blaikie6896e192013-12-04 23:39:02 +00001615 // We share one abbreviations table across all units so it's always at the
1616 // start of the section. Use a relocatable offset where needed to ensure
1617 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001618 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1619 if (!UseOffsets)
1620 Asm->emitSectionOffset(TLOF.getDwarfAbbrevSection()->getBeginSymbol());
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001621 else
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001622 Asm->EmitInt32(0);
Rafael Espindola063d7252015-03-10 16:58:10 +00001623
David Blaikie6b288cf2013-10-30 20:42:41 +00001624 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1625 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1626}
David Blaikiebc563272013-12-13 21:33:40 +00001627
David Blaikiea34568b2014-11-01 20:06:28 +00001628void DwarfUnit::initSection(const MCSection *Section) {
1629 assert(!this->Section);
1630 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001631}
1632
Rafael Espindola063d7252015-03-10 16:58:10 +00001633void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1634 DwarfUnit::emitHeader(UseOffsets);
David Blaikiebc563272013-12-13 21:33:40 +00001635 Asm->OutStreamer.AddComment("Type Signature");
1636 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
1637 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001638 // In a skeleton type unit there is no type DIE so emit a zero offset.
1639 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
1640 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001641}
1642
David Blaikiecafd9622014-11-02 08:51:37 +00001643bool DwarfTypeUnit::isDwoUnit() const {
1644 // Since there are no skeleton type units, all type units are dwo type units
1645 // when split DWARF is being used.
1646 return DD->useSplitDwarf();
1647}