blob: 3b0d74db814e777f2b7c03b4e8d8573497c1d3a8 [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 Patel53bb5c92009-11-10 23:06:00 +0000168 WeakVH InlinedAtLocation; // Location at which scope is inlined.
169 bool AbstractScope; // Abstract Scope
Bill Wendling0310d762009-05-15 09:23:25 +0000170 unsigned StartLabelID; // Label ID of the beginning of scope.
171 unsigned EndLabelID; // Label ID of the end of scope.
Devang Pateld38dd112009-10-01 18:25:23 +0000172 const MachineInstr *LastInsn; // Last instruction of this scope.
173 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000174 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
175 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000176
Owen Anderson04c05f72009-06-24 22:53:20 +0000177 // Private state for dump()
178 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000179public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000180 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000181 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000182 StartLabelID(0), EndLabelID(0),
Devang Patelc90aefe2009-10-14 21:08:09 +0000183 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000184 virtual ~DbgScope();
185
186 // Accessors.
187 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000188 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000189 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000190 MDNode *getInlinedAt() const {
Devang Patel53bb5c92009-11-10 23:06:00 +0000191 return dyn_cast_or_null<MDNode>(InlinedAtLocation);
Devang Patelc90aefe2009-10-14 21:08:09 +0000192 }
Devang Patel53bb5c92009-11-10 23:06:00 +0000193 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendling0310d762009-05-15 09:23:25 +0000194 unsigned getStartLabelID() const { return StartLabelID; }
195 unsigned getEndLabelID() const { return EndLabelID; }
196 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
197 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Bill Wendling0310d762009-05-15 09:23:25 +0000198 void setStartLabelID(unsigned S) { StartLabelID = S; }
199 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Pateld38dd112009-10-01 18:25:23 +0000200 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
201 const MachineInstr *getLastInsn() { return LastInsn; }
202 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000203 void setAbstractScope() { AbstractScope = true; }
204 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000205 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000206
Devang Patel2c4ceb12009-11-21 02:48:08 +0000207 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000208 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000209 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000210
Devang Patel2c4ceb12009-11-21 02:48:08 +0000211 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000212 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000213 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000214
Devang Patel344130e2010-01-04 20:44:00 +0000215 void fixInstructionMarkers(DenseMap<const MachineInstr *,
216 unsigned> &MIIndexMap) {
Devang Patelaf9e8472009-10-01 20:31:14 +0000217 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel344130e2010-01-04 20:44:00 +0000218
219 // Use the end of last child scope as end of this scope.
Devang Patelaf9e8472009-10-01 20:31:14 +0000220 SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patel344130e2010-01-04 20:44:00 +0000221 const MachineInstr *LastInsn = NULL;
222 unsigned LIndex = 0;
223 if (Scopes.empty()) {
224 assert (getLastInsn() && "Inner most scope does not have last insn!");
225 return;
226 }
227 for (SmallVector<DbgScope *, 4>::iterator SI = Scopes.begin(),
228 SE = Scopes.end(); SI != SE; ++SI) {
229 DbgScope *DS = *SI;
230 DS->fixInstructionMarkers(MIIndexMap);
231 const MachineInstr *DSLastInsn = DS->getLastInsn();
232 unsigned DSI = MIIndexMap[DSLastInsn];
233 if (DSI > LIndex) {
234 LastInsn = DSLastInsn;
235 LIndex = DSI;
236 }
237 }
238 setLastInsn(LastInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +0000239 }
240
Bill Wendling0310d762009-05-15 09:23:25 +0000241#ifndef NDEBUG
242 void dump() const;
243#endif
244};
245
246#ifndef NDEBUG
247void DbgScope::dump() const {
David Greenef83adbc2009-12-24 00:31:35 +0000248 raw_ostream &err = dbgs();
Chris Lattnerc281de12009-08-23 00:51:00 +0000249 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000250 MDNode *N = Desc.getNode();
251 N->dump();
Chris Lattnerc281de12009-08-23 00:51:00 +0000252 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patel53bb5c92009-11-10 23:06:00 +0000253 if (AbstractScope)
254 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000255
256 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000257 if (!Scopes.empty())
258 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000259 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
260 if (Scopes[i] != this)
261 Scopes[i]->dump();
262
263 IndentLevel -= 2;
264}
265#endif
266
Bill Wendling0310d762009-05-15 09:23:25 +0000267DbgScope::~DbgScope() {
268 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
269 delete Scopes[i];
270 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
271 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000272}
273
274} // end llvm namespace
275
Chris Lattneraf76e592009-08-22 20:48:53 +0000276DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Devang Patel1dbc7712009-06-29 20:45:18 +0000277 : Dwarf(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000278 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patel2c4ceb12009-11-21 02:48:08 +0000279 DIEValues(), StringPool(),
Bill Wendling0310d762009-05-15 09:23:25 +0000280 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel53bb5c92009-11-10 23:06:00 +0000281 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendling0310d762009-05-15 09:23:25 +0000282 if (TimePassesIsEnabled)
Chris Lattner0b86a6f2009-12-28 07:41:18 +0000283 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling0310d762009-05-15 09:23:25 +0000284}
285DwarfDebug::~DwarfDebug() {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000286 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
287 delete DIEValues[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000288
Bill Wendling0310d762009-05-15 09:23:25 +0000289 delete DebugTimer;
290}
291
Devang Patel2c4ceb12009-11-21 02:48:08 +0000292/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000293///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000294void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000295 // Profile the node so that we can make it unique.
296 FoldingSetNodeID ID;
297 Abbrev.Profile(ID);
298
299 // Check the set for priors.
300 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
301
302 // If it's newly added.
303 if (InSet == &Abbrev) {
304 // Add to abbreviation list.
305 Abbreviations.push_back(&Abbrev);
306
307 // Assign the vector position + 1 as its number.
308 Abbrev.setNumber(Abbreviations.size());
309 } else {
310 // Assign existing abbreviation number.
311 Abbrev.setNumber(InSet->getNumber());
312 }
313}
314
Devang Patel2c4ceb12009-11-21 02:48:08 +0000315/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000316/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000317DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000318 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000319 DIEValues.push_back(Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000320 return Value;
321}
322
Devang Patel2c4ceb12009-11-21 02:48:08 +0000323/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000324///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000325void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000326 unsigned Form, uint64_t Integer) {
327 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000328 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000329 DIEValues.push_back(Value);
330 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000331}
332
Devang Patel2c4ceb12009-11-21 02:48:08 +0000333/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000334///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000335void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000336 unsigned Form, int64_t Integer) {
337 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000338 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000339 DIEValues.push_back(Value);
340 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000341}
342
Devang Patel69f57b12009-12-02 15:25:16 +0000343/// addString - Add a string attribute data and value. DIEString only
344/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000345void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Devang Patele9a05972009-11-24 19:42:17 +0000346 const StringRef String) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000347 DIEValue *Value = new DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000348 DIEValues.push_back(Value);
349 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000350}
351
Devang Patel2c4ceb12009-11-21 02:48:08 +0000352/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000353///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000354void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000355 const DWLabel &Label) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000356 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000357 DIEValues.push_back(Value);
358 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000359}
360
Devang Patel2c4ceb12009-11-21 02:48:08 +0000361/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000362///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000363void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000364 const std::string &Label) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000365 DIEValue *Value = new DIEObjectLabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000366 DIEValues.push_back(Value);
367 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000368}
369
Devang Patel2c4ceb12009-11-21 02:48:08 +0000370/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000371///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000372void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000373 const DWLabel &Label, const DWLabel &Section,
374 bool isEH, bool useSet) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000375 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000376 DIEValues.push_back(Value);
377 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000378}
379
Devang Patel2c4ceb12009-11-21 02:48:08 +0000380/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000381///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000382void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000383 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000384 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000385 DIEValues.push_back(Value);
386 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000387}
388
Devang Patel2c4ceb12009-11-21 02:48:08 +0000389/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000390///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000391void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000392 DIEBlock *Block) {
393 Block->ComputeSize(TD);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000394 DIEValues.push_back(Block);
395 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000396}
397
Devang Patel2c4ceb12009-11-21 02:48:08 +0000398/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000399/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000400void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000401 // If there is no compile unit specified, don't add a line #.
402 if (V->getCompileUnit().isNull())
403 return;
404
405 unsigned Line = V->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000406 unsigned FileID = findCompileUnit(V->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000407 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000408 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
409 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000410}
411
Devang Patel2c4ceb12009-11-21 02:48:08 +0000412/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000413/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000414void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000415 // If there is no compile unit specified, don't add a line #.
416 if (G->getCompileUnit().isNull())
417 return;
418
419 unsigned Line = G->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000420 unsigned FileID = findCompileUnit(G->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000421 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000422 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
423 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000424}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000425
Devang Patel2c4ceb12009-11-21 02:48:08 +0000426/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000427/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000428void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000429 // If there is no compile unit specified, don't add a line #.
430 if (SP->getCompileUnit().isNull())
431 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000432 // If the line number is 0, don't add it.
433 if (SP->getLineNumber() == 0)
434 return;
435
Devang Patel82dfc0c2009-08-31 22:47:13 +0000436
437 unsigned Line = SP->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000438 unsigned FileID = findCompileUnit(SP->getCompileUnit())->getID();
Devang Patel82dfc0c2009-08-31 22:47:13 +0000439 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000440 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
441 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000442}
443
Devang Patel2c4ceb12009-11-21 02:48:08 +0000444/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000445/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000446void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000447 // If there is no compile unit specified, don't add a line #.
448 DICompileUnit CU = Ty->getCompileUnit();
449 if (CU.isNull())
450 return;
451
452 unsigned Line = Ty->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000453 unsigned FileID = findCompileUnit(CU)->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000454 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000455 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
456 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000457}
458
Devang Patel6404e4e2009-12-15 19:16:48 +0000459/// addSourceLine - Add location information to specified debug information
460/// entry.
461void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
462 // If there is no compile unit specified, don't add a line #.
463 if (NS->getCompileUnit().isNull())
464 return;
465
466 unsigned Line = NS->getLineNumber();
467 StringRef FN = NS->getFilename();
468 StringRef Dir = NS->getDirectory();
469
470 unsigned FileID = GetOrCreateSourceID(Dir, FN);
471 assert(FileID && "Invalid file id");
472 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
473 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
474}
475
Caroline Ticedc8f6042009-08-31 21:19:37 +0000476/* Byref variables, in Blocks, are declared by the programmer as
477 "SomeType VarName;", but the compiler creates a
478 __Block_byref_x_VarName struct, and gives the variable VarName
479 either the struct, or a pointer to the struct, as its type. This
480 is necessary for various behind-the-scenes things the compiler
481 needs to do with by-reference variables in blocks.
482
483 However, as far as the original *programmer* is concerned, the
484 variable should still have type 'SomeType', as originally declared.
485
486 The following function dives into the __Block_byref_x_VarName
487 struct to find the original type of the variable. This will be
488 passed back to the code generating the type for the Debug
489 Information Entry for the variable 'VarName'. 'VarName' will then
490 have the original type 'SomeType' in its debug information.
491
492 The original type 'SomeType' will be the type of the field named
493 'VarName' inside the __Block_byref_x_VarName struct.
494
495 NOTE: In order for this to not completely fail on the debugger
496 side, the Debug Information Entry for the variable VarName needs to
497 have a DW_AT_location that tells the debugger how to unwind through
498 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000499 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000500
501/// Find the type the programmer originally declared the variable to be
502/// and return that type.
503///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000504DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000505
506 DIType subType = Ty;
507 unsigned tag = Ty.getTag();
508
509 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000510 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000511 subType = DTy.getTypeDerivedFrom();
512 }
513
514 DICompositeType blockStruct = DICompositeType(subType.getNode());
515
516 DIArray Elements = blockStruct.getTypeArray();
517
518 if (Elements.isNull())
519 return Ty;
520
521 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
522 DIDescriptor Element = Elements.getElement(i);
523 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000524 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000525 return (DT.getTypeDerivedFrom());
526 }
527
528 return Ty;
529}
530
Devang Patel2c4ceb12009-11-21 02:48:08 +0000531/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000532/// and generate the DWARF information necessary to find the actual variable
533/// given the extra address information encoded in the DIVariable, starting from
534/// the starting location. Add the DWARF information to the die.
535///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000536void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000537 unsigned Attribute,
538 const MachineLocation &Location) {
539 const DIVariable &VD = DV->getVariable();
540 DIType Ty = VD.getType();
541
542 // Decode the original location, and use that as the start of the byref
543 // variable's location.
544 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
545 DIEBlock *Block = new DIEBlock();
546
547 if (Location.isReg()) {
548 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000549 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000550 } else {
551 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000552 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
553 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000554 }
555 } else {
556 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000557 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000558 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000559 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
560 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000561 }
562
Devang Patel2c4ceb12009-11-21 02:48:08 +0000563 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000564 }
565
566 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
567 uint64_t Element = VD.getAddrElement(i);
568
569 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000570 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
571 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000572 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000573 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000574 } else llvm_unreachable("unknown DIFactory Opcode");
575 }
576
577 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000578 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000579}
580
Caroline Ticedc8f6042009-08-31 21:19:37 +0000581/* Byref variables, in Blocks, are declared by the programmer as "SomeType
582 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
583 gives the variable VarName either the struct, or a pointer to the struct, as
584 its type. This is necessary for various behind-the-scenes things the
585 compiler needs to do with by-reference variables in Blocks.
586
587 However, as far as the original *programmer* is concerned, the variable
588 should still have type 'SomeType', as originally declared.
589
Devang Patel2c4ceb12009-11-21 02:48:08 +0000590 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000591 struct to find the original type of the variable, which is then assigned to
592 the variable's Debug Information Entry as its real type. So far, so good.
593 However now the debugger will expect the variable VarName to have the type
594 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000595 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000596 pointers and struct to find the actual variable of type SomeType.
597
598 The following function does just that. We start by getting
599 the "normal" location for the variable. This will be the location
600 of either the struct __Block_byref_x_VarName or the pointer to the
601 struct __Block_byref_x_VarName.
602
603 The struct will look something like:
604
605 struct __Block_byref_x_VarName {
606 ... <various fields>
607 struct __Block_byref_x_VarName *forwarding;
608 ... <various other fields>
609 SomeType VarName;
610 ... <maybe more fields>
611 };
612
613 If we are given the struct directly (as our starting point) we
614 need to tell the debugger to:
615
616 1). Add the offset of the forwarding field.
617
618 2). Follow that pointer to get the the real __Block_byref_x_VarName
619 struct to use (the real one may have been copied onto the heap).
620
621 3). Add the offset for the field VarName, to find the actual variable.
622
623 If we started with a pointer to the struct, then we need to
624 dereference that pointer first, before the other steps.
625 Translating this into DWARF ops, we will need to append the following
626 to the current location description for the variable:
627
628 DW_OP_deref -- optional, if we start with a pointer
629 DW_OP_plus_uconst <forward_fld_offset>
630 DW_OP_deref
631 DW_OP_plus_uconst <varName_fld_offset>
632
633 That is what this function does. */
634
Devang Patel2c4ceb12009-11-21 02:48:08 +0000635/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000636/// provided, and generate the DWARF information necessary to find the
637/// actual Block variable (navigating the Block struct) based on the
638/// starting location. Add the DWARF information to the die. For
639/// more information, read large comment just above here.
640///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000641void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000642 unsigned Attribute,
643 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000644 const DIVariable &VD = DV->getVariable();
645 DIType Ty = VD.getType();
646 DIType TmpTy = Ty;
647 unsigned Tag = Ty.getTag();
648 bool isPointer = false;
649
Devang Patel65dbc902009-11-25 17:36:49 +0000650 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000651
652 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000653 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000654 TmpTy = DTy.getTypeDerivedFrom();
655 isPointer = true;
656 }
657
658 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
659
Daniel Dunbar00564992009-09-19 20:40:14 +0000660 // Find the __forwarding field and the variable field in the __Block_byref
661 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000662 DIArray Fields = blockStruct.getTypeArray();
663 DIDescriptor varField = DIDescriptor();
664 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000665
666
Daniel Dunbar00564992009-09-19 20:40:14 +0000667 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
668 DIDescriptor Element = Fields.getElement(i);
669 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000670 StringRef fieldName = DT.getName();
671 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000672 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000673 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000674 varField = Element;
675 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000676
Mike Stump7e3720d2009-09-24 23:21:26 +0000677 assert(!varField.isNull() && "Can't find byref variable in Block struct");
678 assert(!forwardingField.isNull()
679 && "Can't find forwarding field in Block struct");
Caroline Ticedc8f6042009-08-31 21:19:37 +0000680
Daniel Dunbar00564992009-09-19 20:40:14 +0000681 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar00564992009-09-19 20:40:14 +0000682 unsigned int forwardingFieldOffset =
683 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
684 unsigned int varFieldOffset =
685 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000686
Mike Stump7e3720d2009-09-24 23:21:26 +0000687 // Decode the original location, and use that as the start of the byref
688 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000689 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
690 DIEBlock *Block = new DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000691
Daniel Dunbar00564992009-09-19 20:40:14 +0000692 if (Location.isReg()) {
693 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000694 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000695 else {
696 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000697 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
698 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000699 }
700 } else {
701 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000702 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000703 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000704 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
705 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000706 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000707
Devang Patel2c4ceb12009-11-21 02:48:08 +0000708 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000709 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000710
Mike Stump7e3720d2009-09-24 23:21:26 +0000711 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000712 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000713 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000714 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000715
Daniel Dunbar00564992009-09-19 20:40:14 +0000716 // Next add the offset for the '__forwarding' field:
717 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
718 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000719 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000720 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
721 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000722 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000723
Daniel Dunbar00564992009-09-19 20:40:14 +0000724 // Now dereference the __forwarding field to get to the real __Block_byref
725 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000726 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000727
Daniel Dunbar00564992009-09-19 20:40:14 +0000728 // Now that we've got the real __Block_byref... struct, add the offset
729 // for the variable's field to get to the location of the actual variable:
730 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000731 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000732 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
733 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000734 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000735
Daniel Dunbar00564992009-09-19 20:40:14 +0000736 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000737 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000738}
739
Devang Patel2c4ceb12009-11-21 02:48:08 +0000740/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000741/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000742void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000743 const MachineLocation &Location) {
744 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
745 DIEBlock *Block = new DIEBlock();
746
747 if (Location.isReg()) {
748 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000749 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000750 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000751 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
752 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000753 }
754 } else {
755 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000756 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000757 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000758 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
759 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000760 }
761
Devang Patel2c4ceb12009-11-21 02:48:08 +0000762 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000763 }
764
Devang Patel2c4ceb12009-11-21 02:48:08 +0000765 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000766}
767
Devang Patelc366f832009-12-10 19:14:49 +0000768/// addToContextOwner - Add Die into the list of its context owner's children.
769void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
770 if (Context.isNull())
771 ModuleCU->addDie(Die);
772 else if (Context.isType()) {
773 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
774 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000775 } else if (Context.isNameSpace()) {
776 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
777 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000778 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
779 ContextDIE->addChild(Die);
780 else
781 ModuleCU->addDie(Die);
782}
783
Devang Patel16ced732009-12-10 18:05:33 +0000784/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
785/// given DIType.
786DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
787 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
788 if (TyDIE)
789 return TyDIE;
790
791 // Create new type.
792 TyDIE = new DIE(dwarf::DW_TAG_base_type);
793 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
794 if (Ty.isBasicType())
795 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
796 else if (Ty.isCompositeType())
797 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
798 else {
799 assert(Ty.isDerivedType() && "Unknown kind of DIType");
800 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
801 }
802
Devang Patelc366f832009-12-10 19:14:49 +0000803 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000804 return TyDIE;
805}
806
Devang Patel2c4ceb12009-11-21 02:48:08 +0000807/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000808void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000809 if (Ty.isNull())
810 return;
811
812 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000813 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000814 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000815 if (Entry) {
816 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000817 return;
818 }
819
820 // Set up proxy.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000821 Entry = createDIEEntry();
Devang Patel8a241142009-12-09 18:24:21 +0000822 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000823
824 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000825 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000826
Devang Patel2c4ceb12009-11-21 02:48:08 +0000827 Entry->setEntry(Buffer);
828 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000829}
830
Devang Patel2c4ceb12009-11-21 02:48:08 +0000831/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000832void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000833 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000834 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000835 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000836 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000837 BTy.getEncoding());
838
839 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000840 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000841 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000842 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000843 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000844}
845
Devang Patel2c4ceb12009-11-21 02:48:08 +0000846/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000847void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000848 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000849 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000850 uint64_t Size = DTy.getSizeInBits() >> 3;
851 unsigned Tag = DTy.getTag();
852
853 // FIXME - Workaround for templates.
854 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
855
856 Buffer.setTag(Tag);
857
858 // Map to main type, void will not have a type.
859 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000860 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000861
862 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000863 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000864 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000865
866 // Add size if non-zero (derived types might be zero-sized.)
867 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000868 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000869
870 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000871 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000872 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000873}
874
Devang Patel2c4ceb12009-11-21 02:48:08 +0000875/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000876void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000877 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000878 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000879
880 uint64_t Size = CTy.getSizeInBits() >> 3;
881 unsigned Tag = CTy.getTag();
882 Buffer.setTag(Tag);
883
884 switch (Tag) {
885 case dwarf::DW_TAG_vector_type:
886 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000887 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000888 break;
889 case dwarf::DW_TAG_enumeration_type: {
890 DIArray Elements = CTy.getTypeArray();
891
892 // Add enumerators to enumeration type.
893 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
894 DIE *ElemDie = NULL;
Devang Patele4b27562009-08-28 23:24:31 +0000895 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelc5254722009-10-09 17:51:49 +0000896 if (!Enum.isNull()) {
Devang Patel8a241142009-12-09 18:24:21 +0000897 ElemDie = constructEnumTypeDIE(&Enum);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000898 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000899 }
Bill Wendling0310d762009-05-15 09:23:25 +0000900 }
901 }
902 break;
903 case dwarf::DW_TAG_subroutine_type: {
904 // Add return type.
905 DIArray Elements = CTy.getTypeArray();
906 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000907 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000908
909 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000910 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000911
912 // Add arguments.
913 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
914 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
915 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000916 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000917 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000918 }
919 }
920 break;
921 case dwarf::DW_TAG_structure_type:
922 case dwarf::DW_TAG_union_type:
923 case dwarf::DW_TAG_class_type: {
924 // Add elements to structure type.
925 DIArray Elements = CTy.getTypeArray();
926
927 // A forward struct declared type may not have elements available.
928 if (Elements.isNull())
929 break;
930
931 // Add elements to structure type.
932 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
933 DIDescriptor Element = Elements.getElement(i);
Devang Patele4b27562009-08-28 23:24:31 +0000934 if (Element.isNull())
935 continue;
Bill Wendling0310d762009-05-15 09:23:25 +0000936 DIE *ElemDie = NULL;
937 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patelffe966c2009-12-14 16:18:45 +0000938 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000939 else
Devang Patel8a241142009-12-09 18:24:21 +0000940 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000941 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000942 }
943
Devang Patela1ba2692009-08-27 23:51:51 +0000944 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000945 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000946
947 unsigned RLang = CTy.getRunTimeLang();
948 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000949 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000950 dwarf::DW_FORM_data1, RLang);
951 break;
952 }
953 default:
954 break;
955 }
956
957 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000958 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000959 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000960
961 if (Tag == dwarf::DW_TAG_enumeration_type ||
962 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
963 // Add size if non-zero (derived types might be zero-sized.)
964 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000965 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000966 else {
967 // Add zero size if it is not a forward declaration.
968 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000969 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000970 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000971 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000972 }
973
974 // Add source line info if available.
975 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000976 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000977 }
978}
979
Devang Patel2c4ceb12009-11-21 02:48:08 +0000980/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
981void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +0000982 int64_t L = SR.getLo();
983 int64_t H = SR.getHi();
984 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
985
Devang Patel2c4ceb12009-11-21 02:48:08 +0000986 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +0000987 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000988 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +0000989 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +0000990
Devang Patel2c4ceb12009-11-21 02:48:08 +0000991 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +0000992}
993
Devang Patel2c4ceb12009-11-21 02:48:08 +0000994/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000995void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000996 DICompositeType *CTy) {
997 Buffer.setTag(dwarf::DW_TAG_array_type);
998 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000999 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001000
1001 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001002 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001003 DIArray Elements = CTy->getTypeArray();
1004
Devang Patel6f01d9c2009-11-21 00:31:03 +00001005 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001006 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001007 if (!IdxTy) {
1008 // Construct an anonymous type for index type.
1009 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001010 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1011 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001012 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001013 ModuleCU->addDie(IdxTy);
1014 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001015 }
Bill Wendling0310d762009-05-15 09:23:25 +00001016
1017 // Add subranges to array type.
1018 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1019 DIDescriptor Element = Elements.getElement(i);
1020 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001021 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001022 }
1023}
1024
Devang Patel2c4ceb12009-11-21 02:48:08 +00001025/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel8a241142009-12-09 18:24:21 +00001026DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator *ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001027 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel65dbc902009-11-25 17:36:49 +00001028 StringRef Name = ETy->getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001029 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +00001030 int64_t Value = ETy->getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001031 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001032 return Enumerator;
1033}
1034
Devang Patel2c4ceb12009-11-21 02:48:08 +00001035/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001036DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001037 // If the global variable was optmized out then no need to create debug info
1038 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001039 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001040 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001041
Bill Wendling0310d762009-05-15 09:23:25 +00001042 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001043 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001044 GV.getDisplayName());
1045
Devang Patel65dbc902009-11-25 17:36:49 +00001046 StringRef LinkageName = GV.getLinkageName();
1047 if (!LinkageName.empty()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001048 // Skip special LLVM prefix that is used to inform the asm printer to not
1049 // emit usual symbol prefix before the symbol name. This happens for
1050 // Objective-C symbol names and symbol whose name is replaced using GCC's
1051 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00001052 if (LinkageName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00001053 LinkageName = LinkageName.substr(1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001054 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel1a8d2d22009-07-14 00:55:28 +00001055 LinkageName);
Devang Patel53cb17d2009-07-16 01:01:22 +00001056 }
Devang Patel8a241142009-12-09 18:24:21 +00001057 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001058 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001059 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1060 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001061
Bill Wendling0310d762009-05-15 09:23:25 +00001062 return GVDie;
1063}
1064
Devang Patel2c4ceb12009-11-21 02:48:08 +00001065/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001066DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001067 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001068 StringRef Name = DT.getName();
1069 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001070 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001071
Devang Patel8a241142009-12-09 18:24:21 +00001072 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001073
Devang Patel2c4ceb12009-11-21 02:48:08 +00001074 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001075
Devang Patel33db5082009-11-04 22:06:12 +00001076 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001077 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001078
Bill Wendling0310d762009-05-15 09:23:25 +00001079 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001080 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001081
1082 if (Size != FieldSize) {
1083 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001084 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1085 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001086
1087 uint64_t Offset = DT.getOffsetInBits();
1088 uint64_t FieldOffset = Offset;
1089 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1090 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1091 FieldOffset = (HiMark - FieldSize);
1092 Offset -= FieldOffset;
1093
1094 // Maybe we need to work from the other end.
1095 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001096 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001097
Devang Patel33db5082009-11-04 22:06:12 +00001098 // Here WD_AT_data_member_location points to the anonymous
1099 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001100 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001101
1102 } else
1103 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001104 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001105
Devang Patel2c4ceb12009-11-21 02:48:08 +00001106 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001107
1108 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001109 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001110 dwarf::DW_ACCESS_protected);
1111 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001112 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001113 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001114 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1115 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1116 dwarf::DW_ACCESS_public);
1117 if (DT.isVirtual())
1118 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1119 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001120 return MemberDie;
1121}
1122
Devang Patelffe966c2009-12-14 16:18:45 +00001123/// createSubprogramDIE - Create new DIE using SP.
1124DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1125 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1126 if (SPDie)
1127 return SPDie;
1128
1129 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel65dbc902009-11-25 17:36:49 +00001130 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001131
Devang Patel65dbc902009-11-25 17:36:49 +00001132 StringRef LinkageName = SP.getLinkageName();
1133 if (!LinkageName.empty()) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001134 // Skip special LLVM prefix that is used to inform the asm printer to not
1135 // emit usual symbol prefix before the symbol name. This happens for
1136 // Objective-C symbol names and symbol whose name is replaced using GCC's
1137 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00001138 if (LinkageName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00001139 LinkageName = LinkageName.substr(1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001140 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel1a8d2d22009-07-14 00:55:28 +00001141 LinkageName);
Devang Patel53cb17d2009-07-16 01:01:22 +00001142 }
Devang Patel2c4ceb12009-11-21 02:48:08 +00001143 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001144
Bill Wendling0310d762009-05-15 09:23:25 +00001145 // Add prototyped tag, if C or ObjC.
1146 unsigned Lang = SP.getCompileUnit().getLanguage();
1147 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1148 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001149 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001150
1151 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001152 DICompositeType SPTy = SP.getType();
1153 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001154 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001155
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001156 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001157 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001158 else
Devang Patel8a241142009-12-09 18:24:21 +00001159 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001160
Devang Patel5d11eb02009-12-03 19:11:07 +00001161 unsigned VK = SP.getVirtuality();
1162 if (VK) {
1163 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1164 DIEBlock *Block = new DIEBlock();
1165 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1166 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1167 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
1168 ContainingTypeMap.insert(std::make_pair(SPDie, WeakVH(SP.getContainingType().getNode())));
1169 }
1170
Devang Patelffe966c2009-12-14 16:18:45 +00001171 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001172 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001173
1174 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001175 // be handled while processing variables.
1176 DICompositeType SPTy = SP.getType();
1177 DIArray Args = SPTy.getTypeArray();
1178 unsigned SPTag = SPTy.getTag();
1179
Bill Wendling0310d762009-05-15 09:23:25 +00001180 if (SPTag == dwarf::DW_TAG_subroutine_type)
1181 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1182 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel8a241142009-12-09 18:24:21 +00001183 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001184 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1185 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001186 }
1187 }
1188
Bill Wendling0310d762009-05-15 09:23:25 +00001189 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001190 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001191 return SPDie;
1192}
1193
Devang Patel2c4ceb12009-11-21 02:48:08 +00001194/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling0310d762009-05-15 09:23:25 +00001195///
Devang Pateld037d7a2009-12-11 21:37:07 +00001196CompileUnit *DwarfDebug::findCompileUnit(DICompileUnit Unit) {
Bill Wendling0310d762009-05-15 09:23:25 +00001197 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patele4b27562009-08-28 23:24:31 +00001198 CompileUnitMap.find(Unit.getNode());
Devang Pateld037d7a2009-12-11 21:37:07 +00001199 if (I == CompileUnitMap.end())
1200 return constructCompileUnit(Unit.getNode());
1201 return I->second;
Bill Wendling0310d762009-05-15 09:23:25 +00001202}
1203
Devang Patel53bb5c92009-11-10 23:06:00 +00001204/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1205/// Initialize scope and update scope hierarchy.
1206DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1207 MDNode *InlinedAt) {
1208 assert (N && "Invalid Scope encoding!");
1209 assert (MI && "Missing machine instruction!");
1210 bool GetConcreteScope = (MI && InlinedAt);
1211
1212 DbgScope *NScope = NULL;
1213
1214 if (InlinedAt)
1215 NScope = DbgScopeMap.lookup(InlinedAt);
1216 else
1217 NScope = DbgScopeMap.lookup(N);
1218 assert (NScope && "Unable to find working scope!");
1219
1220 if (NScope->getFirstInsn())
1221 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001222
1223 DbgScope *Parent = NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001224 if (GetConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001225 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001226 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001227 IL.getOrigLocation().getNode());
1228 assert (Parent && "Unable to find Parent scope!");
1229 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001230 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001231 } else if (DIDescriptor(N).isLexicalBlock()) {
1232 DILexicalBlock DB(N);
1233 if (!DB.getContext().isNull()) {
1234 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1235 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001236 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001237 }
Devang Patelc90aefe2009-10-14 21:08:09 +00001238 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001239
Devang Patelbdf45cb2009-10-27 20:47:17 +00001240 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001241
Devang Patel53bb5c92009-11-10 23:06:00 +00001242 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001243 StringRef SPName = DISubprogram(N).getLinkageName();
1244 if (SPName == MF->getFunction()->getName())
1245 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001246 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001247
Devang Patel53bb5c92009-11-10 23:06:00 +00001248 if (GetConcreteScope) {
1249 ConcreteScopes[InlinedAt] = NScope;
1250 getOrCreateAbstractScope(N);
1251 }
1252
Devang Patelbdf45cb2009-10-27 20:47:17 +00001253 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001254}
1255
Devang Patel53bb5c92009-11-10 23:06:00 +00001256DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1257 assert (N && "Invalid Scope encoding!");
1258
1259 DbgScope *AScope = AbstractScopes.lookup(N);
1260 if (AScope)
1261 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001262
Devang Patel53bb5c92009-11-10 23:06:00 +00001263 DbgScope *Parent = NULL;
1264
1265 DIDescriptor Scope(N);
1266 if (Scope.isLexicalBlock()) {
1267 DILexicalBlock DB(N);
1268 DIDescriptor ParentDesc = DB.getContext();
1269 if (!ParentDesc.isNull())
1270 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1271 }
1272
1273 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1274
1275 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001276 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001277 AScope->setAbstractScope();
1278 AbstractScopes[N] = AScope;
1279 if (DIDescriptor(N).isSubprogram())
1280 AbstractScopesList.push_back(AScope);
1281 return AScope;
1282}
Devang Patelaf9e8472009-10-01 20:31:14 +00001283
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001284/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001285/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1286/// If there are global variables in this scope then create and insert
1287/// DIEs for these variables.
1288DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001289
Devang Patel017d1212009-11-20 21:37:22 +00001290 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel53bb5c92009-11-10 23:06:00 +00001291 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patelffe966c2009-12-14 16:18:45 +00001292 DISubprogram SP(SPNode);
1293 if (SP.isDefinition() && !SP.getContext().isCompileUnit()) {
1294 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1295 // Add arguments.
1296 DICompositeType SPTy = SP.getType();
1297 DIArray Args = SPTy.getTypeArray();
1298 unsigned SPTag = SPTy.getTag();
1299 if (SPTag == dwarf::DW_TAG_subroutine_type)
1300 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1301 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1302 addType(Arg, DIType(Args.getElement(i).getNode()));
1303 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1304 SPDie->addChild(Arg);
1305 }
1306 DIE *SPDeclDie = SPDie;
1307 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1308 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1309 SPDeclDie);
Devang Patelffe966c2009-12-14 16:18:45 +00001310 ModuleCU->addDie(SPDie);
1311 }
1312
Devang Patel2c4ceb12009-11-21 02:48:08 +00001313 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001314 DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001315 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001316 DWLabel("func_end", SubprogramCount));
1317 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001318 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001319
Devang Patel53bb5c92009-11-10 23:06:00 +00001320 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001321 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001322
Devang Patel53bb5c92009-11-10 23:06:00 +00001323 return SPDie;
1324}
1325
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001326/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001327/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1328DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001329 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1330 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1331
1332 // Ignore empty scopes.
1333 if (StartID == EndID && StartID != 0)
1334 return NULL;
1335
1336 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1337 if (Scope->isAbstractScope())
1338 return ScopeDIE;
1339
Devang Patel2c4ceb12009-11-21 02:48:08 +00001340 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001341 StartID ?
1342 DWLabel("label", StartID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001343 : DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001344 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001345 EndID ?
1346 DWLabel("label", EndID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001347 : DWLabel("func_end", SubprogramCount));
1348
1349
1350
1351 return ScopeDIE;
1352}
1353
Devang Patel2c4ceb12009-11-21 02:48:08 +00001354/// constructInlinedScopeDIE - This scope represents inlined body of
1355/// a function. Construct DIE to represent this concrete inlined copy
1356/// of the function.
1357DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001358 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1359 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1360 assert (StartID && "Invalid starting label for an inlined scope!");
1361 assert (EndID && "Invalid end label for an inlined scope!");
1362 // Ignore empty scopes.
1363 if (StartID == EndID && StartID != 0)
1364 return NULL;
1365
1366 DIScope DS(Scope->getScopeNode());
1367 if (DS.isNull())
1368 return NULL;
1369 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1370
1371 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001372 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001373 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001374 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001375 dwarf::DW_FORM_ref4, OriginDIE);
1376
Devang Patel2c4ceb12009-11-21 02:48:08 +00001377 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001378 DWLabel("label", StartID));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001379 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001380 DWLabel("label", EndID));
1381
1382 InlinedSubprogramDIEs.insert(OriginDIE);
1383
1384 // Track the start label for this inlined function.
1385 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
1386 I = InlineInfo.find(InlinedSP.getNode());
1387
1388 if (I == InlineInfo.end()) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001389 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1390 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001391 InlinedSPNodes.push_back(InlinedSP.getNode());
1392 } else
1393 I->second.push_back(std::make_pair(StartID, ScopeDIE));
1394
1395 StringPool.insert(InlinedSP.getName());
1396 StringPool.insert(InlinedSP.getLinkageName());
1397 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001398 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1399 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001400
1401 return ScopeDIE;
1402}
1403
Devang Patel2c4ceb12009-11-21 02:48:08 +00001404
1405/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001406DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001407 // Get the descriptor.
1408 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001409 StringRef Name = VD.getName();
1410 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001411 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001412
1413 // Translate tag to proper Dwarf tag. The result variable is dropped for
1414 // now.
1415 unsigned Tag;
1416 switch (VD.getTag()) {
1417 case dwarf::DW_TAG_return_variable:
1418 return NULL;
1419 case dwarf::DW_TAG_arg_variable:
1420 Tag = dwarf::DW_TAG_formal_parameter;
1421 break;
1422 case dwarf::DW_TAG_auto_variable: // fall thru
1423 default:
1424 Tag = dwarf::DW_TAG_variable;
1425 break;
1426 }
1427
1428 // Define variable debug information entry.
1429 DIE *VariableDie = new DIE(Tag);
1430
1431
1432 DIE *AbsDIE = NULL;
1433 if (DbgVariable *AV = DV->getAbstractVariable())
1434 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001435
Devang Patel53bb5c92009-11-10 23:06:00 +00001436 if (AbsDIE) {
1437 DIScope DS(Scope->getScopeNode());
1438 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001439 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001440 (void) OriginSPDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001441 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1442 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1443 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001444 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001445 dwarf::DW_FORM_ref4, AbsDIE);
1446 }
1447 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001448 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1449 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001450
1451 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001452 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001453 // addresses instead.
1454 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001455 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001456 else
Devang Patel8a241142009-12-09 18:24:21 +00001457 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001458 }
1459
1460 // Add variable address.
1461 if (!Scope->isAbstractScope()) {
1462 MachineLocation Location;
Jim Grosbacha2f20b22009-11-22 20:14:00 +00001463 unsigned FrameReg;
1464 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1465 Location.set(FrameReg, Offset);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001466
Devang Patel53bb5c92009-11-10 23:06:00 +00001467 if (VD.hasComplexAddress())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001468 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001469 else if (VD.isBlockByrefVariable())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001470 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001471 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001472 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001473 }
1474 DV->setDIE(VariableDie);
1475 return VariableDie;
1476
1477}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001478
Devang Patel193f7202009-11-24 01:14:22 +00001479void DwarfDebug::addPubTypes(DISubprogram SP) {
1480 DICompositeType SPTy = SP.getType();
1481 unsigned SPTag = SPTy.getTag();
1482 if (SPTag != dwarf::DW_TAG_subroutine_type)
1483 return;
1484
1485 DIArray Args = SPTy.getTypeArray();
1486 if (Args.isNull())
1487 return;
1488
1489 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1490 DIType ATy(Args.getElement(i).getNode());
1491 if (ATy.isNull())
1492 continue;
1493 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel65dbc902009-11-25 17:36:49 +00001494 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001495 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1496 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1497 }
1498 }
1499}
1500
Devang Patel2c4ceb12009-11-21 02:48:08 +00001501/// constructScopeDIE - Construct a DIE for this scope.
1502DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001503 if (!Scope)
1504 return NULL;
1505 DIScope DS(Scope->getScopeNode());
1506 if (DS.isNull())
1507 return NULL;
1508
1509 DIE *ScopeDIE = NULL;
1510 if (Scope->getInlinedAt())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001511 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001512 else if (DS.isSubprogram()) {
1513 if (Scope->isAbstractScope())
Devang Patel017d1212009-11-20 21:37:22 +00001514 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001515 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001516 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001517 }
1518 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001519 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001520 if (!ScopeDIE) return NULL;
1521 }
1522
1523 // Add variables to scope.
1524 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1525 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001526 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001527 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001528 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001529 }
1530
1531 // Add nested scopes.
1532 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1533 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1534 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001535 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001536 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001537 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001538 }
Devang Patel193f7202009-11-24 01:14:22 +00001539
1540 if (DS.isSubprogram())
1541 addPubTypes(DISubprogram(DS.getNode()));
1542
1543 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001544}
1545
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001546/// GetOrCreateSourceID - Look up the source id with the given directory and
1547/// source file names. If none currently exists, create a new id and insert it
1548/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1549/// maps as well.
Devang Patel65dbc902009-11-25 17:36:49 +00001550unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001551 unsigned DId;
1552 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1553 if (DI != DirectoryIdMap.end()) {
1554 DId = DI->getValue();
1555 } else {
1556 DId = DirectoryNames.size() + 1;
1557 DirectoryIdMap[DirName] = DId;
1558 DirectoryNames.push_back(DirName);
1559 }
1560
1561 unsigned FId;
1562 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1563 if (FI != SourceFileIdMap.end()) {
1564 FId = FI->getValue();
1565 } else {
1566 FId = SourceFileNames.size() + 1;
1567 SourceFileIdMap[FileName] = FId;
1568 SourceFileNames.push_back(FileName);
1569 }
1570
1571 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1572 SourceIdMap.find(std::make_pair(DId, FId));
1573 if (SI != SourceIdMap.end())
1574 return SI->second;
1575
1576 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1577 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1578 SourceIds.push_back(std::make_pair(DId, FId));
1579
1580 return SrcId;
1581}
1582
Devang Patel6404e4e2009-12-15 19:16:48 +00001583/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1584DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1585 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1586 if (NDie)
1587 return NDie;
1588 NDie = new DIE(dwarf::DW_TAG_namespace);
1589 ModuleCU->insertDIE(NS.getNode(), NDie);
1590 if (!NS.getName().empty())
1591 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1592 addSourceLine(NDie, &NS);
1593 addToContextOwner(NDie, NS.getContext());
1594 return NDie;
1595}
1596
Devang Pateld037d7a2009-12-11 21:37:07 +00001597CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001598 DICompileUnit DIUnit(N);
Devang Patel65dbc902009-11-25 17:36:49 +00001599 StringRef FN = DIUnit.getFilename();
1600 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001601 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001602
1603 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001604 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001605 DWLabel("section_line", 0), DWLabel("section_line", 0),
1606 false);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001607 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001608 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001609 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001610 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001611 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001612
Devang Patel65dbc902009-11-25 17:36:49 +00001613 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001614 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001615 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001616 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001617
Devang Patel65dbc902009-11-25 17:36:49 +00001618 StringRef Flags = DIUnit.getFlags();
1619 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001620 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001621
1622 unsigned RVer = DIUnit.getRunTimeVersion();
1623 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001624 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001625 dwarf::DW_FORM_data1, RVer);
1626
1627 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel1dbc7712009-06-29 20:45:18 +00001628 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel70f44262009-06-29 20:38:13 +00001629 // Use first compile unit marked as isMain as the compile unit
1630 // for this module.
Devang Patel1dbc7712009-06-29 20:45:18 +00001631 ModuleCU = Unit;
Devang Patel70f44262009-06-29 20:38:13 +00001632 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001633
Devang Patele4b27562009-08-28 23:24:31 +00001634 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001635 CompileUnits.push_back(Unit);
Devang Pateld037d7a2009-12-11 21:37:07 +00001636 return Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001637}
1638
Devang Patel2c4ceb12009-11-21 02:48:08 +00001639void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001640 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001641
Devang Patel905cf5e2009-09-04 23:59:07 +00001642 // If debug information is malformed then ignore it.
1643 if (DI_GV.Verify() == false)
1644 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001645
1646 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001647 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001648 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001649
Devang Patel8a241142009-12-09 18:24:21 +00001650 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001651 if (!VariableDie)
1652 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001653
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001654 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001655 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001656
1657 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001658 if (DI_GV.isDefinition()
1659 && !DI_GV.getContext().isCompileUnit()) {
1660 // Create specification DIE.
1661 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1662 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1663 dwarf::DW_FORM_ref4, VariableDie);
1664 DIEBlock *Block = new DIEBlock();
1665 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1666 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
1667 Asm->Mang->getMangledName(DI_GV.getGlobal()));
1668 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
1669 ModuleCU->addDie(VariableSpecDIE);
1670 } else {
1671 DIEBlock *Block = new DIEBlock();
1672 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1673 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
1674 Asm->Mang->getMangledName(DI_GV.getGlobal()));
1675 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1676 }
Devang Patelc366f832009-12-10 19:14:49 +00001677 addToContextOwner(VariableDie, DI_GV.getContext());
1678
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001679 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001680 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001681
1682 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001683 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001684 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1685 assert (Entry && "Missing global type!");
1686 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1687 }
Devang Patel13e16b62009-06-26 01:49:18 +00001688 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001689}
1690
Devang Patel2c4ceb12009-11-21 02:48:08 +00001691void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001692 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001693
1694 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001695 if (ModuleCU->getDIE(N))
Devang Patel13e16b62009-06-26 01:49:18 +00001696 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001697
1698 if (!SP.isDefinition())
1699 // This is a method declaration which will be handled while constructing
1700 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001701 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001702
Devang Patel8a241142009-12-09 18:24:21 +00001703 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001704
1705 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001706 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001707
1708 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001709 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001710
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001711 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001712 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001713
Devang Patel13e16b62009-06-26 01:49:18 +00001714 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001715}
1716
Devang Patel2c4ceb12009-11-21 02:48:08 +00001717/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001718/// content. Create global DIEs and emit initial debug info sections.
1719/// This is inovked by the target AsmPrinter.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001720void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel208622d2009-06-25 22:36:02 +00001721 this->M = M;
1722
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001723 if (TimePassesIsEnabled)
1724 DebugTimer->startTimer();
1725
Devang Patel3380cc52009-11-11 19:55:08 +00001726 if (!MAI->doesSupportDebugInformation())
1727 return;
1728
Devang Patel78ab9e22009-07-30 18:56:46 +00001729 DebugInfoFinder DbgFinder;
1730 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001731
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001732 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001733 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1734 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001735 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001736
1737 if (CompileUnits.empty()) {
1738 if (TimePassesIsEnabled)
1739 DebugTimer->stopTimer();
1740
1741 return;
1742 }
1743
Devang Patel70f44262009-06-29 20:38:13 +00001744 // If main compile unit for this module is not seen than randomly
1745 // select first compile unit.
Devang Patel1dbc7712009-06-29 20:45:18 +00001746 if (!ModuleCU)
1747 ModuleCU = CompileUnits[0];
Devang Patel70f44262009-06-29 20:38:13 +00001748
Devang Patel53bb5c92009-11-10 23:06:00 +00001749 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001750 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1751 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001752 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001753
Devang Patelc366f832009-12-10 19:14:49 +00001754 // Create DIEs for each global variable.
1755 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1756 E = DbgFinder.global_variable_end(); I != E; ++I)
1757 constructGlobalVariableDIE(*I);
1758
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001759 MMI = mmi;
1760 shouldEmit = true;
1761 MMI->setDebugInfoAvailability(true);
1762
1763 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001764 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001765
1766 // Print out .file directives to specify files for .loc directives. These are
1767 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001768 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001769 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1770 // Remember source id starts at 1.
1771 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
1772 sys::Path FullPath(getSourceDirectoryName(Id.first));
1773 bool AppendOk =
1774 FullPath.appendComponent(getSourceFileName(Id.second));
1775 assert(AppendOk && "Could not append filename to directory!");
1776 AppendOk = false;
Chris Lattner74382b72009-08-23 22:45:37 +00001777 Asm->EmitFile(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001778 Asm->EOL();
1779 }
1780 }
1781
1782 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001783 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001784
1785 if (TimePassesIsEnabled)
1786 DebugTimer->stopTimer();
1787}
1788
Devang Patel2c4ceb12009-11-21 02:48:08 +00001789/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001790///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001791void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001792 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001793 return;
1794
1795 if (TimePassesIsEnabled)
1796 DebugTimer->startTimer();
1797
Devang Patel53bb5c92009-11-10 23:06:00 +00001798 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1799 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1800 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1801 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001802 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001803 }
1804
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001805 // Insert top level DIEs.
1806 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1807 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1808 ModuleCU->getCUDie()->addChild(*TI);
1809
Devang Patel5d11eb02009-12-03 19:11:07 +00001810 for (DenseMap<DIE *, WeakVH>::iterator CI = ContainingTypeMap.begin(),
1811 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1812 DIE *SPDie = CI->first;
1813 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1814 if (!N) continue;
1815 DIE *NDie = ModuleCU->getDIE(N);
1816 if (!NDie) continue;
1817 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1818 addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
1819 }
1820
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001821 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001822 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001823 EmitLabel("text_end", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001824 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001825 EmitLabel("data_end", 0);
1826
1827 // End text sections.
1828 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001829 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001830 EmitLabel("section_end", i);
1831 }
1832
1833 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001834 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001835
1836 // Emit function debug frame information
1837 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1838 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001839 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001840
1841 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001842 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001843
1844 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001845 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001846
1847 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001848 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001849
1850 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001851 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001852
1853 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001854 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001855
Devang Patel193f7202009-11-24 01:14:22 +00001856 // Emit info into a debug pubtypes section.
1857 emitDebugPubTypes();
1858
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001859 // Emit info into a debug str section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001860 emitDebugStr();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001861
1862 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001863 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001864
1865 // Emit info into a debug aranges section.
1866 EmitDebugARanges();
1867
1868 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001869 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001870
1871 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001872 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001873
1874 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001875 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001876
1877 if (TimePassesIsEnabled)
1878 DebugTimer->stopTimer();
1879}
1880
Devang Patel53bb5c92009-11-10 23:06:00 +00001881/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001882DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1883 unsigned FrameIdx,
Devang Patel53bb5c92009-11-10 23:06:00 +00001884 DILocation &ScopeLoc) {
1885
1886 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1887 if (AbsDbgVariable)
1888 return AbsDbgVariable;
1889
1890 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1891 if (!Scope)
1892 return NULL;
1893
1894 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001895 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001896 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1897 return AbsDbgVariable;
1898}
1899
Devang Patel2c4ceb12009-11-21 02:48:08 +00001900/// collectVariableInfo - Populate DbgScope entries with variables' info.
1901void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001902 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001903
Devang Patele717faa2009-10-06 01:26:37 +00001904 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1905 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1906 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelac1ceb32009-10-09 22:42:28 +00001907 MetadataBase *MB = VI->first;
1908 MDNode *Var = dyn_cast_or_null<MDNode>(MB);
Devang Patel53bb5c92009-11-10 23:06:00 +00001909 if (!Var) continue;
Devang Pateleda31212009-10-08 18:48:03 +00001910 DIVariable DV (Var);
Devang Patel53bb5c92009-11-10 23:06:00 +00001911 std::pair< unsigned, MDNode *> VP = VI->second;
1912 DILocation ScopeLoc(VP.second);
1913
1914 DbgScope *Scope =
1915 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1916 if (!Scope)
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001917 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelfb0ee432009-11-10 23:20:04 +00001918 // If variable scope is not found then skip this variable.
1919 if (!Scope)
1920 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001921
1922 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001923 Scope->addVariable(RegVar);
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001924 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1925 ScopeLoc))
Devang Patel53bb5c92009-11-10 23:06:00 +00001926 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patele717faa2009-10-06 01:26:37 +00001927 }
1928}
1929
Devang Patel2c4ceb12009-11-21 02:48:08 +00001930/// beginScope - Process beginning of a scope starting at Label.
1931void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001932 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1933 if (I == DbgScopeBeginMap.end())
1934 return;
Dan Gohman277207e2009-11-23 21:30:55 +00001935 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001936 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001937 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001938 (*SDI)->setStartLabelID(Label);
1939}
1940
Devang Patel2c4ceb12009-11-21 02:48:08 +00001941/// endScope - Process end of a scope.
1942void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001943 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00001944 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00001945 return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001946
1947 unsigned Label = MMI->NextLabelID();
1948 Asm->printLabel(Label);
Dan Gohmaneecb9912009-12-05 01:42:34 +00001949 O << '\n';
Devang Patel53bb5c92009-11-10 23:06:00 +00001950
Devang Patel0d20ac82009-10-06 01:50:42 +00001951 SmallVector<DbgScope *, 2> &SD = I->second;
1952 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001953 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001954 (*SDI)->setEndLabelID(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00001955 return;
1956}
1957
1958/// createDbgScope - Create DbgScope for the scope.
1959void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1960
1961 if (!InlinedAt) {
1962 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1963 if (WScope)
1964 return;
1965 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1966 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001967 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00001968 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00001969 return;
1970 }
1971
1972 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1973 if (WScope)
1974 return;
1975
1976 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1977 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1978 DILocation DL(InlinedAt);
1979 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00001980}
1981
Devang Patel2c4ceb12009-11-21 02:48:08 +00001982/// extractScopeInformation - Scan machine instructions in this function
Devang Patelaf9e8472009-10-01 20:31:14 +00001983/// and collect DbgScopes. Return true, if atleast one scope was found.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001984bool DwarfDebug::extractScopeInformation(MachineFunction *MF) {
Devang Patelaf9e8472009-10-01 20:31:14 +00001985 // If scope information was extracted using .dbg intrinsics then there is not
1986 // any need to extract these information by scanning each instruction.
1987 if (!DbgScopeMap.empty())
1988 return false;
1989
Devang Patel344130e2010-01-04 20:44:00 +00001990 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
1991 unsigned MIIndex = 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001992 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00001993 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1994 I != E; ++I) {
1995 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1996 II != IE; ++II) {
1997 const MachineInstr *MInsn = II;
Devang Patel344130e2010-01-04 20:44:00 +00001998 MIIndexMap[MInsn] = MIIndex++;
Devang Patelaf9e8472009-10-01 20:31:14 +00001999 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002000 if (DL.isUnknown()) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002001 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
Devang Patel53bb5c92009-11-10 23:06:00 +00002002 if (!DLT.Scope) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002003 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002004 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00002005 // into a scope DIE at the end.
Devang Patel53bb5c92009-11-10 23:06:00 +00002006 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
2007 createDbgScope(DLT.Scope, DLT.InlinedAtLoc);
2008 }
2009 }
2010
2011
2012 // Build scope hierarchy using working set of scopes.
2013 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2014 I != E; ++I) {
2015 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2016 II != IE; ++II) {
2017 const MachineInstr *MInsn = II;
2018 DebugLoc DL = MInsn->getDebugLoc();
2019 if (DL.isUnknown()) continue;
2020 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
2021 if (!DLT.Scope) continue;
2022 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002023 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002024 // into a scope DIE at the end.
2025 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
2026 DbgScope *Scope = getUpdatedDbgScope(DLT.Scope, MInsn, DLT.InlinedAtLoc);
2027 Scope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00002028 }
2029 }
2030
Devang Patel344130e2010-01-04 20:44:00 +00002031 if (!CurrentFnDbgScope)
2032 return false;
2033
2034 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patelaf9e8472009-10-01 20:31:14 +00002035
2036 // Each scope has first instruction and last instruction to mark beginning
2037 // and end of a scope respectively. Create an inverse map that list scopes
2038 // starts (and ends) with an instruction. One instruction may start (or end)
2039 // multiple scopes.
Devang Patelbdf45cb2009-10-27 20:47:17 +00002040 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patelaf9e8472009-10-01 20:31:14 +00002041 DE = DbgScopeMap.end(); DI != DE; ++DI) {
2042 DbgScope *S = DI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002043 if (S->isAbstractScope())
2044 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002045 const MachineInstr *MI = S->getFirstInsn();
2046 assert (MI && "DbgScope does not have first instruction!");
2047
2048 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2049 if (IDI != DbgScopeBeginMap.end())
2050 IDI->second.push_back(S);
2051 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002052 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002053
2054 MI = S->getLastInsn();
2055 assert (MI && "DbgScope does not have last instruction!");
2056 IDI = DbgScopeEndMap.find(MI);
2057 if (IDI != DbgScopeEndMap.end())
2058 IDI->second.push_back(S);
2059 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002060 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002061 }
2062
2063 return !DbgScopeMap.empty();
2064}
2065
Devang Patel2c4ceb12009-11-21 02:48:08 +00002066/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002067/// emitted immediately after the function entry point.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002068void DwarfDebug::beginFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002069 this->MF = MF;
2070
2071 if (!ShouldEmitDwarfDebug()) return;
2072
2073 if (TimePassesIsEnabled)
2074 DebugTimer->startTimer();
2075
Devang Patel2c4ceb12009-11-21 02:48:08 +00002076 if (!extractScopeInformation(MF))
Devang Patel60b35bd2009-10-06 18:37:31 +00002077 return;
Devang Patel2c4ceb12009-11-21 02:48:08 +00002078
2079 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002080
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002081 // Begin accumulating function debug information.
2082 MMI->BeginFunction(MF);
2083
2084 // Assumes in correct section after the entry point.
2085 EmitLabel("func_begin", ++SubprogramCount);
2086
2087 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2088 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002089 DebugLoc FDL = MF->getDefaultDebugLoc();
2090 if (!FDL.isUnknown()) {
2091 DebugLocTuple DLT = MF->getDebugLocTuple(FDL);
2092 unsigned LabelID = 0;
Devang Patel1619dc32009-10-13 23:28:53 +00002093 DISubprogram SP = getDISubprogram(DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002094 if (!SP.isNull())
Devang Patel2c4ceb12009-11-21 02:48:08 +00002095 LabelID = recordSourceLine(SP.getLineNumber(), 0, DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002096 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00002097 LabelID = recordSourceLine(DLT.Line, DLT.Col, DLT.Scope);
Devang Patelac1ceb32009-10-09 22:42:28 +00002098 Asm->printLabel(LabelID);
2099 O << '\n';
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002100 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002101 if (TimePassesIsEnabled)
2102 DebugTimer->stopTimer();
2103}
2104
Devang Patel2c4ceb12009-11-21 02:48:08 +00002105/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002106///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002107void DwarfDebug::endFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002108 if (!ShouldEmitDwarfDebug()) return;
2109
2110 if (TimePassesIsEnabled)
2111 DebugTimer->startTimer();
2112
Devang Patelac1ceb32009-10-09 22:42:28 +00002113 if (DbgScopeMap.empty())
2114 return;
Devang Patel70d75ca2009-11-12 19:02:56 +00002115
Devang Patel344130e2010-01-04 20:44:00 +00002116 if (CurrentFnDbgScope) {
2117 // Define end label for subprogram.
2118 EmitLabel("func_end", SubprogramCount);
2119
2120 // Get function line info.
2121 if (!Lines.empty()) {
2122 // Get section line info.
2123 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2124 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2125 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2126 // Append the function info to section info.
2127 SectionLineInfos.insert(SectionLineInfos.end(),
2128 Lines.begin(), Lines.end());
2129 }
2130
2131 // Construct abstract scopes.
2132 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2133 AE = AbstractScopesList.end(); AI != AE; ++AI)
2134 constructScopeDIE(*AI);
2135
2136 constructScopeDIE(CurrentFnDbgScope);
2137
2138 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2139 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002140 }
2141
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002142 // Clear debug info
Devang Patelc09ddc12009-12-01 18:13:48 +00002143 CurrentFnDbgScope = NULL;
2144 DbgScopeMap.clear();
2145 DbgScopeBeginMap.clear();
2146 DbgScopeEndMap.clear();
2147 ConcreteScopes.clear();
2148 AbstractScopesList.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002149
2150 Lines.clear();
Devang Patelc09ddc12009-12-01 18:13:48 +00002151
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002152 if (TimePassesIsEnabled)
2153 DebugTimer->stopTimer();
2154}
2155
Devang Patel2c4ceb12009-11-21 02:48:08 +00002156/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002157/// label. Returns a unique label ID used to generate a label and provide
2158/// correspondence to the source line list.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002159unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patelf84548d2009-10-05 18:03:19 +00002160 MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002161 if (!MMI)
2162 return 0;
2163
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002164 if (TimePassesIsEnabled)
2165 DebugTimer->startTimer();
2166
Devang Patel65dbc902009-11-25 17:36:49 +00002167 StringRef Dir;
2168 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002169
2170 DIDescriptor Scope(S);
2171 if (Scope.isCompileUnit()) {
2172 DICompileUnit CU(S);
2173 Dir = CU.getDirectory();
2174 Fn = CU.getFilename();
2175 } else if (Scope.isSubprogram()) {
2176 DISubprogram SP(S);
2177 Dir = SP.getDirectory();
2178 Fn = SP.getFilename();
2179 } else if (Scope.isLexicalBlock()) {
2180 DILexicalBlock DB(S);
2181 Dir = DB.getDirectory();
2182 Fn = DB.getFilename();
2183 } else
2184 assert (0 && "Unexpected scope info");
2185
2186 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002187 unsigned ID = MMI->NextLabelID();
2188 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2189
2190 if (TimePassesIsEnabled)
2191 DebugTimer->stopTimer();
2192
2193 return ID;
2194}
2195
2196/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2197/// timed. Look up the source id with the given directory and source file
2198/// names. If none currently exists, create a new id and insert it in the
2199/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2200/// well.
2201unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2202 const std::string &FileName) {
2203 if (TimePassesIsEnabled)
2204 DebugTimer->startTimer();
2205
Devang Patel5ccdd102009-09-29 18:40:58 +00002206 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002207
2208 if (TimePassesIsEnabled)
2209 DebugTimer->stopTimer();
2210
2211 return SrcId;
2212}
2213
Bill Wendling829e67b2009-05-20 23:22:40 +00002214//===----------------------------------------------------------------------===//
2215// Emit Methods
2216//===----------------------------------------------------------------------===//
2217
Devang Patel2c4ceb12009-11-21 02:48:08 +00002218/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002219///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002220unsigned
2221DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002222 // Get the children.
2223 const std::vector<DIE *> &Children = Die->getChildren();
2224
2225 // If not last sibling and has children then add sibling offset attribute.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002226 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002227
2228 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002229 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002230
2231 // Get the abbreviation for this DIE.
2232 unsigned AbbrevNumber = Die->getAbbrevNumber();
2233 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2234
2235 // Set DIE offset
2236 Die->setOffset(Offset);
2237
2238 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002239 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002240
2241 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2242 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2243
2244 // Size the DIE attribute values.
2245 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2246 // Size attribute value.
2247 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2248
2249 // Size the DIE children if any.
2250 if (!Children.empty()) {
2251 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2252 "Children flag not set");
2253
2254 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002255 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002256
2257 // End of children marker.
2258 Offset += sizeof(int8_t);
2259 }
2260
2261 Die->setSize(Offset - Die->getOffset());
2262 return Offset;
2263}
2264
Devang Patel2c4ceb12009-11-21 02:48:08 +00002265/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002266///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002267void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002268 // Compute size of compile unit header.
2269 static unsigned Offset =
2270 sizeof(int32_t) + // Length of Compilation Unit Info
2271 sizeof(int16_t) + // DWARF version number
2272 sizeof(int32_t) + // Offset Into Abbrev. Section
2273 sizeof(int8_t); // Pointer Size (in bytes)
2274
Devang Patel2c4ceb12009-11-21 02:48:08 +00002275 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002276 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002277}
2278
Devang Patel2c4ceb12009-11-21 02:48:08 +00002279/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002280/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002281void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002282 // Check to see if we already emitted intial headers.
2283 if (didInitial) return;
2284 didInitial = true;
2285
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002286 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002287
Bill Wendling94d04b82009-05-20 23:21:38 +00002288 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002289 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002290 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002291 EmitLabel("section_debug_frame", 0);
2292 }
2293
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002294 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002295 EmitLabel("section_info", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002296 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002297 EmitLabel("section_abbrev", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002298 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002299 EmitLabel("section_aranges", 0);
2300
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002301 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2302 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling94d04b82009-05-20 23:21:38 +00002303 EmitLabel("section_macinfo", 0);
2304 }
2305
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002306 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002307 EmitLabel("section_line", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002308 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002309 EmitLabel("section_loc", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002310 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002311 EmitLabel("section_pubnames", 0);
Devang Patel193f7202009-11-24 01:14:22 +00002312 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2313 EmitLabel("section_pubtypes", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002314 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002315 EmitLabel("section_str", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002316 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002317 EmitLabel("section_ranges", 0);
2318
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002319 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002320 EmitLabel("text_begin", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002321 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002322 EmitLabel("data_begin", 0);
2323}
2324
Devang Patel2c4ceb12009-11-21 02:48:08 +00002325/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002326///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002327void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002328 // Get the abbreviation for this DIE.
2329 unsigned AbbrevNumber = Die->getAbbrevNumber();
2330 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2331
2332 Asm->EOL();
2333
2334 // Emit the code (index) for the abbreviation.
2335 Asm->EmitULEB128Bytes(AbbrevNumber);
2336
2337 if (Asm->isVerbose())
2338 Asm->EOL(std::string("Abbrev [" +
2339 utostr(AbbrevNumber) +
2340 "] 0x" + utohexstr(Die->getOffset()) +
2341 ":0x" + utohexstr(Die->getSize()) + " " +
2342 dwarf::TagString(Abbrev->getTag())));
2343 else
2344 Asm->EOL();
2345
2346 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2347 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2348
2349 // Emit the DIE attribute values.
2350 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2351 unsigned Attr = AbbrevData[i].getAttribute();
2352 unsigned Form = AbbrevData[i].getForm();
2353 assert(Form && "Too many attributes for DIE (check abbreviation)");
2354
2355 switch (Attr) {
2356 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002357 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002358 break;
2359 case dwarf::DW_AT_abstract_origin: {
2360 DIEEntry *E = cast<DIEEntry>(Values[i]);
2361 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002362 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002363 Asm->EmitInt32(Addr);
2364 break;
2365 }
2366 default:
2367 // Emit an attribute using the defined form.
2368 Values[i]->EmitValue(this, Form);
2369 break;
2370 }
2371
2372 Asm->EOL(dwarf::AttributeString(Attr));
2373 }
2374
2375 // Emit the DIE children if any.
2376 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2377 const std::vector<DIE *> &Children = Die->getChildren();
2378
2379 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002380 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002381
2382 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2383 }
2384}
2385
Devang Patel8a241142009-12-09 18:24:21 +00002386/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002387///
Devang Patel8a241142009-12-09 18:24:21 +00002388void DwarfDebug::emitDebugInfo() {
2389 // Start debug info section.
2390 Asm->OutStreamer.SwitchSection(
2391 Asm->getObjFileLowering().getDwarfInfoSection());
2392 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002393
2394 // Emit the compile units header.
Devang Patel8a241142009-12-09 18:24:21 +00002395 EmitLabel("info_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002396
2397 // Emit size of content not including length itself
2398 unsigned ContentSize = Die->getSize() +
2399 sizeof(int16_t) + // DWARF version number
2400 sizeof(int32_t) + // Offset Into Abbrev. Section
2401 sizeof(int8_t) + // Pointer Size (in bytes)
2402 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2403
2404 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info");
2405 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2406 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2407 Asm->EOL("Offset Into Abbrev. Section");
2408 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2409
Devang Patel2c4ceb12009-11-21 02:48:08 +00002410 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002411 // FIXME - extra padding for gdb bug.
2412 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2413 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2414 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2415 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
Devang Patel8a241142009-12-09 18:24:21 +00002416 EmitLabel("info_end", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002417
2418 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002419}
2420
Devang Patel2c4ceb12009-11-21 02:48:08 +00002421/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002422///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002423void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002424 // Check to see if it is worth the effort.
2425 if (!Abbreviations.empty()) {
2426 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002427 Asm->OutStreamer.SwitchSection(
2428 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002429
2430 EmitLabel("abbrev_begin", 0);
2431
2432 // For each abbrevation.
2433 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2434 // Get abbreviation data
2435 const DIEAbbrev *Abbrev = Abbreviations[i];
2436
2437 // Emit the abbrevations code (base 1 index.)
2438 Asm->EmitULEB128Bytes(Abbrev->getNumber());
2439 Asm->EOL("Abbreviation Code");
2440
2441 // Emit the abbreviations data.
2442 Abbrev->Emit(Asm);
2443
2444 Asm->EOL();
2445 }
2446
2447 // Mark end of abbreviations.
2448 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2449
2450 EmitLabel("abbrev_end", 0);
2451 Asm->EOL();
2452 }
2453}
2454
Devang Patel2c4ceb12009-11-21 02:48:08 +00002455/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002456/// the line matrix.
2457///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002458void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002459 // Define last address of section.
2460 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2461 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2462 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2463 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2464
2465 // Mark end of matrix.
2466 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2467 Asm->EmitULEB128Bytes(1); Asm->EOL();
2468 Asm->EmitInt8(1); Asm->EOL();
2469}
2470
Devang Patel2c4ceb12009-11-21 02:48:08 +00002471/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002472///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002473void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002474 // If the target is using .loc/.file, the assembler will be emitting the
2475 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002476 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002477 return;
2478
2479 // Minimum line delta, thus ranging from -10..(255-10).
2480 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2481 // Maximum line delta, thus ranging from -10..(255-10).
2482 const int MaxLineDelta = 255 + MinLineDelta;
2483
2484 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002485 Asm->OutStreamer.SwitchSection(
2486 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002487
2488 // Construct the section header.
2489 EmitDifference("line_end", 0, "line_begin", 0, true);
2490 Asm->EOL("Length of Source Line Info");
2491 EmitLabel("line_begin", 0);
2492
2493 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2494
2495 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2496 Asm->EOL("Prolog Length");
2497 EmitLabel("line_prolog_begin", 0);
2498
2499 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2500
2501 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2502
2503 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2504
2505 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2506
2507 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2508
2509 // Line number standard opcode encodings argument count
2510 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2511 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2512 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2513 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2514 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2515 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2516 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2517 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2518 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2519
2520 // Emit directories.
2521 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2522 Asm->EmitString(getSourceDirectoryName(DI));
2523 Asm->EOL("Directory");
2524 }
2525
2526 Asm->EmitInt8(0); Asm->EOL("End of directories");
2527
2528 // Emit files.
2529 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2530 // Remember source id starts at 1.
2531 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2532 Asm->EmitString(getSourceFileName(Id.second));
2533 Asm->EOL("Source");
2534 Asm->EmitULEB128Bytes(Id.first);
2535 Asm->EOL("Directory #");
2536 Asm->EmitULEB128Bytes(0);
2537 Asm->EOL("Mod date");
2538 Asm->EmitULEB128Bytes(0);
2539 Asm->EOL("File size");
2540 }
2541
2542 Asm->EmitInt8(0); Asm->EOL("End of files");
2543
2544 EmitLabel("line_prolog_end", 0);
2545
2546 // A sequence for each text section.
2547 unsigned SecSrcLinesSize = SectionSourceLines.size();
2548
2549 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2550 // Isolate current sections line info.
2551 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2552
Chris Lattner93b6db32009-08-08 23:39:42 +00002553 /*if (Asm->isVerbose()) {
Chris Lattnera87dea42009-07-31 18:48:30 +00002554 const MCSection *S = SectionMap[j + 1];
Chris Lattner33adcfb2009-08-22 21:43:10 +00002555 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling94d04b82009-05-20 23:21:38 +00002556 << S->getName() << '\n';
Chris Lattner93b6db32009-08-08 23:39:42 +00002557 }*/
2558 Asm->EOL();
Bill Wendling94d04b82009-05-20 23:21:38 +00002559
2560 // Dwarf assumes we start with first line of first source file.
2561 unsigned Source = 1;
2562 unsigned Line = 1;
2563
2564 // Construct rows of the address, source, line, column matrix.
2565 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2566 const SrcLineInfo &LineInfo = LineInfos[i];
2567 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2568 if (!LabelID) continue;
2569
Caroline Ticec6f9d622009-09-11 18:25:54 +00002570 if (LineInfo.getLine() == 0) continue;
2571
Bill Wendling94d04b82009-05-20 23:21:38 +00002572 if (!Asm->isVerbose())
2573 Asm->EOL();
2574 else {
2575 std::pair<unsigned, unsigned> SourceID =
2576 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner33adcfb2009-08-22 21:43:10 +00002577 O << '\t' << MAI->getCommentString() << ' '
Dan Gohmanb3b98212009-12-05 02:00:34 +00002578 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling94d04b82009-05-20 23:21:38 +00002579 << getSourceFileName(SourceID.second)
Dan Gohmanb3b98212009-12-05 02:00:34 +00002580 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002581 }
2582
2583 // Define the line address.
2584 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2585 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2586 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2587 EmitReference("label", LabelID); Asm->EOL("Location label");
2588
2589 // If change of source, then switch to the new source.
2590 if (Source != LineInfo.getSourceID()) {
2591 Source = LineInfo.getSourceID();
2592 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2593 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2594 }
2595
2596 // If change of line.
2597 if (Line != LineInfo.getLine()) {
2598 // Determine offset.
2599 int Offset = LineInfo.getLine() - Line;
2600 int Delta = Offset - MinLineDelta;
2601
2602 // Update line.
2603 Line = LineInfo.getLine();
2604
2605 // If delta is small enough and in range...
2606 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2607 // ... then use fast opcode.
2608 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2609 } else {
2610 // ... otherwise use long hand.
2611 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2612 Asm->EOL("DW_LNS_advance_line");
2613 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2614 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2615 }
2616 } else {
2617 // Copy the previous row (different address or source)
2618 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2619 }
2620 }
2621
Devang Patel2c4ceb12009-11-21 02:48:08 +00002622 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002623 }
2624
2625 if (SecSrcLinesSize == 0)
2626 // Because we're emitting a debug_line section, we still need a line
2627 // table. The linker and friends expect it to exist. If there's nothing to
2628 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002629 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002630
2631 EmitLabel("line_end", 0);
2632 Asm->EOL();
2633}
2634
Devang Patel2c4ceb12009-11-21 02:48:08 +00002635/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002636///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002637void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002638 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002639 return;
2640
2641 int stackGrowth =
2642 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2643 TargetFrameInfo::StackGrowsUp ?
2644 TD->getPointerSize() : -TD->getPointerSize();
2645
2646 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002647 Asm->OutStreamer.SwitchSection(
2648 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002649
2650 EmitLabel("debug_frame_common", 0);
2651 EmitDifference("debug_frame_common_end", 0,
2652 "debug_frame_common_begin", 0, true);
2653 Asm->EOL("Length of Common Information Entry");
2654
2655 EmitLabel("debug_frame_common_begin", 0);
2656 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2657 Asm->EOL("CIE Identifier Tag");
2658 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2659 Asm->EOL("CIE Version");
2660 Asm->EmitString("");
2661 Asm->EOL("CIE Augmentation");
2662 Asm->EmitULEB128Bytes(1);
2663 Asm->EOL("CIE Code Alignment Factor");
2664 Asm->EmitSLEB128Bytes(stackGrowth);
2665 Asm->EOL("CIE Data Alignment Factor");
2666 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2667 Asm->EOL("CIE RA Column");
2668
2669 std::vector<MachineMove> Moves;
2670 RI->getInitialFrameState(Moves);
2671
2672 EmitFrameMoves(NULL, 0, Moves, false);
2673
2674 Asm->EmitAlignment(2, 0, 0, false);
2675 EmitLabel("debug_frame_common_end", 0);
2676
2677 Asm->EOL();
2678}
2679
Devang Patel2c4ceb12009-11-21 02:48:08 +00002680/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002681/// section.
2682void
Devang Patel2c4ceb12009-11-21 02:48:08 +00002683DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattner33adcfb2009-08-22 21:43:10 +00002684 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002685 return;
2686
2687 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002688 Asm->OutStreamer.SwitchSection(
2689 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002690
2691 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2692 "debug_frame_begin", DebugFrameInfo.Number, true);
2693 Asm->EOL("Length of Frame Information Entry");
2694
2695 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2696
2697 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2698 0, 0, true, false);
2699 Asm->EOL("FDE CIE offset");
2700
2701 EmitReference("func_begin", DebugFrameInfo.Number);
2702 Asm->EOL("FDE initial location");
2703 EmitDifference("func_end", DebugFrameInfo.Number,
2704 "func_begin", DebugFrameInfo.Number);
2705 Asm->EOL("FDE address range");
2706
2707 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2708 false);
2709
2710 Asm->EmitAlignment(2, 0, 0, false);
2711 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2712
2713 Asm->EOL();
2714}
2715
Devang Patel8a241142009-12-09 18:24:21 +00002716/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2717///
2718void DwarfDebug::emitDebugPubNames() {
2719 // Start the dwarf pubnames section.
2720 Asm->OutStreamer.SwitchSection(
2721 Asm->getObjFileLowering().getDwarfPubNamesSection());
2722
2723 EmitDifference("pubnames_end", ModuleCU->getID(),
2724 "pubnames_begin", ModuleCU->getID(), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002725 Asm->EOL("Length of Public Names Info");
2726
Devang Patel8a241142009-12-09 18:24:21 +00002727 EmitLabel("pubnames_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002728
2729 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2730
2731 EmitSectionOffset("info_begin", "section_info",
Devang Patel8a241142009-12-09 18:24:21 +00002732 ModuleCU->getID(), 0, true, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002733 Asm->EOL("Offset of Compilation Unit Info");
2734
Devang Patel8a241142009-12-09 18:24:21 +00002735 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002736 true);
2737 Asm->EOL("Compilation Unit Length");
2738
Devang Patel8a241142009-12-09 18:24:21 +00002739 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002740 for (StringMap<DIE*>::const_iterator
2741 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2742 const char *Name = GI->getKeyData();
2743 DIE * Entity = GI->second;
2744
2745 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2746 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2747 }
2748
2749 Asm->EmitInt32(0); Asm->EOL("End Mark");
Devang Patel8a241142009-12-09 18:24:21 +00002750 EmitLabel("pubnames_end", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002751
2752 Asm->EOL();
2753}
2754
Devang Patel193f7202009-11-24 01:14:22 +00002755void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002756 // Start the dwarf pubnames section.
2757 Asm->OutStreamer.SwitchSection(
2758 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel193f7202009-11-24 01:14:22 +00002759 EmitDifference("pubtypes_end", ModuleCU->getID(),
2760 "pubtypes_begin", ModuleCU->getID(), true);
2761 Asm->EOL("Length of Public Types Info");
2762
2763 EmitLabel("pubtypes_begin", ModuleCU->getID());
2764
2765 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2766
2767 EmitSectionOffset("info_begin", "section_info",
2768 ModuleCU->getID(), 0, true, false);
2769 Asm->EOL("Offset of Compilation ModuleCU Info");
2770
2771 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2772 true);
2773 Asm->EOL("Compilation ModuleCU Length");
2774
2775 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2776 for (StringMap<DIE*>::const_iterator
2777 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2778 const char *Name = GI->getKeyData();
2779 DIE * Entity = GI->second;
2780
2781 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2782 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2783 }
2784
2785 Asm->EmitInt32(0); Asm->EOL("End Mark");
2786 EmitLabel("pubtypes_end", ModuleCU->getID());
2787
2788 Asm->EOL();
2789}
2790
Devang Patel2c4ceb12009-11-21 02:48:08 +00002791/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002792///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002793void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002794 // Check to see if it is worth the effort.
2795 if (!StringPool.empty()) {
2796 // Start the dwarf str section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002797 Asm->OutStreamer.SwitchSection(
2798 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002799
2800 // For each of strings in the string pool.
2801 for (unsigned StringID = 1, N = StringPool.size();
2802 StringID <= N; ++StringID) {
2803 // Emit a label for reference from debug information entries.
2804 EmitLabel("string", StringID);
2805
2806 // Emit the string itself.
2807 const std::string &String = StringPool[StringID];
2808 Asm->EmitString(String); Asm->EOL();
2809 }
2810
2811 Asm->EOL();
2812 }
2813}
2814
Devang Patel2c4ceb12009-11-21 02:48:08 +00002815/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002816///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002817void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002818 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002819 Asm->OutStreamer.SwitchSection(
2820 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002821 Asm->EOL();
2822}
2823
2824/// EmitDebugARanges - Emit visible names into a debug aranges section.
2825///
2826void DwarfDebug::EmitDebugARanges() {
2827 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002828 Asm->OutStreamer.SwitchSection(
2829 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002830
2831 // FIXME - Mock up
2832#if 0
2833 CompileUnit *Unit = GetBaseCompileUnit();
2834
2835 // Don't include size of length
2836 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2837
2838 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2839
2840 EmitReference("info_begin", Unit->getID());
2841 Asm->EOL("Offset of Compilation Unit Info");
2842
2843 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2844
2845 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2846
2847 Asm->EmitInt16(0); Asm->EOL("Pad (1)");
2848 Asm->EmitInt16(0); Asm->EOL("Pad (2)");
2849
2850 // Range 1
2851 EmitReference("text_begin", 0); Asm->EOL("Address");
2852 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2853
2854 Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2855 Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2856#endif
2857
2858 Asm->EOL();
2859}
2860
Devang Patel2c4ceb12009-11-21 02:48:08 +00002861/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002862///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002863void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002864 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002865 Asm->OutStreamer.SwitchSection(
2866 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002867 Asm->EOL();
2868}
2869
Devang Patel2c4ceb12009-11-21 02:48:08 +00002870/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002871///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002872void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002873 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002874 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002875 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002876 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002877 Asm->EOL();
2878 }
2879}
2880
Devang Patel2c4ceb12009-11-21 02:48:08 +00002881/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00002882/// Section Header:
2883/// 1. length of section
2884/// 2. Dwarf version number
2885/// 3. address size.
2886///
2887/// Entries (one "entry" for each function that was inlined):
2888///
2889/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2890/// otherwise offset into __debug_str for regular function name.
2891/// 2. offset into __debug_str section for regular function name.
2892/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2893/// instances for the function.
2894///
2895/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2896/// inlined instance; the die_offset points to the inlined_subroutine die in the
2897/// __debug_info section, and the low_pc is the starting address for the
2898/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002899void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002900 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002901 return;
2902
Devang Patel1dbc7712009-06-29 20:45:18 +00002903 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002904 return;
2905
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002906 Asm->OutStreamer.SwitchSection(
2907 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002908 Asm->EOL();
2909 EmitDifference("debug_inlined_end", 1,
2910 "debug_inlined_begin", 1, true);
2911 Asm->EOL("Length of Debug Inlined Information Entry");
2912
2913 EmitLabel("debug_inlined_begin", 1);
2914
2915 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2916 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2917
Devang Patel53bb5c92009-11-10 23:06:00 +00002918 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2919 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002920
Devang Patel53bb5c92009-11-10 23:06:00 +00002921// for (ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
2922 // I = InlineInfo.begin(), E = InlineInfo.end(); I != E; ++I) {
2923 MDNode *Node = *I;
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002924 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
2925 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00002926 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00002927 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00002928 StringRef LName = SP.getLinkageName();
2929 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002930
Devang Patel65dbc902009-11-25 17:36:49 +00002931 if (LName.empty())
Devang Patel53cb17d2009-07-16 01:01:22 +00002932 Asm->EmitString(Name);
2933 else {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002934 // Skip special LLVM prefix that is used to inform the asm printer to not
2935 // emit usual symbol prefix before the symbol name. This happens for
2936 // Objective-C symbol names and symbol whose name is replaced using GCC's
2937 // __asm__ attribute.
Devang Patel53cb17d2009-07-16 01:01:22 +00002938 if (LName[0] == 1)
Benjamin Kramer1c3451f2009-11-25 18:26:09 +00002939 LName = LName.substr(1);
Devang Patel53bb5c92009-11-10 23:06:00 +00002940// Asm->EmitString(LName);
2941 EmitSectionOffset("string", "section_str",
2942 StringPool.idFor(LName), false, true);
2943
Devang Patel53cb17d2009-07-16 01:01:22 +00002944 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002945 Asm->EOL("MIPS linkage name");
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002946// Asm->EmitString(Name);
Devang Patel53bb5c92009-11-10 23:06:00 +00002947 EmitSectionOffset("string", "section_str",
2948 StringPool.idFor(Name), false, true);
2949 Asm->EOL("Function name");
Bill Wendling94d04b82009-05-20 23:21:38 +00002950 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2951
Devang Patel53bb5c92009-11-10 23:06:00 +00002952 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002953 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002954 DIE *SP = LI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002955 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2956
2957 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +00002958 O << MAI->getData32bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002959 else
Chris Lattner33adcfb2009-08-22 21:43:10 +00002960 O << MAI->getData64bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002961
Devang Patel53bb5c92009-11-10 23:06:00 +00002962 PrintLabelName("label", LI->first); Asm->EOL("low_pc");
Bill Wendling94d04b82009-05-20 23:21:38 +00002963 }
2964 }
2965
2966 EmitLabel("debug_inlined_end", 1);
2967 Asm->EOL();
2968}