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