blob: 0b1a1960ff54e15b30413de69e9111af911996c4 [file] [log] [blame]
Bill Wendling0310d762009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
Devang Patele4b27562009-08-28 23:24:31 +000013#define DEBUG_TYPE "dwarfdebug"
Bill Wendling0310d762009-05-15 09:23:25 +000014#include "DwarfDebug.h"
15#include "llvm/Module.h"
David Greeneb2c66fc2009-08-19 21:52:55 +000016#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling0310d762009-05-15 09:23:25 +000017#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000018#include "llvm/MC/MCSection.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000019#include "llvm/MC/MCStreamer.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000020#include "llvm/MC/MCAsmInfo.h"
Bill Wendling0310d762009-05-15 09:23:25 +000021#include "llvm/Target/TargetData.h"
22#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000023#include "llvm/Target/TargetLoweringObjectFile.h"
24#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner23132b12009-08-24 03:52:50 +000025#include "llvm/ADT/StringExtras.h"
Daniel Dunbar6e4bdfc2009-10-13 06:47:08 +000026#include "llvm/Support/Debug.h"
27#include "llvm/Support/ErrorHandling.h"
Chris Lattner334fd1f2009-09-16 00:08:41 +000028#include "llvm/Support/Mangler.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000029#include "llvm/Support/Timer.h"
30#include "llvm/System/Path.h"
Bill Wendling0310d762009-05-15 09:23:25 +000031using namespace llvm;
32
33static TimerGroup &getDwarfTimerGroup() {
34 static TimerGroup DwarfTimerGroup("Dwarf Debugging");
35 return DwarfTimerGroup;
36}
37
38//===----------------------------------------------------------------------===//
39
40/// Configuration values for initial hash set sizes (log2).
41///
Bill Wendling0310d762009-05-15 09:23:25 +000042static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-05-15 09:23:25 +000043
44namespace llvm {
45
46//===----------------------------------------------------------------------===//
47/// CompileUnit - This dwarf writer support class manages information associate
48/// with a source file.
Nick Lewycky5f9843f2009-11-17 08:11:44 +000049class CompileUnit {
Bill Wendling0310d762009-05-15 09:23:25 +000050 /// ID - File identifier for source.
51 ///
52 unsigned ID;
53
54 /// Die - Compile unit debug information entry.
55 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000056 DIE *CUDie;
Bill Wendling0310d762009-05-15 09:23:25 +000057
Devang Patel6f01d9c2009-11-21 00:31:03 +000058 /// IndexTyDie - An anonymous type for index type.
59 DIE *IndexTyDie;
60
Bill Wendling0310d762009-05-15 09:23:25 +000061 /// GVToDieMap - Tracks the mapping of unit level debug informaton
62 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000063 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel017d1212009-11-20 21:37:22 +000064 ValueMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-05-15 09:23:25 +000065
66 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
67 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patele4b27562009-08-28 23:24:31 +000068 /// FIXME : Rename
Devang Patel017d1212009-11-20 21:37:22 +000069 ValueMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-05-15 09:23:25 +000070
71 /// Globals - A map of globally visible named entities for this unit.
72 ///
73 StringMap<DIE*> Globals;
74
Devang Patel193f7202009-11-24 01:14:22 +000075 /// GlobalTypes - A map of globally visible types for this unit.
76 ///
77 StringMap<DIE*> GlobalTypes;
78
Bill Wendling0310d762009-05-15 09:23:25 +000079public:
80 CompileUnit(unsigned I, DIE *D)
Devang Patel2c4ceb12009-11-21 02:48:08 +000081 : ID(I), CUDie(D), IndexTyDie(0) {}
82 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendling0310d762009-05-15 09:23:25 +000083
84 // Accessors.
Devang Patel193f7202009-11-24 01:14:22 +000085 unsigned getID() const { return ID; }
86 DIE* getCUDie() const { return CUDie; }
87 const StringMap<DIE*> &getGlobals() const { return Globals; }
88 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling0310d762009-05-15 09:23:25 +000089
90 /// hasContent - Return true if this compile unit has something to write out.
91 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000092 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +000093
Devang Patel2c4ceb12009-11-21 02:48:08 +000094 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +000095 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000096 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000097
Devang Patel193f7202009-11-24 01:14:22 +000098 /// addGlobalType - Add a new global type to the compile unit.
99 ///
100 void addGlobalType(const std::string &Name, DIE *Die) {
101 GlobalTypes[Name] = Die;
102 }
103
Devang Patel017d1212009-11-20 21:37:22 +0000104 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling0310d762009-05-15 09:23:25 +0000105 /// specified debug variable.
Devang Patel017d1212009-11-20 21:37:22 +0000106 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000107
Devang Patel017d1212009-11-20 21:37:22 +0000108 /// insertDIE - Insert DIE into the map.
109 void insertDIE(MDNode *N, DIE *D) {
110 GVToDieMap.insert(std::make_pair(N, D));
111 }
Bill Wendling0310d762009-05-15 09:23:25 +0000112
Devang Patel017d1212009-11-20 21:37:22 +0000113 /// getDIEEntry - Returns the debug information entry for the speciefied
114 /// debug variable.
115 DIEEntry *getDIEEntry(MDNode *N) { return GVToDIEEntryMap.lookup(N); }
116
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 Wendling0310d762009-05-15 09:23:25 +0000120 }
121
Devang Patel2c4ceb12009-11-21 02:48:08 +0000122 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +0000123 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000124 void addDie(DIE *Buffer) {
125 this->CUDie->addChild(Buffer);
Bill Wendling0310d762009-05-15 09:23:25 +0000126 }
Devang Patel6f01d9c2009-11-21 00:31:03 +0000127
128 // getIndexTyDie - Get an anonymous type for index type.
129 DIE *getIndexTyDie() {
130 return IndexTyDie;
131 }
132
Jim Grosbach7ab38df2009-11-22 19:20:36 +0000133 // setIndexTyDie - Set D as anonymous type for index which can be reused
134 // later.
Devang Patel6f01d9c2009-11-21 00:31:03 +0000135 void setIndexTyDie(DIE *D) {
136 IndexTyDie = D;
137 }
138
Bill Wendling0310d762009-05-15 09:23:25 +0000139};
140
141//===----------------------------------------------------------------------===//
142/// DbgVariable - This class is used to track local variable information.
143///
Devang Patelf76a3d62009-11-16 21:53:40 +0000144class DbgVariable {
Bill Wendling0310d762009-05-15 09:23:25 +0000145 DIVariable Var; // Variable Descriptor.
146 unsigned FrameIndex; // Variable frame index.
Devang Patel53bb5c92009-11-10 23:06:00 +0000147 DbgVariable *AbstractVar; // Abstract variable for this variable.
148 DIE *TheDIE;
Bill Wendling0310d762009-05-15 09:23:25 +0000149public:
Devang Patel53bb5c92009-11-10 23:06:00 +0000150 DbgVariable(DIVariable V, unsigned I)
151 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000152
153 // Accessors.
Devang Patel53bb5c92009-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 Wendling0310d762009-05-15 09:23:25 +0000160};
161
162//===----------------------------------------------------------------------===//
163/// DbgScope - This class is used to track scope information.
164///
Devang Patelf76a3d62009-11-16 21:53:40 +0000165class DbgScope {
Bill Wendling0310d762009-05-15 09:23:25 +0000166 DbgScope *Parent; // Parent to this scope.
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000167 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel53bb5c92009-11-10 23:06:00 +0000168 WeakVH InlinedAtLocation; // Location at which scope is inlined.
169 bool AbstractScope; // Abstract Scope
Bill Wendling0310d762009-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 Pateld38dd112009-10-01 18:25:23 +0000172 const MachineInstr *LastInsn; // Last instruction of this scope.
173 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000174 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
175 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000176
Owen Anderson04c05f72009-06-24 22:53:20 +0000177 // Private state for dump()
178 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000179public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000180 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000181 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000182 StartLabelID(0), EndLabelID(0),
Devang Patelc90aefe2009-10-14 21:08:09 +0000183 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000184 virtual ~DbgScope();
185
186 // Accessors.
187 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000188 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000189 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000190 MDNode *getInlinedAt() const {
Devang Patel53bb5c92009-11-10 23:06:00 +0000191 return dyn_cast_or_null<MDNode>(InlinedAtLocation);
Devang Patelc90aefe2009-10-14 21:08:09 +0000192 }
Devang Patel53bb5c92009-11-10 23:06:00 +0000193 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendling0310d762009-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 Wendling0310d762009-05-15 09:23:25 +0000198 void setStartLabelID(unsigned S) { StartLabelID = S; }
199 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Pateld38dd112009-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 Patel53bb5c92009-11-10 23:06:00 +0000203 void setAbstractScope() { AbstractScope = true; }
204 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000205 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000206
Devang Patel2c4ceb12009-11-21 02:48:08 +0000207 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000208 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000209 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000210
Devang Patel2c4ceb12009-11-21 02:48:08 +0000211 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000212 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000213 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000214
Devang Patel2c4ceb12009-11-21 02:48:08 +0000215 void fixInstructionMarkers() {
Devang Patelaf9e8472009-10-01 20:31:14 +0000216 assert (getFirstInsn() && "First instruction is missing!");
217 if (getLastInsn())
218 return;
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000219
Devang Patelaf9e8472009-10-01 20:31:14 +0000220 // If a scope does not have an instruction to mark an end then use
221 // the end of last child scope.
222 SmallVector<DbgScope *, 4> &Scopes = getScopes();
223 assert (!Scopes.empty() && "Inner most scope does not have last insn!");
224 DbgScope *L = Scopes.back();
225 if (!L->getLastInsn())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000226 L->fixInstructionMarkers();
Devang Patelaf9e8472009-10-01 20:31:14 +0000227 setLastInsn(L->getLastInsn());
228 }
229
Bill Wendling0310d762009-05-15 09:23:25 +0000230#ifndef NDEBUG
231 void dump() const;
232#endif
233};
234
235#ifndef NDEBUG
236void DbgScope::dump() const {
Chris Lattnerc281de12009-08-23 00:51:00 +0000237 raw_ostream &err = errs();
238 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000239 MDNode *N = Desc.getNode();
240 N->dump();
Chris Lattnerc281de12009-08-23 00:51:00 +0000241 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patel53bb5c92009-11-10 23:06:00 +0000242 if (AbstractScope)
243 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000244
245 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000246 if (!Scopes.empty())
247 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000248 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
249 if (Scopes[i] != this)
250 Scopes[i]->dump();
251
252 IndentLevel -= 2;
253}
254#endif
255
Bill Wendling0310d762009-05-15 09:23:25 +0000256DbgScope::~DbgScope() {
257 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
258 delete Scopes[i];
259 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
260 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000261}
262
263} // end llvm namespace
264
Chris Lattneraf76e592009-08-22 20:48:53 +0000265DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Devang Patel1dbc7712009-06-29 20:45:18 +0000266 : Dwarf(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000267 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patel2c4ceb12009-11-21 02:48:08 +0000268 DIEValues(), StringPool(),
Bill Wendling0310d762009-05-15 09:23:25 +0000269 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel53bb5c92009-11-10 23:06:00 +0000270 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendling0310d762009-05-15 09:23:25 +0000271 if (TimePassesIsEnabled)
272 DebugTimer = new Timer("Dwarf Debug Writer",
273 getDwarfTimerGroup());
274}
275DwarfDebug::~DwarfDebug() {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000276 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
277 delete DIEValues[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000278
Bill Wendling0310d762009-05-15 09:23:25 +0000279 delete DebugTimer;
280}
281
Devang Patel2c4ceb12009-11-21 02:48:08 +0000282/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000283///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000284void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000285 // Profile the node so that we can make it unique.
286 FoldingSetNodeID ID;
287 Abbrev.Profile(ID);
288
289 // Check the set for priors.
290 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
291
292 // If it's newly added.
293 if (InSet == &Abbrev) {
294 // Add to abbreviation list.
295 Abbreviations.push_back(&Abbrev);
296
297 // Assign the vector position + 1 as its number.
298 Abbrev.setNumber(Abbreviations.size());
299 } else {
300 // Assign existing abbreviation number.
301 Abbrev.setNumber(InSet->getNumber());
302 }
303}
304
Devang Patel2c4ceb12009-11-21 02:48:08 +0000305/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000306/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000307DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000308 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000309 DIEValues.push_back(Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000310 return Value;
311}
312
Devang Patel2c4ceb12009-11-21 02:48:08 +0000313/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000314///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000315void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000316 unsigned Form, uint64_t Integer) {
317 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000318 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000319 DIEValues.push_back(Value);
320 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000321}
322
Devang Patel2c4ceb12009-11-21 02:48:08 +0000323/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000324///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000325void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000326 unsigned Form, int64_t Integer) {
327 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000328 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000329 DIEValues.push_back(Value);
330 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000331}
332
Devang Patel69f57b12009-12-02 15:25:16 +0000333/// addString - Add a string attribute data and value. DIEString only
334/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000335void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Devang Patele9a05972009-11-24 19:42:17 +0000336 const StringRef String) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000337 DIEValue *Value = new DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000338 DIEValues.push_back(Value);
339 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000340}
341
Devang Patel2c4ceb12009-11-21 02:48:08 +0000342/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000343///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000344void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000345 const DWLabel &Label) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000346 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000347 DIEValues.push_back(Value);
348 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000349}
350
Devang Patel2c4ceb12009-11-21 02:48:08 +0000351/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000352///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000353void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000354 const std::string &Label) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000355 DIEValue *Value = new DIEObjectLabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000356 DIEValues.push_back(Value);
357 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000358}
359
Devang Patel2c4ceb12009-11-21 02:48:08 +0000360/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000361///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000362void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000363 const DWLabel &Label, const DWLabel &Section,
364 bool isEH, bool useSet) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000365 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000366 DIEValues.push_back(Value);
367 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000368}
369
Devang Patel2c4ceb12009-11-21 02:48:08 +0000370/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000371///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000372void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000373 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000374 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000375 DIEValues.push_back(Value);
376 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000377}
378
Devang Patel2c4ceb12009-11-21 02:48:08 +0000379/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000380///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000381void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000382 DIEBlock *Block) {
383 Block->ComputeSize(TD);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000384 DIEValues.push_back(Block);
385 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000386}
387
Devang Patel2c4ceb12009-11-21 02:48:08 +0000388/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000389/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000390void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000391 // If there is no compile unit specified, don't add a line #.
392 if (V->getCompileUnit().isNull())
393 return;
394
395 unsigned Line = V->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000396 unsigned FileID = findCompileUnit(V->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000397 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000398 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
399 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000400}
401
Devang Patel2c4ceb12009-11-21 02:48:08 +0000402/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000403/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000404void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000405 // If there is no compile unit specified, don't add a line #.
406 if (G->getCompileUnit().isNull())
407 return;
408
409 unsigned Line = G->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000410 unsigned FileID = findCompileUnit(G->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000411 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000412 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
413 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000414}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000415
Devang Patel2c4ceb12009-11-21 02:48:08 +0000416/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000417/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000418void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000419 // If there is no compile unit specified, don't add a line #.
420 if (SP->getCompileUnit().isNull())
421 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000422 // If the line number is 0, don't add it.
423 if (SP->getLineNumber() == 0)
424 return;
425
Devang Patel82dfc0c2009-08-31 22:47:13 +0000426
427 unsigned Line = SP->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000428 unsigned FileID = findCompileUnit(SP->getCompileUnit())->getID();
Devang Patel82dfc0c2009-08-31 22:47:13 +0000429 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000430 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
431 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000432}
433
Devang Patel2c4ceb12009-11-21 02:48:08 +0000434/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000435/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000436void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000437 // If there is no compile unit specified, don't add a line #.
438 DICompileUnit CU = Ty->getCompileUnit();
439 if (CU.isNull())
440 return;
441
442 unsigned Line = Ty->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000443 unsigned FileID = findCompileUnit(CU)->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000444 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000445 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
446 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000447}
448
Caroline Ticedc8f6042009-08-31 21:19:37 +0000449/* Byref variables, in Blocks, are declared by the programmer as
450 "SomeType VarName;", but the compiler creates a
451 __Block_byref_x_VarName struct, and gives the variable VarName
452 either the struct, or a pointer to the struct, as its type. This
453 is necessary for various behind-the-scenes things the compiler
454 needs to do with by-reference variables in blocks.
455
456 However, as far as the original *programmer* is concerned, the
457 variable should still have type 'SomeType', as originally declared.
458
459 The following function dives into the __Block_byref_x_VarName
460 struct to find the original type of the variable. This will be
461 passed back to the code generating the type for the Debug
462 Information Entry for the variable 'VarName'. 'VarName' will then
463 have the original type 'SomeType' in its debug information.
464
465 The original type 'SomeType' will be the type of the field named
466 'VarName' inside the __Block_byref_x_VarName struct.
467
468 NOTE: In order for this to not completely fail on the debugger
469 side, the Debug Information Entry for the variable VarName needs to
470 have a DW_AT_location that tells the debugger how to unwind through
471 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000472 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000473
474/// Find the type the programmer originally declared the variable to be
475/// and return that type.
476///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000477DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000478
479 DIType subType = Ty;
480 unsigned tag = Ty.getTag();
481
482 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000483 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000484 subType = DTy.getTypeDerivedFrom();
485 }
486
487 DICompositeType blockStruct = DICompositeType(subType.getNode());
488
489 DIArray Elements = blockStruct.getTypeArray();
490
491 if (Elements.isNull())
492 return Ty;
493
494 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
495 DIDescriptor Element = Elements.getElement(i);
496 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000497 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000498 return (DT.getTypeDerivedFrom());
499 }
500
501 return Ty;
502}
503
Devang Patel2c4ceb12009-11-21 02:48:08 +0000504/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000505/// and generate the DWARF information necessary to find the actual variable
506/// given the extra address information encoded in the DIVariable, starting from
507/// the starting location. Add the DWARF information to the die.
508///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000509void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000510 unsigned Attribute,
511 const MachineLocation &Location) {
512 const DIVariable &VD = DV->getVariable();
513 DIType Ty = VD.getType();
514
515 // Decode the original location, and use that as the start of the byref
516 // variable's location.
517 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
518 DIEBlock *Block = new DIEBlock();
519
520 if (Location.isReg()) {
521 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000522 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000523 } else {
524 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000525 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
526 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000527 }
528 } else {
529 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000530 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000531 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000532 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
533 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000534 }
535
Devang Patel2c4ceb12009-11-21 02:48:08 +0000536 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000537 }
538
539 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
540 uint64_t Element = VD.getAddrElement(i);
541
542 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000543 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
544 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000545 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000546 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000547 } else llvm_unreachable("unknown DIFactory Opcode");
548 }
549
550 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000551 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000552}
553
Caroline Ticedc8f6042009-08-31 21:19:37 +0000554/* Byref variables, in Blocks, are declared by the programmer as "SomeType
555 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
556 gives the variable VarName either the struct, or a pointer to the struct, as
557 its type. This is necessary for various behind-the-scenes things the
558 compiler needs to do with by-reference variables in Blocks.
559
560 However, as far as the original *programmer* is concerned, the variable
561 should still have type 'SomeType', as originally declared.
562
Devang Patel2c4ceb12009-11-21 02:48:08 +0000563 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000564 struct to find the original type of the variable, which is then assigned to
565 the variable's Debug Information Entry as its real type. So far, so good.
566 However now the debugger will expect the variable VarName to have the type
567 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000568 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000569 pointers and struct to find the actual variable of type SomeType.
570
571 The following function does just that. We start by getting
572 the "normal" location for the variable. This will be the location
573 of either the struct __Block_byref_x_VarName or the pointer to the
574 struct __Block_byref_x_VarName.
575
576 The struct will look something like:
577
578 struct __Block_byref_x_VarName {
579 ... <various fields>
580 struct __Block_byref_x_VarName *forwarding;
581 ... <various other fields>
582 SomeType VarName;
583 ... <maybe more fields>
584 };
585
586 If we are given the struct directly (as our starting point) we
587 need to tell the debugger to:
588
589 1). Add the offset of the forwarding field.
590
591 2). Follow that pointer to get the the real __Block_byref_x_VarName
592 struct to use (the real one may have been copied onto the heap).
593
594 3). Add the offset for the field VarName, to find the actual variable.
595
596 If we started with a pointer to the struct, then we need to
597 dereference that pointer first, before the other steps.
598 Translating this into DWARF ops, we will need to append the following
599 to the current location description for the variable:
600
601 DW_OP_deref -- optional, if we start with a pointer
602 DW_OP_plus_uconst <forward_fld_offset>
603 DW_OP_deref
604 DW_OP_plus_uconst <varName_fld_offset>
605
606 That is what this function does. */
607
Devang Patel2c4ceb12009-11-21 02:48:08 +0000608/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000609/// provided, and generate the DWARF information necessary to find the
610/// actual Block variable (navigating the Block struct) based on the
611/// starting location. Add the DWARF information to the die. For
612/// more information, read large comment just above here.
613///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000614void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000615 unsigned Attribute,
616 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000617 const DIVariable &VD = DV->getVariable();
618 DIType Ty = VD.getType();
619 DIType TmpTy = Ty;
620 unsigned Tag = Ty.getTag();
621 bool isPointer = false;
622
Devang Patel65dbc902009-11-25 17:36:49 +0000623 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000624
625 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000626 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000627 TmpTy = DTy.getTypeDerivedFrom();
628 isPointer = true;
629 }
630
631 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
632
Daniel Dunbar00564992009-09-19 20:40:14 +0000633 // Find the __forwarding field and the variable field in the __Block_byref
634 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000635 DIArray Fields = blockStruct.getTypeArray();
636 DIDescriptor varField = DIDescriptor();
637 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000638
639
Daniel Dunbar00564992009-09-19 20:40:14 +0000640 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
641 DIDescriptor Element = Fields.getElement(i);
642 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000643 StringRef fieldName = DT.getName();
644 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000645 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000646 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000647 varField = Element;
648 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000649
Mike Stump7e3720d2009-09-24 23:21:26 +0000650 assert(!varField.isNull() && "Can't find byref variable in Block struct");
651 assert(!forwardingField.isNull()
652 && "Can't find forwarding field in Block struct");
Caroline Ticedc8f6042009-08-31 21:19:37 +0000653
Daniel Dunbar00564992009-09-19 20:40:14 +0000654 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar00564992009-09-19 20:40:14 +0000655 unsigned int forwardingFieldOffset =
656 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
657 unsigned int varFieldOffset =
658 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000659
Mike Stump7e3720d2009-09-24 23:21:26 +0000660 // Decode the original location, and use that as the start of the byref
661 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000662 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
663 DIEBlock *Block = new DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000664
Daniel Dunbar00564992009-09-19 20:40:14 +0000665 if (Location.isReg()) {
666 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000667 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000668 else {
669 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000670 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
671 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000672 }
673 } else {
674 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000675 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000676 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000677 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
678 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000679 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000680
Devang Patel2c4ceb12009-11-21 02:48:08 +0000681 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000682 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000683
Mike Stump7e3720d2009-09-24 23:21:26 +0000684 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000685 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000686 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000687 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000688
Daniel Dunbar00564992009-09-19 20:40:14 +0000689 // Next add the offset for the '__forwarding' field:
690 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
691 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000692 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000693 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
694 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000695 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000696
Daniel Dunbar00564992009-09-19 20:40:14 +0000697 // Now dereference the __forwarding field to get to the real __Block_byref
698 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000699 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000700
Daniel Dunbar00564992009-09-19 20:40:14 +0000701 // Now that we've got the real __Block_byref... struct, add the offset
702 // for the variable's field to get to the location of the actual variable:
703 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000704 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
706 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000707 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000708
Daniel Dunbar00564992009-09-19 20:40:14 +0000709 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000710 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000711}
712
Devang Patel2c4ceb12009-11-21 02:48:08 +0000713/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000714/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000715void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000716 const MachineLocation &Location) {
717 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
718 DIEBlock *Block = new DIEBlock();
719
720 if (Location.isReg()) {
721 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000722 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000723 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000724 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
725 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000726 }
727 } else {
728 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000730 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000731 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
732 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000733 }
734
Devang Patel2c4ceb12009-11-21 02:48:08 +0000735 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000736 }
737
Devang Patel2c4ceb12009-11-21 02:48:08 +0000738 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000739}
740
Devang Patelc366f832009-12-10 19:14:49 +0000741/// addToContextOwner - Add Die into the list of its context owner's children.
742void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
743 if (Context.isNull())
744 ModuleCU->addDie(Die);
745 else if (Context.isType()) {
746 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
747 ContextDIE->addChild(Die);
748 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
749 ContextDIE->addChild(Die);
750 else
751 ModuleCU->addDie(Die);
752}
753
Devang Patel16ced732009-12-10 18:05:33 +0000754/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
755/// given DIType.
756DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
757 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
758 if (TyDIE)
759 return TyDIE;
760
761 // Create new type.
762 TyDIE = new DIE(dwarf::DW_TAG_base_type);
763 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
764 if (Ty.isBasicType())
765 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
766 else if (Ty.isCompositeType())
767 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
768 else {
769 assert(Ty.isDerivedType() && "Unknown kind of DIType");
770 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
771 }
772
Devang Patelc366f832009-12-10 19:14:49 +0000773 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000774 return TyDIE;
775}
776
Devang Patel2c4ceb12009-11-21 02:48:08 +0000777/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000778void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000779 if (Ty.isNull())
780 return;
781
782 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000783 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000784
785 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000786 if (Entry) {
787 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000788 return;
789 }
790
791 // Set up proxy.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000792 Entry = createDIEEntry();
Devang Patel8a241142009-12-09 18:24:21 +0000793 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000794
795 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000796 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000797
Devang Patel2c4ceb12009-11-21 02:48:08 +0000798 Entry->setEntry(Buffer);
799 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000800}
801
Devang Patel2c4ceb12009-11-21 02:48:08 +0000802/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000803void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000804 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000805 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000806 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000807 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000808 BTy.getEncoding());
809
810 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000811 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000812 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000813 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000814 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000815}
816
Devang Patel2c4ceb12009-11-21 02:48:08 +0000817/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000818void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000819 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000820 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000821 uint64_t Size = DTy.getSizeInBits() >> 3;
822 unsigned Tag = DTy.getTag();
823
824 // FIXME - Workaround for templates.
825 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
826
827 Buffer.setTag(Tag);
828
829 // Map to main type, void will not have a type.
830 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000831 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000832
833 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000834 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000835 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000836
837 // Add size if non-zero (derived types might be zero-sized.)
838 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000839 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000840
841 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000842 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000843 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000844}
845
Devang Patel2c4ceb12009-11-21 02:48:08 +0000846/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000847void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000848 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000849 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000850
851 uint64_t Size = CTy.getSizeInBits() >> 3;
852 unsigned Tag = CTy.getTag();
853 Buffer.setTag(Tag);
854
855 switch (Tag) {
856 case dwarf::DW_TAG_vector_type:
857 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000858 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000859 break;
860 case dwarf::DW_TAG_enumeration_type: {
861 DIArray Elements = CTy.getTypeArray();
862
863 // Add enumerators to enumeration type.
864 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
865 DIE *ElemDie = NULL;
Devang Patele4b27562009-08-28 23:24:31 +0000866 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelc5254722009-10-09 17:51:49 +0000867 if (!Enum.isNull()) {
Devang Patel8a241142009-12-09 18:24:21 +0000868 ElemDie = constructEnumTypeDIE(&Enum);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000869 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000870 }
Bill Wendling0310d762009-05-15 09:23:25 +0000871 }
872 }
873 break;
874 case dwarf::DW_TAG_subroutine_type: {
875 // Add return type.
876 DIArray Elements = CTy.getTypeArray();
877 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000878 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000879
880 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000881 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000882
883 // Add arguments.
884 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
885 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
886 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000887 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000888 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000889 }
890 }
891 break;
892 case dwarf::DW_TAG_structure_type:
893 case dwarf::DW_TAG_union_type:
894 case dwarf::DW_TAG_class_type: {
895 // Add elements to structure type.
896 DIArray Elements = CTy.getTypeArray();
897
898 // A forward struct declared type may not have elements available.
899 if (Elements.isNull())
900 break;
901
902 // Add elements to structure type.
903 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
904 DIDescriptor Element = Elements.getElement(i);
Devang Patele4b27562009-08-28 23:24:31 +0000905 if (Element.isNull())
906 continue;
Bill Wendling0310d762009-05-15 09:23:25 +0000907 DIE *ElemDie = NULL;
908 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patel8a241142009-12-09 18:24:21 +0000909 ElemDie = createMemberSubprogramDIE(DISubprogram(Element.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000910 else
Devang Patel8a241142009-12-09 18:24:21 +0000911 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000912 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000913 }
914
Devang Patela1ba2692009-08-27 23:51:51 +0000915 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000916 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000917
918 unsigned RLang = CTy.getRunTimeLang();
919 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000920 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000921 dwarf::DW_FORM_data1, RLang);
922 break;
923 }
924 default:
925 break;
926 }
927
928 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000929 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000930 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000931
932 if (Tag == dwarf::DW_TAG_enumeration_type ||
933 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
934 // Add size if non-zero (derived types might be zero-sized.)
935 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000936 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000937 else {
938 // Add zero size if it is not a forward declaration.
939 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000940 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000941 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000942 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000943 }
944
945 // Add source line info if available.
946 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000947 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000948 }
949}
950
Devang Patel2c4ceb12009-11-21 02:48:08 +0000951/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
952void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +0000953 int64_t L = SR.getLo();
954 int64_t H = SR.getHi();
955 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
956
Devang Patel2c4ceb12009-11-21 02:48:08 +0000957 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +0000958 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000959 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +0000960 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +0000961
Devang Patel2c4ceb12009-11-21 02:48:08 +0000962 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +0000963}
964
Devang Patel2c4ceb12009-11-21 02:48:08 +0000965/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000966void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000967 DICompositeType *CTy) {
968 Buffer.setTag(dwarf::DW_TAG_array_type);
969 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000970 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000971
972 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +0000973 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +0000974 DIArray Elements = CTy->getTypeArray();
975
Devang Patel6f01d9c2009-11-21 00:31:03 +0000976 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +0000977 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +0000978 if (!IdxTy) {
979 // Construct an anonymous type for index type.
980 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000981 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
982 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +0000983 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +0000984 ModuleCU->addDie(IdxTy);
985 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000986 }
Bill Wendling0310d762009-05-15 09:23:25 +0000987
988 // Add subranges to array type.
989 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
990 DIDescriptor Element = Elements.getElement(i);
991 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000992 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000993 }
994}
995
Devang Patel2c4ceb12009-11-21 02:48:08 +0000996/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel8a241142009-12-09 18:24:21 +0000997DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator *ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000998 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel65dbc902009-11-25 17:36:49 +0000999 StringRef Name = ETy->getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001000 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +00001001 int64_t Value = ETy->getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001002 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001003 return Enumerator;
1004}
1005
Devang Patel2c4ceb12009-11-21 02:48:08 +00001006/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001007DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001008 // If the global variable was optmized out then no need to create debug info
1009 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001010 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001011 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001012
Bill Wendling0310d762009-05-15 09:23:25 +00001013 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001014 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001015 GV.getDisplayName());
1016
Devang Patel65dbc902009-11-25 17:36:49 +00001017 StringRef LinkageName = GV.getLinkageName();
1018 if (!LinkageName.empty()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001019 // Skip special LLVM prefix that is used to inform the asm printer to not
1020 // emit usual symbol prefix before the symbol name. This happens for
1021 // Objective-C symbol names and symbol whose name is replaced using GCC's
1022 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00001023 if (LinkageName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00001024 LinkageName = LinkageName.substr(1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001025 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel1a8d2d22009-07-14 00:55:28 +00001026 LinkageName);
Devang Patel53cb17d2009-07-16 01:01:22 +00001027 }
Devang Patel8a241142009-12-09 18:24:21 +00001028 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001029 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001030 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1031 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001032
1033 // Add address.
1034 DIEBlock *Block = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001035 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1036 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Devang Patelb71a16d2009-10-05 23:22:08 +00001037 Asm->Mang->getMangledName(GV.getGlobal()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001038 addBlock(GVDie, dwarf::DW_AT_location, 0, Block);
Devang Patelb71a16d2009-10-05 23:22:08 +00001039
Bill Wendling0310d762009-05-15 09:23:25 +00001040 return GVDie;
1041}
1042
Devang Patel2c4ceb12009-11-21 02:48:08 +00001043/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001044DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001045 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001046 StringRef Name = DT.getName();
1047 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001048 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001049
Devang Patel8a241142009-12-09 18:24:21 +00001050 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001051
Devang Patel2c4ceb12009-11-21 02:48:08 +00001052 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001053
Devang Patel33db5082009-11-04 22:06:12 +00001054 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001055 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001056
Bill Wendling0310d762009-05-15 09:23:25 +00001057 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001058 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001059
1060 if (Size != FieldSize) {
1061 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001062 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1063 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001064
1065 uint64_t Offset = DT.getOffsetInBits();
1066 uint64_t FieldOffset = Offset;
1067 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1068 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1069 FieldOffset = (HiMark - FieldSize);
1070 Offset -= FieldOffset;
1071
1072 // Maybe we need to work from the other end.
1073 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001074 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001075
Devang Patel33db5082009-11-04 22:06:12 +00001076 // Here WD_AT_data_member_location points to the anonymous
1077 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001078 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001079
1080 } else
1081 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001082 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001083
Devang Patel2c4ceb12009-11-21 02:48:08 +00001084 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001085
1086 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001087 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001088 dwarf::DW_ACCESS_protected);
1089 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001090 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001091 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001092 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1093 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1094 dwarf::DW_ACCESS_public);
1095 if (DT.isVirtual())
1096 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1097 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001098 return MemberDie;
1099}
1100
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001101/// createRawSubprogramDIE - Create new partially incomplete DIE. This is
1102/// a helper routine used by createMemberSubprogramDIE and
1103/// createSubprogramDIE.
Devang Patel8a241142009-12-09 18:24:21 +00001104DIE *DwarfDebug::createRawSubprogramDIE(const DISubprogram &SP) {
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001105 DIE *SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel65dbc902009-11-25 17:36:49 +00001106 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001107
Devang Patel65dbc902009-11-25 17:36:49 +00001108 StringRef LinkageName = SP.getLinkageName();
1109 if (!LinkageName.empty()) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001110 // Skip special LLVM prefix that is used to inform the asm printer to not
1111 // emit usual symbol prefix before the symbol name. This happens for
1112 // Objective-C symbol names and symbol whose name is replaced using GCC's
1113 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00001114 if (LinkageName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00001115 LinkageName = LinkageName.substr(1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001116 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel1a8d2d22009-07-14 00:55:28 +00001117 LinkageName);
Devang Patel53cb17d2009-07-16 01:01:22 +00001118 }
Devang Patel2c4ceb12009-11-21 02:48:08 +00001119 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001120
Bill Wendling0310d762009-05-15 09:23:25 +00001121 // Add prototyped tag, if C or ObjC.
1122 unsigned Lang = SP.getCompileUnit().getLanguage();
1123 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1124 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001125 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001126
1127 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001128 DICompositeType SPTy = SP.getType();
1129 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001130 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001131
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001132 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001133 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001134 else
Devang Patel8a241142009-12-09 18:24:21 +00001135 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001136
Devang Patel5d11eb02009-12-03 19:11:07 +00001137 unsigned VK = SP.getVirtuality();
1138 if (VK) {
1139 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1140 DIEBlock *Block = new DIEBlock();
1141 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1142 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1143 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
1144 ContainingTypeMap.insert(std::make_pair(SPDie, WeakVH(SP.getContainingType().getNode())));
1145 }
1146
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001147 return SPDie;
1148}
1149
1150/// createMemberSubprogramDIE - Create new member DIE using SP. This routine
1151/// always returns a die with DW_AT_declaration attribute.
Devang Patel8a241142009-12-09 18:24:21 +00001152DIE *DwarfDebug::createMemberSubprogramDIE(const DISubprogram &SP) {
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001153 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1154 if (!SPDie)
Devang Patel8a241142009-12-09 18:24:21 +00001155 SPDie = createSubprogramDIE(SP);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001156
1157 // If SPDie has DW_AT_declaration then reuse it.
1158 if (!SP.isDefinition())
1159 return SPDie;
1160
1161 // Otherwise create new DIE for the declaration. First push definition
1162 // DIE at the top level.
1163 if (TopLevelDIEs.insert(SPDie))
1164 TopLevelDIEsVector.push_back(SPDie);
1165
Devang Patel8a241142009-12-09 18:24:21 +00001166 SPDie = createRawSubprogramDIE(SP);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001167
1168 // Add arguments.
1169 DICompositeType SPTy = SP.getType();
1170 DIArray Args = SPTy.getTypeArray();
1171 unsigned SPTag = SPTy.getTag();
1172 if (SPTag == dwarf::DW_TAG_subroutine_type)
1173 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1174 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel8a241142009-12-09 18:24:21 +00001175 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001176 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1177 SPDie->addChild(Arg);
1178 }
1179
1180 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1181 return SPDie;
1182}
1183
1184/// createSubprogramDIE - Create new DIE using SP.
Devang Patel8a241142009-12-09 18:24:21 +00001185DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP) {
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001186 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1187 if (SPDie)
1188 return SPDie;
1189
Devang Patel8a241142009-12-09 18:24:21 +00001190 SPDie = createRawSubprogramDIE(SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001191
1192 if (!SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001193 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001194
1195 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001196 // be handled while processing variables.
1197 DICompositeType SPTy = SP.getType();
1198 DIArray Args = SPTy.getTypeArray();
1199 unsigned SPTag = SPTy.getTag();
1200
Bill Wendling0310d762009-05-15 09:23:25 +00001201 if (SPTag == dwarf::DW_TAG_subroutine_type)
1202 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1203 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel8a241142009-12-09 18:24:21 +00001204 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001205 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1206 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001207 }
1208 }
1209
Bill Wendling0310d762009-05-15 09:23:25 +00001210 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001211 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001212 return SPDie;
1213}
1214
Devang Patel2c4ceb12009-11-21 02:48:08 +00001215/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling0310d762009-05-15 09:23:25 +00001216///
Devang Pateld037d7a2009-12-11 21:37:07 +00001217CompileUnit *DwarfDebug::findCompileUnit(DICompileUnit Unit) {
Bill Wendling0310d762009-05-15 09:23:25 +00001218 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patele4b27562009-08-28 23:24:31 +00001219 CompileUnitMap.find(Unit.getNode());
Devang Pateld037d7a2009-12-11 21:37:07 +00001220 if (I == CompileUnitMap.end())
1221 return constructCompileUnit(Unit.getNode());
1222 return I->second;
Bill Wendling0310d762009-05-15 09:23:25 +00001223}
1224
Devang Patel53bb5c92009-11-10 23:06:00 +00001225/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1226/// Initialize scope and update scope hierarchy.
1227DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1228 MDNode *InlinedAt) {
1229 assert (N && "Invalid Scope encoding!");
1230 assert (MI && "Missing machine instruction!");
1231 bool GetConcreteScope = (MI && InlinedAt);
1232
1233 DbgScope *NScope = NULL;
1234
1235 if (InlinedAt)
1236 NScope = DbgScopeMap.lookup(InlinedAt);
1237 else
1238 NScope = DbgScopeMap.lookup(N);
1239 assert (NScope && "Unable to find working scope!");
1240
1241 if (NScope->getFirstInsn())
1242 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001243
1244 DbgScope *Parent = NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001245 if (GetConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001246 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001247 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001248 IL.getOrigLocation().getNode());
1249 assert (Parent && "Unable to find Parent scope!");
1250 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001251 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001252 } else if (DIDescriptor(N).isLexicalBlock()) {
1253 DILexicalBlock DB(N);
1254 if (!DB.getContext().isNull()) {
1255 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1256 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001257 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001258 }
Devang Patelc90aefe2009-10-14 21:08:09 +00001259 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001260
Devang Patelbdf45cb2009-10-27 20:47:17 +00001261 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001262
Devang Patel53bb5c92009-11-10 23:06:00 +00001263 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001264 StringRef SPName = DISubprogram(N).getLinkageName();
1265 if (SPName == MF->getFunction()->getName())
1266 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001267 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001268
Devang Patel53bb5c92009-11-10 23:06:00 +00001269 if (GetConcreteScope) {
1270 ConcreteScopes[InlinedAt] = NScope;
1271 getOrCreateAbstractScope(N);
1272 }
1273
Devang Patelbdf45cb2009-10-27 20:47:17 +00001274 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001275}
1276
Devang Patel53bb5c92009-11-10 23:06:00 +00001277DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1278 assert (N && "Invalid Scope encoding!");
1279
1280 DbgScope *AScope = AbstractScopes.lookup(N);
1281 if (AScope)
1282 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001283
Devang Patel53bb5c92009-11-10 23:06:00 +00001284 DbgScope *Parent = NULL;
1285
1286 DIDescriptor Scope(N);
1287 if (Scope.isLexicalBlock()) {
1288 DILexicalBlock DB(N);
1289 DIDescriptor ParentDesc = DB.getContext();
1290 if (!ParentDesc.isNull())
1291 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1292 }
1293
1294 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1295
1296 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001297 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001298 AScope->setAbstractScope();
1299 AbstractScopes[N] = AScope;
1300 if (DIDescriptor(N).isSubprogram())
1301 AbstractScopesList.push_back(AScope);
1302 return AScope;
1303}
Devang Patelaf9e8472009-10-01 20:31:14 +00001304
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001305/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001306/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1307/// If there are global variables in this scope then create and insert
1308/// DIEs for these variables.
1309DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001310
Devang Patel017d1212009-11-20 21:37:22 +00001311 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel53bb5c92009-11-10 23:06:00 +00001312 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001313 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001314 DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001315 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001316 DWLabel("func_end", SubprogramCount));
1317 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001318 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001319
Devang Patel53bb5c92009-11-10 23:06:00 +00001320 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001321 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001322
Devang Patel53bb5c92009-11-10 23:06:00 +00001323 return SPDie;
1324}
1325
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001326/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001327/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1328DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001329 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1330 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1331
1332 // Ignore empty scopes.
1333 if (StartID == EndID && StartID != 0)
1334 return NULL;
1335
1336 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1337 if (Scope->isAbstractScope())
1338 return ScopeDIE;
1339
Devang Patel2c4ceb12009-11-21 02:48:08 +00001340 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001341 StartID ?
1342 DWLabel("label", StartID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001343 : DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001344 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001345 EndID ?
1346 DWLabel("label", EndID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001347 : DWLabel("func_end", SubprogramCount));
1348
1349
1350
1351 return ScopeDIE;
1352}
1353
Devang Patel2c4ceb12009-11-21 02:48:08 +00001354/// constructInlinedScopeDIE - This scope represents inlined body of
1355/// a function. Construct DIE to represent this concrete inlined copy
1356/// of the function.
1357DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001358 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1359 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1360 assert (StartID && "Invalid starting label for an inlined scope!");
1361 assert (EndID && "Invalid end label for an inlined scope!");
1362 // Ignore empty scopes.
1363 if (StartID == EndID && StartID != 0)
1364 return NULL;
1365
1366 DIScope DS(Scope->getScopeNode());
1367 if (DS.isNull())
1368 return NULL;
1369 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1370
1371 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001372 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001373 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001374 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001375 dwarf::DW_FORM_ref4, OriginDIE);
1376
Devang Patel2c4ceb12009-11-21 02:48:08 +00001377 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001378 DWLabel("label", StartID));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001379 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001380 DWLabel("label", EndID));
1381
1382 InlinedSubprogramDIEs.insert(OriginDIE);
1383
1384 // Track the start label for this inlined function.
1385 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
1386 I = InlineInfo.find(InlinedSP.getNode());
1387
1388 if (I == InlineInfo.end()) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001389 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1390 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001391 InlinedSPNodes.push_back(InlinedSP.getNode());
1392 } else
1393 I->second.push_back(std::make_pair(StartID, ScopeDIE));
1394
1395 StringPool.insert(InlinedSP.getName());
1396 StringPool.insert(InlinedSP.getLinkageName());
1397 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001398 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1399 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001400
1401 return ScopeDIE;
1402}
1403
Devang Patel2c4ceb12009-11-21 02:48:08 +00001404
1405/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001406DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001407 // Get the descriptor.
1408 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001409 StringRef Name = VD.getName();
1410 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001411 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001412
1413 // Translate tag to proper Dwarf tag. The result variable is dropped for
1414 // now.
1415 unsigned Tag;
1416 switch (VD.getTag()) {
1417 case dwarf::DW_TAG_return_variable:
1418 return NULL;
1419 case dwarf::DW_TAG_arg_variable:
1420 Tag = dwarf::DW_TAG_formal_parameter;
1421 break;
1422 case dwarf::DW_TAG_auto_variable: // fall thru
1423 default:
1424 Tag = dwarf::DW_TAG_variable;
1425 break;
1426 }
1427
1428 // Define variable debug information entry.
1429 DIE *VariableDie = new DIE(Tag);
1430
1431
1432 DIE *AbsDIE = NULL;
1433 if (DbgVariable *AV = DV->getAbstractVariable())
1434 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001435
Devang Patel53bb5c92009-11-10 23:06:00 +00001436 if (AbsDIE) {
1437 DIScope DS(Scope->getScopeNode());
1438 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001439 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001440 (void) OriginSPDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001441 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1442 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1443 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001444 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001445 dwarf::DW_FORM_ref4, AbsDIE);
1446 }
1447 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001448 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1449 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001450
1451 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001452 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001453 // addresses instead.
1454 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001455 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001456 else
Devang Patel8a241142009-12-09 18:24:21 +00001457 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001458 }
1459
1460 // Add variable address.
1461 if (!Scope->isAbstractScope()) {
1462 MachineLocation Location;
Jim Grosbacha2f20b22009-11-22 20:14:00 +00001463 unsigned FrameReg;
1464 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1465 Location.set(FrameReg, Offset);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001466
Devang Patel53bb5c92009-11-10 23:06:00 +00001467 if (VD.hasComplexAddress())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001468 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001469 else if (VD.isBlockByrefVariable())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001470 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001471 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001472 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001473 }
1474 DV->setDIE(VariableDie);
1475 return VariableDie;
1476
1477}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001478
Devang Patel193f7202009-11-24 01:14:22 +00001479void DwarfDebug::addPubTypes(DISubprogram SP) {
1480 DICompositeType SPTy = SP.getType();
1481 unsigned SPTag = SPTy.getTag();
1482 if (SPTag != dwarf::DW_TAG_subroutine_type)
1483 return;
1484
1485 DIArray Args = SPTy.getTypeArray();
1486 if (Args.isNull())
1487 return;
1488
1489 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1490 DIType ATy(Args.getElement(i).getNode());
1491 if (ATy.isNull())
1492 continue;
1493 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel65dbc902009-11-25 17:36:49 +00001494 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001495 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1496 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1497 }
1498 }
1499}
1500
Devang Patel2c4ceb12009-11-21 02:48:08 +00001501/// constructScopeDIE - Construct a DIE for this scope.
1502DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001503 if (!Scope)
1504 return NULL;
1505 DIScope DS(Scope->getScopeNode());
1506 if (DS.isNull())
1507 return NULL;
1508
1509 DIE *ScopeDIE = NULL;
1510 if (Scope->getInlinedAt())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001511 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001512 else if (DS.isSubprogram()) {
1513 if (Scope->isAbstractScope())
Devang Patel017d1212009-11-20 21:37:22 +00001514 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001515 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001516 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001517 }
1518 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001519 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001520 if (!ScopeDIE) return NULL;
1521 }
1522
1523 // Add variables to scope.
1524 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1525 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001526 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001527 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001528 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001529 }
1530
1531 // Add nested scopes.
1532 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1533 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1534 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001535 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001536 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001537 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001538 }
Devang Patel193f7202009-11-24 01:14:22 +00001539
1540 if (DS.isSubprogram())
1541 addPubTypes(DISubprogram(DS.getNode()));
1542
1543 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001544}
1545
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001546/// GetOrCreateSourceID - Look up the source id with the given directory and
1547/// source file names. If none currently exists, create a new id and insert it
1548/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1549/// maps as well.
Devang Patel65dbc902009-11-25 17:36:49 +00001550unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001551 unsigned DId;
1552 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1553 if (DI != DirectoryIdMap.end()) {
1554 DId = DI->getValue();
1555 } else {
1556 DId = DirectoryNames.size() + 1;
1557 DirectoryIdMap[DirName] = DId;
1558 DirectoryNames.push_back(DirName);
1559 }
1560
1561 unsigned FId;
1562 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1563 if (FI != SourceFileIdMap.end()) {
1564 FId = FI->getValue();
1565 } else {
1566 FId = SourceFileNames.size() + 1;
1567 SourceFileIdMap[FileName] = FId;
1568 SourceFileNames.push_back(FileName);
1569 }
1570
1571 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1572 SourceIdMap.find(std::make_pair(DId, FId));
1573 if (SI != SourceIdMap.end())
1574 return SI->second;
1575
1576 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1577 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1578 SourceIds.push_back(std::make_pair(DId, FId));
1579
1580 return SrcId;
1581}
1582
Devang Pateld037d7a2009-12-11 21:37:07 +00001583CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001584 DICompileUnit DIUnit(N);
Devang Patel65dbc902009-11-25 17:36:49 +00001585 StringRef FN = DIUnit.getFilename();
1586 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001587 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001588
1589 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001590 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001591 DWLabel("section_line", 0), DWLabel("section_line", 0),
1592 false);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001593 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001594 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001595 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001596 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001597 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001598
Devang Patel65dbc902009-11-25 17:36:49 +00001599 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001600 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001601 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001602 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001603
Devang Patel65dbc902009-11-25 17:36:49 +00001604 StringRef Flags = DIUnit.getFlags();
1605 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001606 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001607
1608 unsigned RVer = DIUnit.getRunTimeVersion();
1609 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001610 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001611 dwarf::DW_FORM_data1, RVer);
1612
1613 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel1dbc7712009-06-29 20:45:18 +00001614 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel70f44262009-06-29 20:38:13 +00001615 // Use first compile unit marked as isMain as the compile unit
1616 // for this module.
Devang Patel1dbc7712009-06-29 20:45:18 +00001617 ModuleCU = Unit;
Devang Patel70f44262009-06-29 20:38:13 +00001618 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001619
Devang Patele4b27562009-08-28 23:24:31 +00001620 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001621 CompileUnits.push_back(Unit);
Devang Pateld037d7a2009-12-11 21:37:07 +00001622 return Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001623}
1624
Devang Patel2c4ceb12009-11-21 02:48:08 +00001625void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001626 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001627
Devang Patel905cf5e2009-09-04 23:59:07 +00001628 // If debug information is malformed then ignore it.
1629 if (DI_GV.Verify() == false)
1630 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001631
1632 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001633 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001634 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001635
Devang Patel8a241142009-12-09 18:24:21 +00001636 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001637 if (!VariableDie)
1638 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001639
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001640 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001641 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001642
1643 // Add to context owner.
Devang Patelc366f832009-12-10 19:14:49 +00001644 addToContextOwner(VariableDie, DI_GV.getContext());
1645
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001646 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001647 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001648
1649 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001650 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001651 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1652 assert (Entry && "Missing global type!");
1653 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1654 }
Devang Patel13e16b62009-06-26 01:49:18 +00001655 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001656}
1657
Devang Patel2c4ceb12009-11-21 02:48:08 +00001658void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001659 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001660
1661 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001662 if (ModuleCU->getDIE(N))
Devang Patel13e16b62009-06-26 01:49:18 +00001663 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001664
1665 if (!SP.isDefinition())
1666 // This is a method declaration which will be handled while constructing
1667 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001668 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001669
Devang Patel8a241142009-12-09 18:24:21 +00001670 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001671
1672 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001673 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001674
1675 // Add to context owner.
Devang Patel0000fad2009-12-08 23:21:45 +00001676 if (SP.getContext().getNode() == SP.getCompileUnit().getNode())
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001677 if (TopLevelDIEs.insert(SubprogramDie))
1678 TopLevelDIEsVector.push_back(SubprogramDie);
Devang Patel0000fad2009-12-08 23:21:45 +00001679
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001680 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001681 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001682
Devang Patel13e16b62009-06-26 01:49:18 +00001683 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001684}
1685
Devang Patel2c4ceb12009-11-21 02:48:08 +00001686/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001687/// content. Create global DIEs and emit initial debug info sections.
1688/// This is inovked by the target AsmPrinter.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001689void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel208622d2009-06-25 22:36:02 +00001690 this->M = M;
1691
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001692 if (TimePassesIsEnabled)
1693 DebugTimer->startTimer();
1694
Devang Patel3380cc52009-11-11 19:55:08 +00001695 if (!MAI->doesSupportDebugInformation())
1696 return;
1697
Devang Patel78ab9e22009-07-30 18:56:46 +00001698 DebugInfoFinder DbgFinder;
1699 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001700
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001701 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001702 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1703 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001704 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001705
1706 if (CompileUnits.empty()) {
1707 if (TimePassesIsEnabled)
1708 DebugTimer->stopTimer();
1709
1710 return;
1711 }
1712
Devang Patel70f44262009-06-29 20:38:13 +00001713 // If main compile unit for this module is not seen than randomly
1714 // select first compile unit.
Devang Patel1dbc7712009-06-29 20:45:18 +00001715 if (!ModuleCU)
1716 ModuleCU = CompileUnits[0];
Devang Patel70f44262009-06-29 20:38:13 +00001717
Devang Patel53bb5c92009-11-10 23:06:00 +00001718 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001719 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1720 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001721 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001722
Devang Patelc366f832009-12-10 19:14:49 +00001723 // Create DIEs for each global variable.
1724 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1725 E = DbgFinder.global_variable_end(); I != E; ++I)
1726 constructGlobalVariableDIE(*I);
1727
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001728 MMI = mmi;
1729 shouldEmit = true;
1730 MMI->setDebugInfoAvailability(true);
1731
1732 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001733 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001734
1735 // Print out .file directives to specify files for .loc directives. These are
1736 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001737 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001738 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1739 // Remember source id starts at 1.
1740 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
1741 sys::Path FullPath(getSourceDirectoryName(Id.first));
1742 bool AppendOk =
1743 FullPath.appendComponent(getSourceFileName(Id.second));
1744 assert(AppendOk && "Could not append filename to directory!");
1745 AppendOk = false;
Chris Lattner74382b72009-08-23 22:45:37 +00001746 Asm->EmitFile(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001747 Asm->EOL();
1748 }
1749 }
1750
1751 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001752 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001753
1754 if (TimePassesIsEnabled)
1755 DebugTimer->stopTimer();
1756}
1757
Devang Patel2c4ceb12009-11-21 02:48:08 +00001758/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001759///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001760void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001761 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001762 return;
1763
1764 if (TimePassesIsEnabled)
1765 DebugTimer->startTimer();
1766
Devang Patel53bb5c92009-11-10 23:06:00 +00001767 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1768 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1769 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1770 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001771 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001772 }
1773
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001774 // Insert top level DIEs.
1775 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1776 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1777 ModuleCU->getCUDie()->addChild(*TI);
1778
Devang Patel5d11eb02009-12-03 19:11:07 +00001779 for (DenseMap<DIE *, WeakVH>::iterator CI = ContainingTypeMap.begin(),
1780 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1781 DIE *SPDie = CI->first;
1782 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1783 if (!N) continue;
1784 DIE *NDie = ModuleCU->getDIE(N);
1785 if (!NDie) continue;
1786 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1787 addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1788 }
1789
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001790 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001791 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001792 EmitLabel("text_end", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001793 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001794 EmitLabel("data_end", 0);
1795
1796 // End text sections.
1797 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001798 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001799 EmitLabel("section_end", i);
1800 }
1801
1802 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001803 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001804
1805 // Emit function debug frame information
1806 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1807 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001808 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001809
1810 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001811 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001812
1813 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001814 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001815
1816 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001817 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001818
1819 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001820 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001821
1822 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001823 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001824
Devang Patel193f7202009-11-24 01:14:22 +00001825 // Emit info into a debug pubtypes section.
1826 emitDebugPubTypes();
1827
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001828 // Emit info into a debug str section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001829 emitDebugStr();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001830
1831 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001832 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001833
1834 // Emit info into a debug aranges section.
1835 EmitDebugARanges();
1836
1837 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001838 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001839
1840 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001841 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001842
1843 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001844 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001845
1846 if (TimePassesIsEnabled)
1847 DebugTimer->stopTimer();
1848}
1849
Devang Patel53bb5c92009-11-10 23:06:00 +00001850/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001851DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1852 unsigned FrameIdx,
Devang Patel53bb5c92009-11-10 23:06:00 +00001853 DILocation &ScopeLoc) {
1854
1855 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1856 if (AbsDbgVariable)
1857 return AbsDbgVariable;
1858
1859 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1860 if (!Scope)
1861 return NULL;
1862
1863 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001864 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001865 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1866 return AbsDbgVariable;
1867}
1868
Devang Patel2c4ceb12009-11-21 02:48:08 +00001869/// collectVariableInfo - Populate DbgScope entries with variables' info.
1870void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001871 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001872
Devang Patele717faa2009-10-06 01:26:37 +00001873 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1874 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1875 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelac1ceb32009-10-09 22:42:28 +00001876 MetadataBase *MB = VI->first;
1877 MDNode *Var = dyn_cast_or_null<MDNode>(MB);
Devang Patel53bb5c92009-11-10 23:06:00 +00001878 if (!Var) continue;
Devang Pateleda31212009-10-08 18:48:03 +00001879 DIVariable DV (Var);
Devang Patel53bb5c92009-11-10 23:06:00 +00001880 std::pair< unsigned, MDNode *> VP = VI->second;
1881 DILocation ScopeLoc(VP.second);
1882
1883 DbgScope *Scope =
1884 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1885 if (!Scope)
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001886 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelfb0ee432009-11-10 23:20:04 +00001887 // If variable scope is not found then skip this variable.
1888 if (!Scope)
1889 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001890
1891 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001892 Scope->addVariable(RegVar);
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001893 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1894 ScopeLoc))
Devang Patel53bb5c92009-11-10 23:06:00 +00001895 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patele717faa2009-10-06 01:26:37 +00001896 }
1897}
1898
Devang Patel2c4ceb12009-11-21 02:48:08 +00001899/// beginScope - Process beginning of a scope starting at Label.
1900void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001901 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1902 if (I == DbgScopeBeginMap.end())
1903 return;
Dan Gohman277207e2009-11-23 21:30:55 +00001904 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001905 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001906 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001907 (*SDI)->setStartLabelID(Label);
1908}
1909
Devang Patel2c4ceb12009-11-21 02:48:08 +00001910/// endScope - Process end of a scope.
1911void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001912 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00001913 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00001914 return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001915
1916 unsigned Label = MMI->NextLabelID();
1917 Asm->printLabel(Label);
Dan Gohmaneecb9912009-12-05 01:42:34 +00001918 O << '\n';
Devang Patel53bb5c92009-11-10 23:06:00 +00001919
Devang Patel0d20ac82009-10-06 01:50:42 +00001920 SmallVector<DbgScope *, 2> &SD = I->second;
1921 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001922 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001923 (*SDI)->setEndLabelID(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00001924 return;
1925}
1926
1927/// createDbgScope - Create DbgScope for the scope.
1928void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1929
1930 if (!InlinedAt) {
1931 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1932 if (WScope)
1933 return;
1934 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1935 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001936 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00001937 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00001938 return;
1939 }
1940
1941 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1942 if (WScope)
1943 return;
1944
1945 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1946 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1947 DILocation DL(InlinedAt);
1948 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00001949}
1950
Devang Patel2c4ceb12009-11-21 02:48:08 +00001951/// extractScopeInformation - Scan machine instructions in this function
Devang Patelaf9e8472009-10-01 20:31:14 +00001952/// and collect DbgScopes. Return true, if atleast one scope was found.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001953bool DwarfDebug::extractScopeInformation(MachineFunction *MF) {
Devang Patelaf9e8472009-10-01 20:31:14 +00001954 // If scope information was extracted using .dbg intrinsics then there is not
1955 // any need to extract these information by scanning each instruction.
1956 if (!DbgScopeMap.empty())
1957 return false;
1958
Devang Patel53bb5c92009-11-10 23:06:00 +00001959 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00001960 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1961 I != E; ++I) {
1962 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1963 II != IE; ++II) {
1964 const MachineInstr *MInsn = II;
1965 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00001966 if (DL.isUnknown()) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00001967 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
Devang Patel53bb5c92009-11-10 23:06:00 +00001968 if (!DLT.Scope) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00001969 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001970 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00001971 // into a scope DIE at the end.
Devang Patel53bb5c92009-11-10 23:06:00 +00001972 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
1973 createDbgScope(DLT.Scope, DLT.InlinedAtLoc);
1974 }
1975 }
1976
1977
1978 // Build scope hierarchy using working set of scopes.
1979 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1980 I != E; ++I) {
1981 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1982 II != IE; ++II) {
1983 const MachineInstr *MInsn = II;
1984 DebugLoc DL = MInsn->getDebugLoc();
1985 if (DL.isUnknown()) continue;
1986 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
1987 if (!DLT.Scope) continue;
1988 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001989 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00001990 // into a scope DIE at the end.
1991 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
1992 DbgScope *Scope = getUpdatedDbgScope(DLT.Scope, MInsn, DLT.InlinedAtLoc);
1993 Scope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00001994 }
1995 }
1996
1997 // If a scope's last instruction is not set then use its child scope's
1998 // last instruction as this scope's last instrunction.
Devang Patelbdf45cb2009-10-27 20:47:17 +00001999 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patelaf9e8472009-10-01 20:31:14 +00002000 DE = DbgScopeMap.end(); DI != DE; ++DI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002001 if (DI->second->isAbstractScope())
2002 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002003 assert (DI->second->getFirstInsn() && "Invalid first instruction!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00002004 DI->second->fixInstructionMarkers();
Devang Patelaf9e8472009-10-01 20:31:14 +00002005 assert (DI->second->getLastInsn() && "Invalid last instruction!");
2006 }
2007
2008 // Each scope has first instruction and last instruction to mark beginning
2009 // and end of a scope respectively. Create an inverse map that list scopes
2010 // starts (and ends) with an instruction. One instruction may start (or end)
2011 // multiple scopes.
Devang Patelbdf45cb2009-10-27 20:47:17 +00002012 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patelaf9e8472009-10-01 20:31:14 +00002013 DE = DbgScopeMap.end(); DI != DE; ++DI) {
2014 DbgScope *S = DI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002015 if (S->isAbstractScope())
2016 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002017 const MachineInstr *MI = S->getFirstInsn();
2018 assert (MI && "DbgScope does not have first instruction!");
2019
2020 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2021 if (IDI != DbgScopeBeginMap.end())
2022 IDI->second.push_back(S);
2023 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002024 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002025
2026 MI = S->getLastInsn();
2027 assert (MI && "DbgScope does not have last instruction!");
2028 IDI = DbgScopeEndMap.find(MI);
2029 if (IDI != DbgScopeEndMap.end())
2030 IDI->second.push_back(S);
2031 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002032 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002033 }
2034
2035 return !DbgScopeMap.empty();
2036}
2037
Devang Patel2c4ceb12009-11-21 02:48:08 +00002038/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002039/// emitted immediately after the function entry point.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002040void DwarfDebug::beginFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002041 this->MF = MF;
2042
2043 if (!ShouldEmitDwarfDebug()) return;
2044
2045 if (TimePassesIsEnabled)
2046 DebugTimer->startTimer();
2047
Devang Patel2c4ceb12009-11-21 02:48:08 +00002048 if (!extractScopeInformation(MF))
Devang Patel60b35bd2009-10-06 18:37:31 +00002049 return;
Devang Patel2c4ceb12009-11-21 02:48:08 +00002050
2051 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002052
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002053 // Begin accumulating function debug information.
2054 MMI->BeginFunction(MF);
2055
2056 // Assumes in correct section after the entry point.
2057 EmitLabel("func_begin", ++SubprogramCount);
2058
2059 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2060 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002061 DebugLoc FDL = MF->getDefaultDebugLoc();
2062 if (!FDL.isUnknown()) {
2063 DebugLocTuple DLT = MF->getDebugLocTuple(FDL);
2064 unsigned LabelID = 0;
Devang Patel1619dc32009-10-13 23:28:53 +00002065 DISubprogram SP = getDISubprogram(DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002066 if (!SP.isNull())
Devang Patel2c4ceb12009-11-21 02:48:08 +00002067 LabelID = recordSourceLine(SP.getLineNumber(), 0, DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002068 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00002069 LabelID = recordSourceLine(DLT.Line, DLT.Col, DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002070 Asm->printLabel(LabelID);
2071 O << '\n';
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002072 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002073 if (TimePassesIsEnabled)
2074 DebugTimer->stopTimer();
2075}
2076
Devang Patel2c4ceb12009-11-21 02:48:08 +00002077/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002078///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002079void DwarfDebug::endFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002080 if (!ShouldEmitDwarfDebug()) return;
2081
2082 if (TimePassesIsEnabled)
2083 DebugTimer->startTimer();
2084
Devang Patelac1ceb32009-10-09 22:42:28 +00002085 if (DbgScopeMap.empty())
2086 return;
Devang Patel70d75ca2009-11-12 19:02:56 +00002087
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002088 // Define end label for subprogram.
2089 EmitLabel("func_end", SubprogramCount);
2090
2091 // Get function line info.
2092 if (!Lines.empty()) {
2093 // Get section line info.
Chris Lattner290c2f52009-08-03 23:20:21 +00002094 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002095 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2096 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2097 // Append the function info to section info.
2098 SectionLineInfos.insert(SectionLineInfos.end(),
2099 Lines.begin(), Lines.end());
2100 }
2101
Devang Patel53bb5c92009-11-10 23:06:00 +00002102 // Construct abstract scopes.
2103 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002104 AE = AbstractScopesList.end(); AI != AE; ++AI)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002105 constructScopeDIE(*AI);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002106
Devang Patel2c4ceb12009-11-21 02:48:08 +00002107 constructScopeDIE(CurrentFnDbgScope);
Devang Patel70d75ca2009-11-12 19:02:56 +00002108
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002109 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2110 MMI->getFrameMoves()));
2111
2112 // Clear debug info
Devang Patelc09ddc12009-12-01 18:13:48 +00002113 CurrentFnDbgScope = NULL;
2114 DbgScopeMap.clear();
2115 DbgScopeBeginMap.clear();
2116 DbgScopeEndMap.clear();
2117 ConcreteScopes.clear();
2118 AbstractScopesList.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002119
2120 Lines.clear();
Devang Patelc09ddc12009-12-01 18:13:48 +00002121
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002122 if (TimePassesIsEnabled)
2123 DebugTimer->stopTimer();
2124}
2125
Devang Patel2c4ceb12009-11-21 02:48:08 +00002126/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002127/// label. Returns a unique label ID used to generate a label and provide
2128/// correspondence to the source line list.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002129unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patelf84548d2009-10-05 18:03:19 +00002130 MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002131 if (!MMI)
2132 return 0;
2133
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002134 if (TimePassesIsEnabled)
2135 DebugTimer->startTimer();
2136
Devang Patel65dbc902009-11-25 17:36:49 +00002137 StringRef Dir;
2138 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002139
2140 DIDescriptor Scope(S);
2141 if (Scope.isCompileUnit()) {
2142 DICompileUnit CU(S);
2143 Dir = CU.getDirectory();
2144 Fn = CU.getFilename();
2145 } else if (Scope.isSubprogram()) {
2146 DISubprogram SP(S);
2147 Dir = SP.getDirectory();
2148 Fn = SP.getFilename();
2149 } else if (Scope.isLexicalBlock()) {
2150 DILexicalBlock DB(S);
2151 Dir = DB.getDirectory();
2152 Fn = DB.getFilename();
2153 } else
2154 assert (0 && "Unexpected scope info");
2155
2156 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002157 unsigned ID = MMI->NextLabelID();
2158 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2159
2160 if (TimePassesIsEnabled)
2161 DebugTimer->stopTimer();
2162
2163 return ID;
2164}
2165
2166/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2167/// timed. Look up the source id with the given directory and source file
2168/// names. If none currently exists, create a new id and insert it in the
2169/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2170/// well.
2171unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2172 const std::string &FileName) {
2173 if (TimePassesIsEnabled)
2174 DebugTimer->startTimer();
2175
Devang Patel5ccdd102009-09-29 18:40:58 +00002176 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002177
2178 if (TimePassesIsEnabled)
2179 DebugTimer->stopTimer();
2180
2181 return SrcId;
2182}
2183
Bill Wendling829e67b2009-05-20 23:22:40 +00002184//===----------------------------------------------------------------------===//
2185// Emit Methods
2186//===----------------------------------------------------------------------===//
2187
Devang Patel2c4ceb12009-11-21 02:48:08 +00002188/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002189///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002190unsigned
2191DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002192 // Get the children.
2193 const std::vector<DIE *> &Children = Die->getChildren();
2194
2195 // If not last sibling and has children then add sibling offset attribute.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002196 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002197
2198 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002199 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002200
2201 // Get the abbreviation for this DIE.
2202 unsigned AbbrevNumber = Die->getAbbrevNumber();
2203 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2204
2205 // Set DIE offset
2206 Die->setOffset(Offset);
2207
2208 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002209 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002210
2211 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2212 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2213
2214 // Size the DIE attribute values.
2215 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2216 // Size attribute value.
2217 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2218
2219 // Size the DIE children if any.
2220 if (!Children.empty()) {
2221 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2222 "Children flag not set");
2223
2224 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002225 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002226
2227 // End of children marker.
2228 Offset += sizeof(int8_t);
2229 }
2230
2231 Die->setSize(Offset - Die->getOffset());
2232 return Offset;
2233}
2234
Devang Patel2c4ceb12009-11-21 02:48:08 +00002235/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002236///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002237void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002238 // Compute size of compile unit header.
2239 static unsigned Offset =
2240 sizeof(int32_t) + // Length of Compilation Unit Info
2241 sizeof(int16_t) + // DWARF version number
2242 sizeof(int32_t) + // Offset Into Abbrev. Section
2243 sizeof(int8_t); // Pointer Size (in bytes)
2244
Devang Patel2c4ceb12009-11-21 02:48:08 +00002245 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002246 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002247}
2248
Devang Patel2c4ceb12009-11-21 02:48:08 +00002249/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002250/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002251void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002252 // Check to see if we already emitted intial headers.
2253 if (didInitial) return;
2254 didInitial = true;
2255
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002256 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002257
Bill Wendling94d04b82009-05-20 23:21:38 +00002258 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002259 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002260 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002261 EmitLabel("section_debug_frame", 0);
2262 }
2263
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002264 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002265 EmitLabel("section_info", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002266 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002267 EmitLabel("section_abbrev", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002268 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002269 EmitLabel("section_aranges", 0);
2270
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002271 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2272 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling94d04b82009-05-20 23:21:38 +00002273 EmitLabel("section_macinfo", 0);
2274 }
2275
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002276 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002277 EmitLabel("section_line", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002278 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002279 EmitLabel("section_loc", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002280 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002281 EmitLabel("section_pubnames", 0);
Devang Patel193f7202009-11-24 01:14:22 +00002282 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2283 EmitLabel("section_pubtypes", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002284 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002285 EmitLabel("section_str", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002286 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002287 EmitLabel("section_ranges", 0);
2288
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002289 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002290 EmitLabel("text_begin", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002291 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002292 EmitLabel("data_begin", 0);
2293}
2294
Devang Patel2c4ceb12009-11-21 02:48:08 +00002295/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002296///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002297void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002298 // Get the abbreviation for this DIE.
2299 unsigned AbbrevNumber = Die->getAbbrevNumber();
2300 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2301
2302 Asm->EOL();
2303
2304 // Emit the code (index) for the abbreviation.
2305 Asm->EmitULEB128Bytes(AbbrevNumber);
2306
2307 if (Asm->isVerbose())
2308 Asm->EOL(std::string("Abbrev [" +
2309 utostr(AbbrevNumber) +
2310 "] 0x" + utohexstr(Die->getOffset()) +
2311 ":0x" + utohexstr(Die->getSize()) + " " +
2312 dwarf::TagString(Abbrev->getTag())));
2313 else
2314 Asm->EOL();
2315
2316 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2317 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2318
2319 // Emit the DIE attribute values.
2320 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2321 unsigned Attr = AbbrevData[i].getAttribute();
2322 unsigned Form = AbbrevData[i].getForm();
2323 assert(Form && "Too many attributes for DIE (check abbreviation)");
2324
2325 switch (Attr) {
2326 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002327 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002328 break;
2329 case dwarf::DW_AT_abstract_origin: {
2330 DIEEntry *E = cast<DIEEntry>(Values[i]);
2331 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002332 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002333 Asm->EmitInt32(Addr);
2334 break;
2335 }
2336 default:
2337 // Emit an attribute using the defined form.
2338 Values[i]->EmitValue(this, Form);
2339 break;
2340 }
2341
2342 Asm->EOL(dwarf::AttributeString(Attr));
2343 }
2344
2345 // Emit the DIE children if any.
2346 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2347 const std::vector<DIE *> &Children = Die->getChildren();
2348
2349 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002350 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002351
2352 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2353 }
2354}
2355
Devang Patel8a241142009-12-09 18:24:21 +00002356/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002357///
Devang Patel8a241142009-12-09 18:24:21 +00002358void DwarfDebug::emitDebugInfo() {
2359 // Start debug info section.
2360 Asm->OutStreamer.SwitchSection(
2361 Asm->getObjFileLowering().getDwarfInfoSection());
2362 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002363
2364 // Emit the compile units header.
Devang Patel8a241142009-12-09 18:24:21 +00002365 EmitLabel("info_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002366
2367 // Emit size of content not including length itself
2368 unsigned ContentSize = Die->getSize() +
2369 sizeof(int16_t) + // DWARF version number
2370 sizeof(int32_t) + // Offset Into Abbrev. Section
2371 sizeof(int8_t) + // Pointer Size (in bytes)
2372 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2373
2374 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info");
2375 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2376 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2377 Asm->EOL("Offset Into Abbrev. Section");
2378 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2379
Devang Patel2c4ceb12009-11-21 02:48:08 +00002380 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002381 // FIXME - extra padding for gdb bug.
2382 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2383 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2384 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2385 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
Devang Patel8a241142009-12-09 18:24:21 +00002386 EmitLabel("info_end", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002387
2388 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002389
Bill Wendling94d04b82009-05-20 23:21:38 +00002390}
2391
Devang Patel2c4ceb12009-11-21 02:48:08 +00002392/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002393///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002394void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002395 // Check to see if it is worth the effort.
2396 if (!Abbreviations.empty()) {
2397 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002398 Asm->OutStreamer.SwitchSection(
2399 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002400
2401 EmitLabel("abbrev_begin", 0);
2402
2403 // For each abbrevation.
2404 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2405 // Get abbreviation data
2406 const DIEAbbrev *Abbrev = Abbreviations[i];
2407
2408 // Emit the abbrevations code (base 1 index.)
2409 Asm->EmitULEB128Bytes(Abbrev->getNumber());
2410 Asm->EOL("Abbreviation Code");
2411
2412 // Emit the abbreviations data.
2413 Abbrev->Emit(Asm);
2414
2415 Asm->EOL();
2416 }
2417
2418 // Mark end of abbreviations.
2419 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2420
2421 EmitLabel("abbrev_end", 0);
2422 Asm->EOL();
2423 }
2424}
2425
Devang Patel2c4ceb12009-11-21 02:48:08 +00002426/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002427/// the line matrix.
2428///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002429void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002430 // Define last address of section.
2431 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2432 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2433 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2434 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2435
2436 // Mark end of matrix.
2437 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2438 Asm->EmitULEB128Bytes(1); Asm->EOL();
2439 Asm->EmitInt8(1); Asm->EOL();
2440}
2441
Devang Patel2c4ceb12009-11-21 02:48:08 +00002442/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002443///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002444void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002445 // If the target is using .loc/.file, the assembler will be emitting the
2446 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002447 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002448 return;
2449
2450 // Minimum line delta, thus ranging from -10..(255-10).
2451 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2452 // Maximum line delta, thus ranging from -10..(255-10).
2453 const int MaxLineDelta = 255 + MinLineDelta;
2454
2455 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002456 Asm->OutStreamer.SwitchSection(
2457 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002458
2459 // Construct the section header.
2460 EmitDifference("line_end", 0, "line_begin", 0, true);
2461 Asm->EOL("Length of Source Line Info");
2462 EmitLabel("line_begin", 0);
2463
2464 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2465
2466 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2467 Asm->EOL("Prolog Length");
2468 EmitLabel("line_prolog_begin", 0);
2469
2470 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2471
2472 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2473
2474 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2475
2476 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2477
2478 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2479
2480 // Line number standard opcode encodings argument count
2481 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2482 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2483 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2484 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2485 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2486 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2487 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2488 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2489 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2490
2491 // Emit directories.
2492 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2493 Asm->EmitString(getSourceDirectoryName(DI));
2494 Asm->EOL("Directory");
2495 }
2496
2497 Asm->EmitInt8(0); Asm->EOL("End of directories");
2498
2499 // Emit files.
2500 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2501 // Remember source id starts at 1.
2502 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2503 Asm->EmitString(getSourceFileName(Id.second));
2504 Asm->EOL("Source");
2505 Asm->EmitULEB128Bytes(Id.first);
2506 Asm->EOL("Directory #");
2507 Asm->EmitULEB128Bytes(0);
2508 Asm->EOL("Mod date");
2509 Asm->EmitULEB128Bytes(0);
2510 Asm->EOL("File size");
2511 }
2512
2513 Asm->EmitInt8(0); Asm->EOL("End of files");
2514
2515 EmitLabel("line_prolog_end", 0);
2516
2517 // A sequence for each text section.
2518 unsigned SecSrcLinesSize = SectionSourceLines.size();
2519
2520 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2521 // Isolate current sections line info.
2522 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2523
Chris Lattner93b6db32009-08-08 23:39:42 +00002524 /*if (Asm->isVerbose()) {
Chris Lattnera87dea42009-07-31 18:48:30 +00002525 const MCSection *S = SectionMap[j + 1];
Chris Lattner33adcfb2009-08-22 21:43:10 +00002526 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling94d04b82009-05-20 23:21:38 +00002527 << S->getName() << '\n';
Chris Lattner93b6db32009-08-08 23:39:42 +00002528 }*/
2529 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002530
2531 // Dwarf assumes we start with first line of first source file.
2532 unsigned Source = 1;
2533 unsigned Line = 1;
2534
2535 // Construct rows of the address, source, line, column matrix.
2536 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2537 const SrcLineInfo &LineInfo = LineInfos[i];
2538 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2539 if (!LabelID) continue;
2540
Caroline Ticec6f9d622009-09-11 18:25:54 +00002541 if (LineInfo.getLine() == 0) continue;
2542
Bill Wendling94d04b82009-05-20 23:21:38 +00002543 if (!Asm->isVerbose())
2544 Asm->EOL();
2545 else {
2546 std::pair<unsigned, unsigned> SourceID =
2547 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner33adcfb2009-08-22 21:43:10 +00002548 O << '\t' << MAI->getCommentString() << ' '
Dan Gohmanb3b98212009-12-05 02:00:34 +00002549 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling94d04b82009-05-20 23:21:38 +00002550 << getSourceFileName(SourceID.second)
Dan Gohmanb3b98212009-12-05 02:00:34 +00002551 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002552 }
2553
2554 // Define the line address.
2555 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2556 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2557 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2558 EmitReference("label", LabelID); Asm->EOL("Location label");
2559
2560 // If change of source, then switch to the new source.
2561 if (Source != LineInfo.getSourceID()) {
2562 Source = LineInfo.getSourceID();
2563 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2564 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2565 }
2566
2567 // If change of line.
2568 if (Line != LineInfo.getLine()) {
2569 // Determine offset.
2570 int Offset = LineInfo.getLine() - Line;
2571 int Delta = Offset - MinLineDelta;
2572
2573 // Update line.
2574 Line = LineInfo.getLine();
2575
2576 // If delta is small enough and in range...
2577 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2578 // ... then use fast opcode.
2579 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2580 } else {
2581 // ... otherwise use long hand.
2582 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2583 Asm->EOL("DW_LNS_advance_line");
2584 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2585 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2586 }
2587 } else {
2588 // Copy the previous row (different address or source)
2589 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2590 }
2591 }
2592
Devang Patel2c4ceb12009-11-21 02:48:08 +00002593 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002594 }
2595
2596 if (SecSrcLinesSize == 0)
2597 // Because we're emitting a debug_line section, we still need a line
2598 // table. The linker and friends expect it to exist. If there's nothing to
2599 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002600 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002601
2602 EmitLabel("line_end", 0);
2603 Asm->EOL();
2604}
2605
Devang Patel2c4ceb12009-11-21 02:48:08 +00002606/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002607///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002608void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002609 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002610 return;
2611
2612 int stackGrowth =
2613 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2614 TargetFrameInfo::StackGrowsUp ?
2615 TD->getPointerSize() : -TD->getPointerSize();
2616
2617 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002618 Asm->OutStreamer.SwitchSection(
2619 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002620
2621 EmitLabel("debug_frame_common", 0);
2622 EmitDifference("debug_frame_common_end", 0,
2623 "debug_frame_common_begin", 0, true);
2624 Asm->EOL("Length of Common Information Entry");
2625
2626 EmitLabel("debug_frame_common_begin", 0);
2627 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2628 Asm->EOL("CIE Identifier Tag");
2629 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2630 Asm->EOL("CIE Version");
2631 Asm->EmitString("");
2632 Asm->EOL("CIE Augmentation");
2633 Asm->EmitULEB128Bytes(1);
2634 Asm->EOL("CIE Code Alignment Factor");
2635 Asm->EmitSLEB128Bytes(stackGrowth);
2636 Asm->EOL("CIE Data Alignment Factor");
2637 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2638 Asm->EOL("CIE RA Column");
2639
2640 std::vector<MachineMove> Moves;
2641 RI->getInitialFrameState(Moves);
2642
2643 EmitFrameMoves(NULL, 0, Moves, false);
2644
2645 Asm->EmitAlignment(2, 0, 0, false);
2646 EmitLabel("debug_frame_common_end", 0);
2647
2648 Asm->EOL();
2649}
2650
Devang Patel2c4ceb12009-11-21 02:48:08 +00002651/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002652/// section.
2653void
Devang Patel2c4ceb12009-11-21 02:48:08 +00002654DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattner33adcfb2009-08-22 21:43:10 +00002655 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002656 return;
2657
2658 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002659 Asm->OutStreamer.SwitchSection(
2660 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002661
2662 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2663 "debug_frame_begin", DebugFrameInfo.Number, true);
2664 Asm->EOL("Length of Frame Information Entry");
2665
2666 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2667
2668 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2669 0, 0, true, false);
2670 Asm->EOL("FDE CIE offset");
2671
2672 EmitReference("func_begin", DebugFrameInfo.Number);
2673 Asm->EOL("FDE initial location");
2674 EmitDifference("func_end", DebugFrameInfo.Number,
2675 "func_begin", DebugFrameInfo.Number);
2676 Asm->EOL("FDE address range");
2677
2678 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2679 false);
2680
2681 Asm->EmitAlignment(2, 0, 0, false);
2682 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2683
2684 Asm->EOL();
2685}
2686
Devang Patel8a241142009-12-09 18:24:21 +00002687/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2688///
2689void DwarfDebug::emitDebugPubNames() {
2690 // Start the dwarf pubnames section.
2691 Asm->OutStreamer.SwitchSection(
2692 Asm->getObjFileLowering().getDwarfPubNamesSection());
2693
2694 EmitDifference("pubnames_end", ModuleCU->getID(),
2695 "pubnames_begin", ModuleCU->getID(), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002696 Asm->EOL("Length of Public Names Info");
2697
Devang Patel8a241142009-12-09 18:24:21 +00002698 EmitLabel("pubnames_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002699
2700 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2701
2702 EmitSectionOffset("info_begin", "section_info",
Devang Patel8a241142009-12-09 18:24:21 +00002703 ModuleCU->getID(), 0, true, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002704 Asm->EOL("Offset of Compilation Unit Info");
2705
Devang Patel8a241142009-12-09 18:24:21 +00002706 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002707 true);
2708 Asm->EOL("Compilation Unit Length");
2709
Devang Patel8a241142009-12-09 18:24:21 +00002710 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002711 for (StringMap<DIE*>::const_iterator
2712 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2713 const char *Name = GI->getKeyData();
2714 DIE * Entity = GI->second;
2715
2716 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2717 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2718 }
2719
2720 Asm->EmitInt32(0); Asm->EOL("End Mark");
Devang Patel8a241142009-12-09 18:24:21 +00002721 EmitLabel("pubnames_end", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002722
2723 Asm->EOL();
2724}
2725
Devang Patel193f7202009-11-24 01:14:22 +00002726void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002727 // Start the dwarf pubnames section.
2728 Asm->OutStreamer.SwitchSection(
2729 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel193f7202009-11-24 01:14:22 +00002730 EmitDifference("pubtypes_end", ModuleCU->getID(),
2731 "pubtypes_begin", ModuleCU->getID(), true);
2732 Asm->EOL("Length of Public Types Info");
2733
2734 EmitLabel("pubtypes_begin", ModuleCU->getID());
2735
2736 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2737
2738 EmitSectionOffset("info_begin", "section_info",
2739 ModuleCU->getID(), 0, true, false);
2740 Asm->EOL("Offset of Compilation ModuleCU Info");
2741
2742 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2743 true);
2744 Asm->EOL("Compilation ModuleCU Length");
2745
2746 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2747 for (StringMap<DIE*>::const_iterator
2748 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2749 const char *Name = GI->getKeyData();
2750 DIE * Entity = GI->second;
2751
2752 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2753 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2754 }
2755
2756 Asm->EmitInt32(0); Asm->EOL("End Mark");
2757 EmitLabel("pubtypes_end", ModuleCU->getID());
2758
2759 Asm->EOL();
2760}
2761
Devang Patel2c4ceb12009-11-21 02:48:08 +00002762/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002763///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002764void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002765 // Check to see if it is worth the effort.
2766 if (!StringPool.empty()) {
2767 // Start the dwarf str section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002768 Asm->OutStreamer.SwitchSection(
2769 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002770
2771 // For each of strings in the string pool.
2772 for (unsigned StringID = 1, N = StringPool.size();
2773 StringID <= N; ++StringID) {
2774 // Emit a label for reference from debug information entries.
2775 EmitLabel("string", StringID);
2776
2777 // Emit the string itself.
2778 const std::string &String = StringPool[StringID];
2779 Asm->EmitString(String); Asm->EOL();
2780 }
2781
2782 Asm->EOL();
2783 }
2784}
2785
Devang Patel2c4ceb12009-11-21 02:48:08 +00002786/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002787///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002788void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002789 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002790 Asm->OutStreamer.SwitchSection(
2791 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002792 Asm->EOL();
2793}
2794
2795/// EmitDebugARanges - Emit visible names into a debug aranges section.
2796///
2797void DwarfDebug::EmitDebugARanges() {
2798 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002799 Asm->OutStreamer.SwitchSection(
2800 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002801
2802 // FIXME - Mock up
2803#if 0
2804 CompileUnit *Unit = GetBaseCompileUnit();
2805
2806 // Don't include size of length
2807 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2808
2809 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2810
2811 EmitReference("info_begin", Unit->getID());
2812 Asm->EOL("Offset of Compilation Unit Info");
2813
2814 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2815
2816 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2817
2818 Asm->EmitInt16(0); Asm->EOL("Pad (1)");
2819 Asm->EmitInt16(0); Asm->EOL("Pad (2)");
2820
2821 // Range 1
2822 EmitReference("text_begin", 0); Asm->EOL("Address");
2823 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2824
2825 Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2826 Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2827#endif
2828
2829 Asm->EOL();
2830}
2831
Devang Patel2c4ceb12009-11-21 02:48:08 +00002832/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002833///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002834void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002835 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002836 Asm->OutStreamer.SwitchSection(
2837 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002838 Asm->EOL();
2839}
2840
Devang Patel2c4ceb12009-11-21 02:48:08 +00002841/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002842///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002843void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002844 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002845 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002846 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002847 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002848 Asm->EOL();
2849 }
2850}
2851
Devang Patel2c4ceb12009-11-21 02:48:08 +00002852/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00002853/// Section Header:
2854/// 1. length of section
2855/// 2. Dwarf version number
2856/// 3. address size.
2857///
2858/// Entries (one "entry" for each function that was inlined):
2859///
2860/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2861/// otherwise offset into __debug_str for regular function name.
2862/// 2. offset into __debug_str section for regular function name.
2863/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2864/// instances for the function.
2865///
2866/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2867/// inlined instance; the die_offset points to the inlined_subroutine die in the
2868/// __debug_info section, and the low_pc is the starting address for the
2869/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002870void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002871 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002872 return;
2873
Devang Patel1dbc7712009-06-29 20:45:18 +00002874 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002875 return;
2876
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002877 Asm->OutStreamer.SwitchSection(
2878 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002879 Asm->EOL();
2880 EmitDifference("debug_inlined_end", 1,
2881 "debug_inlined_begin", 1, true);
2882 Asm->EOL("Length of Debug Inlined Information Entry");
2883
2884 EmitLabel("debug_inlined_begin", 1);
2885
2886 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2887 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2888
Devang Patel53bb5c92009-11-10 23:06:00 +00002889 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2890 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002891
Devang Patel53bb5c92009-11-10 23:06:00 +00002892// for (ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
2893 // I = InlineInfo.begin(), E = InlineInfo.end(); I != E; ++I) {
2894 MDNode *Node = *I;
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002895 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
2896 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00002897 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00002898 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00002899 StringRef LName = SP.getLinkageName();
2900 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002901
Devang Patel65dbc902009-11-25 17:36:49 +00002902 if (LName.empty())
Devang Patel53cb17d2009-07-16 01:01:22 +00002903 Asm->EmitString(Name);
2904 else {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002905 // Skip special LLVM prefix that is used to inform the asm printer to not
2906 // emit usual symbol prefix before the symbol name. This happens for
2907 // Objective-C symbol names and symbol whose name is replaced using GCC's
2908 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00002909 if (LName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00002910 LName = LName.substr(1);
Devang Patel53bb5c92009-11-10 23:06:00 +00002911// Asm->EmitString(LName);
2912 EmitSectionOffset("string", "section_str",
2913 StringPool.idFor(LName), false, true);
2914
Devang Patel53cb17d2009-07-16 01:01:22 +00002915 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002916 Asm->EOL("MIPS linkage name");
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002917// Asm->EmitString(Name);
Devang Patel53bb5c92009-11-10 23:06:00 +00002918 EmitSectionOffset("string", "section_str",
2919 StringPool.idFor(Name), false, true);
2920 Asm->EOL("Function name");
Bill Wendling94d04b82009-05-20 23:21:38 +00002921 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2922
Devang Patel53bb5c92009-11-10 23:06:00 +00002923 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002924 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002925 DIE *SP = LI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002926 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2927
2928 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +00002929 O << MAI->getData32bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002930 else
Chris Lattner33adcfb2009-08-22 21:43:10 +00002931 O << MAI->getData64bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002932
Devang Patel53bb5c92009-11-10 23:06:00 +00002933 PrintLabelName("label", LI->first); Asm->EOL("low_pc");
Bill Wendling94d04b82009-05-20 23:21:38 +00002934 }
2935 }
2936
2937 EmitLabel("debug_inlined_end", 1);
2938 Asm->EOL();
2939}