blob: 702a87311ebfa49a30a561e881361ab1e197c05b [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);
Victor Leschukcbddae72017-01-10 21:18:26 +0000203 assert(Form != dwarf::DW_FORM_implicit_const &&
204 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000205 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000206}
207
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000208void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
209 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000210 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000211}
212
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000213void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000214 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000215 if (!Form)
216 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000217 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000218}
219
David Blaikie65a74662014-04-25 18:26:14 +0000220void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000221 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000222 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000223}
224
David Blaikie65a74662014-04-25 18:26:14 +0000225void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000226 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000227 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000228 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000229 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000230}
231
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000232DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
233 dwarf::Attribute Attribute,
234 dwarf::Form Form,
235 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000236 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000237}
238
David Blaikie65a74662014-04-25 18:26:14 +0000239void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000240 addLabel(Die, (dwarf::Attribute)0, Form, Label);
241}
242
David Blaikie65a74662014-04-25 18:26:14 +0000243void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000244 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000245 if (DD->getDwarfVersion() >= 4)
246 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
247 else
248 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
249}
250
David Blaikie4a2f95f2014-03-18 01:17:26 +0000251unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
252 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
253 : getCU().getOrCreateSourceID(FileName, DirName);
254}
255
David Blaikie65a74662014-04-25 18:26:14 +0000256void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000257 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000258 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
259 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000260 } else {
David Blaikief2443192013-10-21 17:28:37 +0000261 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000262 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000263 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000264 }
265}
266
David Blaikie65a74662014-04-25 18:26:14 +0000267void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000268 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000269 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000270 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000271}
272
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000273void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000274 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000275}
276
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000277void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000278 // Flag the type unit reference as a declaration so that if it contains
279 // members (implicit special members, static data member definitions, member
280 // declarations for definitions in this CU, etc) consumers don't get confused
281 // and think this is a full definition.
282 addFlag(Die, dwarf::DW_AT_declaration);
283
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000284 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000285 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000286}
287
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000288void DwarfUnit::addDIETypeSignature(DIE &Die, dwarf::Attribute Attribute,
289 StringRef Identifier) {
290 uint64_t Signature = DD->makeTypeSignature(Identifier);
291 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_ref_sig8,
292 DIEInteger(Signature));
293}
294
David Blaikie65a74662014-04-25 18:26:14 +0000295void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000296 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000297 const DIEUnit *CU = Die.getUnit();
298 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
299 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000300 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000301 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000302 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000303 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000304 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000305 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000306 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000307}
308
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000309DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000310 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
311 if (N)
312 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000313 return Die;
314}
315
David Blaikie65a74662014-04-25 18:26:14 +0000316void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000317 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000318 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000319 Die.addValue(DIEValueAllocator, Attribute,
320 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000321}
322
David Blaikie65a74662014-04-25 18:26:14 +0000323void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000324 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000325 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000326 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000327 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000328}
329
David Blaikie65a74662014-04-25 18:26:14 +0000330void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000331 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000332 if (Line == 0)
333 return;
David Blaikie101613e2014-02-12 00:11:25 +0000334
David Blaikie4a2f95f2014-03-18 01:17:26 +0000335 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000336 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000337 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
338 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000339}
340
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000341void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000342 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000343
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000344 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
345 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000346}
347
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000348void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000349 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000350
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000351 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000352}
353
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000354void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000355 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000356
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000357 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000358}
359
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000360void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000361 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000362
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000363 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000364}
365
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000366void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000367 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000368
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000369 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000370}
371
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000372void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000373 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000374}
375
Devang Patel0e821f42011-04-12 23:21:44 +0000376/* Byref variables, in Blocks, are declared by the programmer as "SomeType
377 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
378 gives the variable VarName either the struct, or a pointer to the struct, as
379 its type. This is necessary for various behind-the-scenes things the
380 compiler needs to do with by-reference variables in Blocks.
381
382 However, as far as the original *programmer* is concerned, the variable
383 should still have type 'SomeType', as originally declared.
384
385 The function getBlockByrefType dives into the __Block_byref_x_VarName
386 struct to find the original type of the variable, which is then assigned to
387 the variable's Debug Information Entry as its real type. So far, so good.
388 However now the debugger will expect the variable VarName to have the type
389 SomeType. So we need the location attribute for the variable to be an
390 expression that explains to the debugger how to navigate through the
391 pointers and struct to find the actual variable of type SomeType.
392
393 The following function does just that. We start by getting
394 the "normal" location for the variable. This will be the location
395 of either the struct __Block_byref_x_VarName or the pointer to the
396 struct __Block_byref_x_VarName.
397
398 The struct will look something like:
399
400 struct __Block_byref_x_VarName {
401 ... <various fields>
402 struct __Block_byref_x_VarName *forwarding;
403 ... <various other fields>
404 SomeType VarName;
405 ... <maybe more fields>
406 };
407
408 If we are given the struct directly (as our starting point) we
409 need to tell the debugger to:
410
411 1). Add the offset of the forwarding field.
412
413 2). Follow that pointer to get the real __Block_byref_x_VarName
414 struct to use (the real one may have been copied onto the heap).
415
416 3). Add the offset for the field VarName, to find the actual variable.
417
418 If we started with a pointer to the struct, then we need to
419 dereference that pointer first, before the other steps.
420 Translating this into DWARF ops, we will need to append the following
421 to the current location description for the variable:
422
423 DW_OP_deref -- optional, if we start with a pointer
424 DW_OP_plus_uconst <forward_fld_offset>
425 DW_OP_deref
426 DW_OP_plus_uconst <varName_fld_offset>
427
428 That is what this function does. */
429
David Blaikie65a74662014-04-25 18:26:14 +0000430void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000431 dwarf::Attribute Attribute,
432 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000433 const DIType *Ty = DV.getType();
434 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000435 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000436 bool isPointer = false;
437
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000438 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000439
440 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000441 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000442 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000443 isPointer = true;
444 }
445
Devang Patel0e821f42011-04-12 23:21:44 +0000446 // Find the __forwarding field and the variable field in the __Block_byref
447 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000448 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000449 const DIDerivedType *varField = nullptr;
450 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000451
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000452 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000453 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000454 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000455 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000456 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000457 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000458 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000459 }
460
461 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000462 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
463 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000464
465 // Decode the original location, and use that as the start of the byref
466 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000467 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000468 SmallVector<uint64_t, 6> DIExpr;
469 DIEDwarfExpression Expr(*Asm, *this, *Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000470
Adrian Prantlab255fc2014-12-05 01:02:46 +0000471 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000472 if (Location.isReg())
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000473 validReg = Expr.AddMachineReg(*Asm->MF->getSubtarget().getRegisterInfo(),
474 Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000475 else
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000476 validReg =
477 Expr.AddMachineRegIndirect(*Asm->MF->getSubtarget().getRegisterInfo(),
478 Location.getReg(), Location.getOffset());
Adrian Prantlab255fc2014-12-05 01:02:46 +0000479
480 if (!validReg)
481 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000482
483 // If we started with a pointer to the __Block_byref... struct, then
484 // the first thing we need to do is dereference the pointer (DW_OP_deref).
485 if (isPointer)
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000486 DIExpr.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000487
488 // Next add the offset for the '__forwarding' field:
489 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
490 // adding the offset if it's 0.
491 if (forwardingFieldOffset > 0) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000492 DIExpr.push_back(dwarf::DW_OP_plus);
493 DIExpr.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000494 }
495
496 // Now dereference the __forwarding field to get to the real __Block_byref
497 // struct: DW_OP_deref.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000498 DIExpr.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000499
500 // Now that we've got the real __Block_byref... struct, add the offset
501 // for the variable's field to get to the location of the actual variable:
502 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
503 if (varFieldOffset > 0) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000504 DIExpr.push_back(dwarf::DW_OP_plus);
505 DIExpr.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000506 }
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000507 Expr.AddExpression(makeArrayRef(DIExpr));
508 Expr.finalize();
Devang Patel0e821f42011-04-12 23:21:44 +0000509
510 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000511 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000512}
513
Manman Renb3388602013-10-05 01:43:03 +0000514/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000515static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000516 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
517 // FIXME: Enums without a fixed underlying type have unknown signedness
518 // here, leading to incorrectly emitted constants.
519 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
520 return false;
521
522 // (Pieces of) aggregate types that get hacked apart by SROA may be
523 // represented by a constant. Encode them as unsigned bytes.
524 return true;
525 }
526
527 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000528 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000529 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000530 // null pointer constant emission.
531 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
532 // here, but accept them for now due to a bug in SROA producing bogus
533 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000534 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000535 T == dwarf::DW_TAG_ptr_to_member_type ||
536 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000537 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000538 return true;
539 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
540 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000541 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000542 DITypeRef Deriv = DTy->getBaseType();
543 assert(Deriv && "Expected valid base type");
544 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000545 }
Manman Renb3388602013-10-05 01:43:03 +0000546
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000547 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000548 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000549 assert((Encoding == dwarf::DW_ATE_unsigned ||
550 Encoding == dwarf::DW_ATE_unsigned_char ||
551 Encoding == dwarf::DW_ATE_signed ||
552 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000553 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
554 Encoding == dwarf::DW_ATE_boolean ||
555 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
556 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000557 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000558 return Encoding == dwarf::DW_ATE_unsigned ||
559 Encoding == dwarf::DW_ATE_unsigned_char ||
560 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
561 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000562}
563
David Blaikie65a74662014-04-25 18:26:14 +0000564void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000565 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000566 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000567 APFloat FPImm = MO.getFPImm()->getValueAPF();
568
569 // Get the raw data form of the floating point.
570 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000571 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000572
573 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000574 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000575 int Incr = (LittleEndian ? 1 : -1);
576 int Start = (LittleEndian ? 0 : NumBytes - 1);
577 int Stop = (LittleEndian ? NumBytes : -1);
578
579 // Output the constant to DWARF one byte at a time.
580 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000581 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000582
David Blaikief2443192013-10-21 17:28:37 +0000583 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000584}
585
David Blaikie65a74662014-04-25 18:26:14 +0000586void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000587 // Pass this down to addConstantValue as an unsigned bag of bits.
588 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000589}
590
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000591void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000592 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000593 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000594}
595
David Blaikiec05c8f42014-05-11 15:47:39 +0000596void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000597 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000598 assert(MO.isImm() && "Invalid machine operand!");
599
David Blaikie60cae1b2014-05-11 16:08:41 +0000600 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000601}
602
David Blaikie60cae1b2014-05-11 16:08:41 +0000603void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000604 // FIXME: This is a bit conservative/simple - it emits negative values always
605 // sign extended to 64 bits rather than minimizing the number of bytes.
606 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000607 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000608}
609
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000610void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000611 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
612}
613
David Blaikie65a74662014-04-25 18:26:14 +0000614void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000615 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000616 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000617 addConstantValue(Die, Unsigned,
618 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000619 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000620 }
621
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000622 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000623
624 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000625 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000626
627 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000628 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000629
630 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000631 for (int i = 0; i < NumBytes; i++) {
632 uint8_t c;
633 if (LittleEndian)
634 c = Ptr64[i / 8] >> (8 * (i & 7));
635 else
636 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000637 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000638 }
Devang Patel0e821f42011-04-12 23:21:44 +0000639
David Blaikief2443192013-10-21 17:28:37 +0000640 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000641}
642
Paul Robinson857b4432015-03-10 22:44:45 +0000643void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000644 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000645 addString(Die,
646 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
647 : dwarf::DW_AT_MIPS_linkage_name,
648 GlobalValue::getRealLinkageName(LinkageName));
649}
650
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000651void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000652 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000653 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000654 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000655 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000656 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000657 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000658 }
Devang Patel0e821f42011-04-12 23:21:44 +0000659}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000660
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000661DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
662 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000663 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000664 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000665 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000666 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000667 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000668 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000669 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000670 if (auto *M = dyn_cast<DIModule>(Context))
671 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000672 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000673}
674
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000675DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000676 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000677 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000678
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000679 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000680 return TyDIE;
681
682 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000683 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000684
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000685 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000686
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000687 if (!Ty->isExternalTypeRef())
688 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000689 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000690}
691
David Blaikied51dea62015-07-01 18:07:16 +0000692DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000693 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000694 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000695
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000696 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000697
David Blaikieee11f222014-04-12 05:35:59 +0000698 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000699 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000700 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000701
Victor Leschuke1156c22016-10-31 19:09:38 +0000702 // DW_TAG_atomic_type is not supported in DWARF < 5
703 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
704 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
705
Manman Renf4c339e2013-10-29 22:49:29 +0000706 // Construct the context before querying for the existence of the DIE in case
707 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000708 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000709 DIE *ContextDIE = getOrCreateContextDIE(Context);
710 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000711
David Blaikie65a74662014-04-25 18:26:14 +0000712 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000713 return TyDIE;
714
Amjad Aboud72da9392016-04-30 01:44:07 +0000715 // Create new type.
716 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000717
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000718 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000719
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000720 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000721 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000722 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000723 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000724 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000725 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
726 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000727 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000728 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000729 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000730 }
David Blaikie65a74662014-04-25 18:26:14 +0000731 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000732 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000733 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000734 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000735
David Blaikie65a74662014-04-25 18:26:14 +0000736 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000737}
738
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000739void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
740 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000741 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000742 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000743 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000744 // A runtime language of 0 actually means C/C++ and that any
745 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000746 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000747 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000748 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000749 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000750
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000751 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
752 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000753 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000754 }
Devang Patel0e821f42011-04-12 23:21:44 +0000755}
756
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000757void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000758 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000759 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000760 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000761}
762
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000763std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000764 if (!Context)
765 return "";
766
767 // FIXME: Decide whether to implement this for non-C++ languages.
768 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
769 return "";
770
Eric Christopher8dba0d52013-10-19 01:04:42 +0000771 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000772 SmallVector<const DIScope *, 1> Parents;
773 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000774 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000775 if (Context->getScope())
776 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000777 else
778 // Structure, etc types will have a NULL context if they're at the top
779 // level.
780 break;
781 }
782
783 // Reverse iterate over our list to go from the outermost construct to the
784 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000785 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000786 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000787 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000788 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000789 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000790 CS += Name;
791 CS += "::";
792 }
793 }
794 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000795}
796
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000797void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000798 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000799 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000800 // Add name if not anonymous or intermediate type.
801 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000802 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000803
David Blaikiefac56122013-10-04 23:21:16 +0000804 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000805 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000806 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000807
David Blaikie65a74662014-04-25 18:26:14 +0000808 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000809 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000810
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000811 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000812 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000813}
814
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000815void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000816 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000817 StringRef Name = DTy->getName();
818 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000819 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000820
821 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000822 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000823 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000824 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000825
826 // Add name if not anonymous or intermediate type.
827 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000828 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000829
830 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000831 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000832 && Tag != dwarf::DW_TAG_ptr_to_member_type
833 && Tag != dwarf::DW_TAG_reference_type
834 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000835 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000836
David Blaikie5d3249b2013-01-07 05:51:15 +0000837 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000838 addDIEEntry(
839 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000840 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000841 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000842 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000843 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000844}
845
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000846void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000847 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000848 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000849 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000850 assert(i == N-1 && "Unspecified parameter must be the last argument");
851 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
852 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000853 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000854 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000855 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000856 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000857 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000858 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000859}
860
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000861void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000862 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000863 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000864 if (Elements.size())
865 if (auto RTy = resolve(Elements[0]))
866 addType(Buffer, RTy);
867
868 bool isPrototyped = true;
869 if (Elements.size() == 2 && !Elements[1])
870 isPrototyped = false;
871
872 constructSubprogramArguments(Buffer, Elements);
873
874 // Add prototype flag if we're dealing with a C language and the function has
875 // been prototyped.
876 uint16_t Language = getLanguage();
877 if (isPrototyped &&
878 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
879 Language == dwarf::DW_LANG_ObjC))
880 addFlag(Buffer, dwarf::DW_AT_prototyped);
881
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000882 // Add a DW_AT_calling_convention if this has an explicit convention.
883 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
884 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
885 CTy->getCC());
886
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000887 if (CTy->isLValueReference())
888 addFlag(Buffer, dwarf::DW_AT_reference);
889
890 if (CTy->isRValueReference())
891 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
892}
893
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000894void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000895 if (CTy->isExternalTypeRef()) {
896 StringRef Identifier = CTy->getIdentifier();
897 assert(!Identifier.empty() && "external type ref without identifier");
898 addFlag(Buffer, dwarf::DW_AT_declaration);
899 return addDIETypeSignature(Buffer, dwarf::DW_AT_signature, Identifier);
900 }
901
David Blaikie409dd9c2013-11-19 23:08:21 +0000902 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000903 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000904
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000905 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000906 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000907
908 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000909 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000910 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000911 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000912 case dwarf::DW_TAG_enumeration_type:
913 constructEnumTypeDIE(Buffer, CTy);
914 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000915 case dwarf::DW_TAG_structure_type:
916 case dwarf::DW_TAG_union_type:
917 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000918 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000919 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000920 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000921 if (!Element)
922 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000923 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000924 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000925 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000926 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000927 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000928 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
929 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000930 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000931 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000932 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000933 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000934 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000935 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
936 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000937 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000938 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000939 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000940 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000941 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000942 if (!GetterName.empty())
943 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000944 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000945 if (!SetterName.empty())
946 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000947 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000948 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000949 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000950 }
Devang Patel0e821f42011-04-12 23:21:44 +0000951 }
952
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000953 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000954 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000955
Adrian Prantlcf44e782014-12-19 00:01:20 +0000956 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
957 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000958 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000959 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000960 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000961 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000962
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000963 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000964 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000965
Eric Christopherda011dd2011-12-16 23:42:42 +0000966 // Add template parameters to a class, structure or union types.
967 // FIXME: The support isn't in the metadata for this yet.
968 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000969 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000970 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000971
972 break;
973 }
974 default:
975 break;
976 }
977
978 // Add name if not anonymous or intermediate type.
979 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000980 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000981
Eric Christopher775cbd22012-05-22 18:45:18 +0000982 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000983 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000984 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000985 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000986 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000987 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000988 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000989 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000990 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000991 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000992
993 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000994 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000995 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000996
997 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000998 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000999 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001000
1001 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001002 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001003 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001004 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001005 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001006
1007 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001008 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001009 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1010 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001011 }
1012}
1013
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001014void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001015 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001016 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001017 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001018 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001019 if (TP->getType())
1020 addType(ParamDIE, resolve(TP->getType()));
1021 if (!TP->getName().empty())
1022 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001023}
1024
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001025void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001026 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001027 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001028
1029 // Add the type if there is one, template template and template parameter
1030 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001031 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1032 addType(ParamDIE, resolve(VP->getType()));
1033 if (!VP->getName().empty())
1034 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1035 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001036 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001037 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001038 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001039 // We cannot describe the location of dllimport'd entities: the
1040 // computation of their address requires loads from the IAT.
1041 if (!GV->hasDLLImportStorageClass()) {
1042 // For declaration non-type template parameters (such as global values
1043 // and functions)
1044 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1045 addOpAddress(*Loc, Asm->getSymbol(GV));
1046 // Emit DW_OP_stack_value to use the address as the immediate value of
1047 // the parameter, rather than a pointer to it.
1048 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1049 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1050 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001051 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001052 assert(isa<MDString>(Val));
1053 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1054 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001055 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001056 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001057 }
1058 }
Devang Patel0e821f42011-04-12 23:21:44 +00001059}
1060
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001061DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001062 // Construct the context before querying for the existence of the DIE in case
1063 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001064 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001065
David Blaikie65a74662014-04-25 18:26:14 +00001066 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001067 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001068 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001069
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001070 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001071 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001072 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001073 else
1074 Name = "(anonymous namespace)";
1075 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001076 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001077 addSourceLine(NDie, NS);
Adrian Prantldbfda632016-11-03 19:42:02 +00001078 if (NS->getExportSymbols())
1079 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001080 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001081}
1082
Adrian Prantl08a388b2015-06-30 02:13:04 +00001083DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1084 // Construct the context before querying for the existence of the DIE in case
1085 // such construction creates the DIE.
1086 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1087
1088 if (DIE *MDie = getDIE(M))
1089 return MDie;
1090 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1091
1092 if (!M->getName().empty()) {
1093 addString(MDie, dwarf::DW_AT_name, M->getName());
1094 addGlobalName(M->getName(), MDie, M->getScope());
1095 }
1096 if (!M->getConfigurationMacros().empty())
1097 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1098 M->getConfigurationMacros());
1099 if (!M->getIncludePath().empty())
1100 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1101 if (!M->getISysRoot().empty())
1102 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1103
1104 return &MDie;
1105}
1106
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001107DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001108 // Construct the context before querying for the existence of the DIE in case
1109 // such construction creates the DIE (as is the case for member function
1110 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001111 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001112 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001113
David Blaikie65a74662014-04-25 18:26:14 +00001114 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001115 return SPDie;
1116
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001117 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001118 if (!Minimal) {
1119 // Add subprogram definitions to the CU die directly.
1120 ContextDIE = &getUnitDie();
1121 // Build the decl now to ensure it precedes the definition.
1122 getOrCreateSubprogramDIE(SPDecl);
1123 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001124 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001125
1126 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001127 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001128
David Blaikie6cfa9e12014-06-05 00:25:26 +00001129 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001130 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001131 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001132 return &SPDie;
1133
David Blaikie7f916862014-05-27 18:37:38 +00001134 applySubprogramAttributes(SP, SPDie);
1135 return &SPDie;
1136}
1137
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001138bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001139 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001140 DIE *DeclDie = nullptr;
1141 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001142 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001143 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001144 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001145 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001146 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001147 // Look at the Decl's linkage name only if we emitted it.
1148 if (DD->useAllLinkageNames())
1149 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001150 unsigned DeclID =
1151 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1152 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1153 if (DeclID != DefID)
1154 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1155
1156 if (SP->getLine() != SPDecl->getLine())
1157 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001158 }
Rafael Espindola79278362011-11-10 22:34:29 +00001159
Devang Patel89543712011-08-15 17:24:54 +00001160 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001161 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001162
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001163 // 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 +00001164 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001165 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1166 LinkageName == DeclLinkageName) &&
1167 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001168 if (DeclLinkageName.empty() &&
1169 // Always emit it for abstract subprograms.
1170 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001171 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001172
David Blaikie3a443c22014-11-04 22:12:25 +00001173 if (!DeclDie)
1174 return false;
1175
1176 // Refer to the function declaration where all the other attributes will be
1177 // found.
1178 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1179 return true;
1180}
1181
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001182void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001183 bool SkipSPAttributes) {
1184 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1185 // and its source location.
1186 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001187 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001188 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001189 if (applySubprogramDefinitionAttributes(SP, SPDie))
1190 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001191
Devang Patel89543712011-08-15 17:24:54 +00001192 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001193 if (!SP->getName().empty())
1194 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001195
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001196 if (!SkipSPSourceLocation)
1197 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001198
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001199 // Skip the rest of the attributes under -gmlt to save space.
1200 if (SkipSPAttributes)
1201 return;
Devang Patel89543712011-08-15 17:24:54 +00001202
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001203 // Add the prototype if we have a prototype and we have a C like
1204 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001205 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001206 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001207 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001208 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001209 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001210
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001211 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001212 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001213 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001214 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001215 CC = SPTy->getCC();
1216 }
1217
1218 // Add a DW_AT_calling_convention if this has an explicit convention.
1219 if (CC && CC != dwarf::DW_CC_normal)
1220 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001221
Eric Christopher691281b2013-10-21 17:48:51 +00001222 // Add a return type. If this is a type like a C/C++ void type we don't add a
1223 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001224 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001225 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001226 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001227
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001228 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001229 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001230 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001231 if (SP->getVirtualIndex() != -1u) {
1232 DIELoc *Block = getDIELoc();
1233 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1234 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1235 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1236 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001237 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001238 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001239 }
1240
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001241 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001242 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001243
Devang Patel89543712011-08-15 17:24:54 +00001244 // Add arguments. Do not add arguments for subprogram definition. They will
1245 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001246 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001247 }
1248
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001249 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001250 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001251
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001252 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001253 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001254
David Blaikiec53e18d2016-05-24 21:19:28 +00001255 if (DD->useAppleExtensionAttributes()) {
1256 if (SP->isOptimized())
1257 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001258
David Blaikiec53e18d2016-05-24 21:19:28 +00001259 if (unsigned isa = Asm->getISAEncoding())
1260 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1261 }
Devang Patel89543712011-08-15 17:24:54 +00001262
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001263 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001264 addFlag(SPDie, dwarf::DW_AT_reference);
1265
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001266 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001267 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1268
Adrian Prantlc19dee72016-08-17 16:02:43 +00001269 if (SP->isNoReturn())
1270 addFlag(SPDie, dwarf::DW_AT_noreturn);
1271
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001272 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001273 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1274 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001275 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001276 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1277 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001278 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001279 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1280 dwarf::DW_ACCESS_public);
1281
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001282 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001283 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001284
1285 if (SP->isMainSubprogram())
1286 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001287}
1288
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001289void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001290 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001291 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001292 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001293
Bill Wendling28fe9e72012-12-06 07:38:10 +00001294 // The LowerBound value defines the lower bounds which is typically zero for
1295 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1296 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001297 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001298 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001299 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001300 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001301
Bill Wendling3495f9b2012-12-06 07:55:19 +00001302 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001303 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001304
David Blaikie32b0f362014-10-01 00:56:55 +00001305 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001306 // FIXME: An unbounded array should reference the expression that defines
1307 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001308 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001309}
1310
David Blaikie871c2d92014-11-02 03:09:13 +00001311DIE *DwarfUnit::getIndexTyDie() {
1312 if (IndexTyDie)
1313 return IndexTyDie;
1314 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001315 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
David Blaikie871c2d92014-11-02 03:09:13 +00001316 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1317 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1318 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1319 dwarf::DW_ATE_unsigned);
1320 return IndexTyDie;
1321}
1322
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001323void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001324 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001325 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001326
Eric Christopher0df08e22013-08-08 07:40:37 +00001327 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001328 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001329
1330 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001331 // FIXME: This type should be passed down from the front end
1332 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001333 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001334
1335 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001336 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001337 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001338 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001339 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001340 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001341 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001342 }
1343}
1344
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001345void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1346 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001347
1348 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001349 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001350 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001351 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001352 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001353 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001354 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001355 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001356 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1357 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001358 }
1359 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001360 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001361 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001362 addType(Buffer, DTy);
1363 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001364 }
Devang Patel0e821f42011-04-12 23:21:44 +00001365}
1366
Eric Christophera5a79422013-12-09 23:32:48 +00001367void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001368 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001369 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001370 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001371 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001372 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001373 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001374 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001375 if (!NDie)
1376 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001377 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001378 }
1379}
1380
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001381void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001382 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1383 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001384 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001385 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001386
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001387 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001388
1389 addSourceLine(MemberDie, DT);
1390
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001391 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001392
1393 // For C++, virtual base classes are not at fixed offset. Use following
1394 // expression to extract appropriate offset from vtable.
1395 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1396
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001397 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001398 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1399 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1400 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001401 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001402 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1403 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1404 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001405
David Blaikief2443192013-10-21 17:28:37 +00001406 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001407 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001408 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001409 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001410 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001411 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001412
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001413 bool IsBitfield = FieldSize && Size != FieldSize;
1414 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001415 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001416 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001417 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001418 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001419
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001420 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001421 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1422 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1423 // which can't be done with bitfields. Thus we use FieldSize here.
1424 uint32_t AlignInBits = FieldSize;
1425 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001426 // The bits from the start of the storage unit to the start of the field.
1427 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001428 // The byte offset of the field's aligned storage unit inside the struct.
1429 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001430
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001431 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001432 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1433 uint64_t FieldOffset = (HiMark - FieldSize);
1434 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001435
Adrian Prantle5447572016-04-28 15:37:52 +00001436 // Maybe we need to work from the other end.
1437 if (Asm->getDataLayout().isLittleEndian())
1438 Offset = FieldSize - (Offset + Size);
1439
1440 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1441 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001442 } else {
1443 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001444 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001445 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001446 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001447 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001448 if (AlignInBytes)
1449 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1450 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001451 }
David Blaikie2ada1162014-01-03 00:48:38 +00001452
David Blaikie22b29a52014-01-03 01:30:05 +00001453 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001454 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001455 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1456 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001457 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001458 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001459 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1460 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001461 }
Devang Patel0e821f42011-04-12 23:21:44 +00001462
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001463 if (DT->isProtected())
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_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001466 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001467 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001468 dwarf::DW_ACCESS_private);
1469 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001470 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001471 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001472 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001473 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001474 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001475 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001476
1477 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001478 if (DINode *PNode = DT->getObjCProperty())
1479 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001480 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1481 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001482
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001483 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001484 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001485}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001486
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001487DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001488 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001489 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001490
Manman Renc6b63922013-10-14 20:33:57 +00001491 // Construct the context before querying for the existence of the DIE in case
1492 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001493 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001494 assert(dwarf::isType(ContextDIE->getTag()) &&
1495 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001496
David Blaikie65a74662014-04-25 18:26:14 +00001497 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001498 return StaticMemberDIE;
1499
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001500 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001501
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001502 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001503
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001504 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001505 addType(StaticMemberDIE, Ty);
1506 addSourceLine(StaticMemberDIE, DT);
1507 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1508 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1509
1510 // FIXME: We could omit private if the parent is a class_type, and
1511 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001512 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001513 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1514 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001515 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001516 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1517 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001518 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001519 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1520 dwarf::DW_ACCESS_public);
1521
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001522 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001523 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001524 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001525 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001526
Victor Leschuka37660c2016-10-26 21:32:29 +00001527 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001528 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1529 AlignInBytes);
1530
David Blaikie65a74662014-04-25 18:26:14 +00001531 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001532}
David Blaikie6b288cf2013-10-30 20:42:41 +00001533
Rafael Espindola063d7252015-03-10 16:58:10 +00001534void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001535 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001536 Asm->OutStreamer->AddComment("Length of Unit");
Greg Clayton35630c32016-12-01 18:56:29 +00001537 Asm->EmitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001538
Lang Hames9ff69c82015-04-24 19:11:51 +00001539 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001540 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001541 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001542
David Blaikie6896e192013-12-04 23:39:02 +00001543 // We share one abbreviations table across all units so it's always at the
1544 // start of the section. Use a relocatable offset where needed to ensure
1545 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001546 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001547 if (UseOffsets)
1548 Asm->EmitInt32(0);
1549 else
1550 Asm->emitDwarfSymbolReference(
1551 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001552
Lang Hames9ff69c82015-04-24 19:11:51 +00001553 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001554 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1555}
David Blaikiebc563272013-12-13 21:33:40 +00001556
Rafael Espindola063d7252015-03-10 16:58:10 +00001557void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1558 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001559 Asm->OutStreamer->AddComment("Type Signature");
1560 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1561 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001562 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001563 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1564 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001565}
1566
David Blaikiecafd9622014-11-02 08:51:37 +00001567bool DwarfTypeUnit::isDwoUnit() const {
1568 // Since there are no skeleton type units, all type units are dwo type units
1569 // when split DWARF is being used.
1570 return DD->useSplitDwarf();
1571}