blob: 2aff2f2593b624caa907d5cae8b6de4823cc79d2 [file] [log] [blame]
Bill Wendling0310d762009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===//
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//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
Devang Patele4b27562009-08-28 23:24:31 +000013#define DEBUG_TYPE "dwarfdebug"
Bill Wendling0310d762009-05-15 09:23:25 +000014#include "DwarfDebug.h"
15#include "llvm/Module.h"
David Greeneb2c66fc2009-08-19 21:52:55 +000016#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling0310d762009-05-15 09:23:25 +000017#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000018#include "llvm/MC/MCSection.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000019#include "llvm/MC/MCStreamer.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000020#include "llvm/MC/MCAsmInfo.h"
Bill Wendling0310d762009-05-15 09:23:25 +000021#include "llvm/Target/TargetData.h"
22#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000023#include "llvm/Target/TargetLoweringObjectFile.h"
24#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner23132b12009-08-24 03:52:50 +000025#include "llvm/ADT/StringExtras.h"
Chris Lattner334fd1f2009-09-16 00:08:41 +000026#include "llvm/Support/Mangler.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000027#include "llvm/Support/Timer.h"
Devang Patele4b27562009-08-28 23:24:31 +000028#include "llvm/Support/Debug.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000029#include "llvm/System/Path.h"
Bill Wendling0310d762009-05-15 09:23:25 +000030using namespace llvm;
31
32static TimerGroup &getDwarfTimerGroup() {
33 static TimerGroup DwarfTimerGroup("Dwarf Debugging");
34 return DwarfTimerGroup;
35}
36
37//===----------------------------------------------------------------------===//
38
39/// Configuration values for initial hash set sizes (log2).
40///
41static const unsigned InitDiesSetSize = 9; // log2(512)
42static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
43static const unsigned InitValuesSetSize = 9; // log2(512)
44
45namespace llvm {
46
47//===----------------------------------------------------------------------===//
48/// CompileUnit - This dwarf writer support class manages information associate
49/// with a source file.
50class VISIBILITY_HIDDEN CompileUnit {
51 /// ID - File identifier for source.
52 ///
53 unsigned ID;
54
55 /// Die - Compile unit debug information entry.
56 ///
57 DIE *Die;
58
59 /// GVToDieMap - Tracks the mapping of unit level debug informaton
60 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000061 /// FIXME : Rename GVToDieMap -> NodeToDieMap
62 std::map<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-05-15 09:23:25 +000063
64 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
65 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patele4b27562009-08-28 23:24:31 +000066 /// FIXME : Rename
67 std::map<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-05-15 09:23:25 +000068
69 /// Globals - A map of globally visible named entities for this unit.
70 ///
71 StringMap<DIE*> Globals;
72
73 /// DiesSet - Used to uniquely define dies within the compile unit.
74 ///
75 FoldingSet<DIE> DiesSet;
76public:
77 CompileUnit(unsigned I, DIE *D)
Bill Wendling39dd6962009-05-20 23:31:45 +000078 : ID(I), Die(D), DiesSet(InitDiesSetSize) {}
79 ~CompileUnit() { delete Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000080
81 // Accessors.
Bill Wendling39dd6962009-05-20 23:31:45 +000082 unsigned getID() const { return ID; }
83 DIE* getDie() const { return Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000084 StringMap<DIE*> &getGlobals() { return Globals; }
85
86 /// hasContent - Return true if this compile unit has something to write out.
87 ///
Bill Wendling39dd6962009-05-20 23:31:45 +000088 bool hasContent() const { return !Die->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +000089
90 /// AddGlobal - Add a new global entity to the compile unit.
91 ///
Bill Wendling39dd6962009-05-20 23:31:45 +000092 void AddGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000093
94 /// getDieMapSlotFor - Returns the debug information entry map slot for the
95 /// specified debug variable.
Devang Patele4b27562009-08-28 23:24:31 +000096 DIE *&getDieMapSlotFor(MDNode *N) { return GVToDieMap[N]; }
Bill Wendling0310d762009-05-15 09:23:25 +000097
Chris Lattner1cda87c2009-07-14 04:50:12 +000098 /// getDIEEntrySlotFor - Returns the debug information entry proxy slot for
99 /// the specified debug variable.
Devang Patele4b27562009-08-28 23:24:31 +0000100 DIEEntry *&getDIEEntrySlotFor(MDNode *N) {
101 return GVToDIEEntryMap[N];
Bill Wendling0310d762009-05-15 09:23:25 +0000102 }
103
104 /// AddDie - Adds or interns the DIE to the compile unit.
105 ///
106 DIE *AddDie(DIE &Buffer) {
107 FoldingSetNodeID ID;
108 Buffer.Profile(ID);
109 void *Where;
110 DIE *Die = DiesSet.FindNodeOrInsertPos(ID, Where);
111
112 if (!Die) {
113 Die = new DIE(Buffer);
114 DiesSet.InsertNode(Die, Where);
115 this->Die->AddChild(Die);
116 Buffer.Detach();
117 }
118
119 return Die;
120 }
121};
122
123//===----------------------------------------------------------------------===//
124/// DbgVariable - This class is used to track local variable information.
125///
126class VISIBILITY_HIDDEN DbgVariable {
127 DIVariable Var; // Variable Descriptor.
128 unsigned FrameIndex; // Variable frame index.
Bill Wendling1180c782009-05-18 23:08:55 +0000129 bool InlinedFnVar; // Variable for an inlined function.
Bill Wendling0310d762009-05-15 09:23:25 +0000130public:
Bill Wendling1180c782009-05-18 23:08:55 +0000131 DbgVariable(DIVariable V, unsigned I, bool IFV)
132 : Var(V), FrameIndex(I), InlinedFnVar(IFV) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000133
134 // Accessors.
Bill Wendling1180c782009-05-18 23:08:55 +0000135 DIVariable getVariable() const { return Var; }
Bill Wendling0310d762009-05-15 09:23:25 +0000136 unsigned getFrameIndex() const { return FrameIndex; }
Bill Wendling1180c782009-05-18 23:08:55 +0000137 bool isInlinedFnVar() const { return InlinedFnVar; }
Bill Wendling0310d762009-05-15 09:23:25 +0000138};
139
140//===----------------------------------------------------------------------===//
141/// DbgScope - This class is used to track scope information.
142///
143class DbgConcreteScope;
144class VISIBILITY_HIDDEN DbgScope {
145 DbgScope *Parent; // Parent to this scope.
146 DIDescriptor Desc; // Debug info descriptor for scope.
147 // Either subprogram or block.
148 unsigned StartLabelID; // Label ID of the beginning of scope.
149 unsigned EndLabelID; // Label ID of the end of scope.
Devang Pateld38dd112009-10-01 18:25:23 +0000150 const MachineInstr *LastInsn; // Last instruction of this scope.
151 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000152 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
153 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
154 SmallVector<DbgConcreteScope *, 8> ConcreteInsts;// Concrete insts of funcs.
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000155
Owen Anderson04c05f72009-06-24 22:53:20 +0000156 // Private state for dump()
157 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000158public:
159 DbgScope(DbgScope *P, DIDescriptor D)
Devang Pateld38dd112009-10-01 18:25:23 +0000160 : Parent(P), Desc(D), StartLabelID(0), EndLabelID(0), LastInsn(0),
161 FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000162 virtual ~DbgScope();
163
164 // Accessors.
165 DbgScope *getParent() const { return Parent; }
166 DIDescriptor getDesc() const { return Desc; }
167 unsigned getStartLabelID() const { return StartLabelID; }
168 unsigned getEndLabelID() const { return EndLabelID; }
169 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
170 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
171 SmallVector<DbgConcreteScope*,8> &getConcreteInsts() { return ConcreteInsts; }
172 void setStartLabelID(unsigned S) { StartLabelID = S; }
173 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Pateld38dd112009-10-01 18:25:23 +0000174 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
175 const MachineInstr *getLastInsn() { return LastInsn; }
176 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
177 const MachineInstr *getFirstInsn() { return FirstInsn; }
Bill Wendling0310d762009-05-15 09:23:25 +0000178 /// AddScope - Add a scope to the scope.
179 ///
180 void AddScope(DbgScope *S) { Scopes.push_back(S); }
181
182 /// AddVariable - Add a variable to the scope.
183 ///
184 void AddVariable(DbgVariable *V) { Variables.push_back(V); }
185
186 /// AddConcreteInst - Add a concrete instance to the scope.
187 ///
188 void AddConcreteInst(DbgConcreteScope *C) { ConcreteInsts.push_back(C); }
189
Devang Patelaf9e8472009-10-01 20:31:14 +0000190 void FixInstructionMarkers() {
191 assert (getFirstInsn() && "First instruction is missing!");
192 if (getLastInsn())
193 return;
194
195 // If a scope does not have an instruction to mark an end then use
196 // the end of last child scope.
197 SmallVector<DbgScope *, 4> &Scopes = getScopes();
198 assert (!Scopes.empty() && "Inner most scope does not have last insn!");
199 DbgScope *L = Scopes.back();
200 if (!L->getLastInsn())
201 L->FixInstructionMarkers();
202 setLastInsn(L->getLastInsn());
203 }
204
Bill Wendling0310d762009-05-15 09:23:25 +0000205#ifndef NDEBUG
206 void dump() const;
207#endif
208};
209
210#ifndef NDEBUG
211void DbgScope::dump() const {
Chris Lattnerc281de12009-08-23 00:51:00 +0000212 raw_ostream &err = errs();
213 err.indent(IndentLevel);
214 Desc.dump();
215 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000216
217 IndentLevel += 2;
218
219 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
220 if (Scopes[i] != this)
221 Scopes[i]->dump();
222
223 IndentLevel -= 2;
224}
225#endif
226
227//===----------------------------------------------------------------------===//
228/// DbgConcreteScope - This class is used to track a scope that holds concrete
229/// instance information.
230///
231class VISIBILITY_HIDDEN DbgConcreteScope : public DbgScope {
232 CompileUnit *Unit;
233 DIE *Die; // Debug info for this concrete scope.
234public:
235 DbgConcreteScope(DIDescriptor D) : DbgScope(NULL, D) {}
236
237 // Accessors.
238 DIE *getDie() const { return Die; }
239 void setDie(DIE *D) { Die = D; }
240};
241
242DbgScope::~DbgScope() {
243 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
244 delete Scopes[i];
245 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
246 delete Variables[j];
247 for (unsigned k = 0, O = ConcreteInsts.size(); k < O; ++k)
248 delete ConcreteInsts[k];
249}
250
251} // end llvm namespace
252
Chris Lattneraf76e592009-08-22 20:48:53 +0000253DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Devang Patel1dbc7712009-06-29 20:45:18 +0000254 : Dwarf(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000255 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000256 ValuesSet(InitValuesSetSize), Values(), StringPool(),
Bill Wendling0310d762009-05-15 09:23:25 +0000257 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel43da8fb2009-07-13 21:26:33 +0000258 FunctionDbgScope(0), DebugTimer(0) {
Bill Wendling0310d762009-05-15 09:23:25 +0000259 if (TimePassesIsEnabled)
260 DebugTimer = new Timer("Dwarf Debug Writer",
261 getDwarfTimerGroup());
262}
263DwarfDebug::~DwarfDebug() {
264 for (unsigned j = 0, M = Values.size(); j < M; ++j)
265 delete Values[j];
266
Devang Patele4b27562009-08-28 23:24:31 +0000267 for (DenseMap<const MDNode *, DbgScope *>::iterator
Bill Wendling0310d762009-05-15 09:23:25 +0000268 I = AbstractInstanceRootMap.begin(),
269 E = AbstractInstanceRootMap.end(); I != E;++I)
270 delete I->second;
271
272 delete DebugTimer;
273}
274
275/// AssignAbbrevNumber - Define a unique number for the abbreviation.
276///
277void DwarfDebug::AssignAbbrevNumber(DIEAbbrev &Abbrev) {
278 // Profile the node so that we can make it unique.
279 FoldingSetNodeID ID;
280 Abbrev.Profile(ID);
281
282 // Check the set for priors.
283 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
284
285 // If it's newly added.
286 if (InSet == &Abbrev) {
287 // Add to abbreviation list.
288 Abbreviations.push_back(&Abbrev);
289
290 // Assign the vector position + 1 as its number.
291 Abbrev.setNumber(Abbreviations.size());
292 } else {
293 // Assign existing abbreviation number.
294 Abbrev.setNumber(InSet->getNumber());
295 }
296}
297
Bill Wendling995f80a2009-05-20 23:24:48 +0000298/// CreateDIEEntry - Creates a new DIEEntry to be a proxy for a debug
299/// information entry.
300DIEEntry *DwarfDebug::CreateDIEEntry(DIE *Entry) {
Bill Wendling0310d762009-05-15 09:23:25 +0000301 DIEEntry *Value;
302
303 if (Entry) {
304 FoldingSetNodeID ID;
305 DIEEntry::Profile(ID, Entry);
306 void *Where;
307 Value = static_cast<DIEEntry *>(ValuesSet.FindNodeOrInsertPos(ID, Where));
308
309 if (Value) return Value;
310
311 Value = new DIEEntry(Entry);
312 ValuesSet.InsertNode(Value, Where);
313 } else {
314 Value = new DIEEntry(Entry);
315 }
316
317 Values.push_back(Value);
318 return Value;
319}
320
321/// SetDIEEntry - Set a DIEEntry once the debug information entry is defined.
322///
323void DwarfDebug::SetDIEEntry(DIEEntry *Value, DIE *Entry) {
324 Value->setEntry(Entry);
325
326 // Add to values set if not already there. If it is, we merely have a
327 // duplicate in the values list (no harm.)
328 ValuesSet.GetOrInsertNode(Value);
329}
330
331/// AddUInt - Add an unsigned integer attribute data and value.
332///
333void DwarfDebug::AddUInt(DIE *Die, unsigned Attribute,
334 unsigned Form, uint64_t Integer) {
335 if (!Form) Form = DIEInteger::BestForm(false, Integer);
336
337 FoldingSetNodeID ID;
338 DIEInteger::Profile(ID, Integer);
339 void *Where;
340 DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
341
342 if (!Value) {
343 Value = new DIEInteger(Integer);
344 ValuesSet.InsertNode(Value, Where);
345 Values.push_back(Value);
346 }
347
348 Die->AddValue(Attribute, Form, Value);
349}
350
351/// AddSInt - Add an signed integer attribute data and value.
352///
353void DwarfDebug::AddSInt(DIE *Die, unsigned Attribute,
354 unsigned Form, int64_t Integer) {
355 if (!Form) Form = DIEInteger::BestForm(true, Integer);
356
357 FoldingSetNodeID ID;
358 DIEInteger::Profile(ID, (uint64_t)Integer);
359 void *Where;
360 DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
361
362 if (!Value) {
363 Value = new DIEInteger(Integer);
364 ValuesSet.InsertNode(Value, Where);
365 Values.push_back(Value);
366 }
367
368 Die->AddValue(Attribute, Form, Value);
369}
370
371/// AddString - Add a string attribute data and value.
372///
373void DwarfDebug::AddString(DIE *Die, unsigned Attribute, unsigned Form,
374 const std::string &String) {
375 FoldingSetNodeID ID;
376 DIEString::Profile(ID, String);
377 void *Where;
378 DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
379
380 if (!Value) {
381 Value = new DIEString(String);
382 ValuesSet.InsertNode(Value, Where);
383 Values.push_back(Value);
384 }
385
386 Die->AddValue(Attribute, Form, Value);
387}
388
389/// AddLabel - Add a Dwarf label attribute data and value.
390///
391void DwarfDebug::AddLabel(DIE *Die, unsigned Attribute, unsigned Form,
392 const DWLabel &Label) {
393 FoldingSetNodeID ID;
394 DIEDwarfLabel::Profile(ID, Label);
395 void *Where;
396 DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
397
398 if (!Value) {
399 Value = new DIEDwarfLabel(Label);
400 ValuesSet.InsertNode(Value, Where);
401 Values.push_back(Value);
402 }
403
404 Die->AddValue(Attribute, Form, Value);
405}
406
407/// AddObjectLabel - Add an non-Dwarf label attribute data and value.
408///
409void DwarfDebug::AddObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
410 const std::string &Label) {
411 FoldingSetNodeID ID;
412 DIEObjectLabel::Profile(ID, Label);
413 void *Where;
414 DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
415
416 if (!Value) {
417 Value = new DIEObjectLabel(Label);
418 ValuesSet.InsertNode(Value, Where);
419 Values.push_back(Value);
420 }
421
422 Die->AddValue(Attribute, Form, Value);
423}
424
425/// AddSectionOffset - Add a section offset label attribute data and value.
426///
427void DwarfDebug::AddSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
428 const DWLabel &Label, const DWLabel &Section,
429 bool isEH, bool useSet) {
430 FoldingSetNodeID ID;
431 DIESectionOffset::Profile(ID, Label, Section);
432 void *Where;
433 DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
434
435 if (!Value) {
436 Value = new DIESectionOffset(Label, Section, isEH, useSet);
437 ValuesSet.InsertNode(Value, Where);
438 Values.push_back(Value);
439 }
440
441 Die->AddValue(Attribute, Form, Value);
442}
443
444/// AddDelta - Add a label delta attribute data and value.
445///
446void DwarfDebug::AddDelta(DIE *Die, unsigned Attribute, unsigned Form,
447 const DWLabel &Hi, const DWLabel &Lo) {
448 FoldingSetNodeID ID;
449 DIEDelta::Profile(ID, Hi, Lo);
450 void *Where;
451 DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
452
453 if (!Value) {
454 Value = new DIEDelta(Hi, Lo);
455 ValuesSet.InsertNode(Value, Where);
456 Values.push_back(Value);
457 }
458
459 Die->AddValue(Attribute, Form, Value);
460}
461
462/// AddBlock - Add block data.
463///
464void DwarfDebug::AddBlock(DIE *Die, unsigned Attribute, unsigned Form,
465 DIEBlock *Block) {
466 Block->ComputeSize(TD);
467 FoldingSetNodeID ID;
468 Block->Profile(ID);
469 void *Where;
470 DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
471
472 if (!Value) {
473 Value = Block;
474 ValuesSet.InsertNode(Value, Where);
475 Values.push_back(Value);
476 } else {
477 // Already exists, reuse the previous one.
478 delete Block;
479 Block = cast<DIEBlock>(Value);
480 }
481
482 Die->AddValue(Attribute, Block->BestForm(), Value);
483}
484
485/// AddSourceLine - Add location information to specified debug information
486/// entry.
487void DwarfDebug::AddSourceLine(DIE *Die, const DIVariable *V) {
488 // If there is no compile unit specified, don't add a line #.
489 if (V->getCompileUnit().isNull())
490 return;
491
492 unsigned Line = V->getLineNumber();
493 unsigned FileID = FindCompileUnit(V->getCompileUnit()).getID();
494 assert(FileID && "Invalid file id");
495 AddUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
496 AddUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
497}
498
499/// AddSourceLine - Add location information to specified debug information
500/// entry.
501void DwarfDebug::AddSourceLine(DIE *Die, const DIGlobal *G) {
502 // If there is no compile unit specified, don't add a line #.
503 if (G->getCompileUnit().isNull())
504 return;
505
506 unsigned Line = G->getLineNumber();
507 unsigned FileID = FindCompileUnit(G->getCompileUnit()).getID();
508 assert(FileID && "Invalid file id");
509 AddUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
510 AddUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
511}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000512
513/// AddSourceLine - Add location information to specified debug information
514/// entry.
515void DwarfDebug::AddSourceLine(DIE *Die, const DISubprogram *SP) {
516 // If there is no compile unit specified, don't add a line #.
517 if (SP->getCompileUnit().isNull())
518 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000519 // If the line number is 0, don't add it.
520 if (SP->getLineNumber() == 0)
521 return;
522
Devang Patel82dfc0c2009-08-31 22:47:13 +0000523
524 unsigned Line = SP->getLineNumber();
525 unsigned FileID = FindCompileUnit(SP->getCompileUnit()).getID();
526 assert(FileID && "Invalid file id");
527 AddUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
528 AddUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
529}
530
531/// AddSourceLine - Add location information to specified debug information
532/// entry.
Bill Wendling0310d762009-05-15 09:23:25 +0000533void DwarfDebug::AddSourceLine(DIE *Die, const DIType *Ty) {
534 // If there is no compile unit specified, don't add a line #.
535 DICompileUnit CU = Ty->getCompileUnit();
536 if (CU.isNull())
537 return;
538
539 unsigned Line = Ty->getLineNumber();
540 unsigned FileID = FindCompileUnit(CU).getID();
541 assert(FileID && "Invalid file id");
542 AddUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
543 AddUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
544}
545
Caroline Ticedc8f6042009-08-31 21:19:37 +0000546/* Byref variables, in Blocks, are declared by the programmer as
547 "SomeType VarName;", but the compiler creates a
548 __Block_byref_x_VarName struct, and gives the variable VarName
549 either the struct, or a pointer to the struct, as its type. This
550 is necessary for various behind-the-scenes things the compiler
551 needs to do with by-reference variables in blocks.
552
553 However, as far as the original *programmer* is concerned, the
554 variable should still have type 'SomeType', as originally declared.
555
556 The following function dives into the __Block_byref_x_VarName
557 struct to find the original type of the variable. This will be
558 passed back to the code generating the type for the Debug
559 Information Entry for the variable 'VarName'. 'VarName' will then
560 have the original type 'SomeType' in its debug information.
561
562 The original type 'SomeType' will be the type of the field named
563 'VarName' inside the __Block_byref_x_VarName struct.
564
565 NOTE: In order for this to not completely fail on the debugger
566 side, the Debug Information Entry for the variable VarName needs to
567 have a DW_AT_location that tells the debugger how to unwind through
568 the pointers and __Block_byref_x_VarName struct to find the actual
569 value of the variable. The function AddBlockByrefType does this. */
570
571/// Find the type the programmer originally declared the variable to be
572/// and return that type.
573///
574DIType DwarfDebug::GetBlockByrefType(DIType Ty, std::string Name) {
575
576 DIType subType = Ty;
577 unsigned tag = Ty.getTag();
578
579 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000580 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000581 subType = DTy.getTypeDerivedFrom();
582 }
583
584 DICompositeType blockStruct = DICompositeType(subType.getNode());
585
586 DIArray Elements = blockStruct.getTypeArray();
587
588 if (Elements.isNull())
589 return Ty;
590
591 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
592 DIDescriptor Element = Elements.getElement(i);
593 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel5ccdd102009-09-29 18:40:58 +0000594 if (strcmp(Name.c_str(), DT.getName()) == 0)
Caroline Ticedc8f6042009-08-31 21:19:37 +0000595 return (DT.getTypeDerivedFrom());
596 }
597
598 return Ty;
599}
600
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000601/// AddComplexAddress - Start with the address based on the location provided,
602/// and generate the DWARF information necessary to find the actual variable
603/// given the extra address information encoded in the DIVariable, starting from
604/// the starting location. Add the DWARF information to the die.
605///
606void DwarfDebug::AddComplexAddress(DbgVariable *&DV, DIE *Die,
607 unsigned Attribute,
608 const MachineLocation &Location) {
609 const DIVariable &VD = DV->getVariable();
610 DIType Ty = VD.getType();
611
612 // Decode the original location, and use that as the start of the byref
613 // variable's location.
614 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
615 DIEBlock *Block = new DIEBlock();
616
617 if (Location.isReg()) {
618 if (Reg < 32) {
619 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
620 } else {
621 Reg = Reg - dwarf::DW_OP_reg0;
622 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
623 AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
624 }
625 } else {
626 if (Reg < 32)
627 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
628 else {
629 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
630 AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
631 }
632
633 AddUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
634 }
635
636 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
637 uint64_t Element = VD.getAddrElement(i);
638
639 if (Element == DIFactory::OpPlus) {
640 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
641 AddUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
642 } else if (Element == DIFactory::OpDeref) {
643 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
644 } else llvm_unreachable("unknown DIFactory Opcode");
645 }
646
647 // Now attach the location information to the DIE.
648 AddBlock(Die, Attribute, 0, Block);
649}
650
Caroline Ticedc8f6042009-08-31 21:19:37 +0000651/* Byref variables, in Blocks, are declared by the programmer as "SomeType
652 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
653 gives the variable VarName either the struct, or a pointer to the struct, as
654 its type. This is necessary for various behind-the-scenes things the
655 compiler needs to do with by-reference variables in Blocks.
656
657 However, as far as the original *programmer* is concerned, the variable
658 should still have type 'SomeType', as originally declared.
659
660 The function GetBlockByrefType dives into the __Block_byref_x_VarName
661 struct to find the original type of the variable, which is then assigned to
662 the variable's Debug Information Entry as its real type. So far, so good.
663 However now the debugger will expect the variable VarName to have the type
664 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000665 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000666 pointers and struct to find the actual variable of type SomeType.
667
668 The following function does just that. We start by getting
669 the "normal" location for the variable. This will be the location
670 of either the struct __Block_byref_x_VarName or the pointer to the
671 struct __Block_byref_x_VarName.
672
673 The struct will look something like:
674
675 struct __Block_byref_x_VarName {
676 ... <various fields>
677 struct __Block_byref_x_VarName *forwarding;
678 ... <various other fields>
679 SomeType VarName;
680 ... <maybe more fields>
681 };
682
683 If we are given the struct directly (as our starting point) we
684 need to tell the debugger to:
685
686 1). Add the offset of the forwarding field.
687
688 2). Follow that pointer to get the the real __Block_byref_x_VarName
689 struct to use (the real one may have been copied onto the heap).
690
691 3). Add the offset for the field VarName, to find the actual variable.
692
693 If we started with a pointer to the struct, then we need to
694 dereference that pointer first, before the other steps.
695 Translating this into DWARF ops, we will need to append the following
696 to the current location description for the variable:
697
698 DW_OP_deref -- optional, if we start with a pointer
699 DW_OP_plus_uconst <forward_fld_offset>
700 DW_OP_deref
701 DW_OP_plus_uconst <varName_fld_offset>
702
703 That is what this function does. */
704
705/// AddBlockByrefAddress - Start with the address based on the location
706/// provided, and generate the DWARF information necessary to find the
707/// actual Block variable (navigating the Block struct) based on the
708/// starting location. Add the DWARF information to the die. For
709/// more information, read large comment just above here.
710///
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000711void DwarfDebug::AddBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000712 unsigned Attribute,
713 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000714 const DIVariable &VD = DV->getVariable();
715 DIType Ty = VD.getType();
716 DIType TmpTy = Ty;
717 unsigned Tag = Ty.getTag();
718 bool isPointer = false;
719
Devang Patel5ccdd102009-09-29 18:40:58 +0000720 const char *varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000721
722 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000723 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000724 TmpTy = DTy.getTypeDerivedFrom();
725 isPointer = true;
726 }
727
728 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
729
Daniel Dunbar00564992009-09-19 20:40:14 +0000730 // Find the __forwarding field and the variable field in the __Block_byref
731 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000732 DIArray Fields = blockStruct.getTypeArray();
733 DIDescriptor varField = DIDescriptor();
734 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000735
736
Daniel Dunbar00564992009-09-19 20:40:14 +0000737 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
738 DIDescriptor Element = Fields.getElement(i);
739 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel5ccdd102009-09-29 18:40:58 +0000740 const char *fieldName = DT.getName();
741 if (strcmp(fieldName, "__forwarding") == 0)
Daniel Dunbar00564992009-09-19 20:40:14 +0000742 forwardingField = Element;
Devang Patel5ccdd102009-09-29 18:40:58 +0000743 else if (strcmp(fieldName, varName) == 0)
Daniel Dunbar00564992009-09-19 20:40:14 +0000744 varField = Element;
745 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000746
Mike Stump7e3720d2009-09-24 23:21:26 +0000747 assert(!varField.isNull() && "Can't find byref variable in Block struct");
748 assert(!forwardingField.isNull()
749 && "Can't find forwarding field in Block struct");
Caroline Ticedc8f6042009-08-31 21:19:37 +0000750
Daniel Dunbar00564992009-09-19 20:40:14 +0000751 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar00564992009-09-19 20:40:14 +0000752 unsigned int forwardingFieldOffset =
753 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
754 unsigned int varFieldOffset =
755 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000756
Mike Stump7e3720d2009-09-24 23:21:26 +0000757 // Decode the original location, and use that as the start of the byref
758 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000759 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
760 DIEBlock *Block = new DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000761
Daniel Dunbar00564992009-09-19 20:40:14 +0000762 if (Location.isReg()) {
763 if (Reg < 32)
764 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
765 else {
766 Reg = Reg - dwarf::DW_OP_reg0;
767 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
768 AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
769 }
770 } else {
771 if (Reg < 32)
772 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
773 else {
774 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
775 AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
776 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000777
Daniel Dunbar00564992009-09-19 20:40:14 +0000778 AddUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
779 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000780
Mike Stump7e3720d2009-09-24 23:21:26 +0000781 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000782 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000783 if (isPointer)
784 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000785
Daniel Dunbar00564992009-09-19 20:40:14 +0000786 // Next add the offset for the '__forwarding' field:
787 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
788 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000789 if (forwardingFieldOffset > 0) {
790 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
791 AddUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
792 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000793
Daniel Dunbar00564992009-09-19 20:40:14 +0000794 // Now dereference the __forwarding field to get to the real __Block_byref
795 // struct: DW_OP_deref.
Daniel Dunbar00564992009-09-19 20:40:14 +0000796 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000797
Daniel Dunbar00564992009-09-19 20:40:14 +0000798 // Now that we've got the real __Block_byref... struct, add the offset
799 // for the variable's field to get to the location of the actual variable:
800 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000801 if (varFieldOffset > 0) {
802 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
803 AddUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
804 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000805
Daniel Dunbar00564992009-09-19 20:40:14 +0000806 // Now attach the location information to the DIE.
Daniel Dunbar00564992009-09-19 20:40:14 +0000807 AddBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000808}
809
Bill Wendling0310d762009-05-15 09:23:25 +0000810/// AddAddress - Add an address attribute to a die based on the location
811/// provided.
812void DwarfDebug::AddAddress(DIE *Die, unsigned Attribute,
813 const MachineLocation &Location) {
814 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
815 DIEBlock *Block = new DIEBlock();
816
817 if (Location.isReg()) {
818 if (Reg < 32) {
819 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
820 } else {
821 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
822 AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
823 }
824 } else {
825 if (Reg < 32) {
826 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
827 } else {
828 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
829 AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
830 }
831
832 AddUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
833 }
834
835 AddBlock(Die, Attribute, 0, Block);
836}
837
838/// AddType - Add a new type attribute to the specified entity.
839void DwarfDebug::AddType(CompileUnit *DW_Unit, DIE *Entity, DIType Ty) {
840 if (Ty.isNull())
841 return;
842
843 // Check for pre-existence.
Devang Patele4b27562009-08-28 23:24:31 +0000844 DIEEntry *&Slot = DW_Unit->getDIEEntrySlotFor(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000845
846 // If it exists then use the existing value.
847 if (Slot) {
848 Entity->AddValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Slot);
849 return;
850 }
851
852 // Set up proxy.
Bill Wendling995f80a2009-05-20 23:24:48 +0000853 Slot = CreateDIEEntry();
Bill Wendling0310d762009-05-15 09:23:25 +0000854
855 // Construct type.
856 DIE Buffer(dwarf::DW_TAG_base_type);
Devang Patel6ceea332009-08-31 18:49:10 +0000857 if (Ty.isBasicType())
Devang Patele4b27562009-08-28 23:24:31 +0000858 ConstructTypeDIE(DW_Unit, Buffer, DIBasicType(Ty.getNode()));
Devang Patel6ceea332009-08-31 18:49:10 +0000859 else if (Ty.isCompositeType())
Devang Patele4b27562009-08-28 23:24:31 +0000860 ConstructTypeDIE(DW_Unit, Buffer, DICompositeType(Ty.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000861 else {
Devang Patel6ceea332009-08-31 18:49:10 +0000862 assert(Ty.isDerivedType() && "Unknown kind of DIType");
Devang Patele4b27562009-08-28 23:24:31 +0000863 ConstructTypeDIE(DW_Unit, Buffer, DIDerivedType(Ty.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000864 }
865
866 // Add debug information entry to entity and appropriate context.
867 DIE *Die = NULL;
868 DIDescriptor Context = Ty.getContext();
869 if (!Context.isNull())
Devang Patele4b27562009-08-28 23:24:31 +0000870 Die = DW_Unit->getDieMapSlotFor(Context.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000871
872 if (Die) {
873 DIE *Child = new DIE(Buffer);
874 Die->AddChild(Child);
875 Buffer.Detach();
876 SetDIEEntry(Slot, Child);
877 } else {
878 Die = DW_Unit->AddDie(Buffer);
879 SetDIEEntry(Slot, Die);
880 }
881
882 Entity->AddValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Slot);
883}
884
885/// ConstructTypeDIE - Construct basic type die from DIBasicType.
886void DwarfDebug::ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
887 DIBasicType BTy) {
888 // Get core information.
Devang Patel5ccdd102009-09-29 18:40:58 +0000889 const char *Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000890 Buffer.setTag(dwarf::DW_TAG_base_type);
891 AddUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
892 BTy.getEncoding());
893
894 // Add name if not anonymous or intermediate type.
Devang Patel5ccdd102009-09-29 18:40:58 +0000895 if (Name)
Bill Wendling0310d762009-05-15 09:23:25 +0000896 AddString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
897 uint64_t Size = BTy.getSizeInBits() >> 3;
898 AddUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
899}
900
901/// ConstructTypeDIE - Construct derived type die from DIDerivedType.
902void DwarfDebug::ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
903 DIDerivedType DTy) {
904 // Get core information.
Devang Patel5ccdd102009-09-29 18:40:58 +0000905 const char *Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000906 uint64_t Size = DTy.getSizeInBits() >> 3;
907 unsigned Tag = DTy.getTag();
908
909 // FIXME - Workaround for templates.
910 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
911
912 Buffer.setTag(Tag);
913
914 // Map to main type, void will not have a type.
915 DIType FromTy = DTy.getTypeDerivedFrom();
916 AddType(DW_Unit, &Buffer, FromTy);
917
918 // Add name if not anonymous or intermediate type.
Devang Patel5ccdd102009-09-29 18:40:58 +0000919 if (Name)
Bill Wendling0310d762009-05-15 09:23:25 +0000920 AddString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
921
922 // Add size if non-zero (derived types might be zero-sized.)
923 if (Size)
924 AddUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
925
926 // Add source line info if available and TyDesc is not a forward declaration.
927 if (!DTy.isForwardDecl())
928 AddSourceLine(&Buffer, &DTy);
929}
930
931/// ConstructTypeDIE - Construct type DIE from DICompositeType.
932void DwarfDebug::ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
933 DICompositeType CTy) {
934 // Get core information.
Devang Patel5ccdd102009-09-29 18:40:58 +0000935 const char *Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000936
937 uint64_t Size = CTy.getSizeInBits() >> 3;
938 unsigned Tag = CTy.getTag();
939 Buffer.setTag(Tag);
940
941 switch (Tag) {
942 case dwarf::DW_TAG_vector_type:
943 case dwarf::DW_TAG_array_type:
944 ConstructArrayTypeDIE(DW_Unit, Buffer, &CTy);
945 break;
946 case dwarf::DW_TAG_enumeration_type: {
947 DIArray Elements = CTy.getTypeArray();
948
949 // Add enumerators to enumeration type.
950 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
951 DIE *ElemDie = NULL;
Devang Patele4b27562009-08-28 23:24:31 +0000952 DIEnumerator Enum(Elements.getElement(i).getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000953 ElemDie = ConstructEnumTypeDIE(DW_Unit, &Enum);
954 Buffer.AddChild(ElemDie);
955 }
956 }
957 break;
958 case dwarf::DW_TAG_subroutine_type: {
959 // Add return type.
960 DIArray Elements = CTy.getTypeArray();
961 DIDescriptor RTy = Elements.getElement(0);
Devang Patele4b27562009-08-28 23:24:31 +0000962 AddType(DW_Unit, &Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000963
964 // Add prototype flag.
965 AddUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
966
967 // Add arguments.
968 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
969 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
970 DIDescriptor Ty = Elements.getElement(i);
Devang Patele4b27562009-08-28 23:24:31 +0000971 AddType(DW_Unit, Arg, DIType(Ty.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000972 Buffer.AddChild(Arg);
973 }
974 }
975 break;
976 case dwarf::DW_TAG_structure_type:
977 case dwarf::DW_TAG_union_type:
978 case dwarf::DW_TAG_class_type: {
979 // Add elements to structure type.
980 DIArray Elements = CTy.getTypeArray();
981
982 // A forward struct declared type may not have elements available.
983 if (Elements.isNull())
984 break;
985
986 // Add elements to structure type.
987 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
988 DIDescriptor Element = Elements.getElement(i);
Devang Patele4b27562009-08-28 23:24:31 +0000989 if (Element.isNull())
990 continue;
Bill Wendling0310d762009-05-15 09:23:25 +0000991 DIE *ElemDie = NULL;
992 if (Element.getTag() == dwarf::DW_TAG_subprogram)
993 ElemDie = CreateSubprogramDIE(DW_Unit,
Devang Patele4b27562009-08-28 23:24:31 +0000994 DISubprogram(Element.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000995 else
996 ElemDie = CreateMemberDIE(DW_Unit,
Devang Patele4b27562009-08-28 23:24:31 +0000997 DIDerivedType(Element.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000998 Buffer.AddChild(ElemDie);
999 }
1000
Devang Patela1ba2692009-08-27 23:51:51 +00001001 if (CTy.isAppleBlockExtension())
Bill Wendling0310d762009-05-15 09:23:25 +00001002 AddUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
1003
1004 unsigned RLang = CTy.getRunTimeLang();
1005 if (RLang)
1006 AddUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
1007 dwarf::DW_FORM_data1, RLang);
1008 break;
1009 }
1010 default:
1011 break;
1012 }
1013
1014 // Add name if not anonymous or intermediate type.
Devang Patel5ccdd102009-09-29 18:40:58 +00001015 if (Name)
Bill Wendling0310d762009-05-15 09:23:25 +00001016 AddString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1017
1018 if (Tag == dwarf::DW_TAG_enumeration_type ||
1019 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
1020 // Add size if non-zero (derived types might be zero-sized.)
1021 if (Size)
1022 AddUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
1023 else {
1024 // Add zero size if it is not a forward declaration.
1025 if (CTy.isForwardDecl())
1026 AddUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1027 else
1028 AddUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
1029 }
1030
1031 // Add source line info if available.
1032 if (!CTy.isForwardDecl())
1033 AddSourceLine(&Buffer, &CTy);
1034 }
1035}
1036
1037/// ConstructSubrangeDIE - Construct subrange DIE from DISubrange.
1038void DwarfDebug::ConstructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
1039 int64_t L = SR.getLo();
1040 int64_t H = SR.getHi();
1041 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1042
Devang Patel6325a532009-08-14 20:59:16 +00001043 AddDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
1044 if (L)
1045 AddSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
1046 if (H)
Daniel Dunbar00564992009-09-19 20:40:14 +00001047 AddSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +00001048
1049 Buffer.AddChild(DW_Subrange);
1050}
1051
1052/// ConstructArrayTypeDIE - Construct array type DIE from DICompositeType.
1053void DwarfDebug::ConstructArrayTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
1054 DICompositeType *CTy) {
1055 Buffer.setTag(dwarf::DW_TAG_array_type);
1056 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
1057 AddUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
1058
1059 // Emit derived type.
1060 AddType(DW_Unit, &Buffer, CTy->getTypeDerivedFrom());
1061 DIArray Elements = CTy->getTypeArray();
1062
1063 // Construct an anonymous type for index type.
1064 DIE IdxBuffer(dwarf::DW_TAG_base_type);
1065 AddUInt(&IdxBuffer, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1066 AddUInt(&IdxBuffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1067 dwarf::DW_ATE_signed);
1068 DIE *IndexTy = DW_Unit->AddDie(IdxBuffer);
1069
1070 // Add subranges to array type.
1071 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1072 DIDescriptor Element = Elements.getElement(i);
1073 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patele4b27562009-08-28 23:24:31 +00001074 ConstructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IndexTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001075 }
1076}
1077
1078/// ConstructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
1079DIE *DwarfDebug::ConstructEnumTypeDIE(CompileUnit *DW_Unit, DIEnumerator *ETy) {
1080 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel5ccdd102009-09-29 18:40:58 +00001081 const char *Name = ETy->getName();
Bill Wendling0310d762009-05-15 09:23:25 +00001082 AddString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1083 int64_t Value = ETy->getEnumValue();
1084 AddSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
1085 return Enumerator;
1086}
1087
1088/// CreateGlobalVariableDIE - Create new DIE using GV.
1089DIE *DwarfDebug::CreateGlobalVariableDIE(CompileUnit *DW_Unit,
1090 const DIGlobalVariable &GV) {
1091 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Devang Patel5ccdd102009-09-29 18:40:58 +00001092 AddString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
1093 GV.getDisplayName());
1094
1095 const char *LinkageName = GV.getLinkageName();
1096 if (LinkageName) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001097 // Skip special LLVM prefix that is used to inform the asm printer to not
1098 // emit usual symbol prefix before the symbol name. This happens for
1099 // Objective-C symbol names and symbol whose name is replaced using GCC's
1100 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00001101 if (LinkageName[0] == 1)
1102 LinkageName = &LinkageName[1];
Bill Wendling0310d762009-05-15 09:23:25 +00001103 AddString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel1a8d2d22009-07-14 00:55:28 +00001104 LinkageName);
Devang Patel53cb17d2009-07-16 01:01:22 +00001105 }
Daniel Dunbar00564992009-09-19 20:40:14 +00001106 AddType(DW_Unit, GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001107 if (!GV.isLocalToUnit())
1108 AddUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1109 AddSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001110
1111 // Add address.
1112 DIEBlock *Block = new DIEBlock();
1113 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1114 AddObjectLabel(Block, 0, dwarf::DW_FORM_udata,
1115 Asm->Mang->getMangledName(GV.getGlobal()));
1116 AddBlock(GVDie, dwarf::DW_AT_location, 0, Block);
1117
Bill Wendling0310d762009-05-15 09:23:25 +00001118 return GVDie;
1119}
1120
1121/// CreateMemberDIE - Create new member DIE.
1122DIE *DwarfDebug::CreateMemberDIE(CompileUnit *DW_Unit, const DIDerivedType &DT){
1123 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel5ccdd102009-09-29 18:40:58 +00001124 if (const char *Name = DT.getName())
Bill Wendling0310d762009-05-15 09:23:25 +00001125 AddString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1126
1127 AddType(DW_Unit, MemberDie, DT.getTypeDerivedFrom());
1128
1129 AddSourceLine(MemberDie, &DT);
1130
1131 uint64_t Size = DT.getSizeInBits();
1132 uint64_t FieldSize = DT.getOriginalTypeSize();
1133
1134 if (Size != FieldSize) {
1135 // Handle bitfield.
1136 AddUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1137 AddUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
1138
1139 uint64_t Offset = DT.getOffsetInBits();
1140 uint64_t FieldOffset = Offset;
1141 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1142 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1143 FieldOffset = (HiMark - FieldSize);
1144 Offset -= FieldOffset;
1145
1146 // Maybe we need to work from the other end.
1147 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
1148 AddUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
1149 }
1150
1151 DIEBlock *Block = new DIEBlock();
1152 AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1153 AddUInt(Block, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
1154 AddBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, Block);
1155
1156 if (DT.isProtected())
1157 AddUInt(MemberDie, dwarf::DW_AT_accessibility, 0,
1158 dwarf::DW_ACCESS_protected);
1159 else if (DT.isPrivate())
1160 AddUInt(MemberDie, dwarf::DW_AT_accessibility, 0,
1161 dwarf::DW_ACCESS_private);
1162
1163 return MemberDie;
1164}
1165
1166/// CreateSubprogramDIE - Create new DIE using SP.
1167DIE *DwarfDebug::CreateSubprogramDIE(CompileUnit *DW_Unit,
1168 const DISubprogram &SP,
Bill Wendling6679ee42009-05-18 22:02:36 +00001169 bool IsConstructor,
1170 bool IsInlined) {
Bill Wendling0310d762009-05-15 09:23:25 +00001171 DIE *SPDie = new DIE(dwarf::DW_TAG_subprogram);
1172
Devang Patel5ccdd102009-09-29 18:40:58 +00001173 const char * Name = SP.getName();
Bill Wendling0310d762009-05-15 09:23:25 +00001174 AddString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1175
Devang Patel5ccdd102009-09-29 18:40:58 +00001176 const char *LinkageName = SP.getLinkageName();
1177 if (LinkageName) {
Devang Patel53cb17d2009-07-16 01:01:22 +00001178 // Skip special LLVM prefix that is used to inform the asm printer to not emit
1179 // usual symbol prefix before the symbol name. This happens for Objective-C
1180 // symbol names and symbol whose name is replaced using GCC's __asm__ attribute.
1181 if (LinkageName[0] == 1)
1182 LinkageName = &LinkageName[1];
Bill Wendling0310d762009-05-15 09:23:25 +00001183 AddString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel1a8d2d22009-07-14 00:55:28 +00001184 LinkageName);
Devang Patel53cb17d2009-07-16 01:01:22 +00001185 }
Bill Wendling0310d762009-05-15 09:23:25 +00001186 AddSourceLine(SPDie, &SP);
1187
1188 DICompositeType SPTy = SP.getType();
1189 DIArray Args = SPTy.getTypeArray();
1190
1191 // Add prototyped tag, if C or ObjC.
1192 unsigned Lang = SP.getCompileUnit().getLanguage();
1193 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1194 Lang == dwarf::DW_LANG_ObjC)
1195 AddUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
1196
1197 // Add Return Type.
1198 unsigned SPTag = SPTy.getTag();
1199 if (!IsConstructor) {
1200 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
1201 AddType(DW_Unit, SPDie, SPTy);
1202 else
Devang Patele4b27562009-08-28 23:24:31 +00001203 AddType(DW_Unit, SPDie, DIType(Args.getElement(0).getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +00001204 }
1205
1206 if (!SP.isDefinition()) {
1207 AddUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1208
1209 // Add arguments. Do not add arguments for subprogram definition. They will
1210 // be handled through RecordVariable.
1211 if (SPTag == dwarf::DW_TAG_subroutine_type)
1212 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1213 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patele4b27562009-08-28 23:24:31 +00001214 AddType(DW_Unit, Arg, DIType(Args.getElement(i).getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +00001215 AddUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1216 SPDie->AddChild(Arg);
1217 }
1218 }
1219
Bill Wendling6679ee42009-05-18 22:02:36 +00001220 if (!SP.isLocalToUnit() && !IsInlined)
Bill Wendling0310d762009-05-15 09:23:25 +00001221 AddUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1222
1223 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patele4b27562009-08-28 23:24:31 +00001224 DIE *&Slot = DW_Unit->getDieMapSlotFor(SP.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +00001225 Slot = SPDie;
1226 return SPDie;
1227}
1228
1229/// FindCompileUnit - Get the compile unit for the given descriptor.
1230///
1231CompileUnit &DwarfDebug::FindCompileUnit(DICompileUnit Unit) const {
1232 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patele4b27562009-08-28 23:24:31 +00001233 CompileUnitMap.find(Unit.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +00001234 assert(I != CompileUnitMap.end() && "Missing compile unit.");
1235 return *I->second;
1236}
1237
Bill Wendling995f80a2009-05-20 23:24:48 +00001238/// CreateDbgScopeVariable - Create a new scope variable.
Bill Wendling0310d762009-05-15 09:23:25 +00001239///
Bill Wendling995f80a2009-05-20 23:24:48 +00001240DIE *DwarfDebug::CreateDbgScopeVariable(DbgVariable *DV, CompileUnit *Unit) {
Bill Wendling0310d762009-05-15 09:23:25 +00001241 // Get the descriptor.
1242 const DIVariable &VD = DV->getVariable();
1243
1244 // Translate tag to proper Dwarf tag. The result variable is dropped for
1245 // now.
1246 unsigned Tag;
1247 switch (VD.getTag()) {
1248 case dwarf::DW_TAG_return_variable:
1249 return NULL;
1250 case dwarf::DW_TAG_arg_variable:
1251 Tag = dwarf::DW_TAG_formal_parameter;
1252 break;
1253 case dwarf::DW_TAG_auto_variable: // fall thru
1254 default:
1255 Tag = dwarf::DW_TAG_variable;
1256 break;
1257 }
1258
1259 // Define variable debug information entry.
1260 DIE *VariableDie = new DIE(Tag);
Devang Patel5ccdd102009-09-29 18:40:58 +00001261 const char *Name = VD.getName();
Bill Wendling0310d762009-05-15 09:23:25 +00001262 AddString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1263
1264 // Add source line info if available.
1265 AddSourceLine(VariableDie, &VD);
1266
1267 // Add variable type.
Mike Stump3e4c9bd2009-09-30 00:08:22 +00001268 // FIXME: isBlockByrefVariable should be reformulated in terms of complex addresses instead.
Caroline Ticedc8f6042009-08-31 21:19:37 +00001269 if (VD.isBlockByrefVariable())
1270 AddType(Unit, VariableDie, GetBlockByrefType(VD.getType(), Name));
1271 else
1272 AddType(Unit, VariableDie, VD.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001273
1274 // Add variable address.
Bill Wendling1180c782009-05-18 23:08:55 +00001275 if (!DV->isInlinedFnVar()) {
1276 // Variables for abstract instances of inlined functions don't get a
1277 // location.
1278 MachineLocation Location;
1279 Location.set(RI->getFrameRegister(*MF),
1280 RI->getFrameIndexOffset(*MF, DV->getFrameIndex()));
Caroline Ticedc8f6042009-08-31 21:19:37 +00001281
Mike Stump3e4c9bd2009-09-30 00:08:22 +00001282
1283 if (VD.hasComplexAddress())
1284 AddComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1285 else if (VD.isBlockByrefVariable())
Mike Stumpee4b8a72009-09-24 23:11:08 +00001286 AddBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Caroline Ticedc8f6042009-08-31 21:19:37 +00001287 else
1288 AddAddress(VariableDie, dwarf::DW_AT_location, Location);
Bill Wendling1180c782009-05-18 23:08:55 +00001289 }
Bill Wendling0310d762009-05-15 09:23:25 +00001290
1291 return VariableDie;
1292}
1293
1294/// getOrCreateScope - Returns the scope associated with the given descriptor.
1295///
Devang Patelaf9e8472009-10-01 20:31:14 +00001296DbgScope *DwarfDebug::getDbgScope(MDNode *N, const MachineInstr *MI) {
1297 DbgScope *&Slot = DbgScopeMap[N];
1298 if (Slot) return Slot;
1299
1300 DbgScope *Parent = NULL;
1301
1302 DIDescriptor Scope(N);
1303 if (Scope.isCompileUnit()) {
1304 return NULL;
1305 } else if (Scope.isSubprogram()) {
1306 DISubprogram SP(N);
1307 DIDescriptor ParentDesc = SP.getContext();
1308 if (!ParentDesc.isNull() && !ParentDesc.isCompileUnit())
1309 Parent = getDbgScope(ParentDesc.getNode(), MI);
1310 } else if (Scope.isLexicalBlock()) {
1311 DILexicalBlock DB(N);
1312 DIDescriptor ParentDesc = DB.getContext();
1313 if (!ParentDesc.isNull())
1314 Parent = getDbgScope(ParentDesc.getNode(), MI);
1315 } else
1316 assert (0 && "Unexpected scope info");
1317
1318 Slot = new DbgScope(Parent, DIDescriptor(N));
1319 Slot->setFirstInsn(MI);
1320
1321 if (Parent)
1322 Parent->AddScope(Slot);
1323 else
1324 // First function is top level function.
1325 // FIXME - Dpatel - What is FunctionDbgScope ?
1326 if (!FunctionDbgScope)
1327 FunctionDbgScope = Slot;
1328
1329 return Slot;
1330}
1331
1332
1333/// getOrCreateScope - Returns the scope associated with the given descriptor.
1334/// FIXME - Remove this method.
Devang Patele4b27562009-08-28 23:24:31 +00001335DbgScope *DwarfDebug::getOrCreateScope(MDNode *N) {
1336 DbgScope *&Slot = DbgScopeMap[N];
Bill Wendling0310d762009-05-15 09:23:25 +00001337 if (Slot) return Slot;
1338
1339 DbgScope *Parent = NULL;
Devang Patel5e005d82009-08-31 22:00:15 +00001340 DILexicalBlock Block(N);
Bill Wendling0310d762009-05-15 09:23:25 +00001341
Bill Wendling8fff19b2009-06-01 20:18:46 +00001342 // Don't create a new scope if we already created one for an inlined function.
Devang Patele4b27562009-08-28 23:24:31 +00001343 DenseMap<const MDNode *, DbgScope *>::iterator
1344 II = AbstractInstanceRootMap.find(N);
Bill Wendling8fff19b2009-06-01 20:18:46 +00001345 if (II != AbstractInstanceRootMap.end())
1346 return LexicalScopeStack.back();
1347
Bill Wendling0310d762009-05-15 09:23:25 +00001348 if (!Block.isNull()) {
1349 DIDescriptor ParentDesc = Block.getContext();
1350 Parent =
Devang Patele4b27562009-08-28 23:24:31 +00001351 ParentDesc.isNull() ? NULL : getOrCreateScope(ParentDesc.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +00001352 }
1353
Devang Patele4b27562009-08-28 23:24:31 +00001354 Slot = new DbgScope(Parent, DIDescriptor(N));
Bill Wendling0310d762009-05-15 09:23:25 +00001355
1356 if (Parent)
1357 Parent->AddScope(Slot);
1358 else
1359 // First function is top level function.
1360 FunctionDbgScope = Slot;
1361
1362 return Slot;
1363}
1364
1365/// ConstructDbgScope - Construct the components of a scope.
1366///
1367void DwarfDebug::ConstructDbgScope(DbgScope *ParentScope,
1368 unsigned ParentStartID,
1369 unsigned ParentEndID,
1370 DIE *ParentDie, CompileUnit *Unit) {
1371 // Add variables to scope.
1372 SmallVector<DbgVariable *, 8> &Variables = ParentScope->getVariables();
1373 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Bill Wendling995f80a2009-05-20 23:24:48 +00001374 DIE *VariableDie = CreateDbgScopeVariable(Variables[i], Unit);
Bill Wendling0310d762009-05-15 09:23:25 +00001375 if (VariableDie) ParentDie->AddChild(VariableDie);
1376 }
1377
1378 // Add concrete instances to scope.
1379 SmallVector<DbgConcreteScope *, 8> &ConcreteInsts =
1380 ParentScope->getConcreteInsts();
1381 for (unsigned i = 0, N = ConcreteInsts.size(); i < N; ++i) {
1382 DbgConcreteScope *ConcreteInst = ConcreteInsts[i];
1383 DIE *Die = ConcreteInst->getDie();
1384
1385 unsigned StartID = ConcreteInst->getStartLabelID();
1386 unsigned EndID = ConcreteInst->getEndLabelID();
1387
1388 // Add the scope bounds.
1389 if (StartID)
1390 AddLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1391 DWLabel("label", StartID));
1392 else
1393 AddLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1394 DWLabel("func_begin", SubprogramCount));
1395
1396 if (EndID)
1397 AddLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1398 DWLabel("label", EndID));
1399 else
1400 AddLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1401 DWLabel("func_end", SubprogramCount));
1402
1403 ParentDie->AddChild(Die);
1404 }
1405
1406 // Add nested scopes.
1407 SmallVector<DbgScope *, 4> &Scopes = ParentScope->getScopes();
1408 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1409 // Define the Scope debug information entry.
1410 DbgScope *Scope = Scopes[j];
1411
1412 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1413 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1414
1415 // Ignore empty scopes.
1416 if (StartID == EndID && StartID != 0) continue;
1417
1418 // Do not ignore inlined scopes even if they don't have any variables or
1419 // scopes.
1420 if (Scope->getScopes().empty() && Scope->getVariables().empty() &&
1421 Scope->getConcreteInsts().empty())
1422 continue;
1423
1424 if (StartID == ParentStartID && EndID == ParentEndID) {
1425 // Just add stuff to the parent scope.
1426 ConstructDbgScope(Scope, ParentStartID, ParentEndID, ParentDie, Unit);
1427 } else {
1428 DIE *ScopeDie = new DIE(dwarf::DW_TAG_lexical_block);
1429
1430 // Add the scope bounds.
1431 if (StartID)
1432 AddLabel(ScopeDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1433 DWLabel("label", StartID));
1434 else
1435 AddLabel(ScopeDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1436 DWLabel("func_begin", SubprogramCount));
1437
1438 if (EndID)
1439 AddLabel(ScopeDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1440 DWLabel("label", EndID));
1441 else
1442 AddLabel(ScopeDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1443 DWLabel("func_end", SubprogramCount));
1444
1445 // Add the scope's contents.
1446 ConstructDbgScope(Scope, StartID, EndID, ScopeDie, Unit);
1447 ParentDie->AddChild(ScopeDie);
1448 }
1449 }
1450}
1451
1452/// ConstructFunctionDbgScope - Construct the scope for the subprogram.
1453///
Bill Wendling17956162009-05-20 23:28:48 +00001454void DwarfDebug::ConstructFunctionDbgScope(DbgScope *RootScope,
1455 bool AbstractScope) {
Bill Wendling0310d762009-05-15 09:23:25 +00001456 // Exit if there is no root scope.
1457 if (!RootScope) return;
1458 DIDescriptor Desc = RootScope->getDesc();
1459 if (Desc.isNull())
1460 return;
1461
1462 // Get the subprogram debug information entry.
Devang Patele4b27562009-08-28 23:24:31 +00001463 DISubprogram SPD(Desc.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +00001464
Bill Wendling0310d762009-05-15 09:23:25 +00001465 // Get the subprogram die.
Devang Patele4b27562009-08-28 23:24:31 +00001466 DIE *SPDie = ModuleCU->getDieMapSlotFor(SPD.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +00001467 assert(SPDie && "Missing subprogram descriptor");
1468
Bill Wendling17956162009-05-20 23:28:48 +00001469 if (!AbstractScope) {
1470 // Add the function bounds.
1471 AddLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1472 DWLabel("func_begin", SubprogramCount));
1473 AddLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1474 DWLabel("func_end", SubprogramCount));
1475 MachineLocation Location(RI->getFrameRegister(*MF));
1476 AddAddress(SPDie, dwarf::DW_AT_frame_base, Location);
1477 }
Bill Wendling0310d762009-05-15 09:23:25 +00001478
Devang Patel1dbc7712009-06-29 20:45:18 +00001479 ConstructDbgScope(RootScope, 0, 0, SPDie, ModuleCU);
Devang Patelfd07cf52009-10-05 23:40:42 +00001480 // If there are global variables at this scope then add their dies.
1481 for (SmallVector<WeakVH, 4>::iterator SGI = ScopedGVs.begin(),
1482 SGE = ScopedGVs.end(); SGI != SGE; ++SGI) {
1483 MDNode *N = dyn_cast_or_null<MDNode>(*SGI);
1484 if (!N) continue;
1485 DIGlobalVariable GV(N);
1486 if (GV.getContext().getNode() == RootScope->getDesc().getNode()) {
1487 DIE *ScopedGVDie = CreateGlobalVariableDIE(ModuleCU, GV);
1488 SPDie->AddChild(ScopedGVDie);
1489 }
1490 }
Bill Wendling0310d762009-05-15 09:23:25 +00001491}
1492
Bill Wendling0310d762009-05-15 09:23:25 +00001493/// ConstructDefaultDbgScope - Construct a default scope for the subprogram.
1494///
1495void DwarfDebug::ConstructDefaultDbgScope(MachineFunction *MF) {
Devang Patel1dbc7712009-06-29 20:45:18 +00001496 StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Daniel Dunbar460f6562009-07-26 09:48:23 +00001497 StringMap<DIE*>::iterator GI = Globals.find(MF->getFunction()->getName());
Devang Patel70f44262009-06-29 20:38:13 +00001498 if (GI != Globals.end()) {
1499 DIE *SPDie = GI->second;
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001500
Devang Patel70f44262009-06-29 20:38:13 +00001501 // Add the function bounds.
1502 AddLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1503 DWLabel("func_begin", SubprogramCount));
1504 AddLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1505 DWLabel("func_end", SubprogramCount));
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001506
Devang Patel70f44262009-06-29 20:38:13 +00001507 MachineLocation Location(RI->getFrameRegister(*MF));
1508 AddAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Bill Wendling0310d762009-05-15 09:23:25 +00001509 }
Bill Wendling0310d762009-05-15 09:23:25 +00001510}
1511
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001512/// GetOrCreateSourceID - Look up the source id with the given directory and
1513/// source file names. If none currently exists, create a new id and insert it
1514/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1515/// maps as well.
Devang Patel5ccdd102009-09-29 18:40:58 +00001516unsigned DwarfDebug::GetOrCreateSourceID(const char *DirName,
1517 const char *FileName) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001518 unsigned DId;
1519 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1520 if (DI != DirectoryIdMap.end()) {
1521 DId = DI->getValue();
1522 } else {
1523 DId = DirectoryNames.size() + 1;
1524 DirectoryIdMap[DirName] = DId;
1525 DirectoryNames.push_back(DirName);
1526 }
1527
1528 unsigned FId;
1529 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1530 if (FI != SourceFileIdMap.end()) {
1531 FId = FI->getValue();
1532 } else {
1533 FId = SourceFileNames.size() + 1;
1534 SourceFileIdMap[FileName] = FId;
1535 SourceFileNames.push_back(FileName);
1536 }
1537
1538 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1539 SourceIdMap.find(std::make_pair(DId, FId));
1540 if (SI != SourceIdMap.end())
1541 return SI->second;
1542
1543 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1544 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1545 SourceIds.push_back(std::make_pair(DId, FId));
1546
1547 return SrcId;
1548}
1549
Devang Patele4b27562009-08-28 23:24:31 +00001550void DwarfDebug::ConstructCompileUnit(MDNode *N) {
1551 DICompileUnit DIUnit(N);
Devang Patel5ccdd102009-09-29 18:40:58 +00001552 const char *FN = DIUnit.getFilename();
1553 const char *Dir = DIUnit.getDirectory();
1554 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001555
1556 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
1557 AddSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
1558 DWLabel("section_line", 0), DWLabel("section_line", 0),
1559 false);
1560 AddString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001561 DIUnit.getProducer());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001562 AddUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
1563 DIUnit.getLanguage());
1564 AddString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
1565
Devang Patel5ccdd102009-09-29 18:40:58 +00001566 if (Dir)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001567 AddString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
1568 if (DIUnit.isOptimized())
1569 AddUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
1570
Devang Patel5ccdd102009-09-29 18:40:58 +00001571 if (const char *Flags = DIUnit.getFlags())
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001572 AddString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
1573
1574 unsigned RVer = DIUnit.getRunTimeVersion();
1575 if (RVer)
1576 AddUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
1577 dwarf::DW_FORM_data1, RVer);
1578
1579 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel1dbc7712009-06-29 20:45:18 +00001580 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel70f44262009-06-29 20:38:13 +00001581 // Use first compile unit marked as isMain as the compile unit
1582 // for this module.
Devang Patel1dbc7712009-06-29 20:45:18 +00001583 ModuleCU = Unit;
Devang Patel70f44262009-06-29 20:38:13 +00001584 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001585
Devang Patele4b27562009-08-28 23:24:31 +00001586 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001587 CompileUnits.push_back(Unit);
1588}
1589
Devang Patele4b27562009-08-28 23:24:31 +00001590void DwarfDebug::ConstructGlobalVariableDIE(MDNode *N) {
1591 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001592
Devang Patel905cf5e2009-09-04 23:59:07 +00001593 // If debug information is malformed then ignore it.
1594 if (DI_GV.Verify() == false)
1595 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001596
1597 // Check for pre-existence.
Devang Patele4b27562009-08-28 23:24:31 +00001598 DIE *&Slot = ModuleCU->getDieMapSlotFor(DI_GV.getNode());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001599 if (Slot)
Devang Patel13e16b62009-06-26 01:49:18 +00001600 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001601
Devang Patel1dbc7712009-06-29 20:45:18 +00001602 DIE *VariableDie = CreateGlobalVariableDIE(ModuleCU, DI_GV);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001603
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001604 // Add to map.
1605 Slot = VariableDie;
1606
1607 // Add to context owner.
Devang Patel1dbc7712009-06-29 20:45:18 +00001608 ModuleCU->getDie()->AddChild(VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001609
1610 // Expose as global. FIXME - need to check external flag.
Devang Patel5ccdd102009-09-29 18:40:58 +00001611 ModuleCU->AddGlobal(DI_GV.getName(), VariableDie);
Devang Patel13e16b62009-06-26 01:49:18 +00001612 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001613}
1614
Devang Patele4b27562009-08-28 23:24:31 +00001615void DwarfDebug::ConstructSubprogram(MDNode *N) {
1616 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001617
1618 // Check for pre-existence.
Devang Patele4b27562009-08-28 23:24:31 +00001619 DIE *&Slot = ModuleCU->getDieMapSlotFor(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001620 if (Slot)
Devang Patel13e16b62009-06-26 01:49:18 +00001621 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001622
1623 if (!SP.isDefinition())
1624 // This is a method declaration which will be handled while constructing
1625 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001626 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001627
Devang Patel1dbc7712009-06-29 20:45:18 +00001628 DIE *SubprogramDie = CreateSubprogramDIE(ModuleCU, SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001629
1630 // Add to map.
1631 Slot = SubprogramDie;
1632
1633 // Add to context owner.
Devang Patel1dbc7712009-06-29 20:45:18 +00001634 ModuleCU->getDie()->AddChild(SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001635
1636 // Expose as global.
Devang Patel5ccdd102009-09-29 18:40:58 +00001637 ModuleCU->AddGlobal(SP.getName(), SubprogramDie);
Devang Patel13e16b62009-06-26 01:49:18 +00001638 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001639}
1640
Daniel Dunbar00564992009-09-19 20:40:14 +00001641/// BeginModule - Emit all Dwarf sections that should come prior to the
1642/// content. Create global DIEs and emit initial debug info sections.
1643/// This is inovked by the target AsmPrinter.
Devang Patel208622d2009-06-25 22:36:02 +00001644void DwarfDebug::BeginModule(Module *M, MachineModuleInfo *mmi) {
1645 this->M = M;
1646
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001647 if (TimePassesIsEnabled)
1648 DebugTimer->startTimer();
1649
Devang Patel78ab9e22009-07-30 18:56:46 +00001650 DebugInfoFinder DbgFinder;
1651 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001652
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001653 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001654 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1655 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel13e16b62009-06-26 01:49:18 +00001656 ConstructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001657
1658 if (CompileUnits.empty()) {
1659 if (TimePassesIsEnabled)
1660 DebugTimer->stopTimer();
1661
1662 return;
1663 }
1664
Devang Patel70f44262009-06-29 20:38:13 +00001665 // If main compile unit for this module is not seen than randomly
1666 // select first compile unit.
Devang Patel1dbc7712009-06-29 20:45:18 +00001667 if (!ModuleCU)
1668 ModuleCU = CompileUnits[0];
Devang Patel70f44262009-06-29 20:38:13 +00001669
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001670 // If there is not any debug info available for any global variables and any
1671 // subprograms then there is not any debug info to emit.
Devang Patel78ab9e22009-07-30 18:56:46 +00001672 if (DbgFinder.global_variable_count() == 0
1673 && DbgFinder.subprogram_count() == 0) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001674 if (TimePassesIsEnabled)
1675 DebugTimer->stopTimer();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001676 return;
1677 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001678
Devang Patel13e16b62009-06-26 01:49:18 +00001679 // Create DIEs for each of the externally visible global variables.
Devang Patel78ab9e22009-07-30 18:56:46 +00001680 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
Devang Patelfd07cf52009-10-05 23:40:42 +00001681 E = DbgFinder.global_variable_end(); I != E; ++I) {
1682 DIGlobalVariable GV(*I);
1683 if (GV.getContext().getNode() != GV.getCompileUnit().getNode())
1684 ScopedGVs.push_back(*I);
1685 else
1686 ConstructGlobalVariableDIE(*I);
1687 }
Devang Patel13e16b62009-06-26 01:49:18 +00001688
1689 // Create DIEs for each of the externally visible subprograms.
Devang Patel78ab9e22009-07-30 18:56:46 +00001690 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1691 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel13e16b62009-06-26 01:49:18 +00001692 ConstructSubprogram(*I);
1693
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001694 MMI = mmi;
1695 shouldEmit = true;
1696 MMI->setDebugInfoAvailability(true);
1697
1698 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001699 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001700
1701 // Print out .file directives to specify files for .loc directives. These are
1702 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001703 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001704 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1705 // Remember source id starts at 1.
1706 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
1707 sys::Path FullPath(getSourceDirectoryName(Id.first));
1708 bool AppendOk =
1709 FullPath.appendComponent(getSourceFileName(Id.second));
1710 assert(AppendOk && "Could not append filename to directory!");
1711 AppendOk = false;
Chris Lattner74382b72009-08-23 22:45:37 +00001712 Asm->EmitFile(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001713 Asm->EOL();
1714 }
1715 }
1716
1717 // Emit initial sections
1718 EmitInitial();
1719
1720 if (TimePassesIsEnabled)
1721 DebugTimer->stopTimer();
1722}
1723
1724/// EndModule - Emit all Dwarf sections that should come after the content.
1725///
1726void DwarfDebug::EndModule() {
1727 if (!ShouldEmitDwarfDebug())
1728 return;
1729
1730 if (TimePassesIsEnabled)
1731 DebugTimer->startTimer();
1732
1733 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001734 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001735 EmitLabel("text_end", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001736 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001737 EmitLabel("data_end", 0);
1738
1739 // End text sections.
1740 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001741 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001742 EmitLabel("section_end", i);
1743 }
1744
1745 // Emit common frame information.
1746 EmitCommonDebugFrame();
1747
1748 // Emit function debug frame information
1749 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1750 E = DebugFrames.end(); I != E; ++I)
1751 EmitFunctionDebugFrame(*I);
1752
1753 // Compute DIE offsets and sizes.
1754 SizeAndOffsets();
1755
1756 // Emit all the DIEs into a debug info section
1757 EmitDebugInfo();
1758
1759 // Corresponding abbreviations into a abbrev section.
1760 EmitAbbreviations();
1761
1762 // Emit source line correspondence into a debug line section.
1763 EmitDebugLines();
1764
1765 // Emit info into a debug pubnames section.
1766 EmitDebugPubNames();
1767
1768 // Emit info into a debug str section.
1769 EmitDebugStr();
1770
1771 // Emit info into a debug loc section.
1772 EmitDebugLoc();
1773
1774 // Emit info into a debug aranges section.
1775 EmitDebugARanges();
1776
1777 // Emit info into a debug ranges section.
1778 EmitDebugRanges();
1779
1780 // Emit info into a debug macinfo section.
1781 EmitDebugMacInfo();
1782
1783 // Emit inline info.
1784 EmitDebugInlineInfo();
1785
1786 if (TimePassesIsEnabled)
1787 DebugTimer->stopTimer();
1788}
1789
Devang Patelaf9e8472009-10-01 20:31:14 +00001790/// ExtractScopeInformation - Scan machine instructions in this function
1791/// and collect DbgScopes. Return true, if atleast one scope was found.
1792bool DwarfDebug::ExtractScopeInformation(MachineFunction *MF) {
1793 // If scope information was extracted using .dbg intrinsics then there is not
1794 // any need to extract these information by scanning each instruction.
1795 if (!DbgScopeMap.empty())
1796 return false;
1797
1798 // Scan each instruction and create scopes.
1799 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1800 I != E; ++I) {
1801 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1802 II != IE; ++II) {
1803 const MachineInstr *MInsn = II;
1804 DebugLoc DL = MInsn->getDebugLoc();
1805 if (DL.isUnknown())
1806 continue;
1807 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
1808 if (!DLT.CompileUnit)
1809 continue;
1810 // There is no need to create another DIE for compile unit. For all
1811 // other scopes, create one DbgScope now. This will be translated
1812 // into a scope DIE at the end.
1813 DIDescriptor D(DLT.CompileUnit);
1814 if (!D.isCompileUnit()) {
1815 DbgScope *Scope = getDbgScope(DLT.CompileUnit, MInsn);
1816 Scope->setLastInsn(MInsn);
1817 }
1818 }
1819 }
1820
1821 // If a scope's last instruction is not set then use its child scope's
1822 // last instruction as this scope's last instrunction.
1823 for (DenseMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
1824 DE = DbgScopeMap.end(); DI != DE; ++DI) {
1825 assert (DI->second->getFirstInsn() && "Invalid first instruction!");
1826 DI->second->FixInstructionMarkers();
1827 assert (DI->second->getLastInsn() && "Invalid last instruction!");
1828 }
1829
1830 // Each scope has first instruction and last instruction to mark beginning
1831 // and end of a scope respectively. Create an inverse map that list scopes
1832 // starts (and ends) with an instruction. One instruction may start (or end)
1833 // multiple scopes.
1834 for (DenseMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
1835 DE = DbgScopeMap.end(); DI != DE; ++DI) {
1836 DbgScope *S = DI->second;
1837 assert (S && "DbgScope is missing!");
1838 const MachineInstr *MI = S->getFirstInsn();
1839 assert (MI && "DbgScope does not have first instruction!");
1840
1841 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
1842 if (IDI != DbgScopeBeginMap.end())
1843 IDI->second.push_back(S);
1844 else
1845 DbgScopeBeginMap.insert(std::make_pair(MI,
1846 SmallVector<DbgScope *, 2>(2, S)));
1847
1848 MI = S->getLastInsn();
1849 assert (MI && "DbgScope does not have last instruction!");
1850 IDI = DbgScopeEndMap.find(MI);
1851 if (IDI != DbgScopeEndMap.end())
1852 IDI->second.push_back(S);
1853 else
1854 DbgScopeEndMap.insert(std::make_pair(MI,
1855 SmallVector<DbgScope *, 2>(2, S)));
1856 }
1857
1858 return !DbgScopeMap.empty();
1859}
1860
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001861/// BeginFunction - Gather pre-function debug information. Assumes being
1862/// emitted immediately after the function entry point.
1863void DwarfDebug::BeginFunction(MachineFunction *MF) {
1864 this->MF = MF;
1865
1866 if (!ShouldEmitDwarfDebug()) return;
1867
1868 if (TimePassesIsEnabled)
1869 DebugTimer->startTimer();
1870
1871 // Begin accumulating function debug information.
1872 MMI->BeginFunction(MF);
1873
1874 // Assumes in correct section after the entry point.
1875 EmitLabel("func_begin", ++SubprogramCount);
1876
1877 // Emit label for the implicitly defined dbg.stoppoint at the start of the
1878 // function.
1879 DebugLoc FDL = MF->getDefaultDebugLoc();
1880 if (!FDL.isUnknown()) {
1881 DebugLocTuple DLT = MF->getDebugLocTuple(FDL);
Devang Patel3d910832009-09-30 22:51:28 +00001882 unsigned LabelID = RecordSourceLine(DLT.Line, DLT.Col, DLT.CompileUnit);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001883 Asm->printLabel(LabelID);
Chris Lattnerc5ea2632009-09-09 23:14:36 +00001884 O << '\n';
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001885 }
1886
1887 if (TimePassesIsEnabled)
1888 DebugTimer->stopTimer();
1889}
1890
1891/// EndFunction - Gather and emit post-function debug information.
1892///
1893void DwarfDebug::EndFunction(MachineFunction *MF) {
1894 if (!ShouldEmitDwarfDebug()) return;
1895
1896 if (TimePassesIsEnabled)
1897 DebugTimer->startTimer();
1898
1899 // Define end label for subprogram.
1900 EmitLabel("func_end", SubprogramCount);
1901
1902 // Get function line info.
1903 if (!Lines.empty()) {
1904 // Get section line info.
Chris Lattner290c2f52009-08-03 23:20:21 +00001905 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001906 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
1907 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
1908 // Append the function info to section info.
1909 SectionLineInfos.insert(SectionLineInfos.end(),
1910 Lines.begin(), Lines.end());
1911 }
1912
1913 // Construct the DbgScope for abstract instances.
1914 for (SmallVector<DbgScope *, 32>::iterator
1915 I = AbstractInstanceRootList.begin(),
1916 E = AbstractInstanceRootList.end(); I != E; ++I)
Bill Wendling17956162009-05-20 23:28:48 +00001917 ConstructFunctionDbgScope(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001918
1919 // Construct scopes for subprogram.
1920 if (FunctionDbgScope)
1921 ConstructFunctionDbgScope(FunctionDbgScope);
1922 else
1923 // FIXME: This is wrong. We are essentially getting past a problem with
1924 // debug information not being able to handle unreachable blocks that have
1925 // debug information in them. In particular, those unreachable blocks that
1926 // have "region end" info in them. That situation results in the "root
1927 // scope" not being created. If that's the case, then emit a "default"
1928 // scope, i.e., one that encompasses the whole function. This isn't
1929 // desirable. And a better way of handling this (and all of the debugging
1930 // information) needs to be explored.
1931 ConstructDefaultDbgScope(MF);
1932
1933 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
1934 MMI->getFrameMoves()));
1935
1936 // Clear debug info
1937 if (FunctionDbgScope) {
1938 delete FunctionDbgScope;
1939 DbgScopeMap.clear();
Devang Patelaf9e8472009-10-01 20:31:14 +00001940 DbgScopeBeginMap.clear();
1941 DbgScopeEndMap.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001942 DbgAbstractScopeMap.clear();
1943 DbgConcreteScopeMap.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001944 FunctionDbgScope = NULL;
1945 LexicalScopeStack.clear();
1946 AbstractInstanceRootList.clear();
Devang Patel9217f792009-06-12 19:24:05 +00001947 AbstractInstanceRootMap.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001948 }
1949
1950 Lines.clear();
1951
1952 if (TimePassesIsEnabled)
1953 DebugTimer->stopTimer();
1954}
1955
1956/// RecordSourceLine - Records location information and associates it with a
1957/// label. Returns a unique label ID used to generate a label and provide
1958/// correspondence to the source line list.
1959unsigned DwarfDebug::RecordSourceLine(Value *V, unsigned Line, unsigned Col) {
1960 if (TimePassesIsEnabled)
1961 DebugTimer->startTimer();
1962
1963 CompileUnit *Unit = CompileUnitMap[V];
1964 assert(Unit && "Unable to find CompileUnit");
1965 unsigned ID = MMI->NextLabelID();
1966 Lines.push_back(SrcLineInfo(Line, Col, Unit->getID(), ID));
1967
1968 if (TimePassesIsEnabled)
1969 DebugTimer->stopTimer();
1970
1971 return ID;
1972}
1973
1974/// RecordSourceLine - Records location information and associates it with a
1975/// label. Returns a unique label ID used to generate a label and provide
1976/// correspondence to the source line list.
Devang Patel3d910832009-09-30 22:51:28 +00001977unsigned DwarfDebug::RecordSourceLine(unsigned Line, unsigned Col,
Devang Patelf84548d2009-10-05 18:03:19 +00001978 MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00001979 if (!MMI)
1980 return 0;
1981
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001982 if (TimePassesIsEnabled)
1983 DebugTimer->startTimer();
1984
Devang Patelf84548d2009-10-05 18:03:19 +00001985 const char *Dir = NULL;
1986 const char *Fn = NULL;
1987
1988 DIDescriptor Scope(S);
1989 if (Scope.isCompileUnit()) {
1990 DICompileUnit CU(S);
1991 Dir = CU.getDirectory();
1992 Fn = CU.getFilename();
1993 } else if (Scope.isSubprogram()) {
1994 DISubprogram SP(S);
1995 Dir = SP.getDirectory();
1996 Fn = SP.getFilename();
1997 } else if (Scope.isLexicalBlock()) {
1998 DILexicalBlock DB(S);
1999 Dir = DB.getDirectory();
2000 Fn = DB.getFilename();
2001 } else
2002 assert (0 && "Unexpected scope info");
2003
2004 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002005 unsigned ID = MMI->NextLabelID();
2006 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2007
2008 if (TimePassesIsEnabled)
2009 DebugTimer->stopTimer();
2010
2011 return ID;
2012}
2013
2014/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2015/// timed. Look up the source id with the given directory and source file
2016/// names. If none currently exists, create a new id and insert it in the
2017/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2018/// well.
2019unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2020 const std::string &FileName) {
2021 if (TimePassesIsEnabled)
2022 DebugTimer->startTimer();
2023
Devang Patel5ccdd102009-09-29 18:40:58 +00002024 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002025
2026 if (TimePassesIsEnabled)
2027 DebugTimer->stopTimer();
2028
2029 return SrcId;
2030}
2031
2032/// RecordRegionStart - Indicate the start of a region.
Devang Patele4b27562009-08-28 23:24:31 +00002033unsigned DwarfDebug::RecordRegionStart(MDNode *N) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002034 if (TimePassesIsEnabled)
2035 DebugTimer->startTimer();
2036
Devang Patele4b27562009-08-28 23:24:31 +00002037 DbgScope *Scope = getOrCreateScope(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002038 unsigned ID = MMI->NextLabelID();
2039 if (!Scope->getStartLabelID()) Scope->setStartLabelID(ID);
2040 LexicalScopeStack.push_back(Scope);
2041
2042 if (TimePassesIsEnabled)
2043 DebugTimer->stopTimer();
2044
2045 return ID;
2046}
2047
2048/// RecordRegionEnd - Indicate the end of a region.
Devang Patele4b27562009-08-28 23:24:31 +00002049unsigned DwarfDebug::RecordRegionEnd(MDNode *N) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002050 if (TimePassesIsEnabled)
2051 DebugTimer->startTimer();
2052
Devang Patele4b27562009-08-28 23:24:31 +00002053 DbgScope *Scope = getOrCreateScope(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002054 unsigned ID = MMI->NextLabelID();
2055 Scope->setEndLabelID(ID);
Devang Pateldaf9e022009-06-13 02:16:18 +00002056 // FIXME : region.end() may not be in the last basic block.
2057 // For now, do not pop last lexical scope because next basic
2058 // block may start new inlined function's body.
2059 unsigned LSSize = LexicalScopeStack.size();
2060 if (LSSize != 0 && LSSize != 1)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002061 LexicalScopeStack.pop_back();
2062
2063 if (TimePassesIsEnabled)
2064 DebugTimer->stopTimer();
2065
2066 return ID;
2067}
2068
2069/// RecordVariable - Indicate the declaration of a local variable.
Devang Patele4b27562009-08-28 23:24:31 +00002070void DwarfDebug::RecordVariable(MDNode *N, unsigned FrameIndex) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002071 if (TimePassesIsEnabled)
2072 DebugTimer->startTimer();
2073
Devang Patele4b27562009-08-28 23:24:31 +00002074 DIDescriptor Desc(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002075 DbgScope *Scope = NULL;
2076 bool InlinedFnVar = false;
2077
Devang Patele4b27562009-08-28 23:24:31 +00002078 if (Desc.getTag() == dwarf::DW_TAG_variable)
2079 Scope = getOrCreateScope(DIGlobalVariable(N).getContext().getNode());
2080 else {
Devang Patel24f20e02009-08-22 17:12:53 +00002081 bool InlinedVar = false;
Devang Patele4b27562009-08-28 23:24:31 +00002082 MDNode *Context = DIVariable(N).getContext().getNode();
2083 DISubprogram SP(Context);
Devang Patel24f20e02009-08-22 17:12:53 +00002084 if (!SP.isNull()) {
2085 // SP is inserted into DbgAbstractScopeMap when inlined function
2086 // start was recorded by RecordInlineFnStart.
Devang Patele4b27562009-08-28 23:24:31 +00002087 DenseMap<MDNode *, DbgScope *>::iterator
2088 I = DbgAbstractScopeMap.find(SP.getNode());
Devang Patel24f20e02009-08-22 17:12:53 +00002089 if (I != DbgAbstractScopeMap.end()) {
2090 InlinedVar = true;
2091 Scope = I->second;
2092 }
2093 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002094 if (!InlinedVar)
Devang Patele4b27562009-08-28 23:24:31 +00002095 Scope = getOrCreateScope(Context);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002096 }
2097
2098 assert(Scope && "Unable to find the variable's scope");
Devang Patele4b27562009-08-28 23:24:31 +00002099 DbgVariable *DV = new DbgVariable(DIVariable(N), FrameIndex, InlinedFnVar);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002100 Scope->AddVariable(DV);
2101
2102 if (TimePassesIsEnabled)
2103 DebugTimer->stopTimer();
2104}
2105
2106//// RecordInlinedFnStart - Indicate the start of inlined subroutine.
2107unsigned DwarfDebug::RecordInlinedFnStart(DISubprogram &SP, DICompileUnit CU,
2108 unsigned Line, unsigned Col) {
2109 unsigned LabelID = MMI->NextLabelID();
2110
Chris Lattner33adcfb2009-08-22 21:43:10 +00002111 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002112 return LabelID;
2113
2114 if (TimePassesIsEnabled)
2115 DebugTimer->startTimer();
2116
Devang Patele4b27562009-08-28 23:24:31 +00002117 MDNode *Node = SP.getNode();
2118 DenseMap<const MDNode *, DbgScope *>::iterator
2119 II = AbstractInstanceRootMap.find(Node);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002120
2121 if (II == AbstractInstanceRootMap.end()) {
2122 // Create an abstract instance entry for this inlined function if it doesn't
2123 // already exist.
Devang Patele4b27562009-08-28 23:24:31 +00002124 DbgScope *Scope = new DbgScope(NULL, DIDescriptor(Node));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002125
2126 // Get the compile unit context.
Devang Patele4b27562009-08-28 23:24:31 +00002127 DIE *SPDie = ModuleCU->getDieMapSlotFor(Node);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002128 if (!SPDie)
Devang Patel1dbc7712009-06-29 20:45:18 +00002129 SPDie = CreateSubprogramDIE(ModuleCU, SP, false, true);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002130
2131 // Mark as being inlined. This makes this subprogram entry an abstract
2132 // instance root.
2133 // FIXME: Our debugger doesn't care about the value of DW_AT_inline, only
2134 // that it's defined. That probably won't change in the future. However,
2135 // this could be more elegant.
2136 AddUInt(SPDie, dwarf::DW_AT_inline, 0, dwarf::DW_INL_declared_not_inlined);
2137
2138 // Keep track of the abstract scope for this function.
Devang Patele4b27562009-08-28 23:24:31 +00002139 DbgAbstractScopeMap[Node] = Scope;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002140
Devang Patele4b27562009-08-28 23:24:31 +00002141 AbstractInstanceRootMap[Node] = Scope;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002142 AbstractInstanceRootList.push_back(Scope);
2143 }
2144
2145 // Create a concrete inlined instance for this inlined function.
Devang Patele4b27562009-08-28 23:24:31 +00002146 DbgConcreteScope *ConcreteScope = new DbgConcreteScope(DIDescriptor(Node));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002147 DIE *ScopeDie = new DIE(dwarf::DW_TAG_inlined_subroutine);
Devang Patel1dbc7712009-06-29 20:45:18 +00002148 ScopeDie->setAbstractCompileUnit(ModuleCU);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002149
Devang Patele4b27562009-08-28 23:24:31 +00002150 DIE *Origin = ModuleCU->getDieMapSlotFor(Node);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002151 AddDIEEntry(ScopeDie, dwarf::DW_AT_abstract_origin,
2152 dwarf::DW_FORM_ref4, Origin);
Devang Patel1dbc7712009-06-29 20:45:18 +00002153 AddUInt(ScopeDie, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002154 AddUInt(ScopeDie, dwarf::DW_AT_call_line, 0, Line);
2155 AddUInt(ScopeDie, dwarf::DW_AT_call_column, 0, Col);
2156
2157 ConcreteScope->setDie(ScopeDie);
2158 ConcreteScope->setStartLabelID(LabelID);
2159 MMI->RecordUsedDbgLabel(LabelID);
2160
2161 LexicalScopeStack.back()->AddConcreteInst(ConcreteScope);
2162
2163 // Keep track of the concrete scope that's inlined into this function.
Devang Patele4b27562009-08-28 23:24:31 +00002164 DenseMap<MDNode *, SmallVector<DbgScope *, 8> >::iterator
2165 SI = DbgConcreteScopeMap.find(Node);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002166
2167 if (SI == DbgConcreteScopeMap.end())
Devang Patele4b27562009-08-28 23:24:31 +00002168 DbgConcreteScopeMap[Node].push_back(ConcreteScope);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002169 else
2170 SI->second.push_back(ConcreteScope);
2171
2172 // Track the start label for this inlined function.
Devang Patele4b27562009-08-28 23:24:31 +00002173 DenseMap<MDNode *, SmallVector<unsigned, 4> >::iterator
2174 I = InlineInfo.find(Node);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002175
2176 if (I == InlineInfo.end())
Devang Patele4b27562009-08-28 23:24:31 +00002177 InlineInfo[Node].push_back(LabelID);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002178 else
2179 I->second.push_back(LabelID);
2180
2181 if (TimePassesIsEnabled)
2182 DebugTimer->stopTimer();
2183
2184 return LabelID;
2185}
2186
2187/// RecordInlinedFnEnd - Indicate the end of inlined subroutine.
2188unsigned DwarfDebug::RecordInlinedFnEnd(DISubprogram &SP) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002189 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002190 return 0;
2191
2192 if (TimePassesIsEnabled)
2193 DebugTimer->startTimer();
2194
Devang Patele4b27562009-08-28 23:24:31 +00002195 MDNode *Node = SP.getNode();
2196 DenseMap<MDNode *, SmallVector<DbgScope *, 8> >::iterator
2197 I = DbgConcreteScopeMap.find(Node);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002198
2199 if (I == DbgConcreteScopeMap.end()) {
2200 // FIXME: Can this situation actually happen? And if so, should it?
2201 if (TimePassesIsEnabled)
2202 DebugTimer->stopTimer();
2203
2204 return 0;
2205 }
2206
2207 SmallVector<DbgScope *, 8> &Scopes = I->second;
Devang Patel11a407f2009-06-15 21:45:50 +00002208 if (Scopes.empty()) {
2209 // Returned ID is 0 if this is unbalanced "end of inlined
2210 // scope". This could happen if optimizer eats dbg intrinsics
2211 // or "beginning of inlined scope" is not recoginized due to
2212 // missing location info. In such cases, ignore this region.end.
2213 return 0;
2214 }
2215
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002216 DbgScope *Scope = Scopes.back(); Scopes.pop_back();
2217 unsigned ID = MMI->NextLabelID();
2218 MMI->RecordUsedDbgLabel(ID);
2219 Scope->setEndLabelID(ID);
2220
2221 if (TimePassesIsEnabled)
2222 DebugTimer->stopTimer();
2223
2224 return ID;
2225}
2226
Bill Wendling829e67b2009-05-20 23:22:40 +00002227//===----------------------------------------------------------------------===//
2228// Emit Methods
2229//===----------------------------------------------------------------------===//
2230
Bill Wendling94d04b82009-05-20 23:21:38 +00002231/// SizeAndOffsetDie - Compute the size and offset of a DIE.
2232///
2233unsigned DwarfDebug::SizeAndOffsetDie(DIE *Die, unsigned Offset, bool Last) {
2234 // Get the children.
2235 const std::vector<DIE *> &Children = Die->getChildren();
2236
2237 // If not last sibling and has children then add sibling offset attribute.
2238 if (!Last && !Children.empty()) Die->AddSiblingOffset();
2239
2240 // Record the abbreviation.
2241 AssignAbbrevNumber(Die->getAbbrev());
2242
2243 // Get the abbreviation for this DIE.
2244 unsigned AbbrevNumber = Die->getAbbrevNumber();
2245 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2246
2247 // Set DIE offset
2248 Die->setOffset(Offset);
2249
2250 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002251 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002252
2253 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2254 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2255
2256 // Size the DIE attribute values.
2257 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2258 // Size attribute value.
2259 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2260
2261 // Size the DIE children if any.
2262 if (!Children.empty()) {
2263 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2264 "Children flag not set");
2265
2266 for (unsigned j = 0, M = Children.size(); j < M; ++j)
2267 Offset = SizeAndOffsetDie(Children[j], Offset, (j + 1) == M);
2268
2269 // End of children marker.
2270 Offset += sizeof(int8_t);
2271 }
2272
2273 Die->setSize(Offset - Die->getOffset());
2274 return Offset;
2275}
2276
2277/// SizeAndOffsets - Compute the size and offset of all the DIEs.
2278///
2279void DwarfDebug::SizeAndOffsets() {
2280 // Compute size of compile unit header.
2281 static unsigned Offset =
2282 sizeof(int32_t) + // Length of Compilation Unit Info
2283 sizeof(int16_t) + // DWARF version number
2284 sizeof(int32_t) + // Offset Into Abbrev. Section
2285 sizeof(int8_t); // Pointer Size (in bytes)
2286
Devang Patel1dbc7712009-06-29 20:45:18 +00002287 SizeAndOffsetDie(ModuleCU->getDie(), Offset, true);
2288 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002289}
2290
2291/// EmitInitial - Emit initial Dwarf declarations. This is necessary for cc
2292/// tools to recognize the object file contains Dwarf information.
2293void DwarfDebug::EmitInitial() {
2294 // Check to see if we already emitted intial headers.
2295 if (didInitial) return;
2296 didInitial = true;
2297
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002298 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002299
Bill Wendling94d04b82009-05-20 23:21:38 +00002300 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002301 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002302 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002303 EmitLabel("section_debug_frame", 0);
2304 }
2305
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002306 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002307 EmitLabel("section_info", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002308 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002309 EmitLabel("section_abbrev", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002310 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002311 EmitLabel("section_aranges", 0);
2312
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002313 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2314 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling94d04b82009-05-20 23:21:38 +00002315 EmitLabel("section_macinfo", 0);
2316 }
2317
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002318 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002319 EmitLabel("section_line", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002320 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002321 EmitLabel("section_loc", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002322 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002323 EmitLabel("section_pubnames", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002324 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002325 EmitLabel("section_str", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002326 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002327 EmitLabel("section_ranges", 0);
2328
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002329 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002330 EmitLabel("text_begin", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002331 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002332 EmitLabel("data_begin", 0);
2333}
2334
2335/// EmitDIE - Recusively Emits a debug information entry.
2336///
2337void DwarfDebug::EmitDIE(DIE *Die) {
2338 // Get the abbreviation for this DIE.
2339 unsigned AbbrevNumber = Die->getAbbrevNumber();
2340 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2341
2342 Asm->EOL();
2343
2344 // Emit the code (index) for the abbreviation.
2345 Asm->EmitULEB128Bytes(AbbrevNumber);
2346
2347 if (Asm->isVerbose())
2348 Asm->EOL(std::string("Abbrev [" +
2349 utostr(AbbrevNumber) +
2350 "] 0x" + utohexstr(Die->getOffset()) +
2351 ":0x" + utohexstr(Die->getSize()) + " " +
2352 dwarf::TagString(Abbrev->getTag())));
2353 else
2354 Asm->EOL();
2355
2356 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2357 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2358
2359 // Emit the DIE attribute values.
2360 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2361 unsigned Attr = AbbrevData[i].getAttribute();
2362 unsigned Form = AbbrevData[i].getForm();
2363 assert(Form && "Too many attributes for DIE (check abbreviation)");
2364
2365 switch (Attr) {
2366 case dwarf::DW_AT_sibling:
2367 Asm->EmitInt32(Die->SiblingOffset());
2368 break;
2369 case dwarf::DW_AT_abstract_origin: {
2370 DIEEntry *E = cast<DIEEntry>(Values[i]);
2371 DIE *Origin = E->getEntry();
2372 unsigned Addr =
2373 CompileUnitOffsets[Die->getAbstractCompileUnit()] +
2374 Origin->getOffset();
2375
2376 Asm->EmitInt32(Addr);
2377 break;
2378 }
2379 default:
2380 // Emit an attribute using the defined form.
2381 Values[i]->EmitValue(this, Form);
2382 break;
2383 }
2384
2385 Asm->EOL(dwarf::AttributeString(Attr));
2386 }
2387
2388 // Emit the DIE children if any.
2389 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2390 const std::vector<DIE *> &Children = Die->getChildren();
2391
2392 for (unsigned j = 0, M = Children.size(); j < M; ++j)
2393 EmitDIE(Children[j]);
2394
2395 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2396 }
2397}
2398
2399/// EmitDebugInfo / EmitDebugInfoPerCU - Emit the debug info section.
2400///
2401void DwarfDebug::EmitDebugInfoPerCU(CompileUnit *Unit) {
2402 DIE *Die = Unit->getDie();
2403
2404 // Emit the compile units header.
2405 EmitLabel("info_begin", Unit->getID());
2406
2407 // Emit size of content not including length itself
2408 unsigned ContentSize = Die->getSize() +
2409 sizeof(int16_t) + // DWARF version number
2410 sizeof(int32_t) + // Offset Into Abbrev. Section
2411 sizeof(int8_t) + // Pointer Size (in bytes)
2412 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2413
2414 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info");
2415 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2416 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2417 Asm->EOL("Offset Into Abbrev. Section");
2418 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2419
2420 EmitDIE(Die);
2421 // FIXME - extra padding for gdb bug.
2422 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2423 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2424 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2425 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2426 EmitLabel("info_end", Unit->getID());
2427
2428 Asm->EOL();
2429}
2430
2431void DwarfDebug::EmitDebugInfo() {
2432 // Start debug info section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002433 Asm->OutStreamer.SwitchSection(
2434 Asm->getObjFileLowering().getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002435
Devang Patel1dbc7712009-06-29 20:45:18 +00002436 EmitDebugInfoPerCU(ModuleCU);
Bill Wendling94d04b82009-05-20 23:21:38 +00002437}
2438
2439/// EmitAbbreviations - Emit the abbreviation section.
2440///
2441void DwarfDebug::EmitAbbreviations() const {
2442 // Check to see if it is worth the effort.
2443 if (!Abbreviations.empty()) {
2444 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002445 Asm->OutStreamer.SwitchSection(
2446 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002447
2448 EmitLabel("abbrev_begin", 0);
2449
2450 // For each abbrevation.
2451 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2452 // Get abbreviation data
2453 const DIEAbbrev *Abbrev = Abbreviations[i];
2454
2455 // Emit the abbrevations code (base 1 index.)
2456 Asm->EmitULEB128Bytes(Abbrev->getNumber());
2457 Asm->EOL("Abbreviation Code");
2458
2459 // Emit the abbreviations data.
2460 Abbrev->Emit(Asm);
2461
2462 Asm->EOL();
2463 }
2464
2465 // Mark end of abbreviations.
2466 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2467
2468 EmitLabel("abbrev_end", 0);
2469 Asm->EOL();
2470 }
2471}
2472
2473/// EmitEndOfLineMatrix - Emit the last address of the section and the end of
2474/// the line matrix.
2475///
2476void DwarfDebug::EmitEndOfLineMatrix(unsigned SectionEnd) {
2477 // Define last address of section.
2478 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2479 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2480 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2481 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2482
2483 // Mark end of matrix.
2484 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2485 Asm->EmitULEB128Bytes(1); Asm->EOL();
2486 Asm->EmitInt8(1); Asm->EOL();
2487}
2488
2489/// EmitDebugLines - Emit source line information.
2490///
2491void DwarfDebug::EmitDebugLines() {
2492 // If the target is using .loc/.file, the assembler will be emitting the
2493 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002494 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002495 return;
2496
2497 // Minimum line delta, thus ranging from -10..(255-10).
2498 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2499 // Maximum line delta, thus ranging from -10..(255-10).
2500 const int MaxLineDelta = 255 + MinLineDelta;
2501
2502 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002503 Asm->OutStreamer.SwitchSection(
2504 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002505
2506 // Construct the section header.
2507 EmitDifference("line_end", 0, "line_begin", 0, true);
2508 Asm->EOL("Length of Source Line Info");
2509 EmitLabel("line_begin", 0);
2510
2511 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2512
2513 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2514 Asm->EOL("Prolog Length");
2515 EmitLabel("line_prolog_begin", 0);
2516
2517 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2518
2519 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2520
2521 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2522
2523 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2524
2525 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2526
2527 // Line number standard opcode encodings argument count
2528 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2529 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2530 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2531 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2532 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2533 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2534 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2535 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2536 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2537
2538 // Emit directories.
2539 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2540 Asm->EmitString(getSourceDirectoryName(DI));
2541 Asm->EOL("Directory");
2542 }
2543
2544 Asm->EmitInt8(0); Asm->EOL("End of directories");
2545
2546 // Emit files.
2547 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2548 // Remember source id starts at 1.
2549 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2550 Asm->EmitString(getSourceFileName(Id.second));
2551 Asm->EOL("Source");
2552 Asm->EmitULEB128Bytes(Id.first);
2553 Asm->EOL("Directory #");
2554 Asm->EmitULEB128Bytes(0);
2555 Asm->EOL("Mod date");
2556 Asm->EmitULEB128Bytes(0);
2557 Asm->EOL("File size");
2558 }
2559
2560 Asm->EmitInt8(0); Asm->EOL("End of files");
2561
2562 EmitLabel("line_prolog_end", 0);
2563
2564 // A sequence for each text section.
2565 unsigned SecSrcLinesSize = SectionSourceLines.size();
2566
2567 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2568 // Isolate current sections line info.
2569 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2570
Chris Lattner93b6db32009-08-08 23:39:42 +00002571 /*if (Asm->isVerbose()) {
Chris Lattnera87dea42009-07-31 18:48:30 +00002572 const MCSection *S = SectionMap[j + 1];
Chris Lattner33adcfb2009-08-22 21:43:10 +00002573 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling94d04b82009-05-20 23:21:38 +00002574 << S->getName() << '\n';
Chris Lattner93b6db32009-08-08 23:39:42 +00002575 }*/
2576 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002577
2578 // Dwarf assumes we start with first line of first source file.
2579 unsigned Source = 1;
2580 unsigned Line = 1;
2581
2582 // Construct rows of the address, source, line, column matrix.
2583 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2584 const SrcLineInfo &LineInfo = LineInfos[i];
2585 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2586 if (!LabelID) continue;
2587
Caroline Ticec6f9d622009-09-11 18:25:54 +00002588 if (LineInfo.getLine() == 0) continue;
2589
Bill Wendling94d04b82009-05-20 23:21:38 +00002590 if (!Asm->isVerbose())
2591 Asm->EOL();
2592 else {
2593 std::pair<unsigned, unsigned> SourceID =
2594 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner33adcfb2009-08-22 21:43:10 +00002595 O << '\t' << MAI->getCommentString() << ' '
Bill Wendling94d04b82009-05-20 23:21:38 +00002596 << getSourceDirectoryName(SourceID.first) << ' '
2597 << getSourceFileName(SourceID.second)
2598 <<" :" << utostr_32(LineInfo.getLine()) << '\n';
2599 }
2600
2601 // Define the line address.
2602 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2603 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2604 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2605 EmitReference("label", LabelID); Asm->EOL("Location label");
2606
2607 // If change of source, then switch to the new source.
2608 if (Source != LineInfo.getSourceID()) {
2609 Source = LineInfo.getSourceID();
2610 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2611 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2612 }
2613
2614 // If change of line.
2615 if (Line != LineInfo.getLine()) {
2616 // Determine offset.
2617 int Offset = LineInfo.getLine() - Line;
2618 int Delta = Offset - MinLineDelta;
2619
2620 // Update line.
2621 Line = LineInfo.getLine();
2622
2623 // If delta is small enough and in range...
2624 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2625 // ... then use fast opcode.
2626 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2627 } else {
2628 // ... otherwise use long hand.
2629 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2630 Asm->EOL("DW_LNS_advance_line");
2631 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2632 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2633 }
2634 } else {
2635 // Copy the previous row (different address or source)
2636 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2637 }
2638 }
2639
2640 EmitEndOfLineMatrix(j + 1);
2641 }
2642
2643 if (SecSrcLinesSize == 0)
2644 // Because we're emitting a debug_line section, we still need a line
2645 // table. The linker and friends expect it to exist. If there's nothing to
2646 // put into it, emit an empty table.
2647 EmitEndOfLineMatrix(1);
2648
2649 EmitLabel("line_end", 0);
2650 Asm->EOL();
2651}
2652
2653/// EmitCommonDebugFrame - Emit common frame info into a debug frame section.
2654///
2655void DwarfDebug::EmitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002656 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002657 return;
2658
2659 int stackGrowth =
2660 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2661 TargetFrameInfo::StackGrowsUp ?
2662 TD->getPointerSize() : -TD->getPointerSize();
2663
2664 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002665 Asm->OutStreamer.SwitchSection(
2666 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002667
2668 EmitLabel("debug_frame_common", 0);
2669 EmitDifference("debug_frame_common_end", 0,
2670 "debug_frame_common_begin", 0, true);
2671 Asm->EOL("Length of Common Information Entry");
2672
2673 EmitLabel("debug_frame_common_begin", 0);
2674 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2675 Asm->EOL("CIE Identifier Tag");
2676 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2677 Asm->EOL("CIE Version");
2678 Asm->EmitString("");
2679 Asm->EOL("CIE Augmentation");
2680 Asm->EmitULEB128Bytes(1);
2681 Asm->EOL("CIE Code Alignment Factor");
2682 Asm->EmitSLEB128Bytes(stackGrowth);
2683 Asm->EOL("CIE Data Alignment Factor");
2684 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2685 Asm->EOL("CIE RA Column");
2686
2687 std::vector<MachineMove> Moves;
2688 RI->getInitialFrameState(Moves);
2689
2690 EmitFrameMoves(NULL, 0, Moves, false);
2691
2692 Asm->EmitAlignment(2, 0, 0, false);
2693 EmitLabel("debug_frame_common_end", 0);
2694
2695 Asm->EOL();
2696}
2697
2698/// EmitFunctionDebugFrame - Emit per function frame info into a debug frame
2699/// section.
2700void
2701DwarfDebug::EmitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattner33adcfb2009-08-22 21:43:10 +00002702 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002703 return;
2704
2705 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002706 Asm->OutStreamer.SwitchSection(
2707 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002708
2709 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2710 "debug_frame_begin", DebugFrameInfo.Number, true);
2711 Asm->EOL("Length of Frame Information Entry");
2712
2713 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2714
2715 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2716 0, 0, true, false);
2717 Asm->EOL("FDE CIE offset");
2718
2719 EmitReference("func_begin", DebugFrameInfo.Number);
2720 Asm->EOL("FDE initial location");
2721 EmitDifference("func_end", DebugFrameInfo.Number,
2722 "func_begin", DebugFrameInfo.Number);
2723 Asm->EOL("FDE address range");
2724
2725 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2726 false);
2727
2728 Asm->EmitAlignment(2, 0, 0, false);
2729 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2730
2731 Asm->EOL();
2732}
2733
2734void DwarfDebug::EmitDebugPubNamesPerCU(CompileUnit *Unit) {
2735 EmitDifference("pubnames_end", Unit->getID(),
2736 "pubnames_begin", Unit->getID(), true);
2737 Asm->EOL("Length of Public Names Info");
2738
2739 EmitLabel("pubnames_begin", Unit->getID());
2740
2741 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2742
2743 EmitSectionOffset("info_begin", "section_info",
2744 Unit->getID(), 0, true, false);
2745 Asm->EOL("Offset of Compilation Unit Info");
2746
2747 EmitDifference("info_end", Unit->getID(), "info_begin", Unit->getID(),
2748 true);
2749 Asm->EOL("Compilation Unit Length");
2750
2751 StringMap<DIE*> &Globals = Unit->getGlobals();
2752 for (StringMap<DIE*>::const_iterator
2753 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2754 const char *Name = GI->getKeyData();
2755 DIE * Entity = GI->second;
2756
2757 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2758 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2759 }
2760
2761 Asm->EmitInt32(0); Asm->EOL("End Mark");
2762 EmitLabel("pubnames_end", Unit->getID());
2763
2764 Asm->EOL();
2765}
2766
2767/// EmitDebugPubNames - Emit visible names into a debug pubnames section.
2768///
2769void DwarfDebug::EmitDebugPubNames() {
2770 // Start the dwarf pubnames section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002771 Asm->OutStreamer.SwitchSection(
2772 Asm->getObjFileLowering().getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002773
Devang Patel1dbc7712009-06-29 20:45:18 +00002774 EmitDebugPubNamesPerCU(ModuleCU);
Bill Wendling94d04b82009-05-20 23:21:38 +00002775}
2776
2777/// EmitDebugStr - Emit visible names into a debug str section.
2778///
2779void DwarfDebug::EmitDebugStr() {
2780 // Check to see if it is worth the effort.
2781 if (!StringPool.empty()) {
2782 // Start the dwarf str section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002783 Asm->OutStreamer.SwitchSection(
2784 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002785
2786 // For each of strings in the string pool.
2787 for (unsigned StringID = 1, N = StringPool.size();
2788 StringID <= N; ++StringID) {
2789 // Emit a label for reference from debug information entries.
2790 EmitLabel("string", StringID);
2791
2792 // Emit the string itself.
2793 const std::string &String = StringPool[StringID];
2794 Asm->EmitString(String); Asm->EOL();
2795 }
2796
2797 Asm->EOL();
2798 }
2799}
2800
2801/// EmitDebugLoc - Emit visible names into a debug loc section.
2802///
2803void DwarfDebug::EmitDebugLoc() {
2804 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002805 Asm->OutStreamer.SwitchSection(
2806 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002807 Asm->EOL();
2808}
2809
2810/// EmitDebugARanges - Emit visible names into a debug aranges section.
2811///
2812void DwarfDebug::EmitDebugARanges() {
2813 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002814 Asm->OutStreamer.SwitchSection(
2815 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002816
2817 // FIXME - Mock up
2818#if 0
2819 CompileUnit *Unit = GetBaseCompileUnit();
2820
2821 // Don't include size of length
2822 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2823
2824 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2825
2826 EmitReference("info_begin", Unit->getID());
2827 Asm->EOL("Offset of Compilation Unit Info");
2828
2829 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2830
2831 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2832
2833 Asm->EmitInt16(0); Asm->EOL("Pad (1)");
2834 Asm->EmitInt16(0); Asm->EOL("Pad (2)");
2835
2836 // Range 1
2837 EmitReference("text_begin", 0); Asm->EOL("Address");
2838 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2839
2840 Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2841 Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2842#endif
2843
2844 Asm->EOL();
2845}
2846
2847/// EmitDebugRanges - Emit visible names into a debug ranges section.
2848///
2849void DwarfDebug::EmitDebugRanges() {
2850 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002851 Asm->OutStreamer.SwitchSection(
2852 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002853 Asm->EOL();
2854}
2855
2856/// EmitDebugMacInfo - Emit visible names into a debug macinfo section.
2857///
2858void DwarfDebug::EmitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002859 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002860 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002861 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002862 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002863 Asm->EOL();
2864 }
2865}
2866
2867/// EmitDebugInlineInfo - Emit inline info using following format.
2868/// Section Header:
2869/// 1. length of section
2870/// 2. Dwarf version number
2871/// 3. address size.
2872///
2873/// Entries (one "entry" for each function that was inlined):
2874///
2875/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2876/// otherwise offset into __debug_str for regular function name.
2877/// 2. offset into __debug_str section for regular function name.
2878/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2879/// instances for the function.
2880///
2881/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2882/// inlined instance; the die_offset points to the inlined_subroutine die in the
2883/// __debug_info section, and the low_pc is the starting address for the
2884/// inlining instance.
2885void DwarfDebug::EmitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002886 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002887 return;
2888
Devang Patel1dbc7712009-06-29 20:45:18 +00002889 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002890 return;
2891
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002892 Asm->OutStreamer.SwitchSection(
2893 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002894 Asm->EOL();
2895 EmitDifference("debug_inlined_end", 1,
2896 "debug_inlined_begin", 1, true);
2897 Asm->EOL("Length of Debug Inlined Information Entry");
2898
2899 EmitLabel("debug_inlined_begin", 1);
2900
2901 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2902 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2903
Devang Patele4b27562009-08-28 23:24:31 +00002904 for (DenseMap<MDNode *, SmallVector<unsigned, 4> >::iterator
Bill Wendling94d04b82009-05-20 23:21:38 +00002905 I = InlineInfo.begin(), E = InlineInfo.end(); I != E; ++I) {
Devang Patele4b27562009-08-28 23:24:31 +00002906 MDNode *Node = I->first;
Bill Wendling94d04b82009-05-20 23:21:38 +00002907 SmallVector<unsigned, 4> &Labels = I->second;
Devang Patele4b27562009-08-28 23:24:31 +00002908 DISubprogram SP(Node);
Devang Patel5ccdd102009-09-29 18:40:58 +00002909 const char *LName = SP.getLinkageName();
2910 const char *Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002911
Devang Patel5ccdd102009-09-29 18:40:58 +00002912 if (!LName)
Devang Patel53cb17d2009-07-16 01:01:22 +00002913 Asm->EmitString(Name);
2914 else {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002915 // Skip special LLVM prefix that is used to inform the asm printer to not
2916 // emit usual symbol prefix before the symbol name. This happens for
2917 // Objective-C symbol names and symbol whose name is replaced using GCC's
2918 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00002919 if (LName[0] == 1)
2920 LName = &LName[1];
2921 Asm->EmitString(LName);
2922 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002923 Asm->EOL("MIPS linkage name");
2924
2925 Asm->EmitString(Name); Asm->EOL("Function name");
2926
2927 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2928
2929 for (SmallVector<unsigned, 4>::iterator LI = Labels.begin(),
2930 LE = Labels.end(); LI != LE; ++LI) {
Devang Patele4b27562009-08-28 23:24:31 +00002931 DIE *SP = ModuleCU->getDieMapSlotFor(Node);
Bill Wendling94d04b82009-05-20 23:21:38 +00002932 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2933
2934 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +00002935 O << MAI->getData32bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002936 else
Chris Lattner33adcfb2009-08-22 21:43:10 +00002937 O << MAI->getData64bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002938
2939 PrintLabelName("label", *LI); Asm->EOL("low_pc");
2940 }
2941 }
2942
2943 EmitLabel("debug_inlined_end", 1);
2944 Asm->EOL();
2945}