blob: 23e5641b9114b67f0fb67ef69b336533d70fe992 [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.
Eric Christopherccb66362013-10-04 23:49:26 +0000748DIE *CompileUnit::getOrCreateContextDIE(DIScope Context) {
Eric Christopher6b6061f2013-01-16 01:22:23 +0000749 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.
Eric Christopherccb66362013-10-04 23:49:26 +0000760void CompileUnit::addToContextOwner(DIE *Die, DIScope 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
Eric Christophereee74fb2013-10-05 00:27:02 +0000810 addToContextOwner(TyDIE, 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) {
Eric Christophereee74fb2013-10-05 00:27:02 +0000875 DIScope Context = 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
Eric Christopher22852c72013-10-05 00:05:51 +0000883/// addPubTypes - Add subprogram argument types for pubtypes section.
Devang Patel31c5d052011-05-06 16:57:54 +0000884void 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,
Eric Christophereee74fb2013-10-05 00:27:02 +0000940 getOrCreateTypeDIE(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
David Blaikiec4eb3532013-10-04 23:52:02 +0000969 // that is a definition (not a declaration), and not scoped
Eric Christopher3dee5752013-07-26 17:02:41 +0000970 // inside a function then separate this out as a type unit.
David Blaikiec4eb3532013-10-04 23:52:02 +0000971 return !CTy.isForwardDecl() && isTypeUnitScoped(CTy, DD);
Eric Christopher3dee5752013-07-26 17:02:41 +0000972 default:
David Blaikiec4eb3532013-10-04 23:52:02 +0000973 return false;
Eric Christopher3dee5752013-07-26 17:02:41 +0000974 }
975}
976
Devang Patel161b2f42011-04-12 23:21:44 +0000977/// constructTypeDIE - Construct type DIE from DICompositeType.
978void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
979 // Get core information.
980 StringRef Name = CTy.getName();
981
982 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikie916d49e2013-10-04 23:21:16 +0000983 uint16_t Tag = Buffer.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +0000984
985 switch (Tag) {
Devang Patel161b2f42011-04-12 23:21:44 +0000986 case dwarf::DW_TAG_array_type:
987 constructArrayTypeDIE(Buffer, &CTy);
988 break;
989 case dwarf::DW_TAG_enumeration_type: {
990 DIArray Elements = CTy.getTypeArray();
991
992 // Add enumerators to enumeration type.
993 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
994 DIE *ElemDie = NULL;
995 DIDescriptor Enum(Elements.getElement(i));
996 if (Enum.isEnumerator()) {
997 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum));
998 Buffer.addChild(ElemDie);
999 }
1000 }
Eric Christopher3f045002013-10-04 17:08:38 +00001001 DIType DTy = CTy.getTypeDerivedFrom();
Eric Christopher37c107b2013-08-08 07:40:42 +00001002 if (DTy) {
Eric Christopherbb0f6ea2012-05-23 00:09:20 +00001003 addType(&Buffer, DTy);
Eric Christopher371d9582013-10-04 22:40:10 +00001004 addFlag(&Buffer, dwarf::DW_AT_enum_class);
Eric Christopherbb0f6ea2012-05-23 00:09:20 +00001005 }
Devang Patel161b2f42011-04-12 23:21:44 +00001006 }
1007 break;
1008 case dwarf::DW_TAG_subroutine_type: {
Eric Christopherdc1363f2013-08-08 07:40:37 +00001009 // Add return type. A void return won't have a type.
Devang Patel161b2f42011-04-12 23:21:44 +00001010 DIArray Elements = CTy.getTypeArray();
1011 DIDescriptor RTy = Elements.getElement(0);
Eric Christopherdc1363f2013-08-08 07:40:37 +00001012 if (RTy)
1013 addType(&Buffer, DIType(RTy));
Devang Patel161b2f42011-04-12 23:21:44 +00001014
1015 bool isPrototyped = true;
1016 // Add arguments.
1017 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1018 DIDescriptor Ty = Elements.getElement(i);
1019 if (Ty.isUnspecifiedParameter()) {
1020 DIE *Arg = new DIE(dwarf::DW_TAG_unspecified_parameters);
1021 Buffer.addChild(Arg);
1022 isPrototyped = false;
1023 } else {
1024 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1025 addType(Arg, DIType(Ty));
David Blaikieaaf2e632013-01-29 19:35:24 +00001026 if (DIType(Ty).isArtificial())
1027 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel161b2f42011-04-12 23:21:44 +00001028 Buffer.addChild(Arg);
1029 }
1030 }
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001031 // Add prototype flag if we're dealing with a C language and the
1032 // function has been prototyped.
Eric Christopher7b878952013-08-26 23:50:38 +00001033 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001034 if (isPrototyped &&
Eric Christopher4d069bf2012-05-22 18:45:24 +00001035 (Language == dwarf::DW_LANG_C89 ||
1036 Language == dwarf::DW_LANG_C99 ||
1037 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001038 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Devang Patel161b2f42011-04-12 23:21:44 +00001039 }
1040 break;
1041 case dwarf::DW_TAG_structure_type:
1042 case dwarf::DW_TAG_union_type:
1043 case dwarf::DW_TAG_class_type: {
Devang Patel161b2f42011-04-12 23:21:44 +00001044 // Add elements to structure type.
David Blaikiec8b93552013-08-01 20:30:22 +00001045 DIArray Elements = CTy.getTypeArray();
1046 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel161b2f42011-04-12 23:21:44 +00001047 DIDescriptor Element = Elements.getElement(i);
1048 DIE *ElemDie = NULL;
1049 if (Element.isSubprogram()) {
1050 DISubprogram SP(Element);
Devang Pateldbc64af2011-08-15 17:24:54 +00001051 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
Devang Patel161b2f42011-04-12 23:21:44 +00001052 if (SP.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001053 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001054 dwarf::DW_ACCESS_protected);
1055 else if (SP.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001056 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001057 dwarf::DW_ACCESS_private);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001058 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001059 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001060 dwarf::DW_ACCESS_public);
1061 if (SP.isExplicit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001062 addFlag(ElemDie, dwarf::DW_AT_explicit);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001063 } else if (Element.isDerivedType()) {
Eric Christopher4d069bf2012-05-22 18:45:24 +00001064 DIDerivedType DDTy(Element);
1065 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
1066 ElemDie = new DIE(dwarf::DW_TAG_friend);
Eric Christopher3f045002013-10-04 17:08:38 +00001067 addType(ElemDie, DDTy.getTypeDerivedFrom(), dwarf::DW_AT_friend);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001068 } else if (DDTy.isStaticMember())
1069 ElemDie = createStaticMemberDIE(DDTy);
1070 else
1071 ElemDie = createMemberDIE(DDTy);
David Blaikiee5830c42013-10-03 20:07:20 +00001072 Buffer.addChild(ElemDie);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001073 } else if (Element.isObjCProperty()) {
Devang Patel30d409c2012-02-07 23:33:58 +00001074 DIObjCProperty Property(Element);
1075 ElemDie = new DIE(Property.getTag());
1076 StringRef PropertyName = Property.getObjCPropertyName();
1077 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4d069bf2012-05-22 18:45:24 +00001078 addType(ElemDie, Property.getType());
1079 addSourceLine(ElemDie, Property);
Devang Patel30d409c2012-02-07 23:33:58 +00001080 StringRef GetterName = Property.getObjCPropertyGetterName();
1081 if (!GetterName.empty())
1082 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1083 StringRef SetterName = Property.getObjCPropertySetterName();
1084 if (!SetterName.empty())
1085 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1086 unsigned PropertyAttributes = 0;
Devang Patel9e11eb12012-02-04 01:30:32 +00001087 if (Property.isReadOnlyObjCProperty())
1088 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1089 if (Property.isReadWriteObjCProperty())
1090 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1091 if (Property.isAssignObjCProperty())
1092 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1093 if (Property.isRetainObjCProperty())
1094 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1095 if (Property.isCopyObjCProperty())
1096 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1097 if (Property.isNonAtomicObjCProperty())
1098 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1099 if (PropertyAttributes)
Eric Christopher8b4310b2012-11-21 00:34:38 +00001100 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, 0,
Devang Patel9e11eb12012-02-04 01:30:32 +00001101 PropertyAttributes);
Devang Patel6588abf2012-02-06 17:49:43 +00001102
Devang Patel30d409c2012-02-07 23:33:58 +00001103 DIEEntry *Entry = getDIEEntry(Element);
1104 if (!Entry) {
1105 Entry = createDIEEntry(ElemDie);
1106 insertDIEEntry(Element, Entry);
1107 }
David Blaikiee5830c42013-10-03 20:07:20 +00001108 Buffer.addChild(ElemDie);
Devang Patel9e11eb12012-02-04 01:30:32 +00001109 } else
Devang Patel161b2f42011-04-12 23:21:44 +00001110 continue;
Devang Patel161b2f42011-04-12 23:21:44 +00001111 }
1112
1113 if (CTy.isAppleBlockExtension())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001114 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel161b2f42011-04-12 23:21:44 +00001115
Eric Christophereee74fb2013-10-05 00:27:02 +00001116 DICompositeType ContainingType(resolve(CTy.getContainingType()));
Devang Patel161b2f42011-04-12 23:21:44 +00001117 if (DIDescriptor(ContainingType).isCompositeType())
1118 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
1119 getOrCreateTypeDIE(DIType(ContainingType)));
Devang Patel161b2f42011-04-12 23:21:44 +00001120
Devang Patel201e6cd2011-05-12 21:29:42 +00001121 if (CTy.isObjcClassComplete())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001122 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patelb11f80e2011-05-12 19:06:16 +00001123
Eric Christopher1a8e8862011-12-16 23:42:42 +00001124 // Add template parameters to a class, structure or union types.
1125 // FIXME: The support isn't in the metadata for this yet.
1126 if (Tag == dwarf::DW_TAG_class_type ||
1127 Tag == dwarf::DW_TAG_structure_type ||
1128 Tag == dwarf::DW_TAG_union_type)
Devang Patel161b2f42011-04-12 23:21:44 +00001129 addTemplateParams(Buffer, CTy.getTemplateParams());
1130
1131 break;
1132 }
1133 default:
1134 break;
1135 }
1136
1137 // Add name if not anonymous or intermediate type.
1138 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001139 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001140
Eric Christopher4a5d8392012-05-22 18:45:18 +00001141 if (Tag == dwarf::DW_TAG_enumeration_type ||
1142 Tag == dwarf::DW_TAG_class_type ||
1143 Tag == dwarf::DW_TAG_structure_type ||
1144 Tag == dwarf::DW_TAG_union_type) {
Devang Patel161b2f42011-04-12 23:21:44 +00001145 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopherfc4199b2012-06-01 00:22:32 +00001146 // TODO: Do we care about size for enum forward declarations?
Devang Patel161b2f42011-04-12 23:21:44 +00001147 if (Size)
1148 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Eric Christopherfc4199b2012-06-01 00:22:32 +00001149 else if (!CTy.isForwardDecl())
Devang Patel161b2f42011-04-12 23:21:44 +00001150 // Add zero size if it is not a forward declaration.
Eric Christopherfc4199b2012-06-01 00:22:32 +00001151 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
1152
1153 // If we're a forward decl, say so.
1154 if (CTy.isForwardDecl())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001155 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel161b2f42011-04-12 23:21:44 +00001156
1157 // Add source line info if available.
1158 if (!CTy.isForwardDecl())
1159 addSourceLine(&Buffer, CTy);
Eric Christopher89388952012-03-07 00:15:19 +00001160
1161 // No harm in adding the runtime language to the declaration.
1162 unsigned RLang = CTy.getRunTimeLang();
1163 if (RLang)
1164 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
1165 dwarf::DW_FORM_data1, RLang);
Devang Patel161b2f42011-04-12 23:21:44 +00001166 }
Eric Christopher3dee5752013-07-26 17:02:41 +00001167 // If this is a type applicable to a type unit it then add it to the
1168 // list of types we'll compute a hash for later.
Manman Ren18eb2452013-09-09 19:23:58 +00001169 if (shouldCreateTypeUnit(CTy, DD))
Eric Christopher3dee5752013-07-26 17:02:41 +00001170 DD->addTypeUnitType(&Buffer);
Devang Patel161b2f42011-04-12 23:21:44 +00001171}
1172
Eric Christopher8b4310b2012-11-21 00:34:38 +00001173/// getOrCreateTemplateTypeParameterDIE - Find existing DIE or create new DIE
Devang Patel161b2f42011-04-12 23:21:44 +00001174/// for the given DITemplateTypeParameter.
1175DIE *
1176CompileUnit::getOrCreateTemplateTypeParameterDIE(DITemplateTypeParameter TP) {
1177 DIE *ParamDIE = getDIE(TP);
1178 if (ParamDIE)
1179 return ParamDIE;
1180
1181 ParamDIE = new DIE(dwarf::DW_TAG_template_type_parameter);
Eric Christopher76ef79f2013-08-08 08:09:43 +00001182 // Add the type if it exists, it could be void and therefore no type.
1183 if (TP.getType())
1184 addType(ParamDIE, TP.getType());
David Blaikiee88939c2013-06-22 18:59:11 +00001185 if (!TP.getName().empty())
1186 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel161b2f42011-04-12 23:21:44 +00001187 return ParamDIE;
1188}
1189
Eric Christopher8b4310b2012-11-21 00:34:38 +00001190/// getOrCreateTemplateValueParameterDIE - Find existing DIE or create new DIE
Devang Patel161b2f42011-04-12 23:21:44 +00001191/// for the given DITemplateValueParameter.
1192DIE *
Eric Christopherafdd1f82013-08-08 07:40:31 +00001193CompileUnit::getOrCreateTemplateValueParameterDIE(DITemplateValueParameter VP) {
1194 DIE *ParamDIE = getDIE(VP);
Devang Patel161b2f42011-04-12 23:21:44 +00001195 if (ParamDIE)
1196 return ParamDIE;
1197
Eric Christopherafdd1f82013-08-08 07:40:31 +00001198 ParamDIE = new DIE(VP.getTag());
Eric Christopherdc1363f2013-08-08 07:40:37 +00001199
1200 // Add the type if there is one, template template and template parameter
1201 // packs will not have a type.
1202 if (VP.getType())
1203 addType(ParamDIE, VP.getType());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001204 if (!VP.getName().empty())
1205 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1206 if (Value *Val = VP.getValue()) {
David Blaikie4de9d722013-05-10 21:52:07 +00001207 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Eric Christopher3f045002013-10-04 17:08:38 +00001208 addConstantValue(ParamDIE, CI, VP.getType().isUnsignedDIType());
David Blaikie4de9d722013-05-10 21:52:07 +00001209 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1210 // For declaration non-type template parameters (such as global values and
1211 // functions)
1212 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1213 addOpAddress(Block, Asm->Mang->getSymbol(GV));
1214 // Emit DW_OP_stack_value to use the address as the immediate value of the
1215 // parameter, rather than a pointer to it.
1216 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1217 addBlock(ParamDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopherafdd1f82013-08-08 07:40:31 +00001218 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikiee88939c2013-06-22 18:59:11 +00001219 assert(isa<MDString>(Val));
1220 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1221 cast<MDString>(Val)->getString());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001222 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikiee88939c2013-06-22 18:59:11 +00001223 assert(isa<MDNode>(Val));
1224 DIArray A(cast<MDNode>(Val));
1225 addTemplateParams(*ParamDIE, A);
David Blaikie4de9d722013-05-10 21:52:07 +00001226 }
1227 }
1228
Devang Patel161b2f42011-04-12 23:21:44 +00001229 return ParamDIE;
1230}
1231
Devang Patel31c5d052011-05-06 16:57:54 +00001232/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1233DIE *CompileUnit::getOrCreateNameSpace(DINameSpace NS) {
1234 DIE *NDie = getDIE(NS);
1235 if (NDie)
1236 return NDie;
1237 NDie = new DIE(dwarf::DW_TAG_namespace);
1238 insertDIE(NS, NDie);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001239 if (!NS.getName().empty()) {
Nick Lewycky390c40d2011-10-27 06:44:11 +00001240 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher09ac3d82011-11-07 09:24:32 +00001241 addAccelNamespace(NS.getName(), NDie);
Eric Christopher3d2c90f2013-09-24 00:17:57 +00001242 addGlobalName(NS.getName(), NDie);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001243 } else
1244 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel31c5d052011-05-06 16:57:54 +00001245 addSourceLine(NDie, NS);
1246 addToContextOwner(NDie, NS.getContext());
1247 return NDie;
1248}
1249
Devang Pateldbc64af2011-08-15 17:24:54 +00001250/// getOrCreateSubprogramDIE - Create new DIE using SP.
1251DIE *CompileUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikiec32f2332013-10-04 01:39:59 +00001252 // Construct the context before querying for the existence of the DIE in case
1253 // such construction creates the DIE (as is the case for member function
1254 // declarations).
1255 DIE *ContextDIE = getOrCreateContextDIE(SP.getContext());
1256 if (!ContextDIE)
1257 ContextDIE = CUDie.get();
1258
Eric Christopher3f045002013-10-04 17:08:38 +00001259 DIE *SPDie = getDIE(SP);
Devang Pateldbc64af2011-08-15 17:24:54 +00001260 if (SPDie)
1261 return SPDie;
1262
Peter Collingbourne27302f02012-05-27 18:36:44 +00001263 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1264
1265 // DW_TAG_inlined_subroutine may refer to this DIE.
Eric Christopher3f045002013-10-04 17:08:38 +00001266 insertDIE(SP, SPDie);
Peter Collingbourne27302f02012-05-27 18:36:44 +00001267
Rafael Espindola01b55b42011-11-10 22:34:29 +00001268 DISubprogram SPDecl = SP.getFunctionDeclaration();
1269 DIE *DeclDie = NULL;
1270 if (SPDecl.isSubprogram()) {
1271 DeclDie = getOrCreateSubprogramDIE(SPDecl);
1272 }
1273
Devang Pateldbc64af2011-08-15 17:24:54 +00001274 // Add to context owner.
David Blaikiec32f2332013-10-04 01:39:59 +00001275 ContextDIE->addChild(SPDie);
Devang Pateldbc64af2011-08-15 17:24:54 +00001276
1277 // Add function template parameters.
1278 addTemplateParams(*SPDie, SP.getTemplateParams());
1279
Devang Pateldbc64af2011-08-15 17:24:54 +00001280 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherc4968752013-05-09 00:42:33 +00001281 // then there is no need to add other attributes.
Rafael Espindola01b55b42011-11-10 22:34:29 +00001282 if (DeclDie) {
1283 // Refer function declaration directly.
1284 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1285 DeclDie);
1286
Devang Pateldbc64af2011-08-15 17:24:54 +00001287 return SPDie;
Rafael Espindola01b55b42011-11-10 22:34:29 +00001288 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001289
Eric Christophercbbd5b12012-08-23 22:52:55 +00001290 // Add the linkage name if we have one.
Michael Gottesmandc42d032013-09-04 04:39:38 +00001291 StringRef LinkageName = SP.getLinkageName();
1292 if (!LinkageName.empty())
Eric Christophercbbd5b12012-08-23 22:52:55 +00001293 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001294 GlobalValue::getRealLinkageName(LinkageName));
Eric Christophercbbd5b12012-08-23 22:52:55 +00001295
Devang Pateldbc64af2011-08-15 17:24:54 +00001296 // Constructors and operators for anonymous aggregates do not have names.
1297 if (!SP.getName().empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001298 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Pateldbc64af2011-08-15 17:24:54 +00001299
1300 addSourceLine(SPDie, SP);
1301
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001302 // Add the prototype if we have a prototype and we have a C like
1303 // language.
Eric Christopher7b878952013-08-26 23:50:38 +00001304 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001305 if (SP.isPrototyped() &&
1306 (Language == dwarf::DW_LANG_C89 ||
1307 Language == dwarf::DW_LANG_C99 ||
1308 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001309 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Pateldbc64af2011-08-15 17:24:54 +00001310
Eric Christopherdc1363f2013-08-08 07:40:37 +00001311 // Add Return Type. A void return type will not have a type.
Devang Pateldbc64af2011-08-15 17:24:54 +00001312 DICompositeType SPTy = SP.getType();
David Blaikie3d331842013-05-22 23:22:18 +00001313 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1314 "the type of a subprogram should be a subroutine");
Devang Pateldbc64af2011-08-15 17:24:54 +00001315
David Blaikie3d331842013-05-22 23:22:18 +00001316 DIArray Args = SPTy.getTypeArray();
Eric Christopherdc1363f2013-08-08 07:40:37 +00001317 if (Args.getElement(0))
1318 addType(SPDie, DIType(Args.getElement(0)));
Devang Pateldbc64af2011-08-15 17:24:54 +00001319
1320 unsigned VK = SP.getVirtuality();
1321 if (VK) {
Nick Lewycky798313d2011-12-14 00:56:07 +00001322 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Pateldbc64af2011-08-15 17:24:54 +00001323 DIEBlock *Block = getDIEBlock();
1324 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1325 addUInt(Block, 0, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1326 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
1327 ContainingTypeMap.insert(std::make_pair(SPDie,
Eric Christophereee74fb2013-10-05 00:27:02 +00001328 resolve(SP.getContainingType())));
Devang Pateldbc64af2011-08-15 17:24:54 +00001329 }
1330
1331 if (!SP.isDefinition()) {
Eric Christopher873cf0a2012-08-24 01:14:27 +00001332 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001333
Devang Pateldbc64af2011-08-15 17:24:54 +00001334 // Add arguments. Do not add arguments for subprogram definition. They will
1335 // be handled while processing variables.
David Blaikie3d331842013-05-22 23:22:18 +00001336 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1337 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1338 DIType ATy = DIType(Args.getElement(i));
1339 addType(Arg, ATy);
1340 if (ATy.isArtificial())
1341 addFlag(Arg, dwarf::DW_AT_artificial);
1342 SPDie->addChild(Arg);
1343 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001344 }
1345
1346 if (SP.isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001347 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Pateldbc64af2011-08-15 17:24:54 +00001348
1349 if (!SP.isLocalToUnit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001350 addFlag(SPDie, dwarf::DW_AT_external);
Devang Pateldbc64af2011-08-15 17:24:54 +00001351
1352 if (SP.isOptimized())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001353 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Pateldbc64af2011-08-15 17:24:54 +00001354
1355 if (unsigned isa = Asm->getISAEncoding()) {
1356 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1357 }
1358
1359 return SPDie;
1360}
1361
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001362// Return const expression if value is a GEP to access merged global
1363// constant. e.g.
1364// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1365static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1366 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1367 if (!CE || CE->getNumOperands() != 3 ||
1368 CE->getOpcode() != Instruction::GetElementPtr)
1369 return NULL;
1370
1371 // First operand points to a global struct.
1372 Value *Ptr = CE->getOperand(0);
1373 if (!isa<GlobalValue>(Ptr) ||
1374 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1375 return NULL;
1376
1377 // Second operand is zero.
1378 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1379 if (!CI || !CI->isZero())
1380 return NULL;
1381
1382 // Third operand is offset.
1383 if (!isa<ConstantInt>(CE->getOperand(2)))
1384 return NULL;
1385
1386 return CE;
1387}
1388
1389/// createGlobalVariableDIE - create global variable DIE.
1390void CompileUnit::createGlobalVariableDIE(const MDNode *N) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001391 // Check for pre-existence.
Devang Patel49e2f032011-08-18 22:21:50 +00001392 if (getDIE(N))
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001393 return;
1394
Devang Patel49e2f032011-08-18 22:21:50 +00001395 DIGlobalVariable GV(N);
Manman Rend03d2b22013-07-08 18:33:29 +00001396 if (!GV.isGlobalVariable())
Devang Patel28bea082011-08-18 23:17:55 +00001397 return;
1398
Eric Christopherccb66362013-10-04 23:49:26 +00001399 DIScope GVContext = GV.getContext();
Eric Christopher6b6061f2013-01-16 01:22:23 +00001400 DIType GTy = GV.getType();
1401
1402 // If this is a static data member definition, some attributes belong
1403 // to the declaration DIE.
1404 DIE *VariableDIE = NULL;
Manman Ren945e8282013-02-01 23:54:37 +00001405 bool IsStaticMember = false;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001406 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1407 if (SDMDecl.Verify()) {
1408 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1409 // We need the declaration DIE that is in the static member's class.
1410 // But that class might not exist in the DWARF yet.
1411 // Creating the class will create the static member decl DIE.
Eric Christophereee74fb2013-10-05 00:27:02 +00001412 getOrCreateContextDIE(resolve(SDMDecl.getContext()));
Eric Christopher3f045002013-10-04 17:08:38 +00001413 VariableDIE = getDIE(SDMDecl);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001414 assert(VariableDIE && "Static member decl has no context?");
Manman Ren945e8282013-02-01 23:54:37 +00001415 IsStaticMember = true;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001416 }
1417
1418 // If this is not a static data member definition, create the variable
1419 // DIE and add the initial set of attributes to it.
1420 if (!VariableDIE) {
1421 VariableDIE = new DIE(GV.getTag());
1422 // Add to map.
1423 insertDIE(N, VariableDIE);
1424
1425 // Add name and type.
1426 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1427 addType(VariableDIE, GTy);
1428
1429 // Add scoping info.
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001430 if (!GV.isLocalToUnit()) {
Eric Christopher6b6061f2013-01-16 01:22:23 +00001431 addFlag(VariableDIE, dwarf::DW_AT_external);
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001432 addGlobalName(GV.getName(), VariableDIE);
1433 }
Eric Christopher6b6061f2013-01-16 01:22:23 +00001434
1435 // Add line number info.
1436 addSourceLine(VariableDIE, GV);
1437 // Add to context owner.
1438 addToContextOwner(VariableDIE, GVContext);
1439 }
1440
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001441 // Add location.
Eric Christopher09ac3d82011-11-07 09:24:32 +00001442 bool addToAccelTable = false;
Eric Christopherd61c34b2011-11-11 03:16:32 +00001443 DIE *VariableSpecDIE = NULL;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001444 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001445 if (isGlobalVariable) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001446 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001447 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
David Blaikie59eaa382013-06-28 20:05:11 +00001448 const MCSymbol *Sym = Asm->Mang->getSymbol(GV.getGlobal());
1449 if (GV.getGlobal()->isThreadLocal()) {
1450 // FIXME: Make this work with -gsplit-dwarf.
1451 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1452 assert((PointerSize == 4 || PointerSize == 8) &&
1453 "Add support for other sizes if necessary");
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001454 const MCExpr *Expr =
David Blaikie8fed05e2013-07-01 23:55:52 +00001455 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikie59eaa382013-06-28 20:05:11 +00001456 // Based on GCC's support for TLS:
David Blaikie8fed05e2013-07-01 23:55:52 +00001457 if (!DD->useSplitDwarf()) {
1458 // 1) Start with a constNu of the appropriate pointer size
1459 addUInt(Block, 0, dwarf::DW_FORM_data1,
1460 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
1461 // 2) containing the (relocated) address of the TLS variable
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001462 addExpr(Block, 0, dwarf::DW_FORM_udata, Expr);
David Blaikie8fed05e2013-07-01 23:55:52 +00001463 } else {
1464 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001465 addUInt(Block, 0, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8fed05e2013-07-01 23:55:52 +00001466 }
David Blaikie59eaa382013-06-28 20:05:11 +00001467 // 3) followed by a custom OP to tell the debugger about TLS (presumably)
1468 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_lo_user);
1469 } else
1470 addOpAddress(Block, Sym);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001471 // Do not create specification DIE if context is either compile unit
1472 // or a subprogram.
Devang Patel1dd4e562011-09-21 23:41:11 +00001473 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren02d29672013-09-09 19:05:21 +00001474 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001475 // Create specification DIE.
Eric Christopherd117fbb2011-11-11 01:55:22 +00001476 VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001477 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1478 dwarf::DW_FORM_ref4, VariableDIE);
1479 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001480 // A static member's declaration is already flagged as such.
1481 if (!SDMDecl.Verify())
1482 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001483 addDie(VariableSpecDIE);
1484 } else {
1485 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001486 }
Michael Gottesmandc42d032013-09-04 04:39:38 +00001487 // Add the linkage name.
Eric Christopher6b6061f2013-01-16 01:22:23 +00001488 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmandc42d032013-09-04 04:39:38 +00001489 if (!LinkageName.empty())
Eric Christopher8d45a982013-02-27 23:49:47 +00001490 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1491 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1492 // TAG_variable.
Manman Ren21a08a12013-02-27 23:21:02 +00001493 addString(IsStaticMember && VariableSpecDIE ?
1494 VariableSpecDIE : VariableDIE, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001495 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher8b4310b2012-11-21 00:34:38 +00001496 } else if (const ConstantInt *CI =
Manman Ren945e8282013-02-01 23:54:37 +00001497 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl2e892e42013-04-04 22:56:49 +00001498 // AT_const_value was added when the static member was created. To avoid
Manman Ren945e8282013-02-01 23:54:37 +00001499 // emitting AT_const_value multiple times, we only add AT_const_value when
1500 // it is not a static member.
1501 if (!IsStaticMember)
Eric Christopher3f045002013-10-04 17:08:38 +00001502 addConstantValue(VariableDIE, CI, GTy.isUnsignedDIType());
Manman Ren945e8282013-02-01 23:54:37 +00001503 } else if (const ConstantExpr *CE = getMergedGlobalExpr(N->getOperand(11))) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001504 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001505 // GV is a merged global.
1506 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1507 Value *Ptr = CE->getOperand(0);
Eric Christopher0969ddf2013-01-18 22:11:33 +00001508 addOpAddress(Block, Asm->Mang->getSymbol(cast<GlobalValue>(Ptr)));
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001509 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1510 SmallVector<Value*, 3> Idx(CE->op_begin()+1, CE->op_end());
Eric Christopher8b4310b2012-11-21 00:34:38 +00001511 addUInt(Block, 0, dwarf::DW_FORM_udata,
Micah Villmow3574eca2012-10-08 16:38:25 +00001512 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001513 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1514 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
1515 }
1516
Eric Christopherd117fbb2011-11-11 01:55:22 +00001517 if (addToAccelTable) {
1518 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1519 addAccelName(GV.getName(), AddrDIE);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001520
Eric Christopherd117fbb2011-11-11 01:55:22 +00001521 // If the linkage name is different than the name, go ahead and output
1522 // that as well into the name table.
1523 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1524 addAccelName(GV.getLinkageName(), AddrDIE);
1525 }
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001526}
1527
Devang Patel161b2f42011-04-12 23:21:44 +00001528/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christopher4d069bf2012-05-22 18:45:24 +00001529void CompileUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR,
1530 DIE *IndexTy) {
Devang Patel161b2f42011-04-12 23:21:44 +00001531 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1532 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel161b2f42011-04-12 23:21:44 +00001533
Bill Wendling222c2fd2012-12-06 07:38:10 +00001534 // The LowerBound value defines the lower bounds which is typically zero for
1535 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1536 // Count == -1 then the array is unbounded and we do not emit
1537 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1538 // Count == 0, then the array has zero elements in which case we do not emit
1539 // an upper bound.
1540 int64_t LowerBound = SR.getLo();
Bill Wendling6afe4782012-12-06 07:55:19 +00001541 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendling9493dae2012-12-04 21:34:03 +00001542 int64_t Count = SR.getCount();
Devang Patel161b2f42011-04-12 23:21:44 +00001543
Bill Wendling6afe4782012-12-06 07:55:19 +00001544 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
Bill Wendling222c2fd2012-12-06 07:38:10 +00001545 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, LowerBound);
1546
1547 if (Count != -1 && Count != 0)
Bill Wendling9493dae2012-12-04 21:34:03 +00001548 // FIXME: An unbounded array should reference the expression that defines
1549 // the array.
Bill Wendling222c2fd2012-12-06 07:38:10 +00001550 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, LowerBound + Count - 1);
Bill Wendling9493dae2012-12-04 21:34:03 +00001551
Devang Patel161b2f42011-04-12 23:21:44 +00001552 Buffer.addChild(DW_Subrange);
1553}
1554
1555/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
1556void CompileUnit::constructArrayTypeDIE(DIE &Buffer,
1557 DICompositeType *CTy) {
Eric Christopher9a1e0e22013-01-08 01:53:52 +00001558 if (CTy->isVector())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001559 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel161b2f42011-04-12 23:21:44 +00001560
Eric Christopherdc1363f2013-08-08 07:40:37 +00001561 // Emit the element type.
Eric Christopher3f045002013-10-04 17:08:38 +00001562 addType(&Buffer, CTy->getTypeDerivedFrom());
Devang Patel161b2f42011-04-12 23:21:44 +00001563
1564 // Get an anonymous type for index type.
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001565 // FIXME: This type should be passed down from the front end
1566 // as different languages may have different sizes for indexes.
Devang Patel161b2f42011-04-12 23:21:44 +00001567 DIE *IdxTy = getIndexTyDie();
1568 if (!IdxTy) {
1569 // Construct an anonymous type for index type.
1570 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001571 addString(IdxTy, dwarf::DW_AT_name, "int");
Devang Patel161b2f42011-04-12 23:21:44 +00001572 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1573 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1574 dwarf::DW_ATE_signed);
1575 addDie(IdxTy);
1576 setIndexTyDie(IdxTy);
1577 }
1578
1579 // Add subranges to array type.
Eric Christopherdc1363f2013-08-08 07:40:37 +00001580 DIArray Elements = CTy->getTypeArray();
Devang Patel161b2f42011-04-12 23:21:44 +00001581 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1582 DIDescriptor Element = Elements.getElement(i);
1583 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1584 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1585 }
1586}
1587
1588/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
1589DIE *CompileUnit::constructEnumTypeDIE(DIEnumerator ETy) {
1590 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
1591 StringRef Name = ETy.getName();
Nick Lewycky390c40d2011-10-27 06:44:11 +00001592 addString(Enumerator, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001593 int64_t Value = ETy.getEnumValue();
1594 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
1595 return Enumerator;
1596}
1597
Devang Pateldbc64af2011-08-15 17:24:54 +00001598/// constructContainingTypeDIEs - Construct DIEs for types that contain
1599/// vtables.
1600void CompileUnit::constructContainingTypeDIEs() {
1601 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
1602 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1603 DIE *SPDie = CI->first;
1604 const MDNode *N = CI->second;
1605 if (!N) continue;
Eric Christopher3f045002013-10-04 17:08:38 +00001606 DIE *NDie = getDIE(N);
Devang Pateldbc64af2011-08-15 17:24:54 +00001607 if (!NDie) continue;
1608 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1609 }
1610}
1611
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001612/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christopherf61dbc12013-06-24 21:07:27 +00001613DIE *CompileUnit::constructVariableDIE(DbgVariable *DV,
1614 bool isScopeAbstract) {
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001615 StringRef Name = DV->getName();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001616
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001617 // Define variable debug information entry.
David Blaikie916d49e2013-10-04 23:21:16 +00001618 DIE *VariableDie = new DIE(DV->getTag());
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001619 DbgVariable *AbsVar = DV->getAbstractVariable();
1620 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren742671b2013-05-29 17:16:59 +00001621 if (AbsDIE)
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001622 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Manman Ren742671b2013-05-29 17:16:59 +00001623 dwarf::DW_FORM_ref4, AbsDIE);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001624 else {
David Blaikie2883fd42013-08-19 03:34:03 +00001625 if (!Name.empty())
1626 addString(VariableDie, dwarf::DW_AT_name, Name);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001627 addSourceLine(VariableDie, DV->getVariable());
1628 addType(VariableDie, DV->getType());
1629 }
1630
1631 if (DV->isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001632 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001633
1634 if (isScopeAbstract) {
1635 DV->setDIE(VariableDie);
1636 return VariableDie;
1637 }
1638
1639 // Add variable address.
1640
1641 unsigned Offset = DV->getDotDebugLocOffset();
1642 if (Offset != ~0U) {
Eric Christopherafbe0e22013-06-24 21:34:55 +00001643 addLabel(VariableDie, dwarf::DW_AT_location, dwarf::DW_FORM_data4,
1644 Asm->GetTempSymbol("debug_loc", Offset));
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001645 DV->setDIE(VariableDie);
1646 return VariableDie;
1647 }
1648
Eric Christopher8cf5e742011-10-03 15:49:20 +00001649 // Check if variable is described by a DBG_VALUE instruction.
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001650 if (const MachineInstr *DVInsn = DV->getMInsn()) {
David Blaikie6d9dbd52013-06-16 20:34:15 +00001651 assert(DVInsn->getNumOperands() == 3);
1652 if (DVInsn->getOperand(0).isReg()) {
1653 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantlb2754912013-07-09 21:44:06 +00001654 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl35176402013-07-09 20:28:37 +00001655 if (DVInsn->getOperand(1).isImm()) {
1656 MachineLocation Location(RegOp.getReg(), DVInsn->getOperand(1).getImm());
Eric Christopherf61dbc12013-06-24 21:07:27 +00001657 addVariableAddress(*DV, VariableDie, Location);
David Blaikie6d9dbd52013-06-16 20:34:15 +00001658 } else if (RegOp.getReg())
Eric Christopherf61dbc12013-06-24 21:07:27 +00001659 addVariableAddress(*DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001660 } else if (DVInsn->getOperand(0).isImm())
Eric Christophere4721492013-07-03 01:08:30 +00001661 addConstantValue(VariableDie, DVInsn->getOperand(0), DV->getType());
David Blaikie6d9dbd52013-06-16 20:34:15 +00001662 else if (DVInsn->getOperand(0).isFPImm())
Eric Christophere4721492013-07-03 01:08:30 +00001663 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001664 else if (DVInsn->getOperand(0).isCImm())
Eric Christophere4721492013-07-03 01:08:30 +00001665 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher3f045002013-10-04 17:08:38 +00001666 DV->getType().isUnsignedDIType());
Eric Christophere4721492013-07-03 01:08:30 +00001667
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001668 DV->setDIE(VariableDie);
1669 return VariableDie;
1670 } else {
1671 // .. else use frame index.
1672 int FI = DV->getFrameIndex();
1673 if (FI != ~0) {
1674 unsigned FrameReg = 0;
1675 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopher8b4310b2012-11-21 00:34:38 +00001676 int Offset =
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001677 TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
1678 MachineLocation Location(FrameReg, Offset);
Eric Christopherf61dbc12013-06-24 21:07:27 +00001679 addVariableAddress(*DV, VariableDie, Location);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001680 }
1681 }
1682
1683 DV->setDIE(VariableDie);
1684 return VariableDie;
1685}
1686
Devang Patel161b2f42011-04-12 23:21:44 +00001687/// createMemberDIE - Create new member DIE.
1688DIE *CompileUnit::createMemberDIE(DIDerivedType DT) {
1689 DIE *MemberDie = new DIE(DT.getTag());
1690 StringRef Name = DT.getName();
1691 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001692 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001693
Eric Christopher3f045002013-10-04 17:08:38 +00001694 addType(MemberDie, DT.getTypeDerivedFrom());
Devang Patel161b2f42011-04-12 23:21:44 +00001695
1696 addSourceLine(MemberDie, DT);
1697
1698 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
1699 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1700
1701 uint64_t Size = DT.getSizeInBits();
Eric Christopher3f045002013-10-04 17:08:38 +00001702 uint64_t FieldSize = DT.getOriginalTypeSize();
Devang Patel161b2f42011-04-12 23:21:44 +00001703
1704 if (Size != FieldSize) {
1705 // Handle bitfield.
Eric Christopher3f045002013-10-04 17:08:38 +00001706 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
Devang Patel161b2f42011-04-12 23:21:44 +00001707 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
1708
1709 uint64_t Offset = DT.getOffsetInBits();
1710 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1711 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1712 uint64_t FieldOffset = (HiMark - FieldSize);
1713 Offset -= FieldOffset;
1714
1715 // Maybe we need to work from the other end.
Micah Villmow3574eca2012-10-08 16:38:25 +00001716 if (Asm->getDataLayout().isLittleEndian())
Devang Patel161b2f42011-04-12 23:21:44 +00001717 Offset = FieldSize - (Offset + Size);
1718 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
1719
1720 // Here WD_AT_data_member_location points to the anonymous
1721 // field that includes this bit field.
1722 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
1723
1724 } else
1725 // This is not a bitfield.
1726 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
1727
1728 if (DT.getTag() == dwarf::DW_TAG_inheritance
1729 && DT.isVirtual()) {
1730
1731 // For C++, virtual base classes are not at fixed offset. Use following
1732 // expression to extract appropriate offset from vtable.
1733 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1734
1735 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
1736 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1737 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1738 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1739 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1740 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1741 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1742 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1743
1744 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1745 VBaseLocationDie);
1746 } else
1747 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
1748
1749 if (DT.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001750 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001751 dwarf::DW_ACCESS_protected);
1752 else if (DT.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001753 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001754 dwarf::DW_ACCESS_private);
1755 // Otherwise C++ member and base classes are considered public.
Eric Christopher8b4310b2012-11-21 00:34:38 +00001756 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001757 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001758 dwarf::DW_ACCESS_public);
1759 if (DT.isVirtual())
Nick Lewycky798313d2011-12-14 00:56:07 +00001760 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001761 dwarf::DW_VIRTUALITY_virtual);
Devang Patele9db5e22011-04-16 00:11:51 +00001762
1763 // Objective-C properties.
Devang Patel6588abf2012-02-06 17:49:43 +00001764 if (MDNode *PNode = DT.getObjCProperty())
1765 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher8b4310b2012-11-21 00:34:38 +00001766 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel6588abf2012-02-06 17:49:43 +00001767 PropertyDie);
1768
David Blaikie01bc2b32012-12-13 22:43:07 +00001769 if (DT.isArtificial())
1770 addFlag(MemberDie, dwarf::DW_AT_artificial);
1771
Devang Patel161b2f42011-04-12 23:21:44 +00001772 return MemberDie;
1773}
Eric Christopher6b6061f2013-01-16 01:22:23 +00001774
1775/// createStaticMemberDIE - Create new DIE for C++ static member.
1776DIE *CompileUnit::createStaticMemberDIE(const DIDerivedType DT) {
1777 if (!DT.Verify())
1778 return NULL;
1779
1780 DIE *StaticMemberDIE = new DIE(DT.getTag());
Eric Christopher3f045002013-10-04 17:08:38 +00001781 DIType Ty = DT.getTypeDerivedFrom();
Eric Christopher6b6061f2013-01-16 01:22:23 +00001782
1783 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1784 addType(StaticMemberDIE, Ty);
1785 addSourceLine(StaticMemberDIE, DT);
1786 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1787 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1788
1789 // FIXME: We could omit private if the parent is a class_type, and
1790 // public if the parent is something else.
1791 if (DT.isProtected())
1792 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1793 dwarf::DW_ACCESS_protected);
1794 else if (DT.isPrivate())
1795 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1796 dwarf::DW_ACCESS_private);
1797 else
1798 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1799 dwarf::DW_ACCESS_public);
1800
1801 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Eric Christopher3f045002013-10-04 17:08:38 +00001802 addConstantValue(StaticMemberDIE, CI, Ty.isUnsignedDIType());
David Blaikie14268412013-01-20 01:18:01 +00001803 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1804 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001805
Eric Christopher3f045002013-10-04 17:08:38 +00001806 insertDIE(DT, StaticMemberDIE);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001807 return StaticMemberDIE;
1808}