blob: 59b47eece5931547ff6db45476e4e11a53648202 [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"
David Blaikie37c52312014-10-04 15:49:50 +000015
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "DwarfAccelTable.h"
David Blaikie37c52312014-10-04 15:49:50 +000017#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000018#include "DwarfDebug.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000021#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
23#include "llvm/IR/GlobalVariable.h"
24#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000025#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000026#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000027#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000028#include "llvm/MC/MCSection.h"
29#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000030#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000031#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000032#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000033#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000034#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000035#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000036
37using namespace llvm;
38
Chandler Carruth1b9dde02014-04-22 02:02:50 +000039#define DEBUG_TYPE "dwarfdebug"
40
Eric Christopher4287a492013-12-09 23:57:44 +000041static cl::opt<bool>
42GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
43 cl::desc("Generate DWARF4 type units."),
44 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000045
David Blaikie2a80e442013-12-02 22:09:48 +000046/// Unit - Unit constructor.
David Blaikiebd579052014-04-28 21:14:27 +000047DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag, DICompileUnit Node,
David Blaikie92a2f8a2014-04-28 21:04:29 +000048 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000049 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
50 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr),
Craig Topper353eda42014-04-24 06:44:33 +000051 Skeleton(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000052 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
53 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000054 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
55}
56
David Blaikiebd579052014-04-28 21:14:27 +000057DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000058 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000059 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000060 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
61 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000062 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000063 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000064}
David Blaikie409dd9c2013-11-19 23:08:21 +000065
David Blaikie319a05f2013-12-02 19:33:10 +000066/// ~Unit - Destructor for compile unit.
Eric Christophera5a79422013-12-09 23:32:48 +000067DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000068 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
69 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000070 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
71 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000072}
73
74/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
75/// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +000076DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000077 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
78 return Value;
79}
80
Bill Wendling3495f9b2012-12-06 07:55:19 +000081/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000082/// DWARF version doesn't handle the language, return -1.
Eric Christophera5a79422013-12-09 23:32:48 +000083int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000084 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000085 default:
86 break;
87
88 case dwarf::DW_LANG_C89:
89 case dwarf::DW_LANG_C99:
90 case dwarf::DW_LANG_C:
91 case dwarf::DW_LANG_C_plus_plus:
92 case dwarf::DW_LANG_ObjC:
93 case dwarf::DW_LANG_ObjC_plus_plus:
94 return 0;
95
96 case dwarf::DW_LANG_Fortran77:
97 case dwarf::DW_LANG_Fortran90:
98 case dwarf::DW_LANG_Fortran95:
99 return 1;
100
101 // The languages below have valid values only if the DWARF version >= 4.
102 case dwarf::DW_LANG_Java:
103 case dwarf::DW_LANG_Python:
104 case dwarf::DW_LANG_UPC:
105 case dwarf::DW_LANG_D:
106 if (dwarf::DWARF_VERSION >= 4)
107 return 0;
108 break;
109
110 case dwarf::DW_LANG_Ada83:
111 case dwarf::DW_LANG_Ada95:
112 case dwarf::DW_LANG_Cobol74:
113 case dwarf::DW_LANG_Cobol85:
114 case dwarf::DW_LANG_Modula2:
115 case dwarf::DW_LANG_Pascal83:
116 case dwarf::DW_LANG_PLI:
117 if (dwarf::DWARF_VERSION >= 4)
118 return 1;
119 break;
120 }
121
122 return -1;
123}
124
Manman Ren4dbdc902013-10-31 17:54:35 +0000125/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie4201ddf2013-11-15 22:59:36 +0000126static bool isShareableAcrossCUs(DIDescriptor D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000127 // When the MDNode can be part of the type system, the DIE can be shared
128 // across CUs.
129 // Combining type units and cross-CU DIE sharing is lower value (since
130 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
131 // level already) but may be implementable for some value in projects
132 // building multiple independent libraries with LTO and then linking those
133 // together.
David Blaikie409dd9c2013-11-19 23:08:21 +0000134 return (D.isType() ||
135 (D.isSubprogram() && !DISubprogram(D).isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000136 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000137}
138
139/// getDIE - Returns the debug information entry map slot for the
140/// specified debug variable. We delegate the request to DwarfDebug
141/// when the DIE for this MDNode can be shared across CUs. The mappings
142/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000143DIE *DwarfUnit::getDIE(DIDescriptor D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000144 if (isShareableAcrossCUs(D))
145 return DD->getDIE(D);
146 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000147}
148
149/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
150/// when the DIE for this MDNode can be shared across CUs. The mappings
151/// will be kept in DwarfDebug for shareable DIEs.
Eric Christophera5a79422013-12-09 23:32:48 +0000152void DwarfUnit::insertDIE(DIDescriptor Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000153 if (isShareableAcrossCUs(Desc)) {
154 DD->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000155 return;
156 }
David Blaikie2ad00162013-11-15 23:09:13 +0000157 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000158}
159
Eric Christopherbb69a272012-08-24 01:14:27 +0000160/// addFlag - Add a flag that is true.
David Blaikie65a74662014-04-25 18:26:14 +0000161void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000162 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000163 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000164 else
David Blaikie65a74662014-04-25 18:26:14 +0000165 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000166}
167
Devang Patel0e821f42011-04-12 23:21:44 +0000168/// addUInt - Add an unsigned integer attribute data and value.
169///
David Blaikie65a74662014-04-25 18:26:14 +0000170void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000171 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000172 if (!Form)
173 Form = DIEInteger::BestForm(false, Integer);
174 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
175 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000176 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000177}
178
David Blaikie65a74662014-04-25 18:26:14 +0000179void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000180 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000181}
182
183/// addSInt - Add an signed integer attribute data and value.
184///
David Blaikie65a74662014-04-25 18:26:14 +0000185void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000186 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000187 if (!Form)
188 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000189 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000190 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000191}
192
David Blaikie65a74662014-04-25 18:26:14 +0000193void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000194 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000195 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000196}
197
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000198/// addString - Add a string attribute data and value. We always emit a
199/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000200/// more predictable sizes. In the case of split dwarf we emit an index
201/// into another table which gets us the static offset into the string
202/// table.
David Blaikie65a74662014-04-25 18:26:14 +0000203void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000204 StringRef String) {
Eric Christopher05893f42013-12-30 18:32:31 +0000205
206 if (!DD->useSplitDwarf())
207 return addLocalString(Die, Attribute, String);
208
David Blaikiedaefdbf2014-04-25 21:34:35 +0000209 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000210 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000211 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000212 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000213}
214
215/// addLocalString - Add a string attribute data and value. This is guaranteed
216/// to be in the local string pool instead of indirected.
David Blaikie65a74662014-04-25 18:26:14 +0000217void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000218 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000219 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000220 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000221 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000222 Value = new (DIEValueAllocator) DIELabel(Symb);
David Blaikie6741bb02014-09-11 21:12:48 +0000223 else
224 Value = new (DIEValueAllocator) DIEDelta(Symb, DD->getDebugStrSym());
Eric Christopher05893f42013-12-30 18:32:31 +0000225 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000226 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000227}
228
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000229/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000230///
David Blaikie65a74662014-04-25 18:26:14 +0000231void DwarfUnit::addExpr(DIELoc &Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000232 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikie65a74662014-04-25 18:26:14 +0000233 Die.addValue((dwarf::Attribute)0, Form, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000234}
235
Eric Christophera27220f2014-03-05 22:41:20 +0000236/// addLocationList - Add a Dwarf loclistptr attribute data and value.
237///
David Blaikie65a74662014-04-25 18:26:14 +0000238void DwarfUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera27220f2014-03-05 22:41:20 +0000239 unsigned Index) {
240 DIEValue *Value = new (DIEValueAllocator) DIELocList(Index);
241 dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
242 : dwarf::DW_FORM_data4;
David Blaikie65a74662014-04-25 18:26:14 +0000243 Die.addValue(Attribute, Form, Value);
Eric Christophera27220f2014-03-05 22:41:20 +0000244}
245
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000246/// addLabel - Add a Dwarf label attribute data and value.
247///
David Blaikie65a74662014-04-25 18:26:14 +0000248void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000249 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000250 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000251 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000252}
253
David Blaikie65a74662014-04-25 18:26:14 +0000254void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000255 addLabel(Die, (dwarf::Attribute)0, Form, Label);
256}
257
Eric Christopher33ff6972013-11-21 23:46:41 +0000258/// addSectionLabel - Add a Dwarf section label attribute data and value.
259///
David Blaikie65a74662014-04-25 18:26:14 +0000260void DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000261 const MCSymbol *Label) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000262 if (DD->getDwarfVersion() >= 4)
263 addLabel(Die, Attribute, dwarf::DW_FORM_sec_offset, Label);
264 else
265 addLabel(Die, Attribute, dwarf::DW_FORM_data4, Label);
266}
267
268/// addSectionOffset - Add an offset into a section attribute data and value.
269///
David Blaikie65a74662014-04-25 18:26:14 +0000270void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000271 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000272 if (DD->getDwarfVersion() >= 4)
273 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
274 else
275 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
276}
277
David Blaikie4a2f95f2014-03-18 01:17:26 +0000278unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
279 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
280 : getCU().getOrCreateSourceID(FileName, DirName);
281}
282
Eric Christophere9ec2452013-01-18 22:11:33 +0000283/// addOpAddress - Add a dwarf op address data and value using the
284/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
285///
David Blaikie65a74662014-04-25 18:26:14 +0000286void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000287 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000288 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
289 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000290 } else {
David Blaikief2443192013-10-21 17:28:37 +0000291 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000292 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000293 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000294 }
295}
296
Eric Christopher33ff6972013-11-21 23:46:41 +0000297/// addSectionDelta - Add a section label delta attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000298///
David Blaikie65a74662014-04-25 18:26:14 +0000299void DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000300 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel0e821f42011-04-12 23:21:44 +0000301 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000302 Die.addValue(Attribute, DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
303 : dwarf::DW_FORM_data4,
304 Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000305}
306
David Blaikie65a74662014-04-25 18:26:14 +0000307void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000308 const MCSymbol *Hi, const MCSymbol *Lo) {
309 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000310 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000311}
312
Devang Patel0e821f42011-04-12 23:21:44 +0000313/// addDIEEntry - Add a DIE attribute data and value.
314///
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000315void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000316 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
317}
318
David Blaikie65a74662014-04-25 18:26:14 +0000319void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000320 // Flag the type unit reference as a declaration so that if it contains
321 // members (implicit special members, static data member definitions, member
322 // declarations for definitions in this CU, etc) consumers don't get confused
323 // and think this is a full definition.
324 addFlag(Die, dwarf::DW_AT_declaration);
325
David Blaikie65a74662014-04-25 18:26:14 +0000326 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
327 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000328}
329
David Blaikie65a74662014-04-25 18:26:14 +0000330void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000331 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000332 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000333 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000334 if (!DieCU)
335 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000336 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000337 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000338 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000339 Die.addValue(Attribute,
340 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
341 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000342}
343
Manman Renb987e512013-10-29 00:53:03 +0000344/// Create a DIE with the given Tag, add the DIE to its parent, and
345/// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000346DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, DIDescriptor N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000347 assert(Tag != dwarf::DW_TAG_auto_variable &&
348 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000349 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000350 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000351 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000352 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000353 return Die;
354}
355
Devang Patel0e821f42011-04-12 23:21:44 +0000356/// addBlock - Add block data.
357///
David Blaikie65a74662014-04-25 18:26:14 +0000358void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000359 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000360 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000361 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000362}
363
David Blaikie65a74662014-04-25 18:26:14 +0000364void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000365 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000366 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000367 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000368 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000369}
370
371/// addSourceLine - Add location information to specified debug information
372/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000373void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000374 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000375 if (Line == 0)
376 return;
David Blaikie101613e2014-02-12 00:11:25 +0000377
David Blaikie4a2f95f2014-03-18 01:17:26 +0000378 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000379 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000380 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
381 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
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, DIVariable V) {
David Blaikie101613e2014-02-12 00:11:25 +0000387 assert(V.isVariable());
388
Eric Christopher89a575c2014-02-12 22:38:04 +0000389 addSourceLine(Die, V.getLineNumber(), V.getContext().getFilename(),
390 V.getContext().getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000391}
392
393/// addSourceLine - Add location information to specified debug information
394/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000395void DwarfUnit::addSourceLine(DIE &Die, DIGlobalVariable G) {
David Blaikie52019302014-02-11 23:57:03 +0000396 assert(G.isGlobalVariable());
Devang Patel0e821f42011-04-12 23:21:44 +0000397
David Blaikie101613e2014-02-12 00:11:25 +0000398 addSourceLine(Die, G.getLineNumber(), G.getFilename(), G.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000399}
400
401/// addSourceLine - Add location information to specified debug information
402/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000403void DwarfUnit::addSourceLine(DIE &Die, DISubprogram SP) {
David Blaikie52019302014-02-11 23:57:03 +0000404 assert(SP.isSubprogram());
Eric Christopher7734ca22012-03-15 23:55:40 +0000405
David Blaikie101613e2014-02-12 00:11:25 +0000406 addSourceLine(Die, SP.getLineNumber(), SP.getFilename(), SP.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000407}
408
409/// addSourceLine - Add location information to specified debug information
410/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000411void DwarfUnit::addSourceLine(DIE &Die, DIType Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000412 assert(Ty.isType());
Devang Patel0e821f42011-04-12 23:21:44 +0000413
David Blaikie101613e2014-02-12 00:11:25 +0000414 addSourceLine(Die, Ty.getLineNumber(), Ty.getFilename(), Ty.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000415}
416
417/// addSourceLine - Add location information to specified debug information
418/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000419void DwarfUnit::addSourceLine(DIE &Die, DIObjCProperty Ty) {
David Blaikie52019302014-02-11 23:57:03 +0000420 assert(Ty.isObjCProperty());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000421
Eric Christopher70e1bd82012-03-29 08:42:56 +0000422 DIFile File = Ty.getFile();
David Blaikie101613e2014-02-12 00:11:25 +0000423 addSourceLine(Die, Ty.getLineNumber(), File.getFilename(),
424 File.getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000425}
426
427/// addSourceLine - Add location information to specified debug information
428/// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000429void DwarfUnit::addSourceLine(DIE &Die, DINameSpace NS) {
David Blaikie52019302014-02-11 23:57:03 +0000430 assert(NS.Verify());
Devang Patel0e821f42011-04-12 23:21:44 +0000431
David Blaikie101613e2014-02-12 00:11:25 +0000432 addSourceLine(Die, NS.getLineNumber(), NS.getFilename(), NS.getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000433}
434
Eric Christopher92331fd2012-11-21 00:34:38 +0000435/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000436/// DbgVariable based on provided MachineLocation.
David Blaikie65a74662014-04-25 18:26:14 +0000437void DwarfUnit::addVariableAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000438 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000439 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000440 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000441 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000442 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
443 else
David Blaikieea2605d2013-06-20 00:25:24 +0000444 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000445 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000446}
447
Devang Patelba5fbf12011-04-26 19:06:18 +0000448/// addRegisterOp - Add register operand.
Adrian Prantlb1416832014-08-01 22:11:58 +0000449// FIXME: Ideally, this would share the implementation with
450// AsmPrinter::EmitDwarfRegOpPiece.
451void DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
452 unsigned SizeInBits, unsigned OffsetInBits) {
Eric Christopherd9134482014-08-04 21:25:23 +0000453 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000454 int DWReg = RI->getDwarfRegNum(Reg, false);
455 bool isSubRegister = DWReg < 0;
456
457 unsigned Idx = 0;
458
459 // Go up the super-register chain until we hit a valid dwarf register number.
460 for (MCSuperRegIterator SR(Reg, RI); SR.isValid() && DWReg < 0; ++SR) {
461 DWReg = RI->getDwarfRegNum(*SR, false);
462 if (DWReg >= 0)
463 Idx = RI->getSubRegIndex(*SR, Reg);
464 }
465
466 if (DWReg < 0) {
Eric Christophera13839f2014-02-26 23:27:16 +0000467 DEBUG(dbgs() << "Invalid Dwarf register number.\n");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000468 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_nop);
469 return;
470 }
471
Adrian Prantlb1416832014-08-01 22:11:58 +0000472 // Emit register.
Devang Patelba5fbf12011-04-26 19:06:18 +0000473 if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000474 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000475 else {
David Blaikief2443192013-10-21 17:28:37 +0000476 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
477 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000478 }
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000479
Adrian Prantlb1416832014-08-01 22:11:58 +0000480 // Emit mask.
481 bool isPiece = SizeInBits > 0;
482 if (isSubRegister || isPiece) {
483 const unsigned SizeOfByte = 8;
484 unsigned RegSizeInBits = RI->getSubRegIdxSize(Idx);
485 unsigned RegOffsetInBits = RI->getSubRegIdxOffset(Idx);
486 unsigned PieceSizeInBits = std::max(SizeInBits, RegSizeInBits);
487 unsigned PieceOffsetInBits = OffsetInBits ? OffsetInBits : RegOffsetInBits;
488 assert(RegSizeInBits >= SizeInBits && "register smaller than value");
489
490 if (RegOffsetInBits != PieceOffsetInBits) {
491 // Manually shift the value into place, since the DW_OP_piece
492 // describes the part of the variable, not the position of the
493 // subregister.
494 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
495 addUInt(TheDie, dwarf::DW_FORM_data1, RegOffsetInBits);
496 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_shr);
497 }
498
499 if (PieceOffsetInBits > 0 || PieceSizeInBits % SizeOfByte) {
500 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000501 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000502 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits);
503 addUInt(TheDie, dwarf::DW_FORM_data1, PieceOffsetInBits);
504 } else {
505 assert(PieceSizeInBits > 0 && "piece has zero size");
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000506 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_piece);
Adrian Prantlb1416832014-08-01 22:11:58 +0000507 addUInt(TheDie, dwarf::DW_FORM_data1, PieceSizeInBits/SizeOfByte);
Adrian Prantlcbcd5782014-02-11 22:22:15 +0000508 }
509 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000510}
511
512/// addRegisterOffset - Add register offset.
David Blaikie65a74662014-04-25 18:26:14 +0000513void DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000514 int64_t Offset) {
Eric Christopherd9134482014-08-04 21:25:23 +0000515 const TargetRegisterInfo *RI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000516 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
Eric Christopherd9134482014-08-04 21:25:23 +0000517 const TargetRegisterInfo *TRI = Asm->TM.getSubtargetImpl()->getRegisterInfo();
Devang Patelba5fbf12011-04-26 19:06:18 +0000518 if (Reg == TRI->getFrameRegister(*Asm->MF))
519 // If variable offset is based in frame register then use fbreg.
David Blaikief2443192013-10-21 17:28:37 +0000520 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000521 else if (DWReg < 32)
David Blaikief2443192013-10-21 17:28:37 +0000522 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000523 else {
David Blaikief2443192013-10-21 17:28:37 +0000524 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
525 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patelba5fbf12011-04-26 19:06:18 +0000526 }
David Blaikief2443192013-10-21 17:28:37 +0000527 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000528}
529
530/// addAddress - Add an address attribute to a die based on the location
531/// provided.
David Blaikie65a74662014-04-25 18:26:14 +0000532void DwarfUnit::addAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000533 const MachineLocation &Location, bool Indirect) {
Eric Christopher4a741042014-02-16 08:46:55 +0000534 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patelba5fbf12011-04-26 19:06:18 +0000535
David Blaikieea2605d2013-06-20 00:25:24 +0000536 if (Location.isReg() && !Indirect)
Adrian Prantlb1416832014-08-01 22:11:58 +0000537 addRegisterOpPiece(*Loc, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000538 else {
David Blaikie65a74662014-04-25 18:26:14 +0000539 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000540 if (Indirect && !Location.isReg()) {
David Blaikie65a74662014-04-25 18:26:14 +0000541 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikieea2605d2013-06-20 00:25:24 +0000542 }
543 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000544
545 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000546 addBlock(Die, Attribute, Loc);
Devang Patelba5fbf12011-04-26 19:06:18 +0000547}
548
Devang Patel0e821f42011-04-12 23:21:44 +0000549/// addComplexAddress - Start with the address based on the location provided,
550/// and generate the DWARF information necessary to find the actual variable
Eric Christopher1c70b672013-12-05 00:13:15 +0000551/// given the extra address information encoded in the DbgVariable, starting
552/// from the starting location. Add the DWARF information to the die.
Devang Patel0e821f42011-04-12 23:21:44 +0000553///
David Blaikie65a74662014-04-25 18:26:14 +0000554void DwarfUnit::addComplexAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000555 dwarf::Attribute Attribute,
556 const MachineLocation &Location) {
Eric Christopher4a741042014-02-16 08:46:55 +0000557 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000558 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000559 unsigned i = 0;
560 if (Location.isReg()) {
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000561 if (N >= 2 && DV.getAddrElement(0) == dwarf::DW_OP_plus) {
562 assert(!DV.getVariable().isIndirect() &&
563 "double indirection not handled");
Devang Patel3e021532011-04-28 02:22:40 +0000564 // If first address element is OpPlus then emit
565 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
David Blaikie65a74662014-04-25 18:26:14 +0000566 addRegisterOffset(*Loc, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000567 i = 2;
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000568 } else if (N >= 2 && DV.getAddrElement(0) == dwarf::DW_OP_deref) {
569 assert(!DV.getVariable().isIndirect() &&
570 "double indirection not handled");
571 addRegisterOpPiece(*Loc, Location.getReg(),
572 DV.getExpression().getPieceSize(),
573 DV.getExpression().getPieceOffset());
574 i = 3;
Devang Patel3e021532011-04-28 02:22:40 +0000575 } else
Adrian Prantlb1416832014-08-01 22:11:58 +0000576 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopherc2697f82013-10-19 01:04:47 +0000577 } else
David Blaikie65a74662014-04-25 18:26:14 +0000578 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000579
Eric Christopherc2697f82013-10-19 01:04:47 +0000580 for (; i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000581 uint64_t Element = DV.getAddrElement(i);
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000582 if (Element == dwarf::DW_OP_plus) {
David Blaikie65a74662014-04-25 18:26:14 +0000583 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
584 addUInt(*Loc, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Adrian Prantlb1416832014-08-01 22:11:58 +0000585
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000586 } else if (Element == dwarf::DW_OP_deref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000587 if (!Location.isReg())
David Blaikie65a74662014-04-25 18:26:14 +0000588 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Adrian Prantlb1416832014-08-01 22:11:58 +0000589
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000590 } else if (Element == dwarf::DW_OP_piece) {
Adrian Prantlb1416832014-08-01 22:11:58 +0000591 const unsigned SizeOfByte = 8;
592 unsigned PieceOffsetInBits = DV.getAddrElement(++i)*SizeOfByte;
593 unsigned PieceSizeInBits = DV.getAddrElement(++i)*SizeOfByte;
594 // Emit DW_OP_bit_piece Size Offset.
595 assert(PieceSizeInBits > 0 && "piece has zero size");
596 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_bit_piece);
597 addUInt(*Loc, dwarf::DW_FORM_udata, PieceSizeInBits);
598 addUInt(*Loc, dwarf::DW_FORM_udata, PieceOffsetInBits);
599
Eric Christopherc2697f82013-10-19 01:04:47 +0000600 } else
601 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel0e821f42011-04-12 23:21:44 +0000602 }
603
604 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000605 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000606}
607
608/* Byref variables, in Blocks, are declared by the programmer as "SomeType
609 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
610 gives the variable VarName either the struct, or a pointer to the struct, as
611 its type. This is necessary for various behind-the-scenes things the
612 compiler needs to do with by-reference variables in Blocks.
613
614 However, as far as the original *programmer* is concerned, the variable
615 should still have type 'SomeType', as originally declared.
616
617 The function getBlockByrefType dives into the __Block_byref_x_VarName
618 struct to find the original type of the variable, which is then assigned to
619 the variable's Debug Information Entry as its real type. So far, so good.
620 However now the debugger will expect the variable VarName to have the type
621 SomeType. So we need the location attribute for the variable to be an
622 expression that explains to the debugger how to navigate through the
623 pointers and struct to find the actual variable of type SomeType.
624
625 The following function does just that. We start by getting
626 the "normal" location for the variable. This will be the location
627 of either the struct __Block_byref_x_VarName or the pointer to the
628 struct __Block_byref_x_VarName.
629
630 The struct will look something like:
631
632 struct __Block_byref_x_VarName {
633 ... <various fields>
634 struct __Block_byref_x_VarName *forwarding;
635 ... <various other fields>
636 SomeType VarName;
637 ... <maybe more fields>
638 };
639
640 If we are given the struct directly (as our starting point) we
641 need to tell the debugger to:
642
643 1). Add the offset of the forwarding field.
644
645 2). Follow that pointer to get the real __Block_byref_x_VarName
646 struct to use (the real one may have been copied onto the heap).
647
648 3). Add the offset for the field VarName, to find the actual variable.
649
650 If we started with a pointer to the struct, then we need to
651 dereference that pointer first, before the other steps.
652 Translating this into DWARF ops, we will need to append the following
653 to the current location description for the variable:
654
655 DW_OP_deref -- optional, if we start with a pointer
656 DW_OP_plus_uconst <forward_fld_offset>
657 DW_OP_deref
658 DW_OP_plus_uconst <varName_fld_offset>
659
660 That is what this function does. */
661
662/// addBlockByrefAddress - Start with the address based on the location
663/// provided, and generate the DWARF information necessary to find the
664/// actual Block variable (navigating the Block struct) based on the
665/// starting location. Add the DWARF information to the die. For
666/// more information, read large comment just above here.
667///
David Blaikie65a74662014-04-25 18:26:14 +0000668void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000669 dwarf::Attribute Attribute,
670 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000671 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000672 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000673 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000674 bool isPointer = false;
675
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000676 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000677
678 if (Tag == dwarf::DW_TAG_pointer_type) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000679 DIDerivedType DTy(Ty);
Manman Ren93b30902013-10-08 18:42:58 +0000680 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +0000681 isPointer = true;
682 }
683
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000684 DICompositeType blockStruct(TmpTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000685
686 // Find the __forwarding field and the variable field in the __Block_byref
687 // struct.
Manman Renab8ffba2014-07-28 19:14:13 +0000688 DIArray Fields = blockStruct.getElements();
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000689 DIDerivedType varField;
690 DIDerivedType forwardingField;
Devang Patel0e821f42011-04-12 23:21:44 +0000691
692 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000693 DIDerivedType DT(Fields.getElement(i));
Devang Patel0e821f42011-04-12 23:21:44 +0000694 StringRef fieldName = DT.getName();
695 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000696 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000697 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000698 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000699 }
700
701 // Get the offsets for the forwarding field and the variable field.
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000702 unsigned forwardingFieldOffset = forwardingField.getOffsetInBits() >> 3;
703 unsigned varFieldOffset = varField.getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000704
705 // Decode the original location, and use that as the start of the byref
706 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000707 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000708
Eric Christopheref9d7102012-07-04 02:02:18 +0000709 if (Location.isReg())
Adrian Prantlb1416832014-08-01 22:11:58 +0000710 addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000711 else
David Blaikie65a74662014-04-25 18:26:14 +0000712 addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000713
714 // If we started with a pointer to the __Block_byref... struct, then
715 // the first thing we need to do is dereference the pointer (DW_OP_deref).
716 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000717 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000718
719 // Next add the offset for the '__forwarding' field:
720 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
721 // adding the offset if it's 0.
722 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000723 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
724 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000725 }
726
727 // Now dereference the __forwarding field to get to the real __Block_byref
728 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000729 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000730
731 // Now that we've got the real __Block_byref... struct, add the offset
732 // for the variable's field to get to the location of the actual variable:
733 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
734 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000735 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
736 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000737 }
738
739 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000740 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000741}
742
Manman Renb3388602013-10-05 01:43:03 +0000743/// Return true if type encoding is unsigned.
744static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
745 DIDerivedType DTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000746 if (DTy.isDerivedType()) {
David Blaikie2af1c802014-05-20 18:21:51 +0000747 dwarf::Tag T = (dwarf::Tag)Ty.getTag();
748 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000749 // null pointer constant emission.
750 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
751 // here, but accept them for now due to a bug in SROA producing bogus
752 // dbg.values.
David Blaikie2af1c802014-05-20 18:21:51 +0000753 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000754 T == dwarf::DW_TAG_ptr_to_member_type ||
755 T == dwarf::DW_TAG_reference_type ||
756 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000757 return true;
758 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
759 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000760 T == dwarf::DW_TAG_restrict_type ||
761 T == dwarf::DW_TAG_enumeration_type);
David Blaikie2af1c802014-05-20 18:21:51 +0000762 if (DITypeRef Deriv = DTy.getTypeDerivedFrom())
763 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000764 // FIXME: Enums without a fixed underlying type have unknown signedness
765 // here, leading to incorrectly emitted constants.
766 assert(DTy.getTag() == dwarf::DW_TAG_enumeration_type);
767 return false;
768 }
Manman Renb3388602013-10-05 01:43:03 +0000769
770 DIBasicType BTy(Ty);
David Blaikiee0f14742014-05-11 17:04:05 +0000771 assert(BTy.isBasicType());
David Blaikie60cae1b2014-05-11 16:08:41 +0000772 unsigned Encoding = BTy.getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000773 assert((Encoding == dwarf::DW_ATE_unsigned ||
774 Encoding == dwarf::DW_ATE_unsigned_char ||
775 Encoding == dwarf::DW_ATE_signed ||
776 Encoding == dwarf::DW_ATE_signed_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000777 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean) &&
778 "Unsupported encoding");
David Blaikie60cae1b2014-05-11 16:08:41 +0000779 return (Encoding == dwarf::DW_ATE_unsigned ||
780 Encoding == dwarf::DW_ATE_unsigned_char ||
David Blaikiec405c9c2014-05-16 21:53:09 +0000781 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean);
Manman Renb3388602013-10-05 01:43:03 +0000782}
783
784/// If this type is derived from a base type then return base type size.
Manman Renbda410f2013-10-08 18:46:58 +0000785static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renb3388602013-10-05 01:43:03 +0000786 unsigned Tag = Ty.getTag();
787
788 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
789 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
790 Tag != dwarf::DW_TAG_restrict_type)
791 return Ty.getSizeInBits();
792
793 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
794
Eric Christopher8cc04fc2014-03-12 18:18:05 +0000795 // If this type is not derived from any type or the type is a declaration then
796 // take conservative approach.
797 if (!BaseType.isValid() || BaseType.isForwardDecl())
Manman Renb3388602013-10-05 01:43:03 +0000798 return Ty.getSizeInBits();
799
800 // If this is a derived type, go ahead and get the base type, unless it's a
801 // reference then it's just the size of the field. Pointer types have no need
802 // of this since they're a different type of qualification on the type.
803 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
804 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
805 return Ty.getSizeInBits();
806
807 if (BaseType.isDerivedType())
Manman Renbda410f2013-10-08 18:46:58 +0000808 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renb3388602013-10-05 01:43:03 +0000809
810 return BaseType.getSizeInBits();
811}
812
Devang Patel0e821f42011-04-12 23:21:44 +0000813/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000814void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000815 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000816 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
817 APFloat FPImm = MO.getFPImm()->getValueAPF();
818
819 // Get the raw data form of the floating point.
820 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000821 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000822
823 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000824 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000825 int Incr = (LittleEndian ? 1 : -1);
826 int Start = (LittleEndian ? 0 : NumBytes - 1);
827 int Stop = (LittleEndian ? NumBytes : -1);
828
829 // Output the constant to DWARF one byte at a time.
830 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000831 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000832
David Blaikief2443192013-10-21 17:28:37 +0000833 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000834}
835
David Blaikiea39a76e2013-01-20 01:18:01 +0000836/// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000837void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000838 // Pass this down to addConstantValue as an unsigned bag of bits.
839 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000840}
841
Devang Patel0e821f42011-04-12 23:21:44 +0000842/// addConstantValue - Add constant value entry in variable DIE.
David Blaikiec0a28412014-05-11 15:56:59 +0000843void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty) {
844 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000845}
846
David Blaikiec05c8f42014-05-11 15:47:39 +0000847/// addConstantValue - Add constant value entry in variable DIE.
848void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
849 DIType Ty) {
850 assert(MO.isImm() && "Invalid machine operand!");
851
David Blaikie60cae1b2014-05-11 16:08:41 +0000852 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000853}
854
David Blaikie60cae1b2014-05-11 16:08:41 +0000855void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000856 // FIXME: This is a bit conservative/simple - it emits negative values always
857 // sign extended to 64 bits rather than minimizing the number of bytes.
858 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000859 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000860}
861
David Blaikiec0a28412014-05-11 15:56:59 +0000862void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, DIType Ty) {
863 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
864}
865
David Blaikiea39a76e2013-01-20 01:18:01 +0000866// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000867void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000868 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000869 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000870 addConstantValue(Die, Unsigned,
871 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000872 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000873 }
874
875 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
876
877 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000878 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000879
880 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000881 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000882
883 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000884 for (int i = 0; i < NumBytes; i++) {
885 uint8_t c;
886 if (LittleEndian)
887 c = Ptr64[i / 8] >> (8 * (i & 7));
888 else
889 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000890 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000891 }
Devang Patel0e821f42011-04-12 23:21:44 +0000892
David Blaikief2443192013-10-21 17:28:37 +0000893 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000894}
895
Eric Christopher25e35092013-04-22 07:47:40 +0000896/// addTemplateParams - Add template parameters into buffer.
Eric Christophera5a79422013-12-09 23:32:48 +0000897void DwarfUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000898 // Add template parameters.
899 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
900 DIDescriptor Element = TParams.getElement(i);
901 if (Element.isTemplateTypeParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000902 constructTemplateTypeParameterDIE(Buffer,
903 DITemplateTypeParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000904 else if (Element.isTemplateValueParameter())
Manman Renffc9a712013-10-23 23:05:28 +0000905 constructTemplateValueParameterDIE(Buffer,
906 DITemplateValueParameter(Element));
Devang Patel0e821f42011-04-12 23:21:44 +0000907 }
Devang Patel0e821f42011-04-12 23:21:44 +0000908}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000909
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000910/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christophera5a79422013-12-09 23:32:48 +0000911DIE *DwarfUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikiebd700e42013-11-14 21:24:34 +0000912 if (!Context || Context.isFile())
David Blaikieadcde362014-04-25 18:35:57 +0000913 return &getUnitDie();
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000914 if (Context.isType())
915 return getOrCreateTypeDIE(DIType(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000916 if (Context.isNameSpace())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000917 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikie1dbca702013-11-14 19:37:56 +0000918 if (Context.isSubprogram())
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000919 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000920 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000921}
922
Eric Christophera5a79422013-12-09 23:32:48 +0000923DIE *DwarfUnit::createTypeDIE(DICompositeType Ty) {
David Blaikie9d861be2013-11-26 00:15:27 +0000924 DIScope Context = resolve(Ty.getContext());
925 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000926
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000927 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000928 return TyDIE;
929
930 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000931 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000932
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000933 constructTypeDIE(TyDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000934
David Blaikie9d861be2013-11-26 00:15:27 +0000935 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000936 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000937}
938
Devang Patel0e821f42011-04-12 23:21:44 +0000939/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
940/// given DIType.
Eric Christophera5a79422013-12-09 23:32:48 +0000941DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000942 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000943 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000944
David Blaikie32887552013-11-14 22:25:02 +0000945 DIType Ty(TyNode);
946 assert(Ty.isType());
Adrian Prantlc95ec912014-03-24 21:33:01 +0000947 assert(Ty == resolve(Ty.getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000948 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000949
David Blaikieee11f222014-04-12 05:35:59 +0000950 // DW_TAG_restrict_type is not supported in DWARF2
951 if (Ty.getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
952 return getOrCreateTypeDIE(resolve(DIDerivedType(Ty).getTypeDerivedFrom()));
953
Manman Renf4c339e2013-10-29 22:49:29 +0000954 // Construct the context before querying for the existence of the DIE in case
955 // such construction creates the DIE.
David Blaikie9d861be2013-11-26 00:15:27 +0000956 DIScope Context = resolve(Ty.getContext());
957 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000958 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000959
David Blaikie65a74662014-04-25 18:26:14 +0000960 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000961 return TyDIE;
962
963 // Create new type.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000964 DIE &TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000965
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000966 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000967
Devang Patel0e821f42011-04-12 23:21:44 +0000968 if (Ty.isBasicType())
David Blaikie65a74662014-04-25 18:26:14 +0000969 constructTypeDIE(TyDIE, DIBasicType(Ty));
David Blaikie8a263cb2013-11-26 00:22:37 +0000970 else if (Ty.isCompositeType()) {
971 DICompositeType CTy(Ty);
David Blaikiecfb21152014-01-03 18:59:42 +0000972 if (GenerateDwarfTypeUnits && !Ty.isForwardDecl())
973 if (MDString *TypeId = CTy.getIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000974 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000975 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000976 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000977 }
David Blaikie65a74662014-04-25 18:26:14 +0000978 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000979 } else {
Devang Patel0e821f42011-04-12 23:21:44 +0000980 assert(Ty.isDerivedType() && "Unknown kind of DIType");
David Blaikie65a74662014-04-25 18:26:14 +0000981 constructTypeDIE(TyDIE, DIDerivedType(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000982 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000983
David Blaikie65a74662014-04-25 18:26:14 +0000984 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000985}
986
Eric Christophera5a79422013-12-09 23:32:48 +0000987void DwarfUnit::updateAcceleratorTables(DIScope Context, DIType Ty,
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000988 const DIE &TyDIE) {
Eric Christopher21bde872012-01-06 04:35:23 +0000989 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
990 bool IsImplementation = 0;
991 if (Ty.isCompositeType()) {
992 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000993 // A runtime language of 0 actually means C/C++ and that any
994 // non-negative value is some version of Objective-C/C++.
Eric Christopherc2697f82013-10-19 01:04:47 +0000995 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000996 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000997 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie18d33752014-04-24 01:23:49 +0000998 DD->addAccelType(Ty.getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000999
David Blaikieadbea1e2014-03-12 03:34:38 +00001000 if ((!Context || Context.isCompileUnit() || Context.isFile() ||
1001 Context.isNameSpace()) &&
1002 getCUNode().getEmissionKind() != DIBuilder::LineTablesOnly)
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001003 GlobalTypes[getParentContextString(Context) + Ty.getName().str()] =
1004 &TyDIE;
Eric Christopher21bde872012-01-06 04:35:23 +00001005 }
Devang Patel0e821f42011-04-12 23:21:44 +00001006}
1007
1008/// addType - Add a new type attribute to the specified entity.
David Blaikie65a74662014-04-25 18:26:14 +00001009void DwarfUnit::addType(DIE &Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +00001010 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +00001011
1012 // Check for pre-existence.
1013 DIEEntry *Entry = getDIEEntry(Ty);
1014 // If it exists then use the existing value.
1015 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +00001016 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +00001017 return;
1018 }
1019
1020 // Construct type.
1021 DIE *Buffer = getOrCreateTypeDIE(Ty);
1022
1023 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001024 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001025 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +00001026 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +00001027}
1028
Eric Christopher9c58f312013-09-20 22:20:55 +00001029/// addGlobalName - Add a new global name to the compile unit.
David Blaikie65a74662014-04-25 18:26:14 +00001030void DwarfUnit::addGlobalName(StringRef Name, DIE &Die, DIScope Context) {
David Blaikieadbea1e2014-03-12 03:34:38 +00001031 if (getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1032 return;
Eric Christopher8dba0d52013-10-19 01:04:42 +00001033 std::string FullName = getParentContextString(Context) + Name.str();
David Blaikie65a74662014-04-25 18:26:14 +00001034 GlobalNames[FullName] = &Die;
Eric Christopher9c58f312013-09-20 22:20:55 +00001035}
1036
Eric Christopher2c8b7902013-10-17 02:06:06 +00001037/// getParentContextString - Walks the metadata parent chain in a language
1038/// specific manner (using the compile unit language) and returns
1039/// it as a string. This is done at the metadata level because DIEs may
1040/// not currently have been added to the parent context and walking the
1041/// DIEs looking for names is more expensive than walking the metadata.
Eric Christophera5a79422013-12-09 23:32:48 +00001042std::string DwarfUnit::getParentContextString(DIScope Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001043 if (!Context)
1044 return "";
1045
1046 // FIXME: Decide whether to implement this for non-C++ languages.
1047 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1048 return "";
1049
Eric Christopher8dba0d52013-10-19 01:04:42 +00001050 std::string CS;
Eric Christopher2c8b7902013-10-17 02:06:06 +00001051 SmallVector<DIScope, 1> Parents;
1052 while (!Context.isCompileUnit()) {
1053 Parents.push_back(Context);
1054 if (Context.getContext())
1055 Context = resolve(Context.getContext());
1056 else
1057 // Structure, etc types will have a NULL context if they're at the top
1058 // level.
1059 break;
1060 }
1061
1062 // Reverse iterate over our list to go from the outermost construct to the
1063 // innermost.
1064 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1065 E = Parents.rend();
1066 I != E; ++I) {
1067 DIScope Ctx = *I;
1068 StringRef Name = Ctx.getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001069 if (Name.empty() && Ctx.isNameSpace())
1070 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +00001071 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +00001072 CS += Name;
1073 CS += "::";
1074 }
1075 }
1076 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +00001077}
1078
1079/// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christophera5a79422013-12-09 23:32:48 +00001080void DwarfUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001081 // Get core information.
1082 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001083 // Add name if not anonymous or intermediate type.
1084 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001085 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +00001086
David Blaikiefac56122013-10-04 23:21:16 +00001087 // An unspecified type only has a name attribute.
1088 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +00001089 return;
Devang Patel04d6d472011-09-14 23:13:28 +00001090
David Blaikie65a74662014-04-25 18:26:14 +00001091 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +00001092 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +00001093
Devang Patel0e821f42011-04-12 23:21:44 +00001094 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +00001095 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001096}
1097
1098/// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001099void DwarfUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001100 // Get core information.
1101 StringRef Name = DTy.getName();
1102 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001103 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001104
1105 // Map to main type, void will not have a type.
Manman Ren93b30902013-10-08 18:42:58 +00001106 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopher0df08e22013-08-08 07:40:37 +00001107 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +00001108 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001109
1110 // Add name if not anonymous or intermediate type.
1111 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001112 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001113
1114 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +00001115 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie65a74662014-04-25 18:26:14 +00001116 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +00001117
David Blaikie5d3249b2013-01-07 05:51:15 +00001118 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +00001119 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001120 *getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +00001121 // Add source line info if available and TyDesc is not a forward declaration.
1122 if (!DTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001123 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001124}
1125
Adrian Prantl3f49c892014-02-25 19:57:42 +00001126/// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +00001127void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeArray Args) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001128 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Renf8a19672014-07-28 22:24:06 +00001129 DIType Ty = resolve(Args.getElement(i));
Manman Renf93ac4b2014-07-29 18:20:39 +00001130 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +00001131 assert(i == N-1 && "Unspecified parameter must be the last argument");
1132 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
1133 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001134 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
1135 addType(Arg, DIType(Ty));
Adrian Prantl69140d22014-02-25 22:27:14 +00001136 if (DIType(Ty).isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001137 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +00001138 }
Adrian Prantl69140d22014-02-25 22:27:14 +00001139 }
Adrian Prantl3f49c892014-02-25 19:57:42 +00001140}
1141
Devang Patel0e821f42011-04-12 23:21:44 +00001142/// constructTypeDIE - Construct type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001143void DwarfUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +00001144 // Add name if not anonymous or intermediate type.
Devang Patel0e821f42011-04-12 23:21:44 +00001145 StringRef Name = CTy.getName();
1146
1147 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +00001148 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001149
1150 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001151 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +00001152 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001153 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +00001154 case dwarf::DW_TAG_enumeration_type:
1155 constructEnumTypeDIE(Buffer, CTy);
1156 break;
Devang Patel0e821f42011-04-12 23:21:44 +00001157 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001158 // Add return type. A void return won't have a type.
Manman Renf8a19672014-07-28 22:24:06 +00001159 DITypeArray Elements = DISubroutineType(CTy).getTypeArray();
1160 DIType RTy(resolve(Elements.getElement(0)));
Eric Christopher0df08e22013-08-08 07:40:37 +00001161 if (RTy)
David Blaikie65a74662014-04-25 18:26:14 +00001162 addType(Buffer, RTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001163
1164 bool isPrototyped = true;
Adrian Prantl3f49c892014-02-25 19:57:42 +00001165 if (Elements.getNumElements() == 2 &&
Manman Ren72b07e82014-07-29 22:58:13 +00001166 !Elements.getElement(1))
Adrian Prantl3f49c892014-02-25 19:57:42 +00001167 isPrototyped = false;
1168
1169 constructSubprogramArguments(Buffer, Elements);
1170
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001171 // Add prototype flag if we're dealing with a C language and the
1172 // function has been prototyped.
David Blaikiecb8e4352013-11-15 23:50:53 +00001173 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001174 if (isPrototyped &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001175 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopherd42b92f2012-05-22 18:45:24 +00001176 Language == dwarf::DW_LANG_ObjC))
David Blaikie65a74662014-04-25 18:26:14 +00001177 addFlag(Buffer, dwarf::DW_AT_prototyped);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001178
1179 if (CTy.isLValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001180 addFlag(Buffer, dwarf::DW_AT_reference);
Adrian Prantl99c7af22013-12-18 21:48:19 +00001181
1182 if (CTy.isRValueReference())
David Blaikie65a74662014-04-25 18:26:14 +00001183 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
Eric Christopherc2697f82013-10-19 01:04:47 +00001184 } break;
Devang Patel0e821f42011-04-12 23:21:44 +00001185 case dwarf::DW_TAG_structure_type:
1186 case dwarf::DW_TAG_union_type:
1187 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001188 // Add elements to structure type.
Manman Renab8ffba2014-07-28 19:14:13 +00001189 DIArray Elements = CTy.getElements();
David Blaikiea1ae0e62013-08-01 20:30:22 +00001190 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001191 DIDescriptor Element = Elements.getElement(i);
Adrian Prantlef129fb2014-01-18 02:12:00 +00001192 if (Element.isSubprogram())
David Blaikie65a74662014-04-25 18:26:14 +00001193 getOrCreateSubprogramDIE(DISubprogram(Element));
Adrian Prantlef129fb2014-01-18 02:12:00 +00001194 else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001195 DIDerivedType DDTy(Element);
1196 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001197 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren93b30902013-10-08 18:42:58 +00001198 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renb3388602013-10-05 01:43:03 +00001199 dwarf::DW_AT_friend);
Manman Renc6b63922013-10-14 20:33:57 +00001200 } else if (DDTy.isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +00001201 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001202 } else {
Manman Ren230ec862013-10-23 23:00:44 +00001203 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +00001204 }
Eric Christopher7285c7d2012-03-28 07:34:31 +00001205 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001206 DIObjCProperty Property(Element);
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001207 DIE &ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Pateld925d1a2012-02-07 23:33:58 +00001208 StringRef PropertyName = Property.getObjCPropertyName();
1209 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4c960562014-01-23 19:16:28 +00001210 if (Property.getType())
1211 addType(ElemDie, Property.getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +00001212 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001213 StringRef GetterName = Property.getObjCPropertyGetterName();
1214 if (!GetterName.empty())
1215 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1216 StringRef SetterName = Property.getObjCPropertySetterName();
1217 if (!SetterName.empty())
1218 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1219 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001220 if (Property.isReadOnlyObjCProperty())
1221 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1222 if (Property.isReadWriteObjCProperty())
1223 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1224 if (Property.isAssignObjCProperty())
1225 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1226 if (Property.isRetainObjCProperty())
1227 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1228 if (Property.isCopyObjCProperty())
1229 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1230 if (Property.isNonAtomicObjCProperty())
1231 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1232 if (PropertyAttributes)
David Blaikief2443192013-10-21 17:28:37 +00001233 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +00001234 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001235
Devang Pateld925d1a2012-02-07 23:33:58 +00001236 DIEEntry *Entry = getDIEEntry(Element);
1237 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001238 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +00001239 insertDIEEntry(Element, Entry);
1240 }
Devang Patel403e8192012-02-04 01:30:32 +00001241 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001242 continue;
Devang Patel0e821f42011-04-12 23:21:44 +00001243 }
1244
1245 if (CTy.isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001246 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001247
Eric Christopher9e429ae2013-10-05 00:27:02 +00001248 DICompositeType ContainingType(resolve(CTy.getContainingType()));
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001249 if (ContainingType)
David Blaikie65a74662014-04-25 18:26:14 +00001250 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001251 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001252
Devang Patel12419ae2011-05-12 21:29:42 +00001253 if (CTy.isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001254 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001255
Eric Christopherda011dd2011-12-16 23:42:42 +00001256 // Add template parameters to a class, structure or union types.
1257 // FIXME: The support isn't in the metadata for this yet.
1258 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001259 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001260 addTemplateParams(Buffer, CTy.getTemplateParams());
1261
1262 break;
1263 }
1264 default:
1265 break;
1266 }
1267
1268 // Add name if not anonymous or intermediate type.
1269 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001270 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001271
Eric Christopher775cbd22012-05-22 18:45:18 +00001272 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001273 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001274 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001275 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001276 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001277 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001278 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001279 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001280 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001281 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001282
1283 // If we're a forward decl, say so.
1284 if (CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001285 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001286
1287 // Add source line info if available.
1288 if (!CTy.isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001289 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001290
1291 // No harm in adding the runtime language to the declaration.
1292 unsigned RLang = CTy.getRunTimeLang();
1293 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001294 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001295 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001296 }
1297}
1298
Manman Renffc9a712013-10-23 23:05:28 +00001299/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1300/// DITemplateTypeParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001301void DwarfUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1302 DITemplateTypeParameter TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001303 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001304 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001305 // Add the type if it exists, it could be void and therefore no type.
1306 if (TP.getType())
Manman Ren88b0f942013-10-09 19:46:28 +00001307 addType(ParamDIE, resolve(TP.getType()));
David Blaikie2b380232013-06-22 18:59:11 +00001308 if (!TP.getName().empty())
1309 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001310}
1311
Manman Renffc9a712013-10-23 23:05:28 +00001312/// constructTemplateValueParameterDIE - Construct new DIE for the given
1313/// DITemplateValueParameter.
Eric Christophera5a79422013-12-09 23:32:48 +00001314void
1315DwarfUnit::constructTemplateValueParameterDIE(DIE &Buffer,
David Blaikie319a05f2013-12-02 19:33:10 +00001316 DITemplateValueParameter VP) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001317 DIE &ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001318
1319 // Add the type if there is one, template template and template parameter
1320 // packs will not have a type.
Eric Christopher691281b2013-10-21 17:48:51 +00001321 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Ren88b0f942013-10-09 19:46:28 +00001322 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafb2c412013-08-08 07:40:31 +00001323 if (!VP.getName().empty())
1324 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1325 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001326 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
David Blaikiec0a28412014-05-11 15:56:59 +00001327 addConstantValue(ParamDIE, CI, resolve(VP.getType()));
David Blaikiea1e813d2013-05-10 21:52:07 +00001328 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1329 // For declaration non-type template parameters (such as global values and
1330 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001331 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001332 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001333 // Emit DW_OP_stack_value to use the address as the immediate value of the
1334 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001335 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001336 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Eric Christopherafb2c412013-08-08 07:40:31 +00001337 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001338 assert(isa<MDString>(Val));
1339 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1340 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001341 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001342 assert(isa<MDNode>(Val));
1343 DIArray A(cast<MDNode>(Val));
David Blaikie65a74662014-04-25 18:26:14 +00001344 addTemplateParams(ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001345 }
1346 }
Devang Patel0e821f42011-04-12 23:21:44 +00001347}
1348
Devang Patel17b53272011-05-06 16:57:54 +00001349/// getOrCreateNameSpace - Create a DIE for DINameSpace.
Eric Christophera5a79422013-12-09 23:32:48 +00001350DIE *DwarfUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001351 // Construct the context before querying for the existence of the DIE in case
1352 // such construction creates the DIE.
1353 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Renf6b936b2013-10-29 05:49:41 +00001354
David Blaikie65a74662014-04-25 18:26:14 +00001355 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001356 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001357 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001358
David Blaikie553eb4a2014-06-06 22:16:56 +00001359 StringRef Name = NS.getName();
1360 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001361 addString(NDie, dwarf::DW_AT_name, NS.getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001362 else
1363 Name = "(anonymous namespace)";
1364 DD->addAccelNamespace(Name, NDie);
1365 addGlobalName(Name, NDie, NS.getContext());
Devang Patel17b53272011-05-06 16:57:54 +00001366 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001367 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001368}
1369
Devang Patel89543712011-08-15 17:24:54 +00001370/// getOrCreateSubprogramDIE - Create new DIE using SP.
Eric Christophera5a79422013-12-09 23:32:48 +00001371DIE *DwarfUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikie309ffe42013-10-04 01:39:59 +00001372 // Construct the context before querying for the existence of the DIE in case
1373 // such construction creates the DIE (as is the case for member function
1374 // declarations).
David Blaikie7f916862014-05-27 18:37:38 +00001375 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
Adrian Prantld486b342014-03-18 17:41:15 +00001376
David Blaikie65a74662014-04-25 18:26:14 +00001377 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001378 return SPDie;
1379
David Blaikiece7a1bd2014-05-21 18:04:33 +00001380 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
Manman Ren73d697c2013-10-29 00:58:04 +00001381 // Add subprogram definitions to the CU die directly.
David Blaikiebd579052014-04-28 21:14:27 +00001382 ContextDIE = &getUnitDie();
Alp Tokerda0c7932014-05-31 21:26:28 +00001383 // Build the decl now to ensure it precedes the definition.
David Blaikie7f916862014-05-27 18:37:38 +00001384 getOrCreateSubprogramDIE(SPDecl);
David Blaikiece7a1bd2014-05-21 18:04:33 +00001385 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001386
1387 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001388 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001389
David Blaikie6cfa9e12014-06-05 00:25:26 +00001390 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001391 // subprogram turns out to have inlined instances or not.
1392 if (SP.isDefinition())
1393 return &SPDie;
1394
David Blaikie7f916862014-05-27 18:37:38 +00001395 applySubprogramAttributes(SP, SPDie);
1396 return &SPDie;
1397}
1398
David Blaikie3dca5992014-06-06 22:29:05 +00001399void DwarfUnit::applySubprogramAttributesToDefinition(DISubprogram SP, DIE &SPDie) {
1400 DISubprogram SPDecl = SP.getFunctionDeclaration();
1401 DIScope Context = resolve(SPDecl ? SPDecl.getContext() : SP.getContext());
1402 applySubprogramAttributes(SP, SPDie);
1403 addGlobalName(SP.getName(), SPDie, Context);
1404}
1405
David Blaikie7f916862014-05-27 18:37:38 +00001406void DwarfUnit::applySubprogramAttributes(DISubprogram SP, DIE &SPDie) {
1407 DIE *DeclDie = nullptr;
1408 StringRef DeclLinkageName;
1409 if (DISubprogram SPDecl = SP.getFunctionDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001410 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001411 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001412 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001413 "getOrCreateSubprogramDIE");
David Blaikie7f916862014-05-27 18:37:38 +00001414 DeclLinkageName = SPDecl.getLinkageName();
1415 }
Rafael Espindola79278362011-11-10 22:34:29 +00001416
Devang Patel89543712011-08-15 17:24:54 +00001417 // Add function template parameters.
David Blaikie65a74662014-04-25 18:26:14 +00001418 addTemplateParams(SPDie, SP.getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001419
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001420 // Add the linkage name if we have one and it isn't in the Decl.
1421 StringRef LinkageName = SP.getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001422 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1423 LinkageName == DeclLinkageName) &&
1424 "decl has a linkage name and it is different");
1425 if (!LinkageName.empty() && DeclLinkageName.empty())
1426 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
1427 GlobalValue::getRealLinkageName(LinkageName));
Devang Patel89543712011-08-15 17:24:54 +00001428
David Blaikiece7a1bd2014-05-21 18:04:33 +00001429 if (DeclDie) {
1430 // Refer to the function declaration where all the other attributes will be
1431 // found.
1432 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
David Blaikie7f916862014-05-27 18:37:38 +00001433 return;
David Blaikiece7a1bd2014-05-21 18:04:33 +00001434 }
Eric Christopheracb71152012-08-23 22:52:55 +00001435
Devang Patel89543712011-08-15 17:24:54 +00001436 // Constructors and operators for anonymous aggregates do not have names.
1437 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001438 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001439
David Blaikie0b9438b2014-09-19 04:47:46 +00001440 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie73b65d22014-09-19 04:30:36 +00001441 if(getCUNode().getEmissionKind() == DIBuilder::LineTablesOnly)
1442 return;
1443
Devang Patel89543712011-08-15 17:24:54 +00001444 addSourceLine(SPDie, SP);
1445
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001446 // Add the prototype if we have a prototype and we have a C like
1447 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001448 uint16_t Language = getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001449 if (SP.isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001450 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001451 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001452 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001453
Manman Renf8a19672014-07-28 22:24:06 +00001454 DISubroutineType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001455 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1456 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001457
Manman Renf8a19672014-07-28 22:24:06 +00001458 DITypeArray Args = SPTy.getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001459 // Add a return type. If this is a type like a C/C++ void type we don't add a
1460 // return type.
Manman Renf8a19672014-07-28 22:24:06 +00001461 if (resolve(Args.getElement(0)))
1462 addType(SPDie, DIType(resolve(Args.getElement(0))));
Devang Patel89543712011-08-15 17:24:54 +00001463
1464 unsigned VK = SP.getVirtuality();
1465 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001466 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001467 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001468 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1469 addUInt(*Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001470 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001471 ContainingTypeMap.insert(
David Blaikie65a74662014-04-25 18:26:14 +00001472 std::make_pair(&SPDie, resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001473 }
1474
1475 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001476 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001477
Devang Patel89543712011-08-15 17:24:54 +00001478 // Add arguments. Do not add arguments for subprogram definition. They will
1479 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001480 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001481 }
1482
1483 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001484 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001485
1486 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001487 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001488
1489 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001490 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001491
1492 if (unsigned isa = Asm->getISAEncoding()) {
1493 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1494 }
1495
Adrian Prantl99c7af22013-12-18 21:48:19 +00001496 if (SP.isLValueReference())
1497 addFlag(SPDie, dwarf::DW_AT_reference);
1498
1499 if (SP.isRValueReference())
1500 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1501
Adrian Prantlef129fb2014-01-18 02:12:00 +00001502 if (SP.isProtected())
1503 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1504 dwarf::DW_ACCESS_protected);
1505 else if (SP.isPrivate())
1506 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1507 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001508 else if (SP.isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001509 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1510 dwarf::DW_ACCESS_public);
1511
1512 if (SP.isExplicit())
1513 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001514}
1515
David Blaikieeb1a2722014-06-13 22:18:23 +00001516void DwarfUnit::applyVariableAttributes(const DbgVariable &Var,
1517 DIE &VariableDie) {
1518 StringRef Name = Var.getName();
1519 if (!Name.empty())
1520 addString(VariableDie, dwarf::DW_AT_name, Name);
1521 addSourceLine(VariableDie, Var.getVariable());
1522 addType(VariableDie, Var.getType());
1523 if (Var.isArtificial())
1524 addFlag(VariableDie, dwarf::DW_AT_artificial);
1525}
1526
Devang Patel0e821f42011-04-12 23:21:44 +00001527/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christophera5a79422013-12-09 23:32:48 +00001528void DwarfUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001529 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001530 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001531
Bill Wendling28fe9e72012-12-06 07:38:10 +00001532 // The LowerBound value defines the lower bounds which is typically zero for
1533 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1534 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001535 // DW_AT_lower_bound and DW_AT_count attributes.
Bill Wendling28fe9e72012-12-06 07:38:10 +00001536 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001537 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001538 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001539
Bill Wendling3495f9b2012-12-06 07:55:19 +00001540 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001541 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001542
David Blaikie32b0f362014-10-01 00:56:55 +00001543 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001544 // FIXME: An unbounded array should reference the expression that defines
1545 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001546 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001547}
1548
1549/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001550void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
Eric Christopherdf9955d2013-11-11 18:52:31 +00001551 if (CTy.isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001552 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001553
Eric Christopher0df08e22013-08-08 07:40:37 +00001554 // Emit the element type.
David Blaikie65a74662014-04-25 18:26:14 +00001555 addType(Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001556
1557 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001558 // FIXME: This type should be passed down from the front end
1559 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001560 DIE *IdxTy = getIndexTyDie();
1561 if (!IdxTy) {
David Blaikie12e00fc2014-04-03 06:28:20 +00001562 // Construct an integer type to use for indexes.
David Blaikiebd579052014-04-28 21:14:27 +00001563 IdxTy = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
David Blaikie65a74662014-04-25 18:26:14 +00001564 addString(*IdxTy, dwarf::DW_AT_name, "sizetype");
1565 addUInt(*IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1566 addUInt(*IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
David Blaikie12e00fc2014-04-03 06:28:20 +00001567 dwarf::DW_ATE_unsigned);
Devang Patel0e821f42011-04-12 23:21:44 +00001568 setIndexTyDie(IdxTy);
1569 }
1570
1571 // Add subranges to array type.
Manman Renab8ffba2014-07-28 19:14:13 +00001572 DIArray Elements = CTy.getElements();
Devang Patel0e821f42011-04-12 23:21:44 +00001573 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1574 DIDescriptor Element = Elements.getElement(i);
1575 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1576 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1577 }
1578}
1579
Eric Christopheraeb105f2013-11-11 18:52:39 +00001580/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
Eric Christophera5a79422013-12-09 23:32:48 +00001581void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
Manman Renab8ffba2014-07-28 19:14:13 +00001582 DIArray Elements = CTy.getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001583
1584 // Add enumerators to enumeration type.
1585 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001586 DIEnumerator Enum(Elements.getElement(i));
Eric Christopheraeb105f2013-11-11 18:52:39 +00001587 if (Enum.isEnumerator()) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001588 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001589 StringRef Name = Enum.getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001590 addString(Enumerator, dwarf::DW_AT_name, Name);
David Blaikie4f6bf27a2013-11-18 23:33:32 +00001591 int64_t Value = Enum.getEnumValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001592 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1593 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001594 }
1595 }
1596 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1597 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001598 addType(Buffer, DTy);
1599 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001600 }
Devang Patel0e821f42011-04-12 23:21:44 +00001601}
1602
Devang Patel89543712011-08-15 17:24:54 +00001603/// constructContainingTypeDIEs - Construct DIEs for types that contain
1604/// vtables.
Eric Christophera5a79422013-12-09 23:32:48 +00001605void DwarfUnit::constructContainingTypeDIEs() {
Devang Patel89543712011-08-15 17:24:54 +00001606 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopherc2697f82013-10-19 01:04:47 +00001607 CE = ContainingTypeMap.end();
1608 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001609 DIE &SPDie = *CI->first;
David Blaikie2ad00162013-11-15 23:09:13 +00001610 DIDescriptor D(CI->second);
1611 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001612 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001613 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001614 if (!NDie)
1615 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001616 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001617 }
1618}
1619
Devang Patel3acc70e2011-08-15 22:04:40 +00001620/// constructVariableDIE - Construct a DIE for the given DbgVariable.
David Blaikie914046e2014-04-25 20:00:34 +00001621std::unique_ptr<DIE> DwarfUnit::constructVariableDIE(DbgVariable &DV,
David Blaikieb85f0082014-05-27 19:34:32 +00001622 bool Abstract) {
1623 auto D = constructVariableDIEImpl(DV, Abstract);
David Blaikiee071fc82014-04-25 17:32:19 +00001624 DV.setDIE(*D);
1625 return D;
1626}
1627
David Blaikieb85f0082014-05-27 19:34:32 +00001628std::unique_ptr<DIE> DwarfUnit::constructVariableDIEImpl(const DbgVariable &DV,
1629 bool Abstract) {
Devang Patel3acc70e2011-08-15 22:04:40 +00001630 // Define variable debug information entry.
David Blaikie914046e2014-04-25 20:00:34 +00001631 auto VariableDie = make_unique<DIE>(DV.getTag());
Devang Patel3acc70e2011-08-15 22:04:40 +00001632
David Blaikieeb1a2722014-06-13 22:18:23 +00001633 if (Abstract) {
1634 applyVariableAttributes(DV, *VariableDie);
Devang Patel3acc70e2011-08-15 22:04:40 +00001635 return VariableDie;
David Blaikieeb1a2722014-06-13 22:18:23 +00001636 }
Devang Patel3acc70e2011-08-15 22:04:40 +00001637
1638 // Add variable address.
1639
Eric Christopher34a2c872013-11-15 01:43:19 +00001640 unsigned Offset = DV.getDotDebugLocOffset();
Devang Patel3acc70e2011-08-15 22:04:40 +00001641 if (Offset != ~0U) {
David Blaikie65a74662014-04-25 18:26:14 +00001642 addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
Devang Patel3acc70e2011-08-15 22:04:40 +00001643 return VariableDie;
1644 }
1645
Eric Christophercead0332011-10-03 15:49:20 +00001646 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher34a2c872013-11-15 01:43:19 +00001647 if (const MachineInstr *DVInsn = DV.getMInsn()) {
Adrian Prantl87b7eb92014-10-01 18:55:02 +00001648 assert(DVInsn->getNumOperands() == 4);
David Blaikie0252265b2013-06-16 20:34:15 +00001649 if (DVInsn->getOperand(0).isReg()) {
1650 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001651 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001652 if (DVInsn->getOperand(1).isImm()) {
Eric Christopherc2697f82013-10-19 01:04:47 +00001653 MachineLocation Location(RegOp.getReg(),
1654 DVInsn->getOperand(1).getImm());
David Blaikie65a74662014-04-25 18:26:14 +00001655 addVariableAddress(DV, *VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001656 } else if (RegOp.getReg())
David Blaikie65a74662014-04-25 18:26:14 +00001657 addVariableAddress(DV, *VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001658 } else if (DVInsn->getOperand(0).isImm())
David Blaikie65a74662014-04-25 18:26:14 +00001659 addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001660 else if (DVInsn->getOperand(0).isFPImm())
David Blaikie65a74662014-04-25 18:26:14 +00001661 addConstantFPValue(*VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001662 else if (DVInsn->getOperand(0).isCImm())
David Blaikie65a74662014-04-25 18:26:14 +00001663 addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(),
David Blaikiec0a28412014-05-11 15:56:59 +00001664 DV.getType());
Eric Christopher78fcf4902013-07-03 01:08:30 +00001665
Devang Patel3acc70e2011-08-15 22:04:40 +00001666 return VariableDie;
Devang Patel3acc70e2011-08-15 22:04:40 +00001667 }
1668
David Blaikiee071fc82014-04-25 17:32:19 +00001669 // .. else use frame index.
1670 int FI = DV.getFrameIndex();
1671 if (FI != ~0) {
1672 unsigned FrameReg = 0;
Eric Christopherd9134482014-08-04 21:25:23 +00001673 const TargetFrameLowering *TFI =
1674 Asm->TM.getSubtargetImpl()->getFrameLowering();
David Blaikiee071fc82014-04-25 17:32:19 +00001675 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1676 MachineLocation Location(FrameReg, Offset);
David Blaikie65a74662014-04-25 18:26:14 +00001677 addVariableAddress(DV, *VariableDie, Location);
David Blaikiee071fc82014-04-25 17:32:19 +00001678 }
1679
Devang Patel3acc70e2011-08-15 22:04:40 +00001680 return VariableDie;
1681}
1682
Manman Ren230ec862013-10-23 23:00:44 +00001683/// constructMemberDIE - Construct member DIE from DIDerivedType.
Eric Christophera5a79422013-12-09 23:32:48 +00001684void DwarfUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001685 DIE &MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001686 StringRef Name = DT.getName();
1687 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001688 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001689
Manman Ren93b30902013-10-08 18:42:58 +00001690 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel0e821f42011-04-12 23:21:44 +00001691
1692 addSourceLine(MemberDie, DT);
1693
Eric Christopherc2697f82013-10-19 01:04:47 +00001694 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001695
1696 // For C++, virtual base classes are not at fixed offset. Use following
1697 // expression to extract appropriate offset from vtable.
1698 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1699
Eric Christopher4a741042014-02-16 08:46:55 +00001700 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001701 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1702 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1703 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1704 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1705 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1706 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1707 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001708
David Blaikief2443192013-10-21 17:28:37 +00001709 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001710 } else {
1711 uint64_t Size = DT.getSizeInBits();
1712 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1713 uint64_t OffsetInBytes;
1714
1715 if (Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001716 // Handle bitfield, assume bytes are 8 bits.
1717 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1718 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001719
1720 uint64_t Offset = DT.getOffsetInBits();
1721 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1722 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1723 uint64_t FieldOffset = (HiMark - FieldSize);
1724 Offset -= FieldOffset;
1725
1726 // Maybe we need to work from the other end.
1727 if (Asm->getDataLayout().isLittleEndian())
1728 Offset = FieldSize - (Offset + Size);
1729 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1730
Adrian Prantlc67655a2014-01-28 18:13:47 +00001731 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001732 // field that includes this bit field.
1733 OffsetInBytes = FieldOffset >> 3;
1734 } else
1735 // This is not a bitfield.
1736 OffsetInBytes = DT.getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001737
David Blaikie22b29a52014-01-03 01:30:05 +00001738 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001739 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001740 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1741 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001742 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1743 } else
1744 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1745 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001746 }
Devang Patel0e821f42011-04-12 23:21:44 +00001747
1748 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001749 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001750 dwarf::DW_ACCESS_protected);
1751 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001752 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001753 dwarf::DW_ACCESS_private);
1754 // Otherwise C++ member and base classes are considered public.
Adrian Prantldaedfda2014-08-29 22:44:07 +00001755 else if (DT.isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001756 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001757 dwarf::DW_ACCESS_public);
1758 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001759 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001760 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001761
1762 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001763 if (MDNode *PNode = DT.getObjCProperty())
1764 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001765 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1766 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001767
David Blaikie37fefc32012-12-13 22:43:07 +00001768 if (DT.isArtificial())
1769 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001770}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001771
Manman Renc6b63922013-10-14 20:33:57 +00001772/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
Eric Christophera5a79422013-12-09 23:32:48 +00001773DIE *DwarfUnit::getOrCreateStaticMemberDIE(DIDerivedType DT) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001774 if (!DT.Verify())
Craig Topper353eda42014-04-24 06:44:33 +00001775 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001776
Manman Renc6b63922013-10-14 20:33:57 +00001777 // Construct the context before querying for the existence of the DIE in case
1778 // such construction creates the DIE.
1779 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikiebd700e42013-11-14 21:24:34 +00001780 assert(dwarf::isType(ContextDIE->getTag()) &&
1781 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001782
David Blaikie65a74662014-04-25 18:26:14 +00001783 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001784 return StaticMemberDIE;
1785
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001786 DIE &StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001787
Manman Ren93b30902013-10-08 18:42:58 +00001788 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001789
1790 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1791 addType(StaticMemberDIE, Ty);
1792 addSourceLine(StaticMemberDIE, DT);
1793 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1794 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1795
1796 // FIXME: We could omit private if the parent is a class_type, and
1797 // public if the parent is something else.
1798 if (DT.isProtected())
1799 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1800 dwarf::DW_ACCESS_protected);
1801 else if (DT.isPrivate())
1802 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1803 dwarf::DW_ACCESS_private);
Adrian Prantldaedfda2014-08-29 22:44:07 +00001804 else if (DT.isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001805 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1806 dwarf::DW_ACCESS_public);
1807
1808 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001809 addConstantValue(StaticMemberDIE, CI, Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +00001810 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1811 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001812
David Blaikie65a74662014-04-25 18:26:14 +00001813 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001814}
David Blaikie6b288cf2013-10-30 20:42:41 +00001815
David Blaikied82b2372014-03-24 20:28:10 +00001816void DwarfUnit::emitHeader(const MCSymbol *ASectionSym) const {
David Blaikie6b288cf2013-10-30 20:42:41 +00001817 Asm->OutStreamer.AddComment("DWARF version number");
1818 Asm->EmitInt16(DD->getDwarfVersion());
1819 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
David Blaikie6896e192013-12-04 23:39:02 +00001820 // We share one abbreviations table across all units so it's always at the
1821 // start of the section. Use a relocatable offset where needed to ensure
1822 // linking doesn't invalidate that offset.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001823 if (ASectionSym)
1824 Asm->EmitSectionOffset(ASectionSym, ASectionSym);
1825 else
David Blaikie326e1fa2014-04-02 02:04:51 +00001826 // Use a constant value when no symbol is provided.
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001827 Asm->EmitInt32(0);
David Blaikie6b288cf2013-10-30 20:42:41 +00001828 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1829 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1830}
David Blaikiebc563272013-12-13 21:33:40 +00001831
David Blaikied82b2372014-03-24 20:28:10 +00001832void DwarfTypeUnit::emitHeader(const MCSymbol *ASectionSym) const {
1833 DwarfUnit::emitHeader(ASectionSym);
David Blaikiebc563272013-12-13 21:33:40 +00001834 Asm->OutStreamer.AddComment("Type Signature");
1835 Asm->OutStreamer.EmitIntValue(TypeSignature, sizeof(TypeSignature));
1836 Asm->OutStreamer.AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001837 // In a skeleton type unit there is no type DIE so emit a zero offset.
1838 Asm->OutStreamer.EmitIntValue(Ty ? Ty->getOffset() : 0,
1839 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001840}
1841
1842void DwarfTypeUnit::initSection(const MCSection *Section) {
1843 assert(!this->Section);
1844 this->Section = Section;
1845 // Since each type unit is contained in its own COMDAT section, the begin
1846 // label and the section label are the same. Using the begin label emission in
1847 // DwarfDebug to emit the section label as well is slightly subtle/sneaky, but
1848 // the only other alternative of lazily constructing start-of-section labels
1849 // and storing a mapping in DwarfDebug (or AsmPrinter).
1850 this->SectionSym = this->LabelBegin =
1851 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
1852 this->LabelEnd =
1853 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
David Blaikiebc563272013-12-13 21:33:40 +00001854}