blob: 6e547469c24c7b3243a8ac815f63edadcf36428b [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
67void DIEDwarfExpression::emitBaseTypeRef(uint64_t Idx) {
68 CU.addBaseTypeRef(DIE, Idx);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000069}
Eugene Zelenko1804a772016-08-25 00:45:04 +000070
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000071bool DIEDwarfExpression::isFrameRegister(const TargetRegisterInfo &TRI,
72 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000073 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000074}
75
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000076DwarfUnit::DwarfUnit(dwarf::Tag UnitTag, const DICompileUnit *Node,
77 AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
Konstantin Zhuravlyovdc77b2e2017-04-17 17:41:25 +000078 : DIEUnit(A->getDwarfVersion(), A->MAI->getCodePointerSize(), UnitTag),
79 CUNode(Node), Asm(A), DD(DW), DU(DWU), IndexTyDie(nullptr) {
David Blaikie319a05f2013-12-02 19:33:10 +000080}
81
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000082DwarfTypeUnit::DwarfTypeUnit(DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000083 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000084 MCDwarfDwoLineTable *SplitLineTable)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000085 : DwarfUnit(dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU), CU(CU),
86 SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000087}
David Blaikie409dd9c2013-11-19 23:08:21 +000088
Eric Christophera5a79422013-12-09 23:32:48 +000089DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000090 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
91 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000092 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
93 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000094}
95
Eric Christophera5a79422013-12-09 23:32:48 +000096int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000097 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000098 default:
99 break;
100
Paul Robinson91d74812017-03-01 18:32:37 +0000101 // The languages below have valid values in all DWARF versions.
Bill Wendling28fe9e72012-12-06 07:38:10 +0000102 case dwarf::DW_LANG_C:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000103 case dwarf::DW_LANG_C89:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000104 case dwarf::DW_LANG_C_plus_plus:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000105 return 0;
106
107 case dwarf::DW_LANG_Fortran77:
108 case dwarf::DW_LANG_Fortran90:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000109 return 1;
110
Paul Robinson91d74812017-03-01 18:32:37 +0000111 // The languages below have valid values only if the DWARF version >= 3.
112 case dwarf::DW_LANG_C99:
113 case dwarf::DW_LANG_ObjC:
114 case dwarf::DW_LANG_ObjC_plus_plus:
115 if (DD->getDwarfVersion() >= 3)
116 return 0;
117 break;
118
119 case dwarf::DW_LANG_Fortran95:
120 if (DD->getDwarfVersion() >= 3)
121 return 1;
122 break;
123
124 // Starting with DWARF v4, all defined languages have valid values.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000125 case dwarf::DW_LANG_D:
Bill Wendling28fe9e72012-12-06 07:38:10 +0000126 case dwarf::DW_LANG_Java:
127 case dwarf::DW_LANG_Python:
128 case dwarf::DW_LANG_UPC:
Paul Robinson91d74812017-03-01 18:32:37 +0000129 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000130 return 0;
131 break;
132
133 case dwarf::DW_LANG_Ada83:
134 case dwarf::DW_LANG_Ada95:
135 case dwarf::DW_LANG_Cobol74:
136 case dwarf::DW_LANG_Cobol85:
137 case dwarf::DW_LANG_Modula2:
138 case dwarf::DW_LANG_Pascal83:
139 case dwarf::DW_LANG_PLI:
Paul Robinson91d74812017-03-01 18:32:37 +0000140 if (DD->getDwarfVersion() >= 4)
Bill Wendling28fe9e72012-12-06 07:38:10 +0000141 return 1;
142 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000143
Paul Robinson91d74812017-03-01 18:32:37 +0000144 // The languages below are new in DWARF v5.
Paul Robinsond4f1c482017-03-01 19:01:47 +0000145 case dwarf::DW_LANG_BLISS:
146 case dwarf::DW_LANG_C11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000147 case dwarf::DW_LANG_C_plus_plus_03:
148 case dwarf::DW_LANG_C_plus_plus_11:
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000149 case dwarf::DW_LANG_C_plus_plus_14:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000150 case dwarf::DW_LANG_Dylan:
151 case dwarf::DW_LANG_Go:
152 case dwarf::DW_LANG_Haskell:
153 case dwarf::DW_LANG_OCaml:
154 case dwarf::DW_LANG_OpenCL:
Paul Robinson91d74812017-03-01 18:32:37 +0000155 case dwarf::DW_LANG_RenderScript:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000156 case dwarf::DW_LANG_Rust:
157 case dwarf::DW_LANG_Swift:
Paul Robinson91d74812017-03-01 18:32:37 +0000158 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000159 return 0;
160 break;
161
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000162 case dwarf::DW_LANG_Fortran03:
163 case dwarf::DW_LANG_Fortran08:
Paul Robinsond4f1c482017-03-01 19:01:47 +0000164 case dwarf::DW_LANG_Julia:
165 case dwarf::DW_LANG_Modula3:
Paul Robinson91d74812017-03-01 18:32:37 +0000166 if (DD->getDwarfVersion() >= 5)
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000167 return 1;
168 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000169 }
170
171 return -1;
172}
173
Manman Ren4dbdc902013-10-31 17:54:35 +0000174/// Check whether the DIE for this MDNode can be shared across CUs.
David Blaikie488393f2017-05-12 01:13:45 +0000175bool DwarfUnit::isShareableAcrossCUs(const DINode *D) const {
David Blaikiebcb418e2013-11-20 18:40:16 +0000176 // When the MDNode can be part of the type system, the DIE can be shared
177 // across CUs.
178 // Combining type units and cross-CU DIE sharing is lower value (since
179 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
180 // level already) but may be implementable for some value in projects
181 // building multiple independent libraries with LTO and then linking those
182 // together.
David Blaikie488393f2017-05-12 01:13:45 +0000183 if (isDwoUnit() && !DD->shareAcrossDWOCUs())
184 return false;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000185 return (isa<DIType>(D) ||
186 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Pavel Labathf9adc202018-07-20 12:59:05 +0000187 !DD->generateTypeUnits();
Manman Ren4dbdc902013-10-31 17:54:35 +0000188}
189
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000190DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000191 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000192 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000193 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000194}
195
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000196void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000197 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000198 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000199 return;
200 }
David Blaikie2ad00162013-11-15 23:09:13 +0000201 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000202}
203
David Blaikie65a74662014-04-25 18:26:14 +0000204void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000205 if (DD->getDwarfVersion() >= 4)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000206 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag_present,
207 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000208 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000209 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_flag,
210 DIEInteger(1));
Eric Christopherbb69a272012-08-24 01:14:27 +0000211}
212
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000213void DwarfUnit::addUInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000214 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000215 if (!Form)
216 Form = DIEInteger::BestForm(false, Integer);
Victor Leschukcbddae72017-01-10 21:18:26 +0000217 assert(Form != dwarf::DW_FORM_implicit_const &&
218 "DW_FORM_implicit_const is used only for signed integers");
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000219 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000220}
221
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000222void DwarfUnit::addUInt(DIEValueList &Block, dwarf::Form Form,
223 uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000224 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000225}
226
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000227void DwarfUnit::addSInt(DIEValueList &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000228 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000229 if (!Form)
230 Form = DIEInteger::BestForm(true, Integer);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000231 Die.addValue(DIEValueAllocator, Attribute, *Form, DIEInteger(Integer));
David Blaikief2443192013-10-21 17:28:37 +0000232}
233
David Blaikie65a74662014-04-25 18:26:14 +0000234void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000235 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000236 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000237}
238
David Blaikie65a74662014-04-25 18:26:14 +0000239void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000240 StringRef String) {
Alexey Bataevd4dd7212018-08-01 19:38:20 +0000241 if (CUNode->isDebugDirectivesOnly())
242 return;
243
Alexey Bataev0d6aead2018-02-20 15:28:08 +0000244 if (DD->useInlineStrings()) {
245 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_string,
246 new (DIEValueAllocator)
247 DIEInlineString(String, DIEValueAllocator));
248 return;
249 }
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000250 dwarf::Form IxForm =
251 isDwoUnit() ? dwarf::DW_FORM_GNU_str_index : dwarf::DW_FORM_strp;
Pavel Labath2f088112018-08-07 09:54:52 +0000252
253 auto StringPoolEntry =
254 useSegmentedStringOffsetsTable() || IxForm == dwarf::DW_FORM_GNU_str_index
255 ? DU->getStringPool().getIndexedEntry(*Asm, String)
256 : DU->getStringPool().getEntry(*Asm, String);
257
Wolfgang Pieb456b5552018-01-26 18:52:58 +0000258 // For DWARF v5 and beyond, use the smallest strx? form possible.
259 if (useSegmentedStringOffsetsTable()) {
260 IxForm = dwarf::DW_FORM_strx1;
261 unsigned Index = StringPoolEntry.getIndex();
262 if (Index > 0xffffff)
263 IxForm = dwarf::DW_FORM_strx4;
264 else if (Index > 0xffff)
265 IxForm = dwarf::DW_FORM_strx3;
266 else if (Index > 0xff)
267 IxForm = dwarf::DW_FORM_strx2;
268 }
269 Die.addValue(DIEValueAllocator, Attribute, IxForm,
270 DIEString(StringPoolEntry));
Devang Patel0e821f42011-04-12 23:21:44 +0000271}
272
Duncan P. N. Exon Smith55a868a2015-08-02 20:44:46 +0000273DIEValueList::value_iterator DwarfUnit::addLabel(DIEValueList &Die,
274 dwarf::Attribute Attribute,
275 dwarf::Form Form,
276 const MCSymbol *Label) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000277 return Die.addValue(DIEValueAllocator, Attribute, Form, DIELabel(Label));
David Blaikief3cd7c52013-06-28 20:05:04 +0000278}
279
David Blaikie65a74662014-04-25 18:26:14 +0000280void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000281 addLabel(Die, (dwarf::Attribute)0, Form, Label);
282}
283
David Blaikie65a74662014-04-25 18:26:14 +0000284void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000285 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000286 if (DD->getDwarfVersion() >= 4)
287 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
288 else
289 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
290}
291
Paul Robinsonb271f312018-03-29 17:16:41 +0000292MD5::MD5Result *DwarfUnit::getMD5AsBytes(const DIFile *File) const {
Paul Robinson612e89d2018-01-12 19:17:50 +0000293 assert(File);
Paul Robinsonb271f312018-03-29 17:16:41 +0000294 if (DD->getDwarfVersion() < 5)
295 return nullptr;
Scott Linder71603842018-02-12 19:45:54 +0000296 Optional<DIFile::ChecksumInfo<StringRef>> Checksum = File->getChecksum();
297 if (!Checksum || Checksum->Kind != DIFile::CSK_MD5)
Paul Robinson612e89d2018-01-12 19:17:50 +0000298 return nullptr;
299
300 // Convert the string checksum to an MD5Result for the streamer.
301 // The verifier validates the checksum so we assume it's okay.
302 // An MD5 checksum is 16 bytes.
Scott Linder71603842018-02-12 19:45:54 +0000303 std::string ChecksumString = fromHex(Checksum->Value);
Paul Robinson612e89d2018-01-12 19:17:50 +0000304 void *CKMem = Asm->OutStreamer->getContext().allocate(16, 1);
Scott Linder71603842018-02-12 19:45:54 +0000305 memcpy(CKMem, ChecksumString.data(), 16);
Paul Robinson612e89d2018-01-12 19:17:50 +0000306 return reinterpret_cast<MD5::MD5Result *>(CKMem);
307}
308
309unsigned DwarfTypeUnit::getOrCreateSourceID(const DIFile *File) {
Paul Robinson7cb26ad2018-03-27 21:28:59 +0000310 if (!SplitLineTable)
311 return getCU().getOrCreateSourceID(File);
312 if (!UsedLineTable) {
313 UsedLineTable = true;
314 // This is a split type unit that needs a line table.
315 addSectionOffset(getUnitDie(), dwarf::DW_AT_stmt_list, 0);
316 }
317 return SplitLineTable->getFile(File->getDirectory(), File->getFilename(),
318 getMD5AsBytes(File), File->getSource());
David Blaikie4a2f95f2014-03-18 01:17:26 +0000319}
320
David Blaikie65a74662014-04-25 18:26:14 +0000321void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
David Blaikie2df23a42018-10-20 08:54:05 +0000322 if (DD->getDwarfVersion() >= 5) {
323 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addrx);
324 addUInt(Die, dwarf::DW_FORM_addrx, DD->getAddressPool().getIndex(Sym));
325 return;
326 }
327
328 if (DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000329 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000330 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000331 DD->getAddressPool().getIndex(Sym));
David Blaikie2df23a42018-10-20 08:54:05 +0000332 return;
Eric Christophere9ec2452013-01-18 22:11:33 +0000333 }
David Blaikie2df23a42018-10-20 08:54:05 +0000334
335 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
336 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000337}
338
David Blaikie65a74662014-04-25 18:26:14 +0000339void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000340 const MCSymbol *Hi, const MCSymbol *Lo) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000341 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_data4,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000342 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikie48b1bdc2014-03-07 01:30:55 +0000343}
344
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000345void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000346 addDIEEntry(Die, Attribute, DIEEntry(Entry));
Manman Ren4dbdc902013-10-31 17:54:35 +0000347}
348
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000349void DwarfUnit::addDIETypeSignature(DIE &Die, uint64_t Signature) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000350 // Flag the type unit reference as a declaration so that if it contains
351 // members (implicit special members, static data member definitions, member
352 // declarations for definitions in this CU, etc) consumers don't get confused
353 // and think this is a full definition.
354 addFlag(Die, dwarf::DW_AT_declaration);
355
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000356 Die.addValue(DIEValueAllocator, dwarf::DW_AT_signature,
Peter Collingbourne7c384cc2016-02-11 19:57:46 +0000357 dwarf::DW_FORM_ref_sig8, DIEInteger(Signature));
David Blaikie47f615e2013-12-17 23:32:35 +0000358}
359
David Blaikie65a74662014-04-25 18:26:14 +0000360void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000361 DIEEntry Entry) {
Greg Clayton35630c32016-12-01 18:56:29 +0000362 const DIEUnit *CU = Die.getUnit();
363 const DIEUnit *EntryCU = Entry.getEntry().getUnit();
364 if (!CU)
Manman Ren4dbdc902013-10-31 17:54:35 +0000365 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
Greg Clayton35630c32016-12-01 18:56:29 +0000366 CU = getUnitDie().getUnit();
Manman Ren4dbdc902013-10-31 17:54:35 +0000367 if (!EntryCU)
Greg Clayton35630c32016-12-01 18:56:29 +0000368 EntryCU = getUnitDie().getUnit();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000369 Die.addValue(DIEValueAllocator, Attribute,
Greg Clayton35630c32016-12-01 18:56:29 +0000370 EntryCU == CU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
David Blaikie65a74662014-04-25 18:26:14 +0000371 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000372}
373
Amjad Aboud293ee8b2016-04-29 16:07:55 +0000374DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000375 DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator, (dwarf::Tag)Tag));
376 if (N)
377 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000378 return Die;
379}
380
David Blaikie65a74662014-04-25 18:26:14 +0000381void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000382 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000383 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000384 Die.addValue(DIEValueAllocator, Attribute,
385 Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000386}
387
David Blaikie65a74662014-04-25 18:26:14 +0000388void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000389 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000390 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000391 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000392 Die.addValue(DIEValueAllocator, Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000393}
394
Paul Robinson612e89d2018-01-12 19:17:50 +0000395void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, const DIFile *File) {
Devang Patel0e821f42011-04-12 23:21:44 +0000396 if (Line == 0)
397 return;
David Blaikie101613e2014-02-12 00:11:25 +0000398
Paul Robinson612e89d2018-01-12 19:17:50 +0000399 unsigned FileID = getOrCreateSourceID(File);
Ali Tamur02e96642019-03-26 20:05:27 +0000400 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000401 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
402 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000403}
404
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000405void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000406 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000407
Paul Robinson612e89d2018-01-12 19:17:50 +0000408 addSourceLine(Die, V->getLine(), V->getFile());
David Blaikie101613e2014-02-12 00:11:25 +0000409}
410
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000411void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000412 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000413
Paul Robinson612e89d2018-01-12 19:17:50 +0000414 addSourceLine(Die, G->getLine(), G->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000415}
416
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000417void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000418 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000419
Paul Robinson612e89d2018-01-12 19:17:50 +0000420 addSourceLine(Die, SP->getLine(), SP->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000421}
422
Hsiangkai Wang2532ac82018-08-17 15:22:04 +0000423void DwarfUnit::addSourceLine(DIE &Die, const DILabel *L) {
424 assert(L);
425
426 addSourceLine(Die, L->getLine(), L->getFile());
427}
428
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000429void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000430 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000431
Paul Robinson612e89d2018-01-12 19:17:50 +0000432 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000433}
434
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000435void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000436 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000437
Paul Robinson612e89d2018-01-12 19:17:50 +0000438 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000439}
440
Manman Renb3388602013-10-05 01:43:03 +0000441/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000442static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000443 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
444 // FIXME: Enums without a fixed underlying type have unknown signedness
445 // here, leading to incorrectly emitted constants.
446 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
447 return false;
448
449 // (Pieces of) aggregate types that get hacked apart by SROA may be
450 // represented by a constant. Encode them as unsigned bytes.
451 return true;
452 }
453
454 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000455 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000456 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000457 // null pointer constant emission.
458 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
459 // here, but accept them for now due to a bug in SROA producing bogus
460 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000461 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000462 T == dwarf::DW_TAG_ptr_to_member_type ||
463 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000464 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000465 return true;
466 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
467 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000468 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000469 DITypeRef Deriv = DTy->getBaseType();
470 assert(Deriv && "Expected valid base type");
471 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000472 }
Manman Renb3388602013-10-05 01:43:03 +0000473
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000474 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000475 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000476 assert((Encoding == dwarf::DW_ATE_unsigned ||
477 Encoding == dwarf::DW_ATE_unsigned_char ||
478 Encoding == dwarf::DW_ATE_signed ||
479 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000480 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
481 Encoding == dwarf::DW_ATE_boolean ||
482 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
483 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000484 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000485 return Encoding == dwarf::DW_ATE_unsigned ||
486 Encoding == dwarf::DW_ATE_unsigned_char ||
487 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
488 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000489}
490
David Blaikie65a74662014-04-25 18:26:14 +0000491void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000492 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000493 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000494 APFloat FPImm = MO.getFPImm()->getValueAPF();
495
496 // Get the raw data form of the floating point.
497 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000498 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000499
500 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000501 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000502 int Incr = (LittleEndian ? 1 : -1);
503 int Start = (LittleEndian ? 0 : NumBytes - 1);
504 int Stop = (LittleEndian ? NumBytes : -1);
505
506 // Output the constant to DWARF one byte at a time.
507 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000508 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000509
David Blaikief2443192013-10-21 17:28:37 +0000510 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000511}
512
David Blaikie65a74662014-04-25 18:26:14 +0000513void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000514 // Pass this down to addConstantValue as an unsigned bag of bits.
515 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000516}
517
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000518void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000519 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000520 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000521}
522
David Blaikiec05c8f42014-05-11 15:47:39 +0000523void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000524 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000525 assert(MO.isImm() && "Invalid machine operand!");
526
David Blaikie60cae1b2014-05-11 16:08:41 +0000527 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000528}
529
David Blaikie60cae1b2014-05-11 16:08:41 +0000530void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000531 // FIXME: This is a bit conservative/simple - it emits negative values always
532 // sign extended to 64 bits rather than minimizing the number of bytes.
533 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000534 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000535}
536
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000537void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000538 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
539}
540
David Blaikie65a74662014-04-25 18:26:14 +0000541void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000542 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000543 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000544 addConstantValue(Die, Unsigned,
545 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000546 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000547 }
548
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000549 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000550
551 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000552 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000553
554 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000555 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000556
557 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000558 for (int i = 0; i < NumBytes; i++) {
559 uint8_t c;
560 if (LittleEndian)
561 c = Ptr64[i / 8] >> (8 * (i & 7));
562 else
563 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000564 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000565 }
Devang Patel0e821f42011-04-12 23:21:44 +0000566
David Blaikief2443192013-10-21 17:28:37 +0000567 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000568}
569
Paul Robinson857b4432015-03-10 22:44:45 +0000570void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000571 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000572 addString(Die,
573 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
574 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000575 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000576}
577
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000578void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000579 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000580 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000581 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000582 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000583 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000584 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000585 }
Devang Patel0e821f42011-04-12 23:21:44 +0000586}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000587
Adrian Prantl1d12b882017-04-26 22:56:44 +0000588/// Add thrown types.
589void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
590 for (const auto *Ty : ThrownTypes) {
591 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
592 addType(TT, cast<DIType>(Ty));
593 }
594}
595
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000596DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
597 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000598 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000599 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000600 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000601 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000602 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000603 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000604 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000605 if (auto *M = dyn_cast<DIModule>(Context))
606 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000607 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000608}
609
David Blaikiea0e3c752017-02-03 00:44:18 +0000610DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000611 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000612 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000613
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000614 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000615 return TyDIE;
616
617 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000618 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000619
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000620 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000621
Adrian Prantl19aadf52017-03-13 22:56:14 +0000622 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000623 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000624}
625
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000626DIE *DwarfUnit::createTypeDIE(const DIScope *Context, DIE &ContextDIE,
627 const DIType *Ty) {
628 // Create new type.
629 DIE &TyDIE = createAndAddDIE(Ty->getTag(), ContextDIE, Ty);
630
631 updateAcceleratorTables(Context, Ty, TyDIE);
632
633 if (auto *BT = dyn_cast<DIBasicType>(Ty))
634 constructTypeDIE(TyDIE, BT);
635 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
636 constructTypeDIE(TyDIE, STy);
637 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
638 if (DD->generateTypeUnits() && !Ty->isForwardDecl())
639 if (MDString *TypeId = CTy->getRawIdentifier()) {
640 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
641 // Skip updating the accelerator tables since this is not the full type.
642 return &TyDIE;
643 }
644 constructTypeDIE(TyDIE, CTy);
645 } else {
646 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
647 }
648
649 return &TyDIE;
650}
651
David Blaikied51dea62015-07-01 18:07:16 +0000652DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000653 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000654 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000655
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000656 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000657
David Blaikieee11f222014-04-12 05:35:59 +0000658 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000659 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000660 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000661
Victor Leschuke1156c22016-10-31 19:09:38 +0000662 // DW_TAG_atomic_type is not supported in DWARF < 5
663 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
664 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
665
Manman Renf4c339e2013-10-29 22:49:29 +0000666 // Construct the context before querying for the existence of the DIE in case
667 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000668 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000669 DIE *ContextDIE = getOrCreateContextDIE(Context);
670 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000671
David Blaikie65a74662014-04-25 18:26:14 +0000672 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000673 return TyDIE;
674
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000675 return static_cast<DwarfUnit *>(ContextDIE->getUnit())
676 ->createTypeDIE(Context, *ContextDIE, Ty);
David Blaikie2ea848b2013-11-19 22:51:04 +0000677}
678
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000679void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
680 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000681 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000682 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000683 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000684 // A runtime language of 0 actually means C/C++ and that any
685 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000686 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000687 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000688 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie66cf14d2018-08-16 21:29:55 +0000689 DD->addAccelType(*CUNode, Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000690
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000691 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
692 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000693 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000694 }
Devang Patel0e821f42011-04-12 23:21:44 +0000695}
696
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000697void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000698 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000699 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000700 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000701}
702
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000703std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000704 if (!Context)
705 return "";
706
707 // FIXME: Decide whether to implement this for non-C++ languages.
708 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
709 return "";
710
Eric Christopher8dba0d52013-10-19 01:04:42 +0000711 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000712 SmallVector<const DIScope *, 1> Parents;
713 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000714 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000715 if (Context->getScope())
716 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000717 else
718 // Structure, etc types will have a NULL context if they're at the top
719 // level.
720 break;
721 }
722
723 // Reverse iterate over our list to go from the outermost construct to the
724 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000725 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000726 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000727 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000728 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000729 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000730 CS += Name;
731 CS += "::";
732 }
733 }
734 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000735}
736
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000737void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000738 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000739 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000740 // Add name if not anonymous or intermediate type.
741 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000742 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000743
David Blaikiefac56122013-10-04 23:21:16 +0000744 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000745 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000746 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000747
David Blaikie65a74662014-04-25 18:26:14 +0000748 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000749 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000750
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000751 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000752 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Adrian Prantl55f42622018-08-14 19:35:34 +0000753
754 if (BTy->isBigEndian())
755 addUInt(Buffer, dwarf::DW_AT_endianity, None, dwarf::DW_END_big);
756 else if (BTy->isLittleEndian())
757 addUInt(Buffer, dwarf::DW_AT_endianity, None, dwarf::DW_END_little);
Devang Patel0e821f42011-04-12 23:21:44 +0000758}
759
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000760void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000761 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000762 StringRef Name = DTy->getName();
763 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000764 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000765
766 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000767 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000768 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000769 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000770
771 // Add name if not anonymous or intermediate type.
772 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000773 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000774
775 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000776 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000777 && Tag != dwarf::DW_TAG_ptr_to_member_type
778 && Tag != dwarf::DW_TAG_reference_type
779 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000780 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000781
David Blaikie5d3249b2013-01-07 05:51:15 +0000782 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000783 addDIEEntry(
784 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000785 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000786 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000787 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000788 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000789
790 // If DWARF address space value is other than None, add it for pointer and
791 // reference types as DW_AT_address_class.
792 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
793 Tag == dwarf::DW_TAG_reference_type))
794 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
795 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000796}
797
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000798void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000799 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000800 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000801 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000802 assert(i == N-1 && "Unspecified parameter must be the last argument");
803 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
804 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000805 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000806 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000807 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000808 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000809 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000810 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000811}
812
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000813void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000814 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000815 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000816 if (Elements.size())
817 if (auto RTy = resolve(Elements[0]))
818 addType(Buffer, RTy);
819
820 bool isPrototyped = true;
821 if (Elements.size() == 2 && !Elements[1])
822 isPrototyped = false;
823
824 constructSubprogramArguments(Buffer, Elements);
825
826 // Add prototype flag if we're dealing with a C language and the function has
827 // been prototyped.
828 uint16_t Language = getLanguage();
829 if (isPrototyped &&
830 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
831 Language == dwarf::DW_LANG_ObjC))
832 addFlag(Buffer, dwarf::DW_AT_prototyped);
833
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000834 // Add a DW_AT_calling_convention if this has an explicit convention.
835 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
836 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
837 CTy->getCC());
838
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000839 if (CTy->isLValueReference())
840 addFlag(Buffer, dwarf::DW_AT_reference);
841
842 if (CTy->isRValueReference())
843 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
844}
845
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000846void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000847 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000848 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000849
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000850 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000851 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000852
853 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000854 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000855 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000856 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000857 case dwarf::DW_TAG_enumeration_type:
858 constructEnumTypeDIE(Buffer, CTy);
859 break;
Adrian Prantl8c599212018-02-06 23:45:59 +0000860 case dwarf::DW_TAG_variant_part:
Devang Patel0e821f42011-04-12 23:21:44 +0000861 case dwarf::DW_TAG_structure_type:
862 case dwarf::DW_TAG_union_type:
863 case dwarf::DW_TAG_class_type: {
Adrian Prantl8c599212018-02-06 23:45:59 +0000864 // Emit the discriminator for a variant part.
865 DIDerivedType *Discriminator = nullptr;
866 if (Tag == dwarf::DW_TAG_variant_part) {
867 Discriminator = CTy->getDiscriminator();
868 if (Discriminator) {
869 // DWARF says:
870 // If the variant part has a discriminant, the discriminant is
871 // represented by a separate debugging information entry which is
872 // a child of the variant part entry.
873 DIE &DiscMember = constructMemberDIE(Buffer, Discriminator);
874 addDIEEntry(Buffer, dwarf::DW_AT_discr, DiscMember);
875 }
876 }
877
Devang Patel0e821f42011-04-12 23:21:44 +0000878 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000879 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000880 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000881 if (!Element)
882 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000883 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000884 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000885 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000886 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000887 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000888 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
889 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000890 getOrCreateStaticMemberDIE(DDTy);
Adrian Prantl8c599212018-02-06 23:45:59 +0000891 } else if (Tag == dwarf::DW_TAG_variant_part) {
892 // When emitting a variant part, wrap each member in
893 // DW_TAG_variant.
894 DIE &Variant = createAndAddDIE(dwarf::DW_TAG_variant, Buffer);
895 if (const ConstantInt *CI =
896 dyn_cast_or_null<ConstantInt>(DDTy->getDiscriminantValue())) {
897 if (isUnsignedDIType(DD, resolve(Discriminator->getBaseType())))
898 addUInt(Variant, dwarf::DW_AT_discr_value, None, CI->getZExtValue());
899 else
900 addSInt(Variant, dwarf::DW_AT_discr_value, None, CI->getSExtValue());
901 }
902 constructMemberDIE(Variant, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000903 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000904 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000905 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000906 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000907 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
908 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000909 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000910 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000911 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000912 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000913 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000914 if (!GetterName.empty())
915 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000916 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000917 if (!SetterName.empty())
918 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000919 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000920 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000921 PropertyAttributes);
Adrian Prantl8c599212018-02-06 23:45:59 +0000922 } else if (auto *Composite = dyn_cast<DICompositeType>(Element)) {
923 if (Composite->getTag() == dwarf::DW_TAG_variant_part) {
924 DIE &VariantPart = createAndAddDIE(Composite->getTag(), Buffer);
925 constructTypeDIE(VariantPart, Composite);
926 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000927 }
Devang Patel0e821f42011-04-12 23:21:44 +0000928 }
929
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000930 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000931 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000932
Adrian Prantlcf44e782014-12-19 00:01:20 +0000933 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
934 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +0000935 // Rust uses DW_AT_containing_type to link a vtable to the type
936 // for which it was created.
937 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +0000938 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000939 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000940
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000941 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000942 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000943
Eric Christopherda011dd2011-12-16 23:42:42 +0000944 // Add template parameters to a class, structure or union types.
945 // FIXME: The support isn't in the metadata for this yet.
946 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000947 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000948 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000949
Adrian Prantla29aac72018-01-05 01:13:37 +0000950 // Add the type's non-standard calling convention.
951 uint8_t CC = 0;
952 if (CTy->isTypePassByValue())
953 CC = dwarf::DW_CC_pass_by_value;
954 else if (CTy->isTypePassByReference())
955 CC = dwarf::DW_CC_pass_by_reference;
956 if (CC)
957 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
958 CC);
Devang Patel0e821f42011-04-12 23:21:44 +0000959 break;
960 }
961 default:
962 break;
963 }
964
965 // Add name if not anonymous or intermediate type.
966 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000967 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000968
Eric Christopher775cbd22012-05-22 18:45:18 +0000969 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000970 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000971 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000972 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000973 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000974 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000975 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000976 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000977 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000978 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000979
980 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000981 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000982 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000983
984 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000985 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000986 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000987
988 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000989 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000990 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +0000991 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +0000992 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +0000993
994 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +0000995 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +0000996 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
997 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +0000998 }
999}
1000
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001001void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001002 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001003 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001004 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001005 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001006 if (TP->getType())
1007 addType(ParamDIE, resolve(TP->getType()));
1008 if (!TP->getName().empty())
1009 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001010}
1011
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001012void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001013 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001014 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001015
1016 // Add the type if there is one, template template and template parameter
1017 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001018 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1019 addType(ParamDIE, resolve(VP->getType()));
1020 if (!VP->getName().empty())
1021 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1022 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001023 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001024 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001025 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001026 // We cannot describe the location of dllimport'd entities: the
1027 // computation of their address requires loads from the IAT.
1028 if (!GV->hasDLLImportStorageClass()) {
1029 // For declaration non-type template parameters (such as global values
1030 // and functions)
1031 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1032 addOpAddress(*Loc, Asm->getSymbol(GV));
1033 // Emit DW_OP_stack_value to use the address as the immediate value of
1034 // the parameter, rather than a pointer to it.
1035 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1036 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1037 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001038 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001039 assert(isa<MDString>(Val));
1040 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1041 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001042 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001043 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001044 }
1045 }
Devang Patel0e821f42011-04-12 23:21:44 +00001046}
1047
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001048DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001049 // Construct the context before querying for the existence of the DIE in case
1050 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001051 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001052
David Blaikie65a74662014-04-25 18:26:14 +00001053 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001054 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001055 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001056
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001057 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001058 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001059 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001060 else
1061 Name = "(anonymous namespace)";
David Blaikie66cf14d2018-08-16 21:29:55 +00001062 DD->addAccelNamespace(*CUNode, Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001063 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001064 if (NS->getExportSymbols())
1065 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001066 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001067}
1068
Adrian Prantl08a388b2015-06-30 02:13:04 +00001069DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1070 // Construct the context before querying for the existence of the DIE in case
1071 // such construction creates the DIE.
1072 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1073
1074 if (DIE *MDie = getDIE(M))
1075 return MDie;
1076 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1077
1078 if (!M->getName().empty()) {
1079 addString(MDie, dwarf::DW_AT_name, M->getName());
1080 addGlobalName(M->getName(), MDie, M->getScope());
1081 }
1082 if (!M->getConfigurationMacros().empty())
1083 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1084 M->getConfigurationMacros());
1085 if (!M->getIncludePath().empty())
1086 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1087 if (!M->getISysRoot().empty())
1088 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
Fangrui Songf78650a2018-07-30 19:41:25 +00001089
Adrian Prantl08a388b2015-06-30 02:13:04 +00001090 return &MDie;
1091}
1092
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001093DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001094 // Construct the context before querying for the existence of the DIE in case
1095 // such construction creates the DIE (as is the case for member function
1096 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001097 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001098 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001099
David Blaikie65a74662014-04-25 18:26:14 +00001100 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001101 return SPDie;
1102
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001103 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001104 if (!Minimal) {
1105 // Add subprogram definitions to the CU die directly.
1106 ContextDIE = &getUnitDie();
1107 // Build the decl now to ensure it precedes the definition.
1108 getOrCreateSubprogramDIE(SPDecl);
1109 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001110 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001111
1112 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001113 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001114
David Blaikie6cfa9e12014-06-05 00:25:26 +00001115 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001116 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001117 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001118 return &SPDie;
1119
Eugene Leviant7f78d472019-02-27 14:46:59 +00001120 static_cast<DwarfUnit *>(SPDie.getUnit())
1121 ->applySubprogramAttributes(SP, SPDie);
David Blaikie7f916862014-05-27 18:37:38 +00001122 return &SPDie;
1123}
1124
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001125bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001126 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001127 DIE *DeclDie = nullptr;
1128 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001129 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001130 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001131 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001132 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001133 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001134 // Look at the Decl's linkage name only if we emitted it.
1135 if (DD->useAllLinkageNames())
1136 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson612e89d2018-01-12 19:17:50 +00001137 unsigned DeclID = getOrCreateSourceID(SPDecl->getFile());
1138 unsigned DefID = getOrCreateSourceID(SP->getFile());
David Blaikiec9ad9192015-10-07 00:04:16 +00001139 if (DeclID != DefID)
1140 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1141
1142 if (SP->getLine() != SPDecl->getLine())
1143 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001144 }
Rafael Espindola79278362011-11-10 22:34:29 +00001145
Devang Patel89543712011-08-15 17:24:54 +00001146 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001147 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001148
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001149 // 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 +00001150 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001151 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1152 LinkageName == DeclLinkageName) &&
1153 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001154 if (DeclLinkageName.empty() &&
1155 // Always emit it for abstract subprograms.
1156 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001157 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001158
David Blaikie3a443c22014-11-04 22:12:25 +00001159 if (!DeclDie)
1160 return false;
1161
1162 // Refer to the function declaration where all the other attributes will be
1163 // found.
1164 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1165 return true;
1166}
1167
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001168void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001169 bool SkipSPAttributes) {
1170 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1171 // and its source location.
1172 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001173 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001174 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001175 if (applySubprogramDefinitionAttributes(SP, SPDie))
1176 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001177
Devang Patel89543712011-08-15 17:24:54 +00001178 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001179 if (!SP->getName().empty())
1180 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001181
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001182 if (!SkipSPSourceLocation)
1183 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001184
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001185 // Skip the rest of the attributes under -gmlt to save space.
1186 if (SkipSPAttributes)
1187 return;
Devang Patel89543712011-08-15 17:24:54 +00001188
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001189 // Add the prototype if we have a prototype and we have a C like
1190 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001191 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001192 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001193 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001194 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001195 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001196
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001197 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001198 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001199 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001200 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001201 CC = SPTy->getCC();
1202 }
1203
1204 // Add a DW_AT_calling_convention if this has an explicit convention.
1205 if (CC && CC != dwarf::DW_CC_normal)
1206 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001207
Eric Christopher691281b2013-10-21 17:48:51 +00001208 // Add a return type. If this is a type like a C/C++ void type we don't add a
1209 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001210 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001211 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001212 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001213
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001214 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001215 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001216 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001217 if (SP->getVirtualIndex() != -1u) {
1218 DIELoc *Block = getDIELoc();
1219 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1220 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1221 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1222 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001223 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001224 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001225 }
1226
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001227 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001228 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001229
Devang Patel89543712011-08-15 17:24:54 +00001230 // Add arguments. Do not add arguments for subprogram definition. They will
1231 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001232 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001233 }
1234
Adrian Prantl1d12b882017-04-26 22:56:44 +00001235 addThrownTypes(SPDie, SP->getThrownTypes());
1236
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001237 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001238 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001239
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001240 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001241 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001242
David Blaikiec53e18d2016-05-24 21:19:28 +00001243 if (DD->useAppleExtensionAttributes()) {
1244 if (SP->isOptimized())
1245 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001246
David Blaikiec53e18d2016-05-24 21:19:28 +00001247 if (unsigned isa = Asm->getISAEncoding())
1248 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1249 }
Devang Patel89543712011-08-15 17:24:54 +00001250
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001251 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001252 addFlag(SPDie, dwarf::DW_AT_reference);
1253
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001254 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001255 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1256
Adrian Prantlc19dee72016-08-17 16:02:43 +00001257 if (SP->isNoReturn())
1258 addFlag(SPDie, dwarf::DW_AT_noreturn);
1259
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001260 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001261 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1262 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001263 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001264 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1265 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001266 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001267 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1268 dwarf::DW_ACCESS_public);
1269
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001270 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001271 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001272
1273 if (SP->isMainSubprogram())
1274 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Adrian Prantle69917f2019-03-14 16:29:54 +00001275 if (SP->isPure())
1276 addFlag(SPDie, dwarf::DW_AT_pure);
1277 if (SP->isElemental())
1278 addFlag(SPDie, dwarf::DW_AT_elemental);
1279 if (SP->isRecursive())
1280 addFlag(SPDie, dwarf::DW_AT_recursive);
Devang Patel89543712011-08-15 17:24:54 +00001281}
1282
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001283void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001284 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001285 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001286 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001287
Bill Wendling28fe9e72012-12-06 07:38:10 +00001288 // The LowerBound value defines the lower bounds which is typically zero for
1289 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1290 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001291 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001292 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001293 int64_t DefaultLowerBound = getDefaultLowerBound();
Sander de Smalenfdf40912018-01-24 09:56:07 +00001294 int64_t Count = -1;
1295 if (auto *CI = SR->getCount().dyn_cast<ConstantInt*>())
1296 Count = CI->getSExtValue();
Devang Patel0e821f42011-04-12 23:21:44 +00001297
Bill Wendling3495f9b2012-12-06 07:55:19 +00001298 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001299 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001300
Sander de Smalendc00bec2018-01-24 13:35:54 +00001301 if (auto *CV = SR->getCount().dyn_cast<DIVariable*>()) {
Sander de Smalenbf83be92018-02-17 11:06:53 +00001302 if (auto *CountVarDIE = getDIE(CV))
1303 addDIEEntry(DW_Subrange, dwarf::DW_AT_count, *CountVarDIE);
Sander de Smalendc00bec2018-01-24 13:35:54 +00001304 } else if (Count != -1)
David Blaikie32b0f362014-10-01 00:56:55 +00001305 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001306}
1307
David Blaikie871c2d92014-11-02 03:09:13 +00001308DIE *DwarfUnit::getIndexTyDie() {
1309 if (IndexTyDie)
1310 return IndexTyDie;
1311 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001312 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
Pavel Labathb7243ed2018-04-10 14:23:41 +00001313 StringRef Name = "__ARRAY_SIZE_TYPE__";
1314 addString(*IndexTyDie, dwarf::DW_AT_name, Name);
David Blaikie871c2d92014-11-02 03:09:13 +00001315 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1316 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1317 dwarf::DW_ATE_unsigned);
David Blaikie66cf14d2018-08-16 21:29:55 +00001318 DD->addAccelType(*CUNode, Name, *IndexTyDie, /*Flags*/ 0);
David Blaikie871c2d92014-11-02 03:09:13 +00001319 return IndexTyDie;
1320}
1321
Matt Davis4c77cb72018-03-08 22:22:26 +00001322/// Returns true if the vector's size differs from the sum of sizes of elements
1323/// the user specified. This can occur if the vector has been rounded up to
1324/// fit memory alignment constraints.
1325static bool hasVectorBeenPadded(const DICompositeType *CTy) {
1326 assert(CTy && CTy->isVector() && "Composite type is not a vector");
1327 const uint64_t ActualSize = CTy->getSizeInBits();
1328
1329 // Obtain the size of each element in the vector.
1330 DIType *BaseTy = CTy->getBaseType().resolve();
1331 assert(BaseTy && "Unknown vector element type.");
1332 const uint64_t ElementSize = BaseTy->getSizeInBits();
1333
1334 // Locate the number of elements in the vector.
1335 const DINodeArray Elements = CTy->getElements();
1336 assert(Elements.size() == 1 &&
1337 Elements[0]->getTag() == dwarf::DW_TAG_subrange_type &&
1338 "Invalid vector element array, expected one element of type subrange");
1339 const auto Subrange = cast<DISubrange>(Elements[0]);
1340 const auto CI = Subrange->getCount().get<ConstantInt *>();
1341 const int32_t NumVecElements = CI->getSExtValue();
1342
1343 // Ensure we found the element count and that the actual size is wide
1344 // enough to contain the requested size.
1345 assert(ActualSize >= (NumVecElements * ElementSize) && "Invalid vector size");
1346 return ActualSize != (NumVecElements * ElementSize);
1347}
1348
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001349void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Matt Davis4c77cb72018-03-08 22:22:26 +00001350 if (CTy->isVector()) {
David Blaikie65a74662014-04-25 18:26:14 +00001351 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Matt Davis4c77cb72018-03-08 22:22:26 +00001352 if (hasVectorBeenPadded(CTy))
1353 addUInt(Buffer, dwarf::DW_AT_byte_size, None,
1354 CTy->getSizeInBits() / CHAR_BIT);
1355 }
Devang Patel0e821f42011-04-12 23:21:44 +00001356
Eric Christopher0df08e22013-08-08 07:40:37 +00001357 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001358 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001359
1360 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001361 // FIXME: This type should be passed down from the front end
1362 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001363 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001364
1365 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001366 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001367 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001368 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001369 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001370 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001371 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001372 }
1373}
1374
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001375void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001376 const DIType *DTy = resolve(CTy->getBaseType());
1377 bool IsUnsigned = DTy && isUnsignedDIType(DD, DTy);
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001378 if (DTy) {
1379 if (DD->getDwarfVersion() >= 3)
1380 addType(Buffer, DTy);
Paul Robinson7402fd92019-01-08 17:52:29 +00001381 if (DD->getDwarfVersion() >= 4 && (CTy->getFlags() & DINode::FlagEnumClass))
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001382 addFlag(Buffer, dwarf::DW_AT_enum_class);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001383 }
1384
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001385 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001386
1387 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001388 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001389 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001390 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001391 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001392 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001393 addString(Enumerator, dwarf::DW_AT_name, Name);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001394 auto Value = static_cast<uint64_t>(Enum->getValue());
1395 addConstantValue(Enumerator, IsUnsigned, Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001396 }
1397 }
Devang Patel0e821f42011-04-12 23:21:44 +00001398}
1399
Eric Christophera5a79422013-12-09 23:32:48 +00001400void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001401 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001402 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001403 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001404 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001405 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001406 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001407 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001408 if (!NDie)
1409 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001410 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001411 }
1412}
1413
Adrian Prantl8c599212018-02-06 23:45:59 +00001414DIE &DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001415 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1416 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001417 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001418 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001419
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001420 if (DIType *Resolved = resolve(DT->getBaseType()))
1421 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001422
1423 addSourceLine(MemberDie, DT);
1424
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001425 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001426
1427 // For C++, virtual base classes are not at fixed offset. Use following
1428 // expression to extract appropriate offset from vtable.
1429 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1430
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001431 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001432 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1433 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1434 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001435 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001436 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1437 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1438 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001439
David Blaikief2443192013-10-21 17:28:37 +00001440 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001441 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001442 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001443 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001444 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001445 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001446
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001447 bool IsBitfield = FieldSize && Size != FieldSize;
1448 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001449 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001450 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001451 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001452 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001453
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001454 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001455 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1456 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1457 // which can't be done with bitfields. Thus we use FieldSize here.
1458 uint32_t AlignInBits = FieldSize;
1459 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001460 // The bits from the start of the storage unit to the start of the field.
1461 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001462 // The byte offset of the field's aligned storage unit inside the struct.
1463 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001464
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001465 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001466 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1467 uint64_t FieldOffset = (HiMark - FieldSize);
1468 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001469
Adrian Prantle5447572016-04-28 15:37:52 +00001470 // Maybe we need to work from the other end.
1471 if (Asm->getDataLayout().isLittleEndian())
1472 Offset = FieldSize - (Offset + Size);
1473
1474 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1475 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001476 } else {
1477 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001478 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001479 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001480 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001481 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001482 if (AlignInBytes)
1483 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1484 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001485 }
David Blaikie2ada1162014-01-03 00:48:38 +00001486
David Blaikie22b29a52014-01-03 01:30:05 +00001487 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001488 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001489 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1490 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001491 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001492 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001493 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1494 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001495 }
Devang Patel0e821f42011-04-12 23:21:44 +00001496
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001497 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001498 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001499 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001500 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001501 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001502 dwarf::DW_ACCESS_private);
1503 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001504 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001505 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001506 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001507 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001508 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001509 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001510
1511 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001512 if (DINode *PNode = DT->getObjCProperty())
1513 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001514 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1515 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001516
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001517 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001518 addFlag(MemberDie, dwarf::DW_AT_artificial);
Adrian Prantl8c599212018-02-06 23:45:59 +00001519
1520 return MemberDie;
Devang Patel0e821f42011-04-12 23:21:44 +00001521}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001522
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001523DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001524 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001525 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001526
Manman Renc6b63922013-10-14 20:33:57 +00001527 // Construct the context before querying for the existence of the DIE in case
1528 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001529 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001530 assert(dwarf::isType(ContextDIE->getTag()) &&
1531 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001532
David Blaikie65a74662014-04-25 18:26:14 +00001533 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001534 return StaticMemberDIE;
1535
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001536 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001537
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001538 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001539
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001540 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001541 addType(StaticMemberDIE, Ty);
1542 addSourceLine(StaticMemberDIE, DT);
1543 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1544 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1545
1546 // FIXME: We could omit private if the parent is a class_type, and
1547 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001548 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001549 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1550 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001551 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001552 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1553 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001554 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001555 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1556 dwarf::DW_ACCESS_public);
1557
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001558 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001559 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001560 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001561 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001562
Victor Leschuka37660c2016-10-26 21:32:29 +00001563 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001564 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1565 AlignInBytes);
1566
David Blaikie65a74662014-04-25 18:26:14 +00001567 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001568}
David Blaikie6b288cf2013-10-30 20:42:41 +00001569
Paul Robinsoncddd6042017-02-28 20:24:55 +00001570void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001571 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001572 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikiec4e08fe2018-12-18 01:06:09 +00001573 if (!DD->useSectionsAsReferences()) {
1574 StringRef Prefix = isDwoUnit() ? "debug_info_dwo_" : "debug_info_";
1575 MCSymbol *BeginLabel = Asm->createTempSymbol(Prefix + "start");
1576 EndLabel = Asm->createTempSymbol(Prefix + "end");
1577 Asm->EmitLabelDifference(EndLabel, BeginLabel, 4);
1578 Asm->OutStreamer->EmitLabel(BeginLabel);
1579 } else
1580 Asm->emitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001581
Lang Hames9ff69c82015-04-24 19:11:51 +00001582 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001583 unsigned Version = DD->getDwarfVersion();
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001584 Asm->emitInt16(Version);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001585
1586 // DWARF v5 reorders the address size and adds a unit type.
1587 if (Version >= 5) {
1588 Asm->OutStreamer->AddComment("DWARF Unit Type");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001589 Asm->emitInt8(UT);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001590 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001591 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001592 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001593
David Blaikie6896e192013-12-04 23:39:02 +00001594 // We share one abbreviations table across all units so it's always at the
1595 // start of the section. Use a relocatable offset where needed to ensure
1596 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001597 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001598 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001599 if (UseOffsets)
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001600 Asm->emitInt32(0);
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001601 else
1602 Asm->emitDwarfSymbolReference(
1603 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001604
Paul Robinsoncddd6042017-02-28 20:24:55 +00001605 if (Version <= 4) {
1606 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001607 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001608 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001609}
David Blaikiebc563272013-12-13 21:33:40 +00001610
Rafael Espindola063d7252015-03-10 16:58:10 +00001611void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Fangrui Songf78650a2018-07-30 19:41:25 +00001612 DwarfUnit::emitCommonHeader(UseOffsets,
Paul Robinsoncddd6042017-02-28 20:24:55 +00001613 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1614 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001615 Asm->OutStreamer->AddComment("Type Signature");
1616 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1617 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001618 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001619 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1620 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001621}
1622
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001623DIE::value_iterator
1624DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1625 const MCSymbol *Hi, const MCSymbol *Lo) {
1626 return Die.addValue(DIEValueAllocator, Attribute,
1627 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1628 : dwarf::DW_FORM_data4,
1629 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1630}
1631
1632DIE::value_iterator
1633DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1634 const MCSymbol *Label, const MCSymbol *Sec) {
1635 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1636 return addLabel(Die, Attribute,
1637 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1638 : dwarf::DW_FORM_data4,
1639 Label);
1640 return addSectionDelta(Die, Attribute, Label, Sec);
1641}
1642
David Blaikiecafd9622014-11-02 08:51:37 +00001643bool DwarfTypeUnit::isDwoUnit() const {
1644 // Since there are no skeleton type units, all type units are dwo type units
1645 // when split DWARF is being used.
1646 return DD->useSplitDwarf();
1647}
David Blaikiea0e3c752017-02-03 00:44:18 +00001648
1649void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1650 const DIScope *Context) {
1651 getCU().addGlobalNameForTypeUnit(Name, Context);
1652}
1653
1654void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1655 const DIScope *Context) {
1656 getCU().addGlobalTypeUnitType(Ty, Context);
1657}
David Blaikie85366ac2017-04-22 07:53:44 +00001658
1659const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1660 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1661 return nullptr;
1662 if (isDwoUnit())
1663 return nullptr;
1664 return getSection()->getBeginSymbol();
1665}
Wolfgang Pieb456b5552018-01-26 18:52:58 +00001666
1667void DwarfUnit::addStringOffsetsStart() {
1668 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1669 addSectionLabel(getUnitDie(), dwarf::DW_AT_str_offsets_base,
1670 DU->getStringOffsetsStartSym(),
1671 TLOF.getDwarfStrOffSection()->getBeginSymbol());
1672}
Wolfgang Piebfcf38102018-07-12 18:18:21 +00001673
1674void DwarfUnit::addRnglistsBase() {
1675 assert(DD->getDwarfVersion() >= 5 &&
1676 "DW_AT_rnglists_base requires DWARF version 5 or later");
1677 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1678 addSectionLabel(getUnitDie(), dwarf::DW_AT_rnglists_base,
1679 DU->getRnglistsTableBaseSym(),
1680 TLOF.getDwarfRnglistsSection()->getBeginSymbol());
1681}
George Rimar425f7512018-09-20 09:17:36 +00001682
George Rimar088d96b2018-10-26 11:25:12 +00001683void DwarfUnit::addLoclistsBase() {
1684 assert(DD->getDwarfVersion() >= 5 &&
1685 "DW_AT_loclists_base requires DWARF version 5 or later");
1686 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1687 addSectionLabel(getUnitDie(), dwarf::DW_AT_loclists_base,
1688 DU->getLoclistsTableBaseSym(),
1689 TLOF.getDwarfLoclistsSection()->getBeginSymbol());
1690}