blob: 1043fa823599cfedea043c37a626a9dd795acf8f [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
Bill Wendling0310d762009-05-15 09:23:25 +000033//===----------------------------------------------------------------------===//
34
35/// Configuration values for initial hash set sizes (log2).
36///
Bill Wendling0310d762009-05-15 09:23:25 +000037static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-05-15 09:23:25 +000038
39namespace llvm {
40
41//===----------------------------------------------------------------------===//
42/// CompileUnit - This dwarf writer support class manages information associate
43/// with a source file.
Nick Lewycky5f9843f2009-11-17 08:11:44 +000044class CompileUnit {
Bill Wendling0310d762009-05-15 09:23:25 +000045 /// ID - File identifier for source.
46 ///
47 unsigned ID;
48
49 /// Die - Compile unit debug information entry.
50 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000051 DIE *CUDie;
Bill Wendling0310d762009-05-15 09:23:25 +000052
Devang Patel6f01d9c2009-11-21 00:31:03 +000053 /// IndexTyDie - An anonymous type for index type.
54 DIE *IndexTyDie;
55
Bill Wendling0310d762009-05-15 09:23:25 +000056 /// GVToDieMap - Tracks the mapping of unit level debug informaton
57 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000058 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel017d1212009-11-20 21:37:22 +000059 ValueMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-05-15 09:23:25 +000060
61 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
62 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patele4b27562009-08-28 23:24:31 +000063 /// FIXME : Rename
Devang Patel017d1212009-11-20 21:37:22 +000064 ValueMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-05-15 09:23:25 +000065
66 /// Globals - A map of globally visible named entities for this unit.
67 ///
68 StringMap<DIE*> Globals;
69
Devang Patel193f7202009-11-24 01:14:22 +000070 /// GlobalTypes - A map of globally visible types for this unit.
71 ///
72 StringMap<DIE*> GlobalTypes;
73
Bill Wendling0310d762009-05-15 09:23:25 +000074public:
75 CompileUnit(unsigned I, DIE *D)
Devang Patel2c4ceb12009-11-21 02:48:08 +000076 : ID(I), CUDie(D), IndexTyDie(0) {}
77 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendling0310d762009-05-15 09:23:25 +000078
79 // Accessors.
Devang Patel193f7202009-11-24 01:14:22 +000080 unsigned getID() const { return ID; }
81 DIE* getCUDie() const { return CUDie; }
82 const StringMap<DIE*> &getGlobals() const { return Globals; }
83 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling0310d762009-05-15 09:23:25 +000084
85 /// hasContent - Return true if this compile unit has something to write out.
86 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000087 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +000088
Devang Patel2c4ceb12009-11-21 02:48:08 +000089 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +000090 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000091 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000092
Devang Patel193f7202009-11-24 01:14:22 +000093 /// addGlobalType - Add a new global type to the compile unit.
94 ///
95 void addGlobalType(const std::string &Name, DIE *Die) {
96 GlobalTypes[Name] = Die;
97 }
98
Devang Patel017d1212009-11-20 21:37:22 +000099 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling0310d762009-05-15 09:23:25 +0000100 /// specified debug variable.
Devang Patel017d1212009-11-20 21:37:22 +0000101 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000102
Devang Patel017d1212009-11-20 21:37:22 +0000103 /// insertDIE - Insert DIE into the map.
104 void insertDIE(MDNode *N, DIE *D) {
105 GVToDieMap.insert(std::make_pair(N, D));
106 }
Bill Wendling0310d762009-05-15 09:23:25 +0000107
Devang Patel017d1212009-11-20 21:37:22 +0000108 /// getDIEEntry - Returns the debug information entry for the speciefied
109 /// debug variable.
Devang Patel6404e4e2009-12-15 19:16:48 +0000110 DIEEntry *getDIEEntry(MDNode *N) {
111 ValueMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
112 if (I == GVToDIEEntryMap.end())
113 return NULL;
114 return I->second;
115 }
Devang Patel017d1212009-11-20 21:37:22 +0000116
117 /// insertDIEEntry - Insert debug information entry into the map.
118 void insertDIEEntry(MDNode *N, DIEEntry *E) {
119 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill 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 Patel167207a2010-01-15 22:08:16 +0000168 // FIXME : Use of WeakVH may be expensive here.
Devang Patel53bb5c92009-11-10 23:06:00 +0000169 WeakVH InlinedAtLocation; // Location at which scope is inlined.
170 bool AbstractScope; // Abstract Scope
Bill Wendling0310d762009-05-15 09:23:25 +0000171 unsigned StartLabelID; // Label ID of the beginning of scope.
172 unsigned EndLabelID; // Label ID of the end of scope.
Devang Pateld38dd112009-10-01 18:25:23 +0000173 const MachineInstr *LastInsn; // Last instruction of this scope.
174 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000175 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
176 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000177
Owen Anderson04c05f72009-06-24 22:53:20 +0000178 // Private state for dump()
179 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000180public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000181 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000182 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000183 StartLabelID(0), EndLabelID(0),
Devang Patelc90aefe2009-10-14 21:08:09 +0000184 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000185 virtual ~DbgScope();
186
187 // Accessors.
188 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000189 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000190 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000191 MDNode *getInlinedAt() const {
Devang Patel53bb5c92009-11-10 23:06:00 +0000192 return dyn_cast_or_null<MDNode>(InlinedAtLocation);
Devang Patelc90aefe2009-10-14 21:08:09 +0000193 }
Devang Patel53bb5c92009-11-10 23:06:00 +0000194 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendling0310d762009-05-15 09:23:25 +0000195 unsigned getStartLabelID() const { return StartLabelID; }
196 unsigned getEndLabelID() const { return EndLabelID; }
197 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
198 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Bill Wendling0310d762009-05-15 09:23:25 +0000199 void setStartLabelID(unsigned S) { StartLabelID = S; }
200 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Pateld38dd112009-10-01 18:25:23 +0000201 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
202 const MachineInstr *getLastInsn() { return LastInsn; }
203 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000204 void setAbstractScope() { AbstractScope = true; }
205 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000206 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000207
Devang Patel2c4ceb12009-11-21 02:48:08 +0000208 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000209 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000210 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000211
Devang Patel2c4ceb12009-11-21 02:48:08 +0000212 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000213 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000214 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000215
Devang Patel344130e2010-01-04 20:44:00 +0000216 void fixInstructionMarkers(DenseMap<const MachineInstr *,
217 unsigned> &MIIndexMap) {
Devang Patelaf9e8472009-10-01 20:31:14 +0000218 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel344130e2010-01-04 20:44:00 +0000219
220 // Use the end of last child scope as end of this scope.
Devang Patelaf9e8472009-10-01 20:31:14 +0000221 SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patelee890ed2010-01-05 16:59:17 +0000222 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel344130e2010-01-04 20:44:00 +0000223 unsigned LIndex = 0;
224 if (Scopes.empty()) {
225 assert (getLastInsn() && "Inner most scope does not have last insn!");
226 return;
227 }
228 for (SmallVector<DbgScope *, 4>::iterator SI = Scopes.begin(),
229 SE = Scopes.end(); SI != SE; ++SI) {
230 DbgScope *DS = *SI;
231 DS->fixInstructionMarkers(MIIndexMap);
232 const MachineInstr *DSLastInsn = DS->getLastInsn();
233 unsigned DSI = MIIndexMap[DSLastInsn];
234 if (DSI > LIndex) {
235 LastInsn = DSLastInsn;
236 LIndex = DSI;
237 }
238 }
239 setLastInsn(LastInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +0000240 }
241
Bill Wendling0310d762009-05-15 09:23:25 +0000242#ifndef NDEBUG
243 void dump() const;
244#endif
245};
246
247#ifndef NDEBUG
248void DbgScope::dump() const {
David Greenef83adbc2009-12-24 00:31:35 +0000249 raw_ostream &err = dbgs();
Chris Lattnerc281de12009-08-23 00:51:00 +0000250 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000251 MDNode *N = Desc.getNode();
252 N->dump();
Chris Lattnerc281de12009-08-23 00:51:00 +0000253 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patel53bb5c92009-11-10 23:06:00 +0000254 if (AbstractScope)
255 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000256
257 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000258 if (!Scopes.empty())
259 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000260 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
261 if (Scopes[i] != this)
262 Scopes[i]->dump();
263
264 IndentLevel -= 2;
265}
266#endif
267
Bill Wendling0310d762009-05-15 09:23:25 +0000268DbgScope::~DbgScope() {
269 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
270 delete Scopes[i];
271 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
272 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000273}
274
275} // end llvm namespace
276
Chris Lattneraf76e592009-08-22 20:48:53 +0000277DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Devang Patel1dbc7712009-06-29 20:45:18 +0000278 : Dwarf(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000279 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patel2c4ceb12009-11-21 02:48:08 +0000280 DIEValues(), StringPool(),
Bill Wendling0310d762009-05-15 09:23:25 +0000281 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel53bb5c92009-11-10 23:06:00 +0000282 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendling0310d762009-05-15 09:23:25 +0000283 if (TimePassesIsEnabled)
Chris Lattner0b86a6f2009-12-28 07:41:18 +0000284 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling0310d762009-05-15 09:23:25 +0000285}
286DwarfDebug::~DwarfDebug() {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000287 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
288 delete DIEValues[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000289
Bill Wendling0310d762009-05-15 09:23:25 +0000290 delete DebugTimer;
291}
292
Devang Patel2c4ceb12009-11-21 02:48:08 +0000293/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000294///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000295void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000296 // Profile the node so that we can make it unique.
297 FoldingSetNodeID ID;
298 Abbrev.Profile(ID);
299
300 // Check the set for priors.
301 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
302
303 // If it's newly added.
304 if (InSet == &Abbrev) {
305 // Add to abbreviation list.
306 Abbreviations.push_back(&Abbrev);
307
308 // Assign the vector position + 1 as its number.
309 Abbrev.setNumber(Abbreviations.size());
310 } else {
311 // Assign existing abbreviation number.
312 Abbrev.setNumber(InSet->getNumber());
313 }
314}
315
Devang Patel2c4ceb12009-11-21 02:48:08 +0000316/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000317/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000318DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000319 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000320 DIEValues.push_back(Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000321 return Value;
322}
323
Devang Patel2c4ceb12009-11-21 02:48:08 +0000324/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000325///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000326void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000327 unsigned Form, uint64_t Integer) {
328 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000329 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000330 DIEValues.push_back(Value);
331 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000332}
333
Devang Patel2c4ceb12009-11-21 02:48:08 +0000334/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000335///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000336void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000337 unsigned Form, int64_t Integer) {
338 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000339 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000340 DIEValues.push_back(Value);
341 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000342}
343
Devang Patel69f57b12009-12-02 15:25:16 +0000344/// addString - Add a string attribute data and value. DIEString only
345/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000346void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Devang Patele9a05972009-11-24 19:42:17 +0000347 const StringRef String) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000348 DIEValue *Value = new DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000349 DIEValues.push_back(Value);
350 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000351}
352
Devang Patel2c4ceb12009-11-21 02:48:08 +0000353/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000354///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000355void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000356 const DWLabel &Label) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000357 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000358 DIEValues.push_back(Value);
359 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000360}
361
Devang Patel2c4ceb12009-11-21 02:48:08 +0000362/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000363///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000364void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000365 const std::string &Label) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000366 DIEValue *Value = new DIEObjectLabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000367 DIEValues.push_back(Value);
368 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000369}
370
Devang Patel2c4ceb12009-11-21 02:48:08 +0000371/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000372///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000373void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000374 const DWLabel &Label, const DWLabel &Section,
375 bool isEH, bool useSet) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000376 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000377 DIEValues.push_back(Value);
378 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000379}
380
Devang Patel2c4ceb12009-11-21 02:48:08 +0000381/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000382///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000383void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000384 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000385 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000386 DIEValues.push_back(Value);
387 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000388}
389
Devang Patel2c4ceb12009-11-21 02:48:08 +0000390/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000391///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000392void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000393 DIEBlock *Block) {
394 Block->ComputeSize(TD);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000395 DIEValues.push_back(Block);
396 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000397}
398
Devang Patel2c4ceb12009-11-21 02:48:08 +0000399/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000400/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000401void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000402 // If there is no compile unit specified, don't add a line #.
403 if (V->getCompileUnit().isNull())
404 return;
405
406 unsigned Line = V->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000407 unsigned FileID = findCompileUnit(V->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000408 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000409 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
410 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000411}
412
Devang Patel2c4ceb12009-11-21 02:48:08 +0000413/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000414/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000415void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000416 // If there is no compile unit specified, don't add a line #.
417 if (G->getCompileUnit().isNull())
418 return;
419
420 unsigned Line = G->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000421 unsigned FileID = findCompileUnit(G->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000422 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000423 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
424 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000425}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000426
Devang Patel2c4ceb12009-11-21 02:48:08 +0000427/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000428/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000429void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000430 // If there is no compile unit specified, don't add a line #.
431 if (SP->getCompileUnit().isNull())
432 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000433 // If the line number is 0, don't add it.
434 if (SP->getLineNumber() == 0)
435 return;
436
Devang Patel82dfc0c2009-08-31 22:47:13 +0000437
438 unsigned Line = SP->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000439 unsigned FileID = findCompileUnit(SP->getCompileUnit())->getID();
Devang Patel82dfc0c2009-08-31 22:47:13 +0000440 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000441 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
442 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000443}
444
Devang Patel2c4ceb12009-11-21 02:48:08 +0000445/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000446/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000447void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000448 // If there is no compile unit specified, don't add a line #.
449 DICompileUnit CU = Ty->getCompileUnit();
450 if (CU.isNull())
451 return;
452
453 unsigned Line = Ty->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000454 unsigned FileID = findCompileUnit(CU)->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000455 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000456 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
457 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000458}
459
Devang Patel6404e4e2009-12-15 19:16:48 +0000460/// addSourceLine - Add location information to specified debug information
461/// entry.
462void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
463 // If there is no compile unit specified, don't add a line #.
464 if (NS->getCompileUnit().isNull())
465 return;
466
467 unsigned Line = NS->getLineNumber();
468 StringRef FN = NS->getFilename();
469 StringRef Dir = NS->getDirectory();
470
471 unsigned FileID = GetOrCreateSourceID(Dir, FN);
472 assert(FileID && "Invalid file id");
473 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
474 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
475}
476
Caroline Ticedc8f6042009-08-31 21:19:37 +0000477/* Byref variables, in Blocks, are declared by the programmer as
478 "SomeType VarName;", but the compiler creates a
479 __Block_byref_x_VarName struct, and gives the variable VarName
480 either the struct, or a pointer to the struct, as its type. This
481 is necessary for various behind-the-scenes things the compiler
482 needs to do with by-reference variables in blocks.
483
484 However, as far as the original *programmer* is concerned, the
485 variable should still have type 'SomeType', as originally declared.
486
487 The following function dives into the __Block_byref_x_VarName
488 struct to find the original type of the variable. This will be
489 passed back to the code generating the type for the Debug
490 Information Entry for the variable 'VarName'. 'VarName' will then
491 have the original type 'SomeType' in its debug information.
492
493 The original type 'SomeType' will be the type of the field named
494 'VarName' inside the __Block_byref_x_VarName struct.
495
496 NOTE: In order for this to not completely fail on the debugger
497 side, the Debug Information Entry for the variable VarName needs to
498 have a DW_AT_location that tells the debugger how to unwind through
499 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000500 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000501
502/// Find the type the programmer originally declared the variable to be
503/// and return that type.
504///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000505DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000506
507 DIType subType = Ty;
508 unsigned tag = Ty.getTag();
509
510 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000511 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000512 subType = DTy.getTypeDerivedFrom();
513 }
514
515 DICompositeType blockStruct = DICompositeType(subType.getNode());
516
517 DIArray Elements = blockStruct.getTypeArray();
518
519 if (Elements.isNull())
520 return Ty;
521
522 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
523 DIDescriptor Element = Elements.getElement(i);
524 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000525 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000526 return (DT.getTypeDerivedFrom());
527 }
528
529 return Ty;
530}
531
Devang Patel2c4ceb12009-11-21 02:48:08 +0000532/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000533/// and generate the DWARF information necessary to find the actual variable
534/// given the extra address information encoded in the DIVariable, starting from
535/// the starting location. Add the DWARF information to the die.
536///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000537void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000538 unsigned Attribute,
539 const MachineLocation &Location) {
540 const DIVariable &VD = DV->getVariable();
541 DIType Ty = VD.getType();
542
543 // Decode the original location, and use that as the start of the byref
544 // variable's location.
545 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
546 DIEBlock *Block = new DIEBlock();
547
548 if (Location.isReg()) {
549 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000550 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000551 } else {
552 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000553 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
554 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000555 }
556 } else {
557 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000558 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000559 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000560 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
561 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000562 }
563
Devang Patel2c4ceb12009-11-21 02:48:08 +0000564 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000565 }
566
567 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
568 uint64_t Element = VD.getAddrElement(i);
569
570 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000571 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
572 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000573 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000574 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000575 } else llvm_unreachable("unknown DIFactory Opcode");
576 }
577
578 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000579 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000580}
581
Caroline Ticedc8f6042009-08-31 21:19:37 +0000582/* Byref variables, in Blocks, are declared by the programmer as "SomeType
583 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
584 gives the variable VarName either the struct, or a pointer to the struct, as
585 its type. This is necessary for various behind-the-scenes things the
586 compiler needs to do with by-reference variables in Blocks.
587
588 However, as far as the original *programmer* is concerned, the variable
589 should still have type 'SomeType', as originally declared.
590
Devang Patel2c4ceb12009-11-21 02:48:08 +0000591 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000592 struct to find the original type of the variable, which is then assigned to
593 the variable's Debug Information Entry as its real type. So far, so good.
594 However now the debugger will expect the variable VarName to have the type
595 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000596 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000597 pointers and struct to find the actual variable of type SomeType.
598
599 The following function does just that. We start by getting
600 the "normal" location for the variable. This will be the location
601 of either the struct __Block_byref_x_VarName or the pointer to the
602 struct __Block_byref_x_VarName.
603
604 The struct will look something like:
605
606 struct __Block_byref_x_VarName {
607 ... <various fields>
608 struct __Block_byref_x_VarName *forwarding;
609 ... <various other fields>
610 SomeType VarName;
611 ... <maybe more fields>
612 };
613
614 If we are given the struct directly (as our starting point) we
615 need to tell the debugger to:
616
617 1). Add the offset of the forwarding field.
618
619 2). Follow that pointer to get the the real __Block_byref_x_VarName
620 struct to use (the real one may have been copied onto the heap).
621
622 3). Add the offset for the field VarName, to find the actual variable.
623
624 If we started with a pointer to the struct, then we need to
625 dereference that pointer first, before the other steps.
626 Translating this into DWARF ops, we will need to append the following
627 to the current location description for the variable:
628
629 DW_OP_deref -- optional, if we start with a pointer
630 DW_OP_plus_uconst <forward_fld_offset>
631 DW_OP_deref
632 DW_OP_plus_uconst <varName_fld_offset>
633
634 That is what this function does. */
635
Devang Patel2c4ceb12009-11-21 02:48:08 +0000636/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000637/// provided, and generate the DWARF information necessary to find the
638/// actual Block variable (navigating the Block struct) based on the
639/// starting location. Add the DWARF information to the die. For
640/// more information, read large comment just above here.
641///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000642void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000643 unsigned Attribute,
644 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000645 const DIVariable &VD = DV->getVariable();
646 DIType Ty = VD.getType();
647 DIType TmpTy = Ty;
648 unsigned Tag = Ty.getTag();
649 bool isPointer = false;
650
Devang Patel65dbc902009-11-25 17:36:49 +0000651 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000652
653 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000654 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000655 TmpTy = DTy.getTypeDerivedFrom();
656 isPointer = true;
657 }
658
659 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
660
Daniel Dunbar00564992009-09-19 20:40:14 +0000661 // Find the __forwarding field and the variable field in the __Block_byref
662 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000663 DIArray Fields = blockStruct.getTypeArray();
664 DIDescriptor varField = DIDescriptor();
665 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000666
667
Daniel Dunbar00564992009-09-19 20:40:14 +0000668 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
669 DIDescriptor Element = Fields.getElement(i);
670 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000671 StringRef fieldName = DT.getName();
672 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000673 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000674 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000675 varField = Element;
676 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000677
Mike Stump7e3720d2009-09-24 23:21:26 +0000678 assert(!varField.isNull() && "Can't find byref variable in Block struct");
679 assert(!forwardingField.isNull()
680 && "Can't find forwarding field in Block struct");
Caroline Ticedc8f6042009-08-31 21:19:37 +0000681
Daniel Dunbar00564992009-09-19 20:40:14 +0000682 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar00564992009-09-19 20:40:14 +0000683 unsigned int forwardingFieldOffset =
684 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
685 unsigned int varFieldOffset =
686 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000687
Mike Stump7e3720d2009-09-24 23:21:26 +0000688 // Decode the original location, and use that as the start of the byref
689 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000690 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
691 DIEBlock *Block = new DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000692
Daniel Dunbar00564992009-09-19 20:40:14 +0000693 if (Location.isReg()) {
694 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000695 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000696 else {
697 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000698 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
699 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000700 }
701 } else {
702 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000703 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000704 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
706 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000707 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000708
Devang Patel2c4ceb12009-11-21 02:48:08 +0000709 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000710 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000711
Mike Stump7e3720d2009-09-24 23:21:26 +0000712 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000713 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000714 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000715 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000716
Daniel Dunbar00564992009-09-19 20:40:14 +0000717 // Next add the offset for the '__forwarding' field:
718 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
719 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000720 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
722 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000723 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000724
Daniel Dunbar00564992009-09-19 20:40:14 +0000725 // Now dereference the __forwarding field to get to the real __Block_byref
726 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000728
Daniel Dunbar00564992009-09-19 20:40:14 +0000729 // Now that we've got the real __Block_byref... struct, add the offset
730 // for the variable's field to get to the location of the actual variable:
731 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000732 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000733 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
734 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000735 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000736
Daniel Dunbar00564992009-09-19 20:40:14 +0000737 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000738 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000739}
740
Devang Patel2c4ceb12009-11-21 02:48:08 +0000741/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000742/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000743void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000744 const MachineLocation &Location) {
745 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
746 DIEBlock *Block = new DIEBlock();
747
748 if (Location.isReg()) {
749 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000750 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000751 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000752 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
753 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000754 }
755 } else {
756 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000757 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000758 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000759 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
760 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000761 }
762
Devang Patel2c4ceb12009-11-21 02:48:08 +0000763 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000764 }
765
Devang Patel2c4ceb12009-11-21 02:48:08 +0000766 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000767}
768
Devang Patelc366f832009-12-10 19:14:49 +0000769/// addToContextOwner - Add Die into the list of its context owner's children.
770void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
771 if (Context.isNull())
772 ModuleCU->addDie(Die);
773 else if (Context.isType()) {
774 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
775 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000776 } else if (Context.isNameSpace()) {
777 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
778 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000779 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
780 ContextDIE->addChild(Die);
781 else
782 ModuleCU->addDie(Die);
783}
784
Devang Patel16ced732009-12-10 18:05:33 +0000785/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
786/// given DIType.
787DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
788 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
789 if (TyDIE)
790 return TyDIE;
791
792 // Create new type.
793 TyDIE = new DIE(dwarf::DW_TAG_base_type);
794 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
795 if (Ty.isBasicType())
796 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
797 else if (Ty.isCompositeType())
798 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
799 else {
800 assert(Ty.isDerivedType() && "Unknown kind of DIType");
801 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
802 }
803
Devang Patelc366f832009-12-10 19:14:49 +0000804 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000805 return TyDIE;
806}
807
Devang Patel2c4ceb12009-11-21 02:48:08 +0000808/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000809void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000810 if (Ty.isNull())
811 return;
812
813 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000814 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000815 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000816 if (Entry) {
817 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000818 return;
819 }
820
821 // Set up proxy.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000822 Entry = createDIEEntry();
Devang Patel8a241142009-12-09 18:24:21 +0000823 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000824
825 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000826 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000827
Devang Patel2c4ceb12009-11-21 02:48:08 +0000828 Entry->setEntry(Buffer);
829 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000830}
831
Devang Patel2c4ceb12009-11-21 02:48:08 +0000832/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000833void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000834 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000835 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000836 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000837 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000838 BTy.getEncoding());
839
840 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000841 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000842 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000843 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000844 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000845}
846
Devang Patel2c4ceb12009-11-21 02:48:08 +0000847/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000848void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000849 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000850 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000851 uint64_t Size = DTy.getSizeInBits() >> 3;
852 unsigned Tag = DTy.getTag();
853
854 // FIXME - Workaround for templates.
855 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
856
857 Buffer.setTag(Tag);
858
859 // Map to main type, void will not have a type.
860 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000861 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000862
863 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000864 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000865 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000866
867 // Add size if non-zero (derived types might be zero-sized.)
868 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000869 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000870
871 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000872 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000873 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000874}
875
Devang Patel2c4ceb12009-11-21 02:48:08 +0000876/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000877void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000878 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000879 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000880
881 uint64_t Size = CTy.getSizeInBits() >> 3;
882 unsigned Tag = CTy.getTag();
883 Buffer.setTag(Tag);
884
885 switch (Tag) {
886 case dwarf::DW_TAG_vector_type:
887 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000888 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000889 break;
890 case dwarf::DW_TAG_enumeration_type: {
891 DIArray Elements = CTy.getTypeArray();
892
893 // Add enumerators to enumeration type.
894 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
895 DIE *ElemDie = NULL;
Devang Patele4b27562009-08-28 23:24:31 +0000896 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelc5254722009-10-09 17:51:49 +0000897 if (!Enum.isNull()) {
Devang Patel8a241142009-12-09 18:24:21 +0000898 ElemDie = constructEnumTypeDIE(&Enum);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000899 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000900 }
Bill Wendling0310d762009-05-15 09:23:25 +0000901 }
902 }
903 break;
904 case dwarf::DW_TAG_subroutine_type: {
905 // Add return type.
906 DIArray Elements = CTy.getTypeArray();
907 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000908 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000909
910 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000911 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000912
913 // Add arguments.
914 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
915 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
916 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000917 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000918 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000919 }
920 }
921 break;
922 case dwarf::DW_TAG_structure_type:
923 case dwarf::DW_TAG_union_type:
924 case dwarf::DW_TAG_class_type: {
925 // Add elements to structure type.
926 DIArray Elements = CTy.getTypeArray();
927
928 // A forward struct declared type may not have elements available.
929 if (Elements.isNull())
930 break;
931
932 // Add elements to structure type.
933 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
934 DIDescriptor Element = Elements.getElement(i);
Devang Patele4b27562009-08-28 23:24:31 +0000935 if (Element.isNull())
936 continue;
Bill Wendling0310d762009-05-15 09:23:25 +0000937 DIE *ElemDie = NULL;
938 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patelffe966c2009-12-14 16:18:45 +0000939 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000940 else
Devang Patel8a241142009-12-09 18:24:21 +0000941 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000942 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000943 }
944
Devang Patela1ba2692009-08-27 23:51:51 +0000945 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000946 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000947
948 unsigned RLang = CTy.getRunTimeLang();
949 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000950 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000951 dwarf::DW_FORM_data1, RLang);
952 break;
953 }
954 default:
955 break;
956 }
957
958 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000959 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000960 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000961
962 if (Tag == dwarf::DW_TAG_enumeration_type ||
963 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
964 // Add size if non-zero (derived types might be zero-sized.)
965 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000966 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000967 else {
968 // Add zero size if it is not a forward declaration.
969 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000970 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000971 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000972 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000973 }
974
975 // Add source line info if available.
976 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000977 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000978 }
979}
980
Devang Patel2c4ceb12009-11-21 02:48:08 +0000981/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
982void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +0000983 int64_t L = SR.getLo();
984 int64_t H = SR.getHi();
985 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
986
Devang Patel2c4ceb12009-11-21 02:48:08 +0000987 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +0000988 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000989 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +0000990 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +0000991
Devang Patel2c4ceb12009-11-21 02:48:08 +0000992 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +0000993}
994
Devang Patel2c4ceb12009-11-21 02:48:08 +0000995/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000996void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000997 DICompositeType *CTy) {
998 Buffer.setTag(dwarf::DW_TAG_array_type);
999 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001000 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001001
1002 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001003 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001004 DIArray Elements = CTy->getTypeArray();
1005
Devang Patel6f01d9c2009-11-21 00:31:03 +00001006 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001007 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001008 if (!IdxTy) {
1009 // Construct an anonymous type for index type.
1010 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001011 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1012 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001013 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001014 ModuleCU->addDie(IdxTy);
1015 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001016 }
Bill Wendling0310d762009-05-15 09:23:25 +00001017
1018 // Add subranges to array type.
1019 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1020 DIDescriptor Element = Elements.getElement(i);
1021 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001022 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001023 }
1024}
1025
Devang Patel2c4ceb12009-11-21 02:48:08 +00001026/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel8a241142009-12-09 18:24:21 +00001027DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator *ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001028 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel65dbc902009-11-25 17:36:49 +00001029 StringRef Name = ETy->getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001030 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +00001031 int64_t Value = ETy->getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001032 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001033 return Enumerator;
1034}
1035
Devang Patel351ca332010-01-05 01:46:14 +00001036/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1037/// printer to not emit usual symbol prefix before the symbol name is used then
1038/// return linkage name after skipping this special LLVM prefix.
1039static StringRef getRealLinkageName(StringRef LinkageName) {
1040 char One = '\1';
1041 if (LinkageName.startswith(StringRef(&One, 1)))
1042 return LinkageName.substr(1);
1043 return LinkageName;
1044}
1045
Devang Patel2c4ceb12009-11-21 02:48:08 +00001046/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001047DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001048 // If the global variable was optmized out then no need to create debug info
1049 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001050 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001051 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001052
Bill Wendling0310d762009-05-15 09:23:25 +00001053 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001054 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001055 GV.getDisplayName());
1056
Devang Patel65dbc902009-11-25 17:36:49 +00001057 StringRef LinkageName = GV.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001058 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001059 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001060 getRealLinkageName(LinkageName));
1061
Devang Patel8a241142009-12-09 18:24:21 +00001062 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001063 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001064 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1065 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001066
Bill Wendling0310d762009-05-15 09:23:25 +00001067 return GVDie;
1068}
1069
Devang Patel2c4ceb12009-11-21 02:48:08 +00001070/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001071DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001072 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001073 StringRef Name = DT.getName();
1074 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001075 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001076
Devang Patel8a241142009-12-09 18:24:21 +00001077 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001078
Devang Patel2c4ceb12009-11-21 02:48:08 +00001079 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001080
Devang Patel33db5082009-11-04 22:06:12 +00001081 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001082 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001083
Bill Wendling0310d762009-05-15 09:23:25 +00001084 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001085 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001086
1087 if (Size != FieldSize) {
1088 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001089 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1090 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001091
1092 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling0310d762009-05-15 09:23:25 +00001093 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1094 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer3d594fd2010-01-07 17:50:57 +00001095 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling0310d762009-05-15 09:23:25 +00001096 Offset -= FieldOffset;
1097
1098 // Maybe we need to work from the other end.
1099 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001100 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001101
Devang Patel33db5082009-11-04 22:06:12 +00001102 // Here WD_AT_data_member_location points to the anonymous
1103 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001104 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001105
1106 } else
1107 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001108 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001109
Devang Patel2c4ceb12009-11-21 02:48:08 +00001110 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001111
1112 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001113 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001114 dwarf::DW_ACCESS_protected);
1115 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001116 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001117 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001118 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1119 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1120 dwarf::DW_ACCESS_public);
1121 if (DT.isVirtual())
1122 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1123 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001124 return MemberDie;
1125}
1126
Devang Patelffe966c2009-12-14 16:18:45 +00001127/// createSubprogramDIE - Create new DIE using SP.
1128DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1129 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1130 if (SPDie)
1131 return SPDie;
1132
1133 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel65dbc902009-11-25 17:36:49 +00001134 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001135
Devang Patel65dbc902009-11-25 17:36:49 +00001136 StringRef LinkageName = SP.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001137 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001138 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001139 getRealLinkageName(LinkageName));
1140
Devang Patel2c4ceb12009-11-21 02:48:08 +00001141 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001142
Bill Wendling0310d762009-05-15 09:23:25 +00001143 // Add prototyped tag, if C or ObjC.
1144 unsigned Lang = SP.getCompileUnit().getLanguage();
1145 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1146 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001147 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001148
1149 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001150 DICompositeType SPTy = SP.getType();
1151 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001152 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001153
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001154 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001155 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001156 else
Devang Patel8a241142009-12-09 18:24:21 +00001157 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001158
Devang Patel5d11eb02009-12-03 19:11:07 +00001159 unsigned VK = SP.getVirtuality();
1160 if (VK) {
1161 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1162 DIEBlock *Block = new DIEBlock();
1163 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1164 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1165 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
1166 ContainingTypeMap.insert(std::make_pair(SPDie, WeakVH(SP.getContainingType().getNode())));
1167 }
1168
Devang Patelffe966c2009-12-14 16:18:45 +00001169 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001170 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001171
1172 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001173 // be handled while processing variables.
1174 DICompositeType SPTy = SP.getType();
1175 DIArray Args = SPTy.getTypeArray();
1176 unsigned SPTag = SPTy.getTag();
1177
Bill Wendling0310d762009-05-15 09:23:25 +00001178 if (SPTag == dwarf::DW_TAG_subroutine_type)
1179 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1180 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel8a241142009-12-09 18:24:21 +00001181 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001182 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1183 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001184 }
1185 }
1186
Bill Wendling0310d762009-05-15 09:23:25 +00001187 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001188 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001189 return SPDie;
1190}
1191
Devang Patel2c4ceb12009-11-21 02:48:08 +00001192/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling0310d762009-05-15 09:23:25 +00001193///
Devang Pateld037d7a2009-12-11 21:37:07 +00001194CompileUnit *DwarfDebug::findCompileUnit(DICompileUnit Unit) {
Bill Wendling0310d762009-05-15 09:23:25 +00001195 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patele4b27562009-08-28 23:24:31 +00001196 CompileUnitMap.find(Unit.getNode());
Devang Pateld037d7a2009-12-11 21:37:07 +00001197 if (I == CompileUnitMap.end())
1198 return constructCompileUnit(Unit.getNode());
1199 return I->second;
Bill Wendling0310d762009-05-15 09:23:25 +00001200}
1201
Devang Patel53bb5c92009-11-10 23:06:00 +00001202/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1203/// Initialize scope and update scope hierarchy.
1204DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1205 MDNode *InlinedAt) {
1206 assert (N && "Invalid Scope encoding!");
1207 assert (MI && "Missing machine instruction!");
1208 bool GetConcreteScope = (MI && InlinedAt);
1209
1210 DbgScope *NScope = NULL;
1211
1212 if (InlinedAt)
1213 NScope = DbgScopeMap.lookup(InlinedAt);
1214 else
1215 NScope = DbgScopeMap.lookup(N);
1216 assert (NScope && "Unable to find working scope!");
1217
1218 if (NScope->getFirstInsn())
1219 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001220
1221 DbgScope *Parent = NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001222 if (GetConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001223 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001224 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001225 IL.getOrigLocation().getNode());
1226 assert (Parent && "Unable to find Parent scope!");
1227 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001228 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001229 } else if (DIDescriptor(N).isLexicalBlock()) {
1230 DILexicalBlock DB(N);
1231 if (!DB.getContext().isNull()) {
1232 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1233 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001234 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001235 }
Devang Patelc90aefe2009-10-14 21:08:09 +00001236 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001237
Devang Patelbdf45cb2009-10-27 20:47:17 +00001238 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001239
Devang Patel53bb5c92009-11-10 23:06:00 +00001240 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001241 StringRef SPName = DISubprogram(N).getLinkageName();
1242 if (SPName == MF->getFunction()->getName())
1243 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001244 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001245
Devang Patel53bb5c92009-11-10 23:06:00 +00001246 if (GetConcreteScope) {
1247 ConcreteScopes[InlinedAt] = NScope;
1248 getOrCreateAbstractScope(N);
1249 }
1250
Devang Patelbdf45cb2009-10-27 20:47:17 +00001251 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001252}
1253
Devang Patel53bb5c92009-11-10 23:06:00 +00001254DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1255 assert (N && "Invalid Scope encoding!");
1256
1257 DbgScope *AScope = AbstractScopes.lookup(N);
1258 if (AScope)
1259 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001260
Devang Patel53bb5c92009-11-10 23:06:00 +00001261 DbgScope *Parent = NULL;
1262
1263 DIDescriptor Scope(N);
1264 if (Scope.isLexicalBlock()) {
1265 DILexicalBlock DB(N);
1266 DIDescriptor ParentDesc = DB.getContext();
1267 if (!ParentDesc.isNull())
1268 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1269 }
1270
1271 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1272
1273 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001274 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001275 AScope->setAbstractScope();
1276 AbstractScopes[N] = AScope;
1277 if (DIDescriptor(N).isSubprogram())
1278 AbstractScopesList.push_back(AScope);
1279 return AScope;
1280}
Devang Patelaf9e8472009-10-01 20:31:14 +00001281
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001282/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001283/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1284/// If there are global variables in this scope then create and insert
1285/// DIEs for these variables.
1286DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001287
Devang Patel017d1212009-11-20 21:37:22 +00001288 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel53bb5c92009-11-10 23:06:00 +00001289 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patelffe966c2009-12-14 16:18:45 +00001290 DISubprogram SP(SPNode);
1291 if (SP.isDefinition() && !SP.getContext().isCompileUnit()) {
1292 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1293 // Add arguments.
1294 DICompositeType SPTy = SP.getType();
1295 DIArray Args = SPTy.getTypeArray();
1296 unsigned SPTag = SPTy.getTag();
1297 if (SPTag == dwarf::DW_TAG_subroutine_type)
1298 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1299 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1300 addType(Arg, DIType(Args.getElement(i).getNode()));
1301 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1302 SPDie->addChild(Arg);
1303 }
1304 DIE *SPDeclDie = SPDie;
1305 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1306 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1307 SPDeclDie);
Devang Patelffe966c2009-12-14 16:18:45 +00001308 ModuleCU->addDie(SPDie);
1309 }
1310
Devang Patel2c4ceb12009-11-21 02:48:08 +00001311 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001312 DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001313 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001314 DWLabel("func_end", SubprogramCount));
1315 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001316 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001317
Devang Patel53bb5c92009-11-10 23:06:00 +00001318 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001319 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +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());
Devang Patel351ca332010-01-05 01:46:14 +00001394 StringPool.insert(getRealLinkageName(InlinedSP.getLinkageName()));
1395
Devang Patel53bb5c92009-11-10 23:06:00 +00001396 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001397 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1398 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001399
1400 return ScopeDIE;
1401}
1402
Devang Patel2c4ceb12009-11-21 02:48:08 +00001403
1404/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001405DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001406 // 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 Patel8a241142009-12-09 18:24:21 +00001454 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001455 else
Devang Patel8a241142009-12-09 18:24:21 +00001456 addType(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 Patel8a241142009-12-09 18:24:21 +00001525 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
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 Patel6404e4e2009-12-15 19:16:48 +00001582/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1583DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1584 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1585 if (NDie)
1586 return NDie;
1587 NDie = new DIE(dwarf::DW_TAG_namespace);
1588 ModuleCU->insertDIE(NS.getNode(), NDie);
1589 if (!NS.getName().empty())
1590 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1591 addSourceLine(NDie, &NS);
1592 addToContextOwner(NDie, NS.getContext());
1593 return NDie;
1594}
1595
Devang Pateld037d7a2009-12-11 21:37:07 +00001596CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001597 DICompileUnit DIUnit(N);
Devang Patel65dbc902009-11-25 17:36:49 +00001598 StringRef FN = DIUnit.getFilename();
1599 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001600 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001601
1602 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001603 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001604 DWLabel("section_line", 0), DWLabel("section_line", 0),
1605 false);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001606 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001607 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001608 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001609 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001610 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001611
Devang Patel65dbc902009-11-25 17:36:49 +00001612 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001613 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001614 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001615 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001616
Devang Patel65dbc902009-11-25 17:36:49 +00001617 StringRef Flags = DIUnit.getFlags();
1618 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001619 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001620
1621 unsigned RVer = DIUnit.getRunTimeVersion();
1622 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001623 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001624 dwarf::DW_FORM_data1, RVer);
1625
1626 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel1dbc7712009-06-29 20:45:18 +00001627 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel70f44262009-06-29 20:38:13 +00001628 // Use first compile unit marked as isMain as the compile unit
1629 // for this module.
Devang Patel1dbc7712009-06-29 20:45:18 +00001630 ModuleCU = Unit;
Devang Patel70f44262009-06-29 20:38:13 +00001631 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001632
Devang Patele4b27562009-08-28 23:24:31 +00001633 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001634 CompileUnits.push_back(Unit);
Devang Pateld037d7a2009-12-11 21:37:07 +00001635 return Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001636}
1637
Devang Patel2c4ceb12009-11-21 02:48:08 +00001638void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001639 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001640
Devang Patel905cf5e2009-09-04 23:59:07 +00001641 // If debug information is malformed then ignore it.
1642 if (DI_GV.Verify() == false)
1643 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001644
1645 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001646 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001647 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001648
Devang Patel8a241142009-12-09 18:24:21 +00001649 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001650 if (!VariableDie)
1651 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001652
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001653 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001654 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001655
1656 // Add to context owner.
Devang Patelc9b16cc2010-01-15 01:12:22 +00001657 DIDescriptor GVContext = DI_GV.getContext();
1658 // Do not create specification DIE if context is either compile unit
1659 // or a subprogram.
1660 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
1661 && !GVContext.isSubprogram()) {
Devang Patel6404e4e2009-12-15 19:16:48 +00001662 // Create specification DIE.
1663 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1664 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1665 dwarf::DW_FORM_ref4, VariableDie);
1666 DIEBlock *Block = new DIEBlock();
1667 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1668 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
1669 Asm->Mang->getMangledName(DI_GV.getGlobal()));
1670 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
1671 ModuleCU->addDie(VariableSpecDIE);
1672 } else {
1673 DIEBlock *Block = new DIEBlock();
1674 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1675 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
1676 Asm->Mang->getMangledName(DI_GV.getGlobal()));
1677 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1678 }
Devang Patelc9b16cc2010-01-15 01:12:22 +00001679 addToContextOwner(VariableDie, GVContext);
Devang Patelc366f832009-12-10 19:14:49 +00001680
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001681 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001682 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001683
1684 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001685 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001686 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1687 assert (Entry && "Missing global type!");
1688 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1689 }
Devang Patel13e16b62009-06-26 01:49:18 +00001690 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001691}
1692
Devang Patel2c4ceb12009-11-21 02:48:08 +00001693void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001694 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001695
1696 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001697 if (ModuleCU->getDIE(N))
Devang Patel13e16b62009-06-26 01:49:18 +00001698 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001699
1700 if (!SP.isDefinition())
1701 // This is a method declaration which will be handled while constructing
1702 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001703 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001704
Devang Patel8a241142009-12-09 18:24:21 +00001705 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001706
1707 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001708 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001709
1710 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001711 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001712
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001713 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001714 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001715
Devang Patel13e16b62009-06-26 01:49:18 +00001716 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001717}
1718
Devang Patel2c4ceb12009-11-21 02:48:08 +00001719/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001720/// content. Create global DIEs and emit initial debug info sections.
1721/// This is inovked by the target AsmPrinter.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001722void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel208622d2009-06-25 22:36:02 +00001723 this->M = M;
1724
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001725 if (TimePassesIsEnabled)
1726 DebugTimer->startTimer();
1727
Devang Patel3380cc52009-11-11 19:55:08 +00001728 if (!MAI->doesSupportDebugInformation())
1729 return;
1730
Devang Patel78ab9e22009-07-30 18:56:46 +00001731 DebugInfoFinder DbgFinder;
1732 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001733
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001734 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001735 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1736 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001737 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001738
1739 if (CompileUnits.empty()) {
1740 if (TimePassesIsEnabled)
1741 DebugTimer->stopTimer();
1742
1743 return;
1744 }
1745
Devang Patel70f44262009-06-29 20:38:13 +00001746 // If main compile unit for this module is not seen than randomly
1747 // select first compile unit.
Devang Patel1dbc7712009-06-29 20:45:18 +00001748 if (!ModuleCU)
1749 ModuleCU = CompileUnits[0];
Devang Patel70f44262009-06-29 20:38:13 +00001750
Devang Patel53bb5c92009-11-10 23:06:00 +00001751 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001752 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1753 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001754 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001755
Devang Patelc366f832009-12-10 19:14:49 +00001756 // Create DIEs for each global variable.
1757 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1758 E = DbgFinder.global_variable_end(); I != E; ++I)
1759 constructGlobalVariableDIE(*I);
1760
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001761 MMI = mmi;
1762 shouldEmit = true;
1763 MMI->setDebugInfoAvailability(true);
1764
1765 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001766 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001767
1768 // Print out .file directives to specify files for .loc directives. These are
1769 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001770 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001771 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1772 // Remember source id starts at 1.
1773 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
1774 sys::Path FullPath(getSourceDirectoryName(Id.first));
1775 bool AppendOk =
1776 FullPath.appendComponent(getSourceFileName(Id.second));
1777 assert(AppendOk && "Could not append filename to directory!");
1778 AppendOk = false;
Chris Lattner74382b72009-08-23 22:45:37 +00001779 Asm->EmitFile(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001780 Asm->EOL();
1781 }
1782 }
1783
1784 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001785 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001786
1787 if (TimePassesIsEnabled)
1788 DebugTimer->stopTimer();
1789}
1790
Devang Patel2c4ceb12009-11-21 02:48:08 +00001791/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001792///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001793void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001794 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001795 return;
1796
1797 if (TimePassesIsEnabled)
1798 DebugTimer->startTimer();
1799
Devang Patel53bb5c92009-11-10 23:06:00 +00001800 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1801 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1802 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1803 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001804 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001805 }
1806
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001807 // Insert top level DIEs.
1808 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1809 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1810 ModuleCU->getCUDie()->addChild(*TI);
1811
Devang Patel5d11eb02009-12-03 19:11:07 +00001812 for (DenseMap<DIE *, WeakVH>::iterator CI = ContainingTypeMap.begin(),
1813 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1814 DIE *SPDie = CI->first;
1815 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1816 if (!N) continue;
1817 DIE *NDie = ModuleCU->getDIE(N);
1818 if (!NDie) continue;
1819 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patelf8b72ca2010-01-15 00:26:31 +00001820 // FIXME - This is not the correct approach.
1821 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel5d11eb02009-12-03 19:11:07 +00001822 }
1823
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001824 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001825 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001826 EmitLabel("text_end", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001827 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001828 EmitLabel("data_end", 0);
1829
1830 // End text sections.
1831 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001832 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001833 EmitLabel("section_end", i);
1834 }
1835
1836 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001837 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001838
1839 // Emit function debug frame information
1840 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1841 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001842 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001843
1844 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001845 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001846
1847 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001848 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001849
1850 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001851 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001852
1853 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001854 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001855
1856 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001857 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001858
Devang Patel193f7202009-11-24 01:14:22 +00001859 // Emit info into a debug pubtypes section.
1860 emitDebugPubTypes();
1861
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001862 // Emit info into a debug str section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001863 emitDebugStr();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001864
1865 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001866 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001867
1868 // Emit info into a debug aranges section.
1869 EmitDebugARanges();
1870
1871 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001872 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001873
1874 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001875 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001876
1877 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001878 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001879
1880 if (TimePassesIsEnabled)
1881 DebugTimer->stopTimer();
1882}
1883
Devang Patel53bb5c92009-11-10 23:06:00 +00001884/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001885DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1886 unsigned FrameIdx,
Devang Patel53bb5c92009-11-10 23:06:00 +00001887 DILocation &ScopeLoc) {
1888
1889 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1890 if (AbsDbgVariable)
1891 return AbsDbgVariable;
1892
1893 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1894 if (!Scope)
1895 return NULL;
1896
1897 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001898 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001899 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1900 return AbsDbgVariable;
1901}
1902
Devang Patel2c4ceb12009-11-21 02:48:08 +00001903/// collectVariableInfo - Populate DbgScope entries with variables' info.
1904void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001905 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001906
Devang Patele717faa2009-10-06 01:26:37 +00001907 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1908 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1909 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelac1ceb32009-10-09 22:42:28 +00001910 MetadataBase *MB = VI->first;
1911 MDNode *Var = dyn_cast_or_null<MDNode>(MB);
Devang Patel53bb5c92009-11-10 23:06:00 +00001912 if (!Var) continue;
Devang Pateleda31212009-10-08 18:48:03 +00001913 DIVariable DV (Var);
Devang Patel53bb5c92009-11-10 23:06:00 +00001914 std::pair< unsigned, MDNode *> VP = VI->second;
1915 DILocation ScopeLoc(VP.second);
1916
1917 DbgScope *Scope =
1918 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1919 if (!Scope)
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001920 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelfb0ee432009-11-10 23:20:04 +00001921 // If variable scope is not found then skip this variable.
1922 if (!Scope)
1923 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001924
1925 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001926 Scope->addVariable(RegVar);
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001927 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1928 ScopeLoc))
Devang Patel53bb5c92009-11-10 23:06:00 +00001929 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patele717faa2009-10-06 01:26:37 +00001930 }
1931}
1932
Devang Patel2c4ceb12009-11-21 02:48:08 +00001933/// beginScope - Process beginning of a scope starting at Label.
1934void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001935 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1936 if (I == DbgScopeBeginMap.end())
1937 return;
Dan Gohman277207e2009-11-23 21:30:55 +00001938 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001939 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001940 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001941 (*SDI)->setStartLabelID(Label);
1942}
1943
Devang Patel2c4ceb12009-11-21 02:48:08 +00001944/// endScope - Process end of a scope.
1945void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001946 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00001947 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00001948 return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001949
1950 unsigned Label = MMI->NextLabelID();
1951 Asm->printLabel(Label);
Dan Gohmaneecb9912009-12-05 01:42:34 +00001952 O << '\n';
Devang Patel53bb5c92009-11-10 23:06:00 +00001953
Devang Patel0d20ac82009-10-06 01:50:42 +00001954 SmallVector<DbgScope *, 2> &SD = I->second;
1955 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001956 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001957 (*SDI)->setEndLabelID(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00001958 return;
1959}
1960
1961/// createDbgScope - Create DbgScope for the scope.
1962void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1963
1964 if (!InlinedAt) {
1965 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1966 if (WScope)
1967 return;
1968 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1969 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001970 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00001971 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00001972 return;
1973 }
1974
1975 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1976 if (WScope)
1977 return;
1978
1979 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1980 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1981 DILocation DL(InlinedAt);
1982 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00001983}
1984
Devang Patel2c4ceb12009-11-21 02:48:08 +00001985/// extractScopeInformation - Scan machine instructions in this function
Devang Patelaf9e8472009-10-01 20:31:14 +00001986/// and collect DbgScopes. Return true, if atleast one scope was found.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001987bool DwarfDebug::extractScopeInformation(MachineFunction *MF) {
Devang Patelaf9e8472009-10-01 20:31:14 +00001988 // If scope information was extracted using .dbg intrinsics then there is not
1989 // any need to extract these information by scanning each instruction.
1990 if (!DbgScopeMap.empty())
1991 return false;
1992
Devang Patel344130e2010-01-04 20:44:00 +00001993 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
1994 unsigned MIIndex = 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001995 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00001996 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1997 I != E; ++I) {
1998 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1999 II != IE; ++II) {
2000 const MachineInstr *MInsn = II;
Devang Patel344130e2010-01-04 20:44:00 +00002001 MIIndexMap[MInsn] = MIIndex++;
Devang Patelaf9e8472009-10-01 20:31:14 +00002002 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002003 if (DL.isUnknown()) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002004 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
Devang Patel53bb5c92009-11-10 23:06:00 +00002005 if (!DLT.Scope) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002006 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002007 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00002008 // into a scope DIE at the end.
Devang Patel53bb5c92009-11-10 23:06:00 +00002009 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
2010 createDbgScope(DLT.Scope, DLT.InlinedAtLoc);
2011 }
2012 }
2013
2014
2015 // Build scope hierarchy using working set of scopes.
2016 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2017 I != E; ++I) {
2018 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2019 II != IE; ++II) {
2020 const MachineInstr *MInsn = II;
2021 DebugLoc DL = MInsn->getDebugLoc();
2022 if (DL.isUnknown()) continue;
2023 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
2024 if (!DLT.Scope) continue;
2025 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002026 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002027 // into a scope DIE at the end.
2028 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
2029 DbgScope *Scope = getUpdatedDbgScope(DLT.Scope, MInsn, DLT.InlinedAtLoc);
2030 Scope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00002031 }
2032 }
2033
Devang Patel344130e2010-01-04 20:44:00 +00002034 if (!CurrentFnDbgScope)
2035 return false;
2036
2037 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patelaf9e8472009-10-01 20:31:14 +00002038
2039 // Each scope has first instruction and last instruction to mark beginning
2040 // and end of a scope respectively. Create an inverse map that list scopes
2041 // starts (and ends) with an instruction. One instruction may start (or end)
2042 // multiple scopes.
Devang Patelbdf45cb2009-10-27 20:47:17 +00002043 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patelaf9e8472009-10-01 20:31:14 +00002044 DE = DbgScopeMap.end(); DI != DE; ++DI) {
2045 DbgScope *S = DI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002046 if (S->isAbstractScope())
2047 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002048 const MachineInstr *MI = S->getFirstInsn();
2049 assert (MI && "DbgScope does not have first instruction!");
2050
2051 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2052 if (IDI != DbgScopeBeginMap.end())
2053 IDI->second.push_back(S);
2054 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002055 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002056
2057 MI = S->getLastInsn();
2058 assert (MI && "DbgScope does not have last instruction!");
2059 IDI = DbgScopeEndMap.find(MI);
2060 if (IDI != DbgScopeEndMap.end())
2061 IDI->second.push_back(S);
2062 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002063 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002064 }
2065
2066 return !DbgScopeMap.empty();
2067}
2068
Devang Patel2c4ceb12009-11-21 02:48:08 +00002069/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002070/// emitted immediately after the function entry point.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002071void DwarfDebug::beginFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002072 this->MF = MF;
2073
2074 if (!ShouldEmitDwarfDebug()) return;
2075
2076 if (TimePassesIsEnabled)
2077 DebugTimer->startTimer();
2078
Devang Patel2c4ceb12009-11-21 02:48:08 +00002079 if (!extractScopeInformation(MF))
Devang Patel60b35bd2009-10-06 18:37:31 +00002080 return;
Devang Patel2c4ceb12009-11-21 02:48:08 +00002081
2082 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002083
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002084 // Begin accumulating function debug information.
2085 MMI->BeginFunction(MF);
2086
2087 // Assumes in correct section after the entry point.
2088 EmitLabel("func_begin", ++SubprogramCount);
2089
2090 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2091 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002092 DebugLoc FDL = MF->getDefaultDebugLoc();
2093 if (!FDL.isUnknown()) {
2094 DebugLocTuple DLT = MF->getDebugLocTuple(FDL);
2095 unsigned LabelID = 0;
Devang Patel1619dc32009-10-13 23:28:53 +00002096 DISubprogram SP = getDISubprogram(DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002097 if (!SP.isNull())
Devang Patel2c4ceb12009-11-21 02:48:08 +00002098 LabelID = recordSourceLine(SP.getLineNumber(), 0, DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002099 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00002100 LabelID = recordSourceLine(DLT.Line, DLT.Col, DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002101 Asm->printLabel(LabelID);
2102 O << '\n';
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002103 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002104 if (TimePassesIsEnabled)
2105 DebugTimer->stopTimer();
2106}
2107
Devang Patel2c4ceb12009-11-21 02:48:08 +00002108/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002109///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002110void DwarfDebug::endFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002111 if (!ShouldEmitDwarfDebug()) return;
2112
2113 if (TimePassesIsEnabled)
2114 DebugTimer->startTimer();
2115
Devang Patelac1ceb32009-10-09 22:42:28 +00002116 if (DbgScopeMap.empty())
2117 return;
Devang Patel70d75ca2009-11-12 19:02:56 +00002118
Devang Patel344130e2010-01-04 20:44:00 +00002119 if (CurrentFnDbgScope) {
2120 // Define end label for subprogram.
2121 EmitLabel("func_end", SubprogramCount);
2122
2123 // Get function line info.
2124 if (!Lines.empty()) {
2125 // Get section line info.
2126 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2127 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2128 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2129 // Append the function info to section info.
2130 SectionLineInfos.insert(SectionLineInfos.end(),
2131 Lines.begin(), Lines.end());
2132 }
2133
2134 // Construct abstract scopes.
2135 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2136 AE = AbstractScopesList.end(); AI != AE; ++AI)
2137 constructScopeDIE(*AI);
2138
2139 constructScopeDIE(CurrentFnDbgScope);
2140
2141 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2142 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002143 }
2144
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002145 // Clear debug info
Devang Patel23598502010-01-11 18:52:33 +00002146 if (CurrentFnDbgScope) {
2147 CurrentFnDbgScope = NULL;
2148 DbgScopeMap.clear();
2149 DbgScopeBeginMap.clear();
2150 DbgScopeEndMap.clear();
2151 ConcreteScopes.clear();
2152 AbstractScopesList.clear();
2153 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002154 Lines.clear();
Devang Patelc09ddc12009-12-01 18:13:48 +00002155
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002156 if (TimePassesIsEnabled)
2157 DebugTimer->stopTimer();
2158}
2159
Devang Patel2c4ceb12009-11-21 02:48:08 +00002160/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002161/// label. Returns a unique label ID used to generate a label and provide
2162/// correspondence to the source line list.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002163unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patelf84548d2009-10-05 18:03:19 +00002164 MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002165 if (!MMI)
2166 return 0;
2167
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002168 if (TimePassesIsEnabled)
2169 DebugTimer->startTimer();
2170
Devang Patel65dbc902009-11-25 17:36:49 +00002171 StringRef Dir;
2172 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002173
2174 DIDescriptor Scope(S);
2175 if (Scope.isCompileUnit()) {
2176 DICompileUnit CU(S);
2177 Dir = CU.getDirectory();
2178 Fn = CU.getFilename();
2179 } else if (Scope.isSubprogram()) {
2180 DISubprogram SP(S);
2181 Dir = SP.getDirectory();
2182 Fn = SP.getFilename();
2183 } else if (Scope.isLexicalBlock()) {
2184 DILexicalBlock DB(S);
2185 Dir = DB.getDirectory();
2186 Fn = DB.getFilename();
2187 } else
2188 assert (0 && "Unexpected scope info");
2189
2190 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002191 unsigned ID = MMI->NextLabelID();
2192 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2193
2194 if (TimePassesIsEnabled)
2195 DebugTimer->stopTimer();
2196
2197 return ID;
2198}
2199
2200/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2201/// timed. Look up the source id with the given directory and source file
2202/// names. If none currently exists, create a new id and insert it in the
2203/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2204/// well.
2205unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2206 const std::string &FileName) {
2207 if (TimePassesIsEnabled)
2208 DebugTimer->startTimer();
2209
Devang Patel5ccdd102009-09-29 18:40:58 +00002210 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002211
2212 if (TimePassesIsEnabled)
2213 DebugTimer->stopTimer();
2214
2215 return SrcId;
2216}
2217
Bill Wendling829e67b2009-05-20 23:22:40 +00002218//===----------------------------------------------------------------------===//
2219// Emit Methods
2220//===----------------------------------------------------------------------===//
2221
Devang Patel2c4ceb12009-11-21 02:48:08 +00002222/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002223///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002224unsigned
2225DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002226 // Get the children.
2227 const std::vector<DIE *> &Children = Die->getChildren();
2228
2229 // If not last sibling and has children then add sibling offset attribute.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002230 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002231
2232 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002233 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002234
2235 // Get the abbreviation for this DIE.
2236 unsigned AbbrevNumber = Die->getAbbrevNumber();
2237 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2238
2239 // Set DIE offset
2240 Die->setOffset(Offset);
2241
2242 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002243 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002244
2245 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2246 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2247
2248 // Size the DIE attribute values.
2249 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2250 // Size attribute value.
2251 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2252
2253 // Size the DIE children if any.
2254 if (!Children.empty()) {
2255 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2256 "Children flag not set");
2257
2258 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002259 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002260
2261 // End of children marker.
2262 Offset += sizeof(int8_t);
2263 }
2264
2265 Die->setSize(Offset - Die->getOffset());
2266 return Offset;
2267}
2268
Devang Patel2c4ceb12009-11-21 02:48:08 +00002269/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002270///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002271void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002272 // Compute size of compile unit header.
2273 static unsigned Offset =
2274 sizeof(int32_t) + // Length of Compilation Unit Info
2275 sizeof(int16_t) + // DWARF version number
2276 sizeof(int32_t) + // Offset Into Abbrev. Section
2277 sizeof(int8_t); // Pointer Size (in bytes)
2278
Devang Patel2c4ceb12009-11-21 02:48:08 +00002279 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002280 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002281}
2282
Devang Patel2c4ceb12009-11-21 02:48:08 +00002283/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002284/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002285void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002286 // Check to see if we already emitted intial headers.
2287 if (didInitial) return;
2288 didInitial = true;
2289
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002290 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002291
Bill Wendling94d04b82009-05-20 23:21:38 +00002292 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002293 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002294 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002295 EmitLabel("section_debug_frame", 0);
2296 }
2297
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002298 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002299 EmitLabel("section_info", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002300 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002301 EmitLabel("section_abbrev", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002302 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002303 EmitLabel("section_aranges", 0);
2304
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002305 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2306 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling94d04b82009-05-20 23:21:38 +00002307 EmitLabel("section_macinfo", 0);
2308 }
2309
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002310 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002311 EmitLabel("section_line", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002312 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002313 EmitLabel("section_loc", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002314 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002315 EmitLabel("section_pubnames", 0);
Devang Patel193f7202009-11-24 01:14:22 +00002316 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2317 EmitLabel("section_pubtypes", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002318 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002319 EmitLabel("section_str", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002320 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002321 EmitLabel("section_ranges", 0);
2322
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002323 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002324 EmitLabel("text_begin", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002325 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002326 EmitLabel("data_begin", 0);
2327}
2328
Devang Patel2c4ceb12009-11-21 02:48:08 +00002329/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002330///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002331void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002332 // Get the abbreviation for this DIE.
2333 unsigned AbbrevNumber = Die->getAbbrevNumber();
2334 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2335
2336 Asm->EOL();
2337
2338 // Emit the code (index) for the abbreviation.
2339 Asm->EmitULEB128Bytes(AbbrevNumber);
2340
2341 if (Asm->isVerbose())
2342 Asm->EOL(std::string("Abbrev [" +
2343 utostr(AbbrevNumber) +
2344 "] 0x" + utohexstr(Die->getOffset()) +
2345 ":0x" + utohexstr(Die->getSize()) + " " +
2346 dwarf::TagString(Abbrev->getTag())));
2347 else
2348 Asm->EOL();
2349
2350 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2351 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2352
2353 // Emit the DIE attribute values.
2354 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2355 unsigned Attr = AbbrevData[i].getAttribute();
2356 unsigned Form = AbbrevData[i].getForm();
2357 assert(Form && "Too many attributes for DIE (check abbreviation)");
2358
2359 switch (Attr) {
2360 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002361 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002362 break;
2363 case dwarf::DW_AT_abstract_origin: {
2364 DIEEntry *E = cast<DIEEntry>(Values[i]);
2365 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002366 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002367 Asm->EmitInt32(Addr);
2368 break;
2369 }
2370 default:
2371 // Emit an attribute using the defined form.
2372 Values[i]->EmitValue(this, Form);
2373 break;
2374 }
2375
2376 Asm->EOL(dwarf::AttributeString(Attr));
2377 }
2378
2379 // Emit the DIE children if any.
2380 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2381 const std::vector<DIE *> &Children = Die->getChildren();
2382
2383 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002384 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002385
2386 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2387 }
2388}
2389
Devang Patel8a241142009-12-09 18:24:21 +00002390/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002391///
Devang Patel8a241142009-12-09 18:24:21 +00002392void DwarfDebug::emitDebugInfo() {
2393 // Start debug info section.
2394 Asm->OutStreamer.SwitchSection(
2395 Asm->getObjFileLowering().getDwarfInfoSection());
2396 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002397
2398 // Emit the compile units header.
Devang Patel8a241142009-12-09 18:24:21 +00002399 EmitLabel("info_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002400
2401 // Emit size of content not including length itself
2402 unsigned ContentSize = Die->getSize() +
2403 sizeof(int16_t) + // DWARF version number
2404 sizeof(int32_t) + // Offset Into Abbrev. Section
2405 sizeof(int8_t) + // Pointer Size (in bytes)
2406 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2407
2408 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info");
2409 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2410 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2411 Asm->EOL("Offset Into Abbrev. Section");
2412 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2413
Devang Patel2c4ceb12009-11-21 02:48:08 +00002414 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002415 // FIXME - extra padding for gdb bug.
2416 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2417 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2418 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2419 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
Devang Patel8a241142009-12-09 18:24:21 +00002420 EmitLabel("info_end", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002421
2422 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002423}
2424
Devang Patel2c4ceb12009-11-21 02:48:08 +00002425/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002426///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002427void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002428 // Check to see if it is worth the effort.
2429 if (!Abbreviations.empty()) {
2430 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002431 Asm->OutStreamer.SwitchSection(
2432 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002433
2434 EmitLabel("abbrev_begin", 0);
2435
2436 // For each abbrevation.
2437 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2438 // Get abbreviation data
2439 const DIEAbbrev *Abbrev = Abbreviations[i];
2440
2441 // Emit the abbrevations code (base 1 index.)
2442 Asm->EmitULEB128Bytes(Abbrev->getNumber());
2443 Asm->EOL("Abbreviation Code");
2444
2445 // Emit the abbreviations data.
2446 Abbrev->Emit(Asm);
2447
2448 Asm->EOL();
2449 }
2450
2451 // Mark end of abbreviations.
2452 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2453
2454 EmitLabel("abbrev_end", 0);
2455 Asm->EOL();
2456 }
2457}
2458
Devang Patel2c4ceb12009-11-21 02:48:08 +00002459/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002460/// the line matrix.
2461///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002462void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002463 // Define last address of section.
2464 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2465 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2466 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2467 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2468
2469 // Mark end of matrix.
2470 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2471 Asm->EmitULEB128Bytes(1); Asm->EOL();
2472 Asm->EmitInt8(1); Asm->EOL();
2473}
2474
Devang Patel2c4ceb12009-11-21 02:48:08 +00002475/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002476///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002477void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002478 // If the target is using .loc/.file, the assembler will be emitting the
2479 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002480 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002481 return;
2482
2483 // Minimum line delta, thus ranging from -10..(255-10).
2484 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2485 // Maximum line delta, thus ranging from -10..(255-10).
2486 const int MaxLineDelta = 255 + MinLineDelta;
2487
2488 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002489 Asm->OutStreamer.SwitchSection(
2490 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002491
2492 // Construct the section header.
2493 EmitDifference("line_end", 0, "line_begin", 0, true);
2494 Asm->EOL("Length of Source Line Info");
2495 EmitLabel("line_begin", 0);
2496
2497 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2498
2499 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2500 Asm->EOL("Prolog Length");
2501 EmitLabel("line_prolog_begin", 0);
2502
2503 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2504
2505 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2506
2507 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2508
2509 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2510
2511 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2512
2513 // Line number standard opcode encodings argument count
2514 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2515 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2516 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2517 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2518 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2519 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2520 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2521 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2522 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2523
2524 // Emit directories.
2525 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2526 Asm->EmitString(getSourceDirectoryName(DI));
2527 Asm->EOL("Directory");
2528 }
2529
2530 Asm->EmitInt8(0); Asm->EOL("End of directories");
2531
2532 // Emit files.
2533 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2534 // Remember source id starts at 1.
2535 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2536 Asm->EmitString(getSourceFileName(Id.second));
2537 Asm->EOL("Source");
2538 Asm->EmitULEB128Bytes(Id.first);
2539 Asm->EOL("Directory #");
2540 Asm->EmitULEB128Bytes(0);
2541 Asm->EOL("Mod date");
2542 Asm->EmitULEB128Bytes(0);
2543 Asm->EOL("File size");
2544 }
2545
2546 Asm->EmitInt8(0); Asm->EOL("End of files");
2547
2548 EmitLabel("line_prolog_end", 0);
2549
2550 // A sequence for each text section.
2551 unsigned SecSrcLinesSize = SectionSourceLines.size();
2552
2553 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2554 // Isolate current sections line info.
2555 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2556
Chris Lattner93b6db32009-08-08 23:39:42 +00002557 /*if (Asm->isVerbose()) {
Chris Lattnera87dea42009-07-31 18:48:30 +00002558 const MCSection *S = SectionMap[j + 1];
Chris Lattner33adcfb2009-08-22 21:43:10 +00002559 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling94d04b82009-05-20 23:21:38 +00002560 << S->getName() << '\n';
Chris Lattner93b6db32009-08-08 23:39:42 +00002561 }*/
2562 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002563
2564 // Dwarf assumes we start with first line of first source file.
2565 unsigned Source = 1;
2566 unsigned Line = 1;
2567
2568 // Construct rows of the address, source, line, column matrix.
2569 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2570 const SrcLineInfo &LineInfo = LineInfos[i];
2571 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2572 if (!LabelID) continue;
2573
Caroline Ticec6f9d622009-09-11 18:25:54 +00002574 if (LineInfo.getLine() == 0) continue;
2575
Bill Wendling94d04b82009-05-20 23:21:38 +00002576 if (!Asm->isVerbose())
2577 Asm->EOL();
2578 else {
2579 std::pair<unsigned, unsigned> SourceID =
2580 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner33adcfb2009-08-22 21:43:10 +00002581 O << '\t' << MAI->getCommentString() << ' '
Dan Gohmanb3b98212009-12-05 02:00:34 +00002582 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling94d04b82009-05-20 23:21:38 +00002583 << getSourceFileName(SourceID.second)
Dan Gohmanb3b98212009-12-05 02:00:34 +00002584 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002585 }
2586
2587 // Define the line address.
2588 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2589 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2590 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2591 EmitReference("label", LabelID); Asm->EOL("Location label");
2592
2593 // If change of source, then switch to the new source.
2594 if (Source != LineInfo.getSourceID()) {
2595 Source = LineInfo.getSourceID();
2596 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2597 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2598 }
2599
2600 // If change of line.
2601 if (Line != LineInfo.getLine()) {
2602 // Determine offset.
2603 int Offset = LineInfo.getLine() - Line;
2604 int Delta = Offset - MinLineDelta;
2605
2606 // Update line.
2607 Line = LineInfo.getLine();
2608
2609 // If delta is small enough and in range...
2610 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2611 // ... then use fast opcode.
2612 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2613 } else {
2614 // ... otherwise use long hand.
2615 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2616 Asm->EOL("DW_LNS_advance_line");
2617 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2618 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2619 }
2620 } else {
2621 // Copy the previous row (different address or source)
2622 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2623 }
2624 }
2625
Devang Patel2c4ceb12009-11-21 02:48:08 +00002626 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002627 }
2628
2629 if (SecSrcLinesSize == 0)
2630 // Because we're emitting a debug_line section, we still need a line
2631 // table. The linker and friends expect it to exist. If there's nothing to
2632 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002633 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002634
2635 EmitLabel("line_end", 0);
2636 Asm->EOL();
2637}
2638
Devang Patel2c4ceb12009-11-21 02:48:08 +00002639/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002640///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002641void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002642 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002643 return;
2644
2645 int stackGrowth =
2646 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2647 TargetFrameInfo::StackGrowsUp ?
2648 TD->getPointerSize() : -TD->getPointerSize();
2649
2650 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002651 Asm->OutStreamer.SwitchSection(
2652 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002653
2654 EmitLabel("debug_frame_common", 0);
2655 EmitDifference("debug_frame_common_end", 0,
2656 "debug_frame_common_begin", 0, true);
2657 Asm->EOL("Length of Common Information Entry");
2658
2659 EmitLabel("debug_frame_common_begin", 0);
2660 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2661 Asm->EOL("CIE Identifier Tag");
2662 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2663 Asm->EOL("CIE Version");
2664 Asm->EmitString("");
2665 Asm->EOL("CIE Augmentation");
2666 Asm->EmitULEB128Bytes(1);
2667 Asm->EOL("CIE Code Alignment Factor");
2668 Asm->EmitSLEB128Bytes(stackGrowth);
2669 Asm->EOL("CIE Data Alignment Factor");
2670 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2671 Asm->EOL("CIE RA Column");
2672
2673 std::vector<MachineMove> Moves;
2674 RI->getInitialFrameState(Moves);
2675
2676 EmitFrameMoves(NULL, 0, Moves, false);
2677
2678 Asm->EmitAlignment(2, 0, 0, false);
2679 EmitLabel("debug_frame_common_end", 0);
2680
2681 Asm->EOL();
2682}
2683
Devang Patel2c4ceb12009-11-21 02:48:08 +00002684/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002685/// section.
2686void
Devang Patel2c4ceb12009-11-21 02:48:08 +00002687DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattner33adcfb2009-08-22 21:43:10 +00002688 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002689 return;
2690
2691 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002692 Asm->OutStreamer.SwitchSection(
2693 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002694
2695 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2696 "debug_frame_begin", DebugFrameInfo.Number, true);
2697 Asm->EOL("Length of Frame Information Entry");
2698
2699 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2700
2701 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2702 0, 0, true, false);
2703 Asm->EOL("FDE CIE offset");
2704
2705 EmitReference("func_begin", DebugFrameInfo.Number);
2706 Asm->EOL("FDE initial location");
2707 EmitDifference("func_end", DebugFrameInfo.Number,
2708 "func_begin", DebugFrameInfo.Number);
2709 Asm->EOL("FDE address range");
2710
2711 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2712 false);
2713
2714 Asm->EmitAlignment(2, 0, 0, false);
2715 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2716
2717 Asm->EOL();
2718}
2719
Devang Patel8a241142009-12-09 18:24:21 +00002720/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2721///
2722void DwarfDebug::emitDebugPubNames() {
2723 // Start the dwarf pubnames section.
2724 Asm->OutStreamer.SwitchSection(
2725 Asm->getObjFileLowering().getDwarfPubNamesSection());
2726
2727 EmitDifference("pubnames_end", ModuleCU->getID(),
2728 "pubnames_begin", ModuleCU->getID(), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002729 Asm->EOL("Length of Public Names Info");
2730
Devang Patel8a241142009-12-09 18:24:21 +00002731 EmitLabel("pubnames_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002732
2733 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2734
2735 EmitSectionOffset("info_begin", "section_info",
Devang Patel8a241142009-12-09 18:24:21 +00002736 ModuleCU->getID(), 0, true, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002737 Asm->EOL("Offset of Compilation Unit Info");
2738
Devang Patel8a241142009-12-09 18:24:21 +00002739 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002740 true);
2741 Asm->EOL("Compilation Unit Length");
2742
Devang Patel8a241142009-12-09 18:24:21 +00002743 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002744 for (StringMap<DIE*>::const_iterator
2745 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2746 const char *Name = GI->getKeyData();
2747 DIE * Entity = GI->second;
2748
2749 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2750 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2751 }
2752
2753 Asm->EmitInt32(0); Asm->EOL("End Mark");
Devang Patel8a241142009-12-09 18:24:21 +00002754 EmitLabel("pubnames_end", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002755
2756 Asm->EOL();
2757}
2758
Devang Patel193f7202009-11-24 01:14:22 +00002759void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002760 // Start the dwarf pubnames section.
2761 Asm->OutStreamer.SwitchSection(
2762 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel193f7202009-11-24 01:14:22 +00002763 EmitDifference("pubtypes_end", ModuleCU->getID(),
2764 "pubtypes_begin", ModuleCU->getID(), true);
2765 Asm->EOL("Length of Public Types Info");
2766
2767 EmitLabel("pubtypes_begin", ModuleCU->getID());
2768
2769 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2770
2771 EmitSectionOffset("info_begin", "section_info",
2772 ModuleCU->getID(), 0, true, false);
2773 Asm->EOL("Offset of Compilation ModuleCU Info");
2774
2775 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2776 true);
2777 Asm->EOL("Compilation ModuleCU Length");
2778
2779 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2780 for (StringMap<DIE*>::const_iterator
2781 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2782 const char *Name = GI->getKeyData();
2783 DIE * Entity = GI->second;
2784
2785 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2786 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2787 }
2788
2789 Asm->EmitInt32(0); Asm->EOL("End Mark");
2790 EmitLabel("pubtypes_end", ModuleCU->getID());
2791
2792 Asm->EOL();
2793}
2794
Devang Patel2c4ceb12009-11-21 02:48:08 +00002795/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002796///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002797void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002798 // Check to see if it is worth the effort.
2799 if (!StringPool.empty()) {
2800 // Start the dwarf str section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002801 Asm->OutStreamer.SwitchSection(
2802 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002803
2804 // For each of strings in the string pool.
2805 for (unsigned StringID = 1, N = StringPool.size();
2806 StringID <= N; ++StringID) {
2807 // Emit a label for reference from debug information entries.
2808 EmitLabel("string", StringID);
2809
2810 // Emit the string itself.
2811 const std::string &String = StringPool[StringID];
2812 Asm->EmitString(String); Asm->EOL();
2813 }
2814
2815 Asm->EOL();
2816 }
2817}
2818
Devang Patel2c4ceb12009-11-21 02:48:08 +00002819/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002820///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002821void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002822 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002823 Asm->OutStreamer.SwitchSection(
2824 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002825 Asm->EOL();
2826}
2827
2828/// EmitDebugARanges - Emit visible names into a debug aranges section.
2829///
2830void DwarfDebug::EmitDebugARanges() {
2831 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002832 Asm->OutStreamer.SwitchSection(
2833 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002834
2835 // FIXME - Mock up
2836#if 0
2837 CompileUnit *Unit = GetBaseCompileUnit();
2838
2839 // Don't include size of length
2840 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2841
2842 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2843
2844 EmitReference("info_begin", Unit->getID());
2845 Asm->EOL("Offset of Compilation Unit Info");
2846
2847 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2848
2849 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2850
2851 Asm->EmitInt16(0); Asm->EOL("Pad (1)");
2852 Asm->EmitInt16(0); Asm->EOL("Pad (2)");
2853
2854 // Range 1
2855 EmitReference("text_begin", 0); Asm->EOL("Address");
2856 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2857
2858 Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2859 Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2860#endif
2861
2862 Asm->EOL();
2863}
2864
Devang Patel2c4ceb12009-11-21 02:48:08 +00002865/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002866///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002867void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002868 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002869 Asm->OutStreamer.SwitchSection(
2870 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002871 Asm->EOL();
2872}
2873
Devang Patel2c4ceb12009-11-21 02:48:08 +00002874/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002875///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002876void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002877 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002878 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002879 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002880 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002881 Asm->EOL();
2882 }
2883}
2884
Devang Patel2c4ceb12009-11-21 02:48:08 +00002885/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00002886/// Section Header:
2887/// 1. length of section
2888/// 2. Dwarf version number
2889/// 3. address size.
2890///
2891/// Entries (one "entry" for each function that was inlined):
2892///
2893/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2894/// otherwise offset into __debug_str for regular function name.
2895/// 2. offset into __debug_str section for regular function name.
2896/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2897/// instances for the function.
2898///
2899/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2900/// inlined instance; the die_offset points to the inlined_subroutine die in the
2901/// __debug_info section, and the low_pc is the starting address for the
2902/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002903void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002904 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002905 return;
2906
Devang Patel1dbc7712009-06-29 20:45:18 +00002907 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002908 return;
2909
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002910 Asm->OutStreamer.SwitchSection(
2911 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002912 Asm->EOL();
2913 EmitDifference("debug_inlined_end", 1,
2914 "debug_inlined_begin", 1, true);
2915 Asm->EOL("Length of Debug Inlined Information Entry");
2916
2917 EmitLabel("debug_inlined_begin", 1);
2918
2919 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2920 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2921
Devang Patel53bb5c92009-11-10 23:06:00 +00002922 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2923 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002924
Devang Patel53bb5c92009-11-10 23:06:00 +00002925 MDNode *Node = *I;
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002926 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
2927 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00002928 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00002929 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00002930 StringRef LName = SP.getLinkageName();
2931 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002932
Devang Patel65dbc902009-11-25 17:36:49 +00002933 if (LName.empty())
Devang Patel53cb17d2009-07-16 01:01:22 +00002934 Asm->EmitString(Name);
Devang Patel351ca332010-01-05 01:46:14 +00002935 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002936 EmitSectionOffset("string", "section_str",
Devang Patel351ca332010-01-05 01:46:14 +00002937 StringPool.idFor(getRealLinkageName(LName)), false, true);
Devang Patel53bb5c92009-11-10 23:06:00 +00002938
Bill Wendling94d04b82009-05-20 23:21:38 +00002939 Asm->EOL("MIPS linkage name");
Devang Patel53bb5c92009-11-10 23:06:00 +00002940 EmitSectionOffset("string", "section_str",
2941 StringPool.idFor(Name), false, true);
2942 Asm->EOL("Function name");
Bill Wendling94d04b82009-05-20 23:21:38 +00002943 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2944
Devang Patel53bb5c92009-11-10 23:06:00 +00002945 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002946 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002947 DIE *SP = LI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002948 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2949
2950 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +00002951 O << MAI->getData32bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002952 else
Chris Lattner33adcfb2009-08-22 21:43:10 +00002953 O << MAI->getData64bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002954
Devang Patel53bb5c92009-11-10 23:06:00 +00002955 PrintLabelName("label", LI->first); Asm->EOL("low_pc");
Bill Wendling94d04b82009-05-20 23:21:38 +00002956 }
2957 }
2958
2959 EmitLabel("debug_inlined_end", 1);
2960 Asm->EOL();
2961}