blob: 4969f833bcc34917579bf1a1f2274e1052be77e7 [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);
Eric Christopher3f045002013-10-04 17:08:38 +0000523 TmpTy = 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.
Eric Christopher3f045002013-10-04 17:08:38 +0000590static bool isTypeSigned(DIType Ty, int *SizeInBits) {
Devang Patel4ec14b02011-07-20 21:57:04 +0000591 if (Ty.isDerivedType())
Eric Christopher3f045002013-10-04 17:08:38 +0000592 return isTypeSigned(DIDerivedType(Ty).getTypeDerivedFrom(), SizeInBits);
Devang Patel4ec14b02011-07-20 21:57:04 +0000593 if (Ty.isBasicType())
594 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed
595 || DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
596 *SizeInBits = Ty.getSizeInBits();
597 return true;
598 }
599 return false;
600}
601
Devang Patel161b2f42011-04-12 23:21:44 +0000602/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000603void CompileUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
Devang Patelb58128e2011-05-27 16:45:18 +0000604 DIType Ty) {
David Blaikie4de9d722013-05-10 21:52:07 +0000605 // FIXME: This is a bit conservative/simple - it emits negative values at
606 // their maximum bit width which is a bit unfortunate (& doesn't prefer
607 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky746cb672011-10-26 22:55:33 +0000608 assert(MO.isImm() && "Invalid machine operand!");
Devang Patel4ec14b02011-07-20 21:57:04 +0000609 int SizeInBits = -1;
Eric Christopher3f045002013-10-04 17:08:38 +0000610 bool SignedConstant = isTypeSigned(Ty, &SizeInBits);
Eric Christopher7b2ee392013-08-27 23:49:04 +0000611 uint16_t Form;
Devang Patel72f0d9c2011-05-27 18:15:52 +0000612
Eric Christopher7b2ee392013-08-27 23:49:04 +0000613 // If we're a signed constant definitely use sdata.
614 if (SignedConstant) {
615 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
616 return;
617 }
618
619 // Else use data for now unless it's larger than we can deal with.
620 switch (SizeInBits) {
621 case 8:
622 Form = dwarf::DW_FORM_data1;
623 break;
624 case 16:
625 Form = dwarf::DW_FORM_data2;
626 break;
627 case 32:
628 Form = dwarf::DW_FORM_data4;
629 break;
630 case 64:
631 Form = dwarf::DW_FORM_data8;
632 break;
633 default:
634 Form = dwarf::DW_FORM_udata;
635 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
636 return;
637 }
638 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel161b2f42011-04-12 23:21:44 +0000639}
640
641/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000642void CompileUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Nick Lewycky390c40d2011-10-27 06:44:11 +0000643 assert (MO.isFPImm() && "Invalid machine operand!");
Devang Patel161b2f42011-04-12 23:21:44 +0000644 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
645 APFloat FPImm = MO.getFPImm()->getValueAPF();
646
647 // Get the raw data form of the floating point.
648 const APInt FltVal = FPImm.bitcastToAPInt();
649 const char *FltPtr = (const char*)FltVal.getRawData();
650
651 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmow3574eca2012-10-08 16:38:25 +0000652 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel161b2f42011-04-12 23:21:44 +0000653 int Incr = (LittleEndian ? 1 : -1);
654 int Start = (LittleEndian ? 0 : NumBytes - 1);
655 int Stop = (LittleEndian ? NumBytes : -1);
656
657 // Output the constant to DWARF one byte at a time.
658 for (; Start != Stop; Start += Incr)
659 addUInt(Block, 0, dwarf::DW_FORM_data1,
660 (unsigned char)0xFF & FltPtr[Start]);
661
662 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000663}
664
David Blaikie14268412013-01-20 01:18:01 +0000665/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000666void CompileUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher7b2ee392013-08-27 23:49:04 +0000667 // Pass this down to addConstantValue as an unsigned bag of bits.
668 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikie14268412013-01-20 01:18:01 +0000669}
670
Devang Patel161b2f42011-04-12 23:21:44 +0000671/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000672void CompileUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
Devang Patel161b2f42011-04-12 23:21:44 +0000673 bool Unsigned) {
Eric Christophere4721492013-07-03 01:08:30 +0000674 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikie14268412013-01-20 01:18:01 +0000675}
676
677// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000678void CompileUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikie14268412013-01-20 01:18:01 +0000679 unsigned CIBitWidth = Val.getBitWidth();
Devang Pateld6a81362011-05-28 00:39:18 +0000680 if (CIBitWidth <= 64) {
Eric Christopher7b2ee392013-08-27 23:49:04 +0000681 // If we're a signed constant definitely use sdata.
682 if (!Unsigned) {
683 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
684 Val.getSExtValue());
685 return;
Devang Pateld6a81362011-05-28 00:39:18 +0000686 }
Eric Christopher7b2ee392013-08-27 23:49:04 +0000687
688 // Else use data for now unless it's larger than we can deal with.
689 uint16_t Form;
690 switch (CIBitWidth) {
691 case 8:
692 Form = dwarf::DW_FORM_data1;
693 break;
694 case 16:
695 Form = dwarf::DW_FORM_data2;
696 break;
697 case 32:
698 Form = dwarf::DW_FORM_data4;
699 break;
700 case 64:
701 Form = dwarf::DW_FORM_data8;
702 break;
703 default:
704 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
705 Val.getZExtValue());
706 return;
707 }
708 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christophere4721492013-07-03 01:08:30 +0000709 return;
Devang Patel161b2f42011-04-12 23:21:44 +0000710 }
711
712 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
713
714 // Get the raw data form of the large APInt.
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000715 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel161b2f42011-04-12 23:21:44 +0000716
717 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmow3574eca2012-10-08 16:38:25 +0000718 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel161b2f42011-04-12 23:21:44 +0000719
720 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000721 for (int i = 0; i < NumBytes; i++) {
722 uint8_t c;
723 if (LittleEndian)
724 c = Ptr64[i / 8] >> (8 * (i & 7));
725 else
726 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
727 addUInt(Block, 0, dwarf::DW_FORM_data1, c);
728 }
Devang Patel161b2f42011-04-12 23:21:44 +0000729
730 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000731}
732
Eric Christopher6c3bb942013-04-22 07:47:40 +0000733/// addTemplateParams - Add template parameters into buffer.
Devang Patel161b2f42011-04-12 23:21:44 +0000734void CompileUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
735 // Add template parameters.
736 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
737 DIDescriptor Element = TParams.getElement(i);
738 if (Element.isTemplateTypeParameter())
739 Buffer.addChild(getOrCreateTemplateTypeParameterDIE(
740 DITemplateTypeParameter(Element)));
741 else if (Element.isTemplateValueParameter())
742 Buffer.addChild(getOrCreateTemplateValueParameterDIE(
743 DITemplateValueParameter(Element)));
744 }
Devang Patel161b2f42011-04-12 23:21:44 +0000745}
Nick Lewycky746cb672011-10-26 22:55:33 +0000746
Eric Christopher6b6061f2013-01-16 01:22:23 +0000747/// getOrCreateContextDIE - Get context owner's DIE.
748DIE *CompileUnit::getOrCreateContextDIE(DIDescriptor Context) {
749 if (Context.isType())
750 return getOrCreateTypeDIE(DIType(Context));
751 else if (Context.isNameSpace())
752 return getOrCreateNameSpace(DINameSpace(Context));
753 else if (Context.isSubprogram())
754 return getOrCreateSubprogramDIE(DISubprogram(Context));
Eric Christopher6c3bb942013-04-22 07:47:40 +0000755 else
Eric Christopher6b6061f2013-01-16 01:22:23 +0000756 return getDIE(Context);
757}
758
Devang Patel161b2f42011-04-12 23:21:44 +0000759/// addToContextOwner - Add Die into the list of its context owner's children.
760void CompileUnit::addToContextOwner(DIE *Die, DIDescriptor Context) {
David Blaikiee5830c42013-10-03 20:07:20 +0000761 assert(!Die->getParent());
762 if (DIE *ContextDIE = getOrCreateContextDIE(Context)) {
763 if (Die->getParent()) {
764 // While creating the context, if this is a type member, we will have
765 // added the child to the context already.
766 assert(Die->getParent() == ContextDIE);
767 return;
768 }
Devang Patel161b2f42011-04-12 23:21:44 +0000769 ContextDIE->addChild(Die);
David Blaikiee5830c42013-10-03 20:07:20 +0000770 } else
Devang Patel161b2f42011-04-12 23:21:44 +0000771 addDie(Die);
772}
773
774/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
775/// given DIType.
Devang Patel94c7ddb2011-08-16 22:09:43 +0000776DIE *CompileUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
777 DIType Ty(TyNode);
Manman Rend03d2b22013-07-08 18:33:29 +0000778 if (!Ty.isType())
Devang Patel94c7ddb2011-08-16 22:09:43 +0000779 return NULL;
Eric Christopher3f045002013-10-04 17:08:38 +0000780 DIE *TyDIE = getDIE(Ty);
Devang Patel161b2f42011-04-12 23:21:44 +0000781 if (TyDIE)
782 return TyDIE;
783
784 // Create new type.
David Blaikie916d49e2013-10-04 23:21:16 +0000785 TyDIE = new DIE(Ty.getTag());
Eric Christopher3f045002013-10-04 17:08:38 +0000786 insertDIE(Ty, TyDIE);
Devang Patel161b2f42011-04-12 23:21:44 +0000787 if (Ty.isBasicType())
788 constructTypeDIE(*TyDIE, DIBasicType(Ty));
789 else if (Ty.isCompositeType())
790 constructTypeDIE(*TyDIE, DICompositeType(Ty));
791 else {
792 assert(Ty.isDerivedType() && "Unknown kind of DIType");
793 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
794 }
Eric Christopher1b3f9192011-11-10 19:52:58 +0000795 // If this is a named finished type then include it in the list of types
796 // for the accelerator tables.
Eric Christopherc36145f2012-01-06 04:35:23 +0000797 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
798 bool IsImplementation = 0;
799 if (Ty.isCompositeType()) {
800 DICompositeType CT(Ty);
Eric Christophere0167892012-01-06 23:03:37 +0000801 // A runtime language of 0 actually means C/C++ and that any
802 // non-negative value is some version of Objective-C/C++.
Eric Christopherc36145f2012-01-06 04:35:23 +0000803 IsImplementation = (CT.getRunTimeLang() == 0) ||
Eric Christophere2dc9332012-02-22 08:46:02 +0000804 CT.isObjcClassComplete();
Eric Christopherc36145f2012-01-06 04:35:23 +0000805 }
Eric Christopher577056f2013-09-05 18:20:16 +0000806 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christophere0167892012-01-06 23:03:37 +0000807 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
Eric Christopherc36145f2012-01-06 04:35:23 +0000808 }
Eric Christopher8b4310b2012-11-21 00:34:38 +0000809
Manman Ren2c9905a2013-09-09 19:47:11 +0000810 addToContextOwner(TyDIE, DD->resolve(Ty.getContext()));
Devang Patel161b2f42011-04-12 23:21:44 +0000811 return TyDIE;
812}
813
814/// addType - Add a new type attribute to the specified entity.
Eric Christopher31667622013-08-08 01:41:00 +0000815void CompileUnit::addType(DIE *Entity, DIType Ty, uint16_t Attribute) {
Eric Christopherdc1363f2013-08-08 07:40:37 +0000816 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel161b2f42011-04-12 23:21:44 +0000817
818 // Check for pre-existence.
819 DIEEntry *Entry = getDIEEntry(Ty);
820 // If it exists then use the existing value.
821 if (Entry) {
Eric Christopher3f045002013-10-04 17:08:38 +0000822 Entity->addValue(Attribute, dwarf::DW_FORM_ref4, Entry);
Devang Patel161b2f42011-04-12 23:21:44 +0000823 return;
824 }
825
826 // Construct type.
827 DIE *Buffer = getOrCreateTypeDIE(Ty);
828
829 // Set up proxy.
830 Entry = createDIEEntry(Buffer);
831 insertDIEEntry(Ty, Entry);
Eric Christopher3f045002013-10-04 17:08:38 +0000832 Entity->addValue(Attribute, dwarf::DW_FORM_ref4, Entry);
Devang Patele9ae06c2011-05-31 22:56:51 +0000833
834 // If this is a complete composite type then include it in the
835 // list of global types.
Devang Patelc20bdf12011-06-01 00:23:24 +0000836 addGlobalType(Ty);
Devang Patel66658e42011-05-31 23:30:30 +0000837}
838
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000839// Accelerator table mutators - add each name along with its companion
840// DIE to the proper table while ensuring that the name that we're going
841// to reference is in the string table. We do this since the names we
842// add may not only be identical to the names in the DIE.
843void CompileUnit::addAccelName(StringRef Name, DIE *Die) {
844 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000845 std::vector<DIE *> &DIEs = AccelNames[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000846 DIEs.push_back(Die);
847}
848
849void CompileUnit::addAccelObjC(StringRef Name, DIE *Die) {
850 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000851 std::vector<DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000852 DIEs.push_back(Die);
853}
854
855void CompileUnit::addAccelNamespace(StringRef Name, DIE *Die) {
856 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000857 std::vector<DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000858 DIEs.push_back(Die);
859}
860
861void CompileUnit::addAccelType(StringRef Name, std::pair<DIE *, unsigned> Die) {
862 DU->getStringPoolEntry(Name);
863 std::vector<std::pair<DIE *, unsigned> > &DIEs = AccelTypes[Name];
864 DIEs.push_back(Die);
865}
866
Eric Christopher50d37a42013-09-20 22:20:55 +0000867/// addGlobalName - Add a new global name to the compile unit.
868void CompileUnit::addGlobalName(StringRef Name, DIE *Die) {
869 GlobalNames[Name] = Die;
870}
871
Devang Patel66658e42011-05-31 23:30:30 +0000872/// addGlobalType - Add a new global type to the compile unit.
873///
Devang Patelc20bdf12011-06-01 00:23:24 +0000874void CompileUnit::addGlobalType(DIType Ty) {
Manman Ren2c9905a2013-09-09 19:47:11 +0000875 DIDescriptor Context = DD->resolve(Ty.getContext());
Eric Christopher5a634742013-09-23 23:15:58 +0000876 if (!Ty.getName().empty() && !Ty.isForwardDecl() &&
Eric Christopher734334e2013-09-23 22:59:11 +0000877 (!Context || Context.isCompileUnit() || Context.isFile() ||
878 Context.isNameSpace()))
Devang Patelc20bdf12011-06-01 00:23:24 +0000879 if (DIEEntry *Entry = getDIEEntry(Ty))
880 GlobalTypes[Ty.getName()] = Entry->getEntry();
Devang Patel161b2f42011-04-12 23:21:44 +0000881}
882
Devang Patel31c5d052011-05-06 16:57:54 +0000883/// addPubTypes - Add type for pubtypes section.
884void CompileUnit::addPubTypes(DISubprogram SP) {
885 DICompositeType SPTy = SP.getType();
Eric Christopher31667622013-08-08 01:41:00 +0000886 uint16_t SPTag = SPTy.getTag();
Devang Patel31c5d052011-05-06 16:57:54 +0000887 if (SPTag != dwarf::DW_TAG_subroutine_type)
888 return;
889
890 DIArray Args = SPTy.getTypeArray();
891 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
892 DIType ATy(Args.getElement(i));
Manman Rend03d2b22013-07-08 18:33:29 +0000893 if (!ATy.isType())
Devang Patel31c5d052011-05-06 16:57:54 +0000894 continue;
Devang Patelc20bdf12011-06-01 00:23:24 +0000895 addGlobalType(ATy);
Devang Patel31c5d052011-05-06 16:57:54 +0000896 }
897}
898
Devang Patel161b2f42011-04-12 23:21:44 +0000899/// constructTypeDIE - Construct basic type die from DIBasicType.
900void CompileUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
901 // Get core information.
902 StringRef Name = BTy.getName();
Devang Patel161b2f42011-04-12 23:21:44 +0000903 // Add name if not anonymous or intermediate type.
904 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +0000905 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel734a67c2011-09-14 23:13:28 +0000906
David Blaikie916d49e2013-10-04 23:21:16 +0000907 // An unspecified type only has a name attribute.
908 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel734a67c2011-09-14 23:13:28 +0000909 return;
Devang Patel734a67c2011-09-14 23:13:28 +0000910
Nick Lewycky746cb672011-10-26 22:55:33 +0000911 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel30d409c2012-02-07 23:33:58 +0000912 BTy.getEncoding());
Devang Patel734a67c2011-09-14 23:13:28 +0000913
Devang Patel161b2f42011-04-12 23:21:44 +0000914 uint64_t Size = BTy.getSizeInBits() >> 3;
915 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
916}
917
918/// constructTypeDIE - Construct derived type die from DIDerivedType.
919void CompileUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
920 // Get core information.
921 StringRef Name = DTy.getName();
922 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikie916d49e2013-10-04 23:21:16 +0000923 uint16_t Tag = Buffer.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +0000924
925 // Map to main type, void will not have a type.
Eric Christopher3f045002013-10-04 17:08:38 +0000926 DIType FromTy = DTy.getTypeDerivedFrom();
Eric Christopherdc1363f2013-08-08 07:40:37 +0000927 if (FromTy)
928 addType(&Buffer, FromTy);
Devang Patel161b2f42011-04-12 23:21:44 +0000929
930 // Add name if not anonymous or intermediate type.
931 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +0000932 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +0000933
934 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher35f225a2012-02-21 22:25:53 +0000935 if (Size && Tag != dwarf::DW_TAG_pointer_type)
Devang Patel161b2f42011-04-12 23:21:44 +0000936 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
937
David Blaikie62fdfb52013-01-07 05:51:15 +0000938 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
939 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
Manman Renbc660712013-09-05 18:48:31 +0000940 getOrCreateTypeDIE(DD->resolve(DTy.getClassType())));
Devang Patel161b2f42011-04-12 23:21:44 +0000941 // Add source line info if available and TyDesc is not a forward declaration.
942 if (!DTy.isForwardDecl())
943 addSourceLine(&Buffer, DTy);
944}
945
Eric Christopher3dee5752013-07-26 17:02:41 +0000946/// Return true if the type is appropriately scoped to be contained inside
947/// its own type unit.
Manman Ren18eb2452013-09-09 19:23:58 +0000948static bool isTypeUnitScoped(DIType Ty, const DwarfDebug *DD) {
Manman Ren2c9905a2013-09-09 19:47:11 +0000949 DIScope Parent = DD->resolve(Ty.getContext());
Eric Christopher3dee5752013-07-26 17:02:41 +0000950 while (Parent) {
951 // Don't generate a hash for anything scoped inside a function.
952 if (Parent.isSubprogram())
953 return false;
Manman Rene72aba92013-09-09 22:35:23 +0000954 Parent = DD->resolve(Parent.getContext());
Eric Christopher3dee5752013-07-26 17:02:41 +0000955 }
956 return true;
957}
958
959/// Return true if the type should be split out into a type unit.
Manman Ren18eb2452013-09-09 19:23:58 +0000960static bool shouldCreateTypeUnit(DICompositeType CTy, const DwarfDebug *DD) {
Eric Christopher31667622013-08-08 01:41:00 +0000961 uint16_t Tag = CTy.getTag();
Eric Christopher3dee5752013-07-26 17:02:41 +0000962
963 switch (Tag) {
964 case dwarf::DW_TAG_structure_type:
965 case dwarf::DW_TAG_union_type:
966 case dwarf::DW_TAG_enumeration_type:
967 case dwarf::DW_TAG_class_type:
968 // If this is a class, structure, union, or enumeration type
969 // that is not a declaration, is a type definition, and not scoped
970 // inside a function then separate this out as a type unit.
Manman Ren18eb2452013-09-09 19:23:58 +0000971 if (CTy.isForwardDecl() || !isTypeUnitScoped(CTy, DD))
Eric Christopher3dee5752013-07-26 17:02:41 +0000972 return 0;
973 return 1;
974 default:
975 return 0;
976 }
977}
978
Devang Patel161b2f42011-04-12 23:21:44 +0000979/// constructTypeDIE - Construct type DIE from DICompositeType.
980void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
981 // Get core information.
982 StringRef Name = CTy.getName();
983
984 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikie916d49e2013-10-04 23:21:16 +0000985 uint16_t Tag = Buffer.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +0000986
987 switch (Tag) {
Devang Patel161b2f42011-04-12 23:21:44 +0000988 case dwarf::DW_TAG_array_type:
989 constructArrayTypeDIE(Buffer, &CTy);
990 break;
991 case dwarf::DW_TAG_enumeration_type: {
992 DIArray Elements = CTy.getTypeArray();
993
994 // Add enumerators to enumeration type.
995 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
996 DIE *ElemDie = NULL;
997 DIDescriptor Enum(Elements.getElement(i));
998 if (Enum.isEnumerator()) {
999 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum));
1000 Buffer.addChild(ElemDie);
1001 }
1002 }
Eric Christopher3f045002013-10-04 17:08:38 +00001003 DIType DTy = CTy.getTypeDerivedFrom();
Eric Christopher37c107b2013-08-08 07:40:42 +00001004 if (DTy) {
Eric Christopherbb0f6ea2012-05-23 00:09:20 +00001005 addType(&Buffer, DTy);
Eric Christopher371d9582013-10-04 22:40:10 +00001006 addFlag(&Buffer, dwarf::DW_AT_enum_class);
Eric Christopherbb0f6ea2012-05-23 00:09:20 +00001007 }
Devang Patel161b2f42011-04-12 23:21:44 +00001008 }
1009 break;
1010 case dwarf::DW_TAG_subroutine_type: {
Eric Christopherdc1363f2013-08-08 07:40:37 +00001011 // Add return type. A void return won't have a type.
Devang Patel161b2f42011-04-12 23:21:44 +00001012 DIArray Elements = CTy.getTypeArray();
1013 DIDescriptor RTy = Elements.getElement(0);
Eric Christopherdc1363f2013-08-08 07:40:37 +00001014 if (RTy)
1015 addType(&Buffer, DIType(RTy));
Devang Patel161b2f42011-04-12 23:21:44 +00001016
1017 bool isPrototyped = true;
1018 // Add arguments.
1019 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1020 DIDescriptor Ty = Elements.getElement(i);
1021 if (Ty.isUnspecifiedParameter()) {
1022 DIE *Arg = new DIE(dwarf::DW_TAG_unspecified_parameters);
1023 Buffer.addChild(Arg);
1024 isPrototyped = false;
1025 } else {
1026 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1027 addType(Arg, DIType(Ty));
David Blaikieaaf2e632013-01-29 19:35:24 +00001028 if (DIType(Ty).isArtificial())
1029 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel161b2f42011-04-12 23:21:44 +00001030 Buffer.addChild(Arg);
1031 }
1032 }
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001033 // Add prototype flag if we're dealing with a C language and the
1034 // function has been prototyped.
Eric Christopher7b878952013-08-26 23:50:38 +00001035 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001036 if (isPrototyped &&
Eric Christopher4d069bf2012-05-22 18:45:24 +00001037 (Language == dwarf::DW_LANG_C89 ||
1038 Language == dwarf::DW_LANG_C99 ||
1039 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001040 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Devang Patel161b2f42011-04-12 23:21:44 +00001041 }
1042 break;
1043 case dwarf::DW_TAG_structure_type:
1044 case dwarf::DW_TAG_union_type:
1045 case dwarf::DW_TAG_class_type: {
Devang Patel161b2f42011-04-12 23:21:44 +00001046 // Add elements to structure type.
David Blaikiec8b93552013-08-01 20:30:22 +00001047 DIArray Elements = CTy.getTypeArray();
1048 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel161b2f42011-04-12 23:21:44 +00001049 DIDescriptor Element = Elements.getElement(i);
1050 DIE *ElemDie = NULL;
1051 if (Element.isSubprogram()) {
1052 DISubprogram SP(Element);
Devang Pateldbc64af2011-08-15 17:24:54 +00001053 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
Devang Patel161b2f42011-04-12 23:21:44 +00001054 if (SP.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001055 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001056 dwarf::DW_ACCESS_protected);
1057 else if (SP.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001058 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001059 dwarf::DW_ACCESS_private);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001060 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001061 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001062 dwarf::DW_ACCESS_public);
1063 if (SP.isExplicit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001064 addFlag(ElemDie, dwarf::DW_AT_explicit);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001065 } else if (Element.isDerivedType()) {
Eric Christopher4d069bf2012-05-22 18:45:24 +00001066 DIDerivedType DDTy(Element);
1067 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
1068 ElemDie = new DIE(dwarf::DW_TAG_friend);
Eric Christopher3f045002013-10-04 17:08:38 +00001069 addType(ElemDie, DDTy.getTypeDerivedFrom(), dwarf::DW_AT_friend);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001070 } else if (DDTy.isStaticMember())
1071 ElemDie = createStaticMemberDIE(DDTy);
1072 else
1073 ElemDie = createMemberDIE(DDTy);
David Blaikiee5830c42013-10-03 20:07:20 +00001074 Buffer.addChild(ElemDie);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001075 } else if (Element.isObjCProperty()) {
Devang Patel30d409c2012-02-07 23:33:58 +00001076 DIObjCProperty Property(Element);
1077 ElemDie = new DIE(Property.getTag());
1078 StringRef PropertyName = Property.getObjCPropertyName();
1079 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4d069bf2012-05-22 18:45:24 +00001080 addType(ElemDie, Property.getType());
1081 addSourceLine(ElemDie, Property);
Devang Patel30d409c2012-02-07 23:33:58 +00001082 StringRef GetterName = Property.getObjCPropertyGetterName();
1083 if (!GetterName.empty())
1084 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1085 StringRef SetterName = Property.getObjCPropertySetterName();
1086 if (!SetterName.empty())
1087 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1088 unsigned PropertyAttributes = 0;
Devang Patel9e11eb12012-02-04 01:30:32 +00001089 if (Property.isReadOnlyObjCProperty())
1090 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1091 if (Property.isReadWriteObjCProperty())
1092 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1093 if (Property.isAssignObjCProperty())
1094 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1095 if (Property.isRetainObjCProperty())
1096 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1097 if (Property.isCopyObjCProperty())
1098 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1099 if (Property.isNonAtomicObjCProperty())
1100 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1101 if (PropertyAttributes)
Eric Christopher8b4310b2012-11-21 00:34:38 +00001102 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, 0,
Devang Patel9e11eb12012-02-04 01:30:32 +00001103 PropertyAttributes);
Devang Patel6588abf2012-02-06 17:49:43 +00001104
Devang Patel30d409c2012-02-07 23:33:58 +00001105 DIEEntry *Entry = getDIEEntry(Element);
1106 if (!Entry) {
1107 Entry = createDIEEntry(ElemDie);
1108 insertDIEEntry(Element, Entry);
1109 }
David Blaikiee5830c42013-10-03 20:07:20 +00001110 Buffer.addChild(ElemDie);
Devang Patel9e11eb12012-02-04 01:30:32 +00001111 } else
Devang Patel161b2f42011-04-12 23:21:44 +00001112 continue;
Devang Patel161b2f42011-04-12 23:21:44 +00001113 }
1114
1115 if (CTy.isAppleBlockExtension())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001116 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel161b2f42011-04-12 23:21:44 +00001117
Manman Rene42279c2013-09-06 18:46:00 +00001118 DICompositeType ContainingType(DD->resolve(CTy.getContainingType()));
Devang Patel161b2f42011-04-12 23:21:44 +00001119 if (DIDescriptor(ContainingType).isCompositeType())
1120 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
1121 getOrCreateTypeDIE(DIType(ContainingType)));
Devang Patel161b2f42011-04-12 23:21:44 +00001122
Devang Patel201e6cd2011-05-12 21:29:42 +00001123 if (CTy.isObjcClassComplete())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001124 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patelb11f80e2011-05-12 19:06:16 +00001125
Eric Christopher1a8e8862011-12-16 23:42:42 +00001126 // Add template parameters to a class, structure or union types.
1127 // FIXME: The support isn't in the metadata for this yet.
1128 if (Tag == dwarf::DW_TAG_class_type ||
1129 Tag == dwarf::DW_TAG_structure_type ||
1130 Tag == dwarf::DW_TAG_union_type)
Devang Patel161b2f42011-04-12 23:21:44 +00001131 addTemplateParams(Buffer, CTy.getTemplateParams());
1132
1133 break;
1134 }
1135 default:
1136 break;
1137 }
1138
1139 // Add name if not anonymous or intermediate type.
1140 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001141 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001142
Eric Christopher4a5d8392012-05-22 18:45:18 +00001143 if (Tag == dwarf::DW_TAG_enumeration_type ||
1144 Tag == dwarf::DW_TAG_class_type ||
1145 Tag == dwarf::DW_TAG_structure_type ||
1146 Tag == dwarf::DW_TAG_union_type) {
Devang Patel161b2f42011-04-12 23:21:44 +00001147 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopherfc4199b2012-06-01 00:22:32 +00001148 // TODO: Do we care about size for enum forward declarations?
Devang Patel161b2f42011-04-12 23:21:44 +00001149 if (Size)
1150 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Eric Christopherfc4199b2012-06-01 00:22:32 +00001151 else if (!CTy.isForwardDecl())
Devang Patel161b2f42011-04-12 23:21:44 +00001152 // Add zero size if it is not a forward declaration.
Eric Christopherfc4199b2012-06-01 00:22:32 +00001153 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
1154
1155 // If we're a forward decl, say so.
1156 if (CTy.isForwardDecl())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001157 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel161b2f42011-04-12 23:21:44 +00001158
1159 // Add source line info if available.
1160 if (!CTy.isForwardDecl())
1161 addSourceLine(&Buffer, CTy);
Eric Christopher89388952012-03-07 00:15:19 +00001162
1163 // No harm in adding the runtime language to the declaration.
1164 unsigned RLang = CTy.getRunTimeLang();
1165 if (RLang)
1166 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
1167 dwarf::DW_FORM_data1, RLang);
Devang Patel161b2f42011-04-12 23:21:44 +00001168 }
Eric Christopher3dee5752013-07-26 17:02:41 +00001169 // If this is a type applicable to a type unit it then add it to the
1170 // list of types we'll compute a hash for later.
Manman Ren18eb2452013-09-09 19:23:58 +00001171 if (shouldCreateTypeUnit(CTy, DD))
Eric Christopher3dee5752013-07-26 17:02:41 +00001172 DD->addTypeUnitType(&Buffer);
Devang Patel161b2f42011-04-12 23:21:44 +00001173}
1174
Eric Christopher8b4310b2012-11-21 00:34:38 +00001175/// getOrCreateTemplateTypeParameterDIE - Find existing DIE or create new DIE
Devang Patel161b2f42011-04-12 23:21:44 +00001176/// for the given DITemplateTypeParameter.
1177DIE *
1178CompileUnit::getOrCreateTemplateTypeParameterDIE(DITemplateTypeParameter TP) {
1179 DIE *ParamDIE = getDIE(TP);
1180 if (ParamDIE)
1181 return ParamDIE;
1182
1183 ParamDIE = new DIE(dwarf::DW_TAG_template_type_parameter);
Eric Christopher76ef79f2013-08-08 08:09:43 +00001184 // Add the type if it exists, it could be void and therefore no type.
1185 if (TP.getType())
1186 addType(ParamDIE, TP.getType());
David Blaikiee88939c2013-06-22 18:59:11 +00001187 if (!TP.getName().empty())
1188 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel161b2f42011-04-12 23:21:44 +00001189 return ParamDIE;
1190}
1191
Eric Christopher8b4310b2012-11-21 00:34:38 +00001192/// getOrCreateTemplateValueParameterDIE - Find existing DIE or create new DIE
Devang Patel161b2f42011-04-12 23:21:44 +00001193/// for the given DITemplateValueParameter.
1194DIE *
Eric Christopherafdd1f82013-08-08 07:40:31 +00001195CompileUnit::getOrCreateTemplateValueParameterDIE(DITemplateValueParameter VP) {
1196 DIE *ParamDIE = getDIE(VP);
Devang Patel161b2f42011-04-12 23:21:44 +00001197 if (ParamDIE)
1198 return ParamDIE;
1199
Eric Christopherafdd1f82013-08-08 07:40:31 +00001200 ParamDIE = new DIE(VP.getTag());
Eric Christopherdc1363f2013-08-08 07:40:37 +00001201
1202 // Add the type if there is one, template template and template parameter
1203 // packs will not have a type.
1204 if (VP.getType())
1205 addType(ParamDIE, VP.getType());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001206 if (!VP.getName().empty())
1207 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1208 if (Value *Val = VP.getValue()) {
David Blaikie4de9d722013-05-10 21:52:07 +00001209 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Eric Christopher3f045002013-10-04 17:08:38 +00001210 addConstantValue(ParamDIE, CI, VP.getType().isUnsignedDIType());
David Blaikie4de9d722013-05-10 21:52:07 +00001211 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1212 // For declaration non-type template parameters (such as global values and
1213 // functions)
1214 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1215 addOpAddress(Block, Asm->Mang->getSymbol(GV));
1216 // Emit DW_OP_stack_value to use the address as the immediate value of the
1217 // parameter, rather than a pointer to it.
1218 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1219 addBlock(ParamDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopherafdd1f82013-08-08 07:40:31 +00001220 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikiee88939c2013-06-22 18:59:11 +00001221 assert(isa<MDString>(Val));
1222 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1223 cast<MDString>(Val)->getString());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001224 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikiee88939c2013-06-22 18:59:11 +00001225 assert(isa<MDNode>(Val));
1226 DIArray A(cast<MDNode>(Val));
1227 addTemplateParams(*ParamDIE, A);
David Blaikie4de9d722013-05-10 21:52:07 +00001228 }
1229 }
1230
Devang Patel161b2f42011-04-12 23:21:44 +00001231 return ParamDIE;
1232}
1233
Devang Patel31c5d052011-05-06 16:57:54 +00001234/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1235DIE *CompileUnit::getOrCreateNameSpace(DINameSpace NS) {
1236 DIE *NDie = getDIE(NS);
1237 if (NDie)
1238 return NDie;
1239 NDie = new DIE(dwarf::DW_TAG_namespace);
1240 insertDIE(NS, NDie);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001241 if (!NS.getName().empty()) {
Nick Lewycky390c40d2011-10-27 06:44:11 +00001242 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher09ac3d82011-11-07 09:24:32 +00001243 addAccelNamespace(NS.getName(), NDie);
Eric Christopher3d2c90f2013-09-24 00:17:57 +00001244 addGlobalName(NS.getName(), NDie);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001245 } else
1246 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel31c5d052011-05-06 16:57:54 +00001247 addSourceLine(NDie, NS);
1248 addToContextOwner(NDie, NS.getContext());
1249 return NDie;
1250}
1251
Devang Pateldbc64af2011-08-15 17:24:54 +00001252/// getOrCreateSubprogramDIE - Create new DIE using SP.
1253DIE *CompileUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikiec32f2332013-10-04 01:39:59 +00001254 // Construct the context before querying for the existence of the DIE in case
1255 // such construction creates the DIE (as is the case for member function
1256 // declarations).
1257 DIE *ContextDIE = getOrCreateContextDIE(SP.getContext());
1258 if (!ContextDIE)
1259 ContextDIE = CUDie.get();
1260
Eric Christopher3f045002013-10-04 17:08:38 +00001261 DIE *SPDie = getDIE(SP);
Devang Pateldbc64af2011-08-15 17:24:54 +00001262 if (SPDie)
1263 return SPDie;
1264
Peter Collingbourne27302f02012-05-27 18:36:44 +00001265 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1266
1267 // DW_TAG_inlined_subroutine may refer to this DIE.
Eric Christopher3f045002013-10-04 17:08:38 +00001268 insertDIE(SP, SPDie);
Peter Collingbourne27302f02012-05-27 18:36:44 +00001269
Rafael Espindola01b55b42011-11-10 22:34:29 +00001270 DISubprogram SPDecl = SP.getFunctionDeclaration();
1271 DIE *DeclDie = NULL;
1272 if (SPDecl.isSubprogram()) {
1273 DeclDie = getOrCreateSubprogramDIE(SPDecl);
1274 }
1275
Devang Pateldbc64af2011-08-15 17:24:54 +00001276 // Add to context owner.
David Blaikiec32f2332013-10-04 01:39:59 +00001277 ContextDIE->addChild(SPDie);
Devang Pateldbc64af2011-08-15 17:24:54 +00001278
1279 // Add function template parameters.
1280 addTemplateParams(*SPDie, SP.getTemplateParams());
1281
Devang Pateldbc64af2011-08-15 17:24:54 +00001282 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherc4968752013-05-09 00:42:33 +00001283 // then there is no need to add other attributes.
Rafael Espindola01b55b42011-11-10 22:34:29 +00001284 if (DeclDie) {
1285 // Refer function declaration directly.
1286 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1287 DeclDie);
1288
Devang Pateldbc64af2011-08-15 17:24:54 +00001289 return SPDie;
Rafael Espindola01b55b42011-11-10 22:34:29 +00001290 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001291
Eric Christophercbbd5b12012-08-23 22:52:55 +00001292 // Add the linkage name if we have one.
Michael Gottesmandc42d032013-09-04 04:39:38 +00001293 StringRef LinkageName = SP.getLinkageName();
1294 if (!LinkageName.empty())
Eric Christophercbbd5b12012-08-23 22:52:55 +00001295 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001296 GlobalValue::getRealLinkageName(LinkageName));
Eric Christophercbbd5b12012-08-23 22:52:55 +00001297
Devang Pateldbc64af2011-08-15 17:24:54 +00001298 // Constructors and operators for anonymous aggregates do not have names.
1299 if (!SP.getName().empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001300 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Pateldbc64af2011-08-15 17:24:54 +00001301
1302 addSourceLine(SPDie, SP);
1303
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001304 // Add the prototype if we have a prototype and we have a C like
1305 // language.
Eric Christopher7b878952013-08-26 23:50:38 +00001306 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001307 if (SP.isPrototyped() &&
1308 (Language == dwarf::DW_LANG_C89 ||
1309 Language == dwarf::DW_LANG_C99 ||
1310 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001311 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Pateldbc64af2011-08-15 17:24:54 +00001312
Eric Christopherdc1363f2013-08-08 07:40:37 +00001313 // Add Return Type. A void return type will not have a type.
Devang Pateldbc64af2011-08-15 17:24:54 +00001314 DICompositeType SPTy = SP.getType();
David Blaikie3d331842013-05-22 23:22:18 +00001315 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1316 "the type of a subprogram should be a subroutine");
Devang Pateldbc64af2011-08-15 17:24:54 +00001317
David Blaikie3d331842013-05-22 23:22:18 +00001318 DIArray Args = SPTy.getTypeArray();
Eric Christopherdc1363f2013-08-08 07:40:37 +00001319 if (Args.getElement(0))
1320 addType(SPDie, DIType(Args.getElement(0)));
Devang Pateldbc64af2011-08-15 17:24:54 +00001321
1322 unsigned VK = SP.getVirtuality();
1323 if (VK) {
Nick Lewycky798313d2011-12-14 00:56:07 +00001324 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Pateldbc64af2011-08-15 17:24:54 +00001325 DIEBlock *Block = getDIEBlock();
1326 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1327 addUInt(Block, 0, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1328 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
1329 ContainingTypeMap.insert(std::make_pair(SPDie,
Manman Ren0e85f6e2013-09-07 00:04:05 +00001330 DD->resolve(SP.getContainingType())));
Devang Pateldbc64af2011-08-15 17:24:54 +00001331 }
1332
1333 if (!SP.isDefinition()) {
Eric Christopher873cf0a2012-08-24 01:14:27 +00001334 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001335
Devang Pateldbc64af2011-08-15 17:24:54 +00001336 // Add arguments. Do not add arguments for subprogram definition. They will
1337 // be handled while processing variables.
David Blaikie3d331842013-05-22 23:22:18 +00001338 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1339 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1340 DIType ATy = DIType(Args.getElement(i));
1341 addType(Arg, ATy);
1342 if (ATy.isArtificial())
1343 addFlag(Arg, dwarf::DW_AT_artificial);
1344 SPDie->addChild(Arg);
1345 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001346 }
1347
1348 if (SP.isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001349 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Pateldbc64af2011-08-15 17:24:54 +00001350
1351 if (!SP.isLocalToUnit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001352 addFlag(SPDie, dwarf::DW_AT_external);
Devang Pateldbc64af2011-08-15 17:24:54 +00001353
1354 if (SP.isOptimized())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001355 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Pateldbc64af2011-08-15 17:24:54 +00001356
1357 if (unsigned isa = Asm->getISAEncoding()) {
1358 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1359 }
1360
1361 return SPDie;
1362}
1363
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001364// Return const expression if value is a GEP to access merged global
1365// constant. e.g.
1366// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1367static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1368 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1369 if (!CE || CE->getNumOperands() != 3 ||
1370 CE->getOpcode() != Instruction::GetElementPtr)
1371 return NULL;
1372
1373 // First operand points to a global struct.
1374 Value *Ptr = CE->getOperand(0);
1375 if (!isa<GlobalValue>(Ptr) ||
1376 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1377 return NULL;
1378
1379 // Second operand is zero.
1380 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1381 if (!CI || !CI->isZero())
1382 return NULL;
1383
1384 // Third operand is offset.
1385 if (!isa<ConstantInt>(CE->getOperand(2)))
1386 return NULL;
1387
1388 return CE;
1389}
1390
1391/// createGlobalVariableDIE - create global variable DIE.
1392void CompileUnit::createGlobalVariableDIE(const MDNode *N) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001393 // Check for pre-existence.
Devang Patel49e2f032011-08-18 22:21:50 +00001394 if (getDIE(N))
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001395 return;
1396
Devang Patel49e2f032011-08-18 22:21:50 +00001397 DIGlobalVariable GV(N);
Manman Rend03d2b22013-07-08 18:33:29 +00001398 if (!GV.isGlobalVariable())
Devang Patel28bea082011-08-18 23:17:55 +00001399 return;
1400
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001401 DIDescriptor GVContext = GV.getContext();
Eric Christopher6b6061f2013-01-16 01:22:23 +00001402 DIType GTy = GV.getType();
1403
1404 // If this is a static data member definition, some attributes belong
1405 // to the declaration DIE.
1406 DIE *VariableDIE = NULL;
Manman Ren945e8282013-02-01 23:54:37 +00001407 bool IsStaticMember = false;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001408 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1409 if (SDMDecl.Verify()) {
1410 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1411 // We need the declaration DIE that is in the static member's class.
1412 // But that class might not exist in the DWARF yet.
1413 // Creating the class will create the static member decl DIE.
Manman Ren2c9905a2013-09-09 19:47:11 +00001414 getOrCreateContextDIE(DD->resolve(SDMDecl.getContext()));
Eric Christopher3f045002013-10-04 17:08:38 +00001415 VariableDIE = getDIE(SDMDecl);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001416 assert(VariableDIE && "Static member decl has no context?");
Manman Ren945e8282013-02-01 23:54:37 +00001417 IsStaticMember = true;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001418 }
1419
1420 // If this is not a static data member definition, create the variable
1421 // DIE and add the initial set of attributes to it.
1422 if (!VariableDIE) {
1423 VariableDIE = new DIE(GV.getTag());
1424 // Add to map.
1425 insertDIE(N, VariableDIE);
1426
1427 // Add name and type.
1428 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1429 addType(VariableDIE, GTy);
1430
1431 // Add scoping info.
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001432 if (!GV.isLocalToUnit()) {
Eric Christopher6b6061f2013-01-16 01:22:23 +00001433 addFlag(VariableDIE, dwarf::DW_AT_external);
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001434 addGlobalName(GV.getName(), VariableDIE);
1435 }
Eric Christopher6b6061f2013-01-16 01:22:23 +00001436
1437 // Add line number info.
1438 addSourceLine(VariableDIE, GV);
1439 // Add to context owner.
1440 addToContextOwner(VariableDIE, GVContext);
1441 }
1442
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001443 // Add location.
Eric Christopher09ac3d82011-11-07 09:24:32 +00001444 bool addToAccelTable = false;
Eric Christopherd61c34b2011-11-11 03:16:32 +00001445 DIE *VariableSpecDIE = NULL;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001446 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001447 if (isGlobalVariable) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001448 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001449 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
David Blaikie59eaa382013-06-28 20:05:11 +00001450 const MCSymbol *Sym = Asm->Mang->getSymbol(GV.getGlobal());
1451 if (GV.getGlobal()->isThreadLocal()) {
1452 // FIXME: Make this work with -gsplit-dwarf.
1453 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1454 assert((PointerSize == 4 || PointerSize == 8) &&
1455 "Add support for other sizes if necessary");
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001456 const MCExpr *Expr =
David Blaikie8fed05e2013-07-01 23:55:52 +00001457 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikie59eaa382013-06-28 20:05:11 +00001458 // Based on GCC's support for TLS:
David Blaikie8fed05e2013-07-01 23:55:52 +00001459 if (!DD->useSplitDwarf()) {
1460 // 1) Start with a constNu of the appropriate pointer size
1461 addUInt(Block, 0, dwarf::DW_FORM_data1,
1462 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
1463 // 2) containing the (relocated) address of the TLS variable
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001464 addExpr(Block, 0, dwarf::DW_FORM_udata, Expr);
David Blaikie8fed05e2013-07-01 23:55:52 +00001465 } else {
1466 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001467 addUInt(Block, 0, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8fed05e2013-07-01 23:55:52 +00001468 }
David Blaikie59eaa382013-06-28 20:05:11 +00001469 // 3) followed by a custom OP to tell the debugger about TLS (presumably)
1470 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_lo_user);
1471 } else
1472 addOpAddress(Block, Sym);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001473 // Do not create specification DIE if context is either compile unit
1474 // or a subprogram.
Devang Patel1dd4e562011-09-21 23:41:11 +00001475 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren02d29672013-09-09 19:05:21 +00001476 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001477 // Create specification DIE.
Eric Christopherd117fbb2011-11-11 01:55:22 +00001478 VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001479 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1480 dwarf::DW_FORM_ref4, VariableDIE);
1481 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001482 // A static member's declaration is already flagged as such.
1483 if (!SDMDecl.Verify())
1484 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001485 addDie(VariableSpecDIE);
1486 } else {
1487 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001488 }
Michael Gottesmandc42d032013-09-04 04:39:38 +00001489 // Add the linkage name.
Eric Christopher6b6061f2013-01-16 01:22:23 +00001490 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmandc42d032013-09-04 04:39:38 +00001491 if (!LinkageName.empty())
Eric Christopher8d45a982013-02-27 23:49:47 +00001492 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1493 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1494 // TAG_variable.
Manman Ren21a08a12013-02-27 23:21:02 +00001495 addString(IsStaticMember && VariableSpecDIE ?
1496 VariableSpecDIE : VariableDIE, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001497 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher8b4310b2012-11-21 00:34:38 +00001498 } else if (const ConstantInt *CI =
Manman Ren945e8282013-02-01 23:54:37 +00001499 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl2e892e42013-04-04 22:56:49 +00001500 // AT_const_value was added when the static member was created. To avoid
Manman Ren945e8282013-02-01 23:54:37 +00001501 // emitting AT_const_value multiple times, we only add AT_const_value when
1502 // it is not a static member.
1503 if (!IsStaticMember)
Eric Christopher3f045002013-10-04 17:08:38 +00001504 addConstantValue(VariableDIE, CI, GTy.isUnsignedDIType());
Manman Ren945e8282013-02-01 23:54:37 +00001505 } else if (const ConstantExpr *CE = getMergedGlobalExpr(N->getOperand(11))) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001506 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001507 // GV is a merged global.
1508 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1509 Value *Ptr = CE->getOperand(0);
Eric Christopher0969ddf2013-01-18 22:11:33 +00001510 addOpAddress(Block, Asm->Mang->getSymbol(cast<GlobalValue>(Ptr)));
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001511 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1512 SmallVector<Value*, 3> Idx(CE->op_begin()+1, CE->op_end());
Eric Christopher8b4310b2012-11-21 00:34:38 +00001513 addUInt(Block, 0, dwarf::DW_FORM_udata,
Micah Villmow3574eca2012-10-08 16:38:25 +00001514 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001515 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1516 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
1517 }
1518
Eric Christopherd117fbb2011-11-11 01:55:22 +00001519 if (addToAccelTable) {
1520 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1521 addAccelName(GV.getName(), AddrDIE);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001522
Eric Christopherd117fbb2011-11-11 01:55:22 +00001523 // If the linkage name is different than the name, go ahead and output
1524 // that as well into the name table.
1525 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1526 addAccelName(GV.getLinkageName(), AddrDIE);
1527 }
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001528}
1529
Devang Patel161b2f42011-04-12 23:21:44 +00001530/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christopher4d069bf2012-05-22 18:45:24 +00001531void CompileUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR,
1532 DIE *IndexTy) {
Devang Patel161b2f42011-04-12 23:21:44 +00001533 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1534 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel161b2f42011-04-12 23:21:44 +00001535
Bill Wendling222c2fd2012-12-06 07:38:10 +00001536 // The LowerBound value defines the lower bounds which is typically zero for
1537 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1538 // Count == -1 then the array is unbounded and we do not emit
1539 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1540 // Count == 0, then the array has zero elements in which case we do not emit
1541 // an upper bound.
1542 int64_t LowerBound = SR.getLo();
Bill Wendling6afe4782012-12-06 07:55:19 +00001543 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendling9493dae2012-12-04 21:34:03 +00001544 int64_t Count = SR.getCount();
Devang Patel161b2f42011-04-12 23:21:44 +00001545
Bill Wendling6afe4782012-12-06 07:55:19 +00001546 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
Bill Wendling222c2fd2012-12-06 07:38:10 +00001547 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, LowerBound);
1548
1549 if (Count != -1 && Count != 0)
Bill Wendling9493dae2012-12-04 21:34:03 +00001550 // FIXME: An unbounded array should reference the expression that defines
1551 // the array.
Bill Wendling222c2fd2012-12-06 07:38:10 +00001552 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, LowerBound + Count - 1);
Bill Wendling9493dae2012-12-04 21:34:03 +00001553
Devang Patel161b2f42011-04-12 23:21:44 +00001554 Buffer.addChild(DW_Subrange);
1555}
1556
1557/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
1558void CompileUnit::constructArrayTypeDIE(DIE &Buffer,
1559 DICompositeType *CTy) {
Eric Christopher9a1e0e22013-01-08 01:53:52 +00001560 if (CTy->isVector())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001561 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel161b2f42011-04-12 23:21:44 +00001562
Eric Christopherdc1363f2013-08-08 07:40:37 +00001563 // Emit the element type.
Eric Christopher3f045002013-10-04 17:08:38 +00001564 addType(&Buffer, CTy->getTypeDerivedFrom());
Devang Patel161b2f42011-04-12 23:21:44 +00001565
1566 // Get an anonymous type for index type.
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001567 // FIXME: This type should be passed down from the front end
1568 // as different languages may have different sizes for indexes.
Devang Patel161b2f42011-04-12 23:21:44 +00001569 DIE *IdxTy = getIndexTyDie();
1570 if (!IdxTy) {
1571 // Construct an anonymous type for index type.
1572 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001573 addString(IdxTy, dwarf::DW_AT_name, "int");
Devang Patel161b2f42011-04-12 23:21:44 +00001574 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1575 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1576 dwarf::DW_ATE_signed);
1577 addDie(IdxTy);
1578 setIndexTyDie(IdxTy);
1579 }
1580
1581 // Add subranges to array type.
Eric Christopherdc1363f2013-08-08 07:40:37 +00001582 DIArray Elements = CTy->getTypeArray();
Devang Patel161b2f42011-04-12 23:21:44 +00001583 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1584 DIDescriptor Element = Elements.getElement(i);
1585 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1586 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1587 }
1588}
1589
1590/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
1591DIE *CompileUnit::constructEnumTypeDIE(DIEnumerator ETy) {
1592 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
1593 StringRef Name = ETy.getName();
Nick Lewycky390c40d2011-10-27 06:44:11 +00001594 addString(Enumerator, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001595 int64_t Value = ETy.getEnumValue();
1596 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
1597 return Enumerator;
1598}
1599
Devang Pateldbc64af2011-08-15 17:24:54 +00001600/// constructContainingTypeDIEs - Construct DIEs for types that contain
1601/// vtables.
1602void CompileUnit::constructContainingTypeDIEs() {
1603 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
1604 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1605 DIE *SPDie = CI->first;
1606 const MDNode *N = CI->second;
1607 if (!N) continue;
Eric Christopher3f045002013-10-04 17:08:38 +00001608 DIE *NDie = getDIE(N);
Devang Pateldbc64af2011-08-15 17:24:54 +00001609 if (!NDie) continue;
1610 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1611 }
1612}
1613
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001614/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christopherf61dbc12013-06-24 21:07:27 +00001615DIE *CompileUnit::constructVariableDIE(DbgVariable *DV,
1616 bool isScopeAbstract) {
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001617 StringRef Name = DV->getName();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001618
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001619 // Define variable debug information entry.
David Blaikie916d49e2013-10-04 23:21:16 +00001620 DIE *VariableDie = new DIE(DV->getTag());
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001621 DbgVariable *AbsVar = DV->getAbstractVariable();
1622 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren742671b2013-05-29 17:16:59 +00001623 if (AbsDIE)
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001624 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Manman Ren742671b2013-05-29 17:16:59 +00001625 dwarf::DW_FORM_ref4, AbsDIE);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001626 else {
David Blaikie2883fd42013-08-19 03:34:03 +00001627 if (!Name.empty())
1628 addString(VariableDie, dwarf::DW_AT_name, Name);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001629 addSourceLine(VariableDie, DV->getVariable());
1630 addType(VariableDie, DV->getType());
1631 }
1632
1633 if (DV->isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001634 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001635
1636 if (isScopeAbstract) {
1637 DV->setDIE(VariableDie);
1638 return VariableDie;
1639 }
1640
1641 // Add variable address.
1642
1643 unsigned Offset = DV->getDotDebugLocOffset();
1644 if (Offset != ~0U) {
Eric Christopherafbe0e22013-06-24 21:34:55 +00001645 addLabel(VariableDie, dwarf::DW_AT_location, dwarf::DW_FORM_data4,
1646 Asm->GetTempSymbol("debug_loc", Offset));
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001647 DV->setDIE(VariableDie);
1648 return VariableDie;
1649 }
1650
Eric Christopher8cf5e742011-10-03 15:49:20 +00001651 // Check if variable is described by a DBG_VALUE instruction.
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001652 if (const MachineInstr *DVInsn = DV->getMInsn()) {
David Blaikie6d9dbd52013-06-16 20:34:15 +00001653 assert(DVInsn->getNumOperands() == 3);
1654 if (DVInsn->getOperand(0).isReg()) {
1655 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantlb2754912013-07-09 21:44:06 +00001656 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl35176402013-07-09 20:28:37 +00001657 if (DVInsn->getOperand(1).isImm()) {
1658 MachineLocation Location(RegOp.getReg(), DVInsn->getOperand(1).getImm());
Eric Christopherf61dbc12013-06-24 21:07:27 +00001659 addVariableAddress(*DV, VariableDie, Location);
David Blaikie6d9dbd52013-06-16 20:34:15 +00001660 } else if (RegOp.getReg())
Eric Christopherf61dbc12013-06-24 21:07:27 +00001661 addVariableAddress(*DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001662 } else if (DVInsn->getOperand(0).isImm())
Eric Christophere4721492013-07-03 01:08:30 +00001663 addConstantValue(VariableDie, DVInsn->getOperand(0), DV->getType());
David Blaikie6d9dbd52013-06-16 20:34:15 +00001664 else if (DVInsn->getOperand(0).isFPImm())
Eric Christophere4721492013-07-03 01:08:30 +00001665 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001666 else if (DVInsn->getOperand(0).isCImm())
Eric Christophere4721492013-07-03 01:08:30 +00001667 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher3f045002013-10-04 17:08:38 +00001668 DV->getType().isUnsignedDIType());
Eric Christophere4721492013-07-03 01:08:30 +00001669
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001670 DV->setDIE(VariableDie);
1671 return VariableDie;
1672 } else {
1673 // .. else use frame index.
1674 int FI = DV->getFrameIndex();
1675 if (FI != ~0) {
1676 unsigned FrameReg = 0;
1677 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopher8b4310b2012-11-21 00:34:38 +00001678 int Offset =
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001679 TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1680 MachineLocation Location(FrameReg, Offset);
Eric Christopherf61dbc12013-06-24 21:07:27 +00001681 addVariableAddress(*DV, VariableDie, Location);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001682 }
1683 }
1684
1685 DV->setDIE(VariableDie);
1686 return VariableDie;
1687}
1688
Devang Patel161b2f42011-04-12 23:21:44 +00001689/// createMemberDIE - Create new member DIE.
1690DIE *CompileUnit::createMemberDIE(DIDerivedType DT) {
1691 DIE *MemberDie = new DIE(DT.getTag());
1692 StringRef Name = DT.getName();
1693 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001694 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001695
Eric Christopher3f045002013-10-04 17:08:38 +00001696 addType(MemberDie, DT.getTypeDerivedFrom());
Devang Patel161b2f42011-04-12 23:21:44 +00001697
1698 addSourceLine(MemberDie, DT);
1699
1700 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
1701 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1702
1703 uint64_t Size = DT.getSizeInBits();
Eric Christopher3f045002013-10-04 17:08:38 +00001704 uint64_t FieldSize = DT.getOriginalTypeSize();
Devang Patel161b2f42011-04-12 23:21:44 +00001705
1706 if (Size != FieldSize) {
1707 // Handle bitfield.
Eric Christopher3f045002013-10-04 17:08:38 +00001708 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
Devang Patel161b2f42011-04-12 23:21:44 +00001709 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
1710
1711 uint64_t Offset = DT.getOffsetInBits();
1712 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1713 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1714 uint64_t FieldOffset = (HiMark - FieldSize);
1715 Offset -= FieldOffset;
1716
1717 // Maybe we need to work from the other end.
Micah Villmow3574eca2012-10-08 16:38:25 +00001718 if (Asm->getDataLayout().isLittleEndian())
Devang Patel161b2f42011-04-12 23:21:44 +00001719 Offset = FieldSize - (Offset + Size);
1720 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
1721
1722 // Here WD_AT_data_member_location points to the anonymous
1723 // field that includes this bit field.
1724 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
1725
1726 } else
1727 // This is not a bitfield.
1728 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
1729
1730 if (DT.getTag() == dwarf::DW_TAG_inheritance
1731 && DT.isVirtual()) {
1732
1733 // For C++, virtual base classes are not at fixed offset. Use following
1734 // expression to extract appropriate offset from vtable.
1735 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1736
1737 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
1738 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1739 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1740 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1741 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1742 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1743 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1744 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1745
1746 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1747 VBaseLocationDie);
1748 } else
1749 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
1750
1751 if (DT.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001752 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001753 dwarf::DW_ACCESS_protected);
1754 else if (DT.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001755 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001756 dwarf::DW_ACCESS_private);
1757 // Otherwise C++ member and base classes are considered public.
Eric Christopher8b4310b2012-11-21 00:34:38 +00001758 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001759 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001760 dwarf::DW_ACCESS_public);
1761 if (DT.isVirtual())
Nick Lewycky798313d2011-12-14 00:56:07 +00001762 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001763 dwarf::DW_VIRTUALITY_virtual);
Devang Patele9db5e22011-04-16 00:11:51 +00001764
1765 // Objective-C properties.
Devang Patel6588abf2012-02-06 17:49:43 +00001766 if (MDNode *PNode = DT.getObjCProperty())
1767 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher8b4310b2012-11-21 00:34:38 +00001768 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel6588abf2012-02-06 17:49:43 +00001769 PropertyDie);
1770
David Blaikie01bc2b32012-12-13 22:43:07 +00001771 if (DT.isArtificial())
1772 addFlag(MemberDie, dwarf::DW_AT_artificial);
1773
Devang Patel161b2f42011-04-12 23:21:44 +00001774 return MemberDie;
1775}
Eric Christopher6b6061f2013-01-16 01:22:23 +00001776
1777/// createStaticMemberDIE - Create new DIE for C++ static member.
1778DIE *CompileUnit::createStaticMemberDIE(const DIDerivedType DT) {
1779 if (!DT.Verify())
1780 return NULL;
1781
1782 DIE *StaticMemberDIE = new DIE(DT.getTag());
Eric Christopher3f045002013-10-04 17:08:38 +00001783 DIType Ty = DT.getTypeDerivedFrom();
Eric Christopher6b6061f2013-01-16 01:22:23 +00001784
1785 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1786 addType(StaticMemberDIE, Ty);
1787 addSourceLine(StaticMemberDIE, DT);
1788 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1789 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1790
1791 // FIXME: We could omit private if the parent is a class_type, and
1792 // public if the parent is something else.
1793 if (DT.isProtected())
1794 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1795 dwarf::DW_ACCESS_protected);
1796 else if (DT.isPrivate())
1797 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1798 dwarf::DW_ACCESS_private);
1799 else
1800 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1801 dwarf::DW_ACCESS_public);
1802
1803 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Eric Christopher3f045002013-10-04 17:08:38 +00001804 addConstantValue(StaticMemberDIE, CI, Ty.isUnsignedDIType());
David Blaikie14268412013-01-20 01:18:01 +00001805 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1806 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001807
Eric Christopher3f045002013-10-04 17:08:38 +00001808 insertDIE(DT, StaticMemberDIE);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001809 return StaticMemberDIE;
1810}