blob: 576b9a91ddc20274d84d1f80e7b94f4a619d26b8 [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
David Blaikie4a2f95f2014-03-18 01:17:26 +0000266unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
267 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
268 : getCU().getOrCreateSourceID(FileName, DirName);
269}
270
David Blaikie65a74662014-04-25 18:26:14 +0000271void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000272 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000273 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
274 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000275 } else {
David Blaikief2443192013-10-21 17:28:37 +0000276 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000277 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000278 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000279 }
280}
281
David Blaikie65a74662014-04-25 18:26:14 +0000282void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000283 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000284 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000285 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000286}
287
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000288void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000289 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000290}
291
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000292void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000293 // Flag the type unit reference as a declaration so that if it contains
294 // members (implicit special members, static data member definitions, member
295 // declarations for definitions in this CU, etc) consumers don't get confused
296 // and think this is a full definition.
297 addFlag(Die, dwarf::DW_AT_declaration);
298
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000299 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000300 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000301}
302
David Blaikie65a74662014-04-25 18:26:14 +0000303void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000304 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000305 const DIEUnit *CU = Die.getUnit();
306 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
307 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000308 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000309 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000310 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000311 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000312 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000313 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000314 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000315}
316
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000317DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000318 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
319 if (N)
320 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000321 return Die;
322}
323
David Blaikie65a74662014-04-25 18:26:14 +0000324void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000325 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000326 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000327 Die.addValue(DIEValueAllocator, Attribute,
328 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000329}
330
David Blaikie65a74662014-04-25 18:26:14 +0000331void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000332 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000333 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000334 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000335 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000336}
337
David Blaikie65a74662014-04-25 18:26:14 +0000338void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000339 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000340 if (Line == 0)
341 return;
David Blaikie101613e2014-02-12 00:11:25 +0000342
David Blaikie4a2f95f2014-03-18 01:17:26 +0000343 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000344 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000345 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
346 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000347}
348
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000349void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000350 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000351
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000352 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
353 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000354}
355
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000356void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000357 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000358
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000359 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000360}
361
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000362void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000363 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000364
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000365 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000366}
367
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000368void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000369 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000370
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000371 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000372}
373
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000374void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000375 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000376
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000377 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000378}
379
Devang Patel0e821f42011-04-12 23:21:44 +0000380/* Byref variables, in Blocks, are declared by the programmer as "SomeType
381 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
382 gives the variable VarName either the struct, or a pointer to the struct, as
383 its type. This is necessary for various behind-the-scenes things the
384 compiler needs to do with by-reference variables in Blocks.
385
386 However, as far as the original *programmer* is concerned, the variable
387 should still have type 'SomeType', as originally declared.
388
389 The function getBlockByrefType dives into the __Block_byref_x_VarName
390 struct to find the original type of the variable, which is then assigned to
391 the variable's Debug Information Entry as its real type. So far, so good.
392 However now the debugger will expect the variable VarName to have the type
393 SomeType. So we need the location attribute for the variable to be an
394 expression that explains to the debugger how to navigate through the
395 pointers and struct to find the actual variable of type SomeType.
396
397 The following function does just that. We start by getting
398 the "normal" location for the variable. This will be the location
399 of either the struct __Block_byref_x_VarName or the pointer to the
400 struct __Block_byref_x_VarName.
401
402 The struct will look something like:
403
404 struct __Block_byref_x_VarName {
405 ... <various fields>
406 struct __Block_byref_x_VarName *forwarding;
407 ... <various other fields>
408 SomeType VarName;
409 ... <maybe more fields>
410 };
411
412 If we are given the struct directly (as our starting point) we
413 need to tell the debugger to:
414
415 1). Add the offset of the forwarding field.
416
417 2). Follow that pointer to get the real __Block_byref_x_VarName
418 struct to use (the real one may have been copied onto the heap).
419
420 3). Add the offset for the field VarName, to find the actual variable.
421
422 If we started with a pointer to the struct, then we need to
423 dereference that pointer first, before the other steps.
424 Translating this into DWARF ops, we will need to append the following
425 to the current location description for the variable:
426
427 DW_OP_deref -- optional, if we start with a pointer
428 DW_OP_plus_uconst <forward_fld_offset>
429 DW_OP_deref
430 DW_OP_plus_uconst <varName_fld_offset>
431
432 That is what this function does. */
433
David Blaikie65a74662014-04-25 18:26:14 +0000434void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000435 dwarf::Attribute Attribute,
436 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000437 const DIType *Ty = DV.getType();
438 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000439 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000440 bool isPointer = false;
441
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000442 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000443
444 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000445 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000446 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000447 isPointer = true;
448 }
449
Devang Patel0e821f42011-04-12 23:21:44 +0000450 // Find the __forwarding field and the variable field in the __Block_byref
451 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000452 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000453 const DIDerivedType *varField = nullptr;
454 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000455
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000456 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000457 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000458 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000459 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000460 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000461 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000462 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000463 }
464
465 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000466 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
467 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000468
469 // Decode the original location, and use that as the start of the byref
470 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000471 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl956484b2017-03-20 21:35:09 +0000472 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000473 if (Location.isIndirect())
474 DwarfExpr.setMemoryLocationKind();
Devang Patel0e821f42011-04-12 23:21:44 +0000475
Adrian Prantl2049c0d2017-08-02 15:22:17 +0000476 SmallVector<uint64_t, 6> Ops;
Devang Patel0e821f42011-04-12 23:21:44 +0000477 // If we started with a pointer to the __Block_byref... struct, then
478 // the first thing we need to do is dereference the pointer (DW_OP_deref).
479 if (isPointer)
Adrian Prantl956484b2017-03-20 21:35:09 +0000480 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000481
482 // Next add the offset for the '__forwarding' field:
483 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
484 // adding the offset if it's 0.
485 if (forwardingFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000486 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000487 Ops.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000488 }
489
490 // Now dereference the __forwarding field to get to the real __Block_byref
491 // struct: DW_OP_deref.
Adrian Prantl956484b2017-03-20 21:35:09 +0000492 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000493
494 // Now that we've got the real __Block_byref... struct, add the offset
495 // for the variable's field to get to the location of the actual variable:
496 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
497 if (varFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000498 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000499 Ops.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000500 }
Adrian Prantl956484b2017-03-20 21:35:09 +0000501
502 DIExpressionCursor Cursor(Ops);
503 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000504 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantl956484b2017-03-20 21:35:09 +0000505 return;
506 DwarfExpr.addExpression(std::move(Cursor));
Devang Patel0e821f42011-04-12 23:21:44 +0000507
508 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000509 addBlock(Die, Attribute, DwarfExpr.finalize());
Devang Patel0e821f42011-04-12 23:21:44 +0000510}
511
Manman Renb3388602013-10-05 01:43:03 +0000512/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000513static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000514 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
515 // FIXME: Enums without a fixed underlying type have unknown signedness
516 // here, leading to incorrectly emitted constants.
517 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
518 return false;
519
520 // (Pieces of) aggregate types that get hacked apart by SROA may be
521 // represented by a constant. Encode them as unsigned bytes.
522 return true;
523 }
524
525 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000526 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000527 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000528 // null pointer constant emission.
529 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
530 // here, but accept them for now due to a bug in SROA producing bogus
531 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000532 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000533 T == dwarf::DW_TAG_ptr_to_member_type ||
534 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000535 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000536 return true;
537 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
538 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000539 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000540 DITypeRef Deriv = DTy->getBaseType();
541 assert(Deriv && "Expected valid base type");
542 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000543 }
Manman Renb3388602013-10-05 01:43:03 +0000544
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000545 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000546 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000547 assert((Encoding == dwarf::DW_ATE_unsigned ||
548 Encoding == dwarf::DW_ATE_unsigned_char ||
549 Encoding == dwarf::DW_ATE_signed ||
550 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000551 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
552 Encoding == dwarf::DW_ATE_boolean ||
553 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
554 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000555 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000556 return Encoding == dwarf::DW_ATE_unsigned ||
557 Encoding == dwarf::DW_ATE_unsigned_char ||
558 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
559 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000560}
561
David Blaikie65a74662014-04-25 18:26:14 +0000562void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000563 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000564 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000565 APFloat FPImm = MO.getFPImm()->getValueAPF();
566
567 // Get the raw data form of the floating point.
568 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000569 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000570
571 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000572 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000573 int Incr = (LittleEndian ? 1 : -1);
574 int Start = (LittleEndian ? 0 : NumBytes - 1);
575 int Stop = (LittleEndian ? NumBytes : -1);
576
577 // Output the constant to DWARF one byte at a time.
578 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000579 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000580
David Blaikief2443192013-10-21 17:28:37 +0000581 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000582}
583
David Blaikie65a74662014-04-25 18:26:14 +0000584void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000585 // Pass this down to addConstantValue as an unsigned bag of bits.
586 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000587}
588
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000589void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000590 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000591 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000592}
593
David Blaikiec05c8f42014-05-11 15:47:39 +0000594void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000595 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000596 assert(MO.isImm() && "Invalid machine operand!");
597
David Blaikie60cae1b2014-05-11 16:08:41 +0000598 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000599}
600
David Blaikie60cae1b2014-05-11 16:08:41 +0000601void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000602 // FIXME: This is a bit conservative/simple - it emits negative values always
603 // sign extended to 64 bits rather than minimizing the number of bytes.
604 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000605 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000606}
607
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000608void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000609 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
610}
611
David Blaikie65a74662014-04-25 18:26:14 +0000612void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000613 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000614 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000615 addConstantValue(Die, Unsigned,
616 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000617 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000618 }
619
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000620 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000621
622 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000623 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000624
625 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000626 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000627
628 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000629 for (int i = 0; i < NumBytes; i++) {
630 uint8_t c;
631 if (LittleEndian)
632 c = Ptr64[i / 8] >> (8 * (i & 7));
633 else
634 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000635 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000636 }
Devang Patel0e821f42011-04-12 23:21:44 +0000637
David Blaikief2443192013-10-21 17:28:37 +0000638 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000639}
640
Paul Robinson857b4432015-03-10 22:44:45 +0000641void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000642 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000643 addString(Die,
644 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
645 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000646 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000647}
648
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000649void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000650 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000651 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000652 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000653 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000654 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000655 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000656 }
Devang Patel0e821f42011-04-12 23:21:44 +0000657}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000658
Adrian Prantl1d12b882017-04-26 22:56:44 +0000659/// Add thrown types.
660void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
661 for (const auto *Ty : ThrownTypes) {
662 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
663 addType(TT, cast<DIType>(Ty));
664 }
665}
666
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000667DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
668 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000669 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000670 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000671 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000672 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000673 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000674 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000675 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000676 if (auto *M = dyn_cast<DIModule>(Context))
677 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000678 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000679}
680
David Blaikiea0e3c752017-02-03 00:44:18 +0000681DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000682 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000683 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000684
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000685 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000686 return TyDIE;
687
688 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000689 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000690
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000691 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000692
Adrian Prantl19aadf52017-03-13 22:56:14 +0000693 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000694 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000695}
696
David Blaikied51dea62015-07-01 18:07:16 +0000697DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000698 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000699 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000700
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000701 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000702
David Blaikieee11f222014-04-12 05:35:59 +0000703 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000704 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000705 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000706
Victor Leschuke1156c22016-10-31 19:09:38 +0000707 // DW_TAG_atomic_type is not supported in DWARF < 5
708 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
709 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
710
Manman Renf4c339e2013-10-29 22:49:29 +0000711 // Construct the context before querying for the existence of the DIE in case
712 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000713 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000714 DIE *ContextDIE = getOrCreateContextDIE(Context);
715 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000716
David Blaikie65a74662014-04-25 18:26:14 +0000717 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000718 return TyDIE;
719
Amjad Aboud72da9392016-04-30 01:44:07 +0000720 // Create new type.
721 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000722
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000723 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000724
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000725 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000726 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000727 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000728 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000729 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000730 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
731 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000732 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000733 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000734 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000735 }
David Blaikie65a74662014-04-25 18:26:14 +0000736 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000737 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000738 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000739 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000740
David Blaikie65a74662014-04-25 18:26:14 +0000741 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000742}
743
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000744void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
745 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000746 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000747 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000748 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000749 // A runtime language of 0 actually means C/C++ and that any
750 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000751 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000752 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000753 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000754 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000755
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000756 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
757 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000758 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000759 }
Devang Patel0e821f42011-04-12 23:21:44 +0000760}
761
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000762void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000763 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000764 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000765 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000766}
767
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000768std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000769 if (!Context)
770 return "";
771
772 // FIXME: Decide whether to implement this for non-C++ languages.
773 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
774 return "";
775
Eric Christopher8dba0d52013-10-19 01:04:42 +0000776 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000777 SmallVector<const DIScope *, 1> Parents;
778 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000779 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000780 if (Context->getScope())
781 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000782 else
783 // Structure, etc types will have a NULL context if they're at the top
784 // level.
785 break;
786 }
787
788 // Reverse iterate over our list to go from the outermost construct to the
789 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000790 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000791 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000792 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000793 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000794 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000795 CS += Name;
796 CS += "::";
797 }
798 }
799 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000800}
801
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000802void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000803 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000804 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000805 // Add name if not anonymous or intermediate type.
806 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000807 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000808
David Blaikiefac56122013-10-04 23:21:16 +0000809 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000810 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000811 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000812
David Blaikie65a74662014-04-25 18:26:14 +0000813 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000814 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000815
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000816 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000817 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000818}
819
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000820void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000821 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000822 StringRef Name = DTy->getName();
823 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000824 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000825
826 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000827 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000828 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000829 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000830
831 // Add name if not anonymous or intermediate type.
832 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000833 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000834
835 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000836 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000837 && Tag != dwarf::DW_TAG_ptr_to_member_type
838 && Tag != dwarf::DW_TAG_reference_type
839 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000840 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000841
David Blaikie5d3249b2013-01-07 05:51:15 +0000842 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000843 addDIEEntry(
844 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000845 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000846 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000847 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000848 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000849
850 // If DWARF address space value is other than None, add it for pointer and
851 // reference types as DW_AT_address_class.
852 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
853 Tag == dwarf::DW_TAG_reference_type))
854 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
855 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000856}
857
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000858void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000859 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000860 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000861 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000862 assert(i == N-1 && "Unspecified parameter must be the last argument");
863 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
864 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000865 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000866 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000867 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000868 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000869 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000870 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000871}
872
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000873void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000874 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000875 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000876 if (Elements.size())
877 if (auto RTy = resolve(Elements[0]))
878 addType(Buffer, RTy);
879
880 bool isPrototyped = true;
881 if (Elements.size() == 2 && !Elements[1])
882 isPrototyped = false;
883
884 constructSubprogramArguments(Buffer, Elements);
885
886 // Add prototype flag if we're dealing with a C language and the function has
887 // been prototyped.
888 uint16_t Language = getLanguage();
889 if (isPrototyped &&
890 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
891 Language == dwarf::DW_LANG_ObjC))
892 addFlag(Buffer, dwarf::DW_AT_prototyped);
893
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000894 // Add a DW_AT_calling_convention if this has an explicit convention.
895 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
896 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
897 CTy->getCC());
898
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000899 if (CTy->isLValueReference())
900 addFlag(Buffer, dwarf::DW_AT_reference);
901
902 if (CTy->isRValueReference())
903 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
904}
905
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000906void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000907 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000908 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000909
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000910 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000911 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000912
913 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000914 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000915 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000916 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000917 case dwarf::DW_TAG_enumeration_type:
918 constructEnumTypeDIE(Buffer, CTy);
919 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000920 case dwarf::DW_TAG_structure_type:
921 case dwarf::DW_TAG_union_type:
922 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000923 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000924 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000925 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000926 if (!Element)
927 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000928 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000929 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000930 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000931 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000932 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000933 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
934 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000935 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000936 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000937 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000938 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000939 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000940 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
941 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000942 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000943 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000944 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000945 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000946 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000947 if (!GetterName.empty())
948 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000949 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000950 if (!SetterName.empty())
951 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000952 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000953 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000954 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000955 }
Devang Patel0e821f42011-04-12 23:21:44 +0000956 }
957
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000958 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000959 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000960
Adrian Prantlcf44e782014-12-19 00:01:20 +0000961 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
962 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +0000963 // Rust uses DW_AT_containing_type to link a vtable to the type
964 // for which it was created.
965 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +0000966 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000967 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000968
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000969 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000970 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000971
Eric Christopherda011dd2011-12-16 23:42:42 +0000972 // Add template parameters to a class, structure or union types.
973 // FIXME: The support isn't in the metadata for this yet.
974 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000975 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000976 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000977
Adrian Prantla29aac72018-01-05 01:13:37 +0000978 // Add the type's non-standard calling convention.
979 uint8_t CC = 0;
980 if (CTy->isTypePassByValue())
981 CC = dwarf::DW_CC_pass_by_value;
982 else if (CTy->isTypePassByReference())
983 CC = dwarf::DW_CC_pass_by_reference;
984 if (CC)
985 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
986 CC);
Devang Patel0e821f42011-04-12 23:21:44 +0000987 break;
988 }
989 default:
990 break;
991 }
992
993 // Add name if not anonymous or intermediate type.
994 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000995 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000996
Eric Christopher775cbd22012-05-22 18:45:18 +0000997 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000998 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000999 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001000 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001001 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001002 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001003 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001004 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001005 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001006 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001007
1008 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001009 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001010 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001011
1012 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001013 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001014 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001015
1016 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001017 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001018 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001019 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001020 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001021
1022 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001023 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001024 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1025 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001026 }
1027}
1028
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001029void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001030 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001031 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001032 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001033 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001034 if (TP->getType())
1035 addType(ParamDIE, resolve(TP->getType()));
1036 if (!TP->getName().empty())
1037 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001038}
1039
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001040void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001041 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001042 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001043
1044 // Add the type if there is one, template template and template parameter
1045 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001046 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1047 addType(ParamDIE, resolve(VP->getType()));
1048 if (!VP->getName().empty())
1049 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1050 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001051 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001052 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001053 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001054 // We cannot describe the location of dllimport'd entities: the
1055 // computation of their address requires loads from the IAT.
1056 if (!GV->hasDLLImportStorageClass()) {
1057 // For declaration non-type template parameters (such as global values
1058 // and functions)
1059 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1060 addOpAddress(*Loc, Asm->getSymbol(GV));
1061 // Emit DW_OP_stack_value to use the address as the immediate value of
1062 // the parameter, rather than a pointer to it.
1063 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1064 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1065 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001066 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001067 assert(isa<MDString>(Val));
1068 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1069 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001070 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001071 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001072 }
1073 }
Devang Patel0e821f42011-04-12 23:21:44 +00001074}
1075
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001076DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001077 // Construct the context before querying for the existence of the DIE in case
1078 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001079 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001080
David Blaikie65a74662014-04-25 18:26:14 +00001081 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001082 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001083 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001084
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001085 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001086 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001087 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001088 else
1089 Name = "(anonymous namespace)";
1090 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001091 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001092 if (NS->getExportSymbols())
1093 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001094 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001095}
1096
Adrian Prantl08a388b2015-06-30 02:13:04 +00001097DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1098 // Construct the context before querying for the existence of the DIE in case
1099 // such construction creates the DIE.
1100 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1101
1102 if (DIE *MDie = getDIE(M))
1103 return MDie;
1104 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1105
1106 if (!M->getName().empty()) {
1107 addString(MDie, dwarf::DW_AT_name, M->getName());
1108 addGlobalName(M->getName(), MDie, M->getScope());
1109 }
1110 if (!M->getConfigurationMacros().empty())
1111 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1112 M->getConfigurationMacros());
1113 if (!M->getIncludePath().empty())
1114 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1115 if (!M->getISysRoot().empty())
1116 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1117
1118 return &MDie;
1119}
1120
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001121DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001122 // Construct the context before querying for the existence of the DIE in case
1123 // such construction creates the DIE (as is the case for member function
1124 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001125 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001126 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001127
David Blaikie65a74662014-04-25 18:26:14 +00001128 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001129 return SPDie;
1130
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001131 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001132 if (!Minimal) {
1133 // Add subprogram definitions to the CU die directly.
1134 ContextDIE = &getUnitDie();
1135 // Build the decl now to ensure it precedes the definition.
1136 getOrCreateSubprogramDIE(SPDecl);
1137 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001138 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001139
1140 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001141 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001142
David Blaikie6cfa9e12014-06-05 00:25:26 +00001143 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001144 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001145 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001146 return &SPDie;
1147
David Blaikie7f916862014-05-27 18:37:38 +00001148 applySubprogramAttributes(SP, SPDie);
1149 return &SPDie;
1150}
1151
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001152bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001153 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001154 DIE *DeclDie = nullptr;
1155 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001156 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001157 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001158 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001159 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001160 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001161 // Look at the Decl's linkage name only if we emitted it.
1162 if (DD->useAllLinkageNames())
1163 DeclLinkageName = SPDecl->getLinkageName();
David Blaikiec9ad9192015-10-07 00:04:16 +00001164 unsigned DeclID =
1165 getOrCreateSourceID(SPDecl->getFilename(), SPDecl->getDirectory());
1166 unsigned DefID = getOrCreateSourceID(SP->getFilename(), SP->getDirectory());
1167 if (DeclID != DefID)
1168 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1169
1170 if (SP->getLine() != SPDecl->getLine())
1171 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001172 }
Rafael Espindola79278362011-11-10 22:34:29 +00001173
Devang Patel89543712011-08-15 17:24:54 +00001174 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001175 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001176
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001177 // 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 +00001178 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001179 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1180 LinkageName == DeclLinkageName) &&
1181 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001182 if (DeclLinkageName.empty() &&
1183 // Always emit it for abstract subprograms.
1184 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001185 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001186
David Blaikie3a443c22014-11-04 22:12:25 +00001187 if (!DeclDie)
1188 return false;
1189
1190 // Refer to the function declaration where all the other attributes will be
1191 // found.
1192 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1193 return true;
1194}
1195
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001196void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001197 bool SkipSPAttributes) {
1198 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1199 // and its source location.
1200 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001201 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001202 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001203 if (applySubprogramDefinitionAttributes(SP, SPDie))
1204 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001205
Devang Patel89543712011-08-15 17:24:54 +00001206 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001207 if (!SP->getName().empty())
1208 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001209
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001210 if (!SkipSPSourceLocation)
1211 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001212
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001213 // Skip the rest of the attributes under -gmlt to save space.
1214 if (SkipSPAttributes)
1215 return;
Devang Patel89543712011-08-15 17:24:54 +00001216
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001217 // Add the prototype if we have a prototype and we have a C like
1218 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001219 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001220 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001221 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001222 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001223 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001224
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001225 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001226 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001227 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001228 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001229 CC = SPTy->getCC();
1230 }
1231
1232 // Add a DW_AT_calling_convention if this has an explicit convention.
1233 if (CC && CC != dwarf::DW_CC_normal)
1234 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001235
Eric Christopher691281b2013-10-21 17:48:51 +00001236 // Add a return type. If this is a type like a C/C++ void type we don't add a
1237 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001238 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001239 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001240 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001241
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001242 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001243 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001244 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001245 if (SP->getVirtualIndex() != -1u) {
1246 DIELoc *Block = getDIELoc();
1247 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1248 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1249 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1250 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001251 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001252 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001253 }
1254
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001255 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001256 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001257
Devang Patel89543712011-08-15 17:24:54 +00001258 // Add arguments. Do not add arguments for subprogram definition. They will
1259 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001260 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001261 }
1262
Adrian Prantl1d12b882017-04-26 22:56:44 +00001263 addThrownTypes(SPDie, SP->getThrownTypes());
1264
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001265 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001266 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001267
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001268 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001269 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001270
David Blaikiec53e18d2016-05-24 21:19:28 +00001271 if (DD->useAppleExtensionAttributes()) {
1272 if (SP->isOptimized())
1273 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001274
David Blaikiec53e18d2016-05-24 21:19:28 +00001275 if (unsigned isa = Asm->getISAEncoding())
1276 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1277 }
Devang Patel89543712011-08-15 17:24:54 +00001278
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001279 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001280 addFlag(SPDie, dwarf::DW_AT_reference);
1281
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001282 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001283 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1284
Adrian Prantlc19dee72016-08-17 16:02:43 +00001285 if (SP->isNoReturn())
1286 addFlag(SPDie, dwarf::DW_AT_noreturn);
1287
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001288 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001289 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1290 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001291 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001292 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1293 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001294 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001295 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1296 dwarf::DW_ACCESS_public);
1297
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001298 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001299 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001300
1301 if (SP->isMainSubprogram())
1302 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001303}
1304
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001305void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001306 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001307 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001308 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001309
Bill Wendling28fe9e72012-12-06 07:38:10 +00001310 // The LowerBound value defines the lower bounds which is typically zero for
1311 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1312 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001313 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001314 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001315 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001316 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001317
Bill Wendling3495f9b2012-12-06 07:55:19 +00001318 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001319 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001320
David Blaikie32b0f362014-10-01 00:56:55 +00001321 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001322 // FIXME: An unbounded array should reference the expression that defines
1323 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001324 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001325}
1326
David Blaikie871c2d92014-11-02 03:09:13 +00001327DIE *DwarfUnit::getIndexTyDie() {
1328 if (IndexTyDie)
1329 return IndexTyDie;
1330 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001331 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
David Blaikie871c2d92014-11-02 03:09:13 +00001332 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1333 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1334 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1335 dwarf::DW_ATE_unsigned);
1336 return IndexTyDie;
1337}
1338
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001339void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001340 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001341 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001342
Eric Christopher0df08e22013-08-08 07:40:37 +00001343 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001344 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001345
1346 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001347 // FIXME: This type should be passed down from the front end
1348 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001349 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001350
1351 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001352 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001353 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001354 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001355 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001356 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001357 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001358 }
1359}
1360
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001361void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1362 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001363
1364 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001365 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001366 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001367 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001368 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001369 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001370 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001371 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001372 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1373 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001374 }
1375 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001376 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001377 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001378 addType(Buffer, DTy);
1379 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001380 }
Devang Patel0e821f42011-04-12 23:21:44 +00001381}
1382
Eric Christophera5a79422013-12-09 23:32:48 +00001383void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001384 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001385 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001386 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001387 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001388 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001389 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001390 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001391 if (!NDie)
1392 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001393 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001394 }
1395}
1396
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001397void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001398 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1399 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001400 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001401 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001402
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001403 if (DIType *Resolved = resolve(DT->getBaseType()))
1404 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001405
1406 addSourceLine(MemberDie, DT);
1407
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001408 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001409
1410 // For C++, virtual base classes are not at fixed offset. Use following
1411 // expression to extract appropriate offset from vtable.
1412 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1413
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001414 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001415 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1416 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1417 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001418 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001419 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1420 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1421 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001422
David Blaikief2443192013-10-21 17:28:37 +00001423 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001424 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001425 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001426 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001427 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001428 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001429
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001430 bool IsBitfield = FieldSize && Size != FieldSize;
1431 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001432 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001433 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001434 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001435 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001436
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001437 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001438 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1439 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1440 // which can't be done with bitfields. Thus we use FieldSize here.
1441 uint32_t AlignInBits = FieldSize;
1442 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001443 // The bits from the start of the storage unit to the start of the field.
1444 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001445 // The byte offset of the field's aligned storage unit inside the struct.
1446 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001447
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001448 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001449 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1450 uint64_t FieldOffset = (HiMark - FieldSize);
1451 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001452
Adrian Prantle5447572016-04-28 15:37:52 +00001453 // Maybe we need to work from the other end.
1454 if (Asm->getDataLayout().isLittleEndian())
1455 Offset = FieldSize - (Offset + Size);
1456
1457 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1458 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001459 } else {
1460 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001461 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001462 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001463 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001464 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001465 if (AlignInBytes)
1466 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1467 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001468 }
David Blaikie2ada1162014-01-03 00:48:38 +00001469
David Blaikie22b29a52014-01-03 01:30:05 +00001470 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001471 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001472 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1473 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001474 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001475 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001476 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1477 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001478 }
Devang Patel0e821f42011-04-12 23:21:44 +00001479
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001480 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001481 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001482 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001483 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001484 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001485 dwarf::DW_ACCESS_private);
1486 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001487 else if (DT->isPublic())
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_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001490 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001491 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001492 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001493
1494 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001495 if (DINode *PNode = DT->getObjCProperty())
1496 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001497 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1498 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001499
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001500 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001501 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001502}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001503
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001504DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001505 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001506 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001507
Manman Renc6b63922013-10-14 20:33:57 +00001508 // Construct the context before querying for the existence of the DIE in case
1509 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001510 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001511 assert(dwarf::isType(ContextDIE->getTag()) &&
1512 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001513
David Blaikie65a74662014-04-25 18:26:14 +00001514 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001515 return StaticMemberDIE;
1516
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001517 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001518
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001519 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001520
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001521 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001522 addType(StaticMemberDIE, Ty);
1523 addSourceLine(StaticMemberDIE, DT);
1524 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1525 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1526
1527 // FIXME: We could omit private if the parent is a class_type, and
1528 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001529 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001530 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1531 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001532 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001533 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1534 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001535 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001536 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1537 dwarf::DW_ACCESS_public);
1538
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001539 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001540 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001541 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001542 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001543
Victor Leschuka37660c2016-10-26 21:32:29 +00001544 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001545 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1546 AlignInBytes);
1547
David Blaikie65a74662014-04-25 18:26:14 +00001548 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001549}
David Blaikie6b288cf2013-10-30 20:42:41 +00001550
Paul Robinsoncddd6042017-02-28 20:24:55 +00001551void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001552 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001553 Asm->OutStreamer->AddComment("Length of Unit");
Greg Clayton35630c32016-12-01 18:56:29 +00001554 Asm->EmitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001555
Lang Hames9ff69c82015-04-24 19:11:51 +00001556 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001557 unsigned Version = DD->getDwarfVersion();
1558 Asm->EmitInt16(Version);
1559
1560 // DWARF v5 reorders the address size and adds a unit type.
1561 if (Version >= 5) {
1562 Asm->OutStreamer->AddComment("DWARF Unit Type");
1563 Asm->EmitInt8(UT);
1564 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +00001565 Asm->EmitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001566 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001567
David Blaikie6896e192013-12-04 23:39:02 +00001568 // We share one abbreviations table across all units so it's always at the
1569 // start of the section. Use a relocatable offset where needed to ensure
1570 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001571 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001572 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001573 if (UseOffsets)
1574 Asm->EmitInt32(0);
1575 else
1576 Asm->emitDwarfSymbolReference(
1577 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001578
Paul Robinsoncddd6042017-02-28 20:24:55 +00001579 if (Version <= 4) {
1580 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +00001581 Asm->EmitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001582 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001583}
David Blaikiebc563272013-12-13 21:33:40 +00001584
Rafael Espindola063d7252015-03-10 16:58:10 +00001585void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Paul Robinsoncddd6042017-02-28 20:24:55 +00001586 DwarfUnit::emitCommonHeader(UseOffsets,
1587 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1588 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001589 Asm->OutStreamer->AddComment("Type Signature");
1590 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1591 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001592 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001593 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1594 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001595}
1596
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001597DIE::value_iterator
1598DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1599 const MCSymbol *Hi, const MCSymbol *Lo) {
1600 return Die.addValue(DIEValueAllocator, Attribute,
1601 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1602 : dwarf::DW_FORM_data4,
1603 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1604}
1605
1606DIE::value_iterator
1607DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1608 const MCSymbol *Label, const MCSymbol *Sec) {
1609 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1610 return addLabel(Die, Attribute,
1611 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1612 : dwarf::DW_FORM_data4,
1613 Label);
1614 return addSectionDelta(Die, Attribute, Label, Sec);
1615}
1616
David Blaikiecafd9622014-11-02 08:51:37 +00001617bool DwarfTypeUnit::isDwoUnit() const {
1618 // Since there are no skeleton type units, all type units are dwo type units
1619 // when split DWARF is being used.
1620 return DD->useSplitDwarf();
1621}
David Blaikiea0e3c752017-02-03 00:44:18 +00001622
1623void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1624 const DIScope *Context) {
1625 getCU().addGlobalNameForTypeUnit(Name, Context);
1626}
1627
1628void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1629 const DIScope *Context) {
1630 getCU().addGlobalTypeUnitType(Ty, Context);
1631}
David Blaikie85366ac2017-04-22 07:53:44 +00001632
1633const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1634 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1635 return nullptr;
1636 if (isDwoUnit())
1637 return nullptr;
1638 return getSection()->getBeginSymbol();
1639}