blob: 5cb0e6febc708b023b5778b9279f738cc0ea7ff3 [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//===----------------------------------------------------------------------===//
Chris Lattnerb14490d2010-03-09 00:39:24 +000013
Devang Patel80ae3492009-08-28 23:24:31 +000014#define DEBUG_TYPE "dwarfdebug"
Bill Wendling2f921f82009-05-15 09:23:25 +000015#include "DwarfDebug.h"
16#include "llvm/Module.h"
David Greene829b3e82009-08-19 21:52:55 +000017#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000018#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000019#include "llvm/MC/MCAsmInfo.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000020#include "llvm/MC/MCSection.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000021#include "llvm/MC/MCStreamer.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000022#include "llvm/MC/MCSymbol.h"
Chris Lattnerf62e3ee2010-01-16 21:57:06 +000023#include "llvm/Target/Mangler.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000024#include "llvm/Target/TargetData.h"
25#include "llvm/Target/TargetFrameInfo.h"
Chris Lattner5e693ed2009-07-28 03:13:23 +000026#include "llvm/Target/TargetLoweringObjectFile.h"
27#include "llvm/Target/TargetRegisterInfo.h"
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +000028#include "llvm/ADT/STLExtras.h"
Chris Lattner06fa1762009-08-24 03:52:50 +000029#include "llvm/ADT/StringExtras.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000030#include "llvm/Support/Debug.h"
31#include "llvm/Support/ErrorHandling.h"
Devang Patel1973df22010-01-26 21:39:14 +000032#include "llvm/Support/ValueHandle.h"
Chris Lattnerf5c834f2010-01-22 22:09:00 +000033#include "llvm/Support/FormattedStream.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000034#include "llvm/Support/Timer.h"
35#include "llvm/System/Path.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000036using namespace llvm;
37
Bill Wendling2f921f82009-05-15 09:23:25 +000038//===----------------------------------------------------------------------===//
39
40/// Configuration values for initial hash set sizes (log2).
41///
Bill Wendling2f921f82009-05-15 09:23:25 +000042static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-05-15 09:23:25 +000043
44namespace llvm {
45
46//===----------------------------------------------------------------------===//
47/// CompileUnit - This dwarf writer support class manages information associate
48/// with a source file.
Nick Lewyckyb7993d62009-11-17 08:11:44 +000049class CompileUnit {
Bill Wendling2f921f82009-05-15 09:23:25 +000050 /// ID - File identifier for source.
51 ///
52 unsigned ID;
53
54 /// Die - Compile unit debug information entry.
55 ///
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +000056 const OwningPtr<DIE> CUDie;
Bill Wendling2f921f82009-05-15 09:23:25 +000057
Jeffrey Yasskin0708de12010-03-11 18:29:55 +000058 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel92e8c652009-11-21 00:31:03 +000059 DIE *IndexTyDie;
60
Bill Wendling2f921f82009-05-15 09:23:25 +000061 /// GVToDieMap - Tracks the mapping of unit level debug informaton
62 /// variables to debug information entries.
Devang Patel80ae3492009-08-28 23:24:31 +000063 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel018b29b2010-01-19 06:19:05 +000064 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000065
66 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
67 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel80ae3492009-08-28 23:24:31 +000068 /// FIXME : Rename
Devang Patel018b29b2010-01-19 06:19:05 +000069 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000070
71 /// Globals - A map of globally visible named entities for this unit.
72 ///
73 StringMap<DIE*> Globals;
74
Devang Patel04d2f2d2009-11-24 01:14:22 +000075 /// GlobalTypes - A map of globally visible types for this unit.
76 ///
77 StringMap<DIE*> GlobalTypes;
78
Bill Wendling2f921f82009-05-15 09:23:25 +000079public:
80 CompileUnit(unsigned I, DIE *D)
Devang Patel930143b2009-11-21 02:48:08 +000081 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +000082
83 // Accessors.
Devang Patel04d2f2d2009-11-24 01:14:22 +000084 unsigned getID() const { return ID; }
Jeffrey Yasskin0708de12010-03-11 18:29:55 +000085 DIE* getCUDie() const { return CUDie.get(); }
Devang Patel04d2f2d2009-11-24 01:14:22 +000086 const StringMap<DIE*> &getGlobals() const { return Globals; }
87 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling2f921f82009-05-15 09:23:25 +000088
89 /// hasContent - Return true if this compile unit has something to write out.
90 ///
Devang Patel930143b2009-11-21 02:48:08 +000091 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling2f921f82009-05-15 09:23:25 +000092
Devang Patel930143b2009-11-21 02:48:08 +000093 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +000094 ///
Devang Patel930143b2009-11-21 02:48:08 +000095 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling2f921f82009-05-15 09:23:25 +000096
Devang Patel04d2f2d2009-11-24 01:14:22 +000097 /// addGlobalType - Add a new global type to the compile unit.
98 ///
99 void addGlobalType(const std::string &Name, DIE *Die) {
100 GlobalTypes[Name] = Die;
101 }
102
Devang Patele064ad42009-11-20 21:37:22 +0000103 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling2f921f82009-05-15 09:23:25 +0000104 /// specified debug variable.
Devang Patele064ad42009-11-20 21:37:22 +0000105 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach042483e2009-11-21 23:12:12 +0000106
Devang Patele064ad42009-11-20 21:37:22 +0000107 /// insertDIE - Insert DIE into the map.
108 void insertDIE(MDNode *N, DIE *D) {
109 GVToDieMap.insert(std::make_pair(N, D));
110 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000111
Devang Patele064ad42009-11-20 21:37:22 +0000112 /// getDIEEntry - Returns the debug information entry for the speciefied
113 /// debug variable.
Devang Patel1f4690c2009-12-15 19:16:48 +0000114 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel018b29b2010-01-19 06:19:05 +0000115 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel1f4690c2009-12-15 19:16:48 +0000116 if (I == GVToDIEEntryMap.end())
117 return NULL;
118 return I->second;
119 }
Devang Patele064ad42009-11-20 21:37:22 +0000120
121 /// insertDIEEntry - Insert debug information entry into the map.
122 void insertDIEEntry(MDNode *N, DIEEntry *E) {
123 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling2f921f82009-05-15 09:23:25 +0000124 }
125
Devang Patel930143b2009-11-21 02:48:08 +0000126 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +0000127 ///
Devang Patel930143b2009-11-21 02:48:08 +0000128 void addDie(DIE *Buffer) {
129 this->CUDie->addChild(Buffer);
Bill Wendling2f921f82009-05-15 09:23:25 +0000130 }
Devang Patel92e8c652009-11-21 00:31:03 +0000131
132 // getIndexTyDie - Get an anonymous type for index type.
133 DIE *getIndexTyDie() {
134 return IndexTyDie;
135 }
136
Jim Grosbach00e9c612009-11-22 19:20:36 +0000137 // setIndexTyDie - Set D as anonymous type for index which can be reused
138 // later.
Devang Patel92e8c652009-11-21 00:31:03 +0000139 void setIndexTyDie(DIE *D) {
140 IndexTyDie = D;
141 }
142
Bill Wendling2f921f82009-05-15 09:23:25 +0000143};
144
145//===----------------------------------------------------------------------===//
146/// DbgVariable - This class is used to track local variable information.
147///
Devang Patelf3d7c082009-11-16 21:53:40 +0000148class DbgVariable {
Bill Wendling2f921f82009-05-15 09:23:25 +0000149 DIVariable Var; // Variable Descriptor.
150 unsigned FrameIndex; // Variable frame index.
Devang Patela3e9c9c2010-03-15 18:33:46 +0000151 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Devang Patel23b2ae62010-03-29 22:59:58 +0000152 // DbgValueLabel - DBG_VALUE is effective from this label.
153 MCSymbol *DbgValueLabel;
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000154 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000155 DIE *TheDIE;
Bill Wendling2f921f82009-05-15 09:23:25 +0000156public:
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000157 // AbsVar may be NULL.
158 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patel23b2ae62010-03-29 22:59:58 +0000159 : Var(V), FrameIndex(I), DbgValueMInsn(0),
160 DbgValueLabel(0), AbstractVar(AbsVar), TheDIE(0) {}
Devang Patela3e9c9c2010-03-15 18:33:46 +0000161 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
Devang Patel23b2ae62010-03-29 22:59:58 +0000162 : Var(V), FrameIndex(0), DbgValueMInsn(MI), DbgValueLabel(0),
163 AbstractVar(AbsVar), TheDIE(0)
Devang Patela3e9c9c2010-03-15 18:33:46 +0000164 {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000165
166 // Accessors.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000167 DIVariable getVariable() const { return Var; }
168 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patela3e9c9c2010-03-15 18:33:46 +0000169 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patel23b2ae62010-03-29 22:59:58 +0000170 MCSymbol *getDbgValueLabel() const { return DbgValueLabel; }
171 void setDbgValueLabel(MCSymbol *L) { DbgValueLabel = L; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000172 DbgVariable *getAbstractVariable() const { return AbstractVar; }
173 void setDIE(DIE *D) { TheDIE = D; }
174 DIE *getDIE() const { return TheDIE; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000175};
176
177//===----------------------------------------------------------------------===//
178/// DbgScope - This class is used to track scope information.
179///
Devang Patelf3d7c082009-11-16 21:53:40 +0000180class DbgScope {
Bill Wendling2f921f82009-05-15 09:23:25 +0000181 DbgScope *Parent; // Parent to this scope.
Jim Grosbach042483e2009-11-21 23:12:12 +0000182 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel1973df22010-01-26 21:39:14 +0000183 // Location at which this scope is inlined.
184 AssertingVH<MDNode> InlinedAtLocation;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000185 bool AbstractScope; // Abstract Scope
Chris Lattnere13c3722010-03-09 01:58:53 +0000186 MCSymbol *StartLabel; // Label ID of the beginning of scope.
187 MCSymbol *EndLabel; // Label ID of the end of scope.
Devang Patel787f94c2009-10-01 18:25:23 +0000188 const MachineInstr *LastInsn; // Last instruction of this scope.
189 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000190 // Scopes defined in scope. Contents not owned.
191 SmallVector<DbgScope *, 4> Scopes;
192 // Variables declared in scope. Contents owned.
193 SmallVector<DbgVariable *, 8> Variables;
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000194
Owen Anderson9becc182009-06-24 22:53:20 +0000195 // Private state for dump()
196 mutable unsigned IndentLevel;
Bill Wendling2f921f82009-05-15 09:23:25 +0000197public:
Devang Patel6875c5eb2009-10-14 21:08:09 +0000198 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000199 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattnere13c3722010-03-09 01:58:53 +0000200 StartLabel(0), EndLabel(0),
Devang Patel6875c5eb2009-10-14 21:08:09 +0000201 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000202 virtual ~DbgScope();
203
204 // Accessors.
205 DbgScope *getParent() const { return Parent; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000206 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000207 DIDescriptor getDesc() const { return Desc; }
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000208 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000209 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattnere13c3722010-03-09 01:58:53 +0000210 MCSymbol *getStartLabel() const { return StartLabel; }
211 MCSymbol *getEndLabel() const { return EndLabel; }
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000212 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
213 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattnere13c3722010-03-09 01:58:53 +0000214 void setStartLabel(MCSymbol *S) { StartLabel = S; }
215 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Patel787f94c2009-10-01 18:25:23 +0000216 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
217 const MachineInstr *getLastInsn() { return LastInsn; }
218 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000219 void setAbstractScope() { AbstractScope = true; }
220 bool isAbstractScope() const { return AbstractScope; }
Devang Patel787f94c2009-10-01 18:25:23 +0000221 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000222
Devang Patel930143b2009-11-21 02:48:08 +0000223 /// addScope - Add a scope to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000224 ///
Devang Patel930143b2009-11-21 02:48:08 +0000225 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000226
Devang Patel930143b2009-11-21 02:48:08 +0000227 /// addVariable - Add a variable to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000228 ///
Devang Patel930143b2009-11-21 02:48:08 +0000229 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000230
Devang Patel530a0752010-01-04 20:44:00 +0000231 void fixInstructionMarkers(DenseMap<const MachineInstr *,
232 unsigned> &MIIndexMap) {
Chris Lattner8d2fe282010-03-31 05:36:29 +0000233 assert(getFirstInsn() && "First instruction is missing!");
Devang Patel530a0752010-01-04 20:44:00 +0000234
235 // Use the end of last child scope as end of this scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000236 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Pateld146e2e2010-01-05 16:59:17 +0000237 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel530a0752010-01-04 20:44:00 +0000238 unsigned LIndex = 0;
239 if (Scopes.empty()) {
Chris Lattner8d2fe282010-03-31 05:36:29 +0000240 assert(getLastInsn() && "Inner most scope does not have last insn!");
Devang Patel530a0752010-01-04 20:44:00 +0000241 return;
242 }
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000243 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel530a0752010-01-04 20:44:00 +0000244 SE = Scopes.end(); SI != SE; ++SI) {
245 DbgScope *DS = *SI;
246 DS->fixInstructionMarkers(MIIndexMap);
247 const MachineInstr *DSLastInsn = DS->getLastInsn();
248 unsigned DSI = MIIndexMap[DSLastInsn];
249 if (DSI > LIndex) {
250 LastInsn = DSLastInsn;
251 LIndex = DSI;
252 }
253 }
Devang Patelca55a042010-02-17 02:20:34 +0000254
255 unsigned CurrentLastInsnIndex = 0;
256 if (const MachineInstr *CL = getLastInsn())
257 CurrentLastInsnIndex = MIIndexMap[CL];
258 unsigned FIndex = MIIndexMap[getFirstInsn()];
259
260 // Set LastInsn as the last instruction for this scope only if
261 // it follows
262 // 1) this scope's first instruction and
263 // 2) current last instruction for this scope, if any.
264 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
265 setLastInsn(LastInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +0000266 }
267
Bill Wendling2f921f82009-05-15 09:23:25 +0000268#ifndef NDEBUG
269 void dump() const;
270#endif
271};
272
273#ifndef NDEBUG
274void DbgScope::dump() const {
David Greenec230cb92009-12-24 00:31:35 +0000275 raw_ostream &err = dbgs();
Chris Lattner81e8e022009-08-23 00:51:00 +0000276 err.indent(IndentLevel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000277 MDNode *N = Desc.getNode();
278 N->dump();
Chris Lattnere13c3722010-03-09 01:58:53 +0000279 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000280 if (AbstractScope)
281 err << "Abstract Scope\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000282
283 IndentLevel += 2;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000284 if (!Scopes.empty())
285 err << "Children ...\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000286 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
287 if (Scopes[i] != this)
288 Scopes[i]->dump();
289
290 IndentLevel -= 2;
291}
292#endif
293
Bill Wendling2f921f82009-05-15 09:23:25 +0000294DbgScope::~DbgScope() {
Bill Wendling2f921f82009-05-15 09:23:25 +0000295 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
296 delete Variables[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000297}
298
299} // end llvm namespace
300
Chris Lattner7b26fce2009-08-22 20:48:53 +0000301DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattner4d728122010-03-09 00:00:15 +0000302 : DwarfPrinter(OS, A, T), ModuleCU(0),
Bill Wendling2f921f82009-05-15 09:23:25 +0000303 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000304 DIEValues(), SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patelbd477be2010-03-29 17:20:31 +0000305 CurrentFnDbgScope(0), PrevDILoc(0), DebugTimer(0) {
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000306 NextStringPoolNumber = 0;
Bill Wendling2f921f82009-05-15 09:23:25 +0000307 if (TimePassesIsEnabled)
Chris Lattnerf81add32009-12-28 07:41:18 +0000308 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling2f921f82009-05-15 09:23:25 +0000309}
310DwarfDebug::~DwarfDebug() {
Devang Patel930143b2009-11-21 02:48:08 +0000311 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
312 delete DIEValues[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000313
Bill Wendling2f921f82009-05-15 09:23:25 +0000314 delete DebugTimer;
315}
316
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000317MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
318 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
319 if (Entry.first) return Entry.first;
320
321 Entry.second = NextStringPoolNumber++;
322 return Entry.first = getDWLabel("string", Entry.second);
323}
324
325
Devang Patel930143b2009-11-21 02:48:08 +0000326/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling2f921f82009-05-15 09:23:25 +0000327///
Devang Patel930143b2009-11-21 02:48:08 +0000328void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000329 // Profile the node so that we can make it unique.
330 FoldingSetNodeID ID;
331 Abbrev.Profile(ID);
332
333 // Check the set for priors.
334 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
335
336 // If it's newly added.
337 if (InSet == &Abbrev) {
338 // Add to abbreviation list.
339 Abbreviations.push_back(&Abbrev);
340
341 // Assign the vector position + 1 as its number.
342 Abbrev.setNumber(Abbreviations.size());
343 } else {
344 // Assign existing abbreviation number.
345 Abbrev.setNumber(InSet->getNumber());
346 }
347}
348
Devang Patel930143b2009-11-21 02:48:08 +0000349/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendlingbcad77a2009-05-20 23:24:48 +0000350/// information entry.
Devang Patel930143b2009-11-21 02:48:08 +0000351DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel92e8c652009-11-21 00:31:03 +0000352 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel930143b2009-11-21 02:48:08 +0000353 DIEValues.push_back(Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000354 return Value;
355}
356
Devang Patel930143b2009-11-21 02:48:08 +0000357/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000358///
Devang Patel930143b2009-11-21 02:48:08 +0000359void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000360 unsigned Form, uint64_t Integer) {
361 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel92e8c652009-11-21 00:31:03 +0000362 DIEValue *Value = new DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000363 DIEValues.push_back(Value);
364 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000365}
366
Devang Patel930143b2009-11-21 02:48:08 +0000367/// addSInt - Add an signed integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000368///
Devang Patel930143b2009-11-21 02:48:08 +0000369void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000370 unsigned Form, int64_t Integer) {
371 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel92e8c652009-11-21 00:31:03 +0000372 DIEValue *Value = new DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000373 DIEValues.push_back(Value);
374 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000375}
376
Devang Patel8c339592009-12-02 15:25:16 +0000377/// addString - Add a string attribute data and value. DIEString only
378/// keeps string reference.
Devang Patel930143b2009-11-21 02:48:08 +0000379void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerc3f23b82010-01-23 03:11:46 +0000380 StringRef String) {
Devang Patel92e8c652009-11-21 00:31:03 +0000381 DIEValue *Value = new DIEString(String);
Devang Patel930143b2009-11-21 02:48:08 +0000382 DIEValues.push_back(Value);
383 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000384}
385
Devang Patel930143b2009-11-21 02:48:08 +0000386/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000387///
Devang Patel930143b2009-11-21 02:48:08 +0000388void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbc9210c2010-03-08 22:23:36 +0000389 const MCSymbol *Label) {
Chris Lattner8dcf41e2010-03-08 22:31:46 +0000390 DIEValue *Value = new DIELabel(Label);
Devang Patel930143b2009-11-21 02:48:08 +0000391 DIEValues.push_back(Value);
392 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000393}
394
Devang Patel930143b2009-11-21 02:48:08 +0000395/// addDelta - Add a label delta attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000396///
Devang Patel930143b2009-11-21 02:48:08 +0000397void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbc9210c2010-03-08 22:23:36 +0000398 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel92e8c652009-11-21 00:31:03 +0000399 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel930143b2009-11-21 02:48:08 +0000400 DIEValues.push_back(Value);
401 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000402}
403
Devang Patel930143b2009-11-21 02:48:08 +0000404/// addBlock - Add block data.
Bill Wendling2f921f82009-05-15 09:23:25 +0000405///
Devang Patel930143b2009-11-21 02:48:08 +0000406void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000407 DIEBlock *Block) {
408 Block->ComputeSize(TD);
Devang Patel930143b2009-11-21 02:48:08 +0000409 DIEValues.push_back(Block);
410 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000411}
412
Devang Patel930143b2009-11-21 02:48:08 +0000413/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000414/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000415void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000416 // If there is no compile unit specified, don't add a line #.
Devang Patel3b548aa2010-03-08 20:52:55 +0000417 if (!V->getCompileUnit().Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000418 return;
419
420 unsigned Line = V->getLineNumber();
Devang Patel8119fe872010-03-08 22:02:50 +0000421 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
422 V->getContext().getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000423 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000424 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
425 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000426}
427
Devang Patel930143b2009-11-21 02:48:08 +0000428/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000429/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000430void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000431 // If there is no compile unit specified, don't add a line #.
Devang Patel3b548aa2010-03-08 20:52:55 +0000432 if (!G->getCompileUnit().Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000433 return;
434
435 unsigned Line = G->getLineNumber();
Devang Patel8119fe872010-03-08 22:02:50 +0000436 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
437 G->getContext().getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000438 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000439 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
440 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000441}
Devang Patelb2de5fa2009-08-31 22:47:13 +0000442
Devang Patel930143b2009-11-21 02:48:08 +0000443/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000444/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000445void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patelb2de5fa2009-08-31 22:47:13 +0000446 // If there is no compile unit specified, don't add a line #.
Devang Patel3b548aa2010-03-08 20:52:55 +0000447 if (!SP->getCompileUnit().Verify())
Devang Patelb2de5fa2009-08-31 22:47:13 +0000448 return;
Caroline Tice183a5192009-09-11 18:25:54 +0000449 // If the line number is 0, don't add it.
450 if (SP->getLineNumber() == 0)
451 return;
452
Devang Patelb2de5fa2009-08-31 22:47:13 +0000453 unsigned Line = SP->getLineNumber();
Devang Patel8119fe872010-03-08 22:02:50 +0000454 if (!SP->getContext().Verify())
455 return;
Devang Patel834392f2010-03-24 21:30:35 +0000456 unsigned FileID = GetOrCreateSourceID(SP->getDirectory(),
457 SP->getFilename());
Devang Patelb2de5fa2009-08-31 22:47:13 +0000458 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000459 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
460 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patelb2de5fa2009-08-31 22:47:13 +0000461}
462
Devang Patel930143b2009-11-21 02:48:08 +0000463/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000464/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000465void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000466 // If there is no compile unit specified, don't add a line #.
467 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel3b548aa2010-03-08 20:52:55 +0000468 if (!CU.Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000469 return;
470
471 unsigned Line = Ty->getLineNumber();
Devang Patel8119fe872010-03-08 22:02:50 +0000472 if (!Ty->getContext().Verify())
473 return;
474 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
475 Ty->getContext().getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000476 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000477 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
478 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000479}
480
Devang Patel1f4690c2009-12-15 19:16:48 +0000481/// addSourceLine - Add location information to specified debug information
482/// entry.
483void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
484 // If there is no compile unit specified, don't add a line #.
Devang Patel3b548aa2010-03-08 20:52:55 +0000485 if (!NS->getCompileUnit().Verify())
Devang Patel1f4690c2009-12-15 19:16:48 +0000486 return;
487
488 unsigned Line = NS->getLineNumber();
489 StringRef FN = NS->getFilename();
490 StringRef Dir = NS->getDirectory();
491
492 unsigned FileID = GetOrCreateSourceID(Dir, FN);
493 assert(FileID && "Invalid file id");
494 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
495 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
496}
497
Caroline Ticec87c1e22009-08-31 21:19:37 +0000498/* Byref variables, in Blocks, are declared by the programmer as
499 "SomeType VarName;", but the compiler creates a
500 __Block_byref_x_VarName struct, and gives the variable VarName
501 either the struct, or a pointer to the struct, as its type. This
502 is necessary for various behind-the-scenes things the compiler
503 needs to do with by-reference variables in blocks.
504
505 However, as far as the original *programmer* is concerned, the
506 variable should still have type 'SomeType', as originally declared.
507
508 The following function dives into the __Block_byref_x_VarName
509 struct to find the original type of the variable. This will be
510 passed back to the code generating the type for the Debug
511 Information Entry for the variable 'VarName'. 'VarName' will then
512 have the original type 'SomeType' in its debug information.
513
514 The original type 'SomeType' will be the type of the field named
515 'VarName' inside the __Block_byref_x_VarName struct.
516
517 NOTE: In order for this to not completely fail on the debugger
518 side, the Debug Information Entry for the variable VarName needs to
519 have a DW_AT_location that tells the debugger how to unwind through
520 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel930143b2009-11-21 02:48:08 +0000521 value of the variable. The function addBlockByrefType does this. */
Caroline Ticec87c1e22009-08-31 21:19:37 +0000522
523/// Find the type the programmer originally declared the variable to be
524/// and return that type.
525///
Devang Patel930143b2009-11-21 02:48:08 +0000526DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticec87c1e22009-08-31 21:19:37 +0000527
528 DIType subType = Ty;
529 unsigned tag = Ty.getTag();
530
531 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump14cf8ec2009-09-30 00:08:22 +0000532 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000533 subType = DTy.getTypeDerivedFrom();
534 }
535
536 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000537 DIArray Elements = blockStruct.getTypeArray();
538
Caroline Ticec87c1e22009-08-31 21:19:37 +0000539 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
540 DIDescriptor Element = Elements.getElement(i);
541 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel2d9caf92009-11-25 17:36:49 +0000542 if (Name == DT.getName())
Caroline Ticec87c1e22009-08-31 21:19:37 +0000543 return (DT.getTypeDerivedFrom());
544 }
545
546 return Ty;
547}
548
Devang Patel930143b2009-11-21 02:48:08 +0000549/// addComplexAddress - Start with the address based on the location provided,
Mike Stump14cf8ec2009-09-30 00:08:22 +0000550/// and generate the DWARF information necessary to find the actual variable
551/// given the extra address information encoded in the DIVariable, starting from
552/// the starting location. Add the DWARF information to the die.
553///
Devang Patel930143b2009-11-21 02:48:08 +0000554void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump14cf8ec2009-09-30 00:08:22 +0000555 unsigned Attribute,
556 const MachineLocation &Location) {
557 const DIVariable &VD = DV->getVariable();
558 DIType Ty = VD.getType();
559
560 // Decode the original location, and use that as the start of the byref
561 // variable's location.
562 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
563 DIEBlock *Block = new DIEBlock();
564
565 if (Location.isReg()) {
566 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000567 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000568 } else {
569 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-11-21 02:48:08 +0000570 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
571 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000572 }
573 } else {
574 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000575 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000576 else {
Devang Patel930143b2009-11-21 02:48:08 +0000577 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
578 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000579 }
580
Devang Patel930143b2009-11-21 02:48:08 +0000581 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump14cf8ec2009-09-30 00:08:22 +0000582 }
583
584 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
585 uint64_t Element = VD.getAddrElement(i);
586
587 if (Element == DIFactory::OpPlus) {
Devang Patel930143b2009-11-21 02:48:08 +0000588 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
589 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump14cf8ec2009-09-30 00:08:22 +0000590 } else if (Element == DIFactory::OpDeref) {
Devang Patel930143b2009-11-21 02:48:08 +0000591 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000592 } else llvm_unreachable("unknown DIFactory Opcode");
593 }
594
595 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000596 addBlock(Die, Attribute, 0, Block);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000597}
598
Caroline Ticec87c1e22009-08-31 21:19:37 +0000599/* Byref variables, in Blocks, are declared by the programmer as "SomeType
600 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
601 gives the variable VarName either the struct, or a pointer to the struct, as
602 its type. This is necessary for various behind-the-scenes things the
603 compiler needs to do with by-reference variables in Blocks.
604
605 However, as far as the original *programmer* is concerned, the variable
606 should still have type 'SomeType', as originally declared.
607
Devang Patel930143b2009-11-21 02:48:08 +0000608 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000609 struct to find the original type of the variable, which is then assigned to
610 the variable's Debug Information Entry as its real type. So far, so good.
611 However now the debugger will expect the variable VarName to have the type
612 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000613 expression that explains to the debugger how to navigate through the
Caroline Ticec87c1e22009-08-31 21:19:37 +0000614 pointers and struct to find the actual variable of type SomeType.
615
616 The following function does just that. We start by getting
617 the "normal" location for the variable. This will be the location
618 of either the struct __Block_byref_x_VarName or the pointer to the
619 struct __Block_byref_x_VarName.
620
621 The struct will look something like:
622
623 struct __Block_byref_x_VarName {
624 ... <various fields>
625 struct __Block_byref_x_VarName *forwarding;
626 ... <various other fields>
627 SomeType VarName;
628 ... <maybe more fields>
629 };
630
631 If we are given the struct directly (as our starting point) we
632 need to tell the debugger to:
633
634 1). Add the offset of the forwarding field.
635
Dan Gohman4a618822010-02-10 16:03:48 +0000636 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000637 struct to use (the real one may have been copied onto the heap).
638
639 3). Add the offset for the field VarName, to find the actual variable.
640
641 If we started with a pointer to the struct, then we need to
642 dereference that pointer first, before the other steps.
643 Translating this into DWARF ops, we will need to append the following
644 to the current location description for the variable:
645
646 DW_OP_deref -- optional, if we start with a pointer
647 DW_OP_plus_uconst <forward_fld_offset>
648 DW_OP_deref
649 DW_OP_plus_uconst <varName_fld_offset>
650
651 That is what this function does. */
652
Devang Patel930143b2009-11-21 02:48:08 +0000653/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticec87c1e22009-08-31 21:19:37 +0000654/// provided, and generate the DWARF information necessary to find the
655/// actual Block variable (navigating the Block struct) based on the
656/// starting location. Add the DWARF information to the die. For
657/// more information, read large comment just above here.
658///
Devang Patel930143b2009-11-21 02:48:08 +0000659void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000660 unsigned Attribute,
661 const MachineLocation &Location) {
Caroline Ticec87c1e22009-08-31 21:19:37 +0000662 const DIVariable &VD = DV->getVariable();
663 DIType Ty = VD.getType();
664 DIType TmpTy = Ty;
665 unsigned Tag = Ty.getTag();
666 bool isPointer = false;
667
Devang Patel2d9caf92009-11-25 17:36:49 +0000668 StringRef varName = VD.getName();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000669
670 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump14cf8ec2009-09-30 00:08:22 +0000671 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000672 TmpTy = DTy.getTypeDerivedFrom();
673 isPointer = true;
674 }
675
676 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
677
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000678 // Find the __forwarding field and the variable field in the __Block_byref
679 // struct.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000680 DIArray Fields = blockStruct.getTypeArray();
681 DIDescriptor varField = DIDescriptor();
682 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000683
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000684 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
685 DIDescriptor Element = Fields.getElement(i);
686 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel2d9caf92009-11-25 17:36:49 +0000687 StringRef fieldName = DT.getName();
688 if (fieldName == "__forwarding")
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000689 forwardingField = Element;
Devang Patel2d9caf92009-11-25 17:36:49 +0000690 else if (fieldName == varName)
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000691 varField = Element;
692 }
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000693
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000694 // Get the offsets for the forwarding field and the variable field.
Chris Lattner71696ef2010-03-31 06:06:37 +0000695 unsigned forwardingFieldOffset =
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000696 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
Chris Lattner71696ef2010-03-31 06:06:37 +0000697 unsigned varFieldOffset =
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000698 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticec87c1e22009-08-31 21:19:37 +0000699
Mike Stump944fa252009-09-24 23:21:26 +0000700 // Decode the original location, and use that as the start of the byref
701 // variable's location.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000702 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
703 DIEBlock *Block = new DIEBlock();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000704
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000705 if (Location.isReg()) {
706 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000707 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000708 else {
709 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-11-21 02:48:08 +0000710 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
711 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000712 }
713 } else {
714 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000715 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000716 else {
Devang Patel930143b2009-11-21 02:48:08 +0000717 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
718 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000719 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000720
Devang Patel930143b2009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000722 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000723
Mike Stump944fa252009-09-24 23:21:26 +0000724 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000725 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000726 if (isPointer)
Devang Patel930143b2009-11-21 02:48:08 +0000727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000728
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000729 // Next add the offset for the '__forwarding' field:
730 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
731 // adding the offset if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000732 if (forwardingFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000733 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
734 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000735 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000736
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000737 // Now dereference the __forwarding field to get to the real __Block_byref
738 // struct: DW_OP_deref.
Devang Patel930143b2009-11-21 02:48:08 +0000739 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000740
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000741 // Now that we've got the real __Block_byref... struct, add the offset
742 // for the variable's field to get to the location of the actual variable:
743 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000744 if (varFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000745 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
746 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000747 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000748
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000749 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000750 addBlock(Die, Attribute, 0, Block);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000751}
752
Devang Patel930143b2009-11-21 02:48:08 +0000753/// addAddress - Add an address attribute to a die based on the location
Bill Wendling2f921f82009-05-15 09:23:25 +0000754/// provided.
Devang Patel930143b2009-11-21 02:48:08 +0000755void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000756 const MachineLocation &Location) {
757 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
758 DIEBlock *Block = new DIEBlock();
759
760 if (Location.isReg()) {
761 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000762 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000763 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000764 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
765 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000766 }
767 } else {
768 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000769 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000770 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000771 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
772 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000773 }
774
Devang Patel930143b2009-11-21 02:48:08 +0000775 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling2f921f82009-05-15 09:23:25 +0000776 }
777
Devang Patel930143b2009-11-21 02:48:08 +0000778 addBlock(Die, Attribute, 0, Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000779}
780
Devang Patel2b75ed22009-12-10 19:14:49 +0000781/// addToContextOwner - Add Die into the list of its context owner's children.
782void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000783 if (Context.isType()) {
Devang Patel2b75ed22009-12-10 19:14:49 +0000784 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
785 ContextDIE->addChild(Die);
Devang Patel1f4690c2009-12-15 19:16:48 +0000786 } else if (Context.isNameSpace()) {
787 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
788 ContextDIE->addChild(Die);
Devang Patel2b75ed22009-12-10 19:14:49 +0000789 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
790 ContextDIE->addChild(Die);
791 else
792 ModuleCU->addDie(Die);
793}
794
Devang Patelb5b60ea2009-12-10 18:05:33 +0000795/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
796/// given DIType.
797DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
798 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
799 if (TyDIE)
800 return TyDIE;
801
802 // Create new type.
803 TyDIE = new DIE(dwarf::DW_TAG_base_type);
804 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
805 if (Ty.isBasicType())
806 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
807 else if (Ty.isCompositeType())
808 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
809 else {
810 assert(Ty.isDerivedType() && "Unknown kind of DIType");
811 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
812 }
813
Devang Patel2b75ed22009-12-10 19:14:49 +0000814 addToContextOwner(TyDIE, Ty.getContext());
Devang Patelb5b60ea2009-12-10 18:05:33 +0000815 return TyDIE;
816}
817
Devang Patel930143b2009-11-21 02:48:08 +0000818/// addType - Add a new type attribute to the specified entity.
Devang Patel9ccfb642009-12-09 18:24:21 +0000819void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000820 if (!Ty.isValid())
Bill Wendling2f921f82009-05-15 09:23:25 +0000821 return;
822
823 // Check for pre-existence.
Devang Patel9ccfb642009-12-09 18:24:21 +0000824 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling2f921f82009-05-15 09:23:25 +0000825 // If it exists then use the existing value.
Devang Patel930143b2009-11-21 02:48:08 +0000826 if (Entry) {
827 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000828 return;
829 }
830
Bill Wendling2f921f82009-05-15 09:23:25 +0000831 // Construct type.
Devang Patelb5b60ea2009-12-10 18:05:33 +0000832 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling2f921f82009-05-15 09:23:25 +0000833
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000834 // Set up proxy.
835 Entry = createDIEEntry(Buffer);
836 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
837
Devang Patel930143b2009-11-21 02:48:08 +0000838 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000839}
840
Devang Patel930143b2009-11-21 02:48:08 +0000841/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000842void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000843 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000844 StringRef Name = BTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000845 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +0000846 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling2f921f82009-05-15 09:23:25 +0000847 BTy.getEncoding());
848
849 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000850 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000851 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000852 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel930143b2009-11-21 02:48:08 +0000853 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000854}
855
Devang Patel930143b2009-11-21 02:48:08 +0000856/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000857void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000858 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000859 StringRef Name = DTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000860 uint64_t Size = DTy.getSizeInBits() >> 3;
861 unsigned Tag = DTy.getTag();
862
863 // FIXME - Workaround for templates.
864 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
865
866 Buffer.setTag(Tag);
867
868 // Map to main type, void will not have a type.
869 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel9ccfb642009-12-09 18:24:21 +0000870 addType(&Buffer, FromTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000871
872 // Add name if not anonymous or intermediate type.
Devang Patelae466ef2009-11-30 23:56:56 +0000873 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000874 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000875
876 // Add size if non-zero (derived types might be zero-sized.)
877 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000878 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000879
880 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb5b51592009-11-23 18:43:37 +0000881 if (!DTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000882 addSourceLine(&Buffer, &DTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000883}
884
Devang Patel930143b2009-11-21 02:48:08 +0000885/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000886void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000887 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000888 StringRef Name = CTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000889
890 uint64_t Size = CTy.getSizeInBits() >> 3;
891 unsigned Tag = CTy.getTag();
892 Buffer.setTag(Tag);
893
894 switch (Tag) {
895 case dwarf::DW_TAG_vector_type:
896 case dwarf::DW_TAG_array_type:
Devang Patel9ccfb642009-12-09 18:24:21 +0000897 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000898 break;
899 case dwarf::DW_TAG_enumeration_type: {
900 DIArray Elements = CTy.getTypeArray();
901
902 // Add enumerators to enumeration type.
903 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
904 DIE *ElemDie = NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +0000905 DIDescriptor Enum(Elements.getElement(i).getNode());
906 if (Enum.isEnumerator()) {
907 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000908 Buffer.addChild(ElemDie);
Devang Patelfafa1fe2009-10-09 17:51:49 +0000909 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000910 }
911 }
912 break;
913 case dwarf::DW_TAG_subroutine_type: {
914 // Add return type.
915 DIArray Elements = CTy.getTypeArray();
916 DIDescriptor RTy = Elements.getElement(0);
Devang Patel9ccfb642009-12-09 18:24:21 +0000917 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling2f921f82009-05-15 09:23:25 +0000918
919 // Add prototype flag.
Devang Patel930143b2009-11-21 02:48:08 +0000920 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000921
922 // Add arguments.
923 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
924 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
925 DIDescriptor Ty = Elements.getElement(i);
Devang Patel9ccfb642009-12-09 18:24:21 +0000926 addType(Arg, DIType(Ty.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000927 Buffer.addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000928 }
929 }
930 break;
931 case dwarf::DW_TAG_structure_type:
932 case dwarf::DW_TAG_union_type:
933 case dwarf::DW_TAG_class_type: {
934 // Add elements to structure type.
935 DIArray Elements = CTy.getTypeArray();
936
937 // A forward struct declared type may not have elements available.
Devang Patel3b548aa2010-03-08 20:52:55 +0000938 unsigned N = Elements.getNumElements();
939 if (N == 0)
Bill Wendling2f921f82009-05-15 09:23:25 +0000940 break;
941
942 // Add elements to structure type.
Devang Patel3b548aa2010-03-08 20:52:55 +0000943 for (unsigned i = 0; i < N; ++i) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000944 DIDescriptor Element = Elements.getElement(i);
945 DIE *ElemDie = NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +0000946 if (Element.isSubprogram())
Devang Patel525dda02009-12-14 16:18:45 +0000947 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel3b548aa2010-03-08 20:52:55 +0000948 else if (Element.isVariable()) {
Devang Patel160c92d2010-01-30 01:08:30 +0000949 DIVariable DV(Element.getNode());
950 ElemDie = new DIE(dwarf::DW_TAG_variable);
951 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
952 DV.getName());
953 addType(ElemDie, DV.getType());
954 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
955 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
956 addSourceLine(ElemDie, &DV);
Devang Patel3b548aa2010-03-08 20:52:55 +0000957 } else if (Element.isDerivedType())
Devang Patel9ccfb642009-12-09 18:24:21 +0000958 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel3b548aa2010-03-08 20:52:55 +0000959 else
960 continue;
Devang Patel930143b2009-11-21 02:48:08 +0000961 Buffer.addChild(ElemDie);
Bill Wendling2f921f82009-05-15 09:23:25 +0000962 }
963
Devang Patel3082c012009-08-27 23:51:51 +0000964 if (CTy.isAppleBlockExtension())
Devang Patel930143b2009-11-21 02:48:08 +0000965 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000966
967 unsigned RLang = CTy.getRunTimeLang();
968 if (RLang)
Devang Patel930143b2009-11-21 02:48:08 +0000969 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling2f921f82009-05-15 09:23:25 +0000970 dwarf::DW_FORM_data1, RLang);
Devang Patel303a1be2010-01-26 21:16:06 +0000971
972 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel3b548aa2010-03-08 20:52:55 +0000973 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patel303a1be2010-01-26 21:16:06 +0000974 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
975 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling2f921f82009-05-15 09:23:25 +0000976 break;
977 }
978 default:
979 break;
980 }
981
982 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000983 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000984 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000985
Devang Patelaedd6f52010-01-29 18:34:58 +0000986 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling2f921f82009-05-15 09:23:25 +0000987 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
988 // Add size if non-zero (derived types might be zero-sized.)
989 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000990 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000991 else {
992 // Add zero size if it is not a forward declaration.
993 if (CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000994 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000995 else
Devang Patel930143b2009-11-21 02:48:08 +0000996 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling2f921f82009-05-15 09:23:25 +0000997 }
998
999 // Add source line info if available.
1000 if (!CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +00001001 addSourceLine(&Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001002 }
1003}
1004
Devang Patel930143b2009-11-21 02:48:08 +00001005/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1006void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling2f921f82009-05-15 09:23:25 +00001007 int64_t L = SR.getLo();
1008 int64_t H = SR.getHi();
1009 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1010
Devang Patel930143b2009-11-21 02:48:08 +00001011 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patelf691df32009-08-14 20:59:16 +00001012 if (L)
Devang Patel930143b2009-11-21 02:48:08 +00001013 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Patel8f046022009-12-04 23:10:24 +00001014 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling2f921f82009-05-15 09:23:25 +00001015
Devang Patel930143b2009-11-21 02:48:08 +00001016 Buffer.addChild(DW_Subrange);
Bill Wendling2f921f82009-05-15 09:23:25 +00001017}
1018
Devang Patel930143b2009-11-21 02:48:08 +00001019/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +00001020void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling2f921f82009-05-15 09:23:25 +00001021 DICompositeType *CTy) {
1022 Buffer.setTag(dwarf::DW_TAG_array_type);
1023 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel930143b2009-11-21 02:48:08 +00001024 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001025
1026 // Emit derived type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001027 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001028 DIArray Elements = CTy->getTypeArray();
1029
Devang Patel92e8c652009-11-21 00:31:03 +00001030 // Get an anonymous type for index type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001031 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel92e8c652009-11-21 00:31:03 +00001032 if (!IdxTy) {
1033 // Construct an anonymous type for index type.
1034 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +00001035 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1036 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel92e8c652009-11-21 00:31:03 +00001037 dwarf::DW_ATE_signed);
Devang Patel9ccfb642009-12-09 18:24:21 +00001038 ModuleCU->addDie(IdxTy);
1039 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel92e8c652009-11-21 00:31:03 +00001040 }
Bill Wendling2f921f82009-05-15 09:23:25 +00001041
1042 // Add subranges to array type.
1043 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1044 DIDescriptor Element = Elements.getElement(i);
1045 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel930143b2009-11-21 02:48:08 +00001046 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001047 }
1048}
1049
Devang Patel930143b2009-11-21 02:48:08 +00001050/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3b548aa2010-03-08 20:52:55 +00001051DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001052 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3b548aa2010-03-08 20:52:55 +00001053 StringRef Name = ETy.getName();
Devang Patel930143b2009-11-21 02:48:08 +00001054 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3b548aa2010-03-08 20:52:55 +00001055 int64_t Value = ETy.getEnumValue();
Devang Patel930143b2009-11-21 02:48:08 +00001056 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +00001057 return Enumerator;
1058}
1059
Devang Patel43ef34d2010-01-05 01:46:14 +00001060/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1061/// printer to not emit usual symbol prefix before the symbol name is used then
1062/// return linkage name after skipping this special LLVM prefix.
1063static StringRef getRealLinkageName(StringRef LinkageName) {
1064 char One = '\1';
1065 if (LinkageName.startswith(StringRef(&One, 1)))
1066 return LinkageName.substr(1);
1067 return LinkageName;
1068}
1069
Devang Patel930143b2009-11-21 02:48:08 +00001070/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel9ccfb642009-12-09 18:24:21 +00001071DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach00e9c612009-11-22 19:20:36 +00001072 // If the global variable was optmized out then no need to create debug info
1073 // entry.
Devang Patelcc11371b2009-11-06 17:58:12 +00001074 if (!GV.getGlobal()) return NULL;
Devang Patel2d9caf92009-11-25 17:36:49 +00001075 if (GV.getDisplayName().empty()) return NULL;
Devang Patel06ce6502009-11-06 01:30:04 +00001076
Bill Wendling2f921f82009-05-15 09:23:25 +00001077 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach042483e2009-11-21 23:12:12 +00001078 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001079 GV.getDisplayName());
1080
Devang Patel2d9caf92009-11-25 17:36:49 +00001081 StringRef LinkageName = GV.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001082 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001083 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001084 getRealLinkageName(LinkageName));
1085
Devang Patel9ccfb642009-12-09 18:24:21 +00001086 addType(GVDie, GV.getType());
Bill Wendling2f921f82009-05-15 09:23:25 +00001087 if (!GV.isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001088 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1089 addSourceLine(GVDie, &GV);
Devang Patel4144a822009-10-05 23:22:08 +00001090
Bill Wendling2f921f82009-05-15 09:23:25 +00001091 return GVDie;
1092}
1093
Devang Patel930143b2009-11-21 02:48:08 +00001094/// createMemberDIE - Create new member DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001095DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001096 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel2d9caf92009-11-25 17:36:49 +00001097 StringRef Name = DT.getName();
1098 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001099 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel2d9caf92009-11-25 17:36:49 +00001100
Devang Patel9ccfb642009-12-09 18:24:21 +00001101 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001102
Devang Patel930143b2009-11-21 02:48:08 +00001103 addSourceLine(MemberDie, &DT);
Bill Wendling2f921f82009-05-15 09:23:25 +00001104
Devang Patel67f56f02009-11-04 22:06:12 +00001105 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel930143b2009-11-21 02:48:08 +00001106 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel67f56f02009-11-04 22:06:12 +00001107
Bill Wendling2f921f82009-05-15 09:23:25 +00001108 uint64_t Size = DT.getSizeInBits();
Devang Patelf05d5722009-11-04 23:48:00 +00001109 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling2f921f82009-05-15 09:23:25 +00001110
1111 if (Size != FieldSize) {
1112 // Handle bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001113 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1114 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling2f921f82009-05-15 09:23:25 +00001115
1116 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling2f921f82009-05-15 09:23:25 +00001117 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1118 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer2b459982010-01-07 17:50:57 +00001119 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling2f921f82009-05-15 09:23:25 +00001120 Offset -= FieldOffset;
1121
1122 // Maybe we need to work from the other end.
1123 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel930143b2009-11-21 02:48:08 +00001124 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling2f921f82009-05-15 09:23:25 +00001125
Devang Patel67f56f02009-11-04 22:06:12 +00001126 // Here WD_AT_data_member_location points to the anonymous
1127 // field that includes this bit field.
Devang Patel930143b2009-11-21 02:48:08 +00001128 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001129
1130 } else
1131 // This is not a bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001132 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001133
Devang Pateld2316892010-02-03 20:08:48 +00001134 if (DT.getTag() == dwarf::DW_TAG_inheritance
1135 && DT.isVirtual()) {
1136
1137 // For C++, virtual base classes are not at fixed offset. Use following
1138 // expression to extract appropriate offset from vtable.
1139 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1140
1141 DIEBlock *VBaseLocationDie = new DIEBlock();
1142 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1143 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1144 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1145 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1146 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1147 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1148 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1149
1150 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1151 VBaseLocationDie);
1152 } else
1153 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001154
1155 if (DT.isProtected())
Devang Pateleb57c592009-12-03 19:11:07 +00001156 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001157 dwarf::DW_ACCESS_protected);
1158 else if (DT.isPrivate())
Devang Pateleb57c592009-12-03 19:11:07 +00001159 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001160 dwarf::DW_ACCESS_private);
Devang Pateleb57c592009-12-03 19:11:07 +00001161 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1162 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1163 dwarf::DW_ACCESS_public);
1164 if (DT.isVirtual())
1165 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1166 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling2f921f82009-05-15 09:23:25 +00001167 return MemberDie;
1168}
1169
Devang Patel525dda02009-12-14 16:18:45 +00001170/// createSubprogramDIE - Create new DIE using SP.
1171DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1172 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1173 if (SPDie)
1174 return SPDie;
1175
1176 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patelf200b392010-03-02 17:58:15 +00001177 // Constructors and operators for anonymous aggregates do not have names.
Devang Pateld0fa3042010-03-02 01:26:20 +00001178 if (!SP.getName().empty())
1179 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling2f921f82009-05-15 09:23:25 +00001180
Devang Patel2d9caf92009-11-25 17:36:49 +00001181 StringRef LinkageName = SP.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001182 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001183 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001184 getRealLinkageName(LinkageName));
1185
Devang Patel930143b2009-11-21 02:48:08 +00001186 addSourceLine(SPDie, &SP);
Bill Wendling2f921f82009-05-15 09:23:25 +00001187
Bill Wendling2f921f82009-05-15 09:23:25 +00001188 // Add prototyped tag, if C or ObjC.
1189 unsigned Lang = SP.getCompileUnit().getLanguage();
1190 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1191 Lang == dwarf::DW_LANG_ObjC)
Devang Patel930143b2009-11-21 02:48:08 +00001192 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001193
1194 // Add Return Type.
Devang Patel236526d2009-12-03 01:25:38 +00001195 DICompositeType SPTy = SP.getType();
1196 DIArray Args = SPTy.getTypeArray();
Bill Wendling2f921f82009-05-15 09:23:25 +00001197 unsigned SPTag = SPTy.getTag();
Devang Pateleb57c592009-12-03 19:11:07 +00001198
Devang Patel3b548aa2010-03-08 20:52:55 +00001199 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel9ccfb642009-12-09 18:24:21 +00001200 addType(SPDie, SPTy);
Devang Patel236526d2009-12-03 01:25:38 +00001201 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001202 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel236526d2009-12-03 01:25:38 +00001203
Devang Pateleb57c592009-12-03 19:11:07 +00001204 unsigned VK = SP.getVirtuality();
1205 if (VK) {
1206 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1207 DIEBlock *Block = new DIEBlock();
1208 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1209 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1210 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel018b29b2010-01-19 06:19:05 +00001211 ContainingTypeMap.insert(std::make_pair(SPDie,
1212 SP.getContainingType().getNode()));
Devang Pateleb57c592009-12-03 19:11:07 +00001213 }
1214
Devang Patel525dda02009-12-14 16:18:45 +00001215 if (MakeDecl || !SP.isDefinition()) {
Devang Patel930143b2009-11-21 02:48:08 +00001216 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001217
1218 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel236526d2009-12-03 01:25:38 +00001219 // be handled while processing variables.
1220 DICompositeType SPTy = SP.getType();
1221 DIArray Args = SPTy.getTypeArray();
1222 unsigned SPTag = SPTy.getTag();
1223
Bill Wendling2f921f82009-05-15 09:23:25 +00001224 if (SPTag == dwarf::DW_TAG_subroutine_type)
1225 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1226 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel6efc8e52010-02-06 01:02:37 +00001227 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1228 addType(Arg, ATy);
1229 if (ATy.isArtificial())
1230 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel930143b2009-11-21 02:48:08 +00001231 SPDie->addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +00001232 }
1233 }
1234
Devang Patel999b4992010-02-03 19:57:19 +00001235 if (SP.isArtificial())
1236 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1237
Bill Wendling2f921f82009-05-15 09:23:25 +00001238 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001239 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001240 return SPDie;
1241}
1242
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001243/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1244/// Initialize scope and update scope hierarchy.
1245DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
Chris Lattner8d2fe282010-03-31 05:36:29 +00001246 MDNode *InlinedAt) {
1247 assert(N && "Invalid Scope encoding!");
1248 assert(MI && "Missing machine instruction!");
Chris Lattner03e1b5a2010-03-31 05:42:48 +00001249 bool GetConcreteScope = InlinedAt != 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001250
1251 DbgScope *NScope = NULL;
1252
1253 if (InlinedAt)
1254 NScope = DbgScopeMap.lookup(InlinedAt);
1255 else
1256 NScope = DbgScopeMap.lookup(N);
Chris Lattner8d2fe282010-03-31 05:36:29 +00001257 assert(NScope && "Unable to find working scope!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001258
1259 if (NScope->getFirstInsn())
1260 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001261
1262 DbgScope *Parent = NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001263 if (GetConcreteScope) {
Devang Patel6875c5eb2009-10-14 21:08:09 +00001264 DILocation IL(InlinedAt);
Jim Grosbach042483e2009-11-21 23:12:12 +00001265 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001266 IL.getOrigLocation().getNode());
Chris Lattner8d2fe282010-03-31 05:36:29 +00001267 assert(Parent && "Unable to find Parent scope!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001268 NScope->setParent(Parent);
Devang Patel930143b2009-11-21 02:48:08 +00001269 Parent->addScope(NScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001270 } else if (DIDescriptor(N).isLexicalBlock()) {
1271 DILexicalBlock DB(N);
Devang Patel3b548aa2010-03-08 20:52:55 +00001272 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1273 NScope->setParent(Parent);
1274 Parent->addScope(NScope);
Devang Patel6875c5eb2009-10-14 21:08:09 +00001275 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001276
Devang Patelcfeaa482009-10-27 20:47:17 +00001277 NScope->setFirstInsn(MI);
Devang Patel75cc16c2009-10-01 20:31:14 +00001278
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001279 if (!Parent && !InlinedAt) {
Devang Patel78319c62009-11-11 00:31:36 +00001280 StringRef SPName = DISubprogram(N).getLinkageName();
1281 if (SPName == MF->getFunction()->getName())
1282 CurrentFnDbgScope = NScope;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001283 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001284
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001285 if (GetConcreteScope) {
1286 ConcreteScopes[InlinedAt] = NScope;
1287 getOrCreateAbstractScope(N);
1288 }
1289
Devang Patelcfeaa482009-10-27 20:47:17 +00001290 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001291}
1292
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001293DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
Chris Lattner8d2fe282010-03-31 05:36:29 +00001294 assert(N && "Invalid Scope encoding!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001295
1296 DbgScope *AScope = AbstractScopes.lookup(N);
1297 if (AScope)
1298 return AScope;
Jim Grosbach042483e2009-11-21 23:12:12 +00001299
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001300 DbgScope *Parent = NULL;
1301
1302 DIDescriptor Scope(N);
1303 if (Scope.isLexicalBlock()) {
1304 DILexicalBlock DB(N);
1305 DIDescriptor ParentDesc = DB.getContext();
Devang Patel3b548aa2010-03-08 20:52:55 +00001306 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001307 }
1308
1309 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1310
1311 if (Parent)
Devang Patel930143b2009-11-21 02:48:08 +00001312 Parent->addScope(AScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001313 AScope->setAbstractScope();
1314 AbstractScopes[N] = AScope;
1315 if (DIDescriptor(N).isSubprogram())
1316 AbstractScopesList.push_back(AScope);
1317 return AScope;
1318}
Devang Patel75cc16c2009-10-01 20:31:14 +00001319
Jim Grosbach042483e2009-11-21 23:12:12 +00001320/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel930143b2009-11-21 02:48:08 +00001321/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1322/// If there are global variables in this scope then create and insert
1323/// DIEs for these variables.
1324DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patele064ad42009-11-20 21:37:22 +00001325 DIE *SPDie = ModuleCU->getDIE(SPNode);
Chris Lattner2c3f4782010-03-13 07:26:18 +00001326 assert(SPDie && "Unable to find subprogram DIE!");
Devang Patel525dda02009-12-14 16:18:45 +00001327 DISubprogram SP(SPNode);
Chris Lattner2c3f4782010-03-13 07:26:18 +00001328
Devang Pateld4be4ce2010-02-05 23:09:20 +00001329 // There is not any need to generate specification DIE for a function
1330 // defined at compile unit level. If a function is defined inside another
1331 // function then gdb prefers the definition at top level and but does not
1332 // expect specification DIE in parent function. So avoid creating
1333 // specification DIE for a function defined inside a function.
Chris Lattner2c3f4782010-03-13 07:26:18 +00001334 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1335 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
Devang Patel525dda02009-12-14 16:18:45 +00001336 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Chris Lattner2c3f4782010-03-13 07:26:18 +00001337
1338 // Add arguments.
Devang Patel525dda02009-12-14 16:18:45 +00001339 DICompositeType SPTy = SP.getType();
1340 DIArray Args = SPTy.getTypeArray();
1341 unsigned SPTag = SPTy.getTag();
1342 if (SPTag == dwarf::DW_TAG_subroutine_type)
Chris Lattner2c3f4782010-03-13 07:26:18 +00001343 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Devang Patel525dda02009-12-14 16:18:45 +00001344 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel6efc8e52010-02-06 01:02:37 +00001345 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1346 addType(Arg, ATy);
1347 if (ATy.isArtificial())
1348 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel525dda02009-12-14 16:18:45 +00001349 SPDie->addChild(Arg);
1350 }
1351 DIE *SPDeclDie = SPDie;
1352 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1353 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1354 SPDeclDie);
Devang Patel525dda02009-12-14 16:18:45 +00001355 ModuleCU->addDie(SPDie);
1356 }
Devang Patel6efc8e52010-02-06 01:02:37 +00001357
Devang Patel930143b2009-11-21 02:48:08 +00001358 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerbc9210c2010-03-08 22:23:36 +00001359 getDWLabel("func_begin", SubprogramCount));
Devang Patel930143b2009-11-21 02:48:08 +00001360 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerbc9210c2010-03-08 22:23:36 +00001361 getDWLabel("func_end", SubprogramCount));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001362 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel930143b2009-11-21 02:48:08 +00001363 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach042483e2009-11-21 23:12:12 +00001364
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001365 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001366 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001367
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001368 return SPDie;
1369}
1370
Jim Grosbach042483e2009-11-21 23:12:12 +00001371/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel930143b2009-11-21 02:48:08 +00001372/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1373DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattnere13c3722010-03-09 01:58:53 +00001374 MCSymbol *Start = Scope->getStartLabel();
1375 MCSymbol *End = Scope->getEndLabel();
Devang Patel23b2ae62010-03-29 22:59:58 +00001376 if (Start == 0 || End == 0) return 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001377
Chris Lattnere13c3722010-03-09 01:58:53 +00001378 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1379 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001380
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001381 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1382 if (Scope->isAbstractScope())
1383 return ScopeDIE;
1384
Devang Patel930143b2009-11-21 02:48:08 +00001385 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnere13c3722010-03-09 01:58:53 +00001386 Start ? Start : getDWLabel("func_begin", SubprogramCount));
Devang Patel930143b2009-11-21 02:48:08 +00001387 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnere13c3722010-03-09 01:58:53 +00001388 End ? End : getDWLabel("func_end", SubprogramCount));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001389
1390 return ScopeDIE;
1391}
1392
Devang Patel930143b2009-11-21 02:48:08 +00001393/// constructInlinedScopeDIE - This scope represents inlined body of
1394/// a function. Construct DIE to represent this concrete inlined copy
1395/// of the function.
1396DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattnere13c3722010-03-09 01:58:53 +00001397 MCSymbol *StartLabel = Scope->getStartLabel();
1398 MCSymbol *EndLabel = Scope->getEndLabel();
Devang Patel23b2ae62010-03-29 22:59:58 +00001399 if (StartLabel == 0 || EndLabel == 0) return 0;
Chris Lattner54a68762010-03-09 04:48:35 +00001400
Chris Lattnere13c3722010-03-09 01:58:53 +00001401 assert(StartLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001402 "Invalid starting label for an inlined scope!");
Chris Lattnere13c3722010-03-09 01:58:53 +00001403 assert(EndLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001404 "Invalid end label for an inlined scope!");
Devang Patel3b548aa2010-03-08 20:52:55 +00001405 if (!Scope->getScopeNode())
Devang Patelbc97f6b2010-03-08 19:20:38 +00001406 return NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +00001407 DIScope DS(Scope->getScopeNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001408 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1409
1410 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001411 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Chris Lattner8d2fe282010-03-31 05:36:29 +00001412 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patel930143b2009-11-21 02:48:08 +00001413 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001414 dwarf::DW_FORM_ref4, OriginDIE);
1415
Chris Lattner085b6522010-03-09 00:31:02 +00001416 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnere13c3722010-03-09 01:58:53 +00001417 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001418
1419 InlinedSubprogramDIEs.insert(OriginDIE);
1420
1421 // Track the start label for this inlined function.
Devang Patel018b29b2010-01-19 06:19:05 +00001422 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001423 I = InlineInfo.find(InlinedSP.getNode());
1424
1425 if (I == InlineInfo.end()) {
Chris Lattner085b6522010-03-09 00:31:02 +00001426 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbach00e9c612009-11-22 19:20:36 +00001427 ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001428 InlinedSPNodes.push_back(InlinedSP.getNode());
1429 } else
Chris Lattner085b6522010-03-09 00:31:02 +00001430 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001431
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001432 DILocation DL(Scope->getInlinedAt());
Devang Patel930143b2009-11-21 02:48:08 +00001433 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1434 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001435
1436 return ScopeDIE;
1437}
1438
Devang Patel930143b2009-11-21 02:48:08 +00001439
1440/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel9ccfb642009-12-09 18:24:21 +00001441DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001442 // Get the descriptor.
1443 const DIVariable &VD = DV->getVariable();
Devang Patel2d9caf92009-11-25 17:36:49 +00001444 StringRef Name = VD.getName();
1445 if (Name.empty())
Devang Patel97f99fa2009-11-13 02:25:26 +00001446 return NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001447
1448 // Translate tag to proper Dwarf tag. The result variable is dropped for
1449 // now.
1450 unsigned Tag;
1451 switch (VD.getTag()) {
1452 case dwarf::DW_TAG_return_variable:
1453 return NULL;
1454 case dwarf::DW_TAG_arg_variable:
1455 Tag = dwarf::DW_TAG_formal_parameter;
1456 break;
1457 case dwarf::DW_TAG_auto_variable: // fall thru
1458 default:
1459 Tag = dwarf::DW_TAG_variable;
1460 break;
1461 }
1462
1463 // Define variable debug information entry.
1464 DIE *VariableDie = new DIE(Tag);
1465
1466
1467 DIE *AbsDIE = NULL;
1468 if (DbgVariable *AV = DV->getAbstractVariable())
1469 AbsDIE = AV->getDIE();
Jim Grosbach042483e2009-11-21 23:12:12 +00001470
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001471 if (AbsDIE) {
1472 DIScope DS(Scope->getScopeNode());
1473 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001474 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbar75b4d352009-11-11 03:09:50 +00001475 (void) OriginSPDIE;
Chris Lattner8d2fe282010-03-31 05:36:29 +00001476 assert(OriginSPDIE && "Unable to find Origin DIE for the SP!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001477 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
Chris Lattner8d2fe282010-03-31 05:36:29 +00001478 assert(AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel930143b2009-11-21 02:48:08 +00001479 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001480 dwarf::DW_FORM_ref4, AbsDIE);
1481 }
1482 else {
Devang Patel930143b2009-11-21 02:48:08 +00001483 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1484 addSourceLine(VariableDie, &VD);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001485
1486 // Add variable type.
Jim Grosbach042483e2009-11-21 23:12:12 +00001487 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001488 // addresses instead.
1489 if (VD.isBlockByrefVariable())
Devang Patel9ccfb642009-12-09 18:24:21 +00001490 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001491 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001492 addType(VariableDie, VD.getType());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001493 }
1494
1495 // Add variable address.
1496 if (!Scope->isAbstractScope()) {
Devang Patela3e9c9c2010-03-15 18:33:46 +00001497 // Check if variable is described by DBG_VALUE instruction.
1498 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1499 if (DbgValueInsn->getNumOperands() == 3) {
1500 // FIXME : Handle getNumOperands != 3
1501 if (DbgValueInsn->getOperand(0).getType()
1502 == MachineOperand::MO_Register
1503 && DbgValueInsn->getOperand(0).getReg()) {
1504 MachineLocation Location;
1505 Location.set(DbgValueInsn->getOperand(0).getReg());
1506 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel23b2ae62010-03-29 22:59:58 +00001507 if (MCSymbol *VS = DV->getDbgValueLabel())
1508 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1509 VS);
Devang Patela3e9c9c2010-03-15 18:33:46 +00001510 } else if (DbgValueInsn->getOperand(0).getType() ==
1511 MachineOperand::MO_Immediate) {
1512 DIEBlock *Block = new DIEBlock();
1513 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1514 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1515 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
Devang Patel23b2ae62010-03-29 22:59:58 +00001516 if (MCSymbol *VS = DV->getDbgValueLabel())
1517 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1518 VS);
Devang Patela3e9c9c2010-03-15 18:33:46 +00001519 } else {
1520 //FIXME : Handle other operand types.
1521 delete VariableDie;
1522 return NULL;
1523 }
1524 }
1525 } else {
1526 MachineLocation Location;
1527 unsigned FrameReg;
Chris Lattner71696ef2010-03-31 06:06:37 +00001528 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(),
1529 FrameReg);
Devang Patela3e9c9c2010-03-15 18:33:46 +00001530 Location.set(FrameReg, Offset);
1531
1532 if (VD.hasComplexAddress())
1533 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1534 else if (VD.isBlockByrefVariable())
1535 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1536 else
1537 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1538 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001539 }
Devang Patel6efc8e52010-02-06 01:02:37 +00001540
1541 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1542 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001543 DV->setDIE(VariableDie);
1544 return VariableDie;
1545
1546}
Devang Patel930143b2009-11-21 02:48:08 +00001547
Devang Patel04d2f2d2009-11-24 01:14:22 +00001548void DwarfDebug::addPubTypes(DISubprogram SP) {
1549 DICompositeType SPTy = SP.getType();
1550 unsigned SPTag = SPTy.getTag();
1551 if (SPTag != dwarf::DW_TAG_subroutine_type)
1552 return;
1553
1554 DIArray Args = SPTy.getTypeArray();
Devang Patel04d2f2d2009-11-24 01:14:22 +00001555 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1556 DIType ATy(Args.getElement(i).getNode());
Devang Patel3b548aa2010-03-08 20:52:55 +00001557 if (!ATy.isValid())
Devang Patel04d2f2d2009-11-24 01:14:22 +00001558 continue;
1559 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel3b548aa2010-03-08 20:52:55 +00001560 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patel04d2f2d2009-11-24 01:14:22 +00001561 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1562 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1563 }
1564 }
1565}
1566
Devang Patel930143b2009-11-21 02:48:08 +00001567/// constructScopeDIE - Construct a DIE for this scope.
1568DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3b548aa2010-03-08 20:52:55 +00001569 if (!Scope || !Scope->getScopeNode())
1570 return NULL;
1571
1572 DIScope DS(Scope->getScopeNode());
1573 DIE *ScopeDIE = NULL;
1574 if (Scope->getInlinedAt())
1575 ScopeDIE = constructInlinedScopeDIE(Scope);
1576 else if (DS.isSubprogram()) {
1577 if (Scope->isAbstractScope())
1578 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1579 else
1580 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1581 }
Devang Patel23b2ae62010-03-29 22:59:58 +00001582 else
Devang Patel3b548aa2010-03-08 20:52:55 +00001583 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel23b2ae62010-03-29 22:59:58 +00001584 if (!ScopeDIE) return NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +00001585
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001586 // Add variables to scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001587 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001588 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel9ccfb642009-12-09 18:24:21 +00001589 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach042483e2009-11-21 23:12:12 +00001590 if (VariableDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001591 ScopeDIE->addChild(VariableDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001592 }
1593
1594 // Add nested scopes.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001595 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001596 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1597 // Define the Scope debug information entry.
Devang Patel930143b2009-11-21 02:48:08 +00001598 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach042483e2009-11-21 23:12:12 +00001599 if (NestedDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001600 ScopeDIE->addChild(NestedDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001601 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00001602
1603 if (DS.isSubprogram())
1604 addPubTypes(DISubprogram(DS.getNode()));
1605
1606 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001607}
1608
Bill Wendling2b128d72009-05-20 23:19:06 +00001609/// GetOrCreateSourceID - Look up the source id with the given directory and
1610/// source file names. If none currently exists, create a new id and insert it
1611/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1612/// maps as well.
Chris Lattner71696ef2010-03-31 06:06:37 +00001613unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName){
Bill Wendling2b128d72009-05-20 23:19:06 +00001614 unsigned DId;
1615 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1616 if (DI != DirectoryIdMap.end()) {
1617 DId = DI->getValue();
1618 } else {
1619 DId = DirectoryNames.size() + 1;
1620 DirectoryIdMap[DirName] = DId;
1621 DirectoryNames.push_back(DirName);
1622 }
1623
1624 unsigned FId;
1625 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1626 if (FI != SourceFileIdMap.end()) {
1627 FId = FI->getValue();
1628 } else {
1629 FId = SourceFileNames.size() + 1;
1630 SourceFileIdMap[FileName] = FId;
1631 SourceFileNames.push_back(FileName);
1632 }
1633
1634 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1635 SourceIdMap.find(std::make_pair(DId, FId));
1636 if (SI != SourceIdMap.end())
1637 return SI->second;
1638
1639 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1640 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1641 SourceIds.push_back(std::make_pair(DId, FId));
1642
1643 return SrcId;
1644}
1645
Devang Patel1f4690c2009-12-15 19:16:48 +00001646/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1647DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1648 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1649 if (NDie)
1650 return NDie;
1651 NDie = new DIE(dwarf::DW_TAG_namespace);
1652 ModuleCU->insertDIE(NS.getNode(), NDie);
1653 if (!NS.getName().empty())
1654 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1655 addSourceLine(NDie, &NS);
1656 addToContextOwner(NDie, NS.getContext());
1657 return NDie;
1658}
1659
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001660void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001661 DICompileUnit DIUnit(N);
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001662 // Use first compile unit marked as isMain as the compile unit for this
1663 // module.
1664 if (ModuleCU || !DIUnit.isMain())
1665 return;
Devang Patel2d9caf92009-11-25 17:36:49 +00001666 StringRef FN = DIUnit.getFilename();
1667 StringRef Dir = DIUnit.getDirectory();
Devang Patelb2969422009-09-29 18:40:58 +00001668 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendling2b128d72009-05-20 23:19:06 +00001669
1670 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel930143b2009-11-21 02:48:08 +00001671 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001672 DIUnit.getProducer());
Devang Patel930143b2009-11-21 02:48:08 +00001673 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendling2b128d72009-05-20 23:19:06 +00001674 DIUnit.getLanguage());
Devang Patel930143b2009-11-21 02:48:08 +00001675 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Devang Pateld22ed622010-03-22 23:11:36 +00001676 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1677 getTempLabel("text_begin"));
1678 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1679 getTempLabel("text_end"));
1680 // DW_AT_stmt_list is a offset of line number information for this
1681 // compile unit in debug_line section. It is always zero when only one
1682 // compile unit is emitted in one object file.
1683 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendling2b128d72009-05-20 23:19:06 +00001684
Devang Patel2d9caf92009-11-25 17:36:49 +00001685 if (!Dir.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001686 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendling2b128d72009-05-20 23:19:06 +00001687 if (DIUnit.isOptimized())
Devang Patel930143b2009-11-21 02:48:08 +00001688 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendling2b128d72009-05-20 23:19:06 +00001689
Devang Patel2d9caf92009-11-25 17:36:49 +00001690 StringRef Flags = DIUnit.getFlags();
1691 if (!Flags.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001692 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendling2b128d72009-05-20 23:19:06 +00001693
1694 unsigned RVer = DIUnit.getRunTimeVersion();
1695 if (RVer)
Devang Patel930143b2009-11-21 02:48:08 +00001696 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +00001697 dwarf::DW_FORM_data1, RVer);
1698
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001699 assert(!ModuleCU &&
1700 "ModuleCU assigned since the top of constructCompileUnit");
1701 ModuleCU = new CompileUnit(ID, Die);
Bill Wendling2b128d72009-05-20 23:19:06 +00001702}
1703
Devang Patel930143b2009-11-21 02:48:08 +00001704void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001705 DIGlobalVariable DI_GV(N);
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001706
Devang Patelf5d53602009-09-04 23:59:07 +00001707 // If debug information is malformed then ignore it.
1708 if (DI_GV.Verify() == false)
1709 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001710
1711 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001712 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel0751a282009-06-26 01:49:18 +00001713 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001714
Devang Patel9ccfb642009-12-09 18:24:21 +00001715 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel2eec32d2009-12-10 23:25:41 +00001716 if (!VariableDie)
1717 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001718
Bill Wendling2b128d72009-05-20 23:19:06 +00001719 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001720 ModuleCU->insertDIE(N, VariableDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001721
1722 // Add to context owner.
Devang Patel89880c82010-01-15 01:12:22 +00001723 DIDescriptor GVContext = DI_GV.getContext();
1724 // Do not create specification DIE if context is either compile unit
1725 // or a subprogram.
Chris Lattner71696ef2010-03-31 06:06:37 +00001726 if (DI_GV.isDefinition() && !GVContext.isCompileUnit() &&
1727 !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel1f4690c2009-12-15 19:16:48 +00001728 // Create specification DIE.
1729 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1730 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1731 dwarf::DW_FORM_ref4, VariableDie);
1732 DIEBlock *Block = new DIEBlock();
1733 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner8dcf41e2010-03-08 22:31:46 +00001734 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner9e4cafe2010-03-12 21:09:07 +00001735 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001736 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patelce25dd72010-02-09 01:58:33 +00001737 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel1f4690c2009-12-15 19:16:48 +00001738 ModuleCU->addDie(VariableSpecDIE);
1739 } else {
1740 DIEBlock *Block = new DIEBlock();
1741 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner8dcf41e2010-03-08 22:31:46 +00001742 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner9e4cafe2010-03-12 21:09:07 +00001743 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001744 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1745 }
Devang Patel89880c82010-01-15 01:12:22 +00001746 addToContextOwner(VariableDie, GVContext);
Devang Patel2b75ed22009-12-10 19:14:49 +00001747
Bill Wendling2b128d72009-05-20 23:19:06 +00001748 // Expose as global. FIXME - need to check external flag.
Devang Patel930143b2009-11-21 02:48:08 +00001749 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001750
1751 DIType GTy = DI_GV.getType();
Devang Patel2d9caf92009-11-25 17:36:49 +00001752 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel04d2f2d2009-11-24 01:14:22 +00001753 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
Chris Lattner8d2fe282010-03-31 05:36:29 +00001754 assert(Entry && "Missing global type!");
Devang Patel04d2f2d2009-11-24 01:14:22 +00001755 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1756 }
Devang Patel0751a282009-06-26 01:49:18 +00001757 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001758}
1759
Devang Patel930143b2009-11-21 02:48:08 +00001760void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001761 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +00001762
1763 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001764 if (ModuleCU->getDIE(N))
Devang Patel0751a282009-06-26 01:49:18 +00001765 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001766
1767 if (!SP.isDefinition())
1768 // This is a method declaration which will be handled while constructing
1769 // class type.
Devang Patel0751a282009-06-26 01:49:18 +00001770 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001771
Devang Patel9ccfb642009-12-09 18:24:21 +00001772 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendling2b128d72009-05-20 23:19:06 +00001773
1774 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001775 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001776
1777 // Add to context owner.
Devang Patel1f4690c2009-12-15 19:16:48 +00001778 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +00001779
Bill Wendling2b128d72009-05-20 23:19:06 +00001780 // Expose as global.
Devang Patel930143b2009-11-21 02:48:08 +00001781 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001782
Devang Patel0751a282009-06-26 01:49:18 +00001783 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001784}
1785
Devang Patel930143b2009-11-21 02:48:08 +00001786/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbarbe22ec42009-09-19 20:40:14 +00001787/// content. Create global DIEs and emit initial debug info sections.
1788/// This is inovked by the target AsmPrinter.
Devang Patel930143b2009-11-21 02:48:08 +00001789void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel0c044ec2009-06-25 22:36:02 +00001790 this->M = M;
1791
Devang Pateld41f1192009-11-11 19:55:08 +00001792 if (!MAI->doesSupportDebugInformation())
1793 return;
1794
Chris Lattner47879752010-03-29 20:38:20 +00001795 TimeRegion Timer(DebugTimer);
1796
Devang Patel63524442009-07-30 18:56:46 +00001797 DebugInfoFinder DbgFinder;
1798 DbgFinder.processModule(*M);
Devang Patel0751a282009-06-26 01:49:18 +00001799
Bill Wendling2b128d72009-05-20 23:19:06 +00001800 // Create all the compile unit DIEs.
Devang Patel63524442009-07-30 18:56:46 +00001801 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1802 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001803 constructCompileUnit(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001804
Devang Patel40d78412009-06-29 20:45:18 +00001805 if (!ModuleCU)
Devang Patel8119fe872010-03-08 22:02:50 +00001806 return;
Devang Patel86353452009-06-29 20:38:13 +00001807
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001808 // Create DIEs for each subprogram.
Devang Patel63524442009-07-30 18:56:46 +00001809 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1810 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001811 constructSubprogramDIE(*I);
Devang Patel0751a282009-06-26 01:49:18 +00001812
Devang Patel2b75ed22009-12-10 19:14:49 +00001813 // Create DIEs for each global variable.
1814 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1815 E = DbgFinder.global_variable_end(); I != E; ++I)
1816 constructGlobalVariableDIE(*I);
1817
Bill Wendling2b128d72009-05-20 23:19:06 +00001818 MMI = mmi;
1819 shouldEmit = true;
1820 MMI->setDebugInfoAvailability(true);
1821
1822 // Prime section data.
Chris Lattner5e693ed2009-07-28 03:13:23 +00001823 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +00001824
1825 // Print out .file directives to specify files for .loc directives. These are
1826 // printed out early so that they precede any .loc directives.
Chris Lattnere9a75a62009-08-22 21:43:10 +00001827 if (MAI->hasDotLocAndDotFile()) {
Bill Wendling2b128d72009-05-20 23:19:06 +00001828 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1829 // Remember source id starts at 1.
1830 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00001831 // FIXME: don't use sys::path for this! This should not depend on the
1832 // host.
Bill Wendling2b128d72009-05-20 23:19:06 +00001833 sys::Path FullPath(getSourceDirectoryName(Id.first));
1834 bool AppendOk =
1835 FullPath.appendComponent(getSourceFileName(Id.second));
1836 assert(AppendOk && "Could not append filename to directory!");
1837 AppendOk = false;
Chris Lattner601ef332010-01-25 18:58:59 +00001838 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendling2b128d72009-05-20 23:19:06 +00001839 }
1840 }
1841
1842 // Emit initial sections
Devang Patel930143b2009-11-21 02:48:08 +00001843 emitInitial();
Bill Wendling2b128d72009-05-20 23:19:06 +00001844}
1845
Devang Patel930143b2009-11-21 02:48:08 +00001846/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendling2b128d72009-05-20 23:19:06 +00001847///
Devang Patel930143b2009-11-21 02:48:08 +00001848void DwarfDebug::endModule() {
Devang Pateld859d862009-10-06 00:03:14 +00001849 if (!ModuleCU)
Bill Wendling2b128d72009-05-20 23:19:06 +00001850 return;
1851
Chris Lattner47879752010-03-29 20:38:20 +00001852 TimeRegion Timer(DebugTimer);
Bill Wendling2b128d72009-05-20 23:19:06 +00001853
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001854 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1855 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1856 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1857 DIE *ISP = *AI;
Devang Patel930143b2009-11-21 02:48:08 +00001858 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001859 }
1860
Devang Patel236526d2009-12-03 01:25:38 +00001861 // Insert top level DIEs.
1862 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1863 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1864 ModuleCU->getCUDie()->addChild(*TI);
1865
Devang Patel018b29b2010-01-19 06:19:05 +00001866 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Pateleb57c592009-12-03 19:11:07 +00001867 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1868 DIE *SPDie = CI->first;
1869 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1870 if (!N) continue;
1871 DIE *NDie = ModuleCU->getDIE(N);
1872 if (!NDie) continue;
1873 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel2108ee02010-01-15 00:26:31 +00001874 // FIXME - This is not the correct approach.
Chris Lattner71696ef2010-03-31 06:06:37 +00001875 //addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie
Devang Pateleb57c592009-12-03 19:11:07 +00001876 }
1877
Bill Wendling2b128d72009-05-20 23:19:06 +00001878 // Standard sections final addresses.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001879 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattner722714d2010-03-08 22:44:40 +00001880 Asm->OutStreamer.EmitLabel(getTempLabel("text_end"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001881 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattner722714d2010-03-08 22:44:40 +00001882 Asm->OutStreamer.EmitLabel(getTempLabel("data_end"));
Bill Wendling2b128d72009-05-20 23:19:06 +00001883
1884 // End text sections.
1885 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001886 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattner722714d2010-03-08 22:44:40 +00001887 Asm->OutStreamer.EmitLabel(getDWLabel("section_end", i));
Bill Wendling2b128d72009-05-20 23:19:06 +00001888 }
1889
1890 // Emit common frame information.
Devang Patel930143b2009-11-21 02:48:08 +00001891 emitCommonDebugFrame();
Bill Wendling2b128d72009-05-20 23:19:06 +00001892
1893 // Emit function debug frame information
1894 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1895 E = DebugFrames.end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001896 emitFunctionDebugFrame(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001897
1898 // Compute DIE offsets and sizes.
Devang Patel930143b2009-11-21 02:48:08 +00001899 computeSizeAndOffsets();
Bill Wendling2b128d72009-05-20 23:19:06 +00001900
1901 // Emit all the DIEs into a debug info section
Devang Patel930143b2009-11-21 02:48:08 +00001902 emitDebugInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001903
1904 // Corresponding abbreviations into a abbrev section.
Devang Patel930143b2009-11-21 02:48:08 +00001905 emitAbbreviations();
Bill Wendling2b128d72009-05-20 23:19:06 +00001906
1907 // Emit source line correspondence into a debug line section.
Devang Patel930143b2009-11-21 02:48:08 +00001908 emitDebugLines();
Bill Wendling2b128d72009-05-20 23:19:06 +00001909
1910 // Emit info into a debug pubnames section.
Devang Patel930143b2009-11-21 02:48:08 +00001911 emitDebugPubNames();
Bill Wendling2b128d72009-05-20 23:19:06 +00001912
Devang Patel04d2f2d2009-11-24 01:14:22 +00001913 // Emit info into a debug pubtypes section.
1914 emitDebugPubTypes();
1915
Bill Wendling2b128d72009-05-20 23:19:06 +00001916 // Emit info into a debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00001917 emitDebugLoc();
Bill Wendling2b128d72009-05-20 23:19:06 +00001918
1919 // Emit info into a debug aranges section.
1920 EmitDebugARanges();
1921
1922 // Emit info into a debug ranges section.
Devang Patel930143b2009-11-21 02:48:08 +00001923 emitDebugRanges();
Bill Wendling2b128d72009-05-20 23:19:06 +00001924
1925 // Emit info into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00001926 emitDebugMacInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001927
1928 // Emit inline info.
Devang Patel930143b2009-11-21 02:48:08 +00001929 emitDebugInlineInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001930
Chris Lattnerb7aa9522010-03-13 02:17:42 +00001931 // Emit info into a debug str section.
1932 emitDebugStr();
1933
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001934 delete ModuleCU;
1935 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendling2b128d72009-05-20 23:19:06 +00001936}
1937
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001938/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach00e9c612009-11-22 19:20:36 +00001939DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1940 unsigned FrameIdx,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001941 DILocation &ScopeLoc) {
1942
1943 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1944 if (AbsDbgVariable)
1945 return AbsDbgVariable;
1946
1947 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1948 if (!Scope)
1949 return NULL;
1950
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001951 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
1952 NULL /* No more-abstract variable*/);
Devang Patel930143b2009-11-21 02:48:08 +00001953 Scope->addVariable(AbsDbgVariable);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001954 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1955 return AbsDbgVariable;
1956}
1957
Devang Patela3e9c9c2010-03-15 18:33:46 +00001958/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1959/// FIXME : Refactor findAbstractVariable.
1960DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1961 const MachineInstr *MI,
1962 DILocation &ScopeLoc) {
1963
1964 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1965 if (AbsDbgVariable)
1966 return AbsDbgVariable;
1967
1968 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1969 if (!Scope)
1970 return NULL;
1971
Devang Patel23b2ae62010-03-29 22:59:58 +00001972 AbsDbgVariable = new DbgVariable(Var, MI,
Devang Patela3e9c9c2010-03-15 18:33:46 +00001973 NULL /* No more-abstract variable*/);
1974 Scope->addVariable(AbsDbgVariable);
1975 AbstractVariables[Var.getNode()] = AbsDbgVariable;
Devang Patel23b2ae62010-03-29 22:59:58 +00001976 DbgValueStartMap[MI] = AbsDbgVariable;
Devang Patela3e9c9c2010-03-15 18:33:46 +00001977 return AbsDbgVariable;
1978}
1979
Devang Patel930143b2009-11-21 02:48:08 +00001980/// collectVariableInfo - Populate DbgScope entries with variables' info.
1981void DwarfDebug::collectVariableInfo() {
Devang Pateldf45c7f2009-10-09 22:42:28 +00001982 if (!MMI) return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001983
Devang Patel475d32a2009-10-06 01:26:37 +00001984 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1985 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1986 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelac277eb2010-01-22 22:52:10 +00001987 MDNode *Var = VI->first;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001988 if (!Var) continue;
Devang Patel20b2a772009-10-08 18:48:03 +00001989 DIVariable DV (Var);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001990 std::pair< unsigned, MDNode *> VP = VI->second;
1991 DILocation ScopeLoc(VP.second);
1992
1993 DbgScope *Scope =
1994 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1995 if (!Scope)
Jim Grosbach042483e2009-11-21 23:12:12 +00001996 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelcdb7d442009-11-10 23:20:04 +00001997 // If variable scope is not found then skip this variable.
1998 if (!Scope)
1999 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002000
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002001 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, ScopeLoc);
2002 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patel930143b2009-11-21 02:48:08 +00002003 Scope->addVariable(RegVar);
Devang Patel475d32a2009-10-06 01:26:37 +00002004 }
Devang Patela3e9c9c2010-03-15 18:33:46 +00002005
2006 // Collect variable information from DBG_VALUE machine instructions;
2007 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2008 I != E; ++I) {
2009 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2010 II != IE; ++II) {
2011 const MachineInstr *MInsn = II;
Chris Lattner848c7d22010-03-31 05:39:57 +00002012 if (!MInsn->isDebugValue())
Devang Patela3e9c9c2010-03-15 18:33:46 +00002013 continue;
Devang Patel23b2ae62010-03-29 22:59:58 +00002014
Devang Patela3e9c9c2010-03-15 18:33:46 +00002015 // FIXME : Lift this restriction.
2016 if (MInsn->getNumOperands() != 3)
2017 continue;
Chris Lattner009de332010-03-31 03:34:40 +00002018 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands()
2019 - 1).getMetadata()));
Devang Patela3e9c9c2010-03-15 18:33:46 +00002020 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2021 // FIXME Handle inlined subroutine arguments.
2022 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2023 CurrentFnDbgScope->addVariable(ArgVar);
Devang Patel23b2ae62010-03-29 22:59:58 +00002024 DbgValueStartMap[MInsn] = ArgVar;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002025 continue;
2026 }
2027
2028 DebugLoc DL = MInsn->getDebugLoc();
2029 if (DL.isUnknown()) continue;
2030 DILocation ScopeLoc = MF->getDILocation(DL);
2031 DbgScope *Scope =
2032 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
2033 if (!Scope)
2034 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
2035 // If variable scope is not found then skip this variable.
2036 if (!Scope)
2037 continue;
2038
Devang Patel23b2ae62010-03-29 22:59:58 +00002039 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn, ScopeLoc);
Devang Patela3e9c9c2010-03-15 18:33:46 +00002040 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
Devang Patel23b2ae62010-03-29 22:59:58 +00002041 DbgValueStartMap[MInsn] = RegVar;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002042 Scope->addVariable(RegVar);
2043 }
2044 }
Devang Patel475d32a2009-10-06 01:26:37 +00002045}
2046
Devang Patelbd477be2010-03-29 17:20:31 +00002047/// beginScope - Process beginning of a scope.
2048void DwarfDebug::beginScope(const MachineInstr *MI) {
Devang Patelbd477be2010-03-29 17:20:31 +00002049 // Check location.
2050 DebugLoc DL = MI->getDebugLoc();
2051 if (DL.isUnknown())
2052 return;
2053 DILocation DILoc = MF->getDILocation(DL);
2054 if (!DILoc.getScope().Verify())
2055 return;
2056
2057 // Check and update last known location info.
2058 if(DILoc.getNode() == PrevDILoc)
2059 return;
2060 PrevDILoc = DILoc.getNode();
2061
Devang Patel23b2ae62010-03-29 22:59:58 +00002062 // DBG_VALUE instruction establishes new value.
Chris Lattner848c7d22010-03-31 05:39:57 +00002063 if (MI->isDebugValue()) {
Devang Patel23b2ae62010-03-29 22:59:58 +00002064 DenseMap<const MachineInstr *, DbgVariable *>::iterator DI
2065 = DbgValueStartMap.find(MI);
2066 if (DI != DbgValueStartMap.end()) {
2067 MCSymbol *Label = recordSourceLine(DILoc.getLineNumber(),
2068 DILoc.getColumnNumber(),
2069 DILoc.getScope().getNode());
2070 DI->second->setDbgValueLabel(Label);
2071 }
Devang Patel67d94ab2010-03-30 18:07:00 +00002072 return;
Devang Patel23b2ae62010-03-29 22:59:58 +00002073 }
2074
Devang Patelbd477be2010-03-29 17:20:31 +00002075 // Emit a label to indicate location change. This is used for line
2076 // table even if this instruction does start a new scope.
2077 MCSymbol *Label = recordSourceLine(DILoc.getLineNumber(),
2078 DILoc.getColumnNumber(),
2079 DILoc.getScope().getNode());
2080
2081 // update DbgScope if this instruction starts a new scope.
Devang Patel8db360d2009-10-06 01:50:42 +00002082 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2083 if (I == DbgScopeBeginMap.end())
2084 return;
Devang Patelbd477be2010-03-29 17:20:31 +00002085
Dan Gohman3650f4e2009-11-23 21:30:55 +00002086 ScopeVector &SD = I->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002087 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00002088 SDI != SDE; ++SDI)
Chris Lattnerba35a672010-03-09 04:54:43 +00002089 (*SDI)->setStartLabel(Label);
Devang Patel8db360d2009-10-06 01:50:42 +00002090}
2091
Devang Patel930143b2009-11-21 02:48:08 +00002092/// endScope - Process end of a scope.
2093void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patelbd477be2010-03-29 17:20:31 +00002094 // Ignore DBG_VALUE instruction.
Chris Lattner848c7d22010-03-31 05:39:57 +00002095 if (MI->isDebugValue())
Devang Patelbd477be2010-03-29 17:20:31 +00002096 return;
2097
2098 // Check location.
2099 DebugLoc DL = MI->getDebugLoc();
2100 if (DL.isUnknown())
2101 return;
2102 DILocation DILoc = MF->getDILocation(DL);
2103 if (!DILoc.getScope().Verify())
2104 return;
2105
2106 // Emit a label and update DbgScope if this instruction ends a scope.
Devang Patel8db360d2009-10-06 01:50:42 +00002107 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel7d838bb2009-10-06 03:15:38 +00002108 if (I == DbgScopeEndMap.end())
Devang Patel8db360d2009-10-06 01:50:42 +00002109 return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002110
Chris Lattner6e52e9d2010-03-14 08:36:50 +00002111 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnere13c3722010-03-09 01:58:53 +00002112 Asm->OutStreamer.EmitLabel(Label);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002113
Chris Lattnere13c3722010-03-09 01:58:53 +00002114 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel8db360d2009-10-06 01:50:42 +00002115 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00002116 SDI != SDE; ++SDI)
Chris Lattnere13c3722010-03-09 01:58:53 +00002117 (*SDI)->setEndLabel(Label);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002118 return;
2119}
2120
2121/// createDbgScope - Create DbgScope for the scope.
2122void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
2123
2124 if (!InlinedAt) {
2125 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2126 if (WScope)
2127 return;
2128 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2129 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach042483e2009-11-21 23:12:12 +00002130 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel4450f262009-11-11 00:18:40 +00002131 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002132 return;
2133 }
2134
2135 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2136 if (WScope)
2137 return;
2138
2139 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2140 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2141 DILocation DL(InlinedAt);
2142 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel8db360d2009-10-06 01:50:42 +00002143}
2144
Devang Patel930143b2009-11-21 02:48:08 +00002145/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner848c7d22010-03-31 05:39:57 +00002146/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattner76555b52010-01-26 23:18:02 +00002147bool DwarfDebug::extractScopeInformation() {
Devang Patel75cc16c2009-10-01 20:31:14 +00002148 // If scope information was extracted using .dbg intrinsics then there is not
2149 // any need to extract these information by scanning each instruction.
2150 if (!DbgScopeMap.empty())
2151 return false;
2152
Devang Patel530a0752010-01-04 20:44:00 +00002153 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2154 unsigned MIIndex = 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002155 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel75cc16c2009-10-01 20:31:14 +00002156 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2157 I != E; ++I) {
2158 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2159 II != IE; ++II) {
2160 const MachineInstr *MInsn = II;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002161 // FIXME : Remove DBG_VALUE check.
Chris Lattner848c7d22010-03-31 05:39:57 +00002162 if (MInsn->isDebugValue()) continue;
Devang Patel530a0752010-01-04 20:44:00 +00002163 MIIndexMap[MInsn] = MIIndex++;
Devang Patel75cc16c2009-10-01 20:31:14 +00002164 DebugLoc DL = MInsn->getDebugLoc();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002165 if (DL.isUnknown()) continue;
Devang Patelc0e17df2010-01-16 06:09:35 +00002166 DILocation DLT = MF->getDILocation(DL);
2167 DIScope DLTScope = DLT.getScope();
Devang Patel57c644f2010-03-30 22:09:52 +00002168 if (!DLTScope.getNode()) continue;
Devang Patel75cc16c2009-10-01 20:31:14 +00002169 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002170 // other scopes, create one DbgScope now. This will be translated
Devang Patel75cc16c2009-10-01 20:31:14 +00002171 // into a scope DIE at the end.
Devang Patelc0e17df2010-01-16 06:09:35 +00002172 if (DLTScope.isCompileUnit()) continue;
2173 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002174 }
2175 }
2176
2177
2178 // Build scope hierarchy using working set of scopes.
2179 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2180 I != E; ++I) {
2181 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2182 II != IE; ++II) {
2183 const MachineInstr *MInsn = II;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002184 // FIXME : Remove DBG_VALUE check.
Chris Lattner848c7d22010-03-31 05:39:57 +00002185 if (MInsn->isDebugValue()) continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002186 DebugLoc DL = MInsn->getDebugLoc();
2187 if (DL.isUnknown()) continue;
Devang Patelc0e17df2010-01-16 06:09:35 +00002188 DILocation DLT = MF->getDILocation(DL);
2189 DIScope DLTScope = DLT.getScope();
Devang Patel57c644f2010-03-30 22:09:52 +00002190 if (!DLTScope.getNode()) continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002191 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002192 // other scopes, create one DbgScope now. This will be translated
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002193 // into a scope DIE at the end.
Devang Patelc0e17df2010-01-16 06:09:35 +00002194 if (DLTScope.isCompileUnit()) continue;
2195 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2196 DLT.getOrigLocation().getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002197 Scope->setLastInsn(MInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +00002198 }
2199 }
2200
Devang Patel530a0752010-01-04 20:44:00 +00002201 if (!CurrentFnDbgScope)
2202 return false;
2203
2204 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel75cc16c2009-10-01 20:31:14 +00002205
2206 // Each scope has first instruction and last instruction to mark beginning
2207 // and end of a scope respectively. Create an inverse map that list scopes
2208 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel7771b7c2010-01-20 02:05:23 +00002209 // multiple scopes. Ignore scopes that are not reachable.
2210 SmallVector<DbgScope *, 4> WorkList;
2211 WorkList.push_back(CurrentFnDbgScope);
2212 while (!WorkList.empty()) {
Chris Lattner848c7d22010-03-31 05:39:57 +00002213 DbgScope *S = WorkList.pop_back_val();
Devang Patel7771b7c2010-01-20 02:05:23 +00002214
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002215 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patel7771b7c2010-01-20 02:05:23 +00002216 if (!Children.empty())
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002217 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel7771b7c2010-01-20 02:05:23 +00002218 SE = Children.end(); SI != SE; ++SI)
2219 WorkList.push_back(*SI);
2220
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002221 if (S->isAbstractScope())
2222 continue;
Devang Patel75cc16c2009-10-01 20:31:14 +00002223 const MachineInstr *MI = S->getFirstInsn();
Chris Lattner8d2fe282010-03-31 05:36:29 +00002224 assert(MI && "DbgScope does not have first instruction!");
Devang Patel75cc16c2009-10-01 20:31:14 +00002225
2226 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2227 if (IDI != DbgScopeBeginMap.end())
2228 IDI->second.push_back(S);
2229 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002230 DbgScopeBeginMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002231
2232 MI = S->getLastInsn();
Chris Lattner8d2fe282010-03-31 05:36:29 +00002233 assert(MI && "DbgScope does not have last instruction!");
Devang Patel75cc16c2009-10-01 20:31:14 +00002234 IDI = DbgScopeEndMap.find(MI);
2235 if (IDI != DbgScopeEndMap.end())
2236 IDI->second.push_back(S);
2237 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002238 DbgScopeEndMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002239 }
2240
2241 return !DbgScopeMap.empty();
2242}
2243
Devang Patel930143b2009-11-21 02:48:08 +00002244/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendling2b128d72009-05-20 23:19:06 +00002245/// emitted immediately after the function entry point.
Chris Lattner76555b52010-01-26 23:18:02 +00002246void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendling2b128d72009-05-20 23:19:06 +00002247 this->MF = MF;
2248
2249 if (!ShouldEmitDwarfDebug()) return;
Chris Lattner76555b52010-01-26 23:18:02 +00002250 if (!extractScopeInformation())
Devang Patel4598eb62009-10-06 18:37:31 +00002251 return;
Chris Lattner47879752010-03-29 20:38:20 +00002252
2253 TimeRegion Timer(DebugTimer);
Devang Patel930143b2009-11-21 02:48:08 +00002254
2255 collectVariableInfo();
Devang Patel4598eb62009-10-06 18:37:31 +00002256
Bill Wendling2b128d72009-05-20 23:19:06 +00002257 // Assumes in correct section after the entry point.
Chris Lattner722714d2010-03-08 22:44:40 +00002258 Asm->OutStreamer.EmitLabel(getDWLabel("func_begin", ++SubprogramCount));
Bill Wendling2b128d72009-05-20 23:19:06 +00002259
2260 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2261 // function.
Devang Pateldf45c7f2009-10-09 22:42:28 +00002262 DebugLoc FDL = MF->getDefaultDebugLoc();
2263 if (!FDL.isUnknown()) {
Devang Patelc0e17df2010-01-16 06:09:35 +00002264 DILocation DLT = MF->getDILocation(FDL);
Devang Patelc0e17df2010-01-16 06:09:35 +00002265 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Chris Lattnere13c3722010-03-09 01:58:53 +00002266 unsigned Line, Col;
2267 if (SP.Verify()) {
2268 Line = SP.getLineNumber();
2269 Col = 0;
2270 } else {
2271 Line = DLT.getLineNumber();
2272 Col = DLT.getColumnNumber();
2273 }
2274
Chris Lattnerba35a672010-03-09 04:54:43 +00002275 recordSourceLine(Line, Col, DLT.getScope().getNode());
Bill Wendling2b128d72009-05-20 23:19:06 +00002276 }
Bill Wendling2b128d72009-05-20 23:19:06 +00002277}
2278
Devang Patel930143b2009-11-21 02:48:08 +00002279/// endFunction - Gather and emit post-function debug information.
Bill Wendling2b128d72009-05-20 23:19:06 +00002280///
Chris Lattner76555b52010-01-26 23:18:02 +00002281void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendling2b128d72009-05-20 23:19:06 +00002282 if (!ShouldEmitDwarfDebug()) return;
Chris Lattner47879752010-03-29 20:38:20 +00002283 if (DbgScopeMap.empty()) return;
2284
2285 TimeRegion Timer(DebugTimer);
Devang Patel2904aa92009-11-12 19:02:56 +00002286
Devang Patel530a0752010-01-04 20:44:00 +00002287 if (CurrentFnDbgScope) {
2288 // Define end label for subprogram.
Chris Lattner722714d2010-03-08 22:44:40 +00002289 Asm->OutStreamer.EmitLabel(getDWLabel("func_end", SubprogramCount));
Devang Patel530a0752010-01-04 20:44:00 +00002290
2291 // Get function line info.
2292 if (!Lines.empty()) {
2293 // Get section line info.
2294 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2295 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2296 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2297 // Append the function info to section info.
2298 SectionLineInfos.insert(SectionLineInfos.end(),
2299 Lines.begin(), Lines.end());
2300 }
2301
2302 // Construct abstract scopes.
2303 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2304 AE = AbstractScopesList.end(); AI != AE; ++AI)
2305 constructScopeDIE(*AI);
2306
2307 constructScopeDIE(CurrentFnDbgScope);
2308
2309 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2310 MMI->getFrameMoves()));
Bill Wendling2b128d72009-05-20 23:19:06 +00002311 }
2312
Bill Wendling2b128d72009-05-20 23:19:06 +00002313 // Clear debug info
Devang Patelfe189e62010-01-19 01:26:02 +00002314 CurrentFnDbgScope = NULL;
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002315 DeleteContainerSeconds(DbgScopeMap);
Devang Patelfe189e62010-01-19 01:26:02 +00002316 DbgScopeBeginMap.clear();
2317 DbgScopeEndMap.clear();
Devang Patel23b2ae62010-03-29 22:59:58 +00002318 DbgValueStartMap.clear();
Devang Patelfe189e62010-01-19 01:26:02 +00002319 ConcreteScopes.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002320 DeleteContainerSeconds(AbstractScopes);
Devang Patelfe189e62010-01-19 01:26:02 +00002321 AbstractScopesList.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002322 AbstractVariables.clear();
Bill Wendling2b128d72009-05-20 23:19:06 +00002323 Lines.clear();
Bill Wendling2b128d72009-05-20 23:19:06 +00002324}
2325
Chris Lattnerba35a672010-03-09 04:54:43 +00002326/// recordSourceLine - Register a source line with debug info. Returns the
2327/// unique label that was emitted and which provides correspondence to
2328/// the source line list.
2329MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patel80ae3492009-08-28 23:24:31 +00002330 if (!MMI)
2331 return 0;
2332
Chris Lattner47879752010-03-29 20:38:20 +00002333 TimeRegion Timer(DebugTimer);
Bill Wendling2b128d72009-05-20 23:19:06 +00002334
Devang Patel2d9caf92009-11-25 17:36:49 +00002335 StringRef Dir;
2336 StringRef Fn;
Devang Patel2089d162009-10-05 18:03:19 +00002337
2338 DIDescriptor Scope(S);
2339 if (Scope.isCompileUnit()) {
2340 DICompileUnit CU(S);
2341 Dir = CU.getDirectory();
2342 Fn = CU.getFilename();
2343 } else if (Scope.isSubprogram()) {
2344 DISubprogram SP(S);
2345 Dir = SP.getDirectory();
2346 Fn = SP.getFilename();
2347 } else if (Scope.isLexicalBlock()) {
2348 DILexicalBlock DB(S);
2349 Dir = DB.getDirectory();
2350 Fn = DB.getFilename();
2351 } else
Chris Lattner2c3f4782010-03-13 07:26:18 +00002352 assert(0 && "Unexpected scope info");
Devang Patel2089d162009-10-05 18:03:19 +00002353
2354 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner6e52e9d2010-03-14 08:36:50 +00002355 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnerb4666f42010-03-14 08:15:55 +00002356 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendling2b128d72009-05-20 23:19:06 +00002357
Chris Lattnerba35a672010-03-09 04:54:43 +00002358 Asm->OutStreamer.EmitLabel(Label);
2359 return Label;
Bill Wendling2b128d72009-05-20 23:19:06 +00002360}
2361
2362/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2363/// timed. Look up the source id with the given directory and source file
2364/// names. If none currently exists, create a new id and insert it in the
2365/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2366/// well.
2367unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2368 const std::string &FileName) {
Chris Lattner47879752010-03-29 20:38:20 +00002369 TimeRegion Timer(DebugTimer);
2370 return GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendling2b128d72009-05-20 23:19:06 +00002371}
2372
Bill Wendling806535f2009-05-20 23:22:40 +00002373//===----------------------------------------------------------------------===//
2374// Emit Methods
2375//===----------------------------------------------------------------------===//
2376
Devang Patel930143b2009-11-21 02:48:08 +00002377/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling480ff322009-05-20 23:21:38 +00002378///
Jim Grosbach00e9c612009-11-22 19:20:36 +00002379unsigned
2380DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling480ff322009-05-20 23:21:38 +00002381 // Get the children.
2382 const std::vector<DIE *> &Children = Die->getChildren();
2383
2384 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00002385 if (!Last && !Children.empty())
2386 DIEValues.push_back(Die->addSiblingOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002387
2388 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00002389 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00002390
2391 // Get the abbreviation for this DIE.
2392 unsigned AbbrevNumber = Die->getAbbrevNumber();
2393 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2394
2395 // Set DIE offset
2396 Die->setOffset(Offset);
2397
2398 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00002399 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002400
2401 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2402 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2403
2404 // Size the DIE attribute values.
2405 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2406 // Size attribute value.
2407 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2408
2409 // Size the DIE children if any.
2410 if (!Children.empty()) {
2411 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2412 "Children flag not set");
2413
2414 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002415 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling480ff322009-05-20 23:21:38 +00002416
2417 // End of children marker.
2418 Offset += sizeof(int8_t);
2419 }
2420
2421 Die->setSize(Offset - Die->getOffset());
2422 return Offset;
2423}
2424
Devang Patel930143b2009-11-21 02:48:08 +00002425/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling480ff322009-05-20 23:21:38 +00002426///
Devang Patel930143b2009-11-21 02:48:08 +00002427void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling480ff322009-05-20 23:21:38 +00002428 // Compute size of compile unit header.
2429 static unsigned Offset =
2430 sizeof(int32_t) + // Length of Compilation Unit Info
2431 sizeof(int16_t) + // DWARF version number
2432 sizeof(int32_t) + // Offset Into Abbrev. Section
2433 sizeof(int8_t); // Pointer Size (in bytes)
2434
Devang Patel930143b2009-11-21 02:48:08 +00002435 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel40d78412009-06-29 20:45:18 +00002436 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling480ff322009-05-20 23:21:38 +00002437}
2438
Devang Patel930143b2009-11-21 02:48:08 +00002439/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling480ff322009-05-20 23:21:38 +00002440/// tools to recognize the object file contains Dwarf information.
Devang Patel930143b2009-11-21 02:48:08 +00002441void DwarfDebug::emitInitial() {
Bill Wendling480ff322009-05-20 23:21:38 +00002442 // Check to see if we already emitted intial headers.
2443 if (didInitial) return;
2444 didInitial = true;
2445
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002446 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002447
Bill Wendling480ff322009-05-20 23:21:38 +00002448 // Dwarf sections base addresses.
Chris Lattnere9a75a62009-08-22 21:43:10 +00002449 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002450 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002451 Asm->OutStreamer.EmitLabel(getTempLabel("section_debug_frame"));
Bill Wendling480ff322009-05-20 23:21:38 +00002452 }
2453
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002454 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002455 Asm->OutStreamer.EmitLabel(getTempLabel("section_info"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002456 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002457 Asm->OutStreamer.EmitLabel(getTempLabel("section_abbrev"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002458 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002459 Asm->OutStreamer.EmitLabel(getTempLabel("section_aranges"));
Bill Wendling480ff322009-05-20 23:21:38 +00002460
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002461 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2462 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattner722714d2010-03-08 22:44:40 +00002463 Asm->OutStreamer.EmitLabel(getTempLabel("section_macinfo"));
Bill Wendling480ff322009-05-20 23:21:38 +00002464 }
2465
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002466 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002467 Asm->OutStreamer.EmitLabel(getTempLabel("section_line"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002468 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002469 Asm->OutStreamer.EmitLabel(getTempLabel("section_loc"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002470 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002471 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubnames"));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002472 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002473 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubtypes"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002474 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002475 Asm->OutStreamer.EmitLabel(getTempLabel("section_str"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002476 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002477 Asm->OutStreamer.EmitLabel(getTempLabel("section_ranges"));
Bill Wendling480ff322009-05-20 23:21:38 +00002478
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002479 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002480 Asm->OutStreamer.EmitLabel(getTempLabel("text_begin"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002481 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002482 Asm->OutStreamer.EmitLabel(getTempLabel("data_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002483}
2484
Devang Patel930143b2009-11-21 02:48:08 +00002485/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling480ff322009-05-20 23:21:38 +00002486///
Devang Patel930143b2009-11-21 02:48:08 +00002487void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling480ff322009-05-20 23:21:38 +00002488 // Get the abbreviation for this DIE.
2489 unsigned AbbrevNumber = Die->getAbbrevNumber();
2490 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2491
Bill Wendling480ff322009-05-20 23:21:38 +00002492 // Emit the code (index) for the abbreviation.
Chris Lattnerfa823552010-01-22 23:18:42 +00002493 if (Asm->VerboseAsm)
2494 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2495 Twine::utohexstr(Die->getOffset()) + ":0x" +
2496 Twine::utohexstr(Die->getSize()) + " " +
2497 dwarf::TagString(Abbrev->getTag()));
2498 EmitULEB128(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002499
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00002500 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling480ff322009-05-20 23:21:38 +00002501 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2502
2503 // Emit the DIE attribute values.
2504 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2505 unsigned Attr = AbbrevData[i].getAttribute();
2506 unsigned Form = AbbrevData[i].getForm();
2507 assert(Form && "Too many attributes for DIE (check abbreviation)");
2508
Chris Lattner5adf9872010-01-24 18:54:17 +00002509 if (Asm->VerboseAsm)
2510 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2511
Bill Wendling480ff322009-05-20 23:21:38 +00002512 switch (Attr) {
2513 case dwarf::DW_AT_sibling:
Devang Patel930143b2009-11-21 02:48:08 +00002514 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002515 break;
2516 case dwarf::DW_AT_abstract_origin: {
2517 DIEEntry *E = cast<DIEEntry>(Values[i]);
2518 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002519 unsigned Addr = Origin->getOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00002520 Asm->EmitInt32(Addr);
2521 break;
2522 }
2523 default:
2524 // Emit an attribute using the defined form.
2525 Values[i]->EmitValue(this, Form);
2526 break;
2527 }
Bill Wendling480ff322009-05-20 23:21:38 +00002528 }
2529
2530 // Emit the DIE children if any.
2531 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2532 const std::vector<DIE *> &Children = Die->getChildren();
2533
2534 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002535 emitDIE(Children[j]);
Bill Wendling480ff322009-05-20 23:21:38 +00002536
Chris Lattner566cae92010-03-09 23:52:58 +00002537 if (Asm->VerboseAsm)
2538 Asm->OutStreamer.AddComment("End Of Children Mark");
2539 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002540 }
2541}
2542
Devang Patel9ccfb642009-12-09 18:24:21 +00002543/// emitDebugInfo - Emit the debug info section.
Bill Wendling480ff322009-05-20 23:21:38 +00002544///
Devang Patel9ccfb642009-12-09 18:24:21 +00002545void DwarfDebug::emitDebugInfo() {
2546 // Start debug info section.
2547 Asm->OutStreamer.SwitchSection(
2548 Asm->getObjFileLowering().getDwarfInfoSection());
2549 DIE *Die = ModuleCU->getCUDie();
Bill Wendling480ff322009-05-20 23:21:38 +00002550
2551 // Emit the compile units header.
Chris Lattner722714d2010-03-08 22:44:40 +00002552 Asm->OutStreamer.EmitLabel(getDWLabel("info_begin", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002553
2554 // Emit size of content not including length itself
2555 unsigned ContentSize = Die->getSize() +
2556 sizeof(int16_t) + // DWARF version number
2557 sizeof(int32_t) + // Offset Into Abbrev. Section
2558 sizeof(int8_t) + // Pointer Size (in bytes)
2559 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2560
Chris Lattner566cae92010-03-09 23:52:58 +00002561 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2562 Asm->EmitInt32(ContentSize);
2563 Asm->OutStreamer.AddComment("DWARF version number");
2564 Asm->EmitInt16(dwarf::DWARF_VERSION);
2565 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Devang Patel852a04e2010-03-17 17:29:55 +00002566 EmitSectionOffset(getTempLabel("abbrev_begin"),getTempLabel("section_abbrev"),
2567 true);
Chris Lattner566cae92010-03-09 23:52:58 +00002568 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2569 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002570
Devang Patel930143b2009-11-21 02:48:08 +00002571 emitDIE(Die);
Bill Wendling480ff322009-05-20 23:21:38 +00002572 // FIXME - extra padding for gdb bug.
Chris Lattner566cae92010-03-09 23:52:58 +00002573 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2574 Asm->EmitInt8(0);
2575 Asm->EmitInt8(0);
2576 Asm->EmitInt8(0);
2577 Asm->EmitInt8(0);
Chris Lattner722714d2010-03-08 22:44:40 +00002578 Asm->OutStreamer.EmitLabel(getDWLabel("info_end", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002579}
2580
Devang Patel930143b2009-11-21 02:48:08 +00002581/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling480ff322009-05-20 23:21:38 +00002582///
Devang Patel930143b2009-11-21 02:48:08 +00002583void DwarfDebug::emitAbbreviations() const {
Bill Wendling480ff322009-05-20 23:21:38 +00002584 // Check to see if it is worth the effort.
2585 if (!Abbreviations.empty()) {
2586 // Start the debug abbrev section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002587 Asm->OutStreamer.SwitchSection(
2588 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002589
Chris Lattner722714d2010-03-08 22:44:40 +00002590 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002591
2592 // For each abbrevation.
2593 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2594 // Get abbreviation data
2595 const DIEAbbrev *Abbrev = Abbreviations[i];
2596
2597 // Emit the abbrevations code (base 1 index.)
Chris Lattnerfa823552010-01-22 23:18:42 +00002598 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling480ff322009-05-20 23:21:38 +00002599
2600 // Emit the abbreviations data.
Chris Lattnerfa823552010-01-22 23:18:42 +00002601 Abbrev->Emit(this);
Bill Wendling480ff322009-05-20 23:21:38 +00002602 }
2603
2604 // Mark end of abbreviations.
Chris Lattnerfa823552010-01-22 23:18:42 +00002605 EmitULEB128(0, "EOM(3)");
Bill Wendling480ff322009-05-20 23:21:38 +00002606
Chris Lattner722714d2010-03-08 22:44:40 +00002607 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002608 }
2609}
2610
Devang Patel930143b2009-11-21 02:48:08 +00002611/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling480ff322009-05-20 23:21:38 +00002612/// the line matrix.
2613///
Devang Patel930143b2009-11-21 02:48:08 +00002614void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00002615 // Define last address of section.
Chris Lattner566cae92010-03-09 23:52:58 +00002616 Asm->OutStreamer.AddComment("Extended Op");
2617 Asm->EmitInt8(0);
2618
2619 Asm->OutStreamer.AddComment("Op size");
2620 Asm->EmitInt8(TD->getPointerSize() + 1);
2621 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2622 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2623
2624 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002625
2626 Asm->OutStreamer.EmitSymbolValue(getDWLabel("section_end", SectionEnd),
2627 TD->getPointerSize(), 0/*AddrSpace*/);
Bill Wendling480ff322009-05-20 23:21:38 +00002628
2629 // Mark end of matrix.
Chris Lattner566cae92010-03-09 23:52:58 +00002630 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2631 Asm->EmitInt8(0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002632 Asm->EmitInt8(1);
Chris Lattnerfa823552010-01-22 23:18:42 +00002633 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002634}
2635
Devang Patel930143b2009-11-21 02:48:08 +00002636/// emitDebugLines - Emit source line information.
Bill Wendling480ff322009-05-20 23:21:38 +00002637///
Devang Patel930143b2009-11-21 02:48:08 +00002638void DwarfDebug::emitDebugLines() {
Bill Wendling480ff322009-05-20 23:21:38 +00002639 // If the target is using .loc/.file, the assembler will be emitting the
2640 // .debug_line table automatically.
Chris Lattnere9a75a62009-08-22 21:43:10 +00002641 if (MAI->hasDotLocAndDotFile())
Bill Wendling480ff322009-05-20 23:21:38 +00002642 return;
2643
2644 // Minimum line delta, thus ranging from -10..(255-10).
2645 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2646 // Maximum line delta, thus ranging from -10..(255-10).
2647 const int MaxLineDelta = 255 + MinLineDelta;
2648
2649 // Start the dwarf line section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002650 Asm->OutStreamer.SwitchSection(
2651 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002652
2653 // Construct the section header.
Chris Lattner566cae92010-03-09 23:52:58 +00002654 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattner722714d2010-03-08 22:44:40 +00002655 EmitDifference(getTempLabel("line_end"), getTempLabel("line_begin"), true);
Chris Lattner722714d2010-03-08 22:44:40 +00002656 Asm->OutStreamer.EmitLabel(getTempLabel("line_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002657
Chris Lattner566cae92010-03-09 23:52:58 +00002658 Asm->OutStreamer.AddComment("DWARF version number");
2659 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling480ff322009-05-20 23:21:38 +00002660
Chris Lattner566cae92010-03-09 23:52:58 +00002661 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattner722714d2010-03-08 22:44:40 +00002662 EmitDifference(getTempLabel("line_prolog_end"),
2663 getTempLabel("line_prolog_begin"), true);
Chris Lattner722714d2010-03-08 22:44:40 +00002664 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002665
Chris Lattner566cae92010-03-09 23:52:58 +00002666 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2667 Asm->EmitInt8(1);
2668 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2669 Asm->EmitInt8(1);
2670 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2671 Asm->EmitInt8(MinLineDelta);
2672 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2673 Asm->EmitInt8(MaxLineDelta);
2674 Asm->OutStreamer.AddComment("Special Opcode Base");
2675 Asm->EmitInt8(-MinLineDelta);
Bill Wendling480ff322009-05-20 23:21:38 +00002676
2677 // Line number standard opcode encodings argument count
Chris Lattner566cae92010-03-09 23:52:58 +00002678 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2679 Asm->EmitInt8(0);
2680 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2681 Asm->EmitInt8(1);
2682 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2683 Asm->EmitInt8(1);
2684 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2685 Asm->EmitInt8(1);
2686 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2687 Asm->EmitInt8(1);
2688 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2689 Asm->EmitInt8(0);
2690 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2691 Asm->EmitInt8(0);
2692 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2693 Asm->EmitInt8(0);
2694 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2695 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002696
2697 // Emit directories.
2698 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002699 const std::string &Dir = getSourceDirectoryName(DI);
2700 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2701 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002702 }
2703
Chris Lattner566cae92010-03-09 23:52:58 +00002704 Asm->OutStreamer.AddComment("End of directories");
2705 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002706
2707 // Emit files.
2708 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2709 // Remember source id starts at 1.
2710 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002711 const std::string &FN = getSourceFileName(Id.second);
2712 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2713 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2714
Chris Lattnerfa823552010-01-22 23:18:42 +00002715 EmitULEB128(Id.first, "Directory #");
2716 EmitULEB128(0, "Mod date");
2717 EmitULEB128(0, "File size");
Bill Wendling480ff322009-05-20 23:21:38 +00002718 }
2719
Chris Lattner566cae92010-03-09 23:52:58 +00002720 Asm->OutStreamer.AddComment("End of files");
2721 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002722
Chris Lattner722714d2010-03-08 22:44:40 +00002723 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002724
2725 // A sequence for each text section.
2726 unsigned SecSrcLinesSize = SectionSourceLines.size();
2727
2728 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2729 // Isolate current sections line info.
2730 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2731
Bill Wendling480ff322009-05-20 23:21:38 +00002732 // Dwarf assumes we start with first line of first source file.
2733 unsigned Source = 1;
2734 unsigned Line = 1;
2735
2736 // Construct rows of the address, source, line, column matrix.
2737 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2738 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattnerb4666f42010-03-14 08:15:55 +00002739 MCSymbol *Label = LineInfo.getLabel();
Chris Lattneree95d4c2010-03-14 02:20:58 +00002740 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling480ff322009-05-20 23:21:38 +00002741
Caroline Tice183a5192009-09-11 18:25:54 +00002742 if (LineInfo.getLine() == 0) continue;
2743
Chris Lattner3d72a672010-03-09 23:38:23 +00002744 if (Asm->isVerbose()) {
Chris Lattner7e998b72010-03-10 01:04:13 +00002745 std::pair<unsigned, unsigned> SrcID =
Bill Wendling480ff322009-05-20 23:21:38 +00002746 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner7e998b72010-03-10 01:04:13 +00002747 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattnera26fbe42010-03-10 02:29:31 +00002748 "/" +
2749 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner7e998b72010-03-10 01:04:13 +00002750 ":" + Twine(LineInfo.getLine()));
Bill Wendling480ff322009-05-20 23:21:38 +00002751 }
2752
2753 // Define the line address.
Chris Lattner566cae92010-03-09 23:52:58 +00002754 Asm->OutStreamer.AddComment("Extended Op");
2755 Asm->EmitInt8(0);
2756 Asm->OutStreamer.AddComment("Op size");
2757 Asm->EmitInt8(TD->getPointerSize() + 1);
2758
2759 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2760 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2761
2762 Asm->OutStreamer.AddComment("Location label");
Chris Lattneree95d4c2010-03-14 02:20:58 +00002763 Asm->OutStreamer.EmitSymbolValue(Label, TD->getPointerSize(),
2764 0/*AddrSpace*/);
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002765
Bill Wendling480ff322009-05-20 23:21:38 +00002766 // If change of source, then switch to the new source.
2767 if (Source != LineInfo.getSourceID()) {
2768 Source = LineInfo.getSourceID();
Chris Lattner566cae92010-03-09 23:52:58 +00002769 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2770 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattnerfa823552010-01-22 23:18:42 +00002771 EmitULEB128(Source, "New Source");
Bill Wendling480ff322009-05-20 23:21:38 +00002772 }
2773
2774 // If change of line.
2775 if (Line != LineInfo.getLine()) {
2776 // Determine offset.
2777 int Offset = LineInfo.getLine() - Line;
2778 int Delta = Offset - MinLineDelta;
2779
2780 // Update line.
2781 Line = LineInfo.getLine();
2782
2783 // If delta is small enough and in range...
2784 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2785 // ... then use fast opcode.
Chris Lattner566cae92010-03-09 23:52:58 +00002786 Asm->OutStreamer.AddComment("Line Delta");
2787 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling480ff322009-05-20 23:21:38 +00002788 } else {
2789 // ... otherwise use long hand.
Chris Lattner566cae92010-03-09 23:52:58 +00002790 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling480ff322009-05-20 23:21:38 +00002791 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner23031452010-01-22 22:56:55 +00002792 EmitSLEB128(Offset, "Line Offset");
Chris Lattner566cae92010-03-09 23:52:58 +00002793 Asm->OutStreamer.AddComment("DW_LNS_copy");
2794 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling480ff322009-05-20 23:21:38 +00002795 }
2796 } else {
2797 // Copy the previous row (different address or source)
Chris Lattner566cae92010-03-09 23:52:58 +00002798 Asm->OutStreamer.AddComment("DW_LNS_copy");
2799 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling480ff322009-05-20 23:21:38 +00002800 }
2801 }
2802
Devang Patel930143b2009-11-21 02:48:08 +00002803 emitEndOfLineMatrix(j + 1);
Bill Wendling480ff322009-05-20 23:21:38 +00002804 }
2805
2806 if (SecSrcLinesSize == 0)
2807 // Because we're emitting a debug_line section, we still need a line
2808 // table. The linker and friends expect it to exist. If there's nothing to
2809 // put into it, emit an empty table.
Devang Patel930143b2009-11-21 02:48:08 +00002810 emitEndOfLineMatrix(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002811
Chris Lattner722714d2010-03-08 22:44:40 +00002812 Asm->OutStreamer.EmitLabel(getTempLabel("line_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002813}
2814
Devang Patel930143b2009-11-21 02:48:08 +00002815/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling480ff322009-05-20 23:21:38 +00002816///
Devang Patel930143b2009-11-21 02:48:08 +00002817void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnere9a75a62009-08-22 21:43:10 +00002818 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002819 return;
2820
2821 int stackGrowth =
2822 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2823 TargetFrameInfo::StackGrowsUp ?
2824 TD->getPointerSize() : -TD->getPointerSize();
2825
2826 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002827 Asm->OutStreamer.SwitchSection(
2828 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002829
Chris Lattner722714d2010-03-08 22:44:40 +00002830 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common"));
Chris Lattner566cae92010-03-09 23:52:58 +00002831 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002832 EmitDifference(getTempLabel("debug_frame_common_end"),
2833 getTempLabel("debug_frame_common_begin"), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002834
Chris Lattner722714d2010-03-08 22:44:40 +00002835 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_begin"));
Chris Lattner566cae92010-03-09 23:52:58 +00002836 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling480ff322009-05-20 23:21:38 +00002837 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner566cae92010-03-09 23:52:58 +00002838 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling480ff322009-05-20 23:21:38 +00002839 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner566cae92010-03-09 23:52:58 +00002840 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002841 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattnerfa823552010-01-22 23:18:42 +00002842 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattner23031452010-01-22 22:56:55 +00002843 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner566cae92010-03-09 23:52:58 +00002844 Asm->OutStreamer.AddComment("CIE RA Column");
Bill Wendling480ff322009-05-20 23:21:38 +00002845 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling480ff322009-05-20 23:21:38 +00002846
2847 std::vector<MachineMove> Moves;
2848 RI->getInitialFrameState(Moves);
2849
Chris Lattner41e275d2010-03-13 08:05:25 +00002850 EmitFrameMoves(0, Moves, false);
Bill Wendling480ff322009-05-20 23:21:38 +00002851
2852 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner722714d2010-03-08 22:44:40 +00002853 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002854}
2855
Devang Patel930143b2009-11-21 02:48:08 +00002856/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling480ff322009-05-20 23:21:38 +00002857/// section.
Chris Lattner2c3f4782010-03-13 07:26:18 +00002858void DwarfDebug::
2859emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattnere9a75a62009-08-22 21:43:10 +00002860 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002861 return;
2862
2863 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002864 Asm->OutStreamer.SwitchSection(
2865 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002866
Chris Lattner566cae92010-03-09 23:52:58 +00002867 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner2c3f4782010-03-13 07:26:18 +00002868 MCSymbol *DebugFrameBegin =
2869 getDWLabel("debug_frame_begin", DebugFrameInfo.Number);
2870 MCSymbol *DebugFrameEnd =
2871 getDWLabel("debug_frame_end", DebugFrameInfo.Number);
2872 EmitDifference(DebugFrameEnd, DebugFrameBegin, true);
Bill Wendling480ff322009-05-20 23:21:38 +00002873
Chris Lattner2c3f4782010-03-13 07:26:18 +00002874 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling480ff322009-05-20 23:21:38 +00002875
Chris Lattner566cae92010-03-09 23:52:58 +00002876 Asm->OutStreamer.AddComment("FDE CIE offset");
Devang Patel852a04e2010-03-17 17:29:55 +00002877 EmitSectionOffset(getTempLabel("debug_frame_common"),
2878 getTempLabel("section_debug_frame"), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002879
Chris Lattner566cae92010-03-09 23:52:58 +00002880 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattner8811e122010-03-13 07:40:56 +00002881 MCSymbol *FuncBeginSym = getDWLabel("func_begin", DebugFrameInfo.Number);
2882 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002883 TD->getPointerSize(), 0/*AddrSpace*/);
2884
2885
Chris Lattner566cae92010-03-09 23:52:58 +00002886 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattner8811e122010-03-13 07:40:56 +00002887 EmitDifference(getDWLabel("func_end", DebugFrameInfo.Number), FuncBeginSym);
Bill Wendling480ff322009-05-20 23:21:38 +00002888
Chris Lattner41e275d2010-03-13 08:05:25 +00002889 EmitFrameMoves(FuncBeginSym, DebugFrameInfo.Moves, false);
Bill Wendling480ff322009-05-20 23:21:38 +00002890
2891 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner2c3f4782010-03-13 07:26:18 +00002892 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling480ff322009-05-20 23:21:38 +00002893}
2894
Devang Patel9ccfb642009-12-09 18:24:21 +00002895/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2896///
2897void DwarfDebug::emitDebugPubNames() {
2898 // Start the dwarf pubnames section.
2899 Asm->OutStreamer.SwitchSection(
2900 Asm->getObjFileLowering().getDwarfPubNamesSection());
2901
Chris Lattner566cae92010-03-09 23:52:58 +00002902 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002903 EmitDifference(getDWLabel("pubnames_end", ModuleCU->getID()),
2904 getDWLabel("pubnames_begin", ModuleCU->getID()), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002905
Chris Lattner722714d2010-03-08 22:44:40 +00002906 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_begin", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002907
Chris Lattner566cae92010-03-09 23:52:58 +00002908 Asm->OutStreamer.AddComment("DWARF Version");
2909 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling480ff322009-05-20 23:21:38 +00002910
Chris Lattner566cae92010-03-09 23:52:58 +00002911 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerbc9210c2010-03-08 22:23:36 +00002912 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel852a04e2010-03-17 17:29:55 +00002913 getTempLabel("section_info"), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002914
Chris Lattner566cae92010-03-09 23:52:58 +00002915 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002916 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2917 getDWLabel("info_begin", ModuleCU->getID()),
Bill Wendling480ff322009-05-20 23:21:38 +00002918 true);
Bill Wendling480ff322009-05-20 23:21:38 +00002919
Devang Patel9ccfb642009-12-09 18:24:21 +00002920 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling480ff322009-05-20 23:21:38 +00002921 for (StringMap<DIE*>::const_iterator
2922 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2923 const char *Name = GI->getKeyData();
Chris Lattner566cae92010-03-09 23:52:58 +00002924 DIE *Entity = GI->second;
Bill Wendling480ff322009-05-20 23:21:38 +00002925
Chris Lattner566cae92010-03-09 23:52:58 +00002926 Asm->OutStreamer.AddComment("DIE offset");
2927 Asm->EmitInt32(Entity->getOffset());
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002928
2929 if (Asm->VerboseAsm)
2930 Asm->OutStreamer.AddComment("External Name");
2931 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002932 }
2933
Chris Lattner566cae92010-03-09 23:52:58 +00002934 Asm->OutStreamer.AddComment("End Mark");
2935 Asm->EmitInt32(0);
Chris Lattner722714d2010-03-08 22:44:40 +00002936 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_end", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002937}
2938
Devang Patel04d2f2d2009-11-24 01:14:22 +00002939void DwarfDebug::emitDebugPubTypes() {
Devang Patelc8654eb2009-11-24 19:18:41 +00002940 // Start the dwarf pubnames section.
2941 Asm->OutStreamer.SwitchSection(
2942 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner566cae92010-03-09 23:52:58 +00002943 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002944 EmitDifference(getDWLabel("pubtypes_end", ModuleCU->getID()),
2945 getDWLabel("pubtypes_begin", ModuleCU->getID()), true);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002946
Chris Lattner722714d2010-03-08 22:44:40 +00002947 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_begin", ModuleCU->getID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002948
Devang Patel057c6422010-02-02 03:47:27 +00002949 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2950 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002951
Chris Lattner566cae92010-03-09 23:52:58 +00002952 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerbc9210c2010-03-08 22:23:36 +00002953 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel852a04e2010-03-17 17:29:55 +00002954 getTempLabel("section_info"), true);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002955
Chris Lattner566cae92010-03-09 23:52:58 +00002956 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002957 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2958 getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel04d2f2d2009-11-24 01:14:22 +00002959 true);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002960
2961 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2962 for (StringMap<DIE*>::const_iterator
2963 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2964 const char *Name = GI->getKeyData();
2965 DIE * Entity = GI->second;
2966
Devang Patel057c6422010-02-02 03:47:27 +00002967 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2968 Asm->EmitInt32(Entity->getOffset());
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002969
2970 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel6d404ad2010-02-02 03:37:03 +00002971 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002972 }
2973
Chris Lattner566cae92010-03-09 23:52:58 +00002974 Asm->OutStreamer.AddComment("End Mark");
2975 Asm->EmitInt32(0);
Chris Lattner722714d2010-03-08 22:44:40 +00002976 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_end", ModuleCU->getID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002977}
2978
Devang Patel930143b2009-11-21 02:48:08 +00002979/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling480ff322009-05-20 23:21:38 +00002980///
Devang Patel930143b2009-11-21 02:48:08 +00002981void DwarfDebug::emitDebugStr() {
Bill Wendling480ff322009-05-20 23:21:38 +00002982 // Check to see if it is worth the effort.
Chris Lattner3d72a672010-03-09 23:38:23 +00002983 if (StringPool.empty()) return;
2984
2985 // Start the dwarf str section.
2986 Asm->OutStreamer.SwitchSection(
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002987 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002988
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002989 // Get all of the string pool entries and put them in an array by their ID so
2990 // we can sort them.
2991 SmallVector<std::pair<unsigned,
2992 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
2993
2994 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
2995 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
2996 Entries.push_back(std::make_pair(I->second.second, &*I));
2997
2998 array_pod_sort(Entries.begin(), Entries.end());
2999
3000 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner3d72a672010-03-09 23:38:23 +00003001 // Emit a label for reference from debug information entries.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003002 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner3d72a672010-03-09 23:38:23 +00003003
3004 // Emit the string itself.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003005 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling480ff322009-05-20 23:21:38 +00003006 }
3007}
3008
Devang Patel930143b2009-11-21 02:48:08 +00003009/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling480ff322009-05-20 23:21:38 +00003010///
Devang Patel930143b2009-11-21 02:48:08 +00003011void DwarfDebug::emitDebugLoc() {
Bill Wendling480ff322009-05-20 23:21:38 +00003012 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003013 Asm->OutStreamer.SwitchSection(
3014 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003015}
3016
3017/// EmitDebugARanges - Emit visible names into a debug aranges section.
3018///
3019void DwarfDebug::EmitDebugARanges() {
3020 // Start the dwarf aranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003021 Asm->OutStreamer.SwitchSection(
3022 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003023}
3024
Devang Patel930143b2009-11-21 02:48:08 +00003025/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling480ff322009-05-20 23:21:38 +00003026///
Devang Patel930143b2009-11-21 02:48:08 +00003027void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00003028 // Start the dwarf ranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003029 Asm->OutStreamer.SwitchSection(
3030 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003031}
3032
Devang Patel930143b2009-11-21 02:48:08 +00003033/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling480ff322009-05-20 23:21:38 +00003034///
Devang Patel930143b2009-11-21 02:48:08 +00003035void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00003036 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00003037 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00003038 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003039 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00003040 }
3041}
3042
Devang Patel930143b2009-11-21 02:48:08 +00003043/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling480ff322009-05-20 23:21:38 +00003044/// Section Header:
3045/// 1. length of section
3046/// 2. Dwarf version number
3047/// 3. address size.
3048///
3049/// Entries (one "entry" for each function that was inlined):
3050///
3051/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3052/// otherwise offset into __debug_str for regular function name.
3053/// 2. offset into __debug_str section for regular function name.
3054/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3055/// instances for the function.
3056///
3057/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3058/// inlined instance; the die_offset points to the inlined_subroutine die in the
3059/// __debug_info section, and the low_pc is the starting address for the
3060/// inlining instance.
Devang Patel930143b2009-11-21 02:48:08 +00003061void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnere9a75a62009-08-22 21:43:10 +00003062 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling480ff322009-05-20 23:21:38 +00003063 return;
3064
Devang Patel40d78412009-06-29 20:45:18 +00003065 if (!ModuleCU)
Bill Wendling480ff322009-05-20 23:21:38 +00003066 return;
3067
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003068 Asm->OutStreamer.SwitchSection(
3069 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00003070
Chris Lattner566cae92010-03-09 23:52:58 +00003071 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattner449a9ff2010-03-08 23:02:59 +00003072 EmitDifference(getDWLabel("debug_inlined_end", 1),
3073 getDWLabel("debug_inlined_begin", 1), true);
Bill Wendling480ff322009-05-20 23:21:38 +00003074
Chris Lattner722714d2010-03-08 22:44:40 +00003075 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_begin", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00003076
Chris Lattner566cae92010-03-09 23:52:58 +00003077 Asm->OutStreamer.AddComment("Dwarf Version");
3078 Asm->EmitInt16(dwarf::DWARF_VERSION);
3079 Asm->OutStreamer.AddComment("Address Size (in bytes)");
3080 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00003081
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003082 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3083 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach042483e2009-11-21 23:12:12 +00003084
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003085 MDNode *Node = *I;
Devang Patel018b29b2010-01-19 06:19:05 +00003086 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach00e9c612009-11-22 19:20:36 +00003087 = InlineInfo.find(Node);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003088 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel80ae3492009-08-28 23:24:31 +00003089 DISubprogram SP(Node);
Devang Patel2d9caf92009-11-25 17:36:49 +00003090 StringRef LName = SP.getLinkageName();
3091 StringRef Name = SP.getName();
Bill Wendling480ff322009-05-20 23:21:38 +00003092
Chris Lattner566cae92010-03-09 23:52:58 +00003093 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00003094 if (LName.empty()) {
3095 Asm->OutStreamer.EmitBytes(Name, 0);
3096 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3097 } else
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003098 EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattnerbc9210c2010-03-08 22:23:36 +00003099 getTempLabel("section_str"), true);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003100
Chris Lattner566cae92010-03-09 23:52:58 +00003101 Asm->OutStreamer.AddComment("Function name");
Devang Patel852a04e2010-03-17 17:29:55 +00003102 EmitSectionOffset(getStringPoolEntry(Name), getTempLabel("section_str"),
3103 true);
Chris Lattnerfa823552010-01-22 23:18:42 +00003104 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling480ff322009-05-20 23:21:38 +00003105
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003106 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling480ff322009-05-20 23:21:38 +00003107 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner085b6522010-03-09 00:31:02 +00003108 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
3109 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00003110
Chris Lattner53d6d1e2010-03-09 00:26:09 +00003111 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("low_pc");
Chris Lattnerb14490d2010-03-09 00:39:24 +00003112 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00003113 }
3114 }
3115
Chris Lattner722714d2010-03-08 22:44:40 +00003116 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_end", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00003117}