blob: 49a3b6e0b2fd55c3036937ae4f324f562640fcaf [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
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000066DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
67 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
68 : CUNode(Node), UnitDie(*DIE::get(DIEValueAllocator, UnitTag)), Asm(A),
69 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000070 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
71 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000072}
73
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000074DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000075 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000076 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000077 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
78 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000079 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000080 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000081}
David Blaikie409dd9c2013-11-19 23:08:21 +000082
Eric Christophera5a79422013-12-09 23:32:48 +000083DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000084 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
85 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000086 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
87 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000088}
89
Eric Christophera5a79422013-12-09 23:32:48 +000090int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000091 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000092 default:
93 break;
94
95 case dwarf::DW_LANG_C89:
96 case dwarf::DW_LANG_C99:
97 case dwarf::DW_LANG_C:
98 case dwarf::DW_LANG_C_plus_plus:
99 case dwarf::DW_LANG_ObjC:
100 case dwarf::DW_LANG_ObjC_plus_plus:
101 return 0;
102
103 case dwarf::DW_LANG_Fortran77:
104 case dwarf::DW_LANG_Fortran90:
105 case dwarf::DW_LANG_Fortran95:
106 return 1;
107
108 // The languages below have valid values only if the DWARF version >= 4.
109 case dwarf::DW_LANG_Java:
110 case dwarf::DW_LANG_Python:
111 case dwarf::DW_LANG_UPC:
112 case dwarf::DW_LANG_D:
113 if (dwarf::DWARF_VERSION >= 4)
114 return 0;
115 break;
116
117 case dwarf::DW_LANG_Ada83:
118 case dwarf::DW_LANG_Ada95:
119 case dwarf::DW_LANG_Cobol74:
120 case dwarf::DW_LANG_Cobol85:
121 case dwarf::DW_LANG_Modula2:
122 case dwarf::DW_LANG_Pascal83:
123 case dwarf::DW_LANG_PLI:
124 if (dwarf::DWARF_VERSION >= 4)
125 return 1;
126 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000127
128 // The languages below have valid values only if the DWARF version >= 5.
129 case dwarf::DW_LANG_OpenCL:
130 case dwarf::DW_LANG_Go:
131 case dwarf::DW_LANG_Haskell:
132 case dwarf::DW_LANG_C_plus_plus_03:
133 case dwarf::DW_LANG_C_plus_plus_11:
134 case dwarf::DW_LANG_OCaml:
135 case dwarf::DW_LANG_Rust:
136 case dwarf::DW_LANG_C11:
137 case dwarf::DW_LANG_Swift:
138 case dwarf::DW_LANG_Dylan:
139 case dwarf::DW_LANG_C_plus_plus_14:
140 if (dwarf::DWARF_VERSION >= 5)
141 return 0;
142 break;
143
144 case dwarf::DW_LANG_Modula3:
145 case dwarf::DW_LANG_Julia:
146 case dwarf::DW_LANG_Fortran03:
147 case dwarf::DW_LANG_Fortran08:
148 if (dwarf::DWARF_VERSION >= 5)
149 return 1;
150 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000151 }
152
153 return -1;
154}
155
Manman Ren4dbdc902013-10-31 17:54:35 +0000156/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000157static bool isShareableAcrossCUs(const DINode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000158 // When the MDNode can be part of the type system, the DIE can be shared
159 // across CUs.
160 // Combining type units and cross-CU DIE sharing is lower value (since
161 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
162 // level already) but may be implementable for some value in projects
163 // building multiple independent libraries with LTO and then linking those
164 // together.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000165 return (isa<DIType>(D) ||
166 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000167 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000168}
169
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000170DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000171 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000172 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000173 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000174}
175
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000176void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000177 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000178 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000179 return;
180 }
David Blaikie2ad00162013-11-15 23:09:13 +0000181 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000182}
183
David Blaikie65a74662014-04-25 18:26:14 +0000184void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000185 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000186 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
187 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000188 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000189 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
190 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000191}
192
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000193void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000194 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000195 if (!Form)
196 Form = DIEInteger::BestForm(false, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000197 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000198}
199
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000200void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
201 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000202 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000203}
204
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000205void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000206 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000207 if (!Form)
208 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000209 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000210}
211
David Blaikie65a74662014-04-25 18:26:14 +0000212void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000213 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000214 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000215}
216
David Blaikie65a74662014-04-25 18:26:14 +0000217void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000218 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000219 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000220 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000221 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000222}
223
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000224DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
225 dwarf::Attribute Attribute,
226 dwarf::Form Form,
227 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000228 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000229}
230
David Blaikie65a74662014-04-25 18:26:14 +0000231void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000232 addLabel(Die, (dwarf::Attribute)0, Form, Label);
233}
234
David Blaikie65a74662014-04-25 18:26:14 +0000235void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000236 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000237 if (DD->getDwarfVersion() >= 4)
238 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
239 else
240 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
241}
242
David Blaikie4a2f95f2014-03-18 01:17:26 +0000243unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
244 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
245 : getCU().getOrCreateSourceID(FileName, DirName);
246}
247
David Blaikie65a74662014-04-25 18:26:14 +0000248void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000249 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000250 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
251 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000252 } else {
David Blaikief2443192013-10-21 17:28:37 +0000253 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000254 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000255 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000256 }
257}
258
David Blaikie65a74662014-04-25 18:26:14 +0000259void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000260 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000261 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000262 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000263}
264
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000265void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000266 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000267}
268
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000269void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000270 // Flag the type unit reference as a declaration so that if it contains
271 // members (implicit special members, static data member definitions, member
272 // declarations for definitions in this CU, etc) consumers don't get confused
273 // and think this is a full definition.
274 addFlag(Die, dwarf::DW_AT_declaration);
275
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000276 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000277 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000278}
279
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000280void DwarfUnit::addDIETypeSignature(DIE &Die, dwarf::Attribute Attribute,
281 StringRef Identifier) {
282 uint64_t Signature = DD->makeTypeSignature(Identifier);
283 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_ref_sig8,
284 DIEInteger(Signature));
285}
286
David Blaikie65a74662014-04-25 18:26:14 +0000287void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000288 DIEEntry Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000289 const DIE *DieCU = Die.getUnitOrNull();
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000290 const DIE *EntryCU = Entry.getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000291 if (!DieCU)
292 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000293 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000294 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000295 EntryCU = &getUnitDie();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000296 Die.addValue(DIEValueAllocator, Attribute,
David Blaikie65a74662014-04-25 18:26:14 +0000297 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
298 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000299}
300
Amjad Aboudab0378b2016-03-14 12:03:20 +0000301DIE *DwarfUnit::createDIE(unsigned Tag, const DINode *N) {
302 DIE *Die = DIE::get(DIEValueAllocator, (dwarf::Tag)Tag);
Hans Wennborgd3661cd2016-02-23 19:17:03 +0000303 if (N)
Amjad Aboudab0378b2016-03-14 12:03:20 +0000304 insertDIE(N, Die);
305 return Die;
306}
307
308DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
309 DIE &Die = Parent.addChild(createDIE(Tag, N));
Manman Renb987e512013-10-29 00:53:03 +0000310 return Die;
311}
312
David Blaikie65a74662014-04-25 18:26:14 +0000313void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000314 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000315 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000316 Die.addValue(DIEValueAllocator, Attribute,
317 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000318}
319
David Blaikie65a74662014-04-25 18:26:14 +0000320void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000321 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000322 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000323 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000324 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000325}
326
David Blaikie65a74662014-04-25 18:26:14 +0000327void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000328 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000329 if (Line == 0)
330 return;
David Blaikie101613e2014-02-12 00:11:25 +0000331
David Blaikie4a2f95f2014-03-18 01:17:26 +0000332 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000333 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000334 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
335 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000336}
337
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000338void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000339 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000340
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000341 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
342 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000343}
344
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000345void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000346 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000347
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000348 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000349}
350
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000351void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000352 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000353
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000354 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000355}
356
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000357void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000358 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000359
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000360 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000361}
362
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000363void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000364 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000365
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000366 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000367}
368
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000369void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000370 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000371}
372
Adrian Prantlab255fc2014-12-05 01:02:46 +0000373bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000374 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000375 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000376 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000377 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000378}
379
Adrian Prantlab255fc2014-12-05 01:02:46 +0000380bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000381 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000382 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000383 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000384}
385
Devang Patel0e821f42011-04-12 23:21:44 +0000386/* Byref variables, in Blocks, are declared by the programmer as "SomeType
387 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
388 gives the variable VarName either the struct, or a pointer to the struct, as
389 its type. This is necessary for various behind-the-scenes things the
390 compiler needs to do with by-reference variables in Blocks.
391
392 However, as far as the original *programmer* is concerned, the variable
393 should still have type 'SomeType', as originally declared.
394
395 The function getBlockByrefType dives into the __Block_byref_x_VarName
396 struct to find the original type of the variable, which is then assigned to
397 the variable's Debug Information Entry as its real type. So far, so good.
398 However now the debugger will expect the variable VarName to have the type
399 SomeType. So we need the location attribute for the variable to be an
400 expression that explains to the debugger how to navigate through the
401 pointers and struct to find the actual variable of type SomeType.
402
403 The following function does just that. We start by getting
404 the "normal" location for the variable. This will be the location
405 of either the struct __Block_byref_x_VarName or the pointer to the
406 struct __Block_byref_x_VarName.
407
408 The struct will look something like:
409
410 struct __Block_byref_x_VarName {
411 ... <various fields>
412 struct __Block_byref_x_VarName *forwarding;
413 ... <various other fields>
414 SomeType VarName;
415 ... <maybe more fields>
416 };
417
418 If we are given the struct directly (as our starting point) we
419 need to tell the debugger to:
420
421 1). Add the offset of the forwarding field.
422
423 2). Follow that pointer to get the real __Block_byref_x_VarName
424 struct to use (the real one may have been copied onto the heap).
425
426 3). Add the offset for the field VarName, to find the actual variable.
427
428 If we started with a pointer to the struct, then we need to
429 dereference that pointer first, before the other steps.
430 Translating this into DWARF ops, we will need to append the following
431 to the current location description for the variable:
432
433 DW_OP_deref -- optional, if we start with a pointer
434 DW_OP_plus_uconst <forward_fld_offset>
435 DW_OP_deref
436 DW_OP_plus_uconst <varName_fld_offset>
437
438 That is what this function does. */
439
David Blaikie65a74662014-04-25 18:26:14 +0000440void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000441 dwarf::Attribute Attribute,
442 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000443 const DIType *Ty = DV.getType();
444 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000445 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000446 bool isPointer = false;
447
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000448 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000449
450 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000451 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000452 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000453 isPointer = true;
454 }
455
Devang Patel0e821f42011-04-12 23:21:44 +0000456 // Find the __forwarding field and the variable field in the __Block_byref
457 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000458 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000459 const DIDerivedType *varField = nullptr;
460 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000461
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000462 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000463 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000464 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000465 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000466 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000467 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000468 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000469 }
470
471 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000472 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
473 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000474
475 // Decode the original location, and use that as the start of the byref
476 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000477 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Devang Patel0e821f42011-04-12 23:21:44 +0000478
Adrian Prantlab255fc2014-12-05 01:02:46 +0000479 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000480 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000481 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000482 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000483 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
484
485 if (!validReg)
486 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000487
488 // If we started with a pointer to the __Block_byref... struct, then
489 // the first thing we need to do is dereference the pointer (DW_OP_deref).
490 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000491 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000492
493 // Next add the offset for the '__forwarding' field:
494 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
495 // adding the offset if it's 0.
496 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000497 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
498 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000499 }
500
501 // Now dereference the __forwarding field to get to the real __Block_byref
502 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000503 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000504
505 // Now that we've got the real __Block_byref... struct, add the offset
506 // for the variable's field to get to the location of the actual variable:
507 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
508 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000509 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
510 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000511 }
512
513 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000514 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000515}
516
Manman Renb3388602013-10-05 01:43:03 +0000517/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000518static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000519 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
520 // FIXME: Enums without a fixed underlying type have unknown signedness
521 // here, leading to incorrectly emitted constants.
522 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
523 return false;
524
525 // (Pieces of) aggregate types that get hacked apart by SROA may be
526 // represented by a constant. Encode them as unsigned bytes.
527 return true;
528 }
529
530 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000531 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000532 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000533 // null pointer constant emission.
534 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
535 // here, but accept them for now due to a bug in SROA producing bogus
536 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000537 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000538 T == dwarf::DW_TAG_ptr_to_member_type ||
539 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000540 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000541 return true;
542 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
543 T == dwarf::DW_TAG_volatile_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000544 T == dwarf::DW_TAG_restrict_type);
545 DITypeRef Deriv = DTy->getBaseType();
546 assert(Deriv && "Expected valid base type");
547 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000548 }
Manman Renb3388602013-10-05 01:43:03 +0000549
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000550 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000551 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000552 assert((Encoding == dwarf::DW_ATE_unsigned ||
553 Encoding == dwarf::DW_ATE_unsigned_char ||
554 Encoding == dwarf::DW_ATE_signed ||
555 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000556 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
557 Encoding == dwarf::DW_ATE_boolean ||
558 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
559 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000560 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000561 return Encoding == dwarf::DW_ATE_unsigned ||
562 Encoding == dwarf::DW_ATE_unsigned_char ||
563 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
564 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000565}
566
567/// If this type is derived from a base type then return base type size.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000568static uint64_t getBaseTypeSize(DwarfDebug *DD, const DIDerivedType *Ty) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000569 unsigned Tag = Ty->getTag();
Manman Renb3388602013-10-05 01:43:03 +0000570
571 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
572 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
573 Tag != dwarf::DW_TAG_restrict_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000574 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000575
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000576 auto *BaseType = DD->resolve(Ty->getBaseType());
Manman Renb3388602013-10-05 01:43:03 +0000577
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000578 assert(BaseType && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000579
580 // If this is a derived type, go ahead and get the base type, unless it's a
581 // reference then it's just the size of the field. Pointer types have no need
582 // of this since they're a different type of qualification on the type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000583 if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
584 BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
585 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000586
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000587 if (auto *DT = dyn_cast<DIDerivedType>(BaseType))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000588 return getBaseTypeSize(DD, DT);
Manman Renb3388602013-10-05 01:43:03 +0000589
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000590 return BaseType->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000591}
592
David Blaikie65a74662014-04-25 18:26:14 +0000593void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000594 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000595 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000596 APFloat FPImm = MO.getFPImm()->getValueAPF();
597
598 // Get the raw data form of the floating point.
599 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000600 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000601
602 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000603 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000604 int Incr = (LittleEndian ? 1 : -1);
605 int Start = (LittleEndian ? 0 : NumBytes - 1);
606 int Stop = (LittleEndian ? NumBytes : -1);
607
608 // Output the constant to DWARF one byte at a time.
609 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000610 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000611
David Blaikief2443192013-10-21 17:28:37 +0000612 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000613}
614
David Blaikie65a74662014-04-25 18:26:14 +0000615void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000616 // Pass this down to addConstantValue as an unsigned bag of bits.
617 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000618}
619
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000620void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000621 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000622 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000623}
624
David Blaikiec05c8f42014-05-11 15:47:39 +0000625void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000626 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000627 assert(MO.isImm() && "Invalid machine operand!");
628
David Blaikie60cae1b2014-05-11 16:08:41 +0000629 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000630}
631
David Blaikie60cae1b2014-05-11 16:08:41 +0000632void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000633 // FIXME: This is a bit conservative/simple - it emits negative values always
634 // sign extended to 64 bits rather than minimizing the number of bytes.
635 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000636 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000637}
638
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000639void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000640 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
641}
642
David Blaikie65a74662014-04-25 18:26:14 +0000643void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000644 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000645 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000646 addConstantValue(Die, Unsigned,
647 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000648 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000649 }
650
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000651 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000652
653 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000654 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000655
656 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000657 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000658
659 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000660 for (int i = 0; i < NumBytes; i++) {
661 uint8_t c;
662 if (LittleEndian)
663 c = Ptr64[i / 8] >> (8 * (i & 7));
664 else
665 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000666 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000667 }
Devang Patel0e821f42011-04-12 23:21:44 +0000668
David Blaikief2443192013-10-21 17:28:37 +0000669 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000670}
671
Paul Robinson857b4432015-03-10 22:44:45 +0000672void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson78046b42015-08-11 21:36:45 +0000673 if (!LinkageName.empty() && DD->useLinkageNames())
Paul Robinson857b4432015-03-10 22:44:45 +0000674 addString(Die,
675 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
676 : dwarf::DW_AT_MIPS_linkage_name,
677 GlobalValue::getRealLinkageName(LinkageName));
678}
679
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000680void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000681 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000682 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000683 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000684 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000685 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000686 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000687 }
Devang Patel0e821f42011-04-12 23:21:44 +0000688}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000689
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000690DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
691 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000692 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000693 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000694 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000695 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000696 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000697 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000698 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000699 if (auto *M = dyn_cast<DIModule>(Context))
700 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000701 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000702}
703
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000704DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000705 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000706 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000707
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000708 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000709 return TyDIE;
710
711 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000712 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000713
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000714 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000715
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000716 if (!Ty->isExternalTypeRef())
717 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000718 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000719}
720
David Blaikied51dea62015-07-01 18:07:16 +0000721DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000722 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000723 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000724
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000725 auto *Ty = cast<DIType>(TyNode);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000726 assert(Ty == resolve(Ty->getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000727 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000728
David Blaikieee11f222014-04-12 05:35:59 +0000729 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000730 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000731 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000732
Manman Renf4c339e2013-10-29 22:49:29 +0000733 // Construct the context before querying for the existence of the DIE in case
734 // such construction creates the DIE.
Amjad Aboudab0378b2016-03-14 12:03:20 +0000735 // For Local Scope, do not construct context DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000736 auto *Context = resolve(Ty->getScope());
Amjad Aboudab0378b2016-03-14 12:03:20 +0000737 bool IsLocalScope = Context && isa<DILocalScope>(Context);
738 DIE *ContextDIE = IsLocalScope ? nullptr : getOrCreateContextDIE(Context);
739 assert(ContextDIE || IsLocalScope);
Manman Renf4c339e2013-10-29 22:49:29 +0000740
David Blaikie65a74662014-04-25 18:26:14 +0000741 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000742 return TyDIE;
743
Amjad Aboudab0378b2016-03-14 12:03:20 +0000744 // Create new type and add to map.
745 DIE &TyDIE = IsLocalScope ? *createDIE(Ty->getTag(), Ty)
746 : createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000747
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000748 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000749
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000750 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000751 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000752 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000753 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000754 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000755 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
756 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000757 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000758 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000759 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000760 }
David Blaikie65a74662014-04-25 18:26:14 +0000761 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000762 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000763 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000764 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000765
David Blaikie65a74662014-04-25 18:26:14 +0000766 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000767}
768
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000769void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
770 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000771 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eric Christopher21bde872012-01-06 04:35:23 +0000772 bool IsImplementation = 0;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000773 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000774 // A runtime language of 0 actually means C/C++ and that any
775 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000776 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000777 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000778 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000779 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000780
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000781 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
782 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000783 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000784 }
Devang Patel0e821f42011-04-12 23:21:44 +0000785}
786
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000787void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000788 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000789 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000790 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000791}
792
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000793std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000794 if (!Context)
795 return "";
796
797 // FIXME: Decide whether to implement this for non-C++ languages.
798 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
799 return "";
800
Eric Christopher8dba0d52013-10-19 01:04:42 +0000801 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000802 SmallVector<const DIScope *, 1> Parents;
803 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000804 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000805 if (Context->getScope())
806 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000807 else
808 // Structure, etc types will have a NULL context if they're at the top
809 // level.
810 break;
811 }
812
813 // Reverse iterate over our list to go from the outermost construct to the
814 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000815 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000816 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000817 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000818 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000819 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000820 CS += Name;
821 CS += "::";
822 }
823 }
824 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000825}
826
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000827void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000828 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000829 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000830 // Add name if not anonymous or intermediate type.
831 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000832 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000833
David Blaikiefac56122013-10-04 23:21:16 +0000834 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000835 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000836 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000837
David Blaikie65a74662014-04-25 18:26:14 +0000838 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000839 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000840
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000841 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000842 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000843}
844
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000845void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000846 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000847 StringRef Name = DTy->getName();
848 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000849 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000850
851 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000852 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000853 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000854 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000855
856 // Add name if not anonymous or intermediate type.
857 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000858 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000859
860 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000861 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000862 && Tag != dwarf::DW_TAG_ptr_to_member_type
863 && Tag != dwarf::DW_TAG_reference_type
864 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000865 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000866
David Blaikie5d3249b2013-01-07 05:51:15 +0000867 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000868 addDIEEntry(
869 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000870 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000871 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000872 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000873 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000874}
875
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000876void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000877 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000878 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000879 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000880 assert(i == N-1 && "Unspecified parameter must be the last argument");
881 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
882 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000883 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000884 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000885 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000886 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000887 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000888 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000889}
890
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000891void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000892 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000893 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000894 if (Elements.size())
895 if (auto RTy = resolve(Elements[0]))
896 addType(Buffer, RTy);
897
898 bool isPrototyped = true;
899 if (Elements.size() == 2 && !Elements[1])
900 isPrototyped = false;
901
902 constructSubprogramArguments(Buffer, Elements);
903
904 // Add prototype flag if we're dealing with a C language and the function has
905 // been prototyped.
906 uint16_t Language = getLanguage();
907 if (isPrototyped &&
908 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
909 Language == dwarf::DW_LANG_ObjC))
910 addFlag(Buffer, dwarf::DW_AT_prototyped);
911
912 if (CTy->isLValueReference())
913 addFlag(Buffer, dwarf::DW_AT_reference);
914
915 if (CTy->isRValueReference())
916 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
917}
918
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000919void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000920 if (CTy->isExternalTypeRef()) {
921 StringRef Identifier = CTy->getIdentifier();
922 assert(!Identifier.empty() && "external type ref without identifier");
923 addFlag(Buffer, dwarf::DW_AT_declaration);
924 return addDIETypeSignature(Buffer, dwarf::DW_AT_signature, Identifier);
925 }
926
David Blaikie409dd9c2013-11-19 23:08:21 +0000927 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000928 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000929
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000930 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000931 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000932
933 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000934 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000935 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000936 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000937 case dwarf::DW_TAG_enumeration_type:
938 constructEnumTypeDIE(Buffer, CTy);
939 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000940 case dwarf::DW_TAG_structure_type:
941 case dwarf::DW_TAG_union_type:
942 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000943 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000944 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000945 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000946 if (!Element)
947 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000948 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000949 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000950 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000951 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000952 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000953 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
954 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000955 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000956 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000957 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000958 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000959 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000960 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
961 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000962 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000963 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000964 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000965 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000966 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000967 if (!GetterName.empty())
968 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000969 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000970 if (!SetterName.empty())
971 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000972 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000973 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000974 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000975 }
Devang Patel0e821f42011-04-12 23:21:44 +0000976 }
977
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000978 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000979 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000980
Adrian Prantlcf44e782014-12-19 00:01:20 +0000981 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
982 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000983 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000984 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000985 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000986 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000987
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000988 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000989 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000990
Eric Christopherda011dd2011-12-16 23:42:42 +0000991 // Add template parameters to a class, structure or union types.
992 // FIXME: The support isn't in the metadata for this yet.
993 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000994 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000995 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000996
997 break;
998 }
999 default:
1000 break;
1001 }
1002
1003 // Add name if not anonymous or intermediate type.
1004 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001005 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001006
Eric Christopher775cbd22012-05-22 18:45:18 +00001007 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001008 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001009 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001010 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001011 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001012 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001013 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001014 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001015 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001016 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001017
1018 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001019 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001020 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001021
1022 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001023 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001024 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001025
1026 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001027 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001028 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001029 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001030 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001031 }
1032}
1033
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001034void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001035 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001036 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001037 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001038 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001039 if (TP->getType())
1040 addType(ParamDIE, resolve(TP->getType()));
1041 if (!TP->getName().empty())
1042 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001043}
1044
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001045void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001046 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001047 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001048
1049 // Add the type if there is one, template template and template parameter
1050 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001051 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1052 addType(ParamDIE, resolve(VP->getType()));
1053 if (!VP->getName().empty())
1054 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1055 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001056 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001057 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001058 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001059 // For declaration non-type template parameters (such as global values and
1060 // functions)
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001061 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001062 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001063 // Emit DW_OP_stack_value to use the address as the immediate value of the
1064 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001065 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001066 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001067 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001068 assert(isa<MDString>(Val));
1069 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1070 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001071 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001072 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001073 }
1074 }
Devang Patel0e821f42011-04-12 23:21:44 +00001075}
1076
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001077DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001078 // Construct the context before querying for the existence of the DIE in case
1079 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001080 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001081
David Blaikie65a74662014-04-25 18:26:14 +00001082 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001083 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001084 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001085
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001086 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001087 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001088 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001089 else
1090 Name = "(anonymous namespace)";
1091 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001092 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001093 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001094 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001095}
1096
Adrian Prantl08a388b2015-06-30 02:13:04 +00001097DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1098 // Construct the context before querying for the existence of the DIE in case
1099 // such construction creates the DIE.
1100 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1101
1102 if (DIE *MDie = getDIE(M))
1103 return MDie;
1104 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1105
1106 if (!M->getName().empty()) {
1107 addString(MDie, dwarf::DW_AT_name, M->getName());
1108 addGlobalName(M->getName(), MDie, M->getScope());
1109 }
1110 if (!M->getConfigurationMacros().empty())
1111 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1112 M->getConfigurationMacros());
1113 if (!M->getIncludePath().empty())
1114 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1115 if (!M->getISysRoot().empty())
1116 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1117
1118 return &MDie;
1119}
1120
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001121DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001122 // Construct the context before querying for the existence of the DIE in case
1123 // such construction creates the DIE (as is the case for member function
1124 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001125 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001126 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001127
David Blaikie65a74662014-04-25 18:26:14 +00001128 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001129 return SPDie;
1130
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001131 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001132 if (!Minimal) {
1133 // Add subprogram definitions to the CU die directly.
1134 ContextDIE = &getUnitDie();
1135 // Build the decl now to ensure it precedes the definition.
1136 getOrCreateSubprogramDIE(SPDecl);
1137 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001138 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001139
1140 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001141 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001142
David Blaikie6cfa9e12014-06-05 00:25:26 +00001143 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001144 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001145 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001146 return &SPDie;
1147
David Blaikie7f916862014-05-27 18:37:38 +00001148 applySubprogramAttributes(SP, SPDie);
1149 return &SPDie;
1150}
1151
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001152bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001153 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001154 DIE *DeclDie = nullptr;
1155 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001156 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001157 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001158 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001159 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001160 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001161 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001162 unsigned DeclID =
1163 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1164 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1165 if (DeclID != DefID)
1166 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1167
1168 if (SP->getLine() != SPDecl->getLine())
1169 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001170 }
Rafael Espindola79278362011-11-10 22:34:29 +00001171
Devang Patel89543712011-08-15 17:24:54 +00001172 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001173 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001174
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001175 // 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 +00001176 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001177 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1178 LinkageName == DeclLinkageName) &&
1179 "decl has a linkage name and it is different");
Paul Robinson857b4432015-03-10 22:44:45 +00001180 if (DeclLinkageName.empty())
1181 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001182
David Blaikie3a443c22014-11-04 22:12:25 +00001183 if (!DeclDie)
1184 return false;
1185
1186 // Refer to the function declaration where all the other attributes will be
1187 // found.
1188 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1189 return true;
1190}
1191
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001192void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001193 bool Minimal) {
1194 if (!Minimal)
1195 if (applySubprogramDefinitionAttributes(SP, SPDie))
1196 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001197
Devang Patel89543712011-08-15 17:24:54 +00001198 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001199 if (!SP->getName().empty())
1200 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001201
David Blaikie0b9438b2014-09-19 04:47:46 +00001202 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001203 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001204 return;
1205
Devang Patel89543712011-08-15 17:24:54 +00001206 addSourceLine(SPDie, SP);
1207
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001208 // Add the prototype if we have a prototype and we have a C like
1209 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001210 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001211 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001212 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001213 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001214 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001215
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001216 DITypeRefArray Args;
1217 if (const DISubroutineType *SPTy = SP->getType())
1218 Args = SPTy->getTypeArray();
Devang Patel89543712011-08-15 17:24:54 +00001219
Eric Christopher691281b2013-10-21 17:48:51 +00001220 // Add a return type. If this is a type like a C/C++ void type we don't add a
1221 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001222 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001223 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001224 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001225
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001226 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001227 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001228 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001229 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001230 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001231 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001232 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001233 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001234 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001235 }
1236
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001237 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001238 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001239
Devang Patel89543712011-08-15 17:24:54 +00001240 // Add arguments. Do not add arguments for subprogram definition. They will
1241 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001242 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001243 }
1244
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001245 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001246 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001247
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001248 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001249 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001250
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001251 if (SP->isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001252 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001253
Eric Christophercd53d6e2015-03-21 03:13:01 +00001254 if (unsigned isa = Asm->getISAEncoding())
Devang Patel89543712011-08-15 17:24:54 +00001255 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
Devang Patel89543712011-08-15 17:24:54 +00001256
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001257 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001258 addFlag(SPDie, dwarf::DW_AT_reference);
1259
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001260 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001261 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1262
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001263 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001264 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1265 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001266 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001267 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1268 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001269 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001270 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1271 dwarf::DW_ACCESS_public);
1272
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001273 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001274 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001275}
1276
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001277void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001278 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001279 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001280 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001281
Bill Wendling28fe9e72012-12-06 07:38:10 +00001282 // The LowerBound value defines the lower bounds which is typically zero for
1283 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1284 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001285 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001286 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001287 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001288 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001289
Bill Wendling3495f9b2012-12-06 07:55:19 +00001290 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001291 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001292
David Blaikie32b0f362014-10-01 00:56:55 +00001293 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001294 // FIXME: An unbounded array should reference the expression that defines
1295 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001296 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001297}
1298
David Blaikie871c2d92014-11-02 03:09:13 +00001299DIE *DwarfUnit::getIndexTyDie() {
1300 if (IndexTyDie)
1301 return IndexTyDie;
1302 // Construct an integer type to use for indexes.
1303 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1304 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1305 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1306 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1307 dwarf::DW_ATE_unsigned);
1308 return IndexTyDie;
1309}
1310
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001311void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001312 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001313 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001314
Eric Christopher0df08e22013-08-08 07:40:37 +00001315 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001316 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001317
1318 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001319 // FIXME: This type should be passed down from the front end
1320 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001321 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001322
1323 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001324 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001325 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001326 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001327 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001328 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001329 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001330 }
1331}
1332
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001333void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1334 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001335
1336 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001337 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001338 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001339 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001340 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001341 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001342 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001343 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001344 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1345 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001346 }
1347 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001348 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001349 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001350 addType(Buffer, DTy);
1351 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001352 }
Devang Patel0e821f42011-04-12 23:21:44 +00001353}
1354
Eric Christophera5a79422013-12-09 23:32:48 +00001355void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001356 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001357 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001358 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001359 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001360 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001361 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001362 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001363 if (!NDie)
1364 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001365 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001366 }
1367}
1368
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001369void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001370 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1371 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001372 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001373 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001374
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001375 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001376
1377 addSourceLine(MemberDie, DT);
1378
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001379 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001380
1381 // For C++, virtual base classes are not at fixed offset. Use following
1382 // expression to extract appropriate offset from vtable.
1383 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1384
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001385 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001386 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1387 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1388 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001389 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001390 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1391 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1392 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001393
David Blaikief2443192013-10-21 17:28:37 +00001394 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001395 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001396 uint64_t Size = DT->getSizeInBits();
David Blaikie71d34a22013-11-01 00:25:45 +00001397 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1398 uint64_t OffsetInBytes;
1399
David Blaikiefa1a3c72015-01-28 02:34:53 +00001400 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001401 // Handle bitfield, assume bytes are 8 bits.
1402 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1403 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001404 //
Adrian Prantl57c7a62b92015-06-27 20:12:43 +00001405 // The DWARF 2 DW_AT_bit_offset is counting the bits between the most
1406 // significant bit of the aligned storage unit containing the bit field to
1407 // the most significan bit of the bit field.
Adrian Prantl06b298e2015-06-26 21:27:30 +00001408 //
1409 // FIXME: DWARF 4 states that DW_AT_data_bit_offset (which
1410 // counts from the beginning, regardless of endianness) should
1411 // be used instead.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001412 //
1413 //
1414 // Struct Align Align Align
1415 // v v v v
1416 // +-----------+-----*-----+-----*-----+--
1417 // | ... |b1|b2|b3|b4|
1418 // +-----------+-----*-----+-----*-----+--
1419 // | | |<-- Size ->| |
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001420 // |<---- Offset --->| |<--->|
1421 // | | | \_ DW_AT_bit_offset (little endian)
1422 // | |<--->|
1423 // |<--------->| \_ StartBitOffset = DW_AT_bit_offset (big endian)
1424 // \ = DW_AT_data_bit_offset (biendian)
1425 // \_ OffsetInBytes
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001426 uint64_t Offset = DT->getOffsetInBits();
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001427 uint64_t Align = DT->getAlignInBits() ? DT->getAlignInBits() : FieldSize;
1428 uint64_t AlignMask = ~(Align - 1);
1429 // The bits from the start of the storage unit to the start of the field.
1430 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001431 // The endian-dependent DWARF 2 offset.
1432 uint64_t DwarfBitOffset = Asm->getDataLayout().isLittleEndian()
1433 ? OffsetToAlignment(Offset + Size, Align)
1434 : StartBitOffset;
1435
1436 // The byte offset of the field's aligned storage unit inside the struct.
1437 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001438 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, DwarfBitOffset);
David Blaikie71d34a22013-11-01 00:25:45 +00001439 } else
1440 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001441 OffsetInBytes = DT->getOffsetInBits() / 8;
David Blaikie2ada1162014-01-03 00:48:38 +00001442
David Blaikie22b29a52014-01-03 01:30:05 +00001443 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001444 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001445 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1446 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001447 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1448 } else
1449 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1450 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001451 }
Devang Patel0e821f42011-04-12 23:21:44 +00001452
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001453 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001454 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001455 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001456 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001457 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001458 dwarf::DW_ACCESS_private);
1459 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001460 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001461 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001462 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001463 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001464 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001465 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001466
1467 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001468 if (DINode *PNode = DT->getObjCProperty())
1469 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001470 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1471 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001472
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001473 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001474 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001475}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001476
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001477DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001478 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001479 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001480
Manman Renc6b63922013-10-14 20:33:57 +00001481 // Construct the context before querying for the existence of the DIE in case
1482 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001483 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001484 assert(dwarf::isType(ContextDIE->getTag()) &&
1485 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001486
David Blaikie65a74662014-04-25 18:26:14 +00001487 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001488 return StaticMemberDIE;
1489
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001490 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001491
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001492 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001493
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001494 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001495 addType(StaticMemberDIE, Ty);
1496 addSourceLine(StaticMemberDIE, DT);
1497 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1498 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1499
1500 // FIXME: We could omit private if the parent is a class_type, and
1501 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001502 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001503 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1504 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001505 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001506 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1507 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001508 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001509 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1510 dwarf::DW_ACCESS_public);
1511
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001512 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001513 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001514 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001515 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001516
David Blaikie65a74662014-04-25 18:26:14 +00001517 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001518}
David Blaikie6b288cf2013-10-30 20:42:41 +00001519
Rafael Espindola063d7252015-03-10 16:58:10 +00001520void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001521 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001522 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikieae57e662014-11-01 23:59:23 +00001523 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1524
Lang Hames9ff69c82015-04-24 19:11:51 +00001525 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001526 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001527 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001528
David Blaikie6896e192013-12-04 23:39:02 +00001529 // We share one abbreviations table across all units so it's always at the
1530 // start of the section. Use a relocatable offset where needed to ensure
1531 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001532 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001533 if (UseOffsets)
1534 Asm->EmitInt32(0);
1535 else
1536 Asm->emitDwarfSymbolReference(
1537 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001538
Lang Hames9ff69c82015-04-24 19:11:51 +00001539 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001540 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1541}
David Blaikiebc563272013-12-13 21:33:40 +00001542
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001543void DwarfUnit::initSection(MCSection *Section) {
David Blaikiea34568b2014-11-01 20:06:28 +00001544 assert(!this->Section);
1545 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001546}
1547
Rafael Espindola063d7252015-03-10 16:58:10 +00001548void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1549 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001550 Asm->OutStreamer->AddComment("Type Signature");
1551 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1552 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001553 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001554 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1555 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001556}
1557
David Blaikiecafd9622014-11-02 08:51:37 +00001558bool DwarfTypeUnit::isDwoUnit() const {
1559 // Since there are no skeleton type units, all type units are dwo type units
1560 // when split DWARF is being used.
1561 return DD->useSplitDwarf();
1562}