blob: 28e63c2ae2c69c0bb255cdb0994dfe92fbd27263 [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"
Eugene Zelenko1804a772016-08-25 00:45:04 +000021#include "llvm/ADT/None.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000022#include "llvm/ADT/iterator_range.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"
David Blaikieb3bde2e2017-11-17 01:07:10 +000025#include "llvm/CodeGen/TargetLoweringObjectFile.h"
26#include "llvm/CodeGen/TargetRegisterInfo.h"
27#include "llvm/CodeGen/TargetSubtargetInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000028#include "llvm/IR/Constants.h"
29#include "llvm/IR/DataLayout.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000030#include "llvm/IR/GlobalValue.h"
31#include "llvm/IR/Metadata.h"
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000032#include "llvm/MC/MCAsmInfo.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000033#include "llvm/MC/MCDwarf.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000034#include "llvm/MC/MCSection.h"
35#include "llvm/MC/MCStreamer.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000036#include "llvm/MC/MachineLocation.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000037#include "llvm/Support/Casting.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000038#include "llvm/Support/CommandLine.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.
David Blaikie488393f2017-05-12 01:13:45 +0000176bool DwarfUnit::isShareableAcrossCUs(const DINode *D) const {
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.
David Blaikie488393f2017-05-12 01:13:45 +0000184 if (isDwoUnit() && !DD->shareAcrossDWOCUs())
185 return false;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000186 return (isa<DIType>(D) ||
187 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000188 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000189}
190
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000191DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000192 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000193 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000194 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000195}
196
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000197void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000198 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000199 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000200 return;
201 }
David Blaikie2ad00162013-11-15 23:09:13 +0000202 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000203}
204
David Blaikie65a74662014-04-25 18:26:14 +0000205void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000206 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000207 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
208 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000209 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000210 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
211 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000212}
213
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000214void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000215 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000216 if (!Form)
217 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000218 assert(Form != dwarf::DW_FORM_implicit_const &&
219 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000220 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000221}
222
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000223void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
224 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000225 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000226}
227
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000228void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000229 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000230 if (!Form)
231 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000232 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000233}
234
David Blaikie65a74662014-04-25 18:26:14 +0000235void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000236 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000237 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000238}
239
David Blaikie65a74662014-04-25 18:26:14 +0000240void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000241 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000242 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000243 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000244 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000245}
246
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000247DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
248 dwarf::Attribute Attribute,
249 dwarf::Form Form,
250 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000251 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000252}
253
David Blaikie65a74662014-04-25 18:26:14 +0000254void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000255 addLabel(Die, (dwarf::Attribute)0, Form, Label);
256}
257
David Blaikie65a74662014-04-25 18:26:14 +0000258void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000259 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000260 if (DD->getDwarfVersion() >= 4)
261 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
262 else
263 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
264}
265
Paul Robinson29f5f982018-01-09 23:31:48 +0000266unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName,
267 StringRef DirName,
268 MD5::MD5Result *Checksum) {
269 return SplitLineTable
270 ? SplitLineTable->getFile(DirName, FileName, Checksum)
271 : getCU().getOrCreateSourceID(FileName, DirName, Checksum);
David Blaikie4a2f95f2014-03-18 01:17:26 +0000272}
273
David Blaikie65a74662014-04-25 18:26:14 +0000274void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000275 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000276 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
277 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000278 } else {
David Blaikief2443192013-10-21 17:28:37 +0000279 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000280 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000281 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000282 }
283}
284
David Blaikie65a74662014-04-25 18:26:14 +0000285void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000286 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000287 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000288 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000289}
290
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000291void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000292 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000293}
294
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000295void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000296 // Flag the type unit reference as a declaration so that if it contains
297 // members (implicit special members, static data member definitions, member
298 // declarations for definitions in this CU, etc) consumers don't get confused
299 // and think this is a full definition.
300 addFlag(Die, dwarf::DW_AT_declaration);
301
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000302 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000303 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000304}
305
David Blaikie65a74662014-04-25 18:26:14 +0000306void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000307 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000308 const DIEUnit *CU = Die.getUnit();
309 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
310 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000311 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000312 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000313 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000314 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000315 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000316 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000317 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000318}
319
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000320DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000321 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
322 if (N)
323 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000324 return Die;
325}
326
David Blaikie65a74662014-04-25 18:26:14 +0000327void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000328 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000329 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000330 Die.addValue(DIEValueAllocator, Attribute,
331 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000332}
333
David Blaikie65a74662014-04-25 18:26:14 +0000334void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000335 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000336 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000337 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000338 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000339}
340
David Blaikie65a74662014-04-25 18:26:14 +0000341void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000342 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000343 if (Line == 0)
344 return;
David Blaikie101613e2014-02-12 00:11:25 +0000345
Paul Robinson29f5f982018-01-09 23:31:48 +0000346 unsigned FileID = getOrCreateSourceID(File, Directory, nullptr);
Devang Patel0e821f42011-04-12 23:21:44 +0000347 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000348 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
349 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000350}
351
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000352void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000353 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000354
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000355 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
356 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000357}
358
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000359void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000360 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000361
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000362 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000363}
364
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000365void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000366 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000367
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000368 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000369}
370
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000371void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000372 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000373
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000374 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000375}
376
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000377void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000378 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000379
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000380 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000381}
382
Devang Patel0e821f42011-04-12 23:21:44 +0000383/* Byref variables, in Blocks, are declared by the programmer as "SomeType
384 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
385 gives the variable VarName either the struct, or a pointer to the struct, as
386 its type. This is necessary for various behind-the-scenes things the
387 compiler needs to do with by-reference variables in Blocks.
388
389 However, as far as the original *programmer* is concerned, the variable
390 should still have type 'SomeType', as originally declared.
391
392 The function getBlockByrefType dives into the __Block_byref_x_VarName
393 struct to find the original type of the variable, which is then assigned to
394 the variable's Debug Information Entry as its real type. So far, so good.
395 However now the debugger will expect the variable VarName to have the type
396 SomeType. So we need the location attribute for the variable to be an
397 expression that explains to the debugger how to navigate through the
398 pointers and struct to find the actual variable of type SomeType.
399
400 The following function does just that. We start by getting
401 the "normal" location for the variable. This will be the location
402 of either the struct __Block_byref_x_VarName or the pointer to the
403 struct __Block_byref_x_VarName.
404
405 The struct will look something like:
406
407 struct __Block_byref_x_VarName {
408 ... <various fields>
409 struct __Block_byref_x_VarName *forwarding;
410 ... <various other fields>
411 SomeType VarName;
412 ... <maybe more fields>
413 };
414
415 If we are given the struct directly (as our starting point) we
416 need to tell the debugger to:
417
418 1). Add the offset of the forwarding field.
419
420 2). Follow that pointer to get the real __Block_byref_x_VarName
421 struct to use (the real one may have been copied onto the heap).
422
423 3). Add the offset for the field VarName, to find the actual variable.
424
425 If we started with a pointer to the struct, then we need to
426 dereference that pointer first, before the other steps.
427 Translating this into DWARF ops, we will need to append the following
428 to the current location description for the variable:
429
430 DW_OP_deref -- optional, if we start with a pointer
431 DW_OP_plus_uconst <forward_fld_offset>
432 DW_OP_deref
433 DW_OP_plus_uconst <varName_fld_offset>
434
435 That is what this function does. */
436
David Blaikie65a74662014-04-25 18:26:14 +0000437void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000438 dwarf::Attribute Attribute,
439 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000440 const DIType *Ty = DV.getType();
441 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000442 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000443 bool isPointer = false;
444
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000445 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000446
447 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000448 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000449 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000450 isPointer = true;
451 }
452
Devang Patel0e821f42011-04-12 23:21:44 +0000453 // Find the __forwarding field and the variable field in the __Block_byref
454 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000455 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000456 const DIDerivedType *varField = nullptr;
457 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000458
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000459 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000460 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000461 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000462 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000463 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000464 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000465 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000466 }
467
468 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000469 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
470 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000471
472 // Decode the original location, and use that as the start of the byref
473 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000474 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl956484b2017-03-20 21:35:09 +0000475 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000476 if (Location.isIndirect())
477 DwarfExpr.setMemoryLocationKind();
Devang Patel0e821f42011-04-12 23:21:44 +0000478
Adrian Prantl2049c0d2017-08-02 15:22:17 +0000479 SmallVector<uint64_t, 6> Ops;
Devang Patel0e821f42011-04-12 23:21:44 +0000480 // If we started with a pointer to the __Block_byref... struct, then
481 // the first thing we need to do is dereference the pointer (DW_OP_deref).
482 if (isPointer)
Adrian Prantl956484b2017-03-20 21:35:09 +0000483 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000484
485 // Next add the offset for the '__forwarding' field:
486 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
487 // adding the offset if it's 0.
488 if (forwardingFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000489 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000490 Ops.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000491 }
492
493 // Now dereference the __forwarding field to get to the real __Block_byref
494 // struct: DW_OP_deref.
Adrian Prantl956484b2017-03-20 21:35:09 +0000495 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000496
497 // Now that we've got the real __Block_byref... struct, add the offset
498 // for the variable's field to get to the location of the actual variable:
499 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
500 if (varFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000501 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000502 Ops.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000503 }
Adrian Prantl956484b2017-03-20 21:35:09 +0000504
505 DIExpressionCursor Cursor(Ops);
506 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000507 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantl956484b2017-03-20 21:35:09 +0000508 return;
509 DwarfExpr.addExpression(std::move(Cursor));
Devang Patel0e821f42011-04-12 23:21:44 +0000510
511 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000512 addBlock(Die, Attribute, DwarfExpr.finalize());
Devang Patel0e821f42011-04-12 23:21:44 +0000513}
514
Manman Renb3388602013-10-05 01:43:03 +0000515/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000516static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000517 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
518 // FIXME: Enums without a fixed underlying type have unknown signedness
519 // here, leading to incorrectly emitted constants.
520 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
521 return false;
522
523 // (Pieces of) aggregate types that get hacked apart by SROA may be
524 // represented by a constant. Encode them as unsigned bytes.
525 return true;
526 }
527
528 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000529 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000530 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000531 // null pointer constant emission.
532 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
533 // here, but accept them for now due to a bug in SROA producing bogus
534 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000535 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000536 T == dwarf::DW_TAG_ptr_to_member_type ||
537 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000538 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000539 return true;
540 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
541 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000542 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000543 DITypeRef Deriv = DTy->getBaseType();
544 assert(Deriv && "Expected valid base type");
545 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000546 }
Manman Renb3388602013-10-05 01:43:03 +0000547
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000548 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000549 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000550 assert((Encoding == dwarf::DW_ATE_unsigned ||
551 Encoding == dwarf::DW_ATE_unsigned_char ||
552 Encoding == dwarf::DW_ATE_signed ||
553 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000554 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
555 Encoding == dwarf::DW_ATE_boolean ||
556 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
557 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000558 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000559 return Encoding == dwarf::DW_ATE_unsigned ||
560 Encoding == dwarf::DW_ATE_unsigned_char ||
561 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
562 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000563}
564
David Blaikie65a74662014-04-25 18:26:14 +0000565void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000566 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000567 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000568 APFloat FPImm = MO.getFPImm()->getValueAPF();
569
570 // Get the raw data form of the floating point.
571 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000572 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000573
574 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000575 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000576 int Incr = (LittleEndian ? 1 : -1);
577 int Start = (LittleEndian ? 0 : NumBytes - 1);
578 int Stop = (LittleEndian ? NumBytes : -1);
579
580 // Output the constant to DWARF one byte at a time.
581 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000582 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000583
David Blaikief2443192013-10-21 17:28:37 +0000584 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000585}
586
David Blaikie65a74662014-04-25 18:26:14 +0000587void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000588 // Pass this down to addConstantValue as an unsigned bag of bits.
589 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000590}
591
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000592void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000593 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000594 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000595}
596
David Blaikiec05c8f42014-05-11 15:47:39 +0000597void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000598 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000599 assert(MO.isImm() && "Invalid machine operand!");
600
David Blaikie60cae1b2014-05-11 16:08:41 +0000601 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000602}
603
David Blaikie60cae1b2014-05-11 16:08:41 +0000604void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000605 // FIXME: This is a bit conservative/simple - it emits negative values always
606 // sign extended to 64 bits rather than minimizing the number of bytes.
607 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000608 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000609}
610
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000611void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000612 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
613}
614
David Blaikie65a74662014-04-25 18:26:14 +0000615void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000616 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000617 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000618 addConstantValue(Die, Unsigned,
619 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000620 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000621 }
622
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000623 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000624
625 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000626 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000627
628 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000629 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000630
631 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000632 for (int i = 0; i < NumBytes; i++) {
633 uint8_t c;
634 if (LittleEndian)
635 c = Ptr64[i / 8] >> (8 * (i & 7));
636 else
637 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000638 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000639 }
Devang Patel0e821f42011-04-12 23:21:44 +0000640
David Blaikief2443192013-10-21 17:28:37 +0000641 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000642}
643
Paul Robinson857b4432015-03-10 22:44:45 +0000644void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000645 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000646 addString(Die,
647 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
648 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000649 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000650}
651
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000652void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000653 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000654 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000655 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000656 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000657 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000658 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000659 }
Devang Patel0e821f42011-04-12 23:21:44 +0000660}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000661
Adrian Prantl1d12b882017-04-26 22:56:44 +0000662/// Add thrown types.
663void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
664 for (const auto *Ty : ThrownTypes) {
665 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
666 addType(TT, cast<DIType>(Ty));
667 }
668}
669
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000670DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
671 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000672 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000673 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000674 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000675 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000676 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000677 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000678 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000679 if (auto *M = dyn_cast<DIModule>(Context))
680 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000681 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000682}
683
David Blaikiea0e3c752017-02-03 00:44:18 +0000684DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000685 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000686 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000687
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000688 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000689 return TyDIE;
690
691 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000692 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000693
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000694 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000695
Adrian Prantl19aadf52017-03-13 22:56:14 +0000696 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000697 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000698}
699
David Blaikied51dea62015-07-01 18:07:16 +0000700DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000701 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000702 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000703
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000704 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000705
David Blaikieee11f222014-04-12 05:35:59 +0000706 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000707 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000708 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000709
Victor Leschuke1156c22016-10-31 19:09:38 +0000710 // DW_TAG_atomic_type is not supported in DWARF < 5
711 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
712 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
713
Manman Renf4c339e2013-10-29 22:49:29 +0000714 // Construct the context before querying for the existence of the DIE in case
715 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000716 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000717 DIE *ContextDIE = getOrCreateContextDIE(Context);
718 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000719
David Blaikie65a74662014-04-25 18:26:14 +0000720 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000721 return TyDIE;
722
Amjad Aboud72da9392016-04-30 01:44:07 +0000723 // Create new type.
724 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000725
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000726 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000727
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000728 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000729 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000730 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000731 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000732 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000733 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
734 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000735 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000736 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000737 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000738 }
David Blaikie65a74662014-04-25 18:26:14 +0000739 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000740 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000741 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000742 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000743
David Blaikie65a74662014-04-25 18:26:14 +0000744 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000745}
746
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000747void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
748 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000749 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000750 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000751 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000752 // A runtime language of 0 actually means C/C++ and that any
753 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000754 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000755 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000756 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000757 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000758
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000759 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
760 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000761 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000762 }
Devang Patel0e821f42011-04-12 23:21:44 +0000763}
764
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000765void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000766 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000767 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000768 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000769}
770
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000771std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000772 if (!Context)
773 return "";
774
775 // FIXME: Decide whether to implement this for non-C++ languages.
776 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
777 return "";
778
Eric Christopher8dba0d52013-10-19 01:04:42 +0000779 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000780 SmallVector<const DIScope *, 1> Parents;
781 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000782 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000783 if (Context->getScope())
784 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000785 else
786 // Structure, etc types will have a NULL context if they're at the top
787 // level.
788 break;
789 }
790
791 // Reverse iterate over our list to go from the outermost construct to the
792 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000793 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000794 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000795 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000796 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000797 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000798 CS += Name;
799 CS += "::";
800 }
801 }
802 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000803}
804
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000805void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000806 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000807 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000808 // Add name if not anonymous or intermediate type.
809 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000810 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000811
David Blaikiefac56122013-10-04 23:21:16 +0000812 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000813 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000814 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000815
David Blaikie65a74662014-04-25 18:26:14 +0000816 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000817 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000818
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000819 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000820 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000821}
822
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000823void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000824 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000825 StringRef Name = DTy->getName();
826 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000827 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000828
829 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000830 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000831 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000832 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000833
834 // Add name if not anonymous or intermediate type.
835 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000836 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000837
838 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000839 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000840 && Tag != dwarf::DW_TAG_ptr_to_member_type
841 && Tag != dwarf::DW_TAG_reference_type
842 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000843 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000844
David Blaikie5d3249b2013-01-07 05:51:15 +0000845 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000846 addDIEEntry(
847 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000848 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000849 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000850 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000851 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000852
853 // If DWARF address space value is other than None, add it for pointer and
854 // reference types as DW_AT_address_class.
855 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
856 Tag == dwarf::DW_TAG_reference_type))
857 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
858 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000859}
860
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000861void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000862 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000863 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000864 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000865 assert(i == N-1 && "Unspecified parameter must be the last argument");
866 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
867 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000868 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000869 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000870 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000871 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000872 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000873 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000874}
875
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000876void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000877 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000878 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000879 if (Elements.size())
880 if (auto RTy = resolve(Elements[0]))
881 addType(Buffer, RTy);
882
883 bool isPrototyped = true;
884 if (Elements.size() == 2 && !Elements[1])
885 isPrototyped = false;
886
887 constructSubprogramArguments(Buffer, Elements);
888
889 // Add prototype flag if we're dealing with a C language and the function has
890 // been prototyped.
891 uint16_t Language = getLanguage();
892 if (isPrototyped &&
893 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
894 Language == dwarf::DW_LANG_ObjC))
895 addFlag(Buffer, dwarf::DW_AT_prototyped);
896
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000897 // Add a DW_AT_calling_convention if this has an explicit convention.
898 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
899 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
900 CTy->getCC());
901
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000902 if (CTy->isLValueReference())
903 addFlag(Buffer, dwarf::DW_AT_reference);
904
905 if (CTy->isRValueReference())
906 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
907}
908
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000909void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000910 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000911 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000912
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000913 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000914 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000915
916 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000917 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000918 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000919 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000920 case dwarf::DW_TAG_enumeration_type:
921 constructEnumTypeDIE(Buffer, CTy);
922 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000923 case dwarf::DW_TAG_structure_type:
924 case dwarf::DW_TAG_union_type:
925 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000926 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000927 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000928 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000929 if (!Element)
930 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000931 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000932 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000933 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000934 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000935 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000936 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
937 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000938 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000939 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000940 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000941 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000942 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000943 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
944 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000945 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000946 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000947 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000948 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000949 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000950 if (!GetterName.empty())
951 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000952 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000953 if (!SetterName.empty())
954 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000955 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000956 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000957 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000958 }
Devang Patel0e821f42011-04-12 23:21:44 +0000959 }
960
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000961 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000962 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000963
Adrian Prantlcf44e782014-12-19 00:01:20 +0000964 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
965 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +0000966 // Rust uses DW_AT_containing_type to link a vtable to the type
967 // for which it was created.
968 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +0000969 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000970 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000971
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000972 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000973 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000974
Eric Christopherda011dd2011-12-16 23:42:42 +0000975 // Add template parameters to a class, structure or union types.
976 // FIXME: The support isn't in the metadata for this yet.
977 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000978 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000979 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000980
Adrian Prantla29aac72018-01-05 01:13:37 +0000981 // Add the type's non-standard calling convention.
982 uint8_t CC = 0;
983 if (CTy->isTypePassByValue())
984 CC = dwarf::DW_CC_pass_by_value;
985 else if (CTy->isTypePassByReference())
986 CC = dwarf::DW_CC_pass_by_reference;
987 if (CC)
988 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
989 CC);
Devang Patel0e821f42011-04-12 23:21:44 +0000990 break;
991 }
992 default:
993 break;
994 }
995
996 // Add name if not anonymous or intermediate type.
997 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000998 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000999
Eric Christopher775cbd22012-05-22 18:45:18 +00001000 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001001 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001002 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001003 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001004 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001005 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001006 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001007 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001008 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001009 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001010
1011 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001012 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001013 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001014
1015 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001016 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001017 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001018
1019 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001020 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001021 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001022 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001023 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001024
1025 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001026 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001027 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1028 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001029 }
1030}
1031
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001032void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001033 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001034 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001035 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001036 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001037 if (TP->getType())
1038 addType(ParamDIE, resolve(TP->getType()));
1039 if (!TP->getName().empty())
1040 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001041}
1042
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001043void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001044 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001045 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001046
1047 // Add the type if there is one, template template and template parameter
1048 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001049 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1050 addType(ParamDIE, resolve(VP->getType()));
1051 if (!VP->getName().empty())
1052 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1053 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001054 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001055 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001056 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001057 // We cannot describe the location of dllimport'd entities: the
1058 // computation of their address requires loads from the IAT.
1059 if (!GV->hasDLLImportStorageClass()) {
1060 // For declaration non-type template parameters (such as global values
1061 // and functions)
1062 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1063 addOpAddress(*Loc, Asm->getSymbol(GV));
1064 // Emit DW_OP_stack_value to use the address as the immediate value of
1065 // the parameter, rather than a pointer to it.
1066 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1067 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1068 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001069 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001070 assert(isa<MDString>(Val));
1071 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1072 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001073 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001074 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001075 }
1076 }
Devang Patel0e821f42011-04-12 23:21:44 +00001077}
1078
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001079DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001080 // Construct the context before querying for the existence of the DIE in case
1081 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001082 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001083
David Blaikie65a74662014-04-25 18:26:14 +00001084 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001085 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001086 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001087
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001088 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001089 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001090 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001091 else
1092 Name = "(anonymous namespace)";
1093 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001094 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001095 if (NS->getExportSymbols())
1096 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001097 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001098}
1099
Adrian Prantl08a388b2015-06-30 02:13:04 +00001100DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1101 // Construct the context before querying for the existence of the DIE in case
1102 // such construction creates the DIE.
1103 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1104
1105 if (DIE *MDie = getDIE(M))
1106 return MDie;
1107 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1108
1109 if (!M->getName().empty()) {
1110 addString(MDie, dwarf::DW_AT_name, M->getName());
1111 addGlobalName(M->getName(), MDie, M->getScope());
1112 }
1113 if (!M->getConfigurationMacros().empty())
1114 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1115 M->getConfigurationMacros());
1116 if (!M->getIncludePath().empty())
1117 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1118 if (!M->getISysRoot().empty())
1119 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1120
1121 return &MDie;
1122}
1123
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001124DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001125 // Construct the context before querying for the existence of the DIE in case
1126 // such construction creates the DIE (as is the case for member function
1127 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001128 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001129 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001130
David Blaikie65a74662014-04-25 18:26:14 +00001131 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001132 return SPDie;
1133
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001134 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001135 if (!Minimal) {
1136 // Add subprogram definitions to the CU die directly.
1137 ContextDIE = &getUnitDie();
1138 // Build the decl now to ensure it precedes the definition.
1139 getOrCreateSubprogramDIE(SPDecl);
1140 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001141 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001142
1143 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001144 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001145
David Blaikie6cfa9e12014-06-05 00:25:26 +00001146 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001147 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001148 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001149 return &SPDie;
1150
David Blaikie7f916862014-05-27 18:37:38 +00001151 applySubprogramAttributes(SP, SPDie);
1152 return &SPDie;
1153}
1154
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001155bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001156 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001157 DIE *DeclDie = nullptr;
1158 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001159 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001160 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001161 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001162 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001163 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001164 // Look at the Decl's linkage name only if we emitted it.
1165 if (DD->useAllLinkageNames())
1166 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson29f5f982018-01-09 23:31:48 +00001167 unsigned DeclID = getOrCreateSourceID(SPDecl->getFilename(),
1168 SPDecl->getDirectory(), nullptr);
1169 unsigned DefID =
1170 getOrCreateSourceID(SP->getFilename(), SP->getDirectory(), nullptr);
David Blaikiec9ad9192015-10-07 00:04:16 +00001171 if (DeclID != DefID)
1172 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1173
1174 if (SP->getLine() != SPDecl->getLine())
1175 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001176 }
Rafael Espindola79278362011-11-10 22:34:29 +00001177
Devang Patel89543712011-08-15 17:24:54 +00001178 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001179 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001180
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001181 // 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 +00001182 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001183 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1184 LinkageName == DeclLinkageName) &&
1185 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001186 if (DeclLinkageName.empty() &&
1187 // Always emit it for abstract subprograms.
1188 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001189 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001190
David Blaikie3a443c22014-11-04 22:12:25 +00001191 if (!DeclDie)
1192 return false;
1193
1194 // Refer to the function declaration where all the other attributes will be
1195 // found.
1196 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1197 return true;
1198}
1199
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001200void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001201 bool SkipSPAttributes) {
1202 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1203 // and its source location.
1204 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001205 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001206 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001207 if (applySubprogramDefinitionAttributes(SP, SPDie))
1208 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001209
Devang Patel89543712011-08-15 17:24:54 +00001210 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001211 if (!SP->getName().empty())
1212 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001213
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001214 if (!SkipSPSourceLocation)
1215 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001216
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001217 // Skip the rest of the attributes under -gmlt to save space.
1218 if (SkipSPAttributes)
1219 return;
Devang Patel89543712011-08-15 17:24:54 +00001220
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001221 // Add the prototype if we have a prototype and we have a C like
1222 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001223 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001224 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001225 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001226 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001227 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001228
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001229 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001230 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001231 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001232 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001233 CC = SPTy->getCC();
1234 }
1235
1236 // Add a DW_AT_calling_convention if this has an explicit convention.
1237 if (CC && CC != dwarf::DW_CC_normal)
1238 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001239
Eric Christopher691281b2013-10-21 17:48:51 +00001240 // Add a return type. If this is a type like a C/C++ void type we don't add a
1241 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001242 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001243 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001244 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001245
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001246 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001247 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001248 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001249 if (SP->getVirtualIndex() != -1u) {
1250 DIELoc *Block = getDIELoc();
1251 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1252 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1253 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1254 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001255 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001256 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001257 }
1258
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001259 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001260 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001261
Devang Patel89543712011-08-15 17:24:54 +00001262 // Add arguments. Do not add arguments for subprogram definition. They will
1263 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001264 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001265 }
1266
Adrian Prantl1d12b882017-04-26 22:56:44 +00001267 addThrownTypes(SPDie, SP->getThrownTypes());
1268
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001269 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001270 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001271
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001272 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001273 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001274
David Blaikiec53e18d2016-05-24 21:19:28 +00001275 if (DD->useAppleExtensionAttributes()) {
1276 if (SP->isOptimized())
1277 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001278
David Blaikiec53e18d2016-05-24 21:19:28 +00001279 if (unsigned isa = Asm->getISAEncoding())
1280 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1281 }
Devang Patel89543712011-08-15 17:24:54 +00001282
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001283 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001284 addFlag(SPDie, dwarf::DW_AT_reference);
1285
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001286 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001287 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1288
Adrian Prantlc19dee72016-08-17 16:02:43 +00001289 if (SP->isNoReturn())
1290 addFlag(SPDie, dwarf::DW_AT_noreturn);
1291
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001292 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001293 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1294 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001295 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001296 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1297 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001298 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001299 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1300 dwarf::DW_ACCESS_public);
1301
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001302 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001303 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001304
1305 if (SP->isMainSubprogram())
1306 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001307}
1308
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001309void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001310 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001311 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001312 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001313
Bill Wendling28fe9e72012-12-06 07:38:10 +00001314 // The LowerBound value defines the lower bounds which is typically zero for
1315 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1316 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001317 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001318 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001319 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001320 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001321
Bill Wendling3495f9b2012-12-06 07:55:19 +00001322 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001323 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001324
David Blaikie32b0f362014-10-01 00:56:55 +00001325 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001326 // FIXME: An unbounded array should reference the expression that defines
1327 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001328 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001329}
1330
David Blaikie871c2d92014-11-02 03:09:13 +00001331DIE *DwarfUnit::getIndexTyDie() {
1332 if (IndexTyDie)
1333 return IndexTyDie;
1334 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001335 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
David Blaikie871c2d92014-11-02 03:09:13 +00001336 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1337 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1338 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1339 dwarf::DW_ATE_unsigned);
1340 return IndexTyDie;
1341}
1342
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001343void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001344 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001345 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001346
Eric Christopher0df08e22013-08-08 07:40:37 +00001347 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001348 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001349
1350 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001351 // FIXME: This type should be passed down from the front end
1352 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001353 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001354
1355 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001356 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001357 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001358 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001359 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001360 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001361 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001362 }
1363}
1364
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001365void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1366 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001367
1368 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001369 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001370 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001371 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001372 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001373 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001374 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001375 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001376 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1377 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001378 }
1379 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001380 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001381 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001382 addType(Buffer, DTy);
1383 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001384 }
Devang Patel0e821f42011-04-12 23:21:44 +00001385}
1386
Eric Christophera5a79422013-12-09 23:32:48 +00001387void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001388 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001389 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001390 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001391 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001392 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001393 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001394 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001395 if (!NDie)
1396 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001397 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001398 }
1399}
1400
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001401void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001402 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1403 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001404 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001405 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001406
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001407 if (DIType *Resolved = resolve(DT->getBaseType()))
1408 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001409
1410 addSourceLine(MemberDie, DT);
1411
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001412 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001413
1414 // For C++, virtual base classes are not at fixed offset. Use following
1415 // expression to extract appropriate offset from vtable.
1416 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1417
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001418 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001419 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1420 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1421 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001422 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001423 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1424 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1425 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001426
David Blaikief2443192013-10-21 17:28:37 +00001427 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001428 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001429 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001430 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001431 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001432 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001433
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001434 bool IsBitfield = FieldSize && Size != FieldSize;
1435 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001436 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001437 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001438 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001439 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001440
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001441 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001442 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1443 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1444 // which can't be done with bitfields. Thus we use FieldSize here.
1445 uint32_t AlignInBits = FieldSize;
1446 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001447 // The bits from the start of the storage unit to the start of the field.
1448 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001449 // The byte offset of the field's aligned storage unit inside the struct.
1450 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001451
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001452 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001453 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1454 uint64_t FieldOffset = (HiMark - FieldSize);
1455 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001456
Adrian Prantle5447572016-04-28 15:37:52 +00001457 // Maybe we need to work from the other end.
1458 if (Asm->getDataLayout().isLittleEndian())
1459 Offset = FieldSize - (Offset + Size);
1460
1461 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1462 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001463 } else {
1464 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001465 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001466 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001467 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001468 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001469 if (AlignInBytes)
1470 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1471 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001472 }
David Blaikie2ada1162014-01-03 00:48:38 +00001473
David Blaikie22b29a52014-01-03 01:30:05 +00001474 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001475 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001476 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1477 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001478 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001479 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001480 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1481 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001482 }
Devang Patel0e821f42011-04-12 23:21:44 +00001483
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001484 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001485 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001486 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001487 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001488 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001489 dwarf::DW_ACCESS_private);
1490 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001491 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001492 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001493 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001494 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001495 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001496 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001497
1498 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001499 if (DINode *PNode = DT->getObjCProperty())
1500 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001501 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1502 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001503
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001504 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001505 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001506}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001507
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001508DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001509 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001510 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001511
Manman Renc6b63922013-10-14 20:33:57 +00001512 // Construct the context before querying for the existence of the DIE in case
1513 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001514 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001515 assert(dwarf::isType(ContextDIE->getTag()) &&
1516 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001517
David Blaikie65a74662014-04-25 18:26:14 +00001518 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001519 return StaticMemberDIE;
1520
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001521 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001522
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001523 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001524
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001525 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001526 addType(StaticMemberDIE, Ty);
1527 addSourceLine(StaticMemberDIE, DT);
1528 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1529 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1530
1531 // FIXME: We could omit private if the parent is a class_type, and
1532 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001533 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001534 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1535 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001536 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001537 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1538 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001539 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001540 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1541 dwarf::DW_ACCESS_public);
1542
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001543 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001544 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001545 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001546 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001547
Victor Leschuka37660c2016-10-26 21:32:29 +00001548 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001549 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1550 AlignInBytes);
1551
David Blaikie65a74662014-04-25 18:26:14 +00001552 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001553}
David Blaikie6b288cf2013-10-30 20:42:41 +00001554
Paul Robinsoncddd6042017-02-28 20:24:55 +00001555void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001556 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001557 Asm->OutStreamer->AddComment("Length of Unit");
Greg Clayton35630c32016-12-01 18:56:29 +00001558 Asm->EmitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001559
Lang Hames9ff69c82015-04-24 19:11:51 +00001560 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001561 unsigned Version = DD->getDwarfVersion();
1562 Asm->EmitInt16(Version);
1563
1564 // DWARF v5 reorders the address size and adds a unit type.
1565 if (Version >= 5) {
1566 Asm->OutStreamer->AddComment("DWARF Unit Type");
1567 Asm->EmitInt8(UT);
1568 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +00001569 Asm->EmitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001570 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001571
David Blaikie6896e192013-12-04 23:39:02 +00001572 // We share one abbreviations table across all units so it's always at the
1573 // start of the section. Use a relocatable offset where needed to ensure
1574 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001575 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001576 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001577 if (UseOffsets)
1578 Asm->EmitInt32(0);
1579 else
1580 Asm->emitDwarfSymbolReference(
1581 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001582
Paul Robinsoncddd6042017-02-28 20:24:55 +00001583 if (Version <= 4) {
1584 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +00001585 Asm->EmitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001586 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001587}
David Blaikiebc563272013-12-13 21:33:40 +00001588
Rafael Espindola063d7252015-03-10 16:58:10 +00001589void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Paul Robinsoncddd6042017-02-28 20:24:55 +00001590 DwarfUnit::emitCommonHeader(UseOffsets,
1591 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1592 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001593 Asm->OutStreamer->AddComment("Type Signature");
1594 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1595 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001596 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001597 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1598 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001599}
1600
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001601DIE::value_iterator
1602DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1603 const MCSymbol *Hi, const MCSymbol *Lo) {
1604 return Die.addValue(DIEValueAllocator, Attribute,
1605 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1606 : dwarf::DW_FORM_data4,
1607 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1608}
1609
1610DIE::value_iterator
1611DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1612 const MCSymbol *Label, const MCSymbol *Sec) {
1613 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1614 return addLabel(Die, Attribute,
1615 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1616 : dwarf::DW_FORM_data4,
1617 Label);
1618 return addSectionDelta(Die, Attribute, Label, Sec);
1619}
1620
David Blaikiecafd9622014-11-02 08:51:37 +00001621bool DwarfTypeUnit::isDwoUnit() const {
1622 // Since there are no skeleton type units, all type units are dwo type units
1623 // when split DWARF is being used.
1624 return DD->useSplitDwarf();
1625}
David Blaikiea0e3c752017-02-03 00:44:18 +00001626
1627void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1628 const DIScope *Context) {
1629 getCU().addGlobalNameForTypeUnit(Name, Context);
1630}
1631
1632void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1633 const DIScope *Context) {
1634 getCU().addGlobalTypeUnitType(Ty, Context);
1635}
David Blaikie85366ac2017-04-22 07:53:44 +00001636
1637const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1638 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1639 return nullptr;
1640 if (isDwoUnit())
1641 return nullptr;
1642 return getSection()->getBeginSymbol();
1643}