blob: f97b5deb6ccd894b2d1d603cc90196b96a08f1a4 [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)
76 : CUNode(Node), UnitDie(*DIE::get(DIEValueAllocator, UnitTag)), Asm(A),
77 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000078 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
79 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000080}
81
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000082DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000083 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000084 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000085 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
86 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000087 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000088 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000089}
David Blaikie409dd9c2013-11-19 23:08:21 +000090
Eric Christophera5a79422013-12-09 23:32:48 +000091DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000092 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
93 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000094 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
95 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000096}
97
Eric Christophera5a79422013-12-09 23:32:48 +000098int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000099 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +0000100 default:
101 break;
102
103 case dwarf::DW_LANG_C89:
104 case dwarf::DW_LANG_C99:
105 case dwarf::DW_LANG_C:
106 case dwarf::DW_LANG_C_plus_plus:
107 case dwarf::DW_LANG_ObjC:
108 case dwarf::DW_LANG_ObjC_plus_plus:
109 return 0;
110
111 case dwarf::DW_LANG_Fortran77:
112 case dwarf::DW_LANG_Fortran90:
113 case dwarf::DW_LANG_Fortran95:
114 return 1;
115
116 // The languages below have valid values only if the DWARF version >= 4.
117 case dwarf::DW_LANG_Java:
118 case dwarf::DW_LANG_Python:
119 case dwarf::DW_LANG_UPC:
120 case dwarf::DW_LANG_D:
121 if (dwarf::DWARF_VERSION >= 4)
122 return 0;
123 break;
124
125 case dwarf::DW_LANG_Ada83:
126 case dwarf::DW_LANG_Ada95:
127 case dwarf::DW_LANG_Cobol74:
128 case dwarf::DW_LANG_Cobol85:
129 case dwarf::DW_LANG_Modula2:
130 case dwarf::DW_LANG_Pascal83:
131 case dwarf::DW_LANG_PLI:
132 if (dwarf::DWARF_VERSION >= 4)
133 return 1;
134 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000135
136 // The languages below have valid values only if the DWARF version >= 5.
137 case dwarf::DW_LANG_OpenCL:
138 case dwarf::DW_LANG_Go:
139 case dwarf::DW_LANG_Haskell:
140 case dwarf::DW_LANG_C_plus_plus_03:
141 case dwarf::DW_LANG_C_plus_plus_11:
142 case dwarf::DW_LANG_OCaml:
143 case dwarf::DW_LANG_Rust:
144 case dwarf::DW_LANG_C11:
145 case dwarf::DW_LANG_Swift:
146 case dwarf::DW_LANG_Dylan:
147 case dwarf::DW_LANG_C_plus_plus_14:
148 if (dwarf::DWARF_VERSION >= 5)
149 return 0;
150 break;
151
152 case dwarf::DW_LANG_Modula3:
153 case dwarf::DW_LANG_Julia:
154 case dwarf::DW_LANG_Fortran03:
155 case dwarf::DW_LANG_Fortran08:
156 if (dwarf::DWARF_VERSION >= 5)
157 return 1;
158 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000159 }
160
161 return -1;
162}
163
Manman Ren4dbdc902013-10-31 17:54:35 +0000164/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000165static bool isShareableAcrossCUs(const DINode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000166 // When the MDNode can be part of the type system, the DIE can be shared
167 // across CUs.
168 // Combining type units and cross-CU DIE sharing is lower value (since
169 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
170 // level already) but may be implementable for some value in projects
171 // building multiple independent libraries with LTO and then linking those
172 // together.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000173 return (isa<DIType>(D) ||
174 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000175 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000176}
177
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000178DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000179 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000180 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000181 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000182}
183
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000184void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000185 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000186 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000187 return;
188 }
David Blaikie2ad00162013-11-15 23:09:13 +0000189 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000190}
191
David Blaikie65a74662014-04-25 18:26:14 +0000192void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000193 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000194 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
195 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000196 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000197 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
198 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000199}
200
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000201void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000202 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000203 if (!Form)
204 Form = DIEInteger::BestForm(false, Integer);
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) {
David Blaikie65a74662014-04-25 18:26:14 +0000297 const DIE *DieCU = Die.getUnitOrNull();
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000298 const DIE *EntryCU = Entry.getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000299 if (!DieCU)
300 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000301 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000302 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000303 EntryCU = &getUnitDie();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000304 Die.addValue(DIEValueAllocator, Attribute,
David Blaikie65a74662014-04-25 18:26:14 +0000305 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
306 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
Adrian Prantlab255fc2014-12-05 01:02:46 +0000376bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000377 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000378 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Peter Collingbourne96c9ae62016-05-20 19:35:17 +0000379 Expr.AddMachineRegPiece(*Asm->MF->getSubtarget().getRegisterInfo(), Reg,
380 SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000381 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000382}
383
Adrian Prantlab255fc2014-12-05 01:02:46 +0000384bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000385 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000386 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Peter Collingbourne96c9ae62016-05-20 19:35:17 +0000387 return Expr.AddMachineRegIndirect(*Asm->MF->getSubtarget().getRegisterInfo(),
388 Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000389}
390
Devang Patel0e821f42011-04-12 23:21:44 +0000391/* Byref variables, in Blocks, are declared by the programmer as "SomeType
392 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
393 gives the variable VarName either the struct, or a pointer to the struct, as
394 its type. This is necessary for various behind-the-scenes things the
395 compiler needs to do with by-reference variables in Blocks.
396
397 However, as far as the original *programmer* is concerned, the variable
398 should still have type 'SomeType', as originally declared.
399
400 The function getBlockByrefType dives into the __Block_byref_x_VarName
401 struct to find the original type of the variable, which is then assigned to
402 the variable's Debug Information Entry as its real type. So far, so good.
403 However now the debugger will expect the variable VarName to have the type
404 SomeType. So we need the location attribute for the variable to be an
405 expression that explains to the debugger how to navigate through the
406 pointers and struct to find the actual variable of type SomeType.
407
408 The following function does just that. We start by getting
409 the "normal" location for the variable. This will be the location
410 of either the struct __Block_byref_x_VarName or the pointer to the
411 struct __Block_byref_x_VarName.
412
413 The struct will look something like:
414
415 struct __Block_byref_x_VarName {
416 ... <various fields>
417 struct __Block_byref_x_VarName *forwarding;
418 ... <various other fields>
419 SomeType VarName;
420 ... <maybe more fields>
421 };
422
423 If we are given the struct directly (as our starting point) we
424 need to tell the debugger to:
425
426 1). Add the offset of the forwarding field.
427
428 2). Follow that pointer to get the real __Block_byref_x_VarName
429 struct to use (the real one may have been copied onto the heap).
430
431 3). Add the offset for the field VarName, to find the actual variable.
432
433 If we started with a pointer to the struct, then we need to
434 dereference that pointer first, before the other steps.
435 Translating this into DWARF ops, we will need to append the following
436 to the current location description for the variable:
437
438 DW_OP_deref -- optional, if we start with a pointer
439 DW_OP_plus_uconst <forward_fld_offset>
440 DW_OP_deref
441 DW_OP_plus_uconst <varName_fld_offset>
442
443 That is what this function does. */
444
David Blaikie65a74662014-04-25 18:26:14 +0000445void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000446 dwarf::Attribute Attribute,
447 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000448 const DIType *Ty = DV.getType();
449 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000450 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000451 bool isPointer = false;
452
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000453 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000454
455 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000456 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000457 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000458 isPointer = true;
459 }
460
Devang Patel0e821f42011-04-12 23:21:44 +0000461 // Find the __forwarding field and the variable field in the __Block_byref
462 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000463 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000464 const DIDerivedType *varField = nullptr;
465 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000466
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000467 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000468 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000469 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000470 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000471 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000472 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000473 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000474 }
475
476 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000477 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
478 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000479
480 // Decode the original location, and use that as the start of the byref
481 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000482 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Devang Patel0e821f42011-04-12 23:21:44 +0000483
Adrian Prantlab255fc2014-12-05 01:02:46 +0000484 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000485 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000486 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000487 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000488 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
489
490 if (!validReg)
491 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000492
493 // If we started with a pointer to the __Block_byref... struct, then
494 // the first thing we need to do is dereference the pointer (DW_OP_deref).
495 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000496 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000497
498 // Next add the offset for the '__forwarding' field:
499 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
500 // adding the offset if it's 0.
501 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000502 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
503 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000504 }
505
506 // Now dereference the __forwarding field to get to the real __Block_byref
507 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000508 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000509
510 // Now that we've got the real __Block_byref... struct, add the offset
511 // for the variable's field to get to the location of the actual variable:
512 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
513 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000514 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
515 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000516 }
517
518 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000519 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000520}
521
Manman Renb3388602013-10-05 01:43:03 +0000522/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000523static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000524 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
525 // FIXME: Enums without a fixed underlying type have unknown signedness
526 // here, leading to incorrectly emitted constants.
527 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
528 return false;
529
530 // (Pieces of) aggregate types that get hacked apart by SROA may be
531 // represented by a constant. Encode them as unsigned bytes.
532 return true;
533 }
534
535 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000536 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000537 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000538 // null pointer constant emission.
539 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
540 // here, but accept them for now due to a bug in SROA producing bogus
541 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000542 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000543 T == dwarf::DW_TAG_ptr_to_member_type ||
544 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000545 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000546 return true;
547 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
548 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000549 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000550 DITypeRef Deriv = DTy->getBaseType();
551 assert(Deriv && "Expected valid base type");
552 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000553 }
Manman Renb3388602013-10-05 01:43:03 +0000554
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000555 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000556 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000557 assert((Encoding == dwarf::DW_ATE_unsigned ||
558 Encoding == dwarf::DW_ATE_unsigned_char ||
559 Encoding == dwarf::DW_ATE_signed ||
560 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000561 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
562 Encoding == dwarf::DW_ATE_boolean ||
563 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
564 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000565 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000566 return Encoding == dwarf::DW_ATE_unsigned ||
567 Encoding == dwarf::DW_ATE_unsigned_char ||
568 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
569 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000570}
571
David Blaikie65a74662014-04-25 18:26:14 +0000572void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000573 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000574 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000575 APFloat FPImm = MO.getFPImm()->getValueAPF();
576
577 // Get the raw data form of the floating point.
578 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000579 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000580
581 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000582 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000583 int Incr = (LittleEndian ? 1 : -1);
584 int Start = (LittleEndian ? 0 : NumBytes - 1);
585 int Stop = (LittleEndian ? NumBytes : -1);
586
587 // Output the constant to DWARF one byte at a time.
588 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000589 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000590
David Blaikief2443192013-10-21 17:28:37 +0000591 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000592}
593
David Blaikie65a74662014-04-25 18:26:14 +0000594void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000595 // Pass this down to addConstantValue as an unsigned bag of bits.
596 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000597}
598
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000599void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000600 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000601 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000602}
603
David Blaikiec05c8f42014-05-11 15:47:39 +0000604void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000605 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000606 assert(MO.isImm() && "Invalid machine operand!");
607
David Blaikie60cae1b2014-05-11 16:08:41 +0000608 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000609}
610
David Blaikie60cae1b2014-05-11 16:08:41 +0000611void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000612 // FIXME: This is a bit conservative/simple - it emits negative values always
613 // sign extended to 64 bits rather than minimizing the number of bytes.
614 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000615 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000616}
617
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000618void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000619 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
620}
621
David Blaikie65a74662014-04-25 18:26:14 +0000622void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000623 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000624 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000625 addConstantValue(Die, Unsigned,
626 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000627 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000628 }
629
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000630 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000631
632 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000633 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000634
635 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000636 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000637
638 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000639 for (int i = 0; i < NumBytes; i++) {
640 uint8_t c;
641 if (LittleEndian)
642 c = Ptr64[i / 8] >> (8 * (i & 7));
643 else
644 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000645 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000646 }
Devang Patel0e821f42011-04-12 23:21:44 +0000647
David Blaikief2443192013-10-21 17:28:37 +0000648 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000649}
650
Paul Robinson857b4432015-03-10 22:44:45 +0000651void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000652 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000653 addString(Die,
654 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
655 : dwarf::DW_AT_MIPS_linkage_name,
656 GlobalValue::getRealLinkageName(LinkageName));
657}
658
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000659void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000660 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000661 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000662 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000663 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000664 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000665 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000666 }
Devang Patel0e821f42011-04-12 23:21:44 +0000667}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000668
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000669DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
670 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000671 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000672 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000673 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000674 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000675 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000676 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000677 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000678 if (auto *M = dyn_cast<DIModule>(Context))
679 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000680 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000681}
682
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000683DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000684 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000685 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000686
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000687 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000688 return TyDIE;
689
690 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000691 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000692
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000693 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000694
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000695 if (!Ty->isExternalTypeRef())
696 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000697 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000698}
699
David Blaikied51dea62015-07-01 18:07:16 +0000700DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000701 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000702 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000703
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000704 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000705
David Blaikieee11f222014-04-12 05:35:59 +0000706 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000707 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000708 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000709
Victor Leschuke1156c22016-10-31 19:09:38 +0000710 // DW_TAG_atomic_type is not supported in DWARF < 5
711 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
712 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
713
Manman Renf4c339e2013-10-29 22:49:29 +0000714 // Construct the context before querying for the existence of the DIE in case
715 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000716 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000717 DIE *ContextDIE = getOrCreateContextDIE(Context);
718 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000719
David Blaikie65a74662014-04-25 18:26:14 +0000720 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000721 return TyDIE;
722
Amjad Aboud72da9392016-04-30 01:44:07 +0000723 // Create new type.
724 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000725
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000726 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000727
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000728 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000729 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000730 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000731 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000732 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000733 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
734 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000735 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000736 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000737 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000738 }
David Blaikie65a74662014-04-25 18:26:14 +0000739 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000740 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000741 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000742 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000743
David Blaikie65a74662014-04-25 18:26:14 +0000744 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000745}
746
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000747void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
748 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000749 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000750 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000751 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000752 // A runtime language of 0 actually means C/C++ and that any
753 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000754 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000755 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000756 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000757 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000758
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000759 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
760 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000761 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000762 }
Devang Patel0e821f42011-04-12 23:21:44 +0000763}
764
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000765void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000766 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000767 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000768 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000769}
770
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000771std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000772 if (!Context)
773 return "";
774
775 // FIXME: Decide whether to implement this for non-C++ languages.
776 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
777 return "";
778
Eric Christopher8dba0d52013-10-19 01:04:42 +0000779 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000780 SmallVector<const DIScope *, 1> Parents;
781 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000782 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000783 if (Context->getScope())
784 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000785 else
786 // Structure, etc types will have a NULL context if they're at the top
787 // level.
788 break;
789 }
790
791 // Reverse iterate over our list to go from the outermost construct to the
792 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000793 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000794 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000795 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000796 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000797 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000798 CS += Name;
799 CS += "::";
800 }
801 }
802 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000803}
804
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000805void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000806 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000807 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000808 // Add name if not anonymous or intermediate type.
809 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000810 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000811
David Blaikiefac56122013-10-04 23:21:16 +0000812 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000813 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000814 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000815
David Blaikie65a74662014-04-25 18:26:14 +0000816 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000817 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000818
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000819 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000820 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000821}
822
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000823void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000824 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000825 StringRef Name = DTy->getName();
826 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000827 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000828
829 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000830 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000831 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000832 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000833
834 // Add name if not anonymous or intermediate type.
835 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000836 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000837
838 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000839 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000840 && Tag != dwarf::DW_TAG_ptr_to_member_type
841 && Tag != dwarf::DW_TAG_reference_type
842 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000843 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000844
David Blaikie5d3249b2013-01-07 05:51:15 +0000845 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000846 addDIEEntry(
847 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000848 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000849 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000850 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000851 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000852}
853
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000854void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000855 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000856 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000857 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000858 assert(i == N-1 && "Unspecified parameter must be the last argument");
859 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
860 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000861 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000862 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000863 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000864 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000865 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000866 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000867}
868
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000869void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000870 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000871 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000872 if (Elements.size())
873 if (auto RTy = resolve(Elements[0]))
874 addType(Buffer, RTy);
875
876 bool isPrototyped = true;
877 if (Elements.size() == 2 && !Elements[1])
878 isPrototyped = false;
879
880 constructSubprogramArguments(Buffer, Elements);
881
882 // Add prototype flag if we're dealing with a C language and the function has
883 // been prototyped.
884 uint16_t Language = getLanguage();
885 if (isPrototyped &&
886 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
887 Language == dwarf::DW_LANG_ObjC))
888 addFlag(Buffer, dwarf::DW_AT_prototyped);
889
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000890 // Add a DW_AT_calling_convention if this has an explicit convention.
891 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
892 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
893 CTy->getCC());
894
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000895 if (CTy->isLValueReference())
896 addFlag(Buffer, dwarf::DW_AT_reference);
897
898 if (CTy->isRValueReference())
899 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
900}
901
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000902void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000903 if (CTy->isExternalTypeRef()) {
904 StringRef Identifier = CTy->getIdentifier();
905 assert(!Identifier.empty() && "external type ref without identifier");
906 addFlag(Buffer, dwarf::DW_AT_declaration);
907 return addDIETypeSignature(Buffer, dwarf::DW_AT_signature, Identifier);
908 }
909
David Blaikie409dd9c2013-11-19 23:08:21 +0000910 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000911 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000912
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000913 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000914 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000915
916 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000917 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000918 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000919 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000920 case dwarf::DW_TAG_enumeration_type:
921 constructEnumTypeDIE(Buffer, CTy);
922 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000923 case dwarf::DW_TAG_structure_type:
924 case dwarf::DW_TAG_union_type:
925 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000926 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000927 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000928 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000929 if (!Element)
930 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000931 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000932 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000933 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000934 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000935 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000936 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
937 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000938 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000939 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000940 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000941 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000942 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000943 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
944 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000945 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000946 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000947 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000948 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000949 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000950 if (!GetterName.empty())
951 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000952 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000953 if (!SetterName.empty())
954 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000955 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000956 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000957 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000958 }
Devang Patel0e821f42011-04-12 23:21:44 +0000959 }
960
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000961 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000962 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000963
Adrian Prantlcf44e782014-12-19 00:01:20 +0000964 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
965 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000966 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000967 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000968 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000969 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000970
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000971 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000972 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000973
Eric Christopherda011dd2011-12-16 23:42:42 +0000974 // Add template parameters to a class, structure or union types.
975 // FIXME: The support isn't in the metadata for this yet.
976 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000977 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000978 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000979
980 break;
981 }
982 default:
983 break;
984 }
985
986 // Add name if not anonymous or intermediate type.
987 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000988 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000989
Eric Christopher775cbd22012-05-22 18:45:18 +0000990 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000991 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000992 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000993 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000994 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000995 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000996 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000997 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000998 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000999 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001000
1001 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001002 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001003 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001004
1005 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001006 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001007 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001008
1009 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001010 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001011 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001012 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001013 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001014
1015 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001016 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001017 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1018 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001019 }
1020}
1021
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001022void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001023 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001024 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001025 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001026 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001027 if (TP->getType())
1028 addType(ParamDIE, resolve(TP->getType()));
1029 if (!TP->getName().empty())
1030 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001031}
1032
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001033void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001034 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001035 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001036
1037 // Add the type if there is one, template template and template parameter
1038 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001039 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1040 addType(ParamDIE, resolve(VP->getType()));
1041 if (!VP->getName().empty())
1042 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1043 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001044 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001045 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001046 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001047 // We cannot describe the location of dllimport'd entities: the
1048 // computation of their address requires loads from the IAT.
1049 if (!GV->hasDLLImportStorageClass()) {
1050 // For declaration non-type template parameters (such as global values
1051 // and functions)
1052 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1053 addOpAddress(*Loc, Asm->getSymbol(GV));
1054 // Emit DW_OP_stack_value to use the address as the immediate value of
1055 // the parameter, rather than a pointer to it.
1056 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1057 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1058 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001059 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001060 assert(isa<MDString>(Val));
1061 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1062 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001063 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001064 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001065 }
1066 }
Devang Patel0e821f42011-04-12 23:21:44 +00001067}
1068
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001069DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001070 // Construct the context before querying for the existence of the DIE in case
1071 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001072 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001073
David Blaikie65a74662014-04-25 18:26:14 +00001074 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001075 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001076 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001077
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001078 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001079 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001080 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001081 else
1082 Name = "(anonymous namespace)";
1083 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001084 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001085 addSourceLine(NDie, NS);
Adrian Prantldbfda632016-11-03 19:42:02 +00001086 if (NS->getExportSymbols())
1087 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001088 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001089}
1090
Adrian Prantl08a388b2015-06-30 02:13:04 +00001091DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1092 // Construct the context before querying for the existence of the DIE in case
1093 // such construction creates the DIE.
1094 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1095
1096 if (DIE *MDie = getDIE(M))
1097 return MDie;
1098 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1099
1100 if (!M->getName().empty()) {
1101 addString(MDie, dwarf::DW_AT_name, M->getName());
1102 addGlobalName(M->getName(), MDie, M->getScope());
1103 }
1104 if (!M->getConfigurationMacros().empty())
1105 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1106 M->getConfigurationMacros());
1107 if (!M->getIncludePath().empty())
1108 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1109 if (!M->getISysRoot().empty())
1110 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1111
1112 return &MDie;
1113}
1114
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001115DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001116 // Construct the context before querying for the existence of the DIE in case
1117 // such construction creates the DIE (as is the case for member function
1118 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001119 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001120 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001121
David Blaikie65a74662014-04-25 18:26:14 +00001122 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001123 return SPDie;
1124
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001125 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001126 if (!Minimal) {
1127 // Add subprogram definitions to the CU die directly.
1128 ContextDIE = &getUnitDie();
1129 // Build the decl now to ensure it precedes the definition.
1130 getOrCreateSubprogramDIE(SPDecl);
1131 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001132 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001133
1134 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001135 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001136
David Blaikie6cfa9e12014-06-05 00:25:26 +00001137 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001138 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001139 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001140 return &SPDie;
1141
David Blaikie7f916862014-05-27 18:37:38 +00001142 applySubprogramAttributes(SP, SPDie);
1143 return &SPDie;
1144}
1145
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001146bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001147 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001148 DIE *DeclDie = nullptr;
1149 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001150 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001151 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001152 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001153 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001154 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001155 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001156 unsigned DeclID =
1157 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1158 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1159 if (DeclID != DefID)
1160 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1161
1162 if (SP->getLine() != SPDecl->getLine())
1163 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001164 }
Rafael Espindola79278362011-11-10 22:34:29 +00001165
Devang Patel89543712011-08-15 17:24:54 +00001166 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001167 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001168
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001169 // 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 +00001170 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001171 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1172 LinkageName == DeclLinkageName) &&
1173 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001174 if (DeclLinkageName.empty() &&
1175 // Always emit it for abstract subprograms.
1176 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001177 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001178
David Blaikie3a443c22014-11-04 22:12:25 +00001179 if (!DeclDie)
1180 return false;
1181
1182 // Refer to the function declaration where all the other attributes will be
1183 // found.
1184 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1185 return true;
1186}
1187
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001188void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001189 bool Minimal) {
1190 if (!Minimal)
1191 if (applySubprogramDefinitionAttributes(SP, SPDie))
1192 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001193
Devang Patel89543712011-08-15 17:24:54 +00001194 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001195 if (!SP->getName().empty())
1196 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001197
David Blaikie0b9438b2014-09-19 04:47:46 +00001198 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001199 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001200 return;
1201
Devang Patel89543712011-08-15 17:24:54 +00001202 addSourceLine(SPDie, SP);
1203
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001204 // Add the prototype if we have a prototype and we have a C like
1205 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001206 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001207 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001208 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001209 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001210 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001211
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001212 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001213 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001214 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001215 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001216 CC = SPTy->getCC();
1217 }
1218
1219 // Add a DW_AT_calling_convention if this has an explicit convention.
1220 if (CC && CC != dwarf::DW_CC_normal)
1221 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001222
Eric Christopher691281b2013-10-21 17:48:51 +00001223 // Add a return type. If this is a type like a C/C++ void type we don't add a
1224 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001225 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001226 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001227 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001228
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001229 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001230 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001231 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001232 if (SP->getVirtualIndex() != -1u) {
1233 DIELoc *Block = getDIELoc();
1234 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1235 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1236 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1237 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001238 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001239 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001240 }
1241
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001242 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001243 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001244
Devang Patel89543712011-08-15 17:24:54 +00001245 // Add arguments. Do not add arguments for subprogram definition. They will
1246 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001247 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001248 }
1249
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001250 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001251 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001252
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001253 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001254 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001255
David Blaikiec53e18d2016-05-24 21:19:28 +00001256 if (DD->useAppleExtensionAttributes()) {
1257 if (SP->isOptimized())
1258 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001259
David Blaikiec53e18d2016-05-24 21:19:28 +00001260 if (unsigned isa = Asm->getISAEncoding())
1261 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1262 }
Devang Patel89543712011-08-15 17:24:54 +00001263
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001264 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001265 addFlag(SPDie, dwarf::DW_AT_reference);
1266
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001267 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001268 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1269
Adrian Prantlc19dee72016-08-17 16:02:43 +00001270 if (SP->isNoReturn())
1271 addFlag(SPDie, dwarf::DW_AT_noreturn);
1272
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001273 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001274 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1275 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001276 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001277 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1278 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001279 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001280 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1281 dwarf::DW_ACCESS_public);
1282
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001283 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001284 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001285}
1286
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001287void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001288 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001289 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001290 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001291
Bill Wendling28fe9e72012-12-06 07:38:10 +00001292 // The LowerBound value defines the lower bounds which is typically zero for
1293 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1294 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001295 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001296 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001297 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001298 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001299
Bill Wendling3495f9b2012-12-06 07:55:19 +00001300 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001301 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001302
David Blaikie32b0f362014-10-01 00:56:55 +00001303 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001304 // FIXME: An unbounded array should reference the expression that defines
1305 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001306 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001307}
1308
David Blaikie871c2d92014-11-02 03:09:13 +00001309DIE *DwarfUnit::getIndexTyDie() {
1310 if (IndexTyDie)
1311 return IndexTyDie;
1312 // Construct an integer type to use for indexes.
1313 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1314 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1315 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1316 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1317 dwarf::DW_ATE_unsigned);
1318 return IndexTyDie;
1319}
1320
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001321void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001322 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001323 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001324
Eric Christopher0df08e22013-08-08 07:40:37 +00001325 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001326 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001327
1328 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001329 // FIXME: This type should be passed down from the front end
1330 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001331 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001332
1333 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001334 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001335 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001336 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001337 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001338 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001339 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001340 }
1341}
1342
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001343void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1344 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001345
1346 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001347 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001348 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001349 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001350 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001351 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001352 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001353 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001354 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1355 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001356 }
1357 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001358 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001359 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001360 addType(Buffer, DTy);
1361 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001362 }
Devang Patel0e821f42011-04-12 23:21:44 +00001363}
1364
Eric Christophera5a79422013-12-09 23:32:48 +00001365void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001366 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001367 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001368 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001369 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001370 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001371 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001372 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001373 if (!NDie)
1374 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001375 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001376 }
1377}
1378
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001379void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001380 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1381 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001382 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001383 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001384
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001385 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001386
1387 addSourceLine(MemberDie, DT);
1388
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001389 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001390
1391 // For C++, virtual base classes are not at fixed offset. Use following
1392 // expression to extract appropriate offset from vtable.
1393 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1394
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001395 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001396 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1397 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1398 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001399 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001400 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1401 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1402 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001403
David Blaikief2443192013-10-21 17:28:37 +00001404 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001405 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001406 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001407 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001408 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001409 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001410
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001411 bool IsBitfield = FieldSize && Size != FieldSize;
1412 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001413 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001414 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001415 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001416 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001417
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001418 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001419 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1420 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1421 // which can't be done with bitfields. Thus we use FieldSize here.
1422 uint32_t AlignInBits = FieldSize;
1423 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001424 // The bits from the start of the storage unit to the start of the field.
1425 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001426 // The byte offset of the field's aligned storage unit inside the struct.
1427 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001428
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001429 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001430 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1431 uint64_t FieldOffset = (HiMark - FieldSize);
1432 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001433
Adrian Prantle5447572016-04-28 15:37:52 +00001434 // Maybe we need to work from the other end.
1435 if (Asm->getDataLayout().isLittleEndian())
1436 Offset = FieldSize - (Offset + Size);
1437
1438 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1439 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001440 } else {
1441 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001442 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001443 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001444 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001445 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001446 if (AlignInBytes)
1447 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1448 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001449 }
David Blaikie2ada1162014-01-03 00:48:38 +00001450
David Blaikie22b29a52014-01-03 01:30:05 +00001451 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001452 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001453 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1454 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001455 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001456 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001457 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1458 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001459 }
Devang Patel0e821f42011-04-12 23:21:44 +00001460
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001461 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001462 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001463 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001464 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001465 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001466 dwarf::DW_ACCESS_private);
1467 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001468 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001469 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001470 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001471 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001472 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001473 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001474
1475 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001476 if (DINode *PNode = DT->getObjCProperty())
1477 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001478 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1479 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001480
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001481 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001482 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001483}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001484
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001485DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001486 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001487 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001488
Manman Renc6b63922013-10-14 20:33:57 +00001489 // Construct the context before querying for the existence of the DIE in case
1490 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001491 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001492 assert(dwarf::isType(ContextDIE->getTag()) &&
1493 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001494
David Blaikie65a74662014-04-25 18:26:14 +00001495 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001496 return StaticMemberDIE;
1497
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001498 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001499
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001500 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001501
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001502 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001503 addType(StaticMemberDIE, Ty);
1504 addSourceLine(StaticMemberDIE, DT);
1505 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1506 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1507
1508 // FIXME: We could omit private if the parent is a class_type, and
1509 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001510 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001511 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1512 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001513 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001514 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1515 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001516 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001517 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1518 dwarf::DW_ACCESS_public);
1519
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001520 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001521 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001522 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001523 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001524
Victor Leschuka37660c2016-10-26 21:32:29 +00001525 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001526 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1527 AlignInBytes);
1528
David Blaikie65a74662014-04-25 18:26:14 +00001529 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001530}
David Blaikie6b288cf2013-10-30 20:42:41 +00001531
Rafael Espindola063d7252015-03-10 16:58:10 +00001532void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001533 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001534 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikieae57e662014-11-01 23:59:23 +00001535 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1536
Lang Hames9ff69c82015-04-24 19:11:51 +00001537 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001538 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001539 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001540
David Blaikie6896e192013-12-04 23:39:02 +00001541 // We share one abbreviations table across all units so it's always at the
1542 // start of the section. Use a relocatable offset where needed to ensure
1543 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001544 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001545 if (UseOffsets)
1546 Asm->EmitInt32(0);
1547 else
1548 Asm->emitDwarfSymbolReference(
1549 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001550
Lang Hames9ff69c82015-04-24 19:11:51 +00001551 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001552 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1553}
David Blaikiebc563272013-12-13 21:33:40 +00001554
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001555void DwarfUnit::initSection(MCSection *Section) {
David Blaikiea34568b2014-11-01 20:06:28 +00001556 assert(!this->Section);
1557 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001558}
1559
Rafael Espindola063d7252015-03-10 16:58:10 +00001560void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1561 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001562 Asm->OutStreamer->AddComment("Type Signature");
1563 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1564 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001565 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001566 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1567 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001568}
1569
David Blaikiecafd9622014-11-02 08:51:37 +00001570bool DwarfTypeUnit::isDwoUnit() const {
1571 // Since there are no skeleton type units, all type units are dwo type units
1572 // when split DWARF is being used.
1573 return DD->useSplitDwarf();
1574}