blob: 0bc7f3286663b768bd8f74811a5d0446213bf01f [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"
Chris Lattner45111d12010-01-16 21:57:06 +000021#include "llvm/Target/Mangler.h"
Bill Wendling0310d762009-05-15 09:23:25 +000022#include "llvm/Target/TargetData.h"
23#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000024#include "llvm/Target/TargetLoweringObjectFile.h"
25#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner23132b12009-08-24 03:52:50 +000026#include "llvm/ADT/StringExtras.h"
Daniel Dunbar6e4bdfc2009-10-13 06:47:08 +000027#include "llvm/Support/Debug.h"
28#include "llvm/Support/ErrorHandling.h"
Chris Lattner0ad9c912010-01-22 22:09:00 +000029#include "llvm/Support/FormattedStream.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000030#include "llvm/Support/Timer.h"
31#include "llvm/System/Path.h"
Bill Wendling0310d762009-05-15 09:23:25 +000032using namespace llvm;
33
Bill Wendling0310d762009-05-15 09:23:25 +000034//===----------------------------------------------------------------------===//
35
36/// Configuration values for initial hash set sizes (log2).
37///
Bill Wendling0310d762009-05-15 09:23:25 +000038static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-05-15 09:23:25 +000039
40namespace llvm {
41
42//===----------------------------------------------------------------------===//
43/// CompileUnit - This dwarf writer support class manages information associate
44/// with a source file.
Nick Lewycky5f9843f2009-11-17 08:11:44 +000045class CompileUnit {
Bill Wendling0310d762009-05-15 09:23:25 +000046 /// ID - File identifier for source.
47 ///
48 unsigned ID;
49
50 /// Die - Compile unit debug information entry.
51 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000052 DIE *CUDie;
Bill Wendling0310d762009-05-15 09:23:25 +000053
Devang Patel6f01d9c2009-11-21 00:31:03 +000054 /// IndexTyDie - An anonymous type for index type.
55 DIE *IndexTyDie;
56
Bill Wendling0310d762009-05-15 09:23:25 +000057 /// GVToDieMap - Tracks the mapping of unit level debug informaton
58 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000059 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel622b0262010-01-19 06:19:05 +000060 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-05-15 09:23:25 +000061
62 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
63 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patele4b27562009-08-28 23:24:31 +000064 /// FIXME : Rename
Devang Patel622b0262010-01-19 06:19:05 +000065 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-05-15 09:23:25 +000066
67 /// Globals - A map of globally visible named entities for this unit.
68 ///
69 StringMap<DIE*> Globals;
70
Devang Patel193f7202009-11-24 01:14:22 +000071 /// GlobalTypes - A map of globally visible types for this unit.
72 ///
73 StringMap<DIE*> GlobalTypes;
74
Bill Wendling0310d762009-05-15 09:23:25 +000075public:
76 CompileUnit(unsigned I, DIE *D)
Devang Patel2c4ceb12009-11-21 02:48:08 +000077 : ID(I), CUDie(D), IndexTyDie(0) {}
78 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendling0310d762009-05-15 09:23:25 +000079
80 // Accessors.
Devang Patel193f7202009-11-24 01:14:22 +000081 unsigned getID() const { return ID; }
82 DIE* getCUDie() const { return CUDie; }
83 const StringMap<DIE*> &getGlobals() const { return Globals; }
84 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling0310d762009-05-15 09:23:25 +000085
86 /// hasContent - Return true if this compile unit has something to write out.
87 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000088 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +000089
Devang Patel2c4ceb12009-11-21 02:48:08 +000090 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +000091 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000092 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000093
Devang Patel193f7202009-11-24 01:14:22 +000094 /// addGlobalType - Add a new global type to the compile unit.
95 ///
96 void addGlobalType(const std::string &Name, DIE *Die) {
97 GlobalTypes[Name] = Die;
98 }
99
Devang Patel017d1212009-11-20 21:37:22 +0000100 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling0310d762009-05-15 09:23:25 +0000101 /// specified debug variable.
Devang Patel017d1212009-11-20 21:37:22 +0000102 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000103
Devang Patel017d1212009-11-20 21:37:22 +0000104 /// insertDIE - Insert DIE into the map.
105 void insertDIE(MDNode *N, DIE *D) {
106 GVToDieMap.insert(std::make_pair(N, D));
107 }
Bill Wendling0310d762009-05-15 09:23:25 +0000108
Devang Patel017d1212009-11-20 21:37:22 +0000109 /// getDIEEntry - Returns the debug information entry for the speciefied
110 /// debug variable.
Devang Patel6404e4e2009-12-15 19:16:48 +0000111 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel622b0262010-01-19 06:19:05 +0000112 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel6404e4e2009-12-15 19:16:48 +0000113 if (I == GVToDIEEntryMap.end())
114 return NULL;
115 return I->second;
116 }
Devang Patel017d1212009-11-20 21:37:22 +0000117
118 /// insertDIEEntry - Insert debug information entry into the map.
119 void insertDIEEntry(MDNode *N, DIEEntry *E) {
120 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling0310d762009-05-15 09:23:25 +0000121 }
122
Devang Patel2c4ceb12009-11-21 02:48:08 +0000123 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +0000124 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000125 void addDie(DIE *Buffer) {
126 this->CUDie->addChild(Buffer);
Bill Wendling0310d762009-05-15 09:23:25 +0000127 }
Devang Patel6f01d9c2009-11-21 00:31:03 +0000128
129 // getIndexTyDie - Get an anonymous type for index type.
130 DIE *getIndexTyDie() {
131 return IndexTyDie;
132 }
133
Jim Grosbach7ab38df2009-11-22 19:20:36 +0000134 // setIndexTyDie - Set D as anonymous type for index which can be reused
135 // later.
Devang Patel6f01d9c2009-11-21 00:31:03 +0000136 void setIndexTyDie(DIE *D) {
137 IndexTyDie = D;
138 }
139
Bill Wendling0310d762009-05-15 09:23:25 +0000140};
141
142//===----------------------------------------------------------------------===//
143/// DbgVariable - This class is used to track local variable information.
144///
Devang Patelf76a3d62009-11-16 21:53:40 +0000145class DbgVariable {
Bill Wendling0310d762009-05-15 09:23:25 +0000146 DIVariable Var; // Variable Descriptor.
147 unsigned FrameIndex; // Variable frame index.
Devang Patel53bb5c92009-11-10 23:06:00 +0000148 DbgVariable *AbstractVar; // Abstract variable for this variable.
149 DIE *TheDIE;
Bill Wendling0310d762009-05-15 09:23:25 +0000150public:
Devang Patel53bb5c92009-11-10 23:06:00 +0000151 DbgVariable(DIVariable V, unsigned I)
152 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000153
154 // Accessors.
Devang Patel53bb5c92009-11-10 23:06:00 +0000155 DIVariable getVariable() const { return Var; }
156 unsigned getFrameIndex() const { return FrameIndex; }
157 void setAbstractVariable(DbgVariable *V) { AbstractVar = V; }
158 DbgVariable *getAbstractVariable() const { return AbstractVar; }
159 void setDIE(DIE *D) { TheDIE = D; }
160 DIE *getDIE() const { return TheDIE; }
Bill Wendling0310d762009-05-15 09:23:25 +0000161};
162
163//===----------------------------------------------------------------------===//
164/// DbgScope - This class is used to track scope information.
165///
Devang Patelf76a3d62009-11-16 21:53:40 +0000166class DbgScope {
Bill Wendling0310d762009-05-15 09:23:25 +0000167 DbgScope *Parent; // Parent to this scope.
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000168 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patela27f6e42010-01-16 06:17:40 +0000169 MDNode * InlinedAtLocation; // Location at which scope is inlined.
Devang Patel53bb5c92009-11-10 23:06:00 +0000170 bool AbstractScope; // Abstract Scope
Bill Wendling0310d762009-05-15 09:23:25 +0000171 unsigned StartLabelID; // Label ID of the beginning of scope.
172 unsigned EndLabelID; // Label ID of the end of scope.
Devang Pateld38dd112009-10-01 18:25:23 +0000173 const MachineInstr *LastInsn; // Last instruction of this scope.
174 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000175 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
176 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000177
Owen Anderson04c05f72009-06-24 22:53:20 +0000178 // Private state for dump()
179 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000180public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000181 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000182 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000183 StartLabelID(0), EndLabelID(0),
Devang Patelc90aefe2009-10-14 21:08:09 +0000184 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000185 virtual ~DbgScope();
186
187 // Accessors.
188 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000189 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000190 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000191 MDNode *getInlinedAt() const {
Devang Patel53bb5c92009-11-10 23:06:00 +0000192 return dyn_cast_or_null<MDNode>(InlinedAtLocation);
Devang Patelc90aefe2009-10-14 21:08:09 +0000193 }
Devang Patel53bb5c92009-11-10 23:06:00 +0000194 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendling0310d762009-05-15 09:23:25 +0000195 unsigned getStartLabelID() const { return StartLabelID; }
196 unsigned getEndLabelID() const { return EndLabelID; }
197 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
198 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Bill Wendling0310d762009-05-15 09:23:25 +0000199 void setStartLabelID(unsigned S) { StartLabelID = S; }
200 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Pateld38dd112009-10-01 18:25:23 +0000201 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
202 const MachineInstr *getLastInsn() { return LastInsn; }
203 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000204 void setAbstractScope() { AbstractScope = true; }
205 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000206 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000207
Devang Patel2c4ceb12009-11-21 02:48:08 +0000208 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000209 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000210 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000211
Devang Patel2c4ceb12009-11-21 02:48:08 +0000212 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000213 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000214 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000215
Devang Patel344130e2010-01-04 20:44:00 +0000216 void fixInstructionMarkers(DenseMap<const MachineInstr *,
217 unsigned> &MIIndexMap) {
Devang Patelaf9e8472009-10-01 20:31:14 +0000218 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel344130e2010-01-04 20:44:00 +0000219
220 // Use the end of last child scope as end of this scope.
Devang Patelaf9e8472009-10-01 20:31:14 +0000221 SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patelee890ed2010-01-05 16:59:17 +0000222 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel344130e2010-01-04 20:44:00 +0000223 unsigned LIndex = 0;
224 if (Scopes.empty()) {
225 assert (getLastInsn() && "Inner most scope does not have last insn!");
226 return;
227 }
228 for (SmallVector<DbgScope *, 4>::iterator SI = Scopes.begin(),
229 SE = Scopes.end(); SI != SE; ++SI) {
230 DbgScope *DS = *SI;
231 DS->fixInstructionMarkers(MIIndexMap);
232 const MachineInstr *DSLastInsn = DS->getLastInsn();
233 unsigned DSI = MIIndexMap[DSLastInsn];
234 if (DSI > LIndex) {
235 LastInsn = DSLastInsn;
236 LIndex = DSI;
237 }
238 }
239 setLastInsn(LastInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +0000240 }
241
Bill Wendling0310d762009-05-15 09:23:25 +0000242#ifndef NDEBUG
243 void dump() const;
244#endif
245};
246
247#ifndef NDEBUG
248void DbgScope::dump() const {
David Greenef83adbc2009-12-24 00:31:35 +0000249 raw_ostream &err = dbgs();
Chris Lattnerc281de12009-08-23 00:51:00 +0000250 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000251 MDNode *N = Desc.getNode();
252 N->dump();
Chris Lattnerc281de12009-08-23 00:51:00 +0000253 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patel53bb5c92009-11-10 23:06:00 +0000254 if (AbstractScope)
255 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000256
257 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000258 if (!Scopes.empty())
259 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000260 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
261 if (Scopes[i] != this)
262 Scopes[i]->dump();
263
264 IndentLevel -= 2;
265}
266#endif
267
Bill Wendling0310d762009-05-15 09:23:25 +0000268DbgScope::~DbgScope() {
269 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
270 delete Scopes[i];
271 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
272 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000273}
274
275} // end llvm namespace
276
Chris Lattneraf76e592009-08-22 20:48:53 +0000277DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattner066c9ac2010-01-22 22:23:57 +0000278 : DwarfPrinter(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000279 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patel2c4ceb12009-11-21 02:48:08 +0000280 DIEValues(), StringPool(),
Bill Wendling0310d762009-05-15 09:23:25 +0000281 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel53bb5c92009-11-10 23:06:00 +0000282 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendling0310d762009-05-15 09:23:25 +0000283 if (TimePassesIsEnabled)
Chris Lattner0b86a6f2009-12-28 07:41:18 +0000284 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling0310d762009-05-15 09:23:25 +0000285}
286DwarfDebug::~DwarfDebug() {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000287 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
288 delete DIEValues[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000289
Bill Wendling0310d762009-05-15 09:23:25 +0000290 delete DebugTimer;
291}
292
Devang Patel2c4ceb12009-11-21 02:48:08 +0000293/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000294///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000295void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000296 // Profile the node so that we can make it unique.
297 FoldingSetNodeID ID;
298 Abbrev.Profile(ID);
299
300 // Check the set for priors.
301 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
302
303 // If it's newly added.
304 if (InSet == &Abbrev) {
305 // Add to abbreviation list.
306 Abbreviations.push_back(&Abbrev);
307
308 // Assign the vector position + 1 as its number.
309 Abbrev.setNumber(Abbreviations.size());
310 } else {
311 // Assign existing abbreviation number.
312 Abbrev.setNumber(InSet->getNumber());
313 }
314}
315
Devang Patel2c4ceb12009-11-21 02:48:08 +0000316/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000317/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000318DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000319 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000320 DIEValues.push_back(Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000321 return Value;
322}
323
Devang Patel2c4ceb12009-11-21 02:48:08 +0000324/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000325///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000326void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000327 unsigned Form, uint64_t Integer) {
328 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000329 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000330 DIEValues.push_back(Value);
331 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000332}
333
Devang Patel2c4ceb12009-11-21 02:48:08 +0000334/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000335///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000336void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000337 unsigned Form, int64_t Integer) {
338 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000339 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000340 DIEValues.push_back(Value);
341 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000342}
343
Devang Patel69f57b12009-12-02 15:25:16 +0000344/// addString - Add a string attribute data and value. DIEString only
345/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000346void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner4cf202b2010-01-23 03:11:46 +0000347 StringRef String) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000348 DIEValue *Value = new DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000349 DIEValues.push_back(Value);
350 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000351}
352
Devang Patel2c4ceb12009-11-21 02:48:08 +0000353/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000354///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000355void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000356 const DWLabel &Label) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000357 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000358 DIEValues.push_back(Value);
359 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000360}
361
Devang Patel2c4ceb12009-11-21 02:48:08 +0000362/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000363///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000364void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner858431d2010-01-16 18:50:28 +0000365 const MCSymbol *Sym) {
366 DIEValue *Value = new DIEObjectLabel(Sym);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000367 DIEValues.push_back(Value);
368 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000369}
370
Devang Patel2c4ceb12009-11-21 02:48:08 +0000371/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000372///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000373void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000374 const DWLabel &Label, const DWLabel &Section,
375 bool isEH, bool useSet) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000376 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000377 DIEValues.push_back(Value);
378 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000379}
380
Devang Patel2c4ceb12009-11-21 02:48:08 +0000381/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000382///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000383void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000384 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000385 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000386 DIEValues.push_back(Value);
387 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000388}
389
Devang Patel2c4ceb12009-11-21 02:48:08 +0000390/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000391///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000392void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000393 DIEBlock *Block) {
394 Block->ComputeSize(TD);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000395 DIEValues.push_back(Block);
396 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000397}
398
Devang Patel2c4ceb12009-11-21 02:48:08 +0000399/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000400/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000401void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000402 // If there is no compile unit specified, don't add a line #.
403 if (V->getCompileUnit().isNull())
404 return;
405
406 unsigned Line = V->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000407 unsigned FileID = findCompileUnit(V->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000408 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000409 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
410 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000411}
412
Devang Patel2c4ceb12009-11-21 02:48:08 +0000413/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000414/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000415void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000416 // If there is no compile unit specified, don't add a line #.
417 if (G->getCompileUnit().isNull())
418 return;
419
420 unsigned Line = G->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000421 unsigned FileID = findCompileUnit(G->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000422 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000423 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
424 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000425}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000426
Devang Patel2c4ceb12009-11-21 02:48:08 +0000427/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000428/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000429void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000430 // If there is no compile unit specified, don't add a line #.
431 if (SP->getCompileUnit().isNull())
432 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000433 // If the line number is 0, don't add it.
434 if (SP->getLineNumber() == 0)
435 return;
436
Devang Patel82dfc0c2009-08-31 22:47:13 +0000437
438 unsigned Line = SP->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000439 unsigned FileID = findCompileUnit(SP->getCompileUnit())->getID();
Devang Patel82dfc0c2009-08-31 22:47:13 +0000440 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000441 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
442 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000443}
444
Devang Patel2c4ceb12009-11-21 02:48:08 +0000445/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000446/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000447void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000448 // If there is no compile unit specified, don't add a line #.
449 DICompileUnit CU = Ty->getCompileUnit();
450 if (CU.isNull())
451 return;
452
453 unsigned Line = Ty->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000454 unsigned FileID = findCompileUnit(CU)->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000455 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000456 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
457 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000458}
459
Devang Patel6404e4e2009-12-15 19:16:48 +0000460/// addSourceLine - Add location information to specified debug information
461/// entry.
462void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
463 // If there is no compile unit specified, don't add a line #.
464 if (NS->getCompileUnit().isNull())
465 return;
466
467 unsigned Line = NS->getLineNumber();
468 StringRef FN = NS->getFilename();
469 StringRef Dir = NS->getDirectory();
470
471 unsigned FileID = GetOrCreateSourceID(Dir, FN);
472 assert(FileID && "Invalid file id");
473 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
474 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
475}
476
Caroline Ticedc8f6042009-08-31 21:19:37 +0000477/* Byref variables, in Blocks, are declared by the programmer as
478 "SomeType VarName;", but the compiler creates a
479 __Block_byref_x_VarName struct, and gives the variable VarName
480 either the struct, or a pointer to the struct, as its type. This
481 is necessary for various behind-the-scenes things the compiler
482 needs to do with by-reference variables in blocks.
483
484 However, as far as the original *programmer* is concerned, the
485 variable should still have type 'SomeType', as originally declared.
486
487 The following function dives into the __Block_byref_x_VarName
488 struct to find the original type of the variable. This will be
489 passed back to the code generating the type for the Debug
490 Information Entry for the variable 'VarName'. 'VarName' will then
491 have the original type 'SomeType' in its debug information.
492
493 The original type 'SomeType' will be the type of the field named
494 'VarName' inside the __Block_byref_x_VarName struct.
495
496 NOTE: In order for this to not completely fail on the debugger
497 side, the Debug Information Entry for the variable VarName needs to
498 have a DW_AT_location that tells the debugger how to unwind through
499 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000500 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000501
502/// Find the type the programmer originally declared the variable to be
503/// and return that type.
504///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000505DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000506
507 DIType subType = Ty;
508 unsigned tag = Ty.getTag();
509
510 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000511 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000512 subType = DTy.getTypeDerivedFrom();
513 }
514
515 DICompositeType blockStruct = DICompositeType(subType.getNode());
516
517 DIArray Elements = blockStruct.getTypeArray();
518
519 if (Elements.isNull())
520 return Ty;
521
522 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
523 DIDescriptor Element = Elements.getElement(i);
524 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000525 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000526 return (DT.getTypeDerivedFrom());
527 }
528
529 return Ty;
530}
531
Devang Patel2c4ceb12009-11-21 02:48:08 +0000532/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000533/// and generate the DWARF information necessary to find the actual variable
534/// given the extra address information encoded in the DIVariable, starting from
535/// the starting location. Add the DWARF information to the die.
536///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000537void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000538 unsigned Attribute,
539 const MachineLocation &Location) {
540 const DIVariable &VD = DV->getVariable();
541 DIType Ty = VD.getType();
542
543 // Decode the original location, and use that as the start of the byref
544 // variable's location.
545 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
546 DIEBlock *Block = new DIEBlock();
547
548 if (Location.isReg()) {
549 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000550 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000551 } else {
552 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000553 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
554 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000555 }
556 } else {
557 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000558 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000559 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000560 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
561 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000562 }
563
Devang Patel2c4ceb12009-11-21 02:48:08 +0000564 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000565 }
566
567 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
568 uint64_t Element = VD.getAddrElement(i);
569
570 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000571 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
572 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000573 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000574 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000575 } else llvm_unreachable("unknown DIFactory Opcode");
576 }
577
578 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000579 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000580}
581
Caroline Ticedc8f6042009-08-31 21:19:37 +0000582/* Byref variables, in Blocks, are declared by the programmer as "SomeType
583 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
584 gives the variable VarName either the struct, or a pointer to the struct, as
585 its type. This is necessary for various behind-the-scenes things the
586 compiler needs to do with by-reference variables in Blocks.
587
588 However, as far as the original *programmer* is concerned, the variable
589 should still have type 'SomeType', as originally declared.
590
Devang Patel2c4ceb12009-11-21 02:48:08 +0000591 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000592 struct to find the original type of the variable, which is then assigned to
593 the variable's Debug Information Entry as its real type. So far, so good.
594 However now the debugger will expect the variable VarName to have the type
595 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000596 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000597 pointers and struct to find the actual variable of type SomeType.
598
599 The following function does just that. We start by getting
600 the "normal" location for the variable. This will be the location
601 of either the struct __Block_byref_x_VarName or the pointer to the
602 struct __Block_byref_x_VarName.
603
604 The struct will look something like:
605
606 struct __Block_byref_x_VarName {
607 ... <various fields>
608 struct __Block_byref_x_VarName *forwarding;
609 ... <various other fields>
610 SomeType VarName;
611 ... <maybe more fields>
612 };
613
614 If we are given the struct directly (as our starting point) we
615 need to tell the debugger to:
616
617 1). Add the offset of the forwarding field.
618
619 2). Follow that pointer to get the the real __Block_byref_x_VarName
620 struct to use (the real one may have been copied onto the heap).
621
622 3). Add the offset for the field VarName, to find the actual variable.
623
624 If we started with a pointer to the struct, then we need to
625 dereference that pointer first, before the other steps.
626 Translating this into DWARF ops, we will need to append the following
627 to the current location description for the variable:
628
629 DW_OP_deref -- optional, if we start with a pointer
630 DW_OP_plus_uconst <forward_fld_offset>
631 DW_OP_deref
632 DW_OP_plus_uconst <varName_fld_offset>
633
634 That is what this function does. */
635
Devang Patel2c4ceb12009-11-21 02:48:08 +0000636/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000637/// provided, and generate the DWARF information necessary to find the
638/// actual Block variable (navigating the Block struct) based on the
639/// starting location. Add the DWARF information to the die. For
640/// more information, read large comment just above here.
641///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000642void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000643 unsigned Attribute,
644 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000645 const DIVariable &VD = DV->getVariable();
646 DIType Ty = VD.getType();
647 DIType TmpTy = Ty;
648 unsigned Tag = Ty.getTag();
649 bool isPointer = false;
650
Devang Patel65dbc902009-11-25 17:36:49 +0000651 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000652
653 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000654 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000655 TmpTy = DTy.getTypeDerivedFrom();
656 isPointer = true;
657 }
658
659 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
660
Daniel Dunbar00564992009-09-19 20:40:14 +0000661 // Find the __forwarding field and the variable field in the __Block_byref
662 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000663 DIArray Fields = blockStruct.getTypeArray();
664 DIDescriptor varField = DIDescriptor();
665 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000666
667
Daniel Dunbar00564992009-09-19 20:40:14 +0000668 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
669 DIDescriptor Element = Fields.getElement(i);
670 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000671 StringRef fieldName = DT.getName();
672 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000673 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000674 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000675 varField = Element;
676 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000677
Mike Stump7e3720d2009-09-24 23:21:26 +0000678 assert(!varField.isNull() && "Can't find byref variable in Block struct");
679 assert(!forwardingField.isNull()
680 && "Can't find forwarding field in Block struct");
Caroline Ticedc8f6042009-08-31 21:19:37 +0000681
Daniel Dunbar00564992009-09-19 20:40:14 +0000682 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar00564992009-09-19 20:40:14 +0000683 unsigned int forwardingFieldOffset =
684 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
685 unsigned int varFieldOffset =
686 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000687
Mike Stump7e3720d2009-09-24 23:21:26 +0000688 // Decode the original location, and use that as the start of the byref
689 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000690 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
691 DIEBlock *Block = new DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000692
Daniel Dunbar00564992009-09-19 20:40:14 +0000693 if (Location.isReg()) {
694 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000695 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000696 else {
697 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000698 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
699 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000700 }
701 } else {
702 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000703 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000704 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
706 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000707 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000708
Devang Patel2c4ceb12009-11-21 02:48:08 +0000709 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000710 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000711
Mike Stump7e3720d2009-09-24 23:21:26 +0000712 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000713 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000714 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000715 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000716
Daniel Dunbar00564992009-09-19 20:40:14 +0000717 // Next add the offset for the '__forwarding' field:
718 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
719 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000720 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
722 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000723 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000724
Daniel Dunbar00564992009-09-19 20:40:14 +0000725 // Now dereference the __forwarding field to get to the real __Block_byref
726 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000728
Daniel Dunbar00564992009-09-19 20:40:14 +0000729 // Now that we've got the real __Block_byref... struct, add the offset
730 // for the variable's field to get to the location of the actual variable:
731 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000732 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000733 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
734 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000735 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000736
Daniel Dunbar00564992009-09-19 20:40:14 +0000737 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000738 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000739}
740
Devang Patel2c4ceb12009-11-21 02:48:08 +0000741/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000742/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000743void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000744 const MachineLocation &Location) {
745 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
746 DIEBlock *Block = new DIEBlock();
747
748 if (Location.isReg()) {
749 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000750 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000751 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000752 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
753 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000754 }
755 } else {
756 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000757 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000758 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000759 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
760 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000761 }
762
Devang Patel2c4ceb12009-11-21 02:48:08 +0000763 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000764 }
765
Devang Patel2c4ceb12009-11-21 02:48:08 +0000766 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000767}
768
Devang Patelc366f832009-12-10 19:14:49 +0000769/// addToContextOwner - Add Die into the list of its context owner's children.
770void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
771 if (Context.isNull())
772 ModuleCU->addDie(Die);
773 else if (Context.isType()) {
774 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
775 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000776 } else if (Context.isNameSpace()) {
777 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
778 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000779 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
780 ContextDIE->addChild(Die);
781 else
782 ModuleCU->addDie(Die);
783}
784
Devang Patel16ced732009-12-10 18:05:33 +0000785/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
786/// given DIType.
787DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
788 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
789 if (TyDIE)
790 return TyDIE;
791
792 // Create new type.
793 TyDIE = new DIE(dwarf::DW_TAG_base_type);
794 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
795 if (Ty.isBasicType())
796 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
797 else if (Ty.isCompositeType())
798 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
799 else {
800 assert(Ty.isDerivedType() && "Unknown kind of DIType");
801 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
802 }
803
Devang Patelc366f832009-12-10 19:14:49 +0000804 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000805 return TyDIE;
806}
807
Devang Patel2c4ceb12009-11-21 02:48:08 +0000808/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000809void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000810 if (Ty.isNull())
811 return;
812
813 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000814 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000815 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000816 if (Entry) {
817 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000818 return;
819 }
820
821 // Set up proxy.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000822 Entry = createDIEEntry();
Devang Patel8a241142009-12-09 18:24:21 +0000823 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000824
825 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000826 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000827
Devang Patel2c4ceb12009-11-21 02:48:08 +0000828 Entry->setEntry(Buffer);
829 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000830}
831
Devang Patel2c4ceb12009-11-21 02:48:08 +0000832/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000833void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000834 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000835 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000836 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000837 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000838 BTy.getEncoding());
839
840 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000841 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000842 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000843 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000844 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000845}
846
Devang Patel2c4ceb12009-11-21 02:48:08 +0000847/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000848void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000849 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000850 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000851 uint64_t Size = DTy.getSizeInBits() >> 3;
852 unsigned Tag = DTy.getTag();
853
854 // FIXME - Workaround for templates.
855 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
856
857 Buffer.setTag(Tag);
858
859 // Map to main type, void will not have a type.
860 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000861 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000862
863 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000864 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000865 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000866
867 // Add size if non-zero (derived types might be zero-sized.)
868 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000869 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000870
871 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000872 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000873 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000874}
875
Devang Patel2c4ceb12009-11-21 02:48:08 +0000876/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000877void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000878 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000879 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000880
881 uint64_t Size = CTy.getSizeInBits() >> 3;
882 unsigned Tag = CTy.getTag();
883 Buffer.setTag(Tag);
884
885 switch (Tag) {
886 case dwarf::DW_TAG_vector_type:
887 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000888 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000889 break;
890 case dwarf::DW_TAG_enumeration_type: {
891 DIArray Elements = CTy.getTypeArray();
892
893 // Add enumerators to enumeration type.
894 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
895 DIE *ElemDie = NULL;
Devang Patele4b27562009-08-28 23:24:31 +0000896 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelc5254722009-10-09 17:51:49 +0000897 if (!Enum.isNull()) {
Devang Patel8a241142009-12-09 18:24:21 +0000898 ElemDie = constructEnumTypeDIE(&Enum);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000899 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000900 }
Bill Wendling0310d762009-05-15 09:23:25 +0000901 }
902 }
903 break;
904 case dwarf::DW_TAG_subroutine_type: {
905 // Add return type.
906 DIArray Elements = CTy.getTypeArray();
907 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000908 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000909
910 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000911 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000912
913 // Add arguments.
914 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
915 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
916 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000917 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000918 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000919 }
920 }
921 break;
922 case dwarf::DW_TAG_structure_type:
923 case dwarf::DW_TAG_union_type:
924 case dwarf::DW_TAG_class_type: {
925 // Add elements to structure type.
926 DIArray Elements = CTy.getTypeArray();
927
928 // A forward struct declared type may not have elements available.
929 if (Elements.isNull())
930 break;
931
932 // Add elements to structure type.
933 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
934 DIDescriptor Element = Elements.getElement(i);
Devang Patele4b27562009-08-28 23:24:31 +0000935 if (Element.isNull())
936 continue;
Bill Wendling0310d762009-05-15 09:23:25 +0000937 DIE *ElemDie = NULL;
938 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patelffe966c2009-12-14 16:18:45 +0000939 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000940 else
Devang Patel8a241142009-12-09 18:24:21 +0000941 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000942 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000943 }
944
Devang Patela1ba2692009-08-27 23:51:51 +0000945 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000946 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000947
948 unsigned RLang = CTy.getRunTimeLang();
949 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000950 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000951 dwarf::DW_FORM_data1, RLang);
Devang Patelb5544992010-01-26 21:16:06 +0000952
953 DICompositeType ContainingType = CTy.getContainingType();
954 if (!ContainingType.isNull())
955 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
956 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling0310d762009-05-15 09:23:25 +0000957 break;
958 }
959 default:
960 break;
961 }
962
963 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000964 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000965 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000966
967 if (Tag == dwarf::DW_TAG_enumeration_type ||
968 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
969 // Add size if non-zero (derived types might be zero-sized.)
970 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000971 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000972 else {
973 // Add zero size if it is not a forward declaration.
974 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000975 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000976 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000977 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000978 }
979
980 // Add source line info if available.
981 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000982 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000983 }
984}
985
Devang Patel2c4ceb12009-11-21 02:48:08 +0000986/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
987void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +0000988 int64_t L = SR.getLo();
989 int64_t H = SR.getHi();
990 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
991
Devang Patel2c4ceb12009-11-21 02:48:08 +0000992 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +0000993 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000994 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +0000995 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +0000996
Devang Patel2c4ceb12009-11-21 02:48:08 +0000997 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +0000998}
999
Devang Patel2c4ceb12009-11-21 02:48:08 +00001000/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +00001001void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +00001002 DICompositeType *CTy) {
1003 Buffer.setTag(dwarf::DW_TAG_array_type);
1004 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001005 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001006
1007 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001008 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001009 DIArray Elements = CTy->getTypeArray();
1010
Devang Patel6f01d9c2009-11-21 00:31:03 +00001011 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001012 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001013 if (!IdxTy) {
1014 // Construct an anonymous type for index type.
1015 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001016 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1017 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001018 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001019 ModuleCU->addDie(IdxTy);
1020 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001021 }
Bill Wendling0310d762009-05-15 09:23:25 +00001022
1023 // Add subranges to array type.
1024 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1025 DIDescriptor Element = Elements.getElement(i);
1026 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001027 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001028 }
1029}
1030
Devang Patel2c4ceb12009-11-21 02:48:08 +00001031/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel8a241142009-12-09 18:24:21 +00001032DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator *ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001033 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel65dbc902009-11-25 17:36:49 +00001034 StringRef Name = ETy->getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001035 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +00001036 int64_t Value = ETy->getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001037 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001038 return Enumerator;
1039}
1040
Devang Patel351ca332010-01-05 01:46:14 +00001041/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1042/// printer to not emit usual symbol prefix before the symbol name is used then
1043/// return linkage name after skipping this special LLVM prefix.
1044static StringRef getRealLinkageName(StringRef LinkageName) {
1045 char One = '\1';
1046 if (LinkageName.startswith(StringRef(&One, 1)))
1047 return LinkageName.substr(1);
1048 return LinkageName;
1049}
1050
Devang Patel2c4ceb12009-11-21 02:48:08 +00001051/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001052DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001053 // If the global variable was optmized out then no need to create debug info
1054 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001055 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001056 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001057
Bill Wendling0310d762009-05-15 09:23:25 +00001058 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001059 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001060 GV.getDisplayName());
1061
Devang Patel65dbc902009-11-25 17:36:49 +00001062 StringRef LinkageName = GV.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001063 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001064 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001065 getRealLinkageName(LinkageName));
1066
Devang Patel8a241142009-12-09 18:24:21 +00001067 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001068 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001069 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1070 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001071
Bill Wendling0310d762009-05-15 09:23:25 +00001072 return GVDie;
1073}
1074
Devang Patel2c4ceb12009-11-21 02:48:08 +00001075/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001076DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001077 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001078 StringRef Name = DT.getName();
1079 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001080 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001081
Devang Patel8a241142009-12-09 18:24:21 +00001082 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001083
Devang Patel2c4ceb12009-11-21 02:48:08 +00001084 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001085
Devang Patel33db5082009-11-04 22:06:12 +00001086 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001087 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001088
Bill Wendling0310d762009-05-15 09:23:25 +00001089 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001090 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001091
1092 if (Size != FieldSize) {
1093 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001094 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1095 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001096
1097 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling0310d762009-05-15 09:23:25 +00001098 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1099 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer3d594fd2010-01-07 17:50:57 +00001100 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling0310d762009-05-15 09:23:25 +00001101 Offset -= FieldOffset;
1102
1103 // Maybe we need to work from the other end.
1104 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001105 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001106
Devang Patel33db5082009-11-04 22:06:12 +00001107 // Here WD_AT_data_member_location points to the anonymous
1108 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001109 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001110
1111 } else
1112 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001113 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001114
Devang Patel2c4ceb12009-11-21 02:48:08 +00001115 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001116
1117 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001118 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001119 dwarf::DW_ACCESS_protected);
1120 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001121 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001122 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001123 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1124 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1125 dwarf::DW_ACCESS_public);
1126 if (DT.isVirtual())
1127 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1128 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001129 return MemberDie;
1130}
1131
Devang Patelffe966c2009-12-14 16:18:45 +00001132/// createSubprogramDIE - Create new DIE using SP.
1133DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1134 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1135 if (SPDie)
1136 return SPDie;
1137
1138 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel65dbc902009-11-25 17:36:49 +00001139 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001140
Devang Patel65dbc902009-11-25 17:36:49 +00001141 StringRef LinkageName = SP.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001142 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001143 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001144 getRealLinkageName(LinkageName));
1145
Devang Patel2c4ceb12009-11-21 02:48:08 +00001146 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001147
Bill Wendling0310d762009-05-15 09:23:25 +00001148 // Add prototyped tag, if C or ObjC.
1149 unsigned Lang = SP.getCompileUnit().getLanguage();
1150 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1151 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001152 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001153
1154 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001155 DICompositeType SPTy = SP.getType();
1156 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001157 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001158
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001159 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001160 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001161 else
Devang Patel8a241142009-12-09 18:24:21 +00001162 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001163
Devang Patel5d11eb02009-12-03 19:11:07 +00001164 unsigned VK = SP.getVirtuality();
1165 if (VK) {
1166 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1167 DIEBlock *Block = new DIEBlock();
1168 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1169 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1170 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel622b0262010-01-19 06:19:05 +00001171 ContainingTypeMap.insert(std::make_pair(SPDie,
1172 SP.getContainingType().getNode()));
Devang Patel5d11eb02009-12-03 19:11:07 +00001173 }
1174
Devang Patelffe966c2009-12-14 16:18:45 +00001175 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001176 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001177
1178 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001179 // be handled while processing variables.
1180 DICompositeType SPTy = SP.getType();
1181 DIArray Args = SPTy.getTypeArray();
1182 unsigned SPTag = SPTy.getTag();
1183
Bill Wendling0310d762009-05-15 09:23:25 +00001184 if (SPTag == dwarf::DW_TAG_subroutine_type)
1185 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1186 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel8a241142009-12-09 18:24:21 +00001187 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001188 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1189 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001190 }
1191 }
1192
Bill Wendling0310d762009-05-15 09:23:25 +00001193 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001194 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001195 return SPDie;
1196}
1197
Devang Patel2c4ceb12009-11-21 02:48:08 +00001198/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling0310d762009-05-15 09:23:25 +00001199///
Devang Pateld037d7a2009-12-11 21:37:07 +00001200CompileUnit *DwarfDebug::findCompileUnit(DICompileUnit Unit) {
Bill Wendling0310d762009-05-15 09:23:25 +00001201 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patele4b27562009-08-28 23:24:31 +00001202 CompileUnitMap.find(Unit.getNode());
Devang Pateld037d7a2009-12-11 21:37:07 +00001203 if (I == CompileUnitMap.end())
1204 return constructCompileUnit(Unit.getNode());
1205 return I->second;
Bill Wendling0310d762009-05-15 09:23:25 +00001206}
1207
Devang Patel53bb5c92009-11-10 23:06:00 +00001208/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1209/// Initialize scope and update scope hierarchy.
1210DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1211 MDNode *InlinedAt) {
1212 assert (N && "Invalid Scope encoding!");
1213 assert (MI && "Missing machine instruction!");
1214 bool GetConcreteScope = (MI && InlinedAt);
1215
1216 DbgScope *NScope = NULL;
1217
1218 if (InlinedAt)
1219 NScope = DbgScopeMap.lookup(InlinedAt);
1220 else
1221 NScope = DbgScopeMap.lookup(N);
1222 assert (NScope && "Unable to find working scope!");
1223
1224 if (NScope->getFirstInsn())
1225 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001226
1227 DbgScope *Parent = NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001228 if (GetConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001229 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001230 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001231 IL.getOrigLocation().getNode());
1232 assert (Parent && "Unable to find Parent scope!");
1233 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001234 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001235 } else if (DIDescriptor(N).isLexicalBlock()) {
1236 DILexicalBlock DB(N);
1237 if (!DB.getContext().isNull()) {
1238 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1239 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001240 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001241 }
Devang Patelc90aefe2009-10-14 21:08:09 +00001242 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001243
Devang Patelbdf45cb2009-10-27 20:47:17 +00001244 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001245
Devang Patel53bb5c92009-11-10 23:06:00 +00001246 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001247 StringRef SPName = DISubprogram(N).getLinkageName();
1248 if (SPName == MF->getFunction()->getName())
1249 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001250 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001251
Devang Patel53bb5c92009-11-10 23:06:00 +00001252 if (GetConcreteScope) {
1253 ConcreteScopes[InlinedAt] = NScope;
1254 getOrCreateAbstractScope(N);
1255 }
1256
Devang Patelbdf45cb2009-10-27 20:47:17 +00001257 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001258}
1259
Devang Patel53bb5c92009-11-10 23:06:00 +00001260DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1261 assert (N && "Invalid Scope encoding!");
1262
1263 DbgScope *AScope = AbstractScopes.lookup(N);
1264 if (AScope)
1265 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001266
Devang Patel53bb5c92009-11-10 23:06:00 +00001267 DbgScope *Parent = NULL;
1268
1269 DIDescriptor Scope(N);
1270 if (Scope.isLexicalBlock()) {
1271 DILexicalBlock DB(N);
1272 DIDescriptor ParentDesc = DB.getContext();
1273 if (!ParentDesc.isNull())
1274 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1275 }
1276
1277 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1278
1279 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001280 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001281 AScope->setAbstractScope();
1282 AbstractScopes[N] = AScope;
1283 if (DIDescriptor(N).isSubprogram())
1284 AbstractScopesList.push_back(AScope);
1285 return AScope;
1286}
Devang Patelaf9e8472009-10-01 20:31:14 +00001287
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001288/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001289/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1290/// If there are global variables in this scope then create and insert
1291/// DIEs for these variables.
1292DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001293
Devang Patel017d1212009-11-20 21:37:22 +00001294 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel53bb5c92009-11-10 23:06:00 +00001295 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patelffe966c2009-12-14 16:18:45 +00001296 DISubprogram SP(SPNode);
1297 if (SP.isDefinition() && !SP.getContext().isCompileUnit()) {
1298 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1299 // Add arguments.
1300 DICompositeType SPTy = SP.getType();
1301 DIArray Args = SPTy.getTypeArray();
1302 unsigned SPTag = SPTy.getTag();
1303 if (SPTag == dwarf::DW_TAG_subroutine_type)
1304 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1305 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1306 addType(Arg, DIType(Args.getElement(i).getNode()));
1307 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1308 SPDie->addChild(Arg);
1309 }
1310 DIE *SPDeclDie = SPDie;
1311 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1312 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1313 SPDeclDie);
Devang Patelffe966c2009-12-14 16:18:45 +00001314 ModuleCU->addDie(SPDie);
1315 }
1316
Devang Patel2c4ceb12009-11-21 02:48:08 +00001317 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001318 DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001319 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001320 DWLabel("func_end", SubprogramCount));
1321 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001322 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001323
Devang Patel53bb5c92009-11-10 23:06:00 +00001324 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001325 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001326
Devang Patel53bb5c92009-11-10 23:06:00 +00001327 return SPDie;
1328}
1329
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001330/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001331/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1332DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001333 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1334 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1335
1336 // Ignore empty scopes.
1337 if (StartID == EndID && StartID != 0)
1338 return NULL;
1339
1340 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1341 if (Scope->isAbstractScope())
1342 return ScopeDIE;
1343
Devang Patel2c4ceb12009-11-21 02:48:08 +00001344 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001345 StartID ?
1346 DWLabel("label", StartID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001347 : DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001348 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001349 EndID ?
1350 DWLabel("label", EndID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001351 : DWLabel("func_end", SubprogramCount));
1352
1353
1354
1355 return ScopeDIE;
1356}
1357
Devang Patel2c4ceb12009-11-21 02:48:08 +00001358/// constructInlinedScopeDIE - This scope represents inlined body of
1359/// a function. Construct DIE to represent this concrete inlined copy
1360/// of the function.
1361DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001362 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1363 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1364 assert (StartID && "Invalid starting label for an inlined scope!");
1365 assert (EndID && "Invalid end label for an inlined scope!");
1366 // Ignore empty scopes.
1367 if (StartID == EndID && StartID != 0)
1368 return NULL;
1369
1370 DIScope DS(Scope->getScopeNode());
1371 if (DS.isNull())
1372 return NULL;
1373 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1374
1375 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001376 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001377 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001378 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001379 dwarf::DW_FORM_ref4, OriginDIE);
1380
Devang Patel2c4ceb12009-11-21 02:48:08 +00001381 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001382 DWLabel("label", StartID));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001383 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001384 DWLabel("label", EndID));
1385
1386 InlinedSubprogramDIEs.insert(OriginDIE);
1387
1388 // Track the start label for this inlined function.
Devang Patel622b0262010-01-19 06:19:05 +00001389 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel53bb5c92009-11-10 23:06:00 +00001390 I = InlineInfo.find(InlinedSP.getNode());
1391
1392 if (I == InlineInfo.end()) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001393 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1394 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001395 InlinedSPNodes.push_back(InlinedSP.getNode());
1396 } else
1397 I->second.push_back(std::make_pair(StartID, ScopeDIE));
1398
1399 StringPool.insert(InlinedSP.getName());
Devang Patel351ca332010-01-05 01:46:14 +00001400 StringPool.insert(getRealLinkageName(InlinedSP.getLinkageName()));
1401
Devang Patel53bb5c92009-11-10 23:06:00 +00001402 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001403 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1404 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001405
1406 return ScopeDIE;
1407}
1408
Devang Patel2c4ceb12009-11-21 02:48:08 +00001409
1410/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001411DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001412 // Get the descriptor.
1413 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001414 StringRef Name = VD.getName();
1415 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001416 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001417
1418 // Translate tag to proper Dwarf tag. The result variable is dropped for
1419 // now.
1420 unsigned Tag;
1421 switch (VD.getTag()) {
1422 case dwarf::DW_TAG_return_variable:
1423 return NULL;
1424 case dwarf::DW_TAG_arg_variable:
1425 Tag = dwarf::DW_TAG_formal_parameter;
1426 break;
1427 case dwarf::DW_TAG_auto_variable: // fall thru
1428 default:
1429 Tag = dwarf::DW_TAG_variable;
1430 break;
1431 }
1432
1433 // Define variable debug information entry.
1434 DIE *VariableDie = new DIE(Tag);
1435
1436
1437 DIE *AbsDIE = NULL;
1438 if (DbgVariable *AV = DV->getAbstractVariable())
1439 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001440
Devang Patel53bb5c92009-11-10 23:06:00 +00001441 if (AbsDIE) {
1442 DIScope DS(Scope->getScopeNode());
1443 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001444 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001445 (void) OriginSPDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001446 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1447 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1448 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001449 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001450 dwarf::DW_FORM_ref4, AbsDIE);
1451 }
1452 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001453 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1454 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001455
1456 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001457 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001458 // addresses instead.
1459 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001460 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001461 else
Devang Patel8a241142009-12-09 18:24:21 +00001462 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001463 }
1464
1465 // Add variable address.
1466 if (!Scope->isAbstractScope()) {
1467 MachineLocation Location;
Jim Grosbacha2f20b22009-11-22 20:14:00 +00001468 unsigned FrameReg;
1469 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1470 Location.set(FrameReg, Offset);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001471
Devang Patel53bb5c92009-11-10 23:06:00 +00001472 if (VD.hasComplexAddress())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001473 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001474 else if (VD.isBlockByrefVariable())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001475 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001476 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001477 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001478 }
1479 DV->setDIE(VariableDie);
1480 return VariableDie;
1481
1482}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001483
Devang Patel193f7202009-11-24 01:14:22 +00001484void DwarfDebug::addPubTypes(DISubprogram SP) {
1485 DICompositeType SPTy = SP.getType();
1486 unsigned SPTag = SPTy.getTag();
1487 if (SPTag != dwarf::DW_TAG_subroutine_type)
1488 return;
1489
1490 DIArray Args = SPTy.getTypeArray();
1491 if (Args.isNull())
1492 return;
1493
1494 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1495 DIType ATy(Args.getElement(i).getNode());
1496 if (ATy.isNull())
1497 continue;
1498 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel65dbc902009-11-25 17:36:49 +00001499 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001500 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1501 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1502 }
1503 }
1504}
1505
Devang Patel2c4ceb12009-11-21 02:48:08 +00001506/// constructScopeDIE - Construct a DIE for this scope.
1507DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001508 if (!Scope)
1509 return NULL;
1510 DIScope DS(Scope->getScopeNode());
1511 if (DS.isNull())
1512 return NULL;
1513
1514 DIE *ScopeDIE = NULL;
1515 if (Scope->getInlinedAt())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001516 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001517 else if (DS.isSubprogram()) {
1518 if (Scope->isAbstractScope())
Devang Patel017d1212009-11-20 21:37:22 +00001519 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001520 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001521 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001522 }
1523 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001524 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001525 if (!ScopeDIE) return NULL;
1526 }
1527
1528 // Add variables to scope.
1529 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1530 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001531 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001532 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001533 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001534 }
1535
1536 // Add nested scopes.
1537 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1538 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1539 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001540 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001541 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001542 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001543 }
Devang Patel193f7202009-11-24 01:14:22 +00001544
1545 if (DS.isSubprogram())
1546 addPubTypes(DISubprogram(DS.getNode()));
1547
1548 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001549}
1550
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001551/// GetOrCreateSourceID - Look up the source id with the given directory and
1552/// source file names. If none currently exists, create a new id and insert it
1553/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1554/// maps as well.
Devang Patel65dbc902009-11-25 17:36:49 +00001555unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001556 unsigned DId;
1557 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1558 if (DI != DirectoryIdMap.end()) {
1559 DId = DI->getValue();
1560 } else {
1561 DId = DirectoryNames.size() + 1;
1562 DirectoryIdMap[DirName] = DId;
1563 DirectoryNames.push_back(DirName);
1564 }
1565
1566 unsigned FId;
1567 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1568 if (FI != SourceFileIdMap.end()) {
1569 FId = FI->getValue();
1570 } else {
1571 FId = SourceFileNames.size() + 1;
1572 SourceFileIdMap[FileName] = FId;
1573 SourceFileNames.push_back(FileName);
1574 }
1575
1576 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1577 SourceIdMap.find(std::make_pair(DId, FId));
1578 if (SI != SourceIdMap.end())
1579 return SI->second;
1580
1581 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1582 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1583 SourceIds.push_back(std::make_pair(DId, FId));
1584
1585 return SrcId;
1586}
1587
Devang Patel6404e4e2009-12-15 19:16:48 +00001588/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1589DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1590 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1591 if (NDie)
1592 return NDie;
1593 NDie = new DIE(dwarf::DW_TAG_namespace);
1594 ModuleCU->insertDIE(NS.getNode(), NDie);
1595 if (!NS.getName().empty())
1596 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1597 addSourceLine(NDie, &NS);
1598 addToContextOwner(NDie, NS.getContext());
1599 return NDie;
1600}
1601
Devang Pateld037d7a2009-12-11 21:37:07 +00001602CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001603 DICompileUnit DIUnit(N);
Devang Patel65dbc902009-11-25 17:36:49 +00001604 StringRef FN = DIUnit.getFilename();
1605 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001606 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001607
1608 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001609 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001610 DWLabel("section_line", 0), DWLabel("section_line", 0),
1611 false);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001612 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001613 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001614 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001615 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001616 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001617
Devang Patel65dbc902009-11-25 17:36:49 +00001618 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001619 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001620 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001621 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001622
Devang Patel65dbc902009-11-25 17:36:49 +00001623 StringRef Flags = DIUnit.getFlags();
1624 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001625 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001626
1627 unsigned RVer = DIUnit.getRunTimeVersion();
1628 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001629 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001630 dwarf::DW_FORM_data1, RVer);
1631
1632 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel1dbc7712009-06-29 20:45:18 +00001633 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel70f44262009-06-29 20:38:13 +00001634 // Use first compile unit marked as isMain as the compile unit
1635 // for this module.
Devang Patel1dbc7712009-06-29 20:45:18 +00001636 ModuleCU = Unit;
Devang Patel70f44262009-06-29 20:38:13 +00001637 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001638
Devang Patele4b27562009-08-28 23:24:31 +00001639 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001640 CompileUnits.push_back(Unit);
Devang Pateld037d7a2009-12-11 21:37:07 +00001641 return Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001642}
1643
Devang Patel2c4ceb12009-11-21 02:48:08 +00001644void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001645 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001646
Devang Patel905cf5e2009-09-04 23:59:07 +00001647 // If debug information is malformed then ignore it.
1648 if (DI_GV.Verify() == false)
1649 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001650
1651 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001652 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001653 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001654
Devang Patel8a241142009-12-09 18:24:21 +00001655 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001656 if (!VariableDie)
1657 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001658
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001659 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001660 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001661
1662 // Add to context owner.
Devang Patelc9b16cc2010-01-15 01:12:22 +00001663 DIDescriptor GVContext = DI_GV.getContext();
1664 // Do not create specification DIE if context is either compile unit
1665 // or a subprogram.
1666 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
1667 && !GVContext.isSubprogram()) {
Devang Patel6404e4e2009-12-15 19:16:48 +00001668 // Create specification DIE.
1669 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1670 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1671 dwarf::DW_FORM_ref4, VariableDie);
1672 DIEBlock *Block = new DIEBlock();
1673 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1674 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner858431d2010-01-16 18:50:28 +00001675 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001676 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
1677 ModuleCU->addDie(VariableSpecDIE);
1678 } else {
1679 DIEBlock *Block = new DIEBlock();
1680 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1681 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner858431d2010-01-16 18:50:28 +00001682 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001683 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1684 }
Devang Patelc9b16cc2010-01-15 01:12:22 +00001685 addToContextOwner(VariableDie, GVContext);
Devang Patelc366f832009-12-10 19:14:49 +00001686
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001687 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001688 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001689
1690 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001691 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001692 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1693 assert (Entry && "Missing global type!");
1694 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1695 }
Devang Patel13e16b62009-06-26 01:49:18 +00001696 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001697}
1698
Devang Patel2c4ceb12009-11-21 02:48:08 +00001699void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001700 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001701
1702 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001703 if (ModuleCU->getDIE(N))
Devang Patel13e16b62009-06-26 01:49:18 +00001704 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001705
1706 if (!SP.isDefinition())
1707 // This is a method declaration which will be handled while constructing
1708 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001709 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001710
Devang Patel8a241142009-12-09 18:24:21 +00001711 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001712
1713 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001714 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001715
1716 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001717 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001718
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001719 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001720 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001721
Devang Patel13e16b62009-06-26 01:49:18 +00001722 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001723}
1724
Devang Patel2c4ceb12009-11-21 02:48:08 +00001725/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001726/// content. Create global DIEs and emit initial debug info sections.
1727/// This is inovked by the target AsmPrinter.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001728void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel208622d2009-06-25 22:36:02 +00001729 this->M = M;
1730
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001731 if (TimePassesIsEnabled)
1732 DebugTimer->startTimer();
1733
Devang Patel3380cc52009-11-11 19:55:08 +00001734 if (!MAI->doesSupportDebugInformation())
1735 return;
1736
Devang Patel78ab9e22009-07-30 18:56:46 +00001737 DebugInfoFinder DbgFinder;
1738 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001739
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001740 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001741 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1742 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001743 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001744
1745 if (CompileUnits.empty()) {
1746 if (TimePassesIsEnabled)
1747 DebugTimer->stopTimer();
1748
1749 return;
1750 }
1751
Devang Patel70f44262009-06-29 20:38:13 +00001752 // If main compile unit for this module is not seen than randomly
1753 // select first compile unit.
Devang Patel1dbc7712009-06-29 20:45:18 +00001754 if (!ModuleCU)
1755 ModuleCU = CompileUnits[0];
Devang Patel70f44262009-06-29 20:38:13 +00001756
Devang Patel53bb5c92009-11-10 23:06:00 +00001757 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001758 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1759 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001760 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001761
Devang Patelc366f832009-12-10 19:14:49 +00001762 // Create DIEs for each global variable.
1763 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1764 E = DbgFinder.global_variable_end(); I != E; ++I)
1765 constructGlobalVariableDIE(*I);
1766
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001767 MMI = mmi;
1768 shouldEmit = true;
1769 MMI->setDebugInfoAvailability(true);
1770
1771 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001772 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001773
1774 // Print out .file directives to specify files for .loc directives. These are
1775 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001776 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001777 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1778 // Remember source id starts at 1.
1779 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattner0ad9c912010-01-22 22:09:00 +00001780 // FIXME: don't use sys::path for this! This should not depend on the
1781 // host.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001782 sys::Path FullPath(getSourceDirectoryName(Id.first));
1783 bool AppendOk =
1784 FullPath.appendComponent(getSourceFileName(Id.second));
1785 assert(AppendOk && "Could not append filename to directory!");
1786 AppendOk = false;
Chris Lattnera6594fc2010-01-25 18:58:59 +00001787 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001788 }
1789 }
1790
1791 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001792 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001793
1794 if (TimePassesIsEnabled)
1795 DebugTimer->stopTimer();
1796}
1797
Devang Patel2c4ceb12009-11-21 02:48:08 +00001798/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001799///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001800void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001801 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001802 return;
1803
1804 if (TimePassesIsEnabled)
1805 DebugTimer->startTimer();
1806
Devang Patel53bb5c92009-11-10 23:06:00 +00001807 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1808 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1809 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1810 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001811 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001812 }
1813
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001814 // Insert top level DIEs.
1815 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1816 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1817 ModuleCU->getCUDie()->addChild(*TI);
1818
Devang Patel622b0262010-01-19 06:19:05 +00001819 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel5d11eb02009-12-03 19:11:07 +00001820 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1821 DIE *SPDie = CI->first;
1822 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1823 if (!N) continue;
1824 DIE *NDie = ModuleCU->getDIE(N);
1825 if (!NDie) continue;
1826 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patelf8b72ca2010-01-15 00:26:31 +00001827 // FIXME - This is not the correct approach.
1828 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel5d11eb02009-12-03 19:11:07 +00001829 }
1830
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001831 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001832 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001833 EmitLabel("text_end", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001834 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001835 EmitLabel("data_end", 0);
1836
1837 // End text sections.
1838 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001839 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001840 EmitLabel("section_end", i);
1841 }
1842
1843 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001844 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001845
1846 // Emit function debug frame information
1847 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1848 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001849 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001850
1851 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001852 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001853
1854 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001855 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001856
1857 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001858 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001859
1860 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001861 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001862
1863 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001864 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001865
Devang Patel193f7202009-11-24 01:14:22 +00001866 // Emit info into a debug pubtypes section.
1867 emitDebugPubTypes();
1868
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001869 // Emit info into a debug str section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001870 emitDebugStr();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001871
1872 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001873 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001874
1875 // Emit info into a debug aranges section.
1876 EmitDebugARanges();
1877
1878 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001879 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001880
1881 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001882 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001883
1884 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001885 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001886
1887 if (TimePassesIsEnabled)
1888 DebugTimer->stopTimer();
1889}
1890
Devang Patel53bb5c92009-11-10 23:06:00 +00001891/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001892DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1893 unsigned FrameIdx,
Devang Patel53bb5c92009-11-10 23:06:00 +00001894 DILocation &ScopeLoc) {
1895
1896 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1897 if (AbsDbgVariable)
1898 return AbsDbgVariable;
1899
1900 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1901 if (!Scope)
1902 return NULL;
1903
1904 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001905 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001906 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1907 return AbsDbgVariable;
1908}
1909
Devang Patel2c4ceb12009-11-21 02:48:08 +00001910/// collectVariableInfo - Populate DbgScope entries with variables' info.
1911void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001912 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001913
Devang Patele717faa2009-10-06 01:26:37 +00001914 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1915 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1916 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelbc5201f2010-01-22 22:52:10 +00001917 MDNode *Var = VI->first;
Devang Patel53bb5c92009-11-10 23:06:00 +00001918 if (!Var) continue;
Devang Pateleda31212009-10-08 18:48:03 +00001919 DIVariable DV (Var);
Devang Patel53bb5c92009-11-10 23:06:00 +00001920 std::pair< unsigned, MDNode *> VP = VI->second;
1921 DILocation ScopeLoc(VP.second);
1922
1923 DbgScope *Scope =
1924 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1925 if (!Scope)
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001926 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelfb0ee432009-11-10 23:20:04 +00001927 // If variable scope is not found then skip this variable.
1928 if (!Scope)
1929 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001930
1931 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001932 Scope->addVariable(RegVar);
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001933 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1934 ScopeLoc))
Devang Patel53bb5c92009-11-10 23:06:00 +00001935 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patele717faa2009-10-06 01:26:37 +00001936 }
1937}
1938
Devang Patel2c4ceb12009-11-21 02:48:08 +00001939/// beginScope - Process beginning of a scope starting at Label.
1940void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001941 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1942 if (I == DbgScopeBeginMap.end())
1943 return;
Dan Gohman277207e2009-11-23 21:30:55 +00001944 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001945 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001946 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001947 (*SDI)->setStartLabelID(Label);
1948}
1949
Devang Patel2c4ceb12009-11-21 02:48:08 +00001950/// endScope - Process end of a scope.
1951void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001952 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00001953 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00001954 return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001955
1956 unsigned Label = MMI->NextLabelID();
1957 Asm->printLabel(Label);
Dan Gohmaneecb9912009-12-05 01:42:34 +00001958 O << '\n';
Devang Patel53bb5c92009-11-10 23:06:00 +00001959
Devang Patel0d20ac82009-10-06 01:50:42 +00001960 SmallVector<DbgScope *, 2> &SD = I->second;
1961 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001962 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001963 (*SDI)->setEndLabelID(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00001964 return;
1965}
1966
1967/// createDbgScope - Create DbgScope for the scope.
1968void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1969
1970 if (!InlinedAt) {
1971 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1972 if (WScope)
1973 return;
1974 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1975 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001976 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00001977 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00001978 return;
1979 }
1980
1981 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1982 if (WScope)
1983 return;
1984
1985 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1986 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1987 DILocation DL(InlinedAt);
1988 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00001989}
1990
Devang Patel2c4ceb12009-11-21 02:48:08 +00001991/// extractScopeInformation - Scan machine instructions in this function
Devang Patelaf9e8472009-10-01 20:31:14 +00001992/// and collect DbgScopes. Return true, if atleast one scope was found.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001993bool DwarfDebug::extractScopeInformation(MachineFunction *MF) {
Devang Patelaf9e8472009-10-01 20:31:14 +00001994 // If scope information was extracted using .dbg intrinsics then there is not
1995 // any need to extract these information by scanning each instruction.
1996 if (!DbgScopeMap.empty())
1997 return false;
1998
Devang Patel344130e2010-01-04 20:44:00 +00001999 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2000 unsigned MIIndex = 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00002001 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00002002 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2003 I != E; ++I) {
2004 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2005 II != IE; ++II) {
2006 const MachineInstr *MInsn = II;
Devang Patel344130e2010-01-04 20:44:00 +00002007 MIIndexMap[MInsn] = MIIndex++;
Devang Patelaf9e8472009-10-01 20:31:14 +00002008 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002009 if (DL.isUnknown()) continue;
Devang Patel6b61f582010-01-16 06:09:35 +00002010 DILocation DLT = MF->getDILocation(DL);
2011 DIScope DLTScope = DLT.getScope();
2012 if (DLTScope.isNull()) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002013 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002014 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00002015 // into a scope DIE at the end.
Devang Patel6b61f582010-01-16 06:09:35 +00002016 if (DLTScope.isCompileUnit()) continue;
2017 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00002018 }
2019 }
2020
2021
2022 // Build scope hierarchy using working set of scopes.
2023 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2024 I != E; ++I) {
2025 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2026 II != IE; ++II) {
2027 const MachineInstr *MInsn = II;
2028 DebugLoc DL = MInsn->getDebugLoc();
2029 if (DL.isUnknown()) continue;
Devang Patel6b61f582010-01-16 06:09:35 +00002030 DILocation DLT = MF->getDILocation(DL);
2031 DIScope DLTScope = DLT.getScope();
2032 if (DLTScope.isNull()) continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002033 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002034 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002035 // into a scope DIE at the end.
Devang Patel6b61f582010-01-16 06:09:35 +00002036 if (DLTScope.isCompileUnit()) continue;
2037 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2038 DLT.getOrigLocation().getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00002039 Scope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00002040 }
2041 }
2042
Devang Patel344130e2010-01-04 20:44:00 +00002043 if (!CurrentFnDbgScope)
2044 return false;
2045
2046 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patelaf9e8472009-10-01 20:31:14 +00002047
2048 // Each scope has first instruction and last instruction to mark beginning
2049 // and end of a scope respectively. Create an inverse map that list scopes
2050 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel42aafd72010-01-20 02:05:23 +00002051 // multiple scopes. Ignore scopes that are not reachable.
2052 SmallVector<DbgScope *, 4> WorkList;
2053 WorkList.push_back(CurrentFnDbgScope);
2054 while (!WorkList.empty()) {
2055 DbgScope *S = WorkList.back(); WorkList.pop_back();
2056
2057 SmallVector<DbgScope *, 4> &Children = S->getScopes();
2058 if (!Children.empty())
2059 for (SmallVector<DbgScope *, 4>::iterator SI = Children.begin(),
2060 SE = Children.end(); SI != SE; ++SI)
2061 WorkList.push_back(*SI);
2062
Devang Patel53bb5c92009-11-10 23:06:00 +00002063 if (S->isAbstractScope())
2064 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002065 const MachineInstr *MI = S->getFirstInsn();
2066 assert (MI && "DbgScope does not have first instruction!");
2067
2068 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2069 if (IDI != DbgScopeBeginMap.end())
2070 IDI->second.push_back(S);
2071 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002072 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002073
2074 MI = S->getLastInsn();
2075 assert (MI && "DbgScope does not have last instruction!");
2076 IDI = DbgScopeEndMap.find(MI);
2077 if (IDI != DbgScopeEndMap.end())
2078 IDI->second.push_back(S);
2079 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002080 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002081 }
2082
2083 return !DbgScopeMap.empty();
2084}
2085
Devang Patel2c4ceb12009-11-21 02:48:08 +00002086/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002087/// emitted immediately after the function entry point.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002088void DwarfDebug::beginFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002089 this->MF = MF;
2090
2091 if (!ShouldEmitDwarfDebug()) return;
2092
2093 if (TimePassesIsEnabled)
2094 DebugTimer->startTimer();
2095
Devang Patel2c4ceb12009-11-21 02:48:08 +00002096 if (!extractScopeInformation(MF))
Devang Patel60b35bd2009-10-06 18:37:31 +00002097 return;
Devang Patel2c4ceb12009-11-21 02:48:08 +00002098
2099 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002100
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002101 // Begin accumulating function debug information.
2102 MMI->BeginFunction(MF);
2103
2104 // Assumes in correct section after the entry point.
2105 EmitLabel("func_begin", ++SubprogramCount);
2106
2107 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2108 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002109 DebugLoc FDL = MF->getDefaultDebugLoc();
2110 if (!FDL.isUnknown()) {
Devang Patel6b61f582010-01-16 06:09:35 +00002111 DILocation DLT = MF->getDILocation(FDL);
Devang Patelac1ceb32009-10-09 22:42:28 +00002112 unsigned LabelID = 0;
Devang Patel6b61f582010-01-16 06:09:35 +00002113 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Devang Patelac1ceb32009-10-09 22:42:28 +00002114 if (!SP.isNull())
Devang Patel6b61f582010-01-16 06:09:35 +00002115 LabelID = recordSourceLine(SP.getLineNumber(), 0,
2116 DLT.getScope().getNode());
Devang Patelac1ceb32009-10-09 22:42:28 +00002117 else
Devang Patel6b61f582010-01-16 06:09:35 +00002118 LabelID = recordSourceLine(DLT.getLineNumber(),
2119 DLT.getColumnNumber(),
2120 DLT.getScope().getNode());
Devang Patelac1ceb32009-10-09 22:42:28 +00002121 Asm->printLabel(LabelID);
2122 O << '\n';
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002123 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002124 if (TimePassesIsEnabled)
2125 DebugTimer->stopTimer();
2126}
2127
Devang Patel2c4ceb12009-11-21 02:48:08 +00002128/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002129///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002130void DwarfDebug::endFunction(MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002131 if (!ShouldEmitDwarfDebug()) return;
2132
2133 if (TimePassesIsEnabled)
2134 DebugTimer->startTimer();
2135
Devang Patelac1ceb32009-10-09 22:42:28 +00002136 if (DbgScopeMap.empty())
2137 return;
Devang Patel70d75ca2009-11-12 19:02:56 +00002138
Devang Patel344130e2010-01-04 20:44:00 +00002139 if (CurrentFnDbgScope) {
2140 // Define end label for subprogram.
2141 EmitLabel("func_end", SubprogramCount);
2142
2143 // Get function line info.
2144 if (!Lines.empty()) {
2145 // Get section line info.
2146 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2147 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2148 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2149 // Append the function info to section info.
2150 SectionLineInfos.insert(SectionLineInfos.end(),
2151 Lines.begin(), Lines.end());
2152 }
2153
2154 // Construct abstract scopes.
2155 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2156 AE = AbstractScopesList.end(); AI != AE; ++AI)
2157 constructScopeDIE(*AI);
2158
2159 constructScopeDIE(CurrentFnDbgScope);
2160
2161 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2162 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002163 }
2164
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002165 // Clear debug info
Devang Patelf54b8522010-01-19 01:26:02 +00002166 CurrentFnDbgScope = NULL;
2167 DbgScopeMap.clear();
2168 DbgScopeBeginMap.clear();
2169 DbgScopeEndMap.clear();
2170 ConcreteScopes.clear();
2171 AbstractScopesList.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002172 Lines.clear();
Devang Patelc09ddc12009-12-01 18:13:48 +00002173
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002174 if (TimePassesIsEnabled)
2175 DebugTimer->stopTimer();
2176}
2177
Devang Patel2c4ceb12009-11-21 02:48:08 +00002178/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002179/// label. Returns a unique label ID used to generate a label and provide
2180/// correspondence to the source line list.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002181unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patelf84548d2009-10-05 18:03:19 +00002182 MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002183 if (!MMI)
2184 return 0;
2185
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002186 if (TimePassesIsEnabled)
2187 DebugTimer->startTimer();
2188
Devang Patel65dbc902009-11-25 17:36:49 +00002189 StringRef Dir;
2190 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002191
2192 DIDescriptor Scope(S);
2193 if (Scope.isCompileUnit()) {
2194 DICompileUnit CU(S);
2195 Dir = CU.getDirectory();
2196 Fn = CU.getFilename();
2197 } else if (Scope.isSubprogram()) {
2198 DISubprogram SP(S);
2199 Dir = SP.getDirectory();
2200 Fn = SP.getFilename();
2201 } else if (Scope.isLexicalBlock()) {
2202 DILexicalBlock DB(S);
2203 Dir = DB.getDirectory();
2204 Fn = DB.getFilename();
2205 } else
2206 assert (0 && "Unexpected scope info");
2207
2208 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002209 unsigned ID = MMI->NextLabelID();
2210 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2211
2212 if (TimePassesIsEnabled)
2213 DebugTimer->stopTimer();
2214
2215 return ID;
2216}
2217
2218/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2219/// timed. Look up the source id with the given directory and source file
2220/// names. If none currently exists, create a new id and insert it in the
2221/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2222/// well.
2223unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2224 const std::string &FileName) {
2225 if (TimePassesIsEnabled)
2226 DebugTimer->startTimer();
2227
Devang Patel5ccdd102009-09-29 18:40:58 +00002228 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002229
2230 if (TimePassesIsEnabled)
2231 DebugTimer->stopTimer();
2232
2233 return SrcId;
2234}
2235
Bill Wendling829e67b2009-05-20 23:22:40 +00002236//===----------------------------------------------------------------------===//
2237// Emit Methods
2238//===----------------------------------------------------------------------===//
2239
Devang Patel2c4ceb12009-11-21 02:48:08 +00002240/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002241///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002242unsigned
2243DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002244 // Get the children.
2245 const std::vector<DIE *> &Children = Die->getChildren();
2246
2247 // If not last sibling and has children then add sibling offset attribute.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002248 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002249
2250 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002251 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002252
2253 // Get the abbreviation for this DIE.
2254 unsigned AbbrevNumber = Die->getAbbrevNumber();
2255 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2256
2257 // Set DIE offset
2258 Die->setOffset(Offset);
2259
2260 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002261 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002262
2263 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2264 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2265
2266 // Size the DIE attribute values.
2267 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2268 // Size attribute value.
2269 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2270
2271 // Size the DIE children if any.
2272 if (!Children.empty()) {
2273 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2274 "Children flag not set");
2275
2276 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002277 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002278
2279 // End of children marker.
2280 Offset += sizeof(int8_t);
2281 }
2282
2283 Die->setSize(Offset - Die->getOffset());
2284 return Offset;
2285}
2286
Devang Patel2c4ceb12009-11-21 02:48:08 +00002287/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002288///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002289void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002290 // Compute size of compile unit header.
2291 static unsigned Offset =
2292 sizeof(int32_t) + // Length of Compilation Unit Info
2293 sizeof(int16_t) + // DWARF version number
2294 sizeof(int32_t) + // Offset Into Abbrev. Section
2295 sizeof(int8_t); // Pointer Size (in bytes)
2296
Devang Patel2c4ceb12009-11-21 02:48:08 +00002297 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002298 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002299}
2300
Devang Patel2c4ceb12009-11-21 02:48:08 +00002301/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002302/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002303void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002304 // Check to see if we already emitted intial headers.
2305 if (didInitial) return;
2306 didInitial = true;
2307
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002308 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002309
Bill Wendling94d04b82009-05-20 23:21:38 +00002310 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002311 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002312 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002313 EmitLabel("section_debug_frame", 0);
2314 }
2315
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002316 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002317 EmitLabel("section_info", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002318 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002319 EmitLabel("section_abbrev", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002320 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002321 EmitLabel("section_aranges", 0);
2322
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002323 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2324 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling94d04b82009-05-20 23:21:38 +00002325 EmitLabel("section_macinfo", 0);
2326 }
2327
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002328 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002329 EmitLabel("section_line", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002330 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002331 EmitLabel("section_loc", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002332 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002333 EmitLabel("section_pubnames", 0);
Devang Patel193f7202009-11-24 01:14:22 +00002334 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2335 EmitLabel("section_pubtypes", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002336 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002337 EmitLabel("section_str", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002338 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002339 EmitLabel("section_ranges", 0);
2340
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002341 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002342 EmitLabel("text_begin", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002343 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002344 EmitLabel("data_begin", 0);
2345}
2346
Devang Patel2c4ceb12009-11-21 02:48:08 +00002347/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002348///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002349void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002350 // Get the abbreviation for this DIE.
2351 unsigned AbbrevNumber = Die->getAbbrevNumber();
2352 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2353
Chris Lattner0ad9c912010-01-22 22:09:00 +00002354 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002355
2356 // Emit the code (index) for the abbreviation.
Chris Lattner894d75a2010-01-22 23:18:42 +00002357 if (Asm->VerboseAsm)
2358 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2359 Twine::utohexstr(Die->getOffset()) + ":0x" +
2360 Twine::utohexstr(Die->getSize()) + " " +
2361 dwarf::TagString(Abbrev->getTag()));
2362 EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002363
2364 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2365 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2366
2367 // Emit the DIE attribute values.
2368 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2369 unsigned Attr = AbbrevData[i].getAttribute();
2370 unsigned Form = AbbrevData[i].getForm();
2371 assert(Form && "Too many attributes for DIE (check abbreviation)");
2372
Chris Lattnera8013622010-01-24 18:54:17 +00002373 if (Asm->VerboseAsm)
2374 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2375
Bill Wendling94d04b82009-05-20 23:21:38 +00002376 switch (Attr) {
2377 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002378 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002379 break;
2380 case dwarf::DW_AT_abstract_origin: {
2381 DIEEntry *E = cast<DIEEntry>(Values[i]);
2382 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002383 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002384 Asm->EmitInt32(Addr);
2385 break;
2386 }
2387 default:
2388 // Emit an attribute using the defined form.
2389 Values[i]->EmitValue(this, Form);
Chris Lattner3586e5e2010-01-24 19:01:06 +00002390 O << "\n"; // REMOVE This once all EmitValue impls emit their own newline.
Bill Wendling94d04b82009-05-20 23:21:38 +00002391 break;
2392 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002393 }
2394
2395 // Emit the DIE children if any.
2396 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2397 const std::vector<DIE *> &Children = Die->getChildren();
2398
2399 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002400 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002401
Chris Lattnerfaca5492010-01-22 23:47:11 +00002402 Asm->EmitInt8(0); EOL("End Of Children Mark");
Bill Wendling94d04b82009-05-20 23:21:38 +00002403 }
2404}
2405
Devang Patel8a241142009-12-09 18:24:21 +00002406/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002407///
Devang Patel8a241142009-12-09 18:24:21 +00002408void DwarfDebug::emitDebugInfo() {
2409 // Start debug info section.
2410 Asm->OutStreamer.SwitchSection(
2411 Asm->getObjFileLowering().getDwarfInfoSection());
2412 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002413
2414 // Emit the compile units header.
Devang Patel8a241142009-12-09 18:24:21 +00002415 EmitLabel("info_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002416
2417 // Emit size of content not including length itself
2418 unsigned ContentSize = Die->getSize() +
2419 sizeof(int16_t) + // DWARF version number
2420 sizeof(int32_t) + // Offset Into Abbrev. Section
2421 sizeof(int8_t) + // Pointer Size (in bytes)
2422 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2423
Chris Lattnerfaca5492010-01-22 23:47:11 +00002424 Asm->EmitInt32(ContentSize); EOL("Length of Compilation Unit Info");
2425 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling94d04b82009-05-20 23:21:38 +00002426 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002427 EOL("Offset Into Abbrev. Section");
2428 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002429
Devang Patel2c4ceb12009-11-21 02:48:08 +00002430 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002431 // FIXME - extra padding for gdb bug.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002432 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2433 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2434 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2435 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
Devang Patel8a241142009-12-09 18:24:21 +00002436 EmitLabel("info_end", ModuleCU->getID());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002437 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002438}
2439
Devang Patel2c4ceb12009-11-21 02:48:08 +00002440/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002441///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002442void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002443 // Check to see if it is worth the effort.
2444 if (!Abbreviations.empty()) {
2445 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002446 Asm->OutStreamer.SwitchSection(
2447 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002448
2449 EmitLabel("abbrev_begin", 0);
2450
2451 // For each abbrevation.
2452 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2453 // Get abbreviation data
2454 const DIEAbbrev *Abbrev = Abbreviations[i];
2455
2456 // Emit the abbrevations code (base 1 index.)
Chris Lattner894d75a2010-01-22 23:18:42 +00002457 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002458
2459 // Emit the abbreviations data.
Chris Lattner894d75a2010-01-22 23:18:42 +00002460 Abbrev->Emit(this);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002461 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002462 }
2463
2464 // Mark end of abbreviations.
Chris Lattner894d75a2010-01-22 23:18:42 +00002465 EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002466
2467 EmitLabel("abbrev_end", 0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002468 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002469 }
2470}
2471
Devang Patel2c4ceb12009-11-21 02:48:08 +00002472/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002473/// the line matrix.
2474///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002475void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002476 // Define last address of section.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002477 Asm->EmitInt8(0); EOL("Extended Op");
2478 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2479 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
2480 EmitReference("section_end", SectionEnd); EOL("Section end label");
Bill Wendling94d04b82009-05-20 23:21:38 +00002481
2482 // Mark end of matrix.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002483 Asm->EmitInt8(0); EOL("DW_LNE_end_sequence");
Chris Lattner0ad9c912010-01-22 22:09:00 +00002484 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002485 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002486}
2487
Devang Patel2c4ceb12009-11-21 02:48:08 +00002488/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002489///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002490void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002491 // If the target is using .loc/.file, the assembler will be emitting the
2492 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002493 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002494 return;
2495
2496 // Minimum line delta, thus ranging from -10..(255-10).
2497 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2498 // Maximum line delta, thus ranging from -10..(255-10).
2499 const int MaxLineDelta = 255 + MinLineDelta;
2500
2501 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002502 Asm->OutStreamer.SwitchSection(
2503 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002504
2505 // Construct the section header.
2506 EmitDifference("line_end", 0, "line_begin", 0, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002507 EOL("Length of Source Line Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002508 EmitLabel("line_begin", 0);
2509
Chris Lattnerfaca5492010-01-22 23:47:11 +00002510 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling94d04b82009-05-20 23:21:38 +00002511
2512 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002513 EOL("Prolog Length");
Bill Wendling94d04b82009-05-20 23:21:38 +00002514 EmitLabel("line_prolog_begin", 0);
2515
Chris Lattnerfaca5492010-01-22 23:47:11 +00002516 Asm->EmitInt8(1); EOL("Minimum Instruction Length");
2517 Asm->EmitInt8(1); EOL("Default is_stmt_start flag");
2518 Asm->EmitInt8(MinLineDelta); EOL("Line Base Value (Special Opcodes)");
2519 Asm->EmitInt8(MaxLineDelta); EOL("Line Range Value (Special Opcodes)");
2520 Asm->EmitInt8(-MinLineDelta); EOL("Special Opcode Base");
Bill Wendling94d04b82009-05-20 23:21:38 +00002521
2522 // Line number standard opcode encodings argument count
Chris Lattnerfaca5492010-01-22 23:47:11 +00002523 Asm->EmitInt8(0); EOL("DW_LNS_copy arg count");
2524 Asm->EmitInt8(1); EOL("DW_LNS_advance_pc arg count");
2525 Asm->EmitInt8(1); EOL("DW_LNS_advance_line arg count");
2526 Asm->EmitInt8(1); EOL("DW_LNS_set_file arg count");
2527 Asm->EmitInt8(1); EOL("DW_LNS_set_column arg count");
2528 Asm->EmitInt8(0); EOL("DW_LNS_negate_stmt arg count");
2529 Asm->EmitInt8(0); EOL("DW_LNS_set_basic_block arg count");
2530 Asm->EmitInt8(0); EOL("DW_LNS_const_add_pc arg count");
2531 Asm->EmitInt8(1); EOL("DW_LNS_fixed_advance_pc arg count");
Bill Wendling94d04b82009-05-20 23:21:38 +00002532
2533 // Emit directories.
2534 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattner4cf202b2010-01-23 03:11:46 +00002535 const std::string &Dir = getSourceDirectoryName(DI);
2536 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2537 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002538 }
2539
Chris Lattnerfaca5492010-01-22 23:47:11 +00002540 Asm->EmitInt8(0); EOL("End of directories");
Bill Wendling94d04b82009-05-20 23:21:38 +00002541
2542 // Emit files.
2543 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2544 // Remember source id starts at 1.
2545 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattner4cf202b2010-01-23 03:11:46 +00002546 const std::string &FN = getSourceFileName(Id.second);
2547 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2548 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2549
Chris Lattner894d75a2010-01-22 23:18:42 +00002550 EmitULEB128(Id.first, "Directory #");
2551 EmitULEB128(0, "Mod date");
2552 EmitULEB128(0, "File size");
Bill Wendling94d04b82009-05-20 23:21:38 +00002553 }
2554
Chris Lattnerfaca5492010-01-22 23:47:11 +00002555 Asm->EmitInt8(0); EOL("End of files");
Bill Wendling94d04b82009-05-20 23:21:38 +00002556
2557 EmitLabel("line_prolog_end", 0);
2558
2559 // A sequence for each text section.
2560 unsigned SecSrcLinesSize = SectionSourceLines.size();
2561
2562 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2563 // Isolate current sections line info.
2564 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2565
Chris Lattner93b6db32009-08-08 23:39:42 +00002566 /*if (Asm->isVerbose()) {
Chris Lattnera87dea42009-07-31 18:48:30 +00002567 const MCSection *S = SectionMap[j + 1];
Chris Lattner33adcfb2009-08-22 21:43:10 +00002568 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling94d04b82009-05-20 23:21:38 +00002569 << S->getName() << '\n';
Chris Lattner93b6db32009-08-08 23:39:42 +00002570 }*/
Chris Lattner0ad9c912010-01-22 22:09:00 +00002571 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002572
2573 // Dwarf assumes we start with first line of first source file.
2574 unsigned Source = 1;
2575 unsigned Line = 1;
2576
2577 // Construct rows of the address, source, line, column matrix.
2578 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2579 const SrcLineInfo &LineInfo = LineInfos[i];
2580 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2581 if (!LabelID) continue;
2582
Caroline Ticec6f9d622009-09-11 18:25:54 +00002583 if (LineInfo.getLine() == 0) continue;
2584
Bill Wendling94d04b82009-05-20 23:21:38 +00002585 if (!Asm->isVerbose())
Chris Lattner0ad9c912010-01-22 22:09:00 +00002586 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002587 else {
2588 std::pair<unsigned, unsigned> SourceID =
2589 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner33adcfb2009-08-22 21:43:10 +00002590 O << '\t' << MAI->getCommentString() << ' '
Dan Gohmanb3b98212009-12-05 02:00:34 +00002591 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling94d04b82009-05-20 23:21:38 +00002592 << getSourceFileName(SourceID.second)
Dan Gohmanb3b98212009-12-05 02:00:34 +00002593 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002594 }
2595
2596 // Define the line address.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002597 Asm->EmitInt8(0); EOL("Extended Op");
2598 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2599 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
2600 EmitReference("label", LabelID); EOL("Location label");
Bill Wendling94d04b82009-05-20 23:21:38 +00002601
2602 // If change of source, then switch to the new source.
2603 if (Source != LineInfo.getSourceID()) {
2604 Source = LineInfo.getSourceID();
Chris Lattnerfaca5492010-01-22 23:47:11 +00002605 Asm->EmitInt8(dwarf::DW_LNS_set_file); EOL("DW_LNS_set_file");
Chris Lattner894d75a2010-01-22 23:18:42 +00002606 EmitULEB128(Source, "New Source");
Bill Wendling94d04b82009-05-20 23:21:38 +00002607 }
2608
2609 // If change of line.
2610 if (Line != LineInfo.getLine()) {
2611 // Determine offset.
2612 int Offset = LineInfo.getLine() - Line;
2613 int Delta = Offset - MinLineDelta;
2614
2615 // Update line.
2616 Line = LineInfo.getLine();
2617
2618 // If delta is small enough and in range...
2619 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2620 // ... then use fast opcode.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002621 Asm->EmitInt8(Delta - MinLineDelta); EOL("Line Delta");
Bill Wendling94d04b82009-05-20 23:21:38 +00002622 } else {
2623 // ... otherwise use long hand.
2624 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002625 EOL("DW_LNS_advance_line");
Chris Lattnerbb9078a2010-01-22 22:56:55 +00002626 EmitSLEB128(Offset, "Line Offset");
Chris Lattnerfaca5492010-01-22 23:47:11 +00002627 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling94d04b82009-05-20 23:21:38 +00002628 }
2629 } else {
2630 // Copy the previous row (different address or source)
Chris Lattnerfaca5492010-01-22 23:47:11 +00002631 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling94d04b82009-05-20 23:21:38 +00002632 }
2633 }
2634
Devang Patel2c4ceb12009-11-21 02:48:08 +00002635 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002636 }
2637
2638 if (SecSrcLinesSize == 0)
2639 // Because we're emitting a debug_line section, we still need a line
2640 // table. The linker and friends expect it to exist. If there's nothing to
2641 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002642 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002643
2644 EmitLabel("line_end", 0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002645 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002646}
2647
Devang Patel2c4ceb12009-11-21 02:48:08 +00002648/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002649///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002650void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002651 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002652 return;
2653
2654 int stackGrowth =
2655 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2656 TargetFrameInfo::StackGrowsUp ?
2657 TD->getPointerSize() : -TD->getPointerSize();
2658
2659 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002660 Asm->OutStreamer.SwitchSection(
2661 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002662
2663 EmitLabel("debug_frame_common", 0);
2664 EmitDifference("debug_frame_common_end", 0,
2665 "debug_frame_common_begin", 0, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002666 EOL("Length of Common Information Entry");
Bill Wendling94d04b82009-05-20 23:21:38 +00002667
2668 EmitLabel("debug_frame_common_begin", 0);
2669 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002670 EOL("CIE Identifier Tag");
Bill Wendling94d04b82009-05-20 23:21:38 +00002671 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002672 EOL("CIE Version");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002673 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002674 EOL("CIE Augmentation");
Chris Lattner894d75a2010-01-22 23:18:42 +00002675 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattnerbb9078a2010-01-22 22:56:55 +00002676 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Bill Wendling94d04b82009-05-20 23:21:38 +00002677 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Chris Lattnerfaca5492010-01-22 23:47:11 +00002678 EOL("CIE RA Column");
Bill Wendling94d04b82009-05-20 23:21:38 +00002679
2680 std::vector<MachineMove> Moves;
2681 RI->getInitialFrameState(Moves);
2682
2683 EmitFrameMoves(NULL, 0, Moves, false);
2684
2685 Asm->EmitAlignment(2, 0, 0, false);
2686 EmitLabel("debug_frame_common_end", 0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002687 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002688}
2689
Devang Patel2c4ceb12009-11-21 02:48:08 +00002690/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002691/// section.
2692void
Devang Patel2c4ceb12009-11-21 02:48:08 +00002693DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattner33adcfb2009-08-22 21:43:10 +00002694 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002695 return;
2696
2697 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002698 Asm->OutStreamer.SwitchSection(
2699 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002700
2701 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2702 "debug_frame_begin", DebugFrameInfo.Number, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002703 EOL("Length of Frame Information Entry");
Bill Wendling94d04b82009-05-20 23:21:38 +00002704
2705 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2706
2707 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2708 0, 0, true, false);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002709 EOL("FDE CIE offset");
Bill Wendling94d04b82009-05-20 23:21:38 +00002710
2711 EmitReference("func_begin", DebugFrameInfo.Number);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002712 EOL("FDE initial location");
Bill Wendling94d04b82009-05-20 23:21:38 +00002713 EmitDifference("func_end", DebugFrameInfo.Number,
2714 "func_begin", DebugFrameInfo.Number);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002715 EOL("FDE address range");
Bill Wendling94d04b82009-05-20 23:21:38 +00002716
2717 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2718 false);
2719
2720 Asm->EmitAlignment(2, 0, 0, false);
2721 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002722 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002723}
2724
Devang Patel8a241142009-12-09 18:24:21 +00002725/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2726///
2727void DwarfDebug::emitDebugPubNames() {
2728 // Start the dwarf pubnames section.
2729 Asm->OutStreamer.SwitchSection(
2730 Asm->getObjFileLowering().getDwarfPubNamesSection());
2731
2732 EmitDifference("pubnames_end", ModuleCU->getID(),
2733 "pubnames_begin", ModuleCU->getID(), true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002734 EOL("Length of Public Names Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002735
Devang Patel8a241142009-12-09 18:24:21 +00002736 EmitLabel("pubnames_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002737
Chris Lattnerfaca5492010-01-22 23:47:11 +00002738 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002739
2740 EmitSectionOffset("info_begin", "section_info",
Devang Patel8a241142009-12-09 18:24:21 +00002741 ModuleCU->getID(), 0, true, false);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002742 EOL("Offset of Compilation Unit Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002743
Devang Patel8a241142009-12-09 18:24:21 +00002744 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002745 true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002746 EOL("Compilation Unit Length");
Bill Wendling94d04b82009-05-20 23:21:38 +00002747
Devang Patel8a241142009-12-09 18:24:21 +00002748 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002749 for (StringMap<DIE*>::const_iterator
2750 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2751 const char *Name = GI->getKeyData();
2752 DIE * Entity = GI->second;
2753
Chris Lattnerfaca5492010-01-22 23:47:11 +00002754 Asm->EmitInt32(Entity->getOffset()); EOL("DIE offset");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002755
2756 if (Asm->VerboseAsm)
2757 Asm->OutStreamer.AddComment("External Name");
2758 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002759 }
2760
Chris Lattnerfaca5492010-01-22 23:47:11 +00002761 Asm->EmitInt32(0); EOL("End Mark");
Devang Patel8a241142009-12-09 18:24:21 +00002762 EmitLabel("pubnames_end", ModuleCU->getID());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002763 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002764}
2765
Devang Patel193f7202009-11-24 01:14:22 +00002766void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002767 // Start the dwarf pubnames section.
2768 Asm->OutStreamer.SwitchSection(
2769 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel193f7202009-11-24 01:14:22 +00002770 EmitDifference("pubtypes_end", ModuleCU->getID(),
2771 "pubtypes_begin", ModuleCU->getID(), true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002772 EOL("Length of Public Types Info");
Devang Patel193f7202009-11-24 01:14:22 +00002773
2774 EmitLabel("pubtypes_begin", ModuleCU->getID());
2775
Chris Lattnerfaca5492010-01-22 23:47:11 +00002776 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF Version");
Devang Patel193f7202009-11-24 01:14:22 +00002777
2778 EmitSectionOffset("info_begin", "section_info",
2779 ModuleCU->getID(), 0, true, false);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002780 EOL("Offset of Compilation ModuleCU Info");
Devang Patel193f7202009-11-24 01:14:22 +00002781
2782 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2783 true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002784 EOL("Compilation ModuleCU Length");
Devang Patel193f7202009-11-24 01:14:22 +00002785
2786 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2787 for (StringMap<DIE*>::const_iterator
2788 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2789 const char *Name = GI->getKeyData();
2790 DIE * Entity = GI->second;
2791
Chris Lattnerfaca5492010-01-22 23:47:11 +00002792 Asm->EmitInt32(Entity->getOffset()); EOL("DIE offset");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002793
2794 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
2795 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)), 0);
Devang Patel193f7202009-11-24 01:14:22 +00002796 }
2797
Chris Lattnerfaca5492010-01-22 23:47:11 +00002798 Asm->EmitInt32(0); EOL("End Mark");
Devang Patel193f7202009-11-24 01:14:22 +00002799 EmitLabel("pubtypes_end", ModuleCU->getID());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002800 Asm->O << '\n';
Devang Patel193f7202009-11-24 01:14:22 +00002801}
2802
Devang Patel2c4ceb12009-11-21 02:48:08 +00002803/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002804///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002805void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002806 // Check to see if it is worth the effort.
2807 if (!StringPool.empty()) {
2808 // Start the dwarf str section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002809 Asm->OutStreamer.SwitchSection(
2810 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002811
2812 // For each of strings in the string pool.
2813 for (unsigned StringID = 1, N = StringPool.size();
2814 StringID <= N; ++StringID) {
2815 // Emit a label for reference from debug information entries.
2816 EmitLabel("string", StringID);
2817
2818 // Emit the string itself.
2819 const std::string &String = StringPool[StringID];
Chris Lattner4cf202b2010-01-23 03:11:46 +00002820 Asm->OutStreamer.EmitBytes(StringRef(String.c_str(), String.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002821 }
2822
Chris Lattner0ad9c912010-01-22 22:09:00 +00002823 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002824 }
2825}
2826
Devang Patel2c4ceb12009-11-21 02:48:08 +00002827/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002828///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002829void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002830 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002831 Asm->OutStreamer.SwitchSection(
2832 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002833}
2834
2835/// EmitDebugARanges - Emit visible names into a debug aranges section.
2836///
2837void DwarfDebug::EmitDebugARanges() {
2838 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002839 Asm->OutStreamer.SwitchSection(
2840 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002841
2842 // FIXME - Mock up
2843#if 0
2844 CompileUnit *Unit = GetBaseCompileUnit();
2845
2846 // Don't include size of length
Chris Lattnerfaca5492010-01-22 23:47:11 +00002847 Asm->EmitInt32(0x1c); EOL("Length of Address Ranges Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002848
Chris Lattnerfaca5492010-01-22 23:47:11 +00002849 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002850
2851 EmitReference("info_begin", Unit->getID());
Chris Lattnerfaca5492010-01-22 23:47:11 +00002852 EOL("Offset of Compilation Unit Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002853
Chris Lattnerfaca5492010-01-22 23:47:11 +00002854 Asm->EmitInt8(TD->getPointerSize()); EOL("Size of Address");
Bill Wendling94d04b82009-05-20 23:21:38 +00002855
Chris Lattnerfaca5492010-01-22 23:47:11 +00002856 Asm->EmitInt8(0); EOL("Size of Segment Descriptor");
Bill Wendling94d04b82009-05-20 23:21:38 +00002857
Chris Lattnerfaca5492010-01-22 23:47:11 +00002858 Asm->EmitInt16(0); EOL("Pad (1)");
2859 Asm->EmitInt16(0); EOL("Pad (2)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002860
2861 // Range 1
Chris Lattnerfaca5492010-01-22 23:47:11 +00002862 EmitReference("text_begin", 0); EOL("Address");
2863 EmitDifference("text_end", 0, "text_begin", 0, true); EOL("Length");
Bill Wendling94d04b82009-05-20 23:21:38 +00002864
Chris Lattnerfaca5492010-01-22 23:47:11 +00002865 Asm->EmitInt32(0); EOL("EOM (1)");
2866 Asm->EmitInt32(0); EOL("EOM (2)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002867#endif
Bill Wendling94d04b82009-05-20 23:21:38 +00002868}
2869
Devang Patel2c4ceb12009-11-21 02:48:08 +00002870/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002871///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002872void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002873 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002874 Asm->OutStreamer.SwitchSection(
2875 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002876}
2877
Devang Patel2c4ceb12009-11-21 02:48:08 +00002878/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002879///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002880void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002881 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002882 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002883 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002884 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002885 }
2886}
2887
Devang Patel2c4ceb12009-11-21 02:48:08 +00002888/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00002889/// Section Header:
2890/// 1. length of section
2891/// 2. Dwarf version number
2892/// 3. address size.
2893///
2894/// Entries (one "entry" for each function that was inlined):
2895///
2896/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2897/// otherwise offset into __debug_str for regular function name.
2898/// 2. offset into __debug_str section for regular function name.
2899/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2900/// instances for the function.
2901///
2902/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2903/// inlined instance; the die_offset points to the inlined_subroutine die in the
2904/// __debug_info section, and the low_pc is the starting address for the
2905/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002906void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002907 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002908 return;
2909
Devang Patel1dbc7712009-06-29 20:45:18 +00002910 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002911 return;
2912
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002913 Asm->OutStreamer.SwitchSection(
2914 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002915
Bill Wendling94d04b82009-05-20 23:21:38 +00002916 EmitDifference("debug_inlined_end", 1,
2917 "debug_inlined_begin", 1, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002918 EOL("Length of Debug Inlined Information Entry");
Bill Wendling94d04b82009-05-20 23:21:38 +00002919
2920 EmitLabel("debug_inlined_begin", 1);
2921
Chris Lattnerfaca5492010-01-22 23:47:11 +00002922 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
2923 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002924
Devang Patel53bb5c92009-11-10 23:06:00 +00002925 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2926 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002927
Devang Patel53bb5c92009-11-10 23:06:00 +00002928 MDNode *Node = *I;
Devang Patel622b0262010-01-19 06:19:05 +00002929 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002930 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00002931 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00002932 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00002933 StringRef LName = SP.getLinkageName();
2934 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002935
Chris Lattner4cf202b2010-01-23 03:11:46 +00002936 if (LName.empty()) {
2937 Asm->OutStreamer.EmitBytes(Name, 0);
2938 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
2939 } else
Devang Patel53bb5c92009-11-10 23:06:00 +00002940 EmitSectionOffset("string", "section_str",
Chris Lattner4cf202b2010-01-23 03:11:46 +00002941 StringPool.idFor(getRealLinkageName(LName)), false, true);
Devang Patel53bb5c92009-11-10 23:06:00 +00002942
Chris Lattnerfaca5492010-01-22 23:47:11 +00002943 EOL("MIPS linkage name");
Devang Patel53bb5c92009-11-10 23:06:00 +00002944 EmitSectionOffset("string", "section_str",
2945 StringPool.idFor(Name), false, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002946 EOL("Function name");
Chris Lattner894d75a2010-01-22 23:18:42 +00002947 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00002948
Devang Patel53bb5c92009-11-10 23:06:00 +00002949 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002950 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002951 DIE *SP = LI->second;
Chris Lattnerfaca5492010-01-22 23:47:11 +00002952 Asm->EmitInt32(SP->getOffset()); EOL("DIE offset");
Bill Wendling94d04b82009-05-20 23:21:38 +00002953
2954 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +00002955 O << MAI->getData32bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002956 else
Chris Lattner33adcfb2009-08-22 21:43:10 +00002957 O << MAI->getData64bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002958
Chris Lattnerfaca5492010-01-22 23:47:11 +00002959 PrintLabelName("label", LI->first); EOL("low_pc");
Bill Wendling94d04b82009-05-20 23:21:38 +00002960 }
2961 }
2962
2963 EmitLabel("debug_inlined_end", 1);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002964 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002965}