blob: e36225ae408c5be75eb7c70338ec8608961ff0c8 [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
David Blaikie65a74662014-04-25 18:26:14 +0000195void DwarfUnit::addUInt(DIE &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
David Blaikie65a74662014-04-25 18:26:14 +0000202void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000203 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000204}
205
David Blaikie65a74662014-04-25 18:26:14 +0000206void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000207 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000208 if (!Form)
209 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000210 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000211}
212
David Blaikie65a74662014-04-25 18:26:14 +0000213void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000214 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000215 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000216}
217
David Blaikie65a74662014-04-25 18:26:14 +0000218void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000219 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000220 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000221 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000222 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000223}
224
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000225DIE::value_iterator DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute,
226 dwarf::Form Form,
227 const MCSymbol *Label) {
228 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000229}
230
David Blaikie65a74662014-04-25 18:26:14 +0000231void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000232 addLabel(Die, (dwarf::Attribute)0, Form, Label);
233}
234
David Blaikie65a74662014-04-25 18:26:14 +0000235void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000236 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000237 if (DD->getDwarfVersion() >= 4)
238 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
239 else
240 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
241}
242
David Blaikie4a2f95f2014-03-18 01:17:26 +0000243unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
244 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
245 : getCU().getOrCreateSourceID(FileName, DirName);
246}
247
David Blaikie65a74662014-04-25 18:26:14 +0000248void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000249 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000250 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
251 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000252 } else {
David Blaikief2443192013-10-21 17:28:37 +0000253 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000254 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000255 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000256 }
257}
258
David Blaikie65a74662014-04-25 18:26:14 +0000259void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000260 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000261 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000262 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000263}
264
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000265void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000266 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000267}
268
David Blaikie65a74662014-04-25 18:26:14 +0000269void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000270 // Flag the type unit reference as a declaration so that if it contains
271 // members (implicit special members, static data member definitions, member
272 // declarations for definitions in this CU, etc) consumers don't get confused
273 // and think this is a full definition.
274 addFlag(Die, dwarf::DW_AT_declaration);
275
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000276 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
277 dwarf::DW_FORM_ref_sig8, DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000278}
279
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000280void DwarfUnit::addDIETypeSignature(DIE &Die, dwarf::Attribute Attribute,
281 StringRef Identifier) {
282 uint64_t Signature = DD->makeTypeSignature(Identifier);
283 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_ref_sig8,
284 DIEInteger(Signature));
285}
286
David Blaikie65a74662014-04-25 18:26:14 +0000287void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000288 DIEEntry Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000289 const DIE *DieCU = Die.getUnitOrNull();
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000290 const DIE *EntryCU = Entry.getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000291 if (!DieCU)
292 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000293 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000294 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000295 EntryCU = &getUnitDie();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000296 Die.addValue(DIEValueAllocator, Attribute,
David Blaikie65a74662014-04-25 18:26:14 +0000297 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
298 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000299}
300
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000301DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000302 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
David Blaikie52c50202013-11-16 00:29:01 +0000303 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000304 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000305 return Die;
306}
307
David Blaikie65a74662014-04-25 18:26:14 +0000308void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000309 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000310 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000311 Die.addValue(DIEValueAllocator, Attribute,
312 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000313}
314
David Blaikie65a74662014-04-25 18:26:14 +0000315void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000316 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000317 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000318 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000319 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000320}
321
David Blaikie65a74662014-04-25 18:26:14 +0000322void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000323 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000324 if (Line == 0)
325 return;
David Blaikie101613e2014-02-12 00:11:25 +0000326
David Blaikie4a2f95f2014-03-18 01:17:26 +0000327 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000328 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000329 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
330 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000331}
332
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000333void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000334 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000335
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000336 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
337 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000338}
339
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000340void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000341 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000342
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000343 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000344}
345
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000346void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000347 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000348
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000349 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000350}
351
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000352void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000353 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000354
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000355 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000356}
357
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000358void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000359 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000360
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000361 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000362}
363
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000364void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000365 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000366}
367
Adrian Prantlab255fc2014-12-05 01:02:46 +0000368bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000369 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000370 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000371 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000372 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000373}
374
Adrian Prantlab255fc2014-12-05 01:02:46 +0000375bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000376 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000377 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000378 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000379}
380
Devang Patel0e821f42011-04-12 23:21:44 +0000381/* Byref variables, in Blocks, are declared by the programmer as "SomeType
382 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
383 gives the variable VarName either the struct, or a pointer to the struct, as
384 its type. This is necessary for various behind-the-scenes things the
385 compiler needs to do with by-reference variables in Blocks.
386
387 However, as far as the original *programmer* is concerned, the variable
388 should still have type 'SomeType', as originally declared.
389
390 The function getBlockByrefType dives into the __Block_byref_x_VarName
391 struct to find the original type of the variable, which is then assigned to
392 the variable's Debug Information Entry as its real type. So far, so good.
393 However now the debugger will expect the variable VarName to have the type
394 SomeType. So we need the location attribute for the variable to be an
395 expression that explains to the debugger how to navigate through the
396 pointers and struct to find the actual variable of type SomeType.
397
398 The following function does just that. We start by getting
399 the "normal" location for the variable. This will be the location
400 of either the struct __Block_byref_x_VarName or the pointer to the
401 struct __Block_byref_x_VarName.
402
403 The struct will look something like:
404
405 struct __Block_byref_x_VarName {
406 ... <various fields>
407 struct __Block_byref_x_VarName *forwarding;
408 ... <various other fields>
409 SomeType VarName;
410 ... <maybe more fields>
411 };
412
413 If we are given the struct directly (as our starting point) we
414 need to tell the debugger to:
415
416 1). Add the offset of the forwarding field.
417
418 2). Follow that pointer to get the real __Block_byref_x_VarName
419 struct to use (the real one may have been copied onto the heap).
420
421 3). Add the offset for the field VarName, to find the actual variable.
422
423 If we started with a pointer to the struct, then we need to
424 dereference that pointer first, before the other steps.
425 Translating this into DWARF ops, we will need to append the following
426 to the current location description for the variable:
427
428 DW_OP_deref -- optional, if we start with a pointer
429 DW_OP_plus_uconst <forward_fld_offset>
430 DW_OP_deref
431 DW_OP_plus_uconst <varName_fld_offset>
432
433 That is what this function does. */
434
David Blaikie65a74662014-04-25 18:26:14 +0000435void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000436 dwarf::Attribute Attribute,
437 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000438 const DIType *Ty = DV.getType();
439 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000440 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000441 bool isPointer = false;
442
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000443 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000444
445 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000446 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000447 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000448 isPointer = true;
449 }
450
Devang Patel0e821f42011-04-12 23:21:44 +0000451 // Find the __forwarding field and the variable field in the __Block_byref
452 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000453 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000454 const DIDerivedType *varField = nullptr;
455 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000456
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000457 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000458 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000459 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000460 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000461 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000462 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000463 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000464 }
465
466 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000467 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
468 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000469
470 // Decode the original location, and use that as the start of the byref
471 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000472 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Devang Patel0e821f42011-04-12 23:21:44 +0000473
Adrian Prantlab255fc2014-12-05 01:02:46 +0000474 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000475 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000476 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000477 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000478 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
479
480 if (!validReg)
481 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000482
483 // If we started with a pointer to the __Block_byref... struct, then
484 // the first thing we need to do is dereference the pointer (DW_OP_deref).
485 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000486 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000487
488 // Next add the offset for the '__forwarding' field:
489 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
490 // adding the offset if it's 0.
491 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000492 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
493 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000494 }
495
496 // Now dereference the __forwarding field to get to the real __Block_byref
497 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000498 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000499
500 // Now that we've got the real __Block_byref... struct, add the offset
501 // for the variable's field to get to the location of the actual variable:
502 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
503 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000504 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
505 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000506 }
507
508 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000509 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000510}
511
Manman Renb3388602013-10-05 01:43:03 +0000512/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000513static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000514 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
515 // FIXME: Enums without a fixed underlying type have unknown signedness
516 // here, leading to incorrectly emitted constants.
517 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
518 return false;
519
520 // (Pieces of) aggregate types that get hacked apart by SROA may be
521 // represented by a constant. Encode them as unsigned bytes.
522 return true;
523 }
524
525 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000526 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000527 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000528 // null pointer constant emission.
529 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
530 // here, but accept them for now due to a bug in SROA producing bogus
531 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000532 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000533 T == dwarf::DW_TAG_ptr_to_member_type ||
534 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000535 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000536 return true;
537 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
538 T == dwarf::DW_TAG_volatile_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000539 T == dwarf::DW_TAG_restrict_type);
540 DITypeRef Deriv = DTy->getBaseType();
541 assert(Deriv && "Expected valid base type");
542 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000543 }
Manman Renb3388602013-10-05 01:43:03 +0000544
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000545 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000546 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000547 assert((Encoding == dwarf::DW_ATE_unsigned ||
548 Encoding == dwarf::DW_ATE_unsigned_char ||
549 Encoding == dwarf::DW_ATE_signed ||
550 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000551 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
552 Encoding == dwarf::DW_ATE_boolean ||
553 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
554 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000555 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000556 return Encoding == dwarf::DW_ATE_unsigned ||
557 Encoding == dwarf::DW_ATE_unsigned_char ||
558 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
559 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000560}
561
562/// If this type is derived from a base type then return base type size.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000563static uint64_t getBaseTypeSize(DwarfDebug *DD, const DIDerivedType *Ty) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000564 unsigned Tag = Ty->getTag();
Manman Renb3388602013-10-05 01:43:03 +0000565
566 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
567 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
568 Tag != dwarf::DW_TAG_restrict_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000569 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000570
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000571 auto *BaseType = DD->resolve(Ty->getBaseType());
Manman Renb3388602013-10-05 01:43:03 +0000572
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000573 assert(BaseType && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000574
575 // If this is a derived type, go ahead and get the base type, unless it's a
576 // reference then it's just the size of the field. Pointer types have no need
577 // of this since they're a different type of qualification on the type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000578 if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
579 BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
580 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000581
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000582 if (auto *DT = dyn_cast<DIDerivedType>(BaseType))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000583 return getBaseTypeSize(DD, DT);
Manman Renb3388602013-10-05 01:43:03 +0000584
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000585 return BaseType->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000586}
587
David Blaikie65a74662014-04-25 18:26:14 +0000588void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000589 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000590 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000591 APFloat FPImm = MO.getFPImm()->getValueAPF();
592
593 // Get the raw data form of the floating point.
594 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000595 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000596
597 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000598 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000599 int Incr = (LittleEndian ? 1 : -1);
600 int Start = (LittleEndian ? 0 : NumBytes - 1);
601 int Stop = (LittleEndian ? NumBytes : -1);
602
603 // Output the constant to DWARF one byte at a time.
604 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000605 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000606
David Blaikief2443192013-10-21 17:28:37 +0000607 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000608}
609
David Blaikie65a74662014-04-25 18:26:14 +0000610void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000611 // Pass this down to addConstantValue as an unsigned bag of bits.
612 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000613}
614
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000615void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000616 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000617 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000618}
619
David Blaikiec05c8f42014-05-11 15:47:39 +0000620void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000621 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000622 assert(MO.isImm() && "Invalid machine operand!");
623
David Blaikie60cae1b2014-05-11 16:08:41 +0000624 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000625}
626
David Blaikie60cae1b2014-05-11 16:08:41 +0000627void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000628 // FIXME: This is a bit conservative/simple - it emits negative values always
629 // sign extended to 64 bits rather than minimizing the number of bytes.
630 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000631 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000632}
633
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000634void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000635 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
636}
637
David Blaikie65a74662014-04-25 18:26:14 +0000638void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000639 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000640 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000641 addConstantValue(Die, Unsigned,
642 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000643 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000644 }
645
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000646 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000647
648 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000649 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000650
651 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000652 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000653
654 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000655 for (int i = 0; i < NumBytes; i++) {
656 uint8_t c;
657 if (LittleEndian)
658 c = Ptr64[i / 8] >> (8 * (i & 7));
659 else
660 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000661 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000662 }
Devang Patel0e821f42011-04-12 23:21:44 +0000663
David Blaikief2443192013-10-21 17:28:37 +0000664 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000665}
666
Paul Robinson857b4432015-03-10 22:44:45 +0000667void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
668 if (!LinkageName.empty())
669 addString(Die,
670 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
671 : dwarf::DW_AT_MIPS_linkage_name,
672 GlobalValue::getRealLinkageName(LinkageName));
673}
674
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000675void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000676 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000677 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000678 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000679 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000680 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000681 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000682 }
Devang Patel0e821f42011-04-12 23:21:44 +0000683}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000684
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000685DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
686 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000687 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000688 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000689 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000690 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000691 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000692 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000693 return getOrCreateSubprogramDIE(SP);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000694 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000695}
696
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000697DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000698 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000699 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000700
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000701 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000702 return TyDIE;
703
704 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000705 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000706
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000707 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000708
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000709 if (!Ty->isExternalTypeRef())
710 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000711 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000712}
713
David Blaikied51dea62015-07-01 18:07:16 +0000714DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000715 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000716 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000717
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000718 auto *Ty = cast<DIType>(TyNode);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000719 assert(Ty == resolve(Ty->getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000720 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000721
David Blaikieee11f222014-04-12 05:35:59 +0000722 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000723 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000724 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000725
Manman Renf4c339e2013-10-29 22:49:29 +0000726 // Construct the context before querying for the existence of the DIE in case
727 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000728 auto *Context = resolve(Ty->getScope());
David Blaikied51dea62015-07-01 18:07:16 +0000729 DIE *ContextDIE = getOrCreateContextDIE(Context);
730 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000731
David Blaikie65a74662014-04-25 18:26:14 +0000732 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000733 return TyDIE;
734
735 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000736 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000737
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000738 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000739
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000740 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000741 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000742 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000743 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000744 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000745 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
746 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000747 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000748 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000749 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000750 }
David Blaikie65a74662014-04-25 18:26:14 +0000751 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000752 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000753 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000754 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000755
David Blaikie65a74662014-04-25 18:26:14 +0000756 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000757}
758
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000759void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
760 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000761 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eric Christopher21bde872012-01-06 04:35:23 +0000762 bool IsImplementation = 0;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000763 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000764 // A runtime language of 0 actually means C/C++ and that any
765 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000766 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000767 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000768 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000769 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000770
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000771 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
772 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000773 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000774 }
Devang Patel0e821f42011-04-12 23:21:44 +0000775}
776
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000777void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000778 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000779 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000780 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000781}
782
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000783std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000784 if (!Context)
785 return "";
786
787 // FIXME: Decide whether to implement this for non-C++ languages.
788 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
789 return "";
790
Eric Christopher8dba0d52013-10-19 01:04:42 +0000791 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000792 SmallVector<const DIScope *, 1> Parents;
793 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000794 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000795 if (Context->getScope())
796 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000797 else
798 // Structure, etc types will have a NULL context if they're at the top
799 // level.
800 break;
801 }
802
803 // Reverse iterate over our list to go from the outermost construct to the
804 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000805 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000806 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000807 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000808 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000809 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000810 CS += Name;
811 CS += "::";
812 }
813 }
814 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000815}
816
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000817void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000818 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000819 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000820 // Add name if not anonymous or intermediate type.
821 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000822 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000823
David Blaikiefac56122013-10-04 23:21:16 +0000824 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000825 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000826 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000827
David Blaikie65a74662014-04-25 18:26:14 +0000828 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000829 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000830
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000831 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000832 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000833}
834
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000835void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000836 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000837 StringRef Name = DTy->getName();
838 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000839 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000840
841 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000842 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000843 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000844 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000845
846 // Add name if not anonymous or intermediate type.
847 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000848 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000849
850 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000851 if (Size && Tag != dwarf::DW_TAG_pointer_type
852 && Tag != dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000853 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000854
David Blaikie5d3249b2013-01-07 05:51:15 +0000855 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000856 addDIEEntry(
857 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000858 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000859 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000860 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000861 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000862}
863
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000864void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000865 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000866 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000867 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000868 assert(i == N-1 && "Unspecified parameter must be the last argument");
869 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
870 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000871 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000872 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000873 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000874 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000875 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000876 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000877}
878
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000879void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000880 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000881 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000882 if (Elements.size())
883 if (auto RTy = resolve(Elements[0]))
884 addType(Buffer, RTy);
885
886 bool isPrototyped = true;
887 if (Elements.size() == 2 && !Elements[1])
888 isPrototyped = false;
889
890 constructSubprogramArguments(Buffer, Elements);
891
892 // Add prototype flag if we're dealing with a C language and the function has
893 // been prototyped.
894 uint16_t Language = getLanguage();
895 if (isPrototyped &&
896 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
897 Language == dwarf::DW_LANG_ObjC))
898 addFlag(Buffer, dwarf::DW_AT_prototyped);
899
900 if (CTy->isLValueReference())
901 addFlag(Buffer, dwarf::DW_AT_reference);
902
903 if (CTy->isRValueReference())
904 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
905}
906
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000907void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000908 if (CTy->isExternalTypeRef()) {
909 StringRef Identifier = CTy->getIdentifier();
910 assert(!Identifier.empty() && "external type ref without identifier");
911 addFlag(Buffer, dwarf::DW_AT_declaration);
912 return addDIETypeSignature(Buffer, dwarf::DW_AT_signature, Identifier);
913 }
914
David Blaikie409dd9c2013-11-19 23:08:21 +0000915 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000916 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000917
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000918 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000919 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000920
921 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000922 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000923 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000924 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000925 case dwarf::DW_TAG_enumeration_type:
926 constructEnumTypeDIE(Buffer, CTy);
927 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000928 case dwarf::DW_TAG_structure_type:
929 case dwarf::DW_TAG_union_type:
930 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000931 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000932 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000933 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000934 if (!Element)
935 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000936 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000937 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000938 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000939 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000940 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000941 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
942 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000943 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000944 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000945 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000946 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000947 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000948 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
949 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000950 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000951 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000952 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000953 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000954 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000955 if (!GetterName.empty())
956 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000957 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000958 if (!SetterName.empty())
959 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000960 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000961 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000962 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000963 }
Devang Patel0e821f42011-04-12 23:21:44 +0000964 }
965
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000966 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000967 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000968
Adrian Prantlcf44e782014-12-19 00:01:20 +0000969 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
970 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000971 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000972 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000973 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000974 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000975
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000976 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000977 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000978
Eric Christopherda011dd2011-12-16 23:42:42 +0000979 // Add template parameters to a class, structure or union types.
980 // FIXME: The support isn't in the metadata for this yet.
981 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000982 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000983 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000984
985 break;
986 }
987 default:
988 break;
989 }
990
991 // Add name if not anonymous or intermediate type.
992 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000993 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000994
Eric Christopher775cbd22012-05-22 18:45:18 +0000995 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000996 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000997 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000998 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000999 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001000 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001001 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001002 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001003 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001004 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001005
1006 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001007 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001008 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001009
1010 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001011 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001012 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001013
1014 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001015 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001016 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001017 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001018 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001019 }
1020}
1021
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001022void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001023 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001024 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001025 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001026 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001027 if (TP->getType())
1028 addType(ParamDIE, resolve(TP->getType()));
1029 if (!TP->getName().empty())
1030 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001031}
1032
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001033void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001034 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001035 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001036
1037 // Add the type if there is one, template template and template parameter
1038 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001039 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1040 addType(ParamDIE, resolve(VP->getType()));
1041 if (!VP->getName().empty())
1042 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1043 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001044 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001045 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001046 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001047 // For declaration non-type template parameters (such as global values and
1048 // functions)
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001049 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001050 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001051 // Emit DW_OP_stack_value to use the address as the immediate value of the
1052 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001053 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001054 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001055 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001056 assert(isa<MDString>(Val));
1057 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1058 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001059 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001060 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001061 }
1062 }
Devang Patel0e821f42011-04-12 23:21:44 +00001063}
1064
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001065DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001066 // Construct the context before querying for the existence of the DIE in case
1067 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001068 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001069
David Blaikie65a74662014-04-25 18:26:14 +00001070 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001071 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001072 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001073
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001074 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001075 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001076 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001077 else
1078 Name = "(anonymous namespace)";
1079 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001080 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001081 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001082 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001083}
1084
Adrian Prantl08a388b2015-06-30 02:13:04 +00001085DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1086 // Construct the context before querying for the existence of the DIE in case
1087 // such construction creates the DIE.
1088 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1089
1090 if (DIE *MDie = getDIE(M))
1091 return MDie;
1092 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1093
1094 if (!M->getName().empty()) {
1095 addString(MDie, dwarf::DW_AT_name, M->getName());
1096 addGlobalName(M->getName(), MDie, M->getScope());
1097 }
1098 if (!M->getConfigurationMacros().empty())
1099 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1100 M->getConfigurationMacros());
1101 if (!M->getIncludePath().empty())
1102 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1103 if (!M->getISysRoot().empty())
1104 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1105
1106 return &MDie;
1107}
1108
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001109DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001110 // Construct the context before querying for the existence of the DIE in case
1111 // such construction creates the DIE (as is the case for member function
1112 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001113 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001114 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001115
David Blaikie65a74662014-04-25 18:26:14 +00001116 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001117 return SPDie;
1118
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001119 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001120 if (!Minimal) {
1121 // Add subprogram definitions to the CU die directly.
1122 ContextDIE = &getUnitDie();
1123 // Build the decl now to ensure it precedes the definition.
1124 getOrCreateSubprogramDIE(SPDecl);
1125 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001126 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001127
1128 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001129 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001130
David Blaikie6cfa9e12014-06-05 00:25:26 +00001131 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001132 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001133 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001134 return &SPDie;
1135
David Blaikie7f916862014-05-27 18:37:38 +00001136 applySubprogramAttributes(SP, SPDie);
1137 return &SPDie;
1138}
1139
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001140bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001141 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001142 DIE *DeclDie = nullptr;
1143 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001144 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001145 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001146 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001147 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001148 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001149 DeclLinkageName = SPDecl->getLinkageName();
David Blaikie7f916862014-05-27 18:37:38 +00001150 }
Rafael Espindola79278362011-11-10 22:34:29 +00001151
Devang Patel89543712011-08-15 17:24:54 +00001152 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001153 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001154
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001155 // 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 +00001156 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001157 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1158 LinkageName == DeclLinkageName) &&
1159 "decl has a linkage name and it is different");
Paul Robinson857b4432015-03-10 22:44:45 +00001160 if (DeclLinkageName.empty())
1161 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001162
David Blaikie3a443c22014-11-04 22:12:25 +00001163 if (!DeclDie)
1164 return false;
1165
1166 // Refer to the function declaration where all the other attributes will be
1167 // found.
1168 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1169 return true;
1170}
1171
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001172void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001173 bool Minimal) {
1174 if (!Minimal)
1175 if (applySubprogramDefinitionAttributes(SP, SPDie))
1176 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001177
Devang Patel89543712011-08-15 17:24:54 +00001178 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001179 if (!SP->getName().empty())
1180 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001181
David Blaikie0b9438b2014-09-19 04:47:46 +00001182 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001183 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001184 return;
1185
Devang Patel89543712011-08-15 17:24:54 +00001186 addSourceLine(SPDie, SP);
1187
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001188 // Add the prototype if we have a prototype and we have a C like
1189 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001190 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001191 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001192 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001193 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001194 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001195
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001196 const DISubroutineType *SPTy = SP->getType();
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001197 assert(SPTy->getTag() == dwarf::DW_TAG_subroutine_type &&
David Blaikie5174c842013-05-22 23:22:18 +00001198 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001199
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001200 auto Args = SPTy->getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001201 // Add a return type. If this is a type like a C/C++ void type we don't add a
1202 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001203 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001204 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001205 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001206
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001207 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001208 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001209 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001210 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001211 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001212 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001213 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001214 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001215 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001216 }
1217
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001218 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001219 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001220
Devang Patel89543712011-08-15 17:24:54 +00001221 // Add arguments. Do not add arguments for subprogram definition. They will
1222 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001223 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001224 }
1225
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001226 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001227 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001228
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001229 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001230 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001231
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001232 if (SP->isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001233 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001234
Eric Christophercd53d6e2015-03-21 03:13:01 +00001235 if (unsigned isa = Asm->getISAEncoding())
Devang Patel89543712011-08-15 17:24:54 +00001236 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
Devang Patel89543712011-08-15 17:24:54 +00001237
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001238 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001239 addFlag(SPDie, dwarf::DW_AT_reference);
1240
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001241 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001242 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1243
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001244 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001245 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1246 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001247 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001248 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1249 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001250 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001251 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1252 dwarf::DW_ACCESS_public);
1253
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001254 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001255 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001256}
1257
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001258void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001259 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001260 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001261 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001262
Bill Wendling28fe9e72012-12-06 07:38:10 +00001263 // The LowerBound value defines the lower bounds which is typically zero for
1264 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1265 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001266 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001267 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001268 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001269 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001270
Bill Wendling3495f9b2012-12-06 07:55:19 +00001271 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001272 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001273
David Blaikie32b0f362014-10-01 00:56:55 +00001274 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001275 // FIXME: An unbounded array should reference the expression that defines
1276 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001277 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001278}
1279
David Blaikie871c2d92014-11-02 03:09:13 +00001280DIE *DwarfUnit::getIndexTyDie() {
1281 if (IndexTyDie)
1282 return IndexTyDie;
1283 // Construct an integer type to use for indexes.
1284 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1285 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1286 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1287 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1288 dwarf::DW_ATE_unsigned);
1289 return IndexTyDie;
1290}
1291
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001292void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001293 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001294 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001295
Eric Christopher0df08e22013-08-08 07:40:37 +00001296 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001297 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001298
1299 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001300 // FIXME: This type should be passed down from the front end
1301 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001302 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001303
1304 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001305 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001306 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001307 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001308 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001309 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001310 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001311 }
1312}
1313
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001314void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1315 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001316
1317 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001318 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001319 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001320 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001321 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001322 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001323 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001324 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001325 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1326 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001327 }
1328 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001329 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001330 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001331 addType(Buffer, DTy);
1332 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001333 }
Devang Patel0e821f42011-04-12 23:21:44 +00001334}
1335
Eric Christophera5a79422013-12-09 23:32:48 +00001336void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001337 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001338 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001339 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001340 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001341 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001342 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001343 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001344 if (!NDie)
1345 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001346 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001347 }
1348}
1349
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001350void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001351 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1352 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001353 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001354 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001355
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001356 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001357
1358 addSourceLine(MemberDie, DT);
1359
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001360 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001361
1362 // For C++, virtual base classes are not at fixed offset. Use following
1363 // expression to extract appropriate offset from vtable.
1364 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1365
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001366 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001367 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1368 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1369 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001370 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001371 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1372 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1373 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001374
David Blaikief2443192013-10-21 17:28:37 +00001375 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001376 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001377 uint64_t Size = DT->getSizeInBits();
David Blaikie71d34a22013-11-01 00:25:45 +00001378 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1379 uint64_t OffsetInBytes;
1380
David Blaikiefa1a3c72015-01-28 02:34:53 +00001381 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001382 // Handle bitfield, assume bytes are 8 bits.
1383 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1384 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001385 //
Adrian Prantl57c7a62b92015-06-27 20:12:43 +00001386 // The DWARF 2 DW_AT_bit_offset is counting the bits between the most
1387 // significant bit of the aligned storage unit containing the bit field to
1388 // the most significan bit of the bit field.
Adrian Prantl06b298e2015-06-26 21:27:30 +00001389 //
1390 // FIXME: DWARF 4 states that DW_AT_data_bit_offset (which
1391 // counts from the beginning, regardless of endianness) should
1392 // be used instead.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001393 //
1394 //
1395 // Struct Align Align Align
1396 // v v v v
1397 // +-----------+-----*-----+-----*-----+--
1398 // | ... |b1|b2|b3|b4|
1399 // +-----------+-----*-----+-----*-----+--
1400 // | | |<-- Size ->| |
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001401 // |<---- Offset --->| |<--->|
1402 // | | | \_ DW_AT_bit_offset (little endian)
1403 // | |<--->|
1404 // |<--------->| \_ StartBitOffset = DW_AT_bit_offset (big endian)
1405 // \ = DW_AT_data_bit_offset (biendian)
1406 // \_ OffsetInBytes
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001407 uint64_t Offset = DT->getOffsetInBits();
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001408 uint64_t Align = DT->getAlignInBits() ? DT->getAlignInBits() : FieldSize;
1409 uint64_t AlignMask = ~(Align - 1);
1410 // The bits from the start of the storage unit to the start of the field.
1411 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001412 // The endian-dependent DWARF 2 offset.
1413 uint64_t DwarfBitOffset = Asm->getDataLayout().isLittleEndian()
1414 ? OffsetToAlignment(Offset + Size, Align)
1415 : StartBitOffset;
1416
1417 // The byte offset of the field's aligned storage unit inside the struct.
1418 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001419 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, DwarfBitOffset);
David Blaikie71d34a22013-11-01 00:25:45 +00001420 } else
1421 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001422 OffsetInBytes = DT->getOffsetInBits() / 8;
David Blaikie2ada1162014-01-03 00:48:38 +00001423
David Blaikie22b29a52014-01-03 01:30:05 +00001424 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001425 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001426 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1427 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001428 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1429 } else
1430 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1431 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001432 }
Devang Patel0e821f42011-04-12 23:21:44 +00001433
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001434 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001435 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001436 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001437 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001438 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001439 dwarf::DW_ACCESS_private);
1440 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001441 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001442 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001443 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001444 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001445 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001446 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001447
1448 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001449 if (DINode *PNode = DT->getObjCProperty())
1450 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001451 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1452 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001453
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001454 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001455 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001456}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001457
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001458DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001459 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001460 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001461
Manman Renc6b63922013-10-14 20:33:57 +00001462 // Construct the context before querying for the existence of the DIE in case
1463 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001464 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001465 assert(dwarf::isType(ContextDIE->getTag()) &&
1466 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001467
David Blaikie65a74662014-04-25 18:26:14 +00001468 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001469 return StaticMemberDIE;
1470
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001471 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001472
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001473 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001474
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001475 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001476 addType(StaticMemberDIE, Ty);
1477 addSourceLine(StaticMemberDIE, DT);
1478 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1479 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1480
1481 // FIXME: We could omit private if the parent is a class_type, and
1482 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001483 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001484 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1485 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001486 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001487 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1488 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001489 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001490 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1491 dwarf::DW_ACCESS_public);
1492
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001493 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001494 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001495 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001496 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001497
David Blaikie65a74662014-04-25 18:26:14 +00001498 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001499}
David Blaikie6b288cf2013-10-30 20:42:41 +00001500
Rafael Espindola063d7252015-03-10 16:58:10 +00001501void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001502 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001503 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikieae57e662014-11-01 23:59:23 +00001504 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1505
Lang Hames9ff69c82015-04-24 19:11:51 +00001506 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001507 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001508 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001509
David Blaikie6896e192013-12-04 23:39:02 +00001510 // We share one abbreviations table across all units so it's always at the
1511 // start of the section. Use a relocatable offset where needed to ensure
1512 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001513 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Rafael Espindola857546e2015-06-16 23:22:02 +00001514 Asm->emitDwarfSymbolReference(TLOF.getDwarfAbbrevSection()->getBeginSymbol(),
1515 UseOffsets);
Rafael Espindola063d7252015-03-10 16:58:10 +00001516
Lang Hames9ff69c82015-04-24 19:11:51 +00001517 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001518 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1519}
David Blaikiebc563272013-12-13 21:33:40 +00001520
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001521void DwarfUnit::initSection(MCSection *Section) {
David Blaikiea34568b2014-11-01 20:06:28 +00001522 assert(!this->Section);
1523 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001524}
1525
Rafael Espindola063d7252015-03-10 16:58:10 +00001526void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1527 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001528 Asm->OutStreamer->AddComment("Type Signature");
1529 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1530 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001531 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001532 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1533 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001534}
1535
David Blaikiecafd9622014-11-02 08:51:37 +00001536bool DwarfTypeUnit::isDwoUnit() const {
1537 // Since there are no skeleton type units, all type units are dwo type units
1538 // when split DWARF is being used.
1539 return DD->useSplitDwarf();
1540}