blob: 12259d524e0b894f82a68d5ddffa92298ccca047 [file] [log] [blame]
Bill Wendling2f921f82009-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 Patel80ae3492009-08-28 23:24:31 +000013#define DEBUG_TYPE "dwarfdebug"
Bill Wendling2f921f82009-05-15 09:23:25 +000014#include "DwarfDebug.h"
15#include "llvm/Module.h"
David Greene829b3e82009-08-19 21:52:55 +000016#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000017#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000018#include "llvm/MC/MCSection.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000019#include "llvm/MC/MCStreamer.h"
Chris Lattner7b26fce2009-08-22 20:48:53 +000020#include "llvm/MC/MCAsmInfo.h"
Chris Lattnerf62e3ee2010-01-16 21:57:06 +000021#include "llvm/Target/Mangler.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000022#include "llvm/Target/TargetData.h"
23#include "llvm/Target/TargetFrameInfo.h"
Chris Lattner5e693ed2009-07-28 03:13:23 +000024#include "llvm/Target/TargetLoweringObjectFile.h"
25#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner06fa1762009-08-24 03:52:50 +000026#include "llvm/ADT/StringExtras.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000027#include "llvm/Support/Debug.h"
28#include "llvm/Support/ErrorHandling.h"
Devang Patel1973df22010-01-26 21:39:14 +000029#include "llvm/Support/ValueHandle.h"
Chris Lattnerf5c834f2010-01-22 22:09:00 +000030#include "llvm/Support/FormattedStream.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000031#include "llvm/Support/Timer.h"
32#include "llvm/System/Path.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000033using namespace llvm;
34
Bill Wendling2f921f82009-05-15 09:23:25 +000035//===----------------------------------------------------------------------===//
36
37/// Configuration values for initial hash set sizes (log2).
38///
Bill Wendling2f921f82009-05-15 09:23:25 +000039static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-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 Lewyckyb7993d62009-11-17 08:11:44 +000046class CompileUnit {
Bill Wendling2f921f82009-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 Patel930143b2009-11-21 02:48:08 +000053 DIE *CUDie;
Bill Wendling2f921f82009-05-15 09:23:25 +000054
Devang Patel92e8c652009-11-21 00:31:03 +000055 /// IndexTyDie - An anonymous type for index type.
56 DIE *IndexTyDie;
57
Bill Wendling2f921f82009-05-15 09:23:25 +000058 /// GVToDieMap - Tracks the mapping of unit level debug informaton
59 /// variables to debug information entries.
Devang Patel80ae3492009-08-28 23:24:31 +000060 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel018b29b2010-01-19 06:19:05 +000061 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling2f921f82009-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 Patel80ae3492009-08-28 23:24:31 +000065 /// FIXME : Rename
Devang Patel018b29b2010-01-19 06:19:05 +000066 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling2f921f82009-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 Patel04d2f2d2009-11-24 01:14:22 +000072 /// GlobalTypes - A map of globally visible types for this unit.
73 ///
74 StringMap<DIE*> GlobalTypes;
75
Bill Wendling2f921f82009-05-15 09:23:25 +000076public:
77 CompileUnit(unsigned I, DIE *D)
Devang Patel930143b2009-11-21 02:48:08 +000078 : ID(I), CUDie(D), IndexTyDie(0) {}
79 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendling2f921f82009-05-15 09:23:25 +000080
81 // Accessors.
Devang Patel04d2f2d2009-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 Wendling2f921f82009-05-15 09:23:25 +000086
87 /// hasContent - Return true if this compile unit has something to write out.
88 ///
Devang Patel930143b2009-11-21 02:48:08 +000089 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling2f921f82009-05-15 09:23:25 +000090
Devang Patel930143b2009-11-21 02:48:08 +000091 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +000092 ///
Devang Patel930143b2009-11-21 02:48:08 +000093 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling2f921f82009-05-15 09:23:25 +000094
Devang Patel04d2f2d2009-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 Patele064ad42009-11-20 21:37:22 +0000101 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling2f921f82009-05-15 09:23:25 +0000102 /// specified debug variable.
Devang Patele064ad42009-11-20 21:37:22 +0000103 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach042483e2009-11-21 23:12:12 +0000104
Devang Patele064ad42009-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 Wendling2f921f82009-05-15 09:23:25 +0000109
Devang Patele064ad42009-11-20 21:37:22 +0000110 /// getDIEEntry - Returns the debug information entry for the speciefied
111 /// debug variable.
Devang Patel1f4690c2009-12-15 19:16:48 +0000112 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel018b29b2010-01-19 06:19:05 +0000113 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel1f4690c2009-12-15 19:16:48 +0000114 if (I == GVToDIEEntryMap.end())
115 return NULL;
116 return I->second;
117 }
Devang Patele064ad42009-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 Wendling2f921f82009-05-15 09:23:25 +0000122 }
123
Devang Patel930143b2009-11-21 02:48:08 +0000124 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +0000125 ///
Devang Patel930143b2009-11-21 02:48:08 +0000126 void addDie(DIE *Buffer) {
127 this->CUDie->addChild(Buffer);
Bill Wendling2f921f82009-05-15 09:23:25 +0000128 }
Devang Patel92e8c652009-11-21 00:31:03 +0000129
130 // getIndexTyDie - Get an anonymous type for index type.
131 DIE *getIndexTyDie() {
132 return IndexTyDie;
133 }
134
Jim Grosbach00e9c612009-11-22 19:20:36 +0000135 // setIndexTyDie - Set D as anonymous type for index which can be reused
136 // later.
Devang Patel92e8c652009-11-21 00:31:03 +0000137 void setIndexTyDie(DIE *D) {
138 IndexTyDie = D;
139 }
140
Bill Wendling2f921f82009-05-15 09:23:25 +0000141};
142
143//===----------------------------------------------------------------------===//
144/// DbgVariable - This class is used to track local variable information.
145///
Devang Patelf3d7c082009-11-16 21:53:40 +0000146class DbgVariable {
Bill Wendling2f921f82009-05-15 09:23:25 +0000147 DIVariable Var; // Variable Descriptor.
148 unsigned FrameIndex; // Variable frame index.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000149 DbgVariable *AbstractVar; // Abstract variable for this variable.
150 DIE *TheDIE;
Bill Wendling2f921f82009-05-15 09:23:25 +0000151public:
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000152 DbgVariable(DIVariable V, unsigned I)
153 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000154
155 // Accessors.
Devang Patelf6eeaeb2009-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 Wendling2f921f82009-05-15 09:23:25 +0000162};
163
164//===----------------------------------------------------------------------===//
165/// DbgScope - This class is used to track scope information.
166///
Devang Patelf3d7c082009-11-16 21:53:40 +0000167class DbgScope {
Bill Wendling2f921f82009-05-15 09:23:25 +0000168 DbgScope *Parent; // Parent to this scope.
Jim Grosbach042483e2009-11-21 23:12:12 +0000169 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel1973df22010-01-26 21:39:14 +0000170 // Location at which this scope is inlined.
171 AssertingVH<MDNode> InlinedAtLocation;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000172 bool AbstractScope; // Abstract Scope
Bill Wendling2f921f82009-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 Patel787f94c2009-10-01 18:25:23 +0000175 const MachineInstr *LastInsn; // Last instruction of this scope.
176 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000177 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
178 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000179
Owen Anderson9becc182009-06-24 22:53:20 +0000180 // Private state for dump()
181 mutable unsigned IndentLevel;
Bill Wendling2f921f82009-05-15 09:23:25 +0000182public:
Devang Patel6875c5eb2009-10-14 21:08:09 +0000183 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000184 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach042483e2009-11-21 23:12:12 +0000185 StartLabelID(0), EndLabelID(0),
Devang Patel6875c5eb2009-10-14 21:08:09 +0000186 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000187 virtual ~DbgScope();
188
189 // Accessors.
190 DbgScope *getParent() const { return Parent; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000191 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000192 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach042483e2009-11-21 23:12:12 +0000193 MDNode *getInlinedAt() const {
Devang Patel1973df22010-01-26 21:39:14 +0000194 return InlinedAtLocation;
Devang Patel6875c5eb2009-10-14 21:08:09 +0000195 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000196 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendling2f921f82009-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 Wendling2f921f82009-05-15 09:23:25 +0000201 void setStartLabelID(unsigned S) { StartLabelID = S; }
202 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Patel787f94c2009-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 Patelf6eeaeb2009-11-10 23:06:00 +0000206 void setAbstractScope() { AbstractScope = true; }
207 bool isAbstractScope() const { return AbstractScope; }
Devang Patel787f94c2009-10-01 18:25:23 +0000208 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000209
Devang Patel930143b2009-11-21 02:48:08 +0000210 /// addScope - Add a scope to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000211 ///
Devang Patel930143b2009-11-21 02:48:08 +0000212 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000213
Devang Patel930143b2009-11-21 02:48:08 +0000214 /// addVariable - Add a variable to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000215 ///
Devang Patel930143b2009-11-21 02:48:08 +0000216 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000217
Devang Patel530a0752010-01-04 20:44:00 +0000218 void fixInstructionMarkers(DenseMap<const MachineInstr *,
219 unsigned> &MIIndexMap) {
Devang Patel75cc16c2009-10-01 20:31:14 +0000220 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel530a0752010-01-04 20:44:00 +0000221
222 // Use the end of last child scope as end of this scope.
Devang Patel75cc16c2009-10-01 20:31:14 +0000223 SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Pateld146e2e2010-01-05 16:59:17 +0000224 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel530a0752010-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 Patel75cc16c2009-10-01 20:31:14 +0000242 }
243
Bill Wendling2f921f82009-05-15 09:23:25 +0000244#ifndef NDEBUG
245 void dump() const;
246#endif
247};
248
249#ifndef NDEBUG
250void DbgScope::dump() const {
David Greenec230cb92009-12-24 00:31:35 +0000251 raw_ostream &err = dbgs();
Chris Lattner81e8e022009-08-23 00:51:00 +0000252 err.indent(IndentLevel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000253 MDNode *N = Desc.getNode();
254 N->dump();
Chris Lattner81e8e022009-08-23 00:51:00 +0000255 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000256 if (AbstractScope)
257 err << "Abstract Scope\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000258
259 IndentLevel += 2;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000260 if (!Scopes.empty())
261 err << "Children ...\n";
Bill Wendling2f921f82009-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 Wendling2f921f82009-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 Wendling2f921f82009-05-15 09:23:25 +0000275}
276
277} // end llvm namespace
278
Chris Lattner7b26fce2009-08-22 20:48:53 +0000279DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattner69bb0262010-01-22 22:23:57 +0000280 : DwarfPrinter(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendling2f921f82009-05-15 09:23:25 +0000281 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patel930143b2009-11-21 02:48:08 +0000282 DIEValues(), StringPool(),
Bill Wendling2f921f82009-05-15 09:23:25 +0000283 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000284 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000285 if (TimePassesIsEnabled)
Chris Lattnerf81add32009-12-28 07:41:18 +0000286 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling2f921f82009-05-15 09:23:25 +0000287}
288DwarfDebug::~DwarfDebug() {
Devang Patel930143b2009-11-21 02:48:08 +0000289 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
290 delete DIEValues[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000291
Bill Wendling2f921f82009-05-15 09:23:25 +0000292 delete DebugTimer;
293}
294
Devang Patel930143b2009-11-21 02:48:08 +0000295/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling2f921f82009-05-15 09:23:25 +0000296///
Devang Patel930143b2009-11-21 02:48:08 +0000297void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-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 Patel930143b2009-11-21 02:48:08 +0000318/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendlingbcad77a2009-05-20 23:24:48 +0000319/// information entry.
Devang Patel930143b2009-11-21 02:48:08 +0000320DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel92e8c652009-11-21 00:31:03 +0000321 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel930143b2009-11-21 02:48:08 +0000322 DIEValues.push_back(Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000323 return Value;
324}
325
Devang Patel930143b2009-11-21 02:48:08 +0000326/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000327///
Devang Patel930143b2009-11-21 02:48:08 +0000328void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000329 unsigned Form, uint64_t Integer) {
330 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel92e8c652009-11-21 00:31:03 +0000331 DIEValue *Value = new DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000332 DIEValues.push_back(Value);
333 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000334}
335
Devang Patel930143b2009-11-21 02:48:08 +0000336/// addSInt - Add an signed integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000337///
Devang Patel930143b2009-11-21 02:48:08 +0000338void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000339 unsigned Form, int64_t Integer) {
340 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel92e8c652009-11-21 00:31:03 +0000341 DIEValue *Value = new DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000342 DIEValues.push_back(Value);
343 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000344}
345
Devang Patel8c339592009-12-02 15:25:16 +0000346/// addString - Add a string attribute data and value. DIEString only
347/// keeps string reference.
Devang Patel930143b2009-11-21 02:48:08 +0000348void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerc3f23b82010-01-23 03:11:46 +0000349 StringRef String) {
Devang Patel92e8c652009-11-21 00:31:03 +0000350 DIEValue *Value = new DIEString(String);
Devang Patel930143b2009-11-21 02:48:08 +0000351 DIEValues.push_back(Value);
352 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000353}
354
Devang Patel930143b2009-11-21 02:48:08 +0000355/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000356///
Devang Patel930143b2009-11-21 02:48:08 +0000357void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000358 const DWLabel &Label) {
Devang Patel92e8c652009-11-21 00:31:03 +0000359 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patel930143b2009-11-21 02:48:08 +0000360 DIEValues.push_back(Value);
361 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000362}
363
Devang Patel930143b2009-11-21 02:48:08 +0000364/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000365///
Devang Patel930143b2009-11-21 02:48:08 +0000366void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner06d45f62010-01-16 18:50:28 +0000367 const MCSymbol *Sym) {
368 DIEValue *Value = new DIEObjectLabel(Sym);
Devang Patel930143b2009-11-21 02:48:08 +0000369 DIEValues.push_back(Value);
370 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000371}
372
Devang Patel930143b2009-11-21 02:48:08 +0000373/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000374///
Devang Patel930143b2009-11-21 02:48:08 +0000375void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000376 const DWLabel &Label, const DWLabel &Section,
377 bool isEH, bool useSet) {
Devang Patel92e8c652009-11-21 00:31:03 +0000378 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patel930143b2009-11-21 02:48:08 +0000379 DIEValues.push_back(Value);
380 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000381}
382
Devang Patel930143b2009-11-21 02:48:08 +0000383/// addDelta - Add a label delta attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000384///
Devang Patel930143b2009-11-21 02:48:08 +0000385void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000386 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel92e8c652009-11-21 00:31:03 +0000387 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel930143b2009-11-21 02:48:08 +0000388 DIEValues.push_back(Value);
389 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000390}
391
Devang Patel930143b2009-11-21 02:48:08 +0000392/// addBlock - Add block data.
Bill Wendling2f921f82009-05-15 09:23:25 +0000393///
Devang Patel930143b2009-11-21 02:48:08 +0000394void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000395 DIEBlock *Block) {
396 Block->ComputeSize(TD);
Devang Patel930143b2009-11-21 02:48:08 +0000397 DIEValues.push_back(Block);
398 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000399}
400
Devang Patel930143b2009-11-21 02:48:08 +0000401/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000402/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000403void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling2f921f82009-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 Patelb314bd62009-12-11 21:37:07 +0000409 unsigned FileID = findCompileUnit(V->getCompileUnit())->getID();
Bill Wendling2f921f82009-05-15 09:23:25 +0000410 assert(FileID && "Invalid file id");
Devang Patel930143b2009-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 Wendling2f921f82009-05-15 09:23:25 +0000413}
414
Devang Patel930143b2009-11-21 02:48:08 +0000415/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000416/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000417void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling2f921f82009-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 Patelb314bd62009-12-11 21:37:07 +0000423 unsigned FileID = findCompileUnit(G->getCompileUnit())->getID();
Bill Wendling2f921f82009-05-15 09:23:25 +0000424 assert(FileID && "Invalid file id");
Devang Patel930143b2009-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 Wendling2f921f82009-05-15 09:23:25 +0000427}
Devang Patelb2de5fa2009-08-31 22:47:13 +0000428
Devang Patel930143b2009-11-21 02:48:08 +0000429/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000430/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000431void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patelb2de5fa2009-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 Tice183a5192009-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 Patelb2de5fa2009-08-31 22:47:13 +0000439
440 unsigned Line = SP->getLineNumber();
Devang Patelb314bd62009-12-11 21:37:07 +0000441 unsigned FileID = findCompileUnit(SP->getCompileUnit())->getID();
Devang Patelb2de5fa2009-08-31 22:47:13 +0000442 assert(FileID && "Invalid file id");
Devang Patel930143b2009-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 Patelb2de5fa2009-08-31 22:47:13 +0000445}
446
Devang Patel930143b2009-11-21 02:48:08 +0000447/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000448/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000449void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling2f921f82009-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 Patelb314bd62009-12-11 21:37:07 +0000456 unsigned FileID = findCompileUnit(CU)->getID();
Bill Wendling2f921f82009-05-15 09:23:25 +0000457 assert(FileID && "Invalid file id");
Devang Patel930143b2009-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 Wendling2f921f82009-05-15 09:23:25 +0000460}
461
Devang Patel1f4690c2009-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 Ticec87c1e22009-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 Patel930143b2009-11-21 02:48:08 +0000502 value of the variable. The function addBlockByrefType does this. */
Caroline Ticec87c1e22009-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 Patel930143b2009-11-21 02:48:08 +0000507DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticec87c1e22009-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 Stump14cf8ec2009-09-30 00:08:22 +0000513 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-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 Patel2d9caf92009-11-25 17:36:49 +0000527 if (Name == DT.getName())
Caroline Ticec87c1e22009-08-31 21:19:37 +0000528 return (DT.getTypeDerivedFrom());
529 }
530
531 return Ty;
532}
533
Devang Patel930143b2009-11-21 02:48:08 +0000534/// addComplexAddress - Start with the address based on the location provided,
Mike Stump14cf8ec2009-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 Patel930143b2009-11-21 02:48:08 +0000539void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump14cf8ec2009-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 Patel930143b2009-11-21 02:48:08 +0000552 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000553 } else {
554 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-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 Stump14cf8ec2009-09-30 00:08:22 +0000557 }
558 } else {
559 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000560 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000561 else {
Devang Patel930143b2009-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 Stump14cf8ec2009-09-30 00:08:22 +0000564 }
565
Devang Patel930143b2009-11-21 02:48:08 +0000566 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump14cf8ec2009-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 Patel930143b2009-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 Stump14cf8ec2009-09-30 00:08:22 +0000575 } else if (Element == DIFactory::OpDeref) {
Devang Patel930143b2009-11-21 02:48:08 +0000576 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000577 } else llvm_unreachable("unknown DIFactory Opcode");
578 }
579
580 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000581 addBlock(Die, Attribute, 0, Block);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000582}
583
Caroline Ticec87c1e22009-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 Patel930143b2009-11-21 02:48:08 +0000593 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticec87c1e22009-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 Dunbarc418d6b2009-09-19 20:40:05 +0000598 expression that explains to the debugger how to navigate through the
Caroline Ticec87c1e22009-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 Patel930143b2009-11-21 02:48:08 +0000638/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticec87c1e22009-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 Patel930143b2009-11-21 02:48:08 +0000644void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000645 unsigned Attribute,
646 const MachineLocation &Location) {
Caroline Ticec87c1e22009-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 Patel2d9caf92009-11-25 17:36:49 +0000653 StringRef varName = VD.getName();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000654
655 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump14cf8ec2009-09-30 00:08:22 +0000656 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000657 TmpTy = DTy.getTypeDerivedFrom();
658 isPointer = true;
659 }
660
661 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
662
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000663 // Find the __forwarding field and the variable field in the __Block_byref
664 // struct.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000665 DIArray Fields = blockStruct.getTypeArray();
666 DIDescriptor varField = DIDescriptor();
667 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000668
669
Daniel Dunbarbe22ec42009-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 Patel2d9caf92009-11-25 17:36:49 +0000673 StringRef fieldName = DT.getName();
674 if (fieldName == "__forwarding")
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000675 forwardingField = Element;
Devang Patel2d9caf92009-11-25 17:36:49 +0000676 else if (fieldName == varName)
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000677 varField = Element;
678 }
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000679
Mike Stump944fa252009-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 Ticec87c1e22009-08-31 21:19:37 +0000683
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000684 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbarbe22ec42009-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 Ticec87c1e22009-08-31 21:19:37 +0000689
Mike Stump944fa252009-09-24 23:21:26 +0000690 // Decode the original location, and use that as the start of the byref
691 // variable's location.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000692 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
693 DIEBlock *Block = new DIEBlock();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000694
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000695 if (Location.isReg()) {
696 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000697 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000698 else {
699 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-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 Dunbarbe22ec42009-09-19 20:40:14 +0000702 }
703 } else {
704 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000706 else {
Devang Patel930143b2009-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 Dunbarbe22ec42009-09-19 20:40:14 +0000709 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000710
Devang Patel930143b2009-11-21 02:48:08 +0000711 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000712 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000713
Mike Stump944fa252009-09-24 23:21:26 +0000714 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000715 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000716 if (isPointer)
Devang Patel930143b2009-11-21 02:48:08 +0000717 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000718
Daniel Dunbarbe22ec42009-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 Dunbarbe22ec42009-09-19 20:40:14 +0000722 if (forwardingFieldOffset > 0) {
Devang Patel930143b2009-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 Dunbarbe22ec42009-09-19 20:40:14 +0000725 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000726
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000727 // Now dereference the __forwarding field to get to the real __Block_byref
728 // struct: DW_OP_deref.
Devang Patel930143b2009-11-21 02:48:08 +0000729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000730
Daniel Dunbarbe22ec42009-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 Dunbarbe22ec42009-09-19 20:40:14 +0000734 if (varFieldOffset > 0) {
Devang Patel930143b2009-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 Dunbarbe22ec42009-09-19 20:40:14 +0000737 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000738
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000739 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000740 addBlock(Die, Attribute, 0, Block);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000741}
742
Devang Patel930143b2009-11-21 02:48:08 +0000743/// addAddress - Add an address attribute to a die based on the location
Bill Wendling2f921f82009-05-15 09:23:25 +0000744/// provided.
Devang Patel930143b2009-11-21 02:48:08 +0000745void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-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 Patel930143b2009-11-21 02:48:08 +0000752 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000753 } else {
Devang Patel930143b2009-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 Wendling2f921f82009-05-15 09:23:25 +0000756 }
757 } else {
758 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000759 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000760 } else {
Devang Patel930143b2009-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 Wendling2f921f82009-05-15 09:23:25 +0000763 }
764
Devang Patel930143b2009-11-21 02:48:08 +0000765 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling2f921f82009-05-15 09:23:25 +0000766 }
767
Devang Patel930143b2009-11-21 02:48:08 +0000768 addBlock(Die, Attribute, 0, Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000769}
770
Devang Patel2b75ed22009-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 Patel1f4690c2009-12-15 19:16:48 +0000778 } else if (Context.isNameSpace()) {
779 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
780 ContextDIE->addChild(Die);
Devang Patel2b75ed22009-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 Patelb5b60ea2009-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 Patel2b75ed22009-12-10 19:14:49 +0000806 addToContextOwner(TyDIE, Ty.getContext());
Devang Patelb5b60ea2009-12-10 18:05:33 +0000807 return TyDIE;
808}
809
Devang Patel930143b2009-11-21 02:48:08 +0000810/// addType - Add a new type attribute to the specified entity.
Devang Patel9ccfb642009-12-09 18:24:21 +0000811void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000812 if (Ty.isNull())
813 return;
814
815 // Check for pre-existence.
Devang Patel9ccfb642009-12-09 18:24:21 +0000816 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling2f921f82009-05-15 09:23:25 +0000817 // If it exists then use the existing value.
Devang Patel930143b2009-11-21 02:48:08 +0000818 if (Entry) {
819 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000820 return;
821 }
822
823 // Set up proxy.
Devang Patel930143b2009-11-21 02:48:08 +0000824 Entry = createDIEEntry();
Devang Patel9ccfb642009-12-09 18:24:21 +0000825 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000826
827 // Construct type.
Devang Patelb5b60ea2009-12-10 18:05:33 +0000828 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling2f921f82009-05-15 09:23:25 +0000829
Devang Patel930143b2009-11-21 02:48:08 +0000830 Entry->setEntry(Buffer);
831 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000832}
833
Devang Patel930143b2009-11-21 02:48:08 +0000834/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000835void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000836 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000837 StringRef Name = BTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000838 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +0000839 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling2f921f82009-05-15 09:23:25 +0000840 BTy.getEncoding());
841
842 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000843 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000844 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000845 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel930143b2009-11-21 02:48:08 +0000846 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000847}
848
Devang Patel930143b2009-11-21 02:48:08 +0000849/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000850void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000851 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000852 StringRef Name = DTy.getName();
Bill Wendling2f921f82009-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 Patel9ccfb642009-12-09 18:24:21 +0000863 addType(&Buffer, FromTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000864
865 // Add name if not anonymous or intermediate type.
Devang Patelae466ef2009-11-30 23:56:56 +0000866 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000867 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000868
869 // Add size if non-zero (derived types might be zero-sized.)
870 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000871 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000872
873 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb5b51592009-11-23 18:43:37 +0000874 if (!DTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000875 addSourceLine(&Buffer, &DTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000876}
877
Devang Patel930143b2009-11-21 02:48:08 +0000878/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000879void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000880 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000881 StringRef Name = CTy.getName();
Bill Wendling2f921f82009-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 Patel9ccfb642009-12-09 18:24:21 +0000890 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling2f921f82009-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 Patel80ae3492009-08-28 23:24:31 +0000898 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelfafa1fe2009-10-09 17:51:49 +0000899 if (!Enum.isNull()) {
Devang Patel9ccfb642009-12-09 18:24:21 +0000900 ElemDie = constructEnumTypeDIE(&Enum);
Devang Patel930143b2009-11-21 02:48:08 +0000901 Buffer.addChild(ElemDie);
Devang Patelfafa1fe2009-10-09 17:51:49 +0000902 }
Bill Wendling2f921f82009-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 Patel9ccfb642009-12-09 18:24:21 +0000910 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling2f921f82009-05-15 09:23:25 +0000911
912 // Add prototype flag.
Devang Patel930143b2009-11-21 02:48:08 +0000913 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-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 Patel9ccfb642009-12-09 18:24:21 +0000919 addType(Arg, DIType(Ty.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000920 Buffer.addChild(Arg);
Bill Wendling2f921f82009-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 Patel80ae3492009-08-28 23:24:31 +0000937 if (Element.isNull())
938 continue;
Bill Wendling2f921f82009-05-15 09:23:25 +0000939 DIE *ElemDie = NULL;
940 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patel525dda02009-12-14 16:18:45 +0000941 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Bill Wendling2f921f82009-05-15 09:23:25 +0000942 else
Devang Patel9ccfb642009-12-09 18:24:21 +0000943 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000944 Buffer.addChild(ElemDie);
Bill Wendling2f921f82009-05-15 09:23:25 +0000945 }
946
Devang Patel3082c012009-08-27 23:51:51 +0000947 if (CTy.isAppleBlockExtension())
Devang Patel930143b2009-11-21 02:48:08 +0000948 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000949
950 unsigned RLang = CTy.getRunTimeLang();
951 if (RLang)
Devang Patel930143b2009-11-21 02:48:08 +0000952 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling2f921f82009-05-15 09:23:25 +0000953 dwarf::DW_FORM_data1, RLang);
Devang Patel303a1be2010-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 Wendling2f921f82009-05-15 09:23:25 +0000959 break;
960 }
961 default:
962 break;
963 }
964
965 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000966 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000967 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000968
Devang Patelaedd6f52010-01-29 18:34:58 +0000969 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling2f921f82009-05-15 09:23:25 +0000970 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 Patel930143b2009-11-21 02:48:08 +0000973 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000974 else {
975 // Add zero size if it is not a forward declaration.
976 if (CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000977 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000978 else
Devang Patel930143b2009-11-21 02:48:08 +0000979 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling2f921f82009-05-15 09:23:25 +0000980 }
981
982 // Add source line info if available.
983 if (!CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000984 addSourceLine(&Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000985 }
986}
987
Devang Patel930143b2009-11-21 02:48:08 +0000988/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
989void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling2f921f82009-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 Patel930143b2009-11-21 02:48:08 +0000994 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patelf691df32009-08-14 20:59:16 +0000995 if (L)
Devang Patel930143b2009-11-21 02:48:08 +0000996 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Patel8f046022009-12-04 23:10:24 +0000997 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling2f921f82009-05-15 09:23:25 +0000998
Devang Patel930143b2009-11-21 02:48:08 +0000999 Buffer.addChild(DW_Subrange);
Bill Wendling2f921f82009-05-15 09:23:25 +00001000}
1001
Devang Patel930143b2009-11-21 02:48:08 +00001002/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +00001003void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling2f921f82009-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 Patel930143b2009-11-21 02:48:08 +00001007 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001008
1009 // Emit derived type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001010 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001011 DIArray Elements = CTy->getTypeArray();
1012
Devang Patel92e8c652009-11-21 00:31:03 +00001013 // Get an anonymous type for index type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001014 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel92e8c652009-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 Patel930143b2009-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 Patel92e8c652009-11-21 00:31:03 +00001020 dwarf::DW_ATE_signed);
Devang Patel9ccfb642009-12-09 18:24:21 +00001021 ModuleCU->addDie(IdxTy);
1022 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel92e8c652009-11-21 00:31:03 +00001023 }
Bill Wendling2f921f82009-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 Patel930143b2009-11-21 02:48:08 +00001029 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001030 }
1031}
1032
Devang Patel930143b2009-11-21 02:48:08 +00001033/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel9ccfb642009-12-09 18:24:21 +00001034DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator *ETy) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001035 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel2d9caf92009-11-25 17:36:49 +00001036 StringRef Name = ETy->getName();
Devang Patel930143b2009-11-21 02:48:08 +00001037 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +00001038 int64_t Value = ETy->getEnumValue();
Devang Patel930143b2009-11-21 02:48:08 +00001039 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +00001040 return Enumerator;
1041}
1042
Devang Patel43ef34d2010-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 Patel930143b2009-11-21 02:48:08 +00001053/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel9ccfb642009-12-09 18:24:21 +00001054DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach00e9c612009-11-22 19:20:36 +00001055 // If the global variable was optmized out then no need to create debug info
1056 // entry.
Devang Patelcc11371b2009-11-06 17:58:12 +00001057 if (!GV.getGlobal()) return NULL;
Devang Patel2d9caf92009-11-25 17:36:49 +00001058 if (GV.getDisplayName().empty()) return NULL;
Devang Patel06ce6502009-11-06 01:30:04 +00001059
Bill Wendling2f921f82009-05-15 09:23:25 +00001060 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach042483e2009-11-21 23:12:12 +00001061 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001062 GV.getDisplayName());
1063
Devang Patel2d9caf92009-11-25 17:36:49 +00001064 StringRef LinkageName = GV.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001065 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001066 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001067 getRealLinkageName(LinkageName));
1068
Devang Patel9ccfb642009-12-09 18:24:21 +00001069 addType(GVDie, GV.getType());
Bill Wendling2f921f82009-05-15 09:23:25 +00001070 if (!GV.isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001071 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1072 addSourceLine(GVDie, &GV);
Devang Patel4144a822009-10-05 23:22:08 +00001073
Bill Wendling2f921f82009-05-15 09:23:25 +00001074 return GVDie;
1075}
1076
Devang Patel930143b2009-11-21 02:48:08 +00001077/// createMemberDIE - Create new member DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001078DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001079 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel2d9caf92009-11-25 17:36:49 +00001080 StringRef Name = DT.getName();
1081 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001082 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel2d9caf92009-11-25 17:36:49 +00001083
Devang Patel9ccfb642009-12-09 18:24:21 +00001084 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001085
Devang Patel930143b2009-11-21 02:48:08 +00001086 addSourceLine(MemberDie, &DT);
Bill Wendling2f921f82009-05-15 09:23:25 +00001087
Devang Patel67f56f02009-11-04 22:06:12 +00001088 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel930143b2009-11-21 02:48:08 +00001089 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel67f56f02009-11-04 22:06:12 +00001090
Bill Wendling2f921f82009-05-15 09:23:25 +00001091 uint64_t Size = DT.getSizeInBits();
Devang Patelf05d5722009-11-04 23:48:00 +00001092 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling2f921f82009-05-15 09:23:25 +00001093
1094 if (Size != FieldSize) {
1095 // Handle bitfield.
Devang Patel930143b2009-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 Wendling2f921f82009-05-15 09:23:25 +00001098
1099 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling2f921f82009-05-15 09:23:25 +00001100 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1101 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer2b459982010-01-07 17:50:57 +00001102 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling2f921f82009-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 Patel930143b2009-11-21 02:48:08 +00001107 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling2f921f82009-05-15 09:23:25 +00001108
Devang Patel67f56f02009-11-04 22:06:12 +00001109 // Here WD_AT_data_member_location points to the anonymous
1110 // field that includes this bit field.
Devang Patel930143b2009-11-21 02:48:08 +00001111 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001112
1113 } else
1114 // This is not a bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001115 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001116
Devang Patel930143b2009-11-21 02:48:08 +00001117 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001118
1119 if (DT.isProtected())
Devang Pateleb57c592009-12-03 19:11:07 +00001120 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001121 dwarf::DW_ACCESS_protected);
1122 else if (DT.isPrivate())
Devang Pateleb57c592009-12-03 19:11:07 +00001123 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001124 dwarf::DW_ACCESS_private);
Devang Pateleb57c592009-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 Wendling2f921f82009-05-15 09:23:25 +00001131 return MemberDie;
1132}
1133
Devang Patel525dda02009-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 Patel2d9caf92009-11-25 17:36:49 +00001141 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling2f921f82009-05-15 09:23:25 +00001142
Devang Patel2d9caf92009-11-25 17:36:49 +00001143 StringRef LinkageName = SP.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001144 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001145 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001146 getRealLinkageName(LinkageName));
1147
Devang Patel930143b2009-11-21 02:48:08 +00001148 addSourceLine(SPDie, &SP);
Bill Wendling2f921f82009-05-15 09:23:25 +00001149
Bill Wendling2f921f82009-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 Patel930143b2009-11-21 02:48:08 +00001154 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001155
1156 // Add Return Type.
Devang Patel236526d2009-12-03 01:25:38 +00001157 DICompositeType SPTy = SP.getType();
1158 DIArray Args = SPTy.getTypeArray();
Bill Wendling2f921f82009-05-15 09:23:25 +00001159 unsigned SPTag = SPTy.getTag();
Devang Pateleb57c592009-12-03 19:11:07 +00001160
Devang Patel236526d2009-12-03 01:25:38 +00001161 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel9ccfb642009-12-09 18:24:21 +00001162 addType(SPDie, SPTy);
Devang Patel236526d2009-12-03 01:25:38 +00001163 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001164 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel236526d2009-12-03 01:25:38 +00001165
Devang Pateleb57c592009-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 Patel018b29b2010-01-19 06:19:05 +00001173 ContainingTypeMap.insert(std::make_pair(SPDie,
1174 SP.getContainingType().getNode()));
Devang Pateleb57c592009-12-03 19:11:07 +00001175 }
1176
Devang Patel525dda02009-12-14 16:18:45 +00001177 if (MakeDecl || !SP.isDefinition()) {
Devang Patel930143b2009-11-21 02:48:08 +00001178 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001179
1180 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel236526d2009-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 Wendling2f921f82009-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 Patel9ccfb642009-12-09 18:24:21 +00001189 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patel930143b2009-11-21 02:48:08 +00001190 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1191 SPDie->addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +00001192 }
1193 }
1194
Bill Wendling2f921f82009-05-15 09:23:25 +00001195 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001196 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001197 return SPDie;
1198}
1199
Devang Patel930143b2009-11-21 02:48:08 +00001200/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling2f921f82009-05-15 09:23:25 +00001201///
Devang Patelb314bd62009-12-11 21:37:07 +00001202CompileUnit *DwarfDebug::findCompileUnit(DICompileUnit Unit) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001203 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patel80ae3492009-08-28 23:24:31 +00001204 CompileUnitMap.find(Unit.getNode());
Devang Patelb314bd62009-12-11 21:37:07 +00001205 if (I == CompileUnitMap.end())
1206 return constructCompileUnit(Unit.getNode());
1207 return I->second;
Bill Wendling2f921f82009-05-15 09:23:25 +00001208}
1209
Devang Patelf6eeaeb2009-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 Patel75cc16c2009-10-01 20:31:14 +00001228
1229 DbgScope *Parent = NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001230 if (GetConcreteScope) {
Devang Patel6875c5eb2009-10-14 21:08:09 +00001231 DILocation IL(InlinedAt);
Jim Grosbach042483e2009-11-21 23:12:12 +00001232 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001233 IL.getOrigLocation().getNode());
1234 assert (Parent && "Unable to find Parent scope!");
1235 NScope->setParent(Parent);
Devang Patel930143b2009-11-21 02:48:08 +00001236 Parent->addScope(NScope);
Devang Patelf6eeaeb2009-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 Patel930143b2009-11-21 02:48:08 +00001242 Parent->addScope(NScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001243 }
Devang Patel6875c5eb2009-10-14 21:08:09 +00001244 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001245
Devang Patelcfeaa482009-10-27 20:47:17 +00001246 NScope->setFirstInsn(MI);
Devang Patel75cc16c2009-10-01 20:31:14 +00001247
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001248 if (!Parent && !InlinedAt) {
Devang Patel78319c62009-11-11 00:31:36 +00001249 StringRef SPName = DISubprogram(N).getLinkageName();
1250 if (SPName == MF->getFunction()->getName())
1251 CurrentFnDbgScope = NScope;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001252 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001253
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001254 if (GetConcreteScope) {
1255 ConcreteScopes[InlinedAt] = NScope;
1256 getOrCreateAbstractScope(N);
1257 }
1258
Devang Patelcfeaa482009-10-27 20:47:17 +00001259 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001260}
1261
Devang Patelf6eeaeb2009-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 Grosbach042483e2009-11-21 23:12:12 +00001268
Devang Patelf6eeaeb2009-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 Patel930143b2009-11-21 02:48:08 +00001282 Parent->addScope(AScope);
Devang Patelf6eeaeb2009-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 Patel75cc16c2009-10-01 20:31:14 +00001289
Jim Grosbach042483e2009-11-21 23:12:12 +00001290/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel930143b2009-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 Patelf6eeaeb2009-11-10 23:06:00 +00001295
Devang Patele064ad42009-11-20 21:37:22 +00001296 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001297 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patel525dda02009-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 Patel525dda02009-12-14 16:18:45 +00001316 ModuleCU->addDie(SPDie);
1317 }
1318
Devang Patel930143b2009-11-21 02:48:08 +00001319 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001320 DWLabel("func_begin", SubprogramCount));
Devang Patel930143b2009-11-21 02:48:08 +00001321 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001322 DWLabel("func_end", SubprogramCount));
1323 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel930143b2009-11-21 02:48:08 +00001324 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach042483e2009-11-21 23:12:12 +00001325
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001326 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001327 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001328
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001329 return SPDie;
1330}
1331
Jim Grosbach042483e2009-11-21 23:12:12 +00001332/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel930143b2009-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 Patelf6eeaeb2009-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 Patel930143b2009-11-21 02:48:08 +00001346 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach042483e2009-11-21 23:12:12 +00001347 StartID ?
1348 DWLabel("label", StartID)
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001349 : DWLabel("func_begin", SubprogramCount));
Devang Patel930143b2009-11-21 02:48:08 +00001350 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach042483e2009-11-21 23:12:12 +00001351 EndID ?
1352 DWLabel("label", EndID)
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001353 : DWLabel("func_end", SubprogramCount));
1354
1355
1356
1357 return ScopeDIE;
1358}
1359
Devang Patel930143b2009-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 Patelf6eeaeb2009-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 Patele064ad42009-11-20 21:37:22 +00001378 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001379 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patel930143b2009-11-21 02:48:08 +00001380 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001381 dwarf::DW_FORM_ref4, OriginDIE);
1382
Devang Patel930143b2009-11-21 02:48:08 +00001383 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001384 DWLabel("label", StartID));
Devang Patel930143b2009-11-21 02:48:08 +00001385 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patelf6eeaeb2009-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 Patel018b29b2010-01-19 06:19:05 +00001391 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001392 I = InlineInfo.find(InlinedSP.getNode());
1393
1394 if (I == InlineInfo.end()) {
Jim Grosbach00e9c612009-11-22 19:20:36 +00001395 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1396 ScopeDIE));
Devang Patelf6eeaeb2009-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 Patel43ef34d2010-01-05 01:46:14 +00001402 StringPool.insert(getRealLinkageName(InlinedSP.getLinkageName()));
1403
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001404 DILocation DL(Scope->getInlinedAt());
Devang Patel930143b2009-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 Patelf6eeaeb2009-11-10 23:06:00 +00001407
1408 return ScopeDIE;
1409}
1410
Devang Patel930143b2009-11-21 02:48:08 +00001411
1412/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel9ccfb642009-12-09 18:24:21 +00001413DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001414 // Get the descriptor.
1415 const DIVariable &VD = DV->getVariable();
Devang Patel2d9caf92009-11-25 17:36:49 +00001416 StringRef Name = VD.getName();
1417 if (Name.empty())
Devang Patel97f99fa2009-11-13 02:25:26 +00001418 return NULL;
Devang Patelf6eeaeb2009-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 Grosbach042483e2009-11-21 23:12:12 +00001442
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001443 if (AbsDIE) {
1444 DIScope DS(Scope->getScopeNode());
1445 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001446 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbar75b4d352009-11-11 03:09:50 +00001447 (void) OriginSPDIE;
Devang Patelf6eeaeb2009-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 Patel930143b2009-11-21 02:48:08 +00001451 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001452 dwarf::DW_FORM_ref4, AbsDIE);
1453 }
1454 else {
Devang Patel930143b2009-11-21 02:48:08 +00001455 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1456 addSourceLine(VariableDie, &VD);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001457
1458 // Add variable type.
Jim Grosbach042483e2009-11-21 23:12:12 +00001459 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001460 // addresses instead.
1461 if (VD.isBlockByrefVariable())
Devang Patel9ccfb642009-12-09 18:24:21 +00001462 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001463 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001464 addType(VariableDie, VD.getType());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001465 }
1466
1467 // Add variable address.
1468 if (!Scope->isAbstractScope()) {
1469 MachineLocation Location;
Jim Grosbachbf6d3582009-11-22 20:14:00 +00001470 unsigned FrameReg;
1471 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1472 Location.set(FrameReg, Offset);
Jim Grosbach042483e2009-11-21 23:12:12 +00001473
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001474 if (VD.hasComplexAddress())
Devang Patel930143b2009-11-21 02:48:08 +00001475 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001476 else if (VD.isBlockByrefVariable())
Devang Patel930143b2009-11-21 02:48:08 +00001477 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001478 else
Devang Patel930143b2009-11-21 02:48:08 +00001479 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001480 }
1481 DV->setDIE(VariableDie);
1482 return VariableDie;
1483
1484}
Devang Patel930143b2009-11-21 02:48:08 +00001485
Devang Patel04d2f2d2009-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 Patel2d9caf92009-11-25 17:36:49 +00001501 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patel04d2f2d2009-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 Patel930143b2009-11-21 02:48:08 +00001508/// constructScopeDIE - Construct a DIE for this scope.
1509DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patelf6eeaeb2009-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 Patel930143b2009-11-21 02:48:08 +00001518 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001519 else if (DS.isSubprogram()) {
1520 if (Scope->isAbstractScope())
Devang Patele064ad42009-11-20 21:37:22 +00001521 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001522 else
Devang Patel930143b2009-11-21 02:48:08 +00001523 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001524 }
1525 else {
Devang Patel930143b2009-11-21 02:48:08 +00001526 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patelf6eeaeb2009-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 Patel9ccfb642009-12-09 18:24:21 +00001533 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach042483e2009-11-21 23:12:12 +00001534 if (VariableDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001535 ScopeDIE->addChild(VariableDIE);
Devang Patelf6eeaeb2009-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 Patel930143b2009-11-21 02:48:08 +00001542 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach042483e2009-11-21 23:12:12 +00001543 if (NestedDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001544 ScopeDIE->addChild(NestedDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001545 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00001546
1547 if (DS.isSubprogram())
1548 addPubTypes(DISubprogram(DS.getNode()));
1549
1550 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001551}
1552
Bill Wendling2b128d72009-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 Patel2d9caf92009-11-25 17:36:49 +00001557unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendling2b128d72009-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 Patel1f4690c2009-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 Patelb314bd62009-12-11 21:37:07 +00001604CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001605 DICompileUnit DIUnit(N);
Devang Patel2d9caf92009-11-25 17:36:49 +00001606 StringRef FN = DIUnit.getFilename();
1607 StringRef Dir = DIUnit.getDirectory();
Devang Patelb2969422009-09-29 18:40:58 +00001608 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendling2b128d72009-05-20 23:19:06 +00001609
1610 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel930143b2009-11-21 02:48:08 +00001611 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendling2b128d72009-05-20 23:19:06 +00001612 DWLabel("section_line", 0), DWLabel("section_line", 0),
1613 false);
Devang Patel930143b2009-11-21 02:48:08 +00001614 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001615 DIUnit.getProducer());
Devang Patel930143b2009-11-21 02:48:08 +00001616 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendling2b128d72009-05-20 23:19:06 +00001617 DIUnit.getLanguage());
Devang Patel930143b2009-11-21 02:48:08 +00001618 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendling2b128d72009-05-20 23:19:06 +00001619
Devang Patel2d9caf92009-11-25 17:36:49 +00001620 if (!Dir.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001621 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendling2b128d72009-05-20 23:19:06 +00001622 if (DIUnit.isOptimized())
Devang Patel930143b2009-11-21 02:48:08 +00001623 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendling2b128d72009-05-20 23:19:06 +00001624
Devang Patel2d9caf92009-11-25 17:36:49 +00001625 StringRef Flags = DIUnit.getFlags();
1626 if (!Flags.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001627 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendling2b128d72009-05-20 23:19:06 +00001628
1629 unsigned RVer = DIUnit.getRunTimeVersion();
1630 if (RVer)
Devang Patel930143b2009-11-21 02:48:08 +00001631 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +00001632 dwarf::DW_FORM_data1, RVer);
1633
1634 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel40d78412009-06-29 20:45:18 +00001635 if (!ModuleCU && DIUnit.isMain()) {
Devang Patel86353452009-06-29 20:38:13 +00001636 // Use first compile unit marked as isMain as the compile unit
1637 // for this module.
Devang Patel40d78412009-06-29 20:45:18 +00001638 ModuleCU = Unit;
Devang Patel86353452009-06-29 20:38:13 +00001639 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001640
Devang Patel80ae3492009-08-28 23:24:31 +00001641 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendling2b128d72009-05-20 23:19:06 +00001642 CompileUnits.push_back(Unit);
Devang Patelb314bd62009-12-11 21:37:07 +00001643 return Unit;
Bill Wendling2b128d72009-05-20 23:19:06 +00001644}
1645
Devang Patel930143b2009-11-21 02:48:08 +00001646void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001647 DIGlobalVariable DI_GV(N);
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001648
Devang Patelf5d53602009-09-04 23:59:07 +00001649 // If debug information is malformed then ignore it.
1650 if (DI_GV.Verify() == false)
1651 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001652
1653 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001654 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel0751a282009-06-26 01:49:18 +00001655 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001656
Devang Patel9ccfb642009-12-09 18:24:21 +00001657 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel2eec32d2009-12-10 23:25:41 +00001658 if (!VariableDie)
1659 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001660
Bill Wendling2b128d72009-05-20 23:19:06 +00001661 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001662 ModuleCU->insertDIE(N, VariableDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001663
1664 // Add to context owner.
Devang Patel89880c82010-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 Patel1f4690c2009-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 Lattner06d45f62010-01-16 18:50:28 +00001677 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-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 Lattner06d45f62010-01-16 18:50:28 +00001684 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001685 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1686 }
Devang Patel89880c82010-01-15 01:12:22 +00001687 addToContextOwner(VariableDie, GVContext);
Devang Patel2b75ed22009-12-10 19:14:49 +00001688
Bill Wendling2b128d72009-05-20 23:19:06 +00001689 // Expose as global. FIXME - need to check external flag.
Devang Patel930143b2009-11-21 02:48:08 +00001690 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001691
1692 DIType GTy = DI_GV.getType();
Devang Patel2d9caf92009-11-25 17:36:49 +00001693 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel04d2f2d2009-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 Patel0751a282009-06-26 01:49:18 +00001698 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001699}
1700
Devang Patel930143b2009-11-21 02:48:08 +00001701void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001702 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +00001703
1704 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001705 if (ModuleCU->getDIE(N))
Devang Patel0751a282009-06-26 01:49:18 +00001706 return;
Bill Wendling2b128d72009-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 Patel0751a282009-06-26 01:49:18 +00001711 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001712
Devang Patel9ccfb642009-12-09 18:24:21 +00001713 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendling2b128d72009-05-20 23:19:06 +00001714
1715 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001716 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001717
1718 // Add to context owner.
Devang Patel1f4690c2009-12-15 19:16:48 +00001719 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +00001720
Bill Wendling2b128d72009-05-20 23:19:06 +00001721 // Expose as global.
Devang Patel930143b2009-11-21 02:48:08 +00001722 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001723
Devang Patel0751a282009-06-26 01:49:18 +00001724 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001725}
1726
Devang Patel930143b2009-11-21 02:48:08 +00001727/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbarbe22ec42009-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 Patel930143b2009-11-21 02:48:08 +00001730void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel0c044ec2009-06-25 22:36:02 +00001731 this->M = M;
1732
Bill Wendling2b128d72009-05-20 23:19:06 +00001733 if (TimePassesIsEnabled)
1734 DebugTimer->startTimer();
1735
Devang Pateld41f1192009-11-11 19:55:08 +00001736 if (!MAI->doesSupportDebugInformation())
1737 return;
1738
Devang Patel63524442009-07-30 18:56:46 +00001739 DebugInfoFinder DbgFinder;
1740 DbgFinder.processModule(*M);
Devang Patel0751a282009-06-26 01:49:18 +00001741
Bill Wendling2b128d72009-05-20 23:19:06 +00001742 // Create all the compile unit DIEs.
Devang Patel63524442009-07-30 18:56:46 +00001743 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1744 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001745 constructCompileUnit(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001746
1747 if (CompileUnits.empty()) {
1748 if (TimePassesIsEnabled)
1749 DebugTimer->stopTimer();
1750
1751 return;
1752 }
1753
Devang Patel86353452009-06-29 20:38:13 +00001754 // If main compile unit for this module is not seen than randomly
1755 // select first compile unit.
Devang Patel40d78412009-06-29 20:45:18 +00001756 if (!ModuleCU)
1757 ModuleCU = CompileUnits[0];
Devang Patel86353452009-06-29 20:38:13 +00001758
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001759 // Create DIEs for each subprogram.
Devang Patel63524442009-07-30 18:56:46 +00001760 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1761 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001762 constructSubprogramDIE(*I);
Devang Patel0751a282009-06-26 01:49:18 +00001763
Devang Patel2b75ed22009-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 Wendling2b128d72009-05-20 23:19:06 +00001769 MMI = mmi;
1770 shouldEmit = true;
1771 MMI->setDebugInfoAvailability(true);
1772
1773 // Prime section data.
Chris Lattner5e693ed2009-07-28 03:13:23 +00001774 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-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 Lattnere9a75a62009-08-22 21:43:10 +00001778 if (MAI->hasDotLocAndDotFile()) {
Bill Wendling2b128d72009-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 Lattnerf5c834f2010-01-22 22:09:00 +00001782 // FIXME: don't use sys::path for this! This should not depend on the
1783 // host.
Bill Wendling2b128d72009-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 Lattner601ef332010-01-25 18:58:59 +00001789 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendling2b128d72009-05-20 23:19:06 +00001790 }
1791 }
1792
1793 // Emit initial sections
Devang Patel930143b2009-11-21 02:48:08 +00001794 emitInitial();
Bill Wendling2b128d72009-05-20 23:19:06 +00001795
1796 if (TimePassesIsEnabled)
1797 DebugTimer->stopTimer();
1798}
1799
Devang Patel930143b2009-11-21 02:48:08 +00001800/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendling2b128d72009-05-20 23:19:06 +00001801///
Devang Patel930143b2009-11-21 02:48:08 +00001802void DwarfDebug::endModule() {
Devang Pateld859d862009-10-06 00:03:14 +00001803 if (!ModuleCU)
Bill Wendling2b128d72009-05-20 23:19:06 +00001804 return;
1805
1806 if (TimePassesIsEnabled)
1807 DebugTimer->startTimer();
1808
Devang Patelf6eeaeb2009-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 Patel930143b2009-11-21 02:48:08 +00001813 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001814 }
1815
Devang Patel236526d2009-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 Patel018b29b2010-01-19 06:19:05 +00001821 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Pateleb57c592009-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 Patel2108ee02010-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 Pateleb57c592009-12-03 19:11:07 +00001831 }
1832
Bill Wendling2b128d72009-05-20 23:19:06 +00001833 // Standard sections final addresses.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001834 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +00001835 EmitLabel("text_end", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001836 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendling2b128d72009-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 Lattner4b7dadb2009-08-19 05:49:37 +00001841 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendling2b128d72009-05-20 23:19:06 +00001842 EmitLabel("section_end", i);
1843 }
1844
1845 // Emit common frame information.
Devang Patel930143b2009-11-21 02:48:08 +00001846 emitCommonDebugFrame();
Bill Wendling2b128d72009-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 Patel930143b2009-11-21 02:48:08 +00001851 emitFunctionDebugFrame(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001852
1853 // Compute DIE offsets and sizes.
Devang Patel930143b2009-11-21 02:48:08 +00001854 computeSizeAndOffsets();
Bill Wendling2b128d72009-05-20 23:19:06 +00001855
1856 // Emit all the DIEs into a debug info section
Devang Patel930143b2009-11-21 02:48:08 +00001857 emitDebugInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001858
1859 // Corresponding abbreviations into a abbrev section.
Devang Patel930143b2009-11-21 02:48:08 +00001860 emitAbbreviations();
Bill Wendling2b128d72009-05-20 23:19:06 +00001861
1862 // Emit source line correspondence into a debug line section.
Devang Patel930143b2009-11-21 02:48:08 +00001863 emitDebugLines();
Bill Wendling2b128d72009-05-20 23:19:06 +00001864
1865 // Emit info into a debug pubnames section.
Devang Patel930143b2009-11-21 02:48:08 +00001866 emitDebugPubNames();
Bill Wendling2b128d72009-05-20 23:19:06 +00001867
Devang Patel04d2f2d2009-11-24 01:14:22 +00001868 // Emit info into a debug pubtypes section.
1869 emitDebugPubTypes();
1870
Bill Wendling2b128d72009-05-20 23:19:06 +00001871 // Emit info into a debug str section.
Devang Patel930143b2009-11-21 02:48:08 +00001872 emitDebugStr();
Bill Wendling2b128d72009-05-20 23:19:06 +00001873
1874 // Emit info into a debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00001875 emitDebugLoc();
Bill Wendling2b128d72009-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 Patel930143b2009-11-21 02:48:08 +00001881 emitDebugRanges();
Bill Wendling2b128d72009-05-20 23:19:06 +00001882
1883 // Emit info into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00001884 emitDebugMacInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001885
1886 // Emit inline info.
Devang Patel930143b2009-11-21 02:48:08 +00001887 emitDebugInlineInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001888
1889 if (TimePassesIsEnabled)
1890 DebugTimer->stopTimer();
1891}
1892
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001893/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach00e9c612009-11-22 19:20:36 +00001894DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1895 unsigned FrameIdx,
Devang Patelf6eeaeb2009-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 Patel930143b2009-11-21 02:48:08 +00001907 Scope->addVariable(AbsDbgVariable);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001908 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1909 return AbsDbgVariable;
1910}
1911
Devang Patel930143b2009-11-21 02:48:08 +00001912/// collectVariableInfo - Populate DbgScope entries with variables' info.
1913void DwarfDebug::collectVariableInfo() {
Devang Pateldf45c7f2009-10-09 22:42:28 +00001914 if (!MMI) return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001915
Devang Patel475d32a2009-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 Patelac277eb2010-01-22 22:52:10 +00001919 MDNode *Var = VI->first;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001920 if (!Var) continue;
Devang Patel20b2a772009-10-08 18:48:03 +00001921 DIVariable DV (Var);
Devang Patelf6eeaeb2009-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 Grosbach042483e2009-11-21 23:12:12 +00001928 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelcdb7d442009-11-10 23:20:04 +00001929 // If variable scope is not found then skip this variable.
1930 if (!Scope)
1931 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001932
1933 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patel930143b2009-11-21 02:48:08 +00001934 Scope->addVariable(RegVar);
Jim Grosbach00e9c612009-11-22 19:20:36 +00001935 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1936 ScopeLoc))
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001937 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patel475d32a2009-10-06 01:26:37 +00001938 }
1939}
1940
Devang Patel930143b2009-11-21 02:48:08 +00001941/// beginScope - Process beginning of a scope starting at Label.
1942void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel8db360d2009-10-06 01:50:42 +00001943 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1944 if (I == DbgScopeBeginMap.end())
1945 return;
Dan Gohman3650f4e2009-11-23 21:30:55 +00001946 ScopeVector &SD = I->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001947 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00001948 SDI != SDE; ++SDI)
Devang Patel8db360d2009-10-06 01:50:42 +00001949 (*SDI)->setStartLabelID(Label);
1950}
1951
Devang Patel930143b2009-11-21 02:48:08 +00001952/// endScope - Process end of a scope.
1953void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel8db360d2009-10-06 01:50:42 +00001954 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel7d838bb2009-10-06 03:15:38 +00001955 if (I == DbgScopeEndMap.end())
Devang Patel8db360d2009-10-06 01:50:42 +00001956 return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001957
1958 unsigned Label = MMI->NextLabelID();
1959 Asm->printLabel(Label);
Dan Gohman3a6164e2009-12-05 01:42:34 +00001960 O << '\n';
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001961
Devang Patel8db360d2009-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 Grosbach042483e2009-11-21 23:12:12 +00001964 SDI != SDE; ++SDI)
Devang Patel8db360d2009-10-06 01:50:42 +00001965 (*SDI)->setEndLabelID(Label);
Devang Patelf6eeaeb2009-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 Grosbach042483e2009-11-21 23:12:12 +00001978 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel4450f262009-11-11 00:18:40 +00001979 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patelf6eeaeb2009-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 Patel8db360d2009-10-06 01:50:42 +00001991}
1992
Devang Patel930143b2009-11-21 02:48:08 +00001993/// extractScopeInformation - Scan machine instructions in this function
Devang Patel75cc16c2009-10-01 20:31:14 +00001994/// and collect DbgScopes. Return true, if atleast one scope was found.
Chris Lattner76555b52010-01-26 23:18:02 +00001995bool DwarfDebug::extractScopeInformation() {
Devang Patel75cc16c2009-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 Patel530a0752010-01-04 20:44:00 +00002001 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2002 unsigned MIIndex = 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002003 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel75cc16c2009-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 Patel530a0752010-01-04 20:44:00 +00002009 MIIndexMap[MInsn] = MIIndex++;
Devang Patel75cc16c2009-10-01 20:31:14 +00002010 DebugLoc DL = MInsn->getDebugLoc();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002011 if (DL.isUnknown()) continue;
Devang Patelc0e17df2010-01-16 06:09:35 +00002012 DILocation DLT = MF->getDILocation(DL);
2013 DIScope DLTScope = DLT.getScope();
2014 if (DLTScope.isNull()) continue;
Devang Patel75cc16c2009-10-01 20:31:14 +00002015 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002016 // other scopes, create one DbgScope now. This will be translated
Devang Patel75cc16c2009-10-01 20:31:14 +00002017 // into a scope DIE at the end.
Devang Patelc0e17df2010-01-16 06:09:35 +00002018 if (DLTScope.isCompileUnit()) continue;
2019 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patelf6eeaeb2009-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 Patelc0e17df2010-01-16 06:09:35 +00002032 DILocation DLT = MF->getDILocation(DL);
2033 DIScope DLTScope = DLT.getScope();
2034 if (DLTScope.isNull()) continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002035 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002036 // other scopes, create one DbgScope now. This will be translated
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002037 // into a scope DIE at the end.
Devang Patelc0e17df2010-01-16 06:09:35 +00002038 if (DLTScope.isCompileUnit()) continue;
2039 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2040 DLT.getOrigLocation().getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002041 Scope->setLastInsn(MInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +00002042 }
2043 }
2044
Devang Patel530a0752010-01-04 20:44:00 +00002045 if (!CurrentFnDbgScope)
2046 return false;
2047
2048 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel75cc16c2009-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 Patel7771b7c2010-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 Patelf6eeaeb2009-11-10 23:06:00 +00002065 if (S->isAbstractScope())
2066 continue;
Devang Patel75cc16c2009-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 Patelf6eeaeb2009-11-10 23:06:00 +00002074 DbgScopeBeginMap[MI].push_back(S);
Devang Patel75cc16c2009-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 Patelf6eeaeb2009-11-10 23:06:00 +00002082 DbgScopeEndMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002083 }
2084
2085 return !DbgScopeMap.empty();
2086}
2087
Devang Patel930143b2009-11-21 02:48:08 +00002088/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendling2b128d72009-05-20 23:19:06 +00002089/// emitted immediately after the function entry point.
Chris Lattner76555b52010-01-26 23:18:02 +00002090void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendling2b128d72009-05-20 23:19:06 +00002091 this->MF = MF;
2092
2093 if (!ShouldEmitDwarfDebug()) return;
2094
2095 if (TimePassesIsEnabled)
2096 DebugTimer->startTimer();
2097
Chris Lattner76555b52010-01-26 23:18:02 +00002098 if (!extractScopeInformation())
Devang Patel4598eb62009-10-06 18:37:31 +00002099 return;
Devang Patel930143b2009-11-21 02:48:08 +00002100
2101 collectVariableInfo();
Devang Patel4598eb62009-10-06 18:37:31 +00002102
Bill Wendling2b128d72009-05-20 23:19:06 +00002103 // Assumes in correct section after the entry point.
2104 EmitLabel("func_begin", ++SubprogramCount);
2105
2106 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2107 // function.
Devang Pateldf45c7f2009-10-09 22:42:28 +00002108 DebugLoc FDL = MF->getDefaultDebugLoc();
2109 if (!FDL.isUnknown()) {
Devang Patelc0e17df2010-01-16 06:09:35 +00002110 DILocation DLT = MF->getDILocation(FDL);
Devang Pateldf45c7f2009-10-09 22:42:28 +00002111 unsigned LabelID = 0;
Devang Patelc0e17df2010-01-16 06:09:35 +00002112 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Devang Pateldf45c7f2009-10-09 22:42:28 +00002113 if (!SP.isNull())
Devang Patelc0e17df2010-01-16 06:09:35 +00002114 LabelID = recordSourceLine(SP.getLineNumber(), 0,
2115 DLT.getScope().getNode());
Devang Pateldf45c7f2009-10-09 22:42:28 +00002116 else
Devang Patelc0e17df2010-01-16 06:09:35 +00002117 LabelID = recordSourceLine(DLT.getLineNumber(),
2118 DLT.getColumnNumber(),
2119 DLT.getScope().getNode());
Devang Pateldf45c7f2009-10-09 22:42:28 +00002120 Asm->printLabel(LabelID);
2121 O << '\n';
Bill Wendling2b128d72009-05-20 23:19:06 +00002122 }
Bill Wendling2b128d72009-05-20 23:19:06 +00002123 if (TimePassesIsEnabled)
2124 DebugTimer->stopTimer();
2125}
2126
Devang Patel930143b2009-11-21 02:48:08 +00002127/// endFunction - Gather and emit post-function debug information.
Bill Wendling2b128d72009-05-20 23:19:06 +00002128///
Chris Lattner76555b52010-01-26 23:18:02 +00002129void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendling2b128d72009-05-20 23:19:06 +00002130 if (!ShouldEmitDwarfDebug()) return;
2131
2132 if (TimePassesIsEnabled)
2133 DebugTimer->startTimer();
2134
Devang Pateldf45c7f2009-10-09 22:42:28 +00002135 if (DbgScopeMap.empty())
2136 return;
Devang Patel2904aa92009-11-12 19:02:56 +00002137
Devang Patel530a0752010-01-04 20:44:00 +00002138 if (CurrentFnDbgScope) {
2139 // Define end label for subprogram.
2140 EmitLabel("func_end", SubprogramCount);
2141
2142 // Get function line info.
2143 if (!Lines.empty()) {
2144 // Get section line info.
2145 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2146 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2147 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2148 // Append the function info to section info.
2149 SectionLineInfos.insert(SectionLineInfos.end(),
2150 Lines.begin(), Lines.end());
2151 }
2152
2153 // Construct abstract scopes.
2154 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2155 AE = AbstractScopesList.end(); AI != AE; ++AI)
2156 constructScopeDIE(*AI);
2157
2158 constructScopeDIE(CurrentFnDbgScope);
2159
2160 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2161 MMI->getFrameMoves()));
Bill Wendling2b128d72009-05-20 23:19:06 +00002162 }
2163
Bill Wendling2b128d72009-05-20 23:19:06 +00002164 // Clear debug info
Devang Patelfe189e62010-01-19 01:26:02 +00002165 CurrentFnDbgScope = NULL;
2166 DbgScopeMap.clear();
2167 DbgScopeBeginMap.clear();
2168 DbgScopeEndMap.clear();
2169 ConcreteScopes.clear();
2170 AbstractScopesList.clear();
Bill Wendling2b128d72009-05-20 23:19:06 +00002171 Lines.clear();
Devang Patel0a2c0bc2009-12-01 18:13:48 +00002172
Bill Wendling2b128d72009-05-20 23:19:06 +00002173 if (TimePassesIsEnabled)
2174 DebugTimer->stopTimer();
2175}
2176
Devang Patel930143b2009-11-21 02:48:08 +00002177/// recordSourceLine - Records location information and associates it with a
Bill Wendling2b128d72009-05-20 23:19:06 +00002178/// label. Returns a unique label ID used to generate a label and provide
2179/// correspondence to the source line list.
Jim Grosbach042483e2009-11-21 23:12:12 +00002180unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patel2089d162009-10-05 18:03:19 +00002181 MDNode *S) {
Devang Patel80ae3492009-08-28 23:24:31 +00002182 if (!MMI)
2183 return 0;
2184
Bill Wendling2b128d72009-05-20 23:19:06 +00002185 if (TimePassesIsEnabled)
2186 DebugTimer->startTimer();
2187
Devang Patel2d9caf92009-11-25 17:36:49 +00002188 StringRef Dir;
2189 StringRef Fn;
Devang Patel2089d162009-10-05 18:03:19 +00002190
2191 DIDescriptor Scope(S);
2192 if (Scope.isCompileUnit()) {
2193 DICompileUnit CU(S);
2194 Dir = CU.getDirectory();
2195 Fn = CU.getFilename();
2196 } else if (Scope.isSubprogram()) {
2197 DISubprogram SP(S);
2198 Dir = SP.getDirectory();
2199 Fn = SP.getFilename();
2200 } else if (Scope.isLexicalBlock()) {
2201 DILexicalBlock DB(S);
2202 Dir = DB.getDirectory();
2203 Fn = DB.getFilename();
2204 } else
2205 assert (0 && "Unexpected scope info");
2206
2207 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendling2b128d72009-05-20 23:19:06 +00002208 unsigned ID = MMI->NextLabelID();
2209 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2210
2211 if (TimePassesIsEnabled)
2212 DebugTimer->stopTimer();
2213
2214 return ID;
2215}
2216
2217/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2218/// timed. Look up the source id with the given directory and source file
2219/// names. If none currently exists, create a new id and insert it in the
2220/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2221/// well.
2222unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2223 const std::string &FileName) {
2224 if (TimePassesIsEnabled)
2225 DebugTimer->startTimer();
2226
Devang Patelb2969422009-09-29 18:40:58 +00002227 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendling2b128d72009-05-20 23:19:06 +00002228
2229 if (TimePassesIsEnabled)
2230 DebugTimer->stopTimer();
2231
2232 return SrcId;
2233}
2234
Bill Wendling806535f2009-05-20 23:22:40 +00002235//===----------------------------------------------------------------------===//
2236// Emit Methods
2237//===----------------------------------------------------------------------===//
2238
Devang Patel930143b2009-11-21 02:48:08 +00002239/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling480ff322009-05-20 23:21:38 +00002240///
Jim Grosbach00e9c612009-11-22 19:20:36 +00002241unsigned
2242DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling480ff322009-05-20 23:21:38 +00002243 // Get the children.
2244 const std::vector<DIE *> &Children = Die->getChildren();
2245
2246 // If not last sibling and has children then add sibling offset attribute.
Devang Patel930143b2009-11-21 02:48:08 +00002247 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00002248
2249 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00002250 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00002251
2252 // Get the abbreviation for this DIE.
2253 unsigned AbbrevNumber = Die->getAbbrevNumber();
2254 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2255
2256 // Set DIE offset
2257 Die->setOffset(Offset);
2258
2259 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00002260 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002261
2262 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2263 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2264
2265 // Size the DIE attribute values.
2266 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2267 // Size attribute value.
2268 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2269
2270 // Size the DIE children if any.
2271 if (!Children.empty()) {
2272 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2273 "Children flag not set");
2274
2275 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002276 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling480ff322009-05-20 23:21:38 +00002277
2278 // End of children marker.
2279 Offset += sizeof(int8_t);
2280 }
2281
2282 Die->setSize(Offset - Die->getOffset());
2283 return Offset;
2284}
2285
Devang Patel930143b2009-11-21 02:48:08 +00002286/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling480ff322009-05-20 23:21:38 +00002287///
Devang Patel930143b2009-11-21 02:48:08 +00002288void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling480ff322009-05-20 23:21:38 +00002289 // Compute size of compile unit header.
2290 static unsigned Offset =
2291 sizeof(int32_t) + // Length of Compilation Unit Info
2292 sizeof(int16_t) + // DWARF version number
2293 sizeof(int32_t) + // Offset Into Abbrev. Section
2294 sizeof(int8_t); // Pointer Size (in bytes)
2295
Devang Patel930143b2009-11-21 02:48:08 +00002296 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel40d78412009-06-29 20:45:18 +00002297 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling480ff322009-05-20 23:21:38 +00002298}
2299
Devang Patel930143b2009-11-21 02:48:08 +00002300/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling480ff322009-05-20 23:21:38 +00002301/// tools to recognize the object file contains Dwarf information.
Devang Patel930143b2009-11-21 02:48:08 +00002302void DwarfDebug::emitInitial() {
Bill Wendling480ff322009-05-20 23:21:38 +00002303 // Check to see if we already emitted intial headers.
2304 if (didInitial) return;
2305 didInitial = true;
2306
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002307 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002308
Bill Wendling480ff322009-05-20 23:21:38 +00002309 // Dwarf sections base addresses.
Chris Lattnere9a75a62009-08-22 21:43:10 +00002310 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002311 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002312 EmitLabel("section_debug_frame", 0);
2313 }
2314
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002315 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002316 EmitLabel("section_info", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002317 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002318 EmitLabel("section_abbrev", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002319 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002320 EmitLabel("section_aranges", 0);
2321
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002322 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2323 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling480ff322009-05-20 23:21:38 +00002324 EmitLabel("section_macinfo", 0);
2325 }
2326
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002327 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002328 EmitLabel("section_line", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002329 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002330 EmitLabel("section_loc", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002331 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002332 EmitLabel("section_pubnames", 0);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002333 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2334 EmitLabel("section_pubtypes", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002335 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002336 EmitLabel("section_str", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002337 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002338 EmitLabel("section_ranges", 0);
2339
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002340 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002341 EmitLabel("text_begin", 0);
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002342 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002343 EmitLabel("data_begin", 0);
2344}
2345
Devang Patel930143b2009-11-21 02:48:08 +00002346/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling480ff322009-05-20 23:21:38 +00002347///
Devang Patel930143b2009-11-21 02:48:08 +00002348void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling480ff322009-05-20 23:21:38 +00002349 // Get the abbreviation for this DIE.
2350 unsigned AbbrevNumber = Die->getAbbrevNumber();
2351 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2352
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002353 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002354
2355 // Emit the code (index) for the abbreviation.
Chris Lattnerfa823552010-01-22 23:18:42 +00002356 if (Asm->VerboseAsm)
2357 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2358 Twine::utohexstr(Die->getOffset()) + ":0x" +
2359 Twine::utohexstr(Die->getSize()) + " " +
2360 dwarf::TagString(Abbrev->getTag()));
2361 EmitULEB128(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002362
2363 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2364 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2365
2366 // Emit the DIE attribute values.
2367 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2368 unsigned Attr = AbbrevData[i].getAttribute();
2369 unsigned Form = AbbrevData[i].getForm();
2370 assert(Form && "Too many attributes for DIE (check abbreviation)");
2371
Chris Lattner5adf9872010-01-24 18:54:17 +00002372 if (Asm->VerboseAsm)
2373 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2374
Bill Wendling480ff322009-05-20 23:21:38 +00002375 switch (Attr) {
2376 case dwarf::DW_AT_sibling:
Devang Patel930143b2009-11-21 02:48:08 +00002377 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002378 break;
2379 case dwarf::DW_AT_abstract_origin: {
2380 DIEEntry *E = cast<DIEEntry>(Values[i]);
2381 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002382 unsigned Addr = Origin->getOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00002383 Asm->EmitInt32(Addr);
2384 break;
2385 }
2386 default:
2387 // Emit an attribute using the defined form.
2388 Values[i]->EmitValue(this, Form);
Chris Lattner62f28402010-01-24 19:01:06 +00002389 O << "\n"; // REMOVE This once all EmitValue impls emit their own newline.
Bill Wendling480ff322009-05-20 23:21:38 +00002390 break;
2391 }
Bill Wendling480ff322009-05-20 23:21:38 +00002392 }
2393
2394 // Emit the DIE children if any.
2395 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2396 const std::vector<DIE *> &Children = Die->getChildren();
2397
2398 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002399 emitDIE(Children[j]);
Bill Wendling480ff322009-05-20 23:21:38 +00002400
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002401 Asm->EmitInt8(0); EOL("End Of Children Mark");
Bill Wendling480ff322009-05-20 23:21:38 +00002402 }
2403}
2404
Devang Patel9ccfb642009-12-09 18:24:21 +00002405/// emitDebugInfo - Emit the debug info section.
Bill Wendling480ff322009-05-20 23:21:38 +00002406///
Devang Patel9ccfb642009-12-09 18:24:21 +00002407void DwarfDebug::emitDebugInfo() {
2408 // Start debug info section.
2409 Asm->OutStreamer.SwitchSection(
2410 Asm->getObjFileLowering().getDwarfInfoSection());
2411 DIE *Die = ModuleCU->getCUDie();
Bill Wendling480ff322009-05-20 23:21:38 +00002412
2413 // Emit the compile units header.
Devang Patel9ccfb642009-12-09 18:24:21 +00002414 EmitLabel("info_begin", ModuleCU->getID());
Bill Wendling480ff322009-05-20 23:21:38 +00002415
2416 // Emit size of content not including length itself
2417 unsigned ContentSize = Die->getSize() +
2418 sizeof(int16_t) + // DWARF version number
2419 sizeof(int32_t) + // Offset Into Abbrev. Section
2420 sizeof(int8_t) + // Pointer Size (in bytes)
2421 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2422
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002423 Asm->EmitInt32(ContentSize); EOL("Length of Compilation Unit Info");
2424 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling480ff322009-05-20 23:21:38 +00002425 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002426 EOL("Offset Into Abbrev. Section");
2427 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling480ff322009-05-20 23:21:38 +00002428
Devang Patel930143b2009-11-21 02:48:08 +00002429 emitDIE(Die);
Bill Wendling480ff322009-05-20 23:21:38 +00002430 // FIXME - extra padding for gdb bug.
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002431 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2432 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2433 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2434 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
Devang Patel9ccfb642009-12-09 18:24:21 +00002435 EmitLabel("info_end", ModuleCU->getID());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002436 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002437}
2438
Devang Patel930143b2009-11-21 02:48:08 +00002439/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling480ff322009-05-20 23:21:38 +00002440///
Devang Patel930143b2009-11-21 02:48:08 +00002441void DwarfDebug::emitAbbreviations() const {
Bill Wendling480ff322009-05-20 23:21:38 +00002442 // Check to see if it is worth the effort.
2443 if (!Abbreviations.empty()) {
2444 // Start the debug abbrev section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002445 Asm->OutStreamer.SwitchSection(
2446 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002447
2448 EmitLabel("abbrev_begin", 0);
2449
2450 // For each abbrevation.
2451 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2452 // Get abbreviation data
2453 const DIEAbbrev *Abbrev = Abbreviations[i];
2454
2455 // Emit the abbrevations code (base 1 index.)
Chris Lattnerfa823552010-01-22 23:18:42 +00002456 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling480ff322009-05-20 23:21:38 +00002457
2458 // Emit the abbreviations data.
Chris Lattnerfa823552010-01-22 23:18:42 +00002459 Abbrev->Emit(this);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002460 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002461 }
2462
2463 // Mark end of abbreviations.
Chris Lattnerfa823552010-01-22 23:18:42 +00002464 EmitULEB128(0, "EOM(3)");
Bill Wendling480ff322009-05-20 23:21:38 +00002465
2466 EmitLabel("abbrev_end", 0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002467 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002468 }
2469}
2470
Devang Patel930143b2009-11-21 02:48:08 +00002471/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling480ff322009-05-20 23:21:38 +00002472/// the line matrix.
2473///
Devang Patel930143b2009-11-21 02:48:08 +00002474void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00002475 // Define last address of section.
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002476 Asm->EmitInt8(0); EOL("Extended Op");
2477 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2478 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
2479 EmitReference("section_end", SectionEnd); EOL("Section end label");
Bill Wendling480ff322009-05-20 23:21:38 +00002480
2481 // Mark end of matrix.
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002482 Asm->EmitInt8(0); EOL("DW_LNE_end_sequence");
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002483 Asm->EmitInt8(1);
Chris Lattnerfa823552010-01-22 23:18:42 +00002484 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002485}
2486
Devang Patel930143b2009-11-21 02:48:08 +00002487/// emitDebugLines - Emit source line information.
Bill Wendling480ff322009-05-20 23:21:38 +00002488///
Devang Patel930143b2009-11-21 02:48:08 +00002489void DwarfDebug::emitDebugLines() {
Bill Wendling480ff322009-05-20 23:21:38 +00002490 // If the target is using .loc/.file, the assembler will be emitting the
2491 // .debug_line table automatically.
Chris Lattnere9a75a62009-08-22 21:43:10 +00002492 if (MAI->hasDotLocAndDotFile())
Bill Wendling480ff322009-05-20 23:21:38 +00002493 return;
2494
2495 // Minimum line delta, thus ranging from -10..(255-10).
2496 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2497 // Maximum line delta, thus ranging from -10..(255-10).
2498 const int MaxLineDelta = 255 + MinLineDelta;
2499
2500 // Start the dwarf line section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002501 Asm->OutStreamer.SwitchSection(
2502 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002503
2504 // Construct the section header.
2505 EmitDifference("line_end", 0, "line_begin", 0, true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002506 EOL("Length of Source Line Info");
Bill Wendling480ff322009-05-20 23:21:38 +00002507 EmitLabel("line_begin", 0);
2508
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002509 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling480ff322009-05-20 23:21:38 +00002510
2511 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002512 EOL("Prolog Length");
Bill Wendling480ff322009-05-20 23:21:38 +00002513 EmitLabel("line_prolog_begin", 0);
2514
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002515 Asm->EmitInt8(1); EOL("Minimum Instruction Length");
2516 Asm->EmitInt8(1); EOL("Default is_stmt_start flag");
2517 Asm->EmitInt8(MinLineDelta); EOL("Line Base Value (Special Opcodes)");
2518 Asm->EmitInt8(MaxLineDelta); EOL("Line Range Value (Special Opcodes)");
2519 Asm->EmitInt8(-MinLineDelta); EOL("Special Opcode Base");
Bill Wendling480ff322009-05-20 23:21:38 +00002520
2521 // Line number standard opcode encodings argument count
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002522 Asm->EmitInt8(0); EOL("DW_LNS_copy arg count");
2523 Asm->EmitInt8(1); EOL("DW_LNS_advance_pc arg count");
2524 Asm->EmitInt8(1); EOL("DW_LNS_advance_line arg count");
2525 Asm->EmitInt8(1); EOL("DW_LNS_set_file arg count");
2526 Asm->EmitInt8(1); EOL("DW_LNS_set_column arg count");
2527 Asm->EmitInt8(0); EOL("DW_LNS_negate_stmt arg count");
2528 Asm->EmitInt8(0); EOL("DW_LNS_set_basic_block arg count");
2529 Asm->EmitInt8(0); EOL("DW_LNS_const_add_pc arg count");
2530 Asm->EmitInt8(1); EOL("DW_LNS_fixed_advance_pc arg count");
Bill Wendling480ff322009-05-20 23:21:38 +00002531
2532 // Emit directories.
2533 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002534 const std::string &Dir = getSourceDirectoryName(DI);
2535 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2536 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002537 }
2538
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002539 Asm->EmitInt8(0); EOL("End of directories");
Bill Wendling480ff322009-05-20 23:21:38 +00002540
2541 // Emit files.
2542 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2543 // Remember source id starts at 1.
2544 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002545 const std::string &FN = getSourceFileName(Id.second);
2546 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2547 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2548
Chris Lattnerfa823552010-01-22 23:18:42 +00002549 EmitULEB128(Id.first, "Directory #");
2550 EmitULEB128(0, "Mod date");
2551 EmitULEB128(0, "File size");
Bill Wendling480ff322009-05-20 23:21:38 +00002552 }
2553
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002554 Asm->EmitInt8(0); EOL("End of files");
Bill Wendling480ff322009-05-20 23:21:38 +00002555
2556 EmitLabel("line_prolog_end", 0);
2557
2558 // A sequence for each text section.
2559 unsigned SecSrcLinesSize = SectionSourceLines.size();
2560
2561 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2562 // Isolate current sections line info.
2563 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2564
Chris Lattner591105c2009-08-08 23:39:42 +00002565 /*if (Asm->isVerbose()) {
Chris Lattner4d2c0f92009-07-31 18:48:30 +00002566 const MCSection *S = SectionMap[j + 1];
Chris Lattnere9a75a62009-08-22 21:43:10 +00002567 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling480ff322009-05-20 23:21:38 +00002568 << S->getName() << '\n';
Chris Lattner591105c2009-08-08 23:39:42 +00002569 }*/
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002570 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002571
2572 // Dwarf assumes we start with first line of first source file.
2573 unsigned Source = 1;
2574 unsigned Line = 1;
2575
2576 // Construct rows of the address, source, line, column matrix.
2577 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2578 const SrcLineInfo &LineInfo = LineInfos[i];
2579 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2580 if (!LabelID) continue;
2581
Caroline Tice183a5192009-09-11 18:25:54 +00002582 if (LineInfo.getLine() == 0) continue;
2583
Bill Wendling480ff322009-05-20 23:21:38 +00002584 if (!Asm->isVerbose())
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002585 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002586 else {
2587 std::pair<unsigned, unsigned> SourceID =
2588 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattnere9a75a62009-08-22 21:43:10 +00002589 O << '\t' << MAI->getCommentString() << ' '
Dan Gohman0891d752009-12-05 02:00:34 +00002590 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling480ff322009-05-20 23:21:38 +00002591 << getSourceFileName(SourceID.second)
Dan Gohman0891d752009-12-05 02:00:34 +00002592 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002593 }
2594
2595 // Define the line address.
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002596 Asm->EmitInt8(0); EOL("Extended Op");
2597 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2598 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
2599 EmitReference("label", LabelID); EOL("Location label");
Bill Wendling480ff322009-05-20 23:21:38 +00002600
2601 // If change of source, then switch to the new source.
2602 if (Source != LineInfo.getSourceID()) {
2603 Source = LineInfo.getSourceID();
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002604 Asm->EmitInt8(dwarf::DW_LNS_set_file); EOL("DW_LNS_set_file");
Chris Lattnerfa823552010-01-22 23:18:42 +00002605 EmitULEB128(Source, "New Source");
Bill Wendling480ff322009-05-20 23:21:38 +00002606 }
2607
2608 // If change of line.
2609 if (Line != LineInfo.getLine()) {
2610 // Determine offset.
2611 int Offset = LineInfo.getLine() - Line;
2612 int Delta = Offset - MinLineDelta;
2613
2614 // Update line.
2615 Line = LineInfo.getLine();
2616
2617 // If delta is small enough and in range...
2618 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2619 // ... then use fast opcode.
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002620 Asm->EmitInt8(Delta - MinLineDelta); EOL("Line Delta");
Bill Wendling480ff322009-05-20 23:21:38 +00002621 } else {
2622 // ... otherwise use long hand.
2623 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002624 EOL("DW_LNS_advance_line");
Chris Lattner23031452010-01-22 22:56:55 +00002625 EmitSLEB128(Offset, "Line Offset");
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002626 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling480ff322009-05-20 23:21:38 +00002627 }
2628 } else {
2629 // Copy the previous row (different address or source)
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002630 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling480ff322009-05-20 23:21:38 +00002631 }
2632 }
2633
Devang Patel930143b2009-11-21 02:48:08 +00002634 emitEndOfLineMatrix(j + 1);
Bill Wendling480ff322009-05-20 23:21:38 +00002635 }
2636
2637 if (SecSrcLinesSize == 0)
2638 // Because we're emitting a debug_line section, we still need a line
2639 // table. The linker and friends expect it to exist. If there's nothing to
2640 // put into it, emit an empty table.
Devang Patel930143b2009-11-21 02:48:08 +00002641 emitEndOfLineMatrix(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002642
2643 EmitLabel("line_end", 0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002644 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002645}
2646
Devang Patel930143b2009-11-21 02:48:08 +00002647/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling480ff322009-05-20 23:21:38 +00002648///
Devang Patel930143b2009-11-21 02:48:08 +00002649void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnere9a75a62009-08-22 21:43:10 +00002650 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002651 return;
2652
2653 int stackGrowth =
2654 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2655 TargetFrameInfo::StackGrowsUp ?
2656 TD->getPointerSize() : -TD->getPointerSize();
2657
2658 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002659 Asm->OutStreamer.SwitchSection(
2660 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002661
2662 EmitLabel("debug_frame_common", 0);
2663 EmitDifference("debug_frame_common_end", 0,
2664 "debug_frame_common_begin", 0, true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002665 EOL("Length of Common Information Entry");
Bill Wendling480ff322009-05-20 23:21:38 +00002666
2667 EmitLabel("debug_frame_common_begin", 0);
2668 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002669 EOL("CIE Identifier Tag");
Bill Wendling480ff322009-05-20 23:21:38 +00002670 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002671 EOL("CIE Version");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002672 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002673 EOL("CIE Augmentation");
Chris Lattnerfa823552010-01-22 23:18:42 +00002674 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattner23031452010-01-22 22:56:55 +00002675 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Bill Wendling480ff322009-05-20 23:21:38 +00002676 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002677 EOL("CIE RA Column");
Bill Wendling480ff322009-05-20 23:21:38 +00002678
2679 std::vector<MachineMove> Moves;
2680 RI->getInitialFrameState(Moves);
2681
2682 EmitFrameMoves(NULL, 0, Moves, false);
2683
2684 Asm->EmitAlignment(2, 0, 0, false);
2685 EmitLabel("debug_frame_common_end", 0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002686 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002687}
2688
Devang Patel930143b2009-11-21 02:48:08 +00002689/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling480ff322009-05-20 23:21:38 +00002690/// section.
2691void
Devang Patel930143b2009-11-21 02:48:08 +00002692DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattnere9a75a62009-08-22 21:43:10 +00002693 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002694 return;
2695
2696 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002697 Asm->OutStreamer.SwitchSection(
2698 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002699
2700 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2701 "debug_frame_begin", DebugFrameInfo.Number, true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002702 EOL("Length of Frame Information Entry");
Bill Wendling480ff322009-05-20 23:21:38 +00002703
2704 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2705
2706 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2707 0, 0, true, false);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002708 EOL("FDE CIE offset");
Bill Wendling480ff322009-05-20 23:21:38 +00002709
2710 EmitReference("func_begin", DebugFrameInfo.Number);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002711 EOL("FDE initial location");
Bill Wendling480ff322009-05-20 23:21:38 +00002712 EmitDifference("func_end", DebugFrameInfo.Number,
2713 "func_begin", DebugFrameInfo.Number);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002714 EOL("FDE address range");
Bill Wendling480ff322009-05-20 23:21:38 +00002715
2716 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2717 false);
2718
2719 Asm->EmitAlignment(2, 0, 0, false);
2720 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002721 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002722}
2723
Devang Patel9ccfb642009-12-09 18:24:21 +00002724/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2725///
2726void DwarfDebug::emitDebugPubNames() {
2727 // Start the dwarf pubnames section.
2728 Asm->OutStreamer.SwitchSection(
2729 Asm->getObjFileLowering().getDwarfPubNamesSection());
2730
2731 EmitDifference("pubnames_end", ModuleCU->getID(),
2732 "pubnames_begin", ModuleCU->getID(), true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002733 EOL("Length of Public Names Info");
Bill Wendling480ff322009-05-20 23:21:38 +00002734
Devang Patel9ccfb642009-12-09 18:24:21 +00002735 EmitLabel("pubnames_begin", ModuleCU->getID());
Bill Wendling480ff322009-05-20 23:21:38 +00002736
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002737 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF Version");
Bill Wendling480ff322009-05-20 23:21:38 +00002738
2739 EmitSectionOffset("info_begin", "section_info",
Devang Patel9ccfb642009-12-09 18:24:21 +00002740 ModuleCU->getID(), 0, true, false);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002741 EOL("Offset of Compilation Unit Info");
Bill Wendling480ff322009-05-20 23:21:38 +00002742
Devang Patel9ccfb642009-12-09 18:24:21 +00002743 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
Bill Wendling480ff322009-05-20 23:21:38 +00002744 true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002745 EOL("Compilation Unit Length");
Bill Wendling480ff322009-05-20 23:21:38 +00002746
Devang Patel9ccfb642009-12-09 18:24:21 +00002747 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling480ff322009-05-20 23:21:38 +00002748 for (StringMap<DIE*>::const_iterator
2749 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2750 const char *Name = GI->getKeyData();
2751 DIE * Entity = GI->second;
2752
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002753 Asm->EmitInt32(Entity->getOffset()); EOL("DIE offset");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002754
2755 if (Asm->VerboseAsm)
2756 Asm->OutStreamer.AddComment("External Name");
2757 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002758 }
2759
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002760 Asm->EmitInt32(0); EOL("End Mark");
Devang Patel9ccfb642009-12-09 18:24:21 +00002761 EmitLabel("pubnames_end", ModuleCU->getID());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002762 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002763}
2764
Devang Patel04d2f2d2009-11-24 01:14:22 +00002765void DwarfDebug::emitDebugPubTypes() {
Devang Patelc8654eb2009-11-24 19:18:41 +00002766 // Start the dwarf pubnames section.
2767 Asm->OutStreamer.SwitchSection(
2768 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patel04d2f2d2009-11-24 01:14:22 +00002769 EmitDifference("pubtypes_end", ModuleCU->getID(),
2770 "pubtypes_begin", ModuleCU->getID(), true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002771 EOL("Length of Public Types Info");
Devang Patel04d2f2d2009-11-24 01:14:22 +00002772
2773 EmitLabel("pubtypes_begin", ModuleCU->getID());
2774
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002775 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF Version");
Devang Patel04d2f2d2009-11-24 01:14:22 +00002776
2777 EmitSectionOffset("info_begin", "section_info",
2778 ModuleCU->getID(), 0, true, false);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002779 EOL("Offset of Compilation ModuleCU Info");
Devang Patel04d2f2d2009-11-24 01:14:22 +00002780
2781 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2782 true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002783 EOL("Compilation ModuleCU Length");
Devang Patel04d2f2d2009-11-24 01:14:22 +00002784
2785 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2786 for (StringMap<DIE*>::const_iterator
2787 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2788 const char *Name = GI->getKeyData();
2789 DIE * Entity = GI->second;
2790
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002791 Asm->EmitInt32(Entity->getOffset()); EOL("DIE offset");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002792
2793 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
2794 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)), 0);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002795 }
2796
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002797 Asm->EmitInt32(0); EOL("End Mark");
Devang Patel04d2f2d2009-11-24 01:14:22 +00002798 EmitLabel("pubtypes_end", ModuleCU->getID());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002799 Asm->O << '\n';
Devang Patel04d2f2d2009-11-24 01:14:22 +00002800}
2801
Devang Patel930143b2009-11-21 02:48:08 +00002802/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling480ff322009-05-20 23:21:38 +00002803///
Devang Patel930143b2009-11-21 02:48:08 +00002804void DwarfDebug::emitDebugStr() {
Bill Wendling480ff322009-05-20 23:21:38 +00002805 // Check to see if it is worth the effort.
2806 if (!StringPool.empty()) {
2807 // Start the dwarf str section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002808 Asm->OutStreamer.SwitchSection(
2809 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002810
2811 // For each of strings in the string pool.
2812 for (unsigned StringID = 1, N = StringPool.size();
2813 StringID <= N; ++StringID) {
2814 // Emit a label for reference from debug information entries.
2815 EmitLabel("string", StringID);
2816
2817 // Emit the string itself.
2818 const std::string &String = StringPool[StringID];
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002819 Asm->OutStreamer.EmitBytes(StringRef(String.c_str(), String.size()+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002820 }
2821
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002822 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002823 }
2824}
2825
Devang Patel930143b2009-11-21 02:48:08 +00002826/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling480ff322009-05-20 23:21:38 +00002827///
Devang Patel930143b2009-11-21 02:48:08 +00002828void DwarfDebug::emitDebugLoc() {
Bill Wendling480ff322009-05-20 23:21:38 +00002829 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002830 Asm->OutStreamer.SwitchSection(
2831 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002832}
2833
2834/// EmitDebugARanges - Emit visible names into a debug aranges section.
2835///
2836void DwarfDebug::EmitDebugARanges() {
2837 // Start the dwarf aranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002838 Asm->OutStreamer.SwitchSection(
2839 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002840
2841 // FIXME - Mock up
2842#if 0
2843 CompileUnit *Unit = GetBaseCompileUnit();
2844
2845 // Don't include size of length
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002846 Asm->EmitInt32(0x1c); EOL("Length of Address Ranges Info");
Bill Wendling480ff322009-05-20 23:21:38 +00002847
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002848 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
Bill Wendling480ff322009-05-20 23:21:38 +00002849
2850 EmitReference("info_begin", Unit->getID());
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002851 EOL("Offset of Compilation Unit Info");
Bill Wendling480ff322009-05-20 23:21:38 +00002852
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002853 Asm->EmitInt8(TD->getPointerSize()); EOL("Size of Address");
Bill Wendling480ff322009-05-20 23:21:38 +00002854
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002855 Asm->EmitInt8(0); EOL("Size of Segment Descriptor");
Bill Wendling480ff322009-05-20 23:21:38 +00002856
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002857 Asm->EmitInt16(0); EOL("Pad (1)");
2858 Asm->EmitInt16(0); EOL("Pad (2)");
Bill Wendling480ff322009-05-20 23:21:38 +00002859
2860 // Range 1
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002861 EmitReference("text_begin", 0); EOL("Address");
2862 EmitDifference("text_end", 0, "text_begin", 0, true); EOL("Length");
Bill Wendling480ff322009-05-20 23:21:38 +00002863
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002864 Asm->EmitInt32(0); EOL("EOM (1)");
2865 Asm->EmitInt32(0); EOL("EOM (2)");
Bill Wendling480ff322009-05-20 23:21:38 +00002866#endif
Bill Wendling480ff322009-05-20 23:21:38 +00002867}
2868
Devang Patel930143b2009-11-21 02:48:08 +00002869/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling480ff322009-05-20 23:21:38 +00002870///
Devang Patel930143b2009-11-21 02:48:08 +00002871void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002872 // Start the dwarf ranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002873 Asm->OutStreamer.SwitchSection(
2874 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002875}
2876
Devang Patel930143b2009-11-21 02:48:08 +00002877/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling480ff322009-05-20 23:21:38 +00002878///
Devang Patel930143b2009-11-21 02:48:08 +00002879void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002880 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00002881 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00002882 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002883 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00002884 }
2885}
2886
Devang Patel930143b2009-11-21 02:48:08 +00002887/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling480ff322009-05-20 23:21:38 +00002888/// Section Header:
2889/// 1. length of section
2890/// 2. Dwarf version number
2891/// 3. address size.
2892///
2893/// Entries (one "entry" for each function that was inlined):
2894///
2895/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2896/// otherwise offset into __debug_str for regular function name.
2897/// 2. offset into __debug_str section for regular function name.
2898/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2899/// instances for the function.
2900///
2901/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2902/// inlined instance; the die_offset points to the inlined_subroutine die in the
2903/// __debug_info section, and the low_pc is the starting address for the
2904/// inlining instance.
Devang Patel930143b2009-11-21 02:48:08 +00002905void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnere9a75a62009-08-22 21:43:10 +00002906 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002907 return;
2908
Devang Patel40d78412009-06-29 20:45:18 +00002909 if (!ModuleCU)
Bill Wendling480ff322009-05-20 23:21:38 +00002910 return;
2911
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002912 Asm->OutStreamer.SwitchSection(
2913 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002914
Bill Wendling480ff322009-05-20 23:21:38 +00002915 EmitDifference("debug_inlined_end", 1,
2916 "debug_inlined_begin", 1, true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002917 EOL("Length of Debug Inlined Information Entry");
Bill Wendling480ff322009-05-20 23:21:38 +00002918
2919 EmitLabel("debug_inlined_begin", 1);
2920
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002921 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
2922 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling480ff322009-05-20 23:21:38 +00002923
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002924 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2925 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach042483e2009-11-21 23:12:12 +00002926
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002927 MDNode *Node = *I;
Devang Patel018b29b2010-01-19 06:19:05 +00002928 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach00e9c612009-11-22 19:20:36 +00002929 = InlineInfo.find(Node);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002930 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel80ae3492009-08-28 23:24:31 +00002931 DISubprogram SP(Node);
Devang Patel2d9caf92009-11-25 17:36:49 +00002932 StringRef LName = SP.getLinkageName();
2933 StringRef Name = SP.getName();
Bill Wendling480ff322009-05-20 23:21:38 +00002934
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002935 if (LName.empty()) {
2936 Asm->OutStreamer.EmitBytes(Name, 0);
2937 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
2938 } else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002939 EmitSectionOffset("string", "section_str",
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002940 StringPool.idFor(getRealLinkageName(LName)), false, true);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002941
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002942 EOL("MIPS linkage name");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002943 EmitSectionOffset("string", "section_str",
2944 StringPool.idFor(Name), false, true);
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002945 EOL("Function name");
Chris Lattnerfa823552010-01-22 23:18:42 +00002946 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling480ff322009-05-20 23:21:38 +00002947
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002948 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling480ff322009-05-20 23:21:38 +00002949 LE = Labels.end(); LI != LE; ++LI) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002950 DIE *SP = LI->second;
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002951 Asm->EmitInt32(SP->getOffset()); EOL("DIE offset");
Bill Wendling480ff322009-05-20 23:21:38 +00002952
2953 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattnere9a75a62009-08-22 21:43:10 +00002954 O << MAI->getData32bitsDirective();
Bill Wendling480ff322009-05-20 23:21:38 +00002955 else
Chris Lattnere9a75a62009-08-22 21:43:10 +00002956 O << MAI->getData64bitsDirective();
Bill Wendling480ff322009-05-20 23:21:38 +00002957
Chris Lattner6f2d99d2010-01-22 23:47:11 +00002958 PrintLabelName("label", LI->first); EOL("low_pc");
Bill Wendling480ff322009-05-20 23:21:38 +00002959 }
2960 }
2961
2962 EmitLabel("debug_inlined_end", 1);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002963 Asm->O << '\n';
Bill Wendling480ff322009-05-20 23:21:38 +00002964}