blob: 47a8c6d82641f4e45f63ed6281bab59ddf7e4dd4 [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.cpp - Dwarf Type and Compile Units ---------===//
Devang Patel0e821f42011-04-12 23:21:44 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher160522c2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel0e821f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
David Blaikie2c86a722013-12-02 19:33:15 +000014#include "DwarfUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "DwarfAccelTable.h"
David Blaikie37c52312014-10-04 15:49:50 +000016#include "DwarfCompileUnit.h"
Devang Patel0e821f42011-04-12 23:21:44 +000017#include "DwarfDebug.h"
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000018#include "DwarfExpression.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000020#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/Constants.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000022#include "llvm/IR/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/DataLayout.h"
24#include "llvm/IR/GlobalVariable.h"
25#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000026#include "llvm/IR/Mangler.h"
Eric Christopher84588622013-12-28 01:39:17 +000027#include "llvm/MC/MCAsmInfo.h"
Adrian Prantlcbcd5782014-02-11 22:22:15 +000028#include "llvm/MC/MCContext.h"
David Blaikie6b288cf2013-10-30 20:42:41 +000029#include "llvm/MC/MCSection.h"
30#include "llvm/MC/MCStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000031#include "llvm/Support/CommandLine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032#include "llvm/Target/TargetFrameLowering.h"
David Blaikief2694972013-06-28 20:05:11 +000033#include "llvm/Target/TargetLoweringObjectFile.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000034#include "llvm/Target/TargetMachine.h"
Devang Patel0e821f42011-04-12 23:21:44 +000035#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000036#include "llvm/Target/TargetSubtargetInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000037
38using namespace llvm;
39
Chandler Carruth1b9dde02014-04-22 02:02:50 +000040#define DEBUG_TYPE "dwarfdebug"
41
Eric Christopher4287a492013-12-09 23:57:44 +000042static cl::opt<bool>
43GenerateDwarfTypeUnits("generate-type-units", cl::Hidden,
44 cl::desc("Generate DWARF4 type units."),
45 cl::init(false));
David Blaikie409dd9c2013-11-19 23:08:21 +000046
Adrian Prantlb846acc2015-03-02 22:02:36 +000047DIEDwarfExpression::DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU,
48 DIELoc &DIE)
49 : DwarfExpression(*AP.MF->getSubtarget().getRegisterInfo(),
Pete Cooper477300d2015-05-20 22:37:48 +000050 AP.getDwarfDebug()->getDwarfVersion()),
Adrian Prantlb846acc2015-03-02 22:02:36 +000051 AP(AP), DU(DU), DIE(DIE) {}
Adrian Prantl92da14b2015-03-02 22:02:33 +000052
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000053void DIEDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
54 DU.addUInt(DIE, dwarf::DW_FORM_data1, Op);
55}
Adrian Prantl51233682015-03-10 19:23:37 +000056void DIEDwarfExpression::EmitSigned(int64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000057 DU.addSInt(DIE, dwarf::DW_FORM_sdata, Value);
58}
Adrian Prantl51233682015-03-10 19:23:37 +000059void DIEDwarfExpression::EmitUnsigned(uint64_t Value) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000060 DU.addUInt(DIE, dwarf::DW_FORM_udata, Value);
61}
Adrian Prantl8995f5c2015-01-13 23:10:43 +000062bool DIEDwarfExpression::isFrameRegister(unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000063 return MachineReg == TRI.getFrameRegister(*AP.MF);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000064}
65
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +000066DwarfUnit::DwarfUnit(unsigned UID, dwarf::Tag UnitTag,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000067 const DICompileUnit *Node, AsmPrinter *A, DwarfDebug *DW,
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +000068 DwarfFile *DWU)
David Blaikiebd579052014-04-28 21:14:27 +000069 : UniqueID(UID), CUNode(Node), UnitDie(UnitTag), DebugInfoOffset(0), Asm(A),
David Blaikie7cbf58a2014-11-01 18:18:07 +000070 DD(DW), DU(DWU), IndexTyDie(nullptr), Section(nullptr) {
David Blaikiebd579052014-04-28 21:14:27 +000071 assert(UnitTag == dwarf::DW_TAG_compile_unit ||
72 UnitTag == dwarf::DW_TAG_type_unit);
David Blaikie319a05f2013-12-02 19:33:10 +000073 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
74}
75
David Blaikiebd579052014-04-28 21:14:27 +000076DwarfTypeUnit::DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
David Blaikie92a2f8a2014-04-28 21:04:29 +000077 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +000078 MCDwarfDwoLineTable *SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000079 : DwarfUnit(UID, dwarf::DW_TAG_type_unit, CU.getCUNode(), A, DW, DWU),
80 CU(CU), SplitLineTable(SplitLineTable) {
David Blaikie4a2f95f2014-03-18 01:17:26 +000081 if (SplitLineTable)
David Blaikiebd579052014-04-28 21:14:27 +000082 addSectionOffset(UnitDie, dwarf::DW_AT_stmt_list, 0);
David Blaikie4a2f95f2014-03-18 01:17:26 +000083}
David Blaikie409dd9c2013-11-19 23:08:21 +000084
Eric Christophera5a79422013-12-09 23:32:48 +000085DwarfUnit::~DwarfUnit() {
Devang Patel0e821f42011-04-12 23:21:44 +000086 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
87 DIEBlocks[j]->~DIEBlock();
Eric Christopher4a741042014-02-16 08:46:55 +000088 for (unsigned j = 0, M = DIELocs.size(); j < M; ++j)
89 DIELocs[j]->~DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +000090}
91
David Blaikie8dbcc3f2014-04-25 19:33:43 +000092DIEEntry *DwarfUnit::createDIEEntry(DIE &Entry) {
Devang Patel0e821f42011-04-12 23:21:44 +000093 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
94 return Value;
95}
96
Eric Christophera5a79422013-12-09 23:32:48 +000097int64_t DwarfUnit::getDefaultLowerBound() const {
David Blaikiecb8e4352013-11-15 23:50:53 +000098 switch (getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000099 default:
100 break;
101
102 case dwarf::DW_LANG_C89:
103 case dwarf::DW_LANG_C99:
104 case dwarf::DW_LANG_C:
105 case dwarf::DW_LANG_C_plus_plus:
106 case dwarf::DW_LANG_ObjC:
107 case dwarf::DW_LANG_ObjC_plus_plus:
108 return 0;
109
110 case dwarf::DW_LANG_Fortran77:
111 case dwarf::DW_LANG_Fortran90:
112 case dwarf::DW_LANG_Fortran95:
113 return 1;
114
115 // The languages below have valid values only if the DWARF version >= 4.
116 case dwarf::DW_LANG_Java:
117 case dwarf::DW_LANG_Python:
118 case dwarf::DW_LANG_UPC:
119 case dwarf::DW_LANG_D:
120 if (dwarf::DWARF_VERSION >= 4)
121 return 0;
122 break;
123
124 case dwarf::DW_LANG_Ada83:
125 case dwarf::DW_LANG_Ada95:
126 case dwarf::DW_LANG_Cobol74:
127 case dwarf::DW_LANG_Cobol85:
128 case dwarf::DW_LANG_Modula2:
129 case dwarf::DW_LANG_Pascal83:
130 case dwarf::DW_LANG_PLI:
131 if (dwarf::DWARF_VERSION >= 4)
132 return 1;
133 break;
Bruce Mitchener7e575ed2015-02-07 06:35:30 +0000134
135 // The languages below have valid values only if the DWARF version >= 5.
136 case dwarf::DW_LANG_OpenCL:
137 case dwarf::DW_LANG_Go:
138 case dwarf::DW_LANG_Haskell:
139 case dwarf::DW_LANG_C_plus_plus_03:
140 case dwarf::DW_LANG_C_plus_plus_11:
141 case dwarf::DW_LANG_OCaml:
142 case dwarf::DW_LANG_Rust:
143 case dwarf::DW_LANG_C11:
144 case dwarf::DW_LANG_Swift:
145 case dwarf::DW_LANG_Dylan:
146 case dwarf::DW_LANG_C_plus_plus_14:
147 if (dwarf::DWARF_VERSION >= 5)
148 return 0;
149 break;
150
151 case dwarf::DW_LANG_Modula3:
152 case dwarf::DW_LANG_Julia:
153 case dwarf::DW_LANG_Fortran03:
154 case dwarf::DW_LANG_Fortran08:
155 if (dwarf::DWARF_VERSION >= 5)
156 return 1;
157 break;
Bill Wendling28fe9e72012-12-06 07:38:10 +0000158 }
159
160 return -1;
161}
162
Manman Ren4dbdc902013-10-31 17:54:35 +0000163/// Check whether the DIE for this MDNode can be shared across CUs.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000164static bool isShareableAcrossCUs(const DINode *D) {
David Blaikiebcb418e2013-11-20 18:40:16 +0000165 // When the MDNode can be part of the type system, the DIE can be shared
166 // across CUs.
167 // Combining type units and cross-CU DIE sharing is lower value (since
168 // cross-CU DIE sharing is used in LTO and removes type redundancy at that
169 // level already) but may be implementable for some value in projects
170 // building multiple independent libraries with LTO and then linking those
171 // together.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000172 return (isa<DIType>(D) ||
173 (isa<DISubprogram>(D) && !cast<DISubprogram>(D)->isDefinition())) &&
Eric Christopher4287a492013-12-09 23:57:44 +0000174 !GenerateDwarfTypeUnits;
Manman Ren4dbdc902013-10-31 17:54:35 +0000175}
176
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000177DIE *DwarfUnit::getDIE(const DINode *D) const {
David Blaikie2ad00162013-11-15 23:09:13 +0000178 if (isShareableAcrossCUs(D))
David Blaikie9bfd7a92014-11-04 22:12:18 +0000179 return DU->getDIE(D);
David Blaikie2ad00162013-11-15 23:09:13 +0000180 return MDNodeToDieMap.lookup(D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000181}
182
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000183void DwarfUnit::insertDIE(const DINode *Desc, DIE *D) {
David Blaikie2ad00162013-11-15 23:09:13 +0000184 if (isShareableAcrossCUs(Desc)) {
David Blaikie9bfd7a92014-11-04 22:12:18 +0000185 DU->insertDIE(Desc, D);
Manman Ren4dbdc902013-10-31 17:54:35 +0000186 return;
187 }
David Blaikie2ad00162013-11-15 23:09:13 +0000188 MDNodeToDieMap.insert(std::make_pair(Desc, D));
Manman Ren4dbdc902013-10-31 17:54:35 +0000189}
190
David Blaikie65a74662014-04-25 18:26:14 +0000191void DwarfUnit::addFlag(DIE &Die, dwarf::Attribute Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000192 if (DD->getDwarfVersion() >= 4)
David Blaikie65a74662014-04-25 18:26:14 +0000193 Die.addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000194 else
David Blaikie65a74662014-04-25 18:26:14 +0000195 Die.addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopherbb69a272012-08-24 01:14:27 +0000196}
197
David Blaikie65a74662014-04-25 18:26:14 +0000198void DwarfUnit::addUInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000199 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000200 if (!Form)
201 Form = DIEInteger::BestForm(false, Integer);
202 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
203 DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000204 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000205}
206
David Blaikie65a74662014-04-25 18:26:14 +0000207void DwarfUnit::addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000208 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000209}
210
David Blaikie65a74662014-04-25 18:26:14 +0000211void DwarfUnit::addSInt(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000212 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000213 if (!Form)
214 Form = DIEInteger::BestForm(true, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000215 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie65a74662014-04-25 18:26:14 +0000216 Die.addValue(Attribute, *Form, Value);
David Blaikief2443192013-10-21 17:28:37 +0000217}
218
David Blaikie65a74662014-04-25 18:26:14 +0000219void DwarfUnit::addSInt(DIELoc &Die, Optional<dwarf::Form> Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000220 int64_t Integer) {
David Blaikief2443192013-10-21 17:28:37 +0000221 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel0e821f42011-04-12 23:21:44 +0000222}
223
David Blaikie65a74662014-04-25 18:26:14 +0000224void DwarfUnit::addString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000225 StringRef String) {
David Blaikiecafd9622014-11-02 08:51:37 +0000226 if (!isDwoUnit())
Eric Christopher05893f42013-12-30 18:32:31 +0000227 return addLocalString(Die, Attribute, String);
228
David Blaikiecafd9622014-11-02 08:51:37 +0000229 addIndexedString(Die, Attribute, String);
230}
231
232void DwarfUnit::addIndexedString(DIE &Die, dwarf::Attribute Attribute,
233 StringRef String) {
David Blaikiedaefdbf2014-04-25 21:34:35 +0000234 unsigned idx = DU->getStringPool().getIndex(*Asm, String);
Eric Christopher05893f42013-12-30 18:32:31 +0000235 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
Eric Christopher67646432013-07-26 17:02:41 +0000236 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000237 Die.addValue(Attribute, dwarf::DW_FORM_GNU_str_index, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000238}
239
David Blaikie65a74662014-04-25 18:26:14 +0000240void DwarfUnit::addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000241 StringRef String) {
Rafael Espindola063d7252015-03-10 16:58:10 +0000242 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
David Blaikiedaefdbf2014-04-25 21:34:35 +0000243 MCSymbol *Symb = DU->getStringPool().getSymbol(*Asm, String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000244 DIEValue *Value;
Eric Christopher84588622013-12-28 01:39:17 +0000245 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000246 Value = new (DIEValueAllocator) DIELabel(Symb);
David Blaikie6741bb02014-09-11 21:12:48 +0000247 else
Rafael Espindola063d7252015-03-10 16:58:10 +0000248 Value = new (DIEValueAllocator)
249 DIEDelta(Symb, TLOF.getDwarfStrSection()->getBeginSymbol());
Eric Christopher05893f42013-12-30 18:32:31 +0000250 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
David Blaikie65a74662014-04-25 18:26:14 +0000251 Die.addValue(Attribute, dwarf::DW_FORM_strp, Str);
Devang Patel0e821f42011-04-12 23:21:44 +0000252}
253
David Blaikie65a74662014-04-25 18:26:14 +0000254void DwarfUnit::addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Eric Christophera5a79422013-12-09 23:32:48 +0000255 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000256 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
David Blaikie65a74662014-04-25 18:26:14 +0000257 Die.addValue(Attribute, Form, Value);
David Blaikief3cd7c52013-06-28 20:05:04 +0000258}
259
David Blaikie65a74662014-04-25 18:26:14 +0000260void DwarfUnit::addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label) {
David Blaikief2443192013-10-21 17:28:37 +0000261 addLabel(Die, (dwarf::Attribute)0, Form, Label);
262}
263
David Blaikie65a74662014-04-25 18:26:14 +0000264void DwarfUnit::addSectionOffset(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000265 uint64_t Integer) {
Eric Christopher33ff6972013-11-21 23:46:41 +0000266 if (DD->getDwarfVersion() >= 4)
267 addUInt(Die, Attribute, dwarf::DW_FORM_sec_offset, Integer);
268 else
269 addUInt(Die, Attribute, dwarf::DW_FORM_data4, Integer);
270}
271
David Blaikie4a2f95f2014-03-18 01:17:26 +0000272unsigned DwarfTypeUnit::getOrCreateSourceID(StringRef FileName, StringRef DirName) {
273 return SplitLineTable ? SplitLineTable->getFile(DirName, FileName)
274 : getCU().getOrCreateSourceID(FileName, DirName);
275}
276
David Blaikie65a74662014-04-25 18:26:14 +0000277void DwarfUnit::addOpAddress(DIELoc &Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000278 if (!DD->useSplitDwarf()) {
David Blaikief2443192013-10-21 17:28:37 +0000279 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
280 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christophere9ec2452013-01-18 22:11:33 +0000281 } else {
David Blaikief2443192013-10-21 17:28:37 +0000282 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikiee226b082014-04-23 21:04:59 +0000283 addUInt(Die, dwarf::DW_FORM_GNU_addr_index,
David Blaikied75fb282014-04-23 21:20:10 +0000284 DD->getAddressPool().getIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000285 }
286}
287
David Blaikie65a74662014-04-25 18:26:14 +0000288void DwarfUnit::addLabelDelta(DIE &Die, dwarf::Attribute Attribute,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000289 const MCSymbol *Hi, const MCSymbol *Lo) {
290 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
David Blaikie65a74662014-04-25 18:26:14 +0000291 Die.addValue(Attribute, dwarf::DW_FORM_data4, Value);
David Blaikie48b1bdc2014-03-07 01:30:55 +0000292}
293
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000294void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000295 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
296}
297
David Blaikie65a74662014-04-25 18:26:14 +0000298void DwarfUnit::addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type) {
David Blaikief3de2ab2014-04-26 16:26:41 +0000299 // Flag the type unit reference as a declaration so that if it contains
300 // members (implicit special members, static data member definitions, member
301 // declarations for definitions in this CU, etc) consumers don't get confused
302 // and think this is a full definition.
303 addFlag(Die, dwarf::DW_AT_declaration);
304
David Blaikie65a74662014-04-25 18:26:14 +0000305 Die.addValue(dwarf::DW_AT_signature, dwarf::DW_FORM_ref_sig8,
306 new (DIEValueAllocator) DIETypeSignature(Type));
David Blaikie47f615e2013-12-17 23:32:35 +0000307}
308
David Blaikie65a74662014-04-25 18:26:14 +0000309void DwarfUnit::addDIEEntry(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000310 DIEEntry *Entry) {
David Blaikie65a74662014-04-25 18:26:14 +0000311 const DIE *DieCU = Die.getUnitOrNull();
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000312 const DIE *EntryCU = Entry->getEntry().getUnitOrNull();
Manman Ren4dbdc902013-10-31 17:54:35 +0000313 if (!DieCU)
314 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
David Blaikieadcde362014-04-25 18:35:57 +0000315 DieCU = &getUnitDie();
Manman Ren4dbdc902013-10-31 17:54:35 +0000316 if (!EntryCU)
David Blaikieadcde362014-04-25 18:35:57 +0000317 EntryCU = &getUnitDie();
David Blaikie65a74662014-04-25 18:26:14 +0000318 Die.addValue(Attribute,
319 EntryCU == DieCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
320 Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000321}
322
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000323DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N) {
David Blaikieefc403b2014-04-12 02:24:04 +0000324 assert(Tag != dwarf::DW_TAG_auto_variable &&
325 Tag != dwarf::DW_TAG_arg_variable);
David Blaikie914046e2014-04-25 20:00:34 +0000326 Parent.addChild(make_unique<DIE>((dwarf::Tag)Tag));
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000327 DIE &Die = *Parent.getChildren().back();
David Blaikie52c50202013-11-16 00:29:01 +0000328 if (N)
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000329 insertDIE(N, &Die);
Manman Renb987e512013-10-29 00:53:03 +0000330 return Die;
331}
332
David Blaikie65a74662014-04-25 18:26:14 +0000333void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000334 Loc->ComputeSize(Asm);
Eric Christopher4a741042014-02-16 08:46:55 +0000335 DIELocs.push_back(Loc); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000336 Die.addValue(Attribute, Loc->BestForm(DD->getDwarfVersion()), Loc);
Eric Christopher4a741042014-02-16 08:46:55 +0000337}
338
David Blaikie65a74662014-04-25 18:26:14 +0000339void DwarfUnit::addBlock(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera5a79422013-12-09 23:32:48 +0000340 DIEBlock *Block) {
Eric Christopher8bdab432014-02-27 18:36:10 +0000341 Block->ComputeSize(Asm);
Devang Patel0e821f42011-04-12 23:21:44 +0000342 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
David Blaikie65a74662014-04-25 18:26:14 +0000343 Die.addValue(Attribute, Block->BestForm(), Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000344}
345
David Blaikie65a74662014-04-25 18:26:14 +0000346void DwarfUnit::addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000347 StringRef Directory) {
Devang Patel0e821f42011-04-12 23:21:44 +0000348 if (Line == 0)
349 return;
David Blaikie101613e2014-02-12 00:11:25 +0000350
David Blaikie4a2f95f2014-03-18 01:17:26 +0000351 unsigned FileID = getOrCreateSourceID(File, Directory);
Devang Patel0e821f42011-04-12 23:21:44 +0000352 assert(FileID && "Invalid file id");
David Blaikief2443192013-10-21 17:28:37 +0000353 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
354 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel0e821f42011-04-12 23:21:44 +0000355}
356
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000357void DwarfUnit::addSourceLine(DIE &Die, const DILocalVariable *V) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000358 assert(V);
David Blaikie101613e2014-02-12 00:11:25 +0000359
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000360 addSourceLine(Die, V->getLine(), V->getScope()->getFilename(),
361 V->getScope()->getDirectory());
David Blaikie101613e2014-02-12 00:11:25 +0000362}
363
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000364void DwarfUnit::addSourceLine(DIE &Die, const DIGlobalVariable *G) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000365 assert(G);
Devang Patel0e821f42011-04-12 23:21:44 +0000366
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000367 addSourceLine(Die, G->getLine(), G->getFilename(), G->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000368}
369
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000370void DwarfUnit::addSourceLine(DIE &Die, const DISubprogram *SP) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000371 assert(SP);
Eric Christopher7734ca22012-03-15 23:55:40 +0000372
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000373 addSourceLine(Die, SP->getLine(), SP->getFilename(), SP->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000374}
375
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000376void DwarfUnit::addSourceLine(DIE &Die, const DIType *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000377 assert(Ty);
Devang Patel0e821f42011-04-12 23:21:44 +0000378
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000379 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000380}
381
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000382void DwarfUnit::addSourceLine(DIE &Die, const DIObjCProperty *Ty) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000383 assert(Ty);
Eric Christopher70e1bd82012-03-29 08:42:56 +0000384
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000385 addSourceLine(Die, Ty->getLine(), Ty->getFilename(), Ty->getDirectory());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000386}
387
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000388void DwarfUnit::addSourceLine(DIE &Die, const DINamespace *NS) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +0000389 addSourceLine(Die, NS->getLine(), NS->getFilename(), NS->getDirectory());
Devang Patel0e821f42011-04-12 23:21:44 +0000390}
391
Adrian Prantlab255fc2014-12-05 01:02:46 +0000392bool DwarfUnit::addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
Adrian Prantlb1416832014-08-01 22:11:58 +0000393 unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000394 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl0e6ffb92015-01-12 22:37:16 +0000395 Expr.AddMachineRegPiece(Reg, SizeInBits, OffsetInBits);
Adrian Prantlab255fc2014-12-05 01:02:46 +0000396 return true;
Devang Patelba5fbf12011-04-26 19:06:18 +0000397}
398
Adrian Prantlab255fc2014-12-05 01:02:46 +0000399bool DwarfUnit::addRegisterOffset(DIELoc &TheDie, unsigned Reg,
Eric Christophera5a79422013-12-09 23:32:48 +0000400 int64_t Offset) {
Adrian Prantla4c30d62015-01-12 23:36:56 +0000401 DIEDwarfExpression Expr(*Asm, *this, TheDie);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +0000402 return Expr.AddMachineRegIndirect(Reg, Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000403}
404
Devang Patel0e821f42011-04-12 23:21:44 +0000405/* Byref variables, in Blocks, are declared by the programmer as "SomeType
406 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
407 gives the variable VarName either the struct, or a pointer to the struct, as
408 its type. This is necessary for various behind-the-scenes things the
409 compiler needs to do with by-reference variables in Blocks.
410
411 However, as far as the original *programmer* is concerned, the variable
412 should still have type 'SomeType', as originally declared.
413
414 The function getBlockByrefType dives into the __Block_byref_x_VarName
415 struct to find the original type of the variable, which is then assigned to
416 the variable's Debug Information Entry as its real type. So far, so good.
417 However now the debugger will expect the variable VarName to have the type
418 SomeType. So we need the location attribute for the variable to be an
419 expression that explains to the debugger how to navigate through the
420 pointers and struct to find the actual variable of type SomeType.
421
422 The following function does just that. We start by getting
423 the "normal" location for the variable. This will be the location
424 of either the struct __Block_byref_x_VarName or the pointer to the
425 struct __Block_byref_x_VarName.
426
427 The struct will look something like:
428
429 struct __Block_byref_x_VarName {
430 ... <various fields>
431 struct __Block_byref_x_VarName *forwarding;
432 ... <various other fields>
433 SomeType VarName;
434 ... <maybe more fields>
435 };
436
437 If we are given the struct directly (as our starting point) we
438 need to tell the debugger to:
439
440 1). Add the offset of the forwarding field.
441
442 2). Follow that pointer to get the real __Block_byref_x_VarName
443 struct to use (the real one may have been copied onto the heap).
444
445 3). Add the offset for the field VarName, to find the actual variable.
446
447 If we started with a pointer to the struct, then we need to
448 dereference that pointer first, before the other steps.
449 Translating this into DWARF ops, we will need to append the following
450 to the current location description for the variable:
451
452 DW_OP_deref -- optional, if we start with a pointer
453 DW_OP_plus_uconst <forward_fld_offset>
454 DW_OP_deref
455 DW_OP_plus_uconst <varName_fld_offset>
456
457 That is what this function does. */
458
David Blaikie65a74662014-04-25 18:26:14 +0000459void DwarfUnit::addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera5a79422013-12-09 23:32:48 +0000460 dwarf::Attribute Attribute,
461 const MachineLocation &Location) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000462 const DIType *Ty = DV.getType();
463 const DIType *TmpTy = Ty;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000464 uint16_t Tag = Ty->getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000465 bool isPointer = false;
466
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000467 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000468
469 if (Tag == dwarf::DW_TAG_pointer_type) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000470 auto *DTy = cast<DIDerivedType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000471 TmpTy = resolve(DTy->getBaseType());
Devang Patel0e821f42011-04-12 23:21:44 +0000472 isPointer = true;
473 }
474
Devang Patel0e821f42011-04-12 23:21:44 +0000475 // Find the __forwarding field and the variable field in the __Block_byref
476 // struct.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000477 DINodeArray Fields = cast<DICompositeTypeBase>(TmpTy)->getElements();
478 const DIDerivedType *varField = nullptr;
479 const DIDerivedType *forwardingField = nullptr;
Devang Patel0e821f42011-04-12 23:21:44 +0000480
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000481 for (unsigned i = 0, N = Fields.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000482 auto *DT = cast<DIDerivedType>(Fields[i]);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000483 StringRef fieldName = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000484 if (fieldName == "__forwarding")
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000485 forwardingField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000486 else if (fieldName == varName)
David Blaikie4f6bf27a2013-11-18 23:33:32 +0000487 varField = DT;
Devang Patel0e821f42011-04-12 23:21:44 +0000488 }
489
490 // Get the offsets for the forwarding field and the variable field.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000491 unsigned forwardingFieldOffset = forwardingField->getOffsetInBits() >> 3;
492 unsigned varFieldOffset = varField->getOffsetInBits() >> 2;
Devang Patel0e821f42011-04-12 23:21:44 +0000493
494 // Decode the original location, and use that as the start of the byref
495 // variable's location.
Eric Christopher4a741042014-02-16 08:46:55 +0000496 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
Devang Patel0e821f42011-04-12 23:21:44 +0000497
Adrian Prantlab255fc2014-12-05 01:02:46 +0000498 bool validReg;
Eric Christopheref9d7102012-07-04 02:02:18 +0000499 if (Location.isReg())
Adrian Prantlab255fc2014-12-05 01:02:46 +0000500 validReg = addRegisterOpPiece(*Loc, Location.getReg());
Eric Christopheref9d7102012-07-04 02:02:18 +0000501 else
Adrian Prantlab255fc2014-12-05 01:02:46 +0000502 validReg = addRegisterOffset(*Loc, Location.getReg(), Location.getOffset());
503
504 if (!validReg)
505 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000506
507 // If we started with a pointer to the __Block_byref... struct, then
508 // the first thing we need to do is dereference the pointer (DW_OP_deref).
509 if (isPointer)
David Blaikie65a74662014-04-25 18:26:14 +0000510 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000511
512 // Next add the offset for the '__forwarding' field:
513 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
514 // adding the offset if it's 0.
515 if (forwardingFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000516 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
517 addUInt(*Loc, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000518 }
519
520 // Now dereference the __forwarding field to get to the real __Block_byref
521 // struct: DW_OP_deref.
David Blaikie65a74662014-04-25 18:26:14 +0000522 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000523
524 // Now that we've got the real __Block_byref... struct, add the offset
525 // for the variable's field to get to the location of the actual variable:
526 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
527 if (varFieldOffset > 0) {
David Blaikie65a74662014-04-25 18:26:14 +0000528 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
529 addUInt(*Loc, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel0e821f42011-04-12 23:21:44 +0000530 }
531
532 // Now attach the location information to the DIE.
Eric Christopher4a741042014-02-16 08:46:55 +0000533 addBlock(Die, Attribute, Loc);
Devang Patel0e821f42011-04-12 23:21:44 +0000534}
535
Manman Renb3388602013-10-05 01:43:03 +0000536/// Return true if type encoding is unsigned.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000537static bool isUnsignedDIType(DwarfDebug *DD, const DIType *Ty) {
538 if (auto *DTy = dyn_cast<DIDerivedTypeBase>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000539 dwarf::Tag T = (dwarf::Tag)Ty->getTag();
David Blaikie2af1c802014-05-20 18:21:51 +0000540 // Encode pointer constants as unsigned bytes. This is used at least for
David Blaikie93ef46b2014-05-20 21:40:13 +0000541 // null pointer constant emission.
Adrian Prantld88af272015-01-07 21:35:13 +0000542 // (Pieces of) aggregate types that get hacked apart by SROA may also be
543 // represented by a constant. Encode them as unsigned bytes.
David Blaikie93ef46b2014-05-20 21:40:13 +0000544 // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
545 // here, but accept them for now due to a bug in SROA producing bogus
546 // dbg.values.
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000547 if (T == dwarf::DW_TAG_array_type ||
548 T == dwarf::DW_TAG_class_type ||
549 T == dwarf::DW_TAG_pointer_type ||
David Blaikie93ef46b2014-05-20 21:40:13 +0000550 T == dwarf::DW_TAG_ptr_to_member_type ||
551 T == dwarf::DW_TAG_reference_type ||
Adrian Prantl3dd48c62015-01-07 20:48:58 +0000552 T == dwarf::DW_TAG_rvalue_reference_type ||
Adrian Prantl577feba2015-01-23 18:01:39 +0000553 T == dwarf::DW_TAG_structure_type ||
554 T == dwarf::DW_TAG_union_type)
David Blaikie2af1c802014-05-20 18:21:51 +0000555 return true;
556 assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
557 T == dwarf::DW_TAG_volatile_type ||
David Blaikie1d9aec62014-05-20 18:36:35 +0000558 T == dwarf::DW_TAG_restrict_type ||
559 T == dwarf::DW_TAG_enumeration_type);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000560 if (DITypeRef Deriv = DTy->getBaseType())
David Blaikie2af1c802014-05-20 18:21:51 +0000561 return isUnsignedDIType(DD, DD->resolve(Deriv));
David Blaikiee0f14742014-05-11 17:04:05 +0000562 // FIXME: Enums without a fixed underlying type have unknown signedness
563 // here, leading to incorrectly emitted constants.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000564 assert(DTy->getTag() == dwarf::DW_TAG_enumeration_type);
David Blaikiee0f14742014-05-11 17:04:05 +0000565 return false;
566 }
Manman Renb3388602013-10-05 01:43:03 +0000567
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000568 auto *BTy = cast<DIBasicType>(Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000569 unsigned Encoding = BTy->getEncoding();
Saleem Abdulrasoolfba09d42014-05-12 06:08:18 +0000570 assert((Encoding == dwarf::DW_ATE_unsigned ||
571 Encoding == dwarf::DW_ATE_unsigned_char ||
572 Encoding == dwarf::DW_ATE_signed ||
573 Encoding == dwarf::DW_ATE_signed_char ||
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000574 Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
575 Encoding == dwarf::DW_ATE_boolean ||
576 (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
577 Ty->getName() == "decltype(nullptr)")) &&
David Blaikiec405c9c2014-05-16 21:53:09 +0000578 "Unsupported encoding");
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000579 return Encoding == dwarf::DW_ATE_unsigned ||
580 Encoding == dwarf::DW_ATE_unsigned_char ||
581 Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
582 Ty->getTag() == dwarf::DW_TAG_unspecified_type;
Manman Renb3388602013-10-05 01:43:03 +0000583}
584
585/// If this type is derived from a base type then return base type size.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000586static uint64_t getBaseTypeSize(DwarfDebug *DD, const DIDerivedType *Ty) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000587 unsigned Tag = Ty->getTag();
Manman Renb3388602013-10-05 01:43:03 +0000588
589 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
590 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
591 Tag != dwarf::DW_TAG_restrict_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000592 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000593
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000594 auto *BaseType = DD->resolve(Ty->getBaseType());
Manman Renb3388602013-10-05 01:43:03 +0000595
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000596 assert(BaseType && "Unexpected invalid base type");
Manman Renb3388602013-10-05 01:43:03 +0000597
598 // If this is a derived type, go ahead and get the base type, unless it's a
599 // reference then it's just the size of the field. Pointer types have no need
600 // of this since they're a different type of qualification on the type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000601 if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
602 BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
603 return Ty->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000604
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000605 if (auto *DT = dyn_cast<DIDerivedType>(BaseType))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000606 return getBaseTypeSize(DD, DT);
Manman Renb3388602013-10-05 01:43:03 +0000607
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000608 return BaseType->getSizeInBits();
Manman Renb3388602013-10-05 01:43:03 +0000609}
610
David Blaikie65a74662014-04-25 18:26:14 +0000611void DwarfUnit::addConstantFPValue(DIE &Die, const MachineOperand &MO) {
Eric Christopherc2697f82013-10-19 01:04:47 +0000612 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000613 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
614 APFloat FPImm = MO.getFPImm()->getValueAPF();
615
616 // Get the raw data form of the floating point.
617 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopherc2697f82013-10-19 01:04:47 +0000618 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000619
620 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000621 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000622 int Incr = (LittleEndian ? 1 : -1);
623 int Start = (LittleEndian ? 0 : NumBytes - 1);
624 int Stop = (LittleEndian ? NumBytes : -1);
625
626 // Output the constant to DWARF one byte at a time.
627 for (; Start != Stop; Start += Incr)
David Blaikie65a74662014-04-25 18:26:14 +0000628 addUInt(*Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel0e821f42011-04-12 23:21:44 +0000629
David Blaikief2443192013-10-21 17:28:37 +0000630 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000631}
632
David Blaikie65a74662014-04-25 18:26:14 +0000633void DwarfUnit::addConstantFPValue(DIE &Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000634 // Pass this down to addConstantValue as an unsigned bag of bits.
635 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000636}
637
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000638void DwarfUnit::addConstantValue(DIE &Die, const ConstantInt *CI,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000639 const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000640 addConstantValue(Die, CI->getValue(), Ty);
David Blaikiea39a76e2013-01-20 01:18:01 +0000641}
642
David Blaikiec05c8f42014-05-11 15:47:39 +0000643void DwarfUnit::addConstantValue(DIE &Die, const MachineOperand &MO,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000644 const DIType *Ty) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000645 assert(MO.isImm() && "Invalid machine operand!");
646
David Blaikie60cae1b2014-05-11 16:08:41 +0000647 addConstantValue(Die, isUnsignedDIType(DD, Ty), MO.getImm());
David Blaikiec05c8f42014-05-11 15:47:39 +0000648}
649
David Blaikie60cae1b2014-05-11 16:08:41 +0000650void DwarfUnit::addConstantValue(DIE &Die, bool Unsigned, uint64_t Val) {
David Blaikiec05c8f42014-05-11 15:47:39 +0000651 // FIXME: This is a bit conservative/simple - it emits negative values always
652 // sign extended to 64 bits rather than minimizing the number of bytes.
653 addUInt(Die, dwarf::DW_AT_const_value,
David Blaikie60cae1b2014-05-11 16:08:41 +0000654 Unsigned ? dwarf::DW_FORM_udata : dwarf::DW_FORM_sdata, Val);
David Blaikiec05c8f42014-05-11 15:47:39 +0000655}
656
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000657void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty) {
David Blaikiec0a28412014-05-11 15:56:59 +0000658 addConstantValue(Die, Val, isUnsignedDIType(DD, Ty));
659}
660
David Blaikie65a74662014-04-25 18:26:14 +0000661void DwarfUnit::addConstantValue(DIE &Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000662 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000663 if (CIBitWidth <= 64) {
David Blaikie60cae1b2014-05-11 16:08:41 +0000664 addConstantValue(Die, Unsigned,
665 Unsigned ? Val.getZExtValue() : Val.getSExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000666 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000667 }
668
669 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
670
671 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000672 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000673
674 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000675 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000676
677 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000678 for (int i = 0; i < NumBytes; i++) {
679 uint8_t c;
680 if (LittleEndian)
681 c = Ptr64[i / 8] >> (8 * (i & 7));
682 else
683 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie65a74662014-04-25 18:26:14 +0000684 addUInt(*Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000685 }
Devang Patel0e821f42011-04-12 23:21:44 +0000686
David Blaikief2443192013-10-21 17:28:37 +0000687 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000688}
689
Paul Robinson857b4432015-03-10 22:44:45 +0000690void DwarfUnit::addLinkageName(DIE &Die, StringRef LinkageName) {
691 if (!LinkageName.empty())
692 addString(Die,
693 DD->getDwarfVersion() >= 4 ? dwarf::DW_AT_linkage_name
694 : dwarf::DW_AT_MIPS_linkage_name,
695 GlobalValue::getRealLinkageName(LinkageName));
696}
697
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000698void DwarfUnit::addTemplateParams(DIE &Buffer, DINodeArray TParams) {
Devang Patel0e821f42011-04-12 23:21:44 +0000699 // Add template parameters.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000700 for (const auto *Element : TParams) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000701 if (auto *TTP = dyn_cast<DITemplateTypeParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000702 constructTemplateTypeParameterDIE(Buffer, TTP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000703 else if (auto *TVP = dyn_cast<DITemplateValueParameter>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000704 constructTemplateValueParameterDIE(Buffer, TVP);
Devang Patel0e821f42011-04-12 23:21:44 +0000705 }
Devang Patel0e821f42011-04-12 23:21:44 +0000706}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000707
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000708DIE *DwarfUnit::getOrCreateContextDIE(const DIScope *Context) {
709 if (!Context || isa<DIFile>(Context))
David Blaikieadcde362014-04-25 18:35:57 +0000710 return &getUnitDie();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000711 if (auto *T = dyn_cast<DIType>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000712 return getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000713 if (auto *NS = dyn_cast<DINamespace>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000714 return getOrCreateNameSpace(NS);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000715 if (auto *SP = dyn_cast<DISubprogram>(Context))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000716 return getOrCreateSubprogramDIE(SP);
Adrian Prantl7d828bb2013-11-15 21:05:09 +0000717 return getDIE(Context);
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000718}
719
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000720DIE *DwarfUnit::createTypeDIE(const DICompositeType *Ty) {
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000721 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000722 DIE *ContextDIE = getOrCreateContextDIE(Context);
David Blaikie409dd9c2013-11-19 23:08:21 +0000723
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000724 if (DIE *TyDIE = getDIE(Ty))
David Blaikie409dd9c2013-11-19 23:08:21 +0000725 return TyDIE;
726
727 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000728 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
David Blaikie409dd9c2013-11-19 23:08:21 +0000729
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000730 constructTypeDIE(TyDIE, cast<DICompositeType>(Ty));
David Blaikie409dd9c2013-11-19 23:08:21 +0000731
David Blaikie9d861be2013-11-26 00:15:27 +0000732 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000733 return &TyDIE;
David Blaikie409dd9c2013-11-19 23:08:21 +0000734}
735
Eric Christophera5a79422013-12-09 23:32:48 +0000736DIE *DwarfUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie32887552013-11-14 22:25:02 +0000737 if (!TyNode)
Craig Topper353eda42014-04-24 06:44:33 +0000738 return nullptr;
Manman Renf4c339e2013-10-29 22:49:29 +0000739
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000740 auto *Ty = cast<DIType>(TyNode);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000741 assert(Ty == resolve(Ty->getRef()) &&
Adrian Prantl0aa1aa22014-03-18 02:35:03 +0000742 "type was not uniqued, possible ODR violation.");
David Blaikie32887552013-11-14 22:25:02 +0000743
David Blaikieee11f222014-04-12 05:35:59 +0000744 // DW_TAG_restrict_type is not supported in DWARF2
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000745 if (Ty->getTag() == dwarf::DW_TAG_restrict_type && DD->getDwarfVersion() <= 2)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000746 return getOrCreateTypeDIE(resolve(cast<DIDerivedType>(Ty)->getBaseType()));
David Blaikieee11f222014-04-12 05:35:59 +0000747
Manman Renf4c339e2013-10-29 22:49:29 +0000748 // Construct the context before querying for the existence of the DIE in case
749 // such construction creates the DIE.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000750 auto *Context = resolve(Ty->getScope());
David Blaikie9d861be2013-11-26 00:15:27 +0000751 DIE *ContextDIE = getOrCreateContextDIE(Context);
Adrian Prantl4583f7d2013-11-15 23:21:39 +0000752 assert(ContextDIE);
Manman Renf4c339e2013-10-29 22:49:29 +0000753
David Blaikie65a74662014-04-25 18:26:14 +0000754 if (DIE *TyDIE = getDIE(Ty))
Devang Patel0e821f42011-04-12 23:21:44 +0000755 return TyDIE;
756
757 // Create new type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000758 DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
Manman Renf4c339e2013-10-29 22:49:29 +0000759
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000760 updateAcceleratorTables(Context, Ty, TyDIE);
David Blaikiec3d9e9e2014-03-06 01:42:00 +0000761
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000762 if (auto *BT = dyn_cast<DIBasicType>(Ty))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000763 constructTypeDIE(TyDIE, BT);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000764 else if (auto *STy = dyn_cast<DISubroutineType>(Ty))
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000765 constructTypeDIE(TyDIE, STy);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000766 else if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000767 if (GenerateDwarfTypeUnits && !Ty->isForwardDecl())
768 if (MDString *TypeId = CTy->getRawIdentifier()) {
David Blaikie15632ae2014-02-12 00:31:30 +0000769 DD->addDwarfTypeUnitType(getCU(), TypeId->getString(), TyDIE, CTy);
Adrian Prantle2da17f2014-03-14 23:08:17 +0000770 // Skip updating the accelerator tables since this is not the full type.
David Blaikie65a74662014-04-25 18:26:14 +0000771 return &TyDIE;
David Blaikiecfb21152014-01-03 18:59:42 +0000772 }
David Blaikie65a74662014-04-25 18:26:14 +0000773 constructTypeDIE(TyDIE, CTy);
David Blaikie8a263cb2013-11-26 00:22:37 +0000774 } else {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000775 constructTypeDIE(TyDIE, cast<DIDerivedType>(Ty));
Devang Patel0e821f42011-04-12 23:21:44 +0000776 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000777
David Blaikie65a74662014-04-25 18:26:14 +0000778 return &TyDIE;
David Blaikie2ea848b2013-11-19 22:51:04 +0000779}
780
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000781void DwarfUnit::updateAcceleratorTables(const DIScope *Context,
782 const DIType *Ty, const DIE &TyDIE) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000783 if (!Ty->getName().empty() && !Ty->isForwardDecl()) {
Eric Christopher21bde872012-01-06 04:35:23 +0000784 bool IsImplementation = 0;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000785 if (auto *CT = dyn_cast<DICompositeTypeBase>(Ty)) {
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000786 // A runtime language of 0 actually means C/C++ and that any
787 // non-negative value is some version of Objective-C/C++.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000788 IsImplementation = CT->getRuntimeLang() == 0 || CT->isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000789 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000790 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000791 DD->addAccelType(Ty->getName(), TyDIE, Flags);
David Blaikie9d861be2013-11-26 00:15:27 +0000792
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000793 if (!Context || isa<DICompileUnit>(Context) || isa<DIFile>(Context) ||
794 isa<DINamespace>(Context))
David Blaikie98cf1722014-11-02 06:06:14 +0000795 addGlobalType(Ty, TyDIE, Context);
Eric Christopher21bde872012-01-06 04:35:23 +0000796 }
Devang Patel0e821f42011-04-12 23:21:44 +0000797}
798
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000799void DwarfUnit::addType(DIE &Entity, const DIType *Ty,
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000800 dwarf::Attribute Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000801 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000802
803 // Check for pre-existence.
804 DIEEntry *Entry = getDIEEntry(Ty);
805 // If it exists then use the existing value.
806 if (Entry) {
Manman Ren4dbdc902013-10-31 17:54:35 +0000807 addDIEEntry(Entity, Attribute, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000808 return;
809 }
810
811 // Construct type.
812 DIE *Buffer = getOrCreateTypeDIE(Ty);
813
814 // Set up proxy.
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000815 Entry = createDIEEntry(*Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +0000816 insertDIEEntry(Ty, Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +0000817 addDIEEntry(Entity, Attribute, Entry);
Devang Patel1cb8ab42011-05-31 23:30:30 +0000818}
819
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000820std::string DwarfUnit::getParentContextString(const DIScope *Context) const {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000821 if (!Context)
822 return "";
823
824 // FIXME: Decide whether to implement this for non-C++ languages.
825 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
826 return "";
827
Eric Christopher8dba0d52013-10-19 01:04:42 +0000828 std::string CS;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000829 SmallVector<const DIScope *, 1> Parents;
830 while (!isa<DICompileUnit>(Context)) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000831 Parents.push_back(Context);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000832 if (Context->getScope())
833 Context = resolve(Context->getScope());
Eric Christopher2c8b7902013-10-17 02:06:06 +0000834 else
835 // Structure, etc types will have a NULL context if they're at the top
836 // level.
837 break;
838 }
839
840 // Reverse iterate over our list to go from the outermost construct to the
841 // innermost.
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000842 for (auto I = Parents.rbegin(), E = Parents.rend(); I != E; ++I) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000843 const DIScope *Ctx = *I;
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000844 StringRef Name = Ctx->getName();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000845 if (Name.empty() && isa<DINamespace>(Ctx))
David Blaikie553eb4a2014-06-06 22:16:56 +0000846 Name = "(anonymous namespace)";
Eric Christopher8dba0d52013-10-19 01:04:42 +0000847 if (!Name.empty()) {
Eric Christopher2c8b7902013-10-17 02:06:06 +0000848 CS += Name;
849 CS += "::";
850 }
851 }
852 return CS;
Devang Patel0e821f42011-04-12 23:21:44 +0000853}
854
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000855void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIBasicType *BTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000856 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000857 StringRef Name = BTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000858 // Add name if not anonymous or intermediate type.
859 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000860 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000861
David Blaikiefac56122013-10-04 23:21:16 +0000862 // An unspecified type only has a name attribute.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000863 if (BTy->getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel04d6d472011-09-14 23:13:28 +0000864 return;
Devang Patel04d6d472011-09-14 23:13:28 +0000865
David Blaikie65a74662014-04-25 18:26:14 +0000866 addUInt(Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000867 BTy->getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000868
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000869 uint64_t Size = BTy->getSizeInBits() >> 3;
David Blaikie65a74662014-04-25 18:26:14 +0000870 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000871}
872
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000873void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy) {
Devang Patel0e821f42011-04-12 23:21:44 +0000874 // Get core information.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000875 StringRef Name = DTy->getName();
876 uint64_t Size = DTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000877 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000878
879 // Map to main type, void will not have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000880 const DIType *FromTy = resolve(DTy->getBaseType());
Eric Christopher0df08e22013-08-08 07:40:37 +0000881 if (FromTy)
David Blaikie65a74662014-04-25 18:26:14 +0000882 addType(Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000883
884 // Add name if not anonymous or intermediate type.
885 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +0000886 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000887
888 // Add size if non-zero (derived types might be zero-sized.)
Adrian Prantl3026a542014-12-24 01:17:51 +0000889 if (Size && Tag != dwarf::DW_TAG_pointer_type
890 && Tag != dwarf::DW_TAG_ptr_to_member_type)
David Blaikie65a74662014-04-25 18:26:14 +0000891 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel0e821f42011-04-12 23:21:44 +0000892
David Blaikie5d3249b2013-01-07 05:51:15 +0000893 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +0000894 addDIEEntry(
895 Buffer, dwarf::DW_AT_containing_type,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000896 *getOrCreateTypeDIE(resolve(cast<DIDerivedType>(DTy)->getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000897 // Add source line info if available and TyDesc is not a forward declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000898 if (!DTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +0000899 addSourceLine(Buffer, DTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000900}
901
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000902void DwarfUnit::constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000903 for (unsigned i = 1, N = Args.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000904 const DIType *Ty = resolve(Args[i]);
Manman Renf93ac4b2014-07-29 18:20:39 +0000905 if (!Ty) {
Adrian Prantl69140d22014-02-25 22:27:14 +0000906 assert(i == N-1 && "Unspecified parameter must be the last argument");
907 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
908 } else {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000909 DIE &Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
David Blaikiedf1cca32014-10-26 23:37:04 +0000910 addType(Arg, Ty);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000911 if (Ty->isArtificial())
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000912 addFlag(Arg, dwarf::DW_AT_artificial);
Adrian Prantl3f49c892014-02-25 19:57:42 +0000913 }
Adrian Prantl69140d22014-02-25 22:27:14 +0000914 }
Adrian Prantl3f49c892014-02-25 19:57:42 +0000915}
916
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000917void DwarfUnit::constructTypeDIE(DIE &Buffer, const DISubroutineType *CTy) {
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000918 // Add return type. A void return won't have a type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000919 auto Elements = cast<DISubroutineType>(CTy)->getTypeArray();
Duncan P. N. Exon Smith698df362015-04-20 21:04:33 +0000920 if (Elements.size())
921 if (auto RTy = resolve(Elements[0]))
922 addType(Buffer, RTy);
923
924 bool isPrototyped = true;
925 if (Elements.size() == 2 && !Elements[1])
926 isPrototyped = false;
927
928 constructSubprogramArguments(Buffer, Elements);
929
930 // Add prototype flag if we're dealing with a C language and the function has
931 // been prototyped.
932 uint16_t Language = getLanguage();
933 if (isPrototyped &&
934 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
935 Language == dwarf::DW_LANG_ObjC))
936 addFlag(Buffer, dwarf::DW_AT_prototyped);
937
938 if (CTy->isLValueReference())
939 addFlag(Buffer, dwarf::DW_AT_reference);
940
941 if (CTy->isRValueReference())
942 addFlag(Buffer, dwarf::DW_AT_rvalue_reference);
943}
944
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000945void DwarfUnit::constructTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
David Blaikie409dd9c2013-11-19 23:08:21 +0000946 // Add name if not anonymous or intermediate type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000947 StringRef Name = CTy->getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000948
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000949 uint64_t Size = CTy->getSizeInBits() >> 3;
David Blaikiefac56122013-10-04 23:21:16 +0000950 uint16_t Tag = Buffer.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000951
952 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +0000953 case dwarf::DW_TAG_array_type:
Eric Christopherdf9955d2013-11-11 18:52:31 +0000954 constructArrayTypeDIE(Buffer, CTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000955 break;
Eric Christopheraeb105f2013-11-11 18:52:39 +0000956 case dwarf::DW_TAG_enumeration_type:
957 constructEnumTypeDIE(Buffer, CTy);
958 break;
Devang Patel0e821f42011-04-12 23:21:44 +0000959 case dwarf::DW_TAG_structure_type:
960 case dwarf::DW_TAG_union_type:
961 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +0000962 // Add elements to structure type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000963 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000964 for (const auto *Element : Elements) {
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000965 if (!Element)
966 continue;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000967 if (auto *SP = dyn_cast<DISubprogram>(Element))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000968 getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000969 else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000970 if (DDTy->getTag() == dwarf::DW_TAG_friend) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000971 DIE &ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000972 addType(ElemDie, resolve(DDTy->getBaseType()), dwarf::DW_AT_friend);
973 } else if (DDTy->isStaticMember()) {
Manman Ren57e6ff72013-10-23 22:57:12 +0000974 getOrCreateStaticMemberDIE(DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000975 } else {
Manman Ren230ec862013-10-23 23:00:44 +0000976 constructMemberDIE(Buffer, DDTy);
Manman Renc6b63922013-10-14 20:33:57 +0000977 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000978 } else if (auto *Property = dyn_cast<DIObjCProperty>(Element)) {
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000979 DIE &ElemDie = createAndAddDIE(Property->getTag(), Buffer);
980 StringRef PropertyName = Property->getName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000981 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000982 if (Property->getType())
983 addType(ElemDie, Property->getType());
Eric Christopherd42b92f2012-05-22 18:45:24 +0000984 addSourceLine(ElemDie, Property);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000985 StringRef GetterName = Property->getGetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000986 if (!GetterName.empty())
987 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000988 StringRef SetterName = Property->getSetterName();
Devang Pateld925d1a2012-02-07 23:33:58 +0000989 if (!SetterName.empty())
990 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000991 if (unsigned PropertyAttributes = Property->getAttributes())
David Blaikief2443192013-10-21 17:28:37 +0000992 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopherc2697f82013-10-19 01:04:47 +0000993 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +0000994
Devang Pateld925d1a2012-02-07 23:33:58 +0000995 DIEEntry *Entry = getDIEEntry(Element);
996 if (!Entry) {
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000997 Entry = createDIEEntry(ElemDie);
Devang Pateld925d1a2012-02-07 23:33:58 +0000998 insertDIEEntry(Element, Entry);
999 }
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001000 }
Devang Patel0e821f42011-04-12 23:21:44 +00001001 }
1002
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001003 if (CTy->isAppleBlockExtension())
David Blaikie65a74662014-04-25 18:26:14 +00001004 addFlag(Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001005
Adrian Prantlcf44e782014-12-19 00:01:20 +00001006 // This is outside the DWARF spec, but GDB expects a DW_AT_containing_type
1007 // inside C++ composite types to point to the base class with the vtable.
Duncan P. N. Exon Smithc6246882015-04-20 21:17:32 +00001008 if (auto *ContainingType =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001009 dyn_cast_or_null<DICompositeType>(resolve(CTy->getVTableHolder())))
David Blaikie65a74662014-04-25 18:26:14 +00001010 addDIEEntry(Buffer, dwarf::DW_AT_containing_type,
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001011 *getOrCreateTypeDIE(ContainingType));
Devang Patel0e821f42011-04-12 23:21:44 +00001012
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001013 if (CTy->isObjcClassComplete())
David Blaikie65a74662014-04-25 18:26:14 +00001014 addFlag(Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001015
Eric Christopherda011dd2011-12-16 23:42:42 +00001016 // Add template parameters to a class, structure or union types.
1017 // FIXME: The support isn't in the metadata for this yet.
1018 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001019 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001020 addTemplateParams(Buffer, CTy->getTemplateParams());
Devang Patel0e821f42011-04-12 23:21:44 +00001021
1022 break;
1023 }
1024 default:
1025 break;
1026 }
1027
1028 // Add name if not anonymous or intermediate type.
1029 if (!Name.empty())
David Blaikie65a74662014-04-25 18:26:14 +00001030 addString(Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001031
Eric Christopher775cbd22012-05-22 18:45:18 +00001032 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopherc2697f82013-10-19 01:04:47 +00001033 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher775cbd22012-05-22 18:45:18 +00001034 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001035 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001036 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001037 if (Size)
David Blaikie65a74662014-04-25 18:26:14 +00001038 addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001039 else if (!CTy->isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001040 // Add zero size if it is not a forward declaration.
David Blaikie65a74662014-04-25 18:26:14 +00001041 addUInt(Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopher1cf33382012-06-01 00:22:32 +00001042
1043 // If we're a forward decl, say so.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001044 if (CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001045 addFlag(Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001046
1047 // Add source line info if available.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001048 if (!CTy->isForwardDecl())
David Blaikie65a74662014-04-25 18:26:14 +00001049 addSourceLine(Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001050
1051 // No harm in adding the runtime language to the declaration.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001052 unsigned RLang = CTy->getRuntimeLang();
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001053 if (RLang)
David Blaikie65a74662014-04-25 18:26:14 +00001054 addUInt(Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
Eric Christopherc2697f82013-10-19 01:04:47 +00001055 RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001056 }
1057}
1058
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001059void DwarfUnit::constructTemplateTypeParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001060 DIE &Buffer, const DITemplateTypeParameter *TP) {
David Blaikie65a74662014-04-25 18:26:14 +00001061 DIE &ParamDIE =
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001062 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher056b6472013-08-08 08:09:43 +00001063 // Add the type if it exists, it could be void and therefore no type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001064 if (TP->getType())
1065 addType(ParamDIE, resolve(TP->getType()));
1066 if (!TP->getName().empty())
1067 addString(ParamDIE, dwarf::DW_AT_name, TP->getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001068}
1069
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001070void DwarfUnit::constructTemplateValueParameterDIE(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001071 DIE &Buffer, const DITemplateValueParameter *VP) {
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001072 DIE &ParamDIE = createAndAddDIE(VP->getTag(), Buffer);
Eric Christopher0df08e22013-08-08 07:40:37 +00001073
1074 // Add the type if there is one, template template and template parameter
1075 // packs will not have a type.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001076 if (VP->getTag() == dwarf::DW_TAG_template_value_parameter)
1077 addType(ParamDIE, resolve(VP->getType()));
1078 if (!VP->getName().empty())
1079 addString(ParamDIE, dwarf::DW_AT_name, VP->getName());
1080 if (Metadata *Val = VP->getValue()) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001081 if (ConstantInt *CI = mdconst::dyn_extract<ConstantInt>(Val))
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001082 addConstantValue(ParamDIE, CI, resolve(VP->getType()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001083 else if (GlobalValue *GV = mdconst::dyn_extract<GlobalValue>(Val)) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001084 // For declaration non-type template parameters (such as global values and
1085 // functions)
Eric Christopher4a741042014-02-16 08:46:55 +00001086 DIELoc *Loc = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001087 addOpAddress(*Loc, Asm->getSymbol(GV));
David Blaikiea1e813d2013-05-10 21:52:07 +00001088 // Emit DW_OP_stack_value to use the address as the immediate value of the
1089 // parameter, rather than a pointer to it.
David Blaikie65a74662014-04-25 18:26:14 +00001090 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
Eric Christopher4a741042014-02-16 08:46:55 +00001091 addBlock(ParamDIE, dwarf::DW_AT_location, Loc);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001092 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001093 assert(isa<MDString>(Val));
1094 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1095 cast<MDString>(Val)->getString());
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001096 } else if (VP->getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001097 addTemplateParams(ParamDIE, cast<MDTuple>(Val));
David Blaikiea1e813d2013-05-10 21:52:07 +00001098 }
1099 }
Devang Patel0e821f42011-04-12 23:21:44 +00001100}
1101
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001102DIE *DwarfUnit::getOrCreateNameSpace(const DINamespace *NS) {
Manman Renf6b936b2013-10-29 05:49:41 +00001103 // Construct the context before querying for the existence of the DIE in case
1104 // such construction creates the DIE.
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001105 DIE *ContextDIE = getOrCreateContextDIE(NS->getScope());
Manman Renf6b936b2013-10-29 05:49:41 +00001106
David Blaikie65a74662014-04-25 18:26:14 +00001107 if (DIE *NDie = getDIE(NS))
Devang Patel17b53272011-05-06 16:57:54 +00001108 return NDie;
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001109 DIE &NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
Manman Renf6b936b2013-10-29 05:49:41 +00001110
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001111 StringRef Name = NS->getName();
David Blaikie553eb4a2014-06-06 22:16:56 +00001112 if (!Name.empty())
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001113 addString(NDie, dwarf::DW_AT_name, NS->getName());
David Blaikie553eb4a2014-06-06 22:16:56 +00001114 else
1115 Name = "(anonymous namespace)";
1116 DD->addAccelNamespace(Name, NDie);
Duncan P. N. Exon Smith20caafb2015-04-14 03:01:27 +00001117 addGlobalName(Name, NDie, NS->getScope());
Devang Patel17b53272011-05-06 16:57:54 +00001118 addSourceLine(NDie, NS);
David Blaikie65a74662014-04-25 18:26:14 +00001119 return &NDie;
Devang Patel17b53272011-05-06 16:57:54 +00001120}
1121
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001122DIE *DwarfUnit::getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal) {
David Blaikie309ffe42013-10-04 01:39:59 +00001123 // Construct the context before querying for the existence of the DIE in case
1124 // such construction creates the DIE (as is the case for member function
1125 // declarations).
David Blaikie3a443c22014-11-04 22:12:25 +00001126 DIE *ContextDIE =
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001127 Minimal ? &getUnitDie() : getOrCreateContextDIE(resolve(SP->getScope()));
Adrian Prantld486b342014-03-18 17:41:15 +00001128
David Blaikie65a74662014-04-25 18:26:14 +00001129 if (DIE *SPDie = getDIE(SP))
Devang Patel89543712011-08-15 17:24:54 +00001130 return SPDie;
1131
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001132 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie3a443c22014-11-04 22:12:25 +00001133 if (!Minimal) {
1134 // Add subprogram definitions to the CU die directly.
1135 ContextDIE = &getUnitDie();
1136 // Build the decl now to ensure it precedes the definition.
1137 getOrCreateSubprogramDIE(SPDecl);
1138 }
David Blaikiece7a1bd2014-05-21 18:04:33 +00001139 }
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001140
1141 // DW_TAG_inlined_subroutine may refer to this DIE.
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001142 DIE &SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001143
David Blaikie6cfa9e12014-06-05 00:25:26 +00001144 // Stop here and fill this in later, depending on whether or not this
David Blaikief7221ad2014-05-27 18:37:43 +00001145 // subprogram turns out to have inlined instances or not.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001146 if (SP->isDefinition())
David Blaikief7221ad2014-05-27 18:37:43 +00001147 return &SPDie;
1148
David Blaikie7f916862014-05-27 18:37:38 +00001149 applySubprogramAttributes(SP, SPDie);
1150 return &SPDie;
1151}
1152
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001153bool DwarfUnit::applySubprogramDefinitionAttributes(const DISubprogram *SP,
David Blaikie3a443c22014-11-04 22:12:25 +00001154 DIE &SPDie) {
David Blaikie7f916862014-05-27 18:37:38 +00001155 DIE *DeclDie = nullptr;
1156 StringRef DeclLinkageName;
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001157 if (auto *SPDecl = SP->getDeclaration()) {
David Blaikief7221ad2014-05-27 18:37:43 +00001158 DeclDie = getDIE(SPDecl);
David Blaikie6cfa9e12014-06-05 00:25:26 +00001159 assert(DeclDie && "This DIE should've already been constructed when the "
Alp Toker5c536392014-06-07 21:23:09 +00001160 "definition DIE was created in "
David Blaikie6cfa9e12014-06-05 00:25:26 +00001161 "getOrCreateSubprogramDIE");
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001162 DeclLinkageName = SPDecl->getLinkageName();
David Blaikie7f916862014-05-27 18:37:38 +00001163 }
Rafael Espindola79278362011-11-10 22:34:29 +00001164
Devang Patel89543712011-08-15 17:24:54 +00001165 // Add function template parameters.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001166 addTemplateParams(SPDie, SP->getTemplateParams());
Devang Patel89543712011-08-15 17:24:54 +00001167
Adrian Prantl8714aaf2014-04-14 21:16:04 +00001168 // 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 +00001169 StringRef LinkageName = SP->getLinkageName();
David Blaikiece7a1bd2014-05-21 18:04:33 +00001170 assert(((LinkageName.empty() || DeclLinkageName.empty()) ||
1171 LinkageName == DeclLinkageName) &&
1172 "decl has a linkage name and it is different");
Paul Robinson857b4432015-03-10 22:44:45 +00001173 if (DeclLinkageName.empty())
1174 addLinkageName(SPDie, LinkageName);
Devang Patel89543712011-08-15 17:24:54 +00001175
David Blaikie3a443c22014-11-04 22:12:25 +00001176 if (!DeclDie)
1177 return false;
1178
1179 // Refer to the function declaration where all the other attributes will be
1180 // found.
1181 addDIEEntry(SPDie, dwarf::DW_AT_specification, *DeclDie);
1182 return true;
1183}
1184
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001185void DwarfUnit::applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
David Blaikie3a443c22014-11-04 22:12:25 +00001186 bool Minimal) {
1187 if (!Minimal)
1188 if (applySubprogramDefinitionAttributes(SP, SPDie))
1189 return;
Eric Christopheracb71152012-08-23 22:52:55 +00001190
Devang Patel89543712011-08-15 17:24:54 +00001191 // Constructors and operators for anonymous aggregates do not have names.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001192 if (!SP->getName().empty())
1193 addString(SPDie, dwarf::DW_AT_name, SP->getName());
Devang Patel89543712011-08-15 17:24:54 +00001194
David Blaikie0b9438b2014-09-19 04:47:46 +00001195 // Skip the rest of the attributes under -gmlt to save space.
David Blaikie279c4512014-11-02 08:18:06 +00001196 if (Minimal)
David Blaikie73b65d22014-09-19 04:30:36 +00001197 return;
1198
Devang Patel89543712011-08-15 17:24:54 +00001199 addSourceLine(SPDie, SP);
1200
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001201 // Add the prototype if we have a prototype and we have a C like
1202 // language.
David Blaikiecb8e4352013-11-15 23:50:53 +00001203 uint16_t Language = getLanguage();
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001204 if (SP->isPrototyped() &&
Eric Christopherc2697f82013-10-19 01:04:47 +00001205 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001206 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001207 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001208
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001209 const DISubroutineType *SPTy = SP->getType();
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001210 assert(SPTy->getTag() == dwarf::DW_TAG_subroutine_type &&
David Blaikie5174c842013-05-22 23:22:18 +00001211 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001212
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001213 auto Args = SPTy->getTypeArray();
Eric Christopher691281b2013-10-21 17:48:51 +00001214 // Add a return type. If this is a type like a C/C++ void type we don't add a
1215 // return type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001216 if (Args.size())
Duncan P. N. Exon Smith9a597ef2015-04-07 18:07:41 +00001217 if (auto Ty = resolve(Args[0]))
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001218 addType(SPDie, Ty);
Devang Patel89543712011-08-15 17:24:54 +00001219
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001220 unsigned VK = SP->getVirtuality();
Devang Patel89543712011-08-15 17:24:54 +00001221 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001222 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Eric Christopher4a741042014-02-16 08:46:55 +00001223 DIELoc *Block = getDIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001224 addUInt(*Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001225 addUInt(*Block, dwarf::DW_FORM_udata, SP->getVirtualIndex());
David Blaikief2443192013-10-21 17:28:37 +00001226 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher98b7f172013-11-11 18:52:36 +00001227 ContainingTypeMap.insert(
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001228 std::make_pair(&SPDie, resolve(SP->getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001229 }
1230
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001231 if (!SP->isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001232 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001233
Devang Patel89543712011-08-15 17:24:54 +00001234 // Add arguments. Do not add arguments for subprogram definition. They will
1235 // be handled while processing variables.
David Blaikie899ae612014-04-30 22:58:19 +00001236 constructSubprogramArguments(SPDie, Args);
Devang Patel89543712011-08-15 17:24:54 +00001237 }
1238
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001239 if (SP->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001240 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001241
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001242 if (!SP->isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001243 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001244
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001245 if (SP->isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001246 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001247
Eric Christophercd53d6e2015-03-21 03:13:01 +00001248 if (unsigned isa = Asm->getISAEncoding())
Devang Patel89543712011-08-15 17:24:54 +00001249 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
Devang Patel89543712011-08-15 17:24:54 +00001250
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001251 if (SP->isLValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001252 addFlag(SPDie, dwarf::DW_AT_reference);
1253
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001254 if (SP->isRValueReference())
Adrian Prantl99c7af22013-12-18 21:48:19 +00001255 addFlag(SPDie, dwarf::DW_AT_rvalue_reference);
1256
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001257 if (SP->isProtected())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001258 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1259 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001260 else if (SP->isPrivate())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001261 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1262 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001263 else if (SP->isPublic())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001264 addUInt(SPDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1265 dwarf::DW_ACCESS_public);
1266
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001267 if (SP->isExplicit())
Adrian Prantlef129fb2014-01-18 02:12:00 +00001268 addFlag(SPDie, dwarf::DW_AT_explicit);
Devang Patel89543712011-08-15 17:24:54 +00001269}
1270
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001271void DwarfUnit::constructSubrangeDIE(DIE &Buffer, const DISubrange *SR,
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +00001272 DIE *IndexTy) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001273 DIE &DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001274 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, *IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001275
Bill Wendling28fe9e72012-12-06 07:38:10 +00001276 // The LowerBound value defines the lower bounds which is typically zero for
1277 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1278 // Count == -1 then the array is unbounded and we do not emit
David Blaikie32b0f362014-10-01 00:56:55 +00001279 // DW_AT_lower_bound and DW_AT_count attributes.
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001280 int64_t LowerBound = SR->getLowerBound();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001281 int64_t DefaultLowerBound = getDefaultLowerBound();
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001282 int64_t Count = SR->getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001283
Bill Wendling3495f9b2012-12-06 07:55:19 +00001284 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikief2443192013-10-21 17:28:37 +00001285 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling28fe9e72012-12-06 07:38:10 +00001286
David Blaikie32b0f362014-10-01 00:56:55 +00001287 if (Count != -1)
Bill Wendlingd7767122012-12-04 21:34:03 +00001288 // FIXME: An unbounded array should reference the expression that defines
1289 // the array.
David Blaikie32b0f362014-10-01 00:56:55 +00001290 addUInt(DW_Subrange, dwarf::DW_AT_count, None, Count);
Devang Patel0e821f42011-04-12 23:21:44 +00001291}
1292
David Blaikie871c2d92014-11-02 03:09:13 +00001293DIE *DwarfUnit::getIndexTyDie() {
1294 if (IndexTyDie)
1295 return IndexTyDie;
1296 // Construct an integer type to use for indexes.
1297 IndexTyDie = &createAndAddDIE(dwarf::DW_TAG_base_type, UnitDie);
1298 addString(*IndexTyDie, dwarf::DW_AT_name, "sizetype");
1299 addUInt(*IndexTyDie, dwarf::DW_AT_byte_size, None, sizeof(int64_t));
1300 addUInt(*IndexTyDie, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1301 dwarf::DW_ATE_unsigned);
1302 return IndexTyDie;
1303}
1304
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001305void DwarfUnit::constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001306 if (CTy->isVector())
David Blaikie65a74662014-04-25 18:26:14 +00001307 addFlag(Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001308
Eric Christopher0df08e22013-08-08 07:40:37 +00001309 // Emit the element type.
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +00001310 addType(Buffer, resolve(CTy->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001311
1312 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001313 // FIXME: This type should be passed down from the front end
1314 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001315 DIE *IdxTy = getIndexTyDie();
Devang Patel0e821f42011-04-12 23:21:44 +00001316
1317 // Add subranges to array type.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001318 DINodeArray Elements = CTy->getElements();
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001319 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001320 // FIXME: Should this really be such a loose cast?
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001321 if (auto *Element = dyn_cast_or_null<DINode>(Elements[i]))
Duncan P. N. Exon Smithf15c6f82015-04-16 01:53:33 +00001322 if (Element->getTag() == dwarf::DW_TAG_subrange_type)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001323 constructSubrangeDIE(Buffer, cast<DISubrange>(Element), IdxTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001324 }
1325}
1326
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001327void DwarfUnit::constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy) {
1328 DINodeArray Elements = CTy->getElements();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001329
1330 // Add enumerators to enumeration type.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +00001331 for (unsigned i = 0, N = Elements.size(); i < N; ++i) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001332 auto *Enum = dyn_cast_or_null<DIEnumerator>(Elements[i]);
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +00001333 if (Enum) {
David Blaikieb0b3fcf2014-04-25 18:52:29 +00001334 DIE &Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001335 StringRef Name = Enum->getName();
Eric Christopheraeb105f2013-11-11 18:52:39 +00001336 addString(Enumerator, dwarf::DW_AT_name, Name);
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +00001337 int64_t Value = Enum->getValue();
Eric Christophera07e4f52013-11-19 09:28:34 +00001338 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
1339 Value);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001340 }
1341 }
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001342 const DIType *DTy = resolve(CTy->getBaseType());
Eric Christopheraeb105f2013-11-11 18:52:39 +00001343 if (DTy) {
David Blaikie65a74662014-04-25 18:26:14 +00001344 addType(Buffer, DTy);
1345 addFlag(Buffer, dwarf::DW_AT_enum_class);
Eric Christopheraeb105f2013-11-11 18:52:39 +00001346 }
Devang Patel0e821f42011-04-12 23:21:44 +00001347}
1348
Eric Christophera5a79422013-12-09 23:32:48 +00001349void DwarfUnit::constructContainingTypeDIEs() {
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +00001350 for (auto CI = ContainingTypeMap.begin(), CE = ContainingTypeMap.end();
Eric Christopherc2697f82013-10-19 01:04:47 +00001351 CI != CE; ++CI) {
David Blaikie65a74662014-04-25 18:26:14 +00001352 DIE &SPDie = *CI->first;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001353 const DINode *D = CI->second;
David Blaikie2ad00162013-11-15 23:09:13 +00001354 if (!D)
Eric Christopherc2697f82013-10-19 01:04:47 +00001355 continue;
David Blaikie2ad00162013-11-15 23:09:13 +00001356 DIE *NDie = getDIE(D);
Eric Christopherc2697f82013-10-19 01:04:47 +00001357 if (!NDie)
1358 continue;
David Blaikie8dbcc3f2014-04-25 19:33:43 +00001359 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, *NDie);
Devang Patel89543712011-08-15 17:24:54 +00001360 }
1361}
1362
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001363void DwarfUnit::constructMemberDIE(DIE &Buffer, const DIDerivedType *DT) {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001364 DIE &MemberDie = createAndAddDIE(DT->getTag(), Buffer);
1365 StringRef Name = DT->getName();
Devang Patel0e821f42011-04-12 23:21:44 +00001366 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001367 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001368
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001369 addType(MemberDie, resolve(DT->getBaseType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001370
1371 addSourceLine(MemberDie, DT);
1372
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001373 if (DT->getTag() == dwarf::DW_TAG_inheritance && DT->isVirtual()) {
Devang Patel0e821f42011-04-12 23:21:44 +00001374
1375 // For C++, virtual base classes are not at fixed offset. Use following
1376 // expression to extract appropriate offset from vtable.
1377 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1378
Eric Christopher4a741042014-02-16 08:46:55 +00001379 DIELoc *VBaseLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001380 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1381 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1382 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001383 addUInt(*VBaseLocationDie, dwarf::DW_FORM_udata, DT->getOffsetInBits());
David Blaikie65a74662014-04-25 18:26:14 +00001384 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1385 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1386 addUInt(*VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel0e821f42011-04-12 23:21:44 +00001387
David Blaikief2443192013-10-21 17:28:37 +00001388 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie71d34a22013-11-01 00:25:45 +00001389 } else {
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001390 uint64_t Size = DT->getSizeInBits();
David Blaikie71d34a22013-11-01 00:25:45 +00001391 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1392 uint64_t OffsetInBytes;
1393
David Blaikiefa1a3c72015-01-28 02:34:53 +00001394 if (FieldSize && Size != FieldSize) {
Eric Christopher1acdbb82014-03-12 17:14:46 +00001395 // Handle bitfield, assume bytes are 8 bits.
1396 addUInt(MemberDie, dwarf::DW_AT_byte_size, None, FieldSize/8);
1397 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, Size);
David Blaikie71d34a22013-11-01 00:25:45 +00001398
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001399 uint64_t Offset = DT->getOffsetInBits();
1400 uint64_t AlignMask = ~(DT->getAlignInBits() - 1);
David Blaikie71d34a22013-11-01 00:25:45 +00001401 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1402 uint64_t FieldOffset = (HiMark - FieldSize);
1403 Offset -= FieldOffset;
1404
1405 // Maybe we need to work from the other end.
1406 if (Asm->getDataLayout().isLittleEndian())
1407 Offset = FieldSize - (Offset + Size);
1408 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1409
Adrian Prantlc67655a2014-01-28 18:13:47 +00001410 // Here DW_AT_data_member_location points to the anonymous
David Blaikie71d34a22013-11-01 00:25:45 +00001411 // field that includes this bit field.
1412 OffsetInBytes = FieldOffset >> 3;
1413 } else
1414 // This is not a bitfield.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001415 OffsetInBytes = DT->getOffsetInBits() >> 3;
David Blaikie2ada1162014-01-03 00:48:38 +00001416
David Blaikie22b29a52014-01-03 01:30:05 +00001417 if (DD->getDwarfVersion() <= 2) {
Eric Christopher4a741042014-02-16 08:46:55 +00001418 DIELoc *MemLocationDie = new (DIEValueAllocator) DIELoc();
David Blaikie65a74662014-04-25 18:26:14 +00001419 addUInt(*MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1420 addUInt(*MemLocationDie, dwarf::DW_FORM_udata, OffsetInBytes);
David Blaikie22b29a52014-01-03 01:30:05 +00001421 addBlock(MemberDie, dwarf::DW_AT_data_member_location, MemLocationDie);
1422 } else
1423 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None,
1424 OffsetInBytes);
David Blaikie71d34a22013-11-01 00:25:45 +00001425 }
Devang Patel0e821f42011-04-12 23:21:44 +00001426
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001427 if (DT->isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001428 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001429 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001430 else if (DT->isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001431 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001432 dwarf::DW_ACCESS_private);
1433 // Otherwise C++ member and base classes are considered public.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001434 else if (DT->isPublic())
Nick Lewyckycb918492011-12-13 05:09:11 +00001435 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001436 dwarf::DW_ACCESS_public);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001437 if (DT->isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001438 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001439 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001440
1441 // Objective-C properties.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001442 if (MDNode *PNode = DT->getObjCProperty())
Devang Patel44882172012-02-06 17:49:43 +00001443 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
David Blaikie65a74662014-04-25 18:26:14 +00001444 MemberDie.addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
1445 PropertyDie);
Devang Patel44882172012-02-06 17:49:43 +00001446
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001447 if (DT->isArtificial())
David Blaikie37fefc32012-12-13 22:43:07 +00001448 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001449}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001450
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001451DIE *DwarfUnit::getOrCreateStaticMemberDIE(const DIDerivedType *DT) {
Duncan P. N. Exon Smitha5099dc2015-04-06 19:49:39 +00001452 if (!DT)
Craig Topper353eda42014-04-24 06:44:33 +00001453 return nullptr;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001454
Manman Renc6b63922013-10-14 20:33:57 +00001455 // Construct the context before querying for the existence of the DIE in case
1456 // such construction creates the DIE.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001457 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT->getScope()));
David Blaikiebd700e42013-11-14 21:24:34 +00001458 assert(dwarf::isType(ContextDIE->getTag()) &&
1459 "Static member should belong to a type.");
Manman Renc6b63922013-10-14 20:33:57 +00001460
David Blaikie65a74662014-04-25 18:26:14 +00001461 if (DIE *StaticMemberDIE = getDIE(DT))
Manman Renc6b63922013-10-14 20:33:57 +00001462 return StaticMemberDIE;
1463
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001464 DIE &StaticMemberDIE = createAndAddDIE(DT->getTag(), *ContextDIE, DT);
Manman Renc6b63922013-10-14 20:33:57 +00001465
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +00001466 const DIType *Ty = resolve(DT->getBaseType());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001467
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001468 addString(StaticMemberDIE, dwarf::DW_AT_name, DT->getName());
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001469 addType(StaticMemberDIE, Ty);
1470 addSourceLine(StaticMemberDIE, DT);
1471 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1472 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1473
1474 // FIXME: We could omit private if the parent is a class_type, and
1475 // public if the parent is something else.
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001476 if (DT->isProtected())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001477 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1478 dwarf::DW_ACCESS_protected);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001479 else if (DT->isPrivate())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001480 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1481 dwarf::DW_ACCESS_private);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001482 else if (DT->isPublic())
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001483 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1484 dwarf::DW_ACCESS_public);
1485
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001486 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT->getConstant()))
David Blaikiec0a28412014-05-11 15:56:59 +00001487 addConstantValue(StaticMemberDIE, CI, Ty);
Duncan P. N. Exon Smith1d1a8e02015-04-15 23:49:09 +00001488 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT->getConstant()))
David Blaikiea39a76e2013-01-20 01:18:01 +00001489 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001490
David Blaikie65a74662014-04-25 18:26:14 +00001491 return &StaticMemberDIE;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001492}
David Blaikie6b288cf2013-10-30 20:42:41 +00001493
Rafael Espindola063d7252015-03-10 16:58:10 +00001494void DwarfUnit::emitHeader(bool UseOffsets) {
David Blaikieae57e662014-11-01 23:59:23 +00001495 // Emit size of content not including length itself
Lang Hames9ff69c82015-04-24 19:11:51 +00001496 Asm->OutStreamer->AddComment("Length of Unit");
David Blaikieae57e662014-11-01 23:59:23 +00001497 Asm->EmitInt32(getHeaderSize() + UnitDie.getSize());
1498
Lang Hames9ff69c82015-04-24 19:11:51 +00001499 Asm->OutStreamer->AddComment("DWARF version number");
David Blaikie6b288cf2013-10-30 20:42:41 +00001500 Asm->EmitInt16(DD->getDwarfVersion());
Lang Hames9ff69c82015-04-24 19:11:51 +00001501 Asm->OutStreamer->AddComment("Offset Into Abbrev. Section");
Rafael Espindola063d7252015-03-10 16:58:10 +00001502
David Blaikie6896e192013-12-04 23:39:02 +00001503 // We share one abbreviations table across all units so it's always at the
1504 // start of the section. Use a relocatable offset where needed to ensure
1505 // linking doesn't invalidate that offset.
Rafael Espindola063d7252015-03-10 16:58:10 +00001506 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
1507 if (!UseOffsets)
1508 Asm->emitSectionOffset(TLOF.getDwarfAbbrevSection()->getBeginSymbol());
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001509 else
David Blaikie3c9a3cc2014-03-24 20:53:02 +00001510 Asm->EmitInt32(0);
Rafael Espindola063d7252015-03-10 16:58:10 +00001511
Lang Hames9ff69c82015-04-24 19:11:51 +00001512 Asm->OutStreamer->AddComment("Address Size (in bytes)");
David Blaikie6b288cf2013-10-30 20:42:41 +00001513 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1514}
David Blaikiebc563272013-12-13 21:33:40 +00001515
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001516void DwarfUnit::initSection(MCSection *Section) {
David Blaikiea34568b2014-11-01 20:06:28 +00001517 assert(!this->Section);
1518 this->Section = Section;
David Blaikiea34568b2014-11-01 20:06:28 +00001519}
1520
Rafael Espindola063d7252015-03-10 16:58:10 +00001521void DwarfTypeUnit::emitHeader(bool UseOffsets) {
1522 DwarfUnit::emitHeader(UseOffsets);
Lang Hames9ff69c82015-04-24 19:11:51 +00001523 Asm->OutStreamer->AddComment("Type Signature");
1524 Asm->OutStreamer->EmitIntValue(TypeSignature, sizeof(TypeSignature));
1525 Asm->OutStreamer->AddComment("Type DIE Offset");
David Blaikie15ed5eb2014-01-10 01:38:41 +00001526 // In a skeleton type unit there is no type DIE so emit a zero offset.
Lang Hames9ff69c82015-04-24 19:11:51 +00001527 Asm->OutStreamer->EmitIntValue(Ty ? Ty->getOffset() : 0,
1528 sizeof(Ty->getOffset()));
David Blaikiebc563272013-12-13 21:33:40 +00001529}
1530
David Blaikiecafd9622014-11-02 08:51:37 +00001531bool DwarfTypeUnit::isDwoUnit() const {
1532 // Since there are no skeleton type units, all type units are dwo type units
1533 // when split DWARF is being used.
1534 return DD->useSplitDwarf();
1535}