blob: 4100d728a53b5a8a1cb917c178fef11ce2dd37d5 [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)
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000049 : DwarfExpression(AP.getDwarfDebug()->getDwarfVersion()), AP(AP), DU(DU),
50 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000051
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000052void DIEDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
53 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
54}
Adrian Prantl51233682015-03-10 19:23:37 +000055void DIEDwarfExpression::EmitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000056 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
57}
Adrian Prantl51233682015-03-10 19:23:37 +000058void DIEDwarfExpression::EmitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000059 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
60}
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000061bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
62 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 Aboud293ee8b2016-04-29 16:07:55 +0000301DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000302 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
303 if (N)
304 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000305 return Die;
306}
307
David Blaikie65a74662014-04-25 18:26:14 +0000308void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000309 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000310 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000311 Die.addValue(DIEValueAllocator, Attribute,
312 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000313}
314
David Blaikie65a74662014-04-25 18:26:14 +0000315void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000316 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000317 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000318 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000319 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000320}
321
David Blaikie65a74662014-04-25 18:26:14 +0000322void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000323 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000324 if (Line == 0)
325 return;
David Blaikie101613e2014-02-12 00:11:25 +0000326
David Blaikie4a2f95f2014-03-18 01:17:26 +0000327 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000328 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000329 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
330 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000331}
332
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000333void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000334 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000335
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000336 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
337 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000338}
339
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000340void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000341 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000342
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000343 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000344}
345
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000346void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000347 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000348
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000349 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000350}
351
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000352void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000353 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000354
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000355 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000356}
357
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000358void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000359 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000360
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000361 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000362}
363
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000364void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000365 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000366}
367
Adrian Prantlab255fc2014-12-05 01:02:46 +0000368bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000369 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000370 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Peter Collingbourne96c9ae62016-05-20 19:35:17 +0000371 Expr.AddMachineRegPiece(*Asm->MF->getSubtarget().getRegisterInfo(), Reg,
372 SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000373 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000374}
375
Adrian Prantlab255fc2014-12-05 01:02:46 +0000376bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000377 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000378 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Peter Collingbourne96c9ae62016-05-20 19:35:17 +0000379 return Expr.AddMachineRegIndirect(*Asm->MF->getSubtarget().getRegisterInfo(),
380 Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000381}
382
Devang Patel0e821f42011-04-12 23:21:44 +0000383/* Byref variables, in Blocks, are declared by the programmer as "SomeType
384 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
385 gives the variable VarName either the struct, or a pointer to the struct, as
386 its type. This is necessary for various behind-the-scenes things the
387 compiler needs to do with by-reference variables in Blocks.
388
389 However, as far as the original *programmer* is concerned, the variable
390 should still have type 'SomeType', as originally declared.
391
392 The function getBlockByrefType dives into the __Block_byref_x_VarName
393 struct to find the original type of the variable, which is then assigned to
394 the variable's Debug Information Entry as its real type. So far, so good.
395 However now the debugger will expect the variable VarName to have the type
396 SomeType. So we need the location attribute for the variable to be an
397 expression that explains to the debugger how to navigate through the
398 pointers and struct to find the actual variable of type SomeType.
399
400 The following function does just that. We start by getting
401 the "normal" location for the variable. This will be the location
402 of either the struct __Block_byref_x_VarName or the pointer to the
403 struct __Block_byref_x_VarName.
404
405 The struct will look something like:
406
407 struct __Block_byref_x_VarName {
408 ... <various fields>
409 struct __Block_byref_x_VarName *forwarding;
410 ... <various other fields>
411 SomeType VarName;
412 ... <maybe more fields>
413 };
414
415 If we are given the struct directly (as our starting point) we
416 need to tell the debugger to:
417
418 1). Add the offset of the forwarding field.
419
420 2). Follow that pointer to get the real __Block_byref_x_VarName
421 struct to use (the real one may have been copied onto the heap).
422
423 3). Add the offset for the field VarName, to find the actual variable.
424
425 If we started with a pointer to the struct, then we need to
426 dereference that pointer first, before the other steps.
427 Translating this into DWARF ops, we will need to append the following
428 to the current location description for the variable:
429
430 DW_OP_deref -- optional, if we start with a pointer
431 DW_OP_plus_uconst <forward_fld_offset>
432 DW_OP_deref
433 DW_OP_plus_uconst <varName_fld_offset>
434
435 That is what this function does. */
436
David Blaikie65a74662014-04-25 18:26:14 +0000437void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000438 dwarf::Attribute Attribute,
439 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000440 const DIType *Ty = DV.getType();
441 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000442 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000443 bool isPointer = false;
444
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000445 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000446
447 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000448 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000449 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000450 isPointer = true;
451 }
452
Devang Patel0e821f42011-04-12 23:21:44 +0000453 // Find the __forwarding field and the variable field in the __Block_byref
454 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000455 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000456 const DIDerivedType *varField = nullptr;
457 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000458
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000459 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000460 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000461 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000462 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000463 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000464 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000465 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000466 }
467
468 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000469 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
470 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000471
472 // Decode the original location, and use that as the start of the byref
473 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000474 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Devang Patel0e821f42011-04-12 23:21:44 +0000475
Adrian Prantlab255fc2014-12-05 01:02:46 +0000476 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000477 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000478 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000479 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000480 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
481
482 if (!validReg)
483 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000484
485 // If we started with a pointer to the __Block_byref... struct, then
486 // the first thing we need to do is dereference the pointer (DW_OP_deref).
487 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000488 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000489
490 // Next add the offset for the '__forwarding' field:
491 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
492 // adding the offset if it's 0.
493 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000494 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
495 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000496 }
497
498 // Now dereference the __forwarding field to get to the real __Block_byref
499 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000500 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000501
502 // Now that we've got the real __Block_byref... struct, add the offset
503 // for the variable's field to get to the location of the actual variable:
504 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
505 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000506 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
507 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000508 }
509
510 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000511 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000512}
513
Manman Renb3388602013-10-05 01:43:03 +0000514/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000515static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000516 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
517 // FIXME: Enums without a fixed underlying type have unknown signedness
518 // here, leading to incorrectly emitted constants.
519 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
520 return false;
521
522 // (Pieces of) aggregate types that get hacked apart by SROA may be
523 // represented by a constant. Encode them as unsigned bytes.
524 return true;
525 }
526
527 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000528 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000529 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000530 // null pointer constant emission.
531 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
532 // here, but accept them for now due to a bug in SROA producing bogus
533 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000534 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000535 T == dwarf::DW_TAG_ptr_to_member_type ||
536 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000537 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000538 return true;
539 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
540 T == dwarf::DW_TAG_volatile_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000541 T == dwarf::DW_TAG_restrict_type);
542 DITypeRef Deriv = DTy->getBaseType();
543 assert(Deriv && "Expected valid base type");
544 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000545 }
Manman Renb3388602013-10-05 01:43:03 +0000546
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000547 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000548 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000549 assert((Encoding == dwarf::DW_ATE_unsigned ||
550 Encoding == dwarf::DW_ATE_unsigned_char ||
551 Encoding == dwarf::DW_ATE_signed ||
552 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000553 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
554 Encoding == dwarf::DW_ATE_boolean ||
555 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
556 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000557 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000558 return Encoding == dwarf::DW_ATE_unsigned ||
559 Encoding == dwarf::DW_ATE_unsigned_char ||
560 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
561 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000562}
563
David Blaikie65a74662014-04-25 18:26:14 +0000564void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000565 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000566 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000567 APFloat FPImm = MO.getFPImm()->getValueAPF();
568
569 // Get the raw data form of the floating point.
570 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000571 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000572
573 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000574 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000575 int Incr = (LittleEndian ? 1 : -1);
576 int Start = (LittleEndian ? 0 : NumBytes - 1);
577 int Stop = (LittleEndian ? NumBytes : -1);
578
579 // Output the constant to DWARF one byte at a time.
580 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000581 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000582
David Blaikief2443192013-10-21 17:28:37 +0000583 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000584}
585
David Blaikie65a74662014-04-25 18:26:14 +0000586void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000587 // Pass this down to addConstantValue as an unsigned bag of bits.
588 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000589}
590
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000591void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000592 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000593 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000594}
595
David Blaikiec05c8f42014-05-11 15:47:39 +0000596void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000597 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000598 assert(MO.isImm() && "Invalid machine operand!");
599
David Blaikie60cae1b2014-05-11 16:08:41 +0000600 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000601}
602
David Blaikie60cae1b2014-05-11 16:08:41 +0000603void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000604 // FIXME: This is a bit conservative/simple - it emits negative values always
605 // sign extended to 64 bits rather than minimizing the number of bytes.
606 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000607 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000608}
609
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000610void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000611 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
612}
613
David Blaikie65a74662014-04-25 18:26:14 +0000614void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000615 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000616 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000617 addConstantValue(Die, Unsigned,
618 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000619 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000620 }
621
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000622 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000623
624 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000625 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000626
627 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000628 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000629
630 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000631 for (int i = 0; i < NumBytes; i++) {
632 uint8_t c;
633 if (LittleEndian)
634 c = Ptr64[i / 8] >> (8 * (i & 7));
635 else
636 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000637 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000638 }
Devang Patel0e821f42011-04-12 23:21:44 +0000639
David Blaikief2443192013-10-21 17:28:37 +0000640 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000641}
642
Paul Robinson857b4432015-03-10 22:44:45 +0000643void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000644 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000645 addString(Die,
646 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
647 : dwarf::DW_AT_MIPS_linkage_name,
648 GlobalValue::getRealLinkageName(LinkageName));
649}
650
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000651void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000652 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000653 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000654 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000655 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000656 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000657 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000658 }
Devang Patel0e821f42011-04-12 23:21:44 +0000659}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000660
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000661DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
662 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000663 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000664 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000665 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000666 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000667 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000668 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000669 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000670 if (auto *M = dyn_cast<DIModule>(Context))
671 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000672 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000673}
674
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000675DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000676 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000677 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000678
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000679 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000680 return TyDIE;
681
682 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000683 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000684
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000685 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000686
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000687 if (!Ty->isExternalTypeRef())
688 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000689 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000690}
691
David Blaikied51dea62015-07-01 18:07:16 +0000692DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000693 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000694 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000695
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000696 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000697
David Blaikieee11f222014-04-12 05:35:59 +0000698 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000699 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000700 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000701
Manman Renf4c339e2013-10-29 22:49:29 +0000702 // Construct the context before querying for the existence of the DIE in case
703 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000704 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000705 DIE *ContextDIE = getOrCreateContextDIE(Context);
706 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000707
David Blaikie65a74662014-04-25 18:26:14 +0000708 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000709 return TyDIE;
710
Amjad Aboud72da9392016-04-30 01:44:07 +0000711 // Create new type.
712 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000713
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000714 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000715
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000716 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000717 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000718 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000719 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000720 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000721 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
722 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000723 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000724 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000725 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000726 }
David Blaikie65a74662014-04-25 18:26:14 +0000727 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000728 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000729 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000730 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000731
David Blaikie65a74662014-04-25 18:26:14 +0000732 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000733}
734
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000735void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
736 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000737 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eric Christopher21bde872012-01-06 04:35:23 +0000738 bool IsImplementation = 0;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000739 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000740 // A runtime language of 0 actually means C/C++ and that any
741 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000742 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000743 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000744 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000745 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000746
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000747 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
748 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000749 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000750 }
Devang Patel0e821f42011-04-12 23:21:44 +0000751}
752
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000753void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000754 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000755 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000756 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000757}
758
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000759std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000760 if (!Context)
761 return "";
762
763 // FIXME: Decide whether to implement this for non-C++ languages.
764 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
765 return "";
766
Eric Christopher8dba0d52013-10-19 01:04:42 +0000767 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000768 SmallVector<const DIScope *, 1> Parents;
769 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000770 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000771 if (Context->getScope())
772 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000773 else
774 // Structure, etc types will have a NULL context if they're at the top
775 // level.
776 break;
777 }
778
779 // Reverse iterate over our list to go from the outermost construct to the
780 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000781 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000782 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000783 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000784 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000785 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000786 CS += Name;
787 CS += "::";
788 }
789 }
790 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000791}
792
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000793void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000794 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000795 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000796 // Add name if not anonymous or intermediate type.
797 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000798 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000799
David Blaikiefac56122013-10-04 23:21:16 +0000800 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000801 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000802 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000803
David Blaikie65a74662014-04-25 18:26:14 +0000804 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000805 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000806
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000807 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000808 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000809}
810
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000811void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000812 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000813 StringRef Name = DTy->getName();
814 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000815 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000816
817 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000818 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000819 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000820 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000821
822 // Add name if not anonymous or intermediate type.
823 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000824 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000825
826 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000827 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000828 && Tag != dwarf::DW_TAG_ptr_to_member_type
829 && Tag != dwarf::DW_TAG_reference_type
830 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000831 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000832
David Blaikie5d3249b2013-01-07 05:51:15 +0000833 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000834 addDIEEntry(
835 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000836 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000837 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000838 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000839 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000840}
841
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000842void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000843 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000844 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000845 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000846 assert(i == N-1 && "Unspecified parameter must be the last argument");
847 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
848 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000849 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000850 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000851 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000852 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000853 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000854 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000855}
856
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000857void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000858 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000859 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000860 if (Elements.size())
861 if (auto RTy = resolve(Elements[0]))
862 addType(Buffer, RTy);
863
864 bool isPrototyped = true;
865 if (Elements.size() == 2 && !Elements[1])
866 isPrototyped = false;
867
868 constructSubprogramArguments(Buffer, Elements);
869
870 // Add prototype flag if we're dealing with a C language and the function has
871 // been prototyped.
872 uint16_t Language = getLanguage();
873 if (isPrototyped &&
874 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
875 Language == dwarf::DW_LANG_ObjC))
876 addFlag(Buffer, dwarf::DW_AT_prototyped);
877
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000878 // Add a DW_AT_calling_convention if this has an explicit convention.
879 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
880 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
881 CTy->getCC());
882
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000883 if (CTy->isLValueReference())
884 addFlag(Buffer, dwarf::DW_AT_reference);
885
886 if (CTy->isRValueReference())
887 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
888}
889
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000890void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000891 if (CTy->isExternalTypeRef()) {
892 StringRef Identifier = CTy->getIdentifier();
893 assert(!Identifier.empty() && "external type ref without identifier");
894 addFlag(Buffer, dwarf::DW_AT_declaration);
895 return addDIETypeSignature(Buffer, dwarf::DW_AT_signature, Identifier);
896 }
897
David Blaikie409dd9c2013-11-19 23:08:21 +0000898 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000899 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000900
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000901 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000902 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000903
904 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000905 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000906 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000907 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000908 case dwarf::DW_TAG_enumeration_type:
909 constructEnumTypeDIE(Buffer, CTy);
910 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000911 case dwarf::DW_TAG_structure_type:
912 case dwarf::DW_TAG_union_type:
913 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000914 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000915 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000916 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000917 if (!Element)
918 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000919 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000920 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000921 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000922 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000923 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000924 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
925 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000926 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000927 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000928 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000929 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000930 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000931 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
932 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000933 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000934 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000935 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000936 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000937 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000938 if (!GetterName.empty())
939 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000940 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000941 if (!SetterName.empty())
942 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000943 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000944 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000945 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000946 }
Devang Patel0e821f42011-04-12 23:21:44 +0000947 }
948
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000949 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000950 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000951
Adrian Prantlcf44e782014-12-19 00:01:20 +0000952 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
953 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000954 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000955 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000956 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000957 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000958
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000959 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000960 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000961
Eric Christopherda011dd2011-12-16 23:42:42 +0000962 // Add template parameters to a class, structure or union types.
963 // FIXME: The support isn't in the metadata for this yet.
964 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000965 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000966 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000967
968 break;
969 }
970 default:
971 break;
972 }
973
974 // Add name if not anonymous or intermediate type.
975 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000976 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000977
Eric Christopher775cbd22012-05-22 18:45:18 +0000978 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000979 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000980 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000981 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000982 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000983 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000984 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000985 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000986 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000987 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000988
989 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000990 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000991 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000992
993 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000994 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000995 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000996
997 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000998 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000999 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001000 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001001 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001002 }
1003}
1004
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001005void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001006 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001007 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001008 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001009 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001010 if (TP->getType())
1011 addType(ParamDIE, resolve(TP->getType()));
1012 if (!TP->getName().empty())
1013 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001014}
1015
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001016void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001017 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001018 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001019
1020 // Add the type if there is one, template template and template parameter
1021 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001022 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1023 addType(ParamDIE, resolve(VP->getType()));
1024 if (!VP->getName().empty())
1025 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1026 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001027 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001028 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001029 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001030 // We cannot describe the location of dllimport'd entities: the
1031 // computation of their address requires loads from the IAT.
1032 if (!GV->hasDLLImportStorageClass()) {
1033 // For declaration non-type template parameters (such as global values
1034 // and functions)
1035 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1036 addOpAddress(*Loc, Asm->getSymbol(GV));
1037 // Emit DW_OP_stack_value to use the address as the immediate value of
1038 // the parameter, rather than a pointer to it.
1039 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1040 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1041 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001042 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001043 assert(isa<MDString>(Val));
1044 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1045 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001046 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001047 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001048 }
1049 }
Devang Patel0e821f42011-04-12 23:21:44 +00001050}
1051
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001052DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001053 // Construct the context before querying for the existence of the DIE in case
1054 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001055 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001056
David Blaikie65a74662014-04-25 18:26:14 +00001057 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001058 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001059 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001060
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001061 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001062 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001063 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001064 else
1065 Name = "(anonymous namespace)";
1066 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001067 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001068 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001069 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001070}
1071
Adrian Prantl08a388b2015-06-30 02:13:04 +00001072DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1073 // Construct the context before querying for the existence of the DIE in case
1074 // such construction creates the DIE.
1075 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1076
1077 if (DIE *MDie = getDIE(M))
1078 return MDie;
1079 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1080
1081 if (!M->getName().empty()) {
1082 addString(MDie, dwarf::DW_AT_name, M->getName());
1083 addGlobalName(M->getName(), MDie, M->getScope());
1084 }
1085 if (!M->getConfigurationMacros().empty())
1086 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1087 M->getConfigurationMacros());
1088 if (!M->getIncludePath().empty())
1089 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1090 if (!M->getISysRoot().empty())
1091 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1092
1093 return &MDie;
1094}
1095
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001096DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001097 // Construct the context before querying for the existence of the DIE in case
1098 // such construction creates the DIE (as is the case for member function
1099 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001100 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001101 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001102
David Blaikie65a74662014-04-25 18:26:14 +00001103 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001104 return SPDie;
1105
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001106 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001107 if (!Minimal) {
1108 // Add subprogram definitions to the CU die directly.
1109 ContextDIE = &getUnitDie();
1110 // Build the decl now to ensure it precedes the definition.
1111 getOrCreateSubprogramDIE(SPDecl);
1112 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001113 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001114
1115 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001116 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001117
David Blaikie6cfa9e12014-06-05 00:25:26 +00001118 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001119 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001120 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001121 return &SPDie;
1122
David Blaikie7f916862014-05-27 18:37:38 +00001123 applySubprogramAttributes(SP, SPDie);
1124 return &SPDie;
1125}
1126
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001127bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001128 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001129 DIE *DeclDie = nullptr;
1130 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001131 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001132 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001133 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001134 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001135 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001136 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001137 unsigned DeclID =
1138 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1139 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1140 if (DeclID != DefID)
1141 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1142
1143 if (SP->getLine() != SPDecl->getLine())
1144 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001145 }
Rafael Espindola79278362011-11-10 22:34:29 +00001146
Devang Patel89543712011-08-15 17:24:54 +00001147 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001148 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001149
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001150 // 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 +00001151 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001152 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1153 LinkageName == DeclLinkageName) &&
1154 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001155 if (DeclLinkageName.empty() &&
1156 // Always emit it for abstract subprograms.
1157 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001158 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001159
David Blaikie3a443c22014-11-04 22:12:25 +00001160 if (!DeclDie)
1161 return false;
1162
1163 // Refer to the function declaration where all the other attributes will be
1164 // found.
1165 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1166 return true;
1167}
1168
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001169void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001170 bool Minimal) {
1171 if (!Minimal)
1172 if (applySubprogramDefinitionAttributes(SP, SPDie))
1173 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001174
Devang Patel89543712011-08-15 17:24:54 +00001175 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001176 if (!SP->getName().empty())
1177 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001178
David Blaikie0b9438b2014-09-19 04:47:46 +00001179 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001180 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001181 return;
1182
Devang Patel89543712011-08-15 17:24:54 +00001183 addSourceLine(SPDie, SP);
1184
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001185 // Add the prototype if we have a prototype and we have a C like
1186 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001187 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001188 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001189 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001190 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001191 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001192
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001193 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001194 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001195 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001196 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001197 CC = SPTy->getCC();
1198 }
1199
1200 // Add a DW_AT_calling_convention if this has an explicit convention.
1201 if (CC && CC != dwarf::DW_CC_normal)
1202 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001203
Eric Christopher691281b2013-10-21 17:48:51 +00001204 // Add a return type. If this is a type like a C/C++ void type we don't add a
1205 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001206 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001207 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001208 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001209
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001210 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001211 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001212 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001213 if (SP->getVirtualIndex() != -1u) {
1214 DIELoc *Block = getDIELoc();
1215 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1216 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1217 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1218 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001219 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001220 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001221 }
1222
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001223 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001224 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001225
Devang Patel89543712011-08-15 17:24:54 +00001226 // Add arguments. Do not add arguments for subprogram definition. They will
1227 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001228 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001229 }
1230
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001231 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001232 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001233
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001234 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001235 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001236
David Blaikiec53e18d2016-05-24 21:19:28 +00001237 if (DD->useAppleExtensionAttributes()) {
1238 if (SP->isOptimized())
1239 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001240
David Blaikiec53e18d2016-05-24 21:19:28 +00001241 if (unsigned isa = Asm->getISAEncoding())
1242 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1243 }
Devang Patel89543712011-08-15 17:24:54 +00001244
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001245 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001246 addFlag(SPDie, dwarf::DW_AT_reference);
1247
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001248 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001249 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1250
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001251 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001252 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1253 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001254 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001255 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1256 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001257 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001258 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1259 dwarf::DW_ACCESS_public);
1260
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001261 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001262 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001263}
1264
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001265void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001266 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001267 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001268 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001269
Bill Wendling28fe9e72012-12-06 07:38:10 +00001270 // The LowerBound value defines the lower bounds which is typically zero for
1271 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1272 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001273 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001274 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001275 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001276 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001277
Bill Wendling3495f9b2012-12-06 07:55:19 +00001278 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001279 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001280
David Blaikie32b0f362014-10-01 00:56:55 +00001281 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001282 // FIXME: An unbounded array should reference the expression that defines
1283 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001284 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001285}
1286
David Blaikie871c2d92014-11-02 03:09:13 +00001287DIE *DwarfUnit::getIndexTyDie() {
1288 if (IndexTyDie)
1289 return IndexTyDie;
1290 // Construct an integer type to use for indexes.
1291 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1292 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1293 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1294 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1295 dwarf::DW_ATE_unsigned);
1296 return IndexTyDie;
1297}
1298
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001299void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001300 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001301 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001302
Eric Christopher0df08e22013-08-08 07:40:37 +00001303 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001304 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001305
1306 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001307 // FIXME: This type should be passed down from the front end
1308 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001309 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001310
1311 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001312 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001313 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001314 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001315 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001316 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001317 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001318 }
1319}
1320
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001321void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1322 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001323
1324 // Add enumerators to enumeration type.
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 Smitha9308c42015-04-29 16:38:44 +00001326 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001327 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001328 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001329 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001330 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001331 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001332 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1333 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001334 }
1335 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001336 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001337 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001338 addType(Buffer, DTy);
1339 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001340 }
Devang Patel0e821f42011-04-12 23:21:44 +00001341}
1342
Eric Christophera5a79422013-12-09 23:32:48 +00001343void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001344 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001345 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001346 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001347 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001348 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001349 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001350 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001351 if (!NDie)
1352 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001353 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001354 }
1355}
1356
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001357void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001358 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1359 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001360 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001361 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001362
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001363 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001364
1365 addSourceLine(MemberDie, DT);
1366
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001367 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001368
1369 // For C++, virtual base classes are not at fixed offset. Use following
1370 // expression to extract appropriate offset from vtable.
1371 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1372
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001373 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001374 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1375 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1376 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001377 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001378 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1379 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1380 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001381
David Blaikief2443192013-10-21 17:28:37 +00001382 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001383 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001384 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001385 uint64_t FieldSize = DD->getBaseTypeSize(DT);
David Blaikie71d34a22013-11-01 00:25:45 +00001386 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001387
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001388 bool IsBitfield = FieldSize && Size != FieldSize;
1389 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001390 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001391 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001392 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001393 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001394
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001395 uint64_t Offset = DT->getOffsetInBits();
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001396 uint64_t Align = DT->getAlignInBits() ? DT->getAlignInBits() : FieldSize;
1397 uint64_t AlignMask = ~(Align - 1);
1398 // The bits from the start of the storage unit to the start of the field.
1399 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001400 // The byte offset of the field's aligned storage unit inside the struct.
1401 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001402
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001403 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001404 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1405 uint64_t FieldOffset = (HiMark - FieldSize);
1406 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001407
Adrian Prantle5447572016-04-28 15:37:52 +00001408 // Maybe we need to work from the other end.
1409 if (Asm->getDataLayout().isLittleEndian())
1410 Offset = FieldSize - (Offset + Size);
1411
1412 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1413 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001414 } else {
1415 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001416 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001417 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001418 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001419 OffsetInBytes = DT->getOffsetInBits() / 8;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001420 }
David Blaikie2ada1162014-01-03 00:48:38 +00001421
David Blaikie22b29a52014-01-03 01:30:05 +00001422 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001423 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001424 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1425 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001426 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001427 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001428 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1429 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001430 }
Devang Patel0e821f42011-04-12 23:21:44 +00001431
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001432 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001433 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001434 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001435 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001436 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001437 dwarf::DW_ACCESS_private);
1438 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001439 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001440 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001441 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001442 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001443 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001444 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001445
1446 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001447 if (DINode *PNode = DT->getObjCProperty())
1448 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001449 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1450 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001451
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001452 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001453 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001454}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001455
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001456DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001457 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001458 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001459
Manman Renc6b63922013-10-14 20:33:57 +00001460 // Construct the context before querying for the existence of the DIE in case
1461 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001462 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001463 assert(dwarf::isType(ContextDIE->getTag()) &&
1464 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001465
David Blaikie65a74662014-04-25 18:26:14 +00001466 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001467 return StaticMemberDIE;
1468
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001469 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001470
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001471 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001472
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001473 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001474 addType(StaticMemberDIE, Ty);
1475 addSourceLine(StaticMemberDIE, DT);
1476 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1477 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1478
1479 // FIXME: We could omit private if the parent is a class_type, and
1480 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001481 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001482 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1483 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001484 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001485 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1486 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001487 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001488 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1489 dwarf::DW_ACCESS_public);
1490
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001491 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001492 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001493 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001494 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001495
David Blaikie65a74662014-04-25 18:26:14 +00001496 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001497}
David Blaikie6b288cf2013-10-30 20:42:41 +00001498
Rafael Espindola063d7252015-03-10 16:58:10 +00001499void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001500 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001501 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikieae57e662014-11-01 23:59:23 +00001502 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1503
Lang Hames9ff69c82015-04-24 19:11:51 +00001504 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001505 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001506 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001507
David Blaikie6896e192013-12-04 23:39:02 +00001508 // We share one abbreviations table across all units so it's always at the
1509 // start of the section. Use a relocatable offset where needed to ensure
1510 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001511 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001512 if (UseOffsets)
1513 Asm->EmitInt32(0);
1514 else
1515 Asm->emitDwarfSymbolReference(
1516 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001517
Lang Hames9ff69c82015-04-24 19:11:51 +00001518 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001519 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1520}
David Blaikiebc563272013-12-13 21:33:40 +00001521
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001522void DwarfUnit::initSection(MCSection *Section) {
David Blaikiea34568b2014-11-01 20:06:28 +00001523 assert(!this->Section);
1524 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001525}
1526
Rafael Espindola063d7252015-03-10 16:58:10 +00001527void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1528 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001529 Asm->OutStreamer->AddComment("Type Signature");
1530 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1531 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001532 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001533 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1534 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001535}
1536
David Blaikiecafd9622014-11-02 08:51:37 +00001537bool DwarfTypeUnit::isDwoUnit() const {
1538 // Since there are no skeleton type units, all type units are dwo type units
1539 // when split DWARF is being used.
1540 return DD->useSplitDwarf();
1541}