blob: 6adc36c9b009d3a9d0b63cdeee6df1e2691eabe6 [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"
Devang Patel3139fcf2010-01-26 21:39:14 +000029#include "llvm/Support/ValueHandle.h"
Chris Lattner0ad9c912010-01-22 22:09:00 +000030#include "llvm/Support/FormattedStream.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000031#include "llvm/Support/Timer.h"
32#include "llvm/System/Path.h"
Bill Wendling0310d762009-05-15 09:23:25 +000033using namespace llvm;
34
Bill Wendling0310d762009-05-15 09:23:25 +000035//===----------------------------------------------------------------------===//
36
37/// Configuration values for initial hash set sizes (log2).
38///
Bill Wendling0310d762009-05-15 09:23:25 +000039static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-05-15 09:23:25 +000040
41namespace llvm {
42
43//===----------------------------------------------------------------------===//
44/// CompileUnit - This dwarf writer support class manages information associate
45/// with a source file.
Nick Lewycky5f9843f2009-11-17 08:11:44 +000046class CompileUnit {
Bill Wendling0310d762009-05-15 09:23:25 +000047 /// ID - File identifier for source.
48 ///
49 unsigned ID;
50
51 /// Die - Compile unit debug information entry.
52 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000053 DIE *CUDie;
Bill Wendling0310d762009-05-15 09:23:25 +000054
Devang Patel6f01d9c2009-11-21 00:31:03 +000055 /// IndexTyDie - An anonymous type for index type.
56 DIE *IndexTyDie;
57
Bill Wendling0310d762009-05-15 09:23:25 +000058 /// GVToDieMap - Tracks the mapping of unit level debug informaton
59 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000060 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel622b0262010-01-19 06:19:05 +000061 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-05-15 09:23:25 +000062
63 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
64 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patele4b27562009-08-28 23:24:31 +000065 /// FIXME : Rename
Devang Patel622b0262010-01-19 06:19:05 +000066 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-05-15 09:23:25 +000067
68 /// Globals - A map of globally visible named entities for this unit.
69 ///
70 StringMap<DIE*> Globals;
71
Devang Patel193f7202009-11-24 01:14:22 +000072 /// GlobalTypes - A map of globally visible types for this unit.
73 ///
74 StringMap<DIE*> GlobalTypes;
75
Bill Wendling0310d762009-05-15 09:23:25 +000076public:
77 CompileUnit(unsigned I, DIE *D)
Devang Patel2c4ceb12009-11-21 02:48:08 +000078 : ID(I), CUDie(D), IndexTyDie(0) {}
79 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendling0310d762009-05-15 09:23:25 +000080
81 // Accessors.
Devang Patel193f7202009-11-24 01:14:22 +000082 unsigned getID() const { return ID; }
83 DIE* getCUDie() const { return CUDie; }
84 const StringMap<DIE*> &getGlobals() const { return Globals; }
85 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling0310d762009-05-15 09:23:25 +000086
87 /// hasContent - Return true if this compile unit has something to write out.
88 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000089 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +000090
Devang Patel2c4ceb12009-11-21 02:48:08 +000091 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +000092 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000093 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000094
Devang Patel193f7202009-11-24 01:14:22 +000095 /// addGlobalType - Add a new global type to the compile unit.
96 ///
97 void addGlobalType(const std::string &Name, DIE *Die) {
98 GlobalTypes[Name] = Die;
99 }
100
Devang Patel017d1212009-11-20 21:37:22 +0000101 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling0310d762009-05-15 09:23:25 +0000102 /// specified debug variable.
Devang Patel017d1212009-11-20 21:37:22 +0000103 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000104
Devang Patel017d1212009-11-20 21:37:22 +0000105 /// insertDIE - Insert DIE into the map.
106 void insertDIE(MDNode *N, DIE *D) {
107 GVToDieMap.insert(std::make_pair(N, D));
108 }
Bill Wendling0310d762009-05-15 09:23:25 +0000109
Devang Patel017d1212009-11-20 21:37:22 +0000110 /// getDIEEntry - Returns the debug information entry for the speciefied
111 /// debug variable.
Devang Patel6404e4e2009-12-15 19:16:48 +0000112 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel622b0262010-01-19 06:19:05 +0000113 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel6404e4e2009-12-15 19:16:48 +0000114 if (I == GVToDIEEntryMap.end())
115 return NULL;
116 return I->second;
117 }
Devang Patel017d1212009-11-20 21:37:22 +0000118
119 /// insertDIEEntry - Insert debug information entry into the map.
120 void insertDIEEntry(MDNode *N, DIEEntry *E) {
121 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling0310d762009-05-15 09:23:25 +0000122 }
123
Devang Patel2c4ceb12009-11-21 02:48:08 +0000124 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +0000125 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000126 void addDie(DIE *Buffer) {
127 this->CUDie->addChild(Buffer);
Bill Wendling0310d762009-05-15 09:23:25 +0000128 }
Devang Patel6f01d9c2009-11-21 00:31:03 +0000129
130 // getIndexTyDie - Get an anonymous type for index type.
131 DIE *getIndexTyDie() {
132 return IndexTyDie;
133 }
134
Jim Grosbach7ab38df2009-11-22 19:20:36 +0000135 // setIndexTyDie - Set D as anonymous type for index which can be reused
136 // later.
Devang Patel6f01d9c2009-11-21 00:31:03 +0000137 void setIndexTyDie(DIE *D) {
138 IndexTyDie = D;
139 }
140
Bill Wendling0310d762009-05-15 09:23:25 +0000141};
142
143//===----------------------------------------------------------------------===//
144/// DbgVariable - This class is used to track local variable information.
145///
Devang Patelf76a3d62009-11-16 21:53:40 +0000146class DbgVariable {
Bill Wendling0310d762009-05-15 09:23:25 +0000147 DIVariable Var; // Variable Descriptor.
148 unsigned FrameIndex; // Variable frame index.
Devang Patel53bb5c92009-11-10 23:06:00 +0000149 DbgVariable *AbstractVar; // Abstract variable for this variable.
150 DIE *TheDIE;
Bill Wendling0310d762009-05-15 09:23:25 +0000151public:
Devang Patel53bb5c92009-11-10 23:06:00 +0000152 DbgVariable(DIVariable V, unsigned I)
153 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000154
155 // Accessors.
Devang Patel53bb5c92009-11-10 23:06:00 +0000156 DIVariable getVariable() const { return Var; }
157 unsigned getFrameIndex() const { return FrameIndex; }
158 void setAbstractVariable(DbgVariable *V) { AbstractVar = V; }
159 DbgVariable *getAbstractVariable() const { return AbstractVar; }
160 void setDIE(DIE *D) { TheDIE = D; }
161 DIE *getDIE() const { return TheDIE; }
Bill Wendling0310d762009-05-15 09:23:25 +0000162};
163
164//===----------------------------------------------------------------------===//
165/// DbgScope - This class is used to track scope information.
166///
Devang Patelf76a3d62009-11-16 21:53:40 +0000167class DbgScope {
Bill Wendling0310d762009-05-15 09:23:25 +0000168 DbgScope *Parent; // Parent to this scope.
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000169 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel3139fcf2010-01-26 21:39:14 +0000170 // Location at which this scope is inlined.
171 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel53bb5c92009-11-10 23:06:00 +0000172 bool AbstractScope; // Abstract Scope
Bill Wendling0310d762009-05-15 09:23:25 +0000173 unsigned StartLabelID; // Label ID of the beginning of scope.
174 unsigned EndLabelID; // Label ID of the end of scope.
Devang Pateld38dd112009-10-01 18:25:23 +0000175 const MachineInstr *LastInsn; // Last instruction of this scope.
176 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000177 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
178 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000179
Owen Anderson04c05f72009-06-24 22:53:20 +0000180 // Private state for dump()
181 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000182public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000183 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000184 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000185 StartLabelID(0), EndLabelID(0),
Devang Patelc90aefe2009-10-14 21:08:09 +0000186 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000187 virtual ~DbgScope();
188
189 // Accessors.
190 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000191 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000192 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000193 MDNode *getInlinedAt() const {
Devang Patel3139fcf2010-01-26 21:39:14 +0000194 return InlinedAtLocation;
Devang Patelc90aefe2009-10-14 21:08:09 +0000195 }
Devang Patel53bb5c92009-11-10 23:06:00 +0000196 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendling0310d762009-05-15 09:23:25 +0000197 unsigned getStartLabelID() const { return StartLabelID; }
198 unsigned getEndLabelID() const { return EndLabelID; }
199 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
200 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Bill Wendling0310d762009-05-15 09:23:25 +0000201 void setStartLabelID(unsigned S) { StartLabelID = S; }
202 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Pateld38dd112009-10-01 18:25:23 +0000203 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
204 const MachineInstr *getLastInsn() { return LastInsn; }
205 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000206 void setAbstractScope() { AbstractScope = true; }
207 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000208 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000209
Devang Patel2c4ceb12009-11-21 02:48:08 +0000210 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000211 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000212 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000213
Devang Patel2c4ceb12009-11-21 02:48:08 +0000214 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000215 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000216 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000217
Devang Patel344130e2010-01-04 20:44:00 +0000218 void fixInstructionMarkers(DenseMap<const MachineInstr *,
219 unsigned> &MIIndexMap) {
Devang Patelaf9e8472009-10-01 20:31:14 +0000220 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel344130e2010-01-04 20:44:00 +0000221
222 // Use the end of last child scope as end of this scope.
Devang Patelaf9e8472009-10-01 20:31:14 +0000223 SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patelee890ed2010-01-05 16:59:17 +0000224 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel344130e2010-01-04 20:44:00 +0000225 unsigned LIndex = 0;
226 if (Scopes.empty()) {
227 assert (getLastInsn() && "Inner most scope does not have last insn!");
228 return;
229 }
230 for (SmallVector<DbgScope *, 4>::iterator SI = Scopes.begin(),
231 SE = Scopes.end(); SI != SE; ++SI) {
232 DbgScope *DS = *SI;
233 DS->fixInstructionMarkers(MIIndexMap);
234 const MachineInstr *DSLastInsn = DS->getLastInsn();
235 unsigned DSI = MIIndexMap[DSLastInsn];
236 if (DSI > LIndex) {
237 LastInsn = DSLastInsn;
238 LIndex = DSI;
239 }
240 }
241 setLastInsn(LastInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +0000242 }
243
Bill Wendling0310d762009-05-15 09:23:25 +0000244#ifndef NDEBUG
245 void dump() const;
246#endif
247};
248
249#ifndef NDEBUG
250void DbgScope::dump() const {
David Greenef83adbc2009-12-24 00:31:35 +0000251 raw_ostream &err = dbgs();
Chris Lattnerc281de12009-08-23 00:51:00 +0000252 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000253 MDNode *N = Desc.getNode();
254 N->dump();
Chris Lattnerc281de12009-08-23 00:51:00 +0000255 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patel53bb5c92009-11-10 23:06:00 +0000256 if (AbstractScope)
257 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000258
259 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000260 if (!Scopes.empty())
261 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000262 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
263 if (Scopes[i] != this)
264 Scopes[i]->dump();
265
266 IndentLevel -= 2;
267}
268#endif
269
Bill Wendling0310d762009-05-15 09:23:25 +0000270DbgScope::~DbgScope() {
271 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
272 delete Scopes[i];
273 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
274 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000275}
276
277} // end llvm namespace
278
Chris Lattneraf76e592009-08-22 20:48:53 +0000279DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattner066c9ac2010-01-22 22:23:57 +0000280 : DwarfPrinter(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000281 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patel2c4ceb12009-11-21 02:48:08 +0000282 DIEValues(), StringPool(),
Bill Wendling0310d762009-05-15 09:23:25 +0000283 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel53bb5c92009-11-10 23:06:00 +0000284 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendling0310d762009-05-15 09:23:25 +0000285 if (TimePassesIsEnabled)
Chris Lattner0b86a6f2009-12-28 07:41:18 +0000286 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling0310d762009-05-15 09:23:25 +0000287}
288DwarfDebug::~DwarfDebug() {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000289 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
290 delete DIEValues[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000291
Bill Wendling0310d762009-05-15 09:23:25 +0000292 delete DebugTimer;
293}
294
Devang Patel2c4ceb12009-11-21 02:48:08 +0000295/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000296///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000297void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000298 // Profile the node so that we can make it unique.
299 FoldingSetNodeID ID;
300 Abbrev.Profile(ID);
301
302 // Check the set for priors.
303 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
304
305 // If it's newly added.
306 if (InSet == &Abbrev) {
307 // Add to abbreviation list.
308 Abbreviations.push_back(&Abbrev);
309
310 // Assign the vector position + 1 as its number.
311 Abbrev.setNumber(Abbreviations.size());
312 } else {
313 // Assign existing abbreviation number.
314 Abbrev.setNumber(InSet->getNumber());
315 }
316}
317
Devang Patel2c4ceb12009-11-21 02:48:08 +0000318/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000319/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000320DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000321 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000322 DIEValues.push_back(Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000323 return Value;
324}
325
Devang Patel2c4ceb12009-11-21 02:48:08 +0000326/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000327///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000328void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000329 unsigned Form, uint64_t Integer) {
330 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000331 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000332 DIEValues.push_back(Value);
333 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000334}
335
Devang Patel2c4ceb12009-11-21 02:48:08 +0000336/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000337///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000338void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000339 unsigned Form, int64_t Integer) {
340 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000341 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000342 DIEValues.push_back(Value);
343 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000344}
345
Devang Patel69f57b12009-12-02 15:25:16 +0000346/// addString - Add a string attribute data and value. DIEString only
347/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000348void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner4cf202b2010-01-23 03:11:46 +0000349 StringRef String) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000350 DIEValue *Value = new DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000351 DIEValues.push_back(Value);
352 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000353}
354
Devang Patel2c4ceb12009-11-21 02:48:08 +0000355/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000356///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000357void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000358 const DWLabel &Label) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000359 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000360 DIEValues.push_back(Value);
361 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000362}
363
Devang Patel2c4ceb12009-11-21 02:48:08 +0000364/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000365///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000366void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner858431d2010-01-16 18:50:28 +0000367 const MCSymbol *Sym) {
368 DIEValue *Value = new DIEObjectLabel(Sym);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000369 DIEValues.push_back(Value);
370 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000371}
372
Devang Patel2c4ceb12009-11-21 02:48:08 +0000373/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000374///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000375void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000376 const DWLabel &Label, const DWLabel &Section,
377 bool isEH, bool useSet) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000378 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000379 DIEValues.push_back(Value);
380 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000381}
382
Devang Patel2c4ceb12009-11-21 02:48:08 +0000383/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000384///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000385void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000386 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000387 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000388 DIEValues.push_back(Value);
389 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000390}
391
Devang Patel2c4ceb12009-11-21 02:48:08 +0000392/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000393///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000394void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000395 DIEBlock *Block) {
396 Block->ComputeSize(TD);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000397 DIEValues.push_back(Block);
398 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000399}
400
Devang Patel2c4ceb12009-11-21 02:48:08 +0000401/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000402/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000403void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000404 // If there is no compile unit specified, don't add a line #.
405 if (V->getCompileUnit().isNull())
406 return;
407
408 unsigned Line = V->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000409 unsigned FileID = findCompileUnit(V->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000410 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000411 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
412 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000413}
414
Devang Patel2c4ceb12009-11-21 02:48:08 +0000415/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000416/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000417void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000418 // If there is no compile unit specified, don't add a line #.
419 if (G->getCompileUnit().isNull())
420 return;
421
422 unsigned Line = G->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000423 unsigned FileID = findCompileUnit(G->getCompileUnit())->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000424 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000425 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
426 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000427}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000428
Devang Patel2c4ceb12009-11-21 02:48:08 +0000429/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000430/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000431void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000432 // If there is no compile unit specified, don't add a line #.
433 if (SP->getCompileUnit().isNull())
434 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000435 // If the line number is 0, don't add it.
436 if (SP->getLineNumber() == 0)
437 return;
438
Devang Patel82dfc0c2009-08-31 22:47:13 +0000439
440 unsigned Line = SP->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000441 unsigned FileID = findCompileUnit(SP->getCompileUnit())->getID();
Devang Patel82dfc0c2009-08-31 22:47:13 +0000442 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000443 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
444 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000445}
446
Devang Patel2c4ceb12009-11-21 02:48:08 +0000447/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000448/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000449void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000450 // If there is no compile unit specified, don't add a line #.
451 DICompileUnit CU = Ty->getCompileUnit();
452 if (CU.isNull())
453 return;
454
455 unsigned Line = Ty->getLineNumber();
Devang Pateld037d7a2009-12-11 21:37:07 +0000456 unsigned FileID = findCompileUnit(CU)->getID();
Bill Wendling0310d762009-05-15 09:23:25 +0000457 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000458 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
459 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000460}
461
Devang Patel6404e4e2009-12-15 19:16:48 +0000462/// addSourceLine - Add location information to specified debug information
463/// entry.
464void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
465 // If there is no compile unit specified, don't add a line #.
466 if (NS->getCompileUnit().isNull())
467 return;
468
469 unsigned Line = NS->getLineNumber();
470 StringRef FN = NS->getFilename();
471 StringRef Dir = NS->getDirectory();
472
473 unsigned FileID = GetOrCreateSourceID(Dir, FN);
474 assert(FileID && "Invalid file id");
475 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
476 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
477}
478
Caroline Ticedc8f6042009-08-31 21:19:37 +0000479/* Byref variables, in Blocks, are declared by the programmer as
480 "SomeType VarName;", but the compiler creates a
481 __Block_byref_x_VarName struct, and gives the variable VarName
482 either the struct, or a pointer to the struct, as its type. This
483 is necessary for various behind-the-scenes things the compiler
484 needs to do with by-reference variables in blocks.
485
486 However, as far as the original *programmer* is concerned, the
487 variable should still have type 'SomeType', as originally declared.
488
489 The following function dives into the __Block_byref_x_VarName
490 struct to find the original type of the variable. This will be
491 passed back to the code generating the type for the Debug
492 Information Entry for the variable 'VarName'. 'VarName' will then
493 have the original type 'SomeType' in its debug information.
494
495 The original type 'SomeType' will be the type of the field named
496 'VarName' inside the __Block_byref_x_VarName struct.
497
498 NOTE: In order for this to not completely fail on the debugger
499 side, the Debug Information Entry for the variable VarName needs to
500 have a DW_AT_location that tells the debugger how to unwind through
501 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000502 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000503
504/// Find the type the programmer originally declared the variable to be
505/// and return that type.
506///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000507DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000508
509 DIType subType = Ty;
510 unsigned tag = Ty.getTag();
511
512 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000513 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000514 subType = DTy.getTypeDerivedFrom();
515 }
516
517 DICompositeType blockStruct = DICompositeType(subType.getNode());
518
519 DIArray Elements = blockStruct.getTypeArray();
520
521 if (Elements.isNull())
522 return Ty;
523
524 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
525 DIDescriptor Element = Elements.getElement(i);
526 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000527 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000528 return (DT.getTypeDerivedFrom());
529 }
530
531 return Ty;
532}
533
Devang Patel2c4ceb12009-11-21 02:48:08 +0000534/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000535/// and generate the DWARF information necessary to find the actual variable
536/// given the extra address information encoded in the DIVariable, starting from
537/// the starting location. Add the DWARF information to the die.
538///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000539void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000540 unsigned Attribute,
541 const MachineLocation &Location) {
542 const DIVariable &VD = DV->getVariable();
543 DIType Ty = VD.getType();
544
545 // Decode the original location, and use that as the start of the byref
546 // variable's location.
547 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
548 DIEBlock *Block = new DIEBlock();
549
550 if (Location.isReg()) {
551 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000552 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000553 } else {
554 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000555 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
556 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000557 }
558 } else {
559 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000560 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000561 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000562 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
563 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000564 }
565
Devang Patel2c4ceb12009-11-21 02:48:08 +0000566 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000567 }
568
569 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
570 uint64_t Element = VD.getAddrElement(i);
571
572 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000573 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
574 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000575 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000576 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000577 } else llvm_unreachable("unknown DIFactory Opcode");
578 }
579
580 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000581 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000582}
583
Caroline Ticedc8f6042009-08-31 21:19:37 +0000584/* Byref variables, in Blocks, are declared by the programmer as "SomeType
585 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
586 gives the variable VarName either the struct, or a pointer to the struct, as
587 its type. This is necessary for various behind-the-scenes things the
588 compiler needs to do with by-reference variables in Blocks.
589
590 However, as far as the original *programmer* is concerned, the variable
591 should still have type 'SomeType', as originally declared.
592
Devang Patel2c4ceb12009-11-21 02:48:08 +0000593 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000594 struct to find the original type of the variable, which is then assigned to
595 the variable's Debug Information Entry as its real type. So far, so good.
596 However now the debugger will expect the variable VarName to have the type
597 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000598 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000599 pointers and struct to find the actual variable of type SomeType.
600
601 The following function does just that. We start by getting
602 the "normal" location for the variable. This will be the location
603 of either the struct __Block_byref_x_VarName or the pointer to the
604 struct __Block_byref_x_VarName.
605
606 The struct will look something like:
607
608 struct __Block_byref_x_VarName {
609 ... <various fields>
610 struct __Block_byref_x_VarName *forwarding;
611 ... <various other fields>
612 SomeType VarName;
613 ... <maybe more fields>
614 };
615
616 If we are given the struct directly (as our starting point) we
617 need to tell the debugger to:
618
619 1). Add the offset of the forwarding field.
620
621 2). Follow that pointer to get the the real __Block_byref_x_VarName
622 struct to use (the real one may have been copied onto the heap).
623
624 3). Add the offset for the field VarName, to find the actual variable.
625
626 If we started with a pointer to the struct, then we need to
627 dereference that pointer first, before the other steps.
628 Translating this into DWARF ops, we will need to append the following
629 to the current location description for the variable:
630
631 DW_OP_deref -- optional, if we start with a pointer
632 DW_OP_plus_uconst <forward_fld_offset>
633 DW_OP_deref
634 DW_OP_plus_uconst <varName_fld_offset>
635
636 That is what this function does. */
637
Devang Patel2c4ceb12009-11-21 02:48:08 +0000638/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000639/// provided, and generate the DWARF information necessary to find the
640/// actual Block variable (navigating the Block struct) based on the
641/// starting location. Add the DWARF information to the die. For
642/// more information, read large comment just above here.
643///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000644void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000645 unsigned Attribute,
646 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000647 const DIVariable &VD = DV->getVariable();
648 DIType Ty = VD.getType();
649 DIType TmpTy = Ty;
650 unsigned Tag = Ty.getTag();
651 bool isPointer = false;
652
Devang Patel65dbc902009-11-25 17:36:49 +0000653 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000654
655 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000656 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000657 TmpTy = DTy.getTypeDerivedFrom();
658 isPointer = true;
659 }
660
661 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
662
Daniel Dunbar00564992009-09-19 20:40:14 +0000663 // Find the __forwarding field and the variable field in the __Block_byref
664 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000665 DIArray Fields = blockStruct.getTypeArray();
666 DIDescriptor varField = DIDescriptor();
667 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000668
669
Daniel Dunbar00564992009-09-19 20:40:14 +0000670 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
671 DIDescriptor Element = Fields.getElement(i);
672 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000673 StringRef fieldName = DT.getName();
674 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000675 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000676 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000677 varField = Element;
678 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000679
Mike Stump7e3720d2009-09-24 23:21:26 +0000680 assert(!varField.isNull() && "Can't find byref variable in Block struct");
681 assert(!forwardingField.isNull()
682 && "Can't find forwarding field in Block struct");
Caroline Ticedc8f6042009-08-31 21:19:37 +0000683
Daniel Dunbar00564992009-09-19 20:40:14 +0000684 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar00564992009-09-19 20:40:14 +0000685 unsigned int forwardingFieldOffset =
686 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
687 unsigned int varFieldOffset =
688 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000689
Mike Stump7e3720d2009-09-24 23:21:26 +0000690 // Decode the original location, and use that as the start of the byref
691 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000692 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
693 DIEBlock *Block = new DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000694
Daniel Dunbar00564992009-09-19 20:40:14 +0000695 if (Location.isReg()) {
696 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000697 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000698 else {
699 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000700 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
701 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000702 }
703 } else {
704 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000706 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000707 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
708 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000709 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000710
Devang Patel2c4ceb12009-11-21 02:48:08 +0000711 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000712 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000713
Mike Stump7e3720d2009-09-24 23:21:26 +0000714 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000715 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000716 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000717 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000718
Daniel Dunbar00564992009-09-19 20:40:14 +0000719 // Next add the offset for the '__forwarding' field:
720 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
721 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000722 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000723 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
724 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000725 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000726
Daniel Dunbar00564992009-09-19 20:40:14 +0000727 // Now dereference the __forwarding field to get to the real __Block_byref
728 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000730
Daniel Dunbar00564992009-09-19 20:40:14 +0000731 // Now that we've got the real __Block_byref... struct, add the offset
732 // for the variable's field to get to the location of the actual variable:
733 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000734 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000735 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
736 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000737 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000738
Daniel Dunbar00564992009-09-19 20:40:14 +0000739 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000740 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000741}
742
Devang Patel2c4ceb12009-11-21 02:48:08 +0000743/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000744/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000745void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000746 const MachineLocation &Location) {
747 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
748 DIEBlock *Block = new DIEBlock();
749
750 if (Location.isReg()) {
751 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000752 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000753 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000754 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
755 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000756 }
757 } else {
758 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000759 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000760 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000761 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
762 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000763 }
764
Devang Patel2c4ceb12009-11-21 02:48:08 +0000765 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000766 }
767
Devang Patel2c4ceb12009-11-21 02:48:08 +0000768 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000769}
770
Devang Patelc366f832009-12-10 19:14:49 +0000771/// addToContextOwner - Add Die into the list of its context owner's children.
772void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
773 if (Context.isNull())
774 ModuleCU->addDie(Die);
775 else if (Context.isType()) {
776 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
777 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000778 } else if (Context.isNameSpace()) {
779 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
780 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000781 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
782 ContextDIE->addChild(Die);
783 else
784 ModuleCU->addDie(Die);
785}
786
Devang Patel16ced732009-12-10 18:05:33 +0000787/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
788/// given DIType.
789DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
790 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
791 if (TyDIE)
792 return TyDIE;
793
794 // Create new type.
795 TyDIE = new DIE(dwarf::DW_TAG_base_type);
796 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
797 if (Ty.isBasicType())
798 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
799 else if (Ty.isCompositeType())
800 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
801 else {
802 assert(Ty.isDerivedType() && "Unknown kind of DIType");
803 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
804 }
805
Devang Patelc366f832009-12-10 19:14:49 +0000806 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000807 return TyDIE;
808}
809
Devang Patel2c4ceb12009-11-21 02:48:08 +0000810/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000811void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000812 if (Ty.isNull())
813 return;
814
815 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000816 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000817 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000818 if (Entry) {
819 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000820 return;
821 }
822
823 // Set up proxy.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000824 Entry = createDIEEntry();
Devang Patel8a241142009-12-09 18:24:21 +0000825 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000826
827 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000828 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000829
Devang Patel2c4ceb12009-11-21 02:48:08 +0000830 Entry->setEntry(Buffer);
831 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000832}
833
Devang Patel2c4ceb12009-11-21 02:48:08 +0000834/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000835void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000836 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000837 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000838 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000839 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000840 BTy.getEncoding());
841
842 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000843 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000844 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000845 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000846 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000847}
848
Devang Patel2c4ceb12009-11-21 02:48:08 +0000849/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000850void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000851 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000852 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000853 uint64_t Size = DTy.getSizeInBits() >> 3;
854 unsigned Tag = DTy.getTag();
855
856 // FIXME - Workaround for templates.
857 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
858
859 Buffer.setTag(Tag);
860
861 // Map to main type, void will not have a type.
862 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000863 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000864
865 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000866 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000867 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000868
869 // Add size if non-zero (derived types might be zero-sized.)
870 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000871 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000872
873 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000874 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000875 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000876}
877
Devang Patel2c4ceb12009-11-21 02:48:08 +0000878/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000879void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000880 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000881 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000882
883 uint64_t Size = CTy.getSizeInBits() >> 3;
884 unsigned Tag = CTy.getTag();
885 Buffer.setTag(Tag);
886
887 switch (Tag) {
888 case dwarf::DW_TAG_vector_type:
889 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000890 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000891 break;
892 case dwarf::DW_TAG_enumeration_type: {
893 DIArray Elements = CTy.getTypeArray();
894
895 // Add enumerators to enumeration type.
896 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
897 DIE *ElemDie = NULL;
Devang Patele4b27562009-08-28 23:24:31 +0000898 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelc5254722009-10-09 17:51:49 +0000899 if (!Enum.isNull()) {
Devang Patel8a241142009-12-09 18:24:21 +0000900 ElemDie = constructEnumTypeDIE(&Enum);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000901 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000902 }
Bill Wendling0310d762009-05-15 09:23:25 +0000903 }
904 }
905 break;
906 case dwarf::DW_TAG_subroutine_type: {
907 // Add return type.
908 DIArray Elements = CTy.getTypeArray();
909 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000910 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000911
912 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000913 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000914
915 // Add arguments.
916 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
917 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
918 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000919 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000920 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000921 }
922 }
923 break;
924 case dwarf::DW_TAG_structure_type:
925 case dwarf::DW_TAG_union_type:
926 case dwarf::DW_TAG_class_type: {
927 // Add elements to structure type.
928 DIArray Elements = CTy.getTypeArray();
929
930 // A forward struct declared type may not have elements available.
931 if (Elements.isNull())
932 break;
933
934 // Add elements to structure type.
935 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
936 DIDescriptor Element = Elements.getElement(i);
Devang Patele4b27562009-08-28 23:24:31 +0000937 if (Element.isNull())
938 continue;
Bill Wendling0310d762009-05-15 09:23:25 +0000939 DIE *ElemDie = NULL;
940 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patelffe966c2009-12-14 16:18:45 +0000941 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000942 else
Devang Patel8a241142009-12-09 18:24:21 +0000943 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000944 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000945 }
946
Devang Patela1ba2692009-08-27 23:51:51 +0000947 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000948 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000949
950 unsigned RLang = CTy.getRunTimeLang();
951 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000952 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000953 dwarf::DW_FORM_data1, RLang);
Devang Patelb5544992010-01-26 21:16:06 +0000954
955 DICompositeType ContainingType = CTy.getContainingType();
956 if (!ContainingType.isNull())
957 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
958 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling0310d762009-05-15 09:23:25 +0000959 break;
960 }
961 default:
962 break;
963 }
964
965 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000966 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000967 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000968
969 if (Tag == dwarf::DW_TAG_enumeration_type ||
970 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
971 // Add size if non-zero (derived types might be zero-sized.)
972 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000973 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000974 else {
975 // Add zero size if it is not a forward declaration.
976 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000977 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000978 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000979 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000980 }
981
982 // Add source line info if available.
983 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000984 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000985 }
986}
987
Devang Patel2c4ceb12009-11-21 02:48:08 +0000988/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
989void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +0000990 int64_t L = SR.getLo();
991 int64_t H = SR.getHi();
992 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
993
Devang Patel2c4ceb12009-11-21 02:48:08 +0000994 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +0000995 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000996 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +0000997 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +0000998
Devang Patel2c4ceb12009-11-21 02:48:08 +0000999 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +00001000}
1001
Devang Patel2c4ceb12009-11-21 02:48:08 +00001002/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +00001003void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +00001004 DICompositeType *CTy) {
1005 Buffer.setTag(dwarf::DW_TAG_array_type);
1006 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001007 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001008
1009 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001010 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001011 DIArray Elements = CTy->getTypeArray();
1012
Devang Patel6f01d9c2009-11-21 00:31:03 +00001013 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001014 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001015 if (!IdxTy) {
1016 // Construct an anonymous type for index type.
1017 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001018 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1019 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001020 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001021 ModuleCU->addDie(IdxTy);
1022 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001023 }
Bill Wendling0310d762009-05-15 09:23:25 +00001024
1025 // Add subranges to array type.
1026 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1027 DIDescriptor Element = Elements.getElement(i);
1028 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001029 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001030 }
1031}
1032
Devang Patel2c4ceb12009-11-21 02:48:08 +00001033/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel8a241142009-12-09 18:24:21 +00001034DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator *ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001035 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel65dbc902009-11-25 17:36:49 +00001036 StringRef Name = ETy->getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001037 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +00001038 int64_t Value = ETy->getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001039 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001040 return Enumerator;
1041}
1042
Devang Patel351ca332010-01-05 01:46:14 +00001043/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1044/// printer to not emit usual symbol prefix before the symbol name is used then
1045/// return linkage name after skipping this special LLVM prefix.
1046static StringRef getRealLinkageName(StringRef LinkageName) {
1047 char One = '\1';
1048 if (LinkageName.startswith(StringRef(&One, 1)))
1049 return LinkageName.substr(1);
1050 return LinkageName;
1051}
1052
Devang Patel2c4ceb12009-11-21 02:48:08 +00001053/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001054DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001055 // If the global variable was optmized out then no need to create debug info
1056 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001057 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001058 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001059
Bill Wendling0310d762009-05-15 09:23:25 +00001060 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001061 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001062 GV.getDisplayName());
1063
Devang Patel65dbc902009-11-25 17:36:49 +00001064 StringRef LinkageName = GV.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001065 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001066 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001067 getRealLinkageName(LinkageName));
1068
Devang Patel8a241142009-12-09 18:24:21 +00001069 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001070 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001071 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1072 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001073
Bill Wendling0310d762009-05-15 09:23:25 +00001074 return GVDie;
1075}
1076
Devang Patel2c4ceb12009-11-21 02:48:08 +00001077/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001078DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001079 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001080 StringRef Name = DT.getName();
1081 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001082 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001083
Devang Patel8a241142009-12-09 18:24:21 +00001084 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001085
Devang Patel2c4ceb12009-11-21 02:48:08 +00001086 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001087
Devang Patel33db5082009-11-04 22:06:12 +00001088 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001089 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001090
Bill Wendling0310d762009-05-15 09:23:25 +00001091 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001092 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001093
1094 if (Size != FieldSize) {
1095 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001096 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1097 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001098
1099 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling0310d762009-05-15 09:23:25 +00001100 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1101 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer3d594fd2010-01-07 17:50:57 +00001102 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling0310d762009-05-15 09:23:25 +00001103 Offset -= FieldOffset;
1104
1105 // Maybe we need to work from the other end.
1106 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001107 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001108
Devang Patel33db5082009-11-04 22:06:12 +00001109 // Here WD_AT_data_member_location points to the anonymous
1110 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001111 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001112
1113 } else
1114 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001115 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001116
Devang Patel2c4ceb12009-11-21 02:48:08 +00001117 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001118
1119 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001120 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001121 dwarf::DW_ACCESS_protected);
1122 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001123 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001124 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001125 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1126 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1127 dwarf::DW_ACCESS_public);
1128 if (DT.isVirtual())
1129 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1130 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001131 return MemberDie;
1132}
1133
Devang Patelffe966c2009-12-14 16:18:45 +00001134/// createSubprogramDIE - Create new DIE using SP.
1135DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1136 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1137 if (SPDie)
1138 return SPDie;
1139
1140 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel65dbc902009-11-25 17:36:49 +00001141 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001142
Devang Patel65dbc902009-11-25 17:36:49 +00001143 StringRef LinkageName = SP.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001144 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001145 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001146 getRealLinkageName(LinkageName));
1147
Devang Patel2c4ceb12009-11-21 02:48:08 +00001148 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001149
Bill Wendling0310d762009-05-15 09:23:25 +00001150 // Add prototyped tag, if C or ObjC.
1151 unsigned Lang = SP.getCompileUnit().getLanguage();
1152 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1153 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001154 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001155
1156 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001157 DICompositeType SPTy = SP.getType();
1158 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001159 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001160
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001161 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001162 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001163 else
Devang Patel8a241142009-12-09 18:24:21 +00001164 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001165
Devang Patel5d11eb02009-12-03 19:11:07 +00001166 unsigned VK = SP.getVirtuality();
1167 if (VK) {
1168 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1169 DIEBlock *Block = new DIEBlock();
1170 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1171 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1172 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel622b0262010-01-19 06:19:05 +00001173 ContainingTypeMap.insert(std::make_pair(SPDie,
1174 SP.getContainingType().getNode()));
Devang Patel5d11eb02009-12-03 19:11:07 +00001175 }
1176
Devang Patelffe966c2009-12-14 16:18:45 +00001177 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001178 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001179
1180 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001181 // be handled while processing variables.
1182 DICompositeType SPTy = SP.getType();
1183 DIArray Args = SPTy.getTypeArray();
1184 unsigned SPTag = SPTy.getTag();
1185
Bill Wendling0310d762009-05-15 09:23:25 +00001186 if (SPTag == dwarf::DW_TAG_subroutine_type)
1187 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1188 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel8a241142009-12-09 18:24:21 +00001189 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001190 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1191 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001192 }
1193 }
1194
Bill Wendling0310d762009-05-15 09:23:25 +00001195 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001196 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001197 return SPDie;
1198}
1199
Devang Patel2c4ceb12009-11-21 02:48:08 +00001200/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling0310d762009-05-15 09:23:25 +00001201///
Devang Pateld037d7a2009-12-11 21:37:07 +00001202CompileUnit *DwarfDebug::findCompileUnit(DICompileUnit Unit) {
Bill Wendling0310d762009-05-15 09:23:25 +00001203 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patele4b27562009-08-28 23:24:31 +00001204 CompileUnitMap.find(Unit.getNode());
Devang Pateld037d7a2009-12-11 21:37:07 +00001205 if (I == CompileUnitMap.end())
1206 return constructCompileUnit(Unit.getNode());
1207 return I->second;
Bill Wendling0310d762009-05-15 09:23:25 +00001208}
1209
Devang Patel53bb5c92009-11-10 23:06:00 +00001210/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1211/// Initialize scope and update scope hierarchy.
1212DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1213 MDNode *InlinedAt) {
1214 assert (N && "Invalid Scope encoding!");
1215 assert (MI && "Missing machine instruction!");
1216 bool GetConcreteScope = (MI && InlinedAt);
1217
1218 DbgScope *NScope = NULL;
1219
1220 if (InlinedAt)
1221 NScope = DbgScopeMap.lookup(InlinedAt);
1222 else
1223 NScope = DbgScopeMap.lookup(N);
1224 assert (NScope && "Unable to find working scope!");
1225
1226 if (NScope->getFirstInsn())
1227 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001228
1229 DbgScope *Parent = NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001230 if (GetConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001231 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001232 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001233 IL.getOrigLocation().getNode());
1234 assert (Parent && "Unable to find Parent scope!");
1235 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001236 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001237 } else if (DIDescriptor(N).isLexicalBlock()) {
1238 DILexicalBlock DB(N);
1239 if (!DB.getContext().isNull()) {
1240 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1241 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001242 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001243 }
Devang Patelc90aefe2009-10-14 21:08:09 +00001244 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001245
Devang Patelbdf45cb2009-10-27 20:47:17 +00001246 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001247
Devang Patel53bb5c92009-11-10 23:06:00 +00001248 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001249 StringRef SPName = DISubprogram(N).getLinkageName();
1250 if (SPName == MF->getFunction()->getName())
1251 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001252 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001253
Devang Patel53bb5c92009-11-10 23:06:00 +00001254 if (GetConcreteScope) {
1255 ConcreteScopes[InlinedAt] = NScope;
1256 getOrCreateAbstractScope(N);
1257 }
1258
Devang Patelbdf45cb2009-10-27 20:47:17 +00001259 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001260}
1261
Devang Patel53bb5c92009-11-10 23:06:00 +00001262DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1263 assert (N && "Invalid Scope encoding!");
1264
1265 DbgScope *AScope = AbstractScopes.lookup(N);
1266 if (AScope)
1267 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001268
Devang Patel53bb5c92009-11-10 23:06:00 +00001269 DbgScope *Parent = NULL;
1270
1271 DIDescriptor Scope(N);
1272 if (Scope.isLexicalBlock()) {
1273 DILexicalBlock DB(N);
1274 DIDescriptor ParentDesc = DB.getContext();
1275 if (!ParentDesc.isNull())
1276 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1277 }
1278
1279 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1280
1281 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001282 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001283 AScope->setAbstractScope();
1284 AbstractScopes[N] = AScope;
1285 if (DIDescriptor(N).isSubprogram())
1286 AbstractScopesList.push_back(AScope);
1287 return AScope;
1288}
Devang Patelaf9e8472009-10-01 20:31:14 +00001289
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001290/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001291/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1292/// If there are global variables in this scope then create and insert
1293/// DIEs for these variables.
1294DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001295
Devang Patel017d1212009-11-20 21:37:22 +00001296 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel53bb5c92009-11-10 23:06:00 +00001297 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patelffe966c2009-12-14 16:18:45 +00001298 DISubprogram SP(SPNode);
1299 if (SP.isDefinition() && !SP.getContext().isCompileUnit()) {
1300 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1301 // Add arguments.
1302 DICompositeType SPTy = SP.getType();
1303 DIArray Args = SPTy.getTypeArray();
1304 unsigned SPTag = SPTy.getTag();
1305 if (SPTag == dwarf::DW_TAG_subroutine_type)
1306 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1307 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1308 addType(Arg, DIType(Args.getElement(i).getNode()));
1309 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1310 SPDie->addChild(Arg);
1311 }
1312 DIE *SPDeclDie = SPDie;
1313 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1314 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1315 SPDeclDie);
Devang Patelffe966c2009-12-14 16:18:45 +00001316 ModuleCU->addDie(SPDie);
1317 }
1318
Devang Patel2c4ceb12009-11-21 02:48:08 +00001319 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001320 DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001321 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001322 DWLabel("func_end", SubprogramCount));
1323 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001324 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001325
Devang Patel53bb5c92009-11-10 23:06:00 +00001326 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001327 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001328
Devang Patel53bb5c92009-11-10 23:06:00 +00001329 return SPDie;
1330}
1331
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001332/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001333/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1334DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001335 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1336 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1337
1338 // Ignore empty scopes.
1339 if (StartID == EndID && StartID != 0)
1340 return NULL;
1341
1342 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1343 if (Scope->isAbstractScope())
1344 return ScopeDIE;
1345
Devang Patel2c4ceb12009-11-21 02:48:08 +00001346 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001347 StartID ?
1348 DWLabel("label", StartID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001349 : DWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001350 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001351 EndID ?
1352 DWLabel("label", EndID)
Devang Patel53bb5c92009-11-10 23:06:00 +00001353 : DWLabel("func_end", SubprogramCount));
1354
1355
1356
1357 return ScopeDIE;
1358}
1359
Devang Patel2c4ceb12009-11-21 02:48:08 +00001360/// constructInlinedScopeDIE - This scope represents inlined body of
1361/// a function. Construct DIE to represent this concrete inlined copy
1362/// of the function.
1363DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001364 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1365 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1366 assert (StartID && "Invalid starting label for an inlined scope!");
1367 assert (EndID && "Invalid end label for an inlined scope!");
1368 // Ignore empty scopes.
1369 if (StartID == EndID && StartID != 0)
1370 return NULL;
1371
1372 DIScope DS(Scope->getScopeNode());
1373 if (DS.isNull())
1374 return NULL;
1375 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1376
1377 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001378 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001379 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001380 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001381 dwarf::DW_FORM_ref4, OriginDIE);
1382
Devang Patel2c4ceb12009-11-21 02:48:08 +00001383 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001384 DWLabel("label", StartID));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001385 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel53bb5c92009-11-10 23:06:00 +00001386 DWLabel("label", EndID));
1387
1388 InlinedSubprogramDIEs.insert(OriginDIE);
1389
1390 // Track the start label for this inlined function.
Devang Patel622b0262010-01-19 06:19:05 +00001391 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel53bb5c92009-11-10 23:06:00 +00001392 I = InlineInfo.find(InlinedSP.getNode());
1393
1394 if (I == InlineInfo.end()) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001395 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1396 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001397 InlinedSPNodes.push_back(InlinedSP.getNode());
1398 } else
1399 I->second.push_back(std::make_pair(StartID, ScopeDIE));
1400
1401 StringPool.insert(InlinedSP.getName());
Devang Patel351ca332010-01-05 01:46:14 +00001402 StringPool.insert(getRealLinkageName(InlinedSP.getLinkageName()));
1403
Devang Patel53bb5c92009-11-10 23:06:00 +00001404 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001405 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1406 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001407
1408 return ScopeDIE;
1409}
1410
Devang Patel2c4ceb12009-11-21 02:48:08 +00001411
1412/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001413DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001414 // Get the descriptor.
1415 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001416 StringRef Name = VD.getName();
1417 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001418 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001419
1420 // Translate tag to proper Dwarf tag. The result variable is dropped for
1421 // now.
1422 unsigned Tag;
1423 switch (VD.getTag()) {
1424 case dwarf::DW_TAG_return_variable:
1425 return NULL;
1426 case dwarf::DW_TAG_arg_variable:
1427 Tag = dwarf::DW_TAG_formal_parameter;
1428 break;
1429 case dwarf::DW_TAG_auto_variable: // fall thru
1430 default:
1431 Tag = dwarf::DW_TAG_variable;
1432 break;
1433 }
1434
1435 // Define variable debug information entry.
1436 DIE *VariableDie = new DIE(Tag);
1437
1438
1439 DIE *AbsDIE = NULL;
1440 if (DbgVariable *AV = DV->getAbstractVariable())
1441 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001442
Devang Patel53bb5c92009-11-10 23:06:00 +00001443 if (AbsDIE) {
1444 DIScope DS(Scope->getScopeNode());
1445 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001446 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001447 (void) OriginSPDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001448 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1449 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1450 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001451 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001452 dwarf::DW_FORM_ref4, AbsDIE);
1453 }
1454 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001455 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1456 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001457
1458 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001459 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001460 // addresses instead.
1461 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001462 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001463 else
Devang Patel8a241142009-12-09 18:24:21 +00001464 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001465 }
1466
1467 // Add variable address.
1468 if (!Scope->isAbstractScope()) {
1469 MachineLocation Location;
Jim Grosbacha2f20b22009-11-22 20:14:00 +00001470 unsigned FrameReg;
1471 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1472 Location.set(FrameReg, Offset);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001473
Devang Patel53bb5c92009-11-10 23:06:00 +00001474 if (VD.hasComplexAddress())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001475 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001476 else if (VD.isBlockByrefVariable())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001477 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001478 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001479 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel53bb5c92009-11-10 23:06:00 +00001480 }
1481 DV->setDIE(VariableDie);
1482 return VariableDie;
1483
1484}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001485
Devang Patel193f7202009-11-24 01:14:22 +00001486void DwarfDebug::addPubTypes(DISubprogram SP) {
1487 DICompositeType SPTy = SP.getType();
1488 unsigned SPTag = SPTy.getTag();
1489 if (SPTag != dwarf::DW_TAG_subroutine_type)
1490 return;
1491
1492 DIArray Args = SPTy.getTypeArray();
1493 if (Args.isNull())
1494 return;
1495
1496 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1497 DIType ATy(Args.getElement(i).getNode());
1498 if (ATy.isNull())
1499 continue;
1500 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel65dbc902009-11-25 17:36:49 +00001501 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001502 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1503 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1504 }
1505 }
1506}
1507
Devang Patel2c4ceb12009-11-21 02:48:08 +00001508/// constructScopeDIE - Construct a DIE for this scope.
1509DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001510 if (!Scope)
1511 return NULL;
1512 DIScope DS(Scope->getScopeNode());
1513 if (DS.isNull())
1514 return NULL;
1515
1516 DIE *ScopeDIE = NULL;
1517 if (Scope->getInlinedAt())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001518 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001519 else if (DS.isSubprogram()) {
1520 if (Scope->isAbstractScope())
Devang Patel017d1212009-11-20 21:37:22 +00001521 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001522 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001523 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001524 }
1525 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001526 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001527 if (!ScopeDIE) return NULL;
1528 }
1529
1530 // Add variables to scope.
1531 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1532 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001533 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001534 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001535 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001536 }
1537
1538 // Add nested scopes.
1539 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1540 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1541 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001542 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001543 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001544 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001545 }
Devang Patel193f7202009-11-24 01:14:22 +00001546
1547 if (DS.isSubprogram())
1548 addPubTypes(DISubprogram(DS.getNode()));
1549
1550 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001551}
1552
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001553/// GetOrCreateSourceID - Look up the source id with the given directory and
1554/// source file names. If none currently exists, create a new id and insert it
1555/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1556/// maps as well.
Devang Patel65dbc902009-11-25 17:36:49 +00001557unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001558 unsigned DId;
1559 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1560 if (DI != DirectoryIdMap.end()) {
1561 DId = DI->getValue();
1562 } else {
1563 DId = DirectoryNames.size() + 1;
1564 DirectoryIdMap[DirName] = DId;
1565 DirectoryNames.push_back(DirName);
1566 }
1567
1568 unsigned FId;
1569 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1570 if (FI != SourceFileIdMap.end()) {
1571 FId = FI->getValue();
1572 } else {
1573 FId = SourceFileNames.size() + 1;
1574 SourceFileIdMap[FileName] = FId;
1575 SourceFileNames.push_back(FileName);
1576 }
1577
1578 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1579 SourceIdMap.find(std::make_pair(DId, FId));
1580 if (SI != SourceIdMap.end())
1581 return SI->second;
1582
1583 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1584 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1585 SourceIds.push_back(std::make_pair(DId, FId));
1586
1587 return SrcId;
1588}
1589
Devang Patel6404e4e2009-12-15 19:16:48 +00001590/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1591DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1592 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1593 if (NDie)
1594 return NDie;
1595 NDie = new DIE(dwarf::DW_TAG_namespace);
1596 ModuleCU->insertDIE(NS.getNode(), NDie);
1597 if (!NS.getName().empty())
1598 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1599 addSourceLine(NDie, &NS);
1600 addToContextOwner(NDie, NS.getContext());
1601 return NDie;
1602}
1603
Devang Pateld037d7a2009-12-11 21:37:07 +00001604CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001605 DICompileUnit DIUnit(N);
Devang Patel65dbc902009-11-25 17:36:49 +00001606 StringRef FN = DIUnit.getFilename();
1607 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001608 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001609
1610 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001611 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001612 DWLabel("section_line", 0), DWLabel("section_line", 0),
1613 false);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001614 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001615 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001616 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001617 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001618 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001619
Devang Patel65dbc902009-11-25 17:36:49 +00001620 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001621 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001622 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001623 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001624
Devang Patel65dbc902009-11-25 17:36:49 +00001625 StringRef Flags = DIUnit.getFlags();
1626 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001627 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001628
1629 unsigned RVer = DIUnit.getRunTimeVersion();
1630 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001631 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001632 dwarf::DW_FORM_data1, RVer);
1633
1634 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel1dbc7712009-06-29 20:45:18 +00001635 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel70f44262009-06-29 20:38:13 +00001636 // Use first compile unit marked as isMain as the compile unit
1637 // for this module.
Devang Patel1dbc7712009-06-29 20:45:18 +00001638 ModuleCU = Unit;
Devang Patel70f44262009-06-29 20:38:13 +00001639 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001640
Devang Patele4b27562009-08-28 23:24:31 +00001641 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001642 CompileUnits.push_back(Unit);
Devang Pateld037d7a2009-12-11 21:37:07 +00001643 return Unit;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001644}
1645
Devang Patel2c4ceb12009-11-21 02:48:08 +00001646void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001647 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001648
Devang Patel905cf5e2009-09-04 23:59:07 +00001649 // If debug information is malformed then ignore it.
1650 if (DI_GV.Verify() == false)
1651 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001652
1653 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001654 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001655 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001656
Devang Patel8a241142009-12-09 18:24:21 +00001657 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001658 if (!VariableDie)
1659 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001660
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001661 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001662 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001663
1664 // Add to context owner.
Devang Patelc9b16cc2010-01-15 01:12:22 +00001665 DIDescriptor GVContext = DI_GV.getContext();
1666 // Do not create specification DIE if context is either compile unit
1667 // or a subprogram.
1668 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
1669 && !GVContext.isSubprogram()) {
Devang Patel6404e4e2009-12-15 19:16:48 +00001670 // Create specification DIE.
1671 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1672 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1673 dwarf::DW_FORM_ref4, VariableDie);
1674 DIEBlock *Block = new DIEBlock();
1675 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1676 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner858431d2010-01-16 18:50:28 +00001677 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001678 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
1679 ModuleCU->addDie(VariableSpecDIE);
1680 } else {
1681 DIEBlock *Block = new DIEBlock();
1682 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1683 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner858431d2010-01-16 18:50:28 +00001684 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001685 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1686 }
Devang Patelc9b16cc2010-01-15 01:12:22 +00001687 addToContextOwner(VariableDie, GVContext);
Devang Patelc366f832009-12-10 19:14:49 +00001688
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001689 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001690 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001691
1692 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001693 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001694 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1695 assert (Entry && "Missing global type!");
1696 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1697 }
Devang Patel13e16b62009-06-26 01:49:18 +00001698 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001699}
1700
Devang Patel2c4ceb12009-11-21 02:48:08 +00001701void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001702 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001703
1704 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001705 if (ModuleCU->getDIE(N))
Devang Patel13e16b62009-06-26 01:49:18 +00001706 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001707
1708 if (!SP.isDefinition())
1709 // This is a method declaration which will be handled while constructing
1710 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001711 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001712
Devang Patel8a241142009-12-09 18:24:21 +00001713 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001714
1715 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001716 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001717
1718 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001719 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001720
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001721 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001722 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001723
Devang Patel13e16b62009-06-26 01:49:18 +00001724 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001725}
1726
Devang Patel2c4ceb12009-11-21 02:48:08 +00001727/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001728/// content. Create global DIEs and emit initial debug info sections.
1729/// This is inovked by the target AsmPrinter.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001730void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel208622d2009-06-25 22:36:02 +00001731 this->M = M;
1732
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001733 if (TimePassesIsEnabled)
1734 DebugTimer->startTimer();
1735
Devang Patel3380cc52009-11-11 19:55:08 +00001736 if (!MAI->doesSupportDebugInformation())
1737 return;
1738
Devang Patel78ab9e22009-07-30 18:56:46 +00001739 DebugInfoFinder DbgFinder;
1740 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001741
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001742 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001743 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1744 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001745 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001746
1747 if (CompileUnits.empty()) {
1748 if (TimePassesIsEnabled)
1749 DebugTimer->stopTimer();
1750
1751 return;
1752 }
1753
Devang Patel70f44262009-06-29 20:38:13 +00001754 // If main compile unit for this module is not seen than randomly
1755 // select first compile unit.
Devang Patel1dbc7712009-06-29 20:45:18 +00001756 if (!ModuleCU)
1757 ModuleCU = CompileUnits[0];
Devang Patel70f44262009-06-29 20:38:13 +00001758
Devang Patel53bb5c92009-11-10 23:06:00 +00001759 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001760 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1761 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001762 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001763
Devang Patelc366f832009-12-10 19:14:49 +00001764 // Create DIEs for each global variable.
1765 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1766 E = DbgFinder.global_variable_end(); I != E; ++I)
1767 constructGlobalVariableDIE(*I);
1768
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001769 MMI = mmi;
1770 shouldEmit = true;
1771 MMI->setDebugInfoAvailability(true);
1772
1773 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001774 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001775
1776 // Print out .file directives to specify files for .loc directives. These are
1777 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001778 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001779 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1780 // Remember source id starts at 1.
1781 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattner0ad9c912010-01-22 22:09:00 +00001782 // FIXME: don't use sys::path for this! This should not depend on the
1783 // host.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001784 sys::Path FullPath(getSourceDirectoryName(Id.first));
1785 bool AppendOk =
1786 FullPath.appendComponent(getSourceFileName(Id.second));
1787 assert(AppendOk && "Could not append filename to directory!");
1788 AppendOk = false;
Chris Lattnera6594fc2010-01-25 18:58:59 +00001789 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001790 }
1791 }
1792
1793 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001794 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001795
1796 if (TimePassesIsEnabled)
1797 DebugTimer->stopTimer();
1798}
1799
Devang Patel2c4ceb12009-11-21 02:48:08 +00001800/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001801///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001802void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001803 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001804 return;
1805
1806 if (TimePassesIsEnabled)
1807 DebugTimer->startTimer();
1808
Devang Patel53bb5c92009-11-10 23:06:00 +00001809 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1810 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1811 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1812 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001813 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001814 }
1815
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001816 // Insert top level DIEs.
1817 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1818 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1819 ModuleCU->getCUDie()->addChild(*TI);
1820
Devang Patel622b0262010-01-19 06:19:05 +00001821 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel5d11eb02009-12-03 19:11:07 +00001822 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1823 DIE *SPDie = CI->first;
1824 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1825 if (!N) continue;
1826 DIE *NDie = ModuleCU->getDIE(N);
1827 if (!NDie) continue;
1828 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patelf8b72ca2010-01-15 00:26:31 +00001829 // FIXME - This is not the correct approach.
1830 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel5d11eb02009-12-03 19:11:07 +00001831 }
1832
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001833 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001834 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001835 EmitLabel("text_end", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001836 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001837 EmitLabel("data_end", 0);
1838
1839 // End text sections.
1840 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001841 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001842 EmitLabel("section_end", i);
1843 }
1844
1845 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001846 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001847
1848 // Emit function debug frame information
1849 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1850 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001851 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001852
1853 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001854 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001855
1856 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001857 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001858
1859 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001860 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001861
1862 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001863 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001864
1865 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001866 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001867
Devang Patel193f7202009-11-24 01:14:22 +00001868 // Emit info into a debug pubtypes section.
1869 emitDebugPubTypes();
1870
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001871 // Emit info into a debug str section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001872 emitDebugStr();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001873
1874 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001875 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001876
1877 // Emit info into a debug aranges section.
1878 EmitDebugARanges();
1879
1880 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001881 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001882
1883 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001884 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001885
1886 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001887 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001888
1889 if (TimePassesIsEnabled)
1890 DebugTimer->stopTimer();
1891}
1892
Devang Patel53bb5c92009-11-10 23:06:00 +00001893/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001894DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1895 unsigned FrameIdx,
Devang Patel53bb5c92009-11-10 23:06:00 +00001896 DILocation &ScopeLoc) {
1897
1898 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1899 if (AbsDbgVariable)
1900 return AbsDbgVariable;
1901
1902 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1903 if (!Scope)
1904 return NULL;
1905
1906 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001907 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001908 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1909 return AbsDbgVariable;
1910}
1911
Devang Patel2c4ceb12009-11-21 02:48:08 +00001912/// collectVariableInfo - Populate DbgScope entries with variables' info.
1913void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001914 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001915
Devang Patele717faa2009-10-06 01:26:37 +00001916 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1917 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1918 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelbc5201f2010-01-22 22:52:10 +00001919 MDNode *Var = VI->first;
Devang Patel53bb5c92009-11-10 23:06:00 +00001920 if (!Var) continue;
Devang Pateleda31212009-10-08 18:48:03 +00001921 DIVariable DV (Var);
Devang Patel53bb5c92009-11-10 23:06:00 +00001922 std::pair< unsigned, MDNode *> VP = VI->second;
1923 DILocation ScopeLoc(VP.second);
1924
1925 DbgScope *Scope =
1926 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1927 if (!Scope)
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001928 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelfb0ee432009-11-10 23:20:04 +00001929 // If variable scope is not found then skip this variable.
1930 if (!Scope)
1931 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001932
1933 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001934 Scope->addVariable(RegVar);
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001935 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1936 ScopeLoc))
Devang Patel53bb5c92009-11-10 23:06:00 +00001937 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patele717faa2009-10-06 01:26:37 +00001938 }
1939}
1940
Devang Patel2c4ceb12009-11-21 02:48:08 +00001941/// beginScope - Process beginning of a scope starting at Label.
1942void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001943 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1944 if (I == DbgScopeBeginMap.end())
1945 return;
Dan Gohman277207e2009-11-23 21:30:55 +00001946 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001947 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001948 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001949 (*SDI)->setStartLabelID(Label);
1950}
1951
Devang Patel2c4ceb12009-11-21 02:48:08 +00001952/// endScope - Process end of a scope.
1953void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel0d20ac82009-10-06 01:50:42 +00001954 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00001955 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00001956 return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001957
1958 unsigned Label = MMI->NextLabelID();
1959 Asm->printLabel(Label);
Dan Gohmaneecb9912009-12-05 01:42:34 +00001960 O << '\n';
Devang Patel53bb5c92009-11-10 23:06:00 +00001961
Devang Patel0d20ac82009-10-06 01:50:42 +00001962 SmallVector<DbgScope *, 2> &SD = I->second;
1963 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001964 SDI != SDE; ++SDI)
Devang Patel0d20ac82009-10-06 01:50:42 +00001965 (*SDI)->setEndLabelID(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00001966 return;
1967}
1968
1969/// createDbgScope - Create DbgScope for the scope.
1970void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1971
1972 if (!InlinedAt) {
1973 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1974 if (WScope)
1975 return;
1976 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1977 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001978 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00001979 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00001980 return;
1981 }
1982
1983 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1984 if (WScope)
1985 return;
1986
1987 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1988 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1989 DILocation DL(InlinedAt);
1990 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00001991}
1992
Devang Patel2c4ceb12009-11-21 02:48:08 +00001993/// extractScopeInformation - Scan machine instructions in this function
Devang Patelaf9e8472009-10-01 20:31:14 +00001994/// and collect DbgScopes. Return true, if atleast one scope was found.
Chris Lattnereec791a2010-01-26 23:18:02 +00001995bool DwarfDebug::extractScopeInformation() {
Devang Patelaf9e8472009-10-01 20:31:14 +00001996 // If scope information was extracted using .dbg intrinsics then there is not
1997 // any need to extract these information by scanning each instruction.
1998 if (!DbgScopeMap.empty())
1999 return false;
2000
Devang Patel344130e2010-01-04 20:44:00 +00002001 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2002 unsigned MIIndex = 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00002003 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00002004 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2005 I != E; ++I) {
2006 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2007 II != IE; ++II) {
2008 const MachineInstr *MInsn = II;
Devang Patel344130e2010-01-04 20:44:00 +00002009 MIIndexMap[MInsn] = MIIndex++;
Devang Patelaf9e8472009-10-01 20:31:14 +00002010 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002011 if (DL.isUnknown()) continue;
Devang Patel6b61f582010-01-16 06:09:35 +00002012 DILocation DLT = MF->getDILocation(DL);
2013 DIScope DLTScope = DLT.getScope();
2014 if (DLTScope.isNull()) continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002015 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002016 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00002017 // into a scope DIE at the end.
Devang Patel6b61f582010-01-16 06:09:35 +00002018 if (DLTScope.isCompileUnit()) continue;
2019 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00002020 }
2021 }
2022
2023
2024 // Build scope hierarchy using working set of scopes.
2025 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2026 I != E; ++I) {
2027 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2028 II != IE; ++II) {
2029 const MachineInstr *MInsn = II;
2030 DebugLoc DL = MInsn->getDebugLoc();
2031 if (DL.isUnknown()) continue;
Devang Patel6b61f582010-01-16 06:09:35 +00002032 DILocation DLT = MF->getDILocation(DL);
2033 DIScope DLTScope = DLT.getScope();
2034 if (DLTScope.isNull()) continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002035 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002036 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002037 // into a scope DIE at the end.
Devang Patel6b61f582010-01-16 06:09:35 +00002038 if (DLTScope.isCompileUnit()) continue;
2039 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2040 DLT.getOrigLocation().getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00002041 Scope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00002042 }
2043 }
2044
Devang Patel344130e2010-01-04 20:44:00 +00002045 if (!CurrentFnDbgScope)
2046 return false;
2047
2048 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patelaf9e8472009-10-01 20:31:14 +00002049
2050 // Each scope has first instruction and last instruction to mark beginning
2051 // and end of a scope respectively. Create an inverse map that list scopes
2052 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel42aafd72010-01-20 02:05:23 +00002053 // multiple scopes. Ignore scopes that are not reachable.
2054 SmallVector<DbgScope *, 4> WorkList;
2055 WorkList.push_back(CurrentFnDbgScope);
2056 while (!WorkList.empty()) {
2057 DbgScope *S = WorkList.back(); WorkList.pop_back();
2058
2059 SmallVector<DbgScope *, 4> &Children = S->getScopes();
2060 if (!Children.empty())
2061 for (SmallVector<DbgScope *, 4>::iterator SI = Children.begin(),
2062 SE = Children.end(); SI != SE; ++SI)
2063 WorkList.push_back(*SI);
2064
Devang Patel53bb5c92009-11-10 23:06:00 +00002065 if (S->isAbstractScope())
2066 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002067 const MachineInstr *MI = S->getFirstInsn();
2068 assert (MI && "DbgScope does not have first instruction!");
2069
2070 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2071 if (IDI != DbgScopeBeginMap.end())
2072 IDI->second.push_back(S);
2073 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002074 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002075
2076 MI = S->getLastInsn();
2077 assert (MI && "DbgScope does not have last instruction!");
2078 IDI = DbgScopeEndMap.find(MI);
2079 if (IDI != DbgScopeEndMap.end())
2080 IDI->second.push_back(S);
2081 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002082 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002083 }
2084
2085 return !DbgScopeMap.empty();
2086}
2087
Devang Patel2c4ceb12009-11-21 02:48:08 +00002088/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002089/// emitted immediately after the function entry point.
Chris Lattnereec791a2010-01-26 23:18:02 +00002090void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002091 this->MF = MF;
2092
2093 if (!ShouldEmitDwarfDebug()) return;
2094
2095 if (TimePassesIsEnabled)
2096 DebugTimer->startTimer();
2097
Chris Lattnereec791a2010-01-26 23:18:02 +00002098 if (!extractScopeInformation())
Devang Patel60b35bd2009-10-06 18:37:31 +00002099 return;
Devang Patel2c4ceb12009-11-21 02:48:08 +00002100
2101 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002102
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002103 // Begin accumulating function debug information.
Chris Lattnereec791a2010-01-26 23:18:02 +00002104 MMI->BeginFunction((MachineFunction*)MF);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002105
2106 // Assumes in correct section after the entry point.
2107 EmitLabel("func_begin", ++SubprogramCount);
2108
2109 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2110 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002111 DebugLoc FDL = MF->getDefaultDebugLoc();
2112 if (!FDL.isUnknown()) {
Devang Patel6b61f582010-01-16 06:09:35 +00002113 DILocation DLT = MF->getDILocation(FDL);
Devang Patelac1ceb32009-10-09 22:42:28 +00002114 unsigned LabelID = 0;
Devang Patel6b61f582010-01-16 06:09:35 +00002115 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Devang Patelac1ceb32009-10-09 22:42:28 +00002116 if (!SP.isNull())
Devang Patel6b61f582010-01-16 06:09:35 +00002117 LabelID = recordSourceLine(SP.getLineNumber(), 0,
2118 DLT.getScope().getNode());
Devang Patelac1ceb32009-10-09 22:42:28 +00002119 else
Devang Patel6b61f582010-01-16 06:09:35 +00002120 LabelID = recordSourceLine(DLT.getLineNumber(),
2121 DLT.getColumnNumber(),
2122 DLT.getScope().getNode());
Devang Patelac1ceb32009-10-09 22:42:28 +00002123 Asm->printLabel(LabelID);
2124 O << '\n';
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002125 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002126 if (TimePassesIsEnabled)
2127 DebugTimer->stopTimer();
2128}
2129
Devang Patel2c4ceb12009-11-21 02:48:08 +00002130/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002131///
Chris Lattnereec791a2010-01-26 23:18:02 +00002132void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002133 if (!ShouldEmitDwarfDebug()) return;
2134
2135 if (TimePassesIsEnabled)
2136 DebugTimer->startTimer();
2137
Devang Patelac1ceb32009-10-09 22:42:28 +00002138 if (DbgScopeMap.empty())
2139 return;
Devang Patel70d75ca2009-11-12 19:02:56 +00002140
Devang Patel344130e2010-01-04 20:44:00 +00002141 if (CurrentFnDbgScope) {
2142 // Define end label for subprogram.
2143 EmitLabel("func_end", SubprogramCount);
2144
2145 // Get function line info.
2146 if (!Lines.empty()) {
2147 // Get section line info.
2148 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2149 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2150 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2151 // Append the function info to section info.
2152 SectionLineInfos.insert(SectionLineInfos.end(),
2153 Lines.begin(), Lines.end());
2154 }
2155
2156 // Construct abstract scopes.
2157 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2158 AE = AbstractScopesList.end(); AI != AE; ++AI)
2159 constructScopeDIE(*AI);
2160
2161 constructScopeDIE(CurrentFnDbgScope);
2162
2163 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2164 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002165 }
2166
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002167 // Clear debug info
Devang Patelf54b8522010-01-19 01:26:02 +00002168 CurrentFnDbgScope = NULL;
2169 DbgScopeMap.clear();
2170 DbgScopeBeginMap.clear();
2171 DbgScopeEndMap.clear();
2172 ConcreteScopes.clear();
2173 AbstractScopesList.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002174 Lines.clear();
Devang Patelc09ddc12009-12-01 18:13:48 +00002175
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002176 if (TimePassesIsEnabled)
2177 DebugTimer->stopTimer();
2178}
2179
Devang Patel2c4ceb12009-11-21 02:48:08 +00002180/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002181/// label. Returns a unique label ID used to generate a label and provide
2182/// correspondence to the source line list.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002183unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patelf84548d2009-10-05 18:03:19 +00002184 MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002185 if (!MMI)
2186 return 0;
2187
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002188 if (TimePassesIsEnabled)
2189 DebugTimer->startTimer();
2190
Devang Patel65dbc902009-11-25 17:36:49 +00002191 StringRef Dir;
2192 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002193
2194 DIDescriptor Scope(S);
2195 if (Scope.isCompileUnit()) {
2196 DICompileUnit CU(S);
2197 Dir = CU.getDirectory();
2198 Fn = CU.getFilename();
2199 } else if (Scope.isSubprogram()) {
2200 DISubprogram SP(S);
2201 Dir = SP.getDirectory();
2202 Fn = SP.getFilename();
2203 } else if (Scope.isLexicalBlock()) {
2204 DILexicalBlock DB(S);
2205 Dir = DB.getDirectory();
2206 Fn = DB.getFilename();
2207 } else
2208 assert (0 && "Unexpected scope info");
2209
2210 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002211 unsigned ID = MMI->NextLabelID();
2212 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2213
2214 if (TimePassesIsEnabled)
2215 DebugTimer->stopTimer();
2216
2217 return ID;
2218}
2219
2220/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2221/// timed. Look up the source id with the given directory and source file
2222/// names. If none currently exists, create a new id and insert it in the
2223/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2224/// well.
2225unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2226 const std::string &FileName) {
2227 if (TimePassesIsEnabled)
2228 DebugTimer->startTimer();
2229
Devang Patel5ccdd102009-09-29 18:40:58 +00002230 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002231
2232 if (TimePassesIsEnabled)
2233 DebugTimer->stopTimer();
2234
2235 return SrcId;
2236}
2237
Bill Wendling829e67b2009-05-20 23:22:40 +00002238//===----------------------------------------------------------------------===//
2239// Emit Methods
2240//===----------------------------------------------------------------------===//
2241
Devang Patel2c4ceb12009-11-21 02:48:08 +00002242/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002243///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002244unsigned
2245DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002246 // Get the children.
2247 const std::vector<DIE *> &Children = Die->getChildren();
2248
2249 // If not last sibling and has children then add sibling offset attribute.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002250 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002251
2252 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002253 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002254
2255 // Get the abbreviation for this DIE.
2256 unsigned AbbrevNumber = Die->getAbbrevNumber();
2257 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2258
2259 // Set DIE offset
2260 Die->setOffset(Offset);
2261
2262 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002263 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002264
2265 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2266 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2267
2268 // Size the DIE attribute values.
2269 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2270 // Size attribute value.
2271 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2272
2273 // Size the DIE children if any.
2274 if (!Children.empty()) {
2275 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2276 "Children flag not set");
2277
2278 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002279 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002280
2281 // End of children marker.
2282 Offset += sizeof(int8_t);
2283 }
2284
2285 Die->setSize(Offset - Die->getOffset());
2286 return Offset;
2287}
2288
Devang Patel2c4ceb12009-11-21 02:48:08 +00002289/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002290///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002291void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002292 // Compute size of compile unit header.
2293 static unsigned Offset =
2294 sizeof(int32_t) + // Length of Compilation Unit Info
2295 sizeof(int16_t) + // DWARF version number
2296 sizeof(int32_t) + // Offset Into Abbrev. Section
2297 sizeof(int8_t); // Pointer Size (in bytes)
2298
Devang Patel2c4ceb12009-11-21 02:48:08 +00002299 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002300 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002301}
2302
Devang Patel2c4ceb12009-11-21 02:48:08 +00002303/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002304/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002305void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002306 // Check to see if we already emitted intial headers.
2307 if (didInitial) return;
2308 didInitial = true;
2309
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002310 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002311
Bill Wendling94d04b82009-05-20 23:21:38 +00002312 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002313 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002314 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002315 EmitLabel("section_debug_frame", 0);
2316 }
2317
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002318 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002319 EmitLabel("section_info", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002320 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002321 EmitLabel("section_abbrev", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002322 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002323 EmitLabel("section_aranges", 0);
2324
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002325 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2326 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling94d04b82009-05-20 23:21:38 +00002327 EmitLabel("section_macinfo", 0);
2328 }
2329
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002330 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002331 EmitLabel("section_line", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002332 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002333 EmitLabel("section_loc", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002334 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002335 EmitLabel("section_pubnames", 0);
Devang Patel193f7202009-11-24 01:14:22 +00002336 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2337 EmitLabel("section_pubtypes", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002338 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002339 EmitLabel("section_str", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002340 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002341 EmitLabel("section_ranges", 0);
2342
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002343 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002344 EmitLabel("text_begin", 0);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002345 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002346 EmitLabel("data_begin", 0);
2347}
2348
Devang Patel2c4ceb12009-11-21 02:48:08 +00002349/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002350///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002351void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002352 // Get the abbreviation for this DIE.
2353 unsigned AbbrevNumber = Die->getAbbrevNumber();
2354 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2355
Chris Lattner0ad9c912010-01-22 22:09:00 +00002356 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002357
2358 // Emit the code (index) for the abbreviation.
Chris Lattner894d75a2010-01-22 23:18:42 +00002359 if (Asm->VerboseAsm)
2360 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2361 Twine::utohexstr(Die->getOffset()) + ":0x" +
2362 Twine::utohexstr(Die->getSize()) + " " +
2363 dwarf::TagString(Abbrev->getTag()));
2364 EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002365
2366 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2367 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2368
2369 // Emit the DIE attribute values.
2370 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2371 unsigned Attr = AbbrevData[i].getAttribute();
2372 unsigned Form = AbbrevData[i].getForm();
2373 assert(Form && "Too many attributes for DIE (check abbreviation)");
2374
Chris Lattnera8013622010-01-24 18:54:17 +00002375 if (Asm->VerboseAsm)
2376 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2377
Bill Wendling94d04b82009-05-20 23:21:38 +00002378 switch (Attr) {
2379 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002380 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002381 break;
2382 case dwarf::DW_AT_abstract_origin: {
2383 DIEEntry *E = cast<DIEEntry>(Values[i]);
2384 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002385 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002386 Asm->EmitInt32(Addr);
2387 break;
2388 }
2389 default:
2390 // Emit an attribute using the defined form.
2391 Values[i]->EmitValue(this, Form);
Chris Lattner3586e5e2010-01-24 19:01:06 +00002392 O << "\n"; // REMOVE This once all EmitValue impls emit their own newline.
Bill Wendling94d04b82009-05-20 23:21:38 +00002393 break;
2394 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002395 }
2396
2397 // Emit the DIE children if any.
2398 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2399 const std::vector<DIE *> &Children = Die->getChildren();
2400
2401 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002402 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002403
Chris Lattnerfaca5492010-01-22 23:47:11 +00002404 Asm->EmitInt8(0); EOL("End Of Children Mark");
Bill Wendling94d04b82009-05-20 23:21:38 +00002405 }
2406}
2407
Devang Patel8a241142009-12-09 18:24:21 +00002408/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002409///
Devang Patel8a241142009-12-09 18:24:21 +00002410void DwarfDebug::emitDebugInfo() {
2411 // Start debug info section.
2412 Asm->OutStreamer.SwitchSection(
2413 Asm->getObjFileLowering().getDwarfInfoSection());
2414 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002415
2416 // Emit the compile units header.
Devang Patel8a241142009-12-09 18:24:21 +00002417 EmitLabel("info_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002418
2419 // Emit size of content not including length itself
2420 unsigned ContentSize = Die->getSize() +
2421 sizeof(int16_t) + // DWARF version number
2422 sizeof(int32_t) + // Offset Into Abbrev. Section
2423 sizeof(int8_t) + // Pointer Size (in bytes)
2424 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2425
Chris Lattnerfaca5492010-01-22 23:47:11 +00002426 Asm->EmitInt32(ContentSize); EOL("Length of Compilation Unit Info");
2427 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling94d04b82009-05-20 23:21:38 +00002428 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002429 EOL("Offset Into Abbrev. Section");
2430 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002431
Devang Patel2c4ceb12009-11-21 02:48:08 +00002432 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002433 // FIXME - extra padding for gdb bug.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002434 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2435 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2436 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2437 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
Devang Patel8a241142009-12-09 18:24:21 +00002438 EmitLabel("info_end", ModuleCU->getID());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002439 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002440}
2441
Devang Patel2c4ceb12009-11-21 02:48:08 +00002442/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002443///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002444void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002445 // Check to see if it is worth the effort.
2446 if (!Abbreviations.empty()) {
2447 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002448 Asm->OutStreamer.SwitchSection(
2449 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002450
2451 EmitLabel("abbrev_begin", 0);
2452
2453 // For each abbrevation.
2454 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2455 // Get abbreviation data
2456 const DIEAbbrev *Abbrev = Abbreviations[i];
2457
2458 // Emit the abbrevations code (base 1 index.)
Chris Lattner894d75a2010-01-22 23:18:42 +00002459 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002460
2461 // Emit the abbreviations data.
Chris Lattner894d75a2010-01-22 23:18:42 +00002462 Abbrev->Emit(this);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002463 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002464 }
2465
2466 // Mark end of abbreviations.
Chris Lattner894d75a2010-01-22 23:18:42 +00002467 EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002468
2469 EmitLabel("abbrev_end", 0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002470 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002471 }
2472}
2473
Devang Patel2c4ceb12009-11-21 02:48:08 +00002474/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002475/// the line matrix.
2476///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002477void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002478 // Define last address of section.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002479 Asm->EmitInt8(0); EOL("Extended Op");
2480 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2481 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
2482 EmitReference("section_end", SectionEnd); EOL("Section end label");
Bill Wendling94d04b82009-05-20 23:21:38 +00002483
2484 // Mark end of matrix.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002485 Asm->EmitInt8(0); EOL("DW_LNE_end_sequence");
Chris Lattner0ad9c912010-01-22 22:09:00 +00002486 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002487 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002488}
2489
Devang Patel2c4ceb12009-11-21 02:48:08 +00002490/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002491///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002492void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002493 // If the target is using .loc/.file, the assembler will be emitting the
2494 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002495 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002496 return;
2497
2498 // Minimum line delta, thus ranging from -10..(255-10).
2499 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2500 // Maximum line delta, thus ranging from -10..(255-10).
2501 const int MaxLineDelta = 255 + MinLineDelta;
2502
2503 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002504 Asm->OutStreamer.SwitchSection(
2505 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002506
2507 // Construct the section header.
2508 EmitDifference("line_end", 0, "line_begin", 0, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002509 EOL("Length of Source Line Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002510 EmitLabel("line_begin", 0);
2511
Chris Lattnerfaca5492010-01-22 23:47:11 +00002512 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling94d04b82009-05-20 23:21:38 +00002513
2514 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002515 EOL("Prolog Length");
Bill Wendling94d04b82009-05-20 23:21:38 +00002516 EmitLabel("line_prolog_begin", 0);
2517
Chris Lattnerfaca5492010-01-22 23:47:11 +00002518 Asm->EmitInt8(1); EOL("Minimum Instruction Length");
2519 Asm->EmitInt8(1); EOL("Default is_stmt_start flag");
2520 Asm->EmitInt8(MinLineDelta); EOL("Line Base Value (Special Opcodes)");
2521 Asm->EmitInt8(MaxLineDelta); EOL("Line Range Value (Special Opcodes)");
2522 Asm->EmitInt8(-MinLineDelta); EOL("Special Opcode Base");
Bill Wendling94d04b82009-05-20 23:21:38 +00002523
2524 // Line number standard opcode encodings argument count
Chris Lattnerfaca5492010-01-22 23:47:11 +00002525 Asm->EmitInt8(0); EOL("DW_LNS_copy arg count");
2526 Asm->EmitInt8(1); EOL("DW_LNS_advance_pc arg count");
2527 Asm->EmitInt8(1); EOL("DW_LNS_advance_line arg count");
2528 Asm->EmitInt8(1); EOL("DW_LNS_set_file arg count");
2529 Asm->EmitInt8(1); EOL("DW_LNS_set_column arg count");
2530 Asm->EmitInt8(0); EOL("DW_LNS_negate_stmt arg count");
2531 Asm->EmitInt8(0); EOL("DW_LNS_set_basic_block arg count");
2532 Asm->EmitInt8(0); EOL("DW_LNS_const_add_pc arg count");
2533 Asm->EmitInt8(1); EOL("DW_LNS_fixed_advance_pc arg count");
Bill Wendling94d04b82009-05-20 23:21:38 +00002534
2535 // Emit directories.
2536 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattner4cf202b2010-01-23 03:11:46 +00002537 const std::string &Dir = getSourceDirectoryName(DI);
2538 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2539 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002540 }
2541
Chris Lattnerfaca5492010-01-22 23:47:11 +00002542 Asm->EmitInt8(0); EOL("End of directories");
Bill Wendling94d04b82009-05-20 23:21:38 +00002543
2544 // Emit files.
2545 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2546 // Remember source id starts at 1.
2547 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattner4cf202b2010-01-23 03:11:46 +00002548 const std::string &FN = getSourceFileName(Id.second);
2549 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2550 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2551
Chris Lattner894d75a2010-01-22 23:18:42 +00002552 EmitULEB128(Id.first, "Directory #");
2553 EmitULEB128(0, "Mod date");
2554 EmitULEB128(0, "File size");
Bill Wendling94d04b82009-05-20 23:21:38 +00002555 }
2556
Chris Lattnerfaca5492010-01-22 23:47:11 +00002557 Asm->EmitInt8(0); EOL("End of files");
Bill Wendling94d04b82009-05-20 23:21:38 +00002558
2559 EmitLabel("line_prolog_end", 0);
2560
2561 // A sequence for each text section.
2562 unsigned SecSrcLinesSize = SectionSourceLines.size();
2563
2564 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2565 // Isolate current sections line info.
2566 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2567
Chris Lattner93b6db32009-08-08 23:39:42 +00002568 /*if (Asm->isVerbose()) {
Chris Lattnera87dea42009-07-31 18:48:30 +00002569 const MCSection *S = SectionMap[j + 1];
Chris Lattner33adcfb2009-08-22 21:43:10 +00002570 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling94d04b82009-05-20 23:21:38 +00002571 << S->getName() << '\n';
Chris Lattner93b6db32009-08-08 23:39:42 +00002572 }*/
Chris Lattner0ad9c912010-01-22 22:09:00 +00002573 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002574
2575 // Dwarf assumes we start with first line of first source file.
2576 unsigned Source = 1;
2577 unsigned Line = 1;
2578
2579 // Construct rows of the address, source, line, column matrix.
2580 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2581 const SrcLineInfo &LineInfo = LineInfos[i];
2582 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2583 if (!LabelID) continue;
2584
Caroline Ticec6f9d622009-09-11 18:25:54 +00002585 if (LineInfo.getLine() == 0) continue;
2586
Bill Wendling94d04b82009-05-20 23:21:38 +00002587 if (!Asm->isVerbose())
Chris Lattner0ad9c912010-01-22 22:09:00 +00002588 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002589 else {
2590 std::pair<unsigned, unsigned> SourceID =
2591 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner33adcfb2009-08-22 21:43:10 +00002592 O << '\t' << MAI->getCommentString() << ' '
Dan Gohmanb3b98212009-12-05 02:00:34 +00002593 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling94d04b82009-05-20 23:21:38 +00002594 << getSourceFileName(SourceID.second)
Dan Gohmanb3b98212009-12-05 02:00:34 +00002595 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002596 }
2597
2598 // Define the line address.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002599 Asm->EmitInt8(0); EOL("Extended Op");
2600 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2601 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
2602 EmitReference("label", LabelID); EOL("Location label");
Bill Wendling94d04b82009-05-20 23:21:38 +00002603
2604 // If change of source, then switch to the new source.
2605 if (Source != LineInfo.getSourceID()) {
2606 Source = LineInfo.getSourceID();
Chris Lattnerfaca5492010-01-22 23:47:11 +00002607 Asm->EmitInt8(dwarf::DW_LNS_set_file); EOL("DW_LNS_set_file");
Chris Lattner894d75a2010-01-22 23:18:42 +00002608 EmitULEB128(Source, "New Source");
Bill Wendling94d04b82009-05-20 23:21:38 +00002609 }
2610
2611 // If change of line.
2612 if (Line != LineInfo.getLine()) {
2613 // Determine offset.
2614 int Offset = LineInfo.getLine() - Line;
2615 int Delta = Offset - MinLineDelta;
2616
2617 // Update line.
2618 Line = LineInfo.getLine();
2619
2620 // If delta is small enough and in range...
2621 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2622 // ... then use fast opcode.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002623 Asm->EmitInt8(Delta - MinLineDelta); EOL("Line Delta");
Bill Wendling94d04b82009-05-20 23:21:38 +00002624 } else {
2625 // ... otherwise use long hand.
2626 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002627 EOL("DW_LNS_advance_line");
Chris Lattnerbb9078a2010-01-22 22:56:55 +00002628 EmitSLEB128(Offset, "Line Offset");
Chris Lattnerfaca5492010-01-22 23:47:11 +00002629 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling94d04b82009-05-20 23:21:38 +00002630 }
2631 } else {
2632 // Copy the previous row (different address or source)
Chris Lattnerfaca5492010-01-22 23:47:11 +00002633 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling94d04b82009-05-20 23:21:38 +00002634 }
2635 }
2636
Devang Patel2c4ceb12009-11-21 02:48:08 +00002637 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002638 }
2639
2640 if (SecSrcLinesSize == 0)
2641 // Because we're emitting a debug_line section, we still need a line
2642 // table. The linker and friends expect it to exist. If there's nothing to
2643 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002644 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002645
2646 EmitLabel("line_end", 0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002647 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002648}
2649
Devang Patel2c4ceb12009-11-21 02:48:08 +00002650/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002651///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002652void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002653 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002654 return;
2655
2656 int stackGrowth =
2657 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2658 TargetFrameInfo::StackGrowsUp ?
2659 TD->getPointerSize() : -TD->getPointerSize();
2660
2661 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002662 Asm->OutStreamer.SwitchSection(
2663 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002664
2665 EmitLabel("debug_frame_common", 0);
2666 EmitDifference("debug_frame_common_end", 0,
2667 "debug_frame_common_begin", 0, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002668 EOL("Length of Common Information Entry");
Bill Wendling94d04b82009-05-20 23:21:38 +00002669
2670 EmitLabel("debug_frame_common_begin", 0);
2671 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002672 EOL("CIE Identifier Tag");
Bill Wendling94d04b82009-05-20 23:21:38 +00002673 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002674 EOL("CIE Version");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002675 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattnerfaca5492010-01-22 23:47:11 +00002676 EOL("CIE Augmentation");
Chris Lattner894d75a2010-01-22 23:18:42 +00002677 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattnerbb9078a2010-01-22 22:56:55 +00002678 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Bill Wendling94d04b82009-05-20 23:21:38 +00002679 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Chris Lattnerfaca5492010-01-22 23:47:11 +00002680 EOL("CIE RA Column");
Bill Wendling94d04b82009-05-20 23:21:38 +00002681
2682 std::vector<MachineMove> Moves;
2683 RI->getInitialFrameState(Moves);
2684
2685 EmitFrameMoves(NULL, 0, Moves, false);
2686
2687 Asm->EmitAlignment(2, 0, 0, false);
2688 EmitLabel("debug_frame_common_end", 0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002689 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002690}
2691
Devang Patel2c4ceb12009-11-21 02:48:08 +00002692/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002693/// section.
2694void
Devang Patel2c4ceb12009-11-21 02:48:08 +00002695DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattner33adcfb2009-08-22 21:43:10 +00002696 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002697 return;
2698
2699 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002700 Asm->OutStreamer.SwitchSection(
2701 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002702
2703 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2704 "debug_frame_begin", DebugFrameInfo.Number, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002705 EOL("Length of Frame Information Entry");
Bill Wendling94d04b82009-05-20 23:21:38 +00002706
2707 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2708
2709 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2710 0, 0, true, false);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002711 EOL("FDE CIE offset");
Bill Wendling94d04b82009-05-20 23:21:38 +00002712
2713 EmitReference("func_begin", DebugFrameInfo.Number);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002714 EOL("FDE initial location");
Bill Wendling94d04b82009-05-20 23:21:38 +00002715 EmitDifference("func_end", DebugFrameInfo.Number,
2716 "func_begin", DebugFrameInfo.Number);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002717 EOL("FDE address range");
Bill Wendling94d04b82009-05-20 23:21:38 +00002718
2719 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2720 false);
2721
2722 Asm->EmitAlignment(2, 0, 0, false);
2723 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002724 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002725}
2726
Devang Patel8a241142009-12-09 18:24:21 +00002727/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2728///
2729void DwarfDebug::emitDebugPubNames() {
2730 // Start the dwarf pubnames section.
2731 Asm->OutStreamer.SwitchSection(
2732 Asm->getObjFileLowering().getDwarfPubNamesSection());
2733
2734 EmitDifference("pubnames_end", ModuleCU->getID(),
2735 "pubnames_begin", ModuleCU->getID(), true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002736 EOL("Length of Public Names Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002737
Devang Patel8a241142009-12-09 18:24:21 +00002738 EmitLabel("pubnames_begin", ModuleCU->getID());
Bill Wendling94d04b82009-05-20 23:21:38 +00002739
Chris Lattnerfaca5492010-01-22 23:47:11 +00002740 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002741
2742 EmitSectionOffset("info_begin", "section_info",
Devang Patel8a241142009-12-09 18:24:21 +00002743 ModuleCU->getID(), 0, true, false);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002744 EOL("Offset of Compilation Unit Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002745
Devang Patel8a241142009-12-09 18:24:21 +00002746 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002747 true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002748 EOL("Compilation Unit Length");
Bill Wendling94d04b82009-05-20 23:21:38 +00002749
Devang Patel8a241142009-12-09 18:24:21 +00002750 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002751 for (StringMap<DIE*>::const_iterator
2752 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2753 const char *Name = GI->getKeyData();
2754 DIE * Entity = GI->second;
2755
Chris Lattnerfaca5492010-01-22 23:47:11 +00002756 Asm->EmitInt32(Entity->getOffset()); EOL("DIE offset");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002757
2758 if (Asm->VerboseAsm)
2759 Asm->OutStreamer.AddComment("External Name");
2760 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002761 }
2762
Chris Lattnerfaca5492010-01-22 23:47:11 +00002763 Asm->EmitInt32(0); EOL("End Mark");
Devang Patel8a241142009-12-09 18:24:21 +00002764 EmitLabel("pubnames_end", ModuleCU->getID());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002765 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002766}
2767
Devang Patel193f7202009-11-24 01:14:22 +00002768void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002769 // Start the dwarf pubnames section.
2770 Asm->OutStreamer.SwitchSection(
2771 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel193f7202009-11-24 01:14:22 +00002772 EmitDifference("pubtypes_end", ModuleCU->getID(),
2773 "pubtypes_begin", ModuleCU->getID(), true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002774 EOL("Length of Public Types Info");
Devang Patel193f7202009-11-24 01:14:22 +00002775
2776 EmitLabel("pubtypes_begin", ModuleCU->getID());
2777
Chris Lattnerfaca5492010-01-22 23:47:11 +00002778 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF Version");
Devang Patel193f7202009-11-24 01:14:22 +00002779
2780 EmitSectionOffset("info_begin", "section_info",
2781 ModuleCU->getID(), 0, true, false);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002782 EOL("Offset of Compilation ModuleCU Info");
Devang Patel193f7202009-11-24 01:14:22 +00002783
2784 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2785 true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002786 EOL("Compilation ModuleCU Length");
Devang Patel193f7202009-11-24 01:14:22 +00002787
2788 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2789 for (StringMap<DIE*>::const_iterator
2790 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2791 const char *Name = GI->getKeyData();
2792 DIE * Entity = GI->second;
2793
Chris Lattnerfaca5492010-01-22 23:47:11 +00002794 Asm->EmitInt32(Entity->getOffset()); EOL("DIE offset");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002795
2796 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
2797 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)), 0);
Devang Patel193f7202009-11-24 01:14:22 +00002798 }
2799
Chris Lattnerfaca5492010-01-22 23:47:11 +00002800 Asm->EmitInt32(0); EOL("End Mark");
Devang Patel193f7202009-11-24 01:14:22 +00002801 EmitLabel("pubtypes_end", ModuleCU->getID());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002802 Asm->O << '\n';
Devang Patel193f7202009-11-24 01:14:22 +00002803}
2804
Devang Patel2c4ceb12009-11-21 02:48:08 +00002805/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002806///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002807void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002808 // Check to see if it is worth the effort.
2809 if (!StringPool.empty()) {
2810 // Start the dwarf str section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002811 Asm->OutStreamer.SwitchSection(
2812 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002813
2814 // For each of strings in the string pool.
2815 for (unsigned StringID = 1, N = StringPool.size();
2816 StringID <= N; ++StringID) {
2817 // Emit a label for reference from debug information entries.
2818 EmitLabel("string", StringID);
2819
2820 // Emit the string itself.
2821 const std::string &String = StringPool[StringID];
Chris Lattner4cf202b2010-01-23 03:11:46 +00002822 Asm->OutStreamer.EmitBytes(StringRef(String.c_str(), String.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002823 }
2824
Chris Lattner0ad9c912010-01-22 22:09:00 +00002825 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002826 }
2827}
2828
Devang Patel2c4ceb12009-11-21 02:48:08 +00002829/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002830///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002831void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002832 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002833 Asm->OutStreamer.SwitchSection(
2834 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002835}
2836
2837/// EmitDebugARanges - Emit visible names into a debug aranges section.
2838///
2839void DwarfDebug::EmitDebugARanges() {
2840 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002841 Asm->OutStreamer.SwitchSection(
2842 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002843
2844 // FIXME - Mock up
2845#if 0
2846 CompileUnit *Unit = GetBaseCompileUnit();
2847
2848 // Don't include size of length
Chris Lattnerfaca5492010-01-22 23:47:11 +00002849 Asm->EmitInt32(0x1c); EOL("Length of Address Ranges Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002850
Chris Lattnerfaca5492010-01-22 23:47:11 +00002851 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002852
2853 EmitReference("info_begin", Unit->getID());
Chris Lattnerfaca5492010-01-22 23:47:11 +00002854 EOL("Offset of Compilation Unit Info");
Bill Wendling94d04b82009-05-20 23:21:38 +00002855
Chris Lattnerfaca5492010-01-22 23:47:11 +00002856 Asm->EmitInt8(TD->getPointerSize()); EOL("Size of Address");
Bill Wendling94d04b82009-05-20 23:21:38 +00002857
Chris Lattnerfaca5492010-01-22 23:47:11 +00002858 Asm->EmitInt8(0); EOL("Size of Segment Descriptor");
Bill Wendling94d04b82009-05-20 23:21:38 +00002859
Chris Lattnerfaca5492010-01-22 23:47:11 +00002860 Asm->EmitInt16(0); EOL("Pad (1)");
2861 Asm->EmitInt16(0); EOL("Pad (2)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002862
2863 // Range 1
Chris Lattnerfaca5492010-01-22 23:47:11 +00002864 EmitReference("text_begin", 0); EOL("Address");
2865 EmitDifference("text_end", 0, "text_begin", 0, true); EOL("Length");
Bill Wendling94d04b82009-05-20 23:21:38 +00002866
Chris Lattnerfaca5492010-01-22 23:47:11 +00002867 Asm->EmitInt32(0); EOL("EOM (1)");
2868 Asm->EmitInt32(0); EOL("EOM (2)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002869#endif
Bill Wendling94d04b82009-05-20 23:21:38 +00002870}
2871
Devang Patel2c4ceb12009-11-21 02:48:08 +00002872/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002873///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002874void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002875 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002876 Asm->OutStreamer.SwitchSection(
2877 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002878}
2879
Devang Patel2c4ceb12009-11-21 02:48:08 +00002880/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002881///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002882void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002883 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002884 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002885 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002886 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002887 }
2888}
2889
Devang Patel2c4ceb12009-11-21 02:48:08 +00002890/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00002891/// Section Header:
2892/// 1. length of section
2893/// 2. Dwarf version number
2894/// 3. address size.
2895///
2896/// Entries (one "entry" for each function that was inlined):
2897///
2898/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2899/// otherwise offset into __debug_str for regular function name.
2900/// 2. offset into __debug_str section for regular function name.
2901/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2902/// instances for the function.
2903///
2904/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2905/// inlined instance; the die_offset points to the inlined_subroutine die in the
2906/// __debug_info section, and the low_pc is the starting address for the
2907/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002908void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002909 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002910 return;
2911
Devang Patel1dbc7712009-06-29 20:45:18 +00002912 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002913 return;
2914
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002915 Asm->OutStreamer.SwitchSection(
2916 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002917
Bill Wendling94d04b82009-05-20 23:21:38 +00002918 EmitDifference("debug_inlined_end", 1,
2919 "debug_inlined_begin", 1, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002920 EOL("Length of Debug Inlined Information Entry");
Bill Wendling94d04b82009-05-20 23:21:38 +00002921
2922 EmitLabel("debug_inlined_begin", 1);
2923
Chris Lattnerfaca5492010-01-22 23:47:11 +00002924 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
2925 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002926
Devang Patel53bb5c92009-11-10 23:06:00 +00002927 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2928 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002929
Devang Patel53bb5c92009-11-10 23:06:00 +00002930 MDNode *Node = *I;
Devang Patel622b0262010-01-19 06:19:05 +00002931 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002932 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00002933 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00002934 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00002935 StringRef LName = SP.getLinkageName();
2936 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002937
Chris Lattner4cf202b2010-01-23 03:11:46 +00002938 if (LName.empty()) {
2939 Asm->OutStreamer.EmitBytes(Name, 0);
2940 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
2941 } else
Devang Patel53bb5c92009-11-10 23:06:00 +00002942 EmitSectionOffset("string", "section_str",
Chris Lattner4cf202b2010-01-23 03:11:46 +00002943 StringPool.idFor(getRealLinkageName(LName)), false, true);
Devang Patel53bb5c92009-11-10 23:06:00 +00002944
Chris Lattnerfaca5492010-01-22 23:47:11 +00002945 EOL("MIPS linkage name");
Devang Patel53bb5c92009-11-10 23:06:00 +00002946 EmitSectionOffset("string", "section_str",
2947 StringPool.idFor(Name), false, true);
Chris Lattnerfaca5492010-01-22 23:47:11 +00002948 EOL("Function name");
Chris Lattner894d75a2010-01-22 23:18:42 +00002949 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00002950
Devang Patel53bb5c92009-11-10 23:06:00 +00002951 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002952 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002953 DIE *SP = LI->second;
Chris Lattnerfaca5492010-01-22 23:47:11 +00002954 Asm->EmitInt32(SP->getOffset()); EOL("DIE offset");
Bill Wendling94d04b82009-05-20 23:21:38 +00002955
2956 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +00002957 O << MAI->getData32bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002958 else
Chris Lattner33adcfb2009-08-22 21:43:10 +00002959 O << MAI->getData64bitsDirective();
Bill Wendling94d04b82009-05-20 23:21:38 +00002960
Chris Lattnerfaca5492010-01-22 23:47:11 +00002961 PrintLabelName("label", LI->first); EOL("low_pc");
Bill Wendling94d04b82009-05-20 23:21:38 +00002962 }
2963 }
2964
2965 EmitLabel("debug_inlined_end", 1);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002966 Asm->O << '\n';
Bill Wendling94d04b82009-05-20 23:21:38 +00002967}