blob: 18a5d9a5facb967712edfffd3270cfcab37e2c73 [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 Prantla63b8e82017-03-16 17:42:45 +000057void DIEDwarfExpression::emitOp(uint8_t Op, const char* Comment) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000058 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
59}
Eugene Zelenko1804a772016-08-25 00:45:04 +000060
Adrian Prantla63b8e82017-03-16 17:42:45 +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 Prantla63b8e82017-03-16 17:42:45 +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
David Blaikie65a74662014-04-25 18:26:14 +0000300void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000301 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000302 const DIEUnit *CU = Die.getUnit();
303 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
304 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000305 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000306 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000307 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000308 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000309 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000310 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000311 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000312}
313
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000314DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000315 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
316 if (N)
317 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000318 return Die;
319}
320
David Blaikie65a74662014-04-25 18:26:14 +0000321void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000322 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000323 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000324 Die.addValue(DIEValueAllocator, Attribute,
325 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000326}
327
David Blaikie65a74662014-04-25 18:26:14 +0000328void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000329 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000330 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000331 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000332 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000333}
334
David Blaikie65a74662014-04-25 18:26:14 +0000335void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000336 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000337 if (Line == 0)
338 return;
David Blaikie101613e2014-02-12 00:11:25 +0000339
David Blaikie4a2f95f2014-03-18 01:17:26 +0000340 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000341 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000342 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
343 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000344}
345
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000346void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000347 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000348
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000349 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
350 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000351}
352
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000353void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000354 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000355
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000356 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000357}
358
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000359void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000360 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000361
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000362 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000363}
364
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000365void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000366 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000367
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000368 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000369}
370
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000371void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000372 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000373
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000374 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000375}
376
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000377void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000378 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000379}
380
Devang Patel0e821f42011-04-12 23:21:44 +0000381/* Byref variables, in Blocks, are declared by the programmer as "SomeType
382 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
383 gives the variable VarName either the struct, or a pointer to the struct, as
384 its type. This is necessary for various behind-the-scenes things the
385 compiler needs to do with by-reference variables in Blocks.
386
387 However, as far as the original *programmer* is concerned, the variable
388 should still have type 'SomeType', as originally declared.
389
390 The function getBlockByrefType dives into the __Block_byref_x_VarName
391 struct to find the original type of the variable, which is then assigned to
392 the variable's Debug Information Entry as its real type. So far, so good.
393 However now the debugger will expect the variable VarName to have the type
394 SomeType. So we need the location attribute for the variable to be an
395 expression that explains to the debugger how to navigate through the
396 pointers and struct to find the actual variable of type SomeType.
397
398 The following function does just that. We start by getting
399 the "normal" location for the variable. This will be the location
400 of either the struct __Block_byref_x_VarName or the pointer to the
401 struct __Block_byref_x_VarName.
402
403 The struct will look something like:
404
405 struct __Block_byref_x_VarName {
406 ... <various fields>
407 struct __Block_byref_x_VarName *forwarding;
408 ... <various other fields>
409 SomeType VarName;
410 ... <maybe more fields>
411 };
412
413 If we are given the struct directly (as our starting point) we
414 need to tell the debugger to:
415
416 1). Add the offset of the forwarding field.
417
418 2). Follow that pointer to get the real __Block_byref_x_VarName
419 struct to use (the real one may have been copied onto the heap).
420
421 3). Add the offset for the field VarName, to find the actual variable.
422
423 If we started with a pointer to the struct, then we need to
424 dereference that pointer first, before the other steps.
425 Translating this into DWARF ops, we will need to append the following
426 to the current location description for the variable:
427
428 DW_OP_deref -- optional, if we start with a pointer
429 DW_OP_plus_uconst <forward_fld_offset>
430 DW_OP_deref
431 DW_OP_plus_uconst <varName_fld_offset>
432
433 That is what this function does. */
434
David Blaikie65a74662014-04-25 18:26:14 +0000435void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000436 dwarf::Attribute Attribute,
437 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000438 const DIType *Ty = DV.getType();
439 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000440 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000441 bool isPointer = false;
442
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000443 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000444
445 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000446 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000447 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000448 isPointer = true;
449 }
450
Devang Patel0e821f42011-04-12 23:21:44 +0000451 // Find the __forwarding field and the variable field in the __Block_byref
452 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000453 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000454 const DIDerivedType *varField = nullptr;
455 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000456
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000457 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000458 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000459 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000460 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000461 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000462 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000463 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000464 }
465
466 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000467 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
468 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000469
470 // Decode the original location, and use that as the start of the byref
471 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000472 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000473 SmallVector<uint64_t, 6> DIExpr;
474 DIEDwarfExpression Expr(*Asm, *this, *Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000475
Adrian Prantlab255fc2014-12-05 01:02:46 +0000476 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000477 if (Location.isReg())
Adrian Prantla63b8e82017-03-16 17:42:45 +0000478 validReg = Expr.addMachineReg(*Asm->MF->getSubtarget().getRegisterInfo(),
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000479 Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000480 else
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000481 validReg =
Adrian Prantla63b8e82017-03-16 17:42:45 +0000482 Expr.addMachineRegIndirect(*Asm->MF->getSubtarget().getRegisterInfo(),
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000483 Location.getReg(), Location.getOffset());
Adrian Prantlab255fc2014-12-05 01:02:46 +0000484
485 if (!validReg)
486 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000487
488 // If we started with a pointer to the __Block_byref... struct, then
489 // the first thing we need to do is dereference the pointer (DW_OP_deref).
490 if (isPointer)
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000491 DIExpr.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000492
493 // Next add the offset for the '__forwarding' field:
494 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
495 // adding the offset if it's 0.
496 if (forwardingFieldOffset > 0) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000497 DIExpr.push_back(dwarf::DW_OP_plus);
498 DIExpr.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000499 }
500
501 // Now dereference the __forwarding field to get to the real __Block_byref
502 // struct: DW_OP_deref.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000503 DIExpr.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000504
505 // Now that we've got the real __Block_byref... struct, add the offset
506 // for the variable's field to get to the location of the actual variable:
507 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
508 if (varFieldOffset > 0) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000509 DIExpr.push_back(dwarf::DW_OP_plus);
510 DIExpr.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000511 }
Adrian Prantla63b8e82017-03-16 17:42:45 +0000512 Expr.addExpression(makeArrayRef(DIExpr));
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000513 Expr.finalize();
Devang Patel0e821f42011-04-12 23:21:44 +0000514
515 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000516 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000517}
518
Manman Renb3388602013-10-05 01:43:03 +0000519/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000520static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000521 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
522 // FIXME: Enums without a fixed underlying type have unknown signedness
523 // here, leading to incorrectly emitted constants.
524 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
525 return false;
526
527 // (Pieces of) aggregate types that get hacked apart by SROA may be
528 // represented by a constant. Encode them as unsigned bytes.
529 return true;
530 }
531
532 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000533 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000534 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000535 // null pointer constant emission.
536 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
537 // here, but accept them for now due to a bug in SROA producing bogus
538 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000539 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000540 T == dwarf::DW_TAG_ptr_to_member_type ||
541 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000542 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000543 return true;
544 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
545 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000546 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000547 DITypeRef Deriv = DTy->getBaseType();
548 assert(Deriv && "Expected valid base type");
549 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000550 }
Manman Renb3388602013-10-05 01:43:03 +0000551
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000552 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000553 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000554 assert((Encoding == dwarf::DW_ATE_unsigned ||
555 Encoding == dwarf::DW_ATE_unsigned_char ||
556 Encoding == dwarf::DW_ATE_signed ||
557 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000558 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
559 Encoding == dwarf::DW_ATE_boolean ||
560 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
561 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000562 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000563 return Encoding == dwarf::DW_ATE_unsigned ||
564 Encoding == dwarf::DW_ATE_unsigned_char ||
565 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
566 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000567}
568
David Blaikie65a74662014-04-25 18:26:14 +0000569void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000570 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000571 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000572 APFloat FPImm = MO.getFPImm()->getValueAPF();
573
574 // Get the raw data form of the floating point.
575 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000576 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000577
578 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000579 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000580 int Incr = (LittleEndian ? 1 : -1);
581 int Start = (LittleEndian ? 0 : NumBytes - 1);
582 int Stop = (LittleEndian ? NumBytes : -1);
583
584 // Output the constant to DWARF one byte at a time.
585 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000586 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000587
David Blaikief2443192013-10-21 17:28:37 +0000588 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000589}
590
David Blaikie65a74662014-04-25 18:26:14 +0000591void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000592 // Pass this down to addConstantValue as an unsigned bag of bits.
593 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000594}
595
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000596void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000597 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000598 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000599}
600
David Blaikiec05c8f42014-05-11 15:47:39 +0000601void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000602 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000603 assert(MO.isImm() && "Invalid machine operand!");
604
David Blaikie60cae1b2014-05-11 16:08:41 +0000605 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000606}
607
David Blaikie60cae1b2014-05-11 16:08:41 +0000608void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000609 // FIXME: This is a bit conservative/simple - it emits negative values always
610 // sign extended to 64 bits rather than minimizing the number of bytes.
611 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000612 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000613}
614
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000615void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000616 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
617}
618
David Blaikie65a74662014-04-25 18:26:14 +0000619void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000620 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000621 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000622 addConstantValue(Die, Unsigned,
623 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000624 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000625 }
626
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000627 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000628
629 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000630 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000631
632 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000633 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000634
635 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000636 for (int i = 0; i < NumBytes; i++) {
637 uint8_t c;
638 if (LittleEndian)
639 c = Ptr64[i / 8] >> (8 * (i & 7));
640 else
641 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000642 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000643 }
Devang Patel0e821f42011-04-12 23:21:44 +0000644
David Blaikief2443192013-10-21 17:28:37 +0000645 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000646}
647
Paul Robinson857b4432015-03-10 22:44:45 +0000648void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000649 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000650 addString(Die,
651 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
652 : dwarf::DW_AT_MIPS_linkage_name,
653 GlobalValue::getRealLinkageName(LinkageName));
654}
655
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000656void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000657 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000658 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000659 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000660 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000661 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000662 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000663 }
Devang Patel0e821f42011-04-12 23:21:44 +0000664}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000665
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000666DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
667 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000668 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000669 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000670 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000671 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000672 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000673 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000674 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000675 if (auto *M = dyn_cast<DIModule>(Context))
676 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000677 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000678}
679
David Blaikiea0e3c752017-02-03 00:44:18 +0000680DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000681 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000682 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000683
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000684 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000685 return TyDIE;
686
687 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000688 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000689
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000690 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000691
Adrian Prantl19aadf52017-03-13 22:56:14 +0000692 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000693 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000694}
695
David Blaikied51dea62015-07-01 18:07:16 +0000696DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000697 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000698 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000699
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000700 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000701
David Blaikieee11f222014-04-12 05:35:59 +0000702 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000703 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000704 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000705
Victor Leschuke1156c22016-10-31 19:09:38 +0000706 // DW_TAG_atomic_type is not supported in DWARF < 5
707 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
708 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
709
Manman Renf4c339e2013-10-29 22:49:29 +0000710 // Construct the context before querying for the existence of the DIE in case
711 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000712 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000713 DIE *ContextDIE = getOrCreateContextDIE(Context);
714 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000715
David Blaikie65a74662014-04-25 18:26:14 +0000716 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000717 return TyDIE;
718
Amjad Aboud72da9392016-04-30 01:44:07 +0000719 // Create new type.
720 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000721
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000722 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000723
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000724 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000725 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000726 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000727 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000728 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000729 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
730 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000731 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000732 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000733 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000734 }
David Blaikie65a74662014-04-25 18:26:14 +0000735 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000736 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000737 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000738 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000739
David Blaikie65a74662014-04-25 18:26:14 +0000740 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000741}
742
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000743void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
744 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000745 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000746 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000747 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000748 // A runtime language of 0 actually means C/C++ and that any
749 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000750 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000751 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000752 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000753 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000754
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000755 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
756 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000757 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000758 }
Devang Patel0e821f42011-04-12 23:21:44 +0000759}
760
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000761void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000762 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000763 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000764 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000765}
766
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000767std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000768 if (!Context)
769 return "";
770
771 // FIXME: Decide whether to implement this for non-C++ languages.
772 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
773 return "";
774
Eric Christopher8dba0d52013-10-19 01:04:42 +0000775 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000776 SmallVector<const DIScope *, 1> Parents;
777 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000778 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000779 if (Context->getScope())
780 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000781 else
782 // Structure, etc types will have a NULL context if they're at the top
783 // level.
784 break;
785 }
786
787 // Reverse iterate over our list to go from the outermost construct to the
788 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000789 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000790 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000791 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000792 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000793 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000794 CS += Name;
795 CS += "::";
796 }
797 }
798 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000799}
800
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000801void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000802 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000803 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000804 // Add name if not anonymous or intermediate type.
805 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000806 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000807
David Blaikiefac56122013-10-04 23:21:16 +0000808 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000809 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000810 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000811
David Blaikie65a74662014-04-25 18:26:14 +0000812 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000813 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000814
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000815 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000816 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000817}
818
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000819void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000820 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000821 StringRef Name = DTy->getName();
822 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000823 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000824
825 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000826 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000827 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000828 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000829
830 // Add name if not anonymous or intermediate type.
831 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000832 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000833
834 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000835 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000836 && Tag != dwarf::DW_TAG_ptr_to_member_type
837 && Tag != dwarf::DW_TAG_reference_type
838 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000839 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000840
David Blaikie5d3249b2013-01-07 05:51:15 +0000841 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000842 addDIEEntry(
843 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000844 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000845 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000846 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000847 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000848
849 // If DWARF address space value is other than None, add it for pointer and
850 // reference types as DW_AT_address_class.
851 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
852 Tag == dwarf::DW_TAG_reference_type))
853 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
854 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000855}
856
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000857void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000858 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000859 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000860 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000861 assert(i == N-1 && "Unspecified parameter must be the last argument");
862 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
863 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000864 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000865 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000866 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000867 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000868 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000869 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000870}
871
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000872void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000873 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000874 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000875 if (Elements.size())
876 if (auto RTy = resolve(Elements[0]))
877 addType(Buffer, RTy);
878
879 bool isPrototyped = true;
880 if (Elements.size() == 2 && !Elements[1])
881 isPrototyped = false;
882
883 constructSubprogramArguments(Buffer, Elements);
884
885 // Add prototype flag if we're dealing with a C language and the function has
886 // been prototyped.
887 uint16_t Language = getLanguage();
888 if (isPrototyped &&
889 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
890 Language == dwarf::DW_LANG_ObjC))
891 addFlag(Buffer, dwarf::DW_AT_prototyped);
892
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000893 // Add a DW_AT_calling_convention if this has an explicit convention.
894 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
895 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
896 CTy->getCC());
897
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000898 if (CTy->isLValueReference())
899 addFlag(Buffer, dwarf::DW_AT_reference);
900
901 if (CTy->isRValueReference())
902 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
903}
904
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000905void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000906 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000907 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000908
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000909 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000910 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000911
912 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000913 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000914 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000915 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000916 case dwarf::DW_TAG_enumeration_type:
917 constructEnumTypeDIE(Buffer, CTy);
918 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000919 case dwarf::DW_TAG_structure_type:
920 case dwarf::DW_TAG_union_type:
921 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000922 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000923 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000924 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000925 if (!Element)
926 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000927 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000928 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000929 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000930 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000931 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000932 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
933 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000934 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000935 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000936 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000937 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000938 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000939 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
940 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000941 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000942 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000943 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000944 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000945 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000946 if (!GetterName.empty())
947 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000948 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000949 if (!SetterName.empty())
950 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000951 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000952 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000953 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000954 }
Devang Patel0e821f42011-04-12 23:21:44 +0000955 }
956
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000957 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000958 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000959
Adrian Prantlcf44e782014-12-19 00:01:20 +0000960 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
961 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000962 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000963 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000964 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000965 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000966
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000967 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000968 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000969
Eric Christopherda011dd2011-12-16 23:42:42 +0000970 // Add template parameters to a class, structure or union types.
971 // FIXME: The support isn't in the metadata for this yet.
972 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000973 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000974 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000975
976 break;
977 }
978 default:
979 break;
980 }
981
982 // Add name if not anonymous or intermediate type.
983 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000984 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000985
Eric Christopher775cbd22012-05-22 18:45:18 +0000986 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000987 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000988 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000989 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000990 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000991 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000992 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000993 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000994 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000995 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000996
997 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000998 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000999 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001000
1001 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001002 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001003 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001004
1005 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001006 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001007 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001008 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001009 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001010
1011 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001012 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001013 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1014 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001015 }
1016}
1017
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001018void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001019 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001020 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001021 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001022 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001023 if (TP->getType())
1024 addType(ParamDIE, resolve(TP->getType()));
1025 if (!TP->getName().empty())
1026 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001027}
1028
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001029void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001030 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001031 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001032
1033 // Add the type if there is one, template template and template parameter
1034 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001035 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1036 addType(ParamDIE, resolve(VP->getType()));
1037 if (!VP->getName().empty())
1038 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1039 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001040 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001041 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001042 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001043 // We cannot describe the location of dllimport'd entities: the
1044 // computation of their address requires loads from the IAT.
1045 if (!GV->hasDLLImportStorageClass()) {
1046 // For declaration non-type template parameters (such as global values
1047 // and functions)
1048 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1049 addOpAddress(*Loc, Asm->getSymbol(GV));
1050 // Emit DW_OP_stack_value to use the address as the immediate value of
1051 // the parameter, rather than a pointer to it.
1052 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1053 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1054 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001055 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001056 assert(isa<MDString>(Val));
1057 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1058 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001059 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001060 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001061 }
1062 }
Devang Patel0e821f42011-04-12 23:21:44 +00001063}
1064
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001065DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001066 // Construct the context before querying for the existence of the DIE in case
1067 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001068 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001069
David Blaikie65a74662014-04-25 18:26:14 +00001070 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001071 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001072 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001073
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001074 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001075 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001076 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001077 else
1078 Name = "(anonymous namespace)";
1079 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001080 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001081 addSourceLine(NDie, NS);
Adrian Prantldbfda632016-11-03 19:42:02 +00001082 if (NS->getExportSymbols())
1083 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001084 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001085}
1086
Adrian Prantl08a388b2015-06-30 02:13:04 +00001087DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1088 // Construct the context before querying for the existence of the DIE in case
1089 // such construction creates the DIE.
1090 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1091
1092 if (DIE *MDie = getDIE(M))
1093 return MDie;
1094 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1095
1096 if (!M->getName().empty()) {
1097 addString(MDie, dwarf::DW_AT_name, M->getName());
1098 addGlobalName(M->getName(), MDie, M->getScope());
1099 }
1100 if (!M->getConfigurationMacros().empty())
1101 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1102 M->getConfigurationMacros());
1103 if (!M->getIncludePath().empty())
1104 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1105 if (!M->getISysRoot().empty())
1106 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1107
1108 return &MDie;
1109}
1110
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001111DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001112 // Construct the context before querying for the existence of the DIE in case
1113 // such construction creates the DIE (as is the case for member function
1114 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001115 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001116 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001117
David Blaikie65a74662014-04-25 18:26:14 +00001118 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001119 return SPDie;
1120
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001121 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001122 if (!Minimal) {
1123 // Add subprogram definitions to the CU die directly.
1124 ContextDIE = &getUnitDie();
1125 // Build the decl now to ensure it precedes the definition.
1126 getOrCreateSubprogramDIE(SPDecl);
1127 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001128 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001129
1130 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001131 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001132
David Blaikie6cfa9e12014-06-05 00:25:26 +00001133 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001134 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001135 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001136 return &SPDie;
1137
David Blaikie7f916862014-05-27 18:37:38 +00001138 applySubprogramAttributes(SP, SPDie);
1139 return &SPDie;
1140}
1141
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001142bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001143 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001144 DIE *DeclDie = nullptr;
1145 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001146 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001147 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001148 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001149 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001150 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001151 // Look at the Decl's linkage name only if we emitted it.
1152 if (DD->useAllLinkageNames())
1153 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001154 unsigned DeclID =
1155 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1156 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1157 if (DeclID != DefID)
1158 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1159
1160 if (SP->getLine() != SPDecl->getLine())
1161 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001162 }
Rafael Espindola79278362011-11-10 22:34:29 +00001163
Devang Patel89543712011-08-15 17:24:54 +00001164 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001165 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001166
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001167 // 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 +00001168 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001169 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1170 LinkageName == DeclLinkageName) &&
1171 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001172 if (DeclLinkageName.empty() &&
1173 // Always emit it for abstract subprograms.
1174 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001175 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001176
David Blaikie3a443c22014-11-04 22:12:25 +00001177 if (!DeclDie)
1178 return false;
1179
1180 // Refer to the function declaration where all the other attributes will be
1181 // found.
1182 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1183 return true;
1184}
1185
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001186void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001187 bool SkipSPAttributes) {
1188 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1189 // and its source location.
1190 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001191 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001192 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001193 if (applySubprogramDefinitionAttributes(SP, SPDie))
1194 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001195
Devang Patel89543712011-08-15 17:24:54 +00001196 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001197 if (!SP->getName().empty())
1198 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001199
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001200 if (!SkipSPSourceLocation)
1201 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001202
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001203 // Skip the rest of the attributes under -gmlt to save space.
1204 if (SkipSPAttributes)
1205 return;
Devang Patel89543712011-08-15 17:24:54 +00001206
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001207 // Add the prototype if we have a prototype and we have a C like
1208 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001209 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001210 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001211 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001212 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001213 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001214
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001215 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001216 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001217 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001218 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001219 CC = SPTy->getCC();
1220 }
1221
1222 // Add a DW_AT_calling_convention if this has an explicit convention.
1223 if (CC && CC != dwarf::DW_CC_normal)
1224 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001225
Eric Christopher691281b2013-10-21 17:48:51 +00001226 // Add a return type. If this is a type like a C/C++ void type we don't add a
1227 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001228 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001229 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001230 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001231
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001232 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001233 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001234 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001235 if (SP->getVirtualIndex() != -1u) {
1236 DIELoc *Block = getDIELoc();
1237 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1238 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1239 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1240 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001241 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001242 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001243 }
1244
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001245 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001246 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001247
Devang Patel89543712011-08-15 17:24:54 +00001248 // Add arguments. Do not add arguments for subprogram definition. They will
1249 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001250 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001251 }
1252
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001253 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001254 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001255
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001256 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001257 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001258
David Blaikiec53e18d2016-05-24 21:19:28 +00001259 if (DD->useAppleExtensionAttributes()) {
1260 if (SP->isOptimized())
1261 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001262
David Blaikiec53e18d2016-05-24 21:19:28 +00001263 if (unsigned isa = Asm->getISAEncoding())
1264 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1265 }
Devang Patel89543712011-08-15 17:24:54 +00001266
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001267 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001268 addFlag(SPDie, dwarf::DW_AT_reference);
1269
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001270 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001271 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1272
Adrian Prantlc19dee72016-08-17 16:02:43 +00001273 if (SP->isNoReturn())
1274 addFlag(SPDie, dwarf::DW_AT_noreturn);
1275
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001276 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001277 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1278 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001279 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001280 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1281 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001282 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001283 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1284 dwarf::DW_ACCESS_public);
1285
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001286 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001287 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001288
1289 if (SP->isMainSubprogram())
1290 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001291}
1292
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001293void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001294 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001295 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001296 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001297
Bill Wendling28fe9e72012-12-06 07:38:10 +00001298 // The LowerBound value defines the lower bounds which is typically zero for
1299 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1300 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001301 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001302 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001303 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001304 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001305
Bill Wendling3495f9b2012-12-06 07:55:19 +00001306 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001307 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001308
David Blaikie32b0f362014-10-01 00:56:55 +00001309 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001310 // FIXME: An unbounded array should reference the expression that defines
1311 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001312 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001313}
1314
David Blaikie871c2d92014-11-02 03:09:13 +00001315DIE *DwarfUnit::getIndexTyDie() {
1316 if (IndexTyDie)
1317 return IndexTyDie;
1318 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001319 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
David Blaikie871c2d92014-11-02 03:09:13 +00001320 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1321 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1322 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1323 dwarf::DW_ATE_unsigned);
1324 return IndexTyDie;
1325}
1326
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001327void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001328 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001329 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001330
Eric Christopher0df08e22013-08-08 07:40:37 +00001331 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001332 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001333
1334 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001335 // FIXME: This type should be passed down from the front end
1336 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001337 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001338
1339 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001340 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001341 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001342 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001343 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001344 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001345 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001346 }
1347}
1348
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001349void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1350 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001351
1352 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001353 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001354 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001355 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001356 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001357 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001358 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001359 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001360 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1361 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001362 }
1363 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001364 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001365 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001366 addType(Buffer, DTy);
1367 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001368 }
Devang Patel0e821f42011-04-12 23:21:44 +00001369}
1370
Eric Christophera5a79422013-12-09 23:32:48 +00001371void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001372 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001373 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001374 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001375 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001376 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001377 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001378 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001379 if (!NDie)
1380 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001381 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001382 }
1383}
1384
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001385void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001386 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1387 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001388 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001389 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001390
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001391 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001392
1393 addSourceLine(MemberDie, DT);
1394
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001395 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001396
1397 // For C++, virtual base classes are not at fixed offset. Use following
1398 // expression to extract appropriate offset from vtable.
1399 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1400
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001401 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001402 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1403 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1404 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001405 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001406 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1407 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1408 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001409
David Blaikief2443192013-10-21 17:28:37 +00001410 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001411 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001412 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001413 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001414 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001415 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001416
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001417 bool IsBitfield = FieldSize && Size != FieldSize;
1418 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001419 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001420 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001421 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001422 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001423
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001424 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001425 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1426 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1427 // which can't be done with bitfields. Thus we use FieldSize here.
1428 uint32_t AlignInBits = FieldSize;
1429 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001430 // The bits from the start of the storage unit to the start of the field.
1431 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001432 // The byte offset of the field's aligned storage unit inside the struct.
1433 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001434
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001435 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001436 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1437 uint64_t FieldOffset = (HiMark - FieldSize);
1438 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001439
Adrian Prantle5447572016-04-28 15:37:52 +00001440 // Maybe we need to work from the other end.
1441 if (Asm->getDataLayout().isLittleEndian())
1442 Offset = FieldSize - (Offset + Size);
1443
1444 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1445 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001446 } else {
1447 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001448 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001449 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001450 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001451 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001452 if (AlignInBytes)
1453 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1454 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001455 }
David Blaikie2ada1162014-01-03 00:48:38 +00001456
David Blaikie22b29a52014-01-03 01:30:05 +00001457 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001458 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001459 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1460 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001461 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001462 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001463 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1464 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001465 }
Devang Patel0e821f42011-04-12 23:21:44 +00001466
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001467 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001468 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001469 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001470 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001471 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001472 dwarf::DW_ACCESS_private);
1473 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001474 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001475 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001476 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001477 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001478 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001479 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001480
1481 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001482 if (DINode *PNode = DT->getObjCProperty())
1483 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001484 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1485 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001486
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001487 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001488 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001489}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001490
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001491DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001492 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001493 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001494
Manman Renc6b63922013-10-14 20:33:57 +00001495 // Construct the context before querying for the existence of the DIE in case
1496 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001497 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001498 assert(dwarf::isType(ContextDIE->getTag()) &&
1499 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001500
David Blaikie65a74662014-04-25 18:26:14 +00001501 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001502 return StaticMemberDIE;
1503
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001504 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001505
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001506 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001507
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001508 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001509 addType(StaticMemberDIE, Ty);
1510 addSourceLine(StaticMemberDIE, DT);
1511 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1512 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1513
1514 // FIXME: We could omit private if the parent is a class_type, and
1515 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001516 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001517 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1518 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001519 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001520 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1521 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001522 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001523 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1524 dwarf::DW_ACCESS_public);
1525
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001526 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001527 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001528 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001529 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001530
Victor Leschuka37660c2016-10-26 21:32:29 +00001531 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001532 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1533 AlignInBytes);
1534
David Blaikie65a74662014-04-25 18:26:14 +00001535 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001536}
David Blaikie6b288cf2013-10-30 20:42:41 +00001537
Paul Robinsoncddd6042017-02-28 20:24:55 +00001538void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001539 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001540 Asm->OutStreamer->AddComment("Length of Unit");
Greg Clayton35630c32016-12-01 18:56:29 +00001541 Asm->EmitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001542
Lang Hames9ff69c82015-04-24 19:11:51 +00001543 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001544 unsigned Version = DD->getDwarfVersion();
1545 Asm->EmitInt16(Version);
1546
1547 // DWARF v5 reorders the address size and adds a unit type.
1548 if (Version >= 5) {
1549 Asm->OutStreamer->AddComment("DWARF Unit Type");
1550 Asm->EmitInt8(UT);
1551 Asm->OutStreamer->AddComment("Address Size (in bytes)");
1552 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1553 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001554
David Blaikie6896e192013-12-04 23:39:02 +00001555 // We share one abbreviations table across all units so it's always at the
1556 // start of the section. Use a relocatable offset where needed to ensure
1557 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001558 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001559 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001560 if (UseOffsets)
1561 Asm->EmitInt32(0);
1562 else
1563 Asm->emitDwarfSymbolReference(
1564 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001565
Paul Robinsoncddd6042017-02-28 20:24:55 +00001566 if (Version <= 4) {
1567 Asm->OutStreamer->AddComment("Address Size (in bytes)");
1568 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1569 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001570}
David Blaikiebc563272013-12-13 21:33:40 +00001571
Rafael Espindola063d7252015-03-10 16:58:10 +00001572void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Paul Robinsoncddd6042017-02-28 20:24:55 +00001573 DwarfUnit::emitCommonHeader(UseOffsets,
1574 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1575 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001576 Asm->OutStreamer->AddComment("Type Signature");
1577 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1578 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001579 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001580 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1581 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001582}
1583
David Blaikiecafd9622014-11-02 08:51:37 +00001584bool DwarfTypeUnit::isDwoUnit() const {
1585 // Since there are no skeleton type units, all type units are dwo type units
1586 // when split DWARF is being used.
1587 return DD->useSplitDwarf();
1588}
David Blaikiea0e3c752017-02-03 00:44:18 +00001589
1590void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1591 const DIScope *Context) {
1592 getCU().addGlobalNameForTypeUnit(Name, Context);
1593}
1594
1595void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1596 const DIScope *Context) {
1597 getCU().addGlobalTypeUnitType(Ty, Context);
1598}