blob: 4d51e73fd65b170fd5c32526f88766a94e9b0335 [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"
Devang Patel6f9d8ff2011-08-15 17:57:41 +000025#include "llvm/Target/Mangler.h"
Devang Patel161b2f42011-04-12 23:21:44 +000026#include "llvm/Target/TargetFrameLowering.h"
27#include "llvm/Target/TargetMachine.h"
David Blaikie59eaa382013-06-28 20:05:11 +000028#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel161b2f42011-04-12 23:21:44 +000029#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel161b2f42011-04-12 23:21:44 +000030
31using namespace llvm;
32
33/// CompileUnit - Compile unit constructor.
Eric Christopher7b878952013-08-26 23:50:38 +000034CompileUnit::CompileUnit(unsigned UID, DIE *D, const MDNode *N, AsmPrinter *A,
35 DwarfDebug *DW, DwarfUnits *DWU)
Eric Christophere7099f62013-10-04 19:40:33 +000036 : UniqueID(UID), Node(N), CUDie(D), Asm(A), DD(DW), DU(DWU), IndexTyDie(0) {
Devang Patel161b2f42011-04-12 23:21:44 +000037 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
Eric Christopher9c57ad22013-05-08 00:58:51 +000038 insertDIE(N, D);
Devang Patel161b2f42011-04-12 23:21:44 +000039}
40
41/// ~CompileUnit - Destructor for compile unit.
42CompileUnit::~CompileUnit() {
43 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
44 DIEBlocks[j]->~DIEBlock();
45}
46
47/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
48/// information entry.
49DIEEntry *CompileUnit::createDIEEntry(DIE *Entry) {
50 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
51 return Value;
52}
53
Bill Wendling6afe4782012-12-06 07:55:19 +000054/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling222c2fd2012-12-06 07:38:10 +000055/// DWARF version doesn't handle the language, return -1.
Bill Wendling6afe4782012-12-06 07:55:19 +000056int64_t CompileUnit::getDefaultLowerBound() const {
Eric Christopher7b878952013-08-26 23:50:38 +000057 switch (DICompileUnit(Node).getLanguage()) {
Bill Wendling222c2fd2012-12-06 07:38:10 +000058 default:
59 break;
60
61 case dwarf::DW_LANG_C89:
62 case dwarf::DW_LANG_C99:
63 case dwarf::DW_LANG_C:
64 case dwarf::DW_LANG_C_plus_plus:
65 case dwarf::DW_LANG_ObjC:
66 case dwarf::DW_LANG_ObjC_plus_plus:
67 return 0;
68
69 case dwarf::DW_LANG_Fortran77:
70 case dwarf::DW_LANG_Fortran90:
71 case dwarf::DW_LANG_Fortran95:
72 return 1;
73
74 // The languages below have valid values only if the DWARF version >= 4.
75 case dwarf::DW_LANG_Java:
76 case dwarf::DW_LANG_Python:
77 case dwarf::DW_LANG_UPC:
78 case dwarf::DW_LANG_D:
79 if (dwarf::DWARF_VERSION >= 4)
80 return 0;
81 break;
82
83 case dwarf::DW_LANG_Ada83:
84 case dwarf::DW_LANG_Ada95:
85 case dwarf::DW_LANG_Cobol74:
86 case dwarf::DW_LANG_Cobol85:
87 case dwarf::DW_LANG_Modula2:
88 case dwarf::DW_LANG_Pascal83:
89 case dwarf::DW_LANG_PLI:
90 if (dwarf::DWARF_VERSION >= 4)
91 return 1;
92 break;
93 }
94
95 return -1;
96}
97
Eric Christopher873cf0a2012-08-24 01:14:27 +000098/// addFlag - Add a flag that is true.
Eric Christopher31667622013-08-08 01:41:00 +000099void CompileUnit::addFlag(DIE *Die, uint16_t Attribute) {
Michael Gottesmandc42d032013-09-04 04:39:38 +0000100 if (DD->getDwarfVersion() >= 4)
Eric Christopher9c0c9482013-10-04 22:40:05 +0000101 Die->addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopher873cf0a2012-08-24 01:14:27 +0000102 else
Eric Christopher9c0c9482013-10-04 22:40:05 +0000103 Die->addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopher873cf0a2012-08-24 01:14:27 +0000104}
105
Devang Patel161b2f42011-04-12 23:21:44 +0000106/// addUInt - Add an unsigned integer attribute data and value.
107///
Eric Christopher31667622013-08-08 01:41:00 +0000108void CompileUnit::addUInt(DIE *Die, uint16_t Attribute,
109 uint16_t Form, uint64_t Integer) {
Devang Patel161b2f42011-04-12 23:21:44 +0000110 if (!Form) Form = DIEInteger::BestForm(false, Integer);
111 DIEValue *Value = Integer == 1 ?
112 DIEIntegerOne : new (DIEValueAllocator) DIEInteger(Integer);
113 Die->addValue(Attribute, Form, Value);
114}
115
116/// addSInt - Add an signed integer attribute data and value.
117///
Eric Christopher31667622013-08-08 01:41:00 +0000118void CompileUnit::addSInt(DIE *Die, uint16_t Attribute,
119 uint16_t Form, int64_t Integer) {
Devang Patel161b2f42011-04-12 23:21:44 +0000120 if (!Form) Form = DIEInteger::BestForm(true, Integer);
121 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
122 Die->addValue(Attribute, Form, Value);
123}
124
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000125/// addString - Add a string attribute data and value. We always emit a
126/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopher3cc42202013-01-07 19:32:45 +0000127/// more predictable sizes. In the case of split dwarf we emit an index
128/// into another table which gets us the static offset into the string
129/// table.
Eric Christopher31667622013-08-08 01:41:00 +0000130void CompileUnit::addString(DIE *Die, uint16_t Attribute, StringRef String) {
Eric Christopher3dee5752013-07-26 17:02:41 +0000131 DIEValue *Value;
Eric Christopher31667622013-08-08 01:41:00 +0000132 uint16_t Form;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000133 if (!DD->useSplitDwarf()) {
134 MCSymbol *Symb = DU->getStringPoolEntry(String);
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000135 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000136 Value = new (DIEValueAllocator) DIELabel(Symb);
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000137 else {
138 MCSymbol *StringPool = DU->getStringPoolSym();
139 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
140 }
Eric Christopher3dee5752013-07-26 17:02:41 +0000141 Form = dwarf::DW_FORM_strp;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000142 } else {
143 unsigned idx = DU->getStringPoolIndex(String);
Eric Christopher3dee5752013-07-26 17:02:41 +0000144 Value = new (DIEValueAllocator) DIEInteger(idx);
145 Form = dwarf::DW_FORM_GNU_str_index;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000146 }
Eric Christopher3dee5752013-07-26 17:02:41 +0000147 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
148 Die->addValue(Attribute, Form, Str);
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000149}
150
151/// addLocalString - Add a string attribute data and value. This is guaranteed
152/// to be in the local string pool instead of indirected.
Eric Christopher31667622013-08-08 01:41:00 +0000153void CompileUnit::addLocalString(DIE *Die, uint16_t Attribute,
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000154 StringRef String) {
Eric Christopher2e5d8702012-12-20 21:58:36 +0000155 MCSymbol *Symb = DU->getStringPoolEntry(String);
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000156 DIEValue *Value;
157 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000158 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000159 else {
Eric Christopher2e5d8702012-12-20 21:58:36 +0000160 MCSymbol *StringPool = DU->getStringPoolSym();
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000161 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewycky390c40d2011-10-27 06:44:11 +0000162 }
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000163 Die->addValue(Attribute, dwarf::DW_FORM_strp, Value);
Devang Patel161b2f42011-04-12 23:21:44 +0000164}
165
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000166/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel161b2f42011-04-12 23:21:44 +0000167///
Eric Christopher31667622013-08-08 01:41:00 +0000168void CompileUnit::addExpr(DIE *Die, uint16_t Attribute, uint16_t Form,
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000169 const MCExpr *Expr) {
170 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
Devang Patel161b2f42011-04-12 23:21:44 +0000171 Die->addValue(Attribute, Form, Value);
172}
173
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000174/// addLabel - Add a Dwarf label attribute data and value.
175///
Eric Christopher31667622013-08-08 01:41:00 +0000176void CompileUnit::addLabel(DIE *Die, uint16_t Attribute, uint16_t Form,
David Blaikie95e72c92013-06-28 20:05:04 +0000177 const MCSymbol *Label) {
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000178 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
179 Die->addValue(Attribute, Form, Value);
David Blaikie95e72c92013-06-28 20:05:04 +0000180}
181
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000182/// addLabelAddress - Add a dwarf label attribute data and value using
183/// DW_FORM_addr or DW_FORM_GNU_addr_index.
184///
Eric Christopher31667622013-08-08 01:41:00 +0000185void CompileUnit::addLabelAddress(DIE *Die, uint16_t Attribute,
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000186 MCSymbol *Label) {
Alexey Samsonov9d08d692013-10-03 08:54:43 +0000187 if (Label)
188 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton5cc319a2013-09-19 23:21:01 +0000189
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000190 if (!DD->useSplitDwarf()) {
191 if (Label != NULL) {
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000192 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000193 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
194 } else {
195 DIEValue *Value = new (DIEValueAllocator) DIEInteger(0);
196 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
197 }
198 } else {
199 unsigned idx = DU->getAddrPoolIndex(Label);
200 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
201 Die->addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
202 }
203}
204
Eric Christopher0969ddf2013-01-18 22:11:33 +0000205/// addOpAddress - Add a dwarf op address data and value using the
206/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
207///
David Blaikie95e72c92013-06-28 20:05:04 +0000208void CompileUnit::addOpAddress(DIE *Die, const MCSymbol *Sym) {
Alexey Samsonov9d08d692013-10-03 08:54:43 +0000209 DD->addArangeLabel(SymbolCU(this, Sym));
Eric Christopher0969ddf2013-01-18 22:11:33 +0000210 if (!DD->useSplitDwarf()) {
211 addUInt(Die, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
212 addLabel(Die, 0, dwarf::DW_FORM_udata, Sym);
213 } else {
Eric Christopher0969ddf2013-01-18 22:11:33 +0000214 addUInt(Die, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
David Blaikie8fed05e2013-07-01 23:55:52 +0000215 addUInt(Die, 0, dwarf::DW_FORM_GNU_addr_index, DU->getAddrPoolIndex(Sym));
Eric Christopher0969ddf2013-01-18 22:11:33 +0000216 }
217}
218
Devang Patel161b2f42011-04-12 23:21:44 +0000219/// addDelta - Add a label delta attribute data and value.
220///
Eric Christopher31667622013-08-08 01:41:00 +0000221void CompileUnit::addDelta(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel161b2f42011-04-12 23:21:44 +0000222 const MCSymbol *Hi, const MCSymbol *Lo) {
223 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
224 Die->addValue(Attribute, Form, Value);
225}
226
227/// addDIEEntry - Add a DIE attribute data and value.
228///
Eric Christopher31667622013-08-08 01:41:00 +0000229void CompileUnit::addDIEEntry(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel161b2f42011-04-12 23:21:44 +0000230 DIE *Entry) {
Eric Christopher3f045002013-10-04 17:08:38 +0000231 Die->addValue(Attribute, Form, createDIEEntry(Entry));
Devang Patel161b2f42011-04-12 23:21:44 +0000232}
233
Devang Patel161b2f42011-04-12 23:21:44 +0000234/// addBlock - Add block data.
235///
Eric Christopher31667622013-08-08 01:41:00 +0000236void CompileUnit::addBlock(DIE *Die, uint16_t Attribute, uint16_t Form,
Devang Patel161b2f42011-04-12 23:21:44 +0000237 DIEBlock *Block) {
238 Block->ComputeSize(Asm);
239 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
240 Die->addValue(Attribute, Block->BestForm(), Block);
241}
242
243/// addSourceLine - Add location information to specified debug information
244/// entry.
245void CompileUnit::addSourceLine(DIE *Die, DIVariable V) {
246 // Verify variable.
Manman Rend03d2b22013-07-08 18:33:29 +0000247 if (!V.isVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000248 return;
Eric Christopher8b4310b2012-11-21 00:34:38 +0000249
Devang Patel161b2f42011-04-12 23:21:44 +0000250 unsigned Line = V.getLineNumber();
251 if (Line == 0)
252 return;
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000253 unsigned FileID = DD->getOrCreateSourceID(V.getContext().getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000254 V.getContext().getDirectory(),
255 getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000256 assert(FileID && "Invalid file id");
257 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
258 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
259}
260
261/// addSourceLine - Add location information to specified debug information
262/// entry.
263void CompileUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
264 // Verify global variable.
Manman Rend03d2b22013-07-08 18:33:29 +0000265 if (!G.isGlobalVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000266 return;
267
268 unsigned Line = G.getLineNumber();
269 if (Line == 0)
270 return;
Manman Ren3de61b42013-03-07 01:42:00 +0000271 unsigned FileID = DD->getOrCreateSourceID(G.getFilename(), G.getDirectory(),
272 getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000273 assert(FileID && "Invalid file id");
274 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
275 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
276}
277
278/// addSourceLine - Add location information to specified debug information
279/// entry.
280void CompileUnit::addSourceLine(DIE *Die, DISubprogram SP) {
281 // Verify subprogram.
Manman Rend03d2b22013-07-08 18:33:29 +0000282 if (!SP.isSubprogram())
Devang Patel161b2f42011-04-12 23:21:44 +0000283 return;
Eric Christopher2125d5a2012-03-15 23:55:40 +0000284
Devang Patel161b2f42011-04-12 23:21:44 +0000285 // If the line number is 0, don't add it.
Eric Christopher2125d5a2012-03-15 23:55:40 +0000286 unsigned Line = SP.getLineNumber();
287 if (Line == 0)
Devang Patel161b2f42011-04-12 23:21:44 +0000288 return;
289
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000290 unsigned FileID = DD->getOrCreateSourceID(SP.getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000291 SP.getDirectory(), getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000292 assert(FileID && "Invalid file id");
293 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
294 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
295}
296
297/// addSourceLine - Add location information to specified debug information
298/// entry.
299void CompileUnit::addSourceLine(DIE *Die, DIType Ty) {
300 // Verify type.
Manman Rend03d2b22013-07-08 18:33:29 +0000301 if (!Ty.isType())
Devang Patel161b2f42011-04-12 23:21:44 +0000302 return;
303
304 unsigned Line = Ty.getLineNumber();
Eric Christopher2125d5a2012-03-15 23:55:40 +0000305 if (Line == 0)
Devang Patel161b2f42011-04-12 23:21:44 +0000306 return;
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000307 unsigned FileID = DD->getOrCreateSourceID(Ty.getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000308 Ty.getDirectory(), getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000309 assert(FileID && "Invalid file id");
310 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
311 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
312}
313
314/// addSourceLine - Add location information to specified debug information
315/// entry.
Eric Christopherb8ca9882012-03-29 08:42:56 +0000316void CompileUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
317 // Verify type.
Manman Rend03d2b22013-07-08 18:33:29 +0000318 if (!Ty.isObjCProperty())
Eric Christopherb8ca9882012-03-29 08:42:56 +0000319 return;
320
321 unsigned Line = Ty.getLineNumber();
322 if (Line == 0)
323 return;
324 DIFile File = Ty.getFile();
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000325 unsigned FileID = DD->getOrCreateSourceID(File.getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000326 File.getDirectory(), getUniqueID());
Eric Christopherb8ca9882012-03-29 08:42:56 +0000327 assert(FileID && "Invalid file id");
328 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
329 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
330}
331
332/// addSourceLine - Add location information to specified debug information
333/// entry.
Devang Patel161b2f42011-04-12 23:21:44 +0000334void CompileUnit::addSourceLine(DIE *Die, DINameSpace NS) {
335 // Verify namespace.
336 if (!NS.Verify())
337 return;
338
339 unsigned Line = NS.getLineNumber();
340 if (Line == 0)
341 return;
342 StringRef FN = NS.getFilename();
343
Manman Ren3de61b42013-03-07 01:42:00 +0000344 unsigned FileID = DD->getOrCreateSourceID(FN, NS.getDirectory(),
345 getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000346 assert(FileID && "Invalid file id");
347 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
348 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
349}
350
Eric Christopher8b4310b2012-11-21 00:34:38 +0000351/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patele1cdf842011-04-27 22:45:24 +0000352/// DbgVariable based on provided MachineLocation.
Eric Christopherf61dbc12013-06-24 21:07:27 +0000353void CompileUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
Devang Patele1cdf842011-04-27 22:45:24 +0000354 MachineLocation Location) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000355 if (DV.variableHasComplexAddress())
Devang Patel161b2f42011-04-12 23:21:44 +0000356 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherf61dbc12013-06-24 21:07:27 +0000357 else if (DV.isBlockByrefVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000358 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
359 else
David Blaikie4532c282013-06-20 00:25:24 +0000360 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherf61dbc12013-06-24 21:07:27 +0000361 DV.getVariable().isIndirect());
Devang Patel161b2f42011-04-12 23:21:44 +0000362}
363
Devang Patel116da2f2011-04-26 19:06:18 +0000364/// addRegisterOp - Add register operand.
365void CompileUnit::addRegisterOp(DIE *TheDie, unsigned Reg) {
366 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
367 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
368 if (DWReg < 32)
369 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
370 else {
371 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
372 addUInt(TheDie, 0, dwarf::DW_FORM_udata, DWReg);
373 }
374}
375
376/// addRegisterOffset - Add register offset.
377void CompileUnit::addRegisterOffset(DIE *TheDie, unsigned Reg,
378 int64_t Offset) {
379 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
380 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
381 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
382 if (Reg == TRI->getFrameRegister(*Asm->MF))
383 // If variable offset is based in frame register then use fbreg.
384 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
385 else if (DWReg < 32)
386 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
387 else {
388 addUInt(TheDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
389 addUInt(TheDie, 0, dwarf::DW_FORM_udata, DWReg);
390 }
391 addSInt(TheDie, 0, dwarf::DW_FORM_sdata, Offset);
392}
393
394/// addAddress - Add an address attribute to a die based on the location
395/// provided.
Eric Christopher31667622013-08-08 01:41:00 +0000396void CompileUnit::addAddress(DIE *Die, uint16_t Attribute,
David Blaikie4532c282013-06-20 00:25:24 +0000397 const MachineLocation &Location, bool Indirect) {
Devang Patel116da2f2011-04-26 19:06:18 +0000398 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
399
David Blaikie4532c282013-06-20 00:25:24 +0000400 if (Location.isReg() && !Indirect)
Devang Patel116da2f2011-04-26 19:06:18 +0000401 addRegisterOp(Block, Location.getReg());
David Blaikie4532c282013-06-20 00:25:24 +0000402 else {
Devang Patel116da2f2011-04-26 19:06:18 +0000403 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
David Blaikie4532c282013-06-20 00:25:24 +0000404 if (Indirect && !Location.isReg()) {
405 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
406 }
407 }
Devang Patel116da2f2011-04-26 19:06:18 +0000408
409 // Now attach the location information to the DIE.
410 addBlock(Die, Attribute, 0, Block);
411}
412
Devang Patel161b2f42011-04-12 23:21:44 +0000413/// addComplexAddress - Start with the address based on the location provided,
414/// and generate the DWARF information necessary to find the actual variable
415/// given the extra address information encoded in the DIVariable, starting from
416/// the starting location. Add the DWARF information to the die.
417///
Eric Christopherf61dbc12013-06-24 21:07:27 +0000418void CompileUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
Eric Christopher31667622013-08-08 01:41:00 +0000419 uint16_t Attribute,
Devang Patel161b2f42011-04-12 23:21:44 +0000420 const MachineLocation &Location) {
Devang Patel161b2f42011-04-12 23:21:44 +0000421 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Eric Christopherf61dbc12013-06-24 21:07:27 +0000422 unsigned N = DV.getNumAddrElements();
Devang Patelc26f5442011-04-28 02:22:40 +0000423 unsigned i = 0;
424 if (Location.isReg()) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000425 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patelc26f5442011-04-28 02:22:40 +0000426 // If first address element is OpPlus then emit
427 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopherf61dbc12013-06-24 21:07:27 +0000428 addRegisterOffset(Block, Location.getReg(), DV.getAddrElement(1));
Devang Patelc26f5442011-04-28 02:22:40 +0000429 i = 2;
430 } else
431 addRegisterOp(Block, Location.getReg());
432 }
Devang Patel116da2f2011-04-26 19:06:18 +0000433 else
434 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel161b2f42011-04-12 23:21:44 +0000435
Devang Patelc26f5442011-04-28 02:22:40 +0000436 for (;i < N; ++i) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000437 uint64_t Element = DV.getAddrElement(i);
Devang Patel161b2f42011-04-12 23:21:44 +0000438 if (Element == DIBuilder::OpPlus) {
439 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Eric Christopherf61dbc12013-06-24 21:07:27 +0000440 addUInt(Block, 0, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel161b2f42011-04-12 23:21:44 +0000441 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher50120762012-05-08 18:56:00 +0000442 if (!Location.isReg())
443 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel161b2f42011-04-12 23:21:44 +0000444 } else llvm_unreachable("unknown DIBuilder Opcode");
445 }
446
447 // Now attach the location information to the DIE.
448 addBlock(Die, Attribute, 0, Block);
449}
450
451/* Byref variables, in Blocks, are declared by the programmer as "SomeType
452 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
453 gives the variable VarName either the struct, or a pointer to the struct, as
454 its type. This is necessary for various behind-the-scenes things the
455 compiler needs to do with by-reference variables in Blocks.
456
457 However, as far as the original *programmer* is concerned, the variable
458 should still have type 'SomeType', as originally declared.
459
460 The function getBlockByrefType dives into the __Block_byref_x_VarName
461 struct to find the original type of the variable, which is then assigned to
462 the variable's Debug Information Entry as its real type. So far, so good.
463 However now the debugger will expect the variable VarName to have the type
464 SomeType. So we need the location attribute for the variable to be an
465 expression that explains to the debugger how to navigate through the
466 pointers and struct to find the actual variable of type SomeType.
467
468 The following function does just that. We start by getting
469 the "normal" location for the variable. This will be the location
470 of either the struct __Block_byref_x_VarName or the pointer to the
471 struct __Block_byref_x_VarName.
472
473 The struct will look something like:
474
475 struct __Block_byref_x_VarName {
476 ... <various fields>
477 struct __Block_byref_x_VarName *forwarding;
478 ... <various other fields>
479 SomeType VarName;
480 ... <maybe more fields>
481 };
482
483 If we are given the struct directly (as our starting point) we
484 need to tell the debugger to:
485
486 1). Add the offset of the forwarding field.
487
488 2). Follow that pointer to get the real __Block_byref_x_VarName
489 struct to use (the real one may have been copied onto the heap).
490
491 3). Add the offset for the field VarName, to find the actual variable.
492
493 If we started with a pointer to the struct, then we need to
494 dereference that pointer first, before the other steps.
495 Translating this into DWARF ops, we will need to append the following
496 to the current location description for the variable:
497
498 DW_OP_deref -- optional, if we start with a pointer
499 DW_OP_plus_uconst <forward_fld_offset>
500 DW_OP_deref
501 DW_OP_plus_uconst <varName_fld_offset>
502
503 That is what this function does. */
504
505/// addBlockByrefAddress - Start with the address based on the location
506/// provided, and generate the DWARF information necessary to find the
507/// actual Block variable (navigating the Block struct) based on the
508/// starting location. Add the DWARF information to the die. For
509/// more information, read large comment just above here.
510///
Eric Christopherf61dbc12013-06-24 21:07:27 +0000511void CompileUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
Eric Christopher31667622013-08-08 01:41:00 +0000512 uint16_t Attribute,
Devang Patel161b2f42011-04-12 23:21:44 +0000513 const MachineLocation &Location) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000514 DIType Ty = DV.getType();
Devang Patel161b2f42011-04-12 23:21:44 +0000515 DIType TmpTy = Ty;
Eric Christopher31667622013-08-08 01:41:00 +0000516 uint16_t Tag = Ty.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +0000517 bool isPointer = false;
518
Eric Christopherf61dbc12013-06-24 21:07:27 +0000519 StringRef varName = DV.getName();
Devang Patel161b2f42011-04-12 23:21:44 +0000520
521 if (Tag == dwarf::DW_TAG_pointer_type) {
522 DIDerivedType DTy = DIDerivedType(Ty);
Manman Renc664d762013-10-05 01:43:03 +0000523 TmpTy = DD->resolve(DTy.getTypeDerivedFrom());
Devang Patel161b2f42011-04-12 23:21:44 +0000524 isPointer = true;
525 }
526
527 DICompositeType blockStruct = DICompositeType(TmpTy);
528
529 // Find the __forwarding field and the variable field in the __Block_byref
530 // struct.
531 DIArray Fields = blockStruct.getTypeArray();
532 DIDescriptor varField = DIDescriptor();
533 DIDescriptor forwardingField = DIDescriptor();
534
535 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
536 DIDescriptor Element = Fields.getElement(i);
537 DIDerivedType DT = DIDerivedType(Element);
538 StringRef fieldName = DT.getName();
539 if (fieldName == "__forwarding")
540 forwardingField = Element;
541 else if (fieldName == varName)
542 varField = Element;
543 }
544
545 // Get the offsets for the forwarding field and the variable field.
546 unsigned forwardingFieldOffset =
547 DIDerivedType(forwardingField).getOffsetInBits() >> 3;
548 unsigned varFieldOffset =
549 DIDerivedType(varField).getOffsetInBits() >> 3;
550
551 // Decode the original location, and use that as the start of the byref
552 // variable's location.
Devang Patel161b2f42011-04-12 23:21:44 +0000553 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
554
Eric Christophercaba2632012-07-04 02:02:18 +0000555 if (Location.isReg())
556 addRegisterOp(Block, Location.getReg());
557 else
558 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel161b2f42011-04-12 23:21:44 +0000559
560 // If we started with a pointer to the __Block_byref... struct, then
561 // the first thing we need to do is dereference the pointer (DW_OP_deref).
562 if (isPointer)
563 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
564
565 // Next add the offset for the '__forwarding' field:
566 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
567 // adding the offset if it's 0.
568 if (forwardingFieldOffset > 0) {
569 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
570 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
571 }
572
573 // Now dereference the __forwarding field to get to the real __Block_byref
574 // struct: DW_OP_deref.
575 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
576
577 // Now that we've got the real __Block_byref... struct, add the offset
578 // for the variable's field to get to the location of the actual variable:
579 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
580 if (varFieldOffset > 0) {
581 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
582 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
583 }
584
585 // Now attach the location information to the DIE.
586 addBlock(Die, Attribute, 0, Block);
587}
588
Devang Patel4ec14b02011-07-20 21:57:04 +0000589/// isTypeSigned - Return true if the type is signed.
Manman Renc664d762013-10-05 01:43:03 +0000590static bool isTypeSigned(DwarfDebug *DD, DIType Ty, int *SizeInBits) {
Devang Patel4ec14b02011-07-20 21:57:04 +0000591 if (Ty.isDerivedType())
Manman Renc664d762013-10-05 01:43:03 +0000592 return isTypeSigned(DD, DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()),
593 SizeInBits);
Devang Patel4ec14b02011-07-20 21:57:04 +0000594 if (Ty.isBasicType())
595 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed
596 || DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
597 *SizeInBits = Ty.getSizeInBits();
598 return true;
599 }
600 return false;
601}
602
Manman Renc664d762013-10-05 01:43:03 +0000603/// Return true if type encoding is unsigned.
604static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
605 DIDerivedType DTy(Ty);
606 if (DTy.isDerivedType())
607 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
608
609 DIBasicType BTy(Ty);
610 if (BTy.isBasicType()) {
611 unsigned Encoding = BTy.getEncoding();
612 if (Encoding == dwarf::DW_ATE_unsigned ||
613 Encoding == dwarf::DW_ATE_unsigned_char ||
614 Encoding == dwarf::DW_ATE_boolean)
615 return true;
616 }
617 return false;
618}
619
620/// If this type is derived from a base type then return base type size.
621static uint64_t getOriginalTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
622 unsigned Tag = Ty.getTag();
623
624 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
625 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
626 Tag != dwarf::DW_TAG_restrict_type)
627 return Ty.getSizeInBits();
628
629 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
630
631 // If this type is not derived from any type then take conservative approach.
632 if (!BaseType.isValid())
633 return Ty.getSizeInBits();
634
635 // If this is a derived type, go ahead and get the base type, unless it's a
636 // reference then it's just the size of the field. Pointer types have no need
637 // of this since they're a different type of qualification on the type.
638 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
639 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
640 return Ty.getSizeInBits();
641
642 if (BaseType.isDerivedType())
643 return getOriginalTypeSize(DD, DIDerivedType(BaseType));
644
645 return BaseType.getSizeInBits();
646}
647
Devang Patel161b2f42011-04-12 23:21:44 +0000648/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000649void CompileUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
Devang Patelb58128e2011-05-27 16:45:18 +0000650 DIType Ty) {
David Blaikie4de9d722013-05-10 21:52:07 +0000651 // FIXME: This is a bit conservative/simple - it emits negative values at
652 // their maximum bit width which is a bit unfortunate (& doesn't prefer
653 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky746cb672011-10-26 22:55:33 +0000654 assert(MO.isImm() && "Invalid machine operand!");
Devang Patel4ec14b02011-07-20 21:57:04 +0000655 int SizeInBits = -1;
Manman Renc664d762013-10-05 01:43:03 +0000656 bool SignedConstant = isTypeSigned(DD, Ty, &SizeInBits);
Eric Christopher7b2ee392013-08-27 23:49:04 +0000657 uint16_t Form;
Devang Patel72f0d9c2011-05-27 18:15:52 +0000658
Eric Christopher7b2ee392013-08-27 23:49:04 +0000659 // If we're a signed constant definitely use sdata.
660 if (SignedConstant) {
661 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
662 return;
663 }
664
665 // Else use data for now unless it's larger than we can deal with.
666 switch (SizeInBits) {
667 case 8:
668 Form = dwarf::DW_FORM_data1;
669 break;
670 case 16:
671 Form = dwarf::DW_FORM_data2;
672 break;
673 case 32:
674 Form = dwarf::DW_FORM_data4;
675 break;
676 case 64:
677 Form = dwarf::DW_FORM_data8;
678 break;
679 default:
680 Form = dwarf::DW_FORM_udata;
681 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
682 return;
683 }
684 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel161b2f42011-04-12 23:21:44 +0000685}
686
687/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000688void CompileUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Nick Lewycky390c40d2011-10-27 06:44:11 +0000689 assert (MO.isFPImm() && "Invalid machine operand!");
Devang Patel161b2f42011-04-12 23:21:44 +0000690 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
691 APFloat FPImm = MO.getFPImm()->getValueAPF();
692
693 // Get the raw data form of the floating point.
694 const APInt FltVal = FPImm.bitcastToAPInt();
695 const char *FltPtr = (const char*)FltVal.getRawData();
696
697 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmow3574eca2012-10-08 16:38:25 +0000698 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel161b2f42011-04-12 23:21:44 +0000699 int Incr = (LittleEndian ? 1 : -1);
700 int Start = (LittleEndian ? 0 : NumBytes - 1);
701 int Stop = (LittleEndian ? NumBytes : -1);
702
703 // Output the constant to DWARF one byte at a time.
704 for (; Start != Stop; Start += Incr)
705 addUInt(Block, 0, dwarf::DW_FORM_data1,
706 (unsigned char)0xFF & FltPtr[Start]);
707
708 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000709}
710
David Blaikie14268412013-01-20 01:18:01 +0000711/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000712void CompileUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher7b2ee392013-08-27 23:49:04 +0000713 // Pass this down to addConstantValue as an unsigned bag of bits.
714 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikie14268412013-01-20 01:18:01 +0000715}
716
Devang Patel161b2f42011-04-12 23:21:44 +0000717/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000718void CompileUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
Devang Patel161b2f42011-04-12 23:21:44 +0000719 bool Unsigned) {
Eric Christophere4721492013-07-03 01:08:30 +0000720 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikie14268412013-01-20 01:18:01 +0000721}
722
723// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000724void CompileUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikie14268412013-01-20 01:18:01 +0000725 unsigned CIBitWidth = Val.getBitWidth();
Devang Pateld6a81362011-05-28 00:39:18 +0000726 if (CIBitWidth <= 64) {
Eric Christopher7b2ee392013-08-27 23:49:04 +0000727 // If we're a signed constant definitely use sdata.
728 if (!Unsigned) {
729 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
730 Val.getSExtValue());
731 return;
Devang Pateld6a81362011-05-28 00:39:18 +0000732 }
Eric Christopher7b2ee392013-08-27 23:49:04 +0000733
734 // Else use data for now unless it's larger than we can deal with.
735 uint16_t Form;
736 switch (CIBitWidth) {
737 case 8:
738 Form = dwarf::DW_FORM_data1;
739 break;
740 case 16:
741 Form = dwarf::DW_FORM_data2;
742 break;
743 case 32:
744 Form = dwarf::DW_FORM_data4;
745 break;
746 case 64:
747 Form = dwarf::DW_FORM_data8;
748 break;
749 default:
750 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
751 Val.getZExtValue());
752 return;
753 }
754 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christophere4721492013-07-03 01:08:30 +0000755 return;
Devang Patel161b2f42011-04-12 23:21:44 +0000756 }
757
758 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
759
760 // Get the raw data form of the large APInt.
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000761 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel161b2f42011-04-12 23:21:44 +0000762
763 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmow3574eca2012-10-08 16:38:25 +0000764 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel161b2f42011-04-12 23:21:44 +0000765
766 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000767 for (int i = 0; i < NumBytes; i++) {
768 uint8_t c;
769 if (LittleEndian)
770 c = Ptr64[i / 8] >> (8 * (i & 7));
771 else
772 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
773 addUInt(Block, 0, dwarf::DW_FORM_data1, c);
774 }
Devang Patel161b2f42011-04-12 23:21:44 +0000775
776 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000777}
778
Eric Christopher6c3bb942013-04-22 07:47:40 +0000779/// addTemplateParams - Add template parameters into buffer.
Devang Patel161b2f42011-04-12 23:21:44 +0000780void CompileUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
781 // Add template parameters.
782 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
783 DIDescriptor Element = TParams.getElement(i);
784 if (Element.isTemplateTypeParameter())
785 Buffer.addChild(getOrCreateTemplateTypeParameterDIE(
786 DITemplateTypeParameter(Element)));
787 else if (Element.isTemplateValueParameter())
788 Buffer.addChild(getOrCreateTemplateValueParameterDIE(
789 DITemplateValueParameter(Element)));
790 }
Devang Patel161b2f42011-04-12 23:21:44 +0000791}
Nick Lewycky746cb672011-10-26 22:55:33 +0000792
Eric Christopher6b6061f2013-01-16 01:22:23 +0000793/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christopherccb66362013-10-04 23:49:26 +0000794DIE *CompileUnit::getOrCreateContextDIE(DIScope Context) {
Eric Christopher6b6061f2013-01-16 01:22:23 +0000795 if (Context.isType())
796 return getOrCreateTypeDIE(DIType(Context));
797 else if (Context.isNameSpace())
798 return getOrCreateNameSpace(DINameSpace(Context));
799 else if (Context.isSubprogram())
800 return getOrCreateSubprogramDIE(DISubprogram(Context));
Eric Christopher6c3bb942013-04-22 07:47:40 +0000801 else
Eric Christopher6b6061f2013-01-16 01:22:23 +0000802 return getDIE(Context);
803}
804
Devang Patel161b2f42011-04-12 23:21:44 +0000805/// addToContextOwner - Add Die into the list of its context owner's children.
Eric Christopherccb66362013-10-04 23:49:26 +0000806void CompileUnit::addToContextOwner(DIE *Die, DIScope Context) {
David Blaikiee5830c42013-10-03 20:07:20 +0000807 assert(!Die->getParent());
808 if (DIE *ContextDIE = getOrCreateContextDIE(Context)) {
809 if (Die->getParent()) {
810 // While creating the context, if this is a type member, we will have
811 // added the child to the context already.
812 assert(Die->getParent() == ContextDIE);
813 return;
814 }
Devang Patel161b2f42011-04-12 23:21:44 +0000815 ContextDIE->addChild(Die);
David Blaikiee5830c42013-10-03 20:07:20 +0000816 } else
Devang Patel161b2f42011-04-12 23:21:44 +0000817 addDie(Die);
818}
819
820/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
821/// given DIType.
Devang Patel94c7ddb2011-08-16 22:09:43 +0000822DIE *CompileUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
823 DIType Ty(TyNode);
Manman Rend03d2b22013-07-08 18:33:29 +0000824 if (!Ty.isType())
Devang Patel94c7ddb2011-08-16 22:09:43 +0000825 return NULL;
Eric Christopher3f045002013-10-04 17:08:38 +0000826 DIE *TyDIE = getDIE(Ty);
Devang Patel161b2f42011-04-12 23:21:44 +0000827 if (TyDIE)
828 return TyDIE;
829
830 // Create new type.
David Blaikie916d49e2013-10-04 23:21:16 +0000831 TyDIE = new DIE(Ty.getTag());
Eric Christopher3f045002013-10-04 17:08:38 +0000832 insertDIE(Ty, TyDIE);
Devang Patel161b2f42011-04-12 23:21:44 +0000833 if (Ty.isBasicType())
834 constructTypeDIE(*TyDIE, DIBasicType(Ty));
835 else if (Ty.isCompositeType())
836 constructTypeDIE(*TyDIE, DICompositeType(Ty));
837 else {
838 assert(Ty.isDerivedType() && "Unknown kind of DIType");
839 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
840 }
Eric Christopher1b3f9192011-11-10 19:52:58 +0000841 // If this is a named finished type then include it in the list of types
842 // for the accelerator tables.
Eric Christopherc36145f2012-01-06 04:35:23 +0000843 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
844 bool IsImplementation = 0;
845 if (Ty.isCompositeType()) {
846 DICompositeType CT(Ty);
Eric Christophere0167892012-01-06 23:03:37 +0000847 // A runtime language of 0 actually means C/C++ and that any
848 // non-negative value is some version of Objective-C/C++.
Eric Christopherc36145f2012-01-06 04:35:23 +0000849 IsImplementation = (CT.getRunTimeLang() == 0) ||
Eric Christophere2dc9332012-02-22 08:46:02 +0000850 CT.isObjcClassComplete();
Eric Christopherc36145f2012-01-06 04:35:23 +0000851 }
Eric Christopher577056f2013-09-05 18:20:16 +0000852 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christophere0167892012-01-06 23:03:37 +0000853 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
Eric Christopherc36145f2012-01-06 04:35:23 +0000854 }
Eric Christopher8b4310b2012-11-21 00:34:38 +0000855
Eric Christophereee74fb2013-10-05 00:27:02 +0000856 addToContextOwner(TyDIE, resolve(Ty.getContext()));
Devang Patel161b2f42011-04-12 23:21:44 +0000857 return TyDIE;
858}
859
860/// addType - Add a new type attribute to the specified entity.
Eric Christopher31667622013-08-08 01:41:00 +0000861void CompileUnit::addType(DIE *Entity, DIType Ty, uint16_t Attribute) {
Eric Christopherdc1363f2013-08-08 07:40:37 +0000862 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel161b2f42011-04-12 23:21:44 +0000863
864 // Check for pre-existence.
865 DIEEntry *Entry = getDIEEntry(Ty);
866 // If it exists then use the existing value.
867 if (Entry) {
Eric Christopher3f045002013-10-04 17:08:38 +0000868 Entity->addValue(Attribute, dwarf::DW_FORM_ref4, Entry);
Devang Patel161b2f42011-04-12 23:21:44 +0000869 return;
870 }
871
872 // Construct type.
873 DIE *Buffer = getOrCreateTypeDIE(Ty);
874
875 // Set up proxy.
876 Entry = createDIEEntry(Buffer);
877 insertDIEEntry(Ty, Entry);
Eric Christopher3f045002013-10-04 17:08:38 +0000878 Entity->addValue(Attribute, dwarf::DW_FORM_ref4, Entry);
Devang Patele9ae06c2011-05-31 22:56:51 +0000879
880 // If this is a complete composite type then include it in the
881 // list of global types.
Devang Patelc20bdf12011-06-01 00:23:24 +0000882 addGlobalType(Ty);
Devang Patel66658e42011-05-31 23:30:30 +0000883}
884
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000885// Accelerator table mutators - add each name along with its companion
886// DIE to the proper table while ensuring that the name that we're going
887// to reference is in the string table. We do this since the names we
888// add may not only be identical to the names in the DIE.
889void CompileUnit::addAccelName(StringRef Name, DIE *Die) {
890 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000891 std::vector<DIE *> &DIEs = AccelNames[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000892 DIEs.push_back(Die);
893}
894
895void CompileUnit::addAccelObjC(StringRef Name, DIE *Die) {
896 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000897 std::vector<DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000898 DIEs.push_back(Die);
899}
900
901void CompileUnit::addAccelNamespace(StringRef Name, DIE *Die) {
902 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000903 std::vector<DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000904 DIEs.push_back(Die);
905}
906
907void CompileUnit::addAccelType(StringRef Name, std::pair<DIE *, unsigned> Die) {
908 DU->getStringPoolEntry(Name);
909 std::vector<std::pair<DIE *, unsigned> > &DIEs = AccelTypes[Name];
910 DIEs.push_back(Die);
911}
912
Eric Christopher50d37a42013-09-20 22:20:55 +0000913/// addGlobalName - Add a new global name to the compile unit.
914void CompileUnit::addGlobalName(StringRef Name, DIE *Die) {
915 GlobalNames[Name] = Die;
916}
917
Devang Patel66658e42011-05-31 23:30:30 +0000918/// addGlobalType - Add a new global type to the compile unit.
919///
Devang Patelc20bdf12011-06-01 00:23:24 +0000920void CompileUnit::addGlobalType(DIType Ty) {
Eric Christophereee74fb2013-10-05 00:27:02 +0000921 DIScope Context = resolve(Ty.getContext());
Eric Christopher5a634742013-09-23 23:15:58 +0000922 if (!Ty.getName().empty() && !Ty.isForwardDecl() &&
Eric Christopher734334e2013-09-23 22:59:11 +0000923 (!Context || Context.isCompileUnit() || Context.isFile() ||
924 Context.isNameSpace()))
Devang Patelc20bdf12011-06-01 00:23:24 +0000925 if (DIEEntry *Entry = getDIEEntry(Ty))
926 GlobalTypes[Ty.getName()] = Entry->getEntry();
Devang Patel161b2f42011-04-12 23:21:44 +0000927}
928
Eric Christopher22852c72013-10-05 00:05:51 +0000929/// addPubTypes - Add subprogram argument types for pubtypes section.
Devang Patel31c5d052011-05-06 16:57:54 +0000930void CompileUnit::addPubTypes(DISubprogram SP) {
931 DICompositeType SPTy = SP.getType();
Eric Christopher31667622013-08-08 01:41:00 +0000932 uint16_t SPTag = SPTy.getTag();
Devang Patel31c5d052011-05-06 16:57:54 +0000933 if (SPTag != dwarf::DW_TAG_subroutine_type)
934 return;
935
936 DIArray Args = SPTy.getTypeArray();
937 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
938 DIType ATy(Args.getElement(i));
Manman Rend03d2b22013-07-08 18:33:29 +0000939 if (!ATy.isType())
Devang Patel31c5d052011-05-06 16:57:54 +0000940 continue;
Devang Patelc20bdf12011-06-01 00:23:24 +0000941 addGlobalType(ATy);
Devang Patel31c5d052011-05-06 16:57:54 +0000942 }
943}
944
Devang Patel161b2f42011-04-12 23:21:44 +0000945/// constructTypeDIE - Construct basic type die from DIBasicType.
946void CompileUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
947 // Get core information.
948 StringRef Name = BTy.getName();
Devang Patel161b2f42011-04-12 23:21:44 +0000949 // Add name if not anonymous or intermediate type.
950 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +0000951 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel734a67c2011-09-14 23:13:28 +0000952
David Blaikie916d49e2013-10-04 23:21:16 +0000953 // An unspecified type only has a name attribute.
954 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel734a67c2011-09-14 23:13:28 +0000955 return;
Devang Patel734a67c2011-09-14 23:13:28 +0000956
Nick Lewycky746cb672011-10-26 22:55:33 +0000957 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel30d409c2012-02-07 23:33:58 +0000958 BTy.getEncoding());
Devang Patel734a67c2011-09-14 23:13:28 +0000959
Devang Patel161b2f42011-04-12 23:21:44 +0000960 uint64_t Size = BTy.getSizeInBits() >> 3;
961 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
962}
963
964/// constructTypeDIE - Construct derived type die from DIDerivedType.
965void CompileUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
966 // Get core information.
967 StringRef Name = DTy.getName();
968 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikie916d49e2013-10-04 23:21:16 +0000969 uint16_t Tag = Buffer.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +0000970
971 // Map to main type, void will not have a type.
Manman Renc664d762013-10-05 01:43:03 +0000972 DIType FromTy = DD->resolve(DTy.getTypeDerivedFrom());
Eric Christopherdc1363f2013-08-08 07:40:37 +0000973 if (FromTy)
974 addType(&Buffer, FromTy);
Devang Patel161b2f42011-04-12 23:21:44 +0000975
976 // Add name if not anonymous or intermediate type.
977 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +0000978 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +0000979
980 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher35f225a2012-02-21 22:25:53 +0000981 if (Size && Tag != dwarf::DW_TAG_pointer_type)
Devang Patel161b2f42011-04-12 23:21:44 +0000982 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
983
David Blaikie62fdfb52013-01-07 05:51:15 +0000984 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
985 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
Eric Christophereee74fb2013-10-05 00:27:02 +0000986 getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel161b2f42011-04-12 23:21:44 +0000987 // Add source line info if available and TyDesc is not a forward declaration.
988 if (!DTy.isForwardDecl())
989 addSourceLine(&Buffer, DTy);
990}
991
Eric Christopher3dee5752013-07-26 17:02:41 +0000992/// Return true if the type is appropriately scoped to be contained inside
993/// its own type unit.
Manman Ren18eb2452013-09-09 19:23:58 +0000994static bool isTypeUnitScoped(DIType Ty, const DwarfDebug *DD) {
Manman Ren2c9905a2013-09-09 19:47:11 +0000995 DIScope Parent = DD->resolve(Ty.getContext());
Eric Christopher3dee5752013-07-26 17:02:41 +0000996 while (Parent) {
997 // Don't generate a hash for anything scoped inside a function.
998 if (Parent.isSubprogram())
999 return false;
Manman Rene72aba92013-09-09 22:35:23 +00001000 Parent = DD->resolve(Parent.getContext());
Eric Christopher3dee5752013-07-26 17:02:41 +00001001 }
1002 return true;
1003}
1004
1005/// Return true if the type should be split out into a type unit.
Manman Ren18eb2452013-09-09 19:23:58 +00001006static bool shouldCreateTypeUnit(DICompositeType CTy, const DwarfDebug *DD) {
Eric Christopher31667622013-08-08 01:41:00 +00001007 uint16_t Tag = CTy.getTag();
Eric Christopher3dee5752013-07-26 17:02:41 +00001008
1009 switch (Tag) {
1010 case dwarf::DW_TAG_structure_type:
1011 case dwarf::DW_TAG_union_type:
1012 case dwarf::DW_TAG_enumeration_type:
1013 case dwarf::DW_TAG_class_type:
1014 // If this is a class, structure, union, or enumeration type
David Blaikiec4eb3532013-10-04 23:52:02 +00001015 // that is a definition (not a declaration), and not scoped
Eric Christopher3dee5752013-07-26 17:02:41 +00001016 // inside a function then separate this out as a type unit.
David Blaikiec4eb3532013-10-04 23:52:02 +00001017 return !CTy.isForwardDecl() && isTypeUnitScoped(CTy, DD);
Eric Christopher3dee5752013-07-26 17:02:41 +00001018 default:
David Blaikiec4eb3532013-10-04 23:52:02 +00001019 return false;
Eric Christopher3dee5752013-07-26 17:02:41 +00001020 }
1021}
1022
Devang Patel161b2f42011-04-12 23:21:44 +00001023/// constructTypeDIE - Construct type DIE from DICompositeType.
1024void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
1025 // Get core information.
1026 StringRef Name = CTy.getName();
1027
1028 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikie916d49e2013-10-04 23:21:16 +00001029 uint16_t Tag = Buffer.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +00001030
1031 switch (Tag) {
Devang Patel161b2f42011-04-12 23:21:44 +00001032 case dwarf::DW_TAG_array_type:
1033 constructArrayTypeDIE(Buffer, &CTy);
1034 break;
1035 case dwarf::DW_TAG_enumeration_type: {
1036 DIArray Elements = CTy.getTypeArray();
1037
1038 // Add enumerators to enumeration type.
1039 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1040 DIE *ElemDie = NULL;
1041 DIDescriptor Enum(Elements.getElement(i));
1042 if (Enum.isEnumerator()) {
1043 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum));
1044 Buffer.addChild(ElemDie);
1045 }
1046 }
Manman Renc664d762013-10-05 01:43:03 +00001047 DIType DTy = DD->resolve(CTy.getTypeDerivedFrom());
Eric Christopher37c107b2013-08-08 07:40:42 +00001048 if (DTy) {
Eric Christopherbb0f6ea2012-05-23 00:09:20 +00001049 addType(&Buffer, DTy);
Eric Christopher371d9582013-10-04 22:40:10 +00001050 addFlag(&Buffer, dwarf::DW_AT_enum_class);
Eric Christopherbb0f6ea2012-05-23 00:09:20 +00001051 }
Devang Patel161b2f42011-04-12 23:21:44 +00001052 }
1053 break;
1054 case dwarf::DW_TAG_subroutine_type: {
Eric Christopherdc1363f2013-08-08 07:40:37 +00001055 // Add return type. A void return won't have a type.
Devang Patel161b2f42011-04-12 23:21:44 +00001056 DIArray Elements = CTy.getTypeArray();
1057 DIDescriptor RTy = Elements.getElement(0);
Eric Christopherdc1363f2013-08-08 07:40:37 +00001058 if (RTy)
1059 addType(&Buffer, DIType(RTy));
Devang Patel161b2f42011-04-12 23:21:44 +00001060
1061 bool isPrototyped = true;
1062 // Add arguments.
1063 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1064 DIDescriptor Ty = Elements.getElement(i);
1065 if (Ty.isUnspecifiedParameter()) {
1066 DIE *Arg = new DIE(dwarf::DW_TAG_unspecified_parameters);
1067 Buffer.addChild(Arg);
1068 isPrototyped = false;
1069 } else {
1070 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1071 addType(Arg, DIType(Ty));
David Blaikieaaf2e632013-01-29 19:35:24 +00001072 if (DIType(Ty).isArtificial())
1073 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel161b2f42011-04-12 23:21:44 +00001074 Buffer.addChild(Arg);
1075 }
1076 }
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001077 // Add prototype flag if we're dealing with a C language and the
1078 // function has been prototyped.
Eric Christopher7b878952013-08-26 23:50:38 +00001079 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001080 if (isPrototyped &&
Eric Christopher4d069bf2012-05-22 18:45:24 +00001081 (Language == dwarf::DW_LANG_C89 ||
1082 Language == dwarf::DW_LANG_C99 ||
1083 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001084 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Devang Patel161b2f42011-04-12 23:21:44 +00001085 }
1086 break;
1087 case dwarf::DW_TAG_structure_type:
1088 case dwarf::DW_TAG_union_type:
1089 case dwarf::DW_TAG_class_type: {
Devang Patel161b2f42011-04-12 23:21:44 +00001090 // Add elements to structure type.
David Blaikiec8b93552013-08-01 20:30:22 +00001091 DIArray Elements = CTy.getTypeArray();
1092 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel161b2f42011-04-12 23:21:44 +00001093 DIDescriptor Element = Elements.getElement(i);
1094 DIE *ElemDie = NULL;
1095 if (Element.isSubprogram()) {
1096 DISubprogram SP(Element);
Devang Pateldbc64af2011-08-15 17:24:54 +00001097 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
Devang Patel161b2f42011-04-12 23:21:44 +00001098 if (SP.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001099 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001100 dwarf::DW_ACCESS_protected);
1101 else if (SP.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001102 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001103 dwarf::DW_ACCESS_private);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001104 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001105 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001106 dwarf::DW_ACCESS_public);
1107 if (SP.isExplicit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001108 addFlag(ElemDie, dwarf::DW_AT_explicit);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001109 } else if (Element.isDerivedType()) {
Eric Christopher4d069bf2012-05-22 18:45:24 +00001110 DIDerivedType DDTy(Element);
1111 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
1112 ElemDie = new DIE(dwarf::DW_TAG_friend);
Manman Renc664d762013-10-05 01:43:03 +00001113 addType(ElemDie, DD->resolve(DDTy.getTypeDerivedFrom()),
1114 dwarf::DW_AT_friend);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001115 } else if (DDTy.isStaticMember())
1116 ElemDie = createStaticMemberDIE(DDTy);
1117 else
1118 ElemDie = createMemberDIE(DDTy);
David Blaikiee5830c42013-10-03 20:07:20 +00001119 Buffer.addChild(ElemDie);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001120 } else if (Element.isObjCProperty()) {
Devang Patel30d409c2012-02-07 23:33:58 +00001121 DIObjCProperty Property(Element);
1122 ElemDie = new DIE(Property.getTag());
1123 StringRef PropertyName = Property.getObjCPropertyName();
1124 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4d069bf2012-05-22 18:45:24 +00001125 addType(ElemDie, Property.getType());
1126 addSourceLine(ElemDie, Property);
Devang Patel30d409c2012-02-07 23:33:58 +00001127 StringRef GetterName = Property.getObjCPropertyGetterName();
1128 if (!GetterName.empty())
1129 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1130 StringRef SetterName = Property.getObjCPropertySetterName();
1131 if (!SetterName.empty())
1132 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1133 unsigned PropertyAttributes = 0;
Devang Patel9e11eb12012-02-04 01:30:32 +00001134 if (Property.isReadOnlyObjCProperty())
1135 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1136 if (Property.isReadWriteObjCProperty())
1137 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1138 if (Property.isAssignObjCProperty())
1139 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1140 if (Property.isRetainObjCProperty())
1141 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1142 if (Property.isCopyObjCProperty())
1143 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1144 if (Property.isNonAtomicObjCProperty())
1145 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1146 if (PropertyAttributes)
Eric Christopher8b4310b2012-11-21 00:34:38 +00001147 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, 0,
Devang Patel9e11eb12012-02-04 01:30:32 +00001148 PropertyAttributes);
Devang Patel6588abf2012-02-06 17:49:43 +00001149
Devang Patel30d409c2012-02-07 23:33:58 +00001150 DIEEntry *Entry = getDIEEntry(Element);
1151 if (!Entry) {
1152 Entry = createDIEEntry(ElemDie);
1153 insertDIEEntry(Element, Entry);
1154 }
David Blaikiee5830c42013-10-03 20:07:20 +00001155 Buffer.addChild(ElemDie);
Devang Patel9e11eb12012-02-04 01:30:32 +00001156 } else
Devang Patel161b2f42011-04-12 23:21:44 +00001157 continue;
Devang Patel161b2f42011-04-12 23:21:44 +00001158 }
1159
1160 if (CTy.isAppleBlockExtension())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001161 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel161b2f42011-04-12 23:21:44 +00001162
Eric Christophereee74fb2013-10-05 00:27:02 +00001163 DICompositeType ContainingType(resolve(CTy.getContainingType()));
Devang Patel161b2f42011-04-12 23:21:44 +00001164 if (DIDescriptor(ContainingType).isCompositeType())
1165 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
1166 getOrCreateTypeDIE(DIType(ContainingType)));
Devang Patel161b2f42011-04-12 23:21:44 +00001167
Devang Patel201e6cd2011-05-12 21:29:42 +00001168 if (CTy.isObjcClassComplete())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001169 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patelb11f80e2011-05-12 19:06:16 +00001170
Eric Christopher1a8e8862011-12-16 23:42:42 +00001171 // Add template parameters to a class, structure or union types.
1172 // FIXME: The support isn't in the metadata for this yet.
1173 if (Tag == dwarf::DW_TAG_class_type ||
1174 Tag == dwarf::DW_TAG_structure_type ||
1175 Tag == dwarf::DW_TAG_union_type)
Devang Patel161b2f42011-04-12 23:21:44 +00001176 addTemplateParams(Buffer, CTy.getTemplateParams());
1177
1178 break;
1179 }
1180 default:
1181 break;
1182 }
1183
1184 // Add name if not anonymous or intermediate type.
1185 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001186 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001187
Eric Christopher4a5d8392012-05-22 18:45:18 +00001188 if (Tag == dwarf::DW_TAG_enumeration_type ||
1189 Tag == dwarf::DW_TAG_class_type ||
1190 Tag == dwarf::DW_TAG_structure_type ||
1191 Tag == dwarf::DW_TAG_union_type) {
Devang Patel161b2f42011-04-12 23:21:44 +00001192 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopherfc4199b2012-06-01 00:22:32 +00001193 // TODO: Do we care about size for enum forward declarations?
Devang Patel161b2f42011-04-12 23:21:44 +00001194 if (Size)
1195 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Eric Christopherfc4199b2012-06-01 00:22:32 +00001196 else if (!CTy.isForwardDecl())
Devang Patel161b2f42011-04-12 23:21:44 +00001197 // Add zero size if it is not a forward declaration.
Eric Christopherfc4199b2012-06-01 00:22:32 +00001198 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
1199
1200 // If we're a forward decl, say so.
1201 if (CTy.isForwardDecl())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001202 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel161b2f42011-04-12 23:21:44 +00001203
1204 // Add source line info if available.
1205 if (!CTy.isForwardDecl())
1206 addSourceLine(&Buffer, CTy);
Eric Christopher89388952012-03-07 00:15:19 +00001207
1208 // No harm in adding the runtime language to the declaration.
1209 unsigned RLang = CTy.getRunTimeLang();
1210 if (RLang)
1211 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
1212 dwarf::DW_FORM_data1, RLang);
Devang Patel161b2f42011-04-12 23:21:44 +00001213 }
Eric Christopher3dee5752013-07-26 17:02:41 +00001214 // If this is a type applicable to a type unit it then add it to the
1215 // list of types we'll compute a hash for later.
Manman Ren18eb2452013-09-09 19:23:58 +00001216 if (shouldCreateTypeUnit(CTy, DD))
Eric Christopher3dee5752013-07-26 17:02:41 +00001217 DD->addTypeUnitType(&Buffer);
Devang Patel161b2f42011-04-12 23:21:44 +00001218}
1219
Eric Christopher8b4310b2012-11-21 00:34:38 +00001220/// getOrCreateTemplateTypeParameterDIE - Find existing DIE or create new DIE
Devang Patel161b2f42011-04-12 23:21:44 +00001221/// for the given DITemplateTypeParameter.
1222DIE *
1223CompileUnit::getOrCreateTemplateTypeParameterDIE(DITemplateTypeParameter TP) {
1224 DIE *ParamDIE = getDIE(TP);
1225 if (ParamDIE)
1226 return ParamDIE;
1227
1228 ParamDIE = new DIE(dwarf::DW_TAG_template_type_parameter);
Eric Christopher76ef79f2013-08-08 08:09:43 +00001229 // Add the type if it exists, it could be void and therefore no type.
1230 if (TP.getType())
1231 addType(ParamDIE, TP.getType());
David Blaikiee88939c2013-06-22 18:59:11 +00001232 if (!TP.getName().empty())
1233 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel161b2f42011-04-12 23:21:44 +00001234 return ParamDIE;
1235}
1236
Eric Christopher8b4310b2012-11-21 00:34:38 +00001237/// getOrCreateTemplateValueParameterDIE - Find existing DIE or create new DIE
Devang Patel161b2f42011-04-12 23:21:44 +00001238/// for the given DITemplateValueParameter.
1239DIE *
Eric Christopherafdd1f82013-08-08 07:40:31 +00001240CompileUnit::getOrCreateTemplateValueParameterDIE(DITemplateValueParameter VP) {
1241 DIE *ParamDIE = getDIE(VP);
Devang Patel161b2f42011-04-12 23:21:44 +00001242 if (ParamDIE)
1243 return ParamDIE;
1244
Eric Christopherafdd1f82013-08-08 07:40:31 +00001245 ParamDIE = new DIE(VP.getTag());
Eric Christopherdc1363f2013-08-08 07:40:37 +00001246
1247 // Add the type if there is one, template template and template parameter
1248 // packs will not have a type.
1249 if (VP.getType())
1250 addType(ParamDIE, VP.getType());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001251 if (!VP.getName().empty())
1252 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1253 if (Value *Val = VP.getValue()) {
David Blaikie4de9d722013-05-10 21:52:07 +00001254 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Renc664d762013-10-05 01:43:03 +00001255 addConstantValue(ParamDIE, CI, isUnsignedDIType(DD, VP.getType()));
David Blaikie4de9d722013-05-10 21:52:07 +00001256 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1257 // For declaration non-type template parameters (such as global values and
1258 // functions)
1259 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1260 addOpAddress(Block, Asm->Mang->getSymbol(GV));
1261 // Emit DW_OP_stack_value to use the address as the immediate value of the
1262 // parameter, rather than a pointer to it.
1263 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1264 addBlock(ParamDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopherafdd1f82013-08-08 07:40:31 +00001265 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikiee88939c2013-06-22 18:59:11 +00001266 assert(isa<MDString>(Val));
1267 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1268 cast<MDString>(Val)->getString());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001269 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikiee88939c2013-06-22 18:59:11 +00001270 assert(isa<MDNode>(Val));
1271 DIArray A(cast<MDNode>(Val));
1272 addTemplateParams(*ParamDIE, A);
David Blaikie4de9d722013-05-10 21:52:07 +00001273 }
1274 }
1275
Devang Patel161b2f42011-04-12 23:21:44 +00001276 return ParamDIE;
1277}
1278
Devang Patel31c5d052011-05-06 16:57:54 +00001279/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1280DIE *CompileUnit::getOrCreateNameSpace(DINameSpace NS) {
1281 DIE *NDie = getDIE(NS);
1282 if (NDie)
1283 return NDie;
1284 NDie = new DIE(dwarf::DW_TAG_namespace);
1285 insertDIE(NS, NDie);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001286 if (!NS.getName().empty()) {
Nick Lewycky390c40d2011-10-27 06:44:11 +00001287 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher09ac3d82011-11-07 09:24:32 +00001288 addAccelNamespace(NS.getName(), NDie);
Eric Christopher3d2c90f2013-09-24 00:17:57 +00001289 addGlobalName(NS.getName(), NDie);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001290 } else
1291 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel31c5d052011-05-06 16:57:54 +00001292 addSourceLine(NDie, NS);
1293 addToContextOwner(NDie, NS.getContext());
1294 return NDie;
1295}
1296
Devang Pateldbc64af2011-08-15 17:24:54 +00001297/// getOrCreateSubprogramDIE - Create new DIE using SP.
1298DIE *CompileUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikiec32f2332013-10-04 01:39:59 +00001299 // Construct the context before querying for the existence of the DIE in case
1300 // such construction creates the DIE (as is the case for member function
1301 // declarations).
1302 DIE *ContextDIE = getOrCreateContextDIE(SP.getContext());
1303 if (!ContextDIE)
1304 ContextDIE = CUDie.get();
1305
Eric Christopher3f045002013-10-04 17:08:38 +00001306 DIE *SPDie = getDIE(SP);
Devang Pateldbc64af2011-08-15 17:24:54 +00001307 if (SPDie)
1308 return SPDie;
1309
Peter Collingbourne27302f02012-05-27 18:36:44 +00001310 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1311
1312 // DW_TAG_inlined_subroutine may refer to this DIE.
Eric Christopher3f045002013-10-04 17:08:38 +00001313 insertDIE(SP, SPDie);
Peter Collingbourne27302f02012-05-27 18:36:44 +00001314
Rafael Espindola01b55b42011-11-10 22:34:29 +00001315 DISubprogram SPDecl = SP.getFunctionDeclaration();
1316 DIE *DeclDie = NULL;
1317 if (SPDecl.isSubprogram()) {
1318 DeclDie = getOrCreateSubprogramDIE(SPDecl);
1319 }
1320
Devang Pateldbc64af2011-08-15 17:24:54 +00001321 // Add to context owner.
David Blaikiec32f2332013-10-04 01:39:59 +00001322 ContextDIE->addChild(SPDie);
Devang Pateldbc64af2011-08-15 17:24:54 +00001323
1324 // Add function template parameters.
1325 addTemplateParams(*SPDie, SP.getTemplateParams());
1326
Devang Pateldbc64af2011-08-15 17:24:54 +00001327 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherc4968752013-05-09 00:42:33 +00001328 // then there is no need to add other attributes.
Rafael Espindola01b55b42011-11-10 22:34:29 +00001329 if (DeclDie) {
1330 // Refer function declaration directly.
1331 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1332 DeclDie);
1333
Devang Pateldbc64af2011-08-15 17:24:54 +00001334 return SPDie;
Rafael Espindola01b55b42011-11-10 22:34:29 +00001335 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001336
Eric Christophercbbd5b12012-08-23 22:52:55 +00001337 // Add the linkage name if we have one.
Michael Gottesmandc42d032013-09-04 04:39:38 +00001338 StringRef LinkageName = SP.getLinkageName();
1339 if (!LinkageName.empty())
Eric Christophercbbd5b12012-08-23 22:52:55 +00001340 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001341 GlobalValue::getRealLinkageName(LinkageName));
Eric Christophercbbd5b12012-08-23 22:52:55 +00001342
Devang Pateldbc64af2011-08-15 17:24:54 +00001343 // Constructors and operators for anonymous aggregates do not have names.
1344 if (!SP.getName().empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001345 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Pateldbc64af2011-08-15 17:24:54 +00001346
1347 addSourceLine(SPDie, SP);
1348
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001349 // Add the prototype if we have a prototype and we have a C like
1350 // language.
Eric Christopher7b878952013-08-26 23:50:38 +00001351 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001352 if (SP.isPrototyped() &&
1353 (Language == dwarf::DW_LANG_C89 ||
1354 Language == dwarf::DW_LANG_C99 ||
1355 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001356 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Pateldbc64af2011-08-15 17:24:54 +00001357
Eric Christopherdc1363f2013-08-08 07:40:37 +00001358 // Add Return Type. A void return type will not have a type.
Devang Pateldbc64af2011-08-15 17:24:54 +00001359 DICompositeType SPTy = SP.getType();
David Blaikie3d331842013-05-22 23:22:18 +00001360 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1361 "the type of a subprogram should be a subroutine");
Devang Pateldbc64af2011-08-15 17:24:54 +00001362
David Blaikie3d331842013-05-22 23:22:18 +00001363 DIArray Args = SPTy.getTypeArray();
Eric Christopherdc1363f2013-08-08 07:40:37 +00001364 if (Args.getElement(0))
1365 addType(SPDie, DIType(Args.getElement(0)));
Devang Pateldbc64af2011-08-15 17:24:54 +00001366
1367 unsigned VK = SP.getVirtuality();
1368 if (VK) {
Nick Lewycky798313d2011-12-14 00:56:07 +00001369 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Pateldbc64af2011-08-15 17:24:54 +00001370 DIEBlock *Block = getDIEBlock();
1371 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1372 addUInt(Block, 0, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1373 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
1374 ContainingTypeMap.insert(std::make_pair(SPDie,
Eric Christophereee74fb2013-10-05 00:27:02 +00001375 resolve(SP.getContainingType())));
Devang Pateldbc64af2011-08-15 17:24:54 +00001376 }
1377
1378 if (!SP.isDefinition()) {
Eric Christopher873cf0a2012-08-24 01:14:27 +00001379 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001380
Devang Pateldbc64af2011-08-15 17:24:54 +00001381 // Add arguments. Do not add arguments for subprogram definition. They will
1382 // be handled while processing variables.
David Blaikie3d331842013-05-22 23:22:18 +00001383 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1384 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1385 DIType ATy = DIType(Args.getElement(i));
1386 addType(Arg, ATy);
1387 if (ATy.isArtificial())
1388 addFlag(Arg, dwarf::DW_AT_artificial);
1389 SPDie->addChild(Arg);
1390 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001391 }
1392
1393 if (SP.isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001394 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Pateldbc64af2011-08-15 17:24:54 +00001395
1396 if (!SP.isLocalToUnit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001397 addFlag(SPDie, dwarf::DW_AT_external);
Devang Pateldbc64af2011-08-15 17:24:54 +00001398
1399 if (SP.isOptimized())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001400 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Pateldbc64af2011-08-15 17:24:54 +00001401
1402 if (unsigned isa = Asm->getISAEncoding()) {
1403 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1404 }
1405
1406 return SPDie;
1407}
1408
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001409// Return const expression if value is a GEP to access merged global
1410// constant. e.g.
1411// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1412static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1413 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1414 if (!CE || CE->getNumOperands() != 3 ||
1415 CE->getOpcode() != Instruction::GetElementPtr)
1416 return NULL;
1417
1418 // First operand points to a global struct.
1419 Value *Ptr = CE->getOperand(0);
1420 if (!isa<GlobalValue>(Ptr) ||
1421 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1422 return NULL;
1423
1424 // Second operand is zero.
1425 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1426 if (!CI || !CI->isZero())
1427 return NULL;
1428
1429 // Third operand is offset.
1430 if (!isa<ConstantInt>(CE->getOperand(2)))
1431 return NULL;
1432
1433 return CE;
1434}
1435
1436/// createGlobalVariableDIE - create global variable DIE.
1437void CompileUnit::createGlobalVariableDIE(const MDNode *N) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001438 // Check for pre-existence.
Devang Patel49e2f032011-08-18 22:21:50 +00001439 if (getDIE(N))
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001440 return;
1441
Devang Patel49e2f032011-08-18 22:21:50 +00001442 DIGlobalVariable GV(N);
Manman Rend03d2b22013-07-08 18:33:29 +00001443 if (!GV.isGlobalVariable())
Devang Patel28bea082011-08-18 23:17:55 +00001444 return;
1445
Eric Christopherccb66362013-10-04 23:49:26 +00001446 DIScope GVContext = GV.getContext();
Eric Christopher6b6061f2013-01-16 01:22:23 +00001447 DIType GTy = GV.getType();
1448
1449 // If this is a static data member definition, some attributes belong
1450 // to the declaration DIE.
1451 DIE *VariableDIE = NULL;
Manman Ren945e8282013-02-01 23:54:37 +00001452 bool IsStaticMember = false;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001453 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1454 if (SDMDecl.Verify()) {
1455 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1456 // We need the declaration DIE that is in the static member's class.
1457 // But that class might not exist in the DWARF yet.
1458 // Creating the class will create the static member decl DIE.
Eric Christophereee74fb2013-10-05 00:27:02 +00001459 getOrCreateContextDIE(resolve(SDMDecl.getContext()));
Eric Christopher3f045002013-10-04 17:08:38 +00001460 VariableDIE = getDIE(SDMDecl);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001461 assert(VariableDIE && "Static member decl has no context?");
Manman Ren945e8282013-02-01 23:54:37 +00001462 IsStaticMember = true;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001463 }
1464
1465 // If this is not a static data member definition, create the variable
1466 // DIE and add the initial set of attributes to it.
1467 if (!VariableDIE) {
1468 VariableDIE = new DIE(GV.getTag());
1469 // Add to map.
1470 insertDIE(N, VariableDIE);
1471
1472 // Add name and type.
1473 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1474 addType(VariableDIE, GTy);
1475
1476 // Add scoping info.
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001477 if (!GV.isLocalToUnit()) {
Eric Christopher6b6061f2013-01-16 01:22:23 +00001478 addFlag(VariableDIE, dwarf::DW_AT_external);
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001479 addGlobalName(GV.getName(), VariableDIE);
1480 }
Eric Christopher6b6061f2013-01-16 01:22:23 +00001481
1482 // Add line number info.
1483 addSourceLine(VariableDIE, GV);
1484 // Add to context owner.
1485 addToContextOwner(VariableDIE, GVContext);
1486 }
1487
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001488 // Add location.
Eric Christopher09ac3d82011-11-07 09:24:32 +00001489 bool addToAccelTable = false;
Eric Christopherd61c34b2011-11-11 03:16:32 +00001490 DIE *VariableSpecDIE = NULL;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001491 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001492 if (isGlobalVariable) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001493 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001494 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
David Blaikie59eaa382013-06-28 20:05:11 +00001495 const MCSymbol *Sym = Asm->Mang->getSymbol(GV.getGlobal());
1496 if (GV.getGlobal()->isThreadLocal()) {
1497 // FIXME: Make this work with -gsplit-dwarf.
1498 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1499 assert((PointerSize == 4 || PointerSize == 8) &&
1500 "Add support for other sizes if necessary");
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001501 const MCExpr *Expr =
David Blaikie8fed05e2013-07-01 23:55:52 +00001502 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikie59eaa382013-06-28 20:05:11 +00001503 // Based on GCC's support for TLS:
David Blaikie8fed05e2013-07-01 23:55:52 +00001504 if (!DD->useSplitDwarf()) {
1505 // 1) Start with a constNu of the appropriate pointer size
1506 addUInt(Block, 0, dwarf::DW_FORM_data1,
1507 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
1508 // 2) containing the (relocated) address of the TLS variable
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001509 addExpr(Block, 0, dwarf::DW_FORM_udata, Expr);
David Blaikie8fed05e2013-07-01 23:55:52 +00001510 } else {
1511 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001512 addUInt(Block, 0, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8fed05e2013-07-01 23:55:52 +00001513 }
David Blaikie59eaa382013-06-28 20:05:11 +00001514 // 3) followed by a custom OP to tell the debugger about TLS (presumably)
1515 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_lo_user);
1516 } else
1517 addOpAddress(Block, Sym);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001518 // Do not create specification DIE if context is either compile unit
1519 // or a subprogram.
Devang Patel1dd4e562011-09-21 23:41:11 +00001520 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren02d29672013-09-09 19:05:21 +00001521 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001522 // Create specification DIE.
Eric Christopherd117fbb2011-11-11 01:55:22 +00001523 VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001524 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1525 dwarf::DW_FORM_ref4, VariableDIE);
1526 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001527 // A static member's declaration is already flagged as such.
1528 if (!SDMDecl.Verify())
1529 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001530 addDie(VariableSpecDIE);
1531 } else {
1532 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001533 }
Michael Gottesmandc42d032013-09-04 04:39:38 +00001534 // Add the linkage name.
Eric Christopher6b6061f2013-01-16 01:22:23 +00001535 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmandc42d032013-09-04 04:39:38 +00001536 if (!LinkageName.empty())
Eric Christopher8d45a982013-02-27 23:49:47 +00001537 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1538 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1539 // TAG_variable.
Manman Ren21a08a12013-02-27 23:21:02 +00001540 addString(IsStaticMember && VariableSpecDIE ?
1541 VariableSpecDIE : VariableDIE, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001542 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher8b4310b2012-11-21 00:34:38 +00001543 } else if (const ConstantInt *CI =
Manman Ren945e8282013-02-01 23:54:37 +00001544 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl2e892e42013-04-04 22:56:49 +00001545 // AT_const_value was added when the static member was created. To avoid
Manman Ren945e8282013-02-01 23:54:37 +00001546 // emitting AT_const_value multiple times, we only add AT_const_value when
1547 // it is not a static member.
1548 if (!IsStaticMember)
Manman Renc664d762013-10-05 01:43:03 +00001549 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
Manman Ren945e8282013-02-01 23:54:37 +00001550 } else if (const ConstantExpr *CE = getMergedGlobalExpr(N->getOperand(11))) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001551 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001552 // GV is a merged global.
1553 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1554 Value *Ptr = CE->getOperand(0);
Eric Christopher0969ddf2013-01-18 22:11:33 +00001555 addOpAddress(Block, Asm->Mang->getSymbol(cast<GlobalValue>(Ptr)));
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001556 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1557 SmallVector<Value*, 3> Idx(CE->op_begin()+1, CE->op_end());
Eric Christopher8b4310b2012-11-21 00:34:38 +00001558 addUInt(Block, 0, dwarf::DW_FORM_udata,
Micah Villmow3574eca2012-10-08 16:38:25 +00001559 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001560 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1561 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
1562 }
1563
Eric Christopherd117fbb2011-11-11 01:55:22 +00001564 if (addToAccelTable) {
1565 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1566 addAccelName(GV.getName(), AddrDIE);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001567
Eric Christopherd117fbb2011-11-11 01:55:22 +00001568 // If the linkage name is different than the name, go ahead and output
1569 // that as well into the name table.
1570 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1571 addAccelName(GV.getLinkageName(), AddrDIE);
1572 }
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001573}
1574
Devang Patel161b2f42011-04-12 23:21:44 +00001575/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christopher4d069bf2012-05-22 18:45:24 +00001576void CompileUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR,
1577 DIE *IndexTy) {
Devang Patel161b2f42011-04-12 23:21:44 +00001578 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1579 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel161b2f42011-04-12 23:21:44 +00001580
Bill Wendling222c2fd2012-12-06 07:38:10 +00001581 // The LowerBound value defines the lower bounds which is typically zero for
1582 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1583 // Count == -1 then the array is unbounded and we do not emit
1584 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1585 // Count == 0, then the array has zero elements in which case we do not emit
1586 // an upper bound.
1587 int64_t LowerBound = SR.getLo();
Bill Wendling6afe4782012-12-06 07:55:19 +00001588 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendling9493dae2012-12-04 21:34:03 +00001589 int64_t Count = SR.getCount();
Devang Patel161b2f42011-04-12 23:21:44 +00001590
Bill Wendling6afe4782012-12-06 07:55:19 +00001591 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
Bill Wendling222c2fd2012-12-06 07:38:10 +00001592 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, LowerBound);
1593
1594 if (Count != -1 && Count != 0)
Bill Wendling9493dae2012-12-04 21:34:03 +00001595 // FIXME: An unbounded array should reference the expression that defines
1596 // the array.
Bill Wendling222c2fd2012-12-06 07:38:10 +00001597 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, LowerBound + Count - 1);
Bill Wendling9493dae2012-12-04 21:34:03 +00001598
Devang Patel161b2f42011-04-12 23:21:44 +00001599 Buffer.addChild(DW_Subrange);
1600}
1601
1602/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
1603void CompileUnit::constructArrayTypeDIE(DIE &Buffer,
1604 DICompositeType *CTy) {
Eric Christopher9a1e0e22013-01-08 01:53:52 +00001605 if (CTy->isVector())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001606 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel161b2f42011-04-12 23:21:44 +00001607
Eric Christopherdc1363f2013-08-08 07:40:37 +00001608 // Emit the element type.
Manman Renc664d762013-10-05 01:43:03 +00001609 addType(&Buffer, DD->resolve(CTy->getTypeDerivedFrom()));
Devang Patel161b2f42011-04-12 23:21:44 +00001610
1611 // Get an anonymous type for index type.
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001612 // FIXME: This type should be passed down from the front end
1613 // as different languages may have different sizes for indexes.
Devang Patel161b2f42011-04-12 23:21:44 +00001614 DIE *IdxTy = getIndexTyDie();
1615 if (!IdxTy) {
1616 // Construct an anonymous type for index type.
1617 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001618 addString(IdxTy, dwarf::DW_AT_name, "int");
Devang Patel161b2f42011-04-12 23:21:44 +00001619 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1620 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1621 dwarf::DW_ATE_signed);
1622 addDie(IdxTy);
1623 setIndexTyDie(IdxTy);
1624 }
1625
1626 // Add subranges to array type.
Eric Christopherdc1363f2013-08-08 07:40:37 +00001627 DIArray Elements = CTy->getTypeArray();
Devang Patel161b2f42011-04-12 23:21:44 +00001628 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1629 DIDescriptor Element = Elements.getElement(i);
1630 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1631 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1632 }
1633}
1634
1635/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
1636DIE *CompileUnit::constructEnumTypeDIE(DIEnumerator ETy) {
1637 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
1638 StringRef Name = ETy.getName();
Nick Lewycky390c40d2011-10-27 06:44:11 +00001639 addString(Enumerator, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001640 int64_t Value = ETy.getEnumValue();
1641 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
1642 return Enumerator;
1643}
1644
Devang Pateldbc64af2011-08-15 17:24:54 +00001645/// constructContainingTypeDIEs - Construct DIEs for types that contain
1646/// vtables.
1647void CompileUnit::constructContainingTypeDIEs() {
1648 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
1649 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1650 DIE *SPDie = CI->first;
1651 const MDNode *N = CI->second;
1652 if (!N) continue;
Eric Christopher3f045002013-10-04 17:08:38 +00001653 DIE *NDie = getDIE(N);
Devang Pateldbc64af2011-08-15 17:24:54 +00001654 if (!NDie) continue;
1655 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1656 }
1657}
1658
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001659/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christopherf61dbc12013-06-24 21:07:27 +00001660DIE *CompileUnit::constructVariableDIE(DbgVariable *DV,
1661 bool isScopeAbstract) {
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001662 StringRef Name = DV->getName();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001663
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001664 // Define variable debug information entry.
David Blaikie916d49e2013-10-04 23:21:16 +00001665 DIE *VariableDie = new DIE(DV->getTag());
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001666 DbgVariable *AbsVar = DV->getAbstractVariable();
1667 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren742671b2013-05-29 17:16:59 +00001668 if (AbsDIE)
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001669 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Manman Ren742671b2013-05-29 17:16:59 +00001670 dwarf::DW_FORM_ref4, AbsDIE);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001671 else {
David Blaikie2883fd42013-08-19 03:34:03 +00001672 if (!Name.empty())
1673 addString(VariableDie, dwarf::DW_AT_name, Name);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001674 addSourceLine(VariableDie, DV->getVariable());
1675 addType(VariableDie, DV->getType());
1676 }
1677
1678 if (DV->isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001679 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001680
1681 if (isScopeAbstract) {
1682 DV->setDIE(VariableDie);
1683 return VariableDie;
1684 }
1685
1686 // Add variable address.
1687
1688 unsigned Offset = DV->getDotDebugLocOffset();
1689 if (Offset != ~0U) {
Eric Christopherafbe0e22013-06-24 21:34:55 +00001690 addLabel(VariableDie, dwarf::DW_AT_location, dwarf::DW_FORM_data4,
1691 Asm->GetTempSymbol("debug_loc", Offset));
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001692 DV->setDIE(VariableDie);
1693 return VariableDie;
1694 }
1695
Eric Christopher8cf5e742011-10-03 15:49:20 +00001696 // Check if variable is described by a DBG_VALUE instruction.
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001697 if (const MachineInstr *DVInsn = DV->getMInsn()) {
David Blaikie6d9dbd52013-06-16 20:34:15 +00001698 assert(DVInsn->getNumOperands() == 3);
1699 if (DVInsn->getOperand(0).isReg()) {
1700 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantlb2754912013-07-09 21:44:06 +00001701 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl35176402013-07-09 20:28:37 +00001702 if (DVInsn->getOperand(1).isImm()) {
1703 MachineLocation Location(RegOp.getReg(), DVInsn->getOperand(1).getImm());
Eric Christopherf61dbc12013-06-24 21:07:27 +00001704 addVariableAddress(*DV, VariableDie, Location);
David Blaikie6d9dbd52013-06-16 20:34:15 +00001705 } else if (RegOp.getReg())
Eric Christopherf61dbc12013-06-24 21:07:27 +00001706 addVariableAddress(*DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001707 } else if (DVInsn->getOperand(0).isImm())
Eric Christophere4721492013-07-03 01:08:30 +00001708 addConstantValue(VariableDie, DVInsn->getOperand(0), DV->getType());
David Blaikie6d9dbd52013-06-16 20:34:15 +00001709 else if (DVInsn->getOperand(0).isFPImm())
Eric Christophere4721492013-07-03 01:08:30 +00001710 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001711 else if (DVInsn->getOperand(0).isCImm())
Eric Christophere4721492013-07-03 01:08:30 +00001712 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Manman Renc664d762013-10-05 01:43:03 +00001713 isUnsignedDIType(DD, DV->getType()));
Eric Christophere4721492013-07-03 01:08:30 +00001714
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001715 DV->setDIE(VariableDie);
1716 return VariableDie;
1717 } else {
1718 // .. else use frame index.
1719 int FI = DV->getFrameIndex();
1720 if (FI != ~0) {
1721 unsigned FrameReg = 0;
1722 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopher8b4310b2012-11-21 00:34:38 +00001723 int Offset =
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001724 TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1725 MachineLocation Location(FrameReg, Offset);
Eric Christopherf61dbc12013-06-24 21:07:27 +00001726 addVariableAddress(*DV, VariableDie, Location);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001727 }
1728 }
1729
1730 DV->setDIE(VariableDie);
1731 return VariableDie;
1732}
1733
Devang Patel161b2f42011-04-12 23:21:44 +00001734/// createMemberDIE - Create new member DIE.
1735DIE *CompileUnit::createMemberDIE(DIDerivedType DT) {
1736 DIE *MemberDie = new DIE(DT.getTag());
1737 StringRef Name = DT.getName();
1738 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001739 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001740
Manman Renc664d762013-10-05 01:43:03 +00001741 addType(MemberDie, DD->resolve(DT.getTypeDerivedFrom()));
Devang Patel161b2f42011-04-12 23:21:44 +00001742
1743 addSourceLine(MemberDie, DT);
1744
1745 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
1746 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1747
1748 uint64_t Size = DT.getSizeInBits();
Manman Renc664d762013-10-05 01:43:03 +00001749 uint64_t FieldSize = getOriginalTypeSize(DD, DT);
Devang Patel161b2f42011-04-12 23:21:44 +00001750
1751 if (Size != FieldSize) {
1752 // Handle bitfield.
Manman Renc664d762013-10-05 01:43:03 +00001753 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0,
1754 getOriginalTypeSize(DD, DT)>>3);
Devang Patel161b2f42011-04-12 23:21:44 +00001755 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
1756
1757 uint64_t Offset = DT.getOffsetInBits();
1758 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1759 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1760 uint64_t FieldOffset = (HiMark - FieldSize);
1761 Offset -= FieldOffset;
1762
1763 // Maybe we need to work from the other end.
Micah Villmow3574eca2012-10-08 16:38:25 +00001764 if (Asm->getDataLayout().isLittleEndian())
Devang Patel161b2f42011-04-12 23:21:44 +00001765 Offset = FieldSize - (Offset + Size);
1766 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
1767
1768 // Here WD_AT_data_member_location points to the anonymous
1769 // field that includes this bit field.
1770 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
1771
1772 } else
1773 // This is not a bitfield.
1774 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
1775
1776 if (DT.getTag() == dwarf::DW_TAG_inheritance
1777 && DT.isVirtual()) {
1778
1779 // For C++, virtual base classes are not at fixed offset. Use following
1780 // expression to extract appropriate offset from vtable.
1781 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1782
1783 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
1784 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1785 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1786 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1787 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1788 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1789 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1790 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1791
1792 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1793 VBaseLocationDie);
1794 } else
1795 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
1796
1797 if (DT.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001798 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001799 dwarf::DW_ACCESS_protected);
1800 else if (DT.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001801 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001802 dwarf::DW_ACCESS_private);
1803 // Otherwise C++ member and base classes are considered public.
Eric Christopher8b4310b2012-11-21 00:34:38 +00001804 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001805 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001806 dwarf::DW_ACCESS_public);
1807 if (DT.isVirtual())
Nick Lewycky798313d2011-12-14 00:56:07 +00001808 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001809 dwarf::DW_VIRTUALITY_virtual);
Devang Patele9db5e22011-04-16 00:11:51 +00001810
1811 // Objective-C properties.
Devang Patel6588abf2012-02-06 17:49:43 +00001812 if (MDNode *PNode = DT.getObjCProperty())
1813 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher8b4310b2012-11-21 00:34:38 +00001814 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel6588abf2012-02-06 17:49:43 +00001815 PropertyDie);
1816
David Blaikie01bc2b32012-12-13 22:43:07 +00001817 if (DT.isArtificial())
1818 addFlag(MemberDie, dwarf::DW_AT_artificial);
1819
Devang Patel161b2f42011-04-12 23:21:44 +00001820 return MemberDie;
1821}
Eric Christopher6b6061f2013-01-16 01:22:23 +00001822
1823/// createStaticMemberDIE - Create new DIE for C++ static member.
1824DIE *CompileUnit::createStaticMemberDIE(const DIDerivedType DT) {
1825 if (!DT.Verify())
1826 return NULL;
1827
1828 DIE *StaticMemberDIE = new DIE(DT.getTag());
Manman Renc664d762013-10-05 01:43:03 +00001829 DIType Ty = DD->resolve(DT.getTypeDerivedFrom());
Eric Christopher6b6061f2013-01-16 01:22:23 +00001830
1831 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1832 addType(StaticMemberDIE, Ty);
1833 addSourceLine(StaticMemberDIE, DT);
1834 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1835 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1836
1837 // FIXME: We could omit private if the parent is a class_type, and
1838 // public if the parent is something else.
1839 if (DT.isProtected())
1840 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1841 dwarf::DW_ACCESS_protected);
1842 else if (DT.isPrivate())
1843 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1844 dwarf::DW_ACCESS_private);
1845 else
1846 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1847 dwarf::DW_ACCESS_public);
1848
1849 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Renc664d762013-10-05 01:43:03 +00001850 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikie14268412013-01-20 01:18:01 +00001851 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1852 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001853
Eric Christopher3f045002013-10-04 17:08:38 +00001854 insertDIE(DT, StaticMemberDIE);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001855 return StaticMemberDIE;
1856}