blob: 907ede0a6338f566de25012bd3eb13679bcbe072 [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"
Paul Robinson612e89d2018-01-12 19:17:50 +000022#include "llvm/ADT/StringExtras.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000023#include "llvm/ADT/iterator_range.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000024#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000025#include "llvm/CodeGen/MachineOperand.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000026#include "llvm/CodeGen/TargetLoweringObjectFile.h"
27#include "llvm/CodeGen/TargetRegisterInfo.h"
28#include "llvm/CodeGen/TargetSubtargetInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000029#include "llvm/IR/Constants.h"
30#include "llvm/IR/DataLayout.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000031#include "llvm/IR/GlobalValue.h"
32#include "llvm/IR/Metadata.h"
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000033#include "llvm/MC/MCAsmInfo.h"
Paul Robinson612e89d2018-01-12 19:17:50 +000034#include "llvm/MC/MCContext.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000035#include "llvm/MC/MCDwarf.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000036#include "llvm/MC/MCSection.h"
37#include "llvm/MC/MCStreamer.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000038#include "llvm/MC/MachineLocation.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000039#include "llvm/Support/Casting.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000040#include "llvm/Support/CommandLine.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000041#include <cassert>
42#include <cstdint>
43#include <string>
44#include <utility>
Devang Patel0e821f42011-04-12 23:21:44 +000045
46using namespace llvm;
47
Chandler Carruth1b9dde02014-04-22 02:02:50 +000048#define DEBUG_TYPE "dwarfdebug"
49
Eric Christopher4287a492013-12-09 23:57:44 +000050static cl::opt<bool>
51GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
52 cl::desc("Generate DWARF4 type units."),
53 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000054
Adrian Prantlb846acc2015-03-02 22:02:36 +000055DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
56 DIELoc &DIE)
Greg Claytone6543972016-11-23 23:30:37 +000057 : DwarfExpression(AP.getDwarfVersion()), AP(AP), DU(DU),
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000058 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000059
Adrian Prantla63b8e82017-03-16 17:42:45 +000060void DIEDwarfExpression::emitOp(uint8_t Op, const char* Comment) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000061 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
62}
Eugene Zelenko1804a772016-08-25 00:45:04 +000063
Adrian Prantla63b8e82017-03-16 17:42:45 +000064void DIEDwarfExpression::emitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000065 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
66}
Eugene Zelenko1804a772016-08-25 00:45:04 +000067
Adrian Prantla63b8e82017-03-16 17:42:45 +000068void DIEDwarfExpression::emitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000069 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
70}
Eugene Zelenko1804a772016-08-25 00:45:04 +000071
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000072bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
73 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000074 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000075}
76
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000077DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
78 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000079 : DIEUnit(A->getDwarfVersion(), A->MAI->getCodePointerSize(), UnitTag),
80 CUNode(Node), Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000081}
82
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000083DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000084 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000085 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000086 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
87 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000088 if (SplitLineTable)
Greg Clayton35630c32016-12-01 18:56:29 +000089 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000090}
David Blaikie409dd9c2013-11-19 23:08:21 +000091
Eric Christophera5a79422013-12-09 23:32:48 +000092DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000093 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
94 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000095 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
96 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000097}
98
Eric Christophera5a79422013-12-09 23:32:48 +000099int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +0000100 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +0000101 default:
102 break;
103
Paul Robinson91d74812017-03-01 18:32:37 +0000104 // The languages below have valid values in all DWARF versions.
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 case dwarf::DW_LANG_C:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000106 case dwarf::DW_LANG_C89:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000107 case dwarf::DW_LANG_C_plus_plus:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000108 return 0;
109
110 case dwarf::DW_LANG_Fortran77:
111 case dwarf::DW_LANG_Fortran90:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000112 return 1;
113
Paul Robinson91d74812017-03-01 18:32:37 +0000114 // The languages below have valid values only if the DWARF version >= 3.
115 case dwarf::DW_LANG_C99:
116 case dwarf::DW_LANG_ObjC:
117 case dwarf::DW_LANG_ObjC_plus_plus:
118 if (DD->getDwarfVersion() >= 3)
119 return 0;
120 break;
121
122 case dwarf::DW_LANG_Fortran95:
123 if (DD->getDwarfVersion() >= 3)
124 return 1;
125 break;
126
127 // Starting with DWARF v4, all defined languages have valid values.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000128 case dwarf::DW_LANG_D:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000129 case dwarf::DW_LANG_Java:
130 case dwarf::DW_LANG_Python:
131 case dwarf::DW_LANG_UPC:
Paul Robinson91d74812017-03-01 18:32:37 +0000132 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000133 return 0;
134 break;
135
136 case dwarf::DW_LANG_Ada83:
137 case dwarf::DW_LANG_Ada95:
138 case dwarf::DW_LANG_Cobol74:
139 case dwarf::DW_LANG_Cobol85:
140 case dwarf::DW_LANG_Modula2:
141 case dwarf::DW_LANG_Pascal83:
142 case dwarf::DW_LANG_PLI:
Paul Robinson91d74812017-03-01 18:32:37 +0000143 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000144 return 1;
145 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000146
Paul Robinson91d74812017-03-01 18:32:37 +0000147 // The languages below are new in DWARF v5.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000148 case dwarf::DW_LANG_BLISS:
149 case dwarf::DW_LANG_C11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000150 case dwarf::DW_LANG_C_plus_plus_03:
151 case dwarf::DW_LANG_C_plus_plus_11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000152 case dwarf::DW_LANG_C_plus_plus_14:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000153 case dwarf::DW_LANG_Dylan:
154 case dwarf::DW_LANG_Go:
155 case dwarf::DW_LANG_Haskell:
156 case dwarf::DW_LANG_OCaml:
157 case dwarf::DW_LANG_OpenCL:
Paul Robinson91d74812017-03-01 18:32:37 +0000158 case dwarf::DW_LANG_RenderScript:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000159 case dwarf::DW_LANG_Rust:
160 case dwarf::DW_LANG_Swift:
Paul Robinson91d74812017-03-01 18:32:37 +0000161 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000162 return 0;
163 break;
164
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000165 case dwarf::DW_LANG_Fortran03:
166 case dwarf::DW_LANG_Fortran08:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000167 case dwarf::DW_LANG_Julia:
168 case dwarf::DW_LANG_Modula3:
Paul Robinson91d74812017-03-01 18:32:37 +0000169 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000170 return 1;
171 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000172 }
173
174 return -1;
175}
176
Manman Ren4dbdc902013-10-31 17:54:35 +0000177/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie488393f2017-05-12 01:13:45 +0000178bool DwarfUnit::isShareableAcrossCUs(const DINode *D) const {
David Blaikiebcb418e2013-11-20 18:40:16 +0000179 // When the MDNode can be part of the type system, the DIE can be shared
180 // across CUs.
181 // Combining type units and cross-CU DIE sharing is lower value (since
182 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
183 // level already) but may be implementable for some value in projects
184 // building multiple independent libraries with LTO and then linking those
185 // together.
David Blaikie488393f2017-05-12 01:13:45 +0000186 if (isDwoUnit() && !DD->shareAcrossDWOCUs())
187 return false;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000188 return (isa<DIType>(D) ||
189 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000190 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000191}
192
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000193DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000194 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000195 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000196 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000197}
198
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000199void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000200 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000201 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000202 return;
203 }
David Blaikie2ad00162013-11-15 23:09:13 +0000204 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000205}
206
David Blaikie65a74662014-04-25 18:26:14 +0000207void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000208 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000209 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
210 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000211 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000212 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
213 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000214}
215
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000216void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000217 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000218 if (!Form)
219 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000220 assert(Form != dwarf::DW_FORM_implicit_const &&
221 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000222 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000223}
224
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000225void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
226 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000227 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000228}
229
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000230void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000231 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000232 if (!Form)
233 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000234 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000235}
236
David Blaikie65a74662014-04-25 18:26:14 +0000237void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000238 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000239 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000240}
241
David Blaikie65a74662014-04-25 18:26:14 +0000242void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000243 StringRef String) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000244 Die.addValue(DIEValueAllocator, Attribute,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000245 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp,
Duncan P. N. Exon Smithf73bcf42015-05-24 16:40:47 +0000246 DIEString(DU->getStringPool().getEntry(*Asm, String)));
Devang Patel0e821f42011-04-12 23:21:44 +0000247}
248
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000249DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
250 dwarf::Attribute Attribute,
251 dwarf::Form Form,
252 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000253 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000254}
255
David Blaikie65a74662014-04-25 18:26:14 +0000256void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000257 addLabel(Die, (dwarf::Attribute)0, Form, Label);
258}
259
David Blaikie65a74662014-04-25 18:26:14 +0000260void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000261 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000262 if (DD->getDwarfVersion() >= 4)
263 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
264 else
265 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
266}
267
Paul Robinson612e89d2018-01-12 19:17:50 +0000268MD5::MD5Result *DwarfUnit::getMD5AsBytes(const DIFile *File) {
269 assert(File);
270 if (File->getChecksumKind() != DIFile::CSK_MD5)
271 return nullptr;
272
273 // Convert the string checksum to an MD5Result for the streamer.
274 // The verifier validates the checksum so we assume it's okay.
275 // An MD5 checksum is 16 bytes.
276 std::string Checksum = fromHex(File->getChecksum());
277 void *CKMem = Asm->OutStreamer->getContext().allocate(16, 1);
278 memcpy(CKMem, Checksum.data(), 16);
279 return reinterpret_cast<MD5::MD5Result *>(CKMem);
280}
281
282unsigned DwarfTypeUnit::getOrCreateSourceID(const DIFile *File) {
Paul Robinson29f5f982018-01-09 23:31:48 +0000283 return SplitLineTable
Paul Robinson612e89d2018-01-12 19:17:50 +0000284 ? SplitLineTable->getFile(File->getDirectory(),
285 File->getFilename(), getMD5AsBytes(File))
286 : getCU().getOrCreateSourceID(File);
David Blaikie4a2f95f2014-03-18 01:17:26 +0000287}
288
David Blaikie65a74662014-04-25 18:26:14 +0000289void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000290 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000291 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
292 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000293 } else {
David Blaikief2443192013-10-21 17:28:37 +0000294 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000295 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000296 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000297 }
298}
299
David Blaikie65a74662014-04-25 18:26:14 +0000300void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000301 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000302 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000303 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000304}
305
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000306void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000307 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000308}
309
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000310void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000311 // Flag the type unit reference as a declaration so that if it contains
312 // members (implicit special members, static data member definitions, member
313 // declarations for definitions in this CU, etc) consumers don't get confused
314 // and think this is a full definition.
315 addFlag(Die, dwarf::DW_AT_declaration);
316
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000317 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000318 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000319}
320
David Blaikie65a74662014-04-25 18:26:14 +0000321void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000322 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000323 const DIEUnit *CU = Die.getUnit();
324 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
325 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000326 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000327 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000328 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000329 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000330 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000331 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000332 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000333}
334
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000335DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000336 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
337 if (N)
338 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000339 return Die;
340}
341
David Blaikie65a74662014-04-25 18:26:14 +0000342void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000343 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000344 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000345 Die.addValue(DIEValueAllocator, Attribute,
346 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000347}
348
David Blaikie65a74662014-04-25 18:26:14 +0000349void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000350 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000351 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000352 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000353 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000354}
355
Paul Robinson612e89d2018-01-12 19:17:50 +0000356void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, const DIFile *File) {
Devang Patel0e821f42011-04-12 23:21:44 +0000357 if (Line == 0)
358 return;
David Blaikie101613e2014-02-12 00:11:25 +0000359
Paul Robinson612e89d2018-01-12 19:17:50 +0000360 unsigned FileID = getOrCreateSourceID(File);
Devang Patel0e821f42011-04-12 23:21:44 +0000361 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000362 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
363 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000364}
365
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000366void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000367 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000368
Paul Robinson612e89d2018-01-12 19:17:50 +0000369 addSourceLine(Die, V->getLine(), V->getFile());
David Blaikie101613e2014-02-12 00:11:25 +0000370}
371
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000372void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000373 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000374
Paul Robinson612e89d2018-01-12 19:17:50 +0000375 addSourceLine(Die, G->getLine(), G->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000376}
377
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000378void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000379 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000380
Paul Robinson612e89d2018-01-12 19:17:50 +0000381 addSourceLine(Die, SP->getLine(), SP->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000382}
383
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000384void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000385 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000386
Paul Robinson612e89d2018-01-12 19:17:50 +0000387 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000388}
389
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000390void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000391 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000392
Paul Robinson612e89d2018-01-12 19:17:50 +0000393 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000394}
395
Devang Patel0e821f42011-04-12 23:21:44 +0000396/* Byref variables, in Blocks, are declared by the programmer as "SomeType
397 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
398 gives the variable VarName either the struct, or a pointer to the struct, as
399 its type. This is necessary for various behind-the-scenes things the
400 compiler needs to do with by-reference variables in Blocks.
401
402 However, as far as the original *programmer* is concerned, the variable
403 should still have type 'SomeType', as originally declared.
404
405 The function getBlockByrefType dives into the __Block_byref_x_VarName
406 struct to find the original type of the variable, which is then assigned to
407 the variable's Debug Information Entry as its real type. So far, so good.
408 However now the debugger will expect the variable VarName to have the type
409 SomeType. So we need the location attribute for the variable to be an
410 expression that explains to the debugger how to navigate through the
411 pointers and struct to find the actual variable of type SomeType.
412
413 The following function does just that. We start by getting
414 the "normal" location for the variable. This will be the location
415 of either the struct __Block_byref_x_VarName or the pointer to the
416 struct __Block_byref_x_VarName.
417
418 The struct will look something like:
419
420 struct __Block_byref_x_VarName {
421 ... <various fields>
422 struct __Block_byref_x_VarName *forwarding;
423 ... <various other fields>
424 SomeType VarName;
425 ... <maybe more fields>
426 };
427
428 If we are given the struct directly (as our starting point) we
429 need to tell the debugger to:
430
431 1). Add the offset of the forwarding field.
432
433 2). Follow that pointer to get the real __Block_byref_x_VarName
434 struct to use (the real one may have been copied onto the heap).
435
436 3). Add the offset for the field VarName, to find the actual variable.
437
438 If we started with a pointer to the struct, then we need to
439 dereference that pointer first, before the other steps.
440 Translating this into DWARF ops, we will need to append the following
441 to the current location description for the variable:
442
443 DW_OP_deref -- optional, if we start with a pointer
444 DW_OP_plus_uconst <forward_fld_offset>
445 DW_OP_deref
446 DW_OP_plus_uconst <varName_fld_offset>
447
448 That is what this function does. */
449
David Blaikie65a74662014-04-25 18:26:14 +0000450void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000451 dwarf::Attribute Attribute,
452 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000453 const DIType *Ty = DV.getType();
454 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000455 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000456 bool isPointer = false;
457
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000458 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000459
460 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000461 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000462 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000463 isPointer = true;
464 }
465
Devang Patel0e821f42011-04-12 23:21:44 +0000466 // Find the __forwarding field and the variable field in the __Block_byref
467 // struct.
Duncan P. N. Exon Smith6ac940d2015-07-24 18:17:17 +0000468 DINodeArray Fields = cast<DICompositeType>(TmpTy)->getElements();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000469 const DIDerivedType *varField = nullptr;
470 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000471
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000472 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000473 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000474 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000475 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000476 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000477 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000478 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000479 }
480
481 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000482 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
483 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000484
485 // Decode the original location, and use that as the start of the byref
486 // variable's location.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000487 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl956484b2017-03-20 21:35:09 +0000488 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000489 if (Location.isIndirect())
490 DwarfExpr.setMemoryLocationKind();
Devang Patel0e821f42011-04-12 23:21:44 +0000491
Adrian Prantl2049c0d2017-08-02 15:22:17 +0000492 SmallVector<uint64_t, 6> Ops;
Devang Patel0e821f42011-04-12 23:21:44 +0000493 // If we started with a pointer to the __Block_byref... struct, then
494 // the first thing we need to do is dereference the pointer (DW_OP_deref).
495 if (isPointer)
Adrian Prantl956484b2017-03-20 21:35:09 +0000496 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000497
498 // Next add the offset for the '__forwarding' field:
499 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
500 // adding the offset if it's 0.
501 if (forwardingFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000502 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000503 Ops.push_back(forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000504 }
505
506 // Now dereference the __forwarding field to get to the real __Block_byref
507 // struct: DW_OP_deref.
Adrian Prantl956484b2017-03-20 21:35:09 +0000508 Ops.push_back(dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000509
510 // Now that we've got the real __Block_byref... struct, add the offset
511 // for the variable's field to get to the location of the actual variable:
512 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
513 if (varFieldOffset > 0) {
Florian Hahnffc498d2017-06-14 13:14:38 +0000514 Ops.push_back(dwarf::DW_OP_plus_uconst);
Adrian Prantl956484b2017-03-20 21:35:09 +0000515 Ops.push_back(varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000516 }
Adrian Prantl956484b2017-03-20 21:35:09 +0000517
518 DIExpressionCursor Cursor(Ops);
519 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000520 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantl956484b2017-03-20 21:35:09 +0000521 return;
522 DwarfExpr.addExpression(std::move(Cursor));
Devang Patel0e821f42011-04-12 23:21:44 +0000523
524 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000525 addBlock(Die, Attribute, DwarfExpr.finalize());
Devang Patel0e821f42011-04-12 23:21:44 +0000526}
527
Manman Renb3388602013-10-05 01:43:03 +0000528/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000529static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000530 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
531 // FIXME: Enums without a fixed underlying type have unknown signedness
532 // here, leading to incorrectly emitted constants.
533 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
534 return false;
535
536 // (Pieces of) aggregate types that get hacked apart by SROA may be
537 // represented by a constant. Encode them as unsigned bytes.
538 return true;
539 }
540
541 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000542 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000543 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000544 // null pointer constant emission.
545 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
546 // here, but accept them for now due to a bug in SROA producing bogus
547 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000548 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000549 T == dwarf::DW_TAG_ptr_to_member_type ||
550 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000551 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000552 return true;
553 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
554 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000555 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000556 DITypeRef Deriv = DTy->getBaseType();
557 assert(Deriv && "Expected valid base type");
558 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000559 }
Manman Renb3388602013-10-05 01:43:03 +0000560
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000561 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000562 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000563 assert((Encoding == dwarf::DW_ATE_unsigned ||
564 Encoding == dwarf::DW_ATE_unsigned_char ||
565 Encoding == dwarf::DW_ATE_signed ||
566 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000567 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
568 Encoding == dwarf::DW_ATE_boolean ||
569 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
570 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000571 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000572 return Encoding == dwarf::DW_ATE_unsigned ||
573 Encoding == dwarf::DW_ATE_unsigned_char ||
574 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
575 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000576}
577
David Blaikie65a74662014-04-25 18:26:14 +0000578void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000579 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000580 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000581 APFloat FPImm = MO.getFPImm()->getValueAPF();
582
583 // Get the raw data form of the floating point.
584 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000585 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000586
587 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000588 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000589 int Incr = (LittleEndian ? 1 : -1);
590 int Start = (LittleEndian ? 0 : NumBytes - 1);
591 int Stop = (LittleEndian ? NumBytes : -1);
592
593 // Output the constant to DWARF one byte at a time.
594 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000595 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000596
David Blaikief2443192013-10-21 17:28:37 +0000597 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000598}
599
David Blaikie65a74662014-04-25 18:26:14 +0000600void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000601 // Pass this down to addConstantValue as an unsigned bag of bits.
602 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000603}
604
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000605void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000606 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000607 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000608}
609
David Blaikiec05c8f42014-05-11 15:47:39 +0000610void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000611 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000612 assert(MO.isImm() && "Invalid machine operand!");
613
David Blaikie60cae1b2014-05-11 16:08:41 +0000614 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000615}
616
David Blaikie60cae1b2014-05-11 16:08:41 +0000617void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000618 // FIXME: This is a bit conservative/simple - it emits negative values always
619 // sign extended to 64 bits rather than minimizing the number of bytes.
620 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000621 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000622}
623
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000624void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000625 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
626}
627
David Blaikie65a74662014-04-25 18:26:14 +0000628void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000629 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000630 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000631 addConstantValue(Die, Unsigned,
632 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000633 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000634 }
635
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000636 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000637
638 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000639 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000640
641 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000642 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000643
644 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000645 for (int i = 0; i < NumBytes; i++) {
646 uint8_t c;
647 if (LittleEndian)
648 c = Ptr64[i / 8] >> (8 * (i & 7));
649 else
650 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000651 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000652 }
Devang Patel0e821f42011-04-12 23:21:44 +0000653
David Blaikief2443192013-10-21 17:28:37 +0000654 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000655}
656
Paul Robinson857b4432015-03-10 22:44:45 +0000657void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000658 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000659 addString(Die,
660 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
661 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000662 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000663}
664
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000665void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000666 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000667 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000668 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000669 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000670 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000671 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000672 }
Devang Patel0e821f42011-04-12 23:21:44 +0000673}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000674
Adrian Prantl1d12b882017-04-26 22:56:44 +0000675/// Add thrown types.
676void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
677 for (const auto *Ty : ThrownTypes) {
678 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
679 addType(TT, cast<DIType>(Ty));
680 }
681}
682
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000683DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
684 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000685 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000686 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000687 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000688 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000689 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000690 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000691 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000692 if (auto *M = dyn_cast<DIModule>(Context))
693 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000694 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000695}
696
David Blaikiea0e3c752017-02-03 00:44:18 +0000697DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000698 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000699 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000700
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000701 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000702 return TyDIE;
703
704 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000705 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000706
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000707 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000708
Adrian Prantl19aadf52017-03-13 22:56:14 +0000709 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000710 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000711}
712
David Blaikied51dea62015-07-01 18:07:16 +0000713DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000714 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000715 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000716
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000717 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000718
David Blaikieee11f222014-04-12 05:35:59 +0000719 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000720 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000721 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000722
Victor Leschuke1156c22016-10-31 19:09:38 +0000723 // DW_TAG_atomic_type is not supported in DWARF < 5
724 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
725 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
726
Manman Renf4c339e2013-10-29 22:49:29 +0000727 // Construct the context before querying for the existence of the DIE in case
728 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000729 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000730 DIE *ContextDIE = getOrCreateContextDIE(Context);
731 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000732
David Blaikie65a74662014-04-25 18:26:14 +0000733 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000734 return TyDIE;
735
Amjad Aboud72da9392016-04-30 01:44:07 +0000736 // Create new type.
737 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000738
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000739 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000740
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000741 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000742 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000743 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000744 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000745 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000746 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
747 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000748 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000749 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000750 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000751 }
David Blaikie65a74662014-04-25 18:26:14 +0000752 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000753 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000754 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000755 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000756
David Blaikie65a74662014-04-25 18:26:14 +0000757 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000758}
759
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000760void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
761 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000762 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000763 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000764 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000765 // A runtime language of 0 actually means C/C++ and that any
766 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000767 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000768 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000769 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000770 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000771
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000772 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
773 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000774 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000775 }
Devang Patel0e821f42011-04-12 23:21:44 +0000776}
777
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000778void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000779 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000780 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000781 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000782}
783
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000784std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000785 if (!Context)
786 return "";
787
788 // FIXME: Decide whether to implement this for non-C++ languages.
789 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
790 return "";
791
Eric Christopher8dba0d52013-10-19 01:04:42 +0000792 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000793 SmallVector<const DIScope *, 1> Parents;
794 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000795 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000796 if (Context->getScope())
797 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000798 else
799 // Structure, etc types will have a NULL context if they're at the top
800 // level.
801 break;
802 }
803
804 // Reverse iterate over our list to go from the outermost construct to the
805 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000806 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000807 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000808 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000809 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000810 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000811 CS += Name;
812 CS += "::";
813 }
814 }
815 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000816}
817
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000818void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000819 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000820 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000821 // Add name if not anonymous or intermediate type.
822 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000823 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000824
David Blaikiefac56122013-10-04 23:21:16 +0000825 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000826 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000827 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000828
David Blaikie65a74662014-04-25 18:26:14 +0000829 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000830 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000831
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000832 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000833 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000834}
835
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000836void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000837 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000838 StringRef Name = DTy->getName();
839 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000840 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000841
842 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000843 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000844 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000845 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000846
847 // Add name if not anonymous or intermediate type.
848 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000849 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000850
851 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000852 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000853 && Tag != dwarf::DW_TAG_ptr_to_member_type
854 && Tag != dwarf::DW_TAG_reference_type
855 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000856 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000857
David Blaikie5d3249b2013-01-07 05:51:15 +0000858 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000859 addDIEEntry(
860 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000861 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000862 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000863 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000864 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000865
866 // If DWARF address space value is other than None, add it for pointer and
867 // reference types as DW_AT_address_class.
868 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
869 Tag == dwarf::DW_TAG_reference_type))
870 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
871 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000872}
873
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000874void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000875 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000876 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000877 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000878 assert(i == N-1 && "Unspecified parameter must be the last argument");
879 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
880 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000881 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000882 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000883 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000884 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000885 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000886 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000887}
888
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000889void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000890 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000891 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000892 if (Elements.size())
893 if (auto RTy = resolve(Elements[0]))
894 addType(Buffer, RTy);
895
896 bool isPrototyped = true;
897 if (Elements.size() == 2 && !Elements[1])
898 isPrototyped = false;
899
900 constructSubprogramArguments(Buffer, Elements);
901
902 // Add prototype flag if we're dealing with a C language and the function has
903 // been prototyped.
904 uint16_t Language = getLanguage();
905 if (isPrototyped &&
906 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
907 Language == dwarf::DW_LANG_ObjC))
908 addFlag(Buffer, dwarf::DW_AT_prototyped);
909
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000910 // Add a DW_AT_calling_convention if this has an explicit convention.
911 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
912 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
913 CTy->getCC());
914
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000915 if (CTy->isLValueReference())
916 addFlag(Buffer, dwarf::DW_AT_reference);
917
918 if (CTy->isRValueReference())
919 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
920}
921
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000922void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000923 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000924 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000925
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000926 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000927 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000928
929 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000930 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000931 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000932 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000933 case dwarf::DW_TAG_enumeration_type:
934 constructEnumTypeDIE(Buffer, CTy);
935 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000936 case dwarf::DW_TAG_structure_type:
937 case dwarf::DW_TAG_union_type:
938 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000939 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000940 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000941 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000942 if (!Element)
943 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000944 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000945 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000946 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000947 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000948 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000949 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
950 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000951 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000952 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000953 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000954 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000955 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000956 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
957 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000958 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000959 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000960 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000961 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000962 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000963 if (!GetterName.empty())
964 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000965 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000966 if (!SetterName.empty())
967 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000968 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000969 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000970 PropertyAttributes);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000971 }
Devang Patel0e821f42011-04-12 23:21:44 +0000972 }
973
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000974 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000975 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000976
Adrian Prantlcf44e782014-12-19 00:01:20 +0000977 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
978 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +0000979 // Rust uses DW_AT_containing_type to link a vtable to the type
980 // for which it was created.
981 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +0000982 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000983 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000984
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000985 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000986 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000987
Eric Christopherda011dd2011-12-16 23:42:42 +0000988 // Add template parameters to a class, structure or union types.
989 // FIXME: The support isn't in the metadata for this yet.
990 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000991 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000992 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000993
Adrian Prantla29aac72018-01-05 01:13:37 +0000994 // Add the type's non-standard calling convention.
995 uint8_t CC = 0;
996 if (CTy->isTypePassByValue())
997 CC = dwarf::DW_CC_pass_by_value;
998 else if (CTy->isTypePassByReference())
999 CC = dwarf::DW_CC_pass_by_reference;
1000 if (CC)
1001 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
1002 CC);
Devang Patel0e821f42011-04-12 23:21:44 +00001003 break;
1004 }
1005 default:
1006 break;
1007 }
1008
1009 // Add name if not anonymous or intermediate type.
1010 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001011 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001012
Eric Christopher775cbd22012-05-22 18:45:18 +00001013 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001014 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001015 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001016 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001017 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001018 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001019 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001020 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001021 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001022 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001023
1024 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001025 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001026 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001027
1028 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001029 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001030 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001031
1032 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001033 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001034 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001035 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001036 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001037
1038 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001039 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001040 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1041 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001042 }
1043}
1044
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001045void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001046 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001047 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001048 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001049 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001050 if (TP->getType())
1051 addType(ParamDIE, resolve(TP->getType()));
1052 if (!TP->getName().empty())
1053 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001054}
1055
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001056void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001057 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001058 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001059
1060 // Add the type if there is one, template template and template parameter
1061 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001062 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1063 addType(ParamDIE, resolve(VP->getType()));
1064 if (!VP->getName().empty())
1065 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1066 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001067 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001068 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001069 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001070 // We cannot describe the location of dllimport'd entities: the
1071 // computation of their address requires loads from the IAT.
1072 if (!GV->hasDLLImportStorageClass()) {
1073 // For declaration non-type template parameters (such as global values
1074 // and functions)
1075 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1076 addOpAddress(*Loc, Asm->getSymbol(GV));
1077 // Emit DW_OP_stack_value to use the address as the immediate value of
1078 // the parameter, rather than a pointer to it.
1079 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1080 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1081 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001082 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001083 assert(isa<MDString>(Val));
1084 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1085 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001086 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001087 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001088 }
1089 }
Devang Patel0e821f42011-04-12 23:21:44 +00001090}
1091
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001092DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001093 // Construct the context before querying for the existence of the DIE in case
1094 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001095 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001096
David Blaikie65a74662014-04-25 18:26:14 +00001097 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001098 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001099 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001100
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001101 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001102 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001103 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001104 else
1105 Name = "(anonymous namespace)";
1106 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001107 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001108 if (NS->getExportSymbols())
1109 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001110 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001111}
1112
Adrian Prantl08a388b2015-06-30 02:13:04 +00001113DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1114 // Construct the context before querying for the existence of the DIE in case
1115 // such construction creates the DIE.
1116 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1117
1118 if (DIE *MDie = getDIE(M))
1119 return MDie;
1120 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1121
1122 if (!M->getName().empty()) {
1123 addString(MDie, dwarf::DW_AT_name, M->getName());
1124 addGlobalName(M->getName(), MDie, M->getScope());
1125 }
1126 if (!M->getConfigurationMacros().empty())
1127 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1128 M->getConfigurationMacros());
1129 if (!M->getIncludePath().empty())
1130 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1131 if (!M->getISysRoot().empty())
1132 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
1133
1134 return &MDie;
1135}
1136
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001137DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001138 // Construct the context before querying for the existence of the DIE in case
1139 // such construction creates the DIE (as is the case for member function
1140 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001141 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001142 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001143
David Blaikie65a74662014-04-25 18:26:14 +00001144 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001145 return SPDie;
1146
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001147 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001148 if (!Minimal) {
1149 // Add subprogram definitions to the CU die directly.
1150 ContextDIE = &getUnitDie();
1151 // Build the decl now to ensure it precedes the definition.
1152 getOrCreateSubprogramDIE(SPDecl);
1153 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001154 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001155
1156 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001157 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001158
David Blaikie6cfa9e12014-06-05 00:25:26 +00001159 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001160 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001161 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001162 return &SPDie;
1163
David Blaikie7f916862014-05-27 18:37:38 +00001164 applySubprogramAttributes(SP, SPDie);
1165 return &SPDie;
1166}
1167
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001168bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001169 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001170 DIE *DeclDie = nullptr;
1171 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001172 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001173 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001174 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001175 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001176 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001177 // Look at the Decl's linkage name only if we emitted it.
1178 if (DD->useAllLinkageNames())
1179 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson612e89d2018-01-12 19:17:50 +00001180 unsigned DeclID = getOrCreateSourceID(SPDecl->getFile());
1181 unsigned DefID = getOrCreateSourceID(SP->getFile());
David Blaikiec9ad9192015-10-07 00:04:16 +00001182 if (DeclID != DefID)
1183 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1184
1185 if (SP->getLine() != SPDecl->getLine())
1186 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001187 }
Rafael Espindola79278362011-11-10 22:34:29 +00001188
Devang Patel89543712011-08-15 17:24:54 +00001189 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001190 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001191
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001192 // 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 +00001193 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001194 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1195 LinkageName == DeclLinkageName) &&
1196 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001197 if (DeclLinkageName.empty() &&
1198 // Always emit it for abstract subprograms.
1199 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001200 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001201
David Blaikie3a443c22014-11-04 22:12:25 +00001202 if (!DeclDie)
1203 return false;
1204
1205 // Refer to the function declaration where all the other attributes will be
1206 // found.
1207 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1208 return true;
1209}
1210
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001211void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001212 bool SkipSPAttributes) {
1213 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1214 // and its source location.
1215 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001216 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001217 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001218 if (applySubprogramDefinitionAttributes(SP, SPDie))
1219 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001220
Devang Patel89543712011-08-15 17:24:54 +00001221 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001222 if (!SP->getName().empty())
1223 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001224
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001225 if (!SkipSPSourceLocation)
1226 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001227
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001228 // Skip the rest of the attributes under -gmlt to save space.
1229 if (SkipSPAttributes)
1230 return;
Devang Patel89543712011-08-15 17:24:54 +00001231
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001232 // Add the prototype if we have a prototype and we have a C like
1233 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001234 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001235 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001236 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001237 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001238 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001239
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001240 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001241 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001242 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001243 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001244 CC = SPTy->getCC();
1245 }
1246
1247 // Add a DW_AT_calling_convention if this has an explicit convention.
1248 if (CC && CC != dwarf::DW_CC_normal)
1249 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001250
Eric Christopher691281b2013-10-21 17:48:51 +00001251 // Add a return type. If this is a type like a C/C++ void type we don't add a
1252 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001253 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001254 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001255 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001256
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001257 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001258 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001259 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001260 if (SP->getVirtualIndex() != -1u) {
1261 DIELoc *Block = getDIELoc();
1262 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1263 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1264 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1265 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001266 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001267 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001268 }
1269
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001270 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001271 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001272
Devang Patel89543712011-08-15 17:24:54 +00001273 // Add arguments. Do not add arguments for subprogram definition. They will
1274 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001275 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001276 }
1277
Adrian Prantl1d12b882017-04-26 22:56:44 +00001278 addThrownTypes(SPDie, SP->getThrownTypes());
1279
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001280 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001281 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001282
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001283 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001284 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001285
David Blaikiec53e18d2016-05-24 21:19:28 +00001286 if (DD->useAppleExtensionAttributes()) {
1287 if (SP->isOptimized())
1288 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001289
David Blaikiec53e18d2016-05-24 21:19:28 +00001290 if (unsigned isa = Asm->getISAEncoding())
1291 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1292 }
Devang Patel89543712011-08-15 17:24:54 +00001293
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001294 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001295 addFlag(SPDie, dwarf::DW_AT_reference);
1296
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001297 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001298 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1299
Adrian Prantlc19dee72016-08-17 16:02:43 +00001300 if (SP->isNoReturn())
1301 addFlag(SPDie, dwarf::DW_AT_noreturn);
1302
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001303 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001304 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1305 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001306 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001307 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1308 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001309 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001310 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1311 dwarf::DW_ACCESS_public);
1312
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001313 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001314 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001315
1316 if (SP->isMainSubprogram())
1317 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Devang Patel89543712011-08-15 17:24:54 +00001318}
1319
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001320void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001321 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001322 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001323 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001324
Bill Wendling28fe9e72012-12-06 07:38:10 +00001325 // The LowerBound value defines the lower bounds which is typically zero for
1326 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1327 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001328 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001329 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001330 int64_t DefaultLowerBound = getDefaultLowerBound();
Sander de Smalenfdf40912018-01-24 09:56:07 +00001331 int64_t Count = -1;
1332 if (auto *CI = SR->getCount().dyn_cast<ConstantInt*>())
1333 Count = CI->getSExtValue();
Devang Patel0e821f42011-04-12 23:21:44 +00001334
Bill Wendling3495f9b2012-12-06 07:55:19 +00001335 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001336 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001337
David Blaikie32b0f362014-10-01 00:56:55 +00001338 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001339 // FIXME: An unbounded array should reference the expression that defines
1340 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001341 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001342}
1343
David Blaikie871c2d92014-11-02 03:09:13 +00001344DIE *DwarfUnit::getIndexTyDie() {
1345 if (IndexTyDie)
1346 return IndexTyDie;
1347 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001348 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
David Blaikie871c2d92014-11-02 03:09:13 +00001349 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1350 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1351 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1352 dwarf::DW_ATE_unsigned);
1353 return IndexTyDie;
1354}
1355
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001356void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001357 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001358 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001359
Eric Christopher0df08e22013-08-08 07:40:37 +00001360 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001361 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001362
1363 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001364 // FIXME: This type should be passed down from the front end
1365 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001366 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001367
1368 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001369 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001370 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001371 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001372 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001373 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001374 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001375 }
1376}
1377
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001378void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1379 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001380
1381 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001382 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001383 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001384 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001385 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001386 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001387 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001388 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001389 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1390 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001391 }
1392 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001393 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001394 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001395 addType(Buffer, DTy);
1396 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001397 }
Devang Patel0e821f42011-04-12 23:21:44 +00001398}
1399
Eric Christophera5a79422013-12-09 23:32:48 +00001400void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001401 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001402 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001403 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001404 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001405 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001406 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001407 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001408 if (!NDie)
1409 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001410 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001411 }
1412}
1413
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001414void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001415 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1416 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001417 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001418 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001419
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001420 if (DIType *Resolved = resolve(DT->getBaseType()))
1421 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001422
1423 addSourceLine(MemberDie, DT);
1424
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001425 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001426
1427 // For C++, virtual base classes are not at fixed offset. Use following
1428 // expression to extract appropriate offset from vtable.
1429 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1430
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001431 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001432 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1433 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1434 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001435 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001436 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1437 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1438 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001439
David Blaikief2443192013-10-21 17:28:37 +00001440 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001441 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001442 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001443 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001444 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001445 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001446
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001447 bool IsBitfield = FieldSize && Size != FieldSize;
1448 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001449 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001450 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001451 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001452 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001453
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001454 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001455 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1456 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1457 // which can't be done with bitfields. Thus we use FieldSize here.
1458 uint32_t AlignInBits = FieldSize;
1459 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001460 // The bits from the start of the storage unit to the start of the field.
1461 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001462 // The byte offset of the field's aligned storage unit inside the struct.
1463 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001464
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001465 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001466 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1467 uint64_t FieldOffset = (HiMark - FieldSize);
1468 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001469
Adrian Prantle5447572016-04-28 15:37:52 +00001470 // Maybe we need to work from the other end.
1471 if (Asm->getDataLayout().isLittleEndian())
1472 Offset = FieldSize - (Offset + Size);
1473
1474 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1475 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001476 } else {
1477 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001478 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001479 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001480 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001481 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001482 if (AlignInBytes)
1483 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1484 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001485 }
David Blaikie2ada1162014-01-03 00:48:38 +00001486
David Blaikie22b29a52014-01-03 01:30:05 +00001487 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001488 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001489 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1490 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001491 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001492 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001493 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1494 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001495 }
Devang Patel0e821f42011-04-12 23:21:44 +00001496
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001497 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001498 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001499 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001500 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001501 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001502 dwarf::DW_ACCESS_private);
1503 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001504 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001505 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001506 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001507 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001508 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001509 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001510
1511 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001512 if (DINode *PNode = DT->getObjCProperty())
1513 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001514 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1515 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001516
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001517 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001518 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001519}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001520
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001521DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001522 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001523 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001524
Manman Renc6b63922013-10-14 20:33:57 +00001525 // Construct the context before querying for the existence of the DIE in case
1526 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001527 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001528 assert(dwarf::isType(ContextDIE->getTag()) &&
1529 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001530
David Blaikie65a74662014-04-25 18:26:14 +00001531 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001532 return StaticMemberDIE;
1533
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001534 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001535
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001536 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001537
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001538 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001539 addType(StaticMemberDIE, Ty);
1540 addSourceLine(StaticMemberDIE, DT);
1541 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1542 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1543
1544 // FIXME: We could omit private if the parent is a class_type, and
1545 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001546 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001547 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1548 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001549 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001550 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1551 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001552 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001553 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1554 dwarf::DW_ACCESS_public);
1555
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001556 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001557 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001558 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001559 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001560
Victor Leschuka37660c2016-10-26 21:32:29 +00001561 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001562 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1563 AlignInBytes);
1564
David Blaikie65a74662014-04-25 18:26:14 +00001565 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001566}
David Blaikie6b288cf2013-10-30 20:42:41 +00001567
Paul Robinsoncddd6042017-02-28 20:24:55 +00001568void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001569 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001570 Asm->OutStreamer->AddComment("Length of Unit");
Greg Clayton35630c32016-12-01 18:56:29 +00001571 Asm->EmitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001572
Lang Hames9ff69c82015-04-24 19:11:51 +00001573 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001574 unsigned Version = DD->getDwarfVersion();
1575 Asm->EmitInt16(Version);
1576
1577 // DWARF v5 reorders the address size and adds a unit type.
1578 if (Version >= 5) {
1579 Asm->OutStreamer->AddComment("DWARF Unit Type");
1580 Asm->EmitInt8(UT);
1581 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +00001582 Asm->EmitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001583 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001584
David Blaikie6896e192013-12-04 23:39:02 +00001585 // We share one abbreviations table across all units so it's always at the
1586 // start of the section. Use a relocatable offset where needed to ensure
1587 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001588 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001589 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001590 if (UseOffsets)
1591 Asm->EmitInt32(0);
1592 else
1593 Asm->emitDwarfSymbolReference(
1594 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001595
Paul Robinsoncddd6042017-02-28 20:24:55 +00001596 if (Version <= 4) {
1597 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +00001598 Asm->EmitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001599 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001600}
David Blaikiebc563272013-12-13 21:33:40 +00001601
Rafael Espindola063d7252015-03-10 16:58:10 +00001602void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Paul Robinsoncddd6042017-02-28 20:24:55 +00001603 DwarfUnit::emitCommonHeader(UseOffsets,
1604 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1605 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001606 Asm->OutStreamer->AddComment("Type Signature");
1607 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1608 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001609 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001610 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1611 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001612}
1613
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001614DIE::value_iterator
1615DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1616 const MCSymbol *Hi, const MCSymbol *Lo) {
1617 return Die.addValue(DIEValueAllocator, Attribute,
1618 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1619 : dwarf::DW_FORM_data4,
1620 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1621}
1622
1623DIE::value_iterator
1624DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1625 const MCSymbol *Label, const MCSymbol *Sec) {
1626 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1627 return addLabel(Die, Attribute,
1628 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1629 : dwarf::DW_FORM_data4,
1630 Label);
1631 return addSectionDelta(Die, Attribute, Label, Sec);
1632}
1633
David Blaikiecafd9622014-11-02 08:51:37 +00001634bool DwarfTypeUnit::isDwoUnit() const {
1635 // Since there are no skeleton type units, all type units are dwo type units
1636 // when split DWARF is being used.
1637 return DD->useSplitDwarf();
1638}
David Blaikiea0e3c752017-02-03 00:44:18 +00001639
1640void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1641 const DIScope *Context) {
1642 getCU().addGlobalNameForTypeUnit(Name, Context);
1643}
1644
1645void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1646 const DIScope *Context) {
1647 getCU().addGlobalTypeUnitType(Ty, Context);
1648}
David Blaikie85366ac2017-04-22 07:53:44 +00001649
1650const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1651 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1652 return nullptr;
1653 if (isDwoUnit())
1654 return nullptr;
1655 return getSection()->getBeginSymbol();
1656}