blob: 4f90245c6d49e85bea1e386a02d5037c1050aef8 [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"
Eugene Zelenko1804a772016-08-25 00:45:04 +000015#include "AddressPool.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"
Eugene Zelenko1804a772016-08-25 00:45:04 +000020#include "llvm/ADT/APInt.h"
21#include "llvm/ADT/iterator_range.h"
22#include "llvm/ADT/None.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000023#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000024#include "llvm/CodeGen/MachineOperand.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000025#include "llvm/IR/Constants.h"
26#include "llvm/IR/DataLayout.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000027#include "llvm/IR/GlobalValue.h"
28#include "llvm/IR/Metadata.h"
29#include "llvm/MC/MachineLocation.h"
30#include "llvm/MC/MCDwarf.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000031#include "llvm/MC/MCSection.h"
32#include "llvm/MC/MCStreamer.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000033#include "llvm/Support/Casting.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000034#include "llvm/Support/CommandLine.h"
David Blaikief2694972013-06-28 20:05:11 +000035#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel0e821f42011-04-12 23:21:44 +000036#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000037#include "llvm/Target/TargetSubtargetInfo.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000038#include <cassert>
39#include <cstdint>
40#include <string>
41#include <utility>
Devang Patel0e821f42011-04-12 23:21:44 +000042
43using namespace llvm;
44
Chandler Carruth1b9dde02014-04-22 02:02:50 +000045#define DEBUG_TYPE "dwarfdebug"
46
Eric Christopher4287a492013-12-09 23:57:44 +000047static cl::opt<bool>
48GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
49 cl::desc("Generate DWARF4 type units."),
50 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000051
Adrian Prantlb846acc2015-03-02 22:02:36 +000052DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
53 DIELoc &DIE)
Greg Claytone6543972016-11-23 23:30:37 +000054 : DwarfExpression(AP.getDwarfVersion()), AP(AP), DU(DU),
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000055 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000056
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000057void DIEDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
58 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
59}
Eugene Zelenko1804a772016-08-25 00:45:04 +000060
Adrian Prantl51233682015-03-10 19:23:37 +000061void DIEDwarfExpression::EmitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000062 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
63}
Eugene Zelenko1804a772016-08-25 00:45:04 +000064
Adrian Prantl51233682015-03-10 19:23:37 +000065void DIEDwarfExpression::EmitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000066 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
67}
Eugene Zelenko1804a772016-08-25 00:45:04 +000068
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000069bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
70 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000071 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000072}
73
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000074DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
75 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Greg Clayton35630c32016-12-01 18:56:29 +000076 : DIEUnit(A->getDwarfVersion(), A->getPointerSize(), UnitTag), CUNode(Node),
77 Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000078}
79
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000080DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000081 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000082 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000083 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
84 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000085 if (SplitLineTable)
Greg Clayton35630c32016-12-01 18:56:29 +000086 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000087}
David Blaikie409dd9c2013-11-19 23:08:21 +000088
Eric Christophera5a79422013-12-09 23:32:48 +000089DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000090 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
91 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000092 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
93 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000094}
95
Eric Christophera5a79422013-12-09 23:32:48 +000096int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000097 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000098 default:
99 break;
100
101 case dwarf::DW_LANG_C89:
102 case dwarf::DW_LANG_C99:
103 case dwarf::DW_LANG_C:
104 case dwarf::DW_LANG_C_plus_plus:
105 case dwarf::DW_LANG_ObjC:
106 case dwarf::DW_LANG_ObjC_plus_plus:
107 return 0;
108
109 case dwarf::DW_LANG_Fortran77:
110 case dwarf::DW_LANG_Fortran90:
111 case dwarf::DW_LANG_Fortran95:
112 return 1;
113
114 // The languages below have valid values only if the DWARF version >= 4.
115 case dwarf::DW_LANG_Java:
116 case dwarf::DW_LANG_Python:
117 case dwarf::DW_LANG_UPC:
118 case dwarf::DW_LANG_D:
119 if (dwarf::DWARF_VERSION >= 4)
120 return 0;
121 break;
122
123 case dwarf::DW_LANG_Ada83:
124 case dwarf::DW_LANG_Ada95:
125 case dwarf::DW_LANG_Cobol74:
126 case dwarf::DW_LANG_Cobol85:
127 case dwarf::DW_LANG_Modula2:
128 case dwarf::DW_LANG_Pascal83:
129 case dwarf::DW_LANG_PLI:
130 if (dwarf::DWARF_VERSION >= 4)
131 return 1;
132 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000133
134 // The languages below have valid values only if the DWARF version >= 5.
135 case dwarf::DW_LANG_OpenCL:
136 case dwarf::DW_LANG_Go:
137 case dwarf::DW_LANG_Haskell:
138 case dwarf::DW_LANG_C_plus_plus_03:
139 case dwarf::DW_LANG_C_plus_plus_11:
140 case dwarf::DW_LANG_OCaml:
141 case dwarf::DW_LANG_Rust:
142 case dwarf::DW_LANG_C11:
143 case dwarf::DW_LANG_Swift:
144 case dwarf::DW_LANG_Dylan:
145 case dwarf::DW_LANG_C_plus_plus_14:
146 if (dwarf::DWARF_VERSION >= 5)
147 return 0;
148 break;
149
150 case dwarf::DW_LANG_Modula3:
151 case dwarf::DW_LANG_Julia:
152 case dwarf::DW_LANG_Fortran03:
153 case dwarf::DW_LANG_Fortran08:
154 if (dwarf::DWARF_VERSION >= 5)
155 return 1;
156 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000157 }
158
159 return -1;
160}
161
Manman Ren4dbdc902013-10-31 17:54:35 +0000162/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000163static bool isShareableAcrossCUs(const DINode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000164 // When the MDNode can be part of the type system, the DIE can be shared
165 // across CUs.
166 // Combining type units and cross-CU DIE sharing is lower value (since
167 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
168 // level already) but may be implementable for some value in projects
169 // building multiple independent libraries with LTO and then linking those
170 // together.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000171 return (isa<DIType>(D) ||
172 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000173 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000174}
175
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000176DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000177 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000178 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000179 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000180}
181
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000182void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000183 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000184 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000185 return;
186 }
David Blaikie2ad00162013-11-15 23:09:13 +0000187 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000188}
189
David Blaikie65a74662014-04-25 18:26:14 +0000190void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000191 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000192 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
193 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000194 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000195 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
196 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000197}
198
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000199void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000200 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000201 if (!Form)
202 Form = DIEInteger::BestForm(false, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000203 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000204}
205
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000206void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
207 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000208 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000209}
210
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000211void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000212 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000213 if (!Form)
214 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000215 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000216}
217
David Blaikie65a74662014-04-25 18:26:14 +0000218void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000219 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000220 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000221}
222
David Blaikie65a74662014-04-25 18:26:14 +0000223void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000224 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000225 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000226 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000227 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000228}
229
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000230DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
231 dwarf::Attribute Attribute,
232 dwarf::Form Form,
233 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000234 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000235}
236
David Blaikie65a74662014-04-25 18:26:14 +0000237void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000238 addLabel(Die, (dwarf::Attribute)0, Form, Label);
239}
240
David Blaikie65a74662014-04-25 18:26:14 +0000241void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000242 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000243 if (DD->getDwarfVersion() >= 4)
244 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
245 else
246 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
247}
248
David Blaikie4a2f95f2014-03-18 01:17:26 +0000249unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
250 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
251 : getCU().getOrCreateSourceID(FileName, DirName);
252}
253
David Blaikie65a74662014-04-25 18:26:14 +0000254void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000255 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000256 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
257 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000258 } else {
David Blaikief2443192013-10-21 17:28:37 +0000259 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000260 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000261 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000262 }
263}
264
David Blaikie65a74662014-04-25 18:26:14 +0000265void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000266 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000267 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000268 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000269}
270
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000271void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000272 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000273}
274
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000275void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000276 // Flag the type unit reference as a declaration so that if it contains
277 // members (implicit special members, static data member definitions, member
278 // declarations for definitions in this CU, etc) consumers don't get confused
279 // and think this is a full definition.
280 addFlag(Die, dwarf::DW_AT_declaration);
281
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000282 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000283 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000284}
285
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000286void DwarfUnit::addDIETypeSignature(DIE &Die, dwarf::Attribute Attribute,
287 StringRef Identifier) {
288 uint64_t Signature = DD->makeTypeSignature(Identifier);
289 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_ref_sig8,
290 DIEInteger(Signature));
291}
292
David Blaikie65a74662014-04-25 18:26:14 +0000293void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000294 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000295 const DIEUnit *CU = Die.getUnit();
296 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
297 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000298 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000299 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000300 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000301 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000302 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000303 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000304 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000305}
306
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000307DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000308 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
309 if (N)
310 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000311 return Die;
312}
313
David Blaikie65a74662014-04-25 18:26:14 +0000314void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000315 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000316 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000317 Die.addValue(DIEValueAllocator, Attribute,
318 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000319}
320
David Blaikie65a74662014-04-25 18:26:14 +0000321void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000322 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000323 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000324 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000325 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000326}
327
David Blaikie65a74662014-04-25 18:26:14 +0000328void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000329 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000330 if (Line == 0)
331 return;
David Blaikie101613e2014-02-12 00:11:25 +0000332
David Blaikie4a2f95f2014-03-18 01:17:26 +0000333 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000334 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000335 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
336 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000337}
338
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000339void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000340 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000341
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000342 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
343 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000344}
345
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000346void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000347 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000348
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000349 addSourceLine(Die, G->getLine(), G->getFilename(), G->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 DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000353 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000354
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000355 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->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 DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000359 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000360
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000361 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000362}
363
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000364void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000365 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000366
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000367 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000368}
369
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000370void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000371 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000372}
373
Devang Patel0e821f42011-04-12 23:21:44 +0000374/* Byref variables, in Blocks, are declared by the programmer as "SomeType
375 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
376 gives the variable VarName either the struct, or a pointer to the struct, as
377 its type. This is necessary for various behind-the-scenes things the
378 compiler needs to do with by-reference variables in Blocks.
379
380 However, as far as the original *programmer* is concerned, the variable
381 should still have type 'SomeType', as originally declared.
382
383 The function getBlockByrefType dives into the __Block_byref_x_VarName
384 struct to find the original type of the variable, which is then assigned to
385 the variable's Debug Information Entry as its real type. So far, so good.
386 However now the debugger will expect the variable VarName to have the type
387 SomeType. So we need the location attribute for the variable to be an
388 expression that explains to the debugger how to navigate through the
389 pointers and struct to find the actual variable of type SomeType.
390
391 The following function does just that. We start by getting
392 the "normal" location for the variable. This will be the location
393 of either the struct __Block_byref_x_VarName or the pointer to the
394 struct __Block_byref_x_VarName.
395
396 The struct will look something like:
397
398 struct __Block_byref_x_VarName {
399 ... <various fields>
400 struct __Block_byref_x_VarName *forwarding;
401 ... <various other fields>
402 SomeType VarName;
403 ... <maybe more fields>
404 };
405
406 If we are given the struct directly (as our starting point) we
407 need to tell the debugger to:
408
409 1). Add the offset of the forwarding field.
410
411 2). Follow that pointer to get the real __Block_byref_x_VarName
412 struct to use (the real one may have been copied onto the heap).
413
414 3). Add the offset for the field VarName, to find the actual variable.
415
416 If we started with a pointer to the struct, then we need to
417 dereference that pointer first, before the other steps.
418 Translating this into DWARF ops, we will need to append the following
419 to the current location description for the variable:
420
421 DW_OP_deref -- optional, if we start with a pointer
422 DW_OP_plus_uconst <forward_fld_offset>
423 DW_OP_deref
424 DW_OP_plus_uconst <varName_fld_offset>
425
426 That is what this function does. */
427
David Blaikie65a74662014-04-25 18:26:14 +0000428void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000429 dwarf::Attribute Attribute,
430 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000431 const DIType *Ty = DV.getType();
432 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000433 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000434 bool isPointer = false;
435
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000436 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000437
438 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000439 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000440 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000441 isPointer = true;
442 }
443
Devang Patel0e821f42011-04-12 23:21:44 +0000444 // Find the __forwarding field and the variable field in the __Block_byref
445 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000446 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000447 const DIDerivedType *varField = nullptr;
448 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000449
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000450 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000451 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000452 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000453 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000454 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000455 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000456 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000457 }
458
459 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000460 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
461 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000462
463 // Decode the original location, and use that as the start of the byref
464 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000465 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000466 SmallVector<uint64_t, 6> DIExpr;
467 DIEDwarfExpression Expr(*Asm, *this, *Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000468
Adrian Prantlab255fc2014-12-05 01:02:46 +0000469 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000470 if (Location.isReg())
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000471 validReg = Expr.AddMachineReg(*Asm->MF->getSubtarget().getRegisterInfo(),
472 Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000473 else
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000474 validReg =
475 Expr.AddMachineRegIndirect(*Asm->MF->getSubtarget().getRegisterInfo(),
476 Location.getReg(), Location.getOffset());
Adrian Prantlab255fc2014-12-05 01:02:46 +0000477
478 if (!validReg)
479 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000480
481 // If we started with a pointer to the __Block_byref... struct, then
482 // the first thing we need to do is dereference the pointer (DW_OP_deref).
483 if (isPointer)
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000484 DIExpr.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000485
486 // Next add the offset for the '__forwarding' field:
487 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
488 // adding the offset if it's 0.
489 if (forwardingFieldOffset > 0) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000490 DIExpr.push_back(dwarf::DW_OP_plus);
491 DIExpr.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000492 }
493
494 // Now dereference the __forwarding field to get to the real __Block_byref
495 // struct: DW_OP_deref.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000496 DIExpr.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000497
498 // Now that we've got the real __Block_byref... struct, add the offset
499 // for the variable's field to get to the location of the actual variable:
500 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
501 if (varFieldOffset > 0) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000502 DIExpr.push_back(dwarf::DW_OP_plus);
503 DIExpr.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000504 }
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000505 Expr.AddExpression(makeArrayRef(DIExpr));
506 Expr.finalize();
Devang Patel0e821f42011-04-12 23:21:44 +0000507
508 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000509 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000510}
511
Manman Renb3388602013-10-05 01:43:03 +0000512/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000513static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000514 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
515 // FIXME: Enums without a fixed underlying type have unknown signedness
516 // here, leading to incorrectly emitted constants.
517 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
518 return false;
519
520 // (Pieces of) aggregate types that get hacked apart by SROA may be
521 // represented by a constant. Encode them as unsigned bytes.
522 return true;
523 }
524
525 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000526 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000527 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000528 // null pointer constant emission.
529 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
530 // here, but accept them for now due to a bug in SROA producing bogus
531 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000532 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000533 T == dwarf::DW_TAG_ptr_to_member_type ||
534 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000535 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000536 return true;
537 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
538 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000539 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000540 DITypeRef Deriv = DTy->getBaseType();
541 assert(Deriv && "Expected valid base type");
542 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000543 }
Manman Renb3388602013-10-05 01:43:03 +0000544
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000545 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000546 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000547 assert((Encoding == dwarf::DW_ATE_unsigned ||
548 Encoding == dwarf::DW_ATE_unsigned_char ||
549 Encoding == dwarf::DW_ATE_signed ||
550 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000551 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
552 Encoding == dwarf::DW_ATE_boolean ||
553 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
554 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000555 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000556 return Encoding == dwarf::DW_ATE_unsigned ||
557 Encoding == dwarf::DW_ATE_unsigned_char ||
558 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
559 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000560}
561
David Blaikie65a74662014-04-25 18:26:14 +0000562void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000563 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000564 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000565 APFloat FPImm = MO.getFPImm()->getValueAPF();
566
567 // Get the raw data form of the floating point.
568 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000569 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000570
571 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000572 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000573 int Incr = (LittleEndian ? 1 : -1);
574 int Start = (LittleEndian ? 0 : NumBytes - 1);
575 int Stop = (LittleEndian ? NumBytes : -1);
576
577 // Output the constant to DWARF one byte at a time.
578 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000579 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000580
David Blaikief2443192013-10-21 17:28:37 +0000581 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000582}
583
David Blaikie65a74662014-04-25 18:26:14 +0000584void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000585 // Pass this down to addConstantValue as an unsigned bag of bits.
586 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000587}
588
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000589void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000590 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000591 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000592}
593
David Blaikiec05c8f42014-05-11 15:47:39 +0000594void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000595 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000596 assert(MO.isImm() && "Invalid machine operand!");
597
David Blaikie60cae1b2014-05-11 16:08:41 +0000598 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000599}
600
David Blaikie60cae1b2014-05-11 16:08:41 +0000601void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000602 // FIXME: This is a bit conservative/simple - it emits negative values always
603 // sign extended to 64 bits rather than minimizing the number of bytes.
604 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000605 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000606}
607
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000608void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000609 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
610}
611
David Blaikie65a74662014-04-25 18:26:14 +0000612void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000613 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000614 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000615 addConstantValue(Die, Unsigned,
616 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000617 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000618 }
619
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000620 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000621
622 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000623 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000624
625 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000626 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000627
628 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000629 for (int i = 0; i < NumBytes; i++) {
630 uint8_t c;
631 if (LittleEndian)
632 c = Ptr64[i / 8] >> (8 * (i & 7));
633 else
634 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000635 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000636 }
Devang Patel0e821f42011-04-12 23:21:44 +0000637
David Blaikief2443192013-10-21 17:28:37 +0000638 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000639}
640
Paul Robinson857b4432015-03-10 22:44:45 +0000641void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000642 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000643 addString(Die,
644 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
645 : dwarf::DW_AT_MIPS_linkage_name,
646 GlobalValue::getRealLinkageName(LinkageName));
647}
648
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000649void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000650 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000651 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000652 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000653 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000654 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000655 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000656 }
Devang Patel0e821f42011-04-12 23:21:44 +0000657}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000658
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000659DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
660 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000661 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000662 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000663 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000664 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000665 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000666 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000667 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000668 if (auto *M = dyn_cast<DIModule>(Context))
669 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000670 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000671}
672
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000673DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000674 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000675 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000676
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000677 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000678 return TyDIE;
679
680 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000681 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000682
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000683 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000684
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000685 if (!Ty->isExternalTypeRef())
686 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000687 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000688}
689
David Blaikied51dea62015-07-01 18:07:16 +0000690DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000691 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000692 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000693
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000694 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000695
David Blaikieee11f222014-04-12 05:35:59 +0000696 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000697 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000698 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000699
Victor Leschuke1156c22016-10-31 19:09:38 +0000700 // DW_TAG_atomic_type is not supported in DWARF < 5
701 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
702 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
703
Manman Renf4c339e2013-10-29 22:49:29 +0000704 // Construct the context before querying for the existence of the DIE in case
705 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000706 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000707 DIE *ContextDIE = getOrCreateContextDIE(Context);
708 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000709
David Blaikie65a74662014-04-25 18:26:14 +0000710 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000711 return TyDIE;
712
Amjad Aboud72da9392016-04-30 01:44:07 +0000713 // Create new type.
714 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000715
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000716 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000717
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000718 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000719 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000720 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000721 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000722 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000723 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
724 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000725 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000726 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000727 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000728 }
David Blaikie65a74662014-04-25 18:26:14 +0000729 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000730 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000731 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000732 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000733
David Blaikie65a74662014-04-25 18:26:14 +0000734 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000735}
736
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000737void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
738 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000739 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000740 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000741 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000742 // A runtime language of 0 actually means C/C++ and that any
743 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000744 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000745 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000746 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000747 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000748
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000749 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
750 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000751 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000752 }
Devang Patel0e821f42011-04-12 23:21:44 +0000753}
754
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000755void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000756 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000757 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000758 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000759}
760
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000761std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000762 if (!Context)
763 return "";
764
765 // FIXME: Decide whether to implement this for non-C++ languages.
766 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
767 return "";
768
Eric Christopher8dba0d52013-10-19 01:04:42 +0000769 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000770 SmallVector<const DIScope *, 1> Parents;
771 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000772 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000773 if (Context->getScope())
774 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000775 else
776 // Structure, etc types will have a NULL context if they're at the top
777 // level.
778 break;
779 }
780
781 // Reverse iterate over our list to go from the outermost construct to the
782 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000783 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000784 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000785 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000786 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000787 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000788 CS += Name;
789 CS += "::";
790 }
791 }
792 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000793}
794
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000795void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000796 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000797 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000798 // Add name if not anonymous or intermediate type.
799 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000800 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000801
David Blaikiefac56122013-10-04 23:21:16 +0000802 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000803 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000804 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000805
David Blaikie65a74662014-04-25 18:26:14 +0000806 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000807 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000808
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000809 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000810 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000811}
812
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000813void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000814 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000815 StringRef Name = DTy->getName();
816 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000817 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000818
819 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000820 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000821 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000822 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000823
824 // Add name if not anonymous or intermediate type.
825 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000826 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000827
828 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000829 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000830 && Tag != dwarf::DW_TAG_ptr_to_member_type
831 && Tag != dwarf::DW_TAG_reference_type
832 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000833 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000834
David Blaikie5d3249b2013-01-07 05:51:15 +0000835 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000836 addDIEEntry(
837 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000838 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000839 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000840 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000841 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000842}
843
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000844void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000845 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000846 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000847 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000848 assert(i == N-1 && "Unspecified parameter must be the last argument");
849 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
850 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000851 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000852 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000853 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000854 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000855 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000856 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000857}
858
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000859void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000860 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000861 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000862 if (Elements.size())
863 if (auto RTy = resolve(Elements[0]))
864 addType(Buffer, RTy);
865
866 bool isPrototyped = true;
867 if (Elements.size() == 2 && !Elements[1])
868 isPrototyped = false;
869
870 constructSubprogramArguments(Buffer, Elements);
871
872 // Add prototype flag if we're dealing with a C language and the function has
873 // been prototyped.
874 uint16_t Language = getLanguage();
875 if (isPrototyped &&
876 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
877 Language == dwarf::DW_LANG_ObjC))
878 addFlag(Buffer, dwarf::DW_AT_prototyped);
879
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000880 // Add a DW_AT_calling_convention if this has an explicit convention.
881 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
882 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
883 CTy->getCC());
884
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000885 if (CTy->isLValueReference())
886 addFlag(Buffer, dwarf::DW_AT_reference);
887
888 if (CTy->isRValueReference())
889 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
890}
891
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000892void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000893 if (CTy->isExternalTypeRef()) {
894 StringRef Identifier = CTy->getIdentifier();
895 assert(!Identifier.empty() && "external type ref without identifier");
896 addFlag(Buffer, dwarf::DW_AT_declaration);
897 return addDIETypeSignature(Buffer, dwarf::DW_AT_signature, Identifier);
898 }
899
David Blaikie409dd9c2013-11-19 23:08:21 +0000900 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000901 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000902
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000903 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000904 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000905
906 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000907 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000908 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000909 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000910 case dwarf::DW_TAG_enumeration_type:
911 constructEnumTypeDIE(Buffer, CTy);
912 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000913 case dwarf::DW_TAG_structure_type:
914 case dwarf::DW_TAG_union_type:
915 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000916 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000917 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000918 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000919 if (!Element)
920 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000921 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000922 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000923 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000924 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000925 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000926 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
927 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000928 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000929 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000930 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000931 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000932 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000933 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
934 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000935 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000936 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000937 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000938 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000939 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000940 if (!GetterName.empty())
941 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000942 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000943 if (!SetterName.empty())
944 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000945 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000946 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000947 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000948 }
Devang Patel0e821f42011-04-12 23:21:44 +0000949 }
950
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000951 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000952 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000953
Adrian Prantlcf44e782014-12-19 00:01:20 +0000954 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
955 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000956 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000957 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000958 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000959 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000960
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000961 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000962 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000963
Eric Christopherda011dd2011-12-16 23:42:42 +0000964 // Add template parameters to a class, structure or union types.
965 // FIXME: The support isn't in the metadata for this yet.
966 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000967 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000968 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000969
970 break;
971 }
972 default:
973 break;
974 }
975
976 // Add name if not anonymous or intermediate type.
977 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000978 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000979
Eric Christopher775cbd22012-05-22 18:45:18 +0000980 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000981 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000982 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000983 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000984 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000985 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000986 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000987 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000988 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000989 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000990
991 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000992 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000993 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000994
995 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000996 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000997 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000998
999 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001000 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001001 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001002 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001003 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001004
1005 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001006 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001007 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1008 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001009 }
1010}
1011
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001012void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001013 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001014 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001015 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001016 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001017 if (TP->getType())
1018 addType(ParamDIE, resolve(TP->getType()));
1019 if (!TP->getName().empty())
1020 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001021}
1022
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001023void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001024 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001025 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001026
1027 // Add the type if there is one, template template and template parameter
1028 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001029 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1030 addType(ParamDIE, resolve(VP->getType()));
1031 if (!VP->getName().empty())
1032 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1033 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001034 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001035 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001036 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001037 // We cannot describe the location of dllimport'd entities: the
1038 // computation of their address requires loads from the IAT.
1039 if (!GV->hasDLLImportStorageClass()) {
1040 // For declaration non-type template parameters (such as global values
1041 // and functions)
1042 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1043 addOpAddress(*Loc, Asm->getSymbol(GV));
1044 // Emit DW_OP_stack_value to use the address as the immediate value of
1045 // the parameter, rather than a pointer to it.
1046 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1047 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1048 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001049 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001050 assert(isa<MDString>(Val));
1051 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1052 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001053 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001054 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001055 }
1056 }
Devang Patel0e821f42011-04-12 23:21:44 +00001057}
1058
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001059DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001060 // Construct the context before querying for the existence of the DIE in case
1061 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001062 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001063
David Blaikie65a74662014-04-25 18:26:14 +00001064 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001065 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001066 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001067
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001068 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001069 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001070 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001071 else
1072 Name = "(anonymous namespace)";
1073 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001074 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001075 addSourceLine(NDie, NS);
Adrian Prantldbfda632016-11-03 19:42:02 +00001076 if (NS->getExportSymbols())
1077 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001078 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001079}
1080
Adrian Prantl08a388b2015-06-30 02:13:04 +00001081DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1082 // Construct the context before querying for the existence of the DIE in case
1083 // such construction creates the DIE.
1084 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1085
1086 if (DIE *MDie = getDIE(M))
1087 return MDie;
1088 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1089
1090 if (!M->getName().empty()) {
1091 addString(MDie, dwarf::DW_AT_name, M->getName());
1092 addGlobalName(M->getName(), MDie, M->getScope());
1093 }
1094 if (!M->getConfigurationMacros().empty())
1095 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1096 M->getConfigurationMacros());
1097 if (!M->getIncludePath().empty())
1098 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1099 if (!M->getISysRoot().empty())
1100 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1101
1102 return &MDie;
1103}
1104
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001105DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001106 // Construct the context before querying for the existence of the DIE in case
1107 // such construction creates the DIE (as is the case for member function
1108 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001109 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001110 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001111
David Blaikie65a74662014-04-25 18:26:14 +00001112 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001113 return SPDie;
1114
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001115 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001116 if (!Minimal) {
1117 // Add subprogram definitions to the CU die directly.
1118 ContextDIE = &getUnitDie();
1119 // Build the decl now to ensure it precedes the definition.
1120 getOrCreateSubprogramDIE(SPDecl);
1121 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001122 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001123
1124 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001125 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001126
David Blaikie6cfa9e12014-06-05 00:25:26 +00001127 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001128 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001129 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001130 return &SPDie;
1131
David Blaikie7f916862014-05-27 18:37:38 +00001132 applySubprogramAttributes(SP, SPDie);
1133 return &SPDie;
1134}
1135
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001136bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001137 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001138 DIE *DeclDie = nullptr;
1139 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001140 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001141 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001142 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001143 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001144 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001145 // Look at the Decl's linkage name only if we emitted it.
1146 if (DD->useAllLinkageNames())
1147 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001148 unsigned DeclID =
1149 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1150 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1151 if (DeclID != DefID)
1152 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1153
1154 if (SP->getLine() != SPDecl->getLine())
1155 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001156 }
Rafael Espindola79278362011-11-10 22:34:29 +00001157
Devang Patel89543712011-08-15 17:24:54 +00001158 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001159 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001160
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001161 // 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 +00001162 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001163 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1164 LinkageName == DeclLinkageName) &&
1165 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001166 if (DeclLinkageName.empty() &&
1167 // Always emit it for abstract subprograms.
1168 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001169 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001170
David Blaikie3a443c22014-11-04 22:12:25 +00001171 if (!DeclDie)
1172 return false;
1173
1174 // Refer to the function declaration where all the other attributes will be
1175 // found.
1176 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1177 return true;
1178}
1179
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001180void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001181 bool Minimal) {
1182 if (!Minimal)
1183 if (applySubprogramDefinitionAttributes(SP, SPDie))
1184 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001185
Devang Patel89543712011-08-15 17:24:54 +00001186 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001187 if (!SP->getName().empty())
1188 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001189
David Blaikie0b9438b2014-09-19 04:47:46 +00001190 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001191 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001192 return;
1193
Devang Patel89543712011-08-15 17:24:54 +00001194 addSourceLine(SPDie, SP);
1195
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001196 // Add the prototype if we have a prototype and we have a C like
1197 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001198 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001199 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001200 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001201 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001202 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001203
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001204 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001205 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001206 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001207 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001208 CC = SPTy->getCC();
1209 }
1210
1211 // Add a DW_AT_calling_convention if this has an explicit convention.
1212 if (CC && CC != dwarf::DW_CC_normal)
1213 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001214
Eric Christopher691281b2013-10-21 17:48:51 +00001215 // Add a return type. If this is a type like a C/C++ void type we don't add a
1216 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001217 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001218 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001219 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001220
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001221 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001222 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001223 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001224 if (SP->getVirtualIndex() != -1u) {
1225 DIELoc *Block = getDIELoc();
1226 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1227 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1228 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1229 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001230 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001231 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001232 }
1233
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001234 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001235 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001236
Devang Patel89543712011-08-15 17:24:54 +00001237 // Add arguments. Do not add arguments for subprogram definition. They will
1238 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001239 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001240 }
1241
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001242 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001243 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001244
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001245 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001246 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001247
David Blaikiec53e18d2016-05-24 21:19:28 +00001248 if (DD->useAppleExtensionAttributes()) {
1249 if (SP->isOptimized())
1250 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001251
David Blaikiec53e18d2016-05-24 21:19:28 +00001252 if (unsigned isa = Asm->getISAEncoding())
1253 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1254 }
Devang Patel89543712011-08-15 17:24:54 +00001255
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001256 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001257 addFlag(SPDie, dwarf::DW_AT_reference);
1258
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001259 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001260 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1261
Adrian Prantlc19dee72016-08-17 16:02:43 +00001262 if (SP->isNoReturn())
1263 addFlag(SPDie, dwarf::DW_AT_noreturn);
1264
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001265 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001266 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1267 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001268 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001269 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1270 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001271 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001272 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1273 dwarf::DW_ACCESS_public);
1274
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001275 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001276 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001277
1278 if (SP->isMainSubprogram())
1279 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001280}
1281
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001282void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001283 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001284 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001285 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001286
Bill Wendling28fe9e72012-12-06 07:38:10 +00001287 // The LowerBound value defines the lower bounds which is typically zero for
1288 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1289 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001290 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001291 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001292 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001293 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001294
Bill Wendling3495f9b2012-12-06 07:55:19 +00001295 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001296 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001297
David Blaikie32b0f362014-10-01 00:56:55 +00001298 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001299 // FIXME: An unbounded array should reference the expression that defines
1300 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001301 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001302}
1303
David Blaikie871c2d92014-11-02 03:09:13 +00001304DIE *DwarfUnit::getIndexTyDie() {
1305 if (IndexTyDie)
1306 return IndexTyDie;
1307 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001308 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
David Blaikie871c2d92014-11-02 03:09:13 +00001309 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1310 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1311 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1312 dwarf::DW_ATE_unsigned);
1313 return IndexTyDie;
1314}
1315
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001316void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001317 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001318 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001319
Eric Christopher0df08e22013-08-08 07:40:37 +00001320 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001321 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001322
1323 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001324 // FIXME: This type should be passed down from the front end
1325 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001326 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001327
1328 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001329 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001330 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001331 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001332 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001333 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001334 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001335 }
1336}
1337
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001338void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1339 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001340
1341 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001342 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001343 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001344 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001345 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001346 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001347 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001348 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001349 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1350 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001351 }
1352 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001353 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001354 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001355 addType(Buffer, DTy);
1356 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001357 }
Devang Patel0e821f42011-04-12 23:21:44 +00001358}
1359
Eric Christophera5a79422013-12-09 23:32:48 +00001360void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001361 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001362 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001363 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001364 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001365 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001366 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001367 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001368 if (!NDie)
1369 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001370 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001371 }
1372}
1373
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001374void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001375 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1376 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001377 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001378 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001379
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001380 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001381
1382 addSourceLine(MemberDie, DT);
1383
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001384 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001385
1386 // For C++, virtual base classes are not at fixed offset. Use following
1387 // expression to extract appropriate offset from vtable.
1388 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1389
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001390 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001391 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1392 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1393 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001394 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001395 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1396 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1397 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001398
David Blaikief2443192013-10-21 17:28:37 +00001399 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001400 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001401 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001402 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001403 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001404 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001405
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001406 bool IsBitfield = FieldSize && Size != FieldSize;
1407 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001408 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001409 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001410 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001411 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001412
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001413 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001414 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1415 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1416 // which can't be done with bitfields. Thus we use FieldSize here.
1417 uint32_t AlignInBits = FieldSize;
1418 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001419 // The bits from the start of the storage unit to the start of the field.
1420 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001421 // The byte offset of the field's aligned storage unit inside the struct.
1422 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001423
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001424 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001425 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1426 uint64_t FieldOffset = (HiMark - FieldSize);
1427 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001428
Adrian Prantle5447572016-04-28 15:37:52 +00001429 // Maybe we need to work from the other end.
1430 if (Asm->getDataLayout().isLittleEndian())
1431 Offset = FieldSize - (Offset + Size);
1432
1433 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1434 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001435 } else {
1436 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001437 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001438 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001439 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001440 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001441 if (AlignInBytes)
1442 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1443 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001444 }
David Blaikie2ada1162014-01-03 00:48:38 +00001445
David Blaikie22b29a52014-01-03 01:30:05 +00001446 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001447 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001448 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1449 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001450 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001451 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001452 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1453 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001454 }
Devang Patel0e821f42011-04-12 23:21:44 +00001455
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001456 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001457 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001458 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001459 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001460 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001461 dwarf::DW_ACCESS_private);
1462 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001463 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001464 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001465 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001466 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001467 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001468 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001469
1470 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001471 if (DINode *PNode = DT->getObjCProperty())
1472 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001473 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1474 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001475
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001476 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001477 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001478}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001479
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001480DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001481 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001482 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001483
Manman Renc6b63922013-10-14 20:33:57 +00001484 // Construct the context before querying for the existence of the DIE in case
1485 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001486 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001487 assert(dwarf::isType(ContextDIE->getTag()) &&
1488 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001489
David Blaikie65a74662014-04-25 18:26:14 +00001490 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001491 return StaticMemberDIE;
1492
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001493 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001494
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001495 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001496
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001497 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001498 addType(StaticMemberDIE, Ty);
1499 addSourceLine(StaticMemberDIE, DT);
1500 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1501 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1502
1503 // FIXME: We could omit private if the parent is a class_type, and
1504 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001505 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001506 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1507 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001508 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001509 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1510 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001511 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001512 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1513 dwarf::DW_ACCESS_public);
1514
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001515 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001516 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001517 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001518 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001519
Victor Leschuka37660c2016-10-26 21:32:29 +00001520 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001521 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1522 AlignInBytes);
1523
David Blaikie65a74662014-04-25 18:26:14 +00001524 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001525}
David Blaikie6b288cf2013-10-30 20:42:41 +00001526
Rafael Espindola063d7252015-03-10 16:58:10 +00001527void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001528 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001529 Asm->OutStreamer->AddComment("Length of Unit");
Greg Clayton35630c32016-12-01 18:56:29 +00001530 Asm->EmitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001531
Lang Hames9ff69c82015-04-24 19:11:51 +00001532 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001533 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001534 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001535
David Blaikie6896e192013-12-04 23:39:02 +00001536 // We share one abbreviations table across all units so it's always at the
1537 // start of the section. Use a relocatable offset where needed to ensure
1538 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001539 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001540 if (UseOffsets)
1541 Asm->EmitInt32(0);
1542 else
1543 Asm->emitDwarfSymbolReference(
1544 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001545
Lang Hames9ff69c82015-04-24 19:11:51 +00001546 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001547 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1548}
David Blaikiebc563272013-12-13 21:33:40 +00001549
Rafael Espindola063d7252015-03-10 16:58:10 +00001550void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1551 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001552 Asm->OutStreamer->AddComment("Type Signature");
1553 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1554 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001555 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001556 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1557 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001558}
1559
David Blaikiecafd9622014-11-02 08:51:37 +00001560bool DwarfTypeUnit::isDwoUnit() const {
1561 // Since there are no skeleton type units, all type units are dwo type units
1562 // when split DWARF is being used.
1563 return DD->useSplitDwarf();
1564}