DwarfDebug.cpp revision 5f9843f68fa2941a2c9930aa5cc920c38920f277
1//===-- 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//===----------------------------------------------------------------------===//
13#define DEBUG_TYPE "dwarfdebug"
14#include "DwarfDebug.h"
15#include "llvm/Module.h"
16#include "llvm/CodeGen/MachineFunction.h"
17#include "llvm/CodeGen/MachineModuleInfo.h"
18#include "llvm/MC/MCSection.h"
19#include "llvm/MC/MCStreamer.h"
20#include "llvm/MC/MCAsmInfo.h"
21#include "llvm/Target/TargetData.h"
22#include "llvm/Target/TargetFrameInfo.h"
23#include "llvm/Target/TargetLoweringObjectFile.h"
24#include "llvm/Target/TargetRegisterInfo.h"
25#include "llvm/ADT/StringExtras.h"
26#include "llvm/Support/Debug.h"
27#include "llvm/Support/ErrorHandling.h"
28#include "llvm/Support/Mangler.h"
29#include "llvm/Support/Timer.h"
30#include "llvm/System/Path.h"
31using namespace llvm;
32
33static TimerGroup &getDwarfTimerGroup() {
34  static TimerGroup DwarfTimerGroup("Dwarf Debugging");
35  return DwarfTimerGroup;
36}
37
38//===----------------------------------------------------------------------===//
39
40/// Configuration values for initial hash set sizes (log2).
41///
42static const unsigned InitDiesSetSize          = 9; // log2(512)
43static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
44static const unsigned InitValuesSetSize        = 9; // log2(512)
45
46namespace llvm {
47
48//===----------------------------------------------------------------------===//
49/// CompileUnit - This dwarf writer support class manages information associate
50/// with a source file.
51class CompileUnit {
52  /// ID - File identifier for source.
53  ///
54  unsigned ID;
55
56  /// Die - Compile unit debug information entry.
57  ///
58  DIE *Die;
59
60  /// GVToDieMap - Tracks the mapping of unit level debug informaton
61  /// variables to debug information entries.
62  /// FIXME : Rename GVToDieMap -> NodeToDieMap
63  std::map<MDNode *, DIE *> GVToDieMap;
64
65  /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
66  /// descriptors to debug information entries using a DIEEntry proxy.
67  /// FIXME : Rename
68  std::map<MDNode *, DIEEntry *> GVToDIEEntryMap;
69
70  /// Globals - A map of globally visible named entities for this unit.
71  ///
72  StringMap<DIE*> Globals;
73
74  /// DiesSet - Used to uniquely define dies within the compile unit.
75  ///
76  FoldingSet<DIE> DiesSet;
77public:
78  CompileUnit(unsigned I, DIE *D)
79    : ID(I), Die(D), DiesSet(InitDiesSetSize) {}
80  ~CompileUnit() { delete Die; }
81
82  // Accessors.
83  unsigned getID() const { return ID; }
84  DIE* getDie() const { return Die; }
85  StringMap<DIE*> &getGlobals() { return Globals; }
86
87  /// hasContent - Return true if this compile unit has something to write out.
88  ///
89  bool hasContent() const { return !Die->getChildren().empty(); }
90
91  /// AddGlobal - Add a new global entity to the compile unit.
92  ///
93  void AddGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
94
95  /// getDieMapSlotFor - Returns the debug information entry map slot for the
96  /// specified debug variable.
97  DIE *&getDieMapSlotFor(MDNode *N) { return GVToDieMap[N]; }
98
99  /// getDIEEntrySlotFor - Returns the debug information entry proxy slot for
100  /// the specified debug variable.
101  DIEEntry *&getDIEEntrySlotFor(MDNode *N) {
102    return GVToDIEEntryMap[N];
103  }
104
105  /// AddDie - Adds or interns the DIE to the compile unit.
106  ///
107  DIE *AddDie(DIE &Buffer) {
108    FoldingSetNodeID ID;
109    Buffer.Profile(ID);
110    void *Where;
111    DIE *Die = DiesSet.FindNodeOrInsertPos(ID, Where);
112
113    if (!Die) {
114      Die = new DIE(Buffer);
115      DiesSet.InsertNode(Die, Where);
116      this->Die->AddChild(Die);
117      Buffer.Detach();
118    }
119
120    return Die;
121  }
122};
123
124//===----------------------------------------------------------------------===//
125/// DbgVariable - This class is used to track local variable information.
126///
127class DbgVariable {
128  DIVariable Var;                    // Variable Descriptor.
129  unsigned FrameIndex;               // Variable frame index.
130  DbgVariable *AbstractVar;          // Abstract variable for this variable.
131  DIE *TheDIE;
132public:
133  DbgVariable(DIVariable V, unsigned I)
134    : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0)  {}
135
136  // Accessors.
137  DIVariable getVariable()           const { return Var; }
138  unsigned getFrameIndex()           const { return FrameIndex; }
139  void setAbstractVariable(DbgVariable *V) { AbstractVar = V; }
140  DbgVariable *getAbstractVariable() const { return AbstractVar; }
141  void setDIE(DIE *D)                      { TheDIE = D; }
142  DIE *getDIE()                      const { return TheDIE; }
143};
144
145//===----------------------------------------------------------------------===//
146/// DbgScope - This class is used to track scope information.
147///
148class DbgConcreteScope;
149class DbgScope {
150  DbgScope *Parent;                   // Parent to this scope.
151  DIDescriptor Desc;                  // Debug info descriptor for scope.
152  WeakVH InlinedAtLocation;           // Location at which scope is inlined.
153  bool AbstractScope;                 // Abstract Scope
154  unsigned StartLabelID;              // Label ID of the beginning of scope.
155  unsigned EndLabelID;                // Label ID of the end of scope.
156  const MachineInstr *LastInsn;       // Last instruction of this scope.
157  const MachineInstr *FirstInsn;      // First instruction of this scope.
158  SmallVector<DbgScope *, 4> Scopes;  // Scopes defined in scope.
159  SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
160
161  // Private state for dump()
162  mutable unsigned IndentLevel;
163public:
164  DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
165    : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
166      StartLabelID(0), EndLabelID(0),
167      LastInsn(0), FirstInsn(0), IndentLevel(0) {}
168  virtual ~DbgScope();
169
170  // Accessors.
171  DbgScope *getParent()          const { return Parent; }
172  void setParent(DbgScope *P)          { Parent = P; }
173  DIDescriptor getDesc()         const { return Desc; }
174  MDNode *getInlinedAt()         const {
175    return dyn_cast_or_null<MDNode>(InlinedAtLocation);
176  }
177  MDNode *getScopeNode()         const { return Desc.getNode(); }
178  unsigned getStartLabelID()     const { return StartLabelID; }
179  unsigned getEndLabelID()       const { return EndLabelID; }
180  SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
181  SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
182  void setStartLabelID(unsigned S) { StartLabelID = S; }
183  void setEndLabelID(unsigned E)   { EndLabelID = E; }
184  void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
185  const MachineInstr *getLastInsn()      { return LastInsn; }
186  void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
187  void setAbstractScope() { AbstractScope = true; }
188  bool isAbstractScope() const { return AbstractScope; }
189  const MachineInstr *getFirstInsn()      { return FirstInsn; }
190
191  /// AddScope - Add a scope to the scope.
192  ///
193  void AddScope(DbgScope *S) { Scopes.push_back(S); }
194
195  /// AddVariable - Add a variable to the scope.
196  ///
197  void AddVariable(DbgVariable *V) { Variables.push_back(V); }
198
199  void FixInstructionMarkers() {
200    assert (getFirstInsn() && "First instruction is missing!");
201    if (getLastInsn())
202      return;
203
204    // If a scope does not have an instruction to mark an end then use
205    // the end of last child scope.
206    SmallVector<DbgScope *, 4> &Scopes = getScopes();
207    assert (!Scopes.empty() && "Inner most scope does not have last insn!");
208    DbgScope *L = Scopes.back();
209    if (!L->getLastInsn())
210      L->FixInstructionMarkers();
211    setLastInsn(L->getLastInsn());
212  }
213
214#ifndef NDEBUG
215  void dump() const;
216#endif
217};
218
219#ifndef NDEBUG
220void DbgScope::dump() const {
221  raw_ostream &err = errs();
222  err.indent(IndentLevel);
223  MDNode *N = Desc.getNode();
224  N->dump();
225  err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
226  if (AbstractScope)
227    err << "Abstract Scope\n";
228
229  IndentLevel += 2;
230  if (!Scopes.empty())
231    err << "Children ...\n";
232  for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
233    if (Scopes[i] != this)
234      Scopes[i]->dump();
235
236  IndentLevel -= 2;
237}
238#endif
239
240//===----------------------------------------------------------------------===//
241/// DbgConcreteScope - This class is used to track a scope that holds concrete
242/// instance information.
243///
244class DbgConcreteScope : public DbgScope {
245  CompileUnit *Unit;
246  DIE *Die;                           // Debug info for this concrete scope.
247public:
248  DbgConcreteScope(DIDescriptor D) : DbgScope(NULL, D) {}
249
250  // Accessors.
251  DIE *getDie() const { return Die; }
252  void setDie(DIE *D) { Die = D; }
253};
254
255DbgScope::~DbgScope() {
256  for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
257    delete Scopes[i];
258  for (unsigned j = 0, M = Variables.size(); j < M; ++j)
259    delete Variables[j];
260}
261
262} // end llvm namespace
263
264DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
265  : Dwarf(OS, A, T, "dbg"), ModuleCU(0),
266    AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
267    ValuesSet(InitValuesSetSize), Values(), StringPool(),
268    SectionSourceLines(), didInitial(false), shouldEmit(false),
269    CurrentFnDbgScope(0), DebugTimer(0) {
270  if (TimePassesIsEnabled)
271    DebugTimer = new Timer("Dwarf Debug Writer",
272                           getDwarfTimerGroup());
273}
274DwarfDebug::~DwarfDebug() {
275  for (unsigned j = 0, M = Values.size(); j < M; ++j)
276    delete Values[j];
277
278  delete DebugTimer;
279}
280
281/// AssignAbbrevNumber - Define a unique number for the abbreviation.
282///
283void DwarfDebug::AssignAbbrevNumber(DIEAbbrev &Abbrev) {
284  // Profile the node so that we can make it unique.
285  FoldingSetNodeID ID;
286  Abbrev.Profile(ID);
287
288  // Check the set for priors.
289  DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
290
291  // If it's newly added.
292  if (InSet == &Abbrev) {
293    // Add to abbreviation list.
294    Abbreviations.push_back(&Abbrev);
295
296    // Assign the vector position + 1 as its number.
297    Abbrev.setNumber(Abbreviations.size());
298  } else {
299    // Assign existing abbreviation number.
300    Abbrev.setNumber(InSet->getNumber());
301  }
302}
303
304/// CreateDIEEntry - Creates a new DIEEntry to be a proxy for a debug
305/// information entry.
306DIEEntry *DwarfDebug::CreateDIEEntry(DIE *Entry) {
307  DIEEntry *Value;
308
309  if (Entry) {
310    FoldingSetNodeID ID;
311    DIEEntry::Profile(ID, Entry);
312    void *Where;
313    Value = static_cast<DIEEntry *>(ValuesSet.FindNodeOrInsertPos(ID, Where));
314
315    if (Value) return Value;
316
317    Value = new DIEEntry(Entry);
318    ValuesSet.InsertNode(Value, Where);
319  } else {
320    Value = new DIEEntry(Entry);
321  }
322
323  Values.push_back(Value);
324  return Value;
325}
326
327/// SetDIEEntry - Set a DIEEntry once the debug information entry is defined.
328///
329void DwarfDebug::SetDIEEntry(DIEEntry *Value, DIE *Entry) {
330  Value->setEntry(Entry);
331
332  // Add to values set if not already there.  If it is, we merely have a
333  // duplicate in the values list (no harm.)
334  ValuesSet.GetOrInsertNode(Value);
335}
336
337/// AddUInt - Add an unsigned integer attribute data and value.
338///
339void DwarfDebug::AddUInt(DIE *Die, unsigned Attribute,
340                         unsigned Form, uint64_t Integer) {
341  if (!Form) Form = DIEInteger::BestForm(false, Integer);
342
343  FoldingSetNodeID ID;
344  DIEInteger::Profile(ID, Integer);
345  void *Where;
346  DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
347
348  if (!Value) {
349    Value = new DIEInteger(Integer);
350    ValuesSet.InsertNode(Value, Where);
351    Values.push_back(Value);
352  }
353
354  Die->AddValue(Attribute, Form, Value);
355}
356
357/// AddSInt - Add an signed integer attribute data and value.
358///
359void DwarfDebug::AddSInt(DIE *Die, unsigned Attribute,
360                         unsigned Form, int64_t Integer) {
361  if (!Form) Form = DIEInteger::BestForm(true, Integer);
362
363  FoldingSetNodeID ID;
364  DIEInteger::Profile(ID, (uint64_t)Integer);
365  void *Where;
366  DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
367
368  if (!Value) {
369    Value = new DIEInteger(Integer);
370    ValuesSet.InsertNode(Value, Where);
371    Values.push_back(Value);
372  }
373
374  Die->AddValue(Attribute, Form, Value);
375}
376
377/// AddString - Add a string attribute data and value.
378///
379void DwarfDebug::AddString(DIE *Die, unsigned Attribute, unsigned Form,
380                           const std::string &String) {
381  FoldingSetNodeID ID;
382  DIEString::Profile(ID, String);
383  void *Where;
384  DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
385
386  if (!Value) {
387    Value = new DIEString(String);
388    ValuesSet.InsertNode(Value, Where);
389    Values.push_back(Value);
390  }
391
392  Die->AddValue(Attribute, Form, Value);
393}
394
395/// AddLabel - Add a Dwarf label attribute data and value.
396///
397void DwarfDebug::AddLabel(DIE *Die, unsigned Attribute, unsigned Form,
398                          const DWLabel &Label) {
399  FoldingSetNodeID ID;
400  DIEDwarfLabel::Profile(ID, Label);
401  void *Where;
402  DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
403
404  if (!Value) {
405    Value = new DIEDwarfLabel(Label);
406    ValuesSet.InsertNode(Value, Where);
407    Values.push_back(Value);
408  }
409
410  Die->AddValue(Attribute, Form, Value);
411}
412
413/// AddObjectLabel - Add an non-Dwarf label attribute data and value.
414///
415void DwarfDebug::AddObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
416                                const std::string &Label) {
417  FoldingSetNodeID ID;
418  DIEObjectLabel::Profile(ID, Label);
419  void *Where;
420  DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
421
422  if (!Value) {
423    Value = new DIEObjectLabel(Label);
424    ValuesSet.InsertNode(Value, Where);
425    Values.push_back(Value);
426  }
427
428  Die->AddValue(Attribute, Form, Value);
429}
430
431/// AddSectionOffset - Add a section offset label attribute data and value.
432///
433void DwarfDebug::AddSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
434                                  const DWLabel &Label, const DWLabel &Section,
435                                  bool isEH, bool useSet) {
436  FoldingSetNodeID ID;
437  DIESectionOffset::Profile(ID, Label, Section);
438  void *Where;
439  DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
440
441  if (!Value) {
442    Value = new DIESectionOffset(Label, Section, isEH, useSet);
443    ValuesSet.InsertNode(Value, Where);
444    Values.push_back(Value);
445  }
446
447  Die->AddValue(Attribute, Form, Value);
448}
449
450/// AddDelta - Add a label delta attribute data and value.
451///
452void DwarfDebug::AddDelta(DIE *Die, unsigned Attribute, unsigned Form,
453                          const DWLabel &Hi, const DWLabel &Lo) {
454  FoldingSetNodeID ID;
455  DIEDelta::Profile(ID, Hi, Lo);
456  void *Where;
457  DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
458
459  if (!Value) {
460    Value = new DIEDelta(Hi, Lo);
461    ValuesSet.InsertNode(Value, Where);
462    Values.push_back(Value);
463  }
464
465  Die->AddValue(Attribute, Form, Value);
466}
467
468/// AddBlock - Add block data.
469///
470void DwarfDebug::AddBlock(DIE *Die, unsigned Attribute, unsigned Form,
471                          DIEBlock *Block) {
472  Block->ComputeSize(TD);
473  FoldingSetNodeID ID;
474  Block->Profile(ID);
475  void *Where;
476  DIEValue *Value = ValuesSet.FindNodeOrInsertPos(ID, Where);
477
478  if (!Value) {
479    Value = Block;
480    ValuesSet.InsertNode(Value, Where);
481    Values.push_back(Value);
482  } else {
483    // Already exists, reuse the previous one.
484    delete Block;
485    Block = cast<DIEBlock>(Value);
486  }
487
488  Die->AddValue(Attribute, Block->BestForm(), Value);
489}
490
491/// AddSourceLine - Add location information to specified debug information
492/// entry.
493void DwarfDebug::AddSourceLine(DIE *Die, const DIVariable *V) {
494  // If there is no compile unit specified, don't add a line #.
495  if (V->getCompileUnit().isNull())
496    return;
497
498  unsigned Line = V->getLineNumber();
499  unsigned FileID = FindCompileUnit(V->getCompileUnit()).getID();
500  assert(FileID && "Invalid file id");
501  AddUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
502  AddUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
503}
504
505/// AddSourceLine - Add location information to specified debug information
506/// entry.
507void DwarfDebug::AddSourceLine(DIE *Die, const DIGlobal *G) {
508  // If there is no compile unit specified, don't add a line #.
509  if (G->getCompileUnit().isNull())
510    return;
511
512  unsigned Line = G->getLineNumber();
513  unsigned FileID = FindCompileUnit(G->getCompileUnit()).getID();
514  assert(FileID && "Invalid file id");
515  AddUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
516  AddUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
517}
518
519/// AddSourceLine - Add location information to specified debug information
520/// entry.
521void DwarfDebug::AddSourceLine(DIE *Die, const DISubprogram *SP) {
522  // If there is no compile unit specified, don't add a line #.
523  if (SP->getCompileUnit().isNull())
524    return;
525  // If the line number is 0, don't add it.
526  if (SP->getLineNumber() == 0)
527    return;
528
529
530  unsigned Line = SP->getLineNumber();
531  unsigned FileID = FindCompileUnit(SP->getCompileUnit()).getID();
532  assert(FileID && "Invalid file id");
533  AddUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
534  AddUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
535}
536
537/// AddSourceLine - Add location information to specified debug information
538/// entry.
539void DwarfDebug::AddSourceLine(DIE *Die, const DIType *Ty) {
540  // If there is no compile unit specified, don't add a line #.
541  DICompileUnit CU = Ty->getCompileUnit();
542  if (CU.isNull())
543    return;
544
545  unsigned Line = Ty->getLineNumber();
546  unsigned FileID = FindCompileUnit(CU).getID();
547  assert(FileID && "Invalid file id");
548  AddUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
549  AddUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
550}
551
552/* Byref variables, in Blocks, are declared by the programmer as
553   "SomeType VarName;", but the compiler creates a
554   __Block_byref_x_VarName struct, and gives the variable VarName
555   either the struct, or a pointer to the struct, as its type.  This
556   is necessary for various behind-the-scenes things the compiler
557   needs to do with by-reference variables in blocks.
558
559   However, as far as the original *programmer* is concerned, the
560   variable should still have type 'SomeType', as originally declared.
561
562   The following function dives into the __Block_byref_x_VarName
563   struct to find the original type of the variable.  This will be
564   passed back to the code generating the type for the Debug
565   Information Entry for the variable 'VarName'.  'VarName' will then
566   have the original type 'SomeType' in its debug information.
567
568   The original type 'SomeType' will be the type of the field named
569   'VarName' inside the __Block_byref_x_VarName struct.
570
571   NOTE: In order for this to not completely fail on the debugger
572   side, the Debug Information Entry for the variable VarName needs to
573   have a DW_AT_location that tells the debugger how to unwind through
574   the pointers and __Block_byref_x_VarName struct to find the actual
575   value of the variable.  The function AddBlockByrefType does this.  */
576
577/// Find the type the programmer originally declared the variable to be
578/// and return that type.
579///
580DIType DwarfDebug::GetBlockByrefType(DIType Ty, std::string Name) {
581
582  DIType subType = Ty;
583  unsigned tag = Ty.getTag();
584
585  if (tag == dwarf::DW_TAG_pointer_type) {
586    DIDerivedType DTy = DIDerivedType(Ty.getNode());
587    subType = DTy.getTypeDerivedFrom();
588  }
589
590  DICompositeType blockStruct = DICompositeType(subType.getNode());
591
592  DIArray Elements = blockStruct.getTypeArray();
593
594  if (Elements.isNull())
595    return Ty;
596
597  for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
598    DIDescriptor Element = Elements.getElement(i);
599    DIDerivedType DT = DIDerivedType(Element.getNode());
600    if (strcmp(Name.c_str(), DT.getName()) == 0)
601      return (DT.getTypeDerivedFrom());
602  }
603
604  return Ty;
605}
606
607/// AddComplexAddress - Start with the address based on the location provided,
608/// and generate the DWARF information necessary to find the actual variable
609/// given the extra address information encoded in the DIVariable, starting from
610/// the starting location.  Add the DWARF information to the die.
611///
612void DwarfDebug::AddComplexAddress(DbgVariable *&DV, DIE *Die,
613                                   unsigned Attribute,
614                                   const MachineLocation &Location) {
615  const DIVariable &VD = DV->getVariable();
616  DIType Ty = VD.getType();
617
618  // Decode the original location, and use that as the start of the byref
619  // variable's location.
620  unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
621  DIEBlock *Block = new DIEBlock();
622
623  if (Location.isReg()) {
624    if (Reg < 32) {
625      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
626    } else {
627      Reg = Reg - dwarf::DW_OP_reg0;
628      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
629      AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
630    }
631  } else {
632    if (Reg < 32)
633      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
634    else {
635      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
636      AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
637    }
638
639    AddUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
640  }
641
642  for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
643    uint64_t Element = VD.getAddrElement(i);
644
645    if (Element == DIFactory::OpPlus) {
646      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
647      AddUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
648    } else if (Element == DIFactory::OpDeref) {
649      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
650    } else llvm_unreachable("unknown DIFactory Opcode");
651  }
652
653  // Now attach the location information to the DIE.
654  AddBlock(Die, Attribute, 0, Block);
655}
656
657/* Byref variables, in Blocks, are declared by the programmer as "SomeType
658   VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
659   gives the variable VarName either the struct, or a pointer to the struct, as
660   its type.  This is necessary for various behind-the-scenes things the
661   compiler needs to do with by-reference variables in Blocks.
662
663   However, as far as the original *programmer* is concerned, the variable
664   should still have type 'SomeType', as originally declared.
665
666   The function GetBlockByrefType dives into the __Block_byref_x_VarName
667   struct to find the original type of the variable, which is then assigned to
668   the variable's Debug Information Entry as its real type.  So far, so good.
669   However now the debugger will expect the variable VarName to have the type
670   SomeType.  So we need the location attribute for the variable to be an
671   expression that explains to the debugger how to navigate through the
672   pointers and struct to find the actual variable of type SomeType.
673
674   The following function does just that.  We start by getting
675   the "normal" location for the variable. This will be the location
676   of either the struct __Block_byref_x_VarName or the pointer to the
677   struct __Block_byref_x_VarName.
678
679   The struct will look something like:
680
681   struct __Block_byref_x_VarName {
682     ... <various fields>
683     struct __Block_byref_x_VarName *forwarding;
684     ... <various other fields>
685     SomeType VarName;
686     ... <maybe more fields>
687   };
688
689   If we are given the struct directly (as our starting point) we
690   need to tell the debugger to:
691
692   1).  Add the offset of the forwarding field.
693
694   2).  Follow that pointer to get the the real __Block_byref_x_VarName
695   struct to use (the real one may have been copied onto the heap).
696
697   3).  Add the offset for the field VarName, to find the actual variable.
698
699   If we started with a pointer to the struct, then we need to
700   dereference that pointer first, before the other steps.
701   Translating this into DWARF ops, we will need to append the following
702   to the current location description for the variable:
703
704   DW_OP_deref                    -- optional, if we start with a pointer
705   DW_OP_plus_uconst <forward_fld_offset>
706   DW_OP_deref
707   DW_OP_plus_uconst <varName_fld_offset>
708
709   That is what this function does.  */
710
711/// AddBlockByrefAddress - Start with the address based on the location
712/// provided, and generate the DWARF information necessary to find the
713/// actual Block variable (navigating the Block struct) based on the
714/// starting location.  Add the DWARF information to the die.  For
715/// more information, read large comment just above here.
716///
717void DwarfDebug::AddBlockByrefAddress(DbgVariable *&DV, DIE *Die,
718                                      unsigned Attribute,
719                                      const MachineLocation &Location) {
720  const DIVariable &VD = DV->getVariable();
721  DIType Ty = VD.getType();
722  DIType TmpTy = Ty;
723  unsigned Tag = Ty.getTag();
724  bool isPointer = false;
725
726  const char *varName = VD.getName();
727
728  if (Tag == dwarf::DW_TAG_pointer_type) {
729    DIDerivedType DTy = DIDerivedType(Ty.getNode());
730    TmpTy = DTy.getTypeDerivedFrom();
731    isPointer = true;
732  }
733
734  DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
735
736  // Find the __forwarding field and the variable field in the __Block_byref
737  // struct.
738  DIArray Fields = blockStruct.getTypeArray();
739  DIDescriptor varField = DIDescriptor();
740  DIDescriptor forwardingField = DIDescriptor();
741
742
743  for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
744    DIDescriptor Element = Fields.getElement(i);
745    DIDerivedType DT = DIDerivedType(Element.getNode());
746    const char *fieldName = DT.getName();
747    if (strcmp(fieldName, "__forwarding") == 0)
748      forwardingField = Element;
749    else if (strcmp(fieldName, varName) == 0)
750      varField = Element;
751  }
752
753  assert(!varField.isNull() && "Can't find byref variable in Block struct");
754  assert(!forwardingField.isNull()
755         && "Can't find forwarding field in Block struct");
756
757  // Get the offsets for the forwarding field and the variable field.
758  unsigned int forwardingFieldOffset =
759    DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
760  unsigned int varFieldOffset =
761    DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
762
763  // Decode the original location, and use that as the start of the byref
764  // variable's location.
765  unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
766  DIEBlock *Block = new DIEBlock();
767
768  if (Location.isReg()) {
769    if (Reg < 32)
770      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
771    else {
772      Reg = Reg - dwarf::DW_OP_reg0;
773      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
774      AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
775    }
776  } else {
777    if (Reg < 32)
778      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
779    else {
780      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
781      AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
782    }
783
784    AddUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
785  }
786
787  // If we started with a pointer to the __Block_byref... struct, then
788  // the first thing we need to do is dereference the pointer (DW_OP_deref).
789  if (isPointer)
790    AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
791
792  // Next add the offset for the '__forwarding' field:
793  // DW_OP_plus_uconst ForwardingFieldOffset.  Note there's no point in
794  // adding the offset if it's 0.
795  if (forwardingFieldOffset > 0) {
796    AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
797    AddUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
798  }
799
800  // Now dereference the __forwarding field to get to the real __Block_byref
801  // struct:  DW_OP_deref.
802  AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
803
804  // Now that we've got the real __Block_byref... struct, add the offset
805  // for the variable's field to get to the location of the actual variable:
806  // DW_OP_plus_uconst varFieldOffset.  Again, don't add if it's 0.
807  if (varFieldOffset > 0) {
808    AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
809    AddUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
810  }
811
812  // Now attach the location information to the DIE.
813  AddBlock(Die, Attribute, 0, Block);
814}
815
816/// AddAddress - Add an address attribute to a die based on the location
817/// provided.
818void DwarfDebug::AddAddress(DIE *Die, unsigned Attribute,
819                            const MachineLocation &Location) {
820  unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
821  DIEBlock *Block = new DIEBlock();
822
823  if (Location.isReg()) {
824    if (Reg < 32) {
825      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
826    } else {
827      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
828      AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
829    }
830  } else {
831    if (Reg < 32) {
832      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
833    } else {
834      AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
835      AddUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
836    }
837
838    AddUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
839  }
840
841  AddBlock(Die, Attribute, 0, Block);
842}
843
844/// AddType - Add a new type attribute to the specified entity.
845void DwarfDebug::AddType(CompileUnit *DW_Unit, DIE *Entity, DIType Ty) {
846  if (Ty.isNull())
847    return;
848
849  // Check for pre-existence.
850  DIEEntry *&Slot = DW_Unit->getDIEEntrySlotFor(Ty.getNode());
851
852  // If it exists then use the existing value.
853  if (Slot) {
854    Entity->AddValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Slot);
855    return;
856  }
857
858  // Set up proxy.
859  Slot = CreateDIEEntry();
860
861  // Construct type.
862  DIE Buffer(dwarf::DW_TAG_base_type);
863  if (Ty.isBasicType())
864    ConstructTypeDIE(DW_Unit, Buffer, DIBasicType(Ty.getNode()));
865  else if (Ty.isCompositeType())
866    ConstructTypeDIE(DW_Unit, Buffer, DICompositeType(Ty.getNode()));
867  else {
868    assert(Ty.isDerivedType() && "Unknown kind of DIType");
869    ConstructTypeDIE(DW_Unit, Buffer, DIDerivedType(Ty.getNode()));
870  }
871
872  // Add debug information entry to entity and appropriate context.
873  DIE *Die = NULL;
874  DIDescriptor Context = Ty.getContext();
875  if (!Context.isNull())
876    Die = DW_Unit->getDieMapSlotFor(Context.getNode());
877
878  if (Die) {
879    DIE *Child = new DIE(Buffer);
880    Die->AddChild(Child);
881    Buffer.Detach();
882    SetDIEEntry(Slot, Child);
883  } else {
884    Die = DW_Unit->AddDie(Buffer);
885    SetDIEEntry(Slot, Die);
886  }
887
888  Entity->AddValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Slot);
889}
890
891/// ConstructTypeDIE - Construct basic type die from DIBasicType.
892void DwarfDebug::ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
893                                  DIBasicType BTy) {
894  // Get core information.
895  const char *Name = BTy.getName();
896  Buffer.setTag(dwarf::DW_TAG_base_type);
897  AddUInt(&Buffer, dwarf::DW_AT_encoding,  dwarf::DW_FORM_data1,
898          BTy.getEncoding());
899
900  // Add name if not anonymous or intermediate type.
901  if (Name)
902    AddString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
903  uint64_t Size = BTy.getSizeInBits() >> 3;
904  AddUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
905}
906
907/// ConstructTypeDIE - Construct derived type die from DIDerivedType.
908void DwarfDebug::ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
909                                  DIDerivedType DTy) {
910  // Get core information.
911  const char *Name = DTy.getName();
912  uint64_t Size = DTy.getSizeInBits() >> 3;
913  unsigned Tag = DTy.getTag();
914
915  // FIXME - Workaround for templates.
916  if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
917
918  Buffer.setTag(Tag);
919
920  // Map to main type, void will not have a type.
921  DIType FromTy = DTy.getTypeDerivedFrom();
922  AddType(DW_Unit, &Buffer, FromTy);
923
924  // Add name if not anonymous or intermediate type.
925  if (Name && Tag != dwarf::DW_TAG_pointer_type)
926    AddString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
927
928  // Add size if non-zero (derived types might be zero-sized.)
929  if (Size)
930    AddUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
931
932  // Add source line info if available and TyDesc is not a forward declaration.
933  if (!DTy.isForwardDecl())
934    AddSourceLine(&Buffer, &DTy);
935}
936
937/// ConstructTypeDIE - Construct type DIE from DICompositeType.
938void DwarfDebug::ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
939                                  DICompositeType CTy) {
940  // Get core information.
941  const char *Name = CTy.getName();
942
943  uint64_t Size = CTy.getSizeInBits() >> 3;
944  unsigned Tag = CTy.getTag();
945  Buffer.setTag(Tag);
946
947  switch (Tag) {
948  case dwarf::DW_TAG_vector_type:
949  case dwarf::DW_TAG_array_type:
950    ConstructArrayTypeDIE(DW_Unit, Buffer, &CTy);
951    break;
952  case dwarf::DW_TAG_enumeration_type: {
953    DIArray Elements = CTy.getTypeArray();
954
955    // Add enumerators to enumeration type.
956    for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
957      DIE *ElemDie = NULL;
958      DIEnumerator Enum(Elements.getElement(i).getNode());
959      if (!Enum.isNull()) {
960        ElemDie = ConstructEnumTypeDIE(DW_Unit, &Enum);
961        Buffer.AddChild(ElemDie);
962      }
963    }
964  }
965    break;
966  case dwarf::DW_TAG_subroutine_type: {
967    // Add return type.
968    DIArray Elements = CTy.getTypeArray();
969    DIDescriptor RTy = Elements.getElement(0);
970    AddType(DW_Unit, &Buffer, DIType(RTy.getNode()));
971
972    // Add prototype flag.
973    AddUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
974
975    // Add arguments.
976    for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
977      DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
978      DIDescriptor Ty = Elements.getElement(i);
979      AddType(DW_Unit, Arg, DIType(Ty.getNode()));
980      Buffer.AddChild(Arg);
981    }
982  }
983    break;
984  case dwarf::DW_TAG_structure_type:
985  case dwarf::DW_TAG_union_type:
986  case dwarf::DW_TAG_class_type: {
987    // Add elements to structure type.
988    DIArray Elements = CTy.getTypeArray();
989
990    // A forward struct declared type may not have elements available.
991    if (Elements.isNull())
992      break;
993
994    // Add elements to structure type.
995    for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
996      DIDescriptor Element = Elements.getElement(i);
997      if (Element.isNull())
998        continue;
999      DIE *ElemDie = NULL;
1000      if (Element.getTag() == dwarf::DW_TAG_subprogram)
1001        ElemDie = CreateSubprogramDIE(DW_Unit,
1002                                      DISubprogram(Element.getNode()));
1003      else
1004        ElemDie = CreateMemberDIE(DW_Unit,
1005                                  DIDerivedType(Element.getNode()));
1006      Buffer.AddChild(ElemDie);
1007    }
1008
1009    if (CTy.isAppleBlockExtension())
1010      AddUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
1011
1012    unsigned RLang = CTy.getRunTimeLang();
1013    if (RLang)
1014      AddUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
1015              dwarf::DW_FORM_data1, RLang);
1016    break;
1017  }
1018  default:
1019    break;
1020  }
1021
1022  // Add name if not anonymous or intermediate type.
1023  if (Name)
1024    AddString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1025
1026  if (Tag == dwarf::DW_TAG_enumeration_type ||
1027      Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
1028    // Add size if non-zero (derived types might be zero-sized.)
1029    if (Size)
1030      AddUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
1031    else {
1032      // Add zero size if it is not a forward declaration.
1033      if (CTy.isForwardDecl())
1034        AddUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1035      else
1036        AddUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
1037    }
1038
1039    // Add source line info if available.
1040    if (!CTy.isForwardDecl())
1041      AddSourceLine(&Buffer, &CTy);
1042  }
1043}
1044
1045/// ConstructSubrangeDIE - Construct subrange DIE from DISubrange.
1046void DwarfDebug::ConstructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
1047  int64_t L = SR.getLo();
1048  int64_t H = SR.getHi();
1049  DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1050
1051  AddDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
1052  if (L)
1053    AddSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
1054  if (H)
1055    AddSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
1056
1057  Buffer.AddChild(DW_Subrange);
1058}
1059
1060/// ConstructArrayTypeDIE - Construct array type DIE from DICompositeType.
1061void DwarfDebug::ConstructArrayTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
1062                                       DICompositeType *CTy) {
1063  Buffer.setTag(dwarf::DW_TAG_array_type);
1064  if (CTy->getTag() == dwarf::DW_TAG_vector_type)
1065    AddUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
1066
1067  // Emit derived type.
1068  AddType(DW_Unit, &Buffer, CTy->getTypeDerivedFrom());
1069  DIArray Elements = CTy->getTypeArray();
1070
1071  // Construct an anonymous type for index type.
1072  DIE IdxBuffer(dwarf::DW_TAG_base_type);
1073  AddUInt(&IdxBuffer, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1074  AddUInt(&IdxBuffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
1075          dwarf::DW_ATE_signed);
1076  DIE *IndexTy = DW_Unit->AddDie(IdxBuffer);
1077
1078  // Add subranges to array type.
1079  for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1080    DIDescriptor Element = Elements.getElement(i);
1081    if (Element.getTag() == dwarf::DW_TAG_subrange_type)
1082      ConstructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IndexTy);
1083  }
1084}
1085
1086/// ConstructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
1087DIE *DwarfDebug::ConstructEnumTypeDIE(CompileUnit *DW_Unit, DIEnumerator *ETy) {
1088  DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
1089  const char *Name = ETy->getName();
1090  AddString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1091  int64_t Value = ETy->getEnumValue();
1092  AddSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
1093  return Enumerator;
1094}
1095
1096/// CreateGlobalVariableDIE - Create new DIE using GV.
1097DIE *DwarfDebug::CreateGlobalVariableDIE(CompileUnit *DW_Unit,
1098                                         const DIGlobalVariable &GV) {
1099  // If the global variable was optmized out then no need to create debug info entry.
1100  if (!GV.getGlobal()) return NULL;
1101  if (!GV.getDisplayName()) return NULL;
1102
1103  DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
1104  AddString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
1105            GV.getDisplayName());
1106
1107  const char *LinkageName = GV.getLinkageName();
1108  if (LinkageName) {
1109    // Skip special LLVM prefix that is used to inform the asm printer to not
1110    // emit usual symbol prefix before the symbol name. This happens for
1111    // Objective-C symbol names and symbol whose name is replaced using GCC's
1112    // __asm__ attribute.
1113    if (LinkageName[0] == 1)
1114      LinkageName = &LinkageName[1];
1115    AddString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
1116              LinkageName);
1117  }
1118  AddType(DW_Unit, GVDie, GV.getType());
1119  if (!GV.isLocalToUnit())
1120    AddUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1121  AddSourceLine(GVDie, &GV);
1122
1123  // Add address.
1124  DIEBlock *Block = new DIEBlock();
1125  AddUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1126  AddObjectLabel(Block, 0, dwarf::DW_FORM_udata,
1127                 Asm->Mang->getMangledName(GV.getGlobal()));
1128  AddBlock(GVDie, dwarf::DW_AT_location, 0, Block);
1129
1130  return GVDie;
1131}
1132
1133/// CreateMemberDIE - Create new member DIE.
1134DIE *DwarfDebug::CreateMemberDIE(CompileUnit *DW_Unit, const DIDerivedType &DT){
1135  DIE *MemberDie = new DIE(DT.getTag());
1136  if (const char *Name = DT.getName())
1137    AddString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1138
1139  AddType(DW_Unit, MemberDie, DT.getTypeDerivedFrom());
1140
1141  AddSourceLine(MemberDie, &DT);
1142
1143  DIEBlock *MemLocationDie = new DIEBlock();
1144  AddUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
1145
1146  uint64_t Size = DT.getSizeInBits();
1147  uint64_t FieldSize = DT.getOriginalTypeSize();
1148
1149  if (Size != FieldSize) {
1150    // Handle bitfield.
1151    AddUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1152    AddUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
1153
1154    uint64_t Offset = DT.getOffsetInBits();
1155    uint64_t FieldOffset = Offset;
1156    uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1157    uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1158    FieldOffset = (HiMark - FieldSize);
1159    Offset -= FieldOffset;
1160
1161    // Maybe we need to work from the other end.
1162    if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
1163    AddUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
1164
1165    // Here WD_AT_data_member_location points to the anonymous
1166    // field that includes this bit field.
1167    AddUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
1168
1169  } else
1170    // This is not a bitfield.
1171    AddUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
1172
1173  AddBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
1174
1175  if (DT.isProtected())
1176    AddUInt(MemberDie, dwarf::DW_AT_accessibility, 0,
1177            dwarf::DW_ACCESS_protected);
1178  else if (DT.isPrivate())
1179    AddUInt(MemberDie, dwarf::DW_AT_accessibility, 0,
1180            dwarf::DW_ACCESS_private);
1181
1182  return MemberDie;
1183}
1184
1185/// CreateSubprogramDIE - Create new DIE using SP.
1186DIE *DwarfDebug::CreateSubprogramDIE(CompileUnit *DW_Unit,
1187                                     const DISubprogram &SP,
1188                                     bool IsConstructor,
1189                                     bool IsInlined) {
1190  DIE *SPDie = new DIE(dwarf::DW_TAG_subprogram);
1191
1192  const char * Name = SP.getName();
1193  AddString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1194
1195  const char *LinkageName = SP.getLinkageName();
1196  if (LinkageName) {
1197    // Skip special LLVM prefix that is used to inform the asm printer to not emit
1198    // usual symbol prefix before the symbol name. This happens for Objective-C
1199    // symbol names and symbol whose name is replaced using GCC's __asm__ attribute.
1200    if (LinkageName[0] == 1)
1201      LinkageName = &LinkageName[1];
1202    AddString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
1203              LinkageName);
1204  }
1205  AddSourceLine(SPDie, &SP);
1206
1207  DICompositeType SPTy = SP.getType();
1208  DIArray Args = SPTy.getTypeArray();
1209
1210  // Add prototyped tag, if C or ObjC.
1211  unsigned Lang = SP.getCompileUnit().getLanguage();
1212  if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1213      Lang == dwarf::DW_LANG_ObjC)
1214    AddUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
1215
1216  // Add Return Type.
1217  unsigned SPTag = SPTy.getTag();
1218  if (!IsConstructor) {
1219    if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
1220      AddType(DW_Unit, SPDie, SPTy);
1221    else
1222      AddType(DW_Unit, SPDie, DIType(Args.getElement(0).getNode()));
1223  }
1224
1225  if (!SP.isDefinition()) {
1226    AddUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1227
1228    // Add arguments. Do not add arguments for subprogram definition. They will
1229    // be handled through RecordVariable.
1230    if (SPTag == dwarf::DW_TAG_subroutine_type)
1231      for (unsigned i = 1, N =  Args.getNumElements(); i < N; ++i) {
1232        DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1233        AddType(DW_Unit, Arg, DIType(Args.getElement(i).getNode()));
1234        AddUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1235        SPDie->AddChild(Arg);
1236      }
1237  }
1238
1239  // DW_TAG_inlined_subroutine may refer to this DIE.
1240  DIE *&Slot = DW_Unit->getDieMapSlotFor(SP.getNode());
1241  Slot = SPDie;
1242  return SPDie;
1243}
1244
1245/// FindCompileUnit - Get the compile unit for the given descriptor.
1246///
1247CompileUnit &DwarfDebug::FindCompileUnit(DICompileUnit Unit) const {
1248  DenseMap<Value *, CompileUnit *>::const_iterator I =
1249    CompileUnitMap.find(Unit.getNode());
1250  assert(I != CompileUnitMap.end() && "Missing compile unit.");
1251  return *I->second;
1252}
1253
1254/// CreateDbgScopeVariable - Create a new scope variable.
1255///
1256DIE *DwarfDebug::CreateDbgScopeVariable(DbgVariable *DV, CompileUnit *Unit) {
1257  // Get the descriptor.
1258  const DIVariable &VD = DV->getVariable();
1259  const char *Name = VD.getName();
1260  if (!Name)
1261    return NULL;
1262
1263  // Translate tag to proper Dwarf tag.  The result variable is dropped for
1264  // now.
1265  unsigned Tag;
1266  switch (VD.getTag()) {
1267  case dwarf::DW_TAG_return_variable:
1268    return NULL;
1269  case dwarf::DW_TAG_arg_variable:
1270    Tag = dwarf::DW_TAG_formal_parameter;
1271    break;
1272  case dwarf::DW_TAG_auto_variable:    // fall thru
1273  default:
1274    Tag = dwarf::DW_TAG_variable;
1275    break;
1276  }
1277
1278  // Define variable debug information entry.
1279  DIE *VariableDie = new DIE(Tag);
1280  AddString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1281
1282  // Add source line info if available.
1283  AddSourceLine(VariableDie, &VD);
1284
1285  // Add variable type.
1286  // FIXME: isBlockByrefVariable should be reformulated in terms of complex
1287  // addresses instead.
1288  if (VD.isBlockByrefVariable())
1289    AddType(Unit, VariableDie, GetBlockByrefType(VD.getType(), Name));
1290  else
1291    AddType(Unit, VariableDie, VD.getType());
1292
1293  // Add variable address.
1294  // Variables for abstract instances of inlined functions don't get a
1295  // location.
1296  MachineLocation Location;
1297  Location.set(RI->getFrameRegister(*MF),
1298               RI->getFrameIndexOffset(*MF, DV->getFrameIndex()));
1299
1300
1301  if (VD.hasComplexAddress())
1302    AddComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1303  else if (VD.isBlockByrefVariable())
1304    AddBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1305  else
1306    AddAddress(VariableDie, dwarf::DW_AT_location, Location);
1307
1308  return VariableDie;
1309}
1310
1311/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1312/// Initialize scope and update scope hierarchy.
1313DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1314  MDNode *InlinedAt) {
1315  assert (N && "Invalid Scope encoding!");
1316  assert (MI && "Missing machine instruction!");
1317  bool GetConcreteScope = (MI && InlinedAt);
1318
1319  DbgScope *NScope = NULL;
1320
1321  if (InlinedAt)
1322    NScope = DbgScopeMap.lookup(InlinedAt);
1323  else
1324    NScope = DbgScopeMap.lookup(N);
1325  assert (NScope && "Unable to find working scope!");
1326
1327  if (NScope->getFirstInsn())
1328    return NScope;
1329
1330  DbgScope *Parent = NULL;
1331  if (GetConcreteScope) {
1332    DILocation IL(InlinedAt);
1333    Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
1334                         IL.getOrigLocation().getNode());
1335    assert (Parent && "Unable to find Parent scope!");
1336    NScope->setParent(Parent);
1337    Parent->AddScope(NScope);
1338  } else if (DIDescriptor(N).isLexicalBlock()) {
1339    DILexicalBlock DB(N);
1340    if (!DB.getContext().isNull()) {
1341      Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1342      NScope->setParent(Parent);
1343      Parent->AddScope(NScope);
1344    }
1345  }
1346
1347  NScope->setFirstInsn(MI);
1348
1349  if (!Parent && !InlinedAt) {
1350    StringRef SPName = DISubprogram(N).getLinkageName();
1351    if (SPName == MF->getFunction()->getName())
1352      CurrentFnDbgScope = NScope;
1353  }
1354
1355  if (GetConcreteScope) {
1356    ConcreteScopes[InlinedAt] = NScope;
1357    getOrCreateAbstractScope(N);
1358  }
1359
1360  return NScope;
1361}
1362
1363DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1364  assert (N && "Invalid Scope encoding!");
1365
1366  DbgScope *AScope = AbstractScopes.lookup(N);
1367  if (AScope)
1368    return AScope;
1369
1370  DbgScope *Parent = NULL;
1371
1372  DIDescriptor Scope(N);
1373  if (Scope.isLexicalBlock()) {
1374    DILexicalBlock DB(N);
1375    DIDescriptor ParentDesc = DB.getContext();
1376    if (!ParentDesc.isNull())
1377      Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1378  }
1379
1380  AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1381
1382  if (Parent)
1383    Parent->AddScope(AScope);
1384  AScope->setAbstractScope();
1385  AbstractScopes[N] = AScope;
1386  if (DIDescriptor(N).isSubprogram())
1387    AbstractScopesList.push_back(AScope);
1388  return AScope;
1389}
1390
1391static DISubprogram getDISubprogram(MDNode *N) {
1392
1393  DIDescriptor D(N);
1394  if (D.isNull())
1395    return DISubprogram();
1396
1397  if (D.isCompileUnit())
1398    return DISubprogram();
1399
1400  if (D.isSubprogram())
1401    return DISubprogram(N);
1402
1403  if (D.isLexicalBlock())
1404    return getDISubprogram(DILexicalBlock(N).getContext().getNode());
1405
1406  llvm_unreachable("Unexpected Descriptor!");
1407}
1408
1409DIE *DwarfDebug::UpdateSubprogramScopeDIE(MDNode *SPNode) {
1410
1411 DIE *SPDie = ModuleCU->getDieMapSlotFor(SPNode);
1412 assert (SPDie && "Unable to find subprogram DIE!");
1413 AddLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1414          DWLabel("func_begin", SubprogramCount));
1415 AddLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1416          DWLabel("func_end", SubprogramCount));
1417 MachineLocation Location(RI->getFrameRegister(*MF));
1418 AddAddress(SPDie, dwarf::DW_AT_frame_base, Location);
1419
1420 if (!DISubprogram(SPNode).isLocalToUnit())
1421   AddUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1422
1423 // If there are global variables at this scope then add their dies.
1424 for (SmallVector<WeakVH, 4>::iterator SGI = ScopedGVs.begin(),
1425        SGE = ScopedGVs.end(); SGI != SGE; ++SGI) {
1426   MDNode *N = dyn_cast_or_null<MDNode>(*SGI);
1427   if (!N) continue;
1428   DIGlobalVariable GV(N);
1429   if (GV.getContext().getNode() == SPNode) {
1430     DIE *ScopedGVDie = CreateGlobalVariableDIE(ModuleCU, GV);
1431     if (ScopedGVDie)
1432       SPDie->AddChild(ScopedGVDie);
1433   }
1434 }
1435 return SPDie;
1436}
1437
1438DIE *DwarfDebug::ConstructLexicalScopeDIE(DbgScope *Scope) {
1439  unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1440  unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1441
1442  // Ignore empty scopes.
1443  if (StartID == EndID && StartID != 0)
1444    return NULL;
1445
1446  DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1447  if (Scope->isAbstractScope())
1448    return ScopeDIE;
1449
1450  AddLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1451           StartID ?
1452             DWLabel("label", StartID)
1453           : DWLabel("func_begin", SubprogramCount));
1454  AddLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1455           EndID ?
1456             DWLabel("label", EndID)
1457           : DWLabel("func_end", SubprogramCount));
1458
1459
1460
1461  return ScopeDIE;
1462}
1463
1464DIE *DwarfDebug::ConstructInlinedScopeDIE(DbgScope *Scope) {
1465  unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1466  unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1467  assert (StartID && "Invalid starting label for an inlined scope!");
1468  assert (EndID && "Invalid end label for an inlined scope!");
1469  // Ignore empty scopes.
1470  if (StartID == EndID && StartID != 0)
1471    return NULL;
1472
1473  DIScope DS(Scope->getScopeNode());
1474  if (DS.isNull())
1475    return NULL;
1476  DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1477
1478  DISubprogram InlinedSP = getDISubprogram(DS.getNode());
1479  DIE *&OriginDIE = ModuleCU->getDieMapSlotFor(InlinedSP.getNode());
1480  assert (OriginDIE && "Unable to find Origin DIE!");
1481  AddDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
1482              dwarf::DW_FORM_ref4, OriginDIE);
1483
1484  AddLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1485           DWLabel("label", StartID));
1486  AddLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1487           DWLabel("label", EndID));
1488
1489  InlinedSubprogramDIEs.insert(OriginDIE);
1490
1491  // Track the start label for this inlined function.
1492  ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
1493    I = InlineInfo.find(InlinedSP.getNode());
1494
1495  if (I == InlineInfo.end()) {
1496    InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID, ScopeDIE));
1497    InlinedSPNodes.push_back(InlinedSP.getNode());
1498  } else
1499    I->second.push_back(std::make_pair(StartID, ScopeDIE));
1500
1501  StringPool.insert(InlinedSP.getName());
1502  StringPool.insert(InlinedSP.getLinkageName());
1503  DILocation DL(Scope->getInlinedAt());
1504  AddUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1505  AddUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
1506
1507  return ScopeDIE;
1508}
1509
1510DIE *DwarfDebug::ConstructVariableDIE(DbgVariable *DV,
1511                                      DbgScope *Scope, CompileUnit *Unit) {
1512  // Get the descriptor.
1513  const DIVariable &VD = DV->getVariable();
1514  const char *Name = VD.getName();
1515  if (!Name)
1516    return NULL;
1517
1518  // Translate tag to proper Dwarf tag.  The result variable is dropped for
1519  // now.
1520  unsigned Tag;
1521  switch (VD.getTag()) {
1522  case dwarf::DW_TAG_return_variable:
1523    return NULL;
1524  case dwarf::DW_TAG_arg_variable:
1525    Tag = dwarf::DW_TAG_formal_parameter;
1526    break;
1527  case dwarf::DW_TAG_auto_variable:    // fall thru
1528  default:
1529    Tag = dwarf::DW_TAG_variable;
1530    break;
1531  }
1532
1533  // Define variable debug information entry.
1534  DIE *VariableDie = new DIE(Tag);
1535
1536
1537  DIE *AbsDIE = NULL;
1538  if (DbgVariable *AV = DV->getAbstractVariable())
1539    AbsDIE = AV->getDIE();
1540
1541  if (AbsDIE) {
1542    DIScope DS(Scope->getScopeNode());
1543    DISubprogram InlinedSP = getDISubprogram(DS.getNode());
1544    DIE *&OriginSPDIE = ModuleCU->getDieMapSlotFor(InlinedSP.getNode());
1545    (void) OriginSPDIE;
1546    assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1547    DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1548    assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
1549    AddDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
1550                dwarf::DW_FORM_ref4, AbsDIE);
1551  }
1552  else {
1553    AddString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1554    AddSourceLine(VariableDie, &VD);
1555
1556    // Add variable type.
1557    // FIXME: isBlockByrefVariable should be reformulated in terms of complex
1558    // addresses instead.
1559    if (VD.isBlockByrefVariable())
1560      AddType(Unit, VariableDie, GetBlockByrefType(VD.getType(), Name));
1561    else
1562      AddType(Unit, VariableDie, VD.getType());
1563  }
1564
1565  // Add variable address.
1566  if (!Scope->isAbstractScope()) {
1567    MachineLocation Location;
1568    Location.set(RI->getFrameRegister(*MF),
1569                 RI->getFrameIndexOffset(*MF, DV->getFrameIndex()));
1570
1571
1572    if (VD.hasComplexAddress())
1573      AddComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1574    else if (VD.isBlockByrefVariable())
1575      AddBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1576    else
1577      AddAddress(VariableDie, dwarf::DW_AT_location, Location);
1578  }
1579  DV->setDIE(VariableDie);
1580  return VariableDie;
1581
1582}
1583DIE *DwarfDebug::ConstructScopeDIE(DbgScope *Scope) {
1584 if (!Scope)
1585  return NULL;
1586 DIScope DS(Scope->getScopeNode());
1587 if (DS.isNull())
1588   return NULL;
1589
1590 DIE *ScopeDIE = NULL;
1591 if (Scope->getInlinedAt())
1592   ScopeDIE = ConstructInlinedScopeDIE(Scope);
1593 else if (DS.isSubprogram()) {
1594   if (Scope->isAbstractScope())
1595     ScopeDIE = ModuleCU->getDieMapSlotFor(DS.getNode());
1596   else
1597     ScopeDIE = UpdateSubprogramScopeDIE(DS.getNode());
1598 }
1599 else {
1600   ScopeDIE = ConstructLexicalScopeDIE(Scope);
1601   if (!ScopeDIE) return NULL;
1602 }
1603
1604  // Add variables to scope.
1605  SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1606  for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
1607    DIE *VariableDIE = ConstructVariableDIE(Variables[i], Scope, ModuleCU);
1608    if (VariableDIE)
1609      ScopeDIE->AddChild(VariableDIE);
1610  }
1611
1612  // Add nested scopes.
1613  SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1614  for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1615    // Define the Scope debug information entry.
1616    DIE *NestedDIE = ConstructScopeDIE(Scopes[j]);
1617    if (NestedDIE)
1618      ScopeDIE->AddChild(NestedDIE);
1619  }
1620  return ScopeDIE;
1621}
1622
1623/// GetOrCreateSourceID - Look up the source id with the given directory and
1624/// source file names. If none currently exists, create a new id and insert it
1625/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1626/// maps as well.
1627unsigned DwarfDebug::GetOrCreateSourceID(const char *DirName,
1628                                         const char *FileName) {
1629  unsigned DId;
1630  StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1631  if (DI != DirectoryIdMap.end()) {
1632    DId = DI->getValue();
1633  } else {
1634    DId = DirectoryNames.size() + 1;
1635    DirectoryIdMap[DirName] = DId;
1636    DirectoryNames.push_back(DirName);
1637  }
1638
1639  unsigned FId;
1640  StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1641  if (FI != SourceFileIdMap.end()) {
1642    FId = FI->getValue();
1643  } else {
1644    FId = SourceFileNames.size() + 1;
1645    SourceFileIdMap[FileName] = FId;
1646    SourceFileNames.push_back(FileName);
1647  }
1648
1649  DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1650    SourceIdMap.find(std::make_pair(DId, FId));
1651  if (SI != SourceIdMap.end())
1652    return SI->second;
1653
1654  unsigned SrcId = SourceIds.size() + 1;  // DW_AT_decl_file cannot be 0.
1655  SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1656  SourceIds.push_back(std::make_pair(DId, FId));
1657
1658  return SrcId;
1659}
1660
1661void DwarfDebug::ConstructCompileUnit(MDNode *N) {
1662  DICompileUnit DIUnit(N);
1663  const char *FN = DIUnit.getFilename();
1664  const char *Dir = DIUnit.getDirectory();
1665  unsigned ID = GetOrCreateSourceID(Dir, FN);
1666
1667  DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
1668  AddSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
1669                   DWLabel("section_line", 0), DWLabel("section_line", 0),
1670                   false);
1671  AddString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
1672            DIUnit.getProducer());
1673  AddUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
1674          DIUnit.getLanguage());
1675  AddString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
1676
1677  if (Dir)
1678    AddString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
1679  if (DIUnit.isOptimized())
1680    AddUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
1681
1682  if (const char *Flags = DIUnit.getFlags())
1683    AddString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
1684
1685  unsigned RVer = DIUnit.getRunTimeVersion();
1686  if (RVer)
1687    AddUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
1688            dwarf::DW_FORM_data1, RVer);
1689
1690  CompileUnit *Unit = new CompileUnit(ID, Die);
1691  if (!ModuleCU && DIUnit.isMain()) {
1692    // Use first compile unit marked as isMain as the compile unit
1693    // for this module.
1694    ModuleCU = Unit;
1695  }
1696
1697  CompileUnitMap[DIUnit.getNode()] = Unit;
1698  CompileUnits.push_back(Unit);
1699}
1700
1701void DwarfDebug::ConstructGlobalVariableDIE(MDNode *N) {
1702  DIGlobalVariable DI_GV(N);
1703
1704  // If debug information is malformed then ignore it.
1705  if (DI_GV.Verify() == false)
1706    return;
1707
1708  // Check for pre-existence.
1709  DIE *&Slot = ModuleCU->getDieMapSlotFor(DI_GV.getNode());
1710  if (Slot)
1711    return;
1712
1713  DIE *VariableDie = CreateGlobalVariableDIE(ModuleCU, DI_GV);
1714
1715  // Add to map.
1716  Slot = VariableDie;
1717
1718  // Add to context owner.
1719  ModuleCU->getDie()->AddChild(VariableDie);
1720
1721  // Expose as global. FIXME - need to check external flag.
1722  ModuleCU->AddGlobal(DI_GV.getName(), VariableDie);
1723  return;
1724}
1725
1726void DwarfDebug::ConstructSubprogram(MDNode *N) {
1727  DISubprogram SP(N);
1728
1729  // Check for pre-existence.
1730  DIE *&Slot = ModuleCU->getDieMapSlotFor(N);
1731  if (Slot)
1732    return;
1733
1734  if (!SP.isDefinition())
1735    // This is a method declaration which will be handled while constructing
1736    // class type.
1737    return;
1738
1739  DIE *SubprogramDie = CreateSubprogramDIE(ModuleCU, SP);
1740
1741  // Add to map.
1742  Slot = SubprogramDie;
1743
1744  // Add to context owner.
1745  ModuleCU->getDie()->AddChild(SubprogramDie);
1746
1747  // Expose as global.
1748  ModuleCU->AddGlobal(SP.getName(), SubprogramDie);
1749  return;
1750}
1751
1752/// BeginModule - Emit all Dwarf sections that should come prior to the
1753/// content. Create global DIEs and emit initial debug info sections.
1754/// This is inovked by the target AsmPrinter.
1755void DwarfDebug::BeginModule(Module *M, MachineModuleInfo *mmi) {
1756  this->M = M;
1757
1758  if (TimePassesIsEnabled)
1759    DebugTimer->startTimer();
1760
1761  if (!MAI->doesSupportDebugInformation())
1762    return;
1763
1764  DebugInfoFinder DbgFinder;
1765  DbgFinder.processModule(*M);
1766
1767  // Create all the compile unit DIEs.
1768  for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1769         E = DbgFinder.compile_unit_end(); I != E; ++I)
1770    ConstructCompileUnit(*I);
1771
1772  if (CompileUnits.empty()) {
1773    if (TimePassesIsEnabled)
1774      DebugTimer->stopTimer();
1775
1776    return;
1777  }
1778
1779  // If main compile unit for this module is not seen than randomly
1780  // select first compile unit.
1781  if (!ModuleCU)
1782    ModuleCU = CompileUnits[0];
1783
1784  // Create DIEs for each of the externally visible global variables.
1785  for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1786         E = DbgFinder.global_variable_end(); I != E; ++I) {
1787    DIGlobalVariable GV(*I);
1788    if (GV.getContext().getNode() != GV.getCompileUnit().getNode())
1789      ScopedGVs.push_back(*I);
1790    else
1791      ConstructGlobalVariableDIE(*I);
1792  }
1793
1794  // Create DIEs for each subprogram.
1795  for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1796         E = DbgFinder.subprogram_end(); I != E; ++I)
1797    ConstructSubprogram(*I);
1798
1799  MMI = mmi;
1800  shouldEmit = true;
1801  MMI->setDebugInfoAvailability(true);
1802
1803  // Prime section data.
1804  SectionMap.insert(Asm->getObjFileLowering().getTextSection());
1805
1806  // Print out .file directives to specify files for .loc directives. These are
1807  // printed out early so that they precede any .loc directives.
1808  if (MAI->hasDotLocAndDotFile()) {
1809    for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1810      // Remember source id starts at 1.
1811      std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
1812      sys::Path FullPath(getSourceDirectoryName(Id.first));
1813      bool AppendOk =
1814        FullPath.appendComponent(getSourceFileName(Id.second));
1815      assert(AppendOk && "Could not append filename to directory!");
1816      AppendOk = false;
1817      Asm->EmitFile(i, FullPath.str());
1818      Asm->EOL();
1819    }
1820  }
1821
1822  // Emit initial sections
1823  EmitInitial();
1824
1825  if (TimePassesIsEnabled)
1826    DebugTimer->stopTimer();
1827}
1828
1829/// EndModule - Emit all Dwarf sections that should come after the content.
1830///
1831void DwarfDebug::EndModule() {
1832  if (!ModuleCU)
1833    return;
1834
1835  if (TimePassesIsEnabled)
1836    DebugTimer->startTimer();
1837
1838  // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1839  for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1840         AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1841    DIE *ISP = *AI;
1842    AddUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
1843  }
1844
1845  // Standard sections final addresses.
1846  Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
1847  EmitLabel("text_end", 0);
1848  Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
1849  EmitLabel("data_end", 0);
1850
1851  // End text sections.
1852  for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
1853    Asm->OutStreamer.SwitchSection(SectionMap[i]);
1854    EmitLabel("section_end", i);
1855  }
1856
1857  // Emit common frame information.
1858  EmitCommonDebugFrame();
1859
1860  // Emit function debug frame information
1861  for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1862         E = DebugFrames.end(); I != E; ++I)
1863    EmitFunctionDebugFrame(*I);
1864
1865  // Compute DIE offsets and sizes.
1866  SizeAndOffsets();
1867
1868  // Emit all the DIEs into a debug info section
1869  EmitDebugInfo();
1870
1871  // Corresponding abbreviations into a abbrev section.
1872  EmitAbbreviations();
1873
1874  // Emit source line correspondence into a debug line section.
1875  EmitDebugLines();
1876
1877  // Emit info into a debug pubnames section.
1878  EmitDebugPubNames();
1879
1880  // Emit info into a debug str section.
1881  EmitDebugStr();
1882
1883  // Emit info into a debug loc section.
1884  EmitDebugLoc();
1885
1886  // Emit info into a debug aranges section.
1887  EmitDebugARanges();
1888
1889  // Emit info into a debug ranges section.
1890  EmitDebugRanges();
1891
1892  // Emit info into a debug macinfo section.
1893  EmitDebugMacInfo();
1894
1895  // Emit inline info.
1896  EmitDebugInlineInfo();
1897
1898  if (TimePassesIsEnabled)
1899    DebugTimer->stopTimer();
1900}
1901
1902/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1903DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var, unsigned FrameIdx,
1904                                              DILocation &ScopeLoc) {
1905
1906  DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1907  if (AbsDbgVariable)
1908    return AbsDbgVariable;
1909
1910  DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1911  if (!Scope)
1912    return NULL;
1913
1914  AbsDbgVariable = new DbgVariable(Var, FrameIdx);
1915  Scope->AddVariable(AbsDbgVariable);
1916  AbstractVariables[Var.getNode()] = AbsDbgVariable;
1917  return AbsDbgVariable;
1918}
1919
1920/// CollectVariableInfo - Populate DbgScope entries with variables' info.
1921void DwarfDebug::CollectVariableInfo() {
1922  if (!MMI) return;
1923
1924  MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1925  for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1926         VE = VMap.end(); VI != VE; ++VI) {
1927    MetadataBase *MB = VI->first;
1928    MDNode *Var = dyn_cast_or_null<MDNode>(MB);
1929    if (!Var) continue;
1930    DIVariable DV (Var);
1931    std::pair< unsigned, MDNode *> VP = VI->second;
1932    DILocation ScopeLoc(VP.second);
1933
1934    DbgScope *Scope =
1935      ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1936    if (!Scope)
1937      Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
1938    // If variable scope is not found then skip this variable.
1939    if (!Scope)
1940      continue;
1941
1942    DbgVariable *RegVar = new DbgVariable(DV, VP.first);
1943    Scope->AddVariable(RegVar);
1944    if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, ScopeLoc))
1945      RegVar->setAbstractVariable(AbsDbgVariable);
1946  }
1947}
1948
1949/// BeginScope - Process beginning of a scope starting at Label.
1950void DwarfDebug::BeginScope(const MachineInstr *MI, unsigned Label) {
1951  InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1952  if (I == DbgScopeBeginMap.end())
1953    return;
1954  ScopeVector &SD = DbgScopeBeginMap[MI];
1955  for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
1956       SDI != SDE; ++SDI)
1957    (*SDI)->setStartLabelID(Label);
1958}
1959
1960/// EndScope - Process end of a scope.
1961void DwarfDebug::EndScope(const MachineInstr *MI) {
1962  InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
1963  if (I == DbgScopeEndMap.end())
1964    return;
1965
1966  unsigned Label = MMI->NextLabelID();
1967  Asm->printLabel(Label);
1968
1969  SmallVector<DbgScope *, 2> &SD = I->second;
1970  for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
1971       SDI != SDE; ++SDI)
1972    (*SDI)->setEndLabelID(Label);
1973  return;
1974}
1975
1976/// createDbgScope - Create DbgScope for the scope.
1977void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1978
1979  if (!InlinedAt) {
1980    DbgScope *WScope = DbgScopeMap.lookup(Scope);
1981    if (WScope)
1982      return;
1983    WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1984    DbgScopeMap.insert(std::make_pair(Scope, WScope));
1985    if (DIDescriptor(Scope).isLexicalBlock())
1986      createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
1987    return;
1988  }
1989
1990  DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1991  if (WScope)
1992    return;
1993
1994  WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1995  DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1996  DILocation DL(InlinedAt);
1997  createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
1998}
1999
2000/// ExtractScopeInformation - Scan machine instructions in this function
2001/// and collect DbgScopes. Return true, if atleast one scope was found.
2002bool DwarfDebug::ExtractScopeInformation(MachineFunction *MF) {
2003  // If scope information was extracted using .dbg intrinsics then there is not
2004  // any need to extract these information by scanning each instruction.
2005  if (!DbgScopeMap.empty())
2006    return false;
2007
2008  // Scan each instruction and create scopes. First build working set of scopes.
2009  for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2010       I != E; ++I) {
2011    for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2012         II != IE; ++II) {
2013      const MachineInstr *MInsn = II;
2014      DebugLoc DL = MInsn->getDebugLoc();
2015      if (DL.isUnknown()) continue;
2016      DebugLocTuple DLT = MF->getDebugLocTuple(DL);
2017      if (!DLT.Scope) continue;
2018      // There is no need to create another DIE for compile unit. For all
2019      // other scopes, create one DbgScope now. This will be translated
2020      // into a scope DIE at the end.
2021      if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
2022      createDbgScope(DLT.Scope, DLT.InlinedAtLoc);
2023    }
2024  }
2025
2026
2027  // Build scope hierarchy using working set of scopes.
2028  for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2029       I != E; ++I) {
2030    for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2031         II != IE; ++II) {
2032      const MachineInstr *MInsn = II;
2033      DebugLoc DL = MInsn->getDebugLoc();
2034      if (DL.isUnknown())  continue;
2035      DebugLocTuple DLT = MF->getDebugLocTuple(DL);
2036      if (!DLT.Scope)  continue;
2037      // There is no need to create another DIE for compile unit. For all
2038      // other scopes, create one DbgScope now. This will be translated
2039      // into a scope DIE at the end.
2040      if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
2041      DbgScope *Scope = getUpdatedDbgScope(DLT.Scope, MInsn, DLT.InlinedAtLoc);
2042      Scope->setLastInsn(MInsn);
2043    }
2044  }
2045
2046  // If a scope's last instruction is not set then use its child scope's
2047  // last instruction as this scope's last instrunction.
2048  for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
2049	 DE = DbgScopeMap.end(); DI != DE; ++DI) {
2050    if (DI->second->isAbstractScope())
2051      continue;
2052    assert (DI->second->getFirstInsn() && "Invalid first instruction!");
2053    DI->second->FixInstructionMarkers();
2054    assert (DI->second->getLastInsn() && "Invalid last instruction!");
2055  }
2056
2057  // Each scope has first instruction and last instruction to mark beginning
2058  // and end of a scope respectively. Create an inverse map that list scopes
2059  // starts (and ends) with an instruction. One instruction may start (or end)
2060  // multiple scopes.
2061  for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
2062	 DE = DbgScopeMap.end(); DI != DE; ++DI) {
2063    DbgScope *S = DI->second;
2064    if (S->isAbstractScope())
2065      continue;
2066    const MachineInstr *MI = S->getFirstInsn();
2067    assert (MI && "DbgScope does not have first instruction!");
2068
2069    InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2070    if (IDI != DbgScopeBeginMap.end())
2071      IDI->second.push_back(S);
2072    else
2073      DbgScopeBeginMap[MI].push_back(S);
2074
2075    MI = S->getLastInsn();
2076    assert (MI && "DbgScope does not have last instruction!");
2077    IDI = DbgScopeEndMap.find(MI);
2078    if (IDI != DbgScopeEndMap.end())
2079      IDI->second.push_back(S);
2080    else
2081      DbgScopeEndMap[MI].push_back(S);
2082  }
2083
2084  return !DbgScopeMap.empty();
2085}
2086
2087/// BeginFunction - Gather pre-function debug information.  Assumes being
2088/// emitted immediately after the function entry point.
2089void DwarfDebug::BeginFunction(MachineFunction *MF) {
2090  this->MF = MF;
2091
2092  if (!ShouldEmitDwarfDebug()) return;
2093
2094  if (TimePassesIsEnabled)
2095    DebugTimer->startTimer();
2096
2097  if (!ExtractScopeInformation(MF))
2098    return;
2099  CollectVariableInfo();
2100
2101  // Begin accumulating function debug information.
2102  MMI->BeginFunction(MF);
2103
2104  // Assumes in correct section after the entry point.
2105  EmitLabel("func_begin", ++SubprogramCount);
2106
2107  // Emit label for the implicitly defined dbg.stoppoint at the start of the
2108  // function.
2109  DebugLoc FDL = MF->getDefaultDebugLoc();
2110  if (!FDL.isUnknown()) {
2111    DebugLocTuple DLT = MF->getDebugLocTuple(FDL);
2112    unsigned LabelID = 0;
2113    DISubprogram SP = getDISubprogram(DLT.Scope);
2114    if (!SP.isNull())
2115      LabelID = RecordSourceLine(SP.getLineNumber(), 0, DLT.Scope);
2116    else
2117      LabelID = RecordSourceLine(DLT.Line, DLT.Col, DLT.Scope);
2118    Asm->printLabel(LabelID);
2119    O << '\n';
2120  }
2121  if (TimePassesIsEnabled)
2122    DebugTimer->stopTimer();
2123}
2124
2125/// EndFunction - Gather and emit post-function debug information.
2126///
2127void DwarfDebug::EndFunction(MachineFunction *MF) {
2128  if (!ShouldEmitDwarfDebug()) return;
2129
2130  if (TimePassesIsEnabled)
2131    DebugTimer->startTimer();
2132
2133  if (DbgScopeMap.empty())
2134    return;
2135
2136  // Define end label for subprogram.
2137  EmitLabel("func_end", SubprogramCount);
2138
2139  // Get function line info.
2140  if (!Lines.empty()) {
2141    // Get section line info.
2142    unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2143    if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2144    std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2145    // Append the function info to section info.
2146    SectionLineInfos.insert(SectionLineInfos.end(),
2147                            Lines.begin(), Lines.end());
2148  }
2149
2150  // Construct abstract scopes.
2151  for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2152         AE = AbstractScopesList.end(); AI != AE; ++AI)
2153    ConstructScopeDIE(*AI);
2154
2155  ConstructScopeDIE(CurrentFnDbgScope);
2156
2157  DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2158                                               MMI->getFrameMoves()));
2159
2160  // Clear debug info
2161  if (CurrentFnDbgScope) {
2162    CurrentFnDbgScope = NULL;
2163    DbgScopeMap.clear();
2164    DbgScopeBeginMap.clear();
2165    DbgScopeEndMap.clear();
2166    ConcreteScopes.clear();
2167    AbstractScopesList.clear();
2168  }
2169
2170  Lines.clear();
2171
2172  if (TimePassesIsEnabled)
2173    DebugTimer->stopTimer();
2174}
2175
2176/// RecordSourceLine - Records location information and associates it with a
2177/// label. Returns a unique label ID used to generate a label and provide
2178/// correspondence to the source line list.
2179unsigned DwarfDebug::RecordSourceLine(unsigned Line, unsigned Col,
2180                                      MDNode *S) {
2181  if (!MMI)
2182    return 0;
2183
2184  if (TimePassesIsEnabled)
2185    DebugTimer->startTimer();
2186
2187  const char *Dir = NULL;
2188  const char *Fn = NULL;
2189
2190  DIDescriptor Scope(S);
2191  if (Scope.isCompileUnit()) {
2192    DICompileUnit CU(S);
2193    Dir = CU.getDirectory();
2194    Fn = CU.getFilename();
2195  } else if (Scope.isSubprogram()) {
2196    DISubprogram SP(S);
2197    Dir = SP.getDirectory();
2198    Fn = SP.getFilename();
2199  } else if (Scope.isLexicalBlock()) {
2200    DILexicalBlock DB(S);
2201    Dir = DB.getDirectory();
2202    Fn = DB.getFilename();
2203  } else
2204    assert (0 && "Unexpected scope info");
2205
2206  unsigned Src = GetOrCreateSourceID(Dir, Fn);
2207  unsigned ID = MMI->NextLabelID();
2208  Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2209
2210  if (TimePassesIsEnabled)
2211    DebugTimer->stopTimer();
2212
2213  return ID;
2214}
2215
2216/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2217/// timed. Look up the source id with the given directory and source file
2218/// names. If none currently exists, create a new id and insert it in the
2219/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2220/// well.
2221unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2222                                         const std::string &FileName) {
2223  if (TimePassesIsEnabled)
2224    DebugTimer->startTimer();
2225
2226  unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
2227
2228  if (TimePassesIsEnabled)
2229    DebugTimer->stopTimer();
2230
2231  return SrcId;
2232}
2233
2234//===----------------------------------------------------------------------===//
2235// Emit Methods
2236//===----------------------------------------------------------------------===//
2237
2238/// SizeAndOffsetDie - Compute the size and offset of a DIE.
2239///
2240unsigned DwarfDebug::SizeAndOffsetDie(DIE *Die, unsigned Offset, bool Last) {
2241  // Get the children.
2242  const std::vector<DIE *> &Children = Die->getChildren();
2243
2244  // If not last sibling and has children then add sibling offset attribute.
2245  if (!Last && !Children.empty()) Die->AddSiblingOffset();
2246
2247  // Record the abbreviation.
2248  AssignAbbrevNumber(Die->getAbbrev());
2249
2250  // Get the abbreviation for this DIE.
2251  unsigned AbbrevNumber = Die->getAbbrevNumber();
2252  const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2253
2254  // Set DIE offset
2255  Die->setOffset(Offset);
2256
2257  // Start the size with the size of abbreviation code.
2258  Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
2259
2260  const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2261  const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2262
2263  // Size the DIE attribute values.
2264  for (unsigned i = 0, N = Values.size(); i < N; ++i)
2265    // Size attribute value.
2266    Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2267
2268  // Size the DIE children if any.
2269  if (!Children.empty()) {
2270    assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2271           "Children flag not set");
2272
2273    for (unsigned j = 0, M = Children.size(); j < M; ++j)
2274      Offset = SizeAndOffsetDie(Children[j], Offset, (j + 1) == M);
2275
2276    // End of children marker.
2277    Offset += sizeof(int8_t);
2278  }
2279
2280  Die->setSize(Offset - Die->getOffset());
2281  return Offset;
2282}
2283
2284/// SizeAndOffsets - Compute the size and offset of all the DIEs.
2285///
2286void DwarfDebug::SizeAndOffsets() {
2287  // Compute size of compile unit header.
2288  static unsigned Offset =
2289    sizeof(int32_t) + // Length of Compilation Unit Info
2290    sizeof(int16_t) + // DWARF version number
2291    sizeof(int32_t) + // Offset Into Abbrev. Section
2292    sizeof(int8_t);   // Pointer Size (in bytes)
2293
2294  SizeAndOffsetDie(ModuleCU->getDie(), Offset, true);
2295  CompileUnitOffsets[ModuleCU] = 0;
2296}
2297
2298/// EmitInitial - Emit initial Dwarf declarations.  This is necessary for cc
2299/// tools to recognize the object file contains Dwarf information.
2300void DwarfDebug::EmitInitial() {
2301  // Check to see if we already emitted intial headers.
2302  if (didInitial) return;
2303  didInitial = true;
2304
2305  const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
2306
2307  // Dwarf sections base addresses.
2308  if (MAI->doesDwarfRequireFrameSection()) {
2309    Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
2310    EmitLabel("section_debug_frame", 0);
2311  }
2312
2313  Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
2314  EmitLabel("section_info", 0);
2315  Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
2316  EmitLabel("section_abbrev", 0);
2317  Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
2318  EmitLabel("section_aranges", 0);
2319
2320  if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2321    Asm->OutStreamer.SwitchSection(LineInfoDirective);
2322    EmitLabel("section_macinfo", 0);
2323  }
2324
2325  Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
2326  EmitLabel("section_line", 0);
2327  Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
2328  EmitLabel("section_loc", 0);
2329  Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
2330  EmitLabel("section_pubnames", 0);
2331  Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
2332  EmitLabel("section_str", 0);
2333  Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
2334  EmitLabel("section_ranges", 0);
2335
2336  Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
2337  EmitLabel("text_begin", 0);
2338  Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
2339  EmitLabel("data_begin", 0);
2340}
2341
2342/// EmitDIE - Recusively Emits a debug information entry.
2343///
2344void DwarfDebug::EmitDIE(DIE *Die) {
2345  // Get the abbreviation for this DIE.
2346  unsigned AbbrevNumber = Die->getAbbrevNumber();
2347  const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2348
2349  Asm->EOL();
2350
2351  // Emit the code (index) for the abbreviation.
2352  Asm->EmitULEB128Bytes(AbbrevNumber);
2353
2354  if (Asm->isVerbose())
2355    Asm->EOL(std::string("Abbrev [" +
2356                         utostr(AbbrevNumber) +
2357                         "] 0x" + utohexstr(Die->getOffset()) +
2358                         ":0x" + utohexstr(Die->getSize()) + " " +
2359                         dwarf::TagString(Abbrev->getTag())));
2360  else
2361    Asm->EOL();
2362
2363  SmallVector<DIEValue*, 32> &Values = Die->getValues();
2364  const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2365
2366  // Emit the DIE attribute values.
2367  for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2368    unsigned Attr = AbbrevData[i].getAttribute();
2369    unsigned Form = AbbrevData[i].getForm();
2370    assert(Form && "Too many attributes for DIE (check abbreviation)");
2371
2372    switch (Attr) {
2373    case dwarf::DW_AT_sibling:
2374      Asm->EmitInt32(Die->SiblingOffset());
2375      break;
2376    case dwarf::DW_AT_abstract_origin: {
2377      DIEEntry *E = cast<DIEEntry>(Values[i]);
2378      DIE *Origin = E->getEntry();
2379      unsigned Addr = Origin->getOffset();
2380      Asm->EmitInt32(Addr);
2381      break;
2382    }
2383    default:
2384      // Emit an attribute using the defined form.
2385      Values[i]->EmitValue(this, Form);
2386      break;
2387    }
2388
2389    Asm->EOL(dwarf::AttributeString(Attr));
2390  }
2391
2392  // Emit the DIE children if any.
2393  if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2394    const std::vector<DIE *> &Children = Die->getChildren();
2395
2396    for (unsigned j = 0, M = Children.size(); j < M; ++j)
2397      EmitDIE(Children[j]);
2398
2399    Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2400  }
2401}
2402
2403/// EmitDebugInfo / EmitDebugInfoPerCU - Emit the debug info section.
2404///
2405void DwarfDebug::EmitDebugInfoPerCU(CompileUnit *Unit) {
2406  DIE *Die = Unit->getDie();
2407
2408  // Emit the compile units header.
2409  EmitLabel("info_begin", Unit->getID());
2410
2411  // Emit size of content not including length itself
2412  unsigned ContentSize = Die->getSize() +
2413    sizeof(int16_t) + // DWARF version number
2414    sizeof(int32_t) + // Offset Into Abbrev. Section
2415    sizeof(int8_t) +  // Pointer Size (in bytes)
2416    sizeof(int32_t);  // FIXME - extra pad for gdb bug.
2417
2418  Asm->EmitInt32(ContentSize);  Asm->EOL("Length of Compilation Unit Info");
2419  Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2420  EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2421  Asm->EOL("Offset Into Abbrev. Section");
2422  Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2423
2424  EmitDIE(Die);
2425  // FIXME - extra padding for gdb bug.
2426  Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2427  Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2428  Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2429  Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2430  EmitLabel("info_end", Unit->getID());
2431
2432  Asm->EOL();
2433}
2434
2435void DwarfDebug::EmitDebugInfo() {
2436  // Start debug info section.
2437  Asm->OutStreamer.SwitchSection(
2438                            Asm->getObjFileLowering().getDwarfInfoSection());
2439
2440  EmitDebugInfoPerCU(ModuleCU);
2441}
2442
2443/// EmitAbbreviations - Emit the abbreviation section.
2444///
2445void DwarfDebug::EmitAbbreviations() const {
2446  // Check to see if it is worth the effort.
2447  if (!Abbreviations.empty()) {
2448    // Start the debug abbrev section.
2449    Asm->OutStreamer.SwitchSection(
2450                            Asm->getObjFileLowering().getDwarfAbbrevSection());
2451
2452    EmitLabel("abbrev_begin", 0);
2453
2454    // For each abbrevation.
2455    for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2456      // Get abbreviation data
2457      const DIEAbbrev *Abbrev = Abbreviations[i];
2458
2459      // Emit the abbrevations code (base 1 index.)
2460      Asm->EmitULEB128Bytes(Abbrev->getNumber());
2461      Asm->EOL("Abbreviation Code");
2462
2463      // Emit the abbreviations data.
2464      Abbrev->Emit(Asm);
2465
2466      Asm->EOL();
2467    }
2468
2469    // Mark end of abbreviations.
2470    Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2471
2472    EmitLabel("abbrev_end", 0);
2473    Asm->EOL();
2474  }
2475}
2476
2477/// EmitEndOfLineMatrix - Emit the last address of the section and the end of
2478/// the line matrix.
2479///
2480void DwarfDebug::EmitEndOfLineMatrix(unsigned SectionEnd) {
2481  // Define last address of section.
2482  Asm->EmitInt8(0); Asm->EOL("Extended Op");
2483  Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2484  Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2485  EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2486
2487  // Mark end of matrix.
2488  Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2489  Asm->EmitULEB128Bytes(1); Asm->EOL();
2490  Asm->EmitInt8(1); Asm->EOL();
2491}
2492
2493/// EmitDebugLines - Emit source line information.
2494///
2495void DwarfDebug::EmitDebugLines() {
2496  // If the target is using .loc/.file, the assembler will be emitting the
2497  // .debug_line table automatically.
2498  if (MAI->hasDotLocAndDotFile())
2499    return;
2500
2501  // Minimum line delta, thus ranging from -10..(255-10).
2502  const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2503  // Maximum line delta, thus ranging from -10..(255-10).
2504  const int MaxLineDelta = 255 + MinLineDelta;
2505
2506  // Start the dwarf line section.
2507  Asm->OutStreamer.SwitchSection(
2508                            Asm->getObjFileLowering().getDwarfLineSection());
2509
2510  // Construct the section header.
2511  EmitDifference("line_end", 0, "line_begin", 0, true);
2512  Asm->EOL("Length of Source Line Info");
2513  EmitLabel("line_begin", 0);
2514
2515  Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2516
2517  EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2518  Asm->EOL("Prolog Length");
2519  EmitLabel("line_prolog_begin", 0);
2520
2521  Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2522
2523  Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2524
2525  Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2526
2527  Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2528
2529  Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2530
2531  // Line number standard opcode encodings argument count
2532  Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2533  Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2534  Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2535  Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2536  Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2537  Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2538  Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2539  Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2540  Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2541
2542  // Emit directories.
2543  for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2544    Asm->EmitString(getSourceDirectoryName(DI));
2545    Asm->EOL("Directory");
2546  }
2547
2548  Asm->EmitInt8(0); Asm->EOL("End of directories");
2549
2550  // Emit files.
2551  for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2552    // Remember source id starts at 1.
2553    std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2554    Asm->EmitString(getSourceFileName(Id.second));
2555    Asm->EOL("Source");
2556    Asm->EmitULEB128Bytes(Id.first);
2557    Asm->EOL("Directory #");
2558    Asm->EmitULEB128Bytes(0);
2559    Asm->EOL("Mod date");
2560    Asm->EmitULEB128Bytes(0);
2561    Asm->EOL("File size");
2562  }
2563
2564  Asm->EmitInt8(0); Asm->EOL("End of files");
2565
2566  EmitLabel("line_prolog_end", 0);
2567
2568  // A sequence for each text section.
2569  unsigned SecSrcLinesSize = SectionSourceLines.size();
2570
2571  for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2572    // Isolate current sections line info.
2573    const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2574
2575    /*if (Asm->isVerbose()) {
2576      const MCSection *S = SectionMap[j + 1];
2577      O << '\t' << MAI->getCommentString() << " Section"
2578        << S->getName() << '\n';
2579    }*/
2580    Asm->EOL();
2581
2582    // Dwarf assumes we start with first line of first source file.
2583    unsigned Source = 1;
2584    unsigned Line = 1;
2585
2586    // Construct rows of the address, source, line, column matrix.
2587    for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2588      const SrcLineInfo &LineInfo = LineInfos[i];
2589      unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2590      if (!LabelID) continue;
2591
2592      if (LineInfo.getLine() == 0) continue;
2593
2594      if (!Asm->isVerbose())
2595        Asm->EOL();
2596      else {
2597        std::pair<unsigned, unsigned> SourceID =
2598          getSourceDirectoryAndFileIds(LineInfo.getSourceID());
2599        O << '\t' << MAI->getCommentString() << ' '
2600          << getSourceDirectoryName(SourceID.first) << ' '
2601          << getSourceFileName(SourceID.second)
2602          <<" :" << utostr_32(LineInfo.getLine()) << '\n';
2603      }
2604
2605      // Define the line address.
2606      Asm->EmitInt8(0); Asm->EOL("Extended Op");
2607      Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2608      Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2609      EmitReference("label",  LabelID); Asm->EOL("Location label");
2610
2611      // If change of source, then switch to the new source.
2612      if (Source != LineInfo.getSourceID()) {
2613        Source = LineInfo.getSourceID();
2614        Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2615        Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2616      }
2617
2618      // If change of line.
2619      if (Line != LineInfo.getLine()) {
2620        // Determine offset.
2621        int Offset = LineInfo.getLine() - Line;
2622        int Delta = Offset - MinLineDelta;
2623
2624        // Update line.
2625        Line = LineInfo.getLine();
2626
2627        // If delta is small enough and in range...
2628        if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2629          // ... then use fast opcode.
2630          Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2631        } else {
2632          // ... otherwise use long hand.
2633          Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2634          Asm->EOL("DW_LNS_advance_line");
2635          Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2636          Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2637        }
2638      } else {
2639        // Copy the previous row (different address or source)
2640        Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2641      }
2642    }
2643
2644    EmitEndOfLineMatrix(j + 1);
2645  }
2646
2647  if (SecSrcLinesSize == 0)
2648    // Because we're emitting a debug_line section, we still need a line
2649    // table. The linker and friends expect it to exist. If there's nothing to
2650    // put into it, emit an empty table.
2651    EmitEndOfLineMatrix(1);
2652
2653  EmitLabel("line_end", 0);
2654  Asm->EOL();
2655}
2656
2657/// EmitCommonDebugFrame - Emit common frame info into a debug frame section.
2658///
2659void DwarfDebug::EmitCommonDebugFrame() {
2660  if (!MAI->doesDwarfRequireFrameSection())
2661    return;
2662
2663  int stackGrowth =
2664    Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2665      TargetFrameInfo::StackGrowsUp ?
2666    TD->getPointerSize() : -TD->getPointerSize();
2667
2668  // Start the dwarf frame section.
2669  Asm->OutStreamer.SwitchSection(
2670                              Asm->getObjFileLowering().getDwarfFrameSection());
2671
2672  EmitLabel("debug_frame_common", 0);
2673  EmitDifference("debug_frame_common_end", 0,
2674                 "debug_frame_common_begin", 0, true);
2675  Asm->EOL("Length of Common Information Entry");
2676
2677  EmitLabel("debug_frame_common_begin", 0);
2678  Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2679  Asm->EOL("CIE Identifier Tag");
2680  Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2681  Asm->EOL("CIE Version");
2682  Asm->EmitString("");
2683  Asm->EOL("CIE Augmentation");
2684  Asm->EmitULEB128Bytes(1);
2685  Asm->EOL("CIE Code Alignment Factor");
2686  Asm->EmitSLEB128Bytes(stackGrowth);
2687  Asm->EOL("CIE Data Alignment Factor");
2688  Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2689  Asm->EOL("CIE RA Column");
2690
2691  std::vector<MachineMove> Moves;
2692  RI->getInitialFrameState(Moves);
2693
2694  EmitFrameMoves(NULL, 0, Moves, false);
2695
2696  Asm->EmitAlignment(2, 0, 0, false);
2697  EmitLabel("debug_frame_common_end", 0);
2698
2699  Asm->EOL();
2700}
2701
2702/// EmitFunctionDebugFrame - Emit per function frame info into a debug frame
2703/// section.
2704void
2705DwarfDebug::EmitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
2706  if (!MAI->doesDwarfRequireFrameSection())
2707    return;
2708
2709  // Start the dwarf frame section.
2710  Asm->OutStreamer.SwitchSection(
2711                              Asm->getObjFileLowering().getDwarfFrameSection());
2712
2713  EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2714                 "debug_frame_begin", DebugFrameInfo.Number, true);
2715  Asm->EOL("Length of Frame Information Entry");
2716
2717  EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2718
2719  EmitSectionOffset("debug_frame_common", "section_debug_frame",
2720                    0, 0, true, false);
2721  Asm->EOL("FDE CIE offset");
2722
2723  EmitReference("func_begin", DebugFrameInfo.Number);
2724  Asm->EOL("FDE initial location");
2725  EmitDifference("func_end", DebugFrameInfo.Number,
2726                 "func_begin", DebugFrameInfo.Number);
2727  Asm->EOL("FDE address range");
2728
2729  EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2730                 false);
2731
2732  Asm->EmitAlignment(2, 0, 0, false);
2733  EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2734
2735  Asm->EOL();
2736}
2737
2738void DwarfDebug::EmitDebugPubNamesPerCU(CompileUnit *Unit) {
2739  EmitDifference("pubnames_end", Unit->getID(),
2740                 "pubnames_begin", Unit->getID(), true);
2741  Asm->EOL("Length of Public Names Info");
2742
2743  EmitLabel("pubnames_begin", Unit->getID());
2744
2745  Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2746
2747  EmitSectionOffset("info_begin", "section_info",
2748                    Unit->getID(), 0, true, false);
2749  Asm->EOL("Offset of Compilation Unit Info");
2750
2751  EmitDifference("info_end", Unit->getID(), "info_begin", Unit->getID(),
2752                 true);
2753  Asm->EOL("Compilation Unit Length");
2754
2755  StringMap<DIE*> &Globals = Unit->getGlobals();
2756  for (StringMap<DIE*>::const_iterator
2757         GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2758    const char *Name = GI->getKeyData();
2759    DIE * Entity = GI->second;
2760
2761    Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2762    Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2763  }
2764
2765  Asm->EmitInt32(0); Asm->EOL("End Mark");
2766  EmitLabel("pubnames_end", Unit->getID());
2767
2768  Asm->EOL();
2769}
2770
2771/// EmitDebugPubNames - Emit visible names into a debug pubnames section.
2772///
2773void DwarfDebug::EmitDebugPubNames() {
2774  // Start the dwarf pubnames section.
2775  Asm->OutStreamer.SwitchSection(
2776                          Asm->getObjFileLowering().getDwarfPubNamesSection());
2777
2778  EmitDebugPubNamesPerCU(ModuleCU);
2779}
2780
2781/// EmitDebugStr - Emit visible names into a debug str section.
2782///
2783void DwarfDebug::EmitDebugStr() {
2784  // Check to see if it is worth the effort.
2785  if (!StringPool.empty()) {
2786    // Start the dwarf str section.
2787    Asm->OutStreamer.SwitchSection(
2788                                Asm->getObjFileLowering().getDwarfStrSection());
2789
2790    // For each of strings in the string pool.
2791    for (unsigned StringID = 1, N = StringPool.size();
2792         StringID <= N; ++StringID) {
2793      // Emit a label for reference from debug information entries.
2794      EmitLabel("string", StringID);
2795
2796      // Emit the string itself.
2797      const std::string &String = StringPool[StringID];
2798      Asm->EmitString(String); Asm->EOL();
2799    }
2800
2801    Asm->EOL();
2802  }
2803}
2804
2805/// EmitDebugLoc - Emit visible names into a debug loc section.
2806///
2807void DwarfDebug::EmitDebugLoc() {
2808  // Start the dwarf loc section.
2809  Asm->OutStreamer.SwitchSection(
2810                              Asm->getObjFileLowering().getDwarfLocSection());
2811  Asm->EOL();
2812}
2813
2814/// EmitDebugARanges - Emit visible names into a debug aranges section.
2815///
2816void DwarfDebug::EmitDebugARanges() {
2817  // Start the dwarf aranges section.
2818  Asm->OutStreamer.SwitchSection(
2819                          Asm->getObjFileLowering().getDwarfARangesSection());
2820
2821  // FIXME - Mock up
2822#if 0
2823  CompileUnit *Unit = GetBaseCompileUnit();
2824
2825  // Don't include size of length
2826  Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2827
2828  Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2829
2830  EmitReference("info_begin", Unit->getID());
2831  Asm->EOL("Offset of Compilation Unit Info");
2832
2833  Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2834
2835  Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2836
2837  Asm->EmitInt16(0);  Asm->EOL("Pad (1)");
2838  Asm->EmitInt16(0);  Asm->EOL("Pad (2)");
2839
2840  // Range 1
2841  EmitReference("text_begin", 0); Asm->EOL("Address");
2842  EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2843
2844  Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2845  Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2846#endif
2847
2848  Asm->EOL();
2849}
2850
2851/// EmitDebugRanges - Emit visible names into a debug ranges section.
2852///
2853void DwarfDebug::EmitDebugRanges() {
2854  // Start the dwarf ranges section.
2855  Asm->OutStreamer.SwitchSection(
2856                            Asm->getObjFileLowering().getDwarfRangesSection());
2857  Asm->EOL();
2858}
2859
2860/// EmitDebugMacInfo - Emit visible names into a debug macinfo section.
2861///
2862void DwarfDebug::EmitDebugMacInfo() {
2863  if (const MCSection *LineInfo =
2864      Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
2865    // Start the dwarf macinfo section.
2866    Asm->OutStreamer.SwitchSection(LineInfo);
2867    Asm->EOL();
2868  }
2869}
2870
2871/// EmitDebugInlineInfo - Emit inline info using following format.
2872/// Section Header:
2873/// 1. length of section
2874/// 2. Dwarf version number
2875/// 3. address size.
2876///
2877/// Entries (one "entry" for each function that was inlined):
2878///
2879/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2880///   otherwise offset into __debug_str for regular function name.
2881/// 2. offset into __debug_str section for regular function name.
2882/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2883/// instances for the function.
2884///
2885/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2886/// inlined instance; the die_offset points to the inlined_subroutine die in the
2887/// __debug_info section, and the low_pc is the starting address for the
2888/// inlining instance.
2889void DwarfDebug::EmitDebugInlineInfo() {
2890  if (!MAI->doesDwarfUsesInlineInfoSection())
2891    return;
2892
2893  if (!ModuleCU)
2894    return;
2895
2896  Asm->OutStreamer.SwitchSection(
2897                        Asm->getObjFileLowering().getDwarfDebugInlineSection());
2898  Asm->EOL();
2899  EmitDifference("debug_inlined_end", 1,
2900                 "debug_inlined_begin", 1, true);
2901  Asm->EOL("Length of Debug Inlined Information Entry");
2902
2903  EmitLabel("debug_inlined_begin", 1);
2904
2905  Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2906  Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2907
2908  for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2909         E = InlinedSPNodes.end(); I != E; ++I) {
2910
2911//  for (ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
2912    //        I = InlineInfo.begin(), E = InlineInfo.end(); I != E; ++I) {
2913    MDNode *Node = *I;
2914    ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II = InlineInfo.find(Node);
2915    SmallVector<InlineInfoLabels, 4> &Labels = II->second;
2916    DISubprogram SP(Node);
2917    const char *LName = SP.getLinkageName();
2918    const char *Name = SP.getName();
2919
2920    if (!LName)
2921      Asm->EmitString(Name);
2922    else {
2923      // Skip special LLVM prefix that is used to inform the asm printer to not
2924      // emit usual symbol prefix before the symbol name. This happens for
2925      // Objective-C symbol names and symbol whose name is replaced using GCC's
2926      // __asm__ attribute.
2927      if (LName[0] == 1)
2928        LName = &LName[1];
2929//      Asm->EmitString(LName);
2930      EmitSectionOffset("string", "section_str",
2931                        StringPool.idFor(LName), false, true);
2932
2933    }
2934    Asm->EOL("MIPS linkage name");
2935//    Asm->EmitString(Name);
2936    EmitSectionOffset("string", "section_str",
2937                      StringPool.idFor(Name), false, true);
2938    Asm->EOL("Function name");
2939    Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2940
2941    for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
2942           LE = Labels.end(); LI != LE; ++LI) {
2943      DIE *SP = LI->second;
2944      Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2945
2946      if (TD->getPointerSize() == sizeof(int32_t))
2947        O << MAI->getData32bitsDirective();
2948      else
2949        O << MAI->getData64bitsDirective();
2950
2951      PrintLabelName("label", LI->first); Asm->EOL("low_pc");
2952    }
2953  }
2954
2955  EmitLabel("debug_inlined_end", 1);
2956  Asm->EOL();
2957}
2958