blob: 5d8e236a6b3683c9b9b45a145ec351e2391b0bd4 [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);
David Blaikief2443192013-10-21 17:28:37 +0000400 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
401 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000402}
403
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000404void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000405 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000406
Paul Robinson612e89d2018-01-12 19:17:50 +0000407 addSourceLine(Die, V->getLine(), V->getFile());
David Blaikie101613e2014-02-12 00:11:25 +0000408}
409
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000410void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000411 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000412
Paul Robinson612e89d2018-01-12 19:17:50 +0000413 addSourceLine(Die, G->getLine(), G->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000414}
415
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000416void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000417 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000418
Paul Robinson612e89d2018-01-12 19:17:50 +0000419 addSourceLine(Die, SP->getLine(), SP->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000420}
421
Hsiangkai Wang2532ac82018-08-17 15:22:04 +0000422void DwarfUnit::addSourceLine(DIE &Die, const DILabel *L) {
423 assert(L);
424
425 addSourceLine(Die, L->getLine(), L->getFile());
426}
427
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000428void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000429 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000430
Paul Robinson612e89d2018-01-12 19:17:50 +0000431 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Devang Patel0e821f42011-04-12 23:21:44 +0000432}
433
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000434void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000435 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000436
Paul Robinson612e89d2018-01-12 19:17:50 +0000437 addSourceLine(Die, Ty->getLine(), Ty->getFile());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000438}
439
Manman Renb3388602013-10-05 01:43:03 +0000440/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000441static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000442 if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
443 // FIXME: Enums without a fixed underlying type have unknown signedness
444 // here, leading to incorrectly emitted constants.
445 if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
446 return false;
447
448 // (Pieces of) aggregate types that get hacked apart by SROA may be
449 // represented by a constant. Encode them as unsigned bytes.
450 return true;
451 }
452
453 if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000454 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000455 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000456 // null pointer constant emission.
457 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
458 // here, but accept them for now due to a bug in SROA producing bogus
459 // dbg.values.
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000460 if (T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000461 T == dwarf::DW_TAG_ptr_to_member_type ||
462 T == dwarf::DW_TAG_reference_type ||
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000463 T == dwarf::DW_TAG_rvalue_reference_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000464 return true;
465 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
466 T == dwarf::DW_TAG_volatile_type ||
Victor Leschuke1156c22016-10-31 19:09:38 +0000467 T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
Duncan P. N. Exon Smith89c5e6ff2015-07-24 19:42:12 +0000468 DITypeRef Deriv = DTy->getBaseType();
469 assert(Deriv && "Expected valid base type");
470 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000471 }
Manman Renb3388602013-10-05 01:43:03 +0000472
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000473 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000474 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000475 assert((Encoding == dwarf::DW_ATE_unsigned ||
476 Encoding == dwarf::DW_ATE_unsigned_char ||
477 Encoding == dwarf::DW_ATE_signed ||
478 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000479 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
480 Encoding == dwarf::DW_ATE_boolean ||
481 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
482 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000483 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000484 return Encoding == dwarf::DW_ATE_unsigned ||
485 Encoding == dwarf::DW_ATE_unsigned_char ||
486 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
487 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000488}
489
David Blaikie65a74662014-04-25 18:26:14 +0000490void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000491 assert(MO.isFPImm() && "Invalid machine operand!");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000492 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000493 APFloat FPImm = MO.getFPImm()->getValueAPF();
494
495 // Get the raw data form of the floating point.
496 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000497 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000498
499 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000500 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000501 int Incr = (LittleEndian ? 1 : -1);
502 int Start = (LittleEndian ? 0 : NumBytes - 1);
503 int Stop = (LittleEndian ? NumBytes : -1);
504
505 // Output the constant to DWARF one byte at a time.
506 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000507 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000508
David Blaikief2443192013-10-21 17:28:37 +0000509 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000510}
511
David Blaikie65a74662014-04-25 18:26:14 +0000512void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000513 // Pass this down to addConstantValue as an unsigned bag of bits.
514 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000515}
516
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000517void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000518 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000519 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000520}
521
David Blaikiec05c8f42014-05-11 15:47:39 +0000522void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000523 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000524 assert(MO.isImm() && "Invalid machine operand!");
525
David Blaikie60cae1b2014-05-11 16:08:41 +0000526 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000527}
528
David Blaikie60cae1b2014-05-11 16:08:41 +0000529void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000530 // FIXME: This is a bit conservative/simple - it emits negative values always
531 // sign extended to 64 bits rather than minimizing the number of bytes.
532 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000533 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000534}
535
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000536void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000537 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
538}
539
David Blaikie65a74662014-04-25 18:26:14 +0000540void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000541 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000542 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000543 addConstantValue(Die, Unsigned,
544 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000545 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000546 }
547
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000548 DIEBlock *Block = new (DIEValueAllocator) DIEBlock;
Devang Patel0e821f42011-04-12 23:21:44 +0000549
550 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000551 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000552
553 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000554 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000555
556 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000557 for (int i = 0; i < NumBytes; i++) {
558 uint8_t c;
559 if (LittleEndian)
560 c = Ptr64[i / 8] >> (8 * (i & 7));
561 else
562 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000563 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000564 }
Devang Patel0e821f42011-04-12 23:21:44 +0000565
David Blaikief2443192013-10-21 17:28:37 +0000566 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000567}
568
Paul Robinson857b4432015-03-10 22:44:45 +0000569void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
Paul Robinson43d1e452016-04-18 22:41:41 +0000570 if (!LinkageName.empty())
Paul Robinson857b4432015-03-10 22:44:45 +0000571 addString(Die,
572 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
573 : dwarf::DW_AT_MIPS_linkage_name,
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000574 GlobalValue::dropLLVMManglingEscape(LinkageName));
Paul Robinson857b4432015-03-10 22:44:45 +0000575}
576
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000577void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000578 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000579 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000580 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000581 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000582 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000583 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000584 }
Devang Patel0e821f42011-04-12 23:21:44 +0000585}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000586
Adrian Prantl1d12b882017-04-26 22:56:44 +0000587/// Add thrown types.
588void DwarfUnit::addThrownTypes(DIE &Die, DINodeArray ThrownTypes) {
589 for (const auto *Ty : ThrownTypes) {
590 DIE &TT = createAndAddDIE(dwarf::DW_TAG_thrown_type, Die);
591 addType(TT, cast<DIType>(Ty));
592 }
593}
594
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000595DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
596 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000597 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000598 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000599 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000600 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000601 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000602 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000603 return getOrCreateSubprogramDIE(SP);
Adrian Prantld2095002015-09-10 17:13:58 +0000604 if (auto *M = dyn_cast<DIModule>(Context))
605 return getOrCreateModule(M);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000606 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000607}
608
David Blaikiea0e3c752017-02-03 00:44:18 +0000609DIE *DwarfTypeUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000610 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000611 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000612
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000613 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000614 return TyDIE;
615
616 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000617 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000618
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000619 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000620
Adrian Prantl19aadf52017-03-13 22:56:14 +0000621 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000622 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000623}
624
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000625DIE *DwarfUnit::createTypeDIE(const DIScope *Context, DIE &ContextDIE,
626 const DIType *Ty) {
627 // Create new type.
628 DIE &TyDIE = createAndAddDIE(Ty->getTag(), ContextDIE, Ty);
629
630 updateAcceleratorTables(Context, Ty, TyDIE);
631
632 if (auto *BT = dyn_cast<DIBasicType>(Ty))
633 constructTypeDIE(TyDIE, BT);
634 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
635 constructTypeDIE(TyDIE, STy);
636 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
637 if (DD->generateTypeUnits() && !Ty->isForwardDecl())
638 if (MDString *TypeId = CTy->getRawIdentifier()) {
639 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
640 // Skip updating the accelerator tables since this is not the full type.
641 return &TyDIE;
642 }
643 constructTypeDIE(TyDIE, CTy);
644 } else {
645 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
646 }
647
648 return &TyDIE;
649}
650
David Blaikied51dea62015-07-01 18:07:16 +0000651DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000652 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000653 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000654
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000655 auto *Ty = cast<DIType>(TyNode);
David Blaikie32887552013-11-14 22:25:02 +0000656
David Blaikieee11f222014-04-12 05:35:59 +0000657 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000658 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
David Blaikied51dea62015-07-01 18:07:16 +0000659 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000660
Victor Leschuke1156c22016-10-31 19:09:38 +0000661 // DW_TAG_atomic_type is not supported in DWARF < 5
662 if (Ty->getTag() == dwarf::DW_TAG_atomic_type && DD->getDwarfVersion() < 5)
663 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
664
Manman Renf4c339e2013-10-29 22:49:29 +0000665 // Construct the context before querying for the existence of the DIE in case
666 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000667 auto *Context = resolve(Ty->getScope());
Amjad Aboud72da9392016-04-30 01:44:07 +0000668 DIE *ContextDIE = getOrCreateContextDIE(Context);
669 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000670
David Blaikie65a74662014-04-25 18:26:14 +0000671 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000672 return TyDIE;
673
Eugene Leviantdaea28a2019-03-04 07:15:36 +0000674 return static_cast<DwarfUnit *>(ContextDIE->getUnit())
675 ->createTypeDIE(Context, *ContextDIE, Ty);
David Blaikie2ea848b2013-11-19 22:51:04 +0000676}
677
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000678void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
679 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000680 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eugene Zelenko1804a772016-08-25 00:45:04 +0000681 bool IsImplementation = false;
Duncan P. N. Exon Smithacd8cf82015-07-24 20:45:26 +0000682 if (auto *CT = dyn_cast<DICompositeType>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000683 // A runtime language of 0 actually means C/C++ and that any
684 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000685 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000686 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000687 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
David Blaikie66cf14d2018-08-16 21:29:55 +0000688 DD->addAccelType(*CUNode, Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000689
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000690 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
691 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000692 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000693 }
Devang Patel0e821f42011-04-12 23:21:44 +0000694}
695
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000696void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000697 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000698 assert(Ty && "Trying to add a type that doesn't exist?");
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000699 addDIEEntry(Entity, Attribute, DIEEntry(*getOrCreateTypeDIE(Ty)));
Devang Patel1cb8ab42011-05-31 23:30:30 +0000700}
701
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000702std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000703 if (!Context)
704 return "";
705
706 // FIXME: Decide whether to implement this for non-C++ languages.
707 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
708 return "";
709
Eric Christopher8dba0d52013-10-19 01:04:42 +0000710 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000711 SmallVector<const DIScope *, 1> Parents;
712 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000713 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000714 if (Context->getScope())
715 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000716 else
717 // Structure, etc types will have a NULL context if they're at the top
718 // level.
719 break;
720 }
721
722 // Reverse iterate over our list to go from the outermost construct to the
723 // innermost.
Pete Cooper7679afd2015-07-24 21:13:43 +0000724 for (const DIScope *Ctx : make_range(Parents.rbegin(), Parents.rend())) {
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000725 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000726 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000727 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000728 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000729 CS += Name;
730 CS += "::";
731 }
732 }
733 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000734}
735
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000736void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000737 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000738 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000739 // Add name if not anonymous or intermediate type.
740 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000741 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000742
David Blaikiefac56122013-10-04 23:21:16 +0000743 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000744 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000745 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000746
David Blaikie65a74662014-04-25 18:26:14 +0000747 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000748 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000749
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000750 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000751 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Adrian Prantl55f42622018-08-14 19:35:34 +0000752
753 if (BTy->isBigEndian())
754 addUInt(Buffer, dwarf::DW_AT_endianity, None, dwarf::DW_END_big);
755 else if (BTy->isLittleEndian())
756 addUInt(Buffer, dwarf::DW_AT_endianity, None, dwarf::DW_END_little);
Devang Patel0e821f42011-04-12 23:21:44 +0000757}
758
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000759void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000760 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000761 StringRef Name = DTy->getName();
762 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000763 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000764
765 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000766 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000767 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000768 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000769
770 // Add name if not anonymous or intermediate type.
771 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000772 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000773
774 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000775 if (Size && Tag != dwarf::DW_TAG_pointer_type
Keno Fischerb011c632015-11-16 07:57:32 +0000776 && Tag != dwarf::DW_TAG_ptr_to_member_type
777 && Tag != dwarf::DW_TAG_reference_type
778 && Tag != dwarf::DW_TAG_rvalue_reference_type)
David Blaikie65a74662014-04-25 18:26:14 +0000779 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000780
David Blaikie5d3249b2013-01-07 05:51:15 +0000781 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000782 addDIEEntry(
783 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000784 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000785 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000786 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000787 addSourceLine(Buffer, DTy);
Konstantin Zhuravlyovd5561e02017-03-08 23:55:44 +0000788
789 // If DWARF address space value is other than None, add it for pointer and
790 // reference types as DW_AT_address_class.
791 if (DTy->getDWARFAddressSpace() && (Tag == dwarf::DW_TAG_pointer_type ||
792 Tag == dwarf::DW_TAG_reference_type))
793 addUInt(Buffer, dwarf::DW_AT_address_class, dwarf::DW_FORM_data4,
794 DTy->getDWARFAddressSpace().getValue());
Devang Patel0e821f42011-04-12 23:21:44 +0000795}
796
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000797void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000798 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000799 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000800 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000801 assert(i == N-1 && "Unspecified parameter must be the last argument");
802 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
803 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000804 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000805 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000806 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000807 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000808 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000809 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000810}
811
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000812void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000813 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000814 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000815 if (Elements.size())
816 if (auto RTy = resolve(Elements[0]))
817 addType(Buffer, RTy);
818
819 bool isPrototyped = true;
820 if (Elements.size() == 2 && !Elements[1])
821 isPrototyped = false;
822
823 constructSubprogramArguments(Buffer, Elements);
824
825 // Add prototype flag if we're dealing with a C language and the function has
826 // been prototyped.
827 uint16_t Language = getLanguage();
828 if (isPrototyped &&
829 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
830 Language == dwarf::DW_LANG_ObjC))
831 addFlag(Buffer, dwarf::DW_AT_prototyped);
832
Reid Klecknerde3d8b52016-06-08 20:34:29 +0000833 // Add a DW_AT_calling_convention if this has an explicit convention.
834 if (CTy->getCC() && CTy->getCC() != dwarf::DW_CC_normal)
835 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
836 CTy->getCC());
837
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000838 if (CTy->isLValueReference())
839 addFlag(Buffer, dwarf::DW_AT_reference);
840
841 if (CTy->isRValueReference())
842 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
843}
844
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000845void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000846 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000847 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000848
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000849 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000850 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000851
852 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000853 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000854 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000855 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000856 case dwarf::DW_TAG_enumeration_type:
857 constructEnumTypeDIE(Buffer, CTy);
858 break;
Adrian Prantl8c599212018-02-06 23:45:59 +0000859 case dwarf::DW_TAG_variant_part:
Devang Patel0e821f42011-04-12 23:21:44 +0000860 case dwarf::DW_TAG_structure_type:
861 case dwarf::DW_TAG_union_type:
862 case dwarf::DW_TAG_class_type: {
Adrian Prantl8c599212018-02-06 23:45:59 +0000863 // Emit the discriminator for a variant part.
864 DIDerivedType *Discriminator = nullptr;
865 if (Tag == dwarf::DW_TAG_variant_part) {
866 Discriminator = CTy->getDiscriminator();
867 if (Discriminator) {
868 // DWARF says:
869 // If the variant part has a discriminant, the discriminant is
870 // represented by a separate debugging information entry which is
871 // a child of the variant part entry.
872 DIE &DiscMember = constructMemberDIE(Buffer, Discriminator);
873 addDIEEntry(Buffer, dwarf::DW_AT_discr, DiscMember);
874 }
875 }
876
Devang Patel0e821f42011-04-12 23:21:44 +0000877 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000878 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000879 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000880 if (!Element)
881 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000882 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000883 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000884 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000885 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000886 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000887 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
888 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000889 getOrCreateStaticMemberDIE(DDTy);
Adrian Prantl8c599212018-02-06 23:45:59 +0000890 } else if (Tag == dwarf::DW_TAG_variant_part) {
891 // When emitting a variant part, wrap each member in
892 // DW_TAG_variant.
893 DIE &Variant = createAndAddDIE(dwarf::DW_TAG_variant, Buffer);
894 if (const ConstantInt *CI =
895 dyn_cast_or_null<ConstantInt>(DDTy->getDiscriminantValue())) {
896 if (isUnsignedDIType(DD, resolve(Discriminator->getBaseType())))
897 addUInt(Variant, dwarf::DW_AT_discr_value, None, CI->getZExtValue());
898 else
899 addSInt(Variant, dwarf::DW_AT_discr_value, None, CI->getSExtValue());
900 }
901 constructMemberDIE(Variant, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000902 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000903 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000904 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000905 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000906 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
907 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000908 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000909 if (Property->getType())
Adrian Prantl8ff53b32015-06-15 23:18:03 +0000910 addType(ElemDie, resolve(Property->getType()));
Eric Christopherd42b92f2012-05-22 18:45:24 +0000911 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000912 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000913 if (!GetterName.empty())
914 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000915 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000916 if (!SetterName.empty())
917 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000918 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000919 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000920 PropertyAttributes);
Adrian Prantl8c599212018-02-06 23:45:59 +0000921 } else if (auto *Composite = dyn_cast<DICompositeType>(Element)) {
922 if (Composite->getTag() == dwarf::DW_TAG_variant_part) {
923 DIE &VariantPart = createAndAddDIE(Composite->getTag(), Buffer);
924 constructTypeDIE(VariantPart, Composite);
925 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000926 }
Devang Patel0e821f42011-04-12 23:21:44 +0000927 }
928
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000929 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +0000930 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +0000931
Adrian Prantlcf44e782014-12-19 00:01:20 +0000932 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
933 // inside C++ composite types to point to the base class with the vtable.
Adrian Prantla8e56452017-11-08 22:04:43 +0000934 // Rust uses DW_AT_containing_type to link a vtable to the type
935 // for which it was created.
936 if (auto *ContainingType = resolve(CTy->getVTableHolder()))
David Blaikie65a74662014-04-25 18:26:14 +0000937 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000938 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +0000939
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000940 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +0000941 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +0000942
Eric Christopherda011dd2011-12-16 23:42:42 +0000943 // Add template parameters to a class, structure or union types.
944 // FIXME: The support isn't in the metadata for this yet.
945 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000946 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000947 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +0000948
Adrian Prantla29aac72018-01-05 01:13:37 +0000949 // Add the type's non-standard calling convention.
950 uint8_t CC = 0;
951 if (CTy->isTypePassByValue())
952 CC = dwarf::DW_CC_pass_by_value;
953 else if (CTy->isTypePassByReference())
954 CC = dwarf::DW_CC_pass_by_reference;
955 if (CC)
956 addUInt(Buffer, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1,
957 CC);
Devang Patel0e821f42011-04-12 23:21:44 +0000958 break;
959 }
960 default:
961 break;
962 }
963
964 // Add name if not anonymous or intermediate type.
965 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000966 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000967
Eric Christopher775cbd22012-05-22 18:45:18 +0000968 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +0000969 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +0000970 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +0000971 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +0000972 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +0000973 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +0000974 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000975 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +0000976 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +0000977 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +0000978
979 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000980 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000981 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +0000982
983 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000984 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000985 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000986
987 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000988 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +0000989 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +0000990 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +0000991 RLang);
Victor Leschuk3c989982016-10-26 11:59:03 +0000992
993 // Add align info if available.
Victor Leschuka37660c2016-10-26 21:32:29 +0000994 if (uint32_t AlignInBytes = CTy->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +0000995 addUInt(Buffer, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
996 AlignInBytes);
Devang Patel0e821f42011-04-12 23:21:44 +0000997 }
998}
999
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001000void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001001 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001002 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001003 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001004 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001005 if (TP->getType())
1006 addType(ParamDIE, resolve(TP->getType()));
1007 if (!TP->getName().empty())
1008 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001009}
1010
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001011void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001012 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001013 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001014
1015 // Add the type if there is one, template template and template parameter
1016 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001017 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1018 addType(ParamDIE, resolve(VP->getType()));
1019 if (!VP->getName().empty())
1020 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1021 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001022 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001023 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001024 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Majnemer28c36462016-07-09 20:47:48 +00001025 // We cannot describe the location of dllimport'd entities: the
1026 // computation of their address requires loads from the IAT.
1027 if (!GV->hasDLLImportStorageClass()) {
1028 // For declaration non-type template parameters (such as global values
1029 // and functions)
1030 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1031 addOpAddress(*Loc, Asm->getSymbol(GV));
1032 // Emit DW_OP_stack_value to use the address as the immediate value of
1033 // the parameter, rather than a pointer to it.
1034 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1035 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
1036 }
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001037 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001038 assert(isa<MDString>(Val));
1039 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1040 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001041 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001042 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001043 }
1044 }
Devang Patel0e821f42011-04-12 23:21:44 +00001045}
1046
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001047DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001048 // Construct the context before querying for the existence of the DIE in case
1049 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001050 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001051
David Blaikie65a74662014-04-25 18:26:14 +00001052 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001053 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001054 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001055
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001056 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001057 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001058 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001059 else
1060 Name = "(anonymous namespace)";
David Blaikie66cf14d2018-08-16 21:29:55 +00001061 DD->addAccelNamespace(*CUNode, Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001062 addGlobalName(Name, NDie, NS->getScope());
Adrian Prantldbfda632016-11-03 19:42:02 +00001063 if (NS->getExportSymbols())
1064 addFlag(NDie, dwarf::DW_AT_export_symbols);
David Blaikie65a74662014-04-25 18:26:14 +00001065 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001066}
1067
Adrian Prantl08a388b2015-06-30 02:13:04 +00001068DIE *DwarfUnit::getOrCreateModule(const DIModule *M) {
1069 // Construct the context before querying for the existence of the DIE in case
1070 // such construction creates the DIE.
1071 DIE *ContextDIE = getOrCreateContextDIE(M->getScope());
1072
1073 if (DIE *MDie = getDIE(M))
1074 return MDie;
1075 DIE &MDie = createAndAddDIE(dwarf::DW_TAG_module, *ContextDIE, M);
1076
1077 if (!M->getName().empty()) {
1078 addString(MDie, dwarf::DW_AT_name, M->getName());
1079 addGlobalName(M->getName(), MDie, M->getScope());
1080 }
1081 if (!M->getConfigurationMacros().empty())
1082 addString(MDie, dwarf::DW_AT_LLVM_config_macros,
1083 M->getConfigurationMacros());
1084 if (!M->getIncludePath().empty())
1085 addString(MDie, dwarf::DW_AT_LLVM_include_path, M->getIncludePath());
1086 if (!M->getISysRoot().empty())
1087 addString(MDie, dwarf::DW_AT_LLVM_isysroot, M->getISysRoot());
Fangrui Songf78650a2018-07-30 19:41:25 +00001088
Adrian Prantl08a388b2015-06-30 02:13:04 +00001089 return &MDie;
1090}
1091
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001092DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001093 // Construct the context before querying for the existence of the DIE in case
1094 // such construction creates the DIE (as is the case for member function
1095 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001096 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001097 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001098
David Blaikie65a74662014-04-25 18:26:14 +00001099 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001100 return SPDie;
1101
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001102 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001103 if (!Minimal) {
1104 // Add subprogram definitions to the CU die directly.
1105 ContextDIE = &getUnitDie();
1106 // Build the decl now to ensure it precedes the definition.
1107 getOrCreateSubprogramDIE(SPDecl);
1108 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001109 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001110
1111 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001112 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001113
David Blaikie6cfa9e12014-06-05 00:25:26 +00001114 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001115 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001116 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001117 return &SPDie;
1118
Eugene Leviant7f78d472019-02-27 14:46:59 +00001119 static_cast<DwarfUnit *>(SPDie.getUnit())
1120 ->applySubprogramAttributes(SP, SPDie);
David Blaikie7f916862014-05-27 18:37:38 +00001121 return &SPDie;
1122}
1123
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001124bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001125 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001126 DIE *DeclDie = nullptr;
1127 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001128 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001129 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001130 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001131 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001132 "getOrCreateSubprogramDIE");
Paul Robinsondad49072016-12-02 01:55:17 +00001133 // Look at the Decl's linkage name only if we emitted it.
1134 if (DD->useAllLinkageNames())
1135 DeclLinkageName = SPDecl->getLinkageName();
Paul Robinson612e89d2018-01-12 19:17:50 +00001136 unsigned DeclID = getOrCreateSourceID(SPDecl->getFile());
1137 unsigned DefID = getOrCreateSourceID(SP->getFile());
David Blaikiec9ad9192015-10-07 00:04:16 +00001138 if (DeclID != DefID)
1139 addUInt(SPDie, dwarf::DW_AT_decl_file, None, DefID);
1140
1141 if (SP->getLine() != SPDecl->getLine())
1142 addUInt(SPDie, dwarf::DW_AT_decl_line, None, SP->getLine());
David Blaikie7f916862014-05-27 18:37:38 +00001143 }
Rafael Espindola79278362011-11-10 22:34:29 +00001144
Devang Patel89543712011-08-15 17:24:54 +00001145 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001146 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001147
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001148 // 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 +00001149 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001150 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1151 LinkageName == DeclLinkageName) &&
1152 "decl has a linkage name and it is different");
Paul Robinson43d1e452016-04-18 22:41:41 +00001153 if (DeclLinkageName.empty() &&
1154 // Always emit it for abstract subprograms.
1155 (DD->useAllLinkageNames() || DU->getAbstractSPDies().lookup(SP)))
Paul Robinson857b4432015-03-10 22:44:45 +00001156 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001157
David Blaikie3a443c22014-11-04 22:12:25 +00001158 if (!DeclDie)
1159 return false;
1160
1161 // Refer to the function declaration where all the other attributes will be
1162 // found.
1163 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1164 return true;
1165}
1166
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001167void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001168 bool SkipSPAttributes) {
1169 // If -fdebug-info-for-profiling is enabled, need to emit the subprogram
1170 // and its source location.
1171 bool SkipSPSourceLocation = SkipSPAttributes &&
Dehao Chen0944a8c2017-02-01 22:45:09 +00001172 !CUNode->getDebugInfoForProfiling();
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001173 if (!SkipSPSourceLocation)
David Blaikie3a443c22014-11-04 22:12:25 +00001174 if (applySubprogramDefinitionAttributes(SP, SPDie))
1175 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001176
Devang Patel89543712011-08-15 17:24:54 +00001177 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001178 if (!SP->getName().empty())
1179 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001180
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001181 if (!SkipSPSourceLocation)
1182 addSourceLine(SPDie, SP);
David Blaikie73b65d22014-09-19 04:30:36 +00001183
Dehao Chen1ce8d6c2017-01-19 00:44:11 +00001184 // Skip the rest of the attributes under -gmlt to save space.
1185 if (SkipSPAttributes)
1186 return;
Devang Patel89543712011-08-15 17:24:54 +00001187
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001188 // Add the prototype if we have a prototype and we have a C like
1189 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001190 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001191 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001192 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001193 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001194 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001195
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001196 unsigned CC = 0;
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001197 DITypeRefArray Args;
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001198 if (const DISubroutineType *SPTy = SP->getType()) {
Duncan P. N. Exon Smith0660bcd2015-08-28 21:38:24 +00001199 Args = SPTy->getTypeArray();
Reid Klecknerde3d8b52016-06-08 20:34:29 +00001200 CC = SPTy->getCC();
1201 }
1202
1203 // Add a DW_AT_calling_convention if this has an explicit convention.
1204 if (CC && CC != dwarf::DW_CC_normal)
1205 addUInt(SPDie, dwarf::DW_AT_calling_convention, dwarf::DW_FORM_data1, CC);
Devang Patel89543712011-08-15 17:24:54 +00001206
Eric Christopher691281b2013-10-21 17:48:51 +00001207 // Add a return type. If this is a type like a C/C++ void type we don't add a
1208 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001209 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001210 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001211 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001212
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001213 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001214 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001215 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Peter Collingbournea1f86252016-03-17 23:58:03 +00001216 if (SP->getVirtualIndex() != -1u) {
1217 DIELoc *Block = getDIELoc();
1218 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1219 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
1220 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
1221 }
Eric Christopher98b7f172013-11-11 18:52:36 +00001222 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001223 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001224 }
1225
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001226 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001227 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001228
Devang Patel89543712011-08-15 17:24:54 +00001229 // Add arguments. Do not add arguments for subprogram definition. They will
1230 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001231 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001232 }
1233
Adrian Prantl1d12b882017-04-26 22:56:44 +00001234 addThrownTypes(SPDie, SP->getThrownTypes());
1235
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001236 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001237 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001238
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001239 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001240 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001241
David Blaikiec53e18d2016-05-24 21:19:28 +00001242 if (DD->useAppleExtensionAttributes()) {
1243 if (SP->isOptimized())
1244 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001245
David Blaikiec53e18d2016-05-24 21:19:28 +00001246 if (unsigned isa = Asm->getISAEncoding())
1247 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1248 }
Devang Patel89543712011-08-15 17:24:54 +00001249
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001250 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001251 addFlag(SPDie, dwarf::DW_AT_reference);
1252
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001253 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001254 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1255
Adrian Prantlc19dee72016-08-17 16:02:43 +00001256 if (SP->isNoReturn())
1257 addFlag(SPDie, dwarf::DW_AT_noreturn);
1258
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001259 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001260 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1261 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001262 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001263 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1264 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001265 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001266 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1267 dwarf::DW_ACCESS_public);
1268
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001269 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001270 addFlag(SPDie, dwarf::DW_AT_explicit);
David Blaikiece3c8ef2016-11-28 21:32:19 +00001271
1272 if (SP->isMainSubprogram())
1273 addFlag(SPDie, dwarf::DW_AT_main_subprogram);
Adrian Prantle69917f2019-03-14 16:29:54 +00001274 if (SP->isPure())
1275 addFlag(SPDie, dwarf::DW_AT_pure);
1276 if (SP->isElemental())
1277 addFlag(SPDie, dwarf::DW_AT_elemental);
1278 if (SP->isRecursive())
1279 addFlag(SPDie, dwarf::DW_AT_recursive);
Devang Patel89543712011-08-15 17:24:54 +00001280}
1281
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001282void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001283 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001284 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001285 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001286
Bill Wendling28fe9e72012-12-06 07:38:10 +00001287 // The LowerBound value defines the lower bounds which is typically zero for
1288 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1289 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001290 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001291 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001292 int64_t DefaultLowerBound = getDefaultLowerBound();
Sander de Smalenfdf40912018-01-24 09:56:07 +00001293 int64_t Count = -1;
1294 if (auto *CI = SR->getCount().dyn_cast<ConstantInt*>())
1295 Count = CI->getSExtValue();
Devang Patel0e821f42011-04-12 23:21:44 +00001296
Bill Wendling3495f9b2012-12-06 07:55:19 +00001297 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001298 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001299
Sander de Smalendc00bec2018-01-24 13:35:54 +00001300 if (auto *CV = SR->getCount().dyn_cast<DIVariable*>()) {
Sander de Smalenbf83be92018-02-17 11:06:53 +00001301 if (auto *CountVarDIE = getDIE(CV))
1302 addDIEEntry(DW_Subrange, dwarf::DW_AT_count, *CountVarDIE);
Sander de Smalendc00bec2018-01-24 13:35:54 +00001303 } else if (Count != -1)
David Blaikie32b0f362014-10-01 00:56:55 +00001304 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001305}
1306
David Blaikie871c2d92014-11-02 03:09:13 +00001307DIE *DwarfUnit::getIndexTyDie() {
1308 if (IndexTyDie)
1309 return IndexTyDie;
1310 // Construct an integer type to use for indexes.
Greg Clayton35630c32016-12-01 18:56:29 +00001311 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, getUnitDie());
Pavel Labathb7243ed2018-04-10 14:23:41 +00001312 StringRef Name = "__ARRAY_SIZE_TYPE__";
1313 addString(*IndexTyDie, dwarf::DW_AT_name, Name);
David Blaikie871c2d92014-11-02 03:09:13 +00001314 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1315 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1316 dwarf::DW_ATE_unsigned);
David Blaikie66cf14d2018-08-16 21:29:55 +00001317 DD->addAccelType(*CUNode, Name, *IndexTyDie, /*Flags*/ 0);
David Blaikie871c2d92014-11-02 03:09:13 +00001318 return IndexTyDie;
1319}
1320
Matt Davis4c77cb72018-03-08 22:22:26 +00001321/// Returns true if the vector's size differs from the sum of sizes of elements
1322/// the user specified. This can occur if the vector has been rounded up to
1323/// fit memory alignment constraints.
1324static bool hasVectorBeenPadded(const DICompositeType *CTy) {
1325 assert(CTy && CTy->isVector() && "Composite type is not a vector");
1326 const uint64_t ActualSize = CTy->getSizeInBits();
1327
1328 // Obtain the size of each element in the vector.
1329 DIType *BaseTy = CTy->getBaseType().resolve();
1330 assert(BaseTy && "Unknown vector element type.");
1331 const uint64_t ElementSize = BaseTy->getSizeInBits();
1332
1333 // Locate the number of elements in the vector.
1334 const DINodeArray Elements = CTy->getElements();
1335 assert(Elements.size() == 1 &&
1336 Elements[0]->getTag() == dwarf::DW_TAG_subrange_type &&
1337 "Invalid vector element array, expected one element of type subrange");
1338 const auto Subrange = cast<DISubrange>(Elements[0]);
1339 const auto CI = Subrange->getCount().get<ConstantInt *>();
1340 const int32_t NumVecElements = CI->getSExtValue();
1341
1342 // Ensure we found the element count and that the actual size is wide
1343 // enough to contain the requested size.
1344 assert(ActualSize >= (NumVecElements * ElementSize) && "Invalid vector size");
1345 return ActualSize != (NumVecElements * ElementSize);
1346}
1347
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001348void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Matt Davis4c77cb72018-03-08 22:22:26 +00001349 if (CTy->isVector()) {
David Blaikie65a74662014-04-25 18:26:14 +00001350 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Matt Davis4c77cb72018-03-08 22:22:26 +00001351 if (hasVectorBeenPadded(CTy))
1352 addUInt(Buffer, dwarf::DW_AT_byte_size, None,
1353 CTy->getSizeInBits() / CHAR_BIT);
1354 }
Devang Patel0e821f42011-04-12 23:21:44 +00001355
Eric Christopher0df08e22013-08-08 07:40:37 +00001356 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001357 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001358
1359 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001360 // FIXME: This type should be passed down from the front end
1361 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001362 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001363
1364 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001365 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001366 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001367 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001368 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001369 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001370 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001371 }
1372}
1373
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001374void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001375 const DIType *DTy = resolve(CTy->getBaseType());
1376 bool IsUnsigned = DTy && isUnsignedDIType(DD, DTy);
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001377 if (DTy) {
1378 if (DD->getDwarfVersion() >= 3)
1379 addType(Buffer, DTy);
Paul Robinson7402fd92019-01-08 17:52:29 +00001380 if (DD->getDwarfVersion() >= 4 && (CTy->getFlags() & DINode::FlagEnumClass))
Momchil Velikov6acc0e52018-02-15 13:29:33 +00001381 addFlag(Buffer, dwarf::DW_AT_enum_class);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001382 }
1383
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001384 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001385
1386 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001387 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001388 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001389 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001390 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001391 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001392 addString(Enumerator, dwarf::DW_AT_name, Name);
Momchil Velikov08dc66e2018-02-12 16:10:09 +00001393 auto Value = static_cast<uint64_t>(Enum->getValue());
1394 addConstantValue(Enumerator, IsUnsigned, Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001395 }
1396 }
Devang Patel0e821f42011-04-12 23:21:44 +00001397}
1398
Eric Christophera5a79422013-12-09 23:32:48 +00001399void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001400 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001401 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001402 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001403 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001404 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001405 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001406 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001407 if (!NDie)
1408 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001409 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001410 }
1411}
1412
Adrian Prantl8c599212018-02-06 23:45:59 +00001413DIE &DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001414 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1415 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001416 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001417 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001418
Adrian McCarthy74bfafa2018-01-05 23:01:04 +00001419 if (DIType *Resolved = resolve(DT->getBaseType()))
1420 addType(MemberDie, Resolved);
Devang Patel0e821f42011-04-12 23:21:44 +00001421
1422 addSourceLine(MemberDie, DT);
1423
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001424 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001425
1426 // For C++, virtual base classes are not at fixed offset. Use following
1427 // expression to extract appropriate offset from vtable.
1428 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1429
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001430 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001431 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1432 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1433 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001434 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001435 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1436 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1437 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001438
David Blaikief2443192013-10-21 17:28:37 +00001439 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001440 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001441 uint64_t Size = DT->getSizeInBits();
Amjad Aboudacee5682016-07-12 12:06:34 +00001442 uint64_t FieldSize = DD->getBaseTypeSize(DT);
Victor Leschuka37660c2016-10-26 21:32:29 +00001443 uint32_t AlignInBytes = DT->getAlignInBytes();
David Blaikie71d34a22013-11-01 00:25:45 +00001444 uint64_t OffsetInBytes;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001445
Adrian Prantl7aa34c82016-05-17 02:37:53 +00001446 bool IsBitfield = FieldSize && Size != FieldSize;
1447 if (IsBitfield) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001448 // Handle bitfield, assume bytes are 8 bits.
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001449 if (DD->useDWARF2Bitfields())
Adrian Prantle7d833d2016-05-16 22:45:10 +00001450 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
Eric Christopher1acdbb82014-03-12 17:14:46 +00001451 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
Adrian Prantlf393d312016-04-28 15:37:48 +00001452
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001453 uint64_t Offset = DT->getOffsetInBits();
Victor Leschuk2ede1262016-10-20 00:13:12 +00001454 // We can't use DT->getAlignInBits() here: AlignInBits for member type
1455 // is non-zero if and only if alignment was forced (e.g. _Alignas()),
1456 // which can't be done with bitfields. Thus we use FieldSize here.
1457 uint32_t AlignInBits = FieldSize;
1458 uint32_t AlignMask = ~(AlignInBits - 1);
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001459 // The bits from the start of the storage unit to the start of the field.
1460 uint64_t StartBitOffset = Offset - (Offset & AlignMask);
Adrian Prantlcb53eed2015-06-27 21:55:00 +00001461 // The byte offset of the field's aligned storage unit inside the struct.
1462 OffsetInBytes = (Offset - StartBitOffset) / 8;
Adrian Prantlf393d312016-04-28 15:37:48 +00001463
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001464 if (DD->useDWARF2Bitfields()) {
Adrian Prantle5447572016-04-28 15:37:52 +00001465 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1466 uint64_t FieldOffset = (HiMark - FieldSize);
1467 Offset -= FieldOffset;
Adrian Prantlf393d312016-04-28 15:37:48 +00001468
Adrian Prantle5447572016-04-28 15:37:52 +00001469 // Maybe we need to work from the other end.
1470 if (Asm->getDataLayout().isLittleEndian())
1471 Offset = FieldSize - (Offset + Size);
1472
1473 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1474 OffsetInBytes = FieldOffset >> 3;
Adrian Prantlf0a41082016-05-17 20:12:08 +00001475 } else {
1476 addUInt(MemberDie, dwarf::DW_AT_data_bit_offset, None, Offset);
Adrian Prantlf393d312016-04-28 15:37:48 +00001477 }
Adrian Prantlf0a41082016-05-17 20:12:08 +00001478 } else {
David Blaikie71d34a22013-11-01 00:25:45 +00001479 // This is not a bitfield.
Adrian Prantld3da8ca2015-06-26 23:31:27 +00001480 OffsetInBytes = DT->getOffsetInBits() / 8;
Victor Leschuk3c989982016-10-26 11:59:03 +00001481 if (AlignInBytes)
1482 addUInt(MemberDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1483 AlignInBytes);
Adrian Prantlf0a41082016-05-17 20:12:08 +00001484 }
David Blaikie2ada1162014-01-03 00:48:38 +00001485
David Blaikie22b29a52014-01-03 01:30:05 +00001486 if (DD->getDwarfVersion() <= 2) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001487 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc;
David Blaikie65a74662014-04-25 18:26:14 +00001488 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1489 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001490 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
Adrian Prantl6323ddf2016-05-17 21:07:16 +00001491 } else if (!IsBitfield || DD->useDWARF2Bitfields())
David Blaikie22b29a52014-01-03 01:30:05 +00001492 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1493 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001494 }
Devang Patel0e821f42011-04-12 23:21:44 +00001495
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001496 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001497 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001498 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001499 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001500 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001501 dwarf::DW_ACCESS_private);
1502 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001503 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001504 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001505 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001506 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001507 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001508 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001509
1510 // Objective-C properties.
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +00001511 if (DINode *PNode = DT->getObjCProperty())
1512 if (DIE *PDie = getDIE(PNode))
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +00001513 MemberDie.addValue(DIEValueAllocator, dwarf::DW_AT_APPLE_property,
1514 dwarf::DW_FORM_ref4, DIEEntry(*PDie));
Devang Patel44882172012-02-06 17:49:43 +00001515
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001516 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001517 addFlag(MemberDie, dwarf::DW_AT_artificial);
Adrian Prantl8c599212018-02-06 23:45:59 +00001518
1519 return MemberDie;
Devang Patel0e821f42011-04-12 23:21:44 +00001520}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001521
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001522DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001523 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001524 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001525
Manman Renc6b63922013-10-14 20:33:57 +00001526 // Construct the context before querying for the existence of the DIE in case
1527 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001528 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001529 assert(dwarf::isType(ContextDIE->getTag()) &&
1530 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001531
David Blaikie65a74662014-04-25 18:26:14 +00001532 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001533 return StaticMemberDIE;
1534
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001535 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001536
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001537 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001538
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001539 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001540 addType(StaticMemberDIE, Ty);
1541 addSourceLine(StaticMemberDIE, DT);
1542 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1543 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1544
1545 // FIXME: We could omit private if the parent is a class_type, and
1546 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001547 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001548 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1549 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001550 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001551 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1552 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001553 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001554 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1555 dwarf::DW_ACCESS_public);
1556
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001557 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001558 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001559 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001560 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001561
Victor Leschuka37660c2016-10-26 21:32:29 +00001562 if (uint32_t AlignInBytes = DT->getAlignInBytes())
Victor Leschuk3c989982016-10-26 11:59:03 +00001563 addUInt(StaticMemberDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1564 AlignInBytes);
1565
David Blaikie65a74662014-04-25 18:26:14 +00001566 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001567}
David Blaikie6b288cf2013-10-30 20:42:41 +00001568
Paul Robinsoncddd6042017-02-28 20:24:55 +00001569void DwarfUnit::emitCommonHeader(bool UseOffsets, dwarf::UnitType UT) {
David Blaikieae57e662014-11-01 23:59:23 +00001570 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001571 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikiec4e08fe2018-12-18 01:06:09 +00001572 if (!DD->useSectionsAsReferences()) {
1573 StringRef Prefix = isDwoUnit() ? "debug_info_dwo_" : "debug_info_";
1574 MCSymbol *BeginLabel = Asm->createTempSymbol(Prefix + "start");
1575 EndLabel = Asm->createTempSymbol(Prefix + "end");
1576 Asm->EmitLabelDifference(EndLabel, BeginLabel, 4);
1577 Asm->OutStreamer->EmitLabel(BeginLabel);
1578 } else
1579 Asm->emitInt32(getHeaderSize() + getUnitDie().getSize());
David Blaikieae57e662014-11-01 23:59:23 +00001580
Lang Hames9ff69c82015-04-24 19:11:51 +00001581 Asm->OutStreamer->AddComment("DWARF version number");
Paul Robinsoncddd6042017-02-28 20:24:55 +00001582 unsigned Version = DD->getDwarfVersion();
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001583 Asm->emitInt16(Version);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001584
1585 // DWARF v5 reorders the address size and adds a unit type.
1586 if (Version >= 5) {
1587 Asm->OutStreamer->AddComment("DWARF Unit Type");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001588 Asm->emitInt8(UT);
Paul Robinsoncddd6042017-02-28 20:24:55 +00001589 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001590 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001591 }
Rafael Espindola063d7252015-03-10 16:58:10 +00001592
David Blaikie6896e192013-12-04 23:39:02 +00001593 // We share one abbreviations table across all units so it's always at the
1594 // start of the section. Use a relocatable offset where needed to ensure
1595 // linking doesn't invalidate that offset.
Paul Robinsoncddd6042017-02-28 20:24:55 +00001596 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001597 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001598 if (UseOffsets)
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001599 Asm->emitInt32(0);
Peter Collingbourne7c384cc2016-02-11 19:57:46 +00001600 else
1601 Asm->emitDwarfSymbolReference(
1602 TLOF.getDwarfAbbrevSection()->getBeginSymbol(), false);
Rafael Espindola063d7252015-03-10 16:58:10 +00001603
Paul Robinsoncddd6042017-02-28 20:24:55 +00001604 if (Version <= 4) {
1605 Asm->OutStreamer->AddComment("Address Size (in bytes)");
Rafael Espindola4b4d85f2018-03-29 23:32:54 +00001606 Asm->emitInt8(Asm->MAI->getCodePointerSize());
Paul Robinsoncddd6042017-02-28 20:24:55 +00001607 }
David Blaikie6b288cf2013-10-30 20:42:41 +00001608}
David Blaikiebc563272013-12-13 21:33:40 +00001609
Rafael Espindola063d7252015-03-10 16:58:10 +00001610void DwarfTypeUnit::emitHeader(bool UseOffsets) {
Fangrui Songf78650a2018-07-30 19:41:25 +00001611 DwarfUnit::emitCommonHeader(UseOffsets,
Paul Robinsoncddd6042017-02-28 20:24:55 +00001612 DD->useSplitDwarf() ? dwarf::DW_UT_split_type
1613 : dwarf::DW_UT_type);
Lang Hames9ff69c82015-04-24 19:11:51 +00001614 Asm->OutStreamer->AddComment("Type Signature");
1615 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1616 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001617 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001618 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1619 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001620}
1621
Wolfgang Piebe60147c2017-06-30 00:27:45 +00001622DIE::value_iterator
1623DwarfUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
1624 const MCSymbol *Hi, const MCSymbol *Lo) {
1625 return Die.addValue(DIEValueAllocator, Attribute,
1626 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1627 : dwarf::DW_FORM_data4,
1628 new (DIEValueAllocator) DIEDelta(Hi, Lo));
1629}
1630
1631DIE::value_iterator
1632DwarfUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
1633 const MCSymbol *Label, const MCSymbol *Sec) {
1634 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1635 return addLabel(Die, Attribute,
1636 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1637 : dwarf::DW_FORM_data4,
1638 Label);
1639 return addSectionDelta(Die, Attribute, Label, Sec);
1640}
1641
David Blaikiecafd9622014-11-02 08:51:37 +00001642bool DwarfTypeUnit::isDwoUnit() const {
1643 // Since there are no skeleton type units, all type units are dwo type units
1644 // when split DWARF is being used.
1645 return DD->useSplitDwarf();
1646}
David Blaikiea0e3c752017-02-03 00:44:18 +00001647
1648void DwarfTypeUnit::addGlobalName(StringRef Name, const DIE &Die,
1649 const DIScope *Context) {
1650 getCU().addGlobalNameForTypeUnit(Name, Context);
1651}
1652
1653void DwarfTypeUnit::addGlobalType(const DIType *Ty, const DIE &Die,
1654 const DIScope *Context) {
1655 getCU().addGlobalTypeUnitType(Ty, Context);
1656}
David Blaikie85366ac2017-04-22 07:53:44 +00001657
1658const MCSymbol *DwarfUnit::getCrossSectionRelativeBaseAddress() const {
1659 if (!Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1660 return nullptr;
1661 if (isDwoUnit())
1662 return nullptr;
1663 return getSection()->getBeginSymbol();
1664}
Wolfgang Pieb456b5552018-01-26 18:52:58 +00001665
1666void DwarfUnit::addStringOffsetsStart() {
1667 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1668 addSectionLabel(getUnitDie(), dwarf::DW_AT_str_offsets_base,
1669 DU->getStringOffsetsStartSym(),
1670 TLOF.getDwarfStrOffSection()->getBeginSymbol());
1671}
Wolfgang Piebfcf38102018-07-12 18:18:21 +00001672
1673void DwarfUnit::addRnglistsBase() {
1674 assert(DD->getDwarfVersion() >= 5 &&
1675 "DW_AT_rnglists_base requires DWARF version 5 or later");
1676 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1677 addSectionLabel(getUnitDie(), dwarf::DW_AT_rnglists_base,
1678 DU->getRnglistsTableBaseSym(),
1679 TLOF.getDwarfRnglistsSection()->getBeginSymbol());
1680}
George Rimar425f7512018-09-20 09:17:36 +00001681
George Rimar088d96b2018-10-26 11:25:12 +00001682void DwarfUnit::addLoclistsBase() {
1683 assert(DD->getDwarfVersion() >= 5 &&
1684 "DW_AT_loclists_base requires DWARF version 5 or later");
1685 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1686 addSectionLabel(getUnitDie(), dwarf::DW_AT_loclists_base,
1687 DU->getLoclistsTableBaseSym(),
1688 TLOF.getDwarfLoclistsSection()->getBeginSymbol());
1689}