blob: e399508bb949ef88708ca959c418be490ee86ba9 [file] [log] [blame]
Devang Patel161b2f42011-04-12 23:21:44 +00001//===-- llvm/CodeGen/DwarfCompileUnit.cpp - Dwarf Compile Unit ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher443c9ed2012-08-14 05:13:29 +000010// This file contains support for constructing a dwarf compile unit.
Devang Patel161b2f42011-04-12 23:21:44 +000011//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "dwarfdebug"
15
16#include "DwarfCompileUnit.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000017#include "DwarfAccelTable.h"
Devang Patel161b2f42011-04-12 23:21:44 +000018#include "DwarfDebug.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
Bill Wendling16eeb6f2012-06-29 08:32:07 +000020#include "llvm/DIBuilder.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000021#include "llvm/IR/Constants.h"
22#include "llvm/IR/DataLayout.h"
23#include "llvm/IR/GlobalVariable.h"
24#include "llvm/IR/Instructions.h"
David Blaikie1d361132013-10-30 20:42:41 +000025#include "llvm/MC/MCSection.h"
26#include "llvm/MC/MCStreamer.h"
Devang Patel6f9d8ff2011-08-15 17:57:41 +000027#include "llvm/Target/Mangler.h"
Devang Patel161b2f42011-04-12 23:21:44 +000028#include "llvm/Target/TargetFrameLowering.h"
29#include "llvm/Target/TargetMachine.h"
David Blaikie59eaa382013-06-28 20:05:11 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Devang Patel161b2f42011-04-12 23:21:44 +000031#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel161b2f42011-04-12 23:21:44 +000032
33using namespace llvm;
34
35/// CompileUnit - Compile unit constructor.
Eric Christopher7b878952013-08-26 23:50:38 +000036CompileUnit::CompileUnit(unsigned UID, DIE *D, const MDNode *N, AsmPrinter *A,
37 DwarfDebug *DW, DwarfUnits *DWU)
Manman Ren3eabc2a2013-10-29 22:57:10 +000038 : UniqueID(UID), Node(N), CUDie(D), Asm(A), DD(DW), DU(DWU), IndexTyDie(0),
39 DebugInfoOffset(0) {
Devang Patel161b2f42011-04-12 23:21:44 +000040 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
Eric Christopher9c57ad22013-05-08 00:58:51 +000041 insertDIE(N, D);
Devang Patel161b2f42011-04-12 23:21:44 +000042}
43
44/// ~CompileUnit - Destructor for compile unit.
45CompileUnit::~CompileUnit() {
46 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
47 DIEBlocks[j]->~DIEBlock();
48}
49
50/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
51/// information entry.
52DIEEntry *CompileUnit::createDIEEntry(DIE *Entry) {
53 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
54 return Value;
55}
56
Bill Wendling6afe4782012-12-06 07:55:19 +000057/// getDefaultLowerBound - Return the default lower bound for an array. If the
Bill Wendling222c2fd2012-12-06 07:38:10 +000058/// DWARF version doesn't handle the language, return -1.
Bill Wendling6afe4782012-12-06 07:55:19 +000059int64_t CompileUnit::getDefaultLowerBound() const {
Eric Christopher7b878952013-08-26 23:50:38 +000060 switch (DICompileUnit(Node).getLanguage()) {
Bill Wendling222c2fd2012-12-06 07:38:10 +000061 default:
62 break;
63
64 case dwarf::DW_LANG_C89:
65 case dwarf::DW_LANG_C99:
66 case dwarf::DW_LANG_C:
67 case dwarf::DW_LANG_C_plus_plus:
68 case dwarf::DW_LANG_ObjC:
69 case dwarf::DW_LANG_ObjC_plus_plus:
70 return 0;
71
72 case dwarf::DW_LANG_Fortran77:
73 case dwarf::DW_LANG_Fortran90:
74 case dwarf::DW_LANG_Fortran95:
75 return 1;
76
77 // The languages below have valid values only if the DWARF version >= 4.
78 case dwarf::DW_LANG_Java:
79 case dwarf::DW_LANG_Python:
80 case dwarf::DW_LANG_UPC:
81 case dwarf::DW_LANG_D:
82 if (dwarf::DWARF_VERSION >= 4)
83 return 0;
84 break;
85
86 case dwarf::DW_LANG_Ada83:
87 case dwarf::DW_LANG_Ada95:
88 case dwarf::DW_LANG_Cobol74:
89 case dwarf::DW_LANG_Cobol85:
90 case dwarf::DW_LANG_Modula2:
91 case dwarf::DW_LANG_Pascal83:
92 case dwarf::DW_LANG_PLI:
93 if (dwarf::DWARF_VERSION >= 4)
94 return 1;
95 break;
96 }
97
98 return -1;
99}
100
Manman Renb8b70e12013-10-31 17:54:35 +0000101/// Check whether the DIE for this MDNode can be shared across CUs.
102static bool isShareableAcrossCUs(const MDNode *N) {
103 // When the MDNode can be part of the type system, the DIE can be
104 // shared across CUs.
105 return DIDescriptor(N).isType() ||
106 (DIDescriptor(N).isSubprogram() && !DISubprogram(N).isDefinition());
107}
108
109/// getDIE - Returns the debug information entry map slot for the
110/// specified debug variable. We delegate the request to DwarfDebug
111/// when the DIE for this MDNode can be shared across CUs. The mappings
112/// will be kept in DwarfDebug for shareable DIEs.
113DIE *CompileUnit::getDIE(const MDNode *N) const {
114 if (isShareableAcrossCUs(N))
115 return DD->getDIE(N);
116 return MDNodeToDieMap.lookup(N);
117}
118
119/// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
120/// when the DIE for this MDNode can be shared across CUs. The mappings
121/// will be kept in DwarfDebug for shareable DIEs.
122void CompileUnit::insertDIE(const MDNode *N, DIE *D) {
123 if (isShareableAcrossCUs(N)) {
124 DD->insertDIE(N, D);
125 return;
126 }
127 MDNodeToDieMap.insert(std::make_pair(N, D));
128}
129
Eric Christopher873cf0a2012-08-24 01:14:27 +0000130/// addFlag - Add a flag that is true.
David Blaikie770530b2013-10-21 17:28:37 +0000131void CompileUnit::addFlag(DIE *Die, dwarf::Attribute Attribute) {
Michael Gottesmandc42d032013-09-04 04:39:38 +0000132 if (DD->getDwarfVersion() >= 4)
Eric Christopher9c0c9482013-10-04 22:40:05 +0000133 Die->addValue(Attribute, dwarf::DW_FORM_flag_present, DIEIntegerOne);
Eric Christopher873cf0a2012-08-24 01:14:27 +0000134 else
Eric Christopher9c0c9482013-10-04 22:40:05 +0000135 Die->addValue(Attribute, dwarf::DW_FORM_flag, DIEIntegerOne);
Eric Christopher873cf0a2012-08-24 01:14:27 +0000136}
137
Devang Patel161b2f42011-04-12 23:21:44 +0000138/// addUInt - Add an unsigned integer attribute data and value.
139///
David Blaikie770530b2013-10-21 17:28:37 +0000140void CompileUnit::addUInt(DIE *Die, dwarf::Attribute Attribute,
141 Optional<dwarf::Form> Form, uint64_t Integer) {
Eric Christopher6efc0432013-10-19 01:04:47 +0000142 if (!Form)
143 Form = DIEInteger::BestForm(false, Integer);
144 DIEValue *Value = Integer == 1 ? DIEIntegerOne : new (DIEValueAllocator)
145 DIEInteger(Integer);
David Blaikie770530b2013-10-21 17:28:37 +0000146 Die->addValue(Attribute, *Form, Value);
147}
148
149void CompileUnit::addUInt(DIEBlock *Block, dwarf::Form Form, uint64_t Integer) {
150 addUInt(Block, (dwarf::Attribute)0, Form, Integer);
Devang Patel161b2f42011-04-12 23:21:44 +0000151}
152
153/// addSInt - Add an signed integer attribute data and value.
154///
David Blaikie770530b2013-10-21 17:28:37 +0000155void CompileUnit::addSInt(DIE *Die, dwarf::Attribute Attribute,
156 Optional<dwarf::Form> Form, int64_t Integer) {
Eric Christopher6efc0432013-10-19 01:04:47 +0000157 if (!Form)
158 Form = DIEInteger::BestForm(true, Integer);
Devang Patel161b2f42011-04-12 23:21:44 +0000159 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
David Blaikie770530b2013-10-21 17:28:37 +0000160 Die->addValue(Attribute, *Form, Value);
161}
162
163void CompileUnit::addSInt(DIEBlock *Die, Optional<dwarf::Form> Form,
164 int64_t Integer) {
165 addSInt(Die, (dwarf::Attribute)0, Form, Integer);
Devang Patel161b2f42011-04-12 23:21:44 +0000166}
167
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000168/// addString - Add a string attribute data and value. We always emit a
169/// reference to the string pool instead of immediate strings so that DIEs have
Eric Christopher3cc42202013-01-07 19:32:45 +0000170/// more predictable sizes. In the case of split dwarf we emit an index
171/// into another table which gets us the static offset into the string
172/// table.
Eric Christopher62af0c22013-11-11 18:52:33 +0000173void CompileUnit::addString(DIE *Die, dwarf::Attribute Attribute,
174 StringRef String) {
Eric Christopher3dee5752013-07-26 17:02:41 +0000175 DIEValue *Value;
David Blaikie770530b2013-10-21 17:28:37 +0000176 dwarf::Form Form;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000177 if (!DD->useSplitDwarf()) {
178 MCSymbol *Symb = DU->getStringPoolEntry(String);
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000179 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000180 Value = new (DIEValueAllocator) DIELabel(Symb);
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000181 else {
182 MCSymbol *StringPool = DU->getStringPoolSym();
183 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
184 }
Eric Christopher3dee5752013-07-26 17:02:41 +0000185 Form = dwarf::DW_FORM_strp;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000186 } else {
187 unsigned idx = DU->getStringPoolIndex(String);
Eric Christopher3dee5752013-07-26 17:02:41 +0000188 Value = new (DIEValueAllocator) DIEInteger(idx);
189 Form = dwarf::DW_FORM_GNU_str_index;
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000190 }
Eric Christopher3dee5752013-07-26 17:02:41 +0000191 DIEValue *Str = new (DIEValueAllocator) DIEString(Value, String);
192 Die->addValue(Attribute, Form, Str);
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000193}
194
195/// addLocalString - Add a string attribute data and value. This is guaranteed
196/// to be in the local string pool instead of indirected.
David Blaikie770530b2013-10-21 17:28:37 +0000197void CompileUnit::addLocalString(DIE *Die, dwarf::Attribute Attribute,
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000198 StringRef String) {
Eric Christopher2e5d8702012-12-20 21:58:36 +0000199 MCSymbol *Symb = DU->getStringPoolEntry(String);
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000200 DIEValue *Value;
201 if (Asm->needsRelocationsForDwarfStringPool())
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000202 Value = new (DIEValueAllocator) DIELabel(Symb);
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000203 else {
Eric Christopher2e5d8702012-12-20 21:58:36 +0000204 MCSymbol *StringPool = DU->getStringPoolSym();
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000205 Value = new (DIEValueAllocator) DIEDelta(Symb, StringPool);
Nick Lewycky390c40d2011-10-27 06:44:11 +0000206 }
Nick Lewycky6a7efcf2011-10-28 05:29:47 +0000207 Die->addValue(Attribute, dwarf::DW_FORM_strp, Value);
Devang Patel161b2f42011-04-12 23:21:44 +0000208}
209
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000210/// addExpr - Add a Dwarf expression attribute data and value.
Devang Patel161b2f42011-04-12 23:21:44 +0000211///
David Blaikie770530b2013-10-21 17:28:37 +0000212void CompileUnit::addExpr(DIEBlock *Die, dwarf::Form Form, const MCExpr *Expr) {
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000213 DIEValue *Value = new (DIEValueAllocator) DIEExpr(Expr);
David Blaikie770530b2013-10-21 17:28:37 +0000214 Die->addValue((dwarf::Attribute)0, Form, Value);
Devang Patel161b2f42011-04-12 23:21:44 +0000215}
216
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000217/// addLabel - Add a Dwarf label attribute data and value.
218///
Eric Christopher62af0c22013-11-11 18:52:33 +0000219void CompileUnit::addLabel(DIE *Die, dwarf::Attribute Attribute,
220 dwarf::Form Form, const MCSymbol *Label) {
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000221 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
222 Die->addValue(Attribute, Form, Value);
David Blaikie95e72c92013-06-28 20:05:04 +0000223}
224
David Blaikie770530b2013-10-21 17:28:37 +0000225void CompileUnit::addLabel(DIEBlock *Die, dwarf::Form Form,
226 const MCSymbol *Label) {
227 addLabel(Die, (dwarf::Attribute)0, Form, Label);
228}
229
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000230/// addLabelAddress - Add a dwarf label attribute data and value using
231/// DW_FORM_addr or DW_FORM_GNU_addr_index.
232///
David Blaikie770530b2013-10-21 17:28:37 +0000233void CompileUnit::addLabelAddress(DIE *Die, dwarf::Attribute Attribute,
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000234 MCSymbol *Label) {
Alexey Samsonov9d08d692013-10-03 08:54:43 +0000235 if (Label)
236 DD->addArangeLabel(SymbolCU(this, Label));
Richard Mitton5cc319a2013-09-19 23:21:01 +0000237
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000238 if (!DD->useSplitDwarf()) {
239 if (Label != NULL) {
Ulrich Weigand1f8aacd2013-07-02 18:46:26 +0000240 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000241 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
242 } else {
243 DIEValue *Value = new (DIEValueAllocator) DIEInteger(0);
244 Die->addValue(Attribute, dwarf::DW_FORM_addr, Value);
245 }
246 } else {
247 unsigned idx = DU->getAddrPoolIndex(Label);
248 DIEValue *Value = new (DIEValueAllocator) DIEInteger(idx);
249 Die->addValue(Attribute, dwarf::DW_FORM_GNU_addr_index, Value);
250 }
251}
252
Eric Christopher0969ddf2013-01-18 22:11:33 +0000253/// addOpAddress - Add a dwarf op address data and value using the
254/// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
255///
David Blaikie770530b2013-10-21 17:28:37 +0000256void CompileUnit::addOpAddress(DIEBlock *Die, const MCSymbol *Sym) {
Alexey Samsonov9d08d692013-10-03 08:54:43 +0000257 DD->addArangeLabel(SymbolCU(this, Sym));
Eric Christopher0969ddf2013-01-18 22:11:33 +0000258 if (!DD->useSplitDwarf()) {
David Blaikie770530b2013-10-21 17:28:37 +0000259 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
260 addLabel(Die, dwarf::DW_FORM_udata, Sym);
Eric Christopher0969ddf2013-01-18 22:11:33 +0000261 } else {
David Blaikie770530b2013-10-21 17:28:37 +0000262 addUInt(Die, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_addr_index);
263 addUInt(Die, dwarf::DW_FORM_GNU_addr_index, DU->getAddrPoolIndex(Sym));
Eric Christopher0969ddf2013-01-18 22:11:33 +0000264 }
265}
266
Devang Patel161b2f42011-04-12 23:21:44 +0000267/// addDelta - Add a label delta attribute data and value.
268///
Eric Christopher62af0c22013-11-11 18:52:33 +0000269void CompileUnit::addDelta(DIE *Die, dwarf::Attribute Attribute,
270 dwarf::Form Form, const MCSymbol *Hi,
271 const MCSymbol *Lo) {
Devang Patel161b2f42011-04-12 23:21:44 +0000272 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
273 Die->addValue(Attribute, Form, Value);
274}
275
276/// addDIEEntry - Add a DIE attribute data and value.
277///
Eric Christopher61290022013-11-11 18:52:36 +0000278void CompileUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute,
279 DIE *Entry) {
Manman Renb8b70e12013-10-31 17:54:35 +0000280 addDIEEntry(Die, Attribute, createDIEEntry(Entry));
281}
282
283void CompileUnit::addDIEEntry(DIE *Die, dwarf::Attribute Attribute,
284 DIEEntry *Entry) {
285 const DIE *DieCU = Die->getCompileUnitOrNull();
286 const DIE *EntryCU = Entry->getEntry()->getCompileUnitOrNull();
287 if (!DieCU)
288 // We assume that Die belongs to this CU, if it is not linked to any CU yet.
289 DieCU = getCUDie();
290 if (!EntryCU)
291 EntryCU = getCUDie();
292 Die->addValue(Attribute, EntryCU == DieCU ? dwarf::DW_FORM_ref4
293 : dwarf::DW_FORM_ref_addr,
294 Entry);
Devang Patel161b2f42011-04-12 23:21:44 +0000295}
296
Manman Ren1a5e7872013-10-29 00:53:03 +0000297/// Create a DIE with the given Tag, add the DIE to its parent, and
298/// call insertDIE if MD is not null.
299DIE *CompileUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const MDNode *MD) {
300 DIE *Die = new DIE(Tag);
301 Parent.addChild(Die);
302 if (MD)
303 insertDIE(MD, Die);
304 return Die;
305}
306
Devang Patel161b2f42011-04-12 23:21:44 +0000307/// addBlock - Add block data.
308///
David Blaikie770530b2013-10-21 17:28:37 +0000309void CompileUnit::addBlock(DIE *Die, dwarf::Attribute Attribute,
Devang Patel161b2f42011-04-12 23:21:44 +0000310 DIEBlock *Block) {
311 Block->ComputeSize(Asm);
312 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
313 Die->addValue(Attribute, Block->BestForm(), Block);
314}
315
316/// addSourceLine - Add location information to specified debug information
317/// entry.
318void CompileUnit::addSourceLine(DIE *Die, DIVariable V) {
319 // Verify variable.
Manman Rend03d2b22013-07-08 18:33:29 +0000320 if (!V.isVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000321 return;
Eric Christopher8b4310b2012-11-21 00:34:38 +0000322
Devang Patel161b2f42011-04-12 23:21:44 +0000323 unsigned Line = V.getLineNumber();
324 if (Line == 0)
325 return;
Eric Christopher6efc0432013-10-19 01:04:47 +0000326 unsigned FileID =
327 DD->getOrCreateSourceID(V.getContext().getFilename(),
328 V.getContext().getDirectory(), getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000329 assert(FileID && "Invalid file id");
David Blaikie770530b2013-10-21 17:28:37 +0000330 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
331 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel161b2f42011-04-12 23:21:44 +0000332}
333
334/// addSourceLine - Add location information to specified debug information
335/// entry.
336void CompileUnit::addSourceLine(DIE *Die, DIGlobalVariable G) {
337 // Verify global variable.
Manman Rend03d2b22013-07-08 18:33:29 +0000338 if (!G.isGlobalVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000339 return;
340
341 unsigned Line = G.getLineNumber();
342 if (Line == 0)
343 return;
Eric Christopher6efc0432013-10-19 01:04:47 +0000344 unsigned FileID =
345 DD->getOrCreateSourceID(G.getFilename(), G.getDirectory(), getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000346 assert(FileID && "Invalid file id");
David Blaikie770530b2013-10-21 17:28:37 +0000347 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
348 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel161b2f42011-04-12 23:21:44 +0000349}
350
351/// addSourceLine - Add location information to specified debug information
352/// entry.
353void CompileUnit::addSourceLine(DIE *Die, DISubprogram SP) {
354 // Verify subprogram.
Manman Rend03d2b22013-07-08 18:33:29 +0000355 if (!SP.isSubprogram())
Devang Patel161b2f42011-04-12 23:21:44 +0000356 return;
Eric Christopher2125d5a2012-03-15 23:55:40 +0000357
Devang Patel161b2f42011-04-12 23:21:44 +0000358 // If the line number is 0, don't add it.
Eric Christopher2125d5a2012-03-15 23:55:40 +0000359 unsigned Line = SP.getLineNumber();
360 if (Line == 0)
Devang Patel161b2f42011-04-12 23:21:44 +0000361 return;
362
Eric Christopher6efc0432013-10-19 01:04:47 +0000363 unsigned FileID = DD->getOrCreateSourceID(SP.getFilename(), SP.getDirectory(),
364 getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000365 assert(FileID && "Invalid file id");
David Blaikie770530b2013-10-21 17:28:37 +0000366 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
367 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel161b2f42011-04-12 23:21:44 +0000368}
369
370/// addSourceLine - Add location information to specified debug information
371/// entry.
372void CompileUnit::addSourceLine(DIE *Die, DIType Ty) {
373 // Verify type.
Manman Rend03d2b22013-07-08 18:33:29 +0000374 if (!Ty.isType())
Devang Patel161b2f42011-04-12 23:21:44 +0000375 return;
376
377 unsigned Line = Ty.getLineNumber();
Eric Christopher2125d5a2012-03-15 23:55:40 +0000378 if (Line == 0)
Devang Patel161b2f42011-04-12 23:21:44 +0000379 return;
Eric Christopher6efc0432013-10-19 01:04:47 +0000380 unsigned FileID = DD->getOrCreateSourceID(Ty.getFilename(), Ty.getDirectory(),
381 getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000382 assert(FileID && "Invalid file id");
David Blaikie770530b2013-10-21 17:28:37 +0000383 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
384 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel161b2f42011-04-12 23:21:44 +0000385}
386
387/// addSourceLine - Add location information to specified debug information
388/// entry.
Eric Christopherb8ca9882012-03-29 08:42:56 +0000389void CompileUnit::addSourceLine(DIE *Die, DIObjCProperty Ty) {
390 // Verify type.
Manman Rend03d2b22013-07-08 18:33:29 +0000391 if (!Ty.isObjCProperty())
Eric Christopherb8ca9882012-03-29 08:42:56 +0000392 return;
393
394 unsigned Line = Ty.getLineNumber();
395 if (Line == 0)
396 return;
397 DIFile File = Ty.getFile();
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000398 unsigned FileID = DD->getOrCreateSourceID(File.getFilename(),
Manman Ren3de61b42013-03-07 01:42:00 +0000399 File.getDirectory(), getUniqueID());
Eric Christopherb8ca9882012-03-29 08:42:56 +0000400 assert(FileID && "Invalid file id");
David Blaikie770530b2013-10-21 17:28:37 +0000401 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
402 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Eric Christopherb8ca9882012-03-29 08:42:56 +0000403}
404
405/// addSourceLine - Add location information to specified debug information
406/// entry.
Devang Patel161b2f42011-04-12 23:21:44 +0000407void CompileUnit::addSourceLine(DIE *Die, DINameSpace NS) {
408 // Verify namespace.
409 if (!NS.Verify())
410 return;
411
412 unsigned Line = NS.getLineNumber();
413 if (Line == 0)
414 return;
415 StringRef FN = NS.getFilename();
416
Eric Christopher6efc0432013-10-19 01:04:47 +0000417 unsigned FileID =
418 DD->getOrCreateSourceID(FN, NS.getDirectory(), getUniqueID());
Devang Patel161b2f42011-04-12 23:21:44 +0000419 assert(FileID && "Invalid file id");
David Blaikie770530b2013-10-21 17:28:37 +0000420 addUInt(Die, dwarf::DW_AT_decl_file, None, FileID);
421 addUInt(Die, dwarf::DW_AT_decl_line, None, Line);
Devang Patel161b2f42011-04-12 23:21:44 +0000422}
423
Eric Christopher8b4310b2012-11-21 00:34:38 +0000424/// addVariableAddress - Add DW_AT_location attribute for a
Devang Patele1cdf842011-04-27 22:45:24 +0000425/// DbgVariable based on provided MachineLocation.
Eric Christopherf61dbc12013-06-24 21:07:27 +0000426void CompileUnit::addVariableAddress(const DbgVariable &DV, DIE *Die,
Devang Patele1cdf842011-04-27 22:45:24 +0000427 MachineLocation Location) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000428 if (DV.variableHasComplexAddress())
Devang Patel161b2f42011-04-12 23:21:44 +0000429 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
Eric Christopherf61dbc12013-06-24 21:07:27 +0000430 else if (DV.isBlockByrefVariable())
Devang Patel161b2f42011-04-12 23:21:44 +0000431 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
432 else
David Blaikie4532c282013-06-20 00:25:24 +0000433 addAddress(Die, dwarf::DW_AT_location, Location,
Eric Christopherf61dbc12013-06-24 21:07:27 +0000434 DV.getVariable().isIndirect());
Devang Patel161b2f42011-04-12 23:21:44 +0000435}
436
Devang Patel116da2f2011-04-26 19:06:18 +0000437/// addRegisterOp - Add register operand.
David Blaikie770530b2013-10-21 17:28:37 +0000438void CompileUnit::addRegisterOp(DIEBlock *TheDie, unsigned Reg) {
Devang Patel116da2f2011-04-26 19:06:18 +0000439 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
440 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
441 if (DWReg < 32)
David Blaikie770530b2013-10-21 17:28:37 +0000442 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + DWReg);
Devang Patel116da2f2011-04-26 19:06:18 +0000443 else {
David Blaikie770530b2013-10-21 17:28:37 +0000444 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
445 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patel116da2f2011-04-26 19:06:18 +0000446 }
447}
448
449/// addRegisterOffset - Add register offset.
David Blaikie770530b2013-10-21 17:28:37 +0000450void CompileUnit::addRegisterOffset(DIEBlock *TheDie, unsigned Reg,
451 int64_t Offset) {
Devang Patel116da2f2011-04-26 19:06:18 +0000452 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
453 unsigned DWReg = RI->getDwarfRegNum(Reg, false);
454 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
455 if (Reg == TRI->getFrameRegister(*Asm->MF))
456 // If variable offset is based in frame register then use fbreg.
David Blaikie770530b2013-10-21 17:28:37 +0000457 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
Devang Patel116da2f2011-04-26 19:06:18 +0000458 else if (DWReg < 32)
David Blaikie770530b2013-10-21 17:28:37 +0000459 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + DWReg);
Devang Patel116da2f2011-04-26 19:06:18 +0000460 else {
David Blaikie770530b2013-10-21 17:28:37 +0000461 addUInt(TheDie, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
462 addUInt(TheDie, dwarf::DW_FORM_udata, DWReg);
Devang Patel116da2f2011-04-26 19:06:18 +0000463 }
David Blaikie770530b2013-10-21 17:28:37 +0000464 addSInt(TheDie, dwarf::DW_FORM_sdata, Offset);
Devang Patel116da2f2011-04-26 19:06:18 +0000465}
466
467/// addAddress - Add an address attribute to a die based on the location
468/// provided.
David Blaikie770530b2013-10-21 17:28:37 +0000469void CompileUnit::addAddress(DIE *Die, dwarf::Attribute Attribute,
David Blaikie4532c282013-06-20 00:25:24 +0000470 const MachineLocation &Location, bool Indirect) {
Devang Patel116da2f2011-04-26 19:06:18 +0000471 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
472
David Blaikie4532c282013-06-20 00:25:24 +0000473 if (Location.isReg() && !Indirect)
Devang Patel116da2f2011-04-26 19:06:18 +0000474 addRegisterOp(Block, Location.getReg());
David Blaikie4532c282013-06-20 00:25:24 +0000475 else {
Devang Patel116da2f2011-04-26 19:06:18 +0000476 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
David Blaikie4532c282013-06-20 00:25:24 +0000477 if (Indirect && !Location.isReg()) {
David Blaikie770530b2013-10-21 17:28:37 +0000478 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
David Blaikie4532c282013-06-20 00:25:24 +0000479 }
480 }
Devang Patel116da2f2011-04-26 19:06:18 +0000481
482 // Now attach the location information to the DIE.
David Blaikie770530b2013-10-21 17:28:37 +0000483 addBlock(Die, Attribute, Block);
Devang Patel116da2f2011-04-26 19:06:18 +0000484}
485
Devang Patel161b2f42011-04-12 23:21:44 +0000486/// addComplexAddress - Start with the address based on the location provided,
487/// and generate the DWARF information necessary to find the actual variable
488/// given the extra address information encoded in the DIVariable, starting from
489/// the starting location. Add the DWARF information to the die.
490///
Eric Christopherf61dbc12013-06-24 21:07:27 +0000491void CompileUnit::addComplexAddress(const DbgVariable &DV, DIE *Die,
David Blaikie770530b2013-10-21 17:28:37 +0000492 dwarf::Attribute Attribute,
Devang Patel161b2f42011-04-12 23:21:44 +0000493 const MachineLocation &Location) {
Devang Patel161b2f42011-04-12 23:21:44 +0000494 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Eric Christopherf61dbc12013-06-24 21:07:27 +0000495 unsigned N = DV.getNumAddrElements();
Devang Patelc26f5442011-04-28 02:22:40 +0000496 unsigned i = 0;
497 if (Location.isReg()) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000498 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Devang Patelc26f5442011-04-28 02:22:40 +0000499 // If first address element is OpPlus then emit
500 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopherf61dbc12013-06-24 21:07:27 +0000501 addRegisterOffset(Block, Location.getReg(), DV.getAddrElement(1));
Devang Patelc26f5442011-04-28 02:22:40 +0000502 i = 2;
503 } else
504 addRegisterOp(Block, Location.getReg());
Eric Christopher6efc0432013-10-19 01:04:47 +0000505 } else
Devang Patel116da2f2011-04-26 19:06:18 +0000506 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel161b2f42011-04-12 23:21:44 +0000507
Eric Christopher6efc0432013-10-19 01:04:47 +0000508 for (; i < N; ++i) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000509 uint64_t Element = DV.getAddrElement(i);
Devang Patel161b2f42011-04-12 23:21:44 +0000510 if (Element == DIBuilder::OpPlus) {
David Blaikie770530b2013-10-21 17:28:37 +0000511 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
512 addUInt(Block, dwarf::DW_FORM_udata, DV.getAddrElement(++i));
Devang Patel161b2f42011-04-12 23:21:44 +0000513 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher50120762012-05-08 18:56:00 +0000514 if (!Location.isReg())
David Blaikie770530b2013-10-21 17:28:37 +0000515 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Eric Christopher6efc0432013-10-19 01:04:47 +0000516 } else
517 llvm_unreachable("unknown DIBuilder Opcode");
Devang Patel161b2f42011-04-12 23:21:44 +0000518 }
519
520 // Now attach the location information to the DIE.
David Blaikie770530b2013-10-21 17:28:37 +0000521 addBlock(Die, Attribute, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000522}
523
524/* Byref variables, in Blocks, are declared by the programmer as "SomeType
525 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
526 gives the variable VarName either the struct, or a pointer to the struct, as
527 its type. This is necessary for various behind-the-scenes things the
528 compiler needs to do with by-reference variables in Blocks.
529
530 However, as far as the original *programmer* is concerned, the variable
531 should still have type 'SomeType', as originally declared.
532
533 The function getBlockByrefType dives into the __Block_byref_x_VarName
534 struct to find the original type of the variable, which is then assigned to
535 the variable's Debug Information Entry as its real type. So far, so good.
536 However now the debugger will expect the variable VarName to have the type
537 SomeType. So we need the location attribute for the variable to be an
538 expression that explains to the debugger how to navigate through the
539 pointers and struct to find the actual variable of type SomeType.
540
541 The following function does just that. We start by getting
542 the "normal" location for the variable. This will be the location
543 of either the struct __Block_byref_x_VarName or the pointer to the
544 struct __Block_byref_x_VarName.
545
546 The struct will look something like:
547
548 struct __Block_byref_x_VarName {
549 ... <various fields>
550 struct __Block_byref_x_VarName *forwarding;
551 ... <various other fields>
552 SomeType VarName;
553 ... <maybe more fields>
554 };
555
556 If we are given the struct directly (as our starting point) we
557 need to tell the debugger to:
558
559 1). Add the offset of the forwarding field.
560
561 2). Follow that pointer to get the real __Block_byref_x_VarName
562 struct to use (the real one may have been copied onto the heap).
563
564 3). Add the offset for the field VarName, to find the actual variable.
565
566 If we started with a pointer to the struct, then we need to
567 dereference that pointer first, before the other steps.
568 Translating this into DWARF ops, we will need to append the following
569 to the current location description for the variable:
570
571 DW_OP_deref -- optional, if we start with a pointer
572 DW_OP_plus_uconst <forward_fld_offset>
573 DW_OP_deref
574 DW_OP_plus_uconst <varName_fld_offset>
575
576 That is what this function does. */
577
578/// addBlockByrefAddress - Start with the address based on the location
579/// provided, and generate the DWARF information necessary to find the
580/// actual Block variable (navigating the Block struct) based on the
581/// starting location. Add the DWARF information to the die. For
582/// more information, read large comment just above here.
583///
Eric Christopherf61dbc12013-06-24 21:07:27 +0000584void CompileUnit::addBlockByrefAddress(const DbgVariable &DV, DIE *Die,
David Blaikie770530b2013-10-21 17:28:37 +0000585 dwarf::Attribute Attribute,
Devang Patel161b2f42011-04-12 23:21:44 +0000586 const MachineLocation &Location) {
Eric Christopherf61dbc12013-06-24 21:07:27 +0000587 DIType Ty = DV.getType();
Devang Patel161b2f42011-04-12 23:21:44 +0000588 DIType TmpTy = Ty;
Eric Christopher31667622013-08-08 01:41:00 +0000589 uint16_t Tag = Ty.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +0000590 bool isPointer = false;
591
Eric Christopherf61dbc12013-06-24 21:07:27 +0000592 StringRef varName = DV.getName();
Devang Patel161b2f42011-04-12 23:21:44 +0000593
594 if (Tag == dwarf::DW_TAG_pointer_type) {
595 DIDerivedType DTy = DIDerivedType(Ty);
Manman Ren017ceda2013-10-08 18:42:58 +0000596 TmpTy = resolve(DTy.getTypeDerivedFrom());
Devang Patel161b2f42011-04-12 23:21:44 +0000597 isPointer = true;
598 }
599
600 DICompositeType blockStruct = DICompositeType(TmpTy);
601
602 // Find the __forwarding field and the variable field in the __Block_byref
603 // struct.
604 DIArray Fields = blockStruct.getTypeArray();
605 DIDescriptor varField = DIDescriptor();
606 DIDescriptor forwardingField = DIDescriptor();
607
608 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
609 DIDescriptor Element = Fields.getElement(i);
610 DIDerivedType DT = DIDerivedType(Element);
611 StringRef fieldName = DT.getName();
612 if (fieldName == "__forwarding")
613 forwardingField = Element;
614 else if (fieldName == varName)
615 varField = Element;
616 }
617
618 // Get the offsets for the forwarding field and the variable field.
619 unsigned forwardingFieldOffset =
Eric Christopher6efc0432013-10-19 01:04:47 +0000620 DIDerivedType(forwardingField).getOffsetInBits() >> 3;
621 unsigned varFieldOffset = DIDerivedType(varField).getOffsetInBits() >> 3;
Devang Patel161b2f42011-04-12 23:21:44 +0000622
623 // Decode the original location, and use that as the start of the byref
624 // variable's location.
Devang Patel161b2f42011-04-12 23:21:44 +0000625 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
626
Eric Christophercaba2632012-07-04 02:02:18 +0000627 if (Location.isReg())
628 addRegisterOp(Block, Location.getReg());
629 else
630 addRegisterOffset(Block, Location.getReg(), Location.getOffset());
Devang Patel161b2f42011-04-12 23:21:44 +0000631
632 // If we started with a pointer to the __Block_byref... struct, then
633 // the first thing we need to do is dereference the pointer (DW_OP_deref).
634 if (isPointer)
David Blaikie770530b2013-10-21 17:28:37 +0000635 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel161b2f42011-04-12 23:21:44 +0000636
637 // Next add the offset for the '__forwarding' field:
638 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
639 // adding the offset if it's 0.
640 if (forwardingFieldOffset > 0) {
David Blaikie770530b2013-10-21 17:28:37 +0000641 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
642 addUInt(Block, dwarf::DW_FORM_udata, forwardingFieldOffset);
Devang Patel161b2f42011-04-12 23:21:44 +0000643 }
644
645 // Now dereference the __forwarding field to get to the real __Block_byref
646 // struct: DW_OP_deref.
David Blaikie770530b2013-10-21 17:28:37 +0000647 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Devang Patel161b2f42011-04-12 23:21:44 +0000648
649 // Now that we've got the real __Block_byref... struct, add the offset
650 // for the variable's field to get to the location of the actual variable:
651 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
652 if (varFieldOffset > 0) {
David Blaikie770530b2013-10-21 17:28:37 +0000653 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
654 addUInt(Block, dwarf::DW_FORM_udata, varFieldOffset);
Devang Patel161b2f42011-04-12 23:21:44 +0000655 }
656
657 // Now attach the location information to the DIE.
David Blaikie770530b2013-10-21 17:28:37 +0000658 addBlock(Die, Attribute, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000659}
660
Devang Patel4ec14b02011-07-20 21:57:04 +0000661/// isTypeSigned - Return true if the type is signed.
Manman Renc664d762013-10-05 01:43:03 +0000662static bool isTypeSigned(DwarfDebug *DD, DIType Ty, int *SizeInBits) {
Devang Patel4ec14b02011-07-20 21:57:04 +0000663 if (Ty.isDerivedType())
Manman Renc664d762013-10-05 01:43:03 +0000664 return isTypeSigned(DD, DD->resolve(DIDerivedType(Ty).getTypeDerivedFrom()),
665 SizeInBits);
Devang Patel4ec14b02011-07-20 21:57:04 +0000666 if (Ty.isBasicType())
Eric Christopher6efc0432013-10-19 01:04:47 +0000667 if (DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed ||
668 DIBasicType(Ty).getEncoding() == dwarf::DW_ATE_signed_char) {
Devang Patel4ec14b02011-07-20 21:57:04 +0000669 *SizeInBits = Ty.getSizeInBits();
670 return true;
671 }
672 return false;
673}
674
Manman Renc664d762013-10-05 01:43:03 +0000675/// Return true if type encoding is unsigned.
676static bool isUnsignedDIType(DwarfDebug *DD, DIType Ty) {
677 DIDerivedType DTy(Ty);
678 if (DTy.isDerivedType())
679 return isUnsignedDIType(DD, DD->resolve(DTy.getTypeDerivedFrom()));
680
681 DIBasicType BTy(Ty);
682 if (BTy.isBasicType()) {
683 unsigned Encoding = BTy.getEncoding();
684 if (Encoding == dwarf::DW_ATE_unsigned ||
685 Encoding == dwarf::DW_ATE_unsigned_char ||
686 Encoding == dwarf::DW_ATE_boolean)
687 return true;
688 }
689 return false;
690}
691
692/// If this type is derived from a base type then return base type size.
Manman Ren43251002013-10-08 18:46:58 +0000693static uint64_t getBaseTypeSize(DwarfDebug *DD, DIDerivedType Ty) {
Manman Renc664d762013-10-05 01:43:03 +0000694 unsigned Tag = Ty.getTag();
695
696 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
697 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
698 Tag != dwarf::DW_TAG_restrict_type)
699 return Ty.getSizeInBits();
700
701 DIType BaseType = DD->resolve(Ty.getTypeDerivedFrom());
702
703 // If this type is not derived from any type then take conservative approach.
704 if (!BaseType.isValid())
705 return Ty.getSizeInBits();
706
707 // If this is a derived type, go ahead and get the base type, unless it's a
708 // reference then it's just the size of the field. Pointer types have no need
709 // of this since they're a different type of qualification on the type.
710 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
711 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
712 return Ty.getSizeInBits();
713
714 if (BaseType.isDerivedType())
Manman Ren43251002013-10-08 18:46:58 +0000715 return getBaseTypeSize(DD, DIDerivedType(BaseType));
Manman Renc664d762013-10-05 01:43:03 +0000716
717 return BaseType.getSizeInBits();
718}
719
Devang Patel161b2f42011-04-12 23:21:44 +0000720/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000721void CompileUnit::addConstantValue(DIE *Die, const MachineOperand &MO,
Devang Patelb58128e2011-05-27 16:45:18 +0000722 DIType Ty) {
David Blaikie4de9d722013-05-10 21:52:07 +0000723 // FIXME: This is a bit conservative/simple - it emits negative values at
724 // their maximum bit width which is a bit unfortunate (& doesn't prefer
725 // udata/sdata over dataN as suggested by the DWARF spec)
Nick Lewycky746cb672011-10-26 22:55:33 +0000726 assert(MO.isImm() && "Invalid machine operand!");
Devang Patel4ec14b02011-07-20 21:57:04 +0000727 int SizeInBits = -1;
Manman Renc664d762013-10-05 01:43:03 +0000728 bool SignedConstant = isTypeSigned(DD, Ty, &SizeInBits);
David Blaikie770530b2013-10-21 17:28:37 +0000729 dwarf::Form Form;
Devang Patel72f0d9c2011-05-27 18:15:52 +0000730
Eric Christopher7b2ee392013-08-27 23:49:04 +0000731 // If we're a signed constant definitely use sdata.
732 if (SignedConstant) {
733 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, MO.getImm());
734 return;
735 }
736
737 // Else use data for now unless it's larger than we can deal with.
738 switch (SizeInBits) {
739 case 8:
740 Form = dwarf::DW_FORM_data1;
741 break;
742 case 16:
743 Form = dwarf::DW_FORM_data2;
744 break;
745 case 32:
746 Form = dwarf::DW_FORM_data4;
747 break;
748 case 64:
749 Form = dwarf::DW_FORM_data8;
750 break;
751 default:
752 Form = dwarf::DW_FORM_udata;
753 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
754 return;
755 }
756 addUInt(Die, dwarf::DW_AT_const_value, Form, MO.getImm());
Devang Patel161b2f42011-04-12 23:21:44 +0000757}
758
759/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000760void CompileUnit::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Eric Christopher6efc0432013-10-19 01:04:47 +0000761 assert(MO.isFPImm() && "Invalid machine operand!");
Devang Patel161b2f42011-04-12 23:21:44 +0000762 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
763 APFloat FPImm = MO.getFPImm()->getValueAPF();
764
765 // Get the raw data form of the floating point.
766 const APInt FltVal = FPImm.bitcastToAPInt();
Eric Christopher6efc0432013-10-19 01:04:47 +0000767 const char *FltPtr = (const char *)FltVal.getRawData();
Devang Patel161b2f42011-04-12 23:21:44 +0000768
769 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Micah Villmow3574eca2012-10-08 16:38:25 +0000770 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel161b2f42011-04-12 23:21:44 +0000771 int Incr = (LittleEndian ? 1 : -1);
772 int Start = (LittleEndian ? 0 : NumBytes - 1);
773 int Stop = (LittleEndian ? NumBytes : -1);
774
775 // Output the constant to DWARF one byte at a time.
776 for (; Start != Stop; Start += Incr)
Eric Christopher61290022013-11-11 18:52:36 +0000777 addUInt(Block, dwarf::DW_FORM_data1, (unsigned char)0xFF & FltPtr[Start]);
Devang Patel161b2f42011-04-12 23:21:44 +0000778
David Blaikie770530b2013-10-21 17:28:37 +0000779 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000780}
781
David Blaikie14268412013-01-20 01:18:01 +0000782/// addConstantFPValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000783void CompileUnit::addConstantFPValue(DIE *Die, const ConstantFP *CFP) {
Eric Christopher7b2ee392013-08-27 23:49:04 +0000784 // Pass this down to addConstantValue as an unsigned bag of bits.
785 addConstantValue(Die, CFP->getValueAPF().bitcastToAPInt(), true);
David Blaikie14268412013-01-20 01:18:01 +0000786}
787
Devang Patel161b2f42011-04-12 23:21:44 +0000788/// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000789void CompileUnit::addConstantValue(DIE *Die, const ConstantInt *CI,
Devang Patel161b2f42011-04-12 23:21:44 +0000790 bool Unsigned) {
Eric Christophere4721492013-07-03 01:08:30 +0000791 addConstantValue(Die, CI->getValue(), Unsigned);
David Blaikie14268412013-01-20 01:18:01 +0000792}
793
794// addConstantValue - Add constant value entry in variable DIE.
Eric Christophere4721492013-07-03 01:08:30 +0000795void CompileUnit::addConstantValue(DIE *Die, const APInt &Val, bool Unsigned) {
David Blaikie14268412013-01-20 01:18:01 +0000796 unsigned CIBitWidth = Val.getBitWidth();
Devang Pateld6a81362011-05-28 00:39:18 +0000797 if (CIBitWidth <= 64) {
Eric Christopher7b2ee392013-08-27 23:49:04 +0000798 // If we're a signed constant definitely use sdata.
799 if (!Unsigned) {
800 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
801 Val.getSExtValue());
802 return;
Devang Pateld6a81362011-05-28 00:39:18 +0000803 }
Eric Christopher7b2ee392013-08-27 23:49:04 +0000804
805 // Else use data for now unless it's larger than we can deal with.
David Blaikie770530b2013-10-21 17:28:37 +0000806 dwarf::Form Form;
Eric Christopher7b2ee392013-08-27 23:49:04 +0000807 switch (CIBitWidth) {
808 case 8:
809 Form = dwarf::DW_FORM_data1;
810 break;
811 case 16:
812 Form = dwarf::DW_FORM_data2;
813 break;
814 case 32:
815 Form = dwarf::DW_FORM_data4;
816 break;
817 case 64:
818 Form = dwarf::DW_FORM_data8;
819 break;
820 default:
821 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
822 Val.getZExtValue());
823 return;
824 }
825 addUInt(Die, dwarf::DW_AT_const_value, Form, Val.getZExtValue());
Eric Christophere4721492013-07-03 01:08:30 +0000826 return;
Devang Patel161b2f42011-04-12 23:21:44 +0000827 }
828
829 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
830
831 // Get the raw data form of the large APInt.
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000832 const uint64_t *Ptr64 = Val.getRawData();
Devang Patel161b2f42011-04-12 23:21:44 +0000833
834 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
Micah Villmow3574eca2012-10-08 16:38:25 +0000835 bool LittleEndian = Asm->getDataLayout().isLittleEndian();
Devang Patel161b2f42011-04-12 23:21:44 +0000836
837 // Output the constant to DWARF one byte at a time.
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000838 for (int i = 0; i < NumBytes; i++) {
839 uint8_t c;
840 if (LittleEndian)
841 c = Ptr64[i / 8] >> (8 * (i & 7));
842 else
843 c = Ptr64[(NumBytes - 1 - i) / 8] >> (8 * ((NumBytes - 1 - i) & 7));
David Blaikie770530b2013-10-21 17:28:37 +0000844 addUInt(Block, dwarf::DW_FORM_data1, c);
NAKAMURA Takumic3e48c32011-10-28 14:12:22 +0000845 }
Devang Patel161b2f42011-04-12 23:21:44 +0000846
David Blaikie770530b2013-10-21 17:28:37 +0000847 addBlock(Die, dwarf::DW_AT_const_value, Block);
Devang Patel161b2f42011-04-12 23:21:44 +0000848}
849
Eric Christopher6c3bb942013-04-22 07:47:40 +0000850/// addTemplateParams - Add template parameters into buffer.
Devang Patel161b2f42011-04-12 23:21:44 +0000851void CompileUnit::addTemplateParams(DIE &Buffer, DIArray TParams) {
852 // Add template parameters.
853 for (unsigned i = 0, e = TParams.getNumElements(); i != e; ++i) {
854 DIDescriptor Element = TParams.getElement(i);
855 if (Element.isTemplateTypeParameter())
Manman Renbe87b692013-10-23 23:05:28 +0000856 constructTemplateTypeParameterDIE(Buffer,
857 DITemplateTypeParameter(Element));
Devang Patel161b2f42011-04-12 23:21:44 +0000858 else if (Element.isTemplateValueParameter())
Manman Renbe87b692013-10-23 23:05:28 +0000859 constructTemplateValueParameterDIE(Buffer,
860 DITemplateValueParameter(Element));
Devang Patel161b2f42011-04-12 23:21:44 +0000861 }
Devang Patel161b2f42011-04-12 23:21:44 +0000862}
Nick Lewycky746cb672011-10-26 22:55:33 +0000863
Eric Christopher6b6061f2013-01-16 01:22:23 +0000864/// getOrCreateContextDIE - Get context owner's DIE.
Eric Christopherccb66362013-10-04 23:49:26 +0000865DIE *CompileUnit::getOrCreateContextDIE(DIScope Context) {
David Blaikie8c0fecc2013-11-14 21:24:34 +0000866 if (!Context || Context.isFile())
867 return getCUDie();
Eric Christopher6b6061f2013-01-16 01:22:23 +0000868 if (Context.isType())
869 return getOrCreateTypeDIE(DIType(Context));
David Blaikief4837be2013-11-14 19:37:56 +0000870 if (Context.isNameSpace())
Eric Christopher6b6061f2013-01-16 01:22:23 +0000871 return getOrCreateNameSpace(DINameSpace(Context));
David Blaikief4837be2013-11-14 19:37:56 +0000872 if (Context.isSubprogram())
Eric Christopher6b6061f2013-01-16 01:22:23 +0000873 return getOrCreateSubprogramDIE(DISubprogram(Context));
Adrian Prantl7d5f2bd2013-11-15 19:53:23 +0000874 if (DIE *ContextDIE = getDIE(Context))
875 return ContextDIE;
876 return getCUDie();
Eric Christopher6b6061f2013-01-16 01:22:23 +0000877}
878
Devang Patel161b2f42011-04-12 23:21:44 +0000879/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
880/// given DIType.
Devang Patel94c7ddb2011-08-16 22:09:43 +0000881DIE *CompileUnit::getOrCreateTypeDIE(const MDNode *TyNode) {
David Blaikie41e1a182013-11-14 22:25:02 +0000882 if (!TyNode)
Devang Patel94c7ddb2011-08-16 22:09:43 +0000883 return NULL;
Manman Rend498e5e2013-10-29 22:49:29 +0000884
David Blaikie41e1a182013-11-14 22:25:02 +0000885 DIType Ty(TyNode);
886 assert(Ty.isType());
887
Manman Rend498e5e2013-10-29 22:49:29 +0000888 // Construct the context before querying for the existence of the DIE in case
889 // such construction creates the DIE.
890 DIE *ContextDIE = getOrCreateContextDIE(resolve(Ty.getContext()));
Manman Rend498e5e2013-10-29 22:49:29 +0000891
Eric Christopher3f045002013-10-04 17:08:38 +0000892 DIE *TyDIE = getDIE(Ty);
Devang Patel161b2f42011-04-12 23:21:44 +0000893 if (TyDIE)
894 return TyDIE;
895
896 // Create new type.
Manman Rend498e5e2013-10-29 22:49:29 +0000897 TyDIE = createAndAddDIE(Ty.getTag(), *ContextDIE, Ty);
898
Devang Patel161b2f42011-04-12 23:21:44 +0000899 if (Ty.isBasicType())
900 constructTypeDIE(*TyDIE, DIBasicType(Ty));
901 else if (Ty.isCompositeType())
902 constructTypeDIE(*TyDIE, DICompositeType(Ty));
903 else {
904 assert(Ty.isDerivedType() && "Unknown kind of DIType");
905 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
906 }
Eric Christopher1b3f9192011-11-10 19:52:58 +0000907 // If this is a named finished type then include it in the list of types
908 // for the accelerator tables.
Eric Christopherc36145f2012-01-06 04:35:23 +0000909 if (!Ty.getName().empty() && !Ty.isForwardDecl()) {
910 bool IsImplementation = 0;
911 if (Ty.isCompositeType()) {
912 DICompositeType CT(Ty);
Eric Christophere0167892012-01-06 23:03:37 +0000913 // A runtime language of 0 actually means C/C++ and that any
914 // non-negative value is some version of Objective-C/C++.
Eric Christopher6efc0432013-10-19 01:04:47 +0000915 IsImplementation = (CT.getRunTimeLang() == 0) || CT.isObjcClassComplete();
Eric Christopherc36145f2012-01-06 04:35:23 +0000916 }
Eric Christopher577056f2013-09-05 18:20:16 +0000917 unsigned Flags = IsImplementation ? dwarf::DW_FLAG_type_implementation : 0;
Eric Christophere0167892012-01-06 23:03:37 +0000918 addAccelType(Ty.getName(), std::make_pair(TyDIE, Flags));
Eric Christopherc36145f2012-01-06 04:35:23 +0000919 }
Eric Christopher8b4310b2012-11-21 00:34:38 +0000920
Devang Patel161b2f42011-04-12 23:21:44 +0000921 return TyDIE;
922}
923
924/// addType - Add a new type attribute to the specified entity.
David Blaikie770530b2013-10-21 17:28:37 +0000925void CompileUnit::addType(DIE *Entity, DIType Ty, dwarf::Attribute Attribute) {
Eric Christopherdc1363f2013-08-08 07:40:37 +0000926 assert(Ty && "Trying to add a type that doesn't exist?");
Devang Patel161b2f42011-04-12 23:21:44 +0000927
928 // Check for pre-existence.
929 DIEEntry *Entry = getDIEEntry(Ty);
930 // If it exists then use the existing value.
931 if (Entry) {
Manman Renb8b70e12013-10-31 17:54:35 +0000932 addDIEEntry(Entity, Attribute, Entry);
Devang Patel161b2f42011-04-12 23:21:44 +0000933 return;
934 }
935
936 // Construct type.
937 DIE *Buffer = getOrCreateTypeDIE(Ty);
938
939 // Set up proxy.
940 Entry = createDIEEntry(Buffer);
941 insertDIEEntry(Ty, Entry);
Manman Renb8b70e12013-10-31 17:54:35 +0000942 addDIEEntry(Entity, Attribute, Entry);
Devang Patele9ae06c2011-05-31 22:56:51 +0000943
944 // If this is a complete composite type then include it in the
945 // list of global types.
Devang Patelc20bdf12011-06-01 00:23:24 +0000946 addGlobalType(Ty);
Devang Patel66658e42011-05-31 23:30:30 +0000947}
948
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000949// Accelerator table mutators - add each name along with its companion
950// DIE to the proper table while ensuring that the name that we're going
951// to reference is in the string table. We do this since the names we
952// add may not only be identical to the names in the DIE.
953void CompileUnit::addAccelName(StringRef Name, DIE *Die) {
954 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000955 std::vector<DIE *> &DIEs = AccelNames[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000956 DIEs.push_back(Die);
957}
958
959void CompileUnit::addAccelObjC(StringRef Name, DIE *Die) {
960 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000961 std::vector<DIE *> &DIEs = AccelObjC[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000962 DIEs.push_back(Die);
963}
964
965void CompileUnit::addAccelNamespace(StringRef Name, DIE *Die) {
966 DU->getStringPoolEntry(Name);
Eric Christopher734334e2013-09-23 22:59:11 +0000967 std::vector<DIE *> &DIEs = AccelNamespace[Name];
Eric Christopher9e0b08d2013-09-20 23:22:52 +0000968 DIEs.push_back(Die);
969}
970
971void CompileUnit::addAccelType(StringRef Name, std::pair<DIE *, unsigned> Die) {
972 DU->getStringPoolEntry(Name);
973 std::vector<std::pair<DIE *, unsigned> > &DIEs = AccelTypes[Name];
974 DIEs.push_back(Die);
975}
976
Eric Christopher50d37a42013-09-20 22:20:55 +0000977/// addGlobalName - Add a new global name to the compile unit.
Eric Christopher91986572013-10-17 02:06:06 +0000978void CompileUnit::addGlobalName(StringRef Name, DIE *Die, DIScope Context) {
Eric Christopher0ab64392013-10-19 01:04:42 +0000979 std::string FullName = getParentContextString(Context) + Name.str();
Eric Christopher91986572013-10-17 02:06:06 +0000980 GlobalNames[FullName] = Die;
Eric Christopher50d37a42013-09-20 22:20:55 +0000981}
982
Devang Patel66658e42011-05-31 23:30:30 +0000983/// addGlobalType - Add a new global type to the compile unit.
984///
Devang Patelc20bdf12011-06-01 00:23:24 +0000985void CompileUnit::addGlobalType(DIType Ty) {
Eric Christophereee74fb2013-10-05 00:27:02 +0000986 DIScope Context = resolve(Ty.getContext());
Eric Christopher5a634742013-09-23 23:15:58 +0000987 if (!Ty.getName().empty() && !Ty.isForwardDecl() &&
Eric Christopher734334e2013-09-23 22:59:11 +0000988 (!Context || Context.isCompileUnit() || Context.isFile() ||
989 Context.isNameSpace()))
Eric Christopher91986572013-10-17 02:06:06 +0000990 if (DIEEntry *Entry = getDIEEntry(Ty)) {
Eric Christopher0ab64392013-10-19 01:04:42 +0000991 std::string FullName =
992 getParentContextString(Context) + Ty.getName().str();
Eric Christopher6efc0432013-10-19 01:04:47 +0000993 GlobalTypes[FullName] = Entry->getEntry();
Eric Christopher91986572013-10-17 02:06:06 +0000994 }
995}
996
997/// getParentContextString - Walks the metadata parent chain in a language
998/// specific manner (using the compile unit language) and returns
999/// it as a string. This is done at the metadata level because DIEs may
1000/// not currently have been added to the parent context and walking the
1001/// DIEs looking for names is more expensive than walking the metadata.
1002std::string CompileUnit::getParentContextString(DIScope Context) const {
1003 if (!Context)
1004 return "";
1005
1006 // FIXME: Decide whether to implement this for non-C++ languages.
1007 if (getLanguage() != dwarf::DW_LANG_C_plus_plus)
1008 return "";
1009
Eric Christopher0ab64392013-10-19 01:04:42 +00001010 std::string CS;
Eric Christopher91986572013-10-17 02:06:06 +00001011 SmallVector<DIScope, 1> Parents;
1012 while (!Context.isCompileUnit()) {
1013 Parents.push_back(Context);
1014 if (Context.getContext())
1015 Context = resolve(Context.getContext());
1016 else
1017 // Structure, etc types will have a NULL context if they're at the top
1018 // level.
1019 break;
1020 }
1021
1022 // Reverse iterate over our list to go from the outermost construct to the
1023 // innermost.
1024 for (SmallVectorImpl<DIScope>::reverse_iterator I = Parents.rbegin(),
1025 E = Parents.rend();
1026 I != E; ++I) {
1027 DIScope Ctx = *I;
1028 StringRef Name = Ctx.getName();
Eric Christopher0ab64392013-10-19 01:04:42 +00001029 if (!Name.empty()) {
Eric Christopher91986572013-10-17 02:06:06 +00001030 CS += Name;
1031 CS += "::";
1032 }
1033 }
1034 return CS;
Devang Patel161b2f42011-04-12 23:21:44 +00001035}
1036
Eric Christopher22852c72013-10-05 00:05:51 +00001037/// addPubTypes - Add subprogram argument types for pubtypes section.
Devang Patel31c5d052011-05-06 16:57:54 +00001038void CompileUnit::addPubTypes(DISubprogram SP) {
1039 DICompositeType SPTy = SP.getType();
Eric Christopher31667622013-08-08 01:41:00 +00001040 uint16_t SPTag = SPTy.getTag();
Devang Patel31c5d052011-05-06 16:57:54 +00001041 if (SPTag != dwarf::DW_TAG_subroutine_type)
1042 return;
1043
1044 DIArray Args = SPTy.getTypeArray();
1045 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1046 DIType ATy(Args.getElement(i));
Manman Rend03d2b22013-07-08 18:33:29 +00001047 if (!ATy.isType())
Devang Patel31c5d052011-05-06 16:57:54 +00001048 continue;
Devang Patelc20bdf12011-06-01 00:23:24 +00001049 addGlobalType(ATy);
Devang Patel31c5d052011-05-06 16:57:54 +00001050 }
1051}
1052
Devang Patel161b2f42011-04-12 23:21:44 +00001053/// constructTypeDIE - Construct basic type die from DIBasicType.
1054void CompileUnit::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
1055 // Get core information.
1056 StringRef Name = BTy.getName();
Devang Patel161b2f42011-04-12 23:21:44 +00001057 // Add name if not anonymous or intermediate type.
1058 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001059 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel734a67c2011-09-14 23:13:28 +00001060
David Blaikie916d49e2013-10-04 23:21:16 +00001061 // An unspecified type only has a name attribute.
1062 if (BTy.getTag() == dwarf::DW_TAG_unspecified_type)
Devang Patel734a67c2011-09-14 23:13:28 +00001063 return;
Devang Patel734a67c2011-09-14 23:13:28 +00001064
Nick Lewycky746cb672011-10-26 22:55:33 +00001065 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel30d409c2012-02-07 23:33:58 +00001066 BTy.getEncoding());
Devang Patel734a67c2011-09-14 23:13:28 +00001067
Devang Patel161b2f42011-04-12 23:21:44 +00001068 uint64_t Size = BTy.getSizeInBits() >> 3;
David Blaikie770530b2013-10-21 17:28:37 +00001069 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel161b2f42011-04-12 23:21:44 +00001070}
1071
1072/// constructTypeDIE - Construct derived type die from DIDerivedType.
1073void CompileUnit::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
1074 // Get core information.
1075 StringRef Name = DTy.getName();
1076 uint64_t Size = DTy.getSizeInBits() >> 3;
David Blaikie916d49e2013-10-04 23:21:16 +00001077 uint16_t Tag = Buffer.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +00001078
1079 // Map to main type, void will not have a type.
Manman Ren017ceda2013-10-08 18:42:58 +00001080 DIType FromTy = resolve(DTy.getTypeDerivedFrom());
Eric Christopherdc1363f2013-08-08 07:40:37 +00001081 if (FromTy)
1082 addType(&Buffer, FromTy);
Devang Patel161b2f42011-04-12 23:21:44 +00001083
1084 // Add name if not anonymous or intermediate type.
1085 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001086 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001087
1088 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopher35f225a2012-02-21 22:25:53 +00001089 if (Size && Tag != dwarf::DW_TAG_pointer_type)
David Blaikie770530b2013-10-21 17:28:37 +00001090 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Devang Patel161b2f42011-04-12 23:21:44 +00001091
David Blaikie62fdfb52013-01-07 05:51:15 +00001092 if (Tag == dwarf::DW_TAG_ptr_to_member_type)
Eric Christopher6efc0432013-10-19 01:04:47 +00001093 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
1094 getOrCreateTypeDIE(resolve(DTy.getClassType())));
Devang Patel161b2f42011-04-12 23:21:44 +00001095 // Add source line info if available and TyDesc is not a forward declaration.
1096 if (!DTy.isForwardDecl())
1097 addSourceLine(&Buffer, DTy);
1098}
1099
Eric Christopher3dee5752013-07-26 17:02:41 +00001100/// Return true if the type is appropriately scoped to be contained inside
1101/// its own type unit.
Manman Ren18eb2452013-09-09 19:23:58 +00001102static bool isTypeUnitScoped(DIType Ty, const DwarfDebug *DD) {
Manman Ren2c9905a2013-09-09 19:47:11 +00001103 DIScope Parent = DD->resolve(Ty.getContext());
Eric Christopher3dee5752013-07-26 17:02:41 +00001104 while (Parent) {
1105 // Don't generate a hash for anything scoped inside a function.
1106 if (Parent.isSubprogram())
1107 return false;
Manman Rene72aba92013-09-09 22:35:23 +00001108 Parent = DD->resolve(Parent.getContext());
Eric Christopher3dee5752013-07-26 17:02:41 +00001109 }
1110 return true;
1111}
1112
1113/// Return true if the type should be split out into a type unit.
Manman Ren18eb2452013-09-09 19:23:58 +00001114static bool shouldCreateTypeUnit(DICompositeType CTy, const DwarfDebug *DD) {
Eric Christopher31667622013-08-08 01:41:00 +00001115 uint16_t Tag = CTy.getTag();
Eric Christopher3dee5752013-07-26 17:02:41 +00001116
1117 switch (Tag) {
1118 case dwarf::DW_TAG_structure_type:
1119 case dwarf::DW_TAG_union_type:
1120 case dwarf::DW_TAG_enumeration_type:
1121 case dwarf::DW_TAG_class_type:
1122 // If this is a class, structure, union, or enumeration type
David Blaikiec4eb3532013-10-04 23:52:02 +00001123 // that is a definition (not a declaration), and not scoped
Eric Christopher3dee5752013-07-26 17:02:41 +00001124 // inside a function then separate this out as a type unit.
David Blaikiec4eb3532013-10-04 23:52:02 +00001125 return !CTy.isForwardDecl() && isTypeUnitScoped(CTy, DD);
Eric Christopher3dee5752013-07-26 17:02:41 +00001126 default:
David Blaikiec4eb3532013-10-04 23:52:02 +00001127 return false;
Eric Christopher3dee5752013-07-26 17:02:41 +00001128 }
1129}
1130
Devang Patel161b2f42011-04-12 23:21:44 +00001131/// constructTypeDIE - Construct type DIE from DICompositeType.
1132void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
1133 // Get core information.
1134 StringRef Name = CTy.getName();
1135
1136 uint64_t Size = CTy.getSizeInBits() >> 3;
David Blaikie916d49e2013-10-04 23:21:16 +00001137 uint16_t Tag = Buffer.getTag();
Devang Patel161b2f42011-04-12 23:21:44 +00001138
1139 switch (Tag) {
Devang Patel161b2f42011-04-12 23:21:44 +00001140 case dwarf::DW_TAG_array_type:
Eric Christopher883ed6b2013-11-11 18:52:31 +00001141 constructArrayTypeDIE(Buffer, CTy);
Devang Patel161b2f42011-04-12 23:21:44 +00001142 break;
Eric Christopher95339892013-11-11 18:52:39 +00001143 case dwarf::DW_TAG_enumeration_type:
1144 constructEnumTypeDIE(Buffer, CTy);
1145 break;
Devang Patel161b2f42011-04-12 23:21:44 +00001146 case dwarf::DW_TAG_subroutine_type: {
Eric Christopherdc1363f2013-08-08 07:40:37 +00001147 // Add return type. A void return won't have a type.
Devang Patel161b2f42011-04-12 23:21:44 +00001148 DIArray Elements = CTy.getTypeArray();
1149 DIDescriptor RTy = Elements.getElement(0);
Eric Christopherdc1363f2013-08-08 07:40:37 +00001150 if (RTy)
1151 addType(&Buffer, DIType(RTy));
Devang Patel161b2f42011-04-12 23:21:44 +00001152
1153 bool isPrototyped = true;
1154 // Add arguments.
1155 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
1156 DIDescriptor Ty = Elements.getElement(i);
1157 if (Ty.isUnspecifiedParameter()) {
Manman Ren1a5e7872013-10-29 00:53:03 +00001158 createAndAddDIE(dwarf::DW_TAG_unspecified_parameters, Buffer);
Devang Patel161b2f42011-04-12 23:21:44 +00001159 isPrototyped = false;
1160 } else {
Manman Ren1a5e7872013-10-29 00:53:03 +00001161 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, Buffer);
Devang Patel161b2f42011-04-12 23:21:44 +00001162 addType(Arg, DIType(Ty));
David Blaikieaaf2e632013-01-29 19:35:24 +00001163 if (DIType(Ty).isArtificial())
1164 addFlag(Arg, dwarf::DW_AT_artificial);
Devang Patel161b2f42011-04-12 23:21:44 +00001165 }
1166 }
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001167 // Add prototype flag if we're dealing with a C language and the
1168 // function has been prototyped.
Eric Christopher7b878952013-08-26 23:50:38 +00001169 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001170 if (isPrototyped &&
Eric Christopher6efc0432013-10-19 01:04:47 +00001171 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher4d069bf2012-05-22 18:45:24 +00001172 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001173 addFlag(&Buffer, dwarf::DW_AT_prototyped);
Eric Christopher6efc0432013-10-19 01:04:47 +00001174 } break;
Devang Patel161b2f42011-04-12 23:21:44 +00001175 case dwarf::DW_TAG_structure_type:
1176 case dwarf::DW_TAG_union_type:
1177 case dwarf::DW_TAG_class_type: {
Devang Patel161b2f42011-04-12 23:21:44 +00001178 // Add elements to structure type.
David Blaikiec8b93552013-08-01 20:30:22 +00001179 DIArray Elements = CTy.getTypeArray();
1180 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Devang Patel161b2f42011-04-12 23:21:44 +00001181 DIDescriptor Element = Elements.getElement(i);
1182 DIE *ElemDie = NULL;
1183 if (Element.isSubprogram()) {
1184 DISubprogram SP(Element);
Devang Pateldbc64af2011-08-15 17:24:54 +00001185 ElemDie = getOrCreateSubprogramDIE(DISubprogram(Element));
Devang Patel161b2f42011-04-12 23:21:44 +00001186 if (SP.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001187 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001188 dwarf::DW_ACCESS_protected);
1189 else if (SP.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001190 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001191 dwarf::DW_ACCESS_private);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001192 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001193 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Eric Christopher6efc0432013-10-19 01:04:47 +00001194 dwarf::DW_ACCESS_public);
Devang Patel161b2f42011-04-12 23:21:44 +00001195 if (SP.isExplicit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001196 addFlag(ElemDie, dwarf::DW_AT_explicit);
Eric Christopher663e0cf2012-03-28 07:34:31 +00001197 } else if (Element.isDerivedType()) {
Eric Christopher4d069bf2012-05-22 18:45:24 +00001198 DIDerivedType DDTy(Element);
1199 if (DDTy.getTag() == dwarf::DW_TAG_friend) {
Manman Ren1a5e7872013-10-29 00:53:03 +00001200 ElemDie = createAndAddDIE(dwarf::DW_TAG_friend, Buffer);
Manman Ren017ceda2013-10-08 18:42:58 +00001201 addType(ElemDie, resolve(DDTy.getTypeDerivedFrom()),
Manman Renc664d762013-10-05 01:43:03 +00001202 dwarf::DW_AT_friend);
Manman Ren655a10d2013-10-14 20:33:57 +00001203 } else if (DDTy.isStaticMember()) {
Manman Ren99addee2013-10-23 22:57:12 +00001204 getOrCreateStaticMemberDIE(DDTy);
Manman Ren655a10d2013-10-14 20:33:57 +00001205 } else {
Manman Rena1d25b62013-10-23 23:00:44 +00001206 constructMemberDIE(Buffer, DDTy);
Manman Ren655a10d2013-10-14 20:33:57 +00001207 }
Eric Christopher663e0cf2012-03-28 07:34:31 +00001208 } else if (Element.isObjCProperty()) {
Devang Patel30d409c2012-02-07 23:33:58 +00001209 DIObjCProperty Property(Element);
Manman Ren1a5e7872013-10-29 00:53:03 +00001210 ElemDie = createAndAddDIE(Property.getTag(), Buffer);
Devang Patel30d409c2012-02-07 23:33:58 +00001211 StringRef PropertyName = Property.getObjCPropertyName();
1212 addString(ElemDie, dwarf::DW_AT_APPLE_property_name, PropertyName);
Eric Christopher4d069bf2012-05-22 18:45:24 +00001213 addType(ElemDie, Property.getType());
1214 addSourceLine(ElemDie, Property);
Devang Patel30d409c2012-02-07 23:33:58 +00001215 StringRef GetterName = Property.getObjCPropertyGetterName();
1216 if (!GetterName.empty())
1217 addString(ElemDie, dwarf::DW_AT_APPLE_property_getter, GetterName);
1218 StringRef SetterName = Property.getObjCPropertySetterName();
1219 if (!SetterName.empty())
1220 addString(ElemDie, dwarf::DW_AT_APPLE_property_setter, SetterName);
1221 unsigned PropertyAttributes = 0;
Devang Patel9e11eb12012-02-04 01:30:32 +00001222 if (Property.isReadOnlyObjCProperty())
1223 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readonly;
1224 if (Property.isReadWriteObjCProperty())
1225 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_readwrite;
1226 if (Property.isAssignObjCProperty())
1227 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_assign;
1228 if (Property.isRetainObjCProperty())
1229 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_retain;
1230 if (Property.isCopyObjCProperty())
1231 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_copy;
1232 if (Property.isNonAtomicObjCProperty())
1233 PropertyAttributes |= dwarf::DW_APPLE_PROPERTY_nonatomic;
1234 if (PropertyAttributes)
David Blaikie770530b2013-10-21 17:28:37 +00001235 addUInt(ElemDie, dwarf::DW_AT_APPLE_property_attribute, None,
Eric Christopher6efc0432013-10-19 01:04:47 +00001236 PropertyAttributes);
Devang Patel6588abf2012-02-06 17:49:43 +00001237
Devang Patel30d409c2012-02-07 23:33:58 +00001238 DIEEntry *Entry = getDIEEntry(Element);
1239 if (!Entry) {
1240 Entry = createDIEEntry(ElemDie);
1241 insertDIEEntry(Element, Entry);
1242 }
Devang Patel9e11eb12012-02-04 01:30:32 +00001243 } else
Devang Patel161b2f42011-04-12 23:21:44 +00001244 continue;
Devang Patel161b2f42011-04-12 23:21:44 +00001245 }
1246
1247 if (CTy.isAppleBlockExtension())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001248 addFlag(&Buffer, dwarf::DW_AT_APPLE_block);
Devang Patel161b2f42011-04-12 23:21:44 +00001249
Eric Christophereee74fb2013-10-05 00:27:02 +00001250 DICompositeType ContainingType(resolve(CTy.getContainingType()));
Devang Patel161b2f42011-04-12 23:21:44 +00001251 if (DIDescriptor(ContainingType).isCompositeType())
Manman Ren87b110a2013-10-11 23:58:05 +00001252 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type,
Devang Patel161b2f42011-04-12 23:21:44 +00001253 getOrCreateTypeDIE(DIType(ContainingType)));
Devang Patel161b2f42011-04-12 23:21:44 +00001254
Devang Patel201e6cd2011-05-12 21:29:42 +00001255 if (CTy.isObjcClassComplete())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001256 addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);
Devang Patelb11f80e2011-05-12 19:06:16 +00001257
Eric Christopher1a8e8862011-12-16 23:42:42 +00001258 // Add template parameters to a class, structure or union types.
1259 // FIXME: The support isn't in the metadata for this yet.
1260 if (Tag == dwarf::DW_TAG_class_type ||
Eric Christopher6efc0432013-10-19 01:04:47 +00001261 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
Devang Patel161b2f42011-04-12 23:21:44 +00001262 addTemplateParams(Buffer, CTy.getTemplateParams());
1263
1264 break;
1265 }
1266 default:
1267 break;
1268 }
1269
1270 // Add name if not anonymous or intermediate type.
1271 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001272 addString(&Buffer, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001273
Eric Christopher4a5d8392012-05-22 18:45:18 +00001274 if (Tag == dwarf::DW_TAG_enumeration_type ||
Eric Christopher6efc0432013-10-19 01:04:47 +00001275 Tag == dwarf::DW_TAG_class_type || Tag == dwarf::DW_TAG_structure_type ||
Eric Christopher4a5d8392012-05-22 18:45:18 +00001276 Tag == dwarf::DW_TAG_union_type) {
Devang Patel161b2f42011-04-12 23:21:44 +00001277 // Add size if non-zero (derived types might be zero-sized.)
Eric Christopherfc4199b2012-06-01 00:22:32 +00001278 // TODO: Do we care about size for enum forward declarations?
Devang Patel161b2f42011-04-12 23:21:44 +00001279 if (Size)
David Blaikie770530b2013-10-21 17:28:37 +00001280 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, Size);
Eric Christopherfc4199b2012-06-01 00:22:32 +00001281 else if (!CTy.isForwardDecl())
Devang Patel161b2f42011-04-12 23:21:44 +00001282 // Add zero size if it is not a forward declaration.
David Blaikie770530b2013-10-21 17:28:37 +00001283 addUInt(&Buffer, dwarf::DW_AT_byte_size, None, 0);
Eric Christopherfc4199b2012-06-01 00:22:32 +00001284
1285 // If we're a forward decl, say so.
1286 if (CTy.isForwardDecl())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001287 addFlag(&Buffer, dwarf::DW_AT_declaration);
Devang Patel161b2f42011-04-12 23:21:44 +00001288
1289 // Add source line info if available.
1290 if (!CTy.isForwardDecl())
1291 addSourceLine(&Buffer, CTy);
Eric Christopher89388952012-03-07 00:15:19 +00001292
1293 // No harm in adding the runtime language to the declaration.
1294 unsigned RLang = CTy.getRunTimeLang();
1295 if (RLang)
Eric Christopher6efc0432013-10-19 01:04:47 +00001296 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class, dwarf::DW_FORM_data1,
1297 RLang);
Devang Patel161b2f42011-04-12 23:21:44 +00001298 }
Eric Christopher3dee5752013-07-26 17:02:41 +00001299 // If this is a type applicable to a type unit it then add it to the
1300 // list of types we'll compute a hash for later.
Manman Ren18eb2452013-09-09 19:23:58 +00001301 if (shouldCreateTypeUnit(CTy, DD))
Eric Christopher3dee5752013-07-26 17:02:41 +00001302 DD->addTypeUnitType(&Buffer);
Devang Patel161b2f42011-04-12 23:21:44 +00001303}
1304
Manman Renbe87b692013-10-23 23:05:28 +00001305/// constructTemplateTypeParameterDIE - Construct new DIE for the given
1306/// DITemplateTypeParameter.
Manman Ren99addee2013-10-23 22:57:12 +00001307void
Manman Renbe87b692013-10-23 23:05:28 +00001308CompileUnit::constructTemplateTypeParameterDIE(DIE &Buffer,
1309 DITemplateTypeParameter TP) {
Manman Ren1a5e7872013-10-29 00:53:03 +00001310 DIE *ParamDIE =
1311 createAndAddDIE(dwarf::DW_TAG_template_type_parameter, Buffer);
Eric Christopher76ef79f2013-08-08 08:09:43 +00001312 // Add the type if it exists, it could be void and therefore no type.
1313 if (TP.getType())
Manman Renb4d9c112013-10-09 19:46:28 +00001314 addType(ParamDIE, resolve(TP.getType()));
David Blaikiee88939c2013-06-22 18:59:11 +00001315 if (!TP.getName().empty())
1316 addString(ParamDIE, dwarf::DW_AT_name, TP.getName());
Devang Patel161b2f42011-04-12 23:21:44 +00001317}
1318
Manman Renbe87b692013-10-23 23:05:28 +00001319/// constructTemplateValueParameterDIE - Construct new DIE for the given
1320/// DITemplateValueParameter.
Manman Ren99addee2013-10-23 22:57:12 +00001321void
Manman Renbe87b692013-10-23 23:05:28 +00001322CompileUnit::constructTemplateValueParameterDIE(DIE &Buffer,
1323 DITemplateValueParameter VP) {
Manman Ren1a5e7872013-10-29 00:53:03 +00001324 DIE *ParamDIE = createAndAddDIE(VP.getTag(), Buffer);
Eric Christopherdc1363f2013-08-08 07:40:37 +00001325
1326 // Add the type if there is one, template template and template parameter
1327 // packs will not have a type.
Eric Christopheref2d9192013-10-21 17:48:51 +00001328 if (VP.getTag() == dwarf::DW_TAG_template_value_parameter)
Manman Renb4d9c112013-10-09 19:46:28 +00001329 addType(ParamDIE, resolve(VP.getType()));
Eric Christopherafdd1f82013-08-08 07:40:31 +00001330 if (!VP.getName().empty())
1331 addString(ParamDIE, dwarf::DW_AT_name, VP.getName());
1332 if (Value *Val = VP.getValue()) {
David Blaikie4de9d722013-05-10 21:52:07 +00001333 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val))
Manman Renb4d9c112013-10-09 19:46:28 +00001334 addConstantValue(ParamDIE, CI,
1335 isUnsignedDIType(DD, resolve(VP.getType())));
David Blaikie4de9d722013-05-10 21:52:07 +00001336 else if (GlobalValue *GV = dyn_cast<GlobalValue>(Val)) {
1337 // For declaration non-type template parameters (such as global values and
1338 // functions)
1339 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindolaffc7dca2013-10-29 17:07:16 +00001340 addOpAddress(Block, Asm->getSymbol(GV));
David Blaikie4de9d722013-05-10 21:52:07 +00001341 // Emit DW_OP_stack_value to use the address as the immediate value of the
1342 // parameter, rather than a pointer to it.
David Blaikie770530b2013-10-21 17:28:37 +00001343 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value);
1344 addBlock(ParamDIE, dwarf::DW_AT_location, Block);
Eric Christopherafdd1f82013-08-08 07:40:31 +00001345 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_template_param) {
David Blaikiee88939c2013-06-22 18:59:11 +00001346 assert(isa<MDString>(Val));
1347 addString(ParamDIE, dwarf::DW_AT_GNU_template_name,
1348 cast<MDString>(Val)->getString());
Eric Christopherafdd1f82013-08-08 07:40:31 +00001349 } else if (VP.getTag() == dwarf::DW_TAG_GNU_template_parameter_pack) {
David Blaikiee88939c2013-06-22 18:59:11 +00001350 assert(isa<MDNode>(Val));
1351 DIArray A(cast<MDNode>(Val));
1352 addTemplateParams(*ParamDIE, A);
David Blaikie4de9d722013-05-10 21:52:07 +00001353 }
1354 }
Devang Patel161b2f42011-04-12 23:21:44 +00001355}
1356
Devang Patel31c5d052011-05-06 16:57:54 +00001357/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1358DIE *CompileUnit::getOrCreateNameSpace(DINameSpace NS) {
Manman Ren6b713802013-10-29 05:49:41 +00001359 // Construct the context before querying for the existence of the DIE in case
1360 // such construction creates the DIE.
1361 DIE *ContextDIE = getOrCreateContextDIE(NS.getContext());
Manman Ren6b713802013-10-29 05:49:41 +00001362
Devang Patel31c5d052011-05-06 16:57:54 +00001363 DIE *NDie = getDIE(NS);
1364 if (NDie)
1365 return NDie;
Manman Ren6b713802013-10-29 05:49:41 +00001366 NDie = createAndAddDIE(dwarf::DW_TAG_namespace, *ContextDIE, NS);
1367
Eric Christopher09ac3d82011-11-07 09:24:32 +00001368 if (!NS.getName().empty()) {
Nick Lewycky390c40d2011-10-27 06:44:11 +00001369 addString(NDie, dwarf::DW_AT_name, NS.getName());
Eric Christopher09ac3d82011-11-07 09:24:32 +00001370 addAccelNamespace(NS.getName(), NDie);
Eric Christopher91986572013-10-17 02:06:06 +00001371 addGlobalName(NS.getName(), NDie, NS.getContext());
Eric Christopher09ac3d82011-11-07 09:24:32 +00001372 } else
1373 addAccelNamespace("(anonymous namespace)", NDie);
Devang Patel31c5d052011-05-06 16:57:54 +00001374 addSourceLine(NDie, NS);
Devang Patel31c5d052011-05-06 16:57:54 +00001375 return NDie;
1376}
1377
Devang Pateldbc64af2011-08-15 17:24:54 +00001378/// getOrCreateSubprogramDIE - Create new DIE using SP.
1379DIE *CompileUnit::getOrCreateSubprogramDIE(DISubprogram SP) {
David Blaikiec32f2332013-10-04 01:39:59 +00001380 // Construct the context before querying for the existence of the DIE in case
1381 // such construction creates the DIE (as is the case for member function
1382 // declarations).
Manman Renb8e48a62013-10-10 18:40:01 +00001383 DIE *ContextDIE = getOrCreateContextDIE(resolve(SP.getContext()));
David Blaikiec32f2332013-10-04 01:39:59 +00001384
Eric Christopher3f045002013-10-04 17:08:38 +00001385 DIE *SPDie = getDIE(SP);
Devang Pateldbc64af2011-08-15 17:24:54 +00001386 if (SPDie)
1387 return SPDie;
1388
Manman Renbbdd02c2013-10-29 00:58:04 +00001389 DISubprogram SPDecl = SP.getFunctionDeclaration();
1390 if (SPDecl.isSubprogram())
1391 // Add subprogram definitions to the CU die directly.
1392 ContextDIE = CUDie.get();
Peter Collingbourne27302f02012-05-27 18:36:44 +00001393
1394 // DW_TAG_inlined_subroutine may refer to this DIE.
Manman Renbbdd02c2013-10-29 00:58:04 +00001395 SPDie = createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, SP);
Peter Collingbourne27302f02012-05-27 18:36:44 +00001396
Rafael Espindola01b55b42011-11-10 22:34:29 +00001397 DIE *DeclDie = NULL;
Manman Ren250f4e82013-10-23 22:12:26 +00001398 if (SPDecl.isSubprogram())
Rafael Espindola01b55b42011-11-10 22:34:29 +00001399 DeclDie = getOrCreateSubprogramDIE(SPDecl);
Rafael Espindola01b55b42011-11-10 22:34:29 +00001400
Devang Pateldbc64af2011-08-15 17:24:54 +00001401 // Add function template parameters.
1402 addTemplateParams(*SPDie, SP.getTemplateParams());
1403
Devang Pateldbc64af2011-08-15 17:24:54 +00001404 // If this DIE is going to refer declaration info using AT_specification
Eric Christopherc4968752013-05-09 00:42:33 +00001405 // then there is no need to add other attributes.
Rafael Espindola01b55b42011-11-10 22:34:29 +00001406 if (DeclDie) {
1407 // Refer function declaration directly.
Manman Ren87b110a2013-10-11 23:58:05 +00001408 addDIEEntry(SPDie, dwarf::DW_AT_specification, DeclDie);
Rafael Espindola01b55b42011-11-10 22:34:29 +00001409
Devang Pateldbc64af2011-08-15 17:24:54 +00001410 return SPDie;
Rafael Espindola01b55b42011-11-10 22:34:29 +00001411 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001412
Eric Christophercbbd5b12012-08-23 22:52:55 +00001413 // Add the linkage name if we have one.
Michael Gottesmandc42d032013-09-04 04:39:38 +00001414 StringRef LinkageName = SP.getLinkageName();
1415 if (!LinkageName.empty())
Eric Christophercbbd5b12012-08-23 22:52:55 +00001416 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001417 GlobalValue::getRealLinkageName(LinkageName));
Eric Christophercbbd5b12012-08-23 22:52:55 +00001418
Devang Pateldbc64af2011-08-15 17:24:54 +00001419 // Constructors and operators for anonymous aggregates do not have names.
1420 if (!SP.getName().empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001421 addString(SPDie, dwarf::DW_AT_name, SP.getName());
Devang Pateldbc64af2011-08-15 17:24:54 +00001422
1423 addSourceLine(SPDie, SP);
1424
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001425 // Add the prototype if we have a prototype and we have a C like
1426 // language.
Eric Christopher7b878952013-08-26 23:50:38 +00001427 uint16_t Language = DICompileUnit(Node).getLanguage();
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001428 if (SP.isPrototyped() &&
Eric Christopher6efc0432013-10-19 01:04:47 +00001429 (Language == dwarf::DW_LANG_C89 || Language == dwarf::DW_LANG_C99 ||
Eric Christopher8b6fe6b2012-02-22 08:46:21 +00001430 Language == dwarf::DW_LANG_ObjC))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001431 addFlag(SPDie, dwarf::DW_AT_prototyped);
Devang Pateldbc64af2011-08-15 17:24:54 +00001432
Devang Pateldbc64af2011-08-15 17:24:54 +00001433 DICompositeType SPTy = SP.getType();
David Blaikie3d331842013-05-22 23:22:18 +00001434 assert(SPTy.getTag() == dwarf::DW_TAG_subroutine_type &&
1435 "the type of a subprogram should be a subroutine");
Devang Pateldbc64af2011-08-15 17:24:54 +00001436
David Blaikie3d331842013-05-22 23:22:18 +00001437 DIArray Args = SPTy.getTypeArray();
Eric Christopheref2d9192013-10-21 17:48:51 +00001438 // Add a return type. If this is a type like a C/C++ void type we don't add a
1439 // return type.
Eric Christopherdc1363f2013-08-08 07:40:37 +00001440 if (Args.getElement(0))
1441 addType(SPDie, DIType(Args.getElement(0)));
Devang Pateldbc64af2011-08-15 17:24:54 +00001442
1443 unsigned VK = SP.getVirtuality();
1444 if (VK) {
Nick Lewycky798313d2011-12-14 00:56:07 +00001445 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1, VK);
Devang Pateldbc64af2011-08-15 17:24:54 +00001446 DIEBlock *Block = getDIEBlock();
David Blaikie770530b2013-10-21 17:28:37 +00001447 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1448 addUInt(Block, dwarf::DW_FORM_udata, SP.getVirtualIndex());
1449 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, Block);
Eric Christopher61290022013-11-11 18:52:36 +00001450 ContainingTypeMap.insert(
1451 std::make_pair(SPDie, resolve(SP.getContainingType())));
Devang Pateldbc64af2011-08-15 17:24:54 +00001452 }
1453
1454 if (!SP.isDefinition()) {
Eric Christopher873cf0a2012-08-24 01:14:27 +00001455 addFlag(SPDie, dwarf::DW_AT_declaration);
Eric Christopher8b4310b2012-11-21 00:34:38 +00001456
Devang Pateldbc64af2011-08-15 17:24:54 +00001457 // Add arguments. Do not add arguments for subprogram definition. They will
1458 // be handled while processing variables.
Eric Christopher6efc0432013-10-19 01:04:47 +00001459 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Manman Ren1a5e7872013-10-29 00:53:03 +00001460 DIE *Arg = createAndAddDIE(dwarf::DW_TAG_formal_parameter, *SPDie);
David Blaikie3d331842013-05-22 23:22:18 +00001461 DIType ATy = DIType(Args.getElement(i));
1462 addType(Arg, ATy);
1463 if (ATy.isArtificial())
1464 addFlag(Arg, dwarf::DW_AT_artificial);
David Blaikie3d331842013-05-22 23:22:18 +00001465 }
Devang Pateldbc64af2011-08-15 17:24:54 +00001466 }
1467
1468 if (SP.isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001469 addFlag(SPDie, dwarf::DW_AT_artificial);
Devang Pateldbc64af2011-08-15 17:24:54 +00001470
1471 if (!SP.isLocalToUnit())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001472 addFlag(SPDie, dwarf::DW_AT_external);
Devang Pateldbc64af2011-08-15 17:24:54 +00001473
1474 if (SP.isOptimized())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001475 addFlag(SPDie, dwarf::DW_AT_APPLE_optimized);
Devang Pateldbc64af2011-08-15 17:24:54 +00001476
1477 if (unsigned isa = Asm->getISAEncoding()) {
1478 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1479 }
1480
1481 return SPDie;
1482}
1483
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001484// Return const expression if value is a GEP to access merged global
1485// constant. e.g.
1486// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1487static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1488 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1489 if (!CE || CE->getNumOperands() != 3 ||
1490 CE->getOpcode() != Instruction::GetElementPtr)
1491 return NULL;
1492
1493 // First operand points to a global struct.
1494 Value *Ptr = CE->getOperand(0);
1495 if (!isa<GlobalValue>(Ptr) ||
1496 !isa<StructType>(cast<PointerType>(Ptr->getType())->getElementType()))
1497 return NULL;
1498
1499 // Second operand is zero.
1500 const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1501 if (!CI || !CI->isZero())
1502 return NULL;
1503
1504 // Third operand is offset.
1505 if (!isa<ConstantInt>(CE->getOperand(2)))
1506 return NULL;
1507
1508 return CE;
1509}
1510
1511/// createGlobalVariableDIE - create global variable DIE.
1512void CompileUnit::createGlobalVariableDIE(const MDNode *N) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001513 // Check for pre-existence.
Devang Patel49e2f032011-08-18 22:21:50 +00001514 if (getDIE(N))
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001515 return;
1516
Devang Patel49e2f032011-08-18 22:21:50 +00001517 DIGlobalVariable GV(N);
Manman Rend03d2b22013-07-08 18:33:29 +00001518 if (!GV.isGlobalVariable())
Devang Patel28bea082011-08-18 23:17:55 +00001519 return;
1520
Eric Christopherccb66362013-10-04 23:49:26 +00001521 DIScope GVContext = GV.getContext();
Eric Christopher6b6061f2013-01-16 01:22:23 +00001522 DIType GTy = GV.getType();
1523
1524 // If this is a static data member definition, some attributes belong
1525 // to the declaration DIE.
1526 DIE *VariableDIE = NULL;
Manman Ren945e8282013-02-01 23:54:37 +00001527 bool IsStaticMember = false;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001528 DIDerivedType SDMDecl = GV.getStaticDataMemberDeclaration();
1529 if (SDMDecl.Verify()) {
1530 assert(SDMDecl.isStaticMember() && "Expected static member decl");
1531 // We need the declaration DIE that is in the static member's class.
Manman Ren655a10d2013-10-14 20:33:57 +00001532 VariableDIE = getOrCreateStaticMemberDIE(SDMDecl);
Manman Ren945e8282013-02-01 23:54:37 +00001533 IsStaticMember = true;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001534 }
1535
1536 // If this is not a static data member definition, create the variable
1537 // DIE and add the initial set of attributes to it.
1538 if (!VariableDIE) {
Manman Ren6b713802013-10-29 05:49:41 +00001539 // Construct the context before querying for the existence of the DIE in
1540 // case such construction creates the DIE.
1541 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
Manman Ren6b713802013-10-29 05:49:41 +00001542
Eric Christopher6b6061f2013-01-16 01:22:23 +00001543 // Add to map.
Manman Ren6b713802013-10-29 05:49:41 +00001544 VariableDIE = createAndAddDIE(GV.getTag(), *ContextDIE, N);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001545
1546 // Add name and type.
1547 addString(VariableDIE, dwarf::DW_AT_name, GV.getDisplayName());
1548 addType(VariableDIE, GTy);
1549
1550 // Add scoping info.
Eric Christophera486f552013-10-16 01:37:49 +00001551 if (!GV.isLocalToUnit())
Eric Christopher6b6061f2013-01-16 01:22:23 +00001552 addFlag(VariableDIE, dwarf::DW_AT_external);
1553
1554 // Add line number info.
1555 addSourceLine(VariableDIE, GV);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001556 }
1557
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001558 // Add location.
Eric Christopher09ac3d82011-11-07 09:24:32 +00001559 bool addToAccelTable = false;
Eric Christopherd61c34b2011-11-11 03:16:32 +00001560 DIE *VariableSpecDIE = NULL;
Eric Christopher6b6061f2013-01-16 01:22:23 +00001561 bool isGlobalVariable = GV.getGlobal() != NULL;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001562 if (isGlobalVariable) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001563 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001564 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Rafael Espindolaffc7dca2013-10-29 17:07:16 +00001565 const MCSymbol *Sym = Asm->getSymbol(GV.getGlobal());
David Blaikie59eaa382013-06-28 20:05:11 +00001566 if (GV.getGlobal()->isThreadLocal()) {
1567 // FIXME: Make this work with -gsplit-dwarf.
1568 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
1569 assert((PointerSize == 4 || PointerSize == 8) &&
1570 "Add support for other sizes if necessary");
Ulrich Weigand716a94f2013-07-02 18:47:09 +00001571 const MCExpr *Expr =
David Blaikie8fed05e2013-07-01 23:55:52 +00001572 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym);
David Blaikie59eaa382013-06-28 20:05:11 +00001573 // Based on GCC's support for TLS:
David Blaikie8fed05e2013-07-01 23:55:52 +00001574 if (!DD->useSplitDwarf()) {
1575 // 1) Start with a constNu of the appropriate pointer size
David Blaikie770530b2013-10-21 17:28:37 +00001576 addUInt(Block, dwarf::DW_FORM_data1,
David Blaikie8fed05e2013-07-01 23:55:52 +00001577 PointerSize == 4 ? dwarf::DW_OP_const4u : dwarf::DW_OP_const8u);
Richard Mitton379f76e2013-10-07 18:39:18 +00001578 // 2) containing the (relocated) offset of the TLS variable
1579 // within the module's TLS block.
David Blaikie770530b2013-10-21 17:28:37 +00001580 addExpr(Block, dwarf::DW_FORM_udata, Expr);
David Blaikie8fed05e2013-07-01 23:55:52 +00001581 } else {
David Blaikie770530b2013-10-21 17:28:37 +00001582 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
1583 addUInt(Block, dwarf::DW_FORM_udata, DU->getAddrPoolIndex(Expr));
David Blaikie8fed05e2013-07-01 23:55:52 +00001584 }
Richard Mitton379f76e2013-10-07 18:39:18 +00001585 // 3) followed by a custom OP to make the debugger do a TLS lookup.
David Blaikie770530b2013-10-21 17:28:37 +00001586 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_push_tls_address);
David Blaikie59eaa382013-06-28 20:05:11 +00001587 } else
1588 addOpAddress(Block, Sym);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001589 // Do not create specification DIE if context is either compile unit
1590 // or a subprogram.
Devang Patel1dd4e562011-09-21 23:41:11 +00001591 if (GVContext && GV.isDefinition() && !GVContext.isCompileUnit() &&
Manman Ren02d29672013-09-09 19:05:21 +00001592 !GVContext.isFile() && !DD->isSubprogramContext(GVContext)) {
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001593 // Create specification DIE.
Manman Ren1a5e7872013-10-29 00:53:03 +00001594 VariableSpecDIE = createAndAddDIE(dwarf::DW_TAG_variable, *CUDie.get());
Manman Ren87b110a2013-10-11 23:58:05 +00001595 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification, VariableDIE);
David Blaikie770530b2013-10-21 17:28:37 +00001596 addBlock(VariableSpecDIE, dwarf::DW_AT_location, Block);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001597 // A static member's declaration is already flagged as such.
1598 if (!SDMDecl.Verify())
1599 addFlag(VariableDIE, dwarf::DW_AT_declaration);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001600 } else {
David Blaikie770530b2013-10-21 17:28:37 +00001601 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001602 }
Michael Gottesmandc42d032013-09-04 04:39:38 +00001603 // Add the linkage name.
Eric Christopher6b6061f2013-01-16 01:22:23 +00001604 StringRef LinkageName = GV.getLinkageName();
Michael Gottesmandc42d032013-09-04 04:39:38 +00001605 if (!LinkageName.empty())
Eric Christopher8d45a982013-02-27 23:49:47 +00001606 // From DWARF4: DIEs to which DW_AT_linkage_name may apply include:
1607 // TAG_common_block, TAG_constant, TAG_entry_point, TAG_subprogram and
1608 // TAG_variable.
Eric Christopher6efc0432013-10-19 01:04:47 +00001609 addString(IsStaticMember && VariableSpecDIE ? VariableSpecDIE
1610 : VariableDIE,
1611 dwarf::DW_AT_MIPS_linkage_name,
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +00001612 GlobalValue::getRealLinkageName(LinkageName));
Eric Christopher8b4310b2012-11-21 00:34:38 +00001613 } else if (const ConstantInt *CI =
Eric Christopher6efc0432013-10-19 01:04:47 +00001614 dyn_cast_or_null<ConstantInt>(GV.getConstant())) {
Adrian Prantl2e892e42013-04-04 22:56:49 +00001615 // AT_const_value was added when the static member was created. To avoid
Manman Ren945e8282013-02-01 23:54:37 +00001616 // emitting AT_const_value multiple times, we only add AT_const_value when
1617 // it is not a static member.
1618 if (!IsStaticMember)
Manman Renc664d762013-10-05 01:43:03 +00001619 addConstantValue(VariableDIE, CI, isUnsignedDIType(DD, GTy));
Manman Ren945e8282013-02-01 23:54:37 +00001620 } else if (const ConstantExpr *CE = getMergedGlobalExpr(N->getOperand(11))) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001621 addToAccelTable = true;
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001622 // GV is a merged global.
1623 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1624 Value *Ptr = CE->getOperand(0);
Rafael Espindolaffc7dca2013-10-29 17:07:16 +00001625 addOpAddress(Block, Asm->getSymbol(cast<GlobalValue>(Ptr)));
David Blaikie770530b2013-10-21 17:28:37 +00001626 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Eric Christopher6efc0432013-10-19 01:04:47 +00001627 SmallVector<Value *, 3> Idx(CE->op_begin() + 1, CE->op_end());
David Blaikie770530b2013-10-21 17:28:37 +00001628 addUInt(Block, dwarf::DW_FORM_udata,
Eric Christopher6efc0432013-10-19 01:04:47 +00001629 Asm->getDataLayout().getIndexedOffset(Ptr->getType(), Idx));
David Blaikie770530b2013-10-21 17:28:37 +00001630 addUInt(Block, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1631 addBlock(VariableDIE, dwarf::DW_AT_location, Block);
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001632 }
1633
Eric Christopherd117fbb2011-11-11 01:55:22 +00001634 if (addToAccelTable) {
1635 DIE *AddrDIE = VariableSpecDIE ? VariableSpecDIE : VariableDIE;
1636 addAccelName(GV.getName(), AddrDIE);
Eric Christopher09ac3d82011-11-07 09:24:32 +00001637
Eric Christopherd117fbb2011-11-11 01:55:22 +00001638 // If the linkage name is different than the name, go ahead and output
1639 // that as well into the name table.
1640 if (GV.getLinkageName() != "" && GV.getName() != GV.getLinkageName())
1641 addAccelName(GV.getLinkageName(), AddrDIE);
1642 }
Eric Christophera486f552013-10-16 01:37:49 +00001643
1644 if (!GV.isLocalToUnit())
Eric Christopher91986572013-10-17 02:06:06 +00001645 addGlobalName(GV.getName(), VariableSpecDIE ? VariableSpecDIE : VariableDIE,
1646 GV.getContext());
Devang Patel6f9d8ff2011-08-15 17:57:41 +00001647}
1648
Devang Patel161b2f42011-04-12 23:21:44 +00001649/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
Eric Christopher4d069bf2012-05-22 18:45:24 +00001650void CompileUnit::constructSubrangeDIE(DIE &Buffer, DISubrange SR,
1651 DIE *IndexTy) {
Manman Ren1a5e7872013-10-29 00:53:03 +00001652 DIE *DW_Subrange = createAndAddDIE(dwarf::DW_TAG_subrange_type, Buffer);
Manman Ren87b110a2013-10-11 23:58:05 +00001653 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, IndexTy);
Devang Patel161b2f42011-04-12 23:21:44 +00001654
Bill Wendling222c2fd2012-12-06 07:38:10 +00001655 // The LowerBound value defines the lower bounds which is typically zero for
1656 // C/C++. The Count value is the number of elements. Values are 64 bit. If
1657 // Count == -1 then the array is unbounded and we do not emit
1658 // DW_AT_lower_bound and DW_AT_upper_bound attributes. If LowerBound == 0 and
1659 // Count == 0, then the array has zero elements in which case we do not emit
1660 // an upper bound.
1661 int64_t LowerBound = SR.getLo();
Bill Wendling6afe4782012-12-06 07:55:19 +00001662 int64_t DefaultLowerBound = getDefaultLowerBound();
Bill Wendling9493dae2012-12-04 21:34:03 +00001663 int64_t Count = SR.getCount();
Devang Patel161b2f42011-04-12 23:21:44 +00001664
Bill Wendling6afe4782012-12-06 07:55:19 +00001665 if (DefaultLowerBound == -1 || LowerBound != DefaultLowerBound)
David Blaikie770530b2013-10-21 17:28:37 +00001666 addUInt(DW_Subrange, dwarf::DW_AT_lower_bound, None, LowerBound);
Bill Wendling222c2fd2012-12-06 07:38:10 +00001667
1668 if (Count != -1 && Count != 0)
Bill Wendling9493dae2012-12-04 21:34:03 +00001669 // FIXME: An unbounded array should reference the expression that defines
1670 // the array.
Eric Christopher61290022013-11-11 18:52:36 +00001671 addUInt(DW_Subrange, dwarf::DW_AT_upper_bound, None,
1672 LowerBound + Count - 1);
Devang Patel161b2f42011-04-12 23:21:44 +00001673}
1674
1675/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christopher883ed6b2013-11-11 18:52:31 +00001676void CompileUnit::constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy) {
1677 if (CTy.isVector())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001678 addFlag(&Buffer, dwarf::DW_AT_GNU_vector);
Devang Patel161b2f42011-04-12 23:21:44 +00001679
Eric Christopherdc1363f2013-08-08 07:40:37 +00001680 // Emit the element type.
Eric Christopher883ed6b2013-11-11 18:52:31 +00001681 addType(&Buffer, resolve(CTy.getTypeDerivedFrom()));
Devang Patel161b2f42011-04-12 23:21:44 +00001682
1683 // Get an anonymous type for index type.
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001684 // FIXME: This type should be passed down from the front end
1685 // as different languages may have different sizes for indexes.
Devang Patel161b2f42011-04-12 23:21:44 +00001686 DIE *IdxTy = getIndexTyDie();
1687 if (!IdxTy) {
1688 // Construct an anonymous type for index type.
Manman Ren1a5e7872013-10-29 00:53:03 +00001689 IdxTy = createAndAddDIE(dwarf::DW_TAG_base_type, *CUDie.get());
Eric Christopher8cab6ed2013-01-04 21:51:53 +00001690 addString(IdxTy, dwarf::DW_AT_name, "int");
David Blaikie770530b2013-10-21 17:28:37 +00001691 addUInt(IdxTy, dwarf::DW_AT_byte_size, None, sizeof(int32_t));
Devang Patel161b2f42011-04-12 23:21:44 +00001692 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1693 dwarf::DW_ATE_signed);
Devang Patel161b2f42011-04-12 23:21:44 +00001694 setIndexTyDie(IdxTy);
1695 }
1696
1697 // Add subranges to array type.
Eric Christopher883ed6b2013-11-11 18:52:31 +00001698 DIArray Elements = CTy.getTypeArray();
Devang Patel161b2f42011-04-12 23:21:44 +00001699 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1700 DIDescriptor Element = Elements.getElement(i);
1701 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1702 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
1703 }
1704}
1705
Eric Christopher95339892013-11-11 18:52:39 +00001706/// constructEnumTypeDIE - Construct an enum type DIE from DICompositeType.
1707void CompileUnit::constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy) {
1708 DIArray Elements = CTy.getTypeArray();
1709
1710 // Add enumerators to enumeration type.
1711 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1712 DIDescriptor Enum(Elements.getElement(i));
1713 DIEnumerator ETy = DIEnumerator(Enum);
1714 if (Enum.isEnumerator()) {
1715 DIE *Enumerator = createAndAddDIE(dwarf::DW_TAG_enumerator, Buffer);
1716 StringRef Name = ETy.getName();
1717 addString(Enumerator, dwarf::DW_AT_name, Name);
1718 int64_t Value = ETy.getEnumValue();
1719 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
1720 }
1721 }
1722 DIType DTy = resolve(CTy.getTypeDerivedFrom());
1723 if (DTy) {
1724 addType(&Buffer, DTy);
1725 addFlag(&Buffer, dwarf::DW_AT_enum_class);
1726 }
Devang Patel161b2f42011-04-12 23:21:44 +00001727}
1728
Devang Pateldbc64af2011-08-15 17:24:54 +00001729/// constructContainingTypeDIEs - Construct DIEs for types that contain
1730/// vtables.
1731void CompileUnit::constructContainingTypeDIEs() {
1732 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Eric Christopher6efc0432013-10-19 01:04:47 +00001733 CE = ContainingTypeMap.end();
1734 CI != CE; ++CI) {
Devang Pateldbc64af2011-08-15 17:24:54 +00001735 DIE *SPDie = CI->first;
1736 const MDNode *N = CI->second;
Eric Christopher6efc0432013-10-19 01:04:47 +00001737 if (!N)
1738 continue;
Eric Christopher3f045002013-10-04 17:08:38 +00001739 DIE *NDie = getDIE(N);
Eric Christopher6efc0432013-10-19 01:04:47 +00001740 if (!NDie)
1741 continue;
Manman Ren87b110a2013-10-11 23:58:05 +00001742 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, NDie);
Devang Pateldbc64af2011-08-15 17:24:54 +00001743 }
1744}
1745
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001746/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Eric Christopher7b641812013-11-15 01:43:19 +00001747DIE *CompileUnit::constructVariableDIE(DbgVariable &DV, bool isScopeAbstract) {
1748 StringRef Name = DV.getName();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001749
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001750 // Define variable debug information entry.
Eric Christopher7b641812013-11-15 01:43:19 +00001751 DIE *VariableDie = new DIE(DV.getTag());
1752 DbgVariable *AbsVar = DV.getAbstractVariable();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001753 DIE *AbsDIE = AbsVar ? AbsVar->getDIE() : NULL;
Manman Ren742671b2013-05-29 17:16:59 +00001754 if (AbsDIE)
Manman Ren87b110a2013-10-11 23:58:05 +00001755 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin, AbsDIE);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001756 else {
David Blaikie2883fd42013-08-19 03:34:03 +00001757 if (!Name.empty())
1758 addString(VariableDie, dwarf::DW_AT_name, Name);
Eric Christopher7b641812013-11-15 01:43:19 +00001759 addSourceLine(VariableDie, DV.getVariable());
1760 addType(VariableDie, DV.getType());
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001761 }
1762
Eric Christopher7b641812013-11-15 01:43:19 +00001763 if (DV.isArtificial())
Eric Christopher873cf0a2012-08-24 01:14:27 +00001764 addFlag(VariableDie, dwarf::DW_AT_artificial);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001765
1766 if (isScopeAbstract) {
Eric Christopher7b641812013-11-15 01:43:19 +00001767 DV.setDIE(VariableDie);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001768 return VariableDie;
1769 }
1770
1771 // Add variable address.
1772
Eric Christopher7b641812013-11-15 01:43:19 +00001773 unsigned Offset = DV.getDotDebugLocOffset();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001774 if (Offset != ~0U) {
Eric Christopherafbe0e22013-06-24 21:34:55 +00001775 addLabel(VariableDie, dwarf::DW_AT_location, dwarf::DW_FORM_data4,
1776 Asm->GetTempSymbol("debug_loc", Offset));
Eric Christopher7b641812013-11-15 01:43:19 +00001777 DV.setDIE(VariableDie);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001778 return VariableDie;
1779 }
1780
Eric Christopher8cf5e742011-10-03 15:49:20 +00001781 // Check if variable is described by a DBG_VALUE instruction.
Eric Christopher7b641812013-11-15 01:43:19 +00001782 if (const MachineInstr *DVInsn = DV.getMInsn()) {
David Blaikie6d9dbd52013-06-16 20:34:15 +00001783 assert(DVInsn->getNumOperands() == 3);
1784 if (DVInsn->getOperand(0).isReg()) {
1785 const MachineOperand RegOp = DVInsn->getOperand(0);
Adrian Prantlb2754912013-07-09 21:44:06 +00001786 // If the second operand is an immediate, this is an indirect value.
Adrian Prantl35176402013-07-09 20:28:37 +00001787 if (DVInsn->getOperand(1).isImm()) {
Eric Christopher6efc0432013-10-19 01:04:47 +00001788 MachineLocation Location(RegOp.getReg(),
1789 DVInsn->getOperand(1).getImm());
Eric Christopher7b641812013-11-15 01:43:19 +00001790 addVariableAddress(DV, VariableDie, Location);
David Blaikie6d9dbd52013-06-16 20:34:15 +00001791 } else if (RegOp.getReg())
Eric Christopher7b641812013-11-15 01:43:19 +00001792 addVariableAddress(DV, VariableDie, MachineLocation(RegOp.getReg()));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001793 } else if (DVInsn->getOperand(0).isImm())
Eric Christopher7b641812013-11-15 01:43:19 +00001794 addConstantValue(VariableDie, DVInsn->getOperand(0), DV.getType());
David Blaikie6d9dbd52013-06-16 20:34:15 +00001795 else if (DVInsn->getOperand(0).isFPImm())
Eric Christophere4721492013-07-03 01:08:30 +00001796 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
David Blaikie6d9dbd52013-06-16 20:34:15 +00001797 else if (DVInsn->getOperand(0).isCImm())
Eric Christophere4721492013-07-03 01:08:30 +00001798 addConstantValue(VariableDie, DVInsn->getOperand(0).getCImm(),
Eric Christopher7b641812013-11-15 01:43:19 +00001799 isUnsignedDIType(DD, DV.getType()));
Eric Christophere4721492013-07-03 01:08:30 +00001800
Eric Christopher7b641812013-11-15 01:43:19 +00001801 DV.setDIE(VariableDie);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001802 return VariableDie;
1803 } else {
1804 // .. else use frame index.
Eric Christopher7b641812013-11-15 01:43:19 +00001805 int FI = DV.getFrameIndex();
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001806 if (FI != ~0) {
1807 unsigned FrameReg = 0;
1808 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Eric Christopher6efc0432013-10-19 01:04:47 +00001809 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001810 MachineLocation Location(FrameReg, Offset);
Eric Christopher7b641812013-11-15 01:43:19 +00001811 addVariableAddress(DV, VariableDie, Location);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001812 }
1813 }
1814
Eric Christopher7b641812013-11-15 01:43:19 +00001815 DV.setDIE(VariableDie);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001816 return VariableDie;
1817}
1818
Manman Rena1d25b62013-10-23 23:00:44 +00001819/// constructMemberDIE - Construct member DIE from DIDerivedType.
1820void CompileUnit::constructMemberDIE(DIE &Buffer, DIDerivedType DT) {
Manman Ren1a5e7872013-10-29 00:53:03 +00001821 DIE *MemberDie = createAndAddDIE(DT.getTag(), Buffer);
Devang Patel161b2f42011-04-12 23:21:44 +00001822 StringRef Name = DT.getName();
1823 if (!Name.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +00001824 addString(MemberDie, dwarf::DW_AT_name, Name);
Devang Patel161b2f42011-04-12 23:21:44 +00001825
Manman Ren017ceda2013-10-08 18:42:58 +00001826 addType(MemberDie, resolve(DT.getTypeDerivedFrom()));
Devang Patel161b2f42011-04-12 23:21:44 +00001827
1828 addSourceLine(MemberDie, DT);
1829
1830 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
David Blaikie770530b2013-10-21 17:28:37 +00001831 addUInt(MemLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel161b2f42011-04-12 23:21:44 +00001832
Eric Christopher6efc0432013-10-19 01:04:47 +00001833 if (DT.getTag() == dwarf::DW_TAG_inheritance && DT.isVirtual()) {
Devang Patel161b2f42011-04-12 23:21:44 +00001834
1835 // For C++, virtual base classes are not at fixed offset. Use following
1836 // expression to extract appropriate offset from vtable.
1837 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1838
1839 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
David Blaikie770530b2013-10-21 17:28:37 +00001840 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1841 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1842 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1843 addUInt(VBaseLocationDie, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1844 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1845 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1846 addUInt(VBaseLocationDie, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
Devang Patel161b2f42011-04-12 23:21:44 +00001847
David Blaikie770530b2013-10-21 17:28:37 +00001848 addBlock(MemberDie, dwarf::DW_AT_data_member_location, VBaseLocationDie);
David Blaikie9b933922013-11-01 00:25:45 +00001849 } else {
1850 uint64_t Size = DT.getSizeInBits();
1851 uint64_t FieldSize = getBaseTypeSize(DD, DT);
1852 uint64_t OffsetInBytes;
1853
1854 if (Size != FieldSize) {
1855 // Handle bitfield.
1856 addUInt(MemberDie, dwarf::DW_AT_byte_size, None,
1857 getBaseTypeSize(DD, DT) >> 3);
1858 addUInt(MemberDie, dwarf::DW_AT_bit_size, None, DT.getSizeInBits());
1859
1860 uint64_t Offset = DT.getOffsetInBits();
1861 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1862 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1863 uint64_t FieldOffset = (HiMark - FieldSize);
1864 Offset -= FieldOffset;
1865
1866 // Maybe we need to work from the other end.
1867 if (Asm->getDataLayout().isLittleEndian())
1868 Offset = FieldSize - (Offset + Size);
1869 addUInt(MemberDie, dwarf::DW_AT_bit_offset, None, Offset);
1870
1871 // Here WD_AT_data_member_location points to the anonymous
1872 // field that includes this bit field.
1873 OffsetInBytes = FieldOffset >> 3;
1874 } else
1875 // This is not a bitfield.
1876 OffsetInBytes = DT.getOffsetInBits() >> 3;
Eric Christopher61290022013-11-11 18:52:36 +00001877 addUInt(MemberDie, dwarf::DW_AT_data_member_location, None, OffsetInBytes);
David Blaikie9b933922013-11-01 00:25:45 +00001878 }
Devang Patel161b2f42011-04-12 23:21:44 +00001879
1880 if (DT.isProtected())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001881 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001882 dwarf::DW_ACCESS_protected);
1883 else if (DT.isPrivate())
Nick Lewycky13aaca52011-12-13 05:09:11 +00001884 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001885 dwarf::DW_ACCESS_private);
1886 // Otherwise C++ member and base classes are considered public.
Eric Christopher8b4310b2012-11-21 00:34:38 +00001887 else
Nick Lewycky13aaca52011-12-13 05:09:11 +00001888 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001889 dwarf::DW_ACCESS_public);
1890 if (DT.isVirtual())
Nick Lewycky798313d2011-12-14 00:56:07 +00001891 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_data1,
Devang Patel161b2f42011-04-12 23:21:44 +00001892 dwarf::DW_VIRTUALITY_virtual);
Devang Patele9db5e22011-04-16 00:11:51 +00001893
1894 // Objective-C properties.
Devang Patel6588abf2012-02-06 17:49:43 +00001895 if (MDNode *PNode = DT.getObjCProperty())
1896 if (DIEEntry *PropertyDie = getDIEEntry(PNode))
Eric Christopher8b4310b2012-11-21 00:34:38 +00001897 MemberDie->addValue(dwarf::DW_AT_APPLE_property, dwarf::DW_FORM_ref4,
Devang Patel6588abf2012-02-06 17:49:43 +00001898 PropertyDie);
1899
David Blaikie01bc2b32012-12-13 22:43:07 +00001900 if (DT.isArtificial())
1901 addFlag(MemberDie, dwarf::DW_AT_artificial);
Devang Patel161b2f42011-04-12 23:21:44 +00001902}
Eric Christopher6b6061f2013-01-16 01:22:23 +00001903
Manman Ren655a10d2013-10-14 20:33:57 +00001904/// getOrCreateStaticMemberDIE - Create new DIE for C++ static member.
1905DIE *CompileUnit::getOrCreateStaticMemberDIE(const DIDerivedType DT) {
Eric Christopher6b6061f2013-01-16 01:22:23 +00001906 if (!DT.Verify())
1907 return NULL;
1908
Manman Ren655a10d2013-10-14 20:33:57 +00001909 // Construct the context before querying for the existence of the DIE in case
1910 // such construction creates the DIE.
1911 DIE *ContextDIE = getOrCreateContextDIE(resolve(DT.getContext()));
David Blaikie8c0fecc2013-11-14 21:24:34 +00001912 assert(dwarf::isType(ContextDIE->getTag()) &&
1913 "Static member should belong to a type.");
Manman Ren655a10d2013-10-14 20:33:57 +00001914
1915 DIE *StaticMemberDIE = getDIE(DT);
1916 if (StaticMemberDIE)
1917 return StaticMemberDIE;
1918
Manman Ren1a5e7872013-10-29 00:53:03 +00001919 StaticMemberDIE = createAndAddDIE(DT.getTag(), *ContextDIE, DT);
Manman Ren655a10d2013-10-14 20:33:57 +00001920
Manman Ren017ceda2013-10-08 18:42:58 +00001921 DIType Ty = resolve(DT.getTypeDerivedFrom());
Eric Christopher6b6061f2013-01-16 01:22:23 +00001922
1923 addString(StaticMemberDIE, dwarf::DW_AT_name, DT.getName());
1924 addType(StaticMemberDIE, Ty);
1925 addSourceLine(StaticMemberDIE, DT);
1926 addFlag(StaticMemberDIE, dwarf::DW_AT_external);
1927 addFlag(StaticMemberDIE, dwarf::DW_AT_declaration);
1928
1929 // FIXME: We could omit private if the parent is a class_type, and
1930 // public if the parent is something else.
1931 if (DT.isProtected())
1932 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1933 dwarf::DW_ACCESS_protected);
1934 else if (DT.isPrivate())
1935 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1936 dwarf::DW_ACCESS_private);
1937 else
1938 addUInt(StaticMemberDIE, dwarf::DW_AT_accessibility, dwarf::DW_FORM_data1,
1939 dwarf::DW_ACCESS_public);
1940
1941 if (const ConstantInt *CI = dyn_cast_or_null<ConstantInt>(DT.getConstant()))
Manman Renc664d762013-10-05 01:43:03 +00001942 addConstantValue(StaticMemberDIE, CI, isUnsignedDIType(DD, Ty));
David Blaikie14268412013-01-20 01:18:01 +00001943 if (const ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(DT.getConstant()))
1944 addConstantFPValue(StaticMemberDIE, CFP);
Eric Christopher6b6061f2013-01-16 01:22:23 +00001945
Eric Christopher6b6061f2013-01-16 01:22:23 +00001946 return StaticMemberDIE;
1947}
David Blaikie1d361132013-10-30 20:42:41 +00001948
1949void CompileUnit::emitHeader(const MCSection *ASection,
1950 const MCSymbol *ASectionSym) {
1951 Asm->OutStreamer.AddComment("DWARF version number");
1952 Asm->EmitInt16(DD->getDwarfVersion());
1953 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
1954 Asm->EmitSectionOffset(Asm->GetTempSymbol(ASection->getLabelBeginName()),
1955 ASectionSym);
1956 Asm->OutStreamer.AddComment("Address Size (in bytes)");
1957 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
1958}