blob: 30264c751bbdbaeeb8b9d7023fa7f6b2ebc4e74a [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 Patelc09ddc12009-12-01 18:13:48 +00002095 CurrentFnDbgScope = NULL;
2096 DbgScopeMap.clear();
2097 DbgScopeBeginMap.clear();
2098 DbgScopeEndMap.clear();
2099 ConcreteScopes.clear();
2100 AbstractScopesList.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002101
2102 Lines.clear();
Devang Patelc09ddc12009-12-01 18:13:48 +00002103
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002104 if (TimePassesIsEnabled)
2105 DebugTimer->stopTimer();
2106}
2107
Devang Patel2c4ceb12009-11-21 02:48:08 +00002108/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002109/// label. Returns a unique label ID used to generate a label and provide
2110/// correspondence to the source line list.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002111unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patelf84548d2009-10-05 18:03:19 +00002112 MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002113 if (!MMI)
2114 return 0;
2115
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002116 if (TimePassesIsEnabled)
2117 DebugTimer->startTimer();
2118
Devang Patel65dbc902009-11-25 17:36:49 +00002119 StringRef Dir;
2120 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002121
2122 DIDescriptor Scope(S);
2123 if (Scope.isCompileUnit()) {
2124 DICompileUnit CU(S);
2125 Dir = CU.getDirectory();
2126 Fn = CU.getFilename();
2127 } else if (Scope.isSubprogram()) {
2128 DISubprogram SP(S);
2129 Dir = SP.getDirectory();
2130 Fn = SP.getFilename();
2131 } else if (Scope.isLexicalBlock()) {
2132 DILexicalBlock DB(S);
2133 Dir = DB.getDirectory();
2134 Fn = DB.getFilename();
2135 } else
2136 assert (0 && "Unexpected scope info");
2137
2138 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002139 unsigned ID = MMI->NextLabelID();
2140 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2141
2142 if (TimePassesIsEnabled)
2143 DebugTimer->stopTimer();
2144
2145 return ID;
2146}
2147
2148/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2149/// timed. Look up the source id with the given directory and source file
2150/// names. If none currently exists, create a new id and insert it in the
2151/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2152/// well.
2153unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2154 const std::string &FileName) {
2155 if (TimePassesIsEnabled)
2156 DebugTimer->startTimer();
2157
Devang Patel5ccdd102009-09-29 18:40:58 +00002158 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002159
2160 if (TimePassesIsEnabled)
2161 DebugTimer->stopTimer();
2162
2163 return SrcId;
2164}
2165
Bill Wendling829e67b2009-05-20 23:22:40 +00002166//===----------------------------------------------------------------------===//
2167// Emit Methods
2168//===----------------------------------------------------------------------===//
2169
Devang Patel2c4ceb12009-11-21 02:48:08 +00002170/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002171///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002172unsigned
2173DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002174 // Get the children.
2175 const std::vector<DIE *> &Children = Die->getChildren();
2176
2177 // If not last sibling and has children then add sibling offset attribute.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002178 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002179
2180 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002181 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002182
2183 // Get the abbreviation for this DIE.
2184 unsigned AbbrevNumber = Die->getAbbrevNumber();
2185 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2186
2187 // Set DIE offset
2188 Die->setOffset(Offset);
2189
2190 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002191 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002192
2193 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2194 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2195
2196 // Size the DIE attribute values.
2197 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2198 // Size attribute value.
2199 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2200
2201 // Size the DIE children if any.
2202 if (!Children.empty()) {
2203 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2204 "Children flag not set");
2205
2206 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002207 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002208
2209 // End of children marker.
2210 Offset += sizeof(int8_t);
2211 }
2212
2213 Die->setSize(Offset - Die->getOffset());
2214 return Offset;
2215}
2216
Devang Patel2c4ceb12009-11-21 02:48:08 +00002217/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002218///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002219void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002220 // Compute size of compile unit header.
2221 static unsigned Offset =
2222 sizeof(int32_t) + // Length of Compilation Unit Info
2223 sizeof(int16_t) + // DWARF version number
2224 sizeof(int32_t) + // Offset Into Abbrev. Section
2225 sizeof(int8_t); // Pointer Size (in bytes)
2226
Devang Patel2c4ceb12009-11-21 02:48:08 +00002227 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002228 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002229}
2230
Devang Patel2c4ceb12009-11-21 02:48:08 +00002231/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002232/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002233void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002234 // Check to see if we already emitted intial headers.
2235 if (didInitial) return;
2236 didInitial = true;
2237
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002238 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002239
Bill Wendling94d04b82009-05-20 23:21:38 +00002240 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002241 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002242 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002243 EmitLabel("section_debug_frame", 0);
2244 }
2245
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002246 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002247 EmitLabel("section_info", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002248 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002249 EmitLabel("section_abbrev", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002250 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002251 EmitLabel("section_aranges", 0);
2252
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002253 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2254 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling94d04b82009-05-20 23:21:38 +00002255 EmitLabel("section_macinfo", 0);
2256 }
2257
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002258 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002259 EmitLabel("section_line", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002260 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002261 EmitLabel("section_loc", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002262 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002263 EmitLabel("section_pubnames", 0);
Devang Patel193f7202009-11-24 01:14:22 +00002264 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2265 EmitLabel("section_pubtypes", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002266 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002267 EmitLabel("section_str", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002268 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002269 EmitLabel("section_ranges", 0);
2270
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002271 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002272 EmitLabel("text_begin", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002273 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002274 EmitLabel("data_begin", 0);
2275}
2276
Devang Patel2c4ceb12009-11-21 02:48:08 +00002277/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002278///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002279void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002280 // Get the abbreviation for this DIE.
2281 unsigned AbbrevNumber = Die->getAbbrevNumber();
2282 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2283
2284 Asm->EOL();
2285
2286 // Emit the code (index) for the abbreviation.
2287 Asm->EmitULEB128Bytes(AbbrevNumber);
2288
2289 if (Asm->isVerbose())
2290 Asm->EOL(std::string("Abbrev [" +
2291 utostr(AbbrevNumber) +
2292 "] 0x" + utohexstr(Die->getOffset()) +
2293 ":0x" + utohexstr(Die->getSize()) + " " +
2294 dwarf::TagString(Abbrev->getTag())));
2295 else
2296 Asm->EOL();
2297
2298 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2299 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2300
2301 // Emit the DIE attribute values.
2302 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2303 unsigned Attr = AbbrevData[i].getAttribute();
2304 unsigned Form = AbbrevData[i].getForm();
2305 assert(Form && "Too many attributes for DIE (check abbreviation)");
2306
2307 switch (Attr) {
2308 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002309 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002310 break;
2311 case dwarf::DW_AT_abstract_origin: {
2312 DIEEntry *E = cast<DIEEntry>(Values[i]);
2313 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002314 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002315 Asm->EmitInt32(Addr);
2316 break;
2317 }
2318 default:
2319 // Emit an attribute using the defined form.
2320 Values[i]->EmitValue(this, Form);
2321 break;
2322 }
2323
2324 Asm->EOL(dwarf::AttributeString(Attr));
2325 }
2326
2327 // Emit the DIE children if any.
2328 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2329 const std::vector<DIE *> &Children = Die->getChildren();
2330
2331 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002332 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002333
2334 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2335 }
2336}
2337
Devang Patel2c4ceb12009-11-21 02:48:08 +00002338/// emitDebugInfo / emitDebugInfoPerCU - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002339///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002340void DwarfDebug::emitDebugInfoPerCU(CompileUnit *Unit) {
Devang Patel017d1212009-11-20 21:37:22 +00002341 DIE *Die = Unit->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002342
2343 // Emit the compile units header.
2344 EmitLabel("info_begin", Unit->getID());
2345
2346 // Emit size of content not including length itself
2347 unsigned ContentSize = Die->getSize() +
2348 sizeof(int16_t) + // DWARF version number
2349 sizeof(int32_t) + // Offset Into Abbrev. Section
2350 sizeof(int8_t) + // Pointer Size (in bytes)
2351 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2352
2353 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info");
2354 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2355 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2356 Asm->EOL("Offset Into Abbrev. Section");
2357 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2358
Devang Patel2c4ceb12009-11-21 02:48:08 +00002359 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002360 // FIXME - extra padding for gdb bug.
2361 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2362 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2363 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2364 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2365 EmitLabel("info_end", Unit->getID());
2366
2367 Asm->EOL();
2368}
2369
Devang Patel2c4ceb12009-11-21 02:48:08 +00002370void DwarfDebug::emitDebugInfo() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002371 // Start debug info section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002372 Asm->OutStreamer.SwitchSection(
2373 Asm->getObjFileLowering().getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002374
Devang Patel2c4ceb12009-11-21 02:48:08 +00002375 emitDebugInfoPerCU(ModuleCU);
Bill Wendling94d04b82009-05-20 23:21:38 +00002376}
2377
Devang Patel2c4ceb12009-11-21 02:48:08 +00002378/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002379///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002380void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002381 // Check to see if it is worth the effort.
2382 if (!Abbreviations.empty()) {
2383 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002384 Asm->OutStreamer.SwitchSection(
2385 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002386
2387 EmitLabel("abbrev_begin", 0);
2388
2389 // For each abbrevation.
2390 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2391 // Get abbreviation data
2392 const DIEAbbrev *Abbrev = Abbreviations[i];
2393
2394 // Emit the abbrevations code (base 1 index.)
2395 Asm->EmitULEB128Bytes(Abbrev->getNumber());
2396 Asm->EOL("Abbreviation Code");
2397
2398 // Emit the abbreviations data.
2399 Abbrev->Emit(Asm);
2400
2401 Asm->EOL();
2402 }
2403
2404 // Mark end of abbreviations.
2405 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2406
2407 EmitLabel("abbrev_end", 0);
2408 Asm->EOL();
2409 }
2410}
2411
Devang Patel2c4ceb12009-11-21 02:48:08 +00002412/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002413/// the line matrix.
2414///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002415void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002416 // Define last address of section.
2417 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2418 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2419 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2420 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2421
2422 // Mark end of matrix.
2423 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2424 Asm->EmitULEB128Bytes(1); Asm->EOL();
2425 Asm->EmitInt8(1); Asm->EOL();
2426}
2427
Devang Patel2c4ceb12009-11-21 02:48:08 +00002428/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002429///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002430void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002431 // If the target is using .loc/.file, the assembler will be emitting the
2432 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002433 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002434 return;
2435
2436 // Minimum line delta, thus ranging from -10..(255-10).
2437 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2438 // Maximum line delta, thus ranging from -10..(255-10).
2439 const int MaxLineDelta = 255 + MinLineDelta;
2440
2441 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002442 Asm->OutStreamer.SwitchSection(
2443 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002444
2445 // Construct the section header.
2446 EmitDifference("line_end", 0, "line_begin", 0, true);
2447 Asm->EOL("Length of Source Line Info");
2448 EmitLabel("line_begin", 0);
2449
2450 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2451
2452 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2453 Asm->EOL("Prolog Length");
2454 EmitLabel("line_prolog_begin", 0);
2455
2456 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2457
2458 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2459
2460 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2461
2462 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2463
2464 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2465
2466 // Line number standard opcode encodings argument count
2467 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2468 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2469 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2470 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2471 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2472 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2473 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2474 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2475 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2476
2477 // Emit directories.
2478 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2479 Asm->EmitString(getSourceDirectoryName(DI));
2480 Asm->EOL("Directory");
2481 }
2482
2483 Asm->EmitInt8(0); Asm->EOL("End of directories");
2484
2485 // Emit files.
2486 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2487 // Remember source id starts at 1.
2488 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2489 Asm->EmitString(getSourceFileName(Id.second));
2490 Asm->EOL("Source");
2491 Asm->EmitULEB128Bytes(Id.first);
2492 Asm->EOL("Directory #");
2493 Asm->EmitULEB128Bytes(0);
2494 Asm->EOL("Mod date");
2495 Asm->EmitULEB128Bytes(0);
2496 Asm->EOL("File size");
2497 }
2498
2499 Asm->EmitInt8(0); Asm->EOL("End of files");
2500
2501 EmitLabel("line_prolog_end", 0);
2502
2503 // A sequence for each text section.
2504 unsigned SecSrcLinesSize = SectionSourceLines.size();
2505
2506 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2507 // Isolate current sections line info.
2508 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2509
Chris Lattner93b6db32009-08-08 23:39:42 +00002510 /*if (Asm->isVerbose()) {
Chris Lattnera87dea42009-07-31 18:48:30 +00002511 const MCSection *S = SectionMap[j + 1];
Chris Lattner33adcfb2009-08-22 21:43:10 +00002512 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling94d04b82009-05-20 23:21:38 +00002513 << S->getName() << '\n';
Chris Lattner93b6db32009-08-08 23:39:42 +00002514 }*/
2515 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002516
2517 // Dwarf assumes we start with first line of first source file.
2518 unsigned Source = 1;
2519 unsigned Line = 1;
2520
2521 // Construct rows of the address, source, line, column matrix.
2522 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2523 const SrcLineInfo &LineInfo = LineInfos[i];
2524 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2525 if (!LabelID) continue;
2526
Caroline Ticec6f9d622009-09-11 18:25:54 +00002527 if (LineInfo.getLine() == 0) continue;
2528
Bill Wendling94d04b82009-05-20 23:21:38 +00002529 if (!Asm->isVerbose())
2530 Asm->EOL();
2531 else {
2532 std::pair<unsigned, unsigned> SourceID =
2533 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner33adcfb2009-08-22 21:43:10 +00002534 O << '\t' << MAI->getCommentString() << ' '
Bill Wendling94d04b82009-05-20 23:21:38 +00002535 << getSourceDirectoryName(SourceID.first) << ' '
2536 << getSourceFileName(SourceID.second)
2537 <<" :" << utostr_32(LineInfo.getLine()) << '\n';
2538 }
2539
2540 // Define the line address.
2541 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2542 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2543 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2544 EmitReference("label", LabelID); Asm->EOL("Location label");
2545
2546 // If change of source, then switch to the new source.
2547 if (Source != LineInfo.getSourceID()) {
2548 Source = LineInfo.getSourceID();
2549 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2550 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2551 }
2552
2553 // If change of line.
2554 if (Line != LineInfo.getLine()) {
2555 // Determine offset.
2556 int Offset = LineInfo.getLine() - Line;
2557 int Delta = Offset - MinLineDelta;
2558
2559 // Update line.
2560 Line = LineInfo.getLine();
2561
2562 // If delta is small enough and in range...
2563 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2564 // ... then use fast opcode.
2565 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2566 } else {
2567 // ... otherwise use long hand.
2568 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2569 Asm->EOL("DW_LNS_advance_line");
2570 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2571 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2572 }
2573 } else {
2574 // Copy the previous row (different address or source)
2575 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2576 }
2577 }
2578
Devang Patel2c4ceb12009-11-21 02:48:08 +00002579 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002580 }
2581
2582 if (SecSrcLinesSize == 0)
2583 // Because we're emitting a debug_line section, we still need a line
2584 // table. The linker and friends expect it to exist. If there's nothing to
2585 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002586 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002587
2588 EmitLabel("line_end", 0);
2589 Asm->EOL();
2590}
2591
Devang Patel2c4ceb12009-11-21 02:48:08 +00002592/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002593///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002594void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002595 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002596 return;
2597
2598 int stackGrowth =
2599 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2600 TargetFrameInfo::StackGrowsUp ?
2601 TD->getPointerSize() : -TD->getPointerSize();
2602
2603 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002604 Asm->OutStreamer.SwitchSection(
2605 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002606
2607 EmitLabel("debug_frame_common", 0);
2608 EmitDifference("debug_frame_common_end", 0,
2609 "debug_frame_common_begin", 0, true);
2610 Asm->EOL("Length of Common Information Entry");
2611
2612 EmitLabel("debug_frame_common_begin", 0);
2613 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2614 Asm->EOL("CIE Identifier Tag");
2615 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2616 Asm->EOL("CIE Version");
2617 Asm->EmitString("");
2618 Asm->EOL("CIE Augmentation");
2619 Asm->EmitULEB128Bytes(1);
2620 Asm->EOL("CIE Code Alignment Factor");
2621 Asm->EmitSLEB128Bytes(stackGrowth);
2622 Asm->EOL("CIE Data Alignment Factor");
2623 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2624 Asm->EOL("CIE RA Column");
2625
2626 std::vector<MachineMove> Moves;
2627 RI->getInitialFrameState(Moves);
2628
2629 EmitFrameMoves(NULL, 0, Moves, false);
2630
2631 Asm->EmitAlignment(2, 0, 0, false);
2632 EmitLabel("debug_frame_common_end", 0);
2633
2634 Asm->EOL();
2635}
2636
Devang Patel2c4ceb12009-11-21 02:48:08 +00002637/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002638/// section.
2639void
Devang Patel2c4ceb12009-11-21 02:48:08 +00002640DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattner33adcfb2009-08-22 21:43:10 +00002641 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002642 return;
2643
2644 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002645 Asm->OutStreamer.SwitchSection(
2646 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002647
2648 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2649 "debug_frame_begin", DebugFrameInfo.Number, true);
2650 Asm->EOL("Length of Frame Information Entry");
2651
2652 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2653
2654 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2655 0, 0, true, false);
2656 Asm->EOL("FDE CIE offset");
2657
2658 EmitReference("func_begin", DebugFrameInfo.Number);
2659 Asm->EOL("FDE initial location");
2660 EmitDifference("func_end", DebugFrameInfo.Number,
2661 "func_begin", DebugFrameInfo.Number);
2662 Asm->EOL("FDE address range");
2663
2664 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2665 false);
2666
2667 Asm->EmitAlignment(2, 0, 0, false);
2668 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2669
2670 Asm->EOL();
2671}
2672
Devang Patel2c4ceb12009-11-21 02:48:08 +00002673void DwarfDebug::emitDebugPubNamesPerCU(CompileUnit *Unit) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002674 EmitDifference("pubnames_end", Unit->getID(),
2675 "pubnames_begin", Unit->getID(), true);
2676 Asm->EOL("Length of Public Names Info");
2677
2678 EmitLabel("pubnames_begin", Unit->getID());
2679
2680 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2681
2682 EmitSectionOffset("info_begin", "section_info",
2683 Unit->getID(), 0, true, false);
2684 Asm->EOL("Offset of Compilation Unit Info");
2685
2686 EmitDifference("info_end", Unit->getID(), "info_begin", Unit->getID(),
2687 true);
2688 Asm->EOL("Compilation Unit Length");
2689
Devang Patel193f7202009-11-24 01:14:22 +00002690 const StringMap<DIE*> &Globals = Unit->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002691 for (StringMap<DIE*>::const_iterator
2692 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2693 const char *Name = GI->getKeyData();
2694 DIE * Entity = GI->second;
2695
2696 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2697 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2698 }
2699
2700 Asm->EmitInt32(0); Asm->EOL("End Mark");
2701 EmitLabel("pubnames_end", Unit->getID());
2702
2703 Asm->EOL();
2704}
2705
Devang Patel2c4ceb12009-11-21 02:48:08 +00002706/// emitDebugPubNames - Emit visible names into a debug pubnames section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002707///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002708void DwarfDebug::emitDebugPubNames() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002709 // Start the dwarf pubnames section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002710 Asm->OutStreamer.SwitchSection(
2711 Asm->getObjFileLowering().getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002712
Devang Patel2c4ceb12009-11-21 02:48:08 +00002713 emitDebugPubNamesPerCU(ModuleCU);
Bill Wendling94d04b82009-05-20 23:21:38 +00002714}
2715
Devang Patel193f7202009-11-24 01:14:22 +00002716void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002717 // Start the dwarf pubnames section.
2718 Asm->OutStreamer.SwitchSection(
2719 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel193f7202009-11-24 01:14:22 +00002720 EmitDifference("pubtypes_end", ModuleCU->getID(),
2721 "pubtypes_begin", ModuleCU->getID(), true);
2722 Asm->EOL("Length of Public Types Info");
2723
2724 EmitLabel("pubtypes_begin", ModuleCU->getID());
2725
2726 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2727
2728 EmitSectionOffset("info_begin", "section_info",
2729 ModuleCU->getID(), 0, true, false);
2730 Asm->EOL("Offset of Compilation ModuleCU Info");
2731
2732 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2733 true);
2734 Asm->EOL("Compilation ModuleCU Length");
2735
2736 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2737 for (StringMap<DIE*>::const_iterator
2738 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2739 const char *Name = GI->getKeyData();
2740 DIE * Entity = GI->second;
2741
2742 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2743 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2744 }
2745
2746 Asm->EmitInt32(0); Asm->EOL("End Mark");
2747 EmitLabel("pubtypes_end", ModuleCU->getID());
2748
2749 Asm->EOL();
2750}
2751
Devang Patel2c4ceb12009-11-21 02:48:08 +00002752/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002753///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002754void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002755 // Check to see if it is worth the effort.
2756 if (!StringPool.empty()) {
2757 // Start the dwarf str section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002758 Asm->OutStreamer.SwitchSection(
2759 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002760
2761 // For each of strings in the string pool.
2762 for (unsigned StringID = 1, N = StringPool.size();
2763 StringID <= N; ++StringID) {
2764 // Emit a label for reference from debug information entries.
2765 EmitLabel("string", StringID);
2766
2767 // Emit the string itself.
2768 const std::string &String = StringPool[StringID];
2769 Asm->EmitString(String); Asm->EOL();
2770 }
2771
2772 Asm->EOL();
2773 }
2774}
2775
Devang Patel2c4ceb12009-11-21 02:48:08 +00002776/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002777///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002778void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002779 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002780 Asm->OutStreamer.SwitchSection(
2781 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002782 Asm->EOL();
2783}
2784
2785/// EmitDebugARanges - Emit visible names into a debug aranges section.
2786///
2787void DwarfDebug::EmitDebugARanges() {
2788 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002789 Asm->OutStreamer.SwitchSection(
2790 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002791
2792 // FIXME - Mock up
2793#if 0
2794 CompileUnit *Unit = GetBaseCompileUnit();
2795
2796 // Don't include size of length
2797 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2798
2799 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2800
2801 EmitReference("info_begin", Unit->getID());
2802 Asm->EOL("Offset of Compilation Unit Info");
2803
2804 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2805
2806 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2807
2808 Asm->EmitInt16(0); Asm->EOL("Pad (1)");
2809 Asm->EmitInt16(0); Asm->EOL("Pad (2)");
2810
2811 // Range 1
2812 EmitReference("text_begin", 0); Asm->EOL("Address");
2813 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2814
2815 Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2816 Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2817#endif
2818
2819 Asm->EOL();
2820}
2821
Devang Patel2c4ceb12009-11-21 02:48:08 +00002822/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002823///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002824void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002825 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002826 Asm->OutStreamer.SwitchSection(
2827 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002828 Asm->EOL();
2829}
2830
Devang Patel2c4ceb12009-11-21 02:48:08 +00002831/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002832///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002833void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002834 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002835 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002836 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002837 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002838 Asm->EOL();
2839 }
2840}
2841
Devang Patel2c4ceb12009-11-21 02:48:08 +00002842/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00002843/// Section Header:
2844/// 1. length of section
2845/// 2. Dwarf version number
2846/// 3. address size.
2847///
2848/// Entries (one "entry" for each function that was inlined):
2849///
2850/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2851/// otherwise offset into __debug_str for regular function name.
2852/// 2. offset into __debug_str section for regular function name.
2853/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2854/// instances for the function.
2855///
2856/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2857/// inlined instance; the die_offset points to the inlined_subroutine die in the
2858/// __debug_info section, and the low_pc is the starting address for the
2859/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002860void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002861 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002862 return;
2863
Devang Patel1dbc7712009-06-29 20:45:18 +00002864 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002865 return;
2866
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002867 Asm->OutStreamer.SwitchSection(
2868 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002869 Asm->EOL();
2870 EmitDifference("debug_inlined_end", 1,
2871 "debug_inlined_begin", 1, true);
2872 Asm->EOL("Length of Debug Inlined Information Entry");
2873
2874 EmitLabel("debug_inlined_begin", 1);
2875
2876 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2877 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2878
Devang Patel53bb5c92009-11-10 23:06:00 +00002879 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2880 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002881
Devang Patel53bb5c92009-11-10 23:06:00 +00002882// for (ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
2883 // I = InlineInfo.begin(), E = InlineInfo.end(); I != E; ++I) {
2884 MDNode *Node = *I;
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002885 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
2886 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00002887 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00002888 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00002889 StringRef LName = SP.getLinkageName();
2890 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002891
Devang Patel65dbc902009-11-25 17:36:49 +00002892 if (LName.empty())
Devang Patel53cb17d2009-07-16 01:01:22 +00002893 Asm->EmitString(Name);
2894 else {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002895 // Skip special LLVM prefix that is used to inform the asm printer to not
2896 // emit usual symbol prefix before the symbol name. This happens for
2897 // Objective-C symbol names and symbol whose name is replaced using GCC's
2898 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00002899 if (LName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00002900 LName = LName.substr(1);
Devang Patel53bb5c92009-11-10 23:06:00 +00002901// Asm->EmitString(LName);
2902 EmitSectionOffset("string", "section_str",
2903 StringPool.idFor(LName), false, true);
2904
Devang Patel53cb17d2009-07-16 01:01:22 +00002905 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002906 Asm->EOL("MIPS linkage name");
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002907// Asm->EmitString(Name);
Devang Patel53bb5c92009-11-10 23:06:00 +00002908 EmitSectionOffset("string", "section_str",
2909 StringPool.idFor(Name), false, true);
2910 Asm->EOL("Function name");
Bill Wendling94d04b82009-05-20 23:21:38 +00002911 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2912
Devang Patel53bb5c92009-11-10 23:06:00 +00002913 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002914 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002915 DIE *SP = LI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002916 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2917
2918 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +00002919 O << MAI->getData32bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002920 else
Chris Lattner33adcfb2009-08-22 21:43:10 +00002921 O << MAI->getData64bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002922
Devang Patel53bb5c92009-11-10 23:06:00 +00002923 PrintLabelName("label", LI->first); Asm->EOL("low_pc");
Bill Wendling94d04b82009-05-20 23:21:38 +00002924 }
2925 }
2926
2927 EmitLabel("debug_inlined_end", 1);
2928 Asm->EOL();
2929}