blob: c2e1e0503a884fee61d09eb7324727b76c8e32f3 [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 Patel2c4ceb12009-11-21 02:48:08 +0000333/// addString - Add a string attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000334///
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 Patel2c4ceb12009-11-21 02:48:08 +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 Patel2c4ceb12009-11-21 02:48:08 +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 Patel2c4ceb12009-11-21 02:48:08 +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 Patel2c4ceb12009-11-21 02:48:08 +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 Patel2c4ceb12009-11-21 02:48:08 +0000741/// addType - Add a new type attribute to the specified entity.
742void DwarfDebug::addType(CompileUnit *DW_Unit, DIE *Entity, DIType Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000743 if (Ty.isNull())
744 return;
745
746 // Check for pre-existence.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000747 DIEEntry *Entry = DW_Unit->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000748
749 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000750 if (Entry) {
751 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000752 return;
753 }
754
755 // Set up proxy.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000756 Entry = createDIEEntry();
757 DW_Unit->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000758
759 // Construct type.
Devang Patel6f01d9c2009-11-21 00:31:03 +0000760 DIE *Buffer = new DIE(dwarf::DW_TAG_base_type);
Devang Patel6ceea332009-08-31 18:49:10 +0000761 if (Ty.isBasicType())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000762 constructTypeDIE(DW_Unit, *Buffer, DIBasicType(Ty.getNode()));
Devang Patel6ceea332009-08-31 18:49:10 +0000763 else if (Ty.isCompositeType())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000764 constructTypeDIE(DW_Unit, *Buffer, DICompositeType(Ty.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000765 else {
Devang Patel6ceea332009-08-31 18:49:10 +0000766 assert(Ty.isDerivedType() && "Unknown kind of DIType");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000767 constructTypeDIE(DW_Unit, *Buffer, DIDerivedType(Ty.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000768 }
769
770 // Add debug information entry to entity and appropriate context.
771 DIE *Die = NULL;
772 DIDescriptor Context = Ty.getContext();
773 if (!Context.isNull())
Devang Patel017d1212009-11-20 21:37:22 +0000774 Die = DW_Unit->getDIE(Context.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000775
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000776 if (Die)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000777 Die->addChild(Buffer);
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000778 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000779 DW_Unit->addDie(Buffer);
780 Entry->setEntry(Buffer);
781 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000782}
783
Devang Patel2c4ceb12009-11-21 02:48:08 +0000784/// constructTypeDIE - Construct basic type die from DIBasicType.
785void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000786 DIBasicType BTy) {
787 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000788 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000789 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000790 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000791 BTy.getEncoding());
792
793 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000794 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000795 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000796 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000797 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000798}
799
Devang Patel2c4ceb12009-11-21 02:48:08 +0000800/// constructTypeDIE - Construct derived type die from DIDerivedType.
801void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000802 DIDerivedType DTy) {
803 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000804 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000805 uint64_t Size = DTy.getSizeInBits() >> 3;
806 unsigned Tag = DTy.getTag();
807
808 // FIXME - Workaround for templates.
809 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
810
811 Buffer.setTag(Tag);
812
813 // Map to main type, void will not have a type.
814 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel2c4ceb12009-11-21 02:48:08 +0000815 addType(DW_Unit, &Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000816
817 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000818 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000819 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000820
821 // Add size if non-zero (derived types might be zero-sized.)
822 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000823 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000824
825 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000826 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000827 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000828}
829
Devang Patel2c4ceb12009-11-21 02:48:08 +0000830/// constructTypeDIE - Construct type DIE from DICompositeType.
831void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000832 DICompositeType CTy) {
833 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000834 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000835
836 uint64_t Size = CTy.getSizeInBits() >> 3;
837 unsigned Tag = CTy.getTag();
838 Buffer.setTag(Tag);
839
840 switch (Tag) {
841 case dwarf::DW_TAG_vector_type:
842 case dwarf::DW_TAG_array_type:
Devang Patel2c4ceb12009-11-21 02:48:08 +0000843 constructArrayTypeDIE(DW_Unit, Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000844 break;
845 case dwarf::DW_TAG_enumeration_type: {
846 DIArray Elements = CTy.getTypeArray();
847
848 // Add enumerators to enumeration type.
849 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
850 DIE *ElemDie = NULL;
Devang Patele4b27562009-08-28 23:24:31 +0000851 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelc5254722009-10-09 17:51:49 +0000852 if (!Enum.isNull()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000853 ElemDie = constructEnumTypeDIE(DW_Unit, &Enum);
854 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000855 }
Bill Wendling0310d762009-05-15 09:23:25 +0000856 }
857 }
858 break;
859 case dwarf::DW_TAG_subroutine_type: {
860 // Add return type.
861 DIArray Elements = CTy.getTypeArray();
862 DIDescriptor RTy = Elements.getElement(0);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000863 addType(DW_Unit, &Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000864
865 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000866 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000867
868 // Add arguments.
869 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
870 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
871 DIDescriptor Ty = Elements.getElement(i);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000872 addType(DW_Unit, Arg, DIType(Ty.getNode()));
873 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000874 }
875 }
876 break;
877 case dwarf::DW_TAG_structure_type:
878 case dwarf::DW_TAG_union_type:
879 case dwarf::DW_TAG_class_type: {
880 // Add elements to structure type.
881 DIArray Elements = CTy.getTypeArray();
882
883 // A forward struct declared type may not have elements available.
884 if (Elements.isNull())
885 break;
886
887 // Add elements to structure type.
888 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
889 DIDescriptor Element = Elements.getElement(i);
Devang Patele4b27562009-08-28 23:24:31 +0000890 if (Element.isNull())
891 continue;
Bill Wendling0310d762009-05-15 09:23:25 +0000892 DIE *ElemDie = NULL;
893 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000894 ElemDie = createSubprogramDIE(DW_Unit,
Devang Patele4b27562009-08-28 23:24:31 +0000895 DISubprogram(Element.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000896 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000897 ElemDie = createMemberDIE(DW_Unit,
Devang Patele4b27562009-08-28 23:24:31 +0000898 DIDerivedType(Element.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000899 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000900 }
901
Devang Patela1ba2692009-08-27 23:51:51 +0000902 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000903 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000904
905 unsigned RLang = CTy.getRunTimeLang();
906 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000907 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000908 dwarf::DW_FORM_data1, RLang);
909 break;
910 }
911 default:
912 break;
913 }
914
915 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000916 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000917 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000918
919 if (Tag == dwarf::DW_TAG_enumeration_type ||
920 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
921 // Add size if non-zero (derived types might be zero-sized.)
922 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000923 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000924 else {
925 // Add zero size if it is not a forward declaration.
926 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000927 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000928 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000929 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000930 }
931
932 // Add source line info if available.
933 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000934 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000935 }
936}
937
Devang Patel2c4ceb12009-11-21 02:48:08 +0000938/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
939void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +0000940 int64_t L = SR.getLo();
941 int64_t H = SR.getHi();
942 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
943
Devang Patel2c4ceb12009-11-21 02:48:08 +0000944 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +0000945 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000946 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Patel6325a532009-08-14 20:59:16 +0000947 if (H)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000948 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +0000949
Devang Patel2c4ceb12009-11-21 02:48:08 +0000950 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +0000951}
952
Devang Patel2c4ceb12009-11-21 02:48:08 +0000953/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
954void DwarfDebug::constructArrayTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000955 DICompositeType *CTy) {
956 Buffer.setTag(dwarf::DW_TAG_array_type);
957 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000958 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000959
960 // Emit derived type.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000961 addType(DW_Unit, &Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +0000962 DIArray Elements = CTy->getTypeArray();
963
Devang Patel6f01d9c2009-11-21 00:31:03 +0000964 // Get an anonymous type for index type.
965 DIE *IdxTy = DW_Unit->getIndexTyDie();
966 if (!IdxTy) {
967 // Construct an anonymous type for index type.
968 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000969 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
970 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +0000971 dwarf::DW_ATE_signed);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000972 DW_Unit->addDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000973 DW_Unit->setIndexTyDie(IdxTy);
974 }
Bill Wendling0310d762009-05-15 09:23:25 +0000975
976 // Add subranges to array type.
977 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
978 DIDescriptor Element = Elements.getElement(i);
979 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000980 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000981 }
982}
983
Devang Patel2c4ceb12009-11-21 02:48:08 +0000984/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
985DIE *DwarfDebug::constructEnumTypeDIE(CompileUnit *DW_Unit, DIEnumerator *ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000986 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel65dbc902009-11-25 17:36:49 +0000987 StringRef Name = ETy->getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +0000988 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000989 int64_t Value = ETy->getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +0000990 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000991 return Enumerator;
992}
993
Devang Patel2c4ceb12009-11-21 02:48:08 +0000994/// createGlobalVariableDIE - Create new DIE using GV.
995DIE *DwarfDebug::createGlobalVariableDIE(CompileUnit *DW_Unit,
Bill Wendling0310d762009-05-15 09:23:25 +0000996 const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +0000997 // If the global variable was optmized out then no need to create debug info
998 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +0000999 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001000 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001001
Bill Wendling0310d762009-05-15 09:23:25 +00001002 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001003 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001004 GV.getDisplayName());
1005
Devang Patel65dbc902009-11-25 17:36:49 +00001006 StringRef LinkageName = GV.getLinkageName();
1007 if (!LinkageName.empty()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001008 // Skip special LLVM prefix that is used to inform the asm printer to not
1009 // emit usual symbol prefix before the symbol name. This happens for
1010 // Objective-C symbol names and symbol whose name is replaced using GCC's
1011 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00001012 if (LinkageName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00001013 LinkageName = LinkageName.substr(1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001014 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel1a8d2d22009-07-14 00:55:28 +00001015 LinkageName);
Devang Patel53cb17d2009-07-16 01:01:22 +00001016 }
Devang Patel2c4ceb12009-11-21 02:48:08 +00001017 addType(DW_Unit, GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001018 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001019 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1020 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001021
1022 // Add address.
1023 DIEBlock *Block = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001024 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1025 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Devang Patelb71a16d2009-10-05 23:22:08 +00001026 Asm->Mang->getMangledName(GV.getGlobal()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001027 addBlock(GVDie, dwarf::DW_AT_location, 0, Block);
Devang Patelb71a16d2009-10-05 23:22:08 +00001028
Bill Wendling0310d762009-05-15 09:23:25 +00001029 return GVDie;
1030}
1031
Devang Patel2c4ceb12009-11-21 02:48:08 +00001032/// createMemberDIE - Create new member DIE.
1033DIE *DwarfDebug::createMemberDIE(CompileUnit *DW_Unit, const DIDerivedType &DT){
Bill Wendling0310d762009-05-15 09:23:25 +00001034 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001035 StringRef Name = DT.getName();
1036 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001037 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001038
Devang Patel2c4ceb12009-11-21 02:48:08 +00001039 addType(DW_Unit, MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001040
Devang Patel2c4ceb12009-11-21 02:48:08 +00001041 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001042
Devang Patel33db5082009-11-04 22:06:12 +00001043 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001044 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001045
Bill Wendling0310d762009-05-15 09:23:25 +00001046 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001047 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001048
1049 if (Size != FieldSize) {
1050 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001051 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1052 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001053
1054 uint64_t Offset = DT.getOffsetInBits();
1055 uint64_t FieldOffset = Offset;
1056 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1057 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1058 FieldOffset = (HiMark - FieldSize);
1059 Offset -= FieldOffset;
1060
1061 // Maybe we need to work from the other end.
1062 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001063 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001064
Devang Patel33db5082009-11-04 22:06:12 +00001065 // Here WD_AT_data_member_location points to the anonymous
1066 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001067 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001068
1069 } else
1070 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001071 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001072
Devang Patel2c4ceb12009-11-21 02:48:08 +00001073 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001074
1075 if (DT.isProtected())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001076 addUInt(MemberDie, dwarf::DW_AT_accessibility, 0,
Bill Wendling0310d762009-05-15 09:23:25 +00001077 dwarf::DW_ACCESS_protected);
1078 else if (DT.isPrivate())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001079 addUInt(MemberDie, dwarf::DW_AT_accessibility, 0,
Bill Wendling0310d762009-05-15 09:23:25 +00001080 dwarf::DW_ACCESS_private);
1081
1082 return MemberDie;
1083}
1084
Devang Patel2c4ceb12009-11-21 02:48:08 +00001085/// createSubprogramDIE - Create new DIE using SP.
1086DIE *DwarfDebug::createSubprogramDIE(CompileUnit *DW_Unit,
Bill Wendling0310d762009-05-15 09:23:25 +00001087 const DISubprogram &SP,
Bill Wendling6679ee42009-05-18 22:02:36 +00001088 bool IsConstructor,
1089 bool IsInlined) {
Bill Wendling0310d762009-05-15 09:23:25 +00001090 DIE *SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel65dbc902009-11-25 17:36:49 +00001091 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001092
Devang Patel65dbc902009-11-25 17:36:49 +00001093 StringRef LinkageName = SP.getLinkageName();
1094 if (!LinkageName.empty()) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001095 // Skip special LLVM prefix that is used to inform the asm printer to not
1096 // emit usual symbol prefix before the symbol name. This happens for
1097 // Objective-C symbol names and symbol whose name is replaced using GCC's
1098 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00001099 if (LinkageName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00001100 LinkageName = LinkageName.substr(1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001101 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel1a8d2d22009-07-14 00:55:28 +00001102 LinkageName);
Devang Patel53cb17d2009-07-16 01:01:22 +00001103 }
Devang Patel2c4ceb12009-11-21 02:48:08 +00001104 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001105
1106 DICompositeType SPTy = SP.getType();
1107 DIArray Args = SPTy.getTypeArray();
1108
1109 // Add prototyped tag, if C or ObjC.
1110 unsigned Lang = SP.getCompileUnit().getLanguage();
1111 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1112 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001113 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001114
1115 // Add Return Type.
1116 unsigned SPTag = SPTy.getTag();
1117 if (!IsConstructor) {
1118 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001119 addType(DW_Unit, SPDie, SPTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001120 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001121 addType(DW_Unit, SPDie, DIType(Args.getElement(0).getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +00001122 }
1123
1124 if (!SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001125 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001126
1127 // Add arguments. Do not add arguments for subprogram definition. They will
1128 // be handled through RecordVariable.
1129 if (SPTag == dwarf::DW_TAG_subroutine_type)
1130 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1131 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001132 addType(DW_Unit, Arg, DIType(Args.getElement(i).getNode()));
1133 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1134 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001135 }
1136 }
1137
Bill Wendling0310d762009-05-15 09:23:25 +00001138 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel017d1212009-11-20 21:37:22 +00001139 DW_Unit->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001140 return SPDie;
1141}
1142
Devang Patel2c4ceb12009-11-21 02:48:08 +00001143/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling0310d762009-05-15 09:23:25 +00001144///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001145CompileUnit &DwarfDebug::findCompileUnit(DICompileUnit Unit) const {
Bill Wendling0310d762009-05-15 09:23:25 +00001146 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patele4b27562009-08-28 23:24:31 +00001147 CompileUnitMap.find(Unit.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +00001148 assert(I != CompileUnitMap.end() && "Missing compile unit.");
1149 return *I->second;
1150}
1151
Devang Patel2c4ceb12009-11-21 02:48:08 +00001152/// createDbgScopeVariable - Create a new scope variable.
Bill Wendling0310d762009-05-15 09:23:25 +00001153///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001154DIE *DwarfDebug::createDbgScopeVariable(DbgVariable *DV, CompileUnit *Unit) {
Bill Wendling0310d762009-05-15 09:23:25 +00001155 // Get the descriptor.
1156 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001157 StringRef Name = VD.getName();
1158 if (Name.empty())
Devang Patel1b845972009-11-03 18:30:27 +00001159 return NULL;
Bill Wendling0310d762009-05-15 09:23:25 +00001160
1161 // Translate tag to proper Dwarf tag. The result variable is dropped for
1162 // now.
1163 unsigned Tag;
1164 switch (VD.getTag()) {
1165 case dwarf::DW_TAG_return_variable:
1166 return NULL;
1167 case dwarf::DW_TAG_arg_variable:
1168 Tag = dwarf::DW_TAG_formal_parameter;
1169 break;
1170 case dwarf::DW_TAG_auto_variable: // fall thru
1171 default:
1172 Tag = dwarf::DW_TAG_variable;
1173 break;
1174 }
1175
1176 // Define variable debug information entry.
1177 DIE *VariableDie = new DIE(Tag);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001178 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +00001179
1180 // Add source line info if available.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001181 addSourceLine(VariableDie, &VD);
Bill Wendling0310d762009-05-15 09:23:25 +00001182
1183 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001184 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001185 // addresses instead.
Caroline Ticedc8f6042009-08-31 21:19:37 +00001186 if (VD.isBlockByrefVariable())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001187 addType(Unit, VariableDie, getBlockByrefType(VD.getType(), Name));
Caroline Ticedc8f6042009-08-31 21:19:37 +00001188 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001189 addType(Unit, VariableDie, VD.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001190
1191 // Add variable address.
Devang Patel53bb5c92009-11-10 23:06:00 +00001192 // Variables for abstract instances of inlined functions don't get a
1193 // location.
1194 MachineLocation Location;
Jim Grosbacha2f20b22009-11-22 20:14:00 +00001195 unsigned FrameReg;
1196 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1197 Location.set(FrameReg, Offset);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001198
1199
Devang Patel53bb5c92009-11-10 23:06:00 +00001200 if (VD.hasComplexAddress())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001201 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001202 else if (VD.isBlockByrefVariable())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001203 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001204 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001205 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Bill Wendling0310d762009-05-15 09:23:25 +00001206
1207 return VariableDie;
1208}
1209
Devang Patel53bb5c92009-11-10 23:06:00 +00001210/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1211/// Initialize scope and update scope hierarchy.
1212DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1213 MDNode *InlinedAt) {
1214 assert (N && "Invalid Scope encoding!");
1215 assert (MI && "Missing machine instruction!");
1216 bool GetConcreteScope = (MI && InlinedAt);
1217
1218 DbgScope *NScope = NULL;
1219
1220 if (InlinedAt)
1221 NScope = DbgScopeMap.lookup(InlinedAt);
1222 else
1223 NScope = DbgScopeMap.lookup(N);
1224 assert (NScope && "Unable to find working scope!");
1225
1226 if (NScope->getFirstInsn())
1227 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001228
1229 DbgScope *Parent = NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001230 if (GetConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001231 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001232 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001233 IL.getOrigLocation().getNode());
1234 assert (Parent && "Unable to find Parent scope!");
1235 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001236 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001237 } else if (DIDescriptor(N).isLexicalBlock()) {
1238 DILexicalBlock DB(N);
1239 if (!DB.getContext().isNull()) {
1240 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1241 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001242 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001243 }
Devang Patelc90aefe2009-10-14 21:08:09 +00001244 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001245
Devang Patelbdf45cb2009-10-27 20:47:17 +00001246 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001247
Devang Patel53bb5c92009-11-10 23:06:00 +00001248 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001249 StringRef SPName = DISubprogram(N).getLinkageName();
1250 if (SPName == MF->getFunction()->getName())
1251 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001252 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001253
Devang Patel53bb5c92009-11-10 23:06:00 +00001254 if (GetConcreteScope) {
1255 ConcreteScopes[InlinedAt] = NScope;
1256 getOrCreateAbstractScope(N);
1257 }
1258
Devang Patelbdf45cb2009-10-27 20:47:17 +00001259 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001260}
1261
Devang Patel53bb5c92009-11-10 23:06:00 +00001262DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1263 assert (N && "Invalid Scope encoding!");
1264
1265 DbgScope *AScope = AbstractScopes.lookup(N);
1266 if (AScope)
1267 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001268
Devang Patel53bb5c92009-11-10 23:06:00 +00001269 DbgScope *Parent = NULL;
1270
1271 DIDescriptor Scope(N);
1272 if (Scope.isLexicalBlock()) {
1273 DILexicalBlock DB(N);
1274 DIDescriptor ParentDesc = DB.getContext();
1275 if (!ParentDesc.isNull())
1276 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1277 }
1278
1279 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1280
1281 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001282 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001283 AScope->setAbstractScope();
1284 AbstractScopes[N] = AScope;
1285 if (DIDescriptor(N).isSubprogram())
1286 AbstractScopesList.push_back(AScope);
1287 return AScope;
1288}
Devang Patelaf9e8472009-10-01 20:31:14 +00001289
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001290/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001291/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1292/// If there are global variables in this scope then create and insert
1293/// DIEs for these variables.
1294DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001295
Devang Patel017d1212009-11-20 21:37:22 +00001296 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel53bb5c92009-11-10 23:06:00 +00001297 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001298 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001299 DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001300 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001301 DWLabel("func_end", SubprogramCount));
1302 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001303 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001304
Devang Patel53bb5c92009-11-10 23:06:00 +00001305 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001306 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001307
1308 // If there are global variables at this scope then add their dies.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001309 for (SmallVector<WeakVH, 4>::iterator SGI = ScopedGVs.begin(),
Devang Patel53bb5c92009-11-10 23:06:00 +00001310 SGE = ScopedGVs.end(); SGI != SGE; ++SGI) {
1311 MDNode *N = dyn_cast_or_null<MDNode>(*SGI);
1312 if (!N) continue;
1313 DIGlobalVariable GV(N);
1314 if (GV.getContext().getNode() == SPNode) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001315 DIE *ScopedGVDie = createGlobalVariableDIE(ModuleCU, GV);
Devang Patelfb0ee432009-11-10 23:20:04 +00001316 if (ScopedGVDie)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001317 SPDie->addChild(ScopedGVDie);
Devang Patel53bb5c92009-11-10 23:06:00 +00001318 }
1319 }
Devang Patel193f7202009-11-24 01:14:22 +00001320
Devang Patel53bb5c92009-11-10 23:06:00 +00001321 return SPDie;
1322}
1323
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001324/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001325/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1326DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001327 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1328 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1329
1330 // Ignore empty scopes.
1331 if (StartID == EndID && StartID != 0)
1332 return NULL;
1333
1334 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1335 if (Scope->isAbstractScope())
1336 return ScopeDIE;
1337
Devang Patel2c4ceb12009-11-21 02:48:08 +00001338 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001339 StartID ?
1340 DWLabel("label", StartID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001341 : DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001342 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001343 EndID ?
1344 DWLabel("label", EndID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001345 : DWLabel("func_end", SubprogramCount));
1346
1347
1348
1349 return ScopeDIE;
1350}
1351
Devang Patel2c4ceb12009-11-21 02:48:08 +00001352/// constructInlinedScopeDIE - This scope represents inlined body of
1353/// a function. Construct DIE to represent this concrete inlined copy
1354/// of the function.
1355DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001356 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1357 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1358 assert (StartID && "Invalid starting label for an inlined scope!");
1359 assert (EndID && "Invalid end label for an inlined scope!");
1360 // Ignore empty scopes.
1361 if (StartID == EndID && StartID != 0)
1362 return NULL;
1363
1364 DIScope DS(Scope->getScopeNode());
1365 if (DS.isNull())
1366 return NULL;
1367 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1368
1369 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001370 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001371 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001372 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001373 dwarf::DW_FORM_ref4, OriginDIE);
1374
Devang Patel2c4ceb12009-11-21 02:48:08 +00001375 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001376 DWLabel("label", StartID));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001377 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001378 DWLabel("label", EndID));
1379
1380 InlinedSubprogramDIEs.insert(OriginDIE);
1381
1382 // Track the start label for this inlined function.
1383 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
1384 I = InlineInfo.find(InlinedSP.getNode());
1385
1386 if (I == InlineInfo.end()) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001387 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1388 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001389 InlinedSPNodes.push_back(InlinedSP.getNode());
1390 } else
1391 I->second.push_back(std::make_pair(StartID, ScopeDIE));
1392
1393 StringPool.insert(InlinedSP.getName());
1394 StringPool.insert(InlinedSP.getLinkageName());
1395 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001396 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1397 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001398
1399 return ScopeDIE;
1400}
1401
Devang Patel2c4ceb12009-11-21 02:48:08 +00001402
1403/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001404DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV,
Devang Patel53bb5c92009-11-10 23:06:00 +00001405 DbgScope *Scope, CompileUnit *Unit) {
1406 // Get the descriptor.
1407 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001408 StringRef Name = VD.getName();
1409 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001410 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001411
1412 // Translate tag to proper Dwarf tag. The result variable is dropped for
1413 // now.
1414 unsigned Tag;
1415 switch (VD.getTag()) {
1416 case dwarf::DW_TAG_return_variable:
1417 return NULL;
1418 case dwarf::DW_TAG_arg_variable:
1419 Tag = dwarf::DW_TAG_formal_parameter;
1420 break;
1421 case dwarf::DW_TAG_auto_variable: // fall thru
1422 default:
1423 Tag = dwarf::DW_TAG_variable;
1424 break;
1425 }
1426
1427 // Define variable debug information entry.
1428 DIE *VariableDie = new DIE(Tag);
1429
1430
1431 DIE *AbsDIE = NULL;
1432 if (DbgVariable *AV = DV->getAbstractVariable())
1433 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001434
Devang Patel53bb5c92009-11-10 23:06:00 +00001435 if (AbsDIE) {
1436 DIScope DS(Scope->getScopeNode());
1437 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001438 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001439 (void) OriginSPDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001440 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1441 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1442 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001443 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001444 dwarf::DW_FORM_ref4, AbsDIE);
1445 }
1446 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001447 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1448 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001449
1450 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001451 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001452 // addresses instead.
1453 if (VD.isBlockByrefVariable())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001454 addType(Unit, VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001455 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001456 addType(Unit, VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001457 }
1458
1459 // Add variable address.
1460 if (!Scope->isAbstractScope()) {
1461 MachineLocation Location;
Jim Grosbacha2f20b22009-11-22 20:14:00 +00001462 unsigned FrameReg;
1463 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1464 Location.set(FrameReg, Offset);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001465
Devang Patel53bb5c92009-11-10 23:06:00 +00001466 if (VD.hasComplexAddress())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001467 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001468 else if (VD.isBlockByrefVariable())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001469 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001470 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001471 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001472 }
1473 DV->setDIE(VariableDie);
1474 return VariableDie;
1475
1476}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001477
Devang Patel193f7202009-11-24 01:14:22 +00001478void DwarfDebug::addPubTypes(DISubprogram SP) {
1479 DICompositeType SPTy = SP.getType();
1480 unsigned SPTag = SPTy.getTag();
1481 if (SPTag != dwarf::DW_TAG_subroutine_type)
1482 return;
1483
1484 DIArray Args = SPTy.getTypeArray();
1485 if (Args.isNull())
1486 return;
1487
1488 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1489 DIType ATy(Args.getElement(i).getNode());
1490 if (ATy.isNull())
1491 continue;
1492 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel65dbc902009-11-25 17:36:49 +00001493 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001494 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1495 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1496 }
1497 }
1498}
1499
Devang Patel2c4ceb12009-11-21 02:48:08 +00001500/// constructScopeDIE - Construct a DIE for this scope.
1501DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001502 if (!Scope)
1503 return NULL;
1504 DIScope DS(Scope->getScopeNode());
1505 if (DS.isNull())
1506 return NULL;
1507
1508 DIE *ScopeDIE = NULL;
1509 if (Scope->getInlinedAt())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001510 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001511 else if (DS.isSubprogram()) {
1512 if (Scope->isAbstractScope())
Devang Patel017d1212009-11-20 21:37:22 +00001513 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001514 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001515 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001516 }
1517 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001518 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001519 if (!ScopeDIE) return NULL;
1520 }
1521
1522 // Add variables to scope.
1523 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1524 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001525 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope, ModuleCU);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001526 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001527 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001528 }
1529
1530 // Add nested scopes.
1531 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1532 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1533 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001534 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001535 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001536 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001537 }
Devang Patel193f7202009-11-24 01:14:22 +00001538
1539 if (DS.isSubprogram())
1540 addPubTypes(DISubprogram(DS.getNode()));
1541
1542 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001543}
1544
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001545/// GetOrCreateSourceID - Look up the source id with the given directory and
1546/// source file names. If none currently exists, create a new id and insert it
1547/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1548/// maps as well.
Devang Patel65dbc902009-11-25 17:36:49 +00001549unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001550 unsigned DId;
1551 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1552 if (DI != DirectoryIdMap.end()) {
1553 DId = DI->getValue();
1554 } else {
1555 DId = DirectoryNames.size() + 1;
1556 DirectoryIdMap[DirName] = DId;
1557 DirectoryNames.push_back(DirName);
1558 }
1559
1560 unsigned FId;
1561 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1562 if (FI != SourceFileIdMap.end()) {
1563 FId = FI->getValue();
1564 } else {
1565 FId = SourceFileNames.size() + 1;
1566 SourceFileIdMap[FileName] = FId;
1567 SourceFileNames.push_back(FileName);
1568 }
1569
1570 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1571 SourceIdMap.find(std::make_pair(DId, FId));
1572 if (SI != SourceIdMap.end())
1573 return SI->second;
1574
1575 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1576 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1577 SourceIds.push_back(std::make_pair(DId, FId));
1578
1579 return SrcId;
1580}
1581
Devang Patel2c4ceb12009-11-21 02:48:08 +00001582void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001583 DICompileUnit DIUnit(N);
Devang Patel65dbc902009-11-25 17:36:49 +00001584 StringRef FN = DIUnit.getFilename();
1585 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001586 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001587
1588 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001589 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001590 DWLabel("section_line", 0), DWLabel("section_line", 0),
1591 false);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001592 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001593 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001594 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001595 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001596 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001597
Devang Patel65dbc902009-11-25 17:36:49 +00001598 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001599 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001600 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001601 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001602
Devang Patel65dbc902009-11-25 17:36:49 +00001603 StringRef Flags = DIUnit.getFlags();
1604 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001605 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001606
1607 unsigned RVer = DIUnit.getRunTimeVersion();
1608 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001609 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001610 dwarf::DW_FORM_data1, RVer);
1611
1612 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel1dbc7712009-06-29 20:45:18 +00001613 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel70f44262009-06-29 20:38:13 +00001614 // Use first compile unit marked as isMain as the compile unit
1615 // for this module.
Devang Patel1dbc7712009-06-29 20:45:18 +00001616 ModuleCU = Unit;
Devang Patel70f44262009-06-29 20:38:13 +00001617 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001618
Devang Patele4b27562009-08-28 23:24:31 +00001619 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001620 CompileUnits.push_back(Unit);
1621}
1622
Devang Patel2c4ceb12009-11-21 02:48:08 +00001623void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001624 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001625
Devang Patel905cf5e2009-09-04 23:59:07 +00001626 // If debug information is malformed then ignore it.
1627 if (DI_GV.Verify() == false)
1628 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001629
1630 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001631 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001632 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001633
Devang Patel2c4ceb12009-11-21 02:48:08 +00001634 DIE *VariableDie = createGlobalVariableDIE(ModuleCU, DI_GV);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001635
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001636 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001637 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001638
1639 // Add to context owner.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001640 ModuleCU->getCUDie()->addChild(VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001641
1642 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001643 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001644
1645 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001646 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001647 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1648 assert (Entry && "Missing global type!");
1649 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1650 }
Devang Patel13e16b62009-06-26 01:49:18 +00001651 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001652}
1653
Devang Patel2c4ceb12009-11-21 02:48:08 +00001654void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001655 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001656
1657 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001658 if (ModuleCU->getDIE(N))
Devang Patel13e16b62009-06-26 01:49:18 +00001659 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001660
1661 if (!SP.isDefinition())
1662 // This is a method declaration which will be handled while constructing
1663 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001664 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001665
Devang Patel2c4ceb12009-11-21 02:48:08 +00001666 DIE *SubprogramDie = createSubprogramDIE(ModuleCU, SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001667
1668 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001669 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001670
1671 // Add to context owner.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001672 ModuleCU->getCUDie()->addChild(SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001673
1674 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001675 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001676
Devang Patel13e16b62009-06-26 01:49:18 +00001677 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001678}
1679
Devang Patel2c4ceb12009-11-21 02:48:08 +00001680/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001681/// content. Create global DIEs and emit initial debug info sections.
1682/// This is inovked by the target AsmPrinter.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001683void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel208622d2009-06-25 22:36:02 +00001684 this->M = M;
1685
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001686 if (TimePassesIsEnabled)
1687 DebugTimer->startTimer();
1688
Devang Patel3380cc52009-11-11 19:55:08 +00001689 if (!MAI->doesSupportDebugInformation())
1690 return;
1691
Devang Patel78ab9e22009-07-30 18:56:46 +00001692 DebugInfoFinder DbgFinder;
1693 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001694
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001695 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001696 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1697 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001698 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001699
1700 if (CompileUnits.empty()) {
1701 if (TimePassesIsEnabled)
1702 DebugTimer->stopTimer();
1703
1704 return;
1705 }
1706
Devang Patel70f44262009-06-29 20:38:13 +00001707 // If main compile unit for this module is not seen than randomly
1708 // select first compile unit.
Devang Patel1dbc7712009-06-29 20:45:18 +00001709 if (!ModuleCU)
1710 ModuleCU = CompileUnits[0];
Devang Patel70f44262009-06-29 20:38:13 +00001711
Devang Patel13e16b62009-06-26 01:49:18 +00001712 // Create DIEs for each of the externally visible global variables.
Devang Patel78ab9e22009-07-30 18:56:46 +00001713 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
Devang Patelfd07cf52009-10-05 23:40:42 +00001714 E = DbgFinder.global_variable_end(); I != E; ++I) {
1715 DIGlobalVariable GV(*I);
1716 if (GV.getContext().getNode() != GV.getCompileUnit().getNode())
1717 ScopedGVs.push_back(*I);
1718 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001719 constructGlobalVariableDIE(*I);
Devang Patelfd07cf52009-10-05 23:40:42 +00001720 }
Devang Patel13e16b62009-06-26 01:49:18 +00001721
Devang Patel53bb5c92009-11-10 23:06:00 +00001722 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001723 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1724 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001725 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001726
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001727 MMI = mmi;
1728 shouldEmit = true;
1729 MMI->setDebugInfoAvailability(true);
1730
1731 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001732 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001733
1734 // Print out .file directives to specify files for .loc directives. These are
1735 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001736 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001737 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1738 // Remember source id starts at 1.
1739 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
1740 sys::Path FullPath(getSourceDirectoryName(Id.first));
1741 bool AppendOk =
1742 FullPath.appendComponent(getSourceFileName(Id.second));
1743 assert(AppendOk && "Could not append filename to directory!");
1744 AppendOk = false;
Chris Lattner74382b72009-08-23 22:45:37 +00001745 Asm->EmitFile(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001746 Asm->EOL();
1747 }
1748 }
1749
1750 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001751 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001752
1753 if (TimePassesIsEnabled)
1754 DebugTimer->stopTimer();
1755}
1756
Devang Patel2c4ceb12009-11-21 02:48:08 +00001757/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001758///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001759void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001760 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001761 return;
1762
1763 if (TimePassesIsEnabled)
1764 DebugTimer->startTimer();
1765
Devang Patel53bb5c92009-11-10 23:06:00 +00001766 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1767 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1768 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1769 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001770 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001771 }
1772
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001773 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001774 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001775 EmitLabel("text_end", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001776 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001777 EmitLabel("data_end", 0);
1778
1779 // End text sections.
1780 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001781 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001782 EmitLabel("section_end", i);
1783 }
1784
1785 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001786 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001787
1788 // Emit function debug frame information
1789 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1790 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001791 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001792
1793 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001794 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001795
1796 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001797 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001798
1799 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001800 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001801
1802 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001803 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001804
1805 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001806 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001807
Devang Patel193f7202009-11-24 01:14:22 +00001808 // Emit info into a debug pubtypes section.
1809 emitDebugPubTypes();
1810
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001811 // Emit info into a debug str section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001812 emitDebugStr();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001813
1814 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001815 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001816
1817 // Emit info into a debug aranges section.
1818 EmitDebugARanges();
1819
1820 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001821 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001822
1823 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001824 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001825
1826 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001827 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001828
1829 if (TimePassesIsEnabled)
1830 DebugTimer->stopTimer();
1831}
1832
Devang Patel53bb5c92009-11-10 23:06:00 +00001833/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001834DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1835 unsigned FrameIdx,
Devang Patel53bb5c92009-11-10 23:06:00 +00001836 DILocation &ScopeLoc) {
1837
1838 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1839 if (AbsDbgVariable)
1840 return AbsDbgVariable;
1841
1842 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1843 if (!Scope)
1844 return NULL;
1845
1846 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001847 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001848 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1849 return AbsDbgVariable;
1850}
1851
Devang Patel2c4ceb12009-11-21 02:48:08 +00001852/// collectVariableInfo - Populate DbgScope entries with variables' info.
1853void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001854 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001855
Devang Patele717faa2009-10-06 01:26:37 +00001856 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1857 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1858 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelac1ceb32009-10-09 22:42:28 +00001859 MetadataBase *MB = VI->first;
1860 MDNode *Var = dyn_cast_or_null<MDNode>(MB);
Devang Patel53bb5c92009-11-10 23:06:00 +00001861 if (!Var) continue;
Devang Pateleda31212009-10-08 18:48:03 +00001862 DIVariable DV (Var);
Devang Patel53bb5c92009-11-10 23:06:00 +00001863 std::pair< unsigned, MDNode *> VP = VI->second;
1864 DILocation ScopeLoc(VP.second);
1865
1866 DbgScope *Scope =
1867 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1868 if (!Scope)
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001869 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelfb0ee432009-11-10 23:20:04 +00001870 // If variable scope is not found then skip this variable.
1871 if (!Scope)
1872 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001873
1874 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001875 Scope->addVariable(RegVar);
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001876 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1877 ScopeLoc))
Devang Patel53bb5c92009-11-10 23:06:00 +00001878 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patele717faa2009-10-06 01:26:37 +00001879 }
1880}
1881
Devang Patel2c4ceb12009-11-21 02:48:08 +00001882/// beginScope - Process beginning of a scope starting at Label.
1883void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001884 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1885 if (I == DbgScopeBeginMap.end())
1886 return;
Dan Gohman277207e2009-11-23 21:30:55 +00001887 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001888 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001889 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001890 (*SDI)->setStartLabelID(Label);
1891}
1892
Devang Patel2c4ceb12009-11-21 02:48:08 +00001893/// endScope - Process end of a scope.
1894void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001895 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00001896 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00001897 return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001898
1899 unsigned Label = MMI->NextLabelID();
1900 Asm->printLabel(Label);
1901
Devang Patel0d20ac82009-10-06 01:50:42 +00001902 SmallVector<DbgScope *, 2> &SD = I->second;
1903 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001904 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001905 (*SDI)->setEndLabelID(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00001906 return;
1907}
1908
1909/// createDbgScope - Create DbgScope for the scope.
1910void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1911
1912 if (!InlinedAt) {
1913 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1914 if (WScope)
1915 return;
1916 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1917 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001918 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00001919 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00001920 return;
1921 }
1922
1923 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1924 if (WScope)
1925 return;
1926
1927 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1928 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1929 DILocation DL(InlinedAt);
1930 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00001931}
1932
Devang Patel2c4ceb12009-11-21 02:48:08 +00001933/// extractScopeInformation - Scan machine instructions in this function
Devang Patelaf9e8472009-10-01 20:31:14 +00001934/// and collect DbgScopes. Return true, if atleast one scope was found.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001935bool DwarfDebug::extractScopeInformation(MachineFunction *MF) {
Devang Patelaf9e8472009-10-01 20:31:14 +00001936 // If scope information was extracted using .dbg intrinsics then there is not
1937 // any need to extract these information by scanning each instruction.
1938 if (!DbgScopeMap.empty())
1939 return false;
1940
Devang Patel53bb5c92009-11-10 23:06:00 +00001941 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00001942 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1943 I != E; ++I) {
1944 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1945 II != IE; ++II) {
1946 const MachineInstr *MInsn = II;
1947 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00001948 if (DL.isUnknown()) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00001949 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
Devang Patel53bb5c92009-11-10 23:06:00 +00001950 if (!DLT.Scope) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00001951 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001952 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00001953 // into a scope DIE at the end.
Devang Patel53bb5c92009-11-10 23:06:00 +00001954 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
1955 createDbgScope(DLT.Scope, DLT.InlinedAtLoc);
1956 }
1957 }
1958
1959
1960 // Build scope hierarchy using working set of scopes.
1961 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1962 I != E; ++I) {
1963 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1964 II != IE; ++II) {
1965 const MachineInstr *MInsn = II;
1966 DebugLoc DL = MInsn->getDebugLoc();
1967 if (DL.isUnknown()) continue;
1968 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
1969 if (!DLT.Scope) continue;
1970 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001971 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00001972 // into a scope DIE at the end.
1973 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
1974 DbgScope *Scope = getUpdatedDbgScope(DLT.Scope, MInsn, DLT.InlinedAtLoc);
1975 Scope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00001976 }
1977 }
1978
1979 // If a scope's last instruction is not set then use its child scope's
1980 // last instruction as this scope's last instrunction.
Devang Patelbdf45cb2009-10-27 20:47:17 +00001981 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patelaf9e8472009-10-01 20:31:14 +00001982 DE = DbgScopeMap.end(); DI != DE; ++DI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001983 if (DI->second->isAbstractScope())
1984 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00001985 assert (DI->second->getFirstInsn() && "Invalid first instruction!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001986 DI->second->fixInstructionMarkers();
Devang Patelaf9e8472009-10-01 20:31:14 +00001987 assert (DI->second->getLastInsn() && "Invalid last instruction!");
1988 }
1989
1990 // Each scope has first instruction and last instruction to mark beginning
1991 // and end of a scope respectively. Create an inverse map that list scopes
1992 // starts (and ends) with an instruction. One instruction may start (or end)
1993 // multiple scopes.
Devang Patelbdf45cb2009-10-27 20:47:17 +00001994 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patelaf9e8472009-10-01 20:31:14 +00001995 DE = DbgScopeMap.end(); DI != DE; ++DI) {
1996 DbgScope *S = DI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001997 if (S->isAbstractScope())
1998 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00001999 const MachineInstr *MI = S->getFirstInsn();
2000 assert (MI && "DbgScope does not have first instruction!");
2001
2002 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2003 if (IDI != DbgScopeBeginMap.end())
2004 IDI->second.push_back(S);
2005 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002006 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002007
2008 MI = S->getLastInsn();
2009 assert (MI && "DbgScope does not have last instruction!");
2010 IDI = DbgScopeEndMap.find(MI);
2011 if (IDI != DbgScopeEndMap.end())
2012 IDI->second.push_back(S);
2013 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002014 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002015 }
2016
2017 return !DbgScopeMap.empty();
2018}
2019
Devang Patel2c4ceb12009-11-21 02:48:08 +00002020/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002021/// emitted immediately after the function entry point.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002022void DwarfDebug::beginFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002023 this->MF = MF;
2024
2025 if (!ShouldEmitDwarfDebug()) return;
2026
2027 if (TimePassesIsEnabled)
2028 DebugTimer->startTimer();
2029
Devang Patel2c4ceb12009-11-21 02:48:08 +00002030 if (!extractScopeInformation(MF))
Devang Patel60b35bd2009-10-06 18:37:31 +00002031 return;
Devang Patel2c4ceb12009-11-21 02:48:08 +00002032
2033 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002034
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002035 // Begin accumulating function debug information.
2036 MMI->BeginFunction(MF);
2037
2038 // Assumes in correct section after the entry point.
2039 EmitLabel("func_begin", ++SubprogramCount);
2040
2041 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2042 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002043 DebugLoc FDL = MF->getDefaultDebugLoc();
2044 if (!FDL.isUnknown()) {
2045 DebugLocTuple DLT = MF->getDebugLocTuple(FDL);
2046 unsigned LabelID = 0;
Devang Patel1619dc32009-10-13 23:28:53 +00002047 DISubprogram SP = getDISubprogram(DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002048 if (!SP.isNull())
Devang Patel2c4ceb12009-11-21 02:48:08 +00002049 LabelID = recordSourceLine(SP.getLineNumber(), 0, DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002050 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00002051 LabelID = recordSourceLine(DLT.Line, DLT.Col, DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002052 Asm->printLabel(LabelID);
2053 O << '\n';
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002054 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002055 if (TimePassesIsEnabled)
2056 DebugTimer->stopTimer();
2057}
2058
Devang Patel2c4ceb12009-11-21 02:48:08 +00002059/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002060///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002061void DwarfDebug::endFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002062 if (!ShouldEmitDwarfDebug()) return;
2063
2064 if (TimePassesIsEnabled)
2065 DebugTimer->startTimer();
2066
Devang Patelac1ceb32009-10-09 22:42:28 +00002067 if (DbgScopeMap.empty())
2068 return;
Devang Patel70d75ca2009-11-12 19:02:56 +00002069
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002070 // Define end label for subprogram.
2071 EmitLabel("func_end", SubprogramCount);
2072
2073 // Get function line info.
2074 if (!Lines.empty()) {
2075 // Get section line info.
Chris Lattner290c2f52009-08-03 23:20:21 +00002076 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002077 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2078 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2079 // Append the function info to section info.
2080 SectionLineInfos.insert(SectionLineInfos.end(),
2081 Lines.begin(), Lines.end());
2082 }
2083
Devang Patel53bb5c92009-11-10 23:06:00 +00002084 // Construct abstract scopes.
2085 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002086 AE = AbstractScopesList.end(); AI != AE; ++AI)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002087 constructScopeDIE(*AI);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002088
Devang Patel2c4ceb12009-11-21 02:48:08 +00002089 constructScopeDIE(CurrentFnDbgScope);
Devang Patel70d75ca2009-11-12 19:02:56 +00002090
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002091 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2092 MMI->getFrameMoves()));
2093
2094 // Clear debug info
Devang Patel53bb5c92009-11-10 23:06:00 +00002095 if (CurrentFnDbgScope) {
2096 CurrentFnDbgScope = NULL;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002097 DbgScopeMap.clear();
Devang Patelaf9e8472009-10-01 20:31:14 +00002098 DbgScopeBeginMap.clear();
2099 DbgScopeEndMap.clear();
Devang Patel53bb5c92009-11-10 23:06:00 +00002100 ConcreteScopes.clear();
2101 AbstractScopesList.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002102 }
2103
2104 Lines.clear();
2105
2106 if (TimePassesIsEnabled)
2107 DebugTimer->stopTimer();
2108}
2109
Devang Patel2c4ceb12009-11-21 02:48:08 +00002110/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002111/// label. Returns a unique label ID used to generate a label and provide
2112/// correspondence to the source line list.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002113unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patelf84548d2009-10-05 18:03:19 +00002114 MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002115 if (!MMI)
2116 return 0;
2117
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002118 if (TimePassesIsEnabled)
2119 DebugTimer->startTimer();
2120
Devang Patel65dbc902009-11-25 17:36:49 +00002121 StringRef Dir;
2122 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002123
2124 DIDescriptor Scope(S);
2125 if (Scope.isCompileUnit()) {
2126 DICompileUnit CU(S);
2127 Dir = CU.getDirectory();
2128 Fn = CU.getFilename();
2129 } else if (Scope.isSubprogram()) {
2130 DISubprogram SP(S);
2131 Dir = SP.getDirectory();
2132 Fn = SP.getFilename();
2133 } else if (Scope.isLexicalBlock()) {
2134 DILexicalBlock DB(S);
2135 Dir = DB.getDirectory();
2136 Fn = DB.getFilename();
2137 } else
2138 assert (0 && "Unexpected scope info");
2139
2140 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002141 unsigned ID = MMI->NextLabelID();
2142 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2143
2144 if (TimePassesIsEnabled)
2145 DebugTimer->stopTimer();
2146
2147 return ID;
2148}
2149
2150/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2151/// timed. Look up the source id with the given directory and source file
2152/// names. If none currently exists, create a new id and insert it in the
2153/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2154/// well.
2155unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2156 const std::string &FileName) {
2157 if (TimePassesIsEnabled)
2158 DebugTimer->startTimer();
2159
Devang Patel5ccdd102009-09-29 18:40:58 +00002160 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002161
2162 if (TimePassesIsEnabled)
2163 DebugTimer->stopTimer();
2164
2165 return SrcId;
2166}
2167
Bill Wendling829e67b2009-05-20 23:22:40 +00002168//===----------------------------------------------------------------------===//
2169// Emit Methods
2170//===----------------------------------------------------------------------===//
2171
Devang Patel2c4ceb12009-11-21 02:48:08 +00002172/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002173///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002174unsigned
2175DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002176 // Get the children.
2177 const std::vector<DIE *> &Children = Die->getChildren();
2178
2179 // If not last sibling and has children then add sibling offset attribute.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002180 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002181
2182 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002183 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002184
2185 // Get the abbreviation for this DIE.
2186 unsigned AbbrevNumber = Die->getAbbrevNumber();
2187 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2188
2189 // Set DIE offset
2190 Die->setOffset(Offset);
2191
2192 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002193 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002194
2195 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2196 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2197
2198 // Size the DIE attribute values.
2199 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2200 // Size attribute value.
2201 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2202
2203 // Size the DIE children if any.
2204 if (!Children.empty()) {
2205 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2206 "Children flag not set");
2207
2208 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002209 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002210
2211 // End of children marker.
2212 Offset += sizeof(int8_t);
2213 }
2214
2215 Die->setSize(Offset - Die->getOffset());
2216 return Offset;
2217}
2218
Devang Patel2c4ceb12009-11-21 02:48:08 +00002219/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002220///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002221void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002222 // Compute size of compile unit header.
2223 static unsigned Offset =
2224 sizeof(int32_t) + // Length of Compilation Unit Info
2225 sizeof(int16_t) + // DWARF version number
2226 sizeof(int32_t) + // Offset Into Abbrev. Section
2227 sizeof(int8_t); // Pointer Size (in bytes)
2228
Devang Patel2c4ceb12009-11-21 02:48:08 +00002229 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002230 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002231}
2232
Devang Patel2c4ceb12009-11-21 02:48:08 +00002233/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002234/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002235void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002236 // Check to see if we already emitted intial headers.
2237 if (didInitial) return;
2238 didInitial = true;
2239
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002240 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002241
Bill Wendling94d04b82009-05-20 23:21:38 +00002242 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002243 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002244 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002245 EmitLabel("section_debug_frame", 0);
2246 }
2247
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002248 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002249 EmitLabel("section_info", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002250 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002251 EmitLabel("section_abbrev", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002252 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002253 EmitLabel("section_aranges", 0);
2254
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002255 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2256 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling94d04b82009-05-20 23:21:38 +00002257 EmitLabel("section_macinfo", 0);
2258 }
2259
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002260 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002261 EmitLabel("section_line", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002262 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002263 EmitLabel("section_loc", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002264 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002265 EmitLabel("section_pubnames", 0);
Devang Patel193f7202009-11-24 01:14:22 +00002266 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2267 EmitLabel("section_pubtypes", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002268 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002269 EmitLabel("section_str", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002270 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002271 EmitLabel("section_ranges", 0);
2272
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002273 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002274 EmitLabel("text_begin", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002275 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002276 EmitLabel("data_begin", 0);
2277}
2278
Devang Patel2c4ceb12009-11-21 02:48:08 +00002279/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002280///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002281void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002282 // Get the abbreviation for this DIE.
2283 unsigned AbbrevNumber = Die->getAbbrevNumber();
2284 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2285
2286 Asm->EOL();
2287
2288 // Emit the code (index) for the abbreviation.
2289 Asm->EmitULEB128Bytes(AbbrevNumber);
2290
2291 if (Asm->isVerbose())
2292 Asm->EOL(std::string("Abbrev [" +
2293 utostr(AbbrevNumber) +
2294 "] 0x" + utohexstr(Die->getOffset()) +
2295 ":0x" + utohexstr(Die->getSize()) + " " +
2296 dwarf::TagString(Abbrev->getTag())));
2297 else
2298 Asm->EOL();
2299
2300 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2301 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2302
2303 // Emit the DIE attribute values.
2304 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2305 unsigned Attr = AbbrevData[i].getAttribute();
2306 unsigned Form = AbbrevData[i].getForm();
2307 assert(Form && "Too many attributes for DIE (check abbreviation)");
2308
2309 switch (Attr) {
2310 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002311 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002312 break;
2313 case dwarf::DW_AT_abstract_origin: {
2314 DIEEntry *E = cast<DIEEntry>(Values[i]);
2315 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002316 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002317 Asm->EmitInt32(Addr);
2318 break;
2319 }
2320 default:
2321 // Emit an attribute using the defined form.
2322 Values[i]->EmitValue(this, Form);
2323 break;
2324 }
2325
2326 Asm->EOL(dwarf::AttributeString(Attr));
2327 }
2328
2329 // Emit the DIE children if any.
2330 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2331 const std::vector<DIE *> &Children = Die->getChildren();
2332
2333 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002334 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002335
2336 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2337 }
2338}
2339
Devang Patel2c4ceb12009-11-21 02:48:08 +00002340/// emitDebugInfo / emitDebugInfoPerCU - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002341///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002342void DwarfDebug::emitDebugInfoPerCU(CompileUnit *Unit) {
Devang Patel017d1212009-11-20 21:37:22 +00002343 DIE *Die = Unit->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002344
2345 // Emit the compile units header.
2346 EmitLabel("info_begin", Unit->getID());
2347
2348 // Emit size of content not including length itself
2349 unsigned ContentSize = Die->getSize() +
2350 sizeof(int16_t) + // DWARF version number
2351 sizeof(int32_t) + // Offset Into Abbrev. Section
2352 sizeof(int8_t) + // Pointer Size (in bytes)
2353 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2354
2355 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info");
2356 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2357 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2358 Asm->EOL("Offset Into Abbrev. Section");
2359 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2360
Devang Patel2c4ceb12009-11-21 02:48:08 +00002361 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002362 // FIXME - extra padding for gdb bug.
2363 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2364 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2365 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2366 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2367 EmitLabel("info_end", Unit->getID());
2368
2369 Asm->EOL();
2370}
2371
Devang Patel2c4ceb12009-11-21 02:48:08 +00002372void DwarfDebug::emitDebugInfo() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002373 // Start debug info section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002374 Asm->OutStreamer.SwitchSection(
2375 Asm->getObjFileLowering().getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002376
Devang Patel2c4ceb12009-11-21 02:48:08 +00002377 emitDebugInfoPerCU(ModuleCU);
Bill Wendling94d04b82009-05-20 23:21:38 +00002378}
2379
Devang Patel2c4ceb12009-11-21 02:48:08 +00002380/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002381///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002382void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002383 // Check to see if it is worth the effort.
2384 if (!Abbreviations.empty()) {
2385 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002386 Asm->OutStreamer.SwitchSection(
2387 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002388
2389 EmitLabel("abbrev_begin", 0);
2390
2391 // For each abbrevation.
2392 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2393 // Get abbreviation data
2394 const DIEAbbrev *Abbrev = Abbreviations[i];
2395
2396 // Emit the abbrevations code (base 1 index.)
2397 Asm->EmitULEB128Bytes(Abbrev->getNumber());
2398 Asm->EOL("Abbreviation Code");
2399
2400 // Emit the abbreviations data.
2401 Abbrev->Emit(Asm);
2402
2403 Asm->EOL();
2404 }
2405
2406 // Mark end of abbreviations.
2407 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2408
2409 EmitLabel("abbrev_end", 0);
2410 Asm->EOL();
2411 }
2412}
2413
Devang Patel2c4ceb12009-11-21 02:48:08 +00002414/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002415/// the line matrix.
2416///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002417void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002418 // Define last address of section.
2419 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2420 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2421 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2422 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2423
2424 // Mark end of matrix.
2425 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2426 Asm->EmitULEB128Bytes(1); Asm->EOL();
2427 Asm->EmitInt8(1); Asm->EOL();
2428}
2429
Devang Patel2c4ceb12009-11-21 02:48:08 +00002430/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002431///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002432void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002433 // If the target is using .loc/.file, the assembler will be emitting the
2434 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002435 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002436 return;
2437
2438 // Minimum line delta, thus ranging from -10..(255-10).
2439 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2440 // Maximum line delta, thus ranging from -10..(255-10).
2441 const int MaxLineDelta = 255 + MinLineDelta;
2442
2443 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002444 Asm->OutStreamer.SwitchSection(
2445 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002446
2447 // Construct the section header.
2448 EmitDifference("line_end", 0, "line_begin", 0, true);
2449 Asm->EOL("Length of Source Line Info");
2450 EmitLabel("line_begin", 0);
2451
2452 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2453
2454 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2455 Asm->EOL("Prolog Length");
2456 EmitLabel("line_prolog_begin", 0);
2457
2458 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2459
2460 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2461
2462 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2463
2464 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2465
2466 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2467
2468 // Line number standard opcode encodings argument count
2469 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2470 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2471 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2472 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2473 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2474 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2475 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2476 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2477 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2478
2479 // Emit directories.
2480 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2481 Asm->EmitString(getSourceDirectoryName(DI));
2482 Asm->EOL("Directory");
2483 }
2484
2485 Asm->EmitInt8(0); Asm->EOL("End of directories");
2486
2487 // Emit files.
2488 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2489 // Remember source id starts at 1.
2490 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2491 Asm->EmitString(getSourceFileName(Id.second));
2492 Asm->EOL("Source");
2493 Asm->EmitULEB128Bytes(Id.first);
2494 Asm->EOL("Directory #");
2495 Asm->EmitULEB128Bytes(0);
2496 Asm->EOL("Mod date");
2497 Asm->EmitULEB128Bytes(0);
2498 Asm->EOL("File size");
2499 }
2500
2501 Asm->EmitInt8(0); Asm->EOL("End of files");
2502
2503 EmitLabel("line_prolog_end", 0);
2504
2505 // A sequence for each text section.
2506 unsigned SecSrcLinesSize = SectionSourceLines.size();
2507
2508 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2509 // Isolate current sections line info.
2510 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2511
Chris Lattner93b6db32009-08-08 23:39:42 +00002512 /*if (Asm->isVerbose()) {
Chris Lattnera87dea42009-07-31 18:48:30 +00002513 const MCSection *S = SectionMap[j + 1];
Chris Lattner33adcfb2009-08-22 21:43:10 +00002514 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling94d04b82009-05-20 23:21:38 +00002515 << S->getName() << '\n';
Chris Lattner93b6db32009-08-08 23:39:42 +00002516 }*/
2517 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002518
2519 // Dwarf assumes we start with first line of first source file.
2520 unsigned Source = 1;
2521 unsigned Line = 1;
2522
2523 // Construct rows of the address, source, line, column matrix.
2524 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2525 const SrcLineInfo &LineInfo = LineInfos[i];
2526 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2527 if (!LabelID) continue;
2528
Caroline Ticec6f9d622009-09-11 18:25:54 +00002529 if (LineInfo.getLine() == 0) continue;
2530
Bill Wendling94d04b82009-05-20 23:21:38 +00002531 if (!Asm->isVerbose())
2532 Asm->EOL();
2533 else {
2534 std::pair<unsigned, unsigned> SourceID =
2535 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner33adcfb2009-08-22 21:43:10 +00002536 O << '\t' << MAI->getCommentString() << ' '
Bill Wendling94d04b82009-05-20 23:21:38 +00002537 << getSourceDirectoryName(SourceID.first) << ' '
2538 << getSourceFileName(SourceID.second)
2539 <<" :" << utostr_32(LineInfo.getLine()) << '\n';
2540 }
2541
2542 // Define the line address.
2543 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2544 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2545 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2546 EmitReference("label", LabelID); Asm->EOL("Location label");
2547
2548 // If change of source, then switch to the new source.
2549 if (Source != LineInfo.getSourceID()) {
2550 Source = LineInfo.getSourceID();
2551 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2552 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2553 }
2554
2555 // If change of line.
2556 if (Line != LineInfo.getLine()) {
2557 // Determine offset.
2558 int Offset = LineInfo.getLine() - Line;
2559 int Delta = Offset - MinLineDelta;
2560
2561 // Update line.
2562 Line = LineInfo.getLine();
2563
2564 // If delta is small enough and in range...
2565 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2566 // ... then use fast opcode.
2567 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2568 } else {
2569 // ... otherwise use long hand.
2570 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2571 Asm->EOL("DW_LNS_advance_line");
2572 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2573 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2574 }
2575 } else {
2576 // Copy the previous row (different address or source)
2577 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2578 }
2579 }
2580
Devang Patel2c4ceb12009-11-21 02:48:08 +00002581 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002582 }
2583
2584 if (SecSrcLinesSize == 0)
2585 // Because we're emitting a debug_line section, we still need a line
2586 // table. The linker and friends expect it to exist. If there's nothing to
2587 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002588 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002589
2590 EmitLabel("line_end", 0);
2591 Asm->EOL();
2592}
2593
Devang Patel2c4ceb12009-11-21 02:48:08 +00002594/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002595///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002596void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002597 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002598 return;
2599
2600 int stackGrowth =
2601 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2602 TargetFrameInfo::StackGrowsUp ?
2603 TD->getPointerSize() : -TD->getPointerSize();
2604
2605 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002606 Asm->OutStreamer.SwitchSection(
2607 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002608
2609 EmitLabel("debug_frame_common", 0);
2610 EmitDifference("debug_frame_common_end", 0,
2611 "debug_frame_common_begin", 0, true);
2612 Asm->EOL("Length of Common Information Entry");
2613
2614 EmitLabel("debug_frame_common_begin", 0);
2615 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2616 Asm->EOL("CIE Identifier Tag");
2617 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2618 Asm->EOL("CIE Version");
2619 Asm->EmitString("");
2620 Asm->EOL("CIE Augmentation");
2621 Asm->EmitULEB128Bytes(1);
2622 Asm->EOL("CIE Code Alignment Factor");
2623 Asm->EmitSLEB128Bytes(stackGrowth);
2624 Asm->EOL("CIE Data Alignment Factor");
2625 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2626 Asm->EOL("CIE RA Column");
2627
2628 std::vector<MachineMove> Moves;
2629 RI->getInitialFrameState(Moves);
2630
2631 EmitFrameMoves(NULL, 0, Moves, false);
2632
2633 Asm->EmitAlignment(2, 0, 0, false);
2634 EmitLabel("debug_frame_common_end", 0);
2635
2636 Asm->EOL();
2637}
2638
Devang Patel2c4ceb12009-11-21 02:48:08 +00002639/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002640/// section.
2641void
Devang Patel2c4ceb12009-11-21 02:48:08 +00002642DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattner33adcfb2009-08-22 21:43:10 +00002643 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002644 return;
2645
2646 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002647 Asm->OutStreamer.SwitchSection(
2648 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002649
2650 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2651 "debug_frame_begin", DebugFrameInfo.Number, true);
2652 Asm->EOL("Length of Frame Information Entry");
2653
2654 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2655
2656 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2657 0, 0, true, false);
2658 Asm->EOL("FDE CIE offset");
2659
2660 EmitReference("func_begin", DebugFrameInfo.Number);
2661 Asm->EOL("FDE initial location");
2662 EmitDifference("func_end", DebugFrameInfo.Number,
2663 "func_begin", DebugFrameInfo.Number);
2664 Asm->EOL("FDE address range");
2665
2666 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2667 false);
2668
2669 Asm->EmitAlignment(2, 0, 0, false);
2670 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2671
2672 Asm->EOL();
2673}
2674
Devang Patel2c4ceb12009-11-21 02:48:08 +00002675void DwarfDebug::emitDebugPubNamesPerCU(CompileUnit *Unit) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002676 EmitDifference("pubnames_end", Unit->getID(),
2677 "pubnames_begin", Unit->getID(), true);
2678 Asm->EOL("Length of Public Names Info");
2679
2680 EmitLabel("pubnames_begin", Unit->getID());
2681
2682 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2683
2684 EmitSectionOffset("info_begin", "section_info",
2685 Unit->getID(), 0, true, false);
2686 Asm->EOL("Offset of Compilation Unit Info");
2687
2688 EmitDifference("info_end", Unit->getID(), "info_begin", Unit->getID(),
2689 true);
2690 Asm->EOL("Compilation Unit Length");
2691
Devang Patel193f7202009-11-24 01:14:22 +00002692 const StringMap<DIE*> &Globals = Unit->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002693 for (StringMap<DIE*>::const_iterator
2694 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2695 const char *Name = GI->getKeyData();
2696 DIE * Entity = GI->second;
2697
2698 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2699 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2700 }
2701
2702 Asm->EmitInt32(0); Asm->EOL("End Mark");
2703 EmitLabel("pubnames_end", Unit->getID());
2704
2705 Asm->EOL();
2706}
2707
Devang Patel2c4ceb12009-11-21 02:48:08 +00002708/// emitDebugPubNames - Emit visible names into a debug pubnames section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002709///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002710void DwarfDebug::emitDebugPubNames() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002711 // Start the dwarf pubnames section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002712 Asm->OutStreamer.SwitchSection(
2713 Asm->getObjFileLowering().getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002714
Devang Patel2c4ceb12009-11-21 02:48:08 +00002715 emitDebugPubNamesPerCU(ModuleCU);
Bill Wendling94d04b82009-05-20 23:21:38 +00002716}
2717
Devang Patel193f7202009-11-24 01:14:22 +00002718void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002719 // Start the dwarf pubnames section.
2720 Asm->OutStreamer.SwitchSection(
2721 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel193f7202009-11-24 01:14:22 +00002722 EmitDifference("pubtypes_end", ModuleCU->getID(),
2723 "pubtypes_begin", ModuleCU->getID(), true);
2724 Asm->EOL("Length of Public Types Info");
2725
2726 EmitLabel("pubtypes_begin", ModuleCU->getID());
2727
2728 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2729
2730 EmitSectionOffset("info_begin", "section_info",
2731 ModuleCU->getID(), 0, true, false);
2732 Asm->EOL("Offset of Compilation ModuleCU Info");
2733
2734 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2735 true);
2736 Asm->EOL("Compilation ModuleCU Length");
2737
2738 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2739 for (StringMap<DIE*>::const_iterator
2740 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2741 const char *Name = GI->getKeyData();
2742 DIE * Entity = GI->second;
2743
2744 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2745 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2746 }
2747
2748 Asm->EmitInt32(0); Asm->EOL("End Mark");
2749 EmitLabel("pubtypes_end", ModuleCU->getID());
2750
2751 Asm->EOL();
2752}
2753
Devang Patel2c4ceb12009-11-21 02:48:08 +00002754/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002755///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002756void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002757 // Check to see if it is worth the effort.
2758 if (!StringPool.empty()) {
2759 // Start the dwarf str section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002760 Asm->OutStreamer.SwitchSection(
2761 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002762
2763 // For each of strings in the string pool.
2764 for (unsigned StringID = 1, N = StringPool.size();
2765 StringID <= N; ++StringID) {
2766 // Emit a label for reference from debug information entries.
2767 EmitLabel("string", StringID);
2768
2769 // Emit the string itself.
2770 const std::string &String = StringPool[StringID];
2771 Asm->EmitString(String); Asm->EOL();
2772 }
2773
2774 Asm->EOL();
2775 }
2776}
2777
Devang Patel2c4ceb12009-11-21 02:48:08 +00002778/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002779///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002780void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002781 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002782 Asm->OutStreamer.SwitchSection(
2783 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002784 Asm->EOL();
2785}
2786
2787/// EmitDebugARanges - Emit visible names into a debug aranges section.
2788///
2789void DwarfDebug::EmitDebugARanges() {
2790 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002791 Asm->OutStreamer.SwitchSection(
2792 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002793
2794 // FIXME - Mock up
2795#if 0
2796 CompileUnit *Unit = GetBaseCompileUnit();
2797
2798 // Don't include size of length
2799 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2800
2801 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2802
2803 EmitReference("info_begin", Unit->getID());
2804 Asm->EOL("Offset of Compilation Unit Info");
2805
2806 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2807
2808 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2809
2810 Asm->EmitInt16(0); Asm->EOL("Pad (1)");
2811 Asm->EmitInt16(0); Asm->EOL("Pad (2)");
2812
2813 // Range 1
2814 EmitReference("text_begin", 0); Asm->EOL("Address");
2815 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2816
2817 Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2818 Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2819#endif
2820
2821 Asm->EOL();
2822}
2823
Devang Patel2c4ceb12009-11-21 02:48:08 +00002824/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002825///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002826void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002827 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002828 Asm->OutStreamer.SwitchSection(
2829 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002830 Asm->EOL();
2831}
2832
Devang Patel2c4ceb12009-11-21 02:48:08 +00002833/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002834///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002835void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002836 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002837 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002838 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002839 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002840 Asm->EOL();
2841 }
2842}
2843
Devang Patel2c4ceb12009-11-21 02:48:08 +00002844/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00002845/// Section Header:
2846/// 1. length of section
2847/// 2. Dwarf version number
2848/// 3. address size.
2849///
2850/// Entries (one "entry" for each function that was inlined):
2851///
2852/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2853/// otherwise offset into __debug_str for regular function name.
2854/// 2. offset into __debug_str section for regular function name.
2855/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2856/// instances for the function.
2857///
2858/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2859/// inlined instance; the die_offset points to the inlined_subroutine die in the
2860/// __debug_info section, and the low_pc is the starting address for the
2861/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002862void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002863 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002864 return;
2865
Devang Patel1dbc7712009-06-29 20:45:18 +00002866 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002867 return;
2868
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002869 Asm->OutStreamer.SwitchSection(
2870 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002871 Asm->EOL();
2872 EmitDifference("debug_inlined_end", 1,
2873 "debug_inlined_begin", 1, true);
2874 Asm->EOL("Length of Debug Inlined Information Entry");
2875
2876 EmitLabel("debug_inlined_begin", 1);
2877
2878 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2879 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2880
Devang Patel53bb5c92009-11-10 23:06:00 +00002881 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2882 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002883
Devang Patel53bb5c92009-11-10 23:06:00 +00002884// for (ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
2885 // I = InlineInfo.begin(), E = InlineInfo.end(); I != E; ++I) {
2886 MDNode *Node = *I;
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002887 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
2888 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00002889 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00002890 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00002891 StringRef LName = SP.getLinkageName();
2892 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002893
Devang Patel65dbc902009-11-25 17:36:49 +00002894 if (LName.empty())
Devang Patel53cb17d2009-07-16 01:01:22 +00002895 Asm->EmitString(Name);
2896 else {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002897 // Skip special LLVM prefix that is used to inform the asm printer to not
2898 // emit usual symbol prefix before the symbol name. This happens for
2899 // Objective-C symbol names and symbol whose name is replaced using GCC's
2900 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00002901 if (LName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00002902 LName = LName.substr(1);
Devang Patel53bb5c92009-11-10 23:06:00 +00002903// Asm->EmitString(LName);
2904 EmitSectionOffset("string", "section_str",
2905 StringPool.idFor(LName), false, true);
2906
Devang Patel53cb17d2009-07-16 01:01:22 +00002907 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002908 Asm->EOL("MIPS linkage name");
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002909// Asm->EmitString(Name);
Devang Patel53bb5c92009-11-10 23:06:00 +00002910 EmitSectionOffset("string", "section_str",
2911 StringPool.idFor(Name), false, true);
2912 Asm->EOL("Function name");
Bill Wendling94d04b82009-05-20 23:21:38 +00002913 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2914
Devang Patel53bb5c92009-11-10 23:06:00 +00002915 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002916 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002917 DIE *SP = LI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002918 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2919
2920 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +00002921 O << MAI->getData32bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002922 else
Chris Lattner33adcfb2009-08-22 21:43:10 +00002923 O << MAI->getData64bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002924
Devang Patel53bb5c92009-11-10 23:06:00 +00002925 PrintLabelName("label", LI->first); Asm->EOL("low_pc");
Bill Wendling94d04b82009-05-20 23:21:38 +00002926 }
2927 }
2928
2929 EmitLabel("debug_inlined_end", 1);
2930 Asm->EOL();
2931}