blob: 72b9fe7fd8f926ccf68c8666c88b66dbede81f21 [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.cpp - Dwarf Type and Compile Units ---------===//
Devang Patel0e821f42011-04-12 23:21:44 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher160522c2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
David Blaikie2c86a722013-12-02 19:33:15 +000014#include "DwarfUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "DwarfAccelTable.h"
David Blaikie37c52312014-10-04 15:49:50 +000016#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000017#include "DwarfDebug.h"
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000018#include "DwarfExpression.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000020#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000022#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/DataLayout.h"
24#include "llvm/IR/GlobalVariable.h"
25#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000026#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000027#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000028#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000029#include "llvm/MC/MCSection.h"
30#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000031#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000033#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000034#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000035#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000036#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000037
38using namespace llvm;
39
Chandler Carruth1b9dde02014-04-22 02:02:50 +000040#define DEBUG_TYPE "dwarfdebug"
41
Eric Christopher4287a492013-12-09 23:57:44 +000042static cl::opt<bool>
43GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
44 cl::desc("Generate DWARF4 type units."),
45 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000046
Adrian Prantlb846acc2015-03-02 22:02:36 +000047DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
48 DIELoc &DIE)
49 : DwarfExpression(*AP.MF->getSubtarget().getRegisterInfo(),
Pete Cooper477300d2015-05-20 22:37:48 +000050 AP.getDwarfDebug()->getDwarfVersion()),
Adrian Prantlb846acc2015-03-02 22:02:36 +000051 AP(AP), DU(DU), DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000052
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000053void DIEDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
54 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
55}
Adrian Prantl51233682015-03-10 19:23:37 +000056void DIEDwarfExpression::EmitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000057 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
58}
Adrian Prantl51233682015-03-10 19:23:37 +000059void DIEDwarfExpression::EmitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000060 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
61}
Adrian Prantl8995f5c2015-01-13 23:10:43 +000062bool DIEDwarfExpression::isFrameRegister(unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000063 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000064}
65
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +000066DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000067 const DICompileUnit *Node, AsmPrinter *A, DwarfDebug *DW,
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +000068 DwarfFile *DWU)
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +000069 : UniqueID(UID), CUNode(Node),
70 UnitDie(*DIE::get(DIEValueAllocator, UnitTag)), DebugInfoOffset(0),
71 Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000072 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
73 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000074}
75
David Blaikiebd579052014-04-28 21:14:27 +000076DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000077 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000078 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000079 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
80 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000081 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000082 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000083}
David Blaikie409dd9c2013-11-19 23:08:21 +000084
Eric Christophera5a79422013-12-09 23:32:48 +000085DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000086 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
87 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000088 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
89 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000090}
91
Eric Christophera5a79422013-12-09 23:32:48 +000092int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000093 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000094 default:
95 break;
96
97 case dwarf::DW_LANG_C89:
98 case dwarf::DW_LANG_C99:
99 case dwarf::DW_LANG_C:
100 case dwarf::DW_LANG_C_plus_plus:
101 case dwarf::DW_LANG_ObjC:
102 case dwarf::DW_LANG_ObjC_plus_plus:
103 return 0;
104
105 case dwarf::DW_LANG_Fortran77:
106 case dwarf::DW_LANG_Fortran90:
107 case dwarf::DW_LANG_Fortran95:
108 return 1;
109
110 // The languages below have valid values only if the DWARF version >= 4.
111 case dwarf::DW_LANG_Java:
112 case dwarf::DW_LANG_Python:
113 case dwarf::DW_LANG_UPC:
114 case dwarf::DW_LANG_D:
115 if (dwarf::DWARF_VERSION >= 4)
116 return 0;
117 break;
118
119 case dwarf::DW_LANG_Ada83:
120 case dwarf::DW_LANG_Ada95:
121 case dwarf::DW_LANG_Cobol74:
122 case dwarf::DW_LANG_Cobol85:
123 case dwarf::DW_LANG_Modula2:
124 case dwarf::DW_LANG_Pascal83:
125 case dwarf::DW_LANG_PLI:
126 if (dwarf::DWARF_VERSION >= 4)
127 return 1;
128 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000129
130 // The languages below have valid values only if the DWARF version >= 5.
131 case dwarf::DW_LANG_OpenCL:
132 case dwarf::DW_LANG_Go:
133 case dwarf::DW_LANG_Haskell:
134 case dwarf::DW_LANG_C_plus_plus_03:
135 case dwarf::DW_LANG_C_plus_plus_11:
136 case dwarf::DW_LANG_OCaml:
137 case dwarf::DW_LANG_Rust:
138 case dwarf::DW_LANG_C11:
139 case dwarf::DW_LANG_Swift:
140 case dwarf::DW_LANG_Dylan:
141 case dwarf::DW_LANG_C_plus_plus_14:
142 if (dwarf::DWARF_VERSION >= 5)
143 return 0;
144 break;
145
146 case dwarf::DW_LANG_Modula3:
147 case dwarf::DW_LANG_Julia:
148 case dwarf::DW_LANG_Fortran03:
149 case dwarf::DW_LANG_Fortran08:
150 if (dwarf::DWARF_VERSION >= 5)
151 return 1;
152 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000153 }
154
155 return -1;
156}
157
Manman Ren4dbdc902013-10-31 17:54:35 +0000158/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000159static bool isShareableAcrossCUs(const DINode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000160 // When the MDNode can be part of the type system, the DIE can be shared
161 // across CUs.
162 // Combining type units and cross-CU DIE sharing is lower value (since
163 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
164 // level already) but may be implementable for some value in projects
165 // building multiple independent libraries with LTO and then linking those
166 // together.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000167 return (isa<DIType>(D) ||
168 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000169 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000170}
171
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000172DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000173 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000174 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000175 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000176}
177
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000178void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000179 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000180 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000181 return;
182 }
David Blaikie2ad00162013-11-15 23:09:13 +0000183 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000184}
185
David Blaikie65a74662014-04-25 18:26:14 +0000186void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000187 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000188 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
189 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000190 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000191 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
192 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000193}
194
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000195void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000196 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000197 if (!Form)
198 Form = DIEInteger::BestForm(false, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000199 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000200}
201
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000202void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
203 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000204 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000205}
206
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000207void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000208 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000209 if (!Form)
210 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000211 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000212}
213
David Blaikie65a74662014-04-25 18:26:14 +0000214void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000215 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000216 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000217}
218
David Blaikie65a74662014-04-25 18:26:14 +0000219void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000220 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000221 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000222 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000223 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000224}
225
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000226DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
227 dwarf::Attribute Attribute,
228 dwarf::Form Form,
229 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000230 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000231}
232
David Blaikie65a74662014-04-25 18:26:14 +0000233void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000234 addLabel(Die, (dwarf::Attribute)0, Form, Label);
235}
236
David Blaikie65a74662014-04-25 18:26:14 +0000237void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000238 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000239 if (DD->getDwarfVersion() >= 4)
240 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
241 else
242 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
243}
244
David Blaikie4a2f95f2014-03-18 01:17:26 +0000245unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
246 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
247 : getCU().getOrCreateSourceID(FileName, DirName);
248}
249
David Blaikie65a74662014-04-25 18:26:14 +0000250void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000251 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000252 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
253 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000254 } else {
David Blaikief2443192013-10-21 17:28:37 +0000255 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000256 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000257 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000258 }
259}
260
David Blaikie65a74662014-04-25 18:26:14 +0000261void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000262 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000263 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000264 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000265}
266
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000267void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000268 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000269}
270
David Blaikie65a74662014-04-25 18:26:14 +0000271void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000272 // Flag the type unit reference as a declaration so that if it contains
273 // members (implicit special members, static data member definitions, member
274 // declarations for definitions in this CU, etc) consumers don't get confused
275 // and think this is a full definition.
276 addFlag(Die, dwarf::DW_AT_declaration);
277
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000278 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
279 dwarf::DW_FORM_ref_sig8, DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000280}
281
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000282void DwarfUnit::addDIETypeSignature(DIE &Die, dwarf::Attribute Attribute,
283 StringRef Identifier) {
284 uint64_t Signature = DD->makeTypeSignature(Identifier);
285 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_ref_sig8,
286 DIEInteger(Signature));
287}
288
David Blaikie65a74662014-04-25 18:26:14 +0000289void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000290 DIEEntry Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000291 const DIE *DieCU = Die.getUnitOrNull();
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000292 const DIE *EntryCU = Entry.getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000293 if (!DieCU)
294 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000295 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000296 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000297 EntryCU = &getUnitDie();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000298 Die.addValue(DIEValueAllocator, Attribute,
David Blaikie65a74662014-04-25 18:26:14 +0000299 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
300 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000301}
302
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000303DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000304 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
David Blaikie52c50202013-11-16 00:29:01 +0000305 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000306 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000307 return Die;
308}
309
David Blaikie65a74662014-04-25 18:26:14 +0000310void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000311 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000312 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000313 Die.addValue(DIEValueAllocator, Attribute,
314 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000315}
316
David Blaikie65a74662014-04-25 18:26:14 +0000317void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000318 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000319 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000320 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000321 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000322}
323
David Blaikie65a74662014-04-25 18:26:14 +0000324void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000325 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000326 if (Line == 0)
327 return;
David Blaikie101613e2014-02-12 00:11:25 +0000328
David Blaikie4a2f95f2014-03-18 01:17:26 +0000329 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000330 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000331 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
332 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000333}
334
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000335void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000336 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000337
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000338 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
339 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000340}
341
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000342void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000343 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000344
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000345 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000346}
347
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000348void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000349 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000350
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000351 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000352}
353
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000354void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000355 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000356
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000357 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000358}
359
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000360void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000361 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000362
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000363 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000364}
365
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000366void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000367 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000368}
369
Adrian Prantlab255fc2014-12-05 01:02:46 +0000370bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000371 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000372 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000373 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000374 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000375}
376
Adrian Prantlab255fc2014-12-05 01:02:46 +0000377bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000378 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000379 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000380 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000381}
382
Devang Patel0e821f42011-04-12 23:21:44 +0000383/* Byref variables, in Blocks, are declared by the programmer as "SomeType
384 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
385 gives the variable VarName either the struct, or a pointer to the struct, as
386 its type. This is necessary for various behind-the-scenes things the
387 compiler needs to do with by-reference variables in Blocks.
388
389 However, as far as the original *programmer* is concerned, the variable
390 should still have type 'SomeType', as originally declared.
391
392 The function getBlockByrefType dives into the __Block_byref_x_VarName
393 struct to find the original type of the variable, which is then assigned to
394 the variable's Debug Information Entry as its real type. So far, so good.
395 However now the debugger will expect the variable VarName to have the type
396 SomeType. So we need the location attribute for the variable to be an
397 expression that explains to the debugger how to navigate through the
398 pointers and struct to find the actual variable of type SomeType.
399
400 The following function does just that. We start by getting
401 the "normal" location for the variable. This will be the location
402 of either the struct __Block_byref_x_VarName or the pointer to the
403 struct __Block_byref_x_VarName.
404
405 The struct will look something like:
406
407 struct __Block_byref_x_VarName {
408 ... <various fields>
409 struct __Block_byref_x_VarName *forwarding;
410 ... <various other fields>
411 SomeType VarName;
412 ... <maybe more fields>
413 };
414
415 If we are given the struct directly (as our starting point) we
416 need to tell the debugger to:
417
418 1). Add the offset of the forwarding field.
419
420 2). Follow that pointer to get the real __Block_byref_x_VarName
421 struct to use (the real one may have been copied onto the heap).
422
423 3). Add the offset for the field VarName, to find the actual variable.
424
425 If we started with a pointer to the struct, then we need to
426 dereference that pointer first, before the other steps.
427 Translating this into DWARF ops, we will need to append the following
428 to the current location description for the variable:
429
430 DW_OP_deref -- optional, if we start with a pointer
431 DW_OP_plus_uconst <forward_fld_offset>
432 DW_OP_deref
433 DW_OP_plus_uconst <varName_fld_offset>
434
435 That is what this function does. */
436
David Blaikie65a74662014-04-25 18:26:14 +0000437void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000438 dwarf::Attribute Attribute,
439 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000440 const DIType *Ty = DV.getType();
441 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000442 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000443 bool isPointer = false;
444
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000445 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000446
447 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000448 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000449 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000450 isPointer = true;
451 }
452
Devang Patel0e821f42011-04-12 23:21:44 +0000453 // Find the __forwarding field and the variable field in the __Block_byref
454 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000455 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000456 const DIDerivedType *varField = nullptr;
457 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000458
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000459 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000460 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000461 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000462 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000463 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000464 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000465 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000466 }
467
468 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000469 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
470 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000471
472 // Decode the original location, and use that as the start of the byref
473 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000474 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Devang Patel0e821f42011-04-12 23:21:44 +0000475
Adrian Prantlab255fc2014-12-05 01:02:46 +0000476 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000477 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000478 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000479 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000480 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
481
482 if (!validReg)
483 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000484
485 // If we started with a pointer to the __Block_byref... struct, then
486 // the first thing we need to do is dereference the pointer (DW_OP_deref).
487 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000488 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000489
490 // Next add the offset for the '__forwarding' field:
491 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
492 // adding the offset if it's 0.
493 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000494 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
495 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000496 }
497
498 // Now dereference the __forwarding field to get to the real __Block_byref
499 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000500 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000501
502 // Now that we've got the real __Block_byref... struct, add the offset
503 // for the variable's field to get to the location of the actual variable:
504 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
505 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000506 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
507 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000508 }
509
510 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000511 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000512}
513
Manman Renb3388602013-10-05 01:43:03 +0000514/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000515static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000516 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
517 // FIXME: Enums without a fixed underlying type have unknown signedness
518 // here, leading to incorrectly emitted constants.
519 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
520 return false;
521
522 // (Pieces of) aggregate types that get hacked apart by SROA may be
523 // represented by a constant. Encode them as unsigned bytes.
524 return true;
525 }
526
527 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000528 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000529 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000530 // null pointer constant emission.
531 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
532 // here, but accept them for now due to a bug in SROA producing bogus
533 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000534 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000535 T == dwarf::DW_TAG_ptr_to_member_type ||
536 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000537 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000538 return true;
539 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
540 T == dwarf::DW_TAG_volatile_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000541 T == dwarf::DW_TAG_restrict_type);
542 DITypeRef Deriv = DTy->getBaseType();
543 assert(Deriv && "Expected valid base type");
544 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000545 }
Manman Renb3388602013-10-05 01:43:03 +0000546
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000547 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000548 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000549 assert((Encoding == dwarf::DW_ATE_unsigned ||
550 Encoding == dwarf::DW_ATE_unsigned_char ||
551 Encoding == dwarf::DW_ATE_signed ||
552 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000553 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
554 Encoding == dwarf::DW_ATE_boolean ||
555 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
556 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000557 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000558 return Encoding == dwarf::DW_ATE_unsigned ||
559 Encoding == dwarf::DW_ATE_unsigned_char ||
560 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
561 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000562}
563
564/// If this type is derived from a base type then return base type size.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000565static uint64_t getBaseTypeSize(DwarfDebug *DD, const DIDerivedType *Ty) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000566 unsigned Tag = Ty->getTag();
Manman Renb3388602013-10-05 01:43:03 +0000567
568 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
569 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
570 Tag != dwarf::DW_TAG_restrict_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000571 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000572
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000573 auto *BaseType = DD->resolve(Ty->getBaseType());
Manman Renb3388602013-10-05 01:43:03 +0000574
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000575 assert(BaseType && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000576
577 // If this is a derived type, go ahead and get the base type, unless it's a
578 // reference then it's just the size of the field. Pointer types have no need
579 // of this since they're a different type of qualification on the type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000580 if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
581 BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
582 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000583
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000584 if (auto *DT = dyn_cast<DIDerivedType>(BaseType))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000585 return getBaseTypeSize(DD, DT);
Manman Renb3388602013-10-05 01:43:03 +0000586
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000587 return BaseType->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000588}
589
David Blaikie65a74662014-04-25 18:26:14 +0000590void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000591 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000592 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000593 APFloat FPImm = MO.getFPImm()->getValueAPF();
594
595 // Get the raw data form of the floating point.
596 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000597 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000598
599 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000600 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000601 int Incr = (LittleEndian ? 1 : -1);
602 int Start = (LittleEndian ? 0 : NumBytes - 1);
603 int Stop = (LittleEndian ? NumBytes : -1);
604
605 // Output the constant to DWARF one byte at a time.
606 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000607 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000608
David Blaikief2443192013-10-21 17:28:37 +0000609 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000610}
611
David Blaikie65a74662014-04-25 18:26:14 +0000612void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000613 // Pass this down to addConstantValue as an unsigned bag of bits.
614 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000615}
616
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000617void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000618 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000619 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000620}
621
David Blaikiec05c8f42014-05-11 15:47:39 +0000622void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000623 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000624 assert(MO.isImm() && "Invalid machine operand!");
625
David Blaikie60cae1b2014-05-11 16:08:41 +0000626 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000627}
628
David Blaikie60cae1b2014-05-11 16:08:41 +0000629void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000630 // FIXME: This is a bit conservative/simple - it emits negative values always
631 // sign extended to 64 bits rather than minimizing the number of bytes.
632 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000633 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000634}
635
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000636void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000637 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
638}
639
David Blaikie65a74662014-04-25 18:26:14 +0000640void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000641 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000642 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000643 addConstantValue(Die, Unsigned,
644 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000645 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000646 }
647
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000648 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000649
650 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000651 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000652
653 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000654 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000655
656 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000657 for (int i = 0; i < NumBytes; i++) {
658 uint8_t c;
659 if (LittleEndian)
660 c = Ptr64[i / 8] >> (8 * (i & 7));
661 else
662 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000663 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000664 }
Devang Patel0e821f42011-04-12 23:21:44 +0000665
David Blaikief2443192013-10-21 17:28:37 +0000666 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000667}
668
Paul Robinson857b4432015-03-10 22:44:45 +0000669void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
670 if (!LinkageName.empty())
671 addString(Die,
672 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
673 : dwarf::DW_AT_MIPS_linkage_name,
674 GlobalValue::getRealLinkageName(LinkageName));
675}
676
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000677void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000678 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000679 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000680 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000681 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000682 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000683 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000684 }
Devang Patel0e821f42011-04-12 23:21:44 +0000685}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000686
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000687DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
688 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000689 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000690 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000691 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000692 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000693 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000694 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000695 return getOrCreateSubprogramDIE(SP);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000696 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000697}
698
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000699DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000700 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000701 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000702
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000703 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000704 return TyDIE;
705
706 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000707 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000708
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000709 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000710
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000711 if (!Ty->isExternalTypeRef())
712 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000713 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000714}
715
David Blaikied51dea62015-07-01 18:07:16 +0000716DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000717 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000718 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000719
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000720 auto *Ty = cast<DIType>(TyNode);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000721 assert(Ty == resolve(Ty->getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000722 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000723
David Blaikieee11f222014-04-12 05:35:59 +0000724 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000725 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000726 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000727
Manman Renf4c339e2013-10-29 22:49:29 +0000728 // Construct the context before querying for the existence of the DIE in case
729 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000730 auto *Context = resolve(Ty->getScope());
David Blaikied51dea62015-07-01 18:07:16 +0000731 DIE *ContextDIE = getOrCreateContextDIE(Context);
732 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000733
David Blaikie65a74662014-04-25 18:26:14 +0000734 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000735 return TyDIE;
736
737 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000738 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000739
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000740 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000741
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000742 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000743 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000744 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000745 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000746 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000747 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
748 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000749 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000750 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000751 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000752 }
David Blaikie65a74662014-04-25 18:26:14 +0000753 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000754 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000755 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000756 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000757
David Blaikie65a74662014-04-25 18:26:14 +0000758 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000759}
760
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000761void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
762 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000763 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eric Christopher21bde872012-01-06 04:35:23 +0000764 bool IsImplementation = 0;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000765 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000766 // A runtime language of 0 actually means C/C++ and that any
767 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000768 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000769 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000770 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000771 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000772
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000773 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
774 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000775 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000776 }
Devang Patel0e821f42011-04-12 23:21:44 +0000777}
778
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000779void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000780 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000781 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000782 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000783}
784
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000785std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000786 if (!Context)
787 return "";
788
789 // FIXME: Decide whether to implement this for non-C++ languages.
790 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
791 return "";
792
Eric Christopher8dba0d52013-10-19 01:04:42 +0000793 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000794 SmallVector<const DIScope *, 1> Parents;
795 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000796 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000797 if (Context->getScope())
798 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000799 else
800 // Structure, etc types will have a NULL context if they're at the top
801 // level.
802 break;
803 }
804
805 // Reverse iterate over our list to go from the outermost construct to the
806 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000807 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000808 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000809 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000810 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000811 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000812 CS += Name;
813 CS += "::";
814 }
815 }
816 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000817}
818
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000819void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000820 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000821 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000822 // Add name if not anonymous or intermediate type.
823 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000824 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000825
David Blaikiefac56122013-10-04 23:21:16 +0000826 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000827 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000828 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000829
David Blaikie65a74662014-04-25 18:26:14 +0000830 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000831 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000832
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000833 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000834 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000835}
836
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000837void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000838 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000839 StringRef Name = DTy->getName();
840 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000841 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000842
843 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000844 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000845 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000846 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000847
848 // Add name if not anonymous or intermediate type.
849 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000850 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000851
852 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000853 if (Size && Tag != dwarf::DW_TAG_pointer_type
854 && Tag != dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000855 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000856
David Blaikie5d3249b2013-01-07 05:51:15 +0000857 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000858 addDIEEntry(
859 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000860 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000861 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000862 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000863 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000864}
865
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000866void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000867 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000868 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000869 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000870 assert(i == N-1 && "Unspecified parameter must be the last argument");
871 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
872 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000873 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000874 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000875 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000876 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000877 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000878 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000879}
880
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000881void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000882 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000883 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000884 if (Elements.size())
885 if (auto RTy = resolve(Elements[0]))
886 addType(Buffer, RTy);
887
888 bool isPrototyped = true;
889 if (Elements.size() == 2 && !Elements[1])
890 isPrototyped = false;
891
892 constructSubprogramArguments(Buffer, Elements);
893
894 // Add prototype flag if we're dealing with a C language and the function has
895 // been prototyped.
896 uint16_t Language = getLanguage();
897 if (isPrototyped &&
898 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
899 Language == dwarf::DW_LANG_ObjC))
900 addFlag(Buffer, dwarf::DW_AT_prototyped);
901
902 if (CTy->isLValueReference())
903 addFlag(Buffer, dwarf::DW_AT_reference);
904
905 if (CTy->isRValueReference())
906 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
907}
908
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000909void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000910 if (CTy->isExternalTypeRef()) {
911 StringRef Identifier = CTy->getIdentifier();
912 assert(!Identifier.empty() && "external type ref without identifier");
913 addFlag(Buffer, dwarf::DW_AT_declaration);
914 return addDIETypeSignature(Buffer, dwarf::DW_AT_signature, Identifier);
915 }
916
David Blaikie409dd9c2013-11-19 23:08:21 +0000917 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000918 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000919
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000920 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000921 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000922
923 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000924 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000925 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000926 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000927 case dwarf::DW_TAG_enumeration_type:
928 constructEnumTypeDIE(Buffer, CTy);
929 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000930 case dwarf::DW_TAG_structure_type:
931 case dwarf::DW_TAG_union_type:
932 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000933 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000934 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000935 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000936 if (!Element)
937 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000938 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000939 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000940 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000941 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000942 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000943 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
944 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000945 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000946 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000947 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000948 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000949 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000950 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
951 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000952 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000953 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000954 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000955 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000956 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000957 if (!GetterName.empty())
958 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000959 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000960 if (!SetterName.empty())
961 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000962 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000963 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000964 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000965 }
Devang Patel0e821f42011-04-12 23:21:44 +0000966 }
967
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000968 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000969 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000970
Adrian Prantlcf44e782014-12-19 00:01:20 +0000971 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
972 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000973 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000974 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000975 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000976 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000977
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000978 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000979 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000980
Eric Christopherda011dd2011-12-16 23:42:42 +0000981 // Add template parameters to a class, structure or union types.
982 // FIXME: The support isn't in the metadata for this yet.
983 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000984 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000985 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000986
987 break;
988 }
989 default:
990 break;
991 }
992
993 // Add name if not anonymous or intermediate type.
994 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000995 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000996
Eric Christopher775cbd22012-05-22 18:45:18 +0000997 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000998 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000999 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001000 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001001 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001002 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001003 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001004 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001005 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001006 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001007
1008 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001009 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001010 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001011
1012 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001013 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001014 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001015
1016 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001017 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001018 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001019 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001020 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001021 }
1022}
1023
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001024void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001025 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001026 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001027 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001028 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001029 if (TP->getType())
1030 addType(ParamDIE, resolve(TP->getType()));
1031 if (!TP->getName().empty())
1032 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001033}
1034
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001035void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001036 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001037 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001038
1039 // Add the type if there is one, template template and template parameter
1040 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001041 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1042 addType(ParamDIE, resolve(VP->getType()));
1043 if (!VP->getName().empty())
1044 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1045 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001046 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001047 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001048 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001049 // For declaration non-type template parameters (such as global values and
1050 // functions)
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001051 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001052 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001053 // Emit DW_OP_stack_value to use the address as the immediate value of the
1054 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001055 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001056 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001057 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001058 assert(isa<MDString>(Val));
1059 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1060 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001061 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001062 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001063 }
1064 }
Devang Patel0e821f42011-04-12 23:21:44 +00001065}
1066
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001067DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001068 // Construct the context before querying for the existence of the DIE in case
1069 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001070 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001071
David Blaikie65a74662014-04-25 18:26:14 +00001072 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001073 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001074 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001075
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001076 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001077 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001078 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001079 else
1080 Name = "(anonymous namespace)";
1081 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001082 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001083 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001084 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001085}
1086
Adrian Prantl08a388b2015-06-30 02:13:04 +00001087DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1088 // Construct the context before querying for the existence of the DIE in case
1089 // such construction creates the DIE.
1090 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1091
1092 if (DIE *MDie = getDIE(M))
1093 return MDie;
1094 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1095
1096 if (!M->getName().empty()) {
1097 addString(MDie, dwarf::DW_AT_name, M->getName());
1098 addGlobalName(M->getName(), MDie, M->getScope());
1099 }
1100 if (!M->getConfigurationMacros().empty())
1101 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1102 M->getConfigurationMacros());
1103 if (!M->getIncludePath().empty())
1104 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1105 if (!M->getISysRoot().empty())
1106 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1107
1108 return &MDie;
1109}
1110
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001111DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001112 // Construct the context before querying for the existence of the DIE in case
1113 // such construction creates the DIE (as is the case for member function
1114 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001115 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001116 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001117
David Blaikie65a74662014-04-25 18:26:14 +00001118 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001119 return SPDie;
1120
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001121 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001122 if (!Minimal) {
1123 // Add subprogram definitions to the CU die directly.
1124 ContextDIE = &getUnitDie();
1125 // Build the decl now to ensure it precedes the definition.
1126 getOrCreateSubprogramDIE(SPDecl);
1127 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001128 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001129
1130 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001131 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001132
David Blaikie6cfa9e12014-06-05 00:25:26 +00001133 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001134 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001135 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001136 return &SPDie;
1137
David Blaikie7f916862014-05-27 18:37:38 +00001138 applySubprogramAttributes(SP, SPDie);
1139 return &SPDie;
1140}
1141
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001142bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001143 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001144 DIE *DeclDie = nullptr;
1145 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001146 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001147 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001148 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001149 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001150 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001151 DeclLinkageName = SPDecl->getLinkageName();
David Blaikie7f916862014-05-27 18:37:38 +00001152 }
Rafael Espindola79278362011-11-10 22:34:29 +00001153
Devang Patel89543712011-08-15 17:24:54 +00001154 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001155 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001156
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001157 // Add the linkage name if we have one and it isn't in the Decl.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001158 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001159 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1160 LinkageName == DeclLinkageName) &&
1161 "decl has a linkage name and it is different");
Paul Robinson857b4432015-03-10 22:44:45 +00001162 if (DeclLinkageName.empty())
1163 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001164
David Blaikie3a443c22014-11-04 22:12:25 +00001165 if (!DeclDie)
1166 return false;
1167
1168 // Refer to the function declaration where all the other attributes will be
1169 // found.
1170 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1171 return true;
1172}
1173
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001174void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001175 bool Minimal) {
1176 if (!Minimal)
1177 if (applySubprogramDefinitionAttributes(SP, SPDie))
1178 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001179
Devang Patel89543712011-08-15 17:24:54 +00001180 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001181 if (!SP->getName().empty())
1182 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001183
David Blaikie0b9438b2014-09-19 04:47:46 +00001184 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001185 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001186 return;
1187
Devang Patel89543712011-08-15 17:24:54 +00001188 addSourceLine(SPDie, SP);
1189
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001190 // Add the prototype if we have a prototype and we have a C like
1191 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001192 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001193 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001194 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001195 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001196 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001197
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001198 const DISubroutineType *SPTy = SP->getType();
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001199 assert(SPTy->getTag() == dwarf::DW_TAG_subroutine_type &&
David Blaikie5174c842013-05-22 23:22:18 +00001200 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001201
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001202 auto Args = SPTy->getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001203 // Add a return type. If this is a type like a C/C++ void type we don't add a
1204 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001205 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001206 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001207 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001208
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001209 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001210 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001211 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001212 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001213 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001214 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001215 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001216 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001217 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001218 }
1219
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001220 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001221 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001222
Devang Patel89543712011-08-15 17:24:54 +00001223 // Add arguments. Do not add arguments for subprogram definition. They will
1224 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001225 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001226 }
1227
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001228 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001229 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001230
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001231 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001232 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001233
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001234 if (SP->isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001235 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001236
Eric Christophercd53d6e2015-03-21 03:13:01 +00001237 if (unsigned isa = Asm->getISAEncoding())
Devang Patel89543712011-08-15 17:24:54 +00001238 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
Devang Patel89543712011-08-15 17:24:54 +00001239
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001240 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001241 addFlag(SPDie, dwarf::DW_AT_reference);
1242
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001243 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001244 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1245
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001246 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001247 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1248 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001249 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001250 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1251 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001252 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001253 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1254 dwarf::DW_ACCESS_public);
1255
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001256 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001257 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001258}
1259
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001260void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001261 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001262 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001263 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001264
Bill Wendling28fe9e72012-12-06 07:38:10 +00001265 // The LowerBound value defines the lower bounds which is typically zero for
1266 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1267 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001268 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001269 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001270 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001271 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001272
Bill Wendling3495f9b2012-12-06 07:55:19 +00001273 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001274 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001275
David Blaikie32b0f362014-10-01 00:56:55 +00001276 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001277 // FIXME: An unbounded array should reference the expression that defines
1278 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001279 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001280}
1281
David Blaikie871c2d92014-11-02 03:09:13 +00001282DIE *DwarfUnit::getIndexTyDie() {
1283 if (IndexTyDie)
1284 return IndexTyDie;
1285 // Construct an integer type to use for indexes.
1286 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1287 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1288 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1289 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1290 dwarf::DW_ATE_unsigned);
1291 return IndexTyDie;
1292}
1293
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001294void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001295 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001296 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001297
Eric Christopher0df08e22013-08-08 07:40:37 +00001298 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001299 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001300
1301 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001302 // FIXME: This type should be passed down from the front end
1303 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001304 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001305
1306 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001307 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001308 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001309 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001310 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001311 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001312 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001313 }
1314}
1315
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001316void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1317 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001318
1319 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001320 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001321 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001322 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001323 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001324 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001325 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001326 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001327 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1328 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001329 }
1330 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001331 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001332 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001333 addType(Buffer, DTy);
1334 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001335 }
Devang Patel0e821f42011-04-12 23:21:44 +00001336}
1337
Eric Christophera5a79422013-12-09 23:32:48 +00001338void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001339 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001340 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001341 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001342 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001343 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001344 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001345 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001346 if (!NDie)
1347 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001348 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001349 }
1350}
1351
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001352void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001353 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1354 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001355 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001356 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001357
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001358 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001359
1360 addSourceLine(MemberDie, DT);
1361
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001362 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001363
1364 // For C++, virtual base classes are not at fixed offset. Use following
1365 // expression to extract appropriate offset from vtable.
1366 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1367
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001368 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001369 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1370 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1371 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001372 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001373 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1374 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1375 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001376
David Blaikief2443192013-10-21 17:28:37 +00001377 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001378 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001379 uint64_t Size = DT->getSizeInBits();
David Blaikie71d34a22013-11-01 00:25:45 +00001380 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1381 uint64_t OffsetInBytes;
1382
David Blaikiefa1a3c72015-01-28 02:34:53 +00001383 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001384 // Handle bitfield, assume bytes are 8 bits.
1385 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1386 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001387 //
Adrian Prantl57c7a62b92015-06-27 20:12:43 +00001388 // The DWARF 2 DW_AT_bit_offset is counting the bits between the most
1389 // significant bit of the aligned storage unit containing the bit field to
1390 // the most significan bit of the bit field.
Adrian Prantl06b298e2015-06-26 21:27:30 +00001391 //
1392 // FIXME: DWARF 4 states that DW_AT_data_bit_offset (which
1393 // counts from the beginning, regardless of endianness) should
1394 // be used instead.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001395 //
1396 //
1397 // Struct Align Align Align
1398 // v v v v
1399 // +-----------+-----*-----+-----*-----+--
1400 // | ... |b1|b2|b3|b4|
1401 // +-----------+-----*-----+-----*-----+--
1402 // | | |<-- Size ->| |
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001403 // |<---- Offset --->| |<--->|
1404 // | | | \_ DW_AT_bit_offset (little endian)
1405 // | |<--->|
1406 // |<--------->| \_ StartBitOffset = DW_AT_bit_offset (big endian)
1407 // \ = DW_AT_data_bit_offset (biendian)
1408 // \_ OffsetInBytes
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001409 uint64_t Offset = DT->getOffsetInBits();
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001410 uint64_t Align = DT->getAlignInBits() ? DT->getAlignInBits() : FieldSize;
1411 uint64_t AlignMask = ~(Align - 1);
1412 // The bits from the start of the storage unit to the start of the field.
1413 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001414 // The endian-dependent DWARF 2 offset.
1415 uint64_t DwarfBitOffset = Asm->getDataLayout().isLittleEndian()
1416 ? OffsetToAlignment(Offset + Size, Align)
1417 : StartBitOffset;
1418
1419 // The byte offset of the field's aligned storage unit inside the struct.
1420 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001421 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, DwarfBitOffset);
David Blaikie71d34a22013-11-01 00:25:45 +00001422 } else
1423 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001424 OffsetInBytes = DT->getOffsetInBits() / 8;
David Blaikie2ada1162014-01-03 00:48:38 +00001425
David Blaikie22b29a52014-01-03 01:30:05 +00001426 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001427 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001428 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1429 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001430 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1431 } else
1432 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1433 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001434 }
Devang Patel0e821f42011-04-12 23:21:44 +00001435
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001436 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001437 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001438 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001439 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001440 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001441 dwarf::DW_ACCESS_private);
1442 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001443 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001444 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001445 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001446 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001447 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001448 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001449
1450 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001451 if (DINode *PNode = DT->getObjCProperty())
1452 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001453 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1454 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001455
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001456 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001457 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001458}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001459
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001460DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001461 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001462 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001463
Manman Renc6b63922013-10-14 20:33:57 +00001464 // Construct the context before querying for the existence of the DIE in case
1465 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001466 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001467 assert(dwarf::isType(ContextDIE->getTag()) &&
1468 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001469
David Blaikie65a74662014-04-25 18:26:14 +00001470 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001471 return StaticMemberDIE;
1472
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001473 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001474
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001475 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001476
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001477 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001478 addType(StaticMemberDIE, Ty);
1479 addSourceLine(StaticMemberDIE, DT);
1480 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1481 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1482
1483 // FIXME: We could omit private if the parent is a class_type, and
1484 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001485 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001486 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1487 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001488 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001489 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1490 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001491 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001492 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1493 dwarf::DW_ACCESS_public);
1494
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001495 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001496 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001497 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001498 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001499
David Blaikie65a74662014-04-25 18:26:14 +00001500 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001501}
David Blaikie6b288cf2013-10-30 20:42:41 +00001502
Rafael Espindola063d7252015-03-10 16:58:10 +00001503void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001504 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001505 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikieae57e662014-11-01 23:59:23 +00001506 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1507
Lang Hames9ff69c82015-04-24 19:11:51 +00001508 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001509 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001510 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001511
David Blaikie6896e192013-12-04 23:39:02 +00001512 // We share one abbreviations table across all units so it's always at the
1513 // start of the section. Use a relocatable offset where needed to ensure
1514 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001515 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Rafael Espindola857546e2015-06-16 23:22:02 +00001516 Asm->emitDwarfSymbolReference(TLOF.getDwarfAbbrevSection()->getBeginSymbol(),
1517 UseOffsets);
Rafael Espindola063d7252015-03-10 16:58:10 +00001518
Lang Hames9ff69c82015-04-24 19:11:51 +00001519 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001520 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1521}
David Blaikiebc563272013-12-13 21:33:40 +00001522
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001523void DwarfUnit::initSection(MCSection *Section) {
David Blaikiea34568b2014-11-01 20:06:28 +00001524 assert(!this->Section);
1525 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001526}
1527
Rafael Espindola063d7252015-03-10 16:58:10 +00001528void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1529 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001530 Asm->OutStreamer->AddComment("Type Signature");
1531 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1532 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001533 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001534 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1535 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001536}
1537
David Blaikiecafd9622014-11-02 08:51:37 +00001538bool DwarfTypeUnit::isDwoUnit() const {
1539 // Since there are no skeleton type units, all type units are dwo type units
1540 // when split DWARF is being used.
1541 return DD->useSplitDwarf();
1542}