blob: f2e13992883893961d8f74b7029c6db241e1df83 [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"
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000030#include "llvm/MC/MCAsmInfo.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000031#include "llvm/MC/MCDwarf.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000032#include "llvm/MC/MCSection.h"
33#include "llvm/MC/MCStreamer.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000034#include "llvm/Support/Casting.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000035#include "llvm/Support/CommandLine.h"
David Blaikief2694972013-06-28 20:05:11 +000036#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel0e821f42011-04-12 23:21:44 +000037#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000038#include "llvm/Target/TargetSubtargetInfo.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000039#include <cassert>
40#include <cstdint>
41#include <string>
42#include <utility>
Devang Patel0e821f42011-04-12 23:21:44 +000043
44using namespace llvm;
45
Chandler Carruth1b9dde02014-04-22 02:02:50 +000046#define DEBUG_TYPE "dwarfdebug"
47
Eric Christopher4287a492013-12-09 23:57:44 +000048static cl::opt<bool>
49GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
50 cl::desc("Generate DWARF4 type units."),
51 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000052
Adrian Prantlb846acc2015-03-02 22:02:36 +000053DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
54 DIELoc &DIE)
Greg Claytone6543972016-11-23 23:30:37 +000055 : DwarfExpression(AP.getDwarfVersion()), AP(AP), DU(DU),
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000056 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000057
Adrian Prantla63b8e82017-03-16 17:42:45 +000058void DIEDwarfExpression::emitOp(uint8_t Op, const char* Comment) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000059 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
60}
Eugene Zelenko1804a772016-08-25 00:45:04 +000061
Adrian Prantla63b8e82017-03-16 17:42:45 +000062void DIEDwarfExpression::emitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000063 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
64}
Eugene Zelenko1804a772016-08-25 00:45:04 +000065
Adrian Prantla63b8e82017-03-16 17:42:45 +000066void DIEDwarfExpression::emitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000067 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
68}
Eugene Zelenko1804a772016-08-25 00:45:04 +000069
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000070bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
71 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000072 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000073}
74
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000075DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
76 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000077 : DIEUnit(A->getDwarfVersion(), A->MAI->getCodePointerSize(), UnitTag),
78 CUNode(Node), Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000079}
80
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000081DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000082 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000083 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000084 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
85 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000086 if (SplitLineTable)
Greg Clayton35630c32016-12-01 18:56:29 +000087 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000088}
David Blaikie409dd9c2013-11-19 23:08:21 +000089
Eric Christophera5a79422013-12-09 23:32:48 +000090DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000091 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
92 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000093 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
94 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000095}
96
Eric Christophera5a79422013-12-09 23:32:48 +000097int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000098 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000099 default:
100 break;
101
Paul Robinson91d74812017-03-01 18:32:37 +0000102 // The languages below have valid values in all DWARF versions.
Bill Wendling28fe9e72012-12-06 07:38:10 +0000103 case dwarf::DW_LANG_C:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000104 case dwarf::DW_LANG_C89:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 case dwarf::DW_LANG_C_plus_plus:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000106 return 0;
107
108 case dwarf::DW_LANG_Fortran77:
109 case dwarf::DW_LANG_Fortran90:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000110 return 1;
111
Paul Robinson91d74812017-03-01 18:32:37 +0000112 // The languages below have valid values only if the DWARF version >= 3.
113 case dwarf::DW_LANG_C99:
114 case dwarf::DW_LANG_ObjC:
115 case dwarf::DW_LANG_ObjC_plus_plus:
116 if (DD->getDwarfVersion() >= 3)
117 return 0;
118 break;
119
120 case dwarf::DW_LANG_Fortran95:
121 if (DD->getDwarfVersion() >= 3)
122 return 1;
123 break;
124
125 // Starting with DWARF v4, all defined languages have valid values.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000126 case dwarf::DW_LANG_D:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000127 case dwarf::DW_LANG_Java:
128 case dwarf::DW_LANG_Python:
129 case dwarf::DW_LANG_UPC:
Paul Robinson91d74812017-03-01 18:32:37 +0000130 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000131 return 0;
132 break;
133
134 case dwarf::DW_LANG_Ada83:
135 case dwarf::DW_LANG_Ada95:
136 case dwarf::DW_LANG_Cobol74:
137 case dwarf::DW_LANG_Cobol85:
138 case dwarf::DW_LANG_Modula2:
139 case dwarf::DW_LANG_Pascal83:
140 case dwarf::DW_LANG_PLI:
Paul Robinson91d74812017-03-01 18:32:37 +0000141 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000142 return 1;
143 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000144
Paul Robinson91d74812017-03-01 18:32:37 +0000145 // The languages below are new in DWARF v5.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000146 case dwarf::DW_LANG_BLISS:
147 case dwarf::DW_LANG_C11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000148 case dwarf::DW_LANG_C_plus_plus_03:
149 case dwarf::DW_LANG_C_plus_plus_11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000150 case dwarf::DW_LANG_C_plus_plus_14:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000151 case dwarf::DW_LANG_Dylan:
152 case dwarf::DW_LANG_Go:
153 case dwarf::DW_LANG_Haskell:
154 case dwarf::DW_LANG_OCaml:
155 case dwarf::DW_LANG_OpenCL:
Paul Robinson91d74812017-03-01 18:32:37 +0000156 case dwarf::DW_LANG_RenderScript:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000157 case dwarf::DW_LANG_Rust:
158 case dwarf::DW_LANG_Swift:
Paul Robinson91d74812017-03-01 18:32:37 +0000159 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000160 return 0;
161 break;
162
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000163 case dwarf::DW_LANG_Fortran03:
164 case dwarf::DW_LANG_Fortran08:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000165 case dwarf::DW_LANG_Julia:
166 case dwarf::DW_LANG_Modula3:
Paul Robinson91d74812017-03-01 18:32:37 +0000167 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000168 return 1;
169 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000170 }
171
172 return -1;
173}
174
Manman Ren4dbdc902013-10-31 17:54:35 +0000175/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000176static bool isShareableAcrossCUs(const DINode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000177 // When the MDNode can be part of the type system, the DIE can be shared
178 // across CUs.
179 // Combining type units and cross-CU DIE sharing is lower value (since
180 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
181 // level already) but may be implementable for some value in projects
182 // building multiple independent libraries with LTO and then linking those
183 // together.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000184 return (isa<DIType>(D) ||
185 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000186 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000187}
188
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000189DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000190 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000191 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000192 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000193}
194
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000195void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000196 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000197 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000198 return;
199 }
David Blaikie2ad00162013-11-15 23:09:13 +0000200 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000201}
202
David Blaikie65a74662014-04-25 18:26:14 +0000203void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000204 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000205 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
206 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000207 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000208 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
209 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000210}
211
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000212void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000213 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000214 if (!Form)
215 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000216 assert(Form != dwarf::DW_FORM_implicit_const &&
217 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000218 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000219}
220
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000221void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
222 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000223 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000224}
225
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000226void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000227 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000228 if (!Form)
229 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000230 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000231}
232
David Blaikie65a74662014-04-25 18:26:14 +0000233void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000234 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000235 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000236}
237
David Blaikie65a74662014-04-25 18:26:14 +0000238void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000239 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000240 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000241 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000242 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000243}
244
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000245DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
246 dwarf::Attribute Attribute,
247 dwarf::Form Form,
248 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000249 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000250}
251
David Blaikie65a74662014-04-25 18:26:14 +0000252void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000253 addLabel(Die, (dwarf::Attribute)0, Form, Label);
254}
255
David Blaikie65a74662014-04-25 18:26:14 +0000256void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000257 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000258 if (DD->getDwarfVersion() >= 4)
259 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
260 else
261 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
262}
263
David Blaikie4a2f95f2014-03-18 01:17:26 +0000264unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
265 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
266 : getCU().getOrCreateSourceID(FileName, DirName);
267}
268
David Blaikie65a74662014-04-25 18:26:14 +0000269void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000270 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000271 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
272 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000273 } else {
David Blaikief2443192013-10-21 17:28:37 +0000274 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000275 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000276 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000277 }
278}
279
David Blaikie65a74662014-04-25 18:26:14 +0000280void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000281 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000282 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000283 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000284}
285
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000286void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000287 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000288}
289
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000290void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000291 // Flag the type unit reference as a declaration so that if it contains
292 // members (implicit special members, static data member definitions, member
293 // declarations for definitions in this CU, etc) consumers don't get confused
294 // and think this is a full definition.
295 addFlag(Die, dwarf::DW_AT_declaration);
296
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000297 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000298 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000299}
300
David Blaikie65a74662014-04-25 18:26:14 +0000301void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000302 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000303 const DIEUnit *CU = Die.getUnit();
304 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
305 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000306 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000307 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000308 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000309 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000310 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000311 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000312 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000313}
314
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000315DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000316 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
317 if (N)
318 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000319 return Die;
320}
321
David Blaikie65a74662014-04-25 18:26:14 +0000322void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000323 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000324 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000325 Die.addValue(DIEValueAllocator, Attribute,
326 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000327}
328
David Blaikie65a74662014-04-25 18:26:14 +0000329void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000330 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000331 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000332 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000333 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000334}
335
David Blaikie65a74662014-04-25 18:26:14 +0000336void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000337 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000338 if (Line == 0)
339 return;
David Blaikie101613e2014-02-12 00:11:25 +0000340
David Blaikie4a2f95f2014-03-18 01:17:26 +0000341 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000342 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000343 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
344 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000345}
346
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000347void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000348 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000349
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000350 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
351 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000352}
353
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000354void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000355 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000356
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000357 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000358}
359
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000360void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000361 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000362
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000363 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000364}
365
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000366void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000367 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000368
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000369 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000370}
371
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000372void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000373 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000374
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000375 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000376}
377
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000378void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000379 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000380}
381
Devang Patel0e821f42011-04-12 23:21:44 +0000382/* Byref variables, in Blocks, are declared by the programmer as "SomeType
383 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
384 gives the variable VarName either the struct, or a pointer to the struct, as
385 its type. This is necessary for various behind-the-scenes things the
386 compiler needs to do with by-reference variables in Blocks.
387
388 However, as far as the original *programmer* is concerned, the variable
389 should still have type 'SomeType', as originally declared.
390
391 The function getBlockByrefType dives into the __Block_byref_x_VarName
392 struct to find the original type of the variable, which is then assigned to
393 the variable's Debug Information Entry as its real type. So far, so good.
394 However now the debugger will expect the variable VarName to have the type
395 SomeType. So we need the location attribute for the variable to be an
396 expression that explains to the debugger how to navigate through the
397 pointers and struct to find the actual variable of type SomeType.
398
399 The following function does just that. We start by getting
400 the "normal" location for the variable. This will be the location
401 of either the struct __Block_byref_x_VarName or the pointer to the
402 struct __Block_byref_x_VarName.
403
404 The struct will look something like:
405
406 struct __Block_byref_x_VarName {
407 ... <various fields>
408 struct __Block_byref_x_VarName *forwarding;
409 ... <various other fields>
410 SomeType VarName;
411 ... <maybe more fields>
412 };
413
414 If we are given the struct directly (as our starting point) we
415 need to tell the debugger to:
416
417 1). Add the offset of the forwarding field.
418
419 2). Follow that pointer to get the real __Block_byref_x_VarName
420 struct to use (the real one may have been copied onto the heap).
421
422 3). Add the offset for the field VarName, to find the actual variable.
423
424 If we started with a pointer to the struct, then we need to
425 dereference that pointer first, before the other steps.
426 Translating this into DWARF ops, we will need to append the following
427 to the current location description for the variable:
428
429 DW_OP_deref -- optional, if we start with a pointer
430 DW_OP_plus_uconst <forward_fld_offset>
431 DW_OP_deref
432 DW_OP_plus_uconst <varName_fld_offset>
433
434 That is what this function does. */
435
David Blaikie65a74662014-04-25 18:26:14 +0000436void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000437 dwarf::Attribute Attribute,
438 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000439 const DIType *Ty = DV.getType();
440 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000441 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000442 bool isPointer = false;
443
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000444 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000445
446 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000447 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000448 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000449 isPointer = true;
450 }
451
Devang Patel0e821f42011-04-12 23:21:44 +0000452 // Find the __forwarding field and the variable field in the __Block_byref
453 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000454 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000455 const DIDerivedType *varField = nullptr;
456 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000457
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000458 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000459 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000460 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000461 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000462 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000463 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000464 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000465 }
466
467 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000468 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
469 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000470
471 // Decode the original location, and use that as the start of the byref
472 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000473 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl956484b2017-03-20 21:35:09 +0000474 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000475 if (Location.isIndirect())
476 DwarfExpr.setMemoryLocationKind();
Devang Patel0e821f42011-04-12 23:21:44 +0000477
Adrian Prantl956484b2017-03-20 21:35:09 +0000478 SmallVector<uint64_t, 9> Ops;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000479 if (Location.isIndirect() && Location.getOffset()) {
Adrian Prantl956484b2017-03-20 21:35:09 +0000480 Ops.push_back(dwarf::DW_OP_plus);
481 Ops.push_back(Location.getOffset());
Adrian Prantl956484b2017-03-20 21:35:09 +0000482 }
Devang Patel0e821f42011-04-12 23:21:44 +0000483 // If we started with a pointer to the __Block_byref... struct, then
484 // the first thing we need to do is dereference the pointer (DW_OP_deref).
485 if (isPointer)
Adrian Prantl956484b2017-03-20 21:35:09 +0000486 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000487
488 // Next add the offset for the '__forwarding' field:
489 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
490 // adding the offset if it's 0.
491 if (forwardingFieldOffset > 0) {
Adrian Prantl956484b2017-03-20 21:35:09 +0000492 Ops.push_back(dwarf::DW_OP_plus);
493 Ops.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000494 }
495
496 // Now dereference the __forwarding field to get to the real __Block_byref
497 // struct: DW_OP_deref.
Adrian Prantl956484b2017-03-20 21:35:09 +0000498 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000499
500 // Now that we've got the real __Block_byref... struct, add the offset
501 // for the variable's field to get to the location of the actual variable:
502 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
503 if (varFieldOffset > 0) {
Adrian Prantl956484b2017-03-20 21:35:09 +0000504 Ops.push_back(dwarf::DW_OP_plus);
505 Ops.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000506 }
Adrian Prantl956484b2017-03-20 21:35:09 +0000507
508 DIExpressionCursor Cursor(Ops);
509 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000510 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantl956484b2017-03-20 21:35:09 +0000511 return;
512 DwarfExpr.addExpression(std::move(Cursor));
Devang Patel0e821f42011-04-12 23:21:44 +0000513
514 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000515 addBlock(Die, Attribute, DwarfExpr.finalize());
Devang Patel0e821f42011-04-12 23:21:44 +0000516}
517
Manman Renb3388602013-10-05 01:43:03 +0000518/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000519static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000520 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
521 // FIXME: Enums without a fixed underlying type have unknown signedness
522 // here, leading to incorrectly emitted constants.
523 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
524 return false;
525
526 // (Pieces of) aggregate types that get hacked apart by SROA may be
527 // represented by a constant. Encode them as unsigned bytes.
528 return true;
529 }
530
531 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000532 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000533 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000534 // null pointer constant emission.
535 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
536 // here, but accept them for now due to a bug in SROA producing bogus
537 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000538 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000539 T == dwarf::DW_TAG_ptr_to_member_type ||
540 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000541 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000542 return true;
543 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
544 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000545 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000546 DITypeRef Deriv = DTy->getBaseType();
547 assert(Deriv && "Expected valid base type");
548 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000549 }
Manman Renb3388602013-10-05 01:43:03 +0000550
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000551 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000552 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000553 assert((Encoding == dwarf::DW_ATE_unsigned ||
554 Encoding == dwarf::DW_ATE_unsigned_char ||
555 Encoding == dwarf::DW_ATE_signed ||
556 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000557 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
558 Encoding == dwarf::DW_ATE_boolean ||
559 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
560 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000561 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000562 return Encoding == dwarf::DW_ATE_unsigned ||
563 Encoding == dwarf::DW_ATE_unsigned_char ||
564 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
565 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000566}
567
David Blaikie65a74662014-04-25 18:26:14 +0000568void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000569 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000570 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000571 APFloat FPImm = MO.getFPImm()->getValueAPF();
572
573 // Get the raw data form of the floating point.
574 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000575 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000576
577 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000578 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000579 int Incr = (LittleEndian ? 1 : -1);
580 int Start = (LittleEndian ? 0 : NumBytes - 1);
581 int Stop = (LittleEndian ? NumBytes : -1);
582
583 // Output the constant to DWARF one byte at a time.
584 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000585 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000586
David Blaikief2443192013-10-21 17:28:37 +0000587 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000588}
589
David Blaikie65a74662014-04-25 18:26:14 +0000590void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000591 // Pass this down to addConstantValue as an unsigned bag of bits.
592 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000593}
594
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000595void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000596 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000597 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000598}
599
David Blaikiec05c8f42014-05-11 15:47:39 +0000600void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000601 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000602 assert(MO.isImm() && "Invalid machine operand!");
603
David Blaikie60cae1b2014-05-11 16:08:41 +0000604 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000605}
606
David Blaikie60cae1b2014-05-11 16:08:41 +0000607void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000608 // FIXME: This is a bit conservative/simple - it emits negative values always
609 // sign extended to 64 bits rather than minimizing the number of bytes.
610 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000611 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000612}
613
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000614void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000615 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
616}
617
David Blaikie65a74662014-04-25 18:26:14 +0000618void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000619 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000620 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000621 addConstantValue(Die, Unsigned,
622 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000623 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000624 }
625
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000626 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000627
628 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000629 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000630
631 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000632 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000633
634 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000635 for (int i = 0; i < NumBytes; i++) {
636 uint8_t c;
637 if (LittleEndian)
638 c = Ptr64[i / 8] >> (8 * (i & 7));
639 else
640 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000641 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000642 }
Devang Patel0e821f42011-04-12 23:21:44 +0000643
David Blaikief2443192013-10-21 17:28:37 +0000644 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000645}
646
Paul Robinson857b4432015-03-10 22:44:45 +0000647void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000648 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000649 addString(Die,
650 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
651 : dwarf::DW_AT_MIPS_linkage_name,
652 GlobalValue::getRealLinkageName(LinkageName));
653}
654
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000655void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000656 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000657 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000658 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000659 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000660 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000661 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000662 }
Devang Patel0e821f42011-04-12 23:21:44 +0000663}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000664
Adrian Prantl1d12b882017-04-26 22:56:44 +0000665/// Add thrown types.
666void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
667 for (const auto *Ty : ThrownTypes) {
668 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
669 addType(TT, cast<DIType>(Ty));
670 }
671}
672
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000673DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
674 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000675 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000676 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000677 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000678 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000679 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000680 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000681 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000682 if (auto *M = dyn_cast<DIModule>(Context))
683 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000684 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000685}
686
David Blaikiea0e3c752017-02-03 00:44:18 +0000687DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000688 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000689 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000690
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000691 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000692 return TyDIE;
693
694 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000695 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000696
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000697 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000698
Adrian Prantl19aadf52017-03-13 22:56:14 +0000699 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000700 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000701}
702
David Blaikied51dea62015-07-01 18:07:16 +0000703DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000704 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000705 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000706
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000707 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000708
David Blaikieee11f222014-04-12 05:35:59 +0000709 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000710 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000711 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000712
Victor Leschuke1156c22016-10-31 19:09:38 +0000713 // DW_TAG_atomic_type is not supported in DWARF < 5
714 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
715 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
716
Manman Renf4c339e2013-10-29 22:49:29 +0000717 // Construct the context before querying for the existence of the DIE in case
718 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000719 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000720 DIE *ContextDIE = getOrCreateContextDIE(Context);
721 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000722
David Blaikie65a74662014-04-25 18:26:14 +0000723 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000724 return TyDIE;
725
Amjad Aboud72da9392016-04-30 01:44:07 +0000726 // Create new type.
727 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000728
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000729 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000730
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000731 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000732 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000733 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000734 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000735 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000736 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
737 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000738 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000739 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000740 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000741 }
David Blaikie65a74662014-04-25 18:26:14 +0000742 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000743 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000744 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000745 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000746
David Blaikie65a74662014-04-25 18:26:14 +0000747 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000748}
749
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000750void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
751 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000752 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000753 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000754 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000755 // A runtime language of 0 actually means C/C++ and that any
756 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000757 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000758 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000759 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000760 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000761
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000762 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
763 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000764 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000765 }
Devang Patel0e821f42011-04-12 23:21:44 +0000766}
767
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000768void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000769 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000770 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000771 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000772}
773
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000774std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000775 if (!Context)
776 return "";
777
778 // FIXME: Decide whether to implement this for non-C++ languages.
779 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
780 return "";
781
Eric Christopher8dba0d52013-10-19 01:04:42 +0000782 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000783 SmallVector<const DIScope *, 1> Parents;
784 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000785 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000786 if (Context->getScope())
787 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000788 else
789 // Structure, etc types will have a NULL context if they're at the top
790 // level.
791 break;
792 }
793
794 // Reverse iterate over our list to go from the outermost construct to the
795 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000796 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000797 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000798 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000799 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000800 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000801 CS += Name;
802 CS += "::";
803 }
804 }
805 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000806}
807
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000808void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000809 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000810 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000811 // Add name if not anonymous or intermediate type.
812 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000813 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000814
David Blaikiefac56122013-10-04 23:21:16 +0000815 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000816 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000817 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000818
David Blaikie65a74662014-04-25 18:26:14 +0000819 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000820 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000821
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000822 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000823 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000824}
825
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000826void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000827 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000828 StringRef Name = DTy->getName();
829 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000830 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000831
832 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000833 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000834 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000835 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000836
837 // Add name if not anonymous or intermediate type.
838 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000839 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000840
841 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000842 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000843 && Tag != dwarf::DW_TAG_ptr_to_member_type
844 && Tag != dwarf::DW_TAG_reference_type
845 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000846 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000847
David Blaikie5d3249b2013-01-07 05:51:15 +0000848 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000849 addDIEEntry(
850 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000851 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000852 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000853 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000854 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000855
856 // If DWARF address space value is other than None, add it for pointer and
857 // reference types as DW_AT_address_class.
858 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
859 Tag == dwarf::DW_TAG_reference_type))
860 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
861 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000862}
863
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000864void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000865 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000866 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000867 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000868 assert(i == N-1 && "Unspecified parameter must be the last argument");
869 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
870 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000871 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000872 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000873 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000874 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000875 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000876 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000877}
878
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000879void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000880 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000881 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000882 if (Elements.size())
883 if (auto RTy = resolve(Elements[0]))
884 addType(Buffer, RTy);
885
886 bool isPrototyped = true;
887 if (Elements.size() == 2 && !Elements[1])
888 isPrototyped = false;
889
890 constructSubprogramArguments(Buffer, Elements);
891
892 // Add prototype flag if we're dealing with a C language and the function has
893 // been prototyped.
894 uint16_t Language = getLanguage();
895 if (isPrototyped &&
896 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
897 Language == dwarf::DW_LANG_ObjC))
898 addFlag(Buffer, dwarf::DW_AT_prototyped);
899
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000900 // Add a DW_AT_calling_convention if this has an explicit convention.
901 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
902 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
903 CTy->getCC());
904
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000905 if (CTy->isLValueReference())
906 addFlag(Buffer, dwarf::DW_AT_reference);
907
908 if (CTy->isRValueReference())
909 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
910}
911
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000912void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000913 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000914 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000915
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000916 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000917 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000918
919 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000920 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000921 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000922 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000923 case dwarf::DW_TAG_enumeration_type:
924 constructEnumTypeDIE(Buffer, CTy);
925 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000926 case dwarf::DW_TAG_structure_type:
927 case dwarf::DW_TAG_union_type:
928 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000929 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000930 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000931 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000932 if (!Element)
933 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000934 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000935 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000936 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000937 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000938 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000939 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
940 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000941 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000942 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000943 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000944 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000945 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000946 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
947 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000948 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000949 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000950 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000951 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000952 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000953 if (!GetterName.empty())
954 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000955 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000956 if (!SetterName.empty())
957 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000958 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000959 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000960 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000961 }
Devang Patel0e821f42011-04-12 23:21:44 +0000962 }
963
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000964 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000965 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000966
Adrian Prantlcf44e782014-12-19 00:01:20 +0000967 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
968 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +0000969 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000970 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +0000971 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000972 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000973
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000974 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000975 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000976
Eric Christopherda011dd2011-12-16 23:42:42 +0000977 // Add template parameters to a class, structure or union types.
978 // FIXME: The support isn't in the metadata for this yet.
979 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000980 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000981 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000982
983 break;
984 }
985 default:
986 break;
987 }
988
989 // Add name if not anonymous or intermediate type.
990 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000991 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000992
Eric Christopher775cbd22012-05-22 18:45:18 +0000993 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000994 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000995 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000996 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000997 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000998 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000999 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001000 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001001 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001002 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001003
1004 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001005 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001006 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001007
1008 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001009 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001010 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001011
1012 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001013 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001014 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001015 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001016 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001017
1018 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001019 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001020 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1021 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001022 }
1023}
1024
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001025void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001026 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001027 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001028 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001029 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001030 if (TP->getType())
1031 addType(ParamDIE, resolve(TP->getType()));
1032 if (!TP->getName().empty())
1033 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001034}
1035
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001036void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001037 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001038 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001039
1040 // Add the type if there is one, template template and template parameter
1041 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001042 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1043 addType(ParamDIE, resolve(VP->getType()));
1044 if (!VP->getName().empty())
1045 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1046 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001047 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001048 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001049 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001050 // We cannot describe the location of dllimport'd entities: the
1051 // computation of their address requires loads from the IAT.
1052 if (!GV->hasDLLImportStorageClass()) {
1053 // For declaration non-type template parameters (such as global values
1054 // and functions)
1055 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1056 addOpAddress(*Loc, Asm->getSymbol(GV));
1057 // Emit DW_OP_stack_value to use the address as the immediate value of
1058 // the parameter, rather than a pointer to it.
1059 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1060 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1061 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001062 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001063 assert(isa<MDString>(Val));
1064 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1065 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001066 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001067 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001068 }
1069 }
Devang Patel0e821f42011-04-12 23:21:44 +00001070}
1071
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001072DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001073 // Construct the context before querying for the existence of the DIE in case
1074 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001075 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001076
David Blaikie65a74662014-04-25 18:26:14 +00001077 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001078 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001079 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001080
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001081 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001082 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001083 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001084 else
1085 Name = "(anonymous namespace)";
1086 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001087 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001088 addSourceLine(NDie, NS);
Adrian Prantldbfda632016-11-03 19:42:02 +00001089 if (NS->getExportSymbols())
1090 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001091 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001092}
1093
Adrian Prantl08a388b2015-06-30 02:13:04 +00001094DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1095 // Construct the context before querying for the existence of the DIE in case
1096 // such construction creates the DIE.
1097 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1098
1099 if (DIE *MDie = getDIE(M))
1100 return MDie;
1101 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1102
1103 if (!M->getName().empty()) {
1104 addString(MDie, dwarf::DW_AT_name, M->getName());
1105 addGlobalName(M->getName(), MDie, M->getScope());
1106 }
1107 if (!M->getConfigurationMacros().empty())
1108 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1109 M->getConfigurationMacros());
1110 if (!M->getIncludePath().empty())
1111 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1112 if (!M->getISysRoot().empty())
1113 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1114
1115 return &MDie;
1116}
1117
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001118DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001119 // Construct the context before querying for the existence of the DIE in case
1120 // such construction creates the DIE (as is the case for member function
1121 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001122 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001123 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001124
David Blaikie65a74662014-04-25 18:26:14 +00001125 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001126 return SPDie;
1127
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001128 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001129 if (!Minimal) {
1130 // Add subprogram definitions to the CU die directly.
1131 ContextDIE = &getUnitDie();
1132 // Build the decl now to ensure it precedes the definition.
1133 getOrCreateSubprogramDIE(SPDecl);
1134 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001135 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001136
1137 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001138 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001139
David Blaikie6cfa9e12014-06-05 00:25:26 +00001140 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001141 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001142 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001143 return &SPDie;
1144
David Blaikie7f916862014-05-27 18:37:38 +00001145 applySubprogramAttributes(SP, SPDie);
1146 return &SPDie;
1147}
1148
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001149bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001150 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001151 DIE *DeclDie = nullptr;
1152 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001153 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001154 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001155 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001156 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001157 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001158 // Look at the Decl's linkage name only if we emitted it.
1159 if (DD->useAllLinkageNames())
1160 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001161 unsigned DeclID =
1162 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1163 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1164 if (DeclID != DefID)
1165 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1166
1167 if (SP->getLine() != SPDecl->getLine())
1168 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001169 }
Rafael Espindola79278362011-11-10 22:34:29 +00001170
Devang Patel89543712011-08-15 17:24:54 +00001171 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001172 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001173
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001174 // 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 +00001175 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001176 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1177 LinkageName == DeclLinkageName) &&
1178 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001179 if (DeclLinkageName.empty() &&
1180 // Always emit it for abstract subprograms.
1181 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001182 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001183
David Blaikie3a443c22014-11-04 22:12:25 +00001184 if (!DeclDie)
1185 return false;
1186
1187 // Refer to the function declaration where all the other attributes will be
1188 // found.
1189 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1190 return true;
1191}
1192
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001193void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001194 bool SkipSPAttributes) {
1195 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1196 // and its source location.
1197 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001198 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001199 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001200 if (applySubprogramDefinitionAttributes(SP, SPDie))
1201 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001202
Devang Patel89543712011-08-15 17:24:54 +00001203 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001204 if (!SP->getName().empty())
1205 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001206
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001207 if (!SkipSPSourceLocation)
1208 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001209
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001210 // Skip the rest of the attributes under -gmlt to save space.
1211 if (SkipSPAttributes)
1212 return;
Devang Patel89543712011-08-15 17:24:54 +00001213
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001214 // Add the prototype if we have a prototype and we have a C like
1215 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001216 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001217 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001218 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001219 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001220 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001221
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001222 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001223 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001224 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001225 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001226 CC = SPTy->getCC();
1227 }
1228
1229 // Add a DW_AT_calling_convention if this has an explicit convention.
1230 if (CC && CC != dwarf::DW_CC_normal)
1231 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001232
Eric Christopher691281b2013-10-21 17:48:51 +00001233 // Add a return type. If this is a type like a C/C++ void type we don't add a
1234 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001235 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001236 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001237 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001238
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001239 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001240 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001241 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001242 if (SP->getVirtualIndex() != -1u) {
1243 DIELoc *Block = getDIELoc();
1244 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1245 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1246 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1247 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001248 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001249 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001250 }
1251
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001252 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001253 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001254
Devang Patel89543712011-08-15 17:24:54 +00001255 // Add arguments. Do not add arguments for subprogram definition. They will
1256 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001257 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001258 }
1259
Adrian Prantl1d12b882017-04-26 22:56:44 +00001260 addThrownTypes(SPDie, SP->getThrownTypes());
1261
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001262 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001263 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001264
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001265 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001266 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001267
David Blaikiec53e18d2016-05-24 21:19:28 +00001268 if (DD->useAppleExtensionAttributes()) {
1269 if (SP->isOptimized())
1270 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001271
David Blaikiec53e18d2016-05-24 21:19:28 +00001272 if (unsigned isa = Asm->getISAEncoding())
1273 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1274 }
Devang Patel89543712011-08-15 17:24:54 +00001275
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001276 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001277 addFlag(SPDie, dwarf::DW_AT_reference);
1278
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001279 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001280 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1281
Adrian Prantlc19dee72016-08-17 16:02:43 +00001282 if (SP->isNoReturn())
1283 addFlag(SPDie, dwarf::DW_AT_noreturn);
1284
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001285 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001286 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1287 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001288 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001289 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1290 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001291 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001292 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1293 dwarf::DW_ACCESS_public);
1294
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001295 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001296 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001297
1298 if (SP->isMainSubprogram())
1299 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001300}
1301
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001302void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001303 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001304 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001305 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001306
Bill Wendling28fe9e72012-12-06 07:38:10 +00001307 // The LowerBound value defines the lower bounds which is typically zero for
1308 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1309 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001310 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001311 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001312 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001313 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001314
Bill Wendling3495f9b2012-12-06 07:55:19 +00001315 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001316 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001317
David Blaikie32b0f362014-10-01 00:56:55 +00001318 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001319 // FIXME: An unbounded array should reference the expression that defines
1320 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001321 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001322}
1323
David Blaikie871c2d92014-11-02 03:09:13 +00001324DIE *DwarfUnit::getIndexTyDie() {
1325 if (IndexTyDie)
1326 return IndexTyDie;
1327 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001328 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
David Blaikie871c2d92014-11-02 03:09:13 +00001329 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1330 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1331 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1332 dwarf::DW_ATE_unsigned);
1333 return IndexTyDie;
1334}
1335
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001336void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001337 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001338 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001339
Eric Christopher0df08e22013-08-08 07:40:37 +00001340 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001341 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001342
1343 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001344 // FIXME: This type should be passed down from the front end
1345 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001346 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001347
1348 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001349 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001350 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001351 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001352 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001353 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001354 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001355 }
1356}
1357
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001358void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1359 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001360
1361 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001362 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001363 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001364 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001365 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001366 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001367 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001368 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001369 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1370 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001371 }
1372 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001373 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001374 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001375 addType(Buffer, DTy);
1376 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001377 }
Devang Patel0e821f42011-04-12 23:21:44 +00001378}
1379
Eric Christophera5a79422013-12-09 23:32:48 +00001380void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001381 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001382 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001383 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001384 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001385 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001386 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001387 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001388 if (!NDie)
1389 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001390 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001391 }
1392}
1393
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001394void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001395 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1396 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001397 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001398 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001399
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001400 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001401
1402 addSourceLine(MemberDie, DT);
1403
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001404 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001405
1406 // For C++, virtual base classes are not at fixed offset. Use following
1407 // expression to extract appropriate offset from vtable.
1408 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1409
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001410 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001411 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1412 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1413 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001414 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001415 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1416 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1417 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001418
David Blaikief2443192013-10-21 17:28:37 +00001419 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001420 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001421 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001422 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001423 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001424 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001425
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001426 bool IsBitfield = FieldSize && Size != FieldSize;
1427 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001428 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001429 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001430 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001431 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001432
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001433 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001434 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1435 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1436 // which can't be done with bitfields. Thus we use FieldSize here.
1437 uint32_t AlignInBits = FieldSize;
1438 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001439 // The bits from the start of the storage unit to the start of the field.
1440 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001441 // The byte offset of the field's aligned storage unit inside the struct.
1442 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001443
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001444 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001445 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1446 uint64_t FieldOffset = (HiMark - FieldSize);
1447 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001448
Adrian Prantle5447572016-04-28 15:37:52 +00001449 // Maybe we need to work from the other end.
1450 if (Asm->getDataLayout().isLittleEndian())
1451 Offset = FieldSize - (Offset + Size);
1452
1453 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1454 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001455 } else {
1456 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001457 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001458 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001459 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001460 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001461 if (AlignInBytes)
1462 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1463 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001464 }
David Blaikie2ada1162014-01-03 00:48:38 +00001465
David Blaikie22b29a52014-01-03 01:30:05 +00001466 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001467 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001468 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1469 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001470 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001471 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001472 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1473 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001474 }
Devang Patel0e821f42011-04-12 23:21:44 +00001475
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001476 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001477 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001478 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001479 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001480 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001481 dwarf::DW_ACCESS_private);
1482 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001483 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001484 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001485 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001486 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001487 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001488 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001489
1490 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001491 if (DINode *PNode = DT->getObjCProperty())
1492 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001493 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1494 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001495
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001496 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001497 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001498}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001499
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001500DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001501 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001502 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001503
Manman Renc6b63922013-10-14 20:33:57 +00001504 // Construct the context before querying for the existence of the DIE in case
1505 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001506 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001507 assert(dwarf::isType(ContextDIE->getTag()) &&
1508 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001509
David Blaikie65a74662014-04-25 18:26:14 +00001510 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001511 return StaticMemberDIE;
1512
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001513 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001514
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001515 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001516
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001517 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001518 addType(StaticMemberDIE, Ty);
1519 addSourceLine(StaticMemberDIE, DT);
1520 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1521 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1522
1523 // FIXME: We could omit private if the parent is a class_type, and
1524 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001525 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001526 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1527 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001528 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001529 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1530 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001531 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001532 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1533 dwarf::DW_ACCESS_public);
1534
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001535 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001536 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001537 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001538 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001539
Victor Leschuka37660c2016-10-26 21:32:29 +00001540 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001541 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1542 AlignInBytes);
1543
David Blaikie65a74662014-04-25 18:26:14 +00001544 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001545}
David Blaikie6b288cf2013-10-30 20:42:41 +00001546
Paul Robinsoncddd6042017-02-28 20:24:55 +00001547void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001548 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001549 Asm->OutStreamer->AddComment("Length of Unit");
Greg Clayton35630c32016-12-01 18:56:29 +00001550 Asm->EmitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001551
Lang Hames9ff69c82015-04-24 19:11:51 +00001552 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001553 unsigned Version = DD->getDwarfVersion();
1554 Asm->EmitInt16(Version);
1555
1556 // DWARF v5 reorders the address size and adds a unit type.
1557 if (Version >= 5) {
1558 Asm->OutStreamer->AddComment("DWARF Unit Type");
1559 Asm->EmitInt8(UT);
1560 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +00001561 Asm->EmitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001562 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001563
David Blaikie6896e192013-12-04 23:39:02 +00001564 // We share one abbreviations table across all units so it's always at the
1565 // start of the section. Use a relocatable offset where needed to ensure
1566 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001567 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001568 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001569 if (UseOffsets)
1570 Asm->EmitInt32(0);
1571 else
1572 Asm->emitDwarfSymbolReference(
1573 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001574
Paul Robinsoncddd6042017-02-28 20:24:55 +00001575 if (Version <= 4) {
1576 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +00001577 Asm->EmitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001578 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001579}
David Blaikiebc563272013-12-13 21:33:40 +00001580
Rafael Espindola063d7252015-03-10 16:58:10 +00001581void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Paul Robinsoncddd6042017-02-28 20:24:55 +00001582 DwarfUnit::emitCommonHeader(UseOffsets,
1583 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1584 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001585 Asm->OutStreamer->AddComment("Type Signature");
1586 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1587 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001588 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001589 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1590 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001591}
1592
David Blaikiecafd9622014-11-02 08:51:37 +00001593bool DwarfTypeUnit::isDwoUnit() const {
1594 // Since there are no skeleton type units, all type units are dwo type units
1595 // when split DWARF is being used.
1596 return DD->useSplitDwarf();
1597}
David Blaikiea0e3c752017-02-03 00:44:18 +00001598
1599void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1600 const DIScope *Context) {
1601 getCU().addGlobalNameForTypeUnit(Name, Context);
1602}
1603
1604void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1605 const DIScope *Context) {
1606 getCU().addGlobalTypeUnitType(Ty, Context);
1607}
David Blaikie85366ac2017-04-22 07:53:44 +00001608
1609const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1610 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1611 return nullptr;
1612 if (isDwoUnit())
1613 return nullptr;
1614 return getSection()->getBeginSymbol();
1615}