blob: d9e680846b35999c5fef41c3296f41f87b7a98ee [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//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Devang Patel0e821f42011-04-12 23:21:44 +00006//
7//===----------------------------------------------------------------------===//
8//
Eric Christopher160522c2012-08-14 05:13:29 +00009// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000010//
11//===----------------------------------------------------------------------===//
12
David Blaikie2c86a722013-12-02 19:33:15 +000013#include "DwarfUnit.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000014#include "AddressPool.h"
David Blaikie37c52312014-10-04 15:49:50 +000015#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000016#include "DwarfDebug.h"
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000017#include "DwarfExpression.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "llvm/ADT/APFloat.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000019#include "llvm/ADT/APInt.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000020#include "llvm/ADT/None.h"
Paul Robinson612e89d2018-01-12 19:17:50 +000021#include "llvm/ADT/StringExtras.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000022#include "llvm/ADT/iterator_range.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000023#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000024#include "llvm/CodeGen/MachineOperand.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000025#include "llvm/CodeGen/TargetRegisterInfo.h"
26#include "llvm/CodeGen/TargetSubtargetInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000027#include "llvm/IR/Constants.h"
28#include "llvm/IR/DataLayout.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000029#include "llvm/IR/GlobalValue.h"
30#include "llvm/IR/Metadata.h"
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000031#include "llvm/MC/MCAsmInfo.h"
Paul Robinson612e89d2018-01-12 19:17:50 +000032#include "llvm/MC/MCContext.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000033#include "llvm/MC/MCDwarf.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000034#include "llvm/MC/MCSection.h"
35#include "llvm/MC/MCStreamer.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000036#include "llvm/MC/MachineLocation.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000037#include "llvm/Support/Casting.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000038#include "llvm/Support/CommandLine.h"
David Blaikie6054e652018-03-23 23:58:19 +000039#include "llvm/Target/TargetLoweringObjectFile.h"
Eugene Zelenko1804a772016-08-25 00:45:04 +000040#include <cassert>
41#include <cstdint>
42#include <string>
43#include <utility>
Devang Patel0e821f42011-04-12 23:21:44 +000044
45using namespace llvm;
46
Chandler Carruth1b9dde02014-04-22 02:02:50 +000047#define DEBUG_TYPE "dwarfdebug"
48
Markus Lavinb86ce212019-03-19 13:16:28 +000049DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP,
50 DwarfCompileUnit &CU,
Adrian Prantlb846acc2015-03-02 22:02:36 +000051 DIELoc &DIE)
Markus Lavinb86ce212019-03-19 13:16:28 +000052 : DwarfExpression(AP.getDwarfVersion(), CU), AP(AP),
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000053 DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000054
Adrian Prantla63b8e82017-03-16 17:42:45 +000055void DIEDwarfExpression::emitOp(uint8_t Op, const char* Comment) {
Markus Lavinb86ce212019-03-19 13:16:28 +000056 CU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000057}
Eugene Zelenko1804a772016-08-25 00:45:04 +000058
Adrian Prantla63b8e82017-03-16 17:42:45 +000059void DIEDwarfExpression::emitSigned(int64_t Value) {
Markus Lavinb86ce212019-03-19 13:16:28 +000060 CU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000061}
Eugene Zelenko1804a772016-08-25 00:45:04 +000062
Adrian Prantla63b8e82017-03-16 17:42:45 +000063void DIEDwarfExpression::emitUnsigned(uint64_t Value) {
Markus Lavinb86ce212019-03-19 13:16:28 +000064 CU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
65}
66
Markus Lavina475da32019-04-30 07:58:57 +000067void DIEDwarfExpression::emitData1(uint8_t Value) {
68 CU.addUInt(DIE, dwarf::DW_FORM_data1, Value);
69}
70
Markus Lavinb86ce212019-03-19 13:16:28 +000071void DIEDwarfExpression::emitBaseTypeRef(uint64_t Idx) {
72 CU.addBaseTypeRef(DIE, Idx);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000073}
Eugene Zelenko1804a772016-08-25 00:45:04 +000074
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000075bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
76 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000077 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000078}
79
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000080DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
81 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000082 : DIEUnit(A->getDwarfVersion(), A->MAI->getCodePointerSize(), UnitTag),
83 CUNode(Node), Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000084}
85
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000086DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000087 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000088 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000089 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
90 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000091}
David Blaikie409dd9c2013-11-19 23:08:21 +000092
Eric Christophera5a79422013-12-09 23:32:48 +000093DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000094 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
95 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000096 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
97 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000098}
99
Eric Christophera5a79422013-12-09 23:32:48 +0000100int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +0000101 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +0000102 default:
103 break;
104
Paul Robinson91d74812017-03-01 18:32:37 +0000105 // The languages below have valid values in all DWARF versions.
Bill Wendling28fe9e72012-12-06 07:38:10 +0000106 case dwarf::DW_LANG_C:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000107 case dwarf::DW_LANG_C89:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000108 case dwarf::DW_LANG_C_plus_plus:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000109 return 0;
110
111 case dwarf::DW_LANG_Fortran77:
112 case dwarf::DW_LANG_Fortran90:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000113 return 1;
114
Paul Robinson91d74812017-03-01 18:32:37 +0000115 // The languages below have valid values only if the DWARF version >= 3.
116 case dwarf::DW_LANG_C99:
117 case dwarf::DW_LANG_ObjC:
118 case dwarf::DW_LANG_ObjC_plus_plus:
119 if (DD->getDwarfVersion() >= 3)
120 return 0;
121 break;
122
123 case dwarf::DW_LANG_Fortran95:
124 if (DD->getDwarfVersion() >= 3)
125 return 1;
126 break;
127
128 // Starting with DWARF v4, all defined languages have valid values.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000129 case dwarf::DW_LANG_D:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000130 case dwarf::DW_LANG_Java:
131 case dwarf::DW_LANG_Python:
132 case dwarf::DW_LANG_UPC:
Paul Robinson91d74812017-03-01 18:32:37 +0000133 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000134 return 0;
135 break;
136
137 case dwarf::DW_LANG_Ada83:
138 case dwarf::DW_LANG_Ada95:
139 case dwarf::DW_LANG_Cobol74:
140 case dwarf::DW_LANG_Cobol85:
141 case dwarf::DW_LANG_Modula2:
142 case dwarf::DW_LANG_Pascal83:
143 case dwarf::DW_LANG_PLI:
Paul Robinson91d74812017-03-01 18:32:37 +0000144 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000145 return 1;
146 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000147
Paul Robinson91d74812017-03-01 18:32:37 +0000148 // The languages below are new in DWARF v5.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000149 case dwarf::DW_LANG_BLISS:
150 case dwarf::DW_LANG_C11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000151 case dwarf::DW_LANG_C_plus_plus_03:
152 case dwarf::DW_LANG_C_plus_plus_11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000153 case dwarf::DW_LANG_C_plus_plus_14:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000154 case dwarf::DW_LANG_Dylan:
155 case dwarf::DW_LANG_Go:
156 case dwarf::DW_LANG_Haskell:
157 case dwarf::DW_LANG_OCaml:
158 case dwarf::DW_LANG_OpenCL:
Paul Robinson91d74812017-03-01 18:32:37 +0000159 case dwarf::DW_LANG_RenderScript:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000160 case dwarf::DW_LANG_Rust:
161 case dwarf::DW_LANG_Swift:
Paul Robinson91d74812017-03-01 18:32:37 +0000162 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000163 return 0;
164 break;
165
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000166 case dwarf::DW_LANG_Fortran03:
167 case dwarf::DW_LANG_Fortran08:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000168 case dwarf::DW_LANG_Julia:
169 case dwarf::DW_LANG_Modula3:
Paul Robinson91d74812017-03-01 18:32:37 +0000170 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000171 return 1;
172 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000173 }
174
175 return -1;
176}
177
Manman Ren4dbdc902013-10-31 17:54:35 +0000178/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie488393f2017-05-12 01:13:45 +0000179bool DwarfUnit::isShareableAcrossCUs(const DINode *D) const {
David Blaikiebcb418e2013-11-20 18:40:16 +0000180 // When the MDNode can be part of the type system, the DIE can be shared
181 // across CUs.
182 // Combining type units and cross-CU DIE sharing is lower value (since
183 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
184 // level already) but may be implementable for some value in projects
185 // building multiple independent libraries with LTO and then linking those
186 // together.
David Blaikie488393f2017-05-12 01:13:45 +0000187 if (isDwoUnit() && !DD->shareAcrossDWOCUs())
188 return false;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000189 return (isa<DIType>(D) ||
190 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Pavel Labathf9adc202018-07-20 12:59:05 +0000191 !DD->generateTypeUnits();
Manman Ren4dbdc902013-10-31 17:54:35 +0000192}
193
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000194DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000195 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000196 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000197 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000198}
199
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000200void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000201 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000202 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000203 return;
204 }
David Blaikie2ad00162013-11-15 23:09:13 +0000205 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000206}
207
David Blaikie65a74662014-04-25 18:26:14 +0000208void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000209 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000210 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
211 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000212 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000213 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
214 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000215}
216
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000217void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000218 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000219 if (!Form)
220 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000221 assert(Form != dwarf::DW_FORM_implicit_const &&
222 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000223 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000224}
225
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000226void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
227 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000228 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000229}
230
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000231void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000232 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000233 if (!Form)
234 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000235 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000236}
237
David Blaikie65a74662014-04-25 18:26:14 +0000238void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000239 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000240 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000241}
242
David Blaikie65a74662014-04-25 18:26:14 +0000243void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000244 StringRef String) {
Alexey Bataevd4dd7212018-08-01 19:38:20 +0000245 if (CUNode->isDebugDirectivesOnly())
246 return;
247
Alexey Bataev0d6aead2018-02-20 15:28:08 +0000248 if (DD->useInlineStrings()) {
249 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_string,
250 new (DIEValueAllocator)
251 DIEInlineString(String, DIEValueAllocator));
252 return;
253 }
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000254 dwarf::Form IxForm =
255 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp;
Pavel Labath2f088112018-08-07 09:54:52 +0000256
257 auto StringPoolEntry =
258 useSegmentedStringOffsetsTable() || IxForm == dwarf::DW_FORM_GNU_str_index
259 ? DU->getStringPool().getIndexedEntry(*Asm, String)
260 : DU->getStringPool().getEntry(*Asm, String);
261
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000262 // For DWARF v5 and beyond, use the smallest strx? form possible.
263 if (useSegmentedStringOffsetsTable()) {
264 IxForm = dwarf::DW_FORM_strx1;
265 unsigned Index = StringPoolEntry.getIndex();
266 if (Index > 0xffffff)
267 IxForm = dwarf::DW_FORM_strx4;
268 else if (Index > 0xffff)
269 IxForm = dwarf::DW_FORM_strx3;
270 else if (Index > 0xff)
271 IxForm = dwarf::DW_FORM_strx2;
272 }
273 Die.addValue(DIEValueAllocator, Attribute, IxForm,
274 DIEString(StringPoolEntry));
Devang Patel0e821f42011-04-12 23:21:44 +0000275}
276
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000277DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
278 dwarf::Attribute Attribute,
279 dwarf::Form Form,
280 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000281 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000282}
283
David Blaikie65a74662014-04-25 18:26:14 +0000284void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000285 addLabel(Die, (dwarf::Attribute)0, Form, Label);
286}
287
David Blaikie65a74662014-04-25 18:26:14 +0000288void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000289 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000290 if (DD->getDwarfVersion() >= 4)
291 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
292 else
293 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
294}
295
Eric Christopher798e83b2019-04-04 23:34:38 +0000296Optional<MD5::MD5Result> DwarfUnit::getMD5AsBytes(const DIFile *File) const {
Paul Robinson612e89d2018-01-12 19:17:50 +0000297 assert(File);
Paul Robinsonb271f312018-03-29 17:16:41 +0000298 if (DD->getDwarfVersion() < 5)
Eric Christopher798e83b2019-04-04 23:34:38 +0000299 return None;
Scott Linder71603842018-02-12 19:45:54 +0000300 Optional<DIFile::ChecksumInfo<StringRef>> Checksum = File->getChecksum();
301 if (!Checksum || Checksum->Kind != DIFile::CSK_MD5)
Eric Christopher798e83b2019-04-04 23:34:38 +0000302 return None;
Paul Robinson612e89d2018-01-12 19:17:50 +0000303
304 // Convert the string checksum to an MD5Result for the streamer.
305 // The verifier validates the checksum so we assume it's okay.
306 // An MD5 checksum is 16 bytes.
Scott Linder71603842018-02-12 19:45:54 +0000307 std::string ChecksumString = fromHex(Checksum->Value);
Eric Christopher798e83b2019-04-04 23:34:38 +0000308 MD5::MD5Result CKMem;
309 std::copy(ChecksumString.begin(), ChecksumString.end(), CKMem.Bytes.data());
310 return CKMem;
Paul Robinson612e89d2018-01-12 19:17:50 +0000311}
312
313unsigned DwarfTypeUnit::getOrCreateSourceID(const DIFile *File) {
Paul Robinson7cb26ad2018-03-27 21:28:59 +0000314 if (!SplitLineTable)
315 return getCU().getOrCreateSourceID(File);
316 if (!UsedLineTable) {
317 UsedLineTable = true;
318 // This is a split type unit that needs a line table.
319 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
320 }
321 return SplitLineTable->getFile(File->getDirectory(), File->getFilename(),
Ali Tamur783d84b2019-04-19 02:26:56 +0000322 getMD5AsBytes(File),
323 Asm->OutContext.getDwarfVersion(),
324 File->getSource());
David Blaikie4a2f95f2014-03-18 01:17:26 +0000325}
326
David Blaikie65a74662014-04-25 18:26:14 +0000327void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
David Blaikie2df23a42018-10-20 08:54:05 +0000328 if (DD->getDwarfVersion() >= 5) {
329 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addrx);
330 addUInt(Die, dwarf::DW_FORM_addrx, DD->getAddressPool().getIndex(Sym));
331 return;
332 }
333
334 if (DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000335 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000336 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000337 DD->getAddressPool().getIndex(Sym));
David Blaikie2df23a42018-10-20 08:54:05 +0000338 return;
Eric Christophere9ec2452013-01-18 22:11:33 +0000339 }
David Blaikie2df23a42018-10-20 08:54:05 +0000340
341 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
342 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000343}
344
David Blaikie65a74662014-04-25 18:26:14 +0000345void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000346 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000347 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000348 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000349}
350
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000351void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000352 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000353}
354
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000355void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000356 // Flag the type unit reference as a declaration so that if it contains
357 // members (implicit special members, static data member definitions, member
358 // declarations for definitions in this CU, etc) consumers don't get confused
359 // and think this is a full definition.
360 addFlag(Die, dwarf::DW_AT_declaration);
361
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000362 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000363 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000364}
365
David Blaikie65a74662014-04-25 18:26:14 +0000366void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000367 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000368 const DIEUnit *CU = Die.getUnit();
369 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
370 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000371 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000372 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000373 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000374 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000375 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000376 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000377 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000378}
379
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000380DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000381 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
382 if (N)
383 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000384 return Die;
385}
386
David Blaikie65a74662014-04-25 18:26:14 +0000387void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000388 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000389 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000390 Die.addValue(DIEValueAllocator, Attribute,
391 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000392}
393
David Blaikie65a74662014-04-25 18:26:14 +0000394void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000395 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000396 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000397 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000398 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000399}
400
Paul Robinson612e89d2018-01-12 19:17:50 +0000401void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, const DIFile *File) {
Devang Patel0e821f42011-04-12 23:21:44 +0000402 if (Line == 0)
403 return;
David Blaikie101613e2014-02-12 00:11:25 +0000404
Paul Robinson612e89d2018-01-12 19:17:50 +0000405 unsigned FileID = getOrCreateSourceID(File);
David Blaikief2443192013-10-21 17:28:37 +0000406 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
407 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000408}
409
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000410void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000411 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000412
Paul Robinson612e89d2018-01-12 19:17:50 +0000413 addSourceLine(Die, V->getLine(), V->getFile());
David Blaikie101613e2014-02-12 00:11:25 +0000414}
415
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000416void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000417 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000418
Paul Robinson612e89d2018-01-12 19:17:50 +0000419 addSourceLine(Die, G->getLine(), G->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000420}
421
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000422void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000423 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000424
Paul Robinson612e89d2018-01-12 19:17:50 +0000425 addSourceLine(Die, SP->getLine(), SP->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000426}
427
Hsiangkai Wang2532ac82018-08-17 15:22:04 +0000428void DwarfUnit::addSourceLine(DIE &Die, const DILabel *L) {
429 assert(L);
430
431 addSourceLine(Die, L->getLine(), L->getFile());
432}
433
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000434void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000435 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000436
Paul Robinson612e89d2018-01-12 19:17:50 +0000437 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000438}
439
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000440void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000441 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000442
Paul Robinson612e89d2018-01-12 19:17:50 +0000443 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000444}
445
Manman Renb3388602013-10-05 01:43:03 +0000446/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000447static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000448 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
449 // FIXME: Enums without a fixed underlying type have unknown signedness
450 // here, leading to incorrectly emitted constants.
451 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
452 return false;
453
454 // (Pieces of) aggregate types that get hacked apart by SROA may be
455 // represented by a constant. Encode them as unsigned bytes.
456 return true;
457 }
458
459 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000460 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000461 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000462 // null pointer constant emission.
463 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
464 // here, but accept them for now due to a bug in SROA producing bogus
465 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000466 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000467 T == dwarf::DW_TAG_ptr_to_member_type ||
468 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000469 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000470 return true;
471 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
472 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000473 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Fangrui Songda82ce92019-05-07 02:06:37 +0000474 assert(DTy->getBaseType() && "Expected valid base type");
475 return isUnsignedDIType(DD, DTy->getBaseType());
David Blaikiee0f14742014-05-11 17:04:05 +0000476 }
Manman Renb3388602013-10-05 01:43:03 +0000477
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000478 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000479 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000480 assert((Encoding == dwarf::DW_ATE_unsigned ||
481 Encoding == dwarf::DW_ATE_unsigned_char ||
482 Encoding == dwarf::DW_ATE_signed ||
483 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000484 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
485 Encoding == dwarf::DW_ATE_boolean ||
486 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
487 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000488 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000489 return Encoding == dwarf::DW_ATE_unsigned ||
490 Encoding == dwarf::DW_ATE_unsigned_char ||
491 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
492 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000493}
494
David Blaikie65a74662014-04-25 18:26:14 +0000495void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000496 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000497 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000498 APFloat FPImm = MO.getFPImm()->getValueAPF();
499
500 // Get the raw data form of the floating point.
501 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000502 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000503
504 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000505 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000506 int Incr = (LittleEndian ? 1 : -1);
507 int Start = (LittleEndian ? 0 : NumBytes - 1);
508 int Stop = (LittleEndian ? NumBytes : -1);
509
510 // Output the constant to DWARF one byte at a time.
511 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000512 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000513
David Blaikief2443192013-10-21 17:28:37 +0000514 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000515}
516
David Blaikie65a74662014-04-25 18:26:14 +0000517void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000518 // Pass this down to addConstantValue as an unsigned bag of bits.
519 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000520}
521
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000522void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000523 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000524 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000525}
526
David Blaikiec05c8f42014-05-11 15:47:39 +0000527void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000528 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000529 assert(MO.isImm() && "Invalid machine operand!");
530
David Blaikie60cae1b2014-05-11 16:08:41 +0000531 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000532}
533
David Blaikie60cae1b2014-05-11 16:08:41 +0000534void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000535 // FIXME: This is a bit conservative/simple - it emits negative values always
536 // sign extended to 64 bits rather than minimizing the number of bytes.
537 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000538 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000539}
540
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000541void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000542 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
543}
544
David Blaikie65a74662014-04-25 18:26:14 +0000545void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000546 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000547 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000548 addConstantValue(Die, Unsigned,
549 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000550 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000551 }
552
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000553 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000554
555 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000556 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000557
558 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000559 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000560
561 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000562 for (int i = 0; i < NumBytes; i++) {
563 uint8_t c;
564 if (LittleEndian)
565 c = Ptr64[i / 8] >> (8 * (i & 7));
566 else
567 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000568 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000569 }
Devang Patel0e821f42011-04-12 23:21:44 +0000570
David Blaikief2443192013-10-21 17:28:37 +0000571 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000572}
573
Paul Robinson857b4432015-03-10 22:44:45 +0000574void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000575 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000576 addString(Die,
577 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
578 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000579 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000580}
581
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000582void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000583 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000584 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000585 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000586 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000587 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000588 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000589 }
Devang Patel0e821f42011-04-12 23:21:44 +0000590}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000591
Adrian Prantl1d12b882017-04-26 22:56:44 +0000592/// Add thrown types.
593void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
594 for (const auto *Ty : ThrownTypes) {
595 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
596 addType(TT, cast<DIType>(Ty));
597 }
598}
599
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000600DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
601 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000602 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000603 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000604 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000605 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000606 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000607 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000608 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000609 if (auto *M = dyn_cast<DIModule>(Context))
610 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000611 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000612}
613
David Blaikie832c7d92019-04-24 18:09:44 +0000614DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Fangrui Songda82ce92019-05-07 02:06:37 +0000615 auto *Context = Ty->getScope();
David Blaikie9d861be2013-11-26 00:15:27 +0000616 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000617
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000618 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000619 return TyDIE;
620
621 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000622 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000623
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000624 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000625
Adrian Prantl19aadf52017-03-13 22:56:14 +0000626 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000627 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000628}
629
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000630DIE *DwarfUnit::createTypeDIE(const DIScope *Context, DIE &ContextDIE,
631 const DIType *Ty) {
632 // Create new type.
633 DIE &TyDIE = createAndAddDIE(Ty->getTag(), ContextDIE, Ty);
634
635 updateAcceleratorTables(Context, Ty, TyDIE);
636
637 if (auto *BT = dyn_cast<DIBasicType>(Ty))
638 constructTypeDIE(TyDIE, BT);
639 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
640 constructTypeDIE(TyDIE, STy);
641 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
David Blaikie7598b712019-05-10 19:15:29 +0000642 if (DD->generateTypeUnits() && !Ty->isForwardDecl() &&
643 (Ty->getRawName() || CTy->getRawIdentifier())) {
David Blaikie832c7d92019-04-24 18:09:44 +0000644 // Skip updating the accelerator tables since this is not the full type.
645 if (MDString *TypeId = CTy->getRawIdentifier())
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000646 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
David Blaikie832c7d92019-04-24 18:09:44 +0000647 else {
648 auto X = DD->enterNonTypeUnitContext();
649 finishNonUnitTypeDIE(TyDIE, CTy);
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000650 }
David Blaikie832c7d92019-04-24 18:09:44 +0000651 return &TyDIE;
652 }
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000653 constructTypeDIE(TyDIE, CTy);
654 } else {
655 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
656 }
657
658 return &TyDIE;
659}
660
David Blaikied51dea62015-07-01 18:07:16 +0000661DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000662 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000663 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000664
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000665 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000666
David Blaikieee11f222014-04-12 05:35:59 +0000667 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000668 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
Fangrui Songda82ce92019-05-07 02:06:37 +0000669 return getOrCreateTypeDIE(cast<DIDerivedType>(Ty)->getBaseType());
David Blaikieee11f222014-04-12 05:35:59 +0000670
Victor Leschuke1156c22016-10-31 19:09:38 +0000671 // DW_TAG_atomic_type is not supported in DWARF < 5
672 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
Fangrui Songda82ce92019-05-07 02:06:37 +0000673 return getOrCreateTypeDIE(cast<DIDerivedType>(Ty)->getBaseType());
Victor Leschuke1156c22016-10-31 19:09:38 +0000674
Manman Renf4c339e2013-10-29 22:49:29 +0000675 // Construct the context before querying for the existence of the DIE in case
676 // such construction creates the DIE.
Fangrui Songda82ce92019-05-07 02:06:37 +0000677 auto *Context = Ty->getScope();
Amjad Aboud72da9392016-04-30 01:44:07 +0000678 DIE *ContextDIE = getOrCreateContextDIE(Context);
679 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000680
David Blaikie65a74662014-04-25 18:26:14 +0000681 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000682 return TyDIE;
683
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000684 return static_cast<DwarfUnit *>(ContextDIE->getUnit())
685 ->createTypeDIE(Context, *ContextDIE, Ty);
David Blaikie2ea848b2013-11-19 22:51:04 +0000686}
687
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000688void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
689 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000690 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000691 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000692 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000693 // A runtime language of 0 actually means C/C++ and that any
694 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000695 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000696 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000697 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie66cf14d2018-08-16 21:29:55 +0000698 DD->addAccelType(*CUNode, Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000699
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000700 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
Adrian Prantl6ed57062019-04-08 19:13:55 +0000701 isa<DINamespace>(Context) || isa<DICommonBlock>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000702 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000703 }
Devang Patel0e821f42011-04-12 23:21:44 +0000704}
705
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000706void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000707 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000708 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000709 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000710}
711
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000712std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000713 if (!Context)
714 return "";
715
716 // FIXME: Decide whether to implement this for non-C++ languages.
717 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
718 return "";
719
Eric Christopher8dba0d52013-10-19 01:04:42 +0000720 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000721 SmallVector<const DIScope *, 1> Parents;
722 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000723 Parents.push_back(Context);
Fangrui Songda82ce92019-05-07 02:06:37 +0000724 if (const DIScope *S = Context->getScope())
725 Context = S;
Eric Christopher2c8b7902013-10-17 02:06:06 +0000726 else
727 // Structure, etc types will have a NULL context if they're at the top
728 // level.
729 break;
730 }
731
732 // Reverse iterate over our list to go from the outermost construct to the
733 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000734 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000735 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000736 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000737 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000738 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000739 CS += Name;
740 CS += "::";
741 }
742 }
743 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000744}
745
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000746void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000747 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000748 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000749 // Add name if not anonymous or intermediate type.
750 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000751 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000752
David Blaikiefac56122013-10-04 23:21:16 +0000753 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000754 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000755 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000756
David Blaikie65a74662014-04-25 18:26:14 +0000757 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000758 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000759
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000760 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000761 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Adrian Prantl55f42622018-08-14 19:35:34 +0000762
763 if (BTy->isBigEndian())
764 addUInt(Buffer, dwarf::DW_AT_endianity, None, dwarf::DW_END_big);
765 else if (BTy->isLittleEndian())
766 addUInt(Buffer, dwarf::DW_AT_endianity, None, dwarf::DW_END_little);
Devang Patel0e821f42011-04-12 23:21:44 +0000767}
768
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000769void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000770 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000771 StringRef Name = DTy->getName();
772 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000773 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000774
775 // Map to main type, void will not have a type.
Fangrui Songda82ce92019-05-07 02:06:37 +0000776 const DIType *FromTy = DTy->getBaseType();
Eric Christopher0df08e22013-08-08 07:40:37 +0000777 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000778 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000779
780 // Add name if not anonymous or intermediate type.
781 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000782 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000783
784 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000785 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000786 && Tag != dwarf::DW_TAG_ptr_to_member_type
787 && Tag != dwarf::DW_TAG_reference_type
788 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000789 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000790
David Blaikie5d3249b2013-01-07 05:51:15 +0000791 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Fangrui Songda82ce92019-05-07 02:06:37 +0000792 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
793 *getOrCreateTypeDIE(cast<DIDerivedType>(DTy)->getClassType()));
Devang Patel0e821f42011-04-12 23:21:44 +0000794 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000795 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000796 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000797
Adrian Prantle6e8db52019-05-07 17:42:38 +0000798 // If DWARF address space value is other than None, add it. The IR
799 // verifier checks that DWARF address space only exists for pointer
800 // or reference types.
801 if (DTy->getDWARFAddressSpace())
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000802 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
803 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000804}
805
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000806void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000807 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Fangrui Songda82ce92019-05-07 02:06:37 +0000808 const DIType *Ty = Args[i];
Manman Renf93ac4b2014-07-29 18:20:39 +0000809 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000810 assert(i == N-1 && "Unspecified parameter must be the last argument");
811 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
812 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000813 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000814 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000815 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000816 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000817 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000818 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000819}
820
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000821void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000822 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000823 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000824 if (Elements.size())
Fangrui Songda82ce92019-05-07 02:06:37 +0000825 if (auto RTy = Elements[0])
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000826 addType(Buffer, RTy);
827
828 bool isPrototyped = true;
829 if (Elements.size() == 2 && !Elements[1])
830 isPrototyped = false;
831
832 constructSubprogramArguments(Buffer, Elements);
833
834 // Add prototype flag if we're dealing with a C language and the function has
835 // been prototyped.
836 uint16_t Language = getLanguage();
837 if (isPrototyped &&
838 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
839 Language == dwarf::DW_LANG_ObjC))
840 addFlag(Buffer, dwarf::DW_AT_prototyped);
841
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000842 // Add a DW_AT_calling_convention if this has an explicit convention.
843 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
844 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
845 CTy->getCC());
846
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000847 if (CTy->isLValueReference())
848 addFlag(Buffer, dwarf::DW_AT_reference);
849
850 if (CTy->isRValueReference())
851 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
852}
853
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000854void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000855 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000856 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000857
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000858 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000859 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000860
861 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000862 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000863 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000864 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000865 case dwarf::DW_TAG_enumeration_type:
866 constructEnumTypeDIE(Buffer, CTy);
867 break;
Adrian Prantl8c599212018-02-06 23:45:59 +0000868 case dwarf::DW_TAG_variant_part:
Devang Patel0e821f42011-04-12 23:21:44 +0000869 case dwarf::DW_TAG_structure_type:
870 case dwarf::DW_TAG_union_type:
871 case dwarf::DW_TAG_class_type: {
Adrian Prantl8c599212018-02-06 23:45:59 +0000872 // Emit the discriminator for a variant part.
873 DIDerivedType *Discriminator = nullptr;
874 if (Tag == dwarf::DW_TAG_variant_part) {
875 Discriminator = CTy->getDiscriminator();
876 if (Discriminator) {
877 // DWARF says:
878 // If the variant part has a discriminant, the discriminant is
879 // represented by a separate debugging information entry which is
880 // a child of the variant part entry.
881 DIE &DiscMember = constructMemberDIE(Buffer, Discriminator);
882 addDIEEntry(Buffer, dwarf::DW_AT_discr, DiscMember);
883 }
884 }
885
Devang Patel0e821f42011-04-12 23:21:44 +0000886 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000887 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000888 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000889 if (!Element)
890 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000891 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000892 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000893 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000894 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000895 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Fangrui Songda82ce92019-05-07 02:06:37 +0000896 addType(ElemDie, DDTy->getBaseType(), dwarf::DW_AT_friend);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000897 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000898 getOrCreateStaticMemberDIE(DDTy);
Adrian Prantl8c599212018-02-06 23:45:59 +0000899 } else if (Tag == dwarf::DW_TAG_variant_part) {
900 // When emitting a variant part, wrap each member in
901 // DW_TAG_variant.
902 DIE &Variant = createAndAddDIE(dwarf::DW_TAG_variant, Buffer);
903 if (const ConstantInt *CI =
904 dyn_cast_or_null<ConstantInt>(DDTy->getDiscriminantValue())) {
Fangrui Songda82ce92019-05-07 02:06:37 +0000905 if (isUnsignedDIType(DD, Discriminator->getBaseType()))
Adrian Prantl8c599212018-02-06 23:45:59 +0000906 addUInt(Variant, dwarf::DW_AT_discr_value, None, CI->getZExtValue());
907 else
908 addSInt(Variant, dwarf::DW_AT_discr_value, None, CI->getSExtValue());
909 }
910 constructMemberDIE(Variant, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000911 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000912 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000913 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000914 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000915 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
916 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000917 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000918 if (Property->getType())
Fangrui Songda82ce92019-05-07 02:06:37 +0000919 addType(ElemDie, Property->getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +0000920 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000921 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000922 if (!GetterName.empty())
923 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000924 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000925 if (!SetterName.empty())
926 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000927 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000928 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000929 PropertyAttributes);
Adrian Prantl8c599212018-02-06 23:45:59 +0000930 } else if (auto *Composite = dyn_cast<DICompositeType>(Element)) {
931 if (Composite->getTag() == dwarf::DW_TAG_variant_part) {
932 DIE &VariantPart = createAndAddDIE(Composite->getTag(), Buffer);
933 constructTypeDIE(VariantPart, Composite);
934 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000935 }
Devang Patel0e821f42011-04-12 23:21:44 +0000936 }
937
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000938 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000939 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000940
Adrian Prantlcf44e782014-12-19 00:01:20 +0000941 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
942 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +0000943 // Rust uses DW_AT_containing_type to link a vtable to the type
944 // for which it was created.
Fangrui Songda82ce92019-05-07 02:06:37 +0000945 if (auto *ContainingType = CTy->getVTableHolder())
David Blaikie65a74662014-04-25 18:26:14 +0000946 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000947 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000948
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000949 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000950 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000951
Eric Christopherda011dd2011-12-16 23:42:42 +0000952 // Add template parameters to a class, structure or union types.
953 // FIXME: The support isn't in the metadata for this yet.
954 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000955 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000956 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000957
Adrian Prantla29aac72018-01-05 01:13:37 +0000958 // Add the type's non-standard calling convention.
959 uint8_t CC = 0;
960 if (CTy->isTypePassByValue())
961 CC = dwarf::DW_CC_pass_by_value;
962 else if (CTy->isTypePassByReference())
963 CC = dwarf::DW_CC_pass_by_reference;
964 if (CC)
965 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
966 CC);
Devang Patel0e821f42011-04-12 23:21:44 +0000967 break;
968 }
969 default:
970 break;
971 }
972
973 // Add name if not anonymous or intermediate type.
974 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000975 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000976
Eric Christopher775cbd22012-05-22 18:45:18 +0000977 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000978 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000979 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000980 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000981 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000982 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000983 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000984 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000985 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000986 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000987
988 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000989 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000990 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000991
992 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000993 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000994 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000995
996 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000997 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000998 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +0000999 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001000 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +00001001
1002 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +00001003 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001004 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1005 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +00001006 }
1007}
1008
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001009void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001010 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001011 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001012 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001013 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001014 if (TP->getType())
Fangrui Songda82ce92019-05-07 02:06:37 +00001015 addType(ParamDIE, TP->getType());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001016 if (!TP->getName().empty())
1017 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001018}
1019
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001020void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001021 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001022 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001023
1024 // Add the type if there is one, template template and template parameter
1025 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001026 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
Fangrui Songda82ce92019-05-07 02:06:37 +00001027 addType(ParamDIE, VP->getType());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001028 if (!VP->getName().empty())
1029 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1030 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001031 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Fangrui Songda82ce92019-05-07 02:06:37 +00001032 addConstantValue(ParamDIE, CI, VP->getType());
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001033 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001034 // We cannot describe the location of dllimport'd entities: the
1035 // computation of their address requires loads from the IAT.
1036 if (!GV->hasDLLImportStorageClass()) {
1037 // For declaration non-type template parameters (such as global values
1038 // and functions)
1039 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1040 addOpAddress(*Loc, Asm->getSymbol(GV));
1041 // Emit DW_OP_stack_value to use the address as the immediate value of
1042 // the parameter, rather than a pointer to it.
1043 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1044 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1045 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001046 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001047 assert(isa<MDString>(Val));
1048 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1049 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001050 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001051 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001052 }
1053 }
Devang Patel0e821f42011-04-12 23:21:44 +00001054}
1055
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001056DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001057 // Construct the context before querying for the existence of the DIE in case
1058 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001059 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001060
David Blaikie65a74662014-04-25 18:26:14 +00001061 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001062 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001063 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001064
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001065 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001066 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001067 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001068 else
1069 Name = "(anonymous namespace)";
David Blaikie66cf14d2018-08-16 21:29:55 +00001070 DD->addAccelNamespace(*CUNode, Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001071 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001072 if (NS->getExportSymbols())
1073 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001074 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001075}
1076
Adrian Prantl08a388b2015-06-30 02:13:04 +00001077DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1078 // Construct the context before querying for the existence of the DIE in case
1079 // such construction creates the DIE.
1080 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1081
1082 if (DIE *MDie = getDIE(M))
1083 return MDie;
1084 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1085
1086 if (!M->getName().empty()) {
1087 addString(MDie, dwarf::DW_AT_name, M->getName());
1088 addGlobalName(M->getName(), MDie, M->getScope());
1089 }
1090 if (!M->getConfigurationMacros().empty())
1091 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1092 M->getConfigurationMacros());
1093 if (!M->getIncludePath().empty())
1094 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1095 if (!M->getISysRoot().empty())
1096 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
Fangrui Songf78650a2018-07-30 19:41:25 +00001097
Adrian Prantl08a388b2015-06-30 02:13:04 +00001098 return &MDie;
1099}
1100
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001101DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001102 // Construct the context before querying for the existence of the DIE in case
1103 // such construction creates the DIE (as is the case for member function
1104 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001105 DIE *ContextDIE =
Fangrui Songda82ce92019-05-07 02:06:37 +00001106 Minimal ? &getUnitDie() : getOrCreateContextDIE(SP->getScope());
Adrian Prantld486b342014-03-18 17:41:15 +00001107
David Blaikie65a74662014-04-25 18:26:14 +00001108 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001109 return SPDie;
1110
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001111 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001112 if (!Minimal) {
1113 // Add subprogram definitions to the CU die directly.
1114 ContextDIE = &getUnitDie();
1115 // Build the decl now to ensure it precedes the definition.
1116 getOrCreateSubprogramDIE(SPDecl);
1117 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001118 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001119
1120 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001121 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001122
David Blaikie6cfa9e12014-06-05 00:25:26 +00001123 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001124 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001125 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001126 return &SPDie;
1127
Eugene Leviant7f78d472019-02-27 14:46:59 +00001128 static_cast<DwarfUnit *>(SPDie.getUnit())
1129 ->applySubprogramAttributes(SP, SPDie);
David Blaikie7f916862014-05-27 18:37:38 +00001130 return &SPDie;
1131}
1132
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001133bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001134 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001135 DIE *DeclDie = nullptr;
1136 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001137 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001138 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001139 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001140 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001141 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001142 // Look at the Decl's linkage name only if we emitted it.
1143 if (DD->useAllLinkageNames())
1144 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson612e89d2018-01-12 19:17:50 +00001145 unsigned DeclID = getOrCreateSourceID(SPDecl->getFile());
1146 unsigned DefID = getOrCreateSourceID(SP->getFile());
David Blaikiec9ad9192015-10-07 00:04:16 +00001147 if (DeclID != DefID)
1148 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1149
1150 if (SP->getLine() != SPDecl->getLine())
1151 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001152 }
Rafael Espindola79278362011-11-10 22:34:29 +00001153
Devang Patel89543712011-08-15 17:24:54 +00001154 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001155 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001156
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001157 // 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 +00001158 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001159 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1160 LinkageName == DeclLinkageName) &&
1161 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001162 if (DeclLinkageName.empty() &&
1163 // Always emit it for abstract subprograms.
1164 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001165 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001166
David Blaikie3a443c22014-11-04 22:12:25 +00001167 if (!DeclDie)
1168 return false;
1169
1170 // Refer to the function declaration where all the other attributes will be
1171 // found.
1172 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1173 return true;
1174}
1175
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001176void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001177 bool SkipSPAttributes) {
1178 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1179 // and its source location.
1180 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001181 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001182 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001183 if (applySubprogramDefinitionAttributes(SP, SPDie))
1184 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001185
Devang Patel89543712011-08-15 17:24:54 +00001186 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001187 if (!SP->getName().empty())
1188 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001189
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001190 if (!SkipSPSourceLocation)
1191 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001192
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001193 // Skip the rest of the attributes under -gmlt to save space.
1194 if (SkipSPAttributes)
1195 return;
Devang Patel89543712011-08-15 17:24:54 +00001196
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001197 // Add the prototype if we have a prototype and we have a C like
1198 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001199 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001200 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001201 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001202 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001203 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001204
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001205 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001206 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001207 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001208 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001209 CC = SPTy->getCC();
1210 }
1211
1212 // Add a DW_AT_calling_convention if this has an explicit convention.
1213 if (CC && CC != dwarf::DW_CC_normal)
1214 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001215
Eric Christopher691281b2013-10-21 17:48:51 +00001216 // Add a return type. If this is a type like a C/C++ void type we don't add a
1217 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001218 if (Args.size())
Fangrui Songda82ce92019-05-07 02:06:37 +00001219 if (auto Ty = Args[0])
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001220 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001221
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001222 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001223 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001224 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001225 if (SP->getVirtualIndex() != -1u) {
1226 DIELoc *Block = getDIELoc();
1227 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1228 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1229 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1230 }
Fangrui Songda82ce92019-05-07 02:06:37 +00001231 ContainingTypeMap.insert(std::make_pair(&SPDie, SP->getContainingType()));
Devang Patel89543712011-08-15 17:24:54 +00001232 }
1233
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001234 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001235 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001236
Devang Patel89543712011-08-15 17:24:54 +00001237 // Add arguments. Do not add arguments for subprogram definition. They will
1238 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001239 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001240 }
1241
Adrian Prantl1d12b882017-04-26 22:56:44 +00001242 addThrownTypes(SPDie, SP->getThrownTypes());
1243
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001244 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001245 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001246
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001247 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001248 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001249
David Blaikiec53e18d2016-05-24 21:19:28 +00001250 if (DD->useAppleExtensionAttributes()) {
1251 if (SP->isOptimized())
1252 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001253
David Blaikiec53e18d2016-05-24 21:19:28 +00001254 if (unsigned isa = Asm->getISAEncoding())
1255 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1256 }
Devang Patel89543712011-08-15 17:24:54 +00001257
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001258 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001259 addFlag(SPDie, dwarf::DW_AT_reference);
1260
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001261 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001262 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1263
Adrian Prantlc19dee72016-08-17 16:02:43 +00001264 if (SP->isNoReturn())
1265 addFlag(SPDie, dwarf::DW_AT_noreturn);
1266
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001267 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001268 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1269 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001270 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001271 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1272 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001273 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001274 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1275 dwarf::DW_ACCESS_public);
1276
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001277 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001278 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001279
1280 if (SP->isMainSubprogram())
1281 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Adrian Prantle69917f2019-03-14 16:29:54 +00001282 if (SP->isPure())
1283 addFlag(SPDie, dwarf::DW_AT_pure);
1284 if (SP->isElemental())
1285 addFlag(SPDie, dwarf::DW_AT_elemental);
1286 if (SP->isRecursive())
1287 addFlag(SPDie, dwarf::DW_AT_recursive);
Devang Patel89543712011-08-15 17:24:54 +00001288}
1289
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001290void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001291 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001292 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001293 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001294
Bill Wendling28fe9e72012-12-06 07:38:10 +00001295 // The LowerBound value defines the lower bounds which is typically zero for
1296 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1297 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001298 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001299 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001300 int64_t DefaultLowerBound = getDefaultLowerBound();
Sander de Smalenfdf40912018-01-24 09:56:07 +00001301 int64_t Count = -1;
1302 if (auto *CI = SR->getCount().dyn_cast<ConstantInt*>())
1303 Count = CI->getSExtValue();
Devang Patel0e821f42011-04-12 23:21:44 +00001304
Bill Wendling3495f9b2012-12-06 07:55:19 +00001305 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001306 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001307
Sander de Smalendc00bec2018-01-24 13:35:54 +00001308 if (auto *CV = SR->getCount().dyn_cast<DIVariable*>()) {
Sander de Smalenbf83be92018-02-17 11:06:53 +00001309 if (auto *CountVarDIE = getDIE(CV))
1310 addDIEEntry(DW_Subrange, dwarf::DW_AT_count, *CountVarDIE);
Sander de Smalendc00bec2018-01-24 13:35:54 +00001311 } else if (Count != -1)
David Blaikie32b0f362014-10-01 00:56:55 +00001312 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001313}
1314
David Blaikie871c2d92014-11-02 03:09:13 +00001315DIE *DwarfUnit::getIndexTyDie() {
1316 if (IndexTyDie)
1317 return IndexTyDie;
1318 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001319 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
Pavel Labathb7243ed2018-04-10 14:23:41 +00001320 StringRef Name = "__ARRAY_SIZE_TYPE__";
1321 addString(*IndexTyDie, dwarf::DW_AT_name, Name);
David Blaikie871c2d92014-11-02 03:09:13 +00001322 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1323 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1324 dwarf::DW_ATE_unsigned);
David Blaikie66cf14d2018-08-16 21:29:55 +00001325 DD->addAccelType(*CUNode, Name, *IndexTyDie, /*Flags*/ 0);
David Blaikie871c2d92014-11-02 03:09:13 +00001326 return IndexTyDie;
1327}
1328
Matt Davis4c77cb72018-03-08 22:22:26 +00001329/// Returns true if the vector's size differs from the sum of sizes of elements
1330/// the user specified. This can occur if the vector has been rounded up to
1331/// fit memory alignment constraints.
1332static bool hasVectorBeenPadded(const DICompositeType *CTy) {
1333 assert(CTy && CTy->isVector() && "Composite type is not a vector");
1334 const uint64_t ActualSize = CTy->getSizeInBits();
1335
1336 // Obtain the size of each element in the vector.
Fangrui Songda82ce92019-05-07 02:06:37 +00001337 DIType *BaseTy = CTy->getBaseType();
Matt Davis4c77cb72018-03-08 22:22:26 +00001338 assert(BaseTy && "Unknown vector element type.");
1339 const uint64_t ElementSize = BaseTy->getSizeInBits();
1340
1341 // Locate the number of elements in the vector.
1342 const DINodeArray Elements = CTy->getElements();
1343 assert(Elements.size() == 1 &&
1344 Elements[0]->getTag() == dwarf::DW_TAG_subrange_type &&
1345 "Invalid vector element array, expected one element of type subrange");
1346 const auto Subrange = cast<DISubrange>(Elements[0]);
1347 const auto CI = Subrange->getCount().get<ConstantInt *>();
1348 const int32_t NumVecElements = CI->getSExtValue();
1349
1350 // Ensure we found the element count and that the actual size is wide
1351 // enough to contain the requested size.
1352 assert(ActualSize >= (NumVecElements * ElementSize) && "Invalid vector size");
1353 return ActualSize != (NumVecElements * ElementSize);
1354}
1355
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001356void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Matt Davis4c77cb72018-03-08 22:22:26 +00001357 if (CTy->isVector()) {
David Blaikie65a74662014-04-25 18:26:14 +00001358 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Matt Davis4c77cb72018-03-08 22:22:26 +00001359 if (hasVectorBeenPadded(CTy))
1360 addUInt(Buffer, dwarf::DW_AT_byte_size, None,
1361 CTy->getSizeInBits() / CHAR_BIT);
1362 }
Devang Patel0e821f42011-04-12 23:21:44 +00001363
Eric Christopher0df08e22013-08-08 07:40:37 +00001364 // Emit the element type.
Fangrui Songda82ce92019-05-07 02:06:37 +00001365 addType(Buffer, CTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +00001366
1367 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001368 // FIXME: This type should be passed down from the front end
1369 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001370 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001371
1372 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001373 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001374 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001375 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001376 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001377 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001378 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001379 }
1380}
1381
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001382void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Fangrui Songda82ce92019-05-07 02:06:37 +00001383 const DIType *DTy = CTy->getBaseType();
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001384 bool IsUnsigned = DTy && isUnsignedDIType(DD, DTy);
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001385 if (DTy) {
1386 if (DD->getDwarfVersion() >= 3)
1387 addType(Buffer, DTy);
Paul Robinson7402fd92019-01-08 17:52:29 +00001388 if (DD->getDwarfVersion() >= 4 && (CTy->getFlags() & DINode::FlagEnumClass))
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001389 addFlag(Buffer, dwarf::DW_AT_enum_class);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001390 }
1391
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001392 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001393
1394 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001395 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001396 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001397 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001398 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001399 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001400 addString(Enumerator, dwarf::DW_AT_name, Name);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001401 auto Value = static_cast<uint64_t>(Enum->getValue());
1402 addConstantValue(Enumerator, IsUnsigned, Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001403 }
1404 }
Devang Patel0e821f42011-04-12 23:21:44 +00001405}
1406
Eric Christophera5a79422013-12-09 23:32:48 +00001407void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001408 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001409 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001410 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001411 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001412 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001413 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001414 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001415 if (!NDie)
1416 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001417 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001418 }
1419}
1420
Adrian Prantl8c599212018-02-06 23:45:59 +00001421DIE &DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001422 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1423 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001424 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001425 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001426
Fangrui Songda82ce92019-05-07 02:06:37 +00001427 if (DIType *Resolved = DT->getBaseType())
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001428 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001429
1430 addSourceLine(MemberDie, DT);
1431
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001432 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001433
1434 // For C++, virtual base classes are not at fixed offset. Use following
1435 // expression to extract appropriate offset from vtable.
1436 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1437
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001438 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001439 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1440 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1441 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001442 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001443 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1444 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1445 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001446
David Blaikief2443192013-10-21 17:28:37 +00001447 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001448 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001449 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001450 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001451 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001452 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001453
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001454 bool IsBitfield = FieldSize && Size != FieldSize;
1455 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001456 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001457 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001458 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001459 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001460
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001461 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001462 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1463 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1464 // which can't be done with bitfields. Thus we use FieldSize here.
1465 uint32_t AlignInBits = FieldSize;
1466 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001467 // The bits from the start of the storage unit to the start of the field.
1468 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001469 // The byte offset of the field's aligned storage unit inside the struct.
1470 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001471
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001472 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001473 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1474 uint64_t FieldOffset = (HiMark - FieldSize);
1475 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001476
Adrian Prantle5447572016-04-28 15:37:52 +00001477 // Maybe we need to work from the other end.
1478 if (Asm->getDataLayout().isLittleEndian())
1479 Offset = FieldSize - (Offset + Size);
1480
1481 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1482 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001483 } else {
1484 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001485 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001486 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001487 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001488 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001489 if (AlignInBytes)
1490 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1491 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001492 }
David Blaikie2ada1162014-01-03 00:48:38 +00001493
David Blaikie22b29a52014-01-03 01:30:05 +00001494 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001495 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001496 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1497 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001498 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001499 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001500 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1501 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001502 }
Devang Patel0e821f42011-04-12 23:21:44 +00001503
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001504 if (DT->isProtected())
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_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001507 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001508 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001509 dwarf::DW_ACCESS_private);
1510 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001511 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001512 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001513 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001514 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001515 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001516 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001517
1518 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001519 if (DINode *PNode = DT->getObjCProperty())
1520 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001521 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1522 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001523
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001524 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001525 addFlag(MemberDie, dwarf::DW_AT_artificial);
Adrian Prantl8c599212018-02-06 23:45:59 +00001526
1527 return MemberDie;
Devang Patel0e821f42011-04-12 23:21:44 +00001528}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001529
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001530DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001531 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001532 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001533
Manman Renc6b63922013-10-14 20:33:57 +00001534 // Construct the context before querying for the existence of the DIE in case
1535 // such construction creates the DIE.
Fangrui Songda82ce92019-05-07 02:06:37 +00001536 DIE *ContextDIE = getOrCreateContextDIE(DT->getScope());
David Blaikiebd700e42013-11-14 21:24:34 +00001537 assert(dwarf::isType(ContextDIE->getTag()) &&
1538 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001539
David Blaikie65a74662014-04-25 18:26:14 +00001540 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001541 return StaticMemberDIE;
1542
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001543 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001544
Fangrui Songda82ce92019-05-07 02:06:37 +00001545 const DIType *Ty = DT->getBaseType();
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001546
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001547 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001548 addType(StaticMemberDIE, Ty);
1549 addSourceLine(StaticMemberDIE, DT);
1550 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1551 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1552
1553 // FIXME: We could omit private if the parent is a class_type, and
1554 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001555 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001556 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1557 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001558 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001559 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1560 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001561 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001562 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1563 dwarf::DW_ACCESS_public);
1564
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001565 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001566 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001567 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001568 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001569
Victor Leschuka37660c2016-10-26 21:32:29 +00001570 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001571 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1572 AlignInBytes);
1573
David Blaikie65a74662014-04-25 18:26:14 +00001574 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001575}
David Blaikie6b288cf2013-10-30 20:42:41 +00001576
Paul Robinsoncddd6042017-02-28 20:24:55 +00001577void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001578 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001579 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikiec4e08fe2018-12-18 01:06:09 +00001580 if (!DD->useSectionsAsReferences()) {
1581 StringRef Prefix = isDwoUnit() ? "debug_info_dwo_" : "debug_info_";
1582 MCSymbol *BeginLabel = Asm->createTempSymbol(Prefix + "start");
1583 EndLabel = Asm->createTempSymbol(Prefix + "end");
1584 Asm->EmitLabelDifference(EndLabel, BeginLabel, 4);
1585 Asm->OutStreamer->EmitLabel(BeginLabel);
1586 } else
1587 Asm->emitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001588
Lang Hames9ff69c82015-04-24 19:11:51 +00001589 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001590 unsigned Version = DD->getDwarfVersion();
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001591 Asm->emitInt16(Version);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001592
1593 // DWARF v5 reorders the address size and adds a unit type.
1594 if (Version >= 5) {
1595 Asm->OutStreamer->AddComment("DWARF Unit Type");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001596 Asm->emitInt8(UT);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001597 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001598 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001599 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001600
David Blaikie6896e192013-12-04 23:39:02 +00001601 // We share one abbreviations table across all units so it's always at the
1602 // start of the section. Use a relocatable offset where needed to ensure
1603 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001604 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001605 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001606 if (UseOffsets)
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001607 Asm->emitInt32(0);
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001608 else
1609 Asm->emitDwarfSymbolReference(
1610 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001611
Paul Robinsoncddd6042017-02-28 20:24:55 +00001612 if (Version <= 4) {
1613 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001614 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001615 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001616}
David Blaikiebc563272013-12-13 21:33:40 +00001617
Rafael Espindola063d7252015-03-10 16:58:10 +00001618void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Fangrui Songf78650a2018-07-30 19:41:25 +00001619 DwarfUnit::emitCommonHeader(UseOffsets,
Paul Robinsoncddd6042017-02-28 20:24:55 +00001620 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1621 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001622 Asm->OutStreamer->AddComment("Type Signature");
1623 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1624 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001625 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001626 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1627 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001628}
1629
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001630DIE::value_iterator
1631DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1632 const MCSymbol *Hi, const MCSymbol *Lo) {
1633 return Die.addValue(DIEValueAllocator, Attribute,
1634 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1635 : dwarf::DW_FORM_data4,
1636 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1637}
1638
1639DIE::value_iterator
1640DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1641 const MCSymbol *Label, const MCSymbol *Sec) {
1642 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1643 return addLabel(Die, Attribute,
1644 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1645 : dwarf::DW_FORM_data4,
1646 Label);
1647 return addSectionDelta(Die, Attribute, Label, Sec);
1648}
1649
David Blaikiecafd9622014-11-02 08:51:37 +00001650bool DwarfTypeUnit::isDwoUnit() const {
1651 // Since there are no skeleton type units, all type units are dwo type units
1652 // when split DWARF is being used.
1653 return DD->useSplitDwarf();
1654}
David Blaikiea0e3c752017-02-03 00:44:18 +00001655
1656void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1657 const DIScope *Context) {
1658 getCU().addGlobalNameForTypeUnit(Name, Context);
1659}
1660
1661void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1662 const DIScope *Context) {
1663 getCU().addGlobalTypeUnitType(Ty, Context);
1664}
David Blaikie85366ac2017-04-22 07:53:44 +00001665
1666const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1667 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1668 return nullptr;
1669 if (isDwoUnit())
1670 return nullptr;
1671 return getSection()->getBeginSymbol();
1672}
Wolfgang Pieb456b5552018-01-26 18:52:58 +00001673
1674void DwarfUnit::addStringOffsetsStart() {
1675 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1676 addSectionLabel(getUnitDie(), dwarf::DW_AT_str_offsets_base,
1677 DU->getStringOffsetsStartSym(),
1678 TLOF.getDwarfStrOffSection()->getBeginSymbol());
1679}
Wolfgang Piebfcf38102018-07-12 18:18:21 +00001680
1681void DwarfUnit::addRnglistsBase() {
1682 assert(DD->getDwarfVersion() >= 5 &&
1683 "DW_AT_rnglists_base requires DWARF version 5 or later");
1684 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1685 addSectionLabel(getUnitDie(), dwarf::DW_AT_rnglists_base,
1686 DU->getRnglistsTableBaseSym(),
1687 TLOF.getDwarfRnglistsSection()->getBeginSymbol());
1688}
George Rimar425f7512018-09-20 09:17:36 +00001689
George Rimar088d96b2018-10-26 11:25:12 +00001690void DwarfUnit::addLoclistsBase() {
1691 assert(DD->getDwarfVersion() >= 5 &&
1692 "DW_AT_loclists_base requires DWARF version 5 or later");
1693 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1694 addSectionLabel(getUnitDie(), dwarf::DW_AT_loclists_base,
1695 DU->getLoclistsTableBaseSym(),
1696 TLOF.getDwarfLoclistsSection()->getBeginSymbol());
1697}
David Blaikie832c7d92019-04-24 18:09:44 +00001698
1699void DwarfTypeUnit::finishNonUnitTypeDIE(DIE& D, const DICompositeType *CTy) {
1700 addFlag(D, dwarf::DW_AT_declaration);
1701 StringRef Name = CTy->getName();
1702 if (!Name.empty())
1703 addString(D, dwarf::DW_AT_name, Name);
1704 getCU().createTypeDIE(CTy);
1705}