blob: d3d8251bb2fdec3b2a0bfb504345514d3e08e0bb [file] [log] [blame]
Devang Patel0e821f42011-04-12 23:21:44 +00001//===-- llvm/CodeGen/DwarfCompileUnit.cpp - Dwarf Compile Unit ------------===//
2//
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
14#define DEBUG_TYPE "dwarfdebug"
15
16#include "DwarfCompileUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "DwarfAccelTable.h"
Devang Patel0e821f42011-04-12 23:21:44 +000018#include "DwarfDebug.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Bill Wendlingf799efd2012-06-29 08:32:07 +000020#include "llvm/DIBuilder.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/Constants.h"
22#include "llvm/IR/DataLayout.h"
23#include "llvm/IR/GlobalVariable.h"
24#include "llvm/IR/Instructions.h"
Eric Christopher0a917b72011-11-11 03:16:32 +000025#include "llvm/Support/Debug.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/Support/ErrorHandling.h"
Devang Pateldfd6ec32011-08-15 17:57:41 +000027#include "llvm/Target/Mangler.h"
Devang Patel0e821f42011-04-12 23:21:44 +000028#include "llvm/Target/TargetFrameLowering.h"
29#include "llvm/Target/TargetMachine.h"
David Blaikief2694972013-06-28 20:05:11 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel0e821f42011-04-12 23:21:44 +000031#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel0e821f42011-04-12 23:21:44 +000032
33using namespace llvm;
34
35/// CompileUnit - Compile unit constructor.
Eric Christopherbfceb2f2013-08-26 23:50:38 +000036CompileUnit::CompileUnit(unsigned UID, DIE *D, const MDNode *N, AsmPrinter *A,
37 DwarfDebug *DW, DwarfUnits *DWU)
38 : UniqueID(UID), Node(N), CUDie(D), Asm(A), DD(DW), DU(DWU), IndexTyDie(0),
39 DebugInfoOffset(0) {
Devang Patel0e821f42011-04-12 23:21:44 +000040 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
Eric Christopherc57baee2013-05-08 00:58:51 +000041 insertDIE(N, D);
Devang Patel0e821f42011-04-12 23:21:44 +000042}
43
44/// ~CompileUnit - Destructor for compile unit.
45CompileUnit::~CompileUnit() {
46 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
47 DIEBlocks[j]->~DIEBlock();
48}
49
50/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
51/// information entry.
52DIEEntry *CompileUnit::createDIEEntry(DIE *Entry) {
53 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
54 return Value;
55}
56
Bill Wendling3495f9b2012-12-06 07:55:19 +000057/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling28fe9e72012-12-06 07:38:10 +000058/// DWARF version doesn't handle the language, return -1.
Bill Wendling3495f9b2012-12-06 07:55:19 +000059int64_t CompileUnit::getDefaultLowerBound() const {
Eric Christopherbfceb2f2013-08-26 23:50:38 +000060 switch (DICompileUnit(Node).getLanguage()) {
Bill Wendling28fe9e72012-12-06 07:38:10 +000061 default:
62 break;
63
64 case dwarf::DW_LANG_C89:
65 case dwarf::DW_LANG_C99:
66 case dwarf::DW_LANG_C:
67 case dwarf::DW_LANG_C_plus_plus:
68 case dwarf::DW_LANG_ObjC:
69 case dwarf::DW_LANG_ObjC_plus_plus:
70 return 0;
71
72 case dwarf::DW_LANG_Fortran77:
73 case dwarf::DW_LANG_Fortran90:
74 case dwarf::DW_LANG_Fortran95:
75 return 1;
76
77 // The languages below have valid values only if the DWARF version >= 4.
78 case dwarf::DW_LANG_Java:
79 case dwarf::DW_LANG_Python:
80 case dwarf::DW_LANG_UPC:
81 case dwarf::DW_LANG_D:
82 if (dwarf::DWARF_VERSION >= 4)
83 return 0;
84 break;
85
86 case dwarf::DW_LANG_Ada83:
87 case dwarf::DW_LANG_Ada95:
88 case dwarf::DW_LANG_Cobol74:
89 case dwarf::DW_LANG_Cobol85:
90 case dwarf::DW_LANG_Modula2:
91 case dwarf::DW_LANG_Pascal83:
92 case dwarf::DW_LANG_PLI:
93 if (dwarf::DWARF_VERSION >= 4)
94 return 1;
95 break;
96 }
97
98 return -1;
99}
100
Eric Christopherbb69a272012-08-24 01:14:27 +0000101/// addFlag - Add a flag that is true.
Eric Christopher31b05762013-08-08 01:41:00 +0000102void CompileUnit::addFlag(DIE *Die, uint16_t Attribute) {
Michael Gottesmanc89466f2013-09-04 04:39:38 +0000103 if (DD->getDwarfVersion() >= 4)
Eric Christopherbb69a272012-08-24 01:14:27 +0000104 Die->addValue(Attribute, dwarf::DW_FORM_flag_present,
105 DIEIntegerOne);
106 else
107 addUInt(Die, Attribute, dwarf::DW_FORM_flag, 1);
108}
109
Devang Patel0e821f42011-04-12 23:21:44 +0000110/// addUInt - Add an unsigned integer attribute data and value.
111///
Eric Christopher31b05762013-08-08 01:41:00 +0000112void CompileUnit::addUInt(DIE *Die, uint16_t Attribute,
113 uint16_t Form, uint64_t Integer) {
Devang Patel0e821f42011-04-12 23:21:44 +0000114 if (!Form) Form = DIEInteger::BestForm(false, Integer);
115 DIEValue *Value = Integer == 1 ?
116 DIEIntegerOne : new (DIEValueAllocator) DIEInteger(Integer);
117 Die->addValue(Attribute, Form, Value);
118}
119
120/// addSInt - Add an signed integer attribute data and value.
121///
Eric Christopher31b05762013-08-08 01:41:00 +0000122void CompileUnit::addSInt(DIE *Die, uint16_t Attribute,
123 uint16_t Form, int64_t Integer) {
Devang Patel0e821f42011-04-12 23:21:44 +0000124 if (!Form) Form = DIEInteger::BestForm(true, Integer);
125 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
126 Die->addValue(Attribute, Form, Value);
127}
128
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000129/// addString - Add a string attribute data and value. We always emit a
130/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopherfba22602013-01-07 19:32:45 +0000131/// more predictable sizes. In the case of split dwarf we emit an index
132/// into another table which gets us the static offset into the string
133/// table.
Eric Christopher31b05762013-08-08 01:41:00 +0000134void CompileUnit::addString(DIE *Die, uint16_t Attribute, StringRef String) {
Eric Christopher67646432013-07-26 17:02:41 +0000135 DIEValue *Value;
Eric Christopher31b05762013-08-08 01:41:00 +0000136 uint16_t Form;
Eric Christopher2cbd5762013-01-07 19:32:41 +0000137 if (!DD->useSplitDwarf()) {
138 MCSymbol *Symb = DU->getStringPoolEntry(String);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000139 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000140 Value = new (DIEValueAllocator) DIELabel(Symb);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000141 else {
142 MCSymbol *StringPool = DU->getStringPoolSym();
143 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
144 }
Eric Christopher67646432013-07-26 17:02:41 +0000145 Form = dwarf::DW_FORM_strp;
Eric Christopher2cbd5762013-01-07 19:32:41 +0000146 } else {
147 unsigned idx = DU->getStringPoolIndex(String);
Eric Christopher67646432013-07-26 17:02:41 +0000148 Value = new (DIEValueAllocator) DIEInteger(idx);
149 Form = dwarf::DW_FORM_GNU_str_index;
Eric Christopher2cbd5762013-01-07 19:32:41 +0000150 }
Eric Christopher67646432013-07-26 17:02:41 +0000151 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
152 Die->addValue(Attribute, Form, Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000153}
154
155/// addLocalString - Add a string attribute data and value. This is guaranteed
156/// to be in the local string pool instead of indirected.
Eric Christopher31b05762013-08-08 01:41:00 +0000157void CompileUnit::addLocalString(DIE *Die, uint16_t Attribute,
Eric Christopher2cbd5762013-01-07 19:32:41 +0000158 StringRef String) {
Eric Christophere698f532012-12-20 21:58:36 +0000159 MCSymbol *Symb = DU->getStringPoolEntry(String);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000160 DIEValue *Value;
161 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000162 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000163 else {
Eric Christophere698f532012-12-20 21:58:36 +0000164 MCSymbol *StringPool = DU->getStringPoolSym();
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000165 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000166 }
Nick Lewyckycc64ae12011-10-28 05:29:47 +0000167 Die->addValue(Attribute, dwarf::DW_FORM_strp, Value);
Devang Patel0e821f42011-04-12 23:21:44 +0000168}
169
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000170/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel0e821f42011-04-12 23:21:44 +0000171///
Eric Christopher31b05762013-08-08 01:41:00 +0000172void CompileUnit::addExpr(DIE *Die, uint16_t Attribute, uint16_t Form,
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000173 const MCExpr *Expr) {
174 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
Devang Patel0e821f42011-04-12 23:21:44 +0000175 Die->addValue(Attribute, Form, Value);
176}
177
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000178/// addLabel - Add a Dwarf label attribute data and value.
179///
Eric Christopher31b05762013-08-08 01:41:00 +0000180void CompileUnit::addLabel(DIE *Die, uint16_t Attribute, uint16_t Form,
David Blaikief3cd7c52013-06-28 20:05:04 +0000181 const MCSymbol *Label) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000182 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
183 Die->addValue(Attribute, Form, Value);
Richard Mitton21101b32013-09-19 23:21:01 +0000184
185 SymbolCU Entry;
186 Entry.CU = this;
187 Entry.Sym = Label;
188
189 DD->addLabel(Entry);
David Blaikief3cd7c52013-06-28 20:05:04 +0000190}
191
Eric Christopher962c9082013-01-15 23:56:56 +0000192/// addLabelAddress - Add a dwarf label attribute data and value using
193/// DW_FORM_addr or DW_FORM_GNU_addr_index.
194///
Eric Christopher31b05762013-08-08 01:41:00 +0000195void CompileUnit::addLabelAddress(DIE *Die, uint16_t Attribute,
Eric Christopher962c9082013-01-15 23:56:56 +0000196 MCSymbol *Label) {
Richard Mitton21101b32013-09-19 23:21:01 +0000197 if (Label) {
198 SymbolCU Entry;
199 Entry.CU = this;
200 Entry.Sym = Label;
201
202 DD->addLabel(Entry);
203 }
204
Eric Christopher962c9082013-01-15 23:56:56 +0000205 if (!DD->useSplitDwarf()) {
206 if (Label != NULL) {
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000207 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Eric Christopher962c9082013-01-15 23:56:56 +0000208 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
209 } else {
210 DIEValue *Value = new (DIEValueAllocator) DIEInteger(0);
211 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
212 }
213 } else {
214 unsigned idx = DU->getAddrPoolIndex(Label);
215 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
216 Die->addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
217 }
218}
219
Eric Christophere9ec2452013-01-18 22:11:33 +0000220/// addOpAddress - Add a dwarf op address data and value using the
221/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
222///
David Blaikief3cd7c52013-06-28 20:05:04 +0000223void CompileUnit::addOpAddress(DIE *Die, const MCSymbol *Sym) {
Eric Christophere9ec2452013-01-18 22:11:33 +0000224 if (!DD->useSplitDwarf()) {
225 addUInt(Die, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
226 addLabel(Die, 0, dwarf::DW_FORM_udata, Sym);
227 } else {
Eric Christophere9ec2452013-01-18 22:11:33 +0000228 addUInt(Die, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikie8466ca82013-07-01 23:55:52 +0000229 addUInt(Die, 0, dwarf::DW_FORM_GNU_addr_index, DU->getAddrPoolIndex(Sym));
Eric Christophere9ec2452013-01-18 22:11:33 +0000230 }
231}
232
Devang Patel0e821f42011-04-12 23:21:44 +0000233/// addDelta - Add a label delta attribute data and value.
234///
Eric Christopher31b05762013-08-08 01:41:00 +0000235void CompileUnit::addDelta(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel0e821f42011-04-12 23:21:44 +0000236 const MCSymbol *Hi, const MCSymbol *Lo) {
237 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
238 Die->addValue(Attribute, Form, Value);
239}
240
241/// addDIEEntry - Add a DIE attribute data and value.
242///
Eric Christopher31b05762013-08-08 01:41:00 +0000243void CompileUnit::addDIEEntry(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel0e821f42011-04-12 23:21:44 +0000244 DIE *Entry) {
245 Die->addValue(Attribute, Form, createDIEEntry(Entry));
246}
247
Devang Patel0e821f42011-04-12 23:21:44 +0000248/// addBlock - Add block data.
249///
Eric Christopher31b05762013-08-08 01:41:00 +0000250void CompileUnit::addBlock(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel0e821f42011-04-12 23:21:44 +0000251 DIEBlock *Block) {
252 Block->ComputeSize(Asm);
253 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
254 Die->addValue(Attribute, Block->BestForm(), Block);
255}
256
257/// addSourceLine - Add location information to specified debug information
258/// entry.
259void CompileUnit::addSourceLine(DIE *Die, DIVariable V) {
260 // Verify variable.
Manman Ren7504ed42013-07-08 18:33:29 +0000261 if (!V.isVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000262 return;
Eric Christopher92331fd2012-11-21 00:34:38 +0000263
Devang Patel0e821f42011-04-12 23:21:44 +0000264 unsigned Line = V.getLineNumber();
265 if (Line == 0)
266 return;
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000267 unsigned FileID = DD->getOrCreateSourceID(V.getContext().getFilename(),
Manman Ren1e427202013-03-07 01:42:00 +0000268 V.getContext().getDirectory(),
269 getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000270 assert(FileID && "Invalid file id");
271 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
272 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
273}
274
275/// addSourceLine - Add location information to specified debug information
276/// entry.
277void CompileUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
278 // Verify global variable.
Manman Ren7504ed42013-07-08 18:33:29 +0000279 if (!G.isGlobalVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000280 return;
281
282 unsigned Line = G.getLineNumber();
283 if (Line == 0)
284 return;
Manman Ren1e427202013-03-07 01:42:00 +0000285 unsigned FileID = DD->getOrCreateSourceID(G.getFilename(), G.getDirectory(),
286 getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000287 assert(FileID && "Invalid file id");
288 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
289 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
290}
291
292/// addSourceLine - Add location information to specified debug information
293/// entry.
294void CompileUnit::addSourceLine(DIE *Die, DISubprogram SP) {
295 // Verify subprogram.
Manman Ren7504ed42013-07-08 18:33:29 +0000296 if (!SP.isSubprogram())
Devang Patel0e821f42011-04-12 23:21:44 +0000297 return;
Eric Christopher7734ca22012-03-15 23:55:40 +0000298
Devang Patel0e821f42011-04-12 23:21:44 +0000299 // If the line number is 0, don't add it.
Eric Christopher7734ca22012-03-15 23:55:40 +0000300 unsigned Line = SP.getLineNumber();
301 if (Line == 0)
Devang Patel0e821f42011-04-12 23:21:44 +0000302 return;
303
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000304 unsigned FileID = DD->getOrCreateSourceID(SP.getFilename(),
Manman Ren1e427202013-03-07 01:42:00 +0000305 SP.getDirectory(), getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000306 assert(FileID && "Invalid file id");
307 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
308 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
309}
310
311/// addSourceLine - Add location information to specified debug information
312/// entry.
313void CompileUnit::addSourceLine(DIE *Die, DIType Ty) {
314 // Verify type.
Manman Ren7504ed42013-07-08 18:33:29 +0000315 if (!Ty.isType())
Devang Patel0e821f42011-04-12 23:21:44 +0000316 return;
317
318 unsigned Line = Ty.getLineNumber();
Eric Christopher7734ca22012-03-15 23:55:40 +0000319 if (Line == 0)
Devang Patel0e821f42011-04-12 23:21:44 +0000320 return;
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000321 unsigned FileID = DD->getOrCreateSourceID(Ty.getFilename(),
Manman Ren1e427202013-03-07 01:42:00 +0000322 Ty.getDirectory(), getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000323 assert(FileID && "Invalid file id");
324 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
325 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
326}
327
328/// addSourceLine - Add location information to specified debug information
329/// entry.
Eric Christopher70e1bd82012-03-29 08:42:56 +0000330void CompileUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
331 // Verify type.
Manman Ren7504ed42013-07-08 18:33:29 +0000332 if (!Ty.isObjCProperty())
Eric Christopher70e1bd82012-03-29 08:42:56 +0000333 return;
334
335 unsigned Line = Ty.getLineNumber();
336 if (Line == 0)
337 return;
338 DIFile File = Ty.getFile();
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000339 unsigned FileID = DD->getOrCreateSourceID(File.getFilename(),
Manman Ren1e427202013-03-07 01:42:00 +0000340 File.getDirectory(), getUniqueID());
Eric Christopher70e1bd82012-03-29 08:42:56 +0000341 assert(FileID && "Invalid file id");
342 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
343 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
344}
345
346/// addSourceLine - Add location information to specified debug information
347/// entry.
Devang Patel0e821f42011-04-12 23:21:44 +0000348void CompileUnit::addSourceLine(DIE *Die, DINameSpace NS) {
349 // Verify namespace.
350 if (!NS.Verify())
351 return;
352
353 unsigned Line = NS.getLineNumber();
354 if (Line == 0)
355 return;
356 StringRef FN = NS.getFilename();
357
Manman Ren1e427202013-03-07 01:42:00 +0000358 unsigned FileID = DD->getOrCreateSourceID(FN, NS.getDirectory(),
359 getUniqueID());
Devang Patel0e821f42011-04-12 23:21:44 +0000360 assert(FileID && "Invalid file id");
361 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
362 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
363}
364
Eric Christopher92331fd2012-11-21 00:34:38 +0000365/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000366/// DbgVariable based on provided MachineLocation.
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000367void CompileUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
Devang Patel77dc5412011-04-27 22:45:24 +0000368 MachineLocation Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000369 if (DV.variableHasComplexAddress())
Devang Patel0e821f42011-04-12 23:21:44 +0000370 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000371 else if (DV.isBlockByrefVariable())
Devang Patel0e821f42011-04-12 23:21:44 +0000372 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
373 else
David Blaikieea2605d2013-06-20 00:25:24 +0000374 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000375 DV.getVariable().isIndirect());
Devang Patel0e821f42011-04-12 23:21:44 +0000376}
377
Devang Patelba5fbf12011-04-26 19:06:18 +0000378/// addRegisterOp - Add register operand.
379void CompileUnit::addRegisterOp(DIE *TheDie, unsigned Reg) {
380 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
381 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
382 if (DWReg < 32)
383 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
384 else {
385 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
386 addUInt(TheDie, 0, dwarf::DW_FORM_udata, DWReg);
387 }
388}
389
390/// addRegisterOffset - Add register offset.
391void CompileUnit::addRegisterOffset(DIE *TheDie, unsigned Reg,
392 int64_t Offset) {
393 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
394 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
395 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
396 if (Reg == TRI->getFrameRegister(*Asm->MF))
397 // If variable offset is based in frame register then use fbreg.
398 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
399 else if (DWReg < 32)
400 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
401 else {
402 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
403 addUInt(TheDie, 0, dwarf::DW_FORM_udata, DWReg);
404 }
405 addSInt(TheDie, 0, dwarf::DW_FORM_sdata, Offset);
406}
407
408/// addAddress - Add an address attribute to a die based on the location
409/// provided.
Eric Christopher31b05762013-08-08 01:41:00 +0000410void CompileUnit::addAddress(DIE *Die, uint16_t Attribute,
David Blaikieea2605d2013-06-20 00:25:24 +0000411 const MachineLocation &Location, bool Indirect) {
Devang Patelba5fbf12011-04-26 19:06:18 +0000412 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
413
David Blaikieea2605d2013-06-20 00:25:24 +0000414 if (Location.isReg() && !Indirect)
Devang Patelba5fbf12011-04-26 19:06:18 +0000415 addRegisterOp(Block, Location.getReg());
David Blaikieea2605d2013-06-20 00:25:24 +0000416 else {
Devang Patelba5fbf12011-04-26 19:06:18 +0000417 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
David Blaikieea2605d2013-06-20 00:25:24 +0000418 if (Indirect && !Location.isReg()) {
419 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
420 }
421 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000422
423 // Now attach the location information to the DIE.
424 addBlock(Die, Attribute, 0, Block);
425}
426
Devang Patel0e821f42011-04-12 23:21:44 +0000427/// addComplexAddress - Start with the address based on the location provided,
428/// and generate the DWARF information necessary to find the actual variable
429/// given the extra address information encoded in the DIVariable, starting from
430/// the starting location. Add the DWARF information to the die.
431///
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000432void CompileUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
Eric Christopher31b05762013-08-08 01:41:00 +0000433 uint16_t Attribute,
Devang Patel0e821f42011-04-12 23:21:44 +0000434 const MachineLocation &Location) {
Devang Patel0e821f42011-04-12 23:21:44 +0000435 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000436 unsigned N = DV.getNumAddrElements();
Devang Patel3e021532011-04-28 02:22:40 +0000437 unsigned i = 0;
438 if (Location.isReg()) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000439 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patel3e021532011-04-28 02:22:40 +0000440 // If first address element is OpPlus then emit
441 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000442 addRegisterOffset(Block, Location.getReg(), DV.getAddrElement(1));
Devang Patel3e021532011-04-28 02:22:40 +0000443 i = 2;
444 } else
445 addRegisterOp(Block, Location.getReg());
446 }
Devang Patelba5fbf12011-04-26 19:06:18 +0000447 else
448 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000449
Devang Patel3e021532011-04-28 02:22:40 +0000450 for (;i < N; ++i) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000451 uint64_t Element = DV.getAddrElement(i);
Devang Patel0e821f42011-04-12 23:21:44 +0000452 if (Element == DIBuilder::OpPlus) {
453 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000454 addUInt(Block, 0, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel0e821f42011-04-12 23:21:44 +0000455 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher4d250522012-05-08 18:56:00 +0000456 if (!Location.isReg())
457 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel0e821f42011-04-12 23:21:44 +0000458 } else llvm_unreachable("unknown DIBuilder Opcode");
459 }
460
461 // Now attach the location information to the DIE.
462 addBlock(Die, Attribute, 0, Block);
463}
464
465/* Byref variables, in Blocks, are declared by the programmer as "SomeType
466 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
467 gives the variable VarName either the struct, or a pointer to the struct, as
468 its type. This is necessary for various behind-the-scenes things the
469 compiler needs to do with by-reference variables in Blocks.
470
471 However, as far as the original *programmer* is concerned, the variable
472 should still have type 'SomeType', as originally declared.
473
474 The function getBlockByrefType dives into the __Block_byref_x_VarName
475 struct to find the original type of the variable, which is then assigned to
476 the variable's Debug Information Entry as its real type. So far, so good.
477 However now the debugger will expect the variable VarName to have the type
478 SomeType. So we need the location attribute for the variable to be an
479 expression that explains to the debugger how to navigate through the
480 pointers and struct to find the actual variable of type SomeType.
481
482 The following function does just that. We start by getting
483 the "normal" location for the variable. This will be the location
484 of either the struct __Block_byref_x_VarName or the pointer to the
485 struct __Block_byref_x_VarName.
486
487 The struct will look something like:
488
489 struct __Block_byref_x_VarName {
490 ... <various fields>
491 struct __Block_byref_x_VarName *forwarding;
492 ... <various other fields>
493 SomeType VarName;
494 ... <maybe more fields>
495 };
496
497 If we are given the struct directly (as our starting point) we
498 need to tell the debugger to:
499
500 1). Add the offset of the forwarding field.
501
502 2). Follow that pointer to get the real __Block_byref_x_VarName
503 struct to use (the real one may have been copied onto the heap).
504
505 3). Add the offset for the field VarName, to find the actual variable.
506
507 If we started with a pointer to the struct, then we need to
508 dereference that pointer first, before the other steps.
509 Translating this into DWARF ops, we will need to append the following
510 to the current location description for the variable:
511
512 DW_OP_deref -- optional, if we start with a pointer
513 DW_OP_plus_uconst <forward_fld_offset>
514 DW_OP_deref
515 DW_OP_plus_uconst <varName_fld_offset>
516
517 That is what this function does. */
518
519/// addBlockByrefAddress - Start with the address based on the location
520/// provided, and generate the DWARF information necessary to find the
521/// actual Block variable (navigating the Block struct) based on the
522/// starting location. Add the DWARF information to the die. For
523/// more information, read large comment just above here.
524///
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000525void CompileUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
Eric Christopher31b05762013-08-08 01:41:00 +0000526 uint16_t Attribute,
Devang Patel0e821f42011-04-12 23:21:44 +0000527 const MachineLocation &Location) {
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000528 DIType Ty = DV.getType();
Devang Patel0e821f42011-04-12 23:21:44 +0000529 DIType TmpTy = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000530 uint16_t Tag = Ty.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000531 bool isPointer = false;
532
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000533 StringRef varName = DV.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000534
535 if (Tag == dwarf::DW_TAG_pointer_type) {
536 DIDerivedType DTy = DIDerivedType(Ty);
537 TmpTy = DTy.getTypeDerivedFrom();
538 isPointer = true;
539 }
540
541 DICompositeType blockStruct = DICompositeType(TmpTy);
542
543 // Find the __forwarding field and the variable field in the __Block_byref
544 // struct.
545 DIArray Fields = blockStruct.getTypeArray();
546 DIDescriptor varField = DIDescriptor();
547 DIDescriptor forwardingField = DIDescriptor();
548
549 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
550 DIDescriptor Element = Fields.getElement(i);
551 DIDerivedType DT = DIDerivedType(Element);
552 StringRef fieldName = DT.getName();
553 if (fieldName == "__forwarding")
554 forwardingField = Element;
555 else if (fieldName == varName)
556 varField = Element;
557 }
558
559 // Get the offsets for the forwarding field and the variable field.
560 unsigned forwardingFieldOffset =
561 DIDerivedType(forwardingField).getOffsetInBits() >> 3;
562 unsigned varFieldOffset =
563 DIDerivedType(varField).getOffsetInBits() >> 3;
564
565 // Decode the original location, and use that as the start of the byref
566 // variable's location.
Devang Patel0e821f42011-04-12 23:21:44 +0000567 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
568
Eric Christopheref9d7102012-07-04 02:02:18 +0000569 if (Location.isReg())
570 addRegisterOp(Block, Location.getReg());
571 else
572 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel0e821f42011-04-12 23:21:44 +0000573
574 // If we started with a pointer to the __Block_byref... struct, then
575 // the first thing we need to do is dereference the pointer (DW_OP_deref).
576 if (isPointer)
577 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
578
579 // Next add the offset for the '__forwarding' field:
580 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
581 // adding the offset if it's 0.
582 if (forwardingFieldOffset > 0) {
583 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
584 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
585 }
586
587 // Now dereference the __forwarding field to get to the real __Block_byref
588 // struct: DW_OP_deref.
589 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
590
591 // Now that we've got the real __Block_byref... struct, add the offset
592 // for the variable's field to get to the location of the actual variable:
593 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
594 if (varFieldOffset > 0) {
595 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
596 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
597 }
598
599 // Now attach the location information to the DIE.
600 addBlock(Die, Attribute, 0, Block);
601}
602
Devang Patelbcd50a12011-07-20 21:57:04 +0000603/// isTypeSigned - Return true if the type is signed.
604static bool isTypeSigned(DIType Ty, int *SizeInBits) {
605 if (Ty.isDerivedType())
606 return isTypeSigned(DIDerivedType(Ty).getTypeDerivedFrom(), SizeInBits);
607 if (Ty.isBasicType())
608 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed
609 || DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
610 *SizeInBits = Ty.getSizeInBits();
611 return true;
612 }
613 return false;
614}
615
Devang Patel0e821f42011-04-12 23:21:44 +0000616/// addConstantValue - Add constant value entry in variable DIE.
Eric Christopher78fcf4902013-07-03 01:08:30 +0000617void CompileUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
Devang Patel3c6aed22011-05-27 16:45:18 +0000618 DIType Ty) {
David Blaikiea1e813d2013-05-10 21:52:07 +0000619 // FIXME: This is a bit conservative/simple - it emits negative values at
620 // their maximum bit width which is a bit unfortunate (& doesn't prefer
621 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000622 assert(MO.isImm() && "Invalid machine operand!");
Devang Patelbcd50a12011-07-20 21:57:04 +0000623 int SizeInBits = -1;
624 bool SignedConstant = isTypeSigned(Ty, &SizeInBits);
Eric Christopher9d1daa82013-08-27 23:49:04 +0000625 uint16_t Form;
Devang Patelf1d04702011-05-27 18:15:52 +0000626
Eric Christopher9d1daa82013-08-27 23:49:04 +0000627 // If we're a signed constant definitely use sdata.
628 if (SignedConstant) {
629 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
630 return;
631 }
632
633 // Else use data for now unless it's larger than we can deal with.
634 switch (SizeInBits) {
635 case 8:
636 Form = dwarf::DW_FORM_data1;
637 break;
638 case 16:
639 Form = dwarf::DW_FORM_data2;
640 break;
641 case 32:
642 Form = dwarf::DW_FORM_data4;
643 break;
644 case 64:
645 Form = dwarf::DW_FORM_data8;
646 break;
647 default:
648 Form = dwarf::DW_FORM_udata;
649 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
650 return;
651 }
652 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel0e821f42011-04-12 23:21:44 +0000653}
654
655/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christopher78fcf4902013-07-03 01:08:30 +0000656void CompileUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000657 assert (MO.isFPImm() && "Invalid machine operand!");
Devang Patel0e821f42011-04-12 23:21:44 +0000658 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
659 APFloat FPImm = MO.getFPImm()->getValueAPF();
660
661 // Get the raw data form of the floating point.
662 const APInt FltVal = FPImm.bitcastToAPInt();
663 const char *FltPtr = (const char*)FltVal.getRawData();
664
665 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000666 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000667 int Incr = (LittleEndian ? 1 : -1);
668 int Start = (LittleEndian ? 0 : NumBytes - 1);
669 int Stop = (LittleEndian ? NumBytes : -1);
670
671 // Output the constant to DWARF one byte at a time.
672 for (; Start != Stop; Start += Incr)
673 addUInt(Block, 0, dwarf::DW_FORM_data1,
674 (unsigned char)0xFF & FltPtr[Start]);
675
676 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000677}
678
David Blaikiea39a76e2013-01-20 01:18:01 +0000679/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christopher78fcf4902013-07-03 01:08:30 +0000680void CompileUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000681 // Pass this down to addConstantValue as an unsigned bag of bits.
682 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikiea39a76e2013-01-20 01:18:01 +0000683}
684
Devang Patel0e821f42011-04-12 23:21:44 +0000685/// addConstantValue - Add constant value entry in variable DIE.
Eric Christopher78fcf4902013-07-03 01:08:30 +0000686void CompileUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
Devang Patel0e821f42011-04-12 23:21:44 +0000687 bool Unsigned) {
Eric Christopher78fcf4902013-07-03 01:08:30 +0000688 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikiea39a76e2013-01-20 01:18:01 +0000689}
690
691// addConstantValue - Add constant value entry in variable DIE.
Eric Christopher78fcf4902013-07-03 01:08:30 +0000692void CompileUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikiea39a76e2013-01-20 01:18:01 +0000693 unsigned CIBitWidth = Val.getBitWidth();
Devang Patel8816bbc2011-05-28 00:39:18 +0000694 if (CIBitWidth <= 64) {
Eric Christopher9d1daa82013-08-27 23:49:04 +0000695 // If we're a signed constant definitely use sdata.
696 if (!Unsigned) {
697 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
698 Val.getSExtValue());
699 return;
Devang Patel8816bbc2011-05-28 00:39:18 +0000700 }
Eric Christopher9d1daa82013-08-27 23:49:04 +0000701
702 // Else use data for now unless it's larger than we can deal with.
703 uint16_t Form;
704 switch (CIBitWidth) {
705 case 8:
706 Form = dwarf::DW_FORM_data1;
707 break;
708 case 16:
709 Form = dwarf::DW_FORM_data2;
710 break;
711 case 32:
712 Form = dwarf::DW_FORM_data4;
713 break;
714 case 64:
715 Form = dwarf::DW_FORM_data8;
716 break;
717 default:
718 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
719 Val.getZExtValue());
720 return;
721 }
722 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christopher78fcf4902013-07-03 01:08:30 +0000723 return;
Devang Patel0e821f42011-04-12 23:21:44 +0000724 }
725
726 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
727
728 // Get the raw data form of the large APInt.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000729 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel0e821f42011-04-12 23:21:44 +0000730
731 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000732 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel0e821f42011-04-12 23:21:44 +0000733
734 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumi29ccdd82011-10-28 14:12:22 +0000735 for (int i = 0; i < NumBytes; i++) {
736 uint8_t c;
737 if (LittleEndian)
738 c = Ptr64[i / 8] >> (8 * (i & 7));
739 else
740 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
741 addUInt(Block, 0, dwarf::DW_FORM_data1, c);
742 }
Devang Patel0e821f42011-04-12 23:21:44 +0000743
744 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel0e821f42011-04-12 23:21:44 +0000745}
746
Eric Christopher25e35092013-04-22 07:47:40 +0000747/// addTemplateParams - Add template parameters into buffer.
Devang Patel0e821f42011-04-12 23:21:44 +0000748void CompileUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
749 // Add template parameters.
750 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
751 DIDescriptor Element = TParams.getElement(i);
752 if (Element.isTemplateTypeParameter())
753 Buffer.addChild(getOrCreateTemplateTypeParameterDIE(
754 DITemplateTypeParameter(Element)));
755 else if (Element.isTemplateValueParameter())
756 Buffer.addChild(getOrCreateTemplateValueParameterDIE(
757 DITemplateValueParameter(Element)));
758 }
Devang Patel0e821f42011-04-12 23:21:44 +0000759}
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000760
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000761/// getOrCreateContextDIE - Get context owner's DIE.
762DIE *CompileUnit::getOrCreateContextDIE(DIDescriptor Context) {
763 if (Context.isType())
764 return getOrCreateTypeDIE(DIType(Context));
765 else if (Context.isNameSpace())
766 return getOrCreateNameSpace(DINameSpace(Context));
767 else if (Context.isSubprogram())
768 return getOrCreateSubprogramDIE(DISubprogram(Context));
Eric Christopher25e35092013-04-22 07:47:40 +0000769 else
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000770 return getDIE(Context);
771}
772
Devang Patel0e821f42011-04-12 23:21:44 +0000773/// addToContextOwner - Add Die into the list of its context owner's children.
774void CompileUnit::addToContextOwner(DIE *Die, DIDescriptor Context) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +0000775 if (DIE *ContextDIE = getOrCreateContextDIE(Context))
Devang Patel0e821f42011-04-12 23:21:44 +0000776 ContextDIE->addChild(Die);
777 else
778 addDie(Die);
779}
780
781/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
782/// given DIType.
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000783DIE *CompileUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
784 DIType Ty(TyNode);
Manman Ren7504ed42013-07-08 18:33:29 +0000785 if (!Ty.isType())
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000786 return NULL;
Devang Patel0e821f42011-04-12 23:21:44 +0000787 DIE *TyDIE = getDIE(Ty);
788 if (TyDIE)
789 return TyDIE;
790
791 // Create new type.
792 TyDIE = new DIE(dwarf::DW_TAG_base_type);
793 insertDIE(Ty, TyDIE);
794 if (Ty.isBasicType())
795 constructTypeDIE(*TyDIE, DIBasicType(Ty));
796 else if (Ty.isCompositeType())
797 constructTypeDIE(*TyDIE, DICompositeType(Ty));
798 else {
799 assert(Ty.isDerivedType() && "Unknown kind of DIType");
800 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
801 }
Eric Christophere2887932011-11-10 19:52:58 +0000802 // If this is a named finished type then include it in the list of types
803 // for the accelerator tables.
Eric Christopher21bde872012-01-06 04:35:23 +0000804 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
805 bool IsImplementation = 0;
806 if (Ty.isCompositeType()) {
807 DICompositeType CT(Ty);
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000808 // A runtime language of 0 actually means C/C++ and that any
809 // non-negative value is some version of Objective-C/C++.
Eric Christopher21bde872012-01-06 04:35:23 +0000810 IsImplementation = (CT.getRunTimeLang() == 0) ||
Eric Christopheref64b462012-02-22 08:46:02 +0000811 CT.isObjcClassComplete();
Eric Christopher21bde872012-01-06 04:35:23 +0000812 }
Eric Christophercf7289f2013-09-05 18:20:16 +0000813 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christopher8ea8e4f2012-01-06 23:03:37 +0000814 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
Eric Christopher21bde872012-01-06 04:35:23 +0000815 }
Eric Christopher92331fd2012-11-21 00:34:38 +0000816
Manman Ren116868e2013-09-09 19:47:11 +0000817 addToContextOwner(TyDIE, DD->resolve(Ty.getContext()));
Devang Patel0e821f42011-04-12 23:21:44 +0000818 return TyDIE;
819}
820
821/// addType - Add a new type attribute to the specified entity.
Eric Christopher31b05762013-08-08 01:41:00 +0000822void CompileUnit::addType(DIE *Entity, DIType Ty, uint16_t Attribute) {
Eric Christopher0df08e22013-08-08 07:40:37 +0000823 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel0e821f42011-04-12 23:21:44 +0000824
825 // Check for pre-existence.
826 DIEEntry *Entry = getDIEEntry(Ty);
827 // If it exists then use the existing value.
828 if (Entry) {
Eric Christopher7285c7d2012-03-28 07:34:31 +0000829 Entity->addValue(Attribute, dwarf::DW_FORM_ref4, Entry);
Devang Patel0e821f42011-04-12 23:21:44 +0000830 return;
831 }
832
833 // Construct type.
834 DIE *Buffer = getOrCreateTypeDIE(Ty);
835
836 // Set up proxy.
837 Entry = createDIEEntry(Buffer);
838 insertDIEEntry(Ty, Entry);
Eric Christopher7285c7d2012-03-28 07:34:31 +0000839 Entity->addValue(Attribute, dwarf::DW_FORM_ref4, Entry);
Devang Patele9853f22011-05-31 22:56:51 +0000840
841 // If this is a complete composite type then include it in the
842 // list of global types.
Devang Patel562c7422011-06-01 00:23:24 +0000843 addGlobalType(Ty);
Devang Patel1cb8ab42011-05-31 23:30:30 +0000844}
845
Eric Christopher9cd26af2013-09-20 23:22:52 +0000846// Accelerator table mutators - add each name along with its companion
847// DIE to the proper table while ensuring that the name that we're going
848// to reference is in the string table. We do this since the names we
849// add may not only be identical to the names in the DIE.
850void CompileUnit::addAccelName(StringRef Name, DIE *Die) {
851 DU->getStringPoolEntry(Name);
Eric Christopherb0fc0b92013-09-23 22:59:11 +0000852 std::vector<DIE *> &DIEs = AccelNames[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +0000853 DIEs.push_back(Die);
854}
855
856void CompileUnit::addAccelObjC(StringRef Name, DIE *Die) {
857 DU->getStringPoolEntry(Name);
Eric Christopherb0fc0b92013-09-23 22:59:11 +0000858 std::vector<DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +0000859 DIEs.push_back(Die);
860}
861
862void CompileUnit::addAccelNamespace(StringRef Name, DIE *Die) {
863 DU->getStringPoolEntry(Name);
Eric Christopherb0fc0b92013-09-23 22:59:11 +0000864 std::vector<DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9cd26af2013-09-20 23:22:52 +0000865 DIEs.push_back(Die);
866}
867
868void CompileUnit::addAccelType(StringRef Name, std::pair<DIE *, unsigned> Die) {
869 DU->getStringPoolEntry(Name);
870 std::vector<std::pair<DIE *, unsigned> > &DIEs = AccelTypes[Name];
871 DIEs.push_back(Die);
872}
873
Eric Christopher9c58f312013-09-20 22:20:55 +0000874/// addGlobalName - Add a new global name to the compile unit.
875void CompileUnit::addGlobalName(StringRef Name, DIE *Die) {
876 GlobalNames[Name] = Die;
877}
878
Devang Patel1cb8ab42011-05-31 23:30:30 +0000879/// addGlobalType - Add a new global type to the compile unit.
880///
Devang Patel562c7422011-06-01 00:23:24 +0000881void CompileUnit::addGlobalType(DIType Ty) {
Manman Ren116868e2013-09-09 19:47:11 +0000882 DIDescriptor Context = DD->resolve(Ty.getContext());
Eric Christopher6d0f1e62013-09-23 23:15:58 +0000883 if (!Ty.getName().empty() && !Ty.isForwardDecl() &&
Eric Christopherb0fc0b92013-09-23 22:59:11 +0000884 (!Context || Context.isCompileUnit() || Context.isFile() ||
885 Context.isNameSpace()))
Devang Patel562c7422011-06-01 00:23:24 +0000886 if (DIEEntry *Entry = getDIEEntry(Ty))
887 GlobalTypes[Ty.getName()] = Entry->getEntry();
Devang Patel0e821f42011-04-12 23:21:44 +0000888}
889
Devang Patel17b53272011-05-06 16:57:54 +0000890/// addPubTypes - Add type for pubtypes section.
891void CompileUnit::addPubTypes(DISubprogram SP) {
892 DICompositeType SPTy = SP.getType();
Eric Christopher31b05762013-08-08 01:41:00 +0000893 uint16_t SPTag = SPTy.getTag();
Devang Patel17b53272011-05-06 16:57:54 +0000894 if (SPTag != dwarf::DW_TAG_subroutine_type)
895 return;
896
897 DIArray Args = SPTy.getTypeArray();
898 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
899 DIType ATy(Args.getElement(i));
Manman Ren7504ed42013-07-08 18:33:29 +0000900 if (!ATy.isType())
Devang Patel17b53272011-05-06 16:57:54 +0000901 continue;
Devang Patel562c7422011-06-01 00:23:24 +0000902 addGlobalType(ATy);
Devang Patel17b53272011-05-06 16:57:54 +0000903 }
904}
905
Devang Patel0e821f42011-04-12 23:21:44 +0000906/// constructTypeDIE - Construct basic type die from DIBasicType.
907void CompileUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
908 // Get core information.
909 StringRef Name = BTy.getName();
Devang Patel0e821f42011-04-12 23:21:44 +0000910 // Add name if not anonymous or intermediate type.
911 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000912 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel04d6d472011-09-14 23:13:28 +0000913
914 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type) {
915 Buffer.setTag(dwarf::DW_TAG_unspecified_type);
Eric Christopher93ebdd72013-07-09 23:48:45 +0000916 // An unspecified type only has a name attribute.
Devang Patel04d6d472011-09-14 23:13:28 +0000917 return;
918 }
919
920 Buffer.setTag(dwarf::DW_TAG_base_type);
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000921 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Pateld925d1a2012-02-07 23:33:58 +0000922 BTy.getEncoding());
Devang Patel04d6d472011-09-14 23:13:28 +0000923
Devang Patel0e821f42011-04-12 23:21:44 +0000924 uint64_t Size = BTy.getSizeInBits() >> 3;
925 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
926}
927
928/// constructTypeDIE - Construct derived type die from DIDerivedType.
929void CompileUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
930 // Get core information.
931 StringRef Name = DTy.getName();
932 uint64_t Size = DTy.getSizeInBits() >> 3;
Eric Christopher31b05762013-08-08 01:41:00 +0000933 uint16_t Tag = DTy.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +0000934
935 // FIXME - Workaround for templates.
936 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
937
938 Buffer.setTag(Tag);
939
940 // Map to main type, void will not have a type.
941 DIType FromTy = DTy.getTypeDerivedFrom();
Eric Christopher0df08e22013-08-08 07:40:37 +0000942 if (FromTy)
943 addType(&Buffer, FromTy);
Devang Patel0e821f42011-04-12 23:21:44 +0000944
945 // Add name if not anonymous or intermediate type.
946 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000947 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +0000948
949 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher85757902012-02-21 22:25:53 +0000950 if (Size && Tag != dwarf::DW_TAG_pointer_type)
Devang Patel0e821f42011-04-12 23:21:44 +0000951 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
952
David Blaikie5d3249b2013-01-07 05:51:15 +0000953 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
954 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
Manman Ren60352032013-09-05 18:48:31 +0000955 getOrCreateTypeDIE(DD->resolve(DTy.getClassType())));
Devang Patel0e821f42011-04-12 23:21:44 +0000956 // Add source line info if available and TyDesc is not a forward declaration.
957 if (!DTy.isForwardDecl())
958 addSourceLine(&Buffer, DTy);
959}
960
Eric Christopher67646432013-07-26 17:02:41 +0000961/// Return true if the type is appropriately scoped to be contained inside
962/// its own type unit.
Manman Ren33796c52013-09-09 19:23:58 +0000963static bool isTypeUnitScoped(DIType Ty, const DwarfDebug *DD) {
Manman Ren116868e2013-09-09 19:47:11 +0000964 DIScope Parent = DD->resolve(Ty.getContext());
Eric Christopher67646432013-07-26 17:02:41 +0000965 while (Parent) {
966 // Don't generate a hash for anything scoped inside a function.
967 if (Parent.isSubprogram())
968 return false;
Manman Rende897a362013-09-09 22:35:23 +0000969 Parent = DD->resolve(Parent.getContext());
Eric Christopher67646432013-07-26 17:02:41 +0000970 }
971 return true;
972}
973
974/// Return true if the type should be split out into a type unit.
Manman Ren33796c52013-09-09 19:23:58 +0000975static bool shouldCreateTypeUnit(DICompositeType CTy, const DwarfDebug *DD) {
Eric Christopher31b05762013-08-08 01:41:00 +0000976 uint16_t Tag = CTy.getTag();
Eric Christopher67646432013-07-26 17:02:41 +0000977
978 switch (Tag) {
979 case dwarf::DW_TAG_structure_type:
980 case dwarf::DW_TAG_union_type:
981 case dwarf::DW_TAG_enumeration_type:
982 case dwarf::DW_TAG_class_type:
983 // If this is a class, structure, union, or enumeration type
984 // that is not a declaration, is a type definition, and not scoped
985 // inside a function then separate this out as a type unit.
Manman Ren33796c52013-09-09 19:23:58 +0000986 if (CTy.isForwardDecl() || !isTypeUnitScoped(CTy, DD))
Eric Christopher67646432013-07-26 17:02:41 +0000987 return 0;
988 return 1;
989 default:
990 return 0;
991 }
992}
993
Devang Patel0e821f42011-04-12 23:21:44 +0000994/// constructTypeDIE - Construct type DIE from DICompositeType.
995void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
996 // Get core information.
997 StringRef Name = CTy.getName();
998
999 uint64_t Size = CTy.getSizeInBits() >> 3;
Eric Christopher31b05762013-08-08 01:41:00 +00001000 uint16_t Tag = CTy.getTag();
Devang Patel0e821f42011-04-12 23:21:44 +00001001 Buffer.setTag(Tag);
1002
1003 switch (Tag) {
Devang Patel0e821f42011-04-12 23:21:44 +00001004 case dwarf::DW_TAG_array_type:
1005 constructArrayTypeDIE(Buffer, &CTy);
1006 break;
1007 case dwarf::DW_TAG_enumeration_type: {
1008 DIArray Elements = CTy.getTypeArray();
1009
1010 // Add enumerators to enumeration type.
1011 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1012 DIE *ElemDie = NULL;
1013 DIDescriptor Enum(Elements.getElement(i));
1014 if (Enum.isEnumerator()) {
1015 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum));
1016 Buffer.addChild(ElemDie);
1017 }
1018 }
Eric Christopherc4964352012-05-23 00:09:20 +00001019 DIType DTy = CTy.getTypeDerivedFrom();
Eric Christopher49e17b22013-08-08 07:40:42 +00001020 if (DTy) {
Eric Christopherc4964352012-05-23 00:09:20 +00001021 addType(&Buffer, DTy);
1022 addUInt(&Buffer, dwarf::DW_AT_enum_class, dwarf::DW_FORM_flag, 1);
1023 }
Devang Patel0e821f42011-04-12 23:21:44 +00001024 }
1025 break;
1026 case dwarf::DW_TAG_subroutine_type: {
Eric Christopher0df08e22013-08-08 07:40:37 +00001027 // Add return type. A void return won't have a type.
Devang Patel0e821f42011-04-12 23:21:44 +00001028 DIArray Elements = CTy.getTypeArray();
1029 DIDescriptor RTy = Elements.getElement(0);
Eric Christopher0df08e22013-08-08 07:40:37 +00001030 if (RTy)
1031 addType(&Buffer, DIType(RTy));
Devang Patel0e821f42011-04-12 23:21:44 +00001032
1033 bool isPrototyped = true;
1034 // Add arguments.
1035 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1036 DIDescriptor Ty = Elements.getElement(i);
1037 if (Ty.isUnspecifiedParameter()) {
1038 DIE *Arg = new DIE(dwarf::DW_TAG_unspecified_parameters);
1039 Buffer.addChild(Arg);
1040 isPrototyped = false;
1041 } else {
1042 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1043 addType(Arg, DIType(Ty));
David Blaikie9a7a7a92013-01-29 19:35:24 +00001044 if (DIType(Ty).isArtificial())
1045 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel0e821f42011-04-12 23:21:44 +00001046 Buffer.addChild(Arg);
1047 }
1048 }
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001049 // Add prototype flag if we're dealing with a C language and the
1050 // function has been prototyped.
Eric Christopherbfceb2f2013-08-26 23:50:38 +00001051 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001052 if (isPrototyped &&
Eric Christopherd42b92f2012-05-22 18:45:24 +00001053 (Language == dwarf::DW_LANG_C89 ||
1054 Language == dwarf::DW_LANG_C99 ||
1055 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001056 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Devang Patel0e821f42011-04-12 23:21:44 +00001057 }
1058 break;
1059 case dwarf::DW_TAG_structure_type:
1060 case dwarf::DW_TAG_union_type:
1061 case dwarf::DW_TAG_class_type: {
Devang Patel0e821f42011-04-12 23:21:44 +00001062 // Add elements to structure type.
David Blaikiea1ae0e62013-08-01 20:30:22 +00001063 DIArray Elements = CTy.getTypeArray();
1064 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel0e821f42011-04-12 23:21:44 +00001065 DIDescriptor Element = Elements.getElement(i);
1066 DIE *ElemDie = NULL;
1067 if (Element.isSubprogram()) {
1068 DISubprogram SP(Element);
Devang Patel89543712011-08-15 17:24:54 +00001069 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
Devang Patel0e821f42011-04-12 23:21:44 +00001070 if (SP.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001071 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001072 dwarf::DW_ACCESS_protected);
1073 else if (SP.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001074 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001075 dwarf::DW_ACCESS_private);
Eric Christopher92331fd2012-11-21 00:34:38 +00001076 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001077 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001078 dwarf::DW_ACCESS_public);
1079 if (SP.isExplicit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001080 addFlag(ElemDie, dwarf::DW_AT_explicit);
Eric Christopher7285c7d2012-03-28 07:34:31 +00001081 } else if (Element.isDerivedType()) {
Eric Christopherd42b92f2012-05-22 18:45:24 +00001082 DIDerivedType DDTy(Element);
1083 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
1084 ElemDie = new DIE(dwarf::DW_TAG_friend);
1085 addType(ElemDie, DDTy.getTypeDerivedFrom(), dwarf::DW_AT_friend);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001086 } else if (DDTy.isStaticMember())
1087 ElemDie = createStaticMemberDIE(DDTy);
1088 else
1089 ElemDie = createMemberDIE(DDTy);
Eric Christopher7285c7d2012-03-28 07:34:31 +00001090 } else if (Element.isObjCProperty()) {
Devang Pateld925d1a2012-02-07 23:33:58 +00001091 DIObjCProperty Property(Element);
1092 ElemDie = new DIE(Property.getTag());
1093 StringRef PropertyName = Property.getObjCPropertyName();
1094 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopherd42b92f2012-05-22 18:45:24 +00001095 addType(ElemDie, Property.getType());
1096 addSourceLine(ElemDie, Property);
Devang Pateld925d1a2012-02-07 23:33:58 +00001097 StringRef GetterName = Property.getObjCPropertyGetterName();
1098 if (!GetterName.empty())
1099 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1100 StringRef SetterName = Property.getObjCPropertySetterName();
1101 if (!SetterName.empty())
1102 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1103 unsigned PropertyAttributes = 0;
Devang Patel403e8192012-02-04 01:30:32 +00001104 if (Property.isReadOnlyObjCProperty())
1105 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1106 if (Property.isReadWriteObjCProperty())
1107 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1108 if (Property.isAssignObjCProperty())
1109 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1110 if (Property.isRetainObjCProperty())
1111 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1112 if (Property.isCopyObjCProperty())
1113 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1114 if (Property.isNonAtomicObjCProperty())
1115 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1116 if (PropertyAttributes)
Eric Christopher92331fd2012-11-21 00:34:38 +00001117 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, 0,
Devang Patel403e8192012-02-04 01:30:32 +00001118 PropertyAttributes);
Devang Patel44882172012-02-06 17:49:43 +00001119
Devang Pateld925d1a2012-02-07 23:33:58 +00001120 DIEEntry *Entry = getDIEEntry(Element);
1121 if (!Entry) {
1122 Entry = createDIEEntry(ElemDie);
1123 insertDIEEntry(Element, Entry);
1124 }
Devang Patel403e8192012-02-04 01:30:32 +00001125 } else
Devang Patel0e821f42011-04-12 23:21:44 +00001126 continue;
1127 Buffer.addChild(ElemDie);
1128 }
1129
1130 if (CTy.isAppleBlockExtension())
Eric Christopherbb69a272012-08-24 01:14:27 +00001131 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel0e821f42011-04-12 23:21:44 +00001132
Manman Rend8f798e2013-09-06 18:46:00 +00001133 DICompositeType ContainingType(DD->resolve(CTy.getContainingType()));
Devang Patel0e821f42011-04-12 23:21:44 +00001134 if (DIDescriptor(ContainingType).isCompositeType())
1135 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
1136 getOrCreateTypeDIE(DIType(ContainingType)));
Eric Christopher666dc632013-07-14 21:46:51 +00001137 else
Manman Ren116868e2013-09-09 19:47:11 +00001138 addToContextOwner(&Buffer, DD->resolve(CTy.getContext()));
Devang Patel0e821f42011-04-12 23:21:44 +00001139
Devang Patel12419ae2011-05-12 21:29:42 +00001140 if (CTy.isObjcClassComplete())
Eric Christopherbb69a272012-08-24 01:14:27 +00001141 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patel2409e782011-05-12 19:06:16 +00001142
Eric Christopherda011dd2011-12-16 23:42:42 +00001143 // Add template parameters to a class, structure or union types.
1144 // FIXME: The support isn't in the metadata for this yet.
1145 if (Tag == dwarf::DW_TAG_class_type ||
1146 Tag == dwarf::DW_TAG_structure_type ||
1147 Tag == dwarf::DW_TAG_union_type)
Devang Patel0e821f42011-04-12 23:21:44 +00001148 addTemplateParams(Buffer, CTy.getTemplateParams());
1149
1150 break;
1151 }
1152 default:
1153 break;
1154 }
1155
1156 // Add name if not anonymous or intermediate type.
1157 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001158 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001159
Eric Christopher775cbd22012-05-22 18:45:18 +00001160 if (Tag == dwarf::DW_TAG_enumeration_type ||
1161 Tag == dwarf::DW_TAG_class_type ||
1162 Tag == dwarf::DW_TAG_structure_type ||
1163 Tag == dwarf::DW_TAG_union_type) {
Devang Patel0e821f42011-04-12 23:21:44 +00001164 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher1cf33382012-06-01 00:22:32 +00001165 // TODO: Do we care about size for enum forward declarations?
Devang Patel0e821f42011-04-12 23:21:44 +00001166 if (Size)
1167 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Eric Christopher1cf33382012-06-01 00:22:32 +00001168 else if (!CTy.isForwardDecl())
Devang Patel0e821f42011-04-12 23:21:44 +00001169 // Add zero size if it is not a forward declaration.
Eric Christopher1cf33382012-06-01 00:22:32 +00001170 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
1171
1172 // If we're a forward decl, say so.
1173 if (CTy.isForwardDecl())
Eric Christopherbb69a272012-08-24 01:14:27 +00001174 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel0e821f42011-04-12 23:21:44 +00001175
1176 // Add source line info if available.
1177 if (!CTy.isForwardDecl())
1178 addSourceLine(&Buffer, CTy);
Eric Christopher54cf8ff2012-03-07 00:15:19 +00001179
1180 // No harm in adding the runtime language to the declaration.
1181 unsigned RLang = CTy.getRunTimeLang();
1182 if (RLang)
1183 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
1184 dwarf::DW_FORM_data1, RLang);
Devang Patel0e821f42011-04-12 23:21:44 +00001185 }
Eric Christopher67646432013-07-26 17:02:41 +00001186 // If this is a type applicable to a type unit it then add it to the
1187 // list of types we'll compute a hash for later.
Manman Ren33796c52013-09-09 19:23:58 +00001188 if (shouldCreateTypeUnit(CTy, DD))
Eric Christopher67646432013-07-26 17:02:41 +00001189 DD->addTypeUnitType(&Buffer);
Devang Patel0e821f42011-04-12 23:21:44 +00001190}
1191
Eric Christopher92331fd2012-11-21 00:34:38 +00001192/// getOrCreateTemplateTypeParameterDIE - Find existing DIE or create new DIE
Devang Patel0e821f42011-04-12 23:21:44 +00001193/// for the given DITemplateTypeParameter.
1194DIE *
1195CompileUnit::getOrCreateTemplateTypeParameterDIE(DITemplateTypeParameter TP) {
1196 DIE *ParamDIE = getDIE(TP);
1197 if (ParamDIE)
1198 return ParamDIE;
1199
1200 ParamDIE = new DIE(dwarf::DW_TAG_template_type_parameter);
Eric Christopher056b6472013-08-08 08:09:43 +00001201 // Add the type if it exists, it could be void and therefore no type.
1202 if (TP.getType())
1203 addType(ParamDIE, TP.getType());
David Blaikie2b380232013-06-22 18:59:11 +00001204 if (!TP.getName().empty())
1205 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel0e821f42011-04-12 23:21:44 +00001206 return ParamDIE;
1207}
1208
Eric Christopher92331fd2012-11-21 00:34:38 +00001209/// getOrCreateTemplateValueParameterDIE - Find existing DIE or create new DIE
Devang Patel0e821f42011-04-12 23:21:44 +00001210/// for the given DITemplateValueParameter.
1211DIE *
Eric Christopherafb2c412013-08-08 07:40:31 +00001212CompileUnit::getOrCreateTemplateValueParameterDIE(DITemplateValueParameter VP) {
1213 DIE *ParamDIE = getDIE(VP);
Devang Patel0e821f42011-04-12 23:21:44 +00001214 if (ParamDIE)
1215 return ParamDIE;
1216
Eric Christopherafb2c412013-08-08 07:40:31 +00001217 ParamDIE = new DIE(VP.getTag());
Eric Christopher0df08e22013-08-08 07:40:37 +00001218
1219 // Add the type if there is one, template template and template parameter
1220 // packs will not have a type.
1221 if (VP.getType())
1222 addType(ParamDIE, VP.getType());
Eric Christopherafb2c412013-08-08 07:40:31 +00001223 if (!VP.getName().empty())
1224 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1225 if (Value *Val = VP.getValue()) {
David Blaikiea1e813d2013-05-10 21:52:07 +00001226 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Eric Christopherafb2c412013-08-08 07:40:31 +00001227 addConstantValue(ParamDIE, CI, VP.getType().isUnsignedDIType());
David Blaikiea1e813d2013-05-10 21:52:07 +00001228 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1229 // For declaration non-type template parameters (such as global values and
1230 // functions)
1231 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1232 addOpAddress(Block, Asm->Mang->getSymbol(GV));
1233 // Emit DW_OP_stack_value to use the address as the immediate value of the
1234 // parameter, rather than a pointer to it.
1235 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1236 addBlock(ParamDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopherafb2c412013-08-08 07:40:31 +00001237 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikie2b380232013-06-22 18:59:11 +00001238 assert(isa<MDString>(Val));
1239 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1240 cast<MDString>(Val)->getString());
Eric Christopherafb2c412013-08-08 07:40:31 +00001241 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikie2b380232013-06-22 18:59:11 +00001242 assert(isa<MDNode>(Val));
1243 DIArray A(cast<MDNode>(Val));
1244 addTemplateParams(*ParamDIE, A);
David Blaikiea1e813d2013-05-10 21:52:07 +00001245 }
1246 }
1247
Devang Patel0e821f42011-04-12 23:21:44 +00001248 return ParamDIE;
1249}
1250
Devang Patel17b53272011-05-06 16:57:54 +00001251/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1252DIE *CompileUnit::getOrCreateNameSpace(DINameSpace NS) {
1253 DIE *NDie = getDIE(NS);
1254 if (NDie)
1255 return NDie;
1256 NDie = new DIE(dwarf::DW_TAG_namespace);
1257 insertDIE(NS, NDie);
Eric Christopher4996c702011-11-07 09:24:32 +00001258 if (!NS.getName().empty()) {
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001259 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher4996c702011-11-07 09:24:32 +00001260 addAccelNamespace(NS.getName(), NDie);
Eric Christopher55364d72013-09-24 00:17:57 +00001261 addGlobalName(NS.getName(), NDie);
Eric Christopher4996c702011-11-07 09:24:32 +00001262 } else
1263 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel17b53272011-05-06 16:57:54 +00001264 addSourceLine(NDie, NS);
1265 addToContextOwner(NDie, NS.getContext());
1266 return NDie;
1267}
1268
Devang Patel89543712011-08-15 17:24:54 +00001269/// getOrCreateSubprogramDIE - Create new DIE using SP.
1270DIE *CompileUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
1271 DIE *SPDie = getDIE(SP);
1272 if (SPDie)
1273 return SPDie;
1274
Peter Collingbourne4d358b52012-05-27 18:36:44 +00001275 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1276
1277 // DW_TAG_inlined_subroutine may refer to this DIE.
1278 insertDIE(SP, SPDie);
1279
Rafael Espindola79278362011-11-10 22:34:29 +00001280 DISubprogram SPDecl = SP.getFunctionDeclaration();
1281 DIE *DeclDie = NULL;
1282 if (SPDecl.isSubprogram()) {
1283 DeclDie = getOrCreateSubprogramDIE(SPDecl);
1284 }
1285
Devang Patel89543712011-08-15 17:24:54 +00001286 // Add to context owner.
1287 addToContextOwner(SPDie, SP.getContext());
1288
1289 // Add function template parameters.
1290 addTemplateParams(*SPDie, SP.getTemplateParams());
1291
Devang Patel89543712011-08-15 17:24:54 +00001292 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherf20ff972013-05-09 00:42:33 +00001293 // then there is no need to add other attributes.
Rafael Espindola79278362011-11-10 22:34:29 +00001294 if (DeclDie) {
1295 // Refer function declaration directly.
1296 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1297 DeclDie);
1298
Devang Patel89543712011-08-15 17:24:54 +00001299 return SPDie;
Rafael Espindola79278362011-11-10 22:34:29 +00001300 }
Devang Patel89543712011-08-15 17:24:54 +00001301
Eric Christopheracb71152012-08-23 22:52:55 +00001302 // Add the linkage name if we have one.
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001303 StringRef LinkageName = SP.getLinkageName();
1304 if (!LinkageName.empty())
Eric Christopheracb71152012-08-23 22:52:55 +00001305 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001306 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopheracb71152012-08-23 22:52:55 +00001307
Devang Patel89543712011-08-15 17:24:54 +00001308 // Constructors and operators for anonymous aggregates do not have names.
1309 if (!SP.getName().empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001310 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Patel89543712011-08-15 17:24:54 +00001311
1312 addSourceLine(SPDie, SP);
1313
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001314 // Add the prototype if we have a prototype and we have a C like
1315 // language.
Eric Christopherbfceb2f2013-08-26 23:50:38 +00001316 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher5cd2a9d2012-02-22 08:46:21 +00001317 if (SP.isPrototyped() &&
1318 (Language == dwarf::DW_LANG_C89 ||
1319 Language == dwarf::DW_LANG_C99 ||
1320 Language == dwarf::DW_LANG_ObjC))
Eric Christopherbb69a272012-08-24 01:14:27 +00001321 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Patel89543712011-08-15 17:24:54 +00001322
Eric Christopher0df08e22013-08-08 07:40:37 +00001323 // Add Return Type. A void return type will not have a type.
Devang Patel89543712011-08-15 17:24:54 +00001324 DICompositeType SPTy = SP.getType();
David Blaikie5174c842013-05-22 23:22:18 +00001325 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1326 "the type of a subprogram should be a subroutine");
Devang Patel89543712011-08-15 17:24:54 +00001327
David Blaikie5174c842013-05-22 23:22:18 +00001328 DIArray Args = SPTy.getTypeArray();
Eric Christopher0df08e22013-08-08 07:40:37 +00001329 if (Args.getElement(0))
1330 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel89543712011-08-15 17:24:54 +00001331
1332 unsigned VK = SP.getVirtuality();
1333 if (VK) {
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001334 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Patel89543712011-08-15 17:24:54 +00001335 DIEBlock *Block = getDIEBlock();
1336 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1337 addUInt(Block, 0, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1338 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
1339 ContainingTypeMap.insert(std::make_pair(SPDie,
Manman Renc4ae9b32013-09-07 00:04:05 +00001340 DD->resolve(SP.getContainingType())));
Devang Patel89543712011-08-15 17:24:54 +00001341 }
1342
1343 if (!SP.isDefinition()) {
Eric Christopherbb69a272012-08-24 01:14:27 +00001344 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher92331fd2012-11-21 00:34:38 +00001345
Devang Patel89543712011-08-15 17:24:54 +00001346 // Add arguments. Do not add arguments for subprogram definition. They will
1347 // be handled while processing variables.
David Blaikie5174c842013-05-22 23:22:18 +00001348 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1349 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1350 DIType ATy = DIType(Args.getElement(i));
1351 addType(Arg, ATy);
1352 if (ATy.isArtificial())
1353 addFlag(Arg, dwarf::DW_AT_artificial);
1354 SPDie->addChild(Arg);
1355 }
Devang Patel89543712011-08-15 17:24:54 +00001356 }
1357
1358 if (SP.isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001359 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Patel89543712011-08-15 17:24:54 +00001360
1361 if (!SP.isLocalToUnit())
Eric Christopherbb69a272012-08-24 01:14:27 +00001362 addFlag(SPDie, dwarf::DW_AT_external);
Devang Patel89543712011-08-15 17:24:54 +00001363
1364 if (SP.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +00001365 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Patel89543712011-08-15 17:24:54 +00001366
1367 if (unsigned isa = Asm->getISAEncoding()) {
1368 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1369 }
1370
1371 return SPDie;
1372}
1373
Devang Pateldfd6ec32011-08-15 17:57:41 +00001374// Return const expression if value is a GEP to access merged global
1375// constant. e.g.
1376// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1377static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1378 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1379 if (!CE || CE->getNumOperands() != 3 ||
1380 CE->getOpcode() != Instruction::GetElementPtr)
1381 return NULL;
1382
1383 // First operand points to a global struct.
1384 Value *Ptr = CE->getOperand(0);
1385 if (!isa<GlobalValue>(Ptr) ||
1386 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1387 return NULL;
1388
1389 // Second operand is zero.
1390 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1391 if (!CI || !CI->isZero())
1392 return NULL;
1393
1394 // Third operand is offset.
1395 if (!isa<ConstantInt>(CE->getOperand(2)))
1396 return NULL;
1397
1398 return CE;
1399}
1400
1401/// createGlobalVariableDIE - create global variable DIE.
1402void CompileUnit::createGlobalVariableDIE(const MDNode *N) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001403 // Check for pre-existence.
Devang Patela6576a12011-08-18 22:21:50 +00001404 if (getDIE(N))
Devang Pateldfd6ec32011-08-15 17:57:41 +00001405 return;
1406
Devang Patela6576a12011-08-18 22:21:50 +00001407 DIGlobalVariable GV(N);
Manman Ren7504ed42013-07-08 18:33:29 +00001408 if (!GV.isGlobalVariable())
Devang Patel0ecbcbd2011-08-18 23:17:55 +00001409 return;
1410
Devang Pateldfd6ec32011-08-15 17:57:41 +00001411 DIDescriptor GVContext = GV.getContext();
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001412 DIType GTy = GV.getType();
1413
1414 // If this is a static data member definition, some attributes belong
1415 // to the declaration DIE.
1416 DIE *VariableDIE = NULL;
Manman Rene697d3c2013-02-01 23:54:37 +00001417 bool IsStaticMember = false;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001418 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1419 if (SDMDecl.Verify()) {
1420 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1421 // We need the declaration DIE that is in the static member's class.
1422 // But that class might not exist in the DWARF yet.
1423 // Creating the class will create the static member decl DIE.
Manman Ren116868e2013-09-09 19:47:11 +00001424 getOrCreateContextDIE(DD->resolve(SDMDecl.getContext()));
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001425 VariableDIE = getDIE(SDMDecl);
1426 assert(VariableDIE && "Static member decl has no context?");
Manman Rene697d3c2013-02-01 23:54:37 +00001427 IsStaticMember = true;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001428 }
1429
1430 // If this is not a static data member definition, create the variable
1431 // DIE and add the initial set of attributes to it.
1432 if (!VariableDIE) {
1433 VariableDIE = new DIE(GV.getTag());
1434 // Add to map.
1435 insertDIE(N, VariableDIE);
1436
1437 // Add name and type.
1438 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1439 addType(VariableDIE, GTy);
1440
1441 // Add scoping info.
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00001442 if (!GV.isLocalToUnit()) {
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001443 addFlag(VariableDIE, dwarf::DW_AT_external);
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00001444 addGlobalName(GV.getName(), VariableDIE);
1445 }
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001446
1447 // Add line number info.
1448 addSourceLine(VariableDIE, GV);
1449 // Add to context owner.
1450 addToContextOwner(VariableDIE, GVContext);
1451 }
1452
Devang Pateldfd6ec32011-08-15 17:57:41 +00001453 // Add location.
Eric Christopher4996c702011-11-07 09:24:32 +00001454 bool addToAccelTable = false;
Eric Christopher0a917b72011-11-11 03:16:32 +00001455 DIE *VariableSpecDIE = NULL;
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001456 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001457 if (isGlobalVariable) {
Eric Christopher4996c702011-11-07 09:24:32 +00001458 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001459 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
David Blaikief2694972013-06-28 20:05:11 +00001460 const MCSymbol *Sym = Asm->Mang->getSymbol(GV.getGlobal());
1461 if (GV.getGlobal()->isThreadLocal()) {
1462 // FIXME: Make this work with -gsplit-dwarf.
1463 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1464 assert((PointerSize == 4 || PointerSize == 8) &&
1465 "Add support for other sizes if necessary");
Ulrich Weigand2b6fc8d2013-07-02 18:47:09 +00001466 const MCExpr *Expr =
David Blaikie8466ca82013-07-01 23:55:52 +00001467 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikief2694972013-06-28 20:05:11 +00001468 // Based on GCC's support for TLS:
David Blaikie8466ca82013-07-01 23:55:52 +00001469 if (!DD->useSplitDwarf()) {
1470 // 1) Start with a constNu of the appropriate pointer size
1471 addUInt(Block, 0, dwarf::DW_FORM_data1,
1472 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
1473 // 2) containing the (relocated) address of the TLS variable
Ulrich Weigand2b6fc8d2013-07-02 18:47:09 +00001474 addExpr(Block, 0, dwarf::DW_FORM_udata, Expr);
David Blaikie8466ca82013-07-01 23:55:52 +00001475 } else {
1476 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
Ulrich Weigand2b6fc8d2013-07-02 18:47:09 +00001477 addUInt(Block, 0, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8466ca82013-07-01 23:55:52 +00001478 }
David Blaikief2694972013-06-28 20:05:11 +00001479 // 3) followed by a custom OP to tell the debugger about TLS (presumably)
1480 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_lo_user);
1481 } else
1482 addOpAddress(Block, Sym);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001483 // Do not create specification DIE if context is either compile unit
1484 // or a subprogram.
Devang Patel5e6b65c2011-09-21 23:41:11 +00001485 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren3eb9dff2013-09-09 19:05:21 +00001486 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Pateldfd6ec32011-08-15 17:57:41 +00001487 // Create specification DIE.
Eric Christopherc12c2112011-11-11 01:55:22 +00001488 VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001489 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1490 dwarf::DW_FORM_ref4, VariableDIE);
1491 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001492 // A static member's declaration is already flagged as such.
1493 if (!SDMDecl.Verify())
1494 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Pateldfd6ec32011-08-15 17:57:41 +00001495 addDie(VariableSpecDIE);
1496 } else {
1497 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher4996c702011-11-07 09:24:32 +00001498 }
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001499 // Add the linkage name.
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001500 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001501 if (!LinkageName.empty())
Eric Christopher3f79b8c2013-02-27 23:49:47 +00001502 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1503 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1504 // TAG_variable.
Manman Ren584e4c02013-02-27 23:21:02 +00001505 addString(IsStaticMember && VariableSpecDIE ?
1506 VariableSpecDIE : VariableDIE, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c275642013-06-01 17:51:14 +00001507 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher92331fd2012-11-21 00:34:38 +00001508 } else if (const ConstantInt *CI =
Manman Rene697d3c2013-02-01 23:54:37 +00001509 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl322f41d2013-04-04 22:56:49 +00001510 // AT_const_value was added when the static member was created. To avoid
Manman Rene697d3c2013-02-01 23:54:37 +00001511 // emitting AT_const_value multiple times, we only add AT_const_value when
1512 // it is not a static member.
1513 if (!IsStaticMember)
1514 addConstantValue(VariableDIE, CI, GTy.isUnsignedDIType());
1515 } else if (const ConstantExpr *CE = getMergedGlobalExpr(N->getOperand(11))) {
Eric Christopher4996c702011-11-07 09:24:32 +00001516 addToAccelTable = true;
Devang Pateldfd6ec32011-08-15 17:57:41 +00001517 // GV is a merged global.
1518 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1519 Value *Ptr = CE->getOperand(0);
Eric Christophere9ec2452013-01-18 22:11:33 +00001520 addOpAddress(Block, Asm->Mang->getSymbol(cast<GlobalValue>(Ptr)));
Devang Pateldfd6ec32011-08-15 17:57:41 +00001521 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1522 SmallVector<Value*, 3> Idx(CE->op_begin()+1, CE->op_end());
Eric Christopher92331fd2012-11-21 00:34:38 +00001523 addUInt(Block, 0, dwarf::DW_FORM_udata,
Micah Villmowcdfe20b2012-10-08 16:38:25 +00001524 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
Devang Pateldfd6ec32011-08-15 17:57:41 +00001525 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1526 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
1527 }
1528
Eric Christopherc12c2112011-11-11 01:55:22 +00001529 if (addToAccelTable) {
1530 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1531 addAccelName(GV.getName(), AddrDIE);
Eric Christopher4996c702011-11-07 09:24:32 +00001532
Eric Christopherc12c2112011-11-11 01:55:22 +00001533 // If the linkage name is different than the name, go ahead and output
1534 // that as well into the name table.
1535 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1536 addAccelName(GV.getLinkageName(), AddrDIE);
1537 }
Devang Pateldfd6ec32011-08-15 17:57:41 +00001538}
1539
Devang Patel0e821f42011-04-12 23:21:44 +00001540/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christopherd42b92f2012-05-22 18:45:24 +00001541void CompileUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR,
1542 DIE *IndexTy) {
Devang Patel0e821f42011-04-12 23:21:44 +00001543 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1544 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel0e821f42011-04-12 23:21:44 +00001545
Bill Wendling28fe9e72012-12-06 07:38:10 +00001546 // The LowerBound value defines the lower bounds which is typically zero for
1547 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1548 // Count == -1 then the array is unbounded and we do not emit
1549 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1550 // Count == 0, then the array has zero elements in which case we do not emit
1551 // an upper bound.
1552 int64_t LowerBound = SR.getLo();
Bill Wendling3495f9b2012-12-06 07:55:19 +00001553 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendlingd7767122012-12-04 21:34:03 +00001554 int64_t Count = SR.getCount();
Devang Patel0e821f42011-04-12 23:21:44 +00001555
Bill Wendling3495f9b2012-12-06 07:55:19 +00001556 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
Bill Wendling28fe9e72012-12-06 07:38:10 +00001557 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, LowerBound);
1558
1559 if (Count != -1 && Count != 0)
Bill Wendlingd7767122012-12-04 21:34:03 +00001560 // FIXME: An unbounded array should reference the expression that defines
1561 // the array.
Bill Wendling28fe9e72012-12-06 07:38:10 +00001562 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, LowerBound + Count - 1);
Bill Wendlingd7767122012-12-04 21:34:03 +00001563
Devang Patel0e821f42011-04-12 23:21:44 +00001564 Buffer.addChild(DW_Subrange);
1565}
1566
1567/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
1568void CompileUnit::constructArrayTypeDIE(DIE &Buffer,
1569 DICompositeType *CTy) {
1570 Buffer.setTag(dwarf::DW_TAG_array_type);
Eric Christopher72a52952013-01-08 01:53:52 +00001571 if (CTy->isVector())
Eric Christopherbb69a272012-08-24 01:14:27 +00001572 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel0e821f42011-04-12 23:21:44 +00001573
Eric Christopher0df08e22013-08-08 07:40:37 +00001574 // Emit the element type.
Devang Patel0e821f42011-04-12 23:21:44 +00001575 addType(&Buffer, CTy->getTypeDerivedFrom());
Devang Patel0e821f42011-04-12 23:21:44 +00001576
1577 // Get an anonymous type for index type.
Eric Christophercad9b532013-01-04 21:51:53 +00001578 // FIXME: This type should be passed down from the front end
1579 // as different languages may have different sizes for indexes.
Devang Patel0e821f42011-04-12 23:21:44 +00001580 DIE *IdxTy = getIndexTyDie();
1581 if (!IdxTy) {
1582 // Construct an anonymous type for index type.
1583 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Eric Christophercad9b532013-01-04 21:51:53 +00001584 addString(IdxTy, dwarf::DW_AT_name, "int");
Devang Patel0e821f42011-04-12 23:21:44 +00001585 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1586 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1587 dwarf::DW_ATE_signed);
1588 addDie(IdxTy);
1589 setIndexTyDie(IdxTy);
1590 }
1591
1592 // Add subranges to array type.
Eric Christopher0df08e22013-08-08 07:40:37 +00001593 DIArray Elements = CTy->getTypeArray();
Devang Patel0e821f42011-04-12 23:21:44 +00001594 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1595 DIDescriptor Element = Elements.getElement(i);
1596 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1597 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1598 }
1599}
1600
1601/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
1602DIE *CompileUnit::constructEnumTypeDIE(DIEnumerator ETy) {
1603 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
1604 StringRef Name = ETy.getName();
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001605 addString(Enumerator, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001606 int64_t Value = ETy.getEnumValue();
1607 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
1608 return Enumerator;
1609}
1610
Devang Patel89543712011-08-15 17:24:54 +00001611/// constructContainingTypeDIEs - Construct DIEs for types that contain
1612/// vtables.
1613void CompileUnit::constructContainingTypeDIEs() {
1614 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
1615 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1616 DIE *SPDie = CI->first;
1617 const MDNode *N = CI->second;
1618 if (!N) continue;
1619 DIE *NDie = getDIE(N);
1620 if (!NDie) continue;
1621 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1622 }
1623}
1624
Devang Patel3acc70e2011-08-15 22:04:40 +00001625/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christopherbf2d23c2013-06-24 21:07:27 +00001626DIE *CompileUnit::constructVariableDIE(DbgVariable *DV,
1627 bool isScopeAbstract) {
Devang Patel3acc70e2011-08-15 22:04:40 +00001628 StringRef Name = DV->getName();
Devang Patel3acc70e2011-08-15 22:04:40 +00001629
1630 // Translate tag to proper Dwarf tag.
Eric Christopher31b05762013-08-08 01:41:00 +00001631 uint16_t Tag = DV->getTag();
Devang Patel3acc70e2011-08-15 22:04:40 +00001632
1633 // Define variable debug information entry.
1634 DIE *VariableDie = new DIE(Tag);
1635 DbgVariable *AbsVar = DV->getAbstractVariable();
1636 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren4213c392013-05-29 17:16:59 +00001637 if (AbsDIE)
Devang Patel3acc70e2011-08-15 22:04:40 +00001638 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Manman Ren4213c392013-05-29 17:16:59 +00001639 dwarf::DW_FORM_ref4, AbsDIE);
Devang Patel3acc70e2011-08-15 22:04:40 +00001640 else {
David Blaikie715528b2013-08-19 03:34:03 +00001641 if (!Name.empty())
1642 addString(VariableDie, dwarf::DW_AT_name, Name);
Devang Patel3acc70e2011-08-15 22:04:40 +00001643 addSourceLine(VariableDie, DV->getVariable());
1644 addType(VariableDie, DV->getType());
1645 }
1646
1647 if (DV->isArtificial())
Eric Christopherbb69a272012-08-24 01:14:27 +00001648 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Patel3acc70e2011-08-15 22:04:40 +00001649
1650 if (isScopeAbstract) {
1651 DV->setDIE(VariableDie);
1652 return VariableDie;
1653 }
1654
1655 // Add variable address.
1656
1657 unsigned Offset = DV->getDotDebugLocOffset();
1658 if (Offset != ~0U) {
Eric Christopher40b6bf62013-06-24 21:34:55 +00001659 addLabel(VariableDie, dwarf::DW_AT_location, dwarf::DW_FORM_data4,
1660 Asm->GetTempSymbol("debug_loc", Offset));
Devang Patel3acc70e2011-08-15 22:04:40 +00001661 DV->setDIE(VariableDie);
1662 return VariableDie;
1663 }
1664
Eric Christophercead0332011-10-03 15:49:20 +00001665 // Check if variable is described by a DBG_VALUE instruction.
Devang Patel3acc70e2011-08-15 22:04:40 +00001666 if (const MachineInstr *DVInsn = DV->getMInsn()) {
David Blaikie0252265b2013-06-16 20:34:15 +00001667 assert(DVInsn->getNumOperands() == 3);
1668 if (DVInsn->getOperand(0).isReg()) {
1669 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantl19942882013-07-09 21:44:06 +00001670 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl418d1d12013-07-09 20:28:37 +00001671 if (DVInsn->getOperand(1).isImm()) {
1672 MachineLocation Location(RegOp.getReg(), DVInsn->getOperand(1).getImm());
Eric Christopherbf2d23c2013-06-24 21:07:27 +00001673 addVariableAddress(*DV, VariableDie, Location);
David Blaikie0252265b2013-06-16 20:34:15 +00001674 } else if (RegOp.getReg())
Eric Christopherbf2d23c2013-06-24 21:07:27 +00001675 addVariableAddress(*DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie0252265b2013-06-16 20:34:15 +00001676 } else if (DVInsn->getOperand(0).isImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001677 addConstantValue(VariableDie, DVInsn->getOperand(0), DV->getType());
David Blaikie0252265b2013-06-16 20:34:15 +00001678 else if (DVInsn->getOperand(0).isFPImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001679 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie0252265b2013-06-16 20:34:15 +00001680 else if (DVInsn->getOperand(0).isCImm())
Eric Christopher78fcf4902013-07-03 01:08:30 +00001681 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
1682 DV->getType().isUnsignedDIType());
1683
Devang Patel3acc70e2011-08-15 22:04:40 +00001684 DV->setDIE(VariableDie);
1685 return VariableDie;
1686 } else {
1687 // .. else use frame index.
1688 int FI = DV->getFrameIndex();
1689 if (FI != ~0) {
1690 unsigned FrameReg = 0;
1691 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopher92331fd2012-11-21 00:34:38 +00001692 int Offset =
Devang Patel3acc70e2011-08-15 22:04:40 +00001693 TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1694 MachineLocation Location(FrameReg, Offset);
Eric Christopherbf2d23c2013-06-24 21:07:27 +00001695 addVariableAddress(*DV, VariableDie, Location);
Devang Patel3acc70e2011-08-15 22:04:40 +00001696 }
1697 }
1698
1699 DV->setDIE(VariableDie);
1700 return VariableDie;
1701}
1702
Devang Patel0e821f42011-04-12 23:21:44 +00001703/// createMemberDIE - Create new member DIE.
1704DIE *CompileUnit::createMemberDIE(DIDerivedType DT) {
1705 DIE *MemberDie = new DIE(DT.getTag());
1706 StringRef Name = DT.getName();
1707 if (!Name.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +00001708 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel0e821f42011-04-12 23:21:44 +00001709
1710 addType(MemberDie, DT.getTypeDerivedFrom());
1711
1712 addSourceLine(MemberDie, DT);
1713
1714 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
1715 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1716
1717 uint64_t Size = DT.getSizeInBits();
1718 uint64_t FieldSize = DT.getOriginalTypeSize();
1719
1720 if (Size != FieldSize) {
1721 // Handle bitfield.
1722 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1723 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
1724
1725 uint64_t Offset = DT.getOffsetInBits();
1726 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1727 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1728 uint64_t FieldOffset = (HiMark - FieldSize);
1729 Offset -= FieldOffset;
1730
1731 // Maybe we need to work from the other end.
Micah Villmowcdfe20b2012-10-08 16:38:25 +00001732 if (Asm->getDataLayout().isLittleEndian())
Devang Patel0e821f42011-04-12 23:21:44 +00001733 Offset = FieldSize - (Offset + Size);
1734 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
1735
1736 // Here WD_AT_data_member_location points to the anonymous
1737 // field that includes this bit field.
1738 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
1739
1740 } else
1741 // This is not a bitfield.
1742 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
1743
1744 if (DT.getTag() == dwarf::DW_TAG_inheritance
1745 && DT.isVirtual()) {
1746
1747 // For C++, virtual base classes are not at fixed offset. Use following
1748 // expression to extract appropriate offset from vtable.
1749 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1750
1751 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
1752 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1753 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1754 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1755 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1756 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1757 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1758 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1759
1760 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1761 VBaseLocationDie);
1762 } else
1763 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
1764
1765 if (DT.isProtected())
Nick Lewyckycb918492011-12-13 05:09:11 +00001766 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001767 dwarf::DW_ACCESS_protected);
1768 else if (DT.isPrivate())
Nick Lewyckycb918492011-12-13 05:09:11 +00001769 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001770 dwarf::DW_ACCESS_private);
1771 // Otherwise C++ member and base classes are considered public.
Eric Christopher92331fd2012-11-21 00:34:38 +00001772 else
Nick Lewyckycb918492011-12-13 05:09:11 +00001773 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001774 dwarf::DW_ACCESS_public);
1775 if (DT.isVirtual())
Nick Lewyckycfde1a22011-12-14 00:56:07 +00001776 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel0e821f42011-04-12 23:21:44 +00001777 dwarf::DW_VIRTUALITY_virtual);
Devang Patel514b4002011-04-16 00:11:51 +00001778
1779 // Objective-C properties.
Devang Patel44882172012-02-06 17:49:43 +00001780 if (MDNode *PNode = DT.getObjCProperty())
1781 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher92331fd2012-11-21 00:34:38 +00001782 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel44882172012-02-06 17:49:43 +00001783 PropertyDie);
1784
David Blaikie37fefc32012-12-13 22:43:07 +00001785 if (DT.isArtificial())
1786 addFlag(MemberDie, dwarf::DW_AT_artificial);
1787
Devang Patel0e821f42011-04-12 23:21:44 +00001788 return MemberDie;
1789}
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001790
1791/// createStaticMemberDIE - Create new DIE for C++ static member.
1792DIE *CompileUnit::createStaticMemberDIE(const DIDerivedType DT) {
1793 if (!DT.Verify())
1794 return NULL;
1795
1796 DIE *StaticMemberDIE = new DIE(DT.getTag());
1797 DIType Ty = DT.getTypeDerivedFrom();
1798
1799 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1800 addType(StaticMemberDIE, Ty);
1801 addSourceLine(StaticMemberDIE, DT);
1802 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1803 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1804
1805 // FIXME: We could omit private if the parent is a class_type, and
1806 // public if the parent is something else.
1807 if (DT.isProtected())
1808 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1809 dwarf::DW_ACCESS_protected);
1810 else if (DT.isPrivate())
1811 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1812 dwarf::DW_ACCESS_private);
1813 else
1814 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1815 dwarf::DW_ACCESS_public);
1816
1817 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
1818 addConstantValue(StaticMemberDIE, CI, Ty.isUnsignedDIType());
David Blaikiea39a76e2013-01-20 01:18:01 +00001819 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1820 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher4d23a4a2013-01-16 01:22:23 +00001821
1822 insertDIE(DT, StaticMemberDIE);
1823 return StaticMemberDIE;
1824}