blob: c6bd7abebd3dd1842adaa9af0aca9669e3672f3b [file] [log] [blame]
Devang Patel161b2f42011-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 Christopher443c9ed2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel161b2f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "dwarfdebug"
15
16#include "DwarfCompileUnit.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000017#include "DwarfAccelTable.h"
Devang Patel161b2f42011-04-12 23:21:44 +000018#include "DwarfDebug.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Bill Wendling16eeb6f2012-06-29 08:32:07 +000020#include "llvm/DIBuilder.h"
Chandler Carruth0b8c9a82013-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 Christopherd61c34b2011-11-11 03:16:32 +000025#include "llvm/Support/Debug.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000026#include "llvm/Support/ErrorHandling.h"
Devang Patel6f9d8ff2011-08-15 17:57:41 +000027#include "llvm/Target/Mangler.h"
Devang Patel161b2f42011-04-12 23:21:44 +000028#include "llvm/Target/TargetFrameLowering.h"
29#include "llvm/Target/TargetMachine.h"
David Blaikie59eaa382013-06-28 20:05:11 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel161b2f42011-04-12 23:21:44 +000031#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel161b2f42011-04-12 23:21:44 +000032
33using namespace llvm;
34
35/// CompileUnit - Compile unit constructor.
Eric Christopher7b878952013-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 Patel161b2f42011-04-12 23:21:44 +000040 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
Eric Christopher9c57ad22013-05-08 00:58:51 +000041 insertDIE(N, D);
Devang Patel161b2f42011-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 Wendling6afe4782012-12-06 07:55:19 +000057/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling222c2fd2012-12-06 07:38:10 +000058/// DWARF version doesn't handle the language, return -1.
Bill Wendling6afe4782012-12-06 07:55:19 +000059int64_t CompileUnit::getDefaultLowerBound() const {
Eric Christopher7b878952013-08-26 23:50:38 +000060 switch (DICompileUnit(Node).getLanguage()) {
Bill Wendling222c2fd2012-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 Christopher873cf0a2012-08-24 01:14:27 +0000101/// addFlag - Add a flag that is true.
Eric Christopher31667622013-08-08 01:41:00 +0000102void CompileUnit::addFlag(DIE *Die, uint16_t Attribute) {
Michael Gottesmandc42d032013-09-04 04:39:38 +0000103 if (DD->getDwarfVersion() >= 4)
Eric Christopher873cf0a2012-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 Patel161b2f42011-04-12 23:21:44 +0000110/// addUInt - Add an unsigned integer attribute data and value.
111///
Eric Christopher31667622013-08-08 01:41:00 +0000112void CompileUnit::addUInt(DIE *Die, uint16_t Attribute,
113 uint16_t Form, uint64_t Integer) {
Devang Patel161b2f42011-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 Christopher31667622013-08-08 01:41:00 +0000122void CompileUnit::addSInt(DIE *Die, uint16_t Attribute,
123 uint16_t Form, int64_t Integer) {
Devang Patel161b2f42011-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 Lewycky6a7efcf2011-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 Christopher3cc42202013-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 Christopher31667622013-08-08 01:41:00 +0000134void CompileUnit::addString(DIE *Die, uint16_t Attribute, StringRef String) {
Eric Christopher3dee5752013-07-26 17:02:41 +0000135 DIEValue *Value;
Eric Christopher31667622013-08-08 01:41:00 +0000136 uint16_t Form;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000137 if (!DD->useSplitDwarf()) {
138 MCSymbol *Symb = DU->getStringPoolEntry(String);
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000139 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000140 Value = new (DIEValueAllocator) DIELabel(Symb);
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000141 else {
142 MCSymbol *StringPool = DU->getStringPoolSym();
143 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
144 }
Eric Christopher3dee5752013-07-26 17:02:41 +0000145 Form = dwarf::DW_FORM_strp;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000146 } else {
147 unsigned idx = DU->getStringPoolIndex(String);
Eric Christopher3dee5752013-07-26 17:02:41 +0000148 Value = new (DIEValueAllocator) DIEInteger(idx);
149 Form = dwarf::DW_FORM_GNU_str_index;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000150 }
Eric Christopher3dee5752013-07-26 17:02:41 +0000151 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
152 Die->addValue(Attribute, Form, Str);
Eric Christopherdd8e9f32013-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 Christopher31667622013-08-08 01:41:00 +0000157void CompileUnit::addLocalString(DIE *Die, uint16_t Attribute,
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000158 StringRef String) {
Eric Christopher2e5d8702012-12-20 21:58:36 +0000159 MCSymbol *Symb = DU->getStringPoolEntry(String);
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000160 DIEValue *Value;
161 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000162 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000163 else {
Eric Christopher2e5d8702012-12-20 21:58:36 +0000164 MCSymbol *StringPool = DU->getStringPoolSym();
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000165 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewycky390c40d2011-10-27 06:44:11 +0000166 }
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000167 Die->addValue(Attribute, dwarf::DW_FORM_strp, Value);
Devang Patel161b2f42011-04-12 23:21:44 +0000168}
169
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000170/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel161b2f42011-04-12 23:21:44 +0000171///
Eric Christopher31667622013-08-08 01:41:00 +0000172void CompileUnit::addExpr(DIE *Die, uint16_t Attribute, uint16_t Form,
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000173 const MCExpr *Expr) {
174 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
Devang Patel161b2f42011-04-12 23:21:44 +0000175 Die->addValue(Attribute, Form, Value);
176}
177
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000178/// addLabel - Add a Dwarf label attribute data and value.
179///
Eric Christopher31667622013-08-08 01:41:00 +0000180void CompileUnit::addLabel(DIE *Die, uint16_t Attribute, uint16_t Form,
David Blaikie95e72c92013-06-28 20:05:04 +0000181 const MCSymbol *Label) {
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000182 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
183 Die->addValue(Attribute, Form, Value);
David Blaikie95e72c92013-06-28 20:05:04 +0000184}
185
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000186/// addLabelAddress - Add a dwarf label attribute data and value using
187/// DW_FORM_addr or DW_FORM_GNU_addr_index.
188///
Eric Christopher31667622013-08-08 01:41:00 +0000189void CompileUnit::addLabelAddress(DIE *Die, uint16_t Attribute,
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000190 MCSymbol *Label) {
Alexey Samsonov9d08d692013-10-03 08:54:43 +0000191 if (Label)
192 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton5cc319a2013-09-19 23:21:01 +0000193
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000194 if (!DD->useSplitDwarf()) {
195 if (Label != NULL) {
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000196 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000197 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
198 } else {
199 DIEValue *Value = new (DIEValueAllocator) DIEInteger(0);
200 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
201 }
202 } else {
203 unsigned idx = DU->getAddrPoolIndex(Label);
204 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
205 Die->addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
206 }
207}
208
Eric Christopher0969ddf2013-01-18 22:11:33 +0000209/// addOpAddress - Add a dwarf op address data and value using the
210/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
211///
David Blaikie95e72c92013-06-28 20:05:04 +0000212void CompileUnit::addOpAddress(DIE *Die, const MCSymbol *Sym) {
Alexey Samsonov9d08d692013-10-03 08:54:43 +0000213 DD->addArangeLabel(SymbolCU(this, Sym));
Eric Christopher0969ddf2013-01-18 22:11:33 +0000214 if (!DD->useSplitDwarf()) {
215 addUInt(Die, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
216 addLabel(Die, 0, dwarf::DW_FORM_udata, Sym);
217 } else {
Eric Christopher0969ddf2013-01-18 22:11:33 +0000218 addUInt(Die, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikie8fed05e2013-07-01 23:55:52 +0000219 addUInt(Die, 0, dwarf::DW_FORM_GNU_addr_index, DU->getAddrPoolIndex(Sym));
Eric Christopher0969ddf2013-01-18 22:11:33 +0000220 }
221}
222
Devang Patel161b2f42011-04-12 23:21:44 +0000223/// addDelta - Add a label delta attribute data and value.
224///
Eric Christopher31667622013-08-08 01:41:00 +0000225void CompileUnit::addDelta(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel161b2f42011-04-12 23:21:44 +0000226 const MCSymbol *Hi, const MCSymbol *Lo) {
227 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
228 Die->addValue(Attribute, Form, Value);
229}
230
231/// addDIEEntry - Add a DIE attribute data and value.
232///
Eric Christopher31667622013-08-08 01:41:00 +0000233void CompileUnit::addDIEEntry(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel161b2f42011-04-12 23:21:44 +0000234 DIE *Entry) {
Manman Ren620f4362013-10-01 19:52:23 +0000235 DD->addDIEEntry(Die, Attribute, Form, createDIEEntry(Entry));
Devang Patel161b2f42011-04-12 23:21:44 +0000236}
237
Devang Patel161b2f42011-04-12 23:21:44 +0000238/// addBlock - Add block data.
239///
Eric Christopher31667622013-08-08 01:41:00 +0000240void CompileUnit::addBlock(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel161b2f42011-04-12 23:21:44 +0000241 DIEBlock *Block) {
242 Block->ComputeSize(Asm);
243 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
244 Die->addValue(Attribute, Block->BestForm(), Block);
245}
246
247/// addSourceLine - Add location information to specified debug information
248/// entry.
249void CompileUnit::addSourceLine(DIE *Die, DIVariable V) {
250 // Verify variable.
Manman Rend03d2b22013-07-08 18:33:29 +0000251 if (!V.isVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000252 return;
Eric Christopher8b4310b2012-11-21 00:34:38 +0000253
Devang Patel161b2f42011-04-12 23:21:44 +0000254 unsigned Line = V.getLineNumber();
255 if (Line == 0)
256 return;
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000257 unsigned FileID = DD->getOrCreateSourceID(V.getContext().getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000258 V.getContext().getDirectory(),
259 getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000260 assert(FileID && "Invalid file id");
261 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
262 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
263}
264
265/// addSourceLine - Add location information to specified debug information
266/// entry.
267void CompileUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
268 // Verify global variable.
Manman Rend03d2b22013-07-08 18:33:29 +0000269 if (!G.isGlobalVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000270 return;
271
272 unsigned Line = G.getLineNumber();
273 if (Line == 0)
274 return;
Manman Ren3de61b42013-03-07 01:42:00 +0000275 unsigned FileID = DD->getOrCreateSourceID(G.getFilename(), G.getDirectory(),
276 getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000277 assert(FileID && "Invalid file id");
278 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
279 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
280}
281
282/// addSourceLine - Add location information to specified debug information
283/// entry.
284void CompileUnit::addSourceLine(DIE *Die, DISubprogram SP) {
285 // Verify subprogram.
Manman Rend03d2b22013-07-08 18:33:29 +0000286 if (!SP.isSubprogram())
Devang Patel161b2f42011-04-12 23:21:44 +0000287 return;
Eric Christopher2125d5a2012-03-15 23:55:40 +0000288
Devang Patel161b2f42011-04-12 23:21:44 +0000289 // If the line number is 0, don't add it.
Eric Christopher2125d5a2012-03-15 23:55:40 +0000290 unsigned Line = SP.getLineNumber();
291 if (Line == 0)
Devang Patel161b2f42011-04-12 23:21:44 +0000292 return;
293
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000294 unsigned FileID = DD->getOrCreateSourceID(SP.getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000295 SP.getDirectory(), getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000296 assert(FileID && "Invalid file id");
297 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
298 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
299}
300
301/// addSourceLine - Add location information to specified debug information
302/// entry.
303void CompileUnit::addSourceLine(DIE *Die, DIType Ty) {
304 // Verify type.
Manman Rend03d2b22013-07-08 18:33:29 +0000305 if (!Ty.isType())
Devang Patel161b2f42011-04-12 23:21:44 +0000306 return;
307
308 unsigned Line = Ty.getLineNumber();
Eric Christopher2125d5a2012-03-15 23:55:40 +0000309 if (Line == 0)
Devang Patel161b2f42011-04-12 23:21:44 +0000310 return;
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000311 unsigned FileID = DD->getOrCreateSourceID(Ty.getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000312 Ty.getDirectory(), getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000313 assert(FileID && "Invalid file id");
314 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
315 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
316}
317
318/// addSourceLine - Add location information to specified debug information
319/// entry.
Eric Christopherb8ca9882012-03-29 08:42:56 +0000320void CompileUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
321 // Verify type.
Manman Rend03d2b22013-07-08 18:33:29 +0000322 if (!Ty.isObjCProperty())
Eric Christopherb8ca9882012-03-29 08:42:56 +0000323 return;
324
325 unsigned Line = Ty.getLineNumber();
326 if (Line == 0)
327 return;
328 DIFile File = Ty.getFile();
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000329 unsigned FileID = DD->getOrCreateSourceID(File.getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000330 File.getDirectory(), getUniqueID());
Eric Christopherb8ca9882012-03-29 08:42:56 +0000331 assert(FileID && "Invalid file id");
332 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
333 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
334}
335
336/// addSourceLine - Add location information to specified debug information
337/// entry.
Devang Patel161b2f42011-04-12 23:21:44 +0000338void CompileUnit::addSourceLine(DIE *Die, DINameSpace NS) {
339 // Verify namespace.
340 if (!NS.Verify())
341 return;
342
343 unsigned Line = NS.getLineNumber();
344 if (Line == 0)
345 return;
346 StringRef FN = NS.getFilename();
347
Manman Ren3de61b42013-03-07 01:42:00 +0000348 unsigned FileID = DD->getOrCreateSourceID(FN, NS.getDirectory(),
349 getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000350 assert(FileID && "Invalid file id");
351 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
352 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
353}
354
Eric Christopher8b4310b2012-11-21 00:34:38 +0000355/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patele1cdf842011-04-27 22:45:24 +0000356/// DbgVariable based on provided MachineLocation.
Eric Christopherf61dbc12013-06-24 21:07:27 +0000357void CompileUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
Devang Patele1cdf842011-04-27 22:45:24 +0000358 MachineLocation Location) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000359 if (DV.variableHasComplexAddress())
Devang Patel161b2f42011-04-12 23:21:44 +0000360 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherf61dbc12013-06-24 21:07:27 +0000361 else if (DV.isBlockByrefVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000362 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
363 else
David Blaikie4532c282013-06-20 00:25:24 +0000364 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherf61dbc12013-06-24 21:07:27 +0000365 DV.getVariable().isIndirect());
Devang Patel161b2f42011-04-12 23:21:44 +0000366}
367
Devang Patel116da2f2011-04-26 19:06:18 +0000368/// addRegisterOp - Add register operand.
369void CompileUnit::addRegisterOp(DIE *TheDie, unsigned Reg) {
370 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
371 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
372 if (DWReg < 32)
373 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
374 else {
375 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
376 addUInt(TheDie, 0, dwarf::DW_FORM_udata, DWReg);
377 }
378}
379
380/// addRegisterOffset - Add register offset.
381void CompileUnit::addRegisterOffset(DIE *TheDie, unsigned Reg,
382 int64_t Offset) {
383 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
384 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
385 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
386 if (Reg == TRI->getFrameRegister(*Asm->MF))
387 // If variable offset is based in frame register then use fbreg.
388 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
389 else if (DWReg < 32)
390 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
391 else {
392 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
393 addUInt(TheDie, 0, dwarf::DW_FORM_udata, DWReg);
394 }
395 addSInt(TheDie, 0, dwarf::DW_FORM_sdata, Offset);
396}
397
398/// addAddress - Add an address attribute to a die based on the location
399/// provided.
Eric Christopher31667622013-08-08 01:41:00 +0000400void CompileUnit::addAddress(DIE *Die, uint16_t Attribute,
David Blaikie4532c282013-06-20 00:25:24 +0000401 const MachineLocation &Location, bool Indirect) {
Devang Patel116da2f2011-04-26 19:06:18 +0000402 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
403
David Blaikie4532c282013-06-20 00:25:24 +0000404 if (Location.isReg() && !Indirect)
Devang Patel116da2f2011-04-26 19:06:18 +0000405 addRegisterOp(Block, Location.getReg());
David Blaikie4532c282013-06-20 00:25:24 +0000406 else {
Devang Patel116da2f2011-04-26 19:06:18 +0000407 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
David Blaikie4532c282013-06-20 00:25:24 +0000408 if (Indirect && !Location.isReg()) {
409 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
410 }
411 }
Devang Patel116da2f2011-04-26 19:06:18 +0000412
413 // Now attach the location information to the DIE.
414 addBlock(Die, Attribute, 0, Block);
415}
416
Devang Patel161b2f42011-04-12 23:21:44 +0000417/// addComplexAddress - Start with the address based on the location provided,
418/// and generate the DWARF information necessary to find the actual variable
419/// given the extra address information encoded in the DIVariable, starting from
420/// the starting location. Add the DWARF information to the die.
421///
Eric Christopherf61dbc12013-06-24 21:07:27 +0000422void CompileUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
Eric Christopher31667622013-08-08 01:41:00 +0000423 uint16_t Attribute,
Devang Patel161b2f42011-04-12 23:21:44 +0000424 const MachineLocation &Location) {
Devang Patel161b2f42011-04-12 23:21:44 +0000425 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Eric Christopherf61dbc12013-06-24 21:07:27 +0000426 unsigned N = DV.getNumAddrElements();
Devang Patelc26f5442011-04-28 02:22:40 +0000427 unsigned i = 0;
428 if (Location.isReg()) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000429 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patelc26f5442011-04-28 02:22:40 +0000430 // If first address element is OpPlus then emit
431 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopherf61dbc12013-06-24 21:07:27 +0000432 addRegisterOffset(Block, Location.getReg(), DV.getAddrElement(1));
Devang Patelc26f5442011-04-28 02:22:40 +0000433 i = 2;
434 } else
435 addRegisterOp(Block, Location.getReg());
436 }
Devang Patel116da2f2011-04-26 19:06:18 +0000437 else
438 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel161b2f42011-04-12 23:21:44 +0000439
Devang Patelc26f5442011-04-28 02:22:40 +0000440 for (;i < N; ++i) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000441 uint64_t Element = DV.getAddrElement(i);
Devang Patel161b2f42011-04-12 23:21:44 +0000442 if (Element == DIBuilder::OpPlus) {
443 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Eric Christopherf61dbc12013-06-24 21:07:27 +0000444 addUInt(Block, 0, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel161b2f42011-04-12 23:21:44 +0000445 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher50120762012-05-08 18:56:00 +0000446 if (!Location.isReg())
447 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel161b2f42011-04-12 23:21:44 +0000448 } else llvm_unreachable("unknown DIBuilder Opcode");
449 }
450
451 // Now attach the location information to the DIE.
452 addBlock(Die, Attribute, 0, Block);
453}
454
455/* Byref variables, in Blocks, are declared by the programmer as "SomeType
456 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
457 gives the variable VarName either the struct, or a pointer to the struct, as
458 its type. This is necessary for various behind-the-scenes things the
459 compiler needs to do with by-reference variables in Blocks.
460
461 However, as far as the original *programmer* is concerned, the variable
462 should still have type 'SomeType', as originally declared.
463
464 The function getBlockByrefType dives into the __Block_byref_x_VarName
465 struct to find the original type of the variable, which is then assigned to
466 the variable's Debug Information Entry as its real type. So far, so good.
467 However now the debugger will expect the variable VarName to have the type
468 SomeType. So we need the location attribute for the variable to be an
469 expression that explains to the debugger how to navigate through the
470 pointers and struct to find the actual variable of type SomeType.
471
472 The following function does just that. We start by getting
473 the "normal" location for the variable. This will be the location
474 of either the struct __Block_byref_x_VarName or the pointer to the
475 struct __Block_byref_x_VarName.
476
477 The struct will look something like:
478
479 struct __Block_byref_x_VarName {
480 ... <various fields>
481 struct __Block_byref_x_VarName *forwarding;
482 ... <various other fields>
483 SomeType VarName;
484 ... <maybe more fields>
485 };
486
487 If we are given the struct directly (as our starting point) we
488 need to tell the debugger to:
489
490 1). Add the offset of the forwarding field.
491
492 2). Follow that pointer to get the real __Block_byref_x_VarName
493 struct to use (the real one may have been copied onto the heap).
494
495 3). Add the offset for the field VarName, to find the actual variable.
496
497 If we started with a pointer to the struct, then we need to
498 dereference that pointer first, before the other steps.
499 Translating this into DWARF ops, we will need to append the following
500 to the current location description for the variable:
501
502 DW_OP_deref -- optional, if we start with a pointer
503 DW_OP_plus_uconst <forward_fld_offset>
504 DW_OP_deref
505 DW_OP_plus_uconst <varName_fld_offset>
506
507 That is what this function does. */
508
509/// addBlockByrefAddress - Start with the address based on the location
510/// provided, and generate the DWARF information necessary to find the
511/// actual Block variable (navigating the Block struct) based on the
512/// starting location. Add the DWARF information to the die. For
513/// more information, read large comment just above here.
514///
Eric Christopherf61dbc12013-06-24 21:07:27 +0000515void CompileUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
Eric Christopher31667622013-08-08 01:41:00 +0000516 uint16_t Attribute,
Devang Patel161b2f42011-04-12 23:21:44 +0000517 const MachineLocation &Location) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000518 DIType Ty = DV.getType();
Devang Patel161b2f42011-04-12 23:21:44 +0000519 DIType TmpTy = Ty;
Eric Christopher31667622013-08-08 01:41:00 +0000520 uint16_t Tag = Ty.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +0000521 bool isPointer = false;
522
Eric Christopherf61dbc12013-06-24 21:07:27 +0000523 StringRef varName = DV.getName();
Devang Patel161b2f42011-04-12 23:21:44 +0000524
525 if (Tag == dwarf::DW_TAG_pointer_type) {
526 DIDerivedType DTy = DIDerivedType(Ty);
Manman Ren2b530892013-10-01 23:45:54 +0000527 TmpTy = DD->resolve(DTy.getTypeDerivedFrom());
Devang Patel161b2f42011-04-12 23:21:44 +0000528 isPointer = true;
529 }
530
531 DICompositeType blockStruct = DICompositeType(TmpTy);
532
533 // Find the __forwarding field and the variable field in the __Block_byref
534 // struct.
535 DIArray Fields = blockStruct.getTypeArray();
536 DIDescriptor varField = DIDescriptor();
537 DIDescriptor forwardingField = DIDescriptor();
538
539 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
540 DIDescriptor Element = Fields.getElement(i);
541 DIDerivedType DT = DIDerivedType(Element);
542 StringRef fieldName = DT.getName();
543 if (fieldName == "__forwarding")
544 forwardingField = Element;
545 else if (fieldName == varName)
546 varField = Element;
547 }
548
549 // Get the offsets for the forwarding field and the variable field.
550 unsigned forwardingFieldOffset =
551 DIDerivedType(forwardingField).getOffsetInBits() >> 3;
552 unsigned varFieldOffset =
553 DIDerivedType(varField).getOffsetInBits() >> 3;
554
555 // Decode the original location, and use that as the start of the byref
556 // variable's location.
Devang Patel161b2f42011-04-12 23:21:44 +0000557 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
558
Eric Christophercaba2632012-07-04 02:02:18 +0000559 if (Location.isReg())
560 addRegisterOp(Block, Location.getReg());
561 else
562 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel161b2f42011-04-12 23:21:44 +0000563
564 // If we started with a pointer to the __Block_byref... struct, then
565 // the first thing we need to do is dereference the pointer (DW_OP_deref).
566 if (isPointer)
567 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
568
569 // Next add the offset for the '__forwarding' field:
570 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
571 // adding the offset if it's 0.
572 if (forwardingFieldOffset > 0) {
573 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
574 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
575 }
576
577 // Now dereference the __forwarding field to get to the real __Block_byref
578 // struct: DW_OP_deref.
579 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
580
581 // Now that we've got the real __Block_byref... struct, add the offset
582 // for the variable's field to get to the location of the actual variable:
583 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
584 if (varFieldOffset > 0) {
585 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
586 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
587 }
588
589 // Now attach the location information to the DIE.
590 addBlock(Die, Attribute, 0, Block);
591}
592
Devang Patel4ec14b02011-07-20 21:57:04 +0000593/// isTypeSigned - Return true if the type is signed.
Manman Ren2b530892013-10-01 23:45:54 +0000594static bool isTypeSigned(DwarfDebug *DD, DIType Ty, int *SizeInBits) {
Devang Patel4ec14b02011-07-20 21:57:04 +0000595 if (Ty.isDerivedType())
Manman Ren2b530892013-10-01 23:45:54 +0000596 return isTypeSigned(DD, DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()),
597 SizeInBits);
Devang Patel4ec14b02011-07-20 21:57:04 +0000598 if (Ty.isBasicType())
599 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed
600 || DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
601 *SizeInBits = Ty.getSizeInBits();
602 return true;
603 }
604 return false;
605}
606
Manman Ren2b530892013-10-01 23:45:54 +0000607/// Return true if type encoding is unsigned.
608static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
609 DIDerivedType DTy(Ty);
610 if (DTy.isDerivedType())
611 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
612
613 DIBasicType BTy(Ty);
614 if (BTy.isBasicType()) {
615 unsigned Encoding = BTy.getEncoding();
616 if (Encoding == dwarf::DW_ATE_unsigned ||
617 Encoding == dwarf::DW_ATE_unsigned_char ||
618 Encoding == dwarf::DW_ATE_boolean)
619 return true;
620 }
621 return false;
622}
623
624/// If this type is derived from a base type then return base type size.
625static uint64_t getOriginalTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
626 unsigned Tag = Ty.getTag();
627
628 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
629 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
630 Tag != dwarf::DW_TAG_restrict_type)
631 return Ty.getSizeInBits();
632
633 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
634
635 // If this type is not derived from any type then take conservative approach.
636 if (!BaseType.isValid())
637 return Ty.getSizeInBits();
638
639 // If this is a derived type, go ahead and get the base type, unless it's a
640 // reference then it's just the size of the field. Pointer types have no need
641 // of this since they're a different type of qualification on the type.
642 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
643 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
644 return Ty.getSizeInBits();
645
646 if (BaseType.isDerivedType())
647 return getOriginalTypeSize(DD, DIDerivedType(BaseType));
648
649 return BaseType.getSizeInBits();
650}
651
Devang Patel161b2f42011-04-12 23:21:44 +0000652/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000653void CompileUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
Devang Patelb58128e2011-05-27 16:45:18 +0000654 DIType Ty) {
David Blaikie4de9d722013-05-10 21:52:07 +0000655 // FIXME: This is a bit conservative/simple - it emits negative values at
656 // their maximum bit width which is a bit unfortunate (& doesn't prefer
657 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky746cb672011-10-26 22:55:33 +0000658 assert(MO.isImm() && "Invalid machine operand!");
Devang Patel4ec14b02011-07-20 21:57:04 +0000659 int SizeInBits = -1;
Manman Ren2b530892013-10-01 23:45:54 +0000660 bool SignedConstant = isTypeSigned(DD, Ty, &SizeInBits);
Eric Christopher7b2ee392013-08-27 23:49:04 +0000661 uint16_t Form;
Devang Patel72f0d9c2011-05-27 18:15:52 +0000662
Eric Christopher7b2ee392013-08-27 23:49:04 +0000663 // If we're a signed constant definitely use sdata.
664 if (SignedConstant) {
665 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
666 return;
667 }
668
669 // Else use data for now unless it's larger than we can deal with.
670 switch (SizeInBits) {
671 case 8:
672 Form = dwarf::DW_FORM_data1;
673 break;
674 case 16:
675 Form = dwarf::DW_FORM_data2;
676 break;
677 case 32:
678 Form = dwarf::DW_FORM_data4;
679 break;
680 case 64:
681 Form = dwarf::DW_FORM_data8;
682 break;
683 default:
684 Form = dwarf::DW_FORM_udata;
685 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
686 return;
687 }
688 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel161b2f42011-04-12 23:21:44 +0000689}
690
691/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000692void CompileUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Nick Lewycky390c40d2011-10-27 06:44:11 +0000693 assert (MO.isFPImm() && "Invalid machine operand!");
Devang Patel161b2f42011-04-12 23:21:44 +0000694 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
695 APFloat FPImm = MO.getFPImm()->getValueAPF();
696
697 // Get the raw data form of the floating point.
698 const APInt FltVal = FPImm.bitcastToAPInt();
699 const char *FltPtr = (const char*)FltVal.getRawData();
700
701 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmow3574eca2012-10-08 16:38:25 +0000702 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel161b2f42011-04-12 23:21:44 +0000703 int Incr = (LittleEndian ? 1 : -1);
704 int Start = (LittleEndian ? 0 : NumBytes - 1);
705 int Stop = (LittleEndian ? NumBytes : -1);
706
707 // Output the constant to DWARF one byte at a time.
708 for (; Start != Stop; Start += Incr)
709 addUInt(Block, 0, dwarf::DW_FORM_data1,
710 (unsigned char)0xFF & FltPtr[Start]);
711
712 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000713}
714
David Blaikie14268412013-01-20 01:18:01 +0000715/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000716void CompileUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher7b2ee392013-08-27 23:49:04 +0000717 // Pass this down to addConstantValue as an unsigned bag of bits.
718 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikie14268412013-01-20 01:18:01 +0000719}
720
Devang Patel161b2f42011-04-12 23:21:44 +0000721/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000722void CompileUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
Devang Patel161b2f42011-04-12 23:21:44 +0000723 bool Unsigned) {
Eric Christophere4721492013-07-03 01:08:30 +0000724 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikie14268412013-01-20 01:18:01 +0000725}
726
727// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000728void CompileUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikie14268412013-01-20 01:18:01 +0000729 unsigned CIBitWidth = Val.getBitWidth();
Devang Pateld6a81362011-05-28 00:39:18 +0000730 if (CIBitWidth <= 64) {
Eric Christopher7b2ee392013-08-27 23:49:04 +0000731 // If we're a signed constant definitely use sdata.
732 if (!Unsigned) {
733 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
734 Val.getSExtValue());
735 return;
Devang Pateld6a81362011-05-28 00:39:18 +0000736 }
Eric Christopher7b2ee392013-08-27 23:49:04 +0000737
738 // Else use data for now unless it's larger than we can deal with.
739 uint16_t Form;
740 switch (CIBitWidth) {
741 case 8:
742 Form = dwarf::DW_FORM_data1;
743 break;
744 case 16:
745 Form = dwarf::DW_FORM_data2;
746 break;
747 case 32:
748 Form = dwarf::DW_FORM_data4;
749 break;
750 case 64:
751 Form = dwarf::DW_FORM_data8;
752 break;
753 default:
754 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
755 Val.getZExtValue());
756 return;
757 }
758 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christophere4721492013-07-03 01:08:30 +0000759 return;
Devang Patel161b2f42011-04-12 23:21:44 +0000760 }
761
762 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
763
764 // Get the raw data form of the large APInt.
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000765 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel161b2f42011-04-12 23:21:44 +0000766
767 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmow3574eca2012-10-08 16:38:25 +0000768 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel161b2f42011-04-12 23:21:44 +0000769
770 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000771 for (int i = 0; i < NumBytes; i++) {
772 uint8_t c;
773 if (LittleEndian)
774 c = Ptr64[i / 8] >> (8 * (i & 7));
775 else
776 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
777 addUInt(Block, 0, dwarf::DW_FORM_data1, c);
778 }
Devang Patel161b2f42011-04-12 23:21:44 +0000779
780 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000781}
782
Eric Christopher6c3bb942013-04-22 07:47:40 +0000783/// addTemplateParams - Add template parameters into buffer.
Devang Patel161b2f42011-04-12 23:21:44 +0000784void CompileUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
785 // Add template parameters.
786 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
787 DIDescriptor Element = TParams.getElement(i);
788 if (Element.isTemplateTypeParameter())
789 Buffer.addChild(getOrCreateTemplateTypeParameterDIE(
790 DITemplateTypeParameter(Element)));
791 else if (Element.isTemplateValueParameter())
792 Buffer.addChild(getOrCreateTemplateValueParameterDIE(
793 DITemplateValueParameter(Element)));
794 }
Devang Patel161b2f42011-04-12 23:21:44 +0000795}
Nick Lewycky746cb672011-10-26 22:55:33 +0000796
Eric Christopher6b6061f2013-01-16 01:22:23 +0000797/// getOrCreateContextDIE - Get context owner's DIE.
798DIE *CompileUnit::getOrCreateContextDIE(DIDescriptor Context) {
799 if (Context.isType())
800 return getOrCreateTypeDIE(DIType(Context));
801 else if (Context.isNameSpace())
802 return getOrCreateNameSpace(DINameSpace(Context));
803 else if (Context.isSubprogram())
804 return getOrCreateSubprogramDIE(DISubprogram(Context));
Eric Christopher6c3bb942013-04-22 07:47:40 +0000805 else
Eric Christopher6b6061f2013-01-16 01:22:23 +0000806 return getDIE(Context);
807}
808
Devang Patel161b2f42011-04-12 23:21:44 +0000809/// addToContextOwner - Add Die into the list of its context owner's children.
810void CompileUnit::addToContextOwner(DIE *Die, DIDescriptor Context) {
David Blaikiee5830c42013-10-03 20:07:20 +0000811 assert(!Die->getParent());
812 if (DIE *ContextDIE = getOrCreateContextDIE(Context)) {
813 if (Die->getParent()) {
814 // While creating the context, if this is a type member, we will have
815 // added the child to the context already.
816 assert(Die->getParent() == ContextDIE);
817 return;
818 }
Devang Patel161b2f42011-04-12 23:21:44 +0000819 ContextDIE->addChild(Die);
David Blaikiee5830c42013-10-03 20:07:20 +0000820 } else
Devang Patel161b2f42011-04-12 23:21:44 +0000821 addDie(Die);
822}
823
824/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
825/// given DIType.
Devang Patel94c7ddb2011-08-16 22:09:43 +0000826DIE *CompileUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
827 DIType Ty(TyNode);
Manman Rend03d2b22013-07-08 18:33:29 +0000828 if (!Ty.isType())
Devang Patel94c7ddb2011-08-16 22:09:43 +0000829 return NULL;
Manman Ren620f4362013-10-01 19:52:23 +0000830 DIE *TyDIE = DD->getTypeDIE(Ty);
Devang Patel161b2f42011-04-12 23:21:44 +0000831 if (TyDIE)
832 return TyDIE;
833
834 // Create new type.
835 TyDIE = new DIE(dwarf::DW_TAG_base_type);
Manman Ren620f4362013-10-01 19:52:23 +0000836 DD->insertTypeDIE(Ty, TyDIE);
Devang Patel161b2f42011-04-12 23:21:44 +0000837 if (Ty.isBasicType())
838 constructTypeDIE(*TyDIE, DIBasicType(Ty));
839 else if (Ty.isCompositeType())
840 constructTypeDIE(*TyDIE, DICompositeType(Ty));
841 else {
842 assert(Ty.isDerivedType() && "Unknown kind of DIType");
843 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
844 }
Eric Christopher1b3f9192011-11-10 19:52:58 +0000845 // If this is a named finished type then include it in the list of types
846 // for the accelerator tables.
Eric Christopherc36145f2012-01-06 04:35:23 +0000847 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
848 bool IsImplementation = 0;
849 if (Ty.isCompositeType()) {
850 DICompositeType CT(Ty);
Eric Christophere0167892012-01-06 23:03:37 +0000851 // A runtime language of 0 actually means C/C++ and that any
852 // non-negative value is some version of Objective-C/C++.
Eric Christopherc36145f2012-01-06 04:35:23 +0000853 IsImplementation = (CT.getRunTimeLang() == 0) ||
Eric Christophere2dc9332012-02-22 08:46:02 +0000854 CT.isObjcClassComplete();
Eric Christopherc36145f2012-01-06 04:35:23 +0000855 }
Eric Christopher577056f2013-09-05 18:20:16 +0000856 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christophere0167892012-01-06 23:03:37 +0000857 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
Eric Christopherc36145f2012-01-06 04:35:23 +0000858 }
Eric Christopher8b4310b2012-11-21 00:34:38 +0000859
Manman Ren2c9905a2013-09-09 19:47:11 +0000860 addToContextOwner(TyDIE, DD->resolve(Ty.getContext()));
Devang Patel161b2f42011-04-12 23:21:44 +0000861 return TyDIE;
862}
863
864/// addType - Add a new type attribute to the specified entity.
Eric Christopher31667622013-08-08 01:41:00 +0000865void CompileUnit::addType(DIE *Entity, DIType Ty, uint16_t Attribute) {
Eric Christopherdc1363f2013-08-08 07:40:37 +0000866 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel161b2f42011-04-12 23:21:44 +0000867
868 // Check for pre-existence.
869 DIEEntry *Entry = getDIEEntry(Ty);
870 // If it exists then use the existing value.
871 if (Entry) {
Manman Ren620f4362013-10-01 19:52:23 +0000872 DD->addDIEEntry(Entity, Attribute, dwarf::DW_FORM_ref4, Entry);
Devang Patel161b2f42011-04-12 23:21:44 +0000873 return;
874 }
875
876 // Construct type.
877 DIE *Buffer = getOrCreateTypeDIE(Ty);
878
879 // Set up proxy.
880 Entry = createDIEEntry(Buffer);
881 insertDIEEntry(Ty, Entry);
Manman Ren620f4362013-10-01 19:52:23 +0000882 DD->addDIEEntry(Entity, Attribute, dwarf::DW_FORM_ref4, Entry);
Devang Patele9ae06c2011-05-31 22:56:51 +0000883
884 // If this is a complete composite type then include it in the
885 // list of global types.
Devang Patelc20bdf12011-06-01 00:23:24 +0000886 addGlobalType(Ty);
Devang Patel66658e42011-05-31 23:30:30 +0000887}
888
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000889// Accelerator table mutators - add each name along with its companion
890// DIE to the proper table while ensuring that the name that we're going
891// to reference is in the string table. We do this since the names we
892// add may not only be identical to the names in the DIE.
893void CompileUnit::addAccelName(StringRef Name, DIE *Die) {
894 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000895 std::vector<DIE *> &DIEs = AccelNames[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000896 DIEs.push_back(Die);
897}
898
899void CompileUnit::addAccelObjC(StringRef Name, DIE *Die) {
900 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000901 std::vector<DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000902 DIEs.push_back(Die);
903}
904
905void CompileUnit::addAccelNamespace(StringRef Name, DIE *Die) {
906 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000907 std::vector<DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000908 DIEs.push_back(Die);
909}
910
911void CompileUnit::addAccelType(StringRef Name, std::pair<DIE *, unsigned> Die) {
912 DU->getStringPoolEntry(Name);
913 std::vector<std::pair<DIE *, unsigned> > &DIEs = AccelTypes[Name];
914 DIEs.push_back(Die);
915}
916
Eric Christopher50d37a42013-09-20 22:20:55 +0000917/// addGlobalName - Add a new global name to the compile unit.
918void CompileUnit::addGlobalName(StringRef Name, DIE *Die) {
919 GlobalNames[Name] = Die;
920}
921
Devang Patel66658e42011-05-31 23:30:30 +0000922/// addGlobalType - Add a new global type to the compile unit.
923///
Devang Patelc20bdf12011-06-01 00:23:24 +0000924void CompileUnit::addGlobalType(DIType Ty) {
Manman Ren2c9905a2013-09-09 19:47:11 +0000925 DIDescriptor Context = DD->resolve(Ty.getContext());
Eric Christopher5a634742013-09-23 23:15:58 +0000926 if (!Ty.getName().empty() && !Ty.isForwardDecl() &&
Eric Christopher734334e2013-09-23 22:59:11 +0000927 (!Context || Context.isCompileUnit() || Context.isFile() ||
928 Context.isNameSpace()))
Devang Patelc20bdf12011-06-01 00:23:24 +0000929 if (DIEEntry *Entry = getDIEEntry(Ty))
930 GlobalTypes[Ty.getName()] = Entry->getEntry();
Devang Patel161b2f42011-04-12 23:21:44 +0000931}
932
Devang Patel31c5d052011-05-06 16:57:54 +0000933/// addPubTypes - Add type for pubtypes section.
934void CompileUnit::addPubTypes(DISubprogram SP) {
935 DICompositeType SPTy = SP.getType();
Eric Christopher31667622013-08-08 01:41:00 +0000936 uint16_t SPTag = SPTy.getTag();
Devang Patel31c5d052011-05-06 16:57:54 +0000937 if (SPTag != dwarf::DW_TAG_subroutine_type)
938 return;
939
940 DIArray Args = SPTy.getTypeArray();
941 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
942 DIType ATy(Args.getElement(i));
Manman Rend03d2b22013-07-08 18:33:29 +0000943 if (!ATy.isType())
Devang Patel31c5d052011-05-06 16:57:54 +0000944 continue;
Devang Patelc20bdf12011-06-01 00:23:24 +0000945 addGlobalType(ATy);
Devang Patel31c5d052011-05-06 16:57:54 +0000946 }
947}
948
Devang Patel161b2f42011-04-12 23:21:44 +0000949/// constructTypeDIE - Construct basic type die from DIBasicType.
950void CompileUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
951 // Get core information.
952 StringRef Name = BTy.getName();
Devang Patel161b2f42011-04-12 23:21:44 +0000953 // Add name if not anonymous or intermediate type.
954 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +0000955 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel734a67c2011-09-14 23:13:28 +0000956
957 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type) {
958 Buffer.setTag(dwarf::DW_TAG_unspecified_type);
Eric Christopher61c91d52013-07-09 23:48:45 +0000959 // An unspecified type only has a name attribute.
Devang Patel734a67c2011-09-14 23:13:28 +0000960 return;
961 }
962
963 Buffer.setTag(dwarf::DW_TAG_base_type);
Nick Lewycky746cb672011-10-26 22:55:33 +0000964 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel30d409c2012-02-07 23:33:58 +0000965 BTy.getEncoding());
Devang Patel734a67c2011-09-14 23:13:28 +0000966
Devang Patel161b2f42011-04-12 23:21:44 +0000967 uint64_t Size = BTy.getSizeInBits() >> 3;
968 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
969}
970
971/// constructTypeDIE - Construct derived type die from DIDerivedType.
972void CompileUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
973 // Get core information.
974 StringRef Name = DTy.getName();
975 uint64_t Size = DTy.getSizeInBits() >> 3;
Eric Christopher31667622013-08-08 01:41:00 +0000976 uint16_t Tag = DTy.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +0000977
978 // FIXME - Workaround for templates.
979 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
980
981 Buffer.setTag(Tag);
982
983 // Map to main type, void will not have a type.
Manman Ren2b530892013-10-01 23:45:54 +0000984 DIType FromTy = DD->resolve(DTy.getTypeDerivedFrom());
Eric Christopherdc1363f2013-08-08 07:40:37 +0000985 if (FromTy)
986 addType(&Buffer, FromTy);
Devang Patel161b2f42011-04-12 23:21:44 +0000987
988 // Add name if not anonymous or intermediate type.
989 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +0000990 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +0000991
992 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher35f225a2012-02-21 22:25:53 +0000993 if (Size && Tag != dwarf::DW_TAG_pointer_type)
Devang Patel161b2f42011-04-12 23:21:44 +0000994 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
995
David Blaikie62fdfb52013-01-07 05:51:15 +0000996 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
997 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
Manman Renbc660712013-09-05 18:48:31 +0000998 getOrCreateTypeDIE(DD->resolve(DTy.getClassType())));
Devang Patel161b2f42011-04-12 23:21:44 +0000999 // Add source line info if available and TyDesc is not a forward declaration.
1000 if (!DTy.isForwardDecl())
1001 addSourceLine(&Buffer, DTy);
1002}
1003
Eric Christopher3dee5752013-07-26 17:02:41 +00001004/// Return true if the type is appropriately scoped to be contained inside
1005/// its own type unit.
Manman Ren18eb2452013-09-09 19:23:58 +00001006static bool isTypeUnitScoped(DIType Ty, const DwarfDebug *DD) {
Manman Ren2c9905a2013-09-09 19:47:11 +00001007 DIScope Parent = DD->resolve(Ty.getContext());
Eric Christopher3dee5752013-07-26 17:02:41 +00001008 while (Parent) {
1009 // Don't generate a hash for anything scoped inside a function.
1010 if (Parent.isSubprogram())
1011 return false;
Manman Rene72aba92013-09-09 22:35:23 +00001012 Parent = DD->resolve(Parent.getContext());
Eric Christopher3dee5752013-07-26 17:02:41 +00001013 }
1014 return true;
1015}
1016
1017/// Return true if the type should be split out into a type unit.
Manman Ren18eb2452013-09-09 19:23:58 +00001018static bool shouldCreateTypeUnit(DICompositeType CTy, const DwarfDebug *DD) {
Eric Christopher31667622013-08-08 01:41:00 +00001019 uint16_t Tag = CTy.getTag();
Eric Christopher3dee5752013-07-26 17:02:41 +00001020
1021 switch (Tag) {
1022 case dwarf::DW_TAG_structure_type:
1023 case dwarf::DW_TAG_union_type:
1024 case dwarf::DW_TAG_enumeration_type:
1025 case dwarf::DW_TAG_class_type:
1026 // If this is a class, structure, union, or enumeration type
1027 // that is not a declaration, is a type definition, and not scoped
1028 // inside a function then separate this out as a type unit.
Manman Ren18eb2452013-09-09 19:23:58 +00001029 if (CTy.isForwardDecl() || !isTypeUnitScoped(CTy, DD))
Eric Christopher3dee5752013-07-26 17:02:41 +00001030 return 0;
1031 return 1;
1032 default:
1033 return 0;
1034 }
1035}
1036
Devang Patel161b2f42011-04-12 23:21:44 +00001037/// constructTypeDIE - Construct type DIE from DICompositeType.
1038void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
1039 // Get core information.
1040 StringRef Name = CTy.getName();
1041
1042 uint64_t Size = CTy.getSizeInBits() >> 3;
Eric Christopher31667622013-08-08 01:41:00 +00001043 uint16_t Tag = CTy.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +00001044 Buffer.setTag(Tag);
1045
1046 switch (Tag) {
Devang Patel161b2f42011-04-12 23:21:44 +00001047 case dwarf::DW_TAG_array_type:
1048 constructArrayTypeDIE(Buffer, &CTy);
1049 break;
1050 case dwarf::DW_TAG_enumeration_type: {
1051 DIArray Elements = CTy.getTypeArray();
1052
1053 // Add enumerators to enumeration type.
1054 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1055 DIE *ElemDie = NULL;
1056 DIDescriptor Enum(Elements.getElement(i));
1057 if (Enum.isEnumerator()) {
1058 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum));
1059 Buffer.addChild(ElemDie);
1060 }
1061 }
Manman Ren2b530892013-10-01 23:45:54 +00001062 DIType DTy = DD->resolve(CTy.getTypeDerivedFrom());
Eric Christopher37c107b2013-08-08 07:40:42 +00001063 if (DTy) {
Eric Christopherbb0f6ea2012-05-23 00:09:20 +00001064 addType(&Buffer, DTy);
1065 addUInt(&Buffer, dwarf::DW_AT_enum_class, dwarf::DW_FORM_flag, 1);
1066 }
Devang Patel161b2f42011-04-12 23:21:44 +00001067 }
1068 break;
1069 case dwarf::DW_TAG_subroutine_type: {
Eric Christopherdc1363f2013-08-08 07:40:37 +00001070 // Add return type. A void return won't have a type.
Devang Patel161b2f42011-04-12 23:21:44 +00001071 DIArray Elements = CTy.getTypeArray();
1072 DIDescriptor RTy = Elements.getElement(0);
Eric Christopherdc1363f2013-08-08 07:40:37 +00001073 if (RTy)
1074 addType(&Buffer, DIType(RTy));
Devang Patel161b2f42011-04-12 23:21:44 +00001075
1076 bool isPrototyped = true;
1077 // Add arguments.
1078 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1079 DIDescriptor Ty = Elements.getElement(i);
1080 if (Ty.isUnspecifiedParameter()) {
1081 DIE *Arg = new DIE(dwarf::DW_TAG_unspecified_parameters);
1082 Buffer.addChild(Arg);
1083 isPrototyped = false;
1084 } else {
1085 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1086 addType(Arg, DIType(Ty));
David Blaikieaaf2e632013-01-29 19:35:24 +00001087 if (DIType(Ty).isArtificial())
1088 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel161b2f42011-04-12 23:21:44 +00001089 Buffer.addChild(Arg);
1090 }
1091 }
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001092 // Add prototype flag if we're dealing with a C language and the
1093 // function has been prototyped.
Eric Christopher7b878952013-08-26 23:50:38 +00001094 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001095 if (isPrototyped &&
Eric Christopher4d069bf2012-05-22 18:45:24 +00001096 (Language == dwarf::DW_LANG_C89 ||
1097 Language == dwarf::DW_LANG_C99 ||
1098 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001099 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Devang Patel161b2f42011-04-12 23:21:44 +00001100 }
1101 break;
1102 case dwarf::DW_TAG_structure_type:
1103 case dwarf::DW_TAG_union_type:
1104 case dwarf::DW_TAG_class_type: {
Devang Patel161b2f42011-04-12 23:21:44 +00001105 // Add elements to structure type.
David Blaikiec8b93552013-08-01 20:30:22 +00001106 DIArray Elements = CTy.getTypeArray();
1107 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel161b2f42011-04-12 23:21:44 +00001108 DIDescriptor Element = Elements.getElement(i);
1109 DIE *ElemDie = NULL;
1110 if (Element.isSubprogram()) {
1111 DISubprogram SP(Element);
Devang Pateldbc64af2011-08-15 17:24:54 +00001112 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
Devang Patel161b2f42011-04-12 23:21:44 +00001113 if (SP.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001114 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001115 dwarf::DW_ACCESS_protected);
1116 else if (SP.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001117 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001118 dwarf::DW_ACCESS_private);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001119 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001120 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001121 dwarf::DW_ACCESS_public);
1122 if (SP.isExplicit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001123 addFlag(ElemDie, dwarf::DW_AT_explicit);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001124 } else if (Element.isDerivedType()) {
Eric Christopher4d069bf2012-05-22 18:45:24 +00001125 DIDerivedType DDTy(Element);
1126 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
1127 ElemDie = new DIE(dwarf::DW_TAG_friend);
Manman Ren2b530892013-10-01 23:45:54 +00001128 addType(ElemDie, DD->resolve(DDTy.getTypeDerivedFrom()),
1129 dwarf::DW_AT_friend);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001130 } else if (DDTy.isStaticMember())
1131 ElemDie = createStaticMemberDIE(DDTy);
1132 else
1133 ElemDie = createMemberDIE(DDTy);
David Blaikiee5830c42013-10-03 20:07:20 +00001134 Buffer.addChild(ElemDie);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001135 } else if (Element.isObjCProperty()) {
Devang Patel30d409c2012-02-07 23:33:58 +00001136 DIObjCProperty Property(Element);
1137 ElemDie = new DIE(Property.getTag());
1138 StringRef PropertyName = Property.getObjCPropertyName();
1139 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4d069bf2012-05-22 18:45:24 +00001140 addType(ElemDie, Property.getType());
1141 addSourceLine(ElemDie, Property);
Devang Patel30d409c2012-02-07 23:33:58 +00001142 StringRef GetterName = Property.getObjCPropertyGetterName();
1143 if (!GetterName.empty())
1144 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1145 StringRef SetterName = Property.getObjCPropertySetterName();
1146 if (!SetterName.empty())
1147 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1148 unsigned PropertyAttributes = 0;
Devang Patel9e11eb12012-02-04 01:30:32 +00001149 if (Property.isReadOnlyObjCProperty())
1150 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1151 if (Property.isReadWriteObjCProperty())
1152 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1153 if (Property.isAssignObjCProperty())
1154 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1155 if (Property.isRetainObjCProperty())
1156 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1157 if (Property.isCopyObjCProperty())
1158 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1159 if (Property.isNonAtomicObjCProperty())
1160 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1161 if (PropertyAttributes)
Eric Christopher8b4310b2012-11-21 00:34:38 +00001162 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, 0,
Devang Patel9e11eb12012-02-04 01:30:32 +00001163 PropertyAttributes);
Devang Patel6588abf2012-02-06 17:49:43 +00001164
Devang Patel30d409c2012-02-07 23:33:58 +00001165 DIEEntry *Entry = getDIEEntry(Element);
1166 if (!Entry) {
1167 Entry = createDIEEntry(ElemDie);
1168 insertDIEEntry(Element, Entry);
1169 }
David Blaikiee5830c42013-10-03 20:07:20 +00001170 Buffer.addChild(ElemDie);
Devang Patel9e11eb12012-02-04 01:30:32 +00001171 } else
Devang Patel161b2f42011-04-12 23:21:44 +00001172 continue;
Devang Patel161b2f42011-04-12 23:21:44 +00001173 }
1174
1175 if (CTy.isAppleBlockExtension())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001176 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel161b2f42011-04-12 23:21:44 +00001177
Manman Rene42279c2013-09-06 18:46:00 +00001178 DICompositeType ContainingType(DD->resolve(CTy.getContainingType()));
Devang Patel161b2f42011-04-12 23:21:44 +00001179 if (DIDescriptor(ContainingType).isCompositeType())
1180 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
1181 getOrCreateTypeDIE(DIType(ContainingType)));
Devang Patel161b2f42011-04-12 23:21:44 +00001182
Devang Patel201e6cd2011-05-12 21:29:42 +00001183 if (CTy.isObjcClassComplete())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001184 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patelb11f80e2011-05-12 19:06:16 +00001185
Eric Christopher1a8e8862011-12-16 23:42:42 +00001186 // Add template parameters to a class, structure or union types.
1187 // FIXME: The support isn't in the metadata for this yet.
1188 if (Tag == dwarf::DW_TAG_class_type ||
1189 Tag == dwarf::DW_TAG_structure_type ||
1190 Tag == dwarf::DW_TAG_union_type)
Devang Patel161b2f42011-04-12 23:21:44 +00001191 addTemplateParams(Buffer, CTy.getTemplateParams());
1192
1193 break;
1194 }
1195 default:
1196 break;
1197 }
1198
1199 // Add name if not anonymous or intermediate type.
1200 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001201 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001202
Eric Christopher4a5d8392012-05-22 18:45:18 +00001203 if (Tag == dwarf::DW_TAG_enumeration_type ||
1204 Tag == dwarf::DW_TAG_class_type ||
1205 Tag == dwarf::DW_TAG_structure_type ||
1206 Tag == dwarf::DW_TAG_union_type) {
Devang Patel161b2f42011-04-12 23:21:44 +00001207 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopherfc4199b2012-06-01 00:22:32 +00001208 // TODO: Do we care about size for enum forward declarations?
Devang Patel161b2f42011-04-12 23:21:44 +00001209 if (Size)
1210 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Eric Christopherfc4199b2012-06-01 00:22:32 +00001211 else if (!CTy.isForwardDecl())
Devang Patel161b2f42011-04-12 23:21:44 +00001212 // Add zero size if it is not a forward declaration.
Eric Christopherfc4199b2012-06-01 00:22:32 +00001213 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
1214
1215 // If we're a forward decl, say so.
1216 if (CTy.isForwardDecl())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001217 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel161b2f42011-04-12 23:21:44 +00001218
1219 // Add source line info if available.
1220 if (!CTy.isForwardDecl())
1221 addSourceLine(&Buffer, CTy);
Eric Christopher89388952012-03-07 00:15:19 +00001222
1223 // No harm in adding the runtime language to the declaration.
1224 unsigned RLang = CTy.getRunTimeLang();
1225 if (RLang)
1226 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
1227 dwarf::DW_FORM_data1, RLang);
Devang Patel161b2f42011-04-12 23:21:44 +00001228 }
Eric Christopher3dee5752013-07-26 17:02:41 +00001229 // If this is a type applicable to a type unit it then add it to the
1230 // list of types we'll compute a hash for later.
Manman Ren18eb2452013-09-09 19:23:58 +00001231 if (shouldCreateTypeUnit(CTy, DD))
Eric Christopher3dee5752013-07-26 17:02:41 +00001232 DD->addTypeUnitType(&Buffer);
Devang Patel161b2f42011-04-12 23:21:44 +00001233}
1234
Eric Christopher8b4310b2012-11-21 00:34:38 +00001235/// getOrCreateTemplateTypeParameterDIE - Find existing DIE or create new DIE
Devang Patel161b2f42011-04-12 23:21:44 +00001236/// for the given DITemplateTypeParameter.
1237DIE *
1238CompileUnit::getOrCreateTemplateTypeParameterDIE(DITemplateTypeParameter TP) {
1239 DIE *ParamDIE = getDIE(TP);
1240 if (ParamDIE)
1241 return ParamDIE;
1242
1243 ParamDIE = new DIE(dwarf::DW_TAG_template_type_parameter);
Eric Christopher76ef79f2013-08-08 08:09:43 +00001244 // Add the type if it exists, it could be void and therefore no type.
1245 if (TP.getType())
1246 addType(ParamDIE, TP.getType());
David Blaikiee88939c2013-06-22 18:59:11 +00001247 if (!TP.getName().empty())
1248 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel161b2f42011-04-12 23:21:44 +00001249 return ParamDIE;
1250}
1251
Eric Christopher8b4310b2012-11-21 00:34:38 +00001252/// getOrCreateTemplateValueParameterDIE - Find existing DIE or create new DIE
Devang Patel161b2f42011-04-12 23:21:44 +00001253/// for the given DITemplateValueParameter.
1254DIE *
Eric Christopherafdd1f82013-08-08 07:40:31 +00001255CompileUnit::getOrCreateTemplateValueParameterDIE(DITemplateValueParameter VP) {
1256 DIE *ParamDIE = getDIE(VP);
Devang Patel161b2f42011-04-12 23:21:44 +00001257 if (ParamDIE)
1258 return ParamDIE;
1259
Eric Christopherafdd1f82013-08-08 07:40:31 +00001260 ParamDIE = new DIE(VP.getTag());
Eric Christopherdc1363f2013-08-08 07:40:37 +00001261
1262 // Add the type if there is one, template template and template parameter
1263 // packs will not have a type.
1264 if (VP.getType())
1265 addType(ParamDIE, VP.getType());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001266 if (!VP.getName().empty())
1267 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1268 if (Value *Val = VP.getValue()) {
David Blaikie4de9d722013-05-10 21:52:07 +00001269 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Ren2b530892013-10-01 23:45:54 +00001270 addConstantValue(ParamDIE, CI, isUnsignedDIType(DD, VP.getType()));
David Blaikie4de9d722013-05-10 21:52:07 +00001271 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1272 // For declaration non-type template parameters (such as global values and
1273 // functions)
1274 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1275 addOpAddress(Block, Asm->Mang->getSymbol(GV));
1276 // Emit DW_OP_stack_value to use the address as the immediate value of the
1277 // parameter, rather than a pointer to it.
1278 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1279 addBlock(ParamDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopherafdd1f82013-08-08 07:40:31 +00001280 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikiee88939c2013-06-22 18:59:11 +00001281 assert(isa<MDString>(Val));
1282 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1283 cast<MDString>(Val)->getString());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001284 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikiee88939c2013-06-22 18:59:11 +00001285 assert(isa<MDNode>(Val));
1286 DIArray A(cast<MDNode>(Val));
1287 addTemplateParams(*ParamDIE, A);
David Blaikie4de9d722013-05-10 21:52:07 +00001288 }
1289 }
1290
Devang Patel161b2f42011-04-12 23:21:44 +00001291 return ParamDIE;
1292}
1293
Devang Patel31c5d052011-05-06 16:57:54 +00001294/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1295DIE *CompileUnit::getOrCreateNameSpace(DINameSpace NS) {
1296 DIE *NDie = getDIE(NS);
1297 if (NDie)
1298 return NDie;
1299 NDie = new DIE(dwarf::DW_TAG_namespace);
1300 insertDIE(NS, NDie);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001301 if (!NS.getName().empty()) {
Nick Lewycky390c40d2011-10-27 06:44:11 +00001302 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher09ac3d82011-11-07 09:24:32 +00001303 addAccelNamespace(NS.getName(), NDie);
Eric Christopher3d2c90f2013-09-24 00:17:57 +00001304 addGlobalName(NS.getName(), NDie);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001305 } else
1306 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel31c5d052011-05-06 16:57:54 +00001307 addSourceLine(NDie, NS);
1308 addToContextOwner(NDie, NS.getContext());
1309 return NDie;
1310}
1311
Devang Pateldbc64af2011-08-15 17:24:54 +00001312/// getOrCreateSubprogramDIE - Create new DIE using SP.
1313DIE *CompileUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
Manman Ren620f4362013-10-01 19:52:23 +00001314 DIE *SPDie = DD->getSPDIE(SP);
Devang Pateldbc64af2011-08-15 17:24:54 +00001315 if (SPDie)
1316 return SPDie;
1317
Peter Collingbourne27302f02012-05-27 18:36:44 +00001318 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1319
1320 // DW_TAG_inlined_subroutine may refer to this DIE.
Manman Ren620f4362013-10-01 19:52:23 +00001321 DD->insertSPDIE(SP, SPDie);
Peter Collingbourne27302f02012-05-27 18:36:44 +00001322
Rafael Espindola01b55b42011-11-10 22:34:29 +00001323 DISubprogram SPDecl = SP.getFunctionDeclaration();
1324 DIE *DeclDie = NULL;
1325 if (SPDecl.isSubprogram()) {
1326 DeclDie = getOrCreateSubprogramDIE(SPDecl);
1327 }
1328
Devang Pateldbc64af2011-08-15 17:24:54 +00001329 // Add to context owner.
1330 addToContextOwner(SPDie, SP.getContext());
1331
1332 // Add function template parameters.
1333 addTemplateParams(*SPDie, SP.getTemplateParams());
1334
Devang Pateldbc64af2011-08-15 17:24:54 +00001335 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherc4968752013-05-09 00:42:33 +00001336 // then there is no need to add other attributes.
Rafael Espindola01b55b42011-11-10 22:34:29 +00001337 if (DeclDie) {
1338 // Refer function declaration directly.
1339 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1340 DeclDie);
1341
Devang Pateldbc64af2011-08-15 17:24:54 +00001342 return SPDie;
Rafael Espindola01b55b42011-11-10 22:34:29 +00001343 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001344
Eric Christophercbbd5b12012-08-23 22:52:55 +00001345 // Add the linkage name if we have one.
Michael Gottesmandc42d032013-09-04 04:39:38 +00001346 StringRef LinkageName = SP.getLinkageName();
1347 if (!LinkageName.empty())
Eric Christophercbbd5b12012-08-23 22:52:55 +00001348 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001349 GlobalValue::getRealLinkageName(LinkageName));
Eric Christophercbbd5b12012-08-23 22:52:55 +00001350
Devang Pateldbc64af2011-08-15 17:24:54 +00001351 // Constructors and operators for anonymous aggregates do not have names.
1352 if (!SP.getName().empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001353 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Pateldbc64af2011-08-15 17:24:54 +00001354
1355 addSourceLine(SPDie, SP);
1356
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001357 // Add the prototype if we have a prototype and we have a C like
1358 // language.
Eric Christopher7b878952013-08-26 23:50:38 +00001359 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001360 if (SP.isPrototyped() &&
1361 (Language == dwarf::DW_LANG_C89 ||
1362 Language == dwarf::DW_LANG_C99 ||
1363 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001364 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Pateldbc64af2011-08-15 17:24:54 +00001365
Eric Christopherdc1363f2013-08-08 07:40:37 +00001366 // Add Return Type. A void return type will not have a type.
Devang Pateldbc64af2011-08-15 17:24:54 +00001367 DICompositeType SPTy = SP.getType();
David Blaikie3d331842013-05-22 23:22:18 +00001368 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1369 "the type of a subprogram should be a subroutine");
Devang Pateldbc64af2011-08-15 17:24:54 +00001370
David Blaikie3d331842013-05-22 23:22:18 +00001371 DIArray Args = SPTy.getTypeArray();
Eric Christopherdc1363f2013-08-08 07:40:37 +00001372 if (Args.getElement(0))
1373 addType(SPDie, DIType(Args.getElement(0)));
Devang Pateldbc64af2011-08-15 17:24:54 +00001374
1375 unsigned VK = SP.getVirtuality();
1376 if (VK) {
Nick Lewycky798313d2011-12-14 00:56:07 +00001377 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Pateldbc64af2011-08-15 17:24:54 +00001378 DIEBlock *Block = getDIEBlock();
1379 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1380 addUInt(Block, 0, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1381 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
1382 ContainingTypeMap.insert(std::make_pair(SPDie,
Manman Ren0e85f6e2013-09-07 00:04:05 +00001383 DD->resolve(SP.getContainingType())));
Devang Pateldbc64af2011-08-15 17:24:54 +00001384 }
1385
1386 if (!SP.isDefinition()) {
Eric Christopher873cf0a2012-08-24 01:14:27 +00001387 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001388
Devang Pateldbc64af2011-08-15 17:24:54 +00001389 // Add arguments. Do not add arguments for subprogram definition. They will
1390 // be handled while processing variables.
David Blaikie3d331842013-05-22 23:22:18 +00001391 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1392 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1393 DIType ATy = DIType(Args.getElement(i));
1394 addType(Arg, ATy);
1395 if (ATy.isArtificial())
1396 addFlag(Arg, dwarf::DW_AT_artificial);
1397 SPDie->addChild(Arg);
1398 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001399 }
1400
1401 if (SP.isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001402 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Pateldbc64af2011-08-15 17:24:54 +00001403
1404 if (!SP.isLocalToUnit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001405 addFlag(SPDie, dwarf::DW_AT_external);
Devang Pateldbc64af2011-08-15 17:24:54 +00001406
1407 if (SP.isOptimized())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001408 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Pateldbc64af2011-08-15 17:24:54 +00001409
1410 if (unsigned isa = Asm->getISAEncoding()) {
1411 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1412 }
1413
1414 return SPDie;
1415}
1416
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001417// Return const expression if value is a GEP to access merged global
1418// constant. e.g.
1419// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1420static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1421 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1422 if (!CE || CE->getNumOperands() != 3 ||
1423 CE->getOpcode() != Instruction::GetElementPtr)
1424 return NULL;
1425
1426 // First operand points to a global struct.
1427 Value *Ptr = CE->getOperand(0);
1428 if (!isa<GlobalValue>(Ptr) ||
1429 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1430 return NULL;
1431
1432 // Second operand is zero.
1433 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1434 if (!CI || !CI->isZero())
1435 return NULL;
1436
1437 // Third operand is offset.
1438 if (!isa<ConstantInt>(CE->getOperand(2)))
1439 return NULL;
1440
1441 return CE;
1442}
1443
1444/// createGlobalVariableDIE - create global variable DIE.
1445void CompileUnit::createGlobalVariableDIE(const MDNode *N) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001446 // Check for pre-existence.
Devang Patel49e2f032011-08-18 22:21:50 +00001447 if (getDIE(N))
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001448 return;
1449
Devang Patel49e2f032011-08-18 22:21:50 +00001450 DIGlobalVariable GV(N);
Manman Rend03d2b22013-07-08 18:33:29 +00001451 if (!GV.isGlobalVariable())
Devang Patel28bea082011-08-18 23:17:55 +00001452 return;
1453
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001454 DIDescriptor GVContext = GV.getContext();
Eric Christopher6b6061f2013-01-16 01:22:23 +00001455 DIType GTy = GV.getType();
1456
1457 // If this is a static data member definition, some attributes belong
1458 // to the declaration DIE.
1459 DIE *VariableDIE = NULL;
Manman Ren945e8282013-02-01 23:54:37 +00001460 bool IsStaticMember = false;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001461 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1462 if (SDMDecl.Verify()) {
1463 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1464 // We need the declaration DIE that is in the static member's class.
1465 // But that class might not exist in the DWARF yet.
1466 // Creating the class will create the static member decl DIE.
Manman Ren2c9905a2013-09-09 19:47:11 +00001467 getOrCreateContextDIE(DD->resolve(SDMDecl.getContext()));
Manman Ren620f4362013-10-01 19:52:23 +00001468 VariableDIE = DD->getStaticMemberDIE(SDMDecl);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001469 assert(VariableDIE && "Static member decl has no context?");
Manman Ren945e8282013-02-01 23:54:37 +00001470 IsStaticMember = true;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001471 }
1472
1473 // If this is not a static data member definition, create the variable
1474 // DIE and add the initial set of attributes to it.
1475 if (!VariableDIE) {
1476 VariableDIE = new DIE(GV.getTag());
1477 // Add to map.
1478 insertDIE(N, VariableDIE);
1479
1480 // Add name and type.
1481 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1482 addType(VariableDIE, GTy);
1483
1484 // Add scoping info.
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001485 if (!GV.isLocalToUnit()) {
Eric Christopher6b6061f2013-01-16 01:22:23 +00001486 addFlag(VariableDIE, dwarf::DW_AT_external);
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001487 addGlobalName(GV.getName(), VariableDIE);
1488 }
Eric Christopher6b6061f2013-01-16 01:22:23 +00001489
1490 // Add line number info.
1491 addSourceLine(VariableDIE, GV);
1492 // Add to context owner.
1493 addToContextOwner(VariableDIE, GVContext);
1494 }
1495
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001496 // Add location.
Eric Christopher09ac3d82011-11-07 09:24:32 +00001497 bool addToAccelTable = false;
Eric Christopherd61c34b2011-11-11 03:16:32 +00001498 DIE *VariableSpecDIE = NULL;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001499 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001500 if (isGlobalVariable) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001501 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001502 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
David Blaikie59eaa382013-06-28 20:05:11 +00001503 const MCSymbol *Sym = Asm->Mang->getSymbol(GV.getGlobal());
1504 if (GV.getGlobal()->isThreadLocal()) {
1505 // FIXME: Make this work with -gsplit-dwarf.
1506 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1507 assert((PointerSize == 4 || PointerSize == 8) &&
1508 "Add support for other sizes if necessary");
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001509 const MCExpr *Expr =
David Blaikie8fed05e2013-07-01 23:55:52 +00001510 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikie59eaa382013-06-28 20:05:11 +00001511 // Based on GCC's support for TLS:
David Blaikie8fed05e2013-07-01 23:55:52 +00001512 if (!DD->useSplitDwarf()) {
1513 // 1) Start with a constNu of the appropriate pointer size
1514 addUInt(Block, 0, dwarf::DW_FORM_data1,
1515 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
1516 // 2) containing the (relocated) address of the TLS variable
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001517 addExpr(Block, 0, dwarf::DW_FORM_udata, Expr);
David Blaikie8fed05e2013-07-01 23:55:52 +00001518 } else {
1519 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001520 addUInt(Block, 0, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8fed05e2013-07-01 23:55:52 +00001521 }
David Blaikie59eaa382013-06-28 20:05:11 +00001522 // 3) followed by a custom OP to tell the debugger about TLS (presumably)
1523 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_lo_user);
1524 } else
1525 addOpAddress(Block, Sym);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001526 // Do not create specification DIE if context is either compile unit
1527 // or a subprogram.
Devang Patel1dd4e562011-09-21 23:41:11 +00001528 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren02d29672013-09-09 19:05:21 +00001529 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001530 // Create specification DIE.
Eric Christopherd117fbb2011-11-11 01:55:22 +00001531 VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001532 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1533 dwarf::DW_FORM_ref4, VariableDIE);
1534 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001535 // A static member's declaration is already flagged as such.
1536 if (!SDMDecl.Verify())
1537 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001538 addDie(VariableSpecDIE);
1539 } else {
1540 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001541 }
Michael Gottesmandc42d032013-09-04 04:39:38 +00001542 // Add the linkage name.
Eric Christopher6b6061f2013-01-16 01:22:23 +00001543 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmandc42d032013-09-04 04:39:38 +00001544 if (!LinkageName.empty())
Eric Christopher8d45a982013-02-27 23:49:47 +00001545 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1546 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1547 // TAG_variable.
Manman Ren21a08a12013-02-27 23:21:02 +00001548 addString(IsStaticMember && VariableSpecDIE ?
1549 VariableSpecDIE : VariableDIE, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001550 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher8b4310b2012-11-21 00:34:38 +00001551 } else if (const ConstantInt *CI =
Manman Ren945e8282013-02-01 23:54:37 +00001552 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl2e892e42013-04-04 22:56:49 +00001553 // AT_const_value was added when the static member was created. To avoid
Manman Ren945e8282013-02-01 23:54:37 +00001554 // emitting AT_const_value multiple times, we only add AT_const_value when
1555 // it is not a static member.
1556 if (!IsStaticMember)
Manman Ren2b530892013-10-01 23:45:54 +00001557 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
Manman Ren945e8282013-02-01 23:54:37 +00001558 } else if (const ConstantExpr *CE = getMergedGlobalExpr(N->getOperand(11))) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001559 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001560 // GV is a merged global.
1561 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1562 Value *Ptr = CE->getOperand(0);
Eric Christopher0969ddf2013-01-18 22:11:33 +00001563 addOpAddress(Block, Asm->Mang->getSymbol(cast<GlobalValue>(Ptr)));
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001564 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1565 SmallVector<Value*, 3> Idx(CE->op_begin()+1, CE->op_end());
Eric Christopher8b4310b2012-11-21 00:34:38 +00001566 addUInt(Block, 0, dwarf::DW_FORM_udata,
Micah Villmow3574eca2012-10-08 16:38:25 +00001567 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001568 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1569 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
1570 }
1571
Eric Christopherd117fbb2011-11-11 01:55:22 +00001572 if (addToAccelTable) {
1573 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1574 addAccelName(GV.getName(), AddrDIE);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001575
Eric Christopherd117fbb2011-11-11 01:55:22 +00001576 // If the linkage name is different than the name, go ahead and output
1577 // that as well into the name table.
1578 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1579 addAccelName(GV.getLinkageName(), AddrDIE);
1580 }
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001581}
1582
Devang Patel161b2f42011-04-12 23:21:44 +00001583/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christopher4d069bf2012-05-22 18:45:24 +00001584void CompileUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR,
1585 DIE *IndexTy) {
Devang Patel161b2f42011-04-12 23:21:44 +00001586 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1587 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel161b2f42011-04-12 23:21:44 +00001588
Bill Wendling222c2fd2012-12-06 07:38:10 +00001589 // The LowerBound value defines the lower bounds which is typically zero for
1590 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1591 // Count == -1 then the array is unbounded and we do not emit
1592 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1593 // Count == 0, then the array has zero elements in which case we do not emit
1594 // an upper bound.
1595 int64_t LowerBound = SR.getLo();
Bill Wendling6afe4782012-12-06 07:55:19 +00001596 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendling9493dae2012-12-04 21:34:03 +00001597 int64_t Count = SR.getCount();
Devang Patel161b2f42011-04-12 23:21:44 +00001598
Bill Wendling6afe4782012-12-06 07:55:19 +00001599 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
Bill Wendling222c2fd2012-12-06 07:38:10 +00001600 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, LowerBound);
1601
1602 if (Count != -1 && Count != 0)
Bill Wendling9493dae2012-12-04 21:34:03 +00001603 // FIXME: An unbounded array should reference the expression that defines
1604 // the array.
Bill Wendling222c2fd2012-12-06 07:38:10 +00001605 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, LowerBound + Count - 1);
Bill Wendling9493dae2012-12-04 21:34:03 +00001606
Devang Patel161b2f42011-04-12 23:21:44 +00001607 Buffer.addChild(DW_Subrange);
1608}
1609
1610/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
1611void CompileUnit::constructArrayTypeDIE(DIE &Buffer,
1612 DICompositeType *CTy) {
1613 Buffer.setTag(dwarf::DW_TAG_array_type);
Eric Christopher9a1e0e22013-01-08 01:53:52 +00001614 if (CTy->isVector())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001615 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel161b2f42011-04-12 23:21:44 +00001616
Eric Christopherdc1363f2013-08-08 07:40:37 +00001617 // Emit the element type.
Manman Ren2b530892013-10-01 23:45:54 +00001618 addType(&Buffer, DD->resolve(CTy->getTypeDerivedFrom()));
Devang Patel161b2f42011-04-12 23:21:44 +00001619
1620 // Get an anonymous type for index type.
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001621 // FIXME: This type should be passed down from the front end
1622 // as different languages may have different sizes for indexes.
Devang Patel161b2f42011-04-12 23:21:44 +00001623 DIE *IdxTy = getIndexTyDie();
1624 if (!IdxTy) {
1625 // Construct an anonymous type for index type.
1626 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001627 addString(IdxTy, dwarf::DW_AT_name, "int");
Devang Patel161b2f42011-04-12 23:21:44 +00001628 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1629 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1630 dwarf::DW_ATE_signed);
1631 addDie(IdxTy);
1632 setIndexTyDie(IdxTy);
1633 }
1634
1635 // Add subranges to array type.
Eric Christopherdc1363f2013-08-08 07:40:37 +00001636 DIArray Elements = CTy->getTypeArray();
Devang Patel161b2f42011-04-12 23:21:44 +00001637 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1638 DIDescriptor Element = Elements.getElement(i);
1639 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1640 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1641 }
1642}
1643
1644/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
1645DIE *CompileUnit::constructEnumTypeDIE(DIEnumerator ETy) {
1646 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
1647 StringRef Name = ETy.getName();
Nick Lewycky390c40d2011-10-27 06:44:11 +00001648 addString(Enumerator, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001649 int64_t Value = ETy.getEnumValue();
1650 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
1651 return Enumerator;
1652}
1653
Devang Pateldbc64af2011-08-15 17:24:54 +00001654/// constructContainingTypeDIEs - Construct DIEs for types that contain
1655/// vtables.
1656void CompileUnit::constructContainingTypeDIEs() {
1657 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
1658 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1659 DIE *SPDie = CI->first;
1660 const MDNode *N = CI->second;
1661 if (!N) continue;
Manman Ren620f4362013-10-01 19:52:23 +00001662 DIE *NDie = DD->getTypeDIE(N);
Devang Pateldbc64af2011-08-15 17:24:54 +00001663 if (!NDie) continue;
1664 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1665 }
1666}
1667
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001668/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christopherf61dbc12013-06-24 21:07:27 +00001669DIE *CompileUnit::constructVariableDIE(DbgVariable *DV,
1670 bool isScopeAbstract) {
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001671 StringRef Name = DV->getName();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001672
1673 // Translate tag to proper Dwarf tag.
Eric Christopher31667622013-08-08 01:41:00 +00001674 uint16_t Tag = DV->getTag();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001675
1676 // Define variable debug information entry.
1677 DIE *VariableDie = new DIE(Tag);
1678 DbgVariable *AbsVar = DV->getAbstractVariable();
1679 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren742671b2013-05-29 17:16:59 +00001680 if (AbsDIE)
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001681 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Manman Ren742671b2013-05-29 17:16:59 +00001682 dwarf::DW_FORM_ref4, AbsDIE);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001683 else {
David Blaikie2883fd42013-08-19 03:34:03 +00001684 if (!Name.empty())
1685 addString(VariableDie, dwarf::DW_AT_name, Name);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001686 addSourceLine(VariableDie, DV->getVariable());
1687 addType(VariableDie, DV->getType());
1688 }
1689
1690 if (DV->isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001691 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001692
1693 if (isScopeAbstract) {
1694 DV->setDIE(VariableDie);
1695 return VariableDie;
1696 }
1697
1698 // Add variable address.
1699
1700 unsigned Offset = DV->getDotDebugLocOffset();
1701 if (Offset != ~0U) {
Eric Christopherafbe0e22013-06-24 21:34:55 +00001702 addLabel(VariableDie, dwarf::DW_AT_location, dwarf::DW_FORM_data4,
1703 Asm->GetTempSymbol("debug_loc", Offset));
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001704 DV->setDIE(VariableDie);
1705 return VariableDie;
1706 }
1707
Eric Christopher8cf5e742011-10-03 15:49:20 +00001708 // Check if variable is described by a DBG_VALUE instruction.
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001709 if (const MachineInstr *DVInsn = DV->getMInsn()) {
David Blaikie6d9dbd52013-06-16 20:34:15 +00001710 assert(DVInsn->getNumOperands() == 3);
1711 if (DVInsn->getOperand(0).isReg()) {
1712 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantlb2754912013-07-09 21:44:06 +00001713 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl35176402013-07-09 20:28:37 +00001714 if (DVInsn->getOperand(1).isImm()) {
1715 MachineLocation Location(RegOp.getReg(), DVInsn->getOperand(1).getImm());
Eric Christopherf61dbc12013-06-24 21:07:27 +00001716 addVariableAddress(*DV, VariableDie, Location);
David Blaikie6d9dbd52013-06-16 20:34:15 +00001717 } else if (RegOp.getReg())
Eric Christopherf61dbc12013-06-24 21:07:27 +00001718 addVariableAddress(*DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001719 } else if (DVInsn->getOperand(0).isImm())
Eric Christophere4721492013-07-03 01:08:30 +00001720 addConstantValue(VariableDie, DVInsn->getOperand(0), DV->getType());
David Blaikie6d9dbd52013-06-16 20:34:15 +00001721 else if (DVInsn->getOperand(0).isFPImm())
Eric Christophere4721492013-07-03 01:08:30 +00001722 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001723 else if (DVInsn->getOperand(0).isCImm())
Eric Christophere4721492013-07-03 01:08:30 +00001724 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Manman Ren2b530892013-10-01 23:45:54 +00001725 isUnsignedDIType(DD, DV->getType()));
Eric Christophere4721492013-07-03 01:08:30 +00001726
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001727 DV->setDIE(VariableDie);
1728 return VariableDie;
1729 } else {
1730 // .. else use frame index.
1731 int FI = DV->getFrameIndex();
1732 if (FI != ~0) {
1733 unsigned FrameReg = 0;
1734 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopher8b4310b2012-11-21 00:34:38 +00001735 int Offset =
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001736 TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1737 MachineLocation Location(FrameReg, Offset);
Eric Christopherf61dbc12013-06-24 21:07:27 +00001738 addVariableAddress(*DV, VariableDie, Location);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001739 }
1740 }
1741
1742 DV->setDIE(VariableDie);
1743 return VariableDie;
1744}
1745
Devang Patel161b2f42011-04-12 23:21:44 +00001746/// createMemberDIE - Create new member DIE.
1747DIE *CompileUnit::createMemberDIE(DIDerivedType DT) {
1748 DIE *MemberDie = new DIE(DT.getTag());
1749 StringRef Name = DT.getName();
1750 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001751 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001752
Manman Ren2b530892013-10-01 23:45:54 +00001753 addType(MemberDie, DD->resolve(DT.getTypeDerivedFrom()));
Devang Patel161b2f42011-04-12 23:21:44 +00001754
1755 addSourceLine(MemberDie, DT);
1756
1757 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
1758 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1759
1760 uint64_t Size = DT.getSizeInBits();
Manman Ren2b530892013-10-01 23:45:54 +00001761 uint64_t FieldSize = getOriginalTypeSize(DD, DT);
Devang Patel161b2f42011-04-12 23:21:44 +00001762
1763 if (Size != FieldSize) {
1764 // Handle bitfield.
Manman Ren2b530892013-10-01 23:45:54 +00001765 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0,
1766 getOriginalTypeSize(DD, DT)>>3);
Devang Patel161b2f42011-04-12 23:21:44 +00001767 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
1768
1769 uint64_t Offset = DT.getOffsetInBits();
1770 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1771 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1772 uint64_t FieldOffset = (HiMark - FieldSize);
1773 Offset -= FieldOffset;
1774
1775 // Maybe we need to work from the other end.
Micah Villmow3574eca2012-10-08 16:38:25 +00001776 if (Asm->getDataLayout().isLittleEndian())
Devang Patel161b2f42011-04-12 23:21:44 +00001777 Offset = FieldSize - (Offset + Size);
1778 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
1779
1780 // Here WD_AT_data_member_location points to the anonymous
1781 // field that includes this bit field.
1782 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
1783
1784 } else
1785 // This is not a bitfield.
1786 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
1787
1788 if (DT.getTag() == dwarf::DW_TAG_inheritance
1789 && DT.isVirtual()) {
1790
1791 // For C++, virtual base classes are not at fixed offset. Use following
1792 // expression to extract appropriate offset from vtable.
1793 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1794
1795 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
1796 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1797 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1798 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1799 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1800 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1801 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1802 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1803
1804 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1805 VBaseLocationDie);
1806 } else
1807 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
1808
1809 if (DT.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001810 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001811 dwarf::DW_ACCESS_protected);
1812 else if (DT.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001813 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001814 dwarf::DW_ACCESS_private);
1815 // Otherwise C++ member and base classes are considered public.
Eric Christopher8b4310b2012-11-21 00:34:38 +00001816 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001817 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001818 dwarf::DW_ACCESS_public);
1819 if (DT.isVirtual())
Nick Lewycky798313d2011-12-14 00:56:07 +00001820 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001821 dwarf::DW_VIRTUALITY_virtual);
Devang Patele9db5e22011-04-16 00:11:51 +00001822
1823 // Objective-C properties.
Devang Patel6588abf2012-02-06 17:49:43 +00001824 if (MDNode *PNode = DT.getObjCProperty())
1825 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher8b4310b2012-11-21 00:34:38 +00001826 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel6588abf2012-02-06 17:49:43 +00001827 PropertyDie);
1828
David Blaikie01bc2b32012-12-13 22:43:07 +00001829 if (DT.isArtificial())
1830 addFlag(MemberDie, dwarf::DW_AT_artificial);
1831
Devang Patel161b2f42011-04-12 23:21:44 +00001832 return MemberDie;
1833}
Eric Christopher6b6061f2013-01-16 01:22:23 +00001834
1835/// createStaticMemberDIE - Create new DIE for C++ static member.
1836DIE *CompileUnit::createStaticMemberDIE(const DIDerivedType DT) {
1837 if (!DT.Verify())
1838 return NULL;
1839
1840 DIE *StaticMemberDIE = new DIE(DT.getTag());
Manman Ren2b530892013-10-01 23:45:54 +00001841 DIType Ty = DD->resolve(DT.getTypeDerivedFrom());
Eric Christopher6b6061f2013-01-16 01:22:23 +00001842
1843 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1844 addType(StaticMemberDIE, Ty);
1845 addSourceLine(StaticMemberDIE, DT);
1846 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1847 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1848
1849 // FIXME: We could omit private if the parent is a class_type, and
1850 // public if the parent is something else.
1851 if (DT.isProtected())
1852 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1853 dwarf::DW_ACCESS_protected);
1854 else if (DT.isPrivate())
1855 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1856 dwarf::DW_ACCESS_private);
1857 else
1858 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1859 dwarf::DW_ACCESS_public);
1860
1861 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Ren2b530892013-10-01 23:45:54 +00001862 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikie14268412013-01-20 01:18:01 +00001863 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1864 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001865
Manman Ren620f4362013-10-01 19:52:23 +00001866 DD->insertStaticMemberDIE(DT, StaticMemberDIE);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001867 return StaticMemberDIE;
1868}