blob: fa74c9043a9fc346922190a4223789bf0a65b6c4 [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.cpp - Dwarf Type and Compile Units ---------===//
Devang Patel0e821f42011-04-12 23:21:44 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher160522c2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
David Blaikie2c86a722013-12-02 19:33:15 +000014#include "DwarfUnit.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000015#include "AddressPool.h"
David Blaikie37c52312014-10-04 15:49:50 +000016#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000017#include "DwarfDebug.h"
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000018#include "DwarfExpression.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000020#include "llvm/ADT/APInt.h"
21#include "llvm/ADT/iterator_range.h"
22#include "llvm/ADT/None.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000023#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000024#include "llvm/CodeGen/MachineOperand.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000025#include "llvm/IR/Constants.h"
26#include "llvm/IR/DataLayout.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000027#include "llvm/IR/GlobalValue.h"
28#include "llvm/IR/Metadata.h"
29#include "llvm/MC/MachineLocation.h"
30#include "llvm/MC/MCDwarf.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000031#include "llvm/MC/MCSection.h"
32#include "llvm/MC/MCStreamer.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000033#include "llvm/Support/Casting.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000034#include "llvm/Support/CommandLine.h"
David Blaikief2694972013-06-28 20:05:11 +000035#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel0e821f42011-04-12 23:21:44 +000036#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000037#include "llvm/Target/TargetSubtargetInfo.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000038#include <cassert>
39#include <cstdint>
40#include <string>
41#include <utility>
Devang Patel0e821f42011-04-12 23:21:44 +000042
43using namespace llvm;
44
Chandler Carruth1b9dde02014-04-22 02:02:50 +000045#define DEBUG_TYPE "dwarfdebug"
46
Eric Christopher4287a492013-12-09 23:57:44 +000047static cl::opt<bool>
48GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
49 cl::desc("Generate DWARF4 type units."),
50 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000051
Adrian Prantlb846acc2015-03-02 22:02:36 +000052DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
53 DIELoc &DIE)
Greg Claytone6543972016-11-23 23:30:37 +000054 : DwarfExpression(AP.getDwarfVersion()), AP(AP), DU(DU),
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000055 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000056
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000057void DIEDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
58 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
59}
Eugene Zelenko1804a772016-08-25 00:45:04 +000060
Adrian Prantl51233682015-03-10 19:23:37 +000061void DIEDwarfExpression::EmitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000062 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
63}
Eugene Zelenko1804a772016-08-25 00:45:04 +000064
Adrian Prantl51233682015-03-10 19:23:37 +000065void DIEDwarfExpression::EmitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000066 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
67}
Eugene Zelenko1804a772016-08-25 00:45:04 +000068
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000069bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
70 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000071 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000072}
73
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000074DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
75 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Greg Clayton35630c32016-12-01 18:56:29 +000076 : DIEUnit(A->getDwarfVersion(), A->getPointerSize(), UnitTag), CUNode(Node),
77 Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000078}
79
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000080DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000081 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000082 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000083 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
84 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000085 if (SplitLineTable)
Greg Clayton35630c32016-12-01 18:56:29 +000086 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000087}
David Blaikie409dd9c2013-11-19 23:08:21 +000088
Eric Christophera5a79422013-12-09 23:32:48 +000089DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000090 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
91 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000092 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
93 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000094}
95
Eric Christophera5a79422013-12-09 23:32:48 +000096int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000097 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000098 default:
99 break;
100
Paul Robinson91d74812017-03-01 18:32:37 +0000101 // The languages below have valid values in all DWARF versions.
Bill Wendling28fe9e72012-12-06 07:38:10 +0000102 case dwarf::DW_LANG_C:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000103 case dwarf::DW_LANG_C89:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000104 case dwarf::DW_LANG_C_plus_plus:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 return 0;
106
107 case dwarf::DW_LANG_Fortran77:
108 case dwarf::DW_LANG_Fortran90:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000109 return 1;
110
Paul Robinson91d74812017-03-01 18:32:37 +0000111 // The languages below have valid values only if the DWARF version >= 3.
112 case dwarf::DW_LANG_C99:
113 case dwarf::DW_LANG_ObjC:
114 case dwarf::DW_LANG_ObjC_plus_plus:
115 if (DD->getDwarfVersion() >= 3)
116 return 0;
117 break;
118
119 case dwarf::DW_LANG_Fortran95:
120 if (DD->getDwarfVersion() >= 3)
121 return 1;
122 break;
123
124 // Starting with DWARF v4, all defined languages have valid values.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000125 case dwarf::DW_LANG_D:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000126 case dwarf::DW_LANG_Java:
127 case dwarf::DW_LANG_Python:
128 case dwarf::DW_LANG_UPC:
Paul Robinson91d74812017-03-01 18:32:37 +0000129 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000130 return 0;
131 break;
132
133 case dwarf::DW_LANG_Ada83:
134 case dwarf::DW_LANG_Ada95:
135 case dwarf::DW_LANG_Cobol74:
136 case dwarf::DW_LANG_Cobol85:
137 case dwarf::DW_LANG_Modula2:
138 case dwarf::DW_LANG_Pascal83:
139 case dwarf::DW_LANG_PLI:
Paul Robinson91d74812017-03-01 18:32:37 +0000140 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000141 return 1;
142 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000143
Paul Robinson91d74812017-03-01 18:32:37 +0000144 // The languages below are new in DWARF v5.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000145 case dwarf::DW_LANG_BLISS:
146 case dwarf::DW_LANG_C11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000147 case dwarf::DW_LANG_C_plus_plus_03:
148 case dwarf::DW_LANG_C_plus_plus_11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000149 case dwarf::DW_LANG_C_plus_plus_14:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000150 case dwarf::DW_LANG_Dylan:
151 case dwarf::DW_LANG_Go:
152 case dwarf::DW_LANG_Haskell:
153 case dwarf::DW_LANG_OCaml:
154 case dwarf::DW_LANG_OpenCL:
Paul Robinson91d74812017-03-01 18:32:37 +0000155 case dwarf::DW_LANG_RenderScript:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000156 case dwarf::DW_LANG_Rust:
157 case dwarf::DW_LANG_Swift:
Paul Robinson91d74812017-03-01 18:32:37 +0000158 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000159 return 0;
160 break;
161
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000162 case dwarf::DW_LANG_Fortran03:
163 case dwarf::DW_LANG_Fortran08:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000164 case dwarf::DW_LANG_Julia:
165 case dwarf::DW_LANG_Modula3:
Paul Robinson91d74812017-03-01 18:32:37 +0000166 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000167 return 1;
168 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000169 }
170
171 return -1;
172}
173
Manman Ren4dbdc902013-10-31 17:54:35 +0000174/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000175static bool isShareableAcrossCUs(const DINode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000176 // When the MDNode can be part of the type system, the DIE can be shared
177 // across CUs.
178 // Combining type units and cross-CU DIE sharing is lower value (since
179 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
180 // level already) but may be implementable for some value in projects
181 // building multiple independent libraries with LTO and then linking those
182 // together.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000183 return (isa<DIType>(D) ||
184 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000185 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000186}
187
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000188DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000189 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000190 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000191 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000192}
193
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000194void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000195 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000196 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000197 return;
198 }
David Blaikie2ad00162013-11-15 23:09:13 +0000199 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000200}
201
David Blaikie65a74662014-04-25 18:26:14 +0000202void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000203 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000204 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
205 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000206 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000207 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
208 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000209}
210
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000211void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000212 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000213 if (!Form)
214 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000215 assert(Form != dwarf::DW_FORM_implicit_const &&
216 "DW_FORM_implicit_const is used only for signed integers");
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
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000220void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
221 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000222 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000223}
224
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000225void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000226 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000227 if (!Form)
228 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000229 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000230}
231
David Blaikie65a74662014-04-25 18:26:14 +0000232void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000233 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000234 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000235}
236
David Blaikie65a74662014-04-25 18:26:14 +0000237void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000238 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000239 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000240 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000241 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000242}
243
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000244DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
245 dwarf::Attribute Attribute,
246 dwarf::Form Form,
247 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000248 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000249}
250
David Blaikie65a74662014-04-25 18:26:14 +0000251void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000252 addLabel(Die, (dwarf::Attribute)0, Form, Label);
253}
254
David Blaikie65a74662014-04-25 18:26:14 +0000255void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000256 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000257 if (DD->getDwarfVersion() >= 4)
258 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
259 else
260 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
261}
262
David Blaikie4a2f95f2014-03-18 01:17:26 +0000263unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
264 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
265 : getCU().getOrCreateSourceID(FileName, DirName);
266}
267
David Blaikie65a74662014-04-25 18:26:14 +0000268void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000269 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000270 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
271 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000272 } else {
David Blaikief2443192013-10-21 17:28:37 +0000273 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000274 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000275 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000276 }
277}
278
David Blaikie65a74662014-04-25 18:26:14 +0000279void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000280 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000281 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000282 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000283}
284
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000285void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000286 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000287}
288
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000289void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000290 // Flag the type unit reference as a declaration so that if it contains
291 // members (implicit special members, static data member definitions, member
292 // declarations for definitions in this CU, etc) consumers don't get confused
293 // and think this is a full definition.
294 addFlag(Die, dwarf::DW_AT_declaration);
295
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000296 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000297 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000298}
299
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000300void DwarfUnit::addDIETypeSignature(DIE &Die, dwarf::Attribute Attribute,
301 StringRef Identifier) {
302 uint64_t Signature = DD->makeTypeSignature(Identifier);
303 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_ref_sig8,
304 DIEInteger(Signature));
305}
306
David Blaikie65a74662014-04-25 18:26:14 +0000307void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000308 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000309 const DIEUnit *CU = Die.getUnit();
310 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
311 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000312 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000313 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000314 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000315 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000316 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000317 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000318 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000319}
320
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000321DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000322 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
323 if (N)
324 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000325 return Die;
326}
327
David Blaikie65a74662014-04-25 18:26:14 +0000328void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000329 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000330 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000331 Die.addValue(DIEValueAllocator, Attribute,
332 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000333}
334
David Blaikie65a74662014-04-25 18:26:14 +0000335void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000336 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000337 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000338 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000339 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000340}
341
David Blaikie65a74662014-04-25 18:26:14 +0000342void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000343 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000344 if (Line == 0)
345 return;
David Blaikie101613e2014-02-12 00:11:25 +0000346
David Blaikie4a2f95f2014-03-18 01:17:26 +0000347 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000348 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000349 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
350 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000351}
352
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000353void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000354 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000355
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000356 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
357 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000358}
359
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000360void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000361 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000362
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000363 addSourceLine(Die, G->getLine(), G->getFilename(), G->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 DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000367 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000368
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000369 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000370}
371
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000372void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000373 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000374
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000375 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000376}
377
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000378void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000379 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000380
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000381 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000382}
383
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000384void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000385 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000386}
387
Devang Patel0e821f42011-04-12 23:21:44 +0000388/* Byref variables, in Blocks, are declared by the programmer as "SomeType
389 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
390 gives the variable VarName either the struct, or a pointer to the struct, as
391 its type. This is necessary for various behind-the-scenes things the
392 compiler needs to do with by-reference variables in Blocks.
393
394 However, as far as the original *programmer* is concerned, the variable
395 should still have type 'SomeType', as originally declared.
396
397 The function getBlockByrefType dives into the __Block_byref_x_VarName
398 struct to find the original type of the variable, which is then assigned to
399 the variable's Debug Information Entry as its real type. So far, so good.
400 However now the debugger will expect the variable VarName to have the type
401 SomeType. So we need the location attribute for the variable to be an
402 expression that explains to the debugger how to navigate through the
403 pointers and struct to find the actual variable of type SomeType.
404
405 The following function does just that. We start by getting
406 the "normal" location for the variable. This will be the location
407 of either the struct __Block_byref_x_VarName or the pointer to the
408 struct __Block_byref_x_VarName.
409
410 The struct will look something like:
411
412 struct __Block_byref_x_VarName {
413 ... <various fields>
414 struct __Block_byref_x_VarName *forwarding;
415 ... <various other fields>
416 SomeType VarName;
417 ... <maybe more fields>
418 };
419
420 If we are given the struct directly (as our starting point) we
421 need to tell the debugger to:
422
423 1). Add the offset of the forwarding field.
424
425 2). Follow that pointer to get the real __Block_byref_x_VarName
426 struct to use (the real one may have been copied onto the heap).
427
428 3). Add the offset for the field VarName, to find the actual variable.
429
430 If we started with a pointer to the struct, then we need to
431 dereference that pointer first, before the other steps.
432 Translating this into DWARF ops, we will need to append the following
433 to the current location description for the variable:
434
435 DW_OP_deref -- optional, if we start with a pointer
436 DW_OP_plus_uconst <forward_fld_offset>
437 DW_OP_deref
438 DW_OP_plus_uconst <varName_fld_offset>
439
440 That is what this function does. */
441
David Blaikie65a74662014-04-25 18:26:14 +0000442void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000443 dwarf::Attribute Attribute,
444 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000445 const DIType *Ty = DV.getType();
446 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000447 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000448 bool isPointer = false;
449
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000450 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000451
452 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000453 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000454 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000455 isPointer = true;
456 }
457
Devang Patel0e821f42011-04-12 23:21:44 +0000458 // Find the __forwarding field and the variable field in the __Block_byref
459 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000460 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000461 const DIDerivedType *varField = nullptr;
462 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000463
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000464 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000465 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000466 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000467 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000468 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000469 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000470 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000471 }
472
473 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000474 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
475 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000476
477 // Decode the original location, and use that as the start of the byref
478 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000479 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000480 SmallVector<uint64_t, 6> DIExpr;
481 DIEDwarfExpression Expr(*Asm, *this, *Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000482
Adrian Prantlab255fc2014-12-05 01:02:46 +0000483 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000484 if (Location.isReg())
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000485 validReg = Expr.AddMachineReg(*Asm->MF->getSubtarget().getRegisterInfo(),
486 Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000487 else
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000488 validReg =
489 Expr.AddMachineRegIndirect(*Asm->MF->getSubtarget().getRegisterInfo(),
490 Location.getReg(), Location.getOffset());
Adrian Prantlab255fc2014-12-05 01:02:46 +0000491
492 if (!validReg)
493 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000494
495 // If we started with a pointer to the __Block_byref... struct, then
496 // the first thing we need to do is dereference the pointer (DW_OP_deref).
497 if (isPointer)
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000498 DIExpr.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000499
500 // Next add the offset for the '__forwarding' field:
501 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
502 // adding the offset if it's 0.
503 if (forwardingFieldOffset > 0) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000504 DIExpr.push_back(dwarf::DW_OP_plus);
505 DIExpr.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000506 }
507
508 // Now dereference the __forwarding field to get to the real __Block_byref
509 // struct: DW_OP_deref.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000510 DIExpr.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000511
512 // Now that we've got the real __Block_byref... struct, add the offset
513 // for the variable's field to get to the location of the actual variable:
514 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
515 if (varFieldOffset > 0) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000516 DIExpr.push_back(dwarf::DW_OP_plus);
517 DIExpr.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000518 }
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000519 Expr.AddExpression(makeArrayRef(DIExpr));
520 Expr.finalize();
Devang Patel0e821f42011-04-12 23:21:44 +0000521
522 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000523 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000524}
525
Manman Renb3388602013-10-05 01:43:03 +0000526/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000527static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000528 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
529 // FIXME: Enums without a fixed underlying type have unknown signedness
530 // here, leading to incorrectly emitted constants.
531 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
532 return false;
533
534 // (Pieces of) aggregate types that get hacked apart by SROA may be
535 // represented by a constant. Encode them as unsigned bytes.
536 return true;
537 }
538
539 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000540 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000541 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000542 // null pointer constant emission.
543 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
544 // here, but accept them for now due to a bug in SROA producing bogus
545 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000546 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000547 T == dwarf::DW_TAG_ptr_to_member_type ||
548 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000549 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000550 return true;
551 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
552 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000553 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000554 DITypeRef Deriv = DTy->getBaseType();
555 assert(Deriv && "Expected valid base type");
556 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000557 }
Manman Renb3388602013-10-05 01:43:03 +0000558
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000559 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000560 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000561 assert((Encoding == dwarf::DW_ATE_unsigned ||
562 Encoding == dwarf::DW_ATE_unsigned_char ||
563 Encoding == dwarf::DW_ATE_signed ||
564 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000565 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
566 Encoding == dwarf::DW_ATE_boolean ||
567 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
568 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000569 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000570 return Encoding == dwarf::DW_ATE_unsigned ||
571 Encoding == dwarf::DW_ATE_unsigned_char ||
572 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
573 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000574}
575
David Blaikie65a74662014-04-25 18:26:14 +0000576void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000577 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000578 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000579 APFloat FPImm = MO.getFPImm()->getValueAPF();
580
581 // Get the raw data form of the floating point.
582 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000583 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000584
585 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000586 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000587 int Incr = (LittleEndian ? 1 : -1);
588 int Start = (LittleEndian ? 0 : NumBytes - 1);
589 int Stop = (LittleEndian ? NumBytes : -1);
590
591 // Output the constant to DWARF one byte at a time.
592 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000593 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000594
David Blaikief2443192013-10-21 17:28:37 +0000595 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000596}
597
David Blaikie65a74662014-04-25 18:26:14 +0000598void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000599 // Pass this down to addConstantValue as an unsigned bag of bits.
600 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000601}
602
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000603void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000604 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000605 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000606}
607
David Blaikiec05c8f42014-05-11 15:47:39 +0000608void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000609 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000610 assert(MO.isImm() && "Invalid machine operand!");
611
David Blaikie60cae1b2014-05-11 16:08:41 +0000612 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000613}
614
David Blaikie60cae1b2014-05-11 16:08:41 +0000615void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000616 // FIXME: This is a bit conservative/simple - it emits negative values always
617 // sign extended to 64 bits rather than minimizing the number of bytes.
618 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000619 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000620}
621
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000622void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000623 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
624}
625
David Blaikie65a74662014-04-25 18:26:14 +0000626void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000627 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000628 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000629 addConstantValue(Die, Unsigned,
630 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000631 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000632 }
633
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000634 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000635
636 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000637 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000638
639 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000640 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000641
642 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000643 for (int i = 0; i < NumBytes; i++) {
644 uint8_t c;
645 if (LittleEndian)
646 c = Ptr64[i / 8] >> (8 * (i & 7));
647 else
648 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000649 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000650 }
Devang Patel0e821f42011-04-12 23:21:44 +0000651
David Blaikief2443192013-10-21 17:28:37 +0000652 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000653}
654
Paul Robinson857b4432015-03-10 22:44:45 +0000655void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000656 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000657 addString(Die,
658 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
659 : dwarf::DW_AT_MIPS_linkage_name,
660 GlobalValue::getRealLinkageName(LinkageName));
661}
662
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000663void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000664 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000665 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000666 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000667 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000668 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000669 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000670 }
Devang Patel0e821f42011-04-12 23:21:44 +0000671}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000672
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000673DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
674 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000675 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000676 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000677 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000678 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000679 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000680 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000681 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000682 if (auto *M = dyn_cast<DIModule>(Context))
683 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000684 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000685}
686
David Blaikiea0e3c752017-02-03 00:44:18 +0000687DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000688 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000689 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000690
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000691 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000692 return TyDIE;
693
694 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000695 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000696
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000697 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000698
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000699 if (!Ty->isExternalTypeRef())
700 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000701 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000702}
703
David Blaikied51dea62015-07-01 18:07:16 +0000704DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000705 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000706 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000707
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000708 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000709
David Blaikieee11f222014-04-12 05:35:59 +0000710 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000711 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000712 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000713
Victor Leschuke1156c22016-10-31 19:09:38 +0000714 // DW_TAG_atomic_type is not supported in DWARF < 5
715 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
716 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
717
Manman Renf4c339e2013-10-29 22:49:29 +0000718 // Construct the context before querying for the existence of the DIE in case
719 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000720 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000721 DIE *ContextDIE = getOrCreateContextDIE(Context);
722 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000723
David Blaikie65a74662014-04-25 18:26:14 +0000724 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000725 return TyDIE;
726
Amjad Aboud72da9392016-04-30 01:44:07 +0000727 // Create new type.
728 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000729
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000730 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000731
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000732 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000733 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000734 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000735 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000736 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000737 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
738 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000739 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000740 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000741 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000742 }
David Blaikie65a74662014-04-25 18:26:14 +0000743 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000744 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000745 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000746 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000747
David Blaikie65a74662014-04-25 18:26:14 +0000748 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000749}
750
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000751void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
752 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000753 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000754 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000755 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000756 // A runtime language of 0 actually means C/C++ and that any
757 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000758 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000759 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000760 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000761 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000762
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000763 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
764 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000765 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000766 }
Devang Patel0e821f42011-04-12 23:21:44 +0000767}
768
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000769void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000770 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000771 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000772 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000773}
774
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000775std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000776 if (!Context)
777 return "";
778
779 // FIXME: Decide whether to implement this for non-C++ languages.
780 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
781 return "";
782
Eric Christopher8dba0d52013-10-19 01:04:42 +0000783 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000784 SmallVector<const DIScope *, 1> Parents;
785 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000786 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000787 if (Context->getScope())
788 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000789 else
790 // Structure, etc types will have a NULL context if they're at the top
791 // level.
792 break;
793 }
794
795 // Reverse iterate over our list to go from the outermost construct to the
796 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000797 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000798 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000799 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000800 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000801 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000802 CS += Name;
803 CS += "::";
804 }
805 }
806 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000807}
808
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000809void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000810 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000811 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000812 // Add name if not anonymous or intermediate type.
813 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000814 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000815
David Blaikiefac56122013-10-04 23:21:16 +0000816 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000817 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000818 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000819
David Blaikie65a74662014-04-25 18:26:14 +0000820 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000821 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000822
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000823 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000824 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000825}
826
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000827void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000828 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000829 StringRef Name = DTy->getName();
830 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000831 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000832
833 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000834 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000835 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000836 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000837
838 // Add name if not anonymous or intermediate type.
839 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000840 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000841
842 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000843 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000844 && Tag != dwarf::DW_TAG_ptr_to_member_type
845 && Tag != dwarf::DW_TAG_reference_type
846 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000847 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000848
David Blaikie5d3249b2013-01-07 05:51:15 +0000849 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000850 addDIEEntry(
851 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000852 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000853 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000854 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000855 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000856
857 // If DWARF address space value is other than None, add it for pointer and
858 // reference types as DW_AT_address_class.
859 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
860 Tag == dwarf::DW_TAG_reference_type))
861 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
862 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000863}
864
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000865void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000866 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000867 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000868 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000869 assert(i == N-1 && "Unspecified parameter must be the last argument");
870 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
871 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000872 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000873 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000874 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000875 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000876 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000877 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000878}
879
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000880void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000881 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000882 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000883 if (Elements.size())
884 if (auto RTy = resolve(Elements[0]))
885 addType(Buffer, RTy);
886
887 bool isPrototyped = true;
888 if (Elements.size() == 2 && !Elements[1])
889 isPrototyped = false;
890
891 constructSubprogramArguments(Buffer, Elements);
892
893 // Add prototype flag if we're dealing with a C language and the function has
894 // been prototyped.
895 uint16_t Language = getLanguage();
896 if (isPrototyped &&
897 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
898 Language == dwarf::DW_LANG_ObjC))
899 addFlag(Buffer, dwarf::DW_AT_prototyped);
900
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000901 // Add a DW_AT_calling_convention if this has an explicit convention.
902 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
903 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
904 CTy->getCC());
905
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000906 if (CTy->isLValueReference())
907 addFlag(Buffer, dwarf::DW_AT_reference);
908
909 if (CTy->isRValueReference())
910 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
911}
912
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000913void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Adrian Prantlee5feaf2015-07-15 17:01:41 +0000914 if (CTy->isExternalTypeRef()) {
915 StringRef Identifier = CTy->getIdentifier();
916 assert(!Identifier.empty() && "external type ref without identifier");
917 addFlag(Buffer, dwarf::DW_AT_declaration);
918 return addDIETypeSignature(Buffer, dwarf::DW_AT_signature, Identifier);
919 }
920
David Blaikie409dd9c2013-11-19 23:08:21 +0000921 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000922 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000923
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000924 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000925 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000926
927 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000928 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000929 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000930 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000931 case dwarf::DW_TAG_enumeration_type:
932 constructEnumTypeDIE(Buffer, CTy);
933 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000934 case dwarf::DW_TAG_structure_type:
935 case dwarf::DW_TAG_union_type:
936 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000937 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000938 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000939 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000940 if (!Element)
941 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000942 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000943 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000944 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000945 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000946 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000947 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
948 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000949 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000950 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000951 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000952 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000953 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000954 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
955 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000956 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000957 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000958 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000959 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000960 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000961 if (!GetterName.empty())
962 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000963 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000964 if (!SetterName.empty())
965 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000966 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000967 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000968 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000969 }
Devang Patel0e821f42011-04-12 23:21:44 +0000970 }
971
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000972 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000973 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000974
Adrian Prantlcf44e782014-12-19 00:01:20 +0000975 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
976 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000977 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000978 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000979 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000980 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000981
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000982 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000983 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000984
Eric Christopherda011dd2011-12-16 23:42:42 +0000985 // Add template parameters to a class, structure or union types.
986 // FIXME: The support isn't in the metadata for this yet.
987 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000988 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000989 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000990
991 break;
992 }
993 default:
994 break;
995 }
996
997 // Add name if not anonymous or intermediate type.
998 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000999 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001000
Eric Christopher775cbd22012-05-22 18:45:18 +00001001 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001002 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001003 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001004 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001005 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001006 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001007 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001008 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001009 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001010 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001011
1012 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001013 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001014 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001015
1016 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001017 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001018 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001019
1020 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001021 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001022 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001023 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001024 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001025
1026 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001027 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001028 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1029 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001030 }
1031}
1032
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001033void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001034 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001035 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001036 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001037 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001038 if (TP->getType())
1039 addType(ParamDIE, resolve(TP->getType()));
1040 if (!TP->getName().empty())
1041 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001042}
1043
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001044void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001045 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001046 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001047
1048 // Add the type if there is one, template template and template parameter
1049 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001050 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1051 addType(ParamDIE, resolve(VP->getType()));
1052 if (!VP->getName().empty())
1053 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1054 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001055 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001056 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001057 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001058 // We cannot describe the location of dllimport'd entities: the
1059 // computation of their address requires loads from the IAT.
1060 if (!GV->hasDLLImportStorageClass()) {
1061 // For declaration non-type template parameters (such as global values
1062 // and functions)
1063 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1064 addOpAddress(*Loc, Asm->getSymbol(GV));
1065 // Emit DW_OP_stack_value to use the address as the immediate value of
1066 // the parameter, rather than a pointer to it.
1067 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1068 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1069 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001070 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001071 assert(isa<MDString>(Val));
1072 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1073 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001074 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001075 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001076 }
1077 }
Devang Patel0e821f42011-04-12 23:21:44 +00001078}
1079
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001080DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001081 // Construct the context before querying for the existence of the DIE in case
1082 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001083 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001084
David Blaikie65a74662014-04-25 18:26:14 +00001085 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001086 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001087 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001088
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001089 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001090 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001091 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001092 else
1093 Name = "(anonymous namespace)";
1094 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001095 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001096 addSourceLine(NDie, NS);
Adrian Prantldbfda632016-11-03 19:42:02 +00001097 if (NS->getExportSymbols())
1098 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001099 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001100}
1101
Adrian Prantl08a388b2015-06-30 02:13:04 +00001102DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1103 // Construct the context before querying for the existence of the DIE in case
1104 // such construction creates the DIE.
1105 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1106
1107 if (DIE *MDie = getDIE(M))
1108 return MDie;
1109 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1110
1111 if (!M->getName().empty()) {
1112 addString(MDie, dwarf::DW_AT_name, M->getName());
1113 addGlobalName(M->getName(), MDie, M->getScope());
1114 }
1115 if (!M->getConfigurationMacros().empty())
1116 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1117 M->getConfigurationMacros());
1118 if (!M->getIncludePath().empty())
1119 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1120 if (!M->getISysRoot().empty())
1121 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1122
1123 return &MDie;
1124}
1125
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001126DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001127 // Construct the context before querying for the existence of the DIE in case
1128 // such construction creates the DIE (as is the case for member function
1129 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001130 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001131 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001132
David Blaikie65a74662014-04-25 18:26:14 +00001133 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001134 return SPDie;
1135
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001136 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001137 if (!Minimal) {
1138 // Add subprogram definitions to the CU die directly.
1139 ContextDIE = &getUnitDie();
1140 // Build the decl now to ensure it precedes the definition.
1141 getOrCreateSubprogramDIE(SPDecl);
1142 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001143 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001144
1145 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001146 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001147
David Blaikie6cfa9e12014-06-05 00:25:26 +00001148 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001149 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001150 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001151 return &SPDie;
1152
David Blaikie7f916862014-05-27 18:37:38 +00001153 applySubprogramAttributes(SP, SPDie);
1154 return &SPDie;
1155}
1156
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001157bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001158 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001159 DIE *DeclDie = nullptr;
1160 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001161 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001162 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001163 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001164 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001165 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001166 // Look at the Decl's linkage name only if we emitted it.
1167 if (DD->useAllLinkageNames())
1168 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001169 unsigned DeclID =
1170 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1171 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1172 if (DeclID != DefID)
1173 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1174
1175 if (SP->getLine() != SPDecl->getLine())
1176 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001177 }
Rafael Espindola79278362011-11-10 22:34:29 +00001178
Devang Patel89543712011-08-15 17:24:54 +00001179 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001180 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001181
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001182 // 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 +00001183 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001184 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1185 LinkageName == DeclLinkageName) &&
1186 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001187 if (DeclLinkageName.empty() &&
1188 // Always emit it for abstract subprograms.
1189 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001190 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001191
David Blaikie3a443c22014-11-04 22:12:25 +00001192 if (!DeclDie)
1193 return false;
1194
1195 // Refer to the function declaration where all the other attributes will be
1196 // found.
1197 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1198 return true;
1199}
1200
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001201void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001202 bool SkipSPAttributes) {
1203 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1204 // and its source location.
1205 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001206 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001207 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001208 if (applySubprogramDefinitionAttributes(SP, SPDie))
1209 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001210
Devang Patel89543712011-08-15 17:24:54 +00001211 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001212 if (!SP->getName().empty())
1213 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001214
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001215 if (!SkipSPSourceLocation)
1216 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001217
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001218 // Skip the rest of the attributes under -gmlt to save space.
1219 if (SkipSPAttributes)
1220 return;
Devang Patel89543712011-08-15 17:24:54 +00001221
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001222 // Add the prototype if we have a prototype and we have a C like
1223 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001224 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001225 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001226 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001227 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001228 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001229
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001230 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001231 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001232 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001233 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001234 CC = SPTy->getCC();
1235 }
1236
1237 // Add a DW_AT_calling_convention if this has an explicit convention.
1238 if (CC && CC != dwarf::DW_CC_normal)
1239 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001240
Eric Christopher691281b2013-10-21 17:48:51 +00001241 // Add a return type. If this is a type like a C/C++ void type we don't add a
1242 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001243 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001244 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001245 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001246
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001247 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001248 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001249 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001250 if (SP->getVirtualIndex() != -1u) {
1251 DIELoc *Block = getDIELoc();
1252 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1253 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1254 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1255 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001256 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001257 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001258 }
1259
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001260 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001261 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001262
Devang Patel89543712011-08-15 17:24:54 +00001263 // Add arguments. Do not add arguments for subprogram definition. They will
1264 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001265 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001266 }
1267
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001268 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001269 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001270
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001271 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001272 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001273
David Blaikiec53e18d2016-05-24 21:19:28 +00001274 if (DD->useAppleExtensionAttributes()) {
1275 if (SP->isOptimized())
1276 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001277
David Blaikiec53e18d2016-05-24 21:19:28 +00001278 if (unsigned isa = Asm->getISAEncoding())
1279 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1280 }
Devang Patel89543712011-08-15 17:24:54 +00001281
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001282 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001283 addFlag(SPDie, dwarf::DW_AT_reference);
1284
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001285 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001286 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1287
Adrian Prantlc19dee72016-08-17 16:02:43 +00001288 if (SP->isNoReturn())
1289 addFlag(SPDie, dwarf::DW_AT_noreturn);
1290
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001291 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001292 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1293 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001294 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001295 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1296 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001297 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001298 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1299 dwarf::DW_ACCESS_public);
1300
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001301 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001302 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001303
1304 if (SP->isMainSubprogram())
1305 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001306}
1307
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001308void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001309 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001310 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001311 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001312
Bill Wendling28fe9e72012-12-06 07:38:10 +00001313 // The LowerBound value defines the lower bounds which is typically zero for
1314 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1315 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001316 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001317 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001318 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001319 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001320
Bill Wendling3495f9b2012-12-06 07:55:19 +00001321 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001322 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001323
David Blaikie32b0f362014-10-01 00:56:55 +00001324 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001325 // FIXME: An unbounded array should reference the expression that defines
1326 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001327 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001328}
1329
David Blaikie871c2d92014-11-02 03:09:13 +00001330DIE *DwarfUnit::getIndexTyDie() {
1331 if (IndexTyDie)
1332 return IndexTyDie;
1333 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001334 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
David Blaikie871c2d92014-11-02 03:09:13 +00001335 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1336 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1337 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1338 dwarf::DW_ATE_unsigned);
1339 return IndexTyDie;
1340}
1341
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001342void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001343 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001344 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001345
Eric Christopher0df08e22013-08-08 07:40:37 +00001346 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001347 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001348
1349 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001350 // FIXME: This type should be passed down from the front end
1351 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001352 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001353
1354 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001355 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001356 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001357 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001358 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001359 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001360 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001361 }
1362}
1363
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001364void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1365 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001366
1367 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001368 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001369 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001370 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001371 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001372 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001373 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001374 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001375 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1376 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001377 }
1378 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001379 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001380 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001381 addType(Buffer, DTy);
1382 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001383 }
Devang Patel0e821f42011-04-12 23:21:44 +00001384}
1385
Eric Christophera5a79422013-12-09 23:32:48 +00001386void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001387 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001388 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001389 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001390 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001391 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001392 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001393 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001394 if (!NDie)
1395 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001396 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001397 }
1398}
1399
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001400void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001401 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1402 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001403 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001404 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001405
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001406 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001407
1408 addSourceLine(MemberDie, DT);
1409
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001410 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001411
1412 // For C++, virtual base classes are not at fixed offset. Use following
1413 // expression to extract appropriate offset from vtable.
1414 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1415
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001416 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001417 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1418 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1419 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001420 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001421 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1422 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1423 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001424
David Blaikief2443192013-10-21 17:28:37 +00001425 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001426 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001427 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001428 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001429 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001430 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001431
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001432 bool IsBitfield = FieldSize && Size != FieldSize;
1433 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001434 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001435 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001436 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001437 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001438
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001439 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001440 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1441 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1442 // which can't be done with bitfields. Thus we use FieldSize here.
1443 uint32_t AlignInBits = FieldSize;
1444 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001445 // The bits from the start of the storage unit to the start of the field.
1446 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001447 // The byte offset of the field's aligned storage unit inside the struct.
1448 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001449
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001450 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001451 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1452 uint64_t FieldOffset = (HiMark - FieldSize);
1453 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001454
Adrian Prantle5447572016-04-28 15:37:52 +00001455 // Maybe we need to work from the other end.
1456 if (Asm->getDataLayout().isLittleEndian())
1457 Offset = FieldSize - (Offset + Size);
1458
1459 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1460 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001461 } else {
1462 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001463 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001464 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001465 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001466 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001467 if (AlignInBytes)
1468 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1469 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001470 }
David Blaikie2ada1162014-01-03 00:48:38 +00001471
David Blaikie22b29a52014-01-03 01:30:05 +00001472 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001473 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001474 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1475 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001476 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001477 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001478 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1479 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001480 }
Devang Patel0e821f42011-04-12 23:21:44 +00001481
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001482 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001483 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001484 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001485 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001486 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001487 dwarf::DW_ACCESS_private);
1488 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001489 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001490 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001491 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001492 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001493 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001494 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001495
1496 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001497 if (DINode *PNode = DT->getObjCProperty())
1498 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001499 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1500 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001501
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001502 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001503 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001504}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001505
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001506DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001507 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001508 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001509
Manman Renc6b63922013-10-14 20:33:57 +00001510 // Construct the context before querying for the existence of the DIE in case
1511 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001512 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001513 assert(dwarf::isType(ContextDIE->getTag()) &&
1514 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001515
David Blaikie65a74662014-04-25 18:26:14 +00001516 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001517 return StaticMemberDIE;
1518
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001519 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001520
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001521 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001522
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001523 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001524 addType(StaticMemberDIE, Ty);
1525 addSourceLine(StaticMemberDIE, DT);
1526 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1527 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1528
1529 // FIXME: We could omit private if the parent is a class_type, and
1530 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001531 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001532 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1533 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001534 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001535 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1536 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001537 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001538 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1539 dwarf::DW_ACCESS_public);
1540
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001541 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001542 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001543 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001544 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001545
Victor Leschuka37660c2016-10-26 21:32:29 +00001546 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001547 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1548 AlignInBytes);
1549
David Blaikie65a74662014-04-25 18:26:14 +00001550 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001551}
David Blaikie6b288cf2013-10-30 20:42:41 +00001552
Paul Robinsoncddd6042017-02-28 20:24:55 +00001553void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001554 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001555 Asm->OutStreamer->AddComment("Length of Unit");
Greg Clayton35630c32016-12-01 18:56:29 +00001556 Asm->EmitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001557
Lang Hames9ff69c82015-04-24 19:11:51 +00001558 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001559 unsigned Version = DD->getDwarfVersion();
1560 Asm->EmitInt16(Version);
1561
1562 // DWARF v5 reorders the address size and adds a unit type.
1563 if (Version >= 5) {
1564 Asm->OutStreamer->AddComment("DWARF Unit Type");
1565 Asm->EmitInt8(UT);
1566 Asm->OutStreamer->AddComment("Address Size (in bytes)");
1567 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1568 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001569
David Blaikie6896e192013-12-04 23:39:02 +00001570 // We share one abbreviations table across all units so it's always at the
1571 // start of the section. Use a relocatable offset where needed to ensure
1572 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001573 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001574 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001575 if (UseOffsets)
1576 Asm->EmitInt32(0);
1577 else
1578 Asm->emitDwarfSymbolReference(
1579 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001580
Paul Robinsoncddd6042017-02-28 20:24:55 +00001581 if (Version <= 4) {
1582 Asm->OutStreamer->AddComment("Address Size (in bytes)");
1583 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1584 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001585}
David Blaikiebc563272013-12-13 21:33:40 +00001586
Rafael Espindola063d7252015-03-10 16:58:10 +00001587void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Paul Robinsoncddd6042017-02-28 20:24:55 +00001588 DwarfUnit::emitCommonHeader(UseOffsets,
1589 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1590 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001591 Asm->OutStreamer->AddComment("Type Signature");
1592 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1593 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001594 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001595 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1596 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001597}
1598
David Blaikiecafd9622014-11-02 08:51:37 +00001599bool DwarfTypeUnit::isDwoUnit() const {
1600 // Since there are no skeleton type units, all type units are dwo type units
1601 // when split DWARF is being used.
1602 return DD->useSplitDwarf();
1603}
David Blaikiea0e3c752017-02-03 00:44:18 +00001604
1605void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1606 const DIScope *Context) {
1607 getCU().addGlobalNameForTypeUnit(Name, Context);
1608}
1609
1610void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1611 const DIScope *Context) {
1612 getCU().addGlobalTypeUnitType(Ty, Context);
1613}