blob: fc57f2611884bd5428cac745be45e35df866d1f9 [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)
David Blaikiebd579052014-04-28 21:14:27 +000069 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
David Blaikie7cbf58a2014-11-01 18:18:07 +000070 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000071 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
72 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000073}
74
David Blaikiebd579052014-04-28 21:14:27 +000075DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000076 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000077 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000078 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
79 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000080 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000081 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000082}
David Blaikie409dd9c2013-11-19 23:08:21 +000083
Eric Christophera5a79422013-12-09 23:32:48 +000084DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000085 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
86 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000087 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
88 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000089}
90
Eric Christophera5a79422013-12-09 23:32:48 +000091int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000092 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000093 default:
94 break;
95
96 case dwarf::DW_LANG_C89:
97 case dwarf::DW_LANG_C99:
98 case dwarf::DW_LANG_C:
99 case dwarf::DW_LANG_C_plus_plus:
100 case dwarf::DW_LANG_ObjC:
101 case dwarf::DW_LANG_ObjC_plus_plus:
102 return 0;
103
104 case dwarf::DW_LANG_Fortran77:
105 case dwarf::DW_LANG_Fortran90:
106 case dwarf::DW_LANG_Fortran95:
107 return 1;
108
109 // The languages below have valid values only if the DWARF version >= 4.
110 case dwarf::DW_LANG_Java:
111 case dwarf::DW_LANG_Python:
112 case dwarf::DW_LANG_UPC:
113 case dwarf::DW_LANG_D:
114 if (dwarf::DWARF_VERSION >= 4)
115 return 0;
116 break;
117
118 case dwarf::DW_LANG_Ada83:
119 case dwarf::DW_LANG_Ada95:
120 case dwarf::DW_LANG_Cobol74:
121 case dwarf::DW_LANG_Cobol85:
122 case dwarf::DW_LANG_Modula2:
123 case dwarf::DW_LANG_Pascal83:
124 case dwarf::DW_LANG_PLI:
125 if (dwarf::DWARF_VERSION >= 4)
126 return 1;
127 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000128
129 // The languages below have valid values only if the DWARF version >= 5.
130 case dwarf::DW_LANG_OpenCL:
131 case dwarf::DW_LANG_Go:
132 case dwarf::DW_LANG_Haskell:
133 case dwarf::DW_LANG_C_plus_plus_03:
134 case dwarf::DW_LANG_C_plus_plus_11:
135 case dwarf::DW_LANG_OCaml:
136 case dwarf::DW_LANG_Rust:
137 case dwarf::DW_LANG_C11:
138 case dwarf::DW_LANG_Swift:
139 case dwarf::DW_LANG_Dylan:
140 case dwarf::DW_LANG_C_plus_plus_14:
141 if (dwarf::DWARF_VERSION >= 5)
142 return 0;
143 break;
144
145 case dwarf::DW_LANG_Modula3:
146 case dwarf::DW_LANG_Julia:
147 case dwarf::DW_LANG_Fortran03:
148 case dwarf::DW_LANG_Fortran08:
149 if (dwarf::DWARF_VERSION >= 5)
150 return 1;
151 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000152 }
153
154 return -1;
155}
156
Manman Ren4dbdc902013-10-31 17:54:35 +0000157/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000158static bool isShareableAcrossCUs(const DINode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000159 // When the MDNode can be part of the type system, the DIE can be shared
160 // across CUs.
161 // Combining type units and cross-CU DIE sharing is lower value (since
162 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
163 // level already) but may be implementable for some value in projects
164 // building multiple independent libraries with LTO and then linking those
165 // together.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000166 return (isa<DIType>(D) ||
167 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000168 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000169}
170
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000171DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000172 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000173 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000174 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000175}
176
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000177void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000178 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000179 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000180 return;
181 }
David Blaikie2ad00162013-11-15 23:09:13 +0000182 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000183}
184
David Blaikie65a74662014-04-25 18:26:14 +0000185void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000186 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000187 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000188 else
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000189 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000190}
191
David Blaikie65a74662014-04-25 18:26:14 +0000192void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000193 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000194 if (!Form)
195 Form = DIEInteger::BestForm(false, Integer);
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000196 Die.addValue(Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000197}
198
David Blaikie65a74662014-04-25 18:26:14 +0000199void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000200 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000201}
202
David Blaikie65a74662014-04-25 18:26:14 +0000203void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000204 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000205 if (!Form)
206 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000207 Die.addValue(Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000208}
209
David Blaikie65a74662014-04-25 18:26:14 +0000210void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000211 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000212 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000213}
214
David Blaikie65a74662014-04-25 18:26:14 +0000215void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000216 StringRef String) {
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000217 Die.addValue(Attribute,
218 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000219 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000220}
221
David Blaikie65a74662014-04-25 18:26:14 +0000222void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000223 const MCSymbol *Label) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000224 Die.addValue(Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000225}
226
David Blaikie65a74662014-04-25 18:26:14 +0000227void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000228 addLabel(Die, (dwarf::Attribute)0, Form, Label);
229}
230
David Blaikie65a74662014-04-25 18:26:14 +0000231void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000232 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000233 if (DD->getDwarfVersion() >= 4)
234 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
235 else
236 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
237}
238
David Blaikie4a2f95f2014-03-18 01:17:26 +0000239unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
240 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
241 : getCU().getOrCreateSourceID(FileName, DirName);
242}
243
David Blaikie65a74662014-04-25 18:26:14 +0000244void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000245 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000246 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
247 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000248 } else {
David Blaikief2443192013-10-21 17:28:37 +0000249 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000250 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000251 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000252 }
253}
254
David Blaikie65a74662014-04-25 18:26:14 +0000255void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000256 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000257 Die.addValue(Attribute, dwarf::DW_FORM_data4,
258 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000259}
260
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000261void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000262 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000263}
264
David Blaikie65a74662014-04-25 18:26:14 +0000265void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000266 // Flag the type unit reference as a declaration so that if it contains
267 // members (implicit special members, static data member definitions, member
268 // declarations for definitions in this CU, etc) consumers don't get confused
269 // and think this is a full definition.
270 addFlag(Die, dwarf::DW_AT_declaration);
271
David Blaikie65a74662014-04-25 18:26:14 +0000272 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000273 DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000274}
275
David Blaikie65a74662014-04-25 18:26:14 +0000276void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000277 DIEEntry Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000278 const DIE *DieCU = Die.getUnitOrNull();
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000279 const DIE *EntryCU = Entry.getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000280 if (!DieCU)
281 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000282 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000283 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000284 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000285 Die.addValue(Attribute,
286 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
287 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000288}
289
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000290DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000291 assert(Tag != dwarf::DW_TAG_auto_variable &&
292 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000293 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000294 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000295 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000296 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000297 return Die;
298}
299
David Blaikie65a74662014-04-25 18:26:14 +0000300void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000301 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000302 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000303 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000304}
305
David Blaikie65a74662014-04-25 18:26:14 +0000306void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000307 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000308 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000309 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000310 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000311}
312
David Blaikie65a74662014-04-25 18:26:14 +0000313void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000314 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000315 if (Line == 0)
316 return;
David Blaikie101613e2014-02-12 00:11:25 +0000317
David Blaikie4a2f95f2014-03-18 01:17:26 +0000318 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000319 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000320 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
321 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000322}
323
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000324void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000325 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000326
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000327 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
328 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000329}
330
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000331void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000332 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000333
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000334 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000335}
336
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000337void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000338 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000339
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000340 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000341}
342
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000343void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000344 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000345
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000346 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000347}
348
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000349void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000350 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000351
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000352 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000353}
354
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000355void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000356 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000357}
358
Adrian Prantlab255fc2014-12-05 01:02:46 +0000359bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000360 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000361 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000362 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000363 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000364}
365
Adrian Prantlab255fc2014-12-05 01:02:46 +0000366bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000367 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000368 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000369 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000370}
371
Devang Patel0e821f42011-04-12 23:21:44 +0000372/* Byref variables, in Blocks, are declared by the programmer as "SomeType
373 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
374 gives the variable VarName either the struct, or a pointer to the struct, as
375 its type. This is necessary for various behind-the-scenes things the
376 compiler needs to do with by-reference variables in Blocks.
377
378 However, as far as the original *programmer* is concerned, the variable
379 should still have type 'SomeType', as originally declared.
380
381 The function getBlockByrefType dives into the __Block_byref_x_VarName
382 struct to find the original type of the variable, which is then assigned to
383 the variable's Debug Information Entry as its real type. So far, so good.
384 However now the debugger will expect the variable VarName to have the type
385 SomeType. So we need the location attribute for the variable to be an
386 expression that explains to the debugger how to navigate through the
387 pointers and struct to find the actual variable of type SomeType.
388
389 The following function does just that. We start by getting
390 the "normal" location for the variable. This will be the location
391 of either the struct __Block_byref_x_VarName or the pointer to the
392 struct __Block_byref_x_VarName.
393
394 The struct will look something like:
395
396 struct __Block_byref_x_VarName {
397 ... <various fields>
398 struct __Block_byref_x_VarName *forwarding;
399 ... <various other fields>
400 SomeType VarName;
401 ... <maybe more fields>
402 };
403
404 If we are given the struct directly (as our starting point) we
405 need to tell the debugger to:
406
407 1). Add the offset of the forwarding field.
408
409 2). Follow that pointer to get the real __Block_byref_x_VarName
410 struct to use (the real one may have been copied onto the heap).
411
412 3). Add the offset for the field VarName, to find the actual variable.
413
414 If we started with a pointer to the struct, then we need to
415 dereference that pointer first, before the other steps.
416 Translating this into DWARF ops, we will need to append the following
417 to the current location description for the variable:
418
419 DW_OP_deref -- optional, if we start with a pointer
420 DW_OP_plus_uconst <forward_fld_offset>
421 DW_OP_deref
422 DW_OP_plus_uconst <varName_fld_offset>
423
424 That is what this function does. */
425
David Blaikie65a74662014-04-25 18:26:14 +0000426void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000427 dwarf::Attribute Attribute,
428 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000429 const DIType *Ty = DV.getType();
430 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000431 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000432 bool isPointer = false;
433
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000434 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000435
436 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000437 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000438 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000439 isPointer = true;
440 }
441
Devang Patel0e821f42011-04-12 23:21:44 +0000442 // Find the __forwarding field and the variable field in the __Block_byref
443 // struct.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000444 DINodeArray Fields = cast<DICompositeTypeBase>(TmpTy)->getElements();
445 const DIDerivedType *varField = nullptr;
446 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000447
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000448 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000449 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000450 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000451 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000452 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000453 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000454 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000455 }
456
457 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000458 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
459 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000460
461 // Decode the original location, and use that as the start of the byref
462 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000463 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Devang Patel0e821f42011-04-12 23:21:44 +0000464
Adrian Prantlab255fc2014-12-05 01:02:46 +0000465 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000466 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000467 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000468 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000469 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
470
471 if (!validReg)
472 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000473
474 // If we started with a pointer to the __Block_byref... struct, then
475 // the first thing we need to do is dereference the pointer (DW_OP_deref).
476 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000477 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000478
479 // Next add the offset for the '__forwarding' field:
480 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
481 // adding the offset if it's 0.
482 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000483 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
484 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000485 }
486
487 // Now dereference the __forwarding field to get to the real __Block_byref
488 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000489 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000490
491 // Now that we've got the real __Block_byref... struct, add the offset
492 // for the variable's field to get to the location of the actual variable:
493 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
494 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000495 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
496 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000497 }
498
499 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000500 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000501}
502
Manman Renb3388602013-10-05 01:43:03 +0000503/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000504static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
505 if (auto *DTy = dyn_cast<DIDerivedTypeBase>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000506 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000507 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000508 // null pointer constant emission.
Adrian Prantld88af272015-01-07 21:35:13 +0000509 // (Pieces of) aggregate types that get hacked apart by SROA may also be
510 // represented by a constant. Encode them as unsigned bytes.
David Blaikie93ef46b2014-05-20 21:40:13 +0000511 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
512 // here, but accept them for now due to a bug in SROA producing bogus
513 // dbg.values.
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000514 if (T == dwarf::DW_TAG_array_type ||
515 T == dwarf::DW_TAG_class_type ||
516 T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000517 T == dwarf::DW_TAG_ptr_to_member_type ||
518 T == dwarf::DW_TAG_reference_type ||
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000519 T == dwarf::DW_TAG_rvalue_reference_type ||
Adrian Prantl577feba2015-01-23 18:01:39 +0000520 T == dwarf::DW_TAG_structure_type ||
521 T == dwarf::DW_TAG_union_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000522 return true;
523 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
524 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000525 T == dwarf::DW_TAG_restrict_type ||
526 T == dwarf::DW_TAG_enumeration_type);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000527 if (DITypeRef Deriv = DTy->getBaseType())
David Blaikie2af1c802014-05-20 18:21:51 +0000528 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000529 // FIXME: Enums without a fixed underlying type have unknown signedness
530 // here, leading to incorrectly emitted constants.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000531 assert(DTy->getTag() == dwarf::DW_TAG_enumeration_type);
David Blaikiee0f14742014-05-11 17:04:05 +0000532 return false;
533 }
Manman Renb3388602013-10-05 01:43:03 +0000534
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000535 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000536 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000537 assert((Encoding == dwarf::DW_ATE_unsigned ||
538 Encoding == dwarf::DW_ATE_unsigned_char ||
539 Encoding == dwarf::DW_ATE_signed ||
540 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000541 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
542 Encoding == dwarf::DW_ATE_boolean ||
543 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
544 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000545 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000546 return Encoding == dwarf::DW_ATE_unsigned ||
547 Encoding == dwarf::DW_ATE_unsigned_char ||
548 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
549 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000550}
551
552/// If this type is derived from a base type then return base type size.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000553static uint64_t getBaseTypeSize(DwarfDebug *DD, const DIDerivedType *Ty) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000554 unsigned Tag = Ty->getTag();
Manman Renb3388602013-10-05 01:43:03 +0000555
556 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
557 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
558 Tag != dwarf::DW_TAG_restrict_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000559 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000560
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000561 auto *BaseType = DD->resolve(Ty->getBaseType());
Manman Renb3388602013-10-05 01:43:03 +0000562
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000563 assert(BaseType && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000564
565 // If this is a derived type, go ahead and get the base type, unless it's a
566 // reference then it's just the size of the field. Pointer types have no need
567 // of this since they're a different type of qualification on the type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000568 if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
569 BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
570 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000571
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000572 if (auto *DT = dyn_cast<DIDerivedType>(BaseType))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000573 return getBaseTypeSize(DD, DT);
Manman Renb3388602013-10-05 01:43:03 +0000574
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000575 return BaseType->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000576}
577
David Blaikie65a74662014-04-25 18:26:14 +0000578void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000579 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000580 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000581 APFloat FPImm = MO.getFPImm()->getValueAPF();
582
583 // Get the raw data form of the floating point.
584 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000585 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000586
587 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000588 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000589 int Incr = (LittleEndian ? 1 : -1);
590 int Start = (LittleEndian ? 0 : NumBytes - 1);
591 int Stop = (LittleEndian ? NumBytes : -1);
592
593 // Output the constant to DWARF one byte at a time.
594 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000595 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000596
David Blaikief2443192013-10-21 17:28:37 +0000597 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000598}
599
David Blaikie65a74662014-04-25 18:26:14 +0000600void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000601 // Pass this down to addConstantValue as an unsigned bag of bits.
602 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000603}
604
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000605void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000606 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000607 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000608}
609
David Blaikiec05c8f42014-05-11 15:47:39 +0000610void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000611 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000612 assert(MO.isImm() && "Invalid machine operand!");
613
David Blaikie60cae1b2014-05-11 16:08:41 +0000614 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000615}
616
David Blaikie60cae1b2014-05-11 16:08:41 +0000617void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000618 // FIXME: This is a bit conservative/simple - it emits negative values always
619 // sign extended to 64 bits rather than minimizing the number of bytes.
620 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000621 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000622}
623
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000624void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000625 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
626}
627
David Blaikie65a74662014-04-25 18:26:14 +0000628void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000629 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000630 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000631 addConstantValue(Die, Unsigned,
632 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000633 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000634 }
635
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000636 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000637
638 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000639 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000640
641 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000642 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000643
644 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000645 for (int i = 0; i < NumBytes; i++) {
646 uint8_t c;
647 if (LittleEndian)
648 c = Ptr64[i / 8] >> (8 * (i & 7));
649 else
650 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000651 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000652 }
Devang Patel0e821f42011-04-12 23:21:44 +0000653
David Blaikief2443192013-10-21 17:28:37 +0000654 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000655}
656
Paul Robinson857b4432015-03-10 22:44:45 +0000657void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
658 if (!LinkageName.empty())
659 addString(Die,
660 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
661 : dwarf::DW_AT_MIPS_linkage_name,
662 GlobalValue::getRealLinkageName(LinkageName));
663}
664
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000665void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000666 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000667 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000668 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000669 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000670 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000671 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000672 }
Devang Patel0e821f42011-04-12 23:21:44 +0000673}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000674
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000675DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
676 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000677 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000678 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000679 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000680 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000681 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000682 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000683 return getOrCreateSubprogramDIE(SP);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000684 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000685}
686
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000687DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000688 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000689 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000690
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000691 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000692 return TyDIE;
693
694 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000695 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000696
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000697 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000698
David Blaikie9d861be2013-11-26 00:15:27 +0000699 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000700 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000701}
702
Eric Christophera5a79422013-12-09 23:32:48 +0000703DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000704 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000705 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000706
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000707 auto *Ty = cast<DIType>(TyNode);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000708 assert(Ty == resolve(Ty->getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000709 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000710
David Blaikieee11f222014-04-12 05:35:59 +0000711 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000712 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000713 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000714
Manman Renf4c339e2013-10-29 22:49:29 +0000715 // Construct the context before querying for the existence of the DIE in case
716 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000717 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000718 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000719 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000720
David Blaikie65a74662014-04-25 18:26:14 +0000721 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000722 return TyDIE;
723
724 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000725 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000726
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000727 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000728
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000729 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000730 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000731 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000732 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000733 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000734 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
735 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000736 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000737 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000738 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000739 }
David Blaikie65a74662014-04-25 18:26:14 +0000740 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000741 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000742 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000743 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000744
David Blaikie65a74662014-04-25 18:26:14 +0000745 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000746}
747
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000748void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
749 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000750 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eric Christopher21bde872012-01-06 04:35:23 +0000751 bool IsImplementation = 0;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000752 if (auto *CT = dyn_cast<DICompositeTypeBase>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000753 // A runtime language of 0 actually means C/C++ and that any
754 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000755 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000756 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000757 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000758 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000759
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000760 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
761 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000762 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000763 }
Devang Patel0e821f42011-04-12 23:21:44 +0000764}
765
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000766void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000767 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000768 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000769 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000770}
771
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000772std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000773 if (!Context)
774 return "";
775
776 // FIXME: Decide whether to implement this for non-C++ languages.
777 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
778 return "";
779
Eric Christopher8dba0d52013-10-19 01:04:42 +0000780 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000781 SmallVector<const DIScope *, 1> Parents;
782 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000783 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000784 if (Context->getScope())
785 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000786 else
787 // Structure, etc types will have a NULL context if they're at the top
788 // level.
789 break;
790 }
791
792 // Reverse iterate over our list to go from the outermost construct to the
793 // innermost.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000794 for (auto I = Parents.rbegin(), E = Parents.rend(); I != E; ++I) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000795 const DIScope *Ctx = *I;
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000796 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000797 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000798 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000799 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000800 CS += Name;
801 CS += "::";
802 }
803 }
804 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000805}
806
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000807void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000808 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000809 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000810 // Add name if not anonymous or intermediate type.
811 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000812 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000813
David Blaikiefac56122013-10-04 23:21:16 +0000814 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000815 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000816 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000817
David Blaikie65a74662014-04-25 18:26:14 +0000818 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000819 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000820
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000821 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000822 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000823}
824
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000825void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000826 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000827 StringRef Name = DTy->getName();
828 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000829 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000830
831 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000832 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000833 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000834 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000835
836 // Add name if not anonymous or intermediate type.
837 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000838 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000839
840 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000841 if (Size && Tag != dwarf::DW_TAG_pointer_type
842 && Tag != dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000843 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000844
David Blaikie5d3249b2013-01-07 05:51:15 +0000845 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000846 addDIEEntry(
847 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000848 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000849 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000850 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000851 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000852}
853
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000854void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000855 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000856 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000857 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000858 assert(i == N-1 && "Unspecified parameter must be the last argument");
859 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
860 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000861 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000862 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000863 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000864 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000865 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000866 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000867}
868
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000869void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000870 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000871 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000872 if (Elements.size())
873 if (auto RTy = resolve(Elements[0]))
874 addType(Buffer, RTy);
875
876 bool isPrototyped = true;
877 if (Elements.size() == 2 && !Elements[1])
878 isPrototyped = false;
879
880 constructSubprogramArguments(Buffer, Elements);
881
882 // Add prototype flag if we're dealing with a C language and the function has
883 // been prototyped.
884 uint16_t Language = getLanguage();
885 if (isPrototyped &&
886 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
887 Language == dwarf::DW_LANG_ObjC))
888 addFlag(Buffer, dwarf::DW_AT_prototyped);
889
890 if (CTy->isLValueReference())
891 addFlag(Buffer, dwarf::DW_AT_reference);
892
893 if (CTy->isRValueReference())
894 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
895}
896
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000897void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000898 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000899 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000900
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000901 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000902 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000903
904 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000905 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000906 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000907 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000908 case dwarf::DW_TAG_enumeration_type:
909 constructEnumTypeDIE(Buffer, CTy);
910 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000911 case dwarf::DW_TAG_structure_type:
912 case dwarf::DW_TAG_union_type:
913 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000914 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000915 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000916 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000917 if (!Element)
918 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000919 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000920 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000921 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000922 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000923 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000924 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
925 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000926 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000927 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000928 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000929 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000930 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000931 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
932 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000933 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000934 if (Property->getType())
935 addType(ElemDie, Property->getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +0000936 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000937 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000938 if (!GetterName.empty())
939 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000940 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000941 if (!SetterName.empty())
942 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000943 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000944 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000945 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000946 }
Devang Patel0e821f42011-04-12 23:21:44 +0000947 }
948
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000949 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000950 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000951
Adrian Prantlcf44e782014-12-19 00:01:20 +0000952 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
953 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000954 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000955 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000956 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000957 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000958
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000959 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000960 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000961
Eric Christopherda011dd2011-12-16 23:42:42 +0000962 // Add template parameters to a class, structure or union types.
963 // FIXME: The support isn't in the metadata for this yet.
964 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000965 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000966 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000967
968 break;
969 }
970 default:
971 break;
972 }
973
974 // Add name if not anonymous or intermediate type.
975 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000976 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000977
Eric Christopher775cbd22012-05-22 18:45:18 +0000978 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000979 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000980 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000981 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000982 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000983 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000984 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000985 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000986 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000987 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000988
989 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000990 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000991 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000992
993 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000994 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000995 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000996
997 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000998 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000999 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001000 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001001 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001002 }
1003}
1004
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001005void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001006 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001007 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001008 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001009 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001010 if (TP->getType())
1011 addType(ParamDIE, resolve(TP->getType()));
1012 if (!TP->getName().empty())
1013 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001014}
1015
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001016void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001017 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001018 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001019
1020 // Add the type if there is one, template template and template parameter
1021 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001022 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1023 addType(ParamDIE, resolve(VP->getType()));
1024 if (!VP->getName().empty())
1025 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1026 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001027 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001028 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001029 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001030 // For declaration non-type template parameters (such as global values and
1031 // functions)
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001032 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001033 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001034 // Emit DW_OP_stack_value to use the address as the immediate value of the
1035 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001036 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001037 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001038 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001039 assert(isa<MDString>(Val));
1040 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1041 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001042 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001043 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001044 }
1045 }
Devang Patel0e821f42011-04-12 23:21:44 +00001046}
1047
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001048DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001049 // Construct the context before querying for the existence of the DIE in case
1050 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001051 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001052
David Blaikie65a74662014-04-25 18:26:14 +00001053 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001054 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001055 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001056
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001057 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001058 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001059 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001060 else
1061 Name = "(anonymous namespace)";
1062 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001063 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001064 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001065 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001066}
1067
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001068DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001069 // Construct the context before querying for the existence of the DIE in case
1070 // such construction creates the DIE (as is the case for member function
1071 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001072 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001073 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001074
David Blaikie65a74662014-04-25 18:26:14 +00001075 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001076 return SPDie;
1077
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001078 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001079 if (!Minimal) {
1080 // Add subprogram definitions to the CU die directly.
1081 ContextDIE = &getUnitDie();
1082 // Build the decl now to ensure it precedes the definition.
1083 getOrCreateSubprogramDIE(SPDecl);
1084 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001085 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001086
1087 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001088 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001089
David Blaikie6cfa9e12014-06-05 00:25:26 +00001090 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001091 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001092 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001093 return &SPDie;
1094
David Blaikie7f916862014-05-27 18:37:38 +00001095 applySubprogramAttributes(SP, SPDie);
1096 return &SPDie;
1097}
1098
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001099bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001100 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001101 DIE *DeclDie = nullptr;
1102 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001103 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001104 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001105 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001106 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001107 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001108 DeclLinkageName = SPDecl->getLinkageName();
David Blaikie7f916862014-05-27 18:37:38 +00001109 }
Rafael Espindola79278362011-11-10 22:34:29 +00001110
Devang Patel89543712011-08-15 17:24:54 +00001111 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001112 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001113
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001114 // 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 +00001115 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001116 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1117 LinkageName == DeclLinkageName) &&
1118 "decl has a linkage name and it is different");
Paul Robinson857b4432015-03-10 22:44:45 +00001119 if (DeclLinkageName.empty())
1120 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001121
David Blaikie3a443c22014-11-04 22:12:25 +00001122 if (!DeclDie)
1123 return false;
1124
1125 // Refer to the function declaration where all the other attributes will be
1126 // found.
1127 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1128 return true;
1129}
1130
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001131void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001132 bool Minimal) {
1133 if (!Minimal)
1134 if (applySubprogramDefinitionAttributes(SP, SPDie))
1135 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001136
Devang Patel89543712011-08-15 17:24:54 +00001137 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001138 if (!SP->getName().empty())
1139 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001140
David Blaikie0b9438b2014-09-19 04:47:46 +00001141 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001142 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001143 return;
1144
Devang Patel89543712011-08-15 17:24:54 +00001145 addSourceLine(SPDie, SP);
1146
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001147 // Add the prototype if we have a prototype and we have a C like
1148 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001149 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001150 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001151 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001152 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001153 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001154
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001155 const DISubroutineType *SPTy = SP->getType();
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001156 assert(SPTy->getTag() == dwarf::DW_TAG_subroutine_type &&
David Blaikie5174c842013-05-22 23:22:18 +00001157 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001158
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001159 auto Args = SPTy->getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001160 // Add a return type. If this is a type like a C/C++ void type we don't add a
1161 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001162 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001163 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001164 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001165
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001166 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001167 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001168 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001169 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001170 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001171 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001172 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001173 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001174 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001175 }
1176
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001177 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001178 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001179
Devang Patel89543712011-08-15 17:24:54 +00001180 // Add arguments. Do not add arguments for subprogram definition. They will
1181 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001182 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001183 }
1184
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001185 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001186 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001187
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001188 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001189 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001190
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001191 if (SP->isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001192 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001193
Eric Christophercd53d6e2015-03-21 03:13:01 +00001194 if (unsigned isa = Asm->getISAEncoding())
Devang Patel89543712011-08-15 17:24:54 +00001195 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
Devang Patel89543712011-08-15 17:24:54 +00001196
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001197 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001198 addFlag(SPDie, dwarf::DW_AT_reference);
1199
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001200 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001201 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1202
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001203 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001204 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1205 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001206 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001207 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1208 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001209 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001210 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1211 dwarf::DW_ACCESS_public);
1212
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001213 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001214 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001215}
1216
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001217void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001218 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001219 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001220 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001221
Bill Wendling28fe9e72012-12-06 07:38:10 +00001222 // The LowerBound value defines the lower bounds which is typically zero for
1223 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1224 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001225 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001226 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001227 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001228 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001229
Bill Wendling3495f9b2012-12-06 07:55:19 +00001230 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001231 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001232
David Blaikie32b0f362014-10-01 00:56:55 +00001233 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001234 // FIXME: An unbounded array should reference the expression that defines
1235 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001236 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001237}
1238
David Blaikie871c2d92014-11-02 03:09:13 +00001239DIE *DwarfUnit::getIndexTyDie() {
1240 if (IndexTyDie)
1241 return IndexTyDie;
1242 // Construct an integer type to use for indexes.
1243 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1244 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1245 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1246 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1247 dwarf::DW_ATE_unsigned);
1248 return IndexTyDie;
1249}
1250
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001251void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001252 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001253 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001254
Eric Christopher0df08e22013-08-08 07:40:37 +00001255 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001256 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001257
1258 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001259 // FIXME: This type should be passed down from the front end
1260 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001261 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001262
1263 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001264 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001265 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001266 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001267 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001268 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001269 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001270 }
1271}
1272
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001273void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1274 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001275
1276 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001277 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001278 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001279 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001280 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001281 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001282 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001283 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001284 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1285 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001286 }
1287 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001288 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001289 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001290 addType(Buffer, DTy);
1291 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001292 }
Devang Patel0e821f42011-04-12 23:21:44 +00001293}
1294
Eric Christophera5a79422013-12-09 23:32:48 +00001295void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001296 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001297 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001298 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001299 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001300 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001301 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001302 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001303 if (!NDie)
1304 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001305 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001306 }
1307}
1308
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001309void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001310 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1311 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001312 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001313 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001314
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001315 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001316
1317 addSourceLine(MemberDie, DT);
1318
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001319 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001320
1321 // For C++, virtual base classes are not at fixed offset. Use following
1322 // expression to extract appropriate offset from vtable.
1323 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1324
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001325 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001326 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1327 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1328 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001329 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001330 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1331 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1332 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001333
David Blaikief2443192013-10-21 17:28:37 +00001334 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001335 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001336 uint64_t Size = DT->getSizeInBits();
David Blaikie71d34a22013-11-01 00:25:45 +00001337 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1338 uint64_t OffsetInBytes;
1339
David Blaikiefa1a3c72015-01-28 02:34:53 +00001340 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001341 // Handle bitfield, assume bytes are 8 bits.
1342 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1343 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001344
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001345 uint64_t Offset = DT->getOffsetInBits();
1346 uint64_t AlignMask = ~(DT->getAlignInBits() - 1);
David Blaikie71d34a22013-11-01 00:25:45 +00001347 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1348 uint64_t FieldOffset = (HiMark - FieldSize);
1349 Offset -= FieldOffset;
1350
1351 // Maybe we need to work from the other end.
1352 if (Asm->getDataLayout().isLittleEndian())
1353 Offset = FieldSize - (Offset + Size);
1354 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1355
Adrian Prantlc67655a2014-01-28 18:13:47 +00001356 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001357 // field that includes this bit field.
1358 OffsetInBytes = FieldOffset >> 3;
1359 } else
1360 // This is not a bitfield.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001361 OffsetInBytes = DT->getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001362
David Blaikie22b29a52014-01-03 01:30:05 +00001363 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001364 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001365 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1366 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001367 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1368 } else
1369 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1370 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001371 }
Devang Patel0e821f42011-04-12 23:21:44 +00001372
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001373 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001374 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001375 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001376 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001377 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001378 dwarf::DW_ACCESS_private);
1379 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001380 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001381 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001382 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001383 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001384 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001385 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001386
1387 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001388 if (DINode *PNode = DT->getObjCProperty())
1389 if (DIE *PDie = getDIE(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001390 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001391 DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001392
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001393 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001394 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001395}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001396
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001397DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001398 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001399 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001400
Manman Renc6b63922013-10-14 20:33:57 +00001401 // Construct the context before querying for the existence of the DIE in case
1402 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001403 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001404 assert(dwarf::isType(ContextDIE->getTag()) &&
1405 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001406
David Blaikie65a74662014-04-25 18:26:14 +00001407 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001408 return StaticMemberDIE;
1409
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001410 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001411
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001412 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001413
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001414 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001415 addType(StaticMemberDIE, Ty);
1416 addSourceLine(StaticMemberDIE, DT);
1417 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1418 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1419
1420 // FIXME: We could omit private if the parent is a class_type, and
1421 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001422 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001423 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1424 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001425 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001426 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1427 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001428 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001429 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1430 dwarf::DW_ACCESS_public);
1431
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001432 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001433 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001434 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001435 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001436
David Blaikie65a74662014-04-25 18:26:14 +00001437 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001438}
David Blaikie6b288cf2013-10-30 20:42:41 +00001439
Rafael Espindola063d7252015-03-10 16:58:10 +00001440void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001441 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001442 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikieae57e662014-11-01 23:59:23 +00001443 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1444
Lang Hames9ff69c82015-04-24 19:11:51 +00001445 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001446 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001447 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001448
David Blaikie6896e192013-12-04 23:39:02 +00001449 // We share one abbreviations table across all units so it's always at the
1450 // start of the section. Use a relocatable offset where needed to ensure
1451 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001452 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1453 if (!UseOffsets)
1454 Asm->emitSectionOffset(TLOF.getDwarfAbbrevSection()->getBeginSymbol());
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001455 else
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001456 Asm->EmitInt32(0);
Rafael Espindola063d7252015-03-10 16:58:10 +00001457
Lang Hames9ff69c82015-04-24 19:11:51 +00001458 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001459 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1460}
David Blaikiebc563272013-12-13 21:33:40 +00001461
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001462void DwarfUnit::initSection(MCSection *Section) {
David Blaikiea34568b2014-11-01 20:06:28 +00001463 assert(!this->Section);
1464 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001465}
1466
Rafael Espindola063d7252015-03-10 16:58:10 +00001467void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1468 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001469 Asm->OutStreamer->AddComment("Type Signature");
1470 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1471 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001472 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001473 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1474 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001475}
1476
David Blaikiecafd9622014-11-02 08:51:37 +00001477bool DwarfTypeUnit::isDwoUnit() const {
1478 // Since there are no skeleton type units, all type units are dwo type units
1479 // when split DWARF is being used.
1480 return DD->useSplitDwarf();
1481}