blob: b9910c35bad8cfee07c8230e358fb83ca2bea056 [file] [log] [blame]
Bill Wendling2f921f82009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
Devang Patel80ae3492009-08-28 23:24:31 +000013#define DEBUG_TYPE "dwarfdebug"
Bill Wendling2f921f82009-05-15 09:23:25 +000014#include "DwarfDebug.h"
15#include "llvm/Module.h"
David Greene829b3e82009-08-19 21:52:55 +000016#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000017#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000018#include "llvm/MC/MCSection.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000019#include "llvm/MC/MCStreamer.h"
Chris Lattner7b26fce2009-08-22 20:48:53 +000020#include "llvm/MC/MCAsmInfo.h"
Chris Lattnerf62e3ee2010-01-16 21:57:06 +000021#include "llvm/Target/Mangler.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000022#include "llvm/Target/TargetData.h"
23#include "llvm/Target/TargetFrameInfo.h"
Chris Lattner5e693ed2009-07-28 03:13:23 +000024#include "llvm/Target/TargetLoweringObjectFile.h"
25#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner06fa1762009-08-24 03:52:50 +000026#include "llvm/ADT/StringExtras.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000027#include "llvm/Support/Debug.h"
28#include "llvm/Support/ErrorHandling.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000029#include "llvm/Support/Timer.h"
30#include "llvm/System/Path.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000031using namespace llvm;
32
Bill Wendling2f921f82009-05-15 09:23:25 +000033//===----------------------------------------------------------------------===//
34
35/// Configuration values for initial hash set sizes (log2).
36///
Bill Wendling2f921f82009-05-15 09:23:25 +000037static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-05-15 09:23:25 +000038
39namespace llvm {
40
41//===----------------------------------------------------------------------===//
42/// CompileUnit - This dwarf writer support class manages information associate
43/// with a source file.
Nick Lewyckyb7993d62009-11-17 08:11:44 +000044class CompileUnit {
Bill Wendling2f921f82009-05-15 09:23:25 +000045 /// ID - File identifier for source.
46 ///
47 unsigned ID;
48
49 /// Die - Compile unit debug information entry.
50 ///
Devang Patel930143b2009-11-21 02:48:08 +000051 DIE *CUDie;
Bill Wendling2f921f82009-05-15 09:23:25 +000052
Devang Patel92e8c652009-11-21 00:31:03 +000053 /// IndexTyDie - An anonymous type for index type.
54 DIE *IndexTyDie;
55
Bill Wendling2f921f82009-05-15 09:23:25 +000056 /// GVToDieMap - Tracks the mapping of unit level debug informaton
57 /// variables to debug information entries.
Devang Patel80ae3492009-08-28 23:24:31 +000058 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel018b29b2010-01-19 06:19:05 +000059 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000060
61 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
62 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel80ae3492009-08-28 23:24:31 +000063 /// FIXME : Rename
Devang Patel018b29b2010-01-19 06:19:05 +000064 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000065
66 /// Globals - A map of globally visible named entities for this unit.
67 ///
68 StringMap<DIE*> Globals;
69
Devang Patel04d2f2d2009-11-24 01:14:22 +000070 /// GlobalTypes - A map of globally visible types for this unit.
71 ///
72 StringMap<DIE*> GlobalTypes;
73
Bill Wendling2f921f82009-05-15 09:23:25 +000074public:
75 CompileUnit(unsigned I, DIE *D)
Devang Patel930143b2009-11-21 02:48:08 +000076 : ID(I), CUDie(D), IndexTyDie(0) {}
77 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendling2f921f82009-05-15 09:23:25 +000078
79 // Accessors.
Devang Patel04d2f2d2009-11-24 01:14:22 +000080 unsigned getID() const { return ID; }
81 DIE* getCUDie() const { return CUDie; }
82 const StringMap<DIE*> &getGlobals() const { return Globals; }
83 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling2f921f82009-05-15 09:23:25 +000084
85 /// hasContent - Return true if this compile unit has something to write out.
86 ///
Devang Patel930143b2009-11-21 02:48:08 +000087 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling2f921f82009-05-15 09:23:25 +000088
Devang Patel930143b2009-11-21 02:48:08 +000089 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +000090 ///
Devang Patel930143b2009-11-21 02:48:08 +000091 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling2f921f82009-05-15 09:23:25 +000092
Devang Patel04d2f2d2009-11-24 01:14:22 +000093 /// addGlobalType - Add a new global type to the compile unit.
94 ///
95 void addGlobalType(const std::string &Name, DIE *Die) {
96 GlobalTypes[Name] = Die;
97 }
98
Devang Patele064ad42009-11-20 21:37:22 +000099 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling2f921f82009-05-15 09:23:25 +0000100 /// specified debug variable.
Devang Patele064ad42009-11-20 21:37:22 +0000101 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach042483e2009-11-21 23:12:12 +0000102
Devang Patele064ad42009-11-20 21:37:22 +0000103 /// insertDIE - Insert DIE into the map.
104 void insertDIE(MDNode *N, DIE *D) {
105 GVToDieMap.insert(std::make_pair(N, D));
106 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000107
Devang Patele064ad42009-11-20 21:37:22 +0000108 /// getDIEEntry - Returns the debug information entry for the speciefied
109 /// debug variable.
Devang Patel1f4690c2009-12-15 19:16:48 +0000110 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel018b29b2010-01-19 06:19:05 +0000111 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel1f4690c2009-12-15 19:16:48 +0000112 if (I == GVToDIEEntryMap.end())
113 return NULL;
114 return I->second;
115 }
Devang Patele064ad42009-11-20 21:37:22 +0000116
117 /// insertDIEEntry - Insert debug information entry into the map.
118 void insertDIEEntry(MDNode *N, DIEEntry *E) {
119 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling2f921f82009-05-15 09:23:25 +0000120 }
121
Devang Patel930143b2009-11-21 02:48:08 +0000122 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +0000123 ///
Devang Patel930143b2009-11-21 02:48:08 +0000124 void addDie(DIE *Buffer) {
125 this->CUDie->addChild(Buffer);
Bill Wendling2f921f82009-05-15 09:23:25 +0000126 }
Devang Patel92e8c652009-11-21 00:31:03 +0000127
128 // getIndexTyDie - Get an anonymous type for index type.
129 DIE *getIndexTyDie() {
130 return IndexTyDie;
131 }
132
Jim Grosbach00e9c612009-11-22 19:20:36 +0000133 // setIndexTyDie - Set D as anonymous type for index which can be reused
134 // later.
Devang Patel92e8c652009-11-21 00:31:03 +0000135 void setIndexTyDie(DIE *D) {
136 IndexTyDie = D;
137 }
138
Bill Wendling2f921f82009-05-15 09:23:25 +0000139};
140
141//===----------------------------------------------------------------------===//
142/// DbgVariable - This class is used to track local variable information.
143///
Devang Patelf3d7c082009-11-16 21:53:40 +0000144class DbgVariable {
Bill Wendling2f921f82009-05-15 09:23:25 +0000145 DIVariable Var; // Variable Descriptor.
146 unsigned FrameIndex; // Variable frame index.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000147 DbgVariable *AbstractVar; // Abstract variable for this variable.
148 DIE *TheDIE;
Bill Wendling2f921f82009-05-15 09:23:25 +0000149public:
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000150 DbgVariable(DIVariable V, unsigned I)
151 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000152
153 // Accessors.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000154 DIVariable getVariable() const { return Var; }
155 unsigned getFrameIndex() const { return FrameIndex; }
156 void setAbstractVariable(DbgVariable *V) { AbstractVar = V; }
157 DbgVariable *getAbstractVariable() const { return AbstractVar; }
158 void setDIE(DIE *D) { TheDIE = D; }
159 DIE *getDIE() const { return TheDIE; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000160};
161
162//===----------------------------------------------------------------------===//
163/// DbgScope - This class is used to track scope information.
164///
Devang Patelf3d7c082009-11-16 21:53:40 +0000165class DbgScope {
Bill Wendling2f921f82009-05-15 09:23:25 +0000166 DbgScope *Parent; // Parent to this scope.
Jim Grosbach042483e2009-11-21 23:12:12 +0000167 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel814b7e72010-01-16 06:17:40 +0000168 MDNode * InlinedAtLocation; // Location at which scope is inlined.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000169 bool AbstractScope; // Abstract Scope
Bill Wendling2f921f82009-05-15 09:23:25 +0000170 unsigned StartLabelID; // Label ID of the beginning of scope.
171 unsigned EndLabelID; // Label ID of the end of scope.
Devang Patel787f94c2009-10-01 18:25:23 +0000172 const MachineInstr *LastInsn; // Last instruction of this scope.
173 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000174 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
175 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000176
Owen Anderson9becc182009-06-24 22:53:20 +0000177 // Private state for dump()
178 mutable unsigned IndentLevel;
Bill Wendling2f921f82009-05-15 09:23:25 +0000179public:
Devang Patel6875c5eb2009-10-14 21:08:09 +0000180 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000181 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach042483e2009-11-21 23:12:12 +0000182 StartLabelID(0), EndLabelID(0),
Devang Patel6875c5eb2009-10-14 21:08:09 +0000183 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000184 virtual ~DbgScope();
185
186 // Accessors.
187 DbgScope *getParent() const { return Parent; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000188 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000189 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach042483e2009-11-21 23:12:12 +0000190 MDNode *getInlinedAt() const {
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000191 return dyn_cast_or_null<MDNode>(InlinedAtLocation);
Devang Patel6875c5eb2009-10-14 21:08:09 +0000192 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000193 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000194 unsigned getStartLabelID() const { return StartLabelID; }
195 unsigned getEndLabelID() const { return EndLabelID; }
196 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
197 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000198 void setStartLabelID(unsigned S) { StartLabelID = S; }
199 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Patel787f94c2009-10-01 18:25:23 +0000200 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
201 const MachineInstr *getLastInsn() { return LastInsn; }
202 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000203 void setAbstractScope() { AbstractScope = true; }
204 bool isAbstractScope() const { return AbstractScope; }
Devang Patel787f94c2009-10-01 18:25:23 +0000205 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000206
Devang Patel930143b2009-11-21 02:48:08 +0000207 /// addScope - Add a scope to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000208 ///
Devang Patel930143b2009-11-21 02:48:08 +0000209 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000210
Devang Patel930143b2009-11-21 02:48:08 +0000211 /// addVariable - Add a variable to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000212 ///
Devang Patel930143b2009-11-21 02:48:08 +0000213 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000214
Devang Patel530a0752010-01-04 20:44:00 +0000215 void fixInstructionMarkers(DenseMap<const MachineInstr *,
216 unsigned> &MIIndexMap) {
Devang Patel75cc16c2009-10-01 20:31:14 +0000217 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel530a0752010-01-04 20:44:00 +0000218
219 // Use the end of last child scope as end of this scope.
Devang Patel75cc16c2009-10-01 20:31:14 +0000220 SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Pateld146e2e2010-01-05 16:59:17 +0000221 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel530a0752010-01-04 20:44:00 +0000222 unsigned LIndex = 0;
223 if (Scopes.empty()) {
224 assert (getLastInsn() && "Inner most scope does not have last insn!");
225 return;
226 }
227 for (SmallVector<DbgScope *, 4>::iterator SI = Scopes.begin(),
228 SE = Scopes.end(); SI != SE; ++SI) {
229 DbgScope *DS = *SI;
230 DS->fixInstructionMarkers(MIIndexMap);
231 const MachineInstr *DSLastInsn = DS->getLastInsn();
232 unsigned DSI = MIIndexMap[DSLastInsn];
233 if (DSI > LIndex) {
234 LastInsn = DSLastInsn;
235 LIndex = DSI;
236 }
237 }
238 setLastInsn(LastInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +0000239 }
240
Bill Wendling2f921f82009-05-15 09:23:25 +0000241#ifndef NDEBUG
242 void dump() const;
243#endif
244};
245
246#ifndef NDEBUG
247void DbgScope::dump() const {
David Greenec230cb92009-12-24 00:31:35 +0000248 raw_ostream &err = dbgs();
Chris Lattner81e8e022009-08-23 00:51:00 +0000249 err.indent(IndentLevel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000250 MDNode *N = Desc.getNode();
251 N->dump();
Chris Lattner81e8e022009-08-23 00:51:00 +0000252 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000253 if (AbstractScope)
254 err << "Abstract Scope\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000255
256 IndentLevel += 2;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000257 if (!Scopes.empty())
258 err << "Children ...\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000259 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
260 if (Scopes[i] != this)
261 Scopes[i]->dump();
262
263 IndentLevel -= 2;
264}
265#endif
266
Bill Wendling2f921f82009-05-15 09:23:25 +0000267DbgScope::~DbgScope() {
268 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
269 delete Scopes[i];
270 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
271 delete Variables[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000272}
273
274} // end llvm namespace
275
Chris Lattner7b26fce2009-08-22 20:48:53 +0000276DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Devang Patel40d78412009-06-29 20:45:18 +0000277 : Dwarf(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendling2f921f82009-05-15 09:23:25 +0000278 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patel930143b2009-11-21 02:48:08 +0000279 DIEValues(), StringPool(),
Bill Wendling2f921f82009-05-15 09:23:25 +0000280 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000281 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000282 if (TimePassesIsEnabled)
Chris Lattnerf81add32009-12-28 07:41:18 +0000283 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling2f921f82009-05-15 09:23:25 +0000284}
285DwarfDebug::~DwarfDebug() {
Devang Patel930143b2009-11-21 02:48:08 +0000286 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
287 delete DIEValues[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000288
Bill Wendling2f921f82009-05-15 09:23:25 +0000289 delete DebugTimer;
290}
291
Devang Patel930143b2009-11-21 02:48:08 +0000292/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling2f921f82009-05-15 09:23:25 +0000293///
Devang Patel930143b2009-11-21 02:48:08 +0000294void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000295 // Profile the node so that we can make it unique.
296 FoldingSetNodeID ID;
297 Abbrev.Profile(ID);
298
299 // Check the set for priors.
300 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
301
302 // If it's newly added.
303 if (InSet == &Abbrev) {
304 // Add to abbreviation list.
305 Abbreviations.push_back(&Abbrev);
306
307 // Assign the vector position + 1 as its number.
308 Abbrev.setNumber(Abbreviations.size());
309 } else {
310 // Assign existing abbreviation number.
311 Abbrev.setNumber(InSet->getNumber());
312 }
313}
314
Devang Patel930143b2009-11-21 02:48:08 +0000315/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendlingbcad77a2009-05-20 23:24:48 +0000316/// information entry.
Devang Patel930143b2009-11-21 02:48:08 +0000317DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel92e8c652009-11-21 00:31:03 +0000318 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel930143b2009-11-21 02:48:08 +0000319 DIEValues.push_back(Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000320 return Value;
321}
322
Devang Patel930143b2009-11-21 02:48:08 +0000323/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000324///
Devang Patel930143b2009-11-21 02:48:08 +0000325void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000326 unsigned Form, uint64_t Integer) {
327 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel92e8c652009-11-21 00:31:03 +0000328 DIEValue *Value = new DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000329 DIEValues.push_back(Value);
330 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000331}
332
Devang Patel930143b2009-11-21 02:48:08 +0000333/// addSInt - Add an signed integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000334///
Devang Patel930143b2009-11-21 02:48:08 +0000335void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000336 unsigned Form, int64_t Integer) {
337 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel92e8c652009-11-21 00:31:03 +0000338 DIEValue *Value = new DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000339 DIEValues.push_back(Value);
340 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000341}
342
Devang Patel8c339592009-12-02 15:25:16 +0000343/// addString - Add a string attribute data and value. DIEString only
344/// keeps string reference.
Devang Patel930143b2009-11-21 02:48:08 +0000345void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Devang Patelb3e01682009-11-24 19:42:17 +0000346 const StringRef String) {
Devang Patel92e8c652009-11-21 00:31:03 +0000347 DIEValue *Value = new DIEString(String);
Devang Patel930143b2009-11-21 02:48:08 +0000348 DIEValues.push_back(Value);
349 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000350}
351
Devang Patel930143b2009-11-21 02:48:08 +0000352/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000353///
Devang Patel930143b2009-11-21 02:48:08 +0000354void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000355 const DWLabel &Label) {
Devang Patel92e8c652009-11-21 00:31:03 +0000356 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patel930143b2009-11-21 02:48:08 +0000357 DIEValues.push_back(Value);
358 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000359}
360
Devang Patel930143b2009-11-21 02:48:08 +0000361/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000362///
Devang Patel930143b2009-11-21 02:48:08 +0000363void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner06d45f62010-01-16 18:50:28 +0000364 const MCSymbol *Sym) {
365 DIEValue *Value = new DIEObjectLabel(Sym);
Devang Patel930143b2009-11-21 02:48:08 +0000366 DIEValues.push_back(Value);
367 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000368}
369
Devang Patel930143b2009-11-21 02:48:08 +0000370/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000371///
Devang Patel930143b2009-11-21 02:48:08 +0000372void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000373 const DWLabel &Label, const DWLabel &Section,
374 bool isEH, bool useSet) {
Devang Patel92e8c652009-11-21 00:31:03 +0000375 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patel930143b2009-11-21 02:48:08 +0000376 DIEValues.push_back(Value);
377 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000378}
379
Devang Patel930143b2009-11-21 02:48:08 +0000380/// addDelta - Add a label delta attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000381///
Devang Patel930143b2009-11-21 02:48:08 +0000382void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000383 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel92e8c652009-11-21 00:31:03 +0000384 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel930143b2009-11-21 02:48:08 +0000385 DIEValues.push_back(Value);
386 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000387}
388
Devang Patel930143b2009-11-21 02:48:08 +0000389/// addBlock - Add block data.
Bill Wendling2f921f82009-05-15 09:23:25 +0000390///
Devang Patel930143b2009-11-21 02:48:08 +0000391void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000392 DIEBlock *Block) {
393 Block->ComputeSize(TD);
Devang Patel930143b2009-11-21 02:48:08 +0000394 DIEValues.push_back(Block);
395 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000396}
397
Devang Patel930143b2009-11-21 02:48:08 +0000398/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000399/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000400void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000401 // If there is no compile unit specified, don't add a line #.
402 if (V->getCompileUnit().isNull())
403 return;
404
405 unsigned Line = V->getLineNumber();
Devang Patelb314bd62009-12-11 21:37:07 +0000406 unsigned FileID = findCompileUnit(V->getCompileUnit())->getID();
Bill Wendling2f921f82009-05-15 09:23:25 +0000407 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000408 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
409 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000410}
411
Devang Patel930143b2009-11-21 02:48:08 +0000412/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000413/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000414void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000415 // If there is no compile unit specified, don't add a line #.
416 if (G->getCompileUnit().isNull())
417 return;
418
419 unsigned Line = G->getLineNumber();
Devang Patelb314bd62009-12-11 21:37:07 +0000420 unsigned FileID = findCompileUnit(G->getCompileUnit())->getID();
Bill Wendling2f921f82009-05-15 09:23:25 +0000421 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000422 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
423 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000424}
Devang Patelb2de5fa2009-08-31 22:47:13 +0000425
Devang Patel930143b2009-11-21 02:48:08 +0000426/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000427/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000428void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patelb2de5fa2009-08-31 22:47:13 +0000429 // If there is no compile unit specified, don't add a line #.
430 if (SP->getCompileUnit().isNull())
431 return;
Caroline Tice183a5192009-09-11 18:25:54 +0000432 // If the line number is 0, don't add it.
433 if (SP->getLineNumber() == 0)
434 return;
435
Devang Patelb2de5fa2009-08-31 22:47:13 +0000436
437 unsigned Line = SP->getLineNumber();
Devang Patelb314bd62009-12-11 21:37:07 +0000438 unsigned FileID = findCompileUnit(SP->getCompileUnit())->getID();
Devang Patelb2de5fa2009-08-31 22:47:13 +0000439 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000440 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
441 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patelb2de5fa2009-08-31 22:47:13 +0000442}
443
Devang Patel930143b2009-11-21 02:48:08 +0000444/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000445/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000446void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000447 // If there is no compile unit specified, don't add a line #.
448 DICompileUnit CU = Ty->getCompileUnit();
449 if (CU.isNull())
450 return;
451
452 unsigned Line = Ty->getLineNumber();
Devang Patelb314bd62009-12-11 21:37:07 +0000453 unsigned FileID = findCompileUnit(CU)->getID();
Bill Wendling2f921f82009-05-15 09:23:25 +0000454 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000455 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
456 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000457}
458
Devang Patel1f4690c2009-12-15 19:16:48 +0000459/// addSourceLine - Add location information to specified debug information
460/// entry.
461void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
462 // If there is no compile unit specified, don't add a line #.
463 if (NS->getCompileUnit().isNull())
464 return;
465
466 unsigned Line = NS->getLineNumber();
467 StringRef FN = NS->getFilename();
468 StringRef Dir = NS->getDirectory();
469
470 unsigned FileID = GetOrCreateSourceID(Dir, FN);
471 assert(FileID && "Invalid file id");
472 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
473 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
474}
475
Caroline Ticec87c1e22009-08-31 21:19:37 +0000476/* Byref variables, in Blocks, are declared by the programmer as
477 "SomeType VarName;", but the compiler creates a
478 __Block_byref_x_VarName struct, and gives the variable VarName
479 either the struct, or a pointer to the struct, as its type. This
480 is necessary for various behind-the-scenes things the compiler
481 needs to do with by-reference variables in blocks.
482
483 However, as far as the original *programmer* is concerned, the
484 variable should still have type 'SomeType', as originally declared.
485
486 The following function dives into the __Block_byref_x_VarName
487 struct to find the original type of the variable. This will be
488 passed back to the code generating the type for the Debug
489 Information Entry for the variable 'VarName'. 'VarName' will then
490 have the original type 'SomeType' in its debug information.
491
492 The original type 'SomeType' will be the type of the field named
493 'VarName' inside the __Block_byref_x_VarName struct.
494
495 NOTE: In order for this to not completely fail on the debugger
496 side, the Debug Information Entry for the variable VarName needs to
497 have a DW_AT_location that tells the debugger how to unwind through
498 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel930143b2009-11-21 02:48:08 +0000499 value of the variable. The function addBlockByrefType does this. */
Caroline Ticec87c1e22009-08-31 21:19:37 +0000500
501/// Find the type the programmer originally declared the variable to be
502/// and return that type.
503///
Devang Patel930143b2009-11-21 02:48:08 +0000504DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticec87c1e22009-08-31 21:19:37 +0000505
506 DIType subType = Ty;
507 unsigned tag = Ty.getTag();
508
509 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump14cf8ec2009-09-30 00:08:22 +0000510 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000511 subType = DTy.getTypeDerivedFrom();
512 }
513
514 DICompositeType blockStruct = DICompositeType(subType.getNode());
515
516 DIArray Elements = blockStruct.getTypeArray();
517
518 if (Elements.isNull())
519 return Ty;
520
521 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
522 DIDescriptor Element = Elements.getElement(i);
523 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel2d9caf92009-11-25 17:36:49 +0000524 if (Name == DT.getName())
Caroline Ticec87c1e22009-08-31 21:19:37 +0000525 return (DT.getTypeDerivedFrom());
526 }
527
528 return Ty;
529}
530
Devang Patel930143b2009-11-21 02:48:08 +0000531/// addComplexAddress - Start with the address based on the location provided,
Mike Stump14cf8ec2009-09-30 00:08:22 +0000532/// and generate the DWARF information necessary to find the actual variable
533/// given the extra address information encoded in the DIVariable, starting from
534/// the starting location. Add the DWARF information to the die.
535///
Devang Patel930143b2009-11-21 02:48:08 +0000536void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump14cf8ec2009-09-30 00:08:22 +0000537 unsigned Attribute,
538 const MachineLocation &Location) {
539 const DIVariable &VD = DV->getVariable();
540 DIType Ty = VD.getType();
541
542 // Decode the original location, and use that as the start of the byref
543 // variable's location.
544 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
545 DIEBlock *Block = new DIEBlock();
546
547 if (Location.isReg()) {
548 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000549 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000550 } else {
551 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-11-21 02:48:08 +0000552 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
553 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000554 }
555 } else {
556 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000557 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000558 else {
Devang Patel930143b2009-11-21 02:48:08 +0000559 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
560 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000561 }
562
Devang Patel930143b2009-11-21 02:48:08 +0000563 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump14cf8ec2009-09-30 00:08:22 +0000564 }
565
566 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
567 uint64_t Element = VD.getAddrElement(i);
568
569 if (Element == DIFactory::OpPlus) {
Devang Patel930143b2009-11-21 02:48:08 +0000570 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
571 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump14cf8ec2009-09-30 00:08:22 +0000572 } else if (Element == DIFactory::OpDeref) {
Devang Patel930143b2009-11-21 02:48:08 +0000573 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000574 } else llvm_unreachable("unknown DIFactory Opcode");
575 }
576
577 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000578 addBlock(Die, Attribute, 0, Block);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000579}
580
Caroline Ticec87c1e22009-08-31 21:19:37 +0000581/* Byref variables, in Blocks, are declared by the programmer as "SomeType
582 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
583 gives the variable VarName either the struct, or a pointer to the struct, as
584 its type. This is necessary for various behind-the-scenes things the
585 compiler needs to do with by-reference variables in Blocks.
586
587 However, as far as the original *programmer* is concerned, the variable
588 should still have type 'SomeType', as originally declared.
589
Devang Patel930143b2009-11-21 02:48:08 +0000590 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000591 struct to find the original type of the variable, which is then assigned to
592 the variable's Debug Information Entry as its real type. So far, so good.
593 However now the debugger will expect the variable VarName to have the type
594 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000595 expression that explains to the debugger how to navigate through the
Caroline Ticec87c1e22009-08-31 21:19:37 +0000596 pointers and struct to find the actual variable of type SomeType.
597
598 The following function does just that. We start by getting
599 the "normal" location for the variable. This will be the location
600 of either the struct __Block_byref_x_VarName or the pointer to the
601 struct __Block_byref_x_VarName.
602
603 The struct will look something like:
604
605 struct __Block_byref_x_VarName {
606 ... <various fields>
607 struct __Block_byref_x_VarName *forwarding;
608 ... <various other fields>
609 SomeType VarName;
610 ... <maybe more fields>
611 };
612
613 If we are given the struct directly (as our starting point) we
614 need to tell the debugger to:
615
616 1). Add the offset of the forwarding field.
617
618 2). Follow that pointer to get the the real __Block_byref_x_VarName
619 struct to use (the real one may have been copied onto the heap).
620
621 3). Add the offset for the field VarName, to find the actual variable.
622
623 If we started with a pointer to the struct, then we need to
624 dereference that pointer first, before the other steps.
625 Translating this into DWARF ops, we will need to append the following
626 to the current location description for the variable:
627
628 DW_OP_deref -- optional, if we start with a pointer
629 DW_OP_plus_uconst <forward_fld_offset>
630 DW_OP_deref
631 DW_OP_plus_uconst <varName_fld_offset>
632
633 That is what this function does. */
634
Devang Patel930143b2009-11-21 02:48:08 +0000635/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticec87c1e22009-08-31 21:19:37 +0000636/// provided, and generate the DWARF information necessary to find the
637/// actual Block variable (navigating the Block struct) based on the
638/// starting location. Add the DWARF information to the die. For
639/// more information, read large comment just above here.
640///
Devang Patel930143b2009-11-21 02:48:08 +0000641void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000642 unsigned Attribute,
643 const MachineLocation &Location) {
Caroline Ticec87c1e22009-08-31 21:19:37 +0000644 const DIVariable &VD = DV->getVariable();
645 DIType Ty = VD.getType();
646 DIType TmpTy = Ty;
647 unsigned Tag = Ty.getTag();
648 bool isPointer = false;
649
Devang Patel2d9caf92009-11-25 17:36:49 +0000650 StringRef varName = VD.getName();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000651
652 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump14cf8ec2009-09-30 00:08:22 +0000653 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000654 TmpTy = DTy.getTypeDerivedFrom();
655 isPointer = true;
656 }
657
658 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
659
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000660 // Find the __forwarding field and the variable field in the __Block_byref
661 // struct.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000662 DIArray Fields = blockStruct.getTypeArray();
663 DIDescriptor varField = DIDescriptor();
664 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000665
666
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000667 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
668 DIDescriptor Element = Fields.getElement(i);
669 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel2d9caf92009-11-25 17:36:49 +0000670 StringRef fieldName = DT.getName();
671 if (fieldName == "__forwarding")
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000672 forwardingField = Element;
Devang Patel2d9caf92009-11-25 17:36:49 +0000673 else if (fieldName == varName)
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000674 varField = Element;
675 }
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000676
Mike Stump944fa252009-09-24 23:21:26 +0000677 assert(!varField.isNull() && "Can't find byref variable in Block struct");
678 assert(!forwardingField.isNull()
679 && "Can't find forwarding field in Block struct");
Caroline Ticec87c1e22009-08-31 21:19:37 +0000680
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000681 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000682 unsigned int forwardingFieldOffset =
683 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
684 unsigned int varFieldOffset =
685 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticec87c1e22009-08-31 21:19:37 +0000686
Mike Stump944fa252009-09-24 23:21:26 +0000687 // Decode the original location, and use that as the start of the byref
688 // variable's location.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000689 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
690 DIEBlock *Block = new DIEBlock();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000691
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000692 if (Location.isReg()) {
693 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000694 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000695 else {
696 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-11-21 02:48:08 +0000697 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
698 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000699 }
700 } else {
701 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000702 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000703 else {
Devang Patel930143b2009-11-21 02:48:08 +0000704 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
705 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000706 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000707
Devang Patel930143b2009-11-21 02:48:08 +0000708 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000709 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000710
Mike Stump944fa252009-09-24 23:21:26 +0000711 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000712 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000713 if (isPointer)
Devang Patel930143b2009-11-21 02:48:08 +0000714 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000715
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000716 // Next add the offset for the '__forwarding' field:
717 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
718 // adding the offset if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000719 if (forwardingFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000720 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
721 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000722 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000723
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000724 // Now dereference the __forwarding field to get to the real __Block_byref
725 // struct: DW_OP_deref.
Devang Patel930143b2009-11-21 02:48:08 +0000726 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000727
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000728 // Now that we've got the real __Block_byref... struct, add the offset
729 // for the variable's field to get to the location of the actual variable:
730 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000731 if (varFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000732 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
733 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000734 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000735
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000736 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000737 addBlock(Die, Attribute, 0, Block);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000738}
739
Devang Patel930143b2009-11-21 02:48:08 +0000740/// addAddress - Add an address attribute to a die based on the location
Bill Wendling2f921f82009-05-15 09:23:25 +0000741/// provided.
Devang Patel930143b2009-11-21 02:48:08 +0000742void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000743 const MachineLocation &Location) {
744 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
745 DIEBlock *Block = new DIEBlock();
746
747 if (Location.isReg()) {
748 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000749 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000750 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000751 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
752 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000753 }
754 } else {
755 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000756 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000757 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000758 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
759 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000760 }
761
Devang Patel930143b2009-11-21 02:48:08 +0000762 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling2f921f82009-05-15 09:23:25 +0000763 }
764
Devang Patel930143b2009-11-21 02:48:08 +0000765 addBlock(Die, Attribute, 0, Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000766}
767
Devang Patel2b75ed22009-12-10 19:14:49 +0000768/// addToContextOwner - Add Die into the list of its context owner's children.
769void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
770 if (Context.isNull())
771 ModuleCU->addDie(Die);
772 else if (Context.isType()) {
773 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
774 ContextDIE->addChild(Die);
Devang Patel1f4690c2009-12-15 19:16:48 +0000775 } else if (Context.isNameSpace()) {
776 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
777 ContextDIE->addChild(Die);
Devang Patel2b75ed22009-12-10 19:14:49 +0000778 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
779 ContextDIE->addChild(Die);
780 else
781 ModuleCU->addDie(Die);
782}
783
Devang Patelb5b60ea2009-12-10 18:05:33 +0000784/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
785/// given DIType.
786DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
787 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
788 if (TyDIE)
789 return TyDIE;
790
791 // Create new type.
792 TyDIE = new DIE(dwarf::DW_TAG_base_type);
793 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
794 if (Ty.isBasicType())
795 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
796 else if (Ty.isCompositeType())
797 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
798 else {
799 assert(Ty.isDerivedType() && "Unknown kind of DIType");
800 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
801 }
802
Devang Patel2b75ed22009-12-10 19:14:49 +0000803 addToContextOwner(TyDIE, Ty.getContext());
Devang Patelb5b60ea2009-12-10 18:05:33 +0000804 return TyDIE;
805}
806
Devang Patel930143b2009-11-21 02:48:08 +0000807/// addType - Add a new type attribute to the specified entity.
Devang Patel9ccfb642009-12-09 18:24:21 +0000808void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000809 if (Ty.isNull())
810 return;
811
812 // Check for pre-existence.
Devang Patel9ccfb642009-12-09 18:24:21 +0000813 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling2f921f82009-05-15 09:23:25 +0000814 // If it exists then use the existing value.
Devang Patel930143b2009-11-21 02:48:08 +0000815 if (Entry) {
816 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000817 return;
818 }
819
820 // Set up proxy.
Devang Patel930143b2009-11-21 02:48:08 +0000821 Entry = createDIEEntry();
Devang Patel9ccfb642009-12-09 18:24:21 +0000822 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000823
824 // Construct type.
Devang Patelb5b60ea2009-12-10 18:05:33 +0000825 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling2f921f82009-05-15 09:23:25 +0000826
Devang Patel930143b2009-11-21 02:48:08 +0000827 Entry->setEntry(Buffer);
828 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000829}
830
Devang Patel930143b2009-11-21 02:48:08 +0000831/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000832void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000833 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000834 StringRef Name = BTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000835 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +0000836 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling2f921f82009-05-15 09:23:25 +0000837 BTy.getEncoding());
838
839 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000840 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000841 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000842 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel930143b2009-11-21 02:48:08 +0000843 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000844}
845
Devang Patel930143b2009-11-21 02:48:08 +0000846/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000847void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000848 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000849 StringRef Name = DTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000850 uint64_t Size = DTy.getSizeInBits() >> 3;
851 unsigned Tag = DTy.getTag();
852
853 // FIXME - Workaround for templates.
854 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
855
856 Buffer.setTag(Tag);
857
858 // Map to main type, void will not have a type.
859 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel9ccfb642009-12-09 18:24:21 +0000860 addType(&Buffer, FromTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000861
862 // Add name if not anonymous or intermediate type.
Devang Patelae466ef2009-11-30 23:56:56 +0000863 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000864 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000865
866 // Add size if non-zero (derived types might be zero-sized.)
867 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000868 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000869
870 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb5b51592009-11-23 18:43:37 +0000871 if (!DTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000872 addSourceLine(&Buffer, &DTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000873}
874
Devang Patel930143b2009-11-21 02:48:08 +0000875/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000876void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000877 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000878 StringRef Name = CTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000879
880 uint64_t Size = CTy.getSizeInBits() >> 3;
881 unsigned Tag = CTy.getTag();
882 Buffer.setTag(Tag);
883
884 switch (Tag) {
885 case dwarf::DW_TAG_vector_type:
886 case dwarf::DW_TAG_array_type:
Devang Patel9ccfb642009-12-09 18:24:21 +0000887 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000888 break;
889 case dwarf::DW_TAG_enumeration_type: {
890 DIArray Elements = CTy.getTypeArray();
891
892 // Add enumerators to enumeration type.
893 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
894 DIE *ElemDie = NULL;
Devang Patel80ae3492009-08-28 23:24:31 +0000895 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelfafa1fe2009-10-09 17:51:49 +0000896 if (!Enum.isNull()) {
Devang Patel9ccfb642009-12-09 18:24:21 +0000897 ElemDie = constructEnumTypeDIE(&Enum);
Devang Patel930143b2009-11-21 02:48:08 +0000898 Buffer.addChild(ElemDie);
Devang Patelfafa1fe2009-10-09 17:51:49 +0000899 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000900 }
901 }
902 break;
903 case dwarf::DW_TAG_subroutine_type: {
904 // Add return type.
905 DIArray Elements = CTy.getTypeArray();
906 DIDescriptor RTy = Elements.getElement(0);
Devang Patel9ccfb642009-12-09 18:24:21 +0000907 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling2f921f82009-05-15 09:23:25 +0000908
909 // Add prototype flag.
Devang Patel930143b2009-11-21 02:48:08 +0000910 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000911
912 // Add arguments.
913 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
914 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
915 DIDescriptor Ty = Elements.getElement(i);
Devang Patel9ccfb642009-12-09 18:24:21 +0000916 addType(Arg, DIType(Ty.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000917 Buffer.addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000918 }
919 }
920 break;
921 case dwarf::DW_TAG_structure_type:
922 case dwarf::DW_TAG_union_type:
923 case dwarf::DW_TAG_class_type: {
924 // Add elements to structure type.
925 DIArray Elements = CTy.getTypeArray();
926
927 // A forward struct declared type may not have elements available.
928 if (Elements.isNull())
929 break;
930
931 // Add elements to structure type.
932 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
933 DIDescriptor Element = Elements.getElement(i);
Devang Patel80ae3492009-08-28 23:24:31 +0000934 if (Element.isNull())
935 continue;
Bill Wendling2f921f82009-05-15 09:23:25 +0000936 DIE *ElemDie = NULL;
937 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patel525dda02009-12-14 16:18:45 +0000938 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Bill Wendling2f921f82009-05-15 09:23:25 +0000939 else
Devang Patel9ccfb642009-12-09 18:24:21 +0000940 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000941 Buffer.addChild(ElemDie);
Bill Wendling2f921f82009-05-15 09:23:25 +0000942 }
943
Devang Patel3082c012009-08-27 23:51:51 +0000944 if (CTy.isAppleBlockExtension())
Devang Patel930143b2009-11-21 02:48:08 +0000945 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000946
947 unsigned RLang = CTy.getRunTimeLang();
948 if (RLang)
Devang Patel930143b2009-11-21 02:48:08 +0000949 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling2f921f82009-05-15 09:23:25 +0000950 dwarf::DW_FORM_data1, RLang);
951 break;
952 }
953 default:
954 break;
955 }
956
957 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000958 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000959 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000960
961 if (Tag == dwarf::DW_TAG_enumeration_type ||
962 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
963 // Add size if non-zero (derived types might be zero-sized.)
964 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000965 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000966 else {
967 // Add zero size if it is not a forward declaration.
968 if (CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000969 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000970 else
Devang Patel930143b2009-11-21 02:48:08 +0000971 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling2f921f82009-05-15 09:23:25 +0000972 }
973
974 // Add source line info if available.
975 if (!CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000976 addSourceLine(&Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000977 }
978}
979
Devang Patel930143b2009-11-21 02:48:08 +0000980/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
981void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling2f921f82009-05-15 09:23:25 +0000982 int64_t L = SR.getLo();
983 int64_t H = SR.getHi();
984 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
985
Devang Patel930143b2009-11-21 02:48:08 +0000986 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patelf691df32009-08-14 20:59:16 +0000987 if (L)
Devang Patel930143b2009-11-21 02:48:08 +0000988 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Patel8f046022009-12-04 23:10:24 +0000989 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling2f921f82009-05-15 09:23:25 +0000990
Devang Patel930143b2009-11-21 02:48:08 +0000991 Buffer.addChild(DW_Subrange);
Bill Wendling2f921f82009-05-15 09:23:25 +0000992}
993
Devang Patel930143b2009-11-21 02:48:08 +0000994/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000995void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling2f921f82009-05-15 09:23:25 +0000996 DICompositeType *CTy) {
997 Buffer.setTag(dwarf::DW_TAG_array_type);
998 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel930143b2009-11-21 02:48:08 +0000999 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001000
1001 // Emit derived type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001002 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001003 DIArray Elements = CTy->getTypeArray();
1004
Devang Patel92e8c652009-11-21 00:31:03 +00001005 // Get an anonymous type for index type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001006 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel92e8c652009-11-21 00:31:03 +00001007 if (!IdxTy) {
1008 // Construct an anonymous type for index type.
1009 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +00001010 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1011 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel92e8c652009-11-21 00:31:03 +00001012 dwarf::DW_ATE_signed);
Devang Patel9ccfb642009-12-09 18:24:21 +00001013 ModuleCU->addDie(IdxTy);
1014 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel92e8c652009-11-21 00:31:03 +00001015 }
Bill Wendling2f921f82009-05-15 09:23:25 +00001016
1017 // Add subranges to array type.
1018 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1019 DIDescriptor Element = Elements.getElement(i);
1020 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel930143b2009-11-21 02:48:08 +00001021 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001022 }
1023}
1024
Devang Patel930143b2009-11-21 02:48:08 +00001025/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel9ccfb642009-12-09 18:24:21 +00001026DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator *ETy) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001027 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel2d9caf92009-11-25 17:36:49 +00001028 StringRef Name = ETy->getName();
Devang Patel930143b2009-11-21 02:48:08 +00001029 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +00001030 int64_t Value = ETy->getEnumValue();
Devang Patel930143b2009-11-21 02:48:08 +00001031 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +00001032 return Enumerator;
1033}
1034
Devang Patel43ef34d2010-01-05 01:46:14 +00001035/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1036/// printer to not emit usual symbol prefix before the symbol name is used then
1037/// return linkage name after skipping this special LLVM prefix.
1038static StringRef getRealLinkageName(StringRef LinkageName) {
1039 char One = '\1';
1040 if (LinkageName.startswith(StringRef(&One, 1)))
1041 return LinkageName.substr(1);
1042 return LinkageName;
1043}
1044
Devang Patel930143b2009-11-21 02:48:08 +00001045/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel9ccfb642009-12-09 18:24:21 +00001046DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach00e9c612009-11-22 19:20:36 +00001047 // If the global variable was optmized out then no need to create debug info
1048 // entry.
Devang Patelcc11371b2009-11-06 17:58:12 +00001049 if (!GV.getGlobal()) return NULL;
Devang Patel2d9caf92009-11-25 17:36:49 +00001050 if (GV.getDisplayName().empty()) return NULL;
Devang Patel06ce6502009-11-06 01:30:04 +00001051
Bill Wendling2f921f82009-05-15 09:23:25 +00001052 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach042483e2009-11-21 23:12:12 +00001053 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001054 GV.getDisplayName());
1055
Devang Patel2d9caf92009-11-25 17:36:49 +00001056 StringRef LinkageName = GV.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001057 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001058 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001059 getRealLinkageName(LinkageName));
1060
Devang Patel9ccfb642009-12-09 18:24:21 +00001061 addType(GVDie, GV.getType());
Bill Wendling2f921f82009-05-15 09:23:25 +00001062 if (!GV.isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001063 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1064 addSourceLine(GVDie, &GV);
Devang Patel4144a822009-10-05 23:22:08 +00001065
Bill Wendling2f921f82009-05-15 09:23:25 +00001066 return GVDie;
1067}
1068
Devang Patel930143b2009-11-21 02:48:08 +00001069/// createMemberDIE - Create new member DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001070DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001071 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel2d9caf92009-11-25 17:36:49 +00001072 StringRef Name = DT.getName();
1073 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001074 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel2d9caf92009-11-25 17:36:49 +00001075
Devang Patel9ccfb642009-12-09 18:24:21 +00001076 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001077
Devang Patel930143b2009-11-21 02:48:08 +00001078 addSourceLine(MemberDie, &DT);
Bill Wendling2f921f82009-05-15 09:23:25 +00001079
Devang Patel67f56f02009-11-04 22:06:12 +00001080 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel930143b2009-11-21 02:48:08 +00001081 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel67f56f02009-11-04 22:06:12 +00001082
Bill Wendling2f921f82009-05-15 09:23:25 +00001083 uint64_t Size = DT.getSizeInBits();
Devang Patelf05d5722009-11-04 23:48:00 +00001084 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling2f921f82009-05-15 09:23:25 +00001085
1086 if (Size != FieldSize) {
1087 // Handle bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001088 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1089 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling2f921f82009-05-15 09:23:25 +00001090
1091 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling2f921f82009-05-15 09:23:25 +00001092 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1093 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer2b459982010-01-07 17:50:57 +00001094 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling2f921f82009-05-15 09:23:25 +00001095 Offset -= FieldOffset;
1096
1097 // Maybe we need to work from the other end.
1098 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel930143b2009-11-21 02:48:08 +00001099 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling2f921f82009-05-15 09:23:25 +00001100
Devang Patel67f56f02009-11-04 22:06:12 +00001101 // Here WD_AT_data_member_location points to the anonymous
1102 // field that includes this bit field.
Devang Patel930143b2009-11-21 02:48:08 +00001103 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001104
1105 } else
1106 // This is not a bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001107 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001108
Devang Patel930143b2009-11-21 02:48:08 +00001109 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001110
1111 if (DT.isProtected())
Devang Pateleb57c592009-12-03 19:11:07 +00001112 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001113 dwarf::DW_ACCESS_protected);
1114 else if (DT.isPrivate())
Devang Pateleb57c592009-12-03 19:11:07 +00001115 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001116 dwarf::DW_ACCESS_private);
Devang Pateleb57c592009-12-03 19:11:07 +00001117 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1118 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1119 dwarf::DW_ACCESS_public);
1120 if (DT.isVirtual())
1121 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1122 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling2f921f82009-05-15 09:23:25 +00001123 return MemberDie;
1124}
1125
Devang Patel525dda02009-12-14 16:18:45 +00001126/// createSubprogramDIE - Create new DIE using SP.
1127DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1128 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1129 if (SPDie)
1130 return SPDie;
1131
1132 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel2d9caf92009-11-25 17:36:49 +00001133 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling2f921f82009-05-15 09:23:25 +00001134
Devang Patel2d9caf92009-11-25 17:36:49 +00001135 StringRef LinkageName = SP.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001136 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001137 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001138 getRealLinkageName(LinkageName));
1139
Devang Patel930143b2009-11-21 02:48:08 +00001140 addSourceLine(SPDie, &SP);
Bill Wendling2f921f82009-05-15 09:23:25 +00001141
Bill Wendling2f921f82009-05-15 09:23:25 +00001142 // Add prototyped tag, if C or ObjC.
1143 unsigned Lang = SP.getCompileUnit().getLanguage();
1144 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1145 Lang == dwarf::DW_LANG_ObjC)
Devang Patel930143b2009-11-21 02:48:08 +00001146 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001147
1148 // Add Return Type.
Devang Patel236526d2009-12-03 01:25:38 +00001149 DICompositeType SPTy = SP.getType();
1150 DIArray Args = SPTy.getTypeArray();
Bill Wendling2f921f82009-05-15 09:23:25 +00001151 unsigned SPTag = SPTy.getTag();
Devang Pateleb57c592009-12-03 19:11:07 +00001152
Devang Patel236526d2009-12-03 01:25:38 +00001153 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel9ccfb642009-12-09 18:24:21 +00001154 addType(SPDie, SPTy);
Devang Patel236526d2009-12-03 01:25:38 +00001155 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001156 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel236526d2009-12-03 01:25:38 +00001157
Devang Pateleb57c592009-12-03 19:11:07 +00001158 unsigned VK = SP.getVirtuality();
1159 if (VK) {
1160 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1161 DIEBlock *Block = new DIEBlock();
1162 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1163 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1164 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel018b29b2010-01-19 06:19:05 +00001165 ContainingTypeMap.insert(std::make_pair(SPDie,
1166 SP.getContainingType().getNode()));
Devang Pateleb57c592009-12-03 19:11:07 +00001167 }
1168
Devang Patel525dda02009-12-14 16:18:45 +00001169 if (MakeDecl || !SP.isDefinition()) {
Devang Patel930143b2009-11-21 02:48:08 +00001170 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001171
1172 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel236526d2009-12-03 01:25:38 +00001173 // be handled while processing variables.
1174 DICompositeType SPTy = SP.getType();
1175 DIArray Args = SPTy.getTypeArray();
1176 unsigned SPTag = SPTy.getTag();
1177
Bill Wendling2f921f82009-05-15 09:23:25 +00001178 if (SPTag == dwarf::DW_TAG_subroutine_type)
1179 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1180 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel9ccfb642009-12-09 18:24:21 +00001181 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patel930143b2009-11-21 02:48:08 +00001182 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1183 SPDie->addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +00001184 }
1185 }
1186
Bill Wendling2f921f82009-05-15 09:23:25 +00001187 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001188 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001189 return SPDie;
1190}
1191
Devang Patel930143b2009-11-21 02:48:08 +00001192/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling2f921f82009-05-15 09:23:25 +00001193///
Devang Patelb314bd62009-12-11 21:37:07 +00001194CompileUnit *DwarfDebug::findCompileUnit(DICompileUnit Unit) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001195 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patel80ae3492009-08-28 23:24:31 +00001196 CompileUnitMap.find(Unit.getNode());
Devang Patelb314bd62009-12-11 21:37:07 +00001197 if (I == CompileUnitMap.end())
1198 return constructCompileUnit(Unit.getNode());
1199 return I->second;
Bill Wendling2f921f82009-05-15 09:23:25 +00001200}
1201
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001202/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1203/// Initialize scope and update scope hierarchy.
1204DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1205 MDNode *InlinedAt) {
1206 assert (N && "Invalid Scope encoding!");
1207 assert (MI && "Missing machine instruction!");
1208 bool GetConcreteScope = (MI && InlinedAt);
1209
1210 DbgScope *NScope = NULL;
1211
1212 if (InlinedAt)
1213 NScope = DbgScopeMap.lookup(InlinedAt);
1214 else
1215 NScope = DbgScopeMap.lookup(N);
1216 assert (NScope && "Unable to find working scope!");
1217
1218 if (NScope->getFirstInsn())
1219 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001220
1221 DbgScope *Parent = NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001222 if (GetConcreteScope) {
Devang Patel6875c5eb2009-10-14 21:08:09 +00001223 DILocation IL(InlinedAt);
Jim Grosbach042483e2009-11-21 23:12:12 +00001224 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001225 IL.getOrigLocation().getNode());
1226 assert (Parent && "Unable to find Parent scope!");
1227 NScope->setParent(Parent);
Devang Patel930143b2009-11-21 02:48:08 +00001228 Parent->addScope(NScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001229 } else if (DIDescriptor(N).isLexicalBlock()) {
1230 DILexicalBlock DB(N);
1231 if (!DB.getContext().isNull()) {
1232 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1233 NScope->setParent(Parent);
Devang Patel930143b2009-11-21 02:48:08 +00001234 Parent->addScope(NScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001235 }
Devang Patel6875c5eb2009-10-14 21:08:09 +00001236 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001237
Devang Patelcfeaa482009-10-27 20:47:17 +00001238 NScope->setFirstInsn(MI);
Devang Patel75cc16c2009-10-01 20:31:14 +00001239
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001240 if (!Parent && !InlinedAt) {
Devang Patel78319c62009-11-11 00:31:36 +00001241 StringRef SPName = DISubprogram(N).getLinkageName();
1242 if (SPName == MF->getFunction()->getName())
1243 CurrentFnDbgScope = NScope;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001244 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001245
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001246 if (GetConcreteScope) {
1247 ConcreteScopes[InlinedAt] = NScope;
1248 getOrCreateAbstractScope(N);
1249 }
1250
Devang Patelcfeaa482009-10-27 20:47:17 +00001251 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001252}
1253
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001254DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1255 assert (N && "Invalid Scope encoding!");
1256
1257 DbgScope *AScope = AbstractScopes.lookup(N);
1258 if (AScope)
1259 return AScope;
Jim Grosbach042483e2009-11-21 23:12:12 +00001260
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001261 DbgScope *Parent = NULL;
1262
1263 DIDescriptor Scope(N);
1264 if (Scope.isLexicalBlock()) {
1265 DILexicalBlock DB(N);
1266 DIDescriptor ParentDesc = DB.getContext();
1267 if (!ParentDesc.isNull())
1268 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1269 }
1270
1271 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1272
1273 if (Parent)
Devang Patel930143b2009-11-21 02:48:08 +00001274 Parent->addScope(AScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001275 AScope->setAbstractScope();
1276 AbstractScopes[N] = AScope;
1277 if (DIDescriptor(N).isSubprogram())
1278 AbstractScopesList.push_back(AScope);
1279 return AScope;
1280}
Devang Patel75cc16c2009-10-01 20:31:14 +00001281
Jim Grosbach042483e2009-11-21 23:12:12 +00001282/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel930143b2009-11-21 02:48:08 +00001283/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1284/// If there are global variables in this scope then create and insert
1285/// DIEs for these variables.
1286DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001287
Devang Patele064ad42009-11-20 21:37:22 +00001288 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001289 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patel525dda02009-12-14 16:18:45 +00001290 DISubprogram SP(SPNode);
1291 if (SP.isDefinition() && !SP.getContext().isCompileUnit()) {
1292 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1293 // Add arguments.
1294 DICompositeType SPTy = SP.getType();
1295 DIArray Args = SPTy.getTypeArray();
1296 unsigned SPTag = SPTy.getTag();
1297 if (SPTag == dwarf::DW_TAG_subroutine_type)
1298 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1299 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1300 addType(Arg, DIType(Args.getElement(i).getNode()));
1301 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1302 SPDie->addChild(Arg);
1303 }
1304 DIE *SPDeclDie = SPDie;
1305 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1306 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1307 SPDeclDie);
Devang Patel525dda02009-12-14 16:18:45 +00001308 ModuleCU->addDie(SPDie);
1309 }
1310
Devang Patel930143b2009-11-21 02:48:08 +00001311 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001312 DWLabel("func_begin", SubprogramCount));
Devang Patel930143b2009-11-21 02:48:08 +00001313 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001314 DWLabel("func_end", SubprogramCount));
1315 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel930143b2009-11-21 02:48:08 +00001316 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach042483e2009-11-21 23:12:12 +00001317
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001318 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001319 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001320
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001321 return SPDie;
1322}
1323
Jim Grosbach042483e2009-11-21 23:12:12 +00001324/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel930143b2009-11-21 02:48:08 +00001325/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1326DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001327 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1328 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1329
1330 // Ignore empty scopes.
1331 if (StartID == EndID && StartID != 0)
1332 return NULL;
1333
1334 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1335 if (Scope->isAbstractScope())
1336 return ScopeDIE;
1337
Devang Patel930143b2009-11-21 02:48:08 +00001338 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach042483e2009-11-21 23:12:12 +00001339 StartID ?
1340 DWLabel("label", StartID)
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001341 : DWLabel("func_begin", SubprogramCount));
Devang Patel930143b2009-11-21 02:48:08 +00001342 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach042483e2009-11-21 23:12:12 +00001343 EndID ?
1344 DWLabel("label", EndID)
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001345 : DWLabel("func_end", SubprogramCount));
1346
1347
1348
1349 return ScopeDIE;
1350}
1351
Devang Patel930143b2009-11-21 02:48:08 +00001352/// constructInlinedScopeDIE - This scope represents inlined body of
1353/// a function. Construct DIE to represent this concrete inlined copy
1354/// of the function.
1355DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001356 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1357 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1358 assert (StartID && "Invalid starting label for an inlined scope!");
1359 assert (EndID && "Invalid end label for an inlined scope!");
1360 // Ignore empty scopes.
1361 if (StartID == EndID && StartID != 0)
1362 return NULL;
1363
1364 DIScope DS(Scope->getScopeNode());
1365 if (DS.isNull())
1366 return NULL;
1367 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1368
1369 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001370 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001371 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patel930143b2009-11-21 02:48:08 +00001372 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001373 dwarf::DW_FORM_ref4, OriginDIE);
1374
Devang Patel930143b2009-11-21 02:48:08 +00001375 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001376 DWLabel("label", StartID));
Devang Patel930143b2009-11-21 02:48:08 +00001377 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001378 DWLabel("label", EndID));
1379
1380 InlinedSubprogramDIEs.insert(OriginDIE);
1381
1382 // Track the start label for this inlined function.
Devang Patel018b29b2010-01-19 06:19:05 +00001383 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001384 I = InlineInfo.find(InlinedSP.getNode());
1385
1386 if (I == InlineInfo.end()) {
Jim Grosbach00e9c612009-11-22 19:20:36 +00001387 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1388 ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001389 InlinedSPNodes.push_back(InlinedSP.getNode());
1390 } else
1391 I->second.push_back(std::make_pair(StartID, ScopeDIE));
1392
1393 StringPool.insert(InlinedSP.getName());
Devang Patel43ef34d2010-01-05 01:46:14 +00001394 StringPool.insert(getRealLinkageName(InlinedSP.getLinkageName()));
1395
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001396 DILocation DL(Scope->getInlinedAt());
Devang Patel930143b2009-11-21 02:48:08 +00001397 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1398 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001399
1400 return ScopeDIE;
1401}
1402
Devang Patel930143b2009-11-21 02:48:08 +00001403
1404/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel9ccfb642009-12-09 18:24:21 +00001405DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001406 // Get the descriptor.
1407 const DIVariable &VD = DV->getVariable();
Devang Patel2d9caf92009-11-25 17:36:49 +00001408 StringRef Name = VD.getName();
1409 if (Name.empty())
Devang Patel97f99fa2009-11-13 02:25:26 +00001410 return NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001411
1412 // Translate tag to proper Dwarf tag. The result variable is dropped for
1413 // now.
1414 unsigned Tag;
1415 switch (VD.getTag()) {
1416 case dwarf::DW_TAG_return_variable:
1417 return NULL;
1418 case dwarf::DW_TAG_arg_variable:
1419 Tag = dwarf::DW_TAG_formal_parameter;
1420 break;
1421 case dwarf::DW_TAG_auto_variable: // fall thru
1422 default:
1423 Tag = dwarf::DW_TAG_variable;
1424 break;
1425 }
1426
1427 // Define variable debug information entry.
1428 DIE *VariableDie = new DIE(Tag);
1429
1430
1431 DIE *AbsDIE = NULL;
1432 if (DbgVariable *AV = DV->getAbstractVariable())
1433 AbsDIE = AV->getDIE();
Jim Grosbach042483e2009-11-21 23:12:12 +00001434
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001435 if (AbsDIE) {
1436 DIScope DS(Scope->getScopeNode());
1437 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001438 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbar75b4d352009-11-11 03:09:50 +00001439 (void) OriginSPDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001440 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1441 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1442 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel930143b2009-11-21 02:48:08 +00001443 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001444 dwarf::DW_FORM_ref4, AbsDIE);
1445 }
1446 else {
Devang Patel930143b2009-11-21 02:48:08 +00001447 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1448 addSourceLine(VariableDie, &VD);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001449
1450 // Add variable type.
Jim Grosbach042483e2009-11-21 23:12:12 +00001451 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001452 // addresses instead.
1453 if (VD.isBlockByrefVariable())
Devang Patel9ccfb642009-12-09 18:24:21 +00001454 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001455 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001456 addType(VariableDie, VD.getType());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001457 }
1458
1459 // Add variable address.
1460 if (!Scope->isAbstractScope()) {
1461 MachineLocation Location;
Jim Grosbachbf6d3582009-11-22 20:14:00 +00001462 unsigned FrameReg;
1463 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1464 Location.set(FrameReg, Offset);
Jim Grosbach042483e2009-11-21 23:12:12 +00001465
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001466 if (VD.hasComplexAddress())
Devang Patel930143b2009-11-21 02:48:08 +00001467 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001468 else if (VD.isBlockByrefVariable())
Devang Patel930143b2009-11-21 02:48:08 +00001469 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001470 else
Devang Patel930143b2009-11-21 02:48:08 +00001471 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001472 }
1473 DV->setDIE(VariableDie);
1474 return VariableDie;
1475
1476}
Devang Patel930143b2009-11-21 02:48:08 +00001477
Devang Patel04d2f2d2009-11-24 01:14:22 +00001478void DwarfDebug::addPubTypes(DISubprogram SP) {
1479 DICompositeType SPTy = SP.getType();
1480 unsigned SPTag = SPTy.getTag();
1481 if (SPTag != dwarf::DW_TAG_subroutine_type)
1482 return;
1483
1484 DIArray Args = SPTy.getTypeArray();
1485 if (Args.isNull())
1486 return;
1487
1488 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1489 DIType ATy(Args.getElement(i).getNode());
1490 if (ATy.isNull())
1491 continue;
1492 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel2d9caf92009-11-25 17:36:49 +00001493 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patel04d2f2d2009-11-24 01:14:22 +00001494 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1495 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1496 }
1497 }
1498}
1499
Devang Patel930143b2009-11-21 02:48:08 +00001500/// constructScopeDIE - Construct a DIE for this scope.
1501DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001502 if (!Scope)
1503 return NULL;
1504 DIScope DS(Scope->getScopeNode());
1505 if (DS.isNull())
1506 return NULL;
1507
1508 DIE *ScopeDIE = NULL;
1509 if (Scope->getInlinedAt())
Devang Patel930143b2009-11-21 02:48:08 +00001510 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001511 else if (DS.isSubprogram()) {
1512 if (Scope->isAbstractScope())
Devang Patele064ad42009-11-20 21:37:22 +00001513 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001514 else
Devang Patel930143b2009-11-21 02:48:08 +00001515 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001516 }
1517 else {
Devang Patel930143b2009-11-21 02:48:08 +00001518 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001519 if (!ScopeDIE) return NULL;
1520 }
1521
1522 // Add variables to scope.
1523 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1524 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel9ccfb642009-12-09 18:24:21 +00001525 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach042483e2009-11-21 23:12:12 +00001526 if (VariableDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001527 ScopeDIE->addChild(VariableDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001528 }
1529
1530 // Add nested scopes.
1531 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1532 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1533 // Define the Scope debug information entry.
Devang Patel930143b2009-11-21 02:48:08 +00001534 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach042483e2009-11-21 23:12:12 +00001535 if (NestedDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001536 ScopeDIE->addChild(NestedDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001537 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00001538
1539 if (DS.isSubprogram())
1540 addPubTypes(DISubprogram(DS.getNode()));
1541
1542 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001543}
1544
Bill Wendling2b128d72009-05-20 23:19:06 +00001545/// GetOrCreateSourceID - Look up the source id with the given directory and
1546/// source file names. If none currently exists, create a new id and insert it
1547/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1548/// maps as well.
Devang Patel2d9caf92009-11-25 17:36:49 +00001549unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendling2b128d72009-05-20 23:19:06 +00001550 unsigned DId;
1551 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1552 if (DI != DirectoryIdMap.end()) {
1553 DId = DI->getValue();
1554 } else {
1555 DId = DirectoryNames.size() + 1;
1556 DirectoryIdMap[DirName] = DId;
1557 DirectoryNames.push_back(DirName);
1558 }
1559
1560 unsigned FId;
1561 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1562 if (FI != SourceFileIdMap.end()) {
1563 FId = FI->getValue();
1564 } else {
1565 FId = SourceFileNames.size() + 1;
1566 SourceFileIdMap[FileName] = FId;
1567 SourceFileNames.push_back(FileName);
1568 }
1569
1570 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1571 SourceIdMap.find(std::make_pair(DId, FId));
1572 if (SI != SourceIdMap.end())
1573 return SI->second;
1574
1575 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1576 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1577 SourceIds.push_back(std::make_pair(DId, FId));
1578
1579 return SrcId;
1580}
1581
Devang Patel1f4690c2009-12-15 19:16:48 +00001582/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1583DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1584 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1585 if (NDie)
1586 return NDie;
1587 NDie = new DIE(dwarf::DW_TAG_namespace);
1588 ModuleCU->insertDIE(NS.getNode(), NDie);
1589 if (!NS.getName().empty())
1590 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1591 addSourceLine(NDie, &NS);
1592 addToContextOwner(NDie, NS.getContext());
1593 return NDie;
1594}
1595
Devang Patelb314bd62009-12-11 21:37:07 +00001596CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001597 DICompileUnit DIUnit(N);
Devang Patel2d9caf92009-11-25 17:36:49 +00001598 StringRef FN = DIUnit.getFilename();
1599 StringRef Dir = DIUnit.getDirectory();
Devang Patelb2969422009-09-29 18:40:58 +00001600 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendling2b128d72009-05-20 23:19:06 +00001601
1602 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel930143b2009-11-21 02:48:08 +00001603 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendling2b128d72009-05-20 23:19:06 +00001604 DWLabel("section_line", 0), DWLabel("section_line", 0),
1605 false);
Devang Patel930143b2009-11-21 02:48:08 +00001606 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001607 DIUnit.getProducer());
Devang Patel930143b2009-11-21 02:48:08 +00001608 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendling2b128d72009-05-20 23:19:06 +00001609 DIUnit.getLanguage());
Devang Patel930143b2009-11-21 02:48:08 +00001610 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendling2b128d72009-05-20 23:19:06 +00001611
Devang Patel2d9caf92009-11-25 17:36:49 +00001612 if (!Dir.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001613 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendling2b128d72009-05-20 23:19:06 +00001614 if (DIUnit.isOptimized())
Devang Patel930143b2009-11-21 02:48:08 +00001615 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendling2b128d72009-05-20 23:19:06 +00001616
Devang Patel2d9caf92009-11-25 17:36:49 +00001617 StringRef Flags = DIUnit.getFlags();
1618 if (!Flags.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001619 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendling2b128d72009-05-20 23:19:06 +00001620
1621 unsigned RVer = DIUnit.getRunTimeVersion();
1622 if (RVer)
Devang Patel930143b2009-11-21 02:48:08 +00001623 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +00001624 dwarf::DW_FORM_data1, RVer);
1625
1626 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel40d78412009-06-29 20:45:18 +00001627 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel86353452009-06-29 20:38:13 +00001628 // Use first compile unit marked as isMain as the compile unit
1629 // for this module.
Devang Patel40d78412009-06-29 20:45:18 +00001630 ModuleCU = Unit;
Devang Patel86353452009-06-29 20:38:13 +00001631 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001632
Devang Patel80ae3492009-08-28 23:24:31 +00001633 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendling2b128d72009-05-20 23:19:06 +00001634 CompileUnits.push_back(Unit);
Devang Patelb314bd62009-12-11 21:37:07 +00001635 return Unit;
Bill Wendling2b128d72009-05-20 23:19:06 +00001636}
1637
Devang Patel930143b2009-11-21 02:48:08 +00001638void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001639 DIGlobalVariable DI_GV(N);
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001640
Devang Patelf5d53602009-09-04 23:59:07 +00001641 // If debug information is malformed then ignore it.
1642 if (DI_GV.Verify() == false)
1643 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001644
1645 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001646 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel0751a282009-06-26 01:49:18 +00001647 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001648
Devang Patel9ccfb642009-12-09 18:24:21 +00001649 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel2eec32d2009-12-10 23:25:41 +00001650 if (!VariableDie)
1651 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001652
Bill Wendling2b128d72009-05-20 23:19:06 +00001653 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001654 ModuleCU->insertDIE(N, VariableDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001655
1656 // Add to context owner.
Devang Patel89880c82010-01-15 01:12:22 +00001657 DIDescriptor GVContext = DI_GV.getContext();
1658 // Do not create specification DIE if context is either compile unit
1659 // or a subprogram.
1660 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
1661 && !GVContext.isSubprogram()) {
Devang Patel1f4690c2009-12-15 19:16:48 +00001662 // Create specification DIE.
1663 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1664 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1665 dwarf::DW_FORM_ref4, VariableDie);
1666 DIEBlock *Block = new DIEBlock();
1667 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1668 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner06d45f62010-01-16 18:50:28 +00001669 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001670 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
1671 ModuleCU->addDie(VariableSpecDIE);
1672 } else {
1673 DIEBlock *Block = new DIEBlock();
1674 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1675 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner06d45f62010-01-16 18:50:28 +00001676 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001677 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1678 }
Devang Patel89880c82010-01-15 01:12:22 +00001679 addToContextOwner(VariableDie, GVContext);
Devang Patel2b75ed22009-12-10 19:14:49 +00001680
Bill Wendling2b128d72009-05-20 23:19:06 +00001681 // Expose as global. FIXME - need to check external flag.
Devang Patel930143b2009-11-21 02:48:08 +00001682 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001683
1684 DIType GTy = DI_GV.getType();
Devang Patel2d9caf92009-11-25 17:36:49 +00001685 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel04d2f2d2009-11-24 01:14:22 +00001686 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1687 assert (Entry && "Missing global type!");
1688 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1689 }
Devang Patel0751a282009-06-26 01:49:18 +00001690 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001691}
1692
Devang Patel930143b2009-11-21 02:48:08 +00001693void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001694 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +00001695
1696 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001697 if (ModuleCU->getDIE(N))
Devang Patel0751a282009-06-26 01:49:18 +00001698 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001699
1700 if (!SP.isDefinition())
1701 // This is a method declaration which will be handled while constructing
1702 // class type.
Devang Patel0751a282009-06-26 01:49:18 +00001703 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001704
Devang Patel9ccfb642009-12-09 18:24:21 +00001705 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendling2b128d72009-05-20 23:19:06 +00001706
1707 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001708 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001709
1710 // Add to context owner.
Devang Patel1f4690c2009-12-15 19:16:48 +00001711 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +00001712
Bill Wendling2b128d72009-05-20 23:19:06 +00001713 // Expose as global.
Devang Patel930143b2009-11-21 02:48:08 +00001714 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001715
Devang Patel0751a282009-06-26 01:49:18 +00001716 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001717}
1718
Devang Patel930143b2009-11-21 02:48:08 +00001719/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbarbe22ec42009-09-19 20:40:14 +00001720/// content. Create global DIEs and emit initial debug info sections.
1721/// This is inovked by the target AsmPrinter.
Devang Patel930143b2009-11-21 02:48:08 +00001722void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel0c044ec2009-06-25 22:36:02 +00001723 this->M = M;
1724
Bill Wendling2b128d72009-05-20 23:19:06 +00001725 if (TimePassesIsEnabled)
1726 DebugTimer->startTimer();
1727
Devang Pateld41f1192009-11-11 19:55:08 +00001728 if (!MAI->doesSupportDebugInformation())
1729 return;
1730
Devang Patel63524442009-07-30 18:56:46 +00001731 DebugInfoFinder DbgFinder;
1732 DbgFinder.processModule(*M);
Devang Patel0751a282009-06-26 01:49:18 +00001733
Bill Wendling2b128d72009-05-20 23:19:06 +00001734 // Create all the compile unit DIEs.
Devang Patel63524442009-07-30 18:56:46 +00001735 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1736 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001737 constructCompileUnit(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001738
1739 if (CompileUnits.empty()) {
1740 if (TimePassesIsEnabled)
1741 DebugTimer->stopTimer();
1742
1743 return;
1744 }
1745
Devang Patel86353452009-06-29 20:38:13 +00001746 // If main compile unit for this module is not seen than randomly
1747 // select first compile unit.
Devang Patel40d78412009-06-29 20:45:18 +00001748 if (!ModuleCU)
1749 ModuleCU = CompileUnits[0];
Devang Patel86353452009-06-29 20:38:13 +00001750
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001751 // Create DIEs for each subprogram.
Devang Patel63524442009-07-30 18:56:46 +00001752 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1753 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001754 constructSubprogramDIE(*I);
Devang Patel0751a282009-06-26 01:49:18 +00001755
Devang Patel2b75ed22009-12-10 19:14:49 +00001756 // Create DIEs for each global variable.
1757 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1758 E = DbgFinder.global_variable_end(); I != E; ++I)
1759 constructGlobalVariableDIE(*I);
1760
Bill Wendling2b128d72009-05-20 23:19:06 +00001761 MMI = mmi;
1762 shouldEmit = true;
1763 MMI->setDebugInfoAvailability(true);
1764
1765 // Prime section data.
Chris Lattner5e693ed2009-07-28 03:13:23 +00001766 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +00001767
1768 // Print out .file directives to specify files for .loc directives. These are
1769 // printed out early so that they precede any .loc directives.
Chris Lattnere9a75a62009-08-22 21:43:10 +00001770 if (MAI->hasDotLocAndDotFile()) {
Bill Wendling2b128d72009-05-20 23:19:06 +00001771 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1772 // Remember source id starts at 1.
1773 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
1774 sys::Path FullPath(getSourceDirectoryName(Id.first));
1775 bool AppendOk =
1776 FullPath.appendComponent(getSourceFileName(Id.second));
1777 assert(AppendOk && "Could not append filename to directory!");
1778 AppendOk = false;
Chris Lattnerc521f542009-08-23 22:45:37 +00001779 Asm->EmitFile(i, FullPath.str());
Bill Wendling2b128d72009-05-20 23:19:06 +00001780 Asm->EOL();
1781 }
1782 }
1783
1784 // Emit initial sections
Devang Patel930143b2009-11-21 02:48:08 +00001785 emitInitial();
Bill Wendling2b128d72009-05-20 23:19:06 +00001786
1787 if (TimePassesIsEnabled)
1788 DebugTimer->stopTimer();
1789}
1790
Devang Patel930143b2009-11-21 02:48:08 +00001791/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendling2b128d72009-05-20 23:19:06 +00001792///
Devang Patel930143b2009-11-21 02:48:08 +00001793void DwarfDebug::endModule() {
Devang Pateld859d862009-10-06 00:03:14 +00001794 if (!ModuleCU)
Bill Wendling2b128d72009-05-20 23:19:06 +00001795 return;
1796
1797 if (TimePassesIsEnabled)
1798 DebugTimer->startTimer();
1799
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001800 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1801 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1802 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1803 DIE *ISP = *AI;
Devang Patel930143b2009-11-21 02:48:08 +00001804 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001805 }
1806
Devang Patel236526d2009-12-03 01:25:38 +00001807 // Insert top level DIEs.
1808 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1809 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1810 ModuleCU->getCUDie()->addChild(*TI);
1811
Devang Patel018b29b2010-01-19 06:19:05 +00001812 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Pateleb57c592009-12-03 19:11:07 +00001813 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1814 DIE *SPDie = CI->first;
1815 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1816 if (!N) continue;
1817 DIE *NDie = ModuleCU->getDIE(N);
1818 if (!NDie) continue;
1819 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel2108ee02010-01-15 00:26:31 +00001820 // FIXME - This is not the correct approach.
1821 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Pateleb57c592009-12-03 19:11:07 +00001822 }
1823
Bill Wendling2b128d72009-05-20 23:19:06 +00001824 // Standard sections final addresses.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001825 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +00001826 EmitLabel("text_end", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001827 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendling2b128d72009-05-20 23:19:06 +00001828 EmitLabel("data_end", 0);
1829
1830 // End text sections.
1831 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001832 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendling2b128d72009-05-20 23:19:06 +00001833 EmitLabel("section_end", i);
1834 }
1835
1836 // Emit common frame information.
Devang Patel930143b2009-11-21 02:48:08 +00001837 emitCommonDebugFrame();
Bill Wendling2b128d72009-05-20 23:19:06 +00001838
1839 // Emit function debug frame information
1840 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1841 E = DebugFrames.end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001842 emitFunctionDebugFrame(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001843
1844 // Compute DIE offsets and sizes.
Devang Patel930143b2009-11-21 02:48:08 +00001845 computeSizeAndOffsets();
Bill Wendling2b128d72009-05-20 23:19:06 +00001846
1847 // Emit all the DIEs into a debug info section
Devang Patel930143b2009-11-21 02:48:08 +00001848 emitDebugInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001849
1850 // Corresponding abbreviations into a abbrev section.
Devang Patel930143b2009-11-21 02:48:08 +00001851 emitAbbreviations();
Bill Wendling2b128d72009-05-20 23:19:06 +00001852
1853 // Emit source line correspondence into a debug line section.
Devang Patel930143b2009-11-21 02:48:08 +00001854 emitDebugLines();
Bill Wendling2b128d72009-05-20 23:19:06 +00001855
1856 // Emit info into a debug pubnames section.
Devang Patel930143b2009-11-21 02:48:08 +00001857 emitDebugPubNames();
Bill Wendling2b128d72009-05-20 23:19:06 +00001858
Devang Patel04d2f2d2009-11-24 01:14:22 +00001859 // Emit info into a debug pubtypes section.
1860 emitDebugPubTypes();
1861
Bill Wendling2b128d72009-05-20 23:19:06 +00001862 // Emit info into a debug str section.
Devang Patel930143b2009-11-21 02:48:08 +00001863 emitDebugStr();
Bill Wendling2b128d72009-05-20 23:19:06 +00001864
1865 // Emit info into a debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00001866 emitDebugLoc();
Bill Wendling2b128d72009-05-20 23:19:06 +00001867
1868 // Emit info into a debug aranges section.
1869 EmitDebugARanges();
1870
1871 // Emit info into a debug ranges section.
Devang Patel930143b2009-11-21 02:48:08 +00001872 emitDebugRanges();
Bill Wendling2b128d72009-05-20 23:19:06 +00001873
1874 // Emit info into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00001875 emitDebugMacInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001876
1877 // Emit inline info.
Devang Patel930143b2009-11-21 02:48:08 +00001878 emitDebugInlineInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001879
1880 if (TimePassesIsEnabled)
1881 DebugTimer->stopTimer();
1882}
1883
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001884/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach00e9c612009-11-22 19:20:36 +00001885DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1886 unsigned FrameIdx,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001887 DILocation &ScopeLoc) {
1888
1889 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1890 if (AbsDbgVariable)
1891 return AbsDbgVariable;
1892
1893 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1894 if (!Scope)
1895 return NULL;
1896
1897 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patel930143b2009-11-21 02:48:08 +00001898 Scope->addVariable(AbsDbgVariable);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001899 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1900 return AbsDbgVariable;
1901}
1902
Devang Patel930143b2009-11-21 02:48:08 +00001903/// collectVariableInfo - Populate DbgScope entries with variables' info.
1904void DwarfDebug::collectVariableInfo() {
Devang Pateldf45c7f2009-10-09 22:42:28 +00001905 if (!MMI) return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001906
Devang Patel475d32a2009-10-06 01:26:37 +00001907 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1908 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1909 VE = VMap.end(); VI != VE; ++VI) {
Devang Pateldf45c7f2009-10-09 22:42:28 +00001910 MetadataBase *MB = VI->first;
1911 MDNode *Var = dyn_cast_or_null<MDNode>(MB);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001912 if (!Var) continue;
Devang Patel20b2a772009-10-08 18:48:03 +00001913 DIVariable DV (Var);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001914 std::pair< unsigned, MDNode *> VP = VI->second;
1915 DILocation ScopeLoc(VP.second);
1916
1917 DbgScope *Scope =
1918 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1919 if (!Scope)
Jim Grosbach042483e2009-11-21 23:12:12 +00001920 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelcdb7d442009-11-10 23:20:04 +00001921 // If variable scope is not found then skip this variable.
1922 if (!Scope)
1923 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001924
1925 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patel930143b2009-11-21 02:48:08 +00001926 Scope->addVariable(RegVar);
Jim Grosbach00e9c612009-11-22 19:20:36 +00001927 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1928 ScopeLoc))
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001929 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patel475d32a2009-10-06 01:26:37 +00001930 }
1931}
1932
Devang Patel930143b2009-11-21 02:48:08 +00001933/// beginScope - Process beginning of a scope starting at Label.
1934void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel8db360d2009-10-06 01:50:42 +00001935 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1936 if (I == DbgScopeBeginMap.end())
1937 return;
Dan Gohman3650f4e2009-11-23 21:30:55 +00001938 ScopeVector &SD = I->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001939 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00001940 SDI != SDE; ++SDI)
Devang Patel8db360d2009-10-06 01:50:42 +00001941 (*SDI)->setStartLabelID(Label);
1942}
1943
Devang Patel930143b2009-11-21 02:48:08 +00001944/// endScope - Process end of a scope.
1945void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel8db360d2009-10-06 01:50:42 +00001946 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel7d838bb2009-10-06 03:15:38 +00001947 if (I == DbgScopeEndMap.end())
Devang Patel8db360d2009-10-06 01:50:42 +00001948 return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001949
1950 unsigned Label = MMI->NextLabelID();
1951 Asm->printLabel(Label);
Dan Gohman3a6164e2009-12-05 01:42:34 +00001952 O << '\n';
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001953
Devang Patel8db360d2009-10-06 01:50:42 +00001954 SmallVector<DbgScope *, 2> &SD = I->second;
1955 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00001956 SDI != SDE; ++SDI)
Devang Patel8db360d2009-10-06 01:50:42 +00001957 (*SDI)->setEndLabelID(Label);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001958 return;
1959}
1960
1961/// createDbgScope - Create DbgScope for the scope.
1962void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1963
1964 if (!InlinedAt) {
1965 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1966 if (WScope)
1967 return;
1968 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1969 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach042483e2009-11-21 23:12:12 +00001970 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel4450f262009-11-11 00:18:40 +00001971 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001972 return;
1973 }
1974
1975 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1976 if (WScope)
1977 return;
1978
1979 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1980 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1981 DILocation DL(InlinedAt);
1982 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel8db360d2009-10-06 01:50:42 +00001983}
1984
Devang Patel930143b2009-11-21 02:48:08 +00001985/// extractScopeInformation - Scan machine instructions in this function
Devang Patel75cc16c2009-10-01 20:31:14 +00001986/// and collect DbgScopes. Return true, if atleast one scope was found.
Devang Patel930143b2009-11-21 02:48:08 +00001987bool DwarfDebug::extractScopeInformation(MachineFunction *MF) {
Devang Patel75cc16c2009-10-01 20:31:14 +00001988 // If scope information was extracted using .dbg intrinsics then there is not
1989 // any need to extract these information by scanning each instruction.
1990 if (!DbgScopeMap.empty())
1991 return false;
1992
Devang Patel530a0752010-01-04 20:44:00 +00001993 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
1994 unsigned MIIndex = 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001995 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel75cc16c2009-10-01 20:31:14 +00001996 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1997 I != E; ++I) {
1998 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1999 II != IE; ++II) {
2000 const MachineInstr *MInsn = II;
Devang Patel530a0752010-01-04 20:44:00 +00002001 MIIndexMap[MInsn] = MIIndex++;
Devang Patel75cc16c2009-10-01 20:31:14 +00002002 DebugLoc DL = MInsn->getDebugLoc();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002003 if (DL.isUnknown()) continue;
Devang Patelc0e17df2010-01-16 06:09:35 +00002004 DILocation DLT = MF->getDILocation(DL);
2005 DIScope DLTScope = DLT.getScope();
2006 if (DLTScope.isNull()) continue;
Devang Patel75cc16c2009-10-01 20:31:14 +00002007 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002008 // other scopes, create one DbgScope now. This will be translated
Devang Patel75cc16c2009-10-01 20:31:14 +00002009 // into a scope DIE at the end.
Devang Patelc0e17df2010-01-16 06:09:35 +00002010 if (DLTScope.isCompileUnit()) continue;
2011 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002012 }
2013 }
2014
2015
2016 // Build scope hierarchy using working set of scopes.
2017 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2018 I != E; ++I) {
2019 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2020 II != IE; ++II) {
2021 const MachineInstr *MInsn = II;
2022 DebugLoc DL = MInsn->getDebugLoc();
2023 if (DL.isUnknown()) continue;
Devang Patelc0e17df2010-01-16 06:09:35 +00002024 DILocation DLT = MF->getDILocation(DL);
2025 DIScope DLTScope = DLT.getScope();
2026 if (DLTScope.isNull()) continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002027 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002028 // other scopes, create one DbgScope now. This will be translated
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002029 // into a scope DIE at the end.
Devang Patelc0e17df2010-01-16 06:09:35 +00002030 if (DLTScope.isCompileUnit()) continue;
2031 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2032 DLT.getOrigLocation().getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002033 Scope->setLastInsn(MInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +00002034 }
2035 }
2036
Devang Patel530a0752010-01-04 20:44:00 +00002037 if (!CurrentFnDbgScope)
2038 return false;
2039
2040 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel75cc16c2009-10-01 20:31:14 +00002041
2042 // Each scope has first instruction and last instruction to mark beginning
2043 // and end of a scope respectively. Create an inverse map that list scopes
2044 // starts (and ends) with an instruction. One instruction may start (or end)
2045 // multiple scopes.
Devang Patel018b29b2010-01-19 06:19:05 +00002046 for (DenseMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patel75cc16c2009-10-01 20:31:14 +00002047 DE = DbgScopeMap.end(); DI != DE; ++DI) {
2048 DbgScope *S = DI->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002049 if (S->isAbstractScope())
2050 continue;
Devang Patel75cc16c2009-10-01 20:31:14 +00002051 const MachineInstr *MI = S->getFirstInsn();
2052 assert (MI && "DbgScope does not have first instruction!");
2053
2054 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2055 if (IDI != DbgScopeBeginMap.end())
2056 IDI->second.push_back(S);
2057 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002058 DbgScopeBeginMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002059
2060 MI = S->getLastInsn();
2061 assert (MI && "DbgScope does not have last instruction!");
2062 IDI = DbgScopeEndMap.find(MI);
2063 if (IDI != DbgScopeEndMap.end())
2064 IDI->second.push_back(S);
2065 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002066 DbgScopeEndMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002067 }
2068
2069 return !DbgScopeMap.empty();
2070}
2071
Devang Patel930143b2009-11-21 02:48:08 +00002072/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendling2b128d72009-05-20 23:19:06 +00002073/// emitted immediately after the function entry point.
Devang Patel930143b2009-11-21 02:48:08 +00002074void DwarfDebug::beginFunction(MachineFunction *MF) {
Bill Wendling2b128d72009-05-20 23:19:06 +00002075 this->MF = MF;
2076
2077 if (!ShouldEmitDwarfDebug()) return;
2078
2079 if (TimePassesIsEnabled)
2080 DebugTimer->startTimer();
2081
Devang Patel930143b2009-11-21 02:48:08 +00002082 if (!extractScopeInformation(MF))
Devang Patel4598eb62009-10-06 18:37:31 +00002083 return;
Devang Patel930143b2009-11-21 02:48:08 +00002084
2085 collectVariableInfo();
Devang Patel4598eb62009-10-06 18:37:31 +00002086
Bill Wendling2b128d72009-05-20 23:19:06 +00002087 // Begin accumulating function debug information.
2088 MMI->BeginFunction(MF);
2089
2090 // Assumes in correct section after the entry point.
2091 EmitLabel("func_begin", ++SubprogramCount);
2092
2093 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2094 // function.
Devang Pateldf45c7f2009-10-09 22:42:28 +00002095 DebugLoc FDL = MF->getDefaultDebugLoc();
2096 if (!FDL.isUnknown()) {
Devang Patelc0e17df2010-01-16 06:09:35 +00002097 DILocation DLT = MF->getDILocation(FDL);
Devang Pateldf45c7f2009-10-09 22:42:28 +00002098 unsigned LabelID = 0;
Devang Patelc0e17df2010-01-16 06:09:35 +00002099 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Devang Pateldf45c7f2009-10-09 22:42:28 +00002100 if (!SP.isNull())
Devang Patelc0e17df2010-01-16 06:09:35 +00002101 LabelID = recordSourceLine(SP.getLineNumber(), 0,
2102 DLT.getScope().getNode());
Devang Pateldf45c7f2009-10-09 22:42:28 +00002103 else
Devang Patelc0e17df2010-01-16 06:09:35 +00002104 LabelID = recordSourceLine(DLT.getLineNumber(),
2105 DLT.getColumnNumber(),
2106 DLT.getScope().getNode());
Devang Pateldf45c7f2009-10-09 22:42:28 +00002107 Asm->printLabel(LabelID);
2108 O << '\n';
Bill Wendling2b128d72009-05-20 23:19:06 +00002109 }
Bill Wendling2b128d72009-05-20 23:19:06 +00002110 if (TimePassesIsEnabled)
2111 DebugTimer->stopTimer();
2112}
2113
Devang Patel930143b2009-11-21 02:48:08 +00002114/// endFunction - Gather and emit post-function debug information.
Bill Wendling2b128d72009-05-20 23:19:06 +00002115///
Devang Patel930143b2009-11-21 02:48:08 +00002116void DwarfDebug::endFunction(MachineFunction *MF) {
Bill Wendling2b128d72009-05-20 23:19:06 +00002117 if (!ShouldEmitDwarfDebug()) return;
2118
2119 if (TimePassesIsEnabled)
2120 DebugTimer->startTimer();
2121
Devang Pateldf45c7f2009-10-09 22:42:28 +00002122 if (DbgScopeMap.empty())
2123 return;
Devang Patel2904aa92009-11-12 19:02:56 +00002124
Devang Patel530a0752010-01-04 20:44:00 +00002125 if (CurrentFnDbgScope) {
2126 // Define end label for subprogram.
2127 EmitLabel("func_end", SubprogramCount);
2128
2129 // Get function line info.
2130 if (!Lines.empty()) {
2131 // Get section line info.
2132 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2133 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2134 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2135 // Append the function info to section info.
2136 SectionLineInfos.insert(SectionLineInfos.end(),
2137 Lines.begin(), Lines.end());
2138 }
2139
2140 // Construct abstract scopes.
2141 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2142 AE = AbstractScopesList.end(); AI != AE; ++AI)
2143 constructScopeDIE(*AI);
2144
2145 constructScopeDIE(CurrentFnDbgScope);
2146
2147 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2148 MMI->getFrameMoves()));
Bill Wendling2b128d72009-05-20 23:19:06 +00002149 }
2150
Bill Wendling2b128d72009-05-20 23:19:06 +00002151 // Clear debug info
Devang Patelfe189e62010-01-19 01:26:02 +00002152 CurrentFnDbgScope = NULL;
2153 DbgScopeMap.clear();
2154 DbgScopeBeginMap.clear();
2155 DbgScopeEndMap.clear();
2156 ConcreteScopes.clear();
2157 AbstractScopesList.clear();
Bill Wendling2b128d72009-05-20 23:19:06 +00002158 Lines.clear();
Devang Patel0a2c0bc2009-12-01 18:13:48 +00002159
Bill Wendling2b128d72009-05-20 23:19:06 +00002160 if (TimePassesIsEnabled)
2161 DebugTimer->stopTimer();
2162}
2163
Devang Patel930143b2009-11-21 02:48:08 +00002164/// recordSourceLine - Records location information and associates it with a
Bill Wendling2b128d72009-05-20 23:19:06 +00002165/// label. Returns a unique label ID used to generate a label and provide
2166/// correspondence to the source line list.
Jim Grosbach042483e2009-11-21 23:12:12 +00002167unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patel2089d162009-10-05 18:03:19 +00002168 MDNode *S) {
Devang Patel80ae3492009-08-28 23:24:31 +00002169 if (!MMI)
2170 return 0;
2171
Bill Wendling2b128d72009-05-20 23:19:06 +00002172 if (TimePassesIsEnabled)
2173 DebugTimer->startTimer();
2174
Devang Patel2d9caf92009-11-25 17:36:49 +00002175 StringRef Dir;
2176 StringRef Fn;
Devang Patel2089d162009-10-05 18:03:19 +00002177
2178 DIDescriptor Scope(S);
2179 if (Scope.isCompileUnit()) {
2180 DICompileUnit CU(S);
2181 Dir = CU.getDirectory();
2182 Fn = CU.getFilename();
2183 } else if (Scope.isSubprogram()) {
2184 DISubprogram SP(S);
2185 Dir = SP.getDirectory();
2186 Fn = SP.getFilename();
2187 } else if (Scope.isLexicalBlock()) {
2188 DILexicalBlock DB(S);
2189 Dir = DB.getDirectory();
2190 Fn = DB.getFilename();
2191 } else
2192 assert (0 && "Unexpected scope info");
2193
2194 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendling2b128d72009-05-20 23:19:06 +00002195 unsigned ID = MMI->NextLabelID();
2196 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2197
2198 if (TimePassesIsEnabled)
2199 DebugTimer->stopTimer();
2200
2201 return ID;
2202}
2203
2204/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2205/// timed. Look up the source id with the given directory and source file
2206/// names. If none currently exists, create a new id and insert it in the
2207/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2208/// well.
2209unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2210 const std::string &FileName) {
2211 if (TimePassesIsEnabled)
2212 DebugTimer->startTimer();
2213
Devang Patelb2969422009-09-29 18:40:58 +00002214 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendling2b128d72009-05-20 23:19:06 +00002215
2216 if (TimePassesIsEnabled)
2217 DebugTimer->stopTimer();
2218
2219 return SrcId;
2220}
2221
Bill Wendling806535f2009-05-20 23:22:40 +00002222//===----------------------------------------------------------------------===//
2223// Emit Methods
2224//===----------------------------------------------------------------------===//
2225
Devang Patel930143b2009-11-21 02:48:08 +00002226/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling480ff322009-05-20 23:21:38 +00002227///
Jim Grosbach00e9c612009-11-22 19:20:36 +00002228unsigned
2229DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling480ff322009-05-20 23:21:38 +00002230 // Get the children.
2231 const std::vector<DIE *> &Children = Die->getChildren();
2232
2233 // If not last sibling and has children then add sibling offset attribute.
Devang Patel930143b2009-11-21 02:48:08 +00002234 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00002235
2236 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00002237 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00002238
2239 // Get the abbreviation for this DIE.
2240 unsigned AbbrevNumber = Die->getAbbrevNumber();
2241 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2242
2243 // Set DIE offset
2244 Die->setOffset(Offset);
2245
2246 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00002247 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002248
2249 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2250 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2251
2252 // Size the DIE attribute values.
2253 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2254 // Size attribute value.
2255 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2256
2257 // Size the DIE children if any.
2258 if (!Children.empty()) {
2259 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2260 "Children flag not set");
2261
2262 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002263 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling480ff322009-05-20 23:21:38 +00002264
2265 // End of children marker.
2266 Offset += sizeof(int8_t);
2267 }
2268
2269 Die->setSize(Offset - Die->getOffset());
2270 return Offset;
2271}
2272
Devang Patel930143b2009-11-21 02:48:08 +00002273/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling480ff322009-05-20 23:21:38 +00002274///
Devang Patel930143b2009-11-21 02:48:08 +00002275void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling480ff322009-05-20 23:21:38 +00002276 // Compute size of compile unit header.
2277 static unsigned Offset =
2278 sizeof(int32_t) + // Length of Compilation Unit Info
2279 sizeof(int16_t) + // DWARF version number
2280 sizeof(int32_t) + // Offset Into Abbrev. Section
2281 sizeof(int8_t); // Pointer Size (in bytes)
2282
Devang Patel930143b2009-11-21 02:48:08 +00002283 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel40d78412009-06-29 20:45:18 +00002284 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling480ff322009-05-20 23:21:38 +00002285}
2286
Devang Patel930143b2009-11-21 02:48:08 +00002287/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling480ff322009-05-20 23:21:38 +00002288/// tools to recognize the object file contains Dwarf information.
Devang Patel930143b2009-11-21 02:48:08 +00002289void DwarfDebug::emitInitial() {
Bill Wendling480ff322009-05-20 23:21:38 +00002290 // Check to see if we already emitted intial headers.
2291 if (didInitial) return;
2292 didInitial = true;
2293
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002294 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002295
Bill Wendling480ff322009-05-20 23:21:38 +00002296 // Dwarf sections base addresses.
Chris Lattnere9a75a62009-08-22 21:43:10 +00002297 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002298 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002299 EmitLabel("section_debug_frame", 0);
2300 }
2301
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002302 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002303 EmitLabel("section_info", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002304 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002305 EmitLabel("section_abbrev", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002306 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002307 EmitLabel("section_aranges", 0);
2308
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002309 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2310 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling480ff322009-05-20 23:21:38 +00002311 EmitLabel("section_macinfo", 0);
2312 }
2313
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002314 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002315 EmitLabel("section_line", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002316 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002317 EmitLabel("section_loc", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002318 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002319 EmitLabel("section_pubnames", 0);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002320 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2321 EmitLabel("section_pubtypes", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002322 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002323 EmitLabel("section_str", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002324 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002325 EmitLabel("section_ranges", 0);
2326
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002327 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002328 EmitLabel("text_begin", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002329 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002330 EmitLabel("data_begin", 0);
2331}
2332
Devang Patel930143b2009-11-21 02:48:08 +00002333/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling480ff322009-05-20 23:21:38 +00002334///
Devang Patel930143b2009-11-21 02:48:08 +00002335void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling480ff322009-05-20 23:21:38 +00002336 // Get the abbreviation for this DIE.
2337 unsigned AbbrevNumber = Die->getAbbrevNumber();
2338 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2339
2340 Asm->EOL();
2341
2342 // Emit the code (index) for the abbreviation.
2343 Asm->EmitULEB128Bytes(AbbrevNumber);
2344
Benjamin Kramer4d128a22010-01-17 07:46:39 +00002345 Asm->EOL("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2346 Twine::utohexstr(Die->getOffset()) + ":0x" +
2347 Twine::utohexstr(Die->getSize()) + " " +
2348 dwarf::TagString(Abbrev->getTag()));
Bill Wendling480ff322009-05-20 23:21:38 +00002349
2350 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2351 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2352
2353 // Emit the DIE attribute values.
2354 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2355 unsigned Attr = AbbrevData[i].getAttribute();
2356 unsigned Form = AbbrevData[i].getForm();
2357 assert(Form && "Too many attributes for DIE (check abbreviation)");
2358
2359 switch (Attr) {
2360 case dwarf::DW_AT_sibling:
Devang Patel930143b2009-11-21 02:48:08 +00002361 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002362 break;
2363 case dwarf::DW_AT_abstract_origin: {
2364 DIEEntry *E = cast<DIEEntry>(Values[i]);
2365 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002366 unsigned Addr = Origin->getOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00002367 Asm->EmitInt32(Addr);
2368 break;
2369 }
2370 default:
2371 // Emit an attribute using the defined form.
2372 Values[i]->EmitValue(this, Form);
2373 break;
2374 }
2375
2376 Asm->EOL(dwarf::AttributeString(Attr));
2377 }
2378
2379 // Emit the DIE children if any.
2380 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2381 const std::vector<DIE *> &Children = Die->getChildren();
2382
2383 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002384 emitDIE(Children[j]);
Bill Wendling480ff322009-05-20 23:21:38 +00002385
2386 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2387 }
2388}
2389
Devang Patel9ccfb642009-12-09 18:24:21 +00002390/// emitDebugInfo - Emit the debug info section.
Bill Wendling480ff322009-05-20 23:21:38 +00002391///
Devang Patel9ccfb642009-12-09 18:24:21 +00002392void DwarfDebug::emitDebugInfo() {
2393 // Start debug info section.
2394 Asm->OutStreamer.SwitchSection(
2395 Asm->getObjFileLowering().getDwarfInfoSection());
2396 DIE *Die = ModuleCU->getCUDie();
Bill Wendling480ff322009-05-20 23:21:38 +00002397
2398 // Emit the compile units header.
Devang Patel9ccfb642009-12-09 18:24:21 +00002399 EmitLabel("info_begin", ModuleCU->getID());
Bill Wendling480ff322009-05-20 23:21:38 +00002400
2401 // Emit size of content not including length itself
2402 unsigned ContentSize = Die->getSize() +
2403 sizeof(int16_t) + // DWARF version number
2404 sizeof(int32_t) + // Offset Into Abbrev. Section
2405 sizeof(int8_t) + // Pointer Size (in bytes)
2406 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2407
2408 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info");
2409 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2410 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2411 Asm->EOL("Offset Into Abbrev. Section");
2412 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2413
Devang Patel930143b2009-11-21 02:48:08 +00002414 emitDIE(Die);
Bill Wendling480ff322009-05-20 23:21:38 +00002415 // FIXME - extra padding for gdb bug.
2416 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2417 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2418 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2419 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
Devang Patel9ccfb642009-12-09 18:24:21 +00002420 EmitLabel("info_end", ModuleCU->getID());
Bill Wendling480ff322009-05-20 23:21:38 +00002421
2422 Asm->EOL();
Bill Wendling480ff322009-05-20 23:21:38 +00002423}
2424
Devang Patel930143b2009-11-21 02:48:08 +00002425/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling480ff322009-05-20 23:21:38 +00002426///
Devang Patel930143b2009-11-21 02:48:08 +00002427void DwarfDebug::emitAbbreviations() const {
Bill Wendling480ff322009-05-20 23:21:38 +00002428 // Check to see if it is worth the effort.
2429 if (!Abbreviations.empty()) {
2430 // Start the debug abbrev section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002431 Asm->OutStreamer.SwitchSection(
2432 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002433
2434 EmitLabel("abbrev_begin", 0);
2435
2436 // For each abbrevation.
2437 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2438 // Get abbreviation data
2439 const DIEAbbrev *Abbrev = Abbreviations[i];
2440
2441 // Emit the abbrevations code (base 1 index.)
2442 Asm->EmitULEB128Bytes(Abbrev->getNumber());
2443 Asm->EOL("Abbreviation Code");
2444
2445 // Emit the abbreviations data.
2446 Abbrev->Emit(Asm);
2447
2448 Asm->EOL();
2449 }
2450
2451 // Mark end of abbreviations.
2452 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2453
2454 EmitLabel("abbrev_end", 0);
2455 Asm->EOL();
2456 }
2457}
2458
Devang Patel930143b2009-11-21 02:48:08 +00002459/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling480ff322009-05-20 23:21:38 +00002460/// the line matrix.
2461///
Devang Patel930143b2009-11-21 02:48:08 +00002462void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00002463 // Define last address of section.
2464 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2465 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2466 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2467 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2468
2469 // Mark end of matrix.
2470 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2471 Asm->EmitULEB128Bytes(1); Asm->EOL();
2472 Asm->EmitInt8(1); Asm->EOL();
2473}
2474
Devang Patel930143b2009-11-21 02:48:08 +00002475/// emitDebugLines - Emit source line information.
Bill Wendling480ff322009-05-20 23:21:38 +00002476///
Devang Patel930143b2009-11-21 02:48:08 +00002477void DwarfDebug::emitDebugLines() {
Bill Wendling480ff322009-05-20 23:21:38 +00002478 // If the target is using .loc/.file, the assembler will be emitting the
2479 // .debug_line table automatically.
Chris Lattnere9a75a62009-08-22 21:43:10 +00002480 if (MAI->hasDotLocAndDotFile())
Bill Wendling480ff322009-05-20 23:21:38 +00002481 return;
2482
2483 // Minimum line delta, thus ranging from -10..(255-10).
2484 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2485 // Maximum line delta, thus ranging from -10..(255-10).
2486 const int MaxLineDelta = 255 + MinLineDelta;
2487
2488 // Start the dwarf line section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002489 Asm->OutStreamer.SwitchSection(
2490 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002491
2492 // Construct the section header.
2493 EmitDifference("line_end", 0, "line_begin", 0, true);
2494 Asm->EOL("Length of Source Line Info");
2495 EmitLabel("line_begin", 0);
2496
2497 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2498
2499 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2500 Asm->EOL("Prolog Length");
2501 EmitLabel("line_prolog_begin", 0);
2502
2503 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2504
2505 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2506
2507 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2508
2509 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2510
2511 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2512
2513 // Line number standard opcode encodings argument count
2514 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2515 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2516 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2517 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2518 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2519 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2520 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2521 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2522 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2523
2524 // Emit directories.
2525 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2526 Asm->EmitString(getSourceDirectoryName(DI));
2527 Asm->EOL("Directory");
2528 }
2529
2530 Asm->EmitInt8(0); Asm->EOL("End of directories");
2531
2532 // Emit files.
2533 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2534 // Remember source id starts at 1.
2535 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2536 Asm->EmitString(getSourceFileName(Id.second));
2537 Asm->EOL("Source");
2538 Asm->EmitULEB128Bytes(Id.first);
2539 Asm->EOL("Directory #");
2540 Asm->EmitULEB128Bytes(0);
2541 Asm->EOL("Mod date");
2542 Asm->EmitULEB128Bytes(0);
2543 Asm->EOL("File size");
2544 }
2545
2546 Asm->EmitInt8(0); Asm->EOL("End of files");
2547
2548 EmitLabel("line_prolog_end", 0);
2549
2550 // A sequence for each text section.
2551 unsigned SecSrcLinesSize = SectionSourceLines.size();
2552
2553 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2554 // Isolate current sections line info.
2555 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2556
Chris Lattner591105c2009-08-08 23:39:42 +00002557 /*if (Asm->isVerbose()) {
Chris Lattner4d2c0f92009-07-31 18:48:30 +00002558 const MCSection *S = SectionMap[j + 1];
Chris Lattnere9a75a62009-08-22 21:43:10 +00002559 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling480ff322009-05-20 23:21:38 +00002560 << S->getName() << '\n';
Chris Lattner591105c2009-08-08 23:39:42 +00002561 }*/
2562 Asm->EOL();
Bill Wendling480ff322009-05-20 23:21:38 +00002563
2564 // Dwarf assumes we start with first line of first source file.
2565 unsigned Source = 1;
2566 unsigned Line = 1;
2567
2568 // Construct rows of the address, source, line, column matrix.
2569 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2570 const SrcLineInfo &LineInfo = LineInfos[i];
2571 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2572 if (!LabelID) continue;
2573
Caroline Tice183a5192009-09-11 18:25:54 +00002574 if (LineInfo.getLine() == 0) continue;
2575
Bill Wendling480ff322009-05-20 23:21:38 +00002576 if (!Asm->isVerbose())
2577 Asm->EOL();
2578 else {
2579 std::pair<unsigned, unsigned> SourceID =
2580 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattnere9a75a62009-08-22 21:43:10 +00002581 O << '\t' << MAI->getCommentString() << ' '
Dan Gohman0891d752009-12-05 02:00:34 +00002582 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling480ff322009-05-20 23:21:38 +00002583 << getSourceFileName(SourceID.second)
Dan Gohman0891d752009-12-05 02:00:34 +00002584 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002585 }
2586
2587 // Define the line address.
2588 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2589 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2590 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2591 EmitReference("label", LabelID); Asm->EOL("Location label");
2592
2593 // If change of source, then switch to the new source.
2594 if (Source != LineInfo.getSourceID()) {
2595 Source = LineInfo.getSourceID();
2596 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2597 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2598 }
2599
2600 // If change of line.
2601 if (Line != LineInfo.getLine()) {
2602 // Determine offset.
2603 int Offset = LineInfo.getLine() - Line;
2604 int Delta = Offset - MinLineDelta;
2605
2606 // Update line.
2607 Line = LineInfo.getLine();
2608
2609 // If delta is small enough and in range...
2610 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2611 // ... then use fast opcode.
2612 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2613 } else {
2614 // ... otherwise use long hand.
2615 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2616 Asm->EOL("DW_LNS_advance_line");
2617 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2618 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2619 }
2620 } else {
2621 // Copy the previous row (different address or source)
2622 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2623 }
2624 }
2625
Devang Patel930143b2009-11-21 02:48:08 +00002626 emitEndOfLineMatrix(j + 1);
Bill Wendling480ff322009-05-20 23:21:38 +00002627 }
2628
2629 if (SecSrcLinesSize == 0)
2630 // Because we're emitting a debug_line section, we still need a line
2631 // table. The linker and friends expect it to exist. If there's nothing to
2632 // put into it, emit an empty table.
Devang Patel930143b2009-11-21 02:48:08 +00002633 emitEndOfLineMatrix(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002634
2635 EmitLabel("line_end", 0);
2636 Asm->EOL();
2637}
2638
Devang Patel930143b2009-11-21 02:48:08 +00002639/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling480ff322009-05-20 23:21:38 +00002640///
Devang Patel930143b2009-11-21 02:48:08 +00002641void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnere9a75a62009-08-22 21:43:10 +00002642 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002643 return;
2644
2645 int stackGrowth =
2646 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2647 TargetFrameInfo::StackGrowsUp ?
2648 TD->getPointerSize() : -TD->getPointerSize();
2649
2650 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002651 Asm->OutStreamer.SwitchSection(
2652 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002653
2654 EmitLabel("debug_frame_common", 0);
2655 EmitDifference("debug_frame_common_end", 0,
2656 "debug_frame_common_begin", 0, true);
2657 Asm->EOL("Length of Common Information Entry");
2658
2659 EmitLabel("debug_frame_common_begin", 0);
2660 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2661 Asm->EOL("CIE Identifier Tag");
2662 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2663 Asm->EOL("CIE Version");
2664 Asm->EmitString("");
2665 Asm->EOL("CIE Augmentation");
2666 Asm->EmitULEB128Bytes(1);
2667 Asm->EOL("CIE Code Alignment Factor");
2668 Asm->EmitSLEB128Bytes(stackGrowth);
2669 Asm->EOL("CIE Data Alignment Factor");
2670 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2671 Asm->EOL("CIE RA Column");
2672
2673 std::vector<MachineMove> Moves;
2674 RI->getInitialFrameState(Moves);
2675
2676 EmitFrameMoves(NULL, 0, Moves, false);
2677
2678 Asm->EmitAlignment(2, 0, 0, false);
2679 EmitLabel("debug_frame_common_end", 0);
2680
2681 Asm->EOL();
2682}
2683
Devang Patel930143b2009-11-21 02:48:08 +00002684/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling480ff322009-05-20 23:21:38 +00002685/// section.
2686void
Devang Patel930143b2009-11-21 02:48:08 +00002687DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattnere9a75a62009-08-22 21:43:10 +00002688 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002689 return;
2690
2691 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002692 Asm->OutStreamer.SwitchSection(
2693 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002694
2695 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2696 "debug_frame_begin", DebugFrameInfo.Number, true);
2697 Asm->EOL("Length of Frame Information Entry");
2698
2699 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2700
2701 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2702 0, 0, true, false);
2703 Asm->EOL("FDE CIE offset");
2704
2705 EmitReference("func_begin", DebugFrameInfo.Number);
2706 Asm->EOL("FDE initial location");
2707 EmitDifference("func_end", DebugFrameInfo.Number,
2708 "func_begin", DebugFrameInfo.Number);
2709 Asm->EOL("FDE address range");
2710
2711 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2712 false);
2713
2714 Asm->EmitAlignment(2, 0, 0, false);
2715 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2716
2717 Asm->EOL();
2718}
2719
Devang Patel9ccfb642009-12-09 18:24:21 +00002720/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2721///
2722void DwarfDebug::emitDebugPubNames() {
2723 // Start the dwarf pubnames section.
2724 Asm->OutStreamer.SwitchSection(
2725 Asm->getObjFileLowering().getDwarfPubNamesSection());
2726
2727 EmitDifference("pubnames_end", ModuleCU->getID(),
2728 "pubnames_begin", ModuleCU->getID(), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002729 Asm->EOL("Length of Public Names Info");
2730
Devang Patel9ccfb642009-12-09 18:24:21 +00002731 EmitLabel("pubnames_begin", ModuleCU->getID());
Bill Wendling480ff322009-05-20 23:21:38 +00002732
2733 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2734
2735 EmitSectionOffset("info_begin", "section_info",
Devang Patel9ccfb642009-12-09 18:24:21 +00002736 ModuleCU->getID(), 0, true, false);
Bill Wendling480ff322009-05-20 23:21:38 +00002737 Asm->EOL("Offset of Compilation Unit Info");
2738
Devang Patel9ccfb642009-12-09 18:24:21 +00002739 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
Bill Wendling480ff322009-05-20 23:21:38 +00002740 true);
2741 Asm->EOL("Compilation Unit Length");
2742
Devang Patel9ccfb642009-12-09 18:24:21 +00002743 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling480ff322009-05-20 23:21:38 +00002744 for (StringMap<DIE*>::const_iterator
2745 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2746 const char *Name = GI->getKeyData();
2747 DIE * Entity = GI->second;
2748
2749 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2750 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2751 }
2752
2753 Asm->EmitInt32(0); Asm->EOL("End Mark");
Devang Patel9ccfb642009-12-09 18:24:21 +00002754 EmitLabel("pubnames_end", ModuleCU->getID());
Bill Wendling480ff322009-05-20 23:21:38 +00002755
2756 Asm->EOL();
2757}
2758
Devang Patel04d2f2d2009-11-24 01:14:22 +00002759void DwarfDebug::emitDebugPubTypes() {
Devang Patelc8654eb2009-11-24 19:18:41 +00002760 // Start the dwarf pubnames section.
2761 Asm->OutStreamer.SwitchSection(
2762 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel04d2f2d2009-11-24 01:14:22 +00002763 EmitDifference("pubtypes_end", ModuleCU->getID(),
2764 "pubtypes_begin", ModuleCU->getID(), true);
2765 Asm->EOL("Length of Public Types Info");
2766
2767 EmitLabel("pubtypes_begin", ModuleCU->getID());
2768
2769 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2770
2771 EmitSectionOffset("info_begin", "section_info",
2772 ModuleCU->getID(), 0, true, false);
2773 Asm->EOL("Offset of Compilation ModuleCU Info");
2774
2775 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2776 true);
2777 Asm->EOL("Compilation ModuleCU Length");
2778
2779 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2780 for (StringMap<DIE*>::const_iterator
2781 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2782 const char *Name = GI->getKeyData();
2783 DIE * Entity = GI->second;
2784
2785 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2786 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2787 }
2788
2789 Asm->EmitInt32(0); Asm->EOL("End Mark");
2790 EmitLabel("pubtypes_end", ModuleCU->getID());
2791
2792 Asm->EOL();
2793}
2794
Devang Patel930143b2009-11-21 02:48:08 +00002795/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling480ff322009-05-20 23:21:38 +00002796///
Devang Patel930143b2009-11-21 02:48:08 +00002797void DwarfDebug::emitDebugStr() {
Bill Wendling480ff322009-05-20 23:21:38 +00002798 // Check to see if it is worth the effort.
2799 if (!StringPool.empty()) {
2800 // Start the dwarf str section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002801 Asm->OutStreamer.SwitchSection(
2802 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002803
2804 // For each of strings in the string pool.
2805 for (unsigned StringID = 1, N = StringPool.size();
2806 StringID <= N; ++StringID) {
2807 // Emit a label for reference from debug information entries.
2808 EmitLabel("string", StringID);
2809
2810 // Emit the string itself.
2811 const std::string &String = StringPool[StringID];
2812 Asm->EmitString(String); Asm->EOL();
2813 }
2814
2815 Asm->EOL();
2816 }
2817}
2818
Devang Patel930143b2009-11-21 02:48:08 +00002819/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling480ff322009-05-20 23:21:38 +00002820///
Devang Patel930143b2009-11-21 02:48:08 +00002821void DwarfDebug::emitDebugLoc() {
Bill Wendling480ff322009-05-20 23:21:38 +00002822 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002823 Asm->OutStreamer.SwitchSection(
2824 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002825 Asm->EOL();
2826}
2827
2828/// EmitDebugARanges - Emit visible names into a debug aranges section.
2829///
2830void DwarfDebug::EmitDebugARanges() {
2831 // Start the dwarf aranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002832 Asm->OutStreamer.SwitchSection(
2833 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002834
2835 // FIXME - Mock up
2836#if 0
2837 CompileUnit *Unit = GetBaseCompileUnit();
2838
2839 // Don't include size of length
2840 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2841
2842 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2843
2844 EmitReference("info_begin", Unit->getID());
2845 Asm->EOL("Offset of Compilation Unit Info");
2846
2847 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2848
2849 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2850
2851 Asm->EmitInt16(0); Asm->EOL("Pad (1)");
2852 Asm->EmitInt16(0); Asm->EOL("Pad (2)");
2853
2854 // Range 1
2855 EmitReference("text_begin", 0); Asm->EOL("Address");
2856 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2857
2858 Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2859 Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2860#endif
2861
2862 Asm->EOL();
2863}
2864
Devang Patel930143b2009-11-21 02:48:08 +00002865/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling480ff322009-05-20 23:21:38 +00002866///
Devang Patel930143b2009-11-21 02:48:08 +00002867void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002868 // Start the dwarf ranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002869 Asm->OutStreamer.SwitchSection(
2870 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002871 Asm->EOL();
2872}
2873
Devang Patel930143b2009-11-21 02:48:08 +00002874/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling480ff322009-05-20 23:21:38 +00002875///
Devang Patel930143b2009-11-21 02:48:08 +00002876void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002877 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00002878 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00002879 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002880 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00002881 Asm->EOL();
2882 }
2883}
2884
Devang Patel930143b2009-11-21 02:48:08 +00002885/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling480ff322009-05-20 23:21:38 +00002886/// Section Header:
2887/// 1. length of section
2888/// 2. Dwarf version number
2889/// 3. address size.
2890///
2891/// Entries (one "entry" for each function that was inlined):
2892///
2893/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2894/// otherwise offset into __debug_str for regular function name.
2895/// 2. offset into __debug_str section for regular function name.
2896/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2897/// instances for the function.
2898///
2899/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2900/// inlined instance; the die_offset points to the inlined_subroutine die in the
2901/// __debug_info section, and the low_pc is the starting address for the
2902/// inlining instance.
Devang Patel930143b2009-11-21 02:48:08 +00002903void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnere9a75a62009-08-22 21:43:10 +00002904 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002905 return;
2906
Devang Patel40d78412009-06-29 20:45:18 +00002907 if (!ModuleCU)
Bill Wendling480ff322009-05-20 23:21:38 +00002908 return;
2909
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002910 Asm->OutStreamer.SwitchSection(
2911 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002912 Asm->EOL();
2913 EmitDifference("debug_inlined_end", 1,
2914 "debug_inlined_begin", 1, true);
2915 Asm->EOL("Length of Debug Inlined Information Entry");
2916
2917 EmitLabel("debug_inlined_begin", 1);
2918
2919 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2920 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2921
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002922 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2923 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach042483e2009-11-21 23:12:12 +00002924
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002925 MDNode *Node = *I;
Devang Patel018b29b2010-01-19 06:19:05 +00002926 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach00e9c612009-11-22 19:20:36 +00002927 = InlineInfo.find(Node);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002928 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel80ae3492009-08-28 23:24:31 +00002929 DISubprogram SP(Node);
Devang Patel2d9caf92009-11-25 17:36:49 +00002930 StringRef LName = SP.getLinkageName();
2931 StringRef Name = SP.getName();
Bill Wendling480ff322009-05-20 23:21:38 +00002932
Devang Patel2d9caf92009-11-25 17:36:49 +00002933 if (LName.empty())
Devang Patelf281bf82009-07-16 01:01:22 +00002934 Asm->EmitString(Name);
Devang Patel43ef34d2010-01-05 01:46:14 +00002935 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002936 EmitSectionOffset("string", "section_str",
Devang Patel43ef34d2010-01-05 01:46:14 +00002937 StringPool.idFor(getRealLinkageName(LName)), false, true);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002938
Bill Wendling480ff322009-05-20 23:21:38 +00002939 Asm->EOL("MIPS linkage name");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002940 EmitSectionOffset("string", "section_str",
2941 StringPool.idFor(Name), false, true);
2942 Asm->EOL("Function name");
Bill Wendling480ff322009-05-20 23:21:38 +00002943 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2944
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002945 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling480ff322009-05-20 23:21:38 +00002946 LE = Labels.end(); LI != LE; ++LI) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002947 DIE *SP = LI->second;
Bill Wendling480ff322009-05-20 23:21:38 +00002948 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2949
2950 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattnere9a75a62009-08-22 21:43:10 +00002951 O << MAI->getData32bitsDirective();
Bill Wendling480ff322009-05-20 23:21:38 +00002952 else
Chris Lattnere9a75a62009-08-22 21:43:10 +00002953 O << MAI->getData64bitsDirective();
Bill Wendling480ff322009-05-20 23:21:38 +00002954
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002955 PrintLabelName("label", LI->first); Asm->EOL("low_pc");
Bill Wendling480ff322009-05-20 23:21:38 +00002956 }
2957 }
2958
2959 EmitLabel("debug_inlined_end", 1);
2960 Asm->EOL();
2961}