blob: ca9951eda423d4430475448d1241e4048388a2e9 [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
David Blaikie65a74662014-04-25 18:26:14 +0000280void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000281 DIEEntry Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000282 const DIE *DieCU = Die.getUnitOrNull();
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000283 const DIE *EntryCU = Entry.getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000284 if (!DieCU)
285 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000286 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000287 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000288 EntryCU = &getUnitDie();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000289 Die.addValue(DIEValueAllocator, Attribute,
David Blaikie65a74662014-04-25 18:26:14 +0000290 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
291 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000292}
293
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000294DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000295 assert(Tag != dwarf::DW_TAG_auto_variable &&
296 Tag != dwarf::DW_TAG_arg_variable);
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000297 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
David Blaikie52c50202013-11-16 00:29:01 +0000298 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000299 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000300 return Die;
301}
302
David Blaikie65a74662014-04-25 18:26:14 +0000303void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000304 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000305 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000306 Die.addValue(DIEValueAllocator, Attribute,
307 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000308}
309
David Blaikie65a74662014-04-25 18:26:14 +0000310void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000311 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000312 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000313 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000314 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000315}
316
David Blaikie65a74662014-04-25 18:26:14 +0000317void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000318 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000319 if (Line == 0)
320 return;
David Blaikie101613e2014-02-12 00:11:25 +0000321
David Blaikie4a2f95f2014-03-18 01:17:26 +0000322 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000323 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000324 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
325 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000326}
327
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000328void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000329 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000330
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000331 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
332 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000333}
334
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000335void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000336 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000337
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000338 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000339}
340
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000341void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000342 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000343
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000344 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000345}
346
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000347void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000348 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000349
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000350 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000351}
352
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000353void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000354 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000355
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000356 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000357}
358
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000359void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000360 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000361}
362
Adrian Prantlab255fc2014-12-05 01:02:46 +0000363bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000364 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000365 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000366 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000367 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000368}
369
Adrian Prantlab255fc2014-12-05 01:02:46 +0000370bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000371 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000372 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000373 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000374}
375
Devang Patel0e821f42011-04-12 23:21:44 +0000376/* Byref variables, in Blocks, are declared by the programmer as "SomeType
377 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
378 gives the variable VarName either the struct, or a pointer to the struct, as
379 its type. This is necessary for various behind-the-scenes things the
380 compiler needs to do with by-reference variables in Blocks.
381
382 However, as far as the original *programmer* is concerned, the variable
383 should still have type 'SomeType', as originally declared.
384
385 The function getBlockByrefType dives into the __Block_byref_x_VarName
386 struct to find the original type of the variable, which is then assigned to
387 the variable's Debug Information Entry as its real type. So far, so good.
388 However now the debugger will expect the variable VarName to have the type
389 SomeType. So we need the location attribute for the variable to be an
390 expression that explains to the debugger how to navigate through the
391 pointers and struct to find the actual variable of type SomeType.
392
393 The following function does just that. We start by getting
394 the "normal" location for the variable. This will be the location
395 of either the struct __Block_byref_x_VarName or the pointer to the
396 struct __Block_byref_x_VarName.
397
398 The struct will look something like:
399
400 struct __Block_byref_x_VarName {
401 ... <various fields>
402 struct __Block_byref_x_VarName *forwarding;
403 ... <various other fields>
404 SomeType VarName;
405 ... <maybe more fields>
406 };
407
408 If we are given the struct directly (as our starting point) we
409 need to tell the debugger to:
410
411 1). Add the offset of the forwarding field.
412
413 2). Follow that pointer to get the real __Block_byref_x_VarName
414 struct to use (the real one may have been copied onto the heap).
415
416 3). Add the offset for the field VarName, to find the actual variable.
417
418 If we started with a pointer to the struct, then we need to
419 dereference that pointer first, before the other steps.
420 Translating this into DWARF ops, we will need to append the following
421 to the current location description for the variable:
422
423 DW_OP_deref -- optional, if we start with a pointer
424 DW_OP_plus_uconst <forward_fld_offset>
425 DW_OP_deref
426 DW_OP_plus_uconst <varName_fld_offset>
427
428 That is what this function does. */
429
David Blaikie65a74662014-04-25 18:26:14 +0000430void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000431 dwarf::Attribute Attribute,
432 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000433 const DIType *Ty = DV.getType();
434 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000435 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000436 bool isPointer = false;
437
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000438 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000439
440 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000441 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000442 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000443 isPointer = true;
444 }
445
Devang Patel0e821f42011-04-12 23:21:44 +0000446 // Find the __forwarding field and the variable field in the __Block_byref
447 // struct.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000448 DINodeArray Fields = cast<DICompositeTypeBase>(TmpTy)->getElements();
449 const DIDerivedType *varField = nullptr;
450 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000451
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000452 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000453 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000454 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000455 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000456 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000457 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000458 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000459 }
460
461 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000462 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
463 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000464
465 // Decode the original location, and use that as the start of the byref
466 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000467 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Devang Patel0e821f42011-04-12 23:21:44 +0000468
Adrian Prantlab255fc2014-12-05 01:02:46 +0000469 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000470 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000471 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000472 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000473 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
474
475 if (!validReg)
476 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000477
478 // If we started with a pointer to the __Block_byref... struct, then
479 // the first thing we need to do is dereference the pointer (DW_OP_deref).
480 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000481 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000482
483 // Next add the offset for the '__forwarding' field:
484 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
485 // adding the offset if it's 0.
486 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000487 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
488 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000489 }
490
491 // Now dereference the __forwarding field to get to the real __Block_byref
492 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000493 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000494
495 // Now that we've got the real __Block_byref... struct, add the offset
496 // for the variable's field to get to the location of the actual variable:
497 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
498 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000499 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
500 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000501 }
502
503 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000504 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000505}
506
Manman Renb3388602013-10-05 01:43:03 +0000507/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000508static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
509 if (auto *DTy = dyn_cast<DIDerivedTypeBase>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000510 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000511 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000512 // null pointer constant emission.
Adrian Prantld88af272015-01-07 21:35:13 +0000513 // (Pieces of) aggregate types that get hacked apart by SROA may also be
514 // represented by a constant. Encode them as unsigned bytes.
David Blaikie93ef46b2014-05-20 21:40:13 +0000515 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
516 // here, but accept them for now due to a bug in SROA producing bogus
517 // dbg.values.
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000518 if (T == dwarf::DW_TAG_array_type ||
519 T == dwarf::DW_TAG_class_type ||
520 T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000521 T == dwarf::DW_TAG_ptr_to_member_type ||
522 T == dwarf::DW_TAG_reference_type ||
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000523 T == dwarf::DW_TAG_rvalue_reference_type ||
Adrian Prantl577feba2015-01-23 18:01:39 +0000524 T == dwarf::DW_TAG_structure_type ||
525 T == dwarf::DW_TAG_union_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000526 return true;
527 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
528 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000529 T == dwarf::DW_TAG_restrict_type ||
530 T == dwarf::DW_TAG_enumeration_type);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000531 if (DITypeRef Deriv = DTy->getBaseType())
David Blaikie2af1c802014-05-20 18:21:51 +0000532 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000533 // FIXME: Enums without a fixed underlying type have unknown signedness
534 // here, leading to incorrectly emitted constants.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000535 assert(DTy->getTag() == dwarf::DW_TAG_enumeration_type);
David Blaikiee0f14742014-05-11 17:04:05 +0000536 return false;
537 }
Manman Renb3388602013-10-05 01:43:03 +0000538
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000539 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000540 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000541 assert((Encoding == dwarf::DW_ATE_unsigned ||
542 Encoding == dwarf::DW_ATE_unsigned_char ||
543 Encoding == dwarf::DW_ATE_signed ||
544 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000545 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
546 Encoding == dwarf::DW_ATE_boolean ||
547 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
548 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000549 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000550 return Encoding == dwarf::DW_ATE_unsigned ||
551 Encoding == dwarf::DW_ATE_unsigned_char ||
552 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
553 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000554}
555
556/// If this type is derived from a base type then return base type size.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000557static uint64_t getBaseTypeSize(DwarfDebug *DD, const DIDerivedType *Ty) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000558 unsigned Tag = Ty->getTag();
Manman Renb3388602013-10-05 01:43:03 +0000559
560 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
561 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
562 Tag != dwarf::DW_TAG_restrict_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000563 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000564
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000565 auto *BaseType = DD->resolve(Ty->getBaseType());
Manman Renb3388602013-10-05 01:43:03 +0000566
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000567 assert(BaseType && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000568
569 // If this is a derived type, go ahead and get the base type, unless it's a
570 // reference then it's just the size of the field. Pointer types have no need
571 // of this since they're a different type of qualification on the type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000572 if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
573 BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
574 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000575
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000576 if (auto *DT = dyn_cast<DIDerivedType>(BaseType))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000577 return getBaseTypeSize(DD, DT);
Manman Renb3388602013-10-05 01:43:03 +0000578
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000579 return BaseType->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000580}
581
David Blaikie65a74662014-04-25 18:26:14 +0000582void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000583 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000584 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000585 APFloat FPImm = MO.getFPImm()->getValueAPF();
586
587 // Get the raw data form of the floating point.
588 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000589 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000590
591 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000592 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000593 int Incr = (LittleEndian ? 1 : -1);
594 int Start = (LittleEndian ? 0 : NumBytes - 1);
595 int Stop = (LittleEndian ? NumBytes : -1);
596
597 // Output the constant to DWARF one byte at a time.
598 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000599 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000600
David Blaikief2443192013-10-21 17:28:37 +0000601 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000602}
603
David Blaikie65a74662014-04-25 18:26:14 +0000604void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000605 // Pass this down to addConstantValue as an unsigned bag of bits.
606 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000607}
608
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000609void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000610 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000611 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000612}
613
David Blaikiec05c8f42014-05-11 15:47:39 +0000614void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000615 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000616 assert(MO.isImm() && "Invalid machine operand!");
617
David Blaikie60cae1b2014-05-11 16:08:41 +0000618 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000619}
620
David Blaikie60cae1b2014-05-11 16:08:41 +0000621void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000622 // FIXME: This is a bit conservative/simple - it emits negative values always
623 // sign extended to 64 bits rather than minimizing the number of bytes.
624 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000625 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000626}
627
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000628void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000629 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
630}
631
David Blaikie65a74662014-04-25 18:26:14 +0000632void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000633 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000634 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000635 addConstantValue(Die, Unsigned,
636 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000637 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000638 }
639
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000640 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000641
642 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000643 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000644
645 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000646 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000647
648 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000649 for (int i = 0; i < NumBytes; i++) {
650 uint8_t c;
651 if (LittleEndian)
652 c = Ptr64[i / 8] >> (8 * (i & 7));
653 else
654 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000655 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000656 }
Devang Patel0e821f42011-04-12 23:21:44 +0000657
David Blaikief2443192013-10-21 17:28:37 +0000658 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000659}
660
Paul Robinson857b4432015-03-10 22:44:45 +0000661void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
662 if (!LinkageName.empty())
663 addString(Die,
664 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
665 : dwarf::DW_AT_MIPS_linkage_name,
666 GlobalValue::getRealLinkageName(LinkageName));
667}
668
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000669void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000670 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000671 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000672 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000673 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000674 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000675 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000676 }
Devang Patel0e821f42011-04-12 23:21:44 +0000677}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000678
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000679DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
680 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000681 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000682 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000683 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000684 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000685 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000686 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000687 return getOrCreateSubprogramDIE(SP);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000688 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000689}
690
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000691DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000692 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000693 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000694
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000695 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000696 return TyDIE;
697
698 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000699 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000700
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000701 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000702
David Blaikie9d861be2013-11-26 00:15:27 +0000703 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000704 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000705}
706
Eric Christophera5a79422013-12-09 23:32:48 +0000707DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000708 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000709 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000710
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000711 auto *Ty = cast<DIType>(TyNode);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000712 assert(Ty == resolve(Ty->getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000713 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000714
David Blaikieee11f222014-04-12 05:35:59 +0000715 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000716 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000717 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000718
Manman Renf4c339e2013-10-29 22:49:29 +0000719 // Construct the context before querying for the existence of the DIE in case
720 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000721 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000722 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000723 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000724
David Blaikie65a74662014-04-25 18:26:14 +0000725 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000726 return TyDIE;
727
728 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000729 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000730
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000731 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000732
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000733 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000734 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000735 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000736 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000737 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000738 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
739 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000740 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000741 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000742 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000743 }
David Blaikie65a74662014-04-25 18:26:14 +0000744 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000745 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000746 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000747 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000748
David Blaikie65a74662014-04-25 18:26:14 +0000749 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000750}
751
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000752void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
753 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000754 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eric Christopher21bde872012-01-06 04:35:23 +0000755 bool IsImplementation = 0;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000756 if (auto *CT = dyn_cast<DICompositeTypeBase>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000757 // A runtime language of 0 actually means C/C++ and that any
758 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000759 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000760 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000761 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000762 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000763
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000764 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
765 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000766 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000767 }
Devang Patel0e821f42011-04-12 23:21:44 +0000768}
769
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000770void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000771 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000772 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000773 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000774}
775
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000776std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000777 if (!Context)
778 return "";
779
780 // FIXME: Decide whether to implement this for non-C++ languages.
781 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
782 return "";
783
Eric Christopher8dba0d52013-10-19 01:04:42 +0000784 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000785 SmallVector<const DIScope *, 1> Parents;
786 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000787 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000788 if (Context->getScope())
789 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000790 else
791 // Structure, etc types will have a NULL context if they're at the top
792 // level.
793 break;
794 }
795
796 // Reverse iterate over our list to go from the outermost construct to the
797 // innermost.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000798 for (auto I = Parents.rbegin(), E = Parents.rend(); I != E; ++I) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000799 const DIScope *Ctx = *I;
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000800 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000801 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000802 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000803 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000804 CS += Name;
805 CS += "::";
806 }
807 }
808 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000809}
810
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000811void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000812 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000813 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000814 // Add name if not anonymous or intermediate type.
815 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000816 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000817
David Blaikiefac56122013-10-04 23:21:16 +0000818 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000819 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000820 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000821
David Blaikie65a74662014-04-25 18:26:14 +0000822 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000823 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000824
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000825 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000826 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000827}
828
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000829void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000830 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000831 StringRef Name = DTy->getName();
832 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000833 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000834
835 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000836 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000837 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000838 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000839
840 // Add name if not anonymous or intermediate type.
841 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000842 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000843
844 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000845 if (Size && Tag != dwarf::DW_TAG_pointer_type
846 && Tag != dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000847 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000848
David Blaikie5d3249b2013-01-07 05:51:15 +0000849 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000850 addDIEEntry(
851 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000852 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000853 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000854 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000855 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000856}
857
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000858void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000859 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000860 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000861 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000862 assert(i == N-1 && "Unspecified parameter must be the last argument");
863 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
864 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000865 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000866 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000867 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000868 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000869 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000870 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000871}
872
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000873void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000874 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000875 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000876 if (Elements.size())
877 if (auto RTy = resolve(Elements[0]))
878 addType(Buffer, RTy);
879
880 bool isPrototyped = true;
881 if (Elements.size() == 2 && !Elements[1])
882 isPrototyped = false;
883
884 constructSubprogramArguments(Buffer, Elements);
885
886 // Add prototype flag if we're dealing with a C language and the function has
887 // been prototyped.
888 uint16_t Language = getLanguage();
889 if (isPrototyped &&
890 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
891 Language == dwarf::DW_LANG_ObjC))
892 addFlag(Buffer, dwarf::DW_AT_prototyped);
893
894 if (CTy->isLValueReference())
895 addFlag(Buffer, dwarf::DW_AT_reference);
896
897 if (CTy->isRValueReference())
898 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
899}
900
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000901void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000902 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000903 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000904
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000905 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000906 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000907
908 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000909 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000910 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000911 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000912 case dwarf::DW_TAG_enumeration_type:
913 constructEnumTypeDIE(Buffer, CTy);
914 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000915 case dwarf::DW_TAG_structure_type:
916 case dwarf::DW_TAG_union_type:
917 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000918 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000919 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000920 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000921 if (!Element)
922 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000923 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000924 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000925 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000926 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000927 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000928 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
929 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000930 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000931 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000932 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000933 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000934 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000935 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
936 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000937 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000938 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000939 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000940 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000941 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000942 if (!GetterName.empty())
943 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000944 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000945 if (!SetterName.empty())
946 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000947 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000948 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000949 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000950 }
Devang Patel0e821f42011-04-12 23:21:44 +0000951 }
952
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000953 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000954 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000955
Adrian Prantlcf44e782014-12-19 00:01:20 +0000956 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
957 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000958 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000959 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000960 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000961 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000962
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000963 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000964 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000965
Eric Christopherda011dd2011-12-16 23:42:42 +0000966 // Add template parameters to a class, structure or union types.
967 // FIXME: The support isn't in the metadata for this yet.
968 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000969 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000970 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000971
972 break;
973 }
974 default:
975 break;
976 }
977
978 // Add name if not anonymous or intermediate type.
979 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000980 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000981
Eric Christopher775cbd22012-05-22 18:45:18 +0000982 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000983 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000984 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000985 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000986 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000987 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000988 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000989 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000990 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000991 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000992
993 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000994 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000995 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000996
997 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000998 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000999 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001000
1001 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001002 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001003 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001004 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001005 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001006 }
1007}
1008
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001009void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001010 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001011 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001012 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001013 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001014 if (TP->getType())
1015 addType(ParamDIE, resolve(TP->getType()));
1016 if (!TP->getName().empty())
1017 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001018}
1019
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001020void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001021 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001022 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001023
1024 // Add the type if there is one, template template and template parameter
1025 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001026 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1027 addType(ParamDIE, resolve(VP->getType()));
1028 if (!VP->getName().empty())
1029 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1030 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001031 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001032 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001033 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001034 // For declaration non-type template parameters (such as global values and
1035 // functions)
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001036 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001037 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001038 // Emit DW_OP_stack_value to use the address as the immediate value of the
1039 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001040 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001041 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001042 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001043 assert(isa<MDString>(Val));
1044 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1045 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001046 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001047 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001048 }
1049 }
Devang Patel0e821f42011-04-12 23:21:44 +00001050}
1051
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001052DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001053 // Construct the context before querying for the existence of the DIE in case
1054 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001055 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001056
David Blaikie65a74662014-04-25 18:26:14 +00001057 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001058 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001059 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001060
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001061 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001062 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001063 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001064 else
1065 Name = "(anonymous namespace)";
1066 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001067 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001068 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001069 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001070}
1071
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001072DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001073 // Construct the context before querying for the existence of the DIE in case
1074 // such construction creates the DIE (as is the case for member function
1075 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001076 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001077 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001078
David Blaikie65a74662014-04-25 18:26:14 +00001079 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001080 return SPDie;
1081
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001082 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001083 if (!Minimal) {
1084 // Add subprogram definitions to the CU die directly.
1085 ContextDIE = &getUnitDie();
1086 // Build the decl now to ensure it precedes the definition.
1087 getOrCreateSubprogramDIE(SPDecl);
1088 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001089 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001090
1091 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001092 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001093
David Blaikie6cfa9e12014-06-05 00:25:26 +00001094 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001095 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001096 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001097 return &SPDie;
1098
David Blaikie7f916862014-05-27 18:37:38 +00001099 applySubprogramAttributes(SP, SPDie);
1100 return &SPDie;
1101}
1102
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001103bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001104 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001105 DIE *DeclDie = nullptr;
1106 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001107 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001108 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001109 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001110 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001111 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001112 DeclLinkageName = SPDecl->getLinkageName();
David Blaikie7f916862014-05-27 18:37:38 +00001113 }
Rafael Espindola79278362011-11-10 22:34:29 +00001114
Devang Patel89543712011-08-15 17:24:54 +00001115 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001116 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001117
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001118 // 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 +00001119 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001120 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1121 LinkageName == DeclLinkageName) &&
1122 "decl has a linkage name and it is different");
Paul Robinson857b4432015-03-10 22:44:45 +00001123 if (DeclLinkageName.empty())
1124 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001125
David Blaikie3a443c22014-11-04 22:12:25 +00001126 if (!DeclDie)
1127 return false;
1128
1129 // Refer to the function declaration where all the other attributes will be
1130 // found.
1131 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1132 return true;
1133}
1134
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001135void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001136 bool Minimal) {
1137 if (!Minimal)
1138 if (applySubprogramDefinitionAttributes(SP, SPDie))
1139 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001140
Devang Patel89543712011-08-15 17:24:54 +00001141 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001142 if (!SP->getName().empty())
1143 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001144
David Blaikie0b9438b2014-09-19 04:47:46 +00001145 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001146 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001147 return;
1148
Devang Patel89543712011-08-15 17:24:54 +00001149 addSourceLine(SPDie, SP);
1150
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001151 // Add the prototype if we have a prototype and we have a C like
1152 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001153 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001154 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001155 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001156 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001157 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001158
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001159 const DISubroutineType *SPTy = SP->getType();
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001160 assert(SPTy->getTag() == dwarf::DW_TAG_subroutine_type &&
David Blaikie5174c842013-05-22 23:22:18 +00001161 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001162
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001163 auto Args = SPTy->getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001164 // Add a return type. If this is a type like a C/C++ void type we don't add a
1165 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001166 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001167 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001168 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001169
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001170 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001171 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001172 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001173 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001174 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001175 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001176 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001177 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001178 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001179 }
1180
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001181 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001182 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001183
Devang Patel89543712011-08-15 17:24:54 +00001184 // Add arguments. Do not add arguments for subprogram definition. They will
1185 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001186 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001187 }
1188
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001189 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001190 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001191
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001192 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001193 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001194
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001195 if (SP->isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001196 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001197
Eric Christophercd53d6e2015-03-21 03:13:01 +00001198 if (unsigned isa = Asm->getISAEncoding())
Devang Patel89543712011-08-15 17:24:54 +00001199 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
Devang Patel89543712011-08-15 17:24:54 +00001200
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001201 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001202 addFlag(SPDie, dwarf::DW_AT_reference);
1203
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001204 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001205 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1206
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001207 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001208 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1209 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001210 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001211 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1212 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001213 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001214 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1215 dwarf::DW_ACCESS_public);
1216
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001217 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001218 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001219}
1220
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001221void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001222 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001223 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001224 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001225
Bill Wendling28fe9e72012-12-06 07:38:10 +00001226 // The LowerBound value defines the lower bounds which is typically zero for
1227 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1228 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001229 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001230 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001231 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001232 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001233
Bill Wendling3495f9b2012-12-06 07:55:19 +00001234 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001235 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001236
David Blaikie32b0f362014-10-01 00:56:55 +00001237 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001238 // FIXME: An unbounded array should reference the expression that defines
1239 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001240 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001241}
1242
David Blaikie871c2d92014-11-02 03:09:13 +00001243DIE *DwarfUnit::getIndexTyDie() {
1244 if (IndexTyDie)
1245 return IndexTyDie;
1246 // Construct an integer type to use for indexes.
1247 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1248 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1249 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1250 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1251 dwarf::DW_ATE_unsigned);
1252 return IndexTyDie;
1253}
1254
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001255void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001256 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001257 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001258
Eric Christopher0df08e22013-08-08 07:40:37 +00001259 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001260 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001261
1262 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001263 // FIXME: This type should be passed down from the front end
1264 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001265 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001266
1267 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001268 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001269 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001270 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001271 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001272 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001273 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001274 }
1275}
1276
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001277void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1278 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001279
1280 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001281 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001282 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001283 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001284 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001285 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001286 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001287 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001288 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1289 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001290 }
1291 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001292 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001293 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001294 addType(Buffer, DTy);
1295 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001296 }
Devang Patel0e821f42011-04-12 23:21:44 +00001297}
1298
Eric Christophera5a79422013-12-09 23:32:48 +00001299void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001300 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001301 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001302 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001303 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001304 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001305 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001306 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001307 if (!NDie)
1308 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001309 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001310 }
1311}
1312
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001313void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001314 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1315 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001316 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001317 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001318
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001319 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001320
1321 addSourceLine(MemberDie, DT);
1322
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001323 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001324
1325 // For C++, virtual base classes are not at fixed offset. Use following
1326 // expression to extract appropriate offset from vtable.
1327 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1328
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001329 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001330 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1331 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1332 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001333 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001334 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1335 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1336 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001337
David Blaikief2443192013-10-21 17:28:37 +00001338 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001339 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001340 uint64_t Size = DT->getSizeInBits();
David Blaikie71d34a22013-11-01 00:25:45 +00001341 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1342 uint64_t OffsetInBytes;
1343
David Blaikiefa1a3c72015-01-28 02:34:53 +00001344 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001345 // Handle bitfield, assume bytes are 8 bits.
1346 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1347 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001348 //
Adrian Prantl57c7a62b92015-06-27 20:12:43 +00001349 // The DWARF 2 DW_AT_bit_offset is counting the bits between the most
1350 // significant bit of the aligned storage unit containing the bit field to
1351 // the most significan bit of the bit field.
Adrian Prantl06b298e2015-06-26 21:27:30 +00001352 //
1353 // FIXME: DWARF 4 states that DW_AT_data_bit_offset (which
1354 // counts from the beginning, regardless of endianness) should
1355 // be used instead.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001356 //
1357 //
1358 // Struct Align Align Align
1359 // v v v v
1360 // +-----------+-----*-----+-----*-----+--
1361 // | ... |b1|b2|b3|b4|
1362 // +-----------+-----*-----+-----*-----+--
1363 // | | |<-- Size ->| |
Adrian Prantl57c7a62b92015-06-27 20:12:43 +00001364 // |<---- Offset --->| | |<--->|
1365 // | | | | \_ DW_AT_bit_offset (little endian)
1366 // | |<--->| |
1367 // |<--big-e.->| \_ StartBitOffset = DW_AT_bit_offset (big endian)
1368 // | ^ | = DW_AT_data_bit_offset (biendian)
1369 // | OffsetInBytes |
1370 // | v |
1371 // |<----little-endian---->|
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001372 uint64_t Offset = DT->getOffsetInBits();
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001373 uint64_t Align = DT->getAlignInBits() ? DT->getAlignInBits() : FieldSize;
1374 uint64_t AlignMask = ~(Align - 1);
1375 // The bits from the start of the storage unit to the start of the field.
1376 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantl57c7a62b92015-06-27 20:12:43 +00001377 // OffsetInBytes is the byte offset of the field's aligned storage unit
1378 // inside the struct.
1379 uint64_t DwarfBitOffset;
1380 if (Asm->getDataLayout().isLittleEndian()) {
1381 DwarfBitOffset = OffsetToAlignment(Offset + Size, Align);
1382 OffsetInBytes = ((Offset + Size) & AlignMask) / 8;
1383 } else {
1384 DwarfBitOffset = StartBitOffset;
1385 OffsetInBytes = (Offset - StartBitOffset) / 8;
1386 }
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001387 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, DwarfBitOffset);
David Blaikie71d34a22013-11-01 00:25:45 +00001388 } else
1389 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001390 OffsetInBytes = DT->getOffsetInBits() / 8;
David Blaikie2ada1162014-01-03 00:48:38 +00001391
David Blaikie22b29a52014-01-03 01:30:05 +00001392 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001393 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001394 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1395 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001396 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1397 } else
1398 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1399 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001400 }
Devang Patel0e821f42011-04-12 23:21:44 +00001401
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001402 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001403 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001404 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001405 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001406 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001407 dwarf::DW_ACCESS_private);
1408 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001409 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001410 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001411 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001412 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001413 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001414 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001415
1416 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001417 if (DINode *PNode = DT->getObjCProperty())
1418 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001419 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1420 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001421
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001422 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001423 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001424}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001425
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001426DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001427 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001428 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001429
Manman Renc6b63922013-10-14 20:33:57 +00001430 // Construct the context before querying for the existence of the DIE in case
1431 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001432 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001433 assert(dwarf::isType(ContextDIE->getTag()) &&
1434 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001435
David Blaikie65a74662014-04-25 18:26:14 +00001436 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001437 return StaticMemberDIE;
1438
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001439 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001440
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001441 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001442
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001443 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001444 addType(StaticMemberDIE, Ty);
1445 addSourceLine(StaticMemberDIE, DT);
1446 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1447 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1448
1449 // FIXME: We could omit private if the parent is a class_type, and
1450 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001451 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001452 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1453 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001454 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001455 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1456 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001457 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001458 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1459 dwarf::DW_ACCESS_public);
1460
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001461 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001462 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001463 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001464 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001465
David Blaikie65a74662014-04-25 18:26:14 +00001466 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001467}
David Blaikie6b288cf2013-10-30 20:42:41 +00001468
Rafael Espindola063d7252015-03-10 16:58:10 +00001469void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001470 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001471 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikieae57e662014-11-01 23:59:23 +00001472 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1473
Lang Hames9ff69c82015-04-24 19:11:51 +00001474 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001475 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001476 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001477
David Blaikie6896e192013-12-04 23:39:02 +00001478 // We share one abbreviations table across all units so it's always at the
1479 // start of the section. Use a relocatable offset where needed to ensure
1480 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001481 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Rafael Espindola857546e2015-06-16 23:22:02 +00001482 Asm->emitDwarfSymbolReference(TLOF.getDwarfAbbrevSection()->getBeginSymbol(),
1483 UseOffsets);
Rafael Espindola063d7252015-03-10 16:58:10 +00001484
Lang Hames9ff69c82015-04-24 19:11:51 +00001485 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001486 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1487}
David Blaikiebc563272013-12-13 21:33:40 +00001488
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001489void DwarfUnit::initSection(MCSection *Section) {
David Blaikiea34568b2014-11-01 20:06:28 +00001490 assert(!this->Section);
1491 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001492}
1493
Rafael Espindola063d7252015-03-10 16:58:10 +00001494void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1495 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001496 Asm->OutStreamer->AddComment("Type Signature");
1497 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1498 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001499 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001500 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1501 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001502}
1503
David Blaikiecafd9622014-11-02 08:51:37 +00001504bool DwarfTypeUnit::isDwoUnit() const {
1505 // Since there are no skeleton type units, all type units are dwo type units
1506 // when split DWARF is being used.
1507 return DD->useSplitDwarf();
1508}