blob: 5cee67cf76f3af0c0f417383cb2a40a1df760d8a [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"
Chris Lattner21dc46e2010-04-04 18:06:11 +000027#include "llvm/Target/TargetMachine.h"
Chris Lattner5e693ed2009-07-28 03:13:23 +000028#include "llvm/Target/TargetRegisterInfo.h"
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +000029#include "llvm/ADT/STLExtras.h"
Chris Lattner06fa1762009-08-24 03:52:50 +000030#include "llvm/ADT/StringExtras.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000031#include "llvm/Support/Debug.h"
32#include "llvm/Support/ErrorHandling.h"
Devang Patel1973df22010-01-26 21:39:14 +000033#include "llvm/Support/ValueHandle.h"
Chris Lattnerf5c834f2010-01-22 22:09:00 +000034#include "llvm/Support/FormattedStream.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000035#include "llvm/Support/Timer.h"
36#include "llvm/System/Path.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000037using namespace llvm;
38
Bill Wendling2f921f82009-05-15 09:23:25 +000039//===----------------------------------------------------------------------===//
40
41/// Configuration values for initial hash set sizes (log2).
42///
Bill Wendling2f921f82009-05-15 09:23:25 +000043static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-05-15 09:23:25 +000044
45namespace llvm {
46
47//===----------------------------------------------------------------------===//
48/// CompileUnit - This dwarf writer support class manages information associate
49/// with a source file.
Nick Lewyckyb7993d62009-11-17 08:11:44 +000050class CompileUnit {
Bill Wendling2f921f82009-05-15 09:23:25 +000051 /// ID - File identifier for source.
52 ///
53 unsigned ID;
54
55 /// Die - Compile unit debug information entry.
56 ///
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +000057 const OwningPtr<DIE> CUDie;
Bill Wendling2f921f82009-05-15 09:23:25 +000058
Jeffrey Yasskin0708de12010-03-11 18:29:55 +000059 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel92e8c652009-11-21 00:31:03 +000060 DIE *IndexTyDie;
61
Bill Wendling2f921f82009-05-15 09:23:25 +000062 /// GVToDieMap - Tracks the mapping of unit level debug informaton
63 /// variables to debug information entries.
Devang Patel80ae3492009-08-28 23:24:31 +000064 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel018b29b2010-01-19 06:19:05 +000065 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000066
67 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
68 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel80ae3492009-08-28 23:24:31 +000069 /// FIXME : Rename
Devang Patel018b29b2010-01-19 06:19:05 +000070 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000071
72 /// Globals - A map of globally visible named entities for this unit.
73 ///
74 StringMap<DIE*> Globals;
75
Devang Patel04d2f2d2009-11-24 01:14:22 +000076 /// GlobalTypes - A map of globally visible types for this unit.
77 ///
78 StringMap<DIE*> GlobalTypes;
79
Bill Wendling2f921f82009-05-15 09:23:25 +000080public:
81 CompileUnit(unsigned I, DIE *D)
Devang Patel930143b2009-11-21 02:48:08 +000082 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +000083
84 // Accessors.
Devang Patel04d2f2d2009-11-24 01:14:22 +000085 unsigned getID() const { return ID; }
Jeffrey Yasskin0708de12010-03-11 18:29:55 +000086 DIE* getCUDie() const { return CUDie.get(); }
Devang Patel04d2f2d2009-11-24 01:14:22 +000087 const StringMap<DIE*> &getGlobals() const { return Globals; }
88 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling2f921f82009-05-15 09:23:25 +000089
90 /// hasContent - Return true if this compile unit has something to write out.
91 ///
Devang Patel930143b2009-11-21 02:48:08 +000092 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling2f921f82009-05-15 09:23:25 +000093
Devang Patel930143b2009-11-21 02:48:08 +000094 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +000095 ///
Benjamin Kramer96956ed2010-03-31 20:15:45 +000096 void addGlobal(StringRef Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling2f921f82009-05-15 09:23:25 +000097
Devang Patel04d2f2d2009-11-24 01:14:22 +000098 /// addGlobalType - Add a new global type to the compile unit.
99 ///
Benjamin Kramer96956ed2010-03-31 20:15:45 +0000100 void addGlobalType(StringRef Name, DIE *Die) {
Devang Patel04d2f2d2009-11-24 01:14:22 +0000101 GlobalTypes[Name] = Die;
102 }
103
Devang Patele064ad42009-11-20 21:37:22 +0000104 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling2f921f82009-05-15 09:23:25 +0000105 /// specified debug variable.
Devang Patele064ad42009-11-20 21:37:22 +0000106 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach042483e2009-11-21 23:12:12 +0000107
Devang Patele064ad42009-11-20 21:37:22 +0000108 /// insertDIE - Insert DIE into the map.
109 void insertDIE(MDNode *N, DIE *D) {
110 GVToDieMap.insert(std::make_pair(N, D));
111 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000112
Devang Patele064ad42009-11-20 21:37:22 +0000113 /// getDIEEntry - Returns the debug information entry for the speciefied
114 /// debug variable.
Devang Patel1f4690c2009-12-15 19:16:48 +0000115 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel018b29b2010-01-19 06:19:05 +0000116 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel1f4690c2009-12-15 19:16:48 +0000117 if (I == GVToDIEEntryMap.end())
118 return NULL;
119 return I->second;
120 }
Devang Patele064ad42009-11-20 21:37:22 +0000121
122 /// insertDIEEntry - Insert debug information entry into the map.
123 void insertDIEEntry(MDNode *N, DIEEntry *E) {
124 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling2f921f82009-05-15 09:23:25 +0000125 }
126
Devang Patel930143b2009-11-21 02:48:08 +0000127 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +0000128 ///
Devang Patel930143b2009-11-21 02:48:08 +0000129 void addDie(DIE *Buffer) {
130 this->CUDie->addChild(Buffer);
Bill Wendling2f921f82009-05-15 09:23:25 +0000131 }
Devang Patel92e8c652009-11-21 00:31:03 +0000132
133 // getIndexTyDie - Get an anonymous type for index type.
134 DIE *getIndexTyDie() {
135 return IndexTyDie;
136 }
137
Jim Grosbach00e9c612009-11-22 19:20:36 +0000138 // setIndexTyDie - Set D as anonymous type for index which can be reused
139 // later.
Devang Patel92e8c652009-11-21 00:31:03 +0000140 void setIndexTyDie(DIE *D) {
141 IndexTyDie = D;
142 }
143
Bill Wendling2f921f82009-05-15 09:23:25 +0000144};
145
146//===----------------------------------------------------------------------===//
147/// DbgVariable - This class is used to track local variable information.
148///
Devang Patelf3d7c082009-11-16 21:53:40 +0000149class DbgVariable {
Bill Wendling2f921f82009-05-15 09:23:25 +0000150 DIVariable Var; // Variable Descriptor.
151 unsigned FrameIndex; // Variable frame index.
Devang Patela3e9c9c2010-03-15 18:33:46 +0000152 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Devang Patel23b2ae62010-03-29 22:59:58 +0000153 // DbgValueLabel - DBG_VALUE is effective from this label.
154 MCSymbol *DbgValueLabel;
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000155 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000156 DIE *TheDIE;
Bill Wendling2f921f82009-05-15 09:23:25 +0000157public:
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000158 // AbsVar may be NULL.
159 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patel23b2ae62010-03-29 22:59:58 +0000160 : Var(V), FrameIndex(I), DbgValueMInsn(0),
161 DbgValueLabel(0), AbstractVar(AbsVar), TheDIE(0) {}
Devang Patela3e9c9c2010-03-15 18:33:46 +0000162 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
Devang Patel23b2ae62010-03-29 22:59:58 +0000163 : Var(V), FrameIndex(0), DbgValueMInsn(MI), DbgValueLabel(0),
164 AbstractVar(AbsVar), TheDIE(0)
Devang Patela3e9c9c2010-03-15 18:33:46 +0000165 {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000166
167 // Accessors.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000168 DIVariable getVariable() const { return Var; }
169 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patela3e9c9c2010-03-15 18:33:46 +0000170 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patel23b2ae62010-03-29 22:59:58 +0000171 MCSymbol *getDbgValueLabel() const { return DbgValueLabel; }
172 void setDbgValueLabel(MCSymbol *L) { DbgValueLabel = L; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000173 DbgVariable *getAbstractVariable() const { return AbstractVar; }
174 void setDIE(DIE *D) { TheDIE = D; }
175 DIE *getDIE() const { return TheDIE; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000176};
177
178//===----------------------------------------------------------------------===//
179/// DbgScope - This class is used to track scope information.
180///
Devang Patelf3d7c082009-11-16 21:53:40 +0000181class DbgScope {
Bill Wendling2f921f82009-05-15 09:23:25 +0000182 DbgScope *Parent; // Parent to this scope.
Jim Grosbach042483e2009-11-21 23:12:12 +0000183 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel1973df22010-01-26 21:39:14 +0000184 // Location at which this scope is inlined.
185 AssertingVH<MDNode> InlinedAtLocation;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000186 bool AbstractScope; // Abstract Scope
Chris Lattnere13c3722010-03-09 01:58:53 +0000187 MCSymbol *StartLabel; // Label ID of the beginning of scope.
188 MCSymbol *EndLabel; // Label ID of the end of scope.
Devang Patel787f94c2009-10-01 18:25:23 +0000189 const MachineInstr *LastInsn; // Last instruction of this scope.
190 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000191 // Scopes defined in scope. Contents not owned.
192 SmallVector<DbgScope *, 4> Scopes;
193 // Variables declared in scope. Contents owned.
194 SmallVector<DbgVariable *, 8> Variables;
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000195
Owen Anderson9becc182009-06-24 22:53:20 +0000196 // Private state for dump()
197 mutable unsigned IndentLevel;
Bill Wendling2f921f82009-05-15 09:23:25 +0000198public:
Devang Patel6875c5eb2009-10-14 21:08:09 +0000199 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000200 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattnere13c3722010-03-09 01:58:53 +0000201 StartLabel(0), EndLabel(0),
Devang Patel6875c5eb2009-10-14 21:08:09 +0000202 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000203 virtual ~DbgScope();
204
205 // Accessors.
206 DbgScope *getParent() const { return Parent; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000207 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000208 DIDescriptor getDesc() const { return Desc; }
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000209 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000210 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattnere13c3722010-03-09 01:58:53 +0000211 MCSymbol *getStartLabel() const { return StartLabel; }
212 MCSymbol *getEndLabel() const { return EndLabel; }
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000213 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
214 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattnere13c3722010-03-09 01:58:53 +0000215 void setStartLabel(MCSymbol *S) { StartLabel = S; }
216 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Patel787f94c2009-10-01 18:25:23 +0000217 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
218 const MachineInstr *getLastInsn() { return LastInsn; }
219 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000220 void setAbstractScope() { AbstractScope = true; }
221 bool isAbstractScope() const { return AbstractScope; }
Devang Patel787f94c2009-10-01 18:25:23 +0000222 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000223
Devang Patel930143b2009-11-21 02:48:08 +0000224 /// addScope - Add a scope to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000225 ///
Devang Patel930143b2009-11-21 02:48:08 +0000226 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000227
Devang Patel930143b2009-11-21 02:48:08 +0000228 /// addVariable - Add a variable to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000229 ///
Devang Patel930143b2009-11-21 02:48:08 +0000230 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000231
Devang Patel530a0752010-01-04 20:44:00 +0000232 void fixInstructionMarkers(DenseMap<const MachineInstr *,
233 unsigned> &MIIndexMap) {
Chris Lattner8d2fe282010-03-31 05:36:29 +0000234 assert(getFirstInsn() && "First instruction is missing!");
Devang Patel530a0752010-01-04 20:44:00 +0000235
236 // Use the end of last child scope as end of this scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000237 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Pateld146e2e2010-01-05 16:59:17 +0000238 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel530a0752010-01-04 20:44:00 +0000239 unsigned LIndex = 0;
240 if (Scopes.empty()) {
Chris Lattner8d2fe282010-03-31 05:36:29 +0000241 assert(getLastInsn() && "Inner most scope does not have last insn!");
Devang Patel530a0752010-01-04 20:44:00 +0000242 return;
243 }
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000244 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel530a0752010-01-04 20:44:00 +0000245 SE = Scopes.end(); SI != SE; ++SI) {
246 DbgScope *DS = *SI;
247 DS->fixInstructionMarkers(MIIndexMap);
248 const MachineInstr *DSLastInsn = DS->getLastInsn();
249 unsigned DSI = MIIndexMap[DSLastInsn];
250 if (DSI > LIndex) {
251 LastInsn = DSLastInsn;
252 LIndex = DSI;
253 }
254 }
Devang Patelca55a042010-02-17 02:20:34 +0000255
256 unsigned CurrentLastInsnIndex = 0;
257 if (const MachineInstr *CL = getLastInsn())
258 CurrentLastInsnIndex = MIIndexMap[CL];
259 unsigned FIndex = MIIndexMap[getFirstInsn()];
260
261 // Set LastInsn as the last instruction for this scope only if
262 // it follows
263 // 1) this scope's first instruction and
264 // 2) current last instruction for this scope, if any.
265 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
266 setLastInsn(LastInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +0000267 }
268
Bill Wendling2f921f82009-05-15 09:23:25 +0000269#ifndef NDEBUG
270 void dump() const;
271#endif
272};
Chris Lattnerf5d06362010-04-05 04:09:20 +0000273
274} // end llvm namespace
Bill Wendling2f921f82009-05-15 09:23:25 +0000275
276#ifndef NDEBUG
277void DbgScope::dump() const {
David Greenec230cb92009-12-24 00:31:35 +0000278 raw_ostream &err = dbgs();
Chris Lattner81e8e022009-08-23 00:51:00 +0000279 err.indent(IndentLevel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000280 MDNode *N = Desc.getNode();
281 N->dump();
Chris Lattnere13c3722010-03-09 01:58:53 +0000282 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000283 if (AbstractScope)
284 err << "Abstract Scope\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000285
286 IndentLevel += 2;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000287 if (!Scopes.empty())
288 err << "Children ...\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000289 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
290 if (Scopes[i] != this)
291 Scopes[i]->dump();
292
293 IndentLevel -= 2;
294}
295#endif
296
Bill Wendling2f921f82009-05-15 09:23:25 +0000297DbgScope::~DbgScope() {
Bill Wendling2f921f82009-05-15 09:23:25 +0000298 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
299 delete Variables[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000300}
301
Chris Lattnerf0d6bd32010-04-05 05:11:15 +0000302DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Chris Lattner3a383cb2010-04-05 00:13:49 +0000303 : Asm(A), MMI(Asm->MMI), ModuleCU(0),
Chris Lattner196dbdc2010-04-05 03:52:55 +0000304 AbbreviationsSet(InitAbbreviationsSetSize),
Chris Lattner915c5f92010-04-02 19:42:39 +0000305 CurrentFnDbgScope(0), DebugTimer(0) {
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000306 NextStringPoolNumber = 0;
Chris Lattner6629ca92010-04-04 22:59:04 +0000307
Chris Lattnere58b5472010-04-04 23:10:38 +0000308 DwarfFrameSectionSym = DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
309 DwarfStrSectionSym = TextSectionSym = 0;
Chris Lattner6629ca92010-04-04 22:59:04 +0000310
Bill Wendling2f921f82009-05-15 09:23:25 +0000311 if (TimePassesIsEnabled)
Chris Lattnerf81add32009-12-28 07:41:18 +0000312 DebugTimer = new Timer("Dwarf Debug Writer");
Chris Lattnerf0d6bd32010-04-05 05:11:15 +0000313
314 beginModule(M);
Bill Wendling2f921f82009-05-15 09:23:25 +0000315}
316DwarfDebug::~DwarfDebug() {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000317 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
318 DIEBlocks[j]->~DIEBlock();
Bill Wendling2f921f82009-05-15 09:23:25 +0000319
Bill Wendling2f921f82009-05-15 09:23:25 +0000320 delete DebugTimer;
321}
322
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000323MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
324 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
325 if (Entry.first) return Entry.first;
326
327 Entry.second = NextStringPoolNumber++;
Chris Lattnera179b522010-04-04 19:25:43 +0000328 return Entry.first = Asm->GetTempSymbol("string", Entry.second);
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000329}
330
331
Devang Patel930143b2009-11-21 02:48:08 +0000332/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling2f921f82009-05-15 09:23:25 +0000333///
Devang Patel930143b2009-11-21 02:48:08 +0000334void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000335 // Profile the node so that we can make it unique.
336 FoldingSetNodeID ID;
337 Abbrev.Profile(ID);
338
339 // Check the set for priors.
340 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
341
342 // If it's newly added.
343 if (InSet == &Abbrev) {
344 // Add to abbreviation list.
345 Abbreviations.push_back(&Abbrev);
346
347 // Assign the vector position + 1 as its number.
348 Abbrev.setNumber(Abbreviations.size());
349 } else {
350 // Assign existing abbreviation number.
351 Abbrev.setNumber(InSet->getNumber());
352 }
353}
354
Devang Patel930143b2009-11-21 02:48:08 +0000355/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendlingbcad77a2009-05-20 23:24:48 +0000356/// information entry.
Devang Patel930143b2009-11-21 02:48:08 +0000357DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000358 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000359 return Value;
360}
361
Devang Patel930143b2009-11-21 02:48:08 +0000362/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000363///
Devang Patel930143b2009-11-21 02:48:08 +0000364void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000365 unsigned Form, uint64_t Integer) {
366 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000367 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000368 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000369}
370
Devang Patel930143b2009-11-21 02:48:08 +0000371/// addSInt - Add an signed integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000372///
Devang Patel930143b2009-11-21 02:48:08 +0000373void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000374 unsigned Form, int64_t Integer) {
375 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000376 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000377 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000378}
379
Devang Patel8c339592009-12-02 15:25:16 +0000380/// addString - Add a string attribute data and value. DIEString only
381/// keeps string reference.
Devang Patel930143b2009-11-21 02:48:08 +0000382void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerc3f23b82010-01-23 03:11:46 +0000383 StringRef String) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000384 DIEValue *Value = new (DIEValueAllocator) DIEString(String);
Devang Patel930143b2009-11-21 02:48:08 +0000385 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000386}
387
Devang Patel930143b2009-11-21 02:48:08 +0000388/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000389///
Devang Patel930143b2009-11-21 02:48:08 +0000390void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbc9210c2010-03-08 22:23:36 +0000391 const MCSymbol *Label) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000392 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Devang Patel930143b2009-11-21 02:48:08 +0000393 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000394}
395
Devang Patel930143b2009-11-21 02:48:08 +0000396/// addDelta - Add a label delta attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000397///
Devang Patel930143b2009-11-21 02:48:08 +0000398void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbc9210c2010-03-08 22:23:36 +0000399 const MCSymbol *Hi, const MCSymbol *Lo) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000400 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Devang Patel930143b2009-11-21 02:48:08 +0000401 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) {
Chris Lattner5a00dea2010-04-05 00:18:22 +0000408 Block->ComputeSize(Asm);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000409 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Devang Patel930143b2009-11-21 02:48:08 +0000410 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.
Chris Lattner3a383cb2010-04-05 00:13:49 +0000562 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Mike Stump14cf8ec2009-09-30 00:08:22 +0000563 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000564 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Mike Stump14cf8ec2009-09-30 00:08:22 +0000565
566 if (Location.isReg()) {
567 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000568 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000569 } else {
570 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-11-21 02:48:08 +0000571 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
572 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000573 }
574 } else {
575 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000576 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000577 else {
Devang Patel930143b2009-11-21 02:48:08 +0000578 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
579 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000580 }
581
Devang Patel930143b2009-11-21 02:48:08 +0000582 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump14cf8ec2009-09-30 00:08:22 +0000583 }
584
585 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
586 uint64_t Element = VD.getAddrElement(i);
587
588 if (Element == DIFactory::OpPlus) {
Devang Patel930143b2009-11-21 02:48:08 +0000589 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
590 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump14cf8ec2009-09-30 00:08:22 +0000591 } else if (Element == DIFactory::OpDeref) {
Devang Patel930143b2009-11-21 02:48:08 +0000592 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000593 } else llvm_unreachable("unknown DIFactory Opcode");
594 }
595
596 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000597 addBlock(Die, Attribute, 0, Block);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000598}
599
Caroline Ticec87c1e22009-08-31 21:19:37 +0000600/* Byref variables, in Blocks, are declared by the programmer as "SomeType
601 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
602 gives the variable VarName either the struct, or a pointer to the struct, as
603 its type. This is necessary for various behind-the-scenes things the
604 compiler needs to do with by-reference variables in Blocks.
605
606 However, as far as the original *programmer* is concerned, the variable
607 should still have type 'SomeType', as originally declared.
608
Devang Patel930143b2009-11-21 02:48:08 +0000609 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000610 struct to find the original type of the variable, which is then assigned to
611 the variable's Debug Information Entry as its real type. So far, so good.
612 However now the debugger will expect the variable VarName to have the type
613 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000614 expression that explains to the debugger how to navigate through the
Caroline Ticec87c1e22009-08-31 21:19:37 +0000615 pointers and struct to find the actual variable of type SomeType.
616
617 The following function does just that. We start by getting
618 the "normal" location for the variable. This will be the location
619 of either the struct __Block_byref_x_VarName or the pointer to the
620 struct __Block_byref_x_VarName.
621
622 The struct will look something like:
623
624 struct __Block_byref_x_VarName {
625 ... <various fields>
626 struct __Block_byref_x_VarName *forwarding;
627 ... <various other fields>
628 SomeType VarName;
629 ... <maybe more fields>
630 };
631
632 If we are given the struct directly (as our starting point) we
633 need to tell the debugger to:
634
635 1). Add the offset of the forwarding field.
636
Dan Gohman4a618822010-02-10 16:03:48 +0000637 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000638 struct to use (the real one may have been copied onto the heap).
639
640 3). Add the offset for the field VarName, to find the actual variable.
641
642 If we started with a pointer to the struct, then we need to
643 dereference that pointer first, before the other steps.
644 Translating this into DWARF ops, we will need to append the following
645 to the current location description for the variable:
646
647 DW_OP_deref -- optional, if we start with a pointer
648 DW_OP_plus_uconst <forward_fld_offset>
649 DW_OP_deref
650 DW_OP_plus_uconst <varName_fld_offset>
651
652 That is what this function does. */
653
Devang Patel930143b2009-11-21 02:48:08 +0000654/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticec87c1e22009-08-31 21:19:37 +0000655/// provided, and generate the DWARF information necessary to find the
656/// actual Block variable (navigating the Block struct) based on the
657/// starting location. Add the DWARF information to the die. For
658/// more information, read large comment just above here.
659///
Devang Patel930143b2009-11-21 02:48:08 +0000660void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000661 unsigned Attribute,
662 const MachineLocation &Location) {
Caroline Ticec87c1e22009-08-31 21:19:37 +0000663 const DIVariable &VD = DV->getVariable();
664 DIType Ty = VD.getType();
665 DIType TmpTy = Ty;
666 unsigned Tag = Ty.getTag();
667 bool isPointer = false;
668
Devang Patel2d9caf92009-11-25 17:36:49 +0000669 StringRef varName = VD.getName();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000670
671 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump14cf8ec2009-09-30 00:08:22 +0000672 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000673 TmpTy = DTy.getTypeDerivedFrom();
674 isPointer = true;
675 }
676
677 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
678
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000679 // Find the __forwarding field and the variable field in the __Block_byref
680 // struct.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000681 DIArray Fields = blockStruct.getTypeArray();
682 DIDescriptor varField = DIDescriptor();
683 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000684
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000685 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
686 DIDescriptor Element = Fields.getElement(i);
687 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel2d9caf92009-11-25 17:36:49 +0000688 StringRef fieldName = DT.getName();
689 if (fieldName == "__forwarding")
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000690 forwardingField = Element;
Devang Patel2d9caf92009-11-25 17:36:49 +0000691 else if (fieldName == varName)
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000692 varField = Element;
693 }
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000694
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000695 // Get the offsets for the forwarding field and the variable field.
Chris Lattner71696ef2010-03-31 06:06:37 +0000696 unsigned forwardingFieldOffset =
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000697 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
Chris Lattner71696ef2010-03-31 06:06:37 +0000698 unsigned varFieldOffset =
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000699 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticec87c1e22009-08-31 21:19:37 +0000700
Mike Stump944fa252009-09-24 23:21:26 +0000701 // Decode the original location, and use that as the start of the byref
702 // variable's location.
Chris Lattner3a383cb2010-04-05 00:13:49 +0000703 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000704 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000705 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000706
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000707 if (Location.isReg()) {
708 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000709 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000710 else {
711 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-11-21 02:48:08 +0000712 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
713 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000714 }
715 } else {
716 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000717 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000718 else {
Devang Patel930143b2009-11-21 02:48:08 +0000719 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
720 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000721 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000722
Devang Patel930143b2009-11-21 02:48:08 +0000723 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000724 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000725
Mike Stump944fa252009-09-24 23:21:26 +0000726 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000727 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000728 if (isPointer)
Devang Patel930143b2009-11-21 02:48:08 +0000729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000730
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000731 // Next add the offset for the '__forwarding' field:
732 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
733 // adding the offset if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000734 if (forwardingFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000735 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
736 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000737 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000738
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000739 // Now dereference the __forwarding field to get to the real __Block_byref
740 // struct: DW_OP_deref.
Devang Patel930143b2009-11-21 02:48:08 +0000741 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000742
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000743 // Now that we've got the real __Block_byref... struct, add the offset
744 // for the variable's field to get to the location of the actual variable:
745 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000746 if (varFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000747 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
748 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000749 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000750
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000751 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000752 addBlock(Die, Attribute, 0, Block);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000753}
754
Devang Patel930143b2009-11-21 02:48:08 +0000755/// addAddress - Add an address attribute to a die based on the location
Bill Wendling2f921f82009-05-15 09:23:25 +0000756/// provided.
Devang Patel930143b2009-11-21 02:48:08 +0000757void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000758 const MachineLocation &Location) {
Chris Lattner3a383cb2010-04-05 00:13:49 +0000759 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling2f921f82009-05-15 09:23:25 +0000760 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000761 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Bill Wendling2f921f82009-05-15 09:23:25 +0000762
763 if (Location.isReg()) {
764 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000765 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000766 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000767 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
768 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000769 }
770 } else {
771 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000772 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000773 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000774 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
775 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000776 }
777
Devang Patel930143b2009-11-21 02:48:08 +0000778 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling2f921f82009-05-15 09:23:25 +0000779 }
780
Devang Patel930143b2009-11-21 02:48:08 +0000781 addBlock(Die, Attribute, 0, Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000782}
783
Devang Patel2b75ed22009-12-10 19:14:49 +0000784/// addToContextOwner - Add Die into the list of its context owner's children.
785void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000786 if (Context.isType()) {
Devang Patel2b75ed22009-12-10 19:14:49 +0000787 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
788 ContextDIE->addChild(Die);
Devang Patel1f4690c2009-12-15 19:16:48 +0000789 } else if (Context.isNameSpace()) {
790 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
791 ContextDIE->addChild(Die);
Devang Patel2b75ed22009-12-10 19:14:49 +0000792 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
793 ContextDIE->addChild(Die);
794 else
795 ModuleCU->addDie(Die);
796}
797
Devang Patelb5b60ea2009-12-10 18:05:33 +0000798/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
799/// given DIType.
800DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
801 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
802 if (TyDIE)
803 return TyDIE;
804
805 // Create new type.
806 TyDIE = new DIE(dwarf::DW_TAG_base_type);
807 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
808 if (Ty.isBasicType())
809 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
810 else if (Ty.isCompositeType())
811 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
812 else {
813 assert(Ty.isDerivedType() && "Unknown kind of DIType");
814 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
815 }
816
Devang Patel2b75ed22009-12-10 19:14:49 +0000817 addToContextOwner(TyDIE, Ty.getContext());
Devang Patelb5b60ea2009-12-10 18:05:33 +0000818 return TyDIE;
819}
820
Devang Patel930143b2009-11-21 02:48:08 +0000821/// addType - Add a new type attribute to the specified entity.
Devang Patel9ccfb642009-12-09 18:24:21 +0000822void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000823 if (!Ty.isValid())
Bill Wendling2f921f82009-05-15 09:23:25 +0000824 return;
825
826 // Check for pre-existence.
Devang Patel9ccfb642009-12-09 18:24:21 +0000827 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling2f921f82009-05-15 09:23:25 +0000828 // If it exists then use the existing value.
Devang Patel930143b2009-11-21 02:48:08 +0000829 if (Entry) {
830 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000831 return;
832 }
833
Bill Wendling2f921f82009-05-15 09:23:25 +0000834 // Construct type.
Devang Patelb5b60ea2009-12-10 18:05:33 +0000835 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling2f921f82009-05-15 09:23:25 +0000836
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000837 // Set up proxy.
838 Entry = createDIEEntry(Buffer);
839 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
840
Devang Patel930143b2009-11-21 02:48:08 +0000841 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000842}
843
Devang Patel930143b2009-11-21 02:48:08 +0000844/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000845void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000846 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000847 StringRef Name = BTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000848 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +0000849 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling2f921f82009-05-15 09:23:25 +0000850 BTy.getEncoding());
851
852 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000853 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000854 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000855 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel930143b2009-11-21 02:48:08 +0000856 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000857}
858
Devang Patel930143b2009-11-21 02:48:08 +0000859/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000860void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000861 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000862 StringRef Name = DTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000863 uint64_t Size = DTy.getSizeInBits() >> 3;
864 unsigned Tag = DTy.getTag();
865
866 // FIXME - Workaround for templates.
867 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
868
869 Buffer.setTag(Tag);
870
871 // Map to main type, void will not have a type.
872 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel9ccfb642009-12-09 18:24:21 +0000873 addType(&Buffer, FromTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000874
875 // Add name if not anonymous or intermediate type.
Devang Patelae466ef2009-11-30 23:56:56 +0000876 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000877 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000878
879 // Add size if non-zero (derived types might be zero-sized.)
880 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000881 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000882
883 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb5b51592009-11-23 18:43:37 +0000884 if (!DTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000885 addSourceLine(&Buffer, &DTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000886}
887
Devang Patel930143b2009-11-21 02:48:08 +0000888/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000889void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000890 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000891 StringRef Name = CTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000892
893 uint64_t Size = CTy.getSizeInBits() >> 3;
894 unsigned Tag = CTy.getTag();
895 Buffer.setTag(Tag);
896
897 switch (Tag) {
898 case dwarf::DW_TAG_vector_type:
899 case dwarf::DW_TAG_array_type:
Devang Patel9ccfb642009-12-09 18:24:21 +0000900 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000901 break;
902 case dwarf::DW_TAG_enumeration_type: {
903 DIArray Elements = CTy.getTypeArray();
904
905 // Add enumerators to enumeration type.
906 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
907 DIE *ElemDie = NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +0000908 DIDescriptor Enum(Elements.getElement(i).getNode());
909 if (Enum.isEnumerator()) {
910 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000911 Buffer.addChild(ElemDie);
Devang Patelfafa1fe2009-10-09 17:51:49 +0000912 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000913 }
914 }
915 break;
916 case dwarf::DW_TAG_subroutine_type: {
917 // Add return type.
918 DIArray Elements = CTy.getTypeArray();
919 DIDescriptor RTy = Elements.getElement(0);
Devang Patel9ccfb642009-12-09 18:24:21 +0000920 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling2f921f82009-05-15 09:23:25 +0000921
922 // Add prototype flag.
Devang Patel930143b2009-11-21 02:48:08 +0000923 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000924
925 // Add arguments.
926 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
927 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
928 DIDescriptor Ty = Elements.getElement(i);
Devang Patel9ccfb642009-12-09 18:24:21 +0000929 addType(Arg, DIType(Ty.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000930 Buffer.addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000931 }
932 }
933 break;
934 case dwarf::DW_TAG_structure_type:
935 case dwarf::DW_TAG_union_type:
936 case dwarf::DW_TAG_class_type: {
937 // Add elements to structure type.
938 DIArray Elements = CTy.getTypeArray();
939
940 // A forward struct declared type may not have elements available.
Devang Patel3b548aa2010-03-08 20:52:55 +0000941 unsigned N = Elements.getNumElements();
942 if (N == 0)
Bill Wendling2f921f82009-05-15 09:23:25 +0000943 break;
944
945 // Add elements to structure type.
Devang Patel3b548aa2010-03-08 20:52:55 +0000946 for (unsigned i = 0; i < N; ++i) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000947 DIDescriptor Element = Elements.getElement(i);
948 DIE *ElemDie = NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +0000949 if (Element.isSubprogram())
Devang Patel525dda02009-12-14 16:18:45 +0000950 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel3b548aa2010-03-08 20:52:55 +0000951 else if (Element.isVariable()) {
Devang Patel160c92d2010-01-30 01:08:30 +0000952 DIVariable DV(Element.getNode());
953 ElemDie = new DIE(dwarf::DW_TAG_variable);
954 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
955 DV.getName());
956 addType(ElemDie, DV.getType());
957 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
958 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
959 addSourceLine(ElemDie, &DV);
Devang Patel3b548aa2010-03-08 20:52:55 +0000960 } else if (Element.isDerivedType())
Devang Patel9ccfb642009-12-09 18:24:21 +0000961 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel3b548aa2010-03-08 20:52:55 +0000962 else
963 continue;
Devang Patel930143b2009-11-21 02:48:08 +0000964 Buffer.addChild(ElemDie);
Bill Wendling2f921f82009-05-15 09:23:25 +0000965 }
966
Devang Patel3082c012009-08-27 23:51:51 +0000967 if (CTy.isAppleBlockExtension())
Devang Patel930143b2009-11-21 02:48:08 +0000968 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000969
970 unsigned RLang = CTy.getRunTimeLang();
971 if (RLang)
Devang Patel930143b2009-11-21 02:48:08 +0000972 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling2f921f82009-05-15 09:23:25 +0000973 dwarf::DW_FORM_data1, RLang);
Devang Patel303a1be2010-01-26 21:16:06 +0000974
975 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel3b548aa2010-03-08 20:52:55 +0000976 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patel303a1be2010-01-26 21:16:06 +0000977 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
978 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling2f921f82009-05-15 09:23:25 +0000979 break;
980 }
981 default:
982 break;
983 }
984
985 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000986 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000987 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000988
Devang Patelaedd6f52010-01-29 18:34:58 +0000989 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling2f921f82009-05-15 09:23:25 +0000990 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
991 // Add size if non-zero (derived types might be zero-sized.)
992 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000993 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000994 else {
995 // Add zero size if it is not a forward declaration.
996 if (CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000997 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000998 else
Devang Patel930143b2009-11-21 02:48:08 +0000999 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling2f921f82009-05-15 09:23:25 +00001000 }
1001
1002 // Add source line info if available.
1003 if (!CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +00001004 addSourceLine(&Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001005 }
1006}
1007
Devang Patel930143b2009-11-21 02:48:08 +00001008/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1009void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling2f921f82009-05-15 09:23:25 +00001010 int64_t L = SR.getLo();
1011 int64_t H = SR.getHi();
1012 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1013
Devang Patel930143b2009-11-21 02:48:08 +00001014 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patelf691df32009-08-14 20:59:16 +00001015 if (L)
Devang Patel930143b2009-11-21 02:48:08 +00001016 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Patel8f046022009-12-04 23:10:24 +00001017 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling2f921f82009-05-15 09:23:25 +00001018
Devang Patel930143b2009-11-21 02:48:08 +00001019 Buffer.addChild(DW_Subrange);
Bill Wendling2f921f82009-05-15 09:23:25 +00001020}
1021
Devang Patel930143b2009-11-21 02:48:08 +00001022/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +00001023void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling2f921f82009-05-15 09:23:25 +00001024 DICompositeType *CTy) {
1025 Buffer.setTag(dwarf::DW_TAG_array_type);
1026 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel930143b2009-11-21 02:48:08 +00001027 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001028
1029 // Emit derived type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001030 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001031 DIArray Elements = CTy->getTypeArray();
1032
Devang Patel92e8c652009-11-21 00:31:03 +00001033 // Get an anonymous type for index type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001034 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel92e8c652009-11-21 00:31:03 +00001035 if (!IdxTy) {
1036 // Construct an anonymous type for index type.
1037 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +00001038 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1039 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel92e8c652009-11-21 00:31:03 +00001040 dwarf::DW_ATE_signed);
Devang Patel9ccfb642009-12-09 18:24:21 +00001041 ModuleCU->addDie(IdxTy);
1042 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel92e8c652009-11-21 00:31:03 +00001043 }
Bill Wendling2f921f82009-05-15 09:23:25 +00001044
1045 // Add subranges to array type.
1046 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1047 DIDescriptor Element = Elements.getElement(i);
1048 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel930143b2009-11-21 02:48:08 +00001049 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001050 }
1051}
1052
Devang Patel930143b2009-11-21 02:48:08 +00001053/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3b548aa2010-03-08 20:52:55 +00001054DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001055 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3b548aa2010-03-08 20:52:55 +00001056 StringRef Name = ETy.getName();
Devang Patel930143b2009-11-21 02:48:08 +00001057 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3b548aa2010-03-08 20:52:55 +00001058 int64_t Value = ETy.getEnumValue();
Devang Patel930143b2009-11-21 02:48:08 +00001059 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +00001060 return Enumerator;
1061}
1062
Devang Patel43ef34d2010-01-05 01:46:14 +00001063/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1064/// printer to not emit usual symbol prefix before the symbol name is used then
1065/// return linkage name after skipping this special LLVM prefix.
1066static StringRef getRealLinkageName(StringRef LinkageName) {
1067 char One = '\1';
1068 if (LinkageName.startswith(StringRef(&One, 1)))
1069 return LinkageName.substr(1);
1070 return LinkageName;
1071}
1072
Devang Patel930143b2009-11-21 02:48:08 +00001073/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel9ccfb642009-12-09 18:24:21 +00001074DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach00e9c612009-11-22 19:20:36 +00001075 // If the global variable was optmized out then no need to create debug info
1076 // entry.
Devang Patelcc11371b2009-11-06 17:58:12 +00001077 if (!GV.getGlobal()) return NULL;
Devang Patel2d9caf92009-11-25 17:36:49 +00001078 if (GV.getDisplayName().empty()) return NULL;
Devang Patel06ce6502009-11-06 01:30:04 +00001079
Bill Wendling2f921f82009-05-15 09:23:25 +00001080 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach042483e2009-11-21 23:12:12 +00001081 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001082 GV.getDisplayName());
1083
Devang Patel2d9caf92009-11-25 17:36:49 +00001084 StringRef LinkageName = GV.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001085 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001086 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001087 getRealLinkageName(LinkageName));
1088
Devang Patel9ccfb642009-12-09 18:24:21 +00001089 addType(GVDie, GV.getType());
Bill Wendling2f921f82009-05-15 09:23:25 +00001090 if (!GV.isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001091 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1092 addSourceLine(GVDie, &GV);
Devang Patel4144a822009-10-05 23:22:08 +00001093
Bill Wendling2f921f82009-05-15 09:23:25 +00001094 return GVDie;
1095}
1096
Devang Patel930143b2009-11-21 02:48:08 +00001097/// createMemberDIE - Create new member DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001098DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001099 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel2d9caf92009-11-25 17:36:49 +00001100 StringRef Name = DT.getName();
1101 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001102 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel2d9caf92009-11-25 17:36:49 +00001103
Devang Patel9ccfb642009-12-09 18:24:21 +00001104 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001105
Devang Patel930143b2009-11-21 02:48:08 +00001106 addSourceLine(MemberDie, &DT);
Bill Wendling2f921f82009-05-15 09:23:25 +00001107
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001108 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patel930143b2009-11-21 02:48:08 +00001109 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel67f56f02009-11-04 22:06:12 +00001110
Bill Wendling2f921f82009-05-15 09:23:25 +00001111 uint64_t Size = DT.getSizeInBits();
Devang Patelf05d5722009-11-04 23:48:00 +00001112 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling2f921f82009-05-15 09:23:25 +00001113
1114 if (Size != FieldSize) {
1115 // Handle bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001116 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1117 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling2f921f82009-05-15 09:23:25 +00001118
1119 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling2f921f82009-05-15 09:23:25 +00001120 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1121 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer2b459982010-01-07 17:50:57 +00001122 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling2f921f82009-05-15 09:23:25 +00001123 Offset -= FieldOffset;
1124
1125 // Maybe we need to work from the other end.
Chris Lattner3a383cb2010-04-05 00:13:49 +00001126 if (Asm->getTargetData().isLittleEndian())
1127 Offset = FieldSize - (Offset + Size);
Devang Patel930143b2009-11-21 02:48:08 +00001128 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling2f921f82009-05-15 09:23:25 +00001129
Devang Patel67f56f02009-11-04 22:06:12 +00001130 // Here WD_AT_data_member_location points to the anonymous
1131 // field that includes this bit field.
Devang Patel930143b2009-11-21 02:48:08 +00001132 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001133
1134 } else
1135 // This is not a bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001136 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001137
Devang Pateld2316892010-02-03 20:08:48 +00001138 if (DT.getTag() == dwarf::DW_TAG_inheritance
1139 && DT.isVirtual()) {
1140
1141 // For C++, virtual base classes are not at fixed offset. Use following
1142 // expression to extract appropriate offset from vtable.
1143 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1144
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001145 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Pateld2316892010-02-03 20:08:48 +00001146 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1147 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1148 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1149 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1150 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1151 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1152 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1153
1154 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1155 VBaseLocationDie);
1156 } else
1157 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001158
1159 if (DT.isProtected())
Devang Pateleb57c592009-12-03 19:11:07 +00001160 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001161 dwarf::DW_ACCESS_protected);
1162 else if (DT.isPrivate())
Devang Pateleb57c592009-12-03 19:11:07 +00001163 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001164 dwarf::DW_ACCESS_private);
Devang Pateleb57c592009-12-03 19:11:07 +00001165 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1166 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1167 dwarf::DW_ACCESS_public);
1168 if (DT.isVirtual())
1169 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1170 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling2f921f82009-05-15 09:23:25 +00001171 return MemberDie;
1172}
1173
Devang Patel525dda02009-12-14 16:18:45 +00001174/// createSubprogramDIE - Create new DIE using SP.
1175DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1176 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1177 if (SPDie)
1178 return SPDie;
1179
1180 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patelf200b392010-03-02 17:58:15 +00001181 // Constructors and operators for anonymous aggregates do not have names.
Devang Pateld0fa3042010-03-02 01:26:20 +00001182 if (!SP.getName().empty())
1183 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling2f921f82009-05-15 09:23:25 +00001184
Devang Patel2d9caf92009-11-25 17:36:49 +00001185 StringRef LinkageName = SP.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001186 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001187 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001188 getRealLinkageName(LinkageName));
1189
Devang Patel930143b2009-11-21 02:48:08 +00001190 addSourceLine(SPDie, &SP);
Bill Wendling2f921f82009-05-15 09:23:25 +00001191
Bill Wendling2f921f82009-05-15 09:23:25 +00001192 // Add prototyped tag, if C or ObjC.
1193 unsigned Lang = SP.getCompileUnit().getLanguage();
1194 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1195 Lang == dwarf::DW_LANG_ObjC)
Devang Patel930143b2009-11-21 02:48:08 +00001196 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001197
1198 // Add Return Type.
Devang Patel236526d2009-12-03 01:25:38 +00001199 DICompositeType SPTy = SP.getType();
1200 DIArray Args = SPTy.getTypeArray();
Bill Wendling2f921f82009-05-15 09:23:25 +00001201 unsigned SPTag = SPTy.getTag();
Devang Pateleb57c592009-12-03 19:11:07 +00001202
Devang Patel3b548aa2010-03-08 20:52:55 +00001203 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel9ccfb642009-12-09 18:24:21 +00001204 addType(SPDie, SPTy);
Devang Patel236526d2009-12-03 01:25:38 +00001205 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001206 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel236526d2009-12-03 01:25:38 +00001207
Devang Pateleb57c592009-12-03 19:11:07 +00001208 unsigned VK = SP.getVirtuality();
1209 if (VK) {
1210 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001211 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Pateleb57c592009-12-03 19:11:07 +00001212 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1213 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1214 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel018b29b2010-01-19 06:19:05 +00001215 ContainingTypeMap.insert(std::make_pair(SPDie,
1216 SP.getContainingType().getNode()));
Devang Pateleb57c592009-12-03 19:11:07 +00001217 }
1218
Devang Patel525dda02009-12-14 16:18:45 +00001219 if (MakeDecl || !SP.isDefinition()) {
Devang Patel930143b2009-11-21 02:48:08 +00001220 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001221
1222 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel236526d2009-12-03 01:25:38 +00001223 // be handled while processing variables.
1224 DICompositeType SPTy = SP.getType();
1225 DIArray Args = SPTy.getTypeArray();
1226 unsigned SPTag = SPTy.getTag();
1227
Bill Wendling2f921f82009-05-15 09:23:25 +00001228 if (SPTag == dwarf::DW_TAG_subroutine_type)
1229 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1230 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel6efc8e52010-02-06 01:02:37 +00001231 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1232 addType(Arg, ATy);
1233 if (ATy.isArtificial())
1234 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel930143b2009-11-21 02:48:08 +00001235 SPDie->addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +00001236 }
1237 }
1238
Devang Patel999b4992010-02-03 19:57:19 +00001239 if (SP.isArtificial())
1240 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1241
Bill Wendling2f921f82009-05-15 09:23:25 +00001242 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001243 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001244 return SPDie;
1245}
1246
Devang Patel4c603b12010-04-01 17:16:48 +00001247/// getUpdatedDbgScope - Find DbgScope assicated with the instruction.
1248/// Update scope hierarchy. Create abstract scope if required.
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001249DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
Chris Lattner8d2fe282010-03-31 05:36:29 +00001250 MDNode *InlinedAt) {
1251 assert(N && "Invalid Scope encoding!");
1252 assert(MI && "Missing machine instruction!");
Devang Patel4c603b12010-04-01 17:16:48 +00001253 bool isAConcreteScope = InlinedAt != 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001254
1255 DbgScope *NScope = NULL;
1256
1257 if (InlinedAt)
1258 NScope = DbgScopeMap.lookup(InlinedAt);
1259 else
1260 NScope = DbgScopeMap.lookup(N);
Chris Lattner8d2fe282010-03-31 05:36:29 +00001261 assert(NScope && "Unable to find working scope!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001262
1263 if (NScope->getFirstInsn())
1264 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001265
1266 DbgScope *Parent = NULL;
Devang Patel4c603b12010-04-01 17:16:48 +00001267 if (isAConcreteScope) {
Devang Patel6875c5eb2009-10-14 21:08:09 +00001268 DILocation IL(InlinedAt);
Jim Grosbach042483e2009-11-21 23:12:12 +00001269 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001270 IL.getOrigLocation().getNode());
Chris Lattner8d2fe282010-03-31 05:36:29 +00001271 assert(Parent && "Unable to find Parent scope!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001272 NScope->setParent(Parent);
Devang Patel930143b2009-11-21 02:48:08 +00001273 Parent->addScope(NScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001274 } else if (DIDescriptor(N).isLexicalBlock()) {
1275 DILexicalBlock DB(N);
Devang Patel3b548aa2010-03-08 20:52:55 +00001276 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1277 NScope->setParent(Parent);
1278 Parent->addScope(NScope);
Devang Patel6875c5eb2009-10-14 21:08:09 +00001279 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001280
Devang Patelcfeaa482009-10-27 20:47:17 +00001281 NScope->setFirstInsn(MI);
Devang Patel75cc16c2009-10-01 20:31:14 +00001282
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001283 if (!Parent && !InlinedAt) {
Devang Patel78319c62009-11-11 00:31:36 +00001284 StringRef SPName = DISubprogram(N).getLinkageName();
Chris Lattner3a383cb2010-04-05 00:13:49 +00001285 if (SPName == Asm->MF->getFunction()->getName())
Devang Patel78319c62009-11-11 00:31:36 +00001286 CurrentFnDbgScope = NScope;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001287 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001288
Devang Patel4c603b12010-04-01 17:16:48 +00001289 if (isAConcreteScope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001290 ConcreteScopes[InlinedAt] = NScope;
1291 getOrCreateAbstractScope(N);
1292 }
1293
Devang Patelcfeaa482009-10-27 20:47:17 +00001294 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001295}
1296
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001297DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
Chris Lattner8d2fe282010-03-31 05:36:29 +00001298 assert(N && "Invalid Scope encoding!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001299
1300 DbgScope *AScope = AbstractScopes.lookup(N);
1301 if (AScope)
1302 return AScope;
Jim Grosbach042483e2009-11-21 23:12:12 +00001303
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001304 DbgScope *Parent = NULL;
1305
1306 DIDescriptor Scope(N);
1307 if (Scope.isLexicalBlock()) {
1308 DILexicalBlock DB(N);
1309 DIDescriptor ParentDesc = DB.getContext();
Devang Patel3b548aa2010-03-08 20:52:55 +00001310 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001311 }
1312
1313 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1314
1315 if (Parent)
Devang Patel930143b2009-11-21 02:48:08 +00001316 Parent->addScope(AScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001317 AScope->setAbstractScope();
1318 AbstractScopes[N] = AScope;
1319 if (DIDescriptor(N).isSubprogram())
1320 AbstractScopesList.push_back(AScope);
1321 return AScope;
1322}
Devang Patel75cc16c2009-10-01 20:31:14 +00001323
Jim Grosbach042483e2009-11-21 23:12:12 +00001324/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel930143b2009-11-21 02:48:08 +00001325/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1326/// If there are global variables in this scope then create and insert
1327/// DIEs for these variables.
1328DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Chris Lattner3a383cb2010-04-05 00:13:49 +00001329 DIE *SPDie = ModuleCU->getDIE(SPNode);
1330 assert(SPDie && "Unable to find subprogram DIE!");
1331 DISubprogram SP(SPNode);
Chris Lattner2c3f4782010-03-13 07:26:18 +00001332
Chris Lattner3a383cb2010-04-05 00:13:49 +00001333 // There is not any need to generate specification DIE for a function
1334 // defined at compile unit level. If a function is defined inside another
1335 // function then gdb prefers the definition at top level and but does not
1336 // expect specification DIE in parent function. So avoid creating
1337 // specification DIE for a function defined inside a function.
1338 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1339 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
1340 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1341
1342 // Add arguments.
1343 DICompositeType SPTy = SP.getType();
1344 DIArray Args = SPTy.getTypeArray();
1345 unsigned SPTag = SPTy.getTag();
1346 if (SPTag == dwarf::DW_TAG_subroutine_type)
1347 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1348 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1349 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1350 addType(Arg, ATy);
1351 if (ATy.isArtificial())
1352 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1353 SPDie->addChild(Arg);
1354 }
1355 DIE *SPDeclDie = SPDie;
1356 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1357 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1358 SPDeclDie);
1359 ModuleCU->addDie(SPDie);
1360 }
1361
1362 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1363 Asm->GetTempSymbol("func_begin", Asm->getFunctionNumber()));
1364 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1365 Asm->GetTempSymbol("func_end", Asm->getFunctionNumber()));
1366 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1367 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
1368 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patel6efc8e52010-02-06 01:02:37 +00001369
Chris Lattner3a383cb2010-04-05 00:13:49 +00001370 if (!DISubprogram(SPNode).isLocalToUnit())
1371 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1372
1373 return SPDie;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001374}
1375
Jim Grosbach042483e2009-11-21 23:12:12 +00001376/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel930143b2009-11-21 02:48:08 +00001377/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1378DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattnere13c3722010-03-09 01:58:53 +00001379 MCSymbol *Start = Scope->getStartLabel();
1380 MCSymbol *End = Scope->getEndLabel();
Devang Patel23b2ae62010-03-29 22:59:58 +00001381 if (Start == 0 || End == 0) return 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001382
Chris Lattnere13c3722010-03-09 01:58:53 +00001383 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1384 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001385
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001386 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1387 if (Scope->isAbstractScope())
1388 return ScopeDIE;
1389
Devang Patel930143b2009-11-21 02:48:08 +00001390 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattner3a383cb2010-04-05 00:13:49 +00001391 Start ? Start : Asm->GetTempSymbol("func_begin",
1392 Asm->getFunctionNumber()));
Devang Patel930143b2009-11-21 02:48:08 +00001393 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattner3a383cb2010-04-05 00:13:49 +00001394 End ? End : Asm->GetTempSymbol("func_end",Asm->getFunctionNumber()));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001395
1396 return ScopeDIE;
1397}
1398
Devang Patel930143b2009-11-21 02:48:08 +00001399/// constructInlinedScopeDIE - This scope represents inlined body of
1400/// a function. Construct DIE to represent this concrete inlined copy
1401/// of the function.
1402DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattnere13c3722010-03-09 01:58:53 +00001403 MCSymbol *StartLabel = Scope->getStartLabel();
1404 MCSymbol *EndLabel = Scope->getEndLabel();
Devang Patel23b2ae62010-03-29 22:59:58 +00001405 if (StartLabel == 0 || EndLabel == 0) return 0;
Chris Lattner54a68762010-03-09 04:48:35 +00001406
Chris Lattnere13c3722010-03-09 01:58:53 +00001407 assert(StartLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001408 "Invalid starting label for an inlined scope!");
Chris Lattnere13c3722010-03-09 01:58:53 +00001409 assert(EndLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001410 "Invalid end label for an inlined scope!");
Devang Patel3b548aa2010-03-08 20:52:55 +00001411 if (!Scope->getScopeNode())
Devang Patelbc97f6b2010-03-08 19:20:38 +00001412 return NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +00001413 DIScope DS(Scope->getScopeNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001414 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1415
1416 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001417 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Chris Lattner8d2fe282010-03-31 05:36:29 +00001418 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patel930143b2009-11-21 02:48:08 +00001419 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001420 dwarf::DW_FORM_ref4, OriginDIE);
1421
Chris Lattner085b6522010-03-09 00:31:02 +00001422 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnere13c3722010-03-09 01:58:53 +00001423 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001424
1425 InlinedSubprogramDIEs.insert(OriginDIE);
1426
1427 // Track the start label for this inlined function.
Devang Patel018b29b2010-01-19 06:19:05 +00001428 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001429 I = InlineInfo.find(InlinedSP.getNode());
1430
1431 if (I == InlineInfo.end()) {
Chris Lattner085b6522010-03-09 00:31:02 +00001432 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbach00e9c612009-11-22 19:20:36 +00001433 ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001434 InlinedSPNodes.push_back(InlinedSP.getNode());
1435 } else
Chris Lattner085b6522010-03-09 00:31:02 +00001436 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001437
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001438 DILocation DL(Scope->getInlinedAt());
Devang Patel930143b2009-11-21 02:48:08 +00001439 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1440 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001441
1442 return ScopeDIE;
1443}
1444
Devang Patel930143b2009-11-21 02:48:08 +00001445
1446/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel9ccfb642009-12-09 18:24:21 +00001447DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001448 // Get the descriptor.
1449 const DIVariable &VD = DV->getVariable();
Devang Patel2d9caf92009-11-25 17:36:49 +00001450 StringRef Name = VD.getName();
1451 if (Name.empty())
Devang Patel97f99fa2009-11-13 02:25:26 +00001452 return NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001453
1454 // Translate tag to proper Dwarf tag. The result variable is dropped for
1455 // now.
1456 unsigned Tag;
1457 switch (VD.getTag()) {
1458 case dwarf::DW_TAG_return_variable:
1459 return NULL;
1460 case dwarf::DW_TAG_arg_variable:
1461 Tag = dwarf::DW_TAG_formal_parameter;
1462 break;
1463 case dwarf::DW_TAG_auto_variable: // fall thru
1464 default:
1465 Tag = dwarf::DW_TAG_variable;
1466 break;
1467 }
1468
1469 // Define variable debug information entry.
1470 DIE *VariableDie = new DIE(Tag);
1471
1472
1473 DIE *AbsDIE = NULL;
1474 if (DbgVariable *AV = DV->getAbstractVariable())
1475 AbsDIE = AV->getDIE();
Jim Grosbach042483e2009-11-21 23:12:12 +00001476
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001477 if (AbsDIE) {
1478 DIScope DS(Scope->getScopeNode());
1479 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001480 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbar75b4d352009-11-11 03:09:50 +00001481 (void) OriginSPDIE;
Chris Lattner8d2fe282010-03-31 05:36:29 +00001482 assert(OriginSPDIE && "Unable to find Origin DIE for the SP!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001483 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
Chris Lattner8d2fe282010-03-31 05:36:29 +00001484 assert(AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel930143b2009-11-21 02:48:08 +00001485 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001486 dwarf::DW_FORM_ref4, AbsDIE);
1487 }
1488 else {
Devang Patel930143b2009-11-21 02:48:08 +00001489 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1490 addSourceLine(VariableDie, &VD);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001491
1492 // Add variable type.
Jim Grosbach042483e2009-11-21 23:12:12 +00001493 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001494 // addresses instead.
1495 if (VD.isBlockByrefVariable())
Devang Patel9ccfb642009-12-09 18:24:21 +00001496 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001497 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001498 addType(VariableDie, VD.getType());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001499 }
1500
1501 // Add variable address.
1502 if (!Scope->isAbstractScope()) {
Devang Patela3e9c9c2010-03-15 18:33:46 +00001503 // Check if variable is described by DBG_VALUE instruction.
1504 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1505 if (DbgValueInsn->getNumOperands() == 3) {
1506 // FIXME : Handle getNumOperands != 3
1507 if (DbgValueInsn->getOperand(0).getType()
1508 == MachineOperand::MO_Register
1509 && DbgValueInsn->getOperand(0).getReg()) {
1510 MachineLocation Location;
1511 Location.set(DbgValueInsn->getOperand(0).getReg());
1512 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel23b2ae62010-03-29 22:59:58 +00001513 if (MCSymbol *VS = DV->getDbgValueLabel())
1514 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1515 VS);
Devang Patela3e9c9c2010-03-15 18:33:46 +00001516 } else if (DbgValueInsn->getOperand(0).getType() ==
1517 MachineOperand::MO_Immediate) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001518 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patela3e9c9c2010-03-15 18:33:46 +00001519 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1520 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1521 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
Devang Patel23b2ae62010-03-29 22:59:58 +00001522 if (MCSymbol *VS = DV->getDbgValueLabel())
1523 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1524 VS);
Devang Patela3e9c9c2010-03-15 18:33:46 +00001525 } else {
1526 //FIXME : Handle other operand types.
1527 delete VariableDie;
1528 return NULL;
1529 }
1530 }
1531 } else {
1532 MachineLocation Location;
1533 unsigned FrameReg;
Chris Lattner3a383cb2010-04-05 00:13:49 +00001534 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1535 int Offset = RI->getFrameIndexReference(*Asm->MF, DV->getFrameIndex(),
Chris Lattner71696ef2010-03-31 06:06:37 +00001536 FrameReg);
Devang Patela3e9c9c2010-03-15 18:33:46 +00001537 Location.set(FrameReg, Offset);
1538
1539 if (VD.hasComplexAddress())
1540 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1541 else if (VD.isBlockByrefVariable())
1542 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1543 else
1544 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1545 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001546 }
Devang Patel6efc8e52010-02-06 01:02:37 +00001547
1548 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1549 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001550 DV->setDIE(VariableDie);
1551 return VariableDie;
1552
1553}
Devang Patel930143b2009-11-21 02:48:08 +00001554
Devang Patel04d2f2d2009-11-24 01:14:22 +00001555void DwarfDebug::addPubTypes(DISubprogram SP) {
1556 DICompositeType SPTy = SP.getType();
1557 unsigned SPTag = SPTy.getTag();
1558 if (SPTag != dwarf::DW_TAG_subroutine_type)
1559 return;
1560
1561 DIArray Args = SPTy.getTypeArray();
Devang Patel04d2f2d2009-11-24 01:14:22 +00001562 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1563 DIType ATy(Args.getElement(i).getNode());
Devang Patel3b548aa2010-03-08 20:52:55 +00001564 if (!ATy.isValid())
Devang Patel04d2f2d2009-11-24 01:14:22 +00001565 continue;
1566 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel3b548aa2010-03-08 20:52:55 +00001567 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patel04d2f2d2009-11-24 01:14:22 +00001568 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1569 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1570 }
1571 }
1572}
1573
Devang Patel930143b2009-11-21 02:48:08 +00001574/// constructScopeDIE - Construct a DIE for this scope.
1575DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3b548aa2010-03-08 20:52:55 +00001576 if (!Scope || !Scope->getScopeNode())
1577 return NULL;
1578
1579 DIScope DS(Scope->getScopeNode());
1580 DIE *ScopeDIE = NULL;
1581 if (Scope->getInlinedAt())
1582 ScopeDIE = constructInlinedScopeDIE(Scope);
1583 else if (DS.isSubprogram()) {
1584 if (Scope->isAbstractScope())
1585 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1586 else
1587 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1588 }
Devang Patel23b2ae62010-03-29 22:59:58 +00001589 else
Devang Patel3b548aa2010-03-08 20:52:55 +00001590 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel23b2ae62010-03-29 22:59:58 +00001591 if (!ScopeDIE) return NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +00001592
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001593 // Add variables to scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001594 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001595 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel9ccfb642009-12-09 18:24:21 +00001596 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach042483e2009-11-21 23:12:12 +00001597 if (VariableDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001598 ScopeDIE->addChild(VariableDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001599 }
1600
1601 // Add nested scopes.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001602 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001603 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1604 // Define the Scope debug information entry.
Devang Patel930143b2009-11-21 02:48:08 +00001605 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach042483e2009-11-21 23:12:12 +00001606 if (NestedDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001607 ScopeDIE->addChild(NestedDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001608 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00001609
1610 if (DS.isSubprogram())
1611 addPubTypes(DISubprogram(DS.getNode()));
1612
1613 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001614}
1615
Bill Wendling2b128d72009-05-20 23:19:06 +00001616/// GetOrCreateSourceID - Look up the source id with the given directory and
1617/// source file names. If none currently exists, create a new id and insert it
1618/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1619/// maps as well.
Chris Lattner71696ef2010-03-31 06:06:37 +00001620unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName){
Bill Wendling2b128d72009-05-20 23:19:06 +00001621 unsigned DId;
1622 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1623 if (DI != DirectoryIdMap.end()) {
1624 DId = DI->getValue();
1625 } else {
1626 DId = DirectoryNames.size() + 1;
1627 DirectoryIdMap[DirName] = DId;
1628 DirectoryNames.push_back(DirName);
1629 }
1630
1631 unsigned FId;
1632 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1633 if (FI != SourceFileIdMap.end()) {
1634 FId = FI->getValue();
1635 } else {
1636 FId = SourceFileNames.size() + 1;
1637 SourceFileIdMap[FileName] = FId;
1638 SourceFileNames.push_back(FileName);
1639 }
1640
1641 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1642 SourceIdMap.find(std::make_pair(DId, FId));
1643 if (SI != SourceIdMap.end())
1644 return SI->second;
1645
1646 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1647 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1648 SourceIds.push_back(std::make_pair(DId, FId));
1649
1650 return SrcId;
1651}
1652
Devang Patel1f4690c2009-12-15 19:16:48 +00001653/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1654DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1655 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1656 if (NDie)
1657 return NDie;
1658 NDie = new DIE(dwarf::DW_TAG_namespace);
1659 ModuleCU->insertDIE(NS.getNode(), NDie);
1660 if (!NS.getName().empty())
1661 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1662 addSourceLine(NDie, &NS);
1663 addToContextOwner(NDie, NS.getContext());
1664 return NDie;
1665}
1666
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001667void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001668 DICompileUnit DIUnit(N);
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001669 // Use first compile unit marked as isMain as the compile unit for this
1670 // module.
1671 if (ModuleCU || !DIUnit.isMain())
1672 return;
Devang Patel2d9caf92009-11-25 17:36:49 +00001673 StringRef FN = DIUnit.getFilename();
1674 StringRef Dir = DIUnit.getDirectory();
Devang Patelb2969422009-09-29 18:40:58 +00001675 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendling2b128d72009-05-20 23:19:06 +00001676
1677 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel930143b2009-11-21 02:48:08 +00001678 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001679 DIUnit.getProducer());
Devang Patel930143b2009-11-21 02:48:08 +00001680 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendling2b128d72009-05-20 23:19:06 +00001681 DIUnit.getLanguage());
Devang Patel930143b2009-11-21 02:48:08 +00001682 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Chris Lattner6629ca92010-04-04 22:59:04 +00001683 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, TextSectionSym);
Devang Pateld22ed622010-03-22 23:11:36 +00001684 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnera179b522010-04-04 19:25:43 +00001685 Asm->GetTempSymbol("text_end"));
Devang Pateld22ed622010-03-22 23:11:36 +00001686 // DW_AT_stmt_list is a offset of line number information for this
1687 // compile unit in debug_line section. It is always zero when only one
1688 // compile unit is emitted in one object file.
1689 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendling2b128d72009-05-20 23:19:06 +00001690
Devang Patel2d9caf92009-11-25 17:36:49 +00001691 if (!Dir.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001692 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendling2b128d72009-05-20 23:19:06 +00001693 if (DIUnit.isOptimized())
Devang Patel930143b2009-11-21 02:48:08 +00001694 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendling2b128d72009-05-20 23:19:06 +00001695
Devang Patel2d9caf92009-11-25 17:36:49 +00001696 StringRef Flags = DIUnit.getFlags();
1697 if (!Flags.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001698 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendling2b128d72009-05-20 23:19:06 +00001699
1700 unsigned RVer = DIUnit.getRunTimeVersion();
1701 if (RVer)
Devang Patel930143b2009-11-21 02:48:08 +00001702 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +00001703 dwarf::DW_FORM_data1, RVer);
1704
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001705 assert(!ModuleCU &&
1706 "ModuleCU assigned since the top of constructCompileUnit");
1707 ModuleCU = new CompileUnit(ID, Die);
Bill Wendling2b128d72009-05-20 23:19:06 +00001708}
1709
Devang Patel930143b2009-11-21 02:48:08 +00001710void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001711 DIGlobalVariable DI_GV(N);
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001712
Devang Patelf5d53602009-09-04 23:59:07 +00001713 // If debug information is malformed then ignore it.
1714 if (DI_GV.Verify() == false)
1715 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001716
1717 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001718 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel0751a282009-06-26 01:49:18 +00001719 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001720
Devang Patel9ccfb642009-12-09 18:24:21 +00001721 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel2eec32d2009-12-10 23:25:41 +00001722 if (!VariableDie)
1723 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001724
Bill Wendling2b128d72009-05-20 23:19:06 +00001725 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001726 ModuleCU->insertDIE(N, VariableDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001727
1728 // Add to context owner.
Devang Patel89880c82010-01-15 01:12:22 +00001729 DIDescriptor GVContext = DI_GV.getContext();
1730 // Do not create specification DIE if context is either compile unit
1731 // or a subprogram.
Chris Lattner71696ef2010-03-31 06:06:37 +00001732 if (DI_GV.isDefinition() && !GVContext.isCompileUnit() &&
1733 !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel1f4690c2009-12-15 19:16:48 +00001734 // Create specification DIE.
1735 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1736 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1737 dwarf::DW_FORM_ref4, VariableDie);
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001738 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel1f4690c2009-12-15 19:16:48 +00001739 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner8dcf41e2010-03-08 22:31:46 +00001740 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner9e4cafe2010-03-12 21:09:07 +00001741 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001742 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patelce25dd72010-02-09 01:58:33 +00001743 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel1f4690c2009-12-15 19:16:48 +00001744 ModuleCU->addDie(VariableSpecDIE);
1745 } else {
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001746 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel1f4690c2009-12-15 19:16:48 +00001747 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner8dcf41e2010-03-08 22:31:46 +00001748 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner9e4cafe2010-03-12 21:09:07 +00001749 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001750 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1751 }
Devang Patel89880c82010-01-15 01:12:22 +00001752 addToContextOwner(VariableDie, GVContext);
Devang Patel2b75ed22009-12-10 19:14:49 +00001753
Bill Wendling2b128d72009-05-20 23:19:06 +00001754 // Expose as global. FIXME - need to check external flag.
Devang Patel930143b2009-11-21 02:48:08 +00001755 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001756
1757 DIType GTy = DI_GV.getType();
Devang Patel2d9caf92009-11-25 17:36:49 +00001758 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel04d2f2d2009-11-24 01:14:22 +00001759 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
Chris Lattner8d2fe282010-03-31 05:36:29 +00001760 assert(Entry && "Missing global type!");
Devang Patel04d2f2d2009-11-24 01:14:22 +00001761 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1762 }
Devang Patel0751a282009-06-26 01:49:18 +00001763 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001764}
1765
Devang Patel930143b2009-11-21 02:48:08 +00001766void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001767 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +00001768
Stuart Hastings7f89a0a2010-03-31 23:08:46 +00001769 // Check for pre-existence.
1770 if (ModuleCU->getDIE(N))
1771 return;
1772
Bill Wendling2b128d72009-05-20 23:19:06 +00001773 if (!SP.isDefinition())
1774 // This is a method declaration which will be handled while constructing
1775 // class type.
Devang Patel0751a282009-06-26 01:49:18 +00001776 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001777
Stuart Hastings7f89a0a2010-03-31 23:08:46 +00001778 DIE *SubprogramDie = createSubprogramDIE(SP);
1779
1780 // Add to map.
1781 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001782
1783 // Add to context owner.
Devang Patel1f4690c2009-12-15 19:16:48 +00001784 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +00001785
Bill Wendling2b128d72009-05-20 23:19:06 +00001786 // Expose as global.
Devang Patel930143b2009-11-21 02:48:08 +00001787 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001788
Devang Patel0751a282009-06-26 01:49:18 +00001789 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001790}
1791
Devang Patel930143b2009-11-21 02:48:08 +00001792/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbarbe22ec42009-09-19 20:40:14 +00001793/// content. Create global DIEs and emit initial debug info sections.
1794/// This is inovked by the target AsmPrinter.
Chris Lattner11980022010-04-04 07:48:20 +00001795void DwarfDebug::beginModule(Module *M) {
Chris Lattner7cfa70e2010-04-05 02:19:28 +00001796 MMI = Asm->MMI;
Devang Pateld41f1192009-11-11 19:55:08 +00001797
Chris Lattner47879752010-03-29 20:38:20 +00001798 TimeRegion Timer(DebugTimer);
Chris Lattner7cfa70e2010-04-05 02:19:28 +00001799
Devang Patel63524442009-07-30 18:56:46 +00001800 DebugInfoFinder DbgFinder;
1801 DbgFinder.processModule(*M);
Devang Patel0751a282009-06-26 01:49:18 +00001802
Chris Lattner7cfa70e2010-04-05 02:19:28 +00001803 bool HasDebugInfo = false;
1804
1805 // Scan all the compile-units to see if there are any marked as the main unit.
1806 // if not, we do not generate debug info.
1807 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1808 E = DbgFinder.compile_unit_end(); I != E; ++I) {
1809 if (DICompileUnit(*I).isMain()) {
1810 HasDebugInfo = true;
1811 break;
1812 }
1813 }
1814
1815 if (!HasDebugInfo) return;
1816
1817 // Tell MMI that we have debug info.
1818 MMI->setDebugInfoAvailability(true);
1819
Chris Lattnerd442aa32010-04-04 23:17:54 +00001820 // Emit initial sections.
Chris Lattner7cfa70e2010-04-05 02:19:28 +00001821 EmitSectionLabels();
Chris Lattnerd442aa32010-04-04 23:17:54 +00001822
Bill Wendling2b128d72009-05-20 23:19:06 +00001823 // Create all the compile unit DIEs.
Devang Patel63524442009-07-30 18:56:46 +00001824 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1825 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001826 constructCompileUnit(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001827
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001828 // Create DIEs for each subprogram.
Devang Patel63524442009-07-30 18:56:46 +00001829 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1830 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001831 constructSubprogramDIE(*I);
Devang Patel0751a282009-06-26 01:49:18 +00001832
Devang Patel2b75ed22009-12-10 19:14:49 +00001833 // Create DIEs for each global variable.
1834 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1835 E = DbgFinder.global_variable_end(); I != E; ++I)
1836 constructGlobalVariableDIE(*I);
1837
Bill Wendling2b128d72009-05-20 23:19:06 +00001838 // Prime section data.
Chris Lattner5e693ed2009-07-28 03:13:23 +00001839 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +00001840
1841 // Print out .file directives to specify files for .loc directives. These are
1842 // printed out early so that they precede any .loc directives.
Chris Lattner3a383cb2010-04-05 00:13:49 +00001843 if (Asm->MAI->hasDotLocAndDotFile()) {
Bill Wendling2b128d72009-05-20 23:19:06 +00001844 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1845 // Remember source id starts at 1.
1846 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00001847 // FIXME: don't use sys::path for this! This should not depend on the
1848 // host.
Bill Wendling2b128d72009-05-20 23:19:06 +00001849 sys::Path FullPath(getSourceDirectoryName(Id.first));
1850 bool AppendOk =
1851 FullPath.appendComponent(getSourceFileName(Id.second));
1852 assert(AppendOk && "Could not append filename to directory!");
1853 AppendOk = false;
Chris Lattner601ef332010-01-25 18:58:59 +00001854 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendling2b128d72009-05-20 23:19:06 +00001855 }
1856 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001857}
1858
Devang Patel930143b2009-11-21 02:48:08 +00001859/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendling2b128d72009-05-20 23:19:06 +00001860///
Devang Patel930143b2009-11-21 02:48:08 +00001861void DwarfDebug::endModule() {
Devang Pateld859d862009-10-06 00:03:14 +00001862 if (!ModuleCU)
Bill Wendling2b128d72009-05-20 23:19:06 +00001863 return;
1864
Chris Lattner47879752010-03-29 20:38:20 +00001865 TimeRegion Timer(DebugTimer);
Bill Wendling2b128d72009-05-20 23:19:06 +00001866
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001867 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1868 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1869 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1870 DIE *ISP = *AI;
Devang Patel930143b2009-11-21 02:48:08 +00001871 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001872 }
1873
Devang Patel236526d2009-12-03 01:25:38 +00001874 // Insert top level DIEs.
1875 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1876 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1877 ModuleCU->getCUDie()->addChild(*TI);
1878
Devang Patel018b29b2010-01-19 06:19:05 +00001879 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Pateleb57c592009-12-03 19:11:07 +00001880 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1881 DIE *SPDie = CI->first;
1882 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1883 if (!N) continue;
1884 DIE *NDie = ModuleCU->getDIE(N);
1885 if (!NDie) continue;
1886 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel2108ee02010-01-15 00:26:31 +00001887 // FIXME - This is not the correct approach.
Chris Lattner71696ef2010-03-31 06:06:37 +00001888 //addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie
Devang Pateleb57c592009-12-03 19:11:07 +00001889 }
1890
Bill Wendling2b128d72009-05-20 23:19:06 +00001891 // Standard sections final addresses.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001892 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnera179b522010-04-04 19:25:43 +00001893 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001894 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnera179b522010-04-04 19:25:43 +00001895 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendling2b128d72009-05-20 23:19:06 +00001896
1897 // End text sections.
1898 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001899 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattnera179b522010-04-04 19:25:43 +00001900 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", i));
Bill Wendling2b128d72009-05-20 23:19:06 +00001901 }
1902
1903 // Emit common frame information.
Devang Patel930143b2009-11-21 02:48:08 +00001904 emitCommonDebugFrame();
Bill Wendling2b128d72009-05-20 23:19:06 +00001905
1906 // Emit function debug frame information
1907 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1908 E = DebugFrames.end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001909 emitFunctionDebugFrame(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001910
1911 // Compute DIE offsets and sizes.
Devang Patel930143b2009-11-21 02:48:08 +00001912 computeSizeAndOffsets();
Bill Wendling2b128d72009-05-20 23:19:06 +00001913
1914 // Emit all the DIEs into a debug info section
Devang Patel930143b2009-11-21 02:48:08 +00001915 emitDebugInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001916
1917 // Corresponding abbreviations into a abbrev section.
Devang Patel930143b2009-11-21 02:48:08 +00001918 emitAbbreviations();
Bill Wendling2b128d72009-05-20 23:19:06 +00001919
1920 // Emit source line correspondence into a debug line section.
Devang Patel930143b2009-11-21 02:48:08 +00001921 emitDebugLines();
Bill Wendling2b128d72009-05-20 23:19:06 +00001922
1923 // Emit info into a debug pubnames section.
Devang Patel930143b2009-11-21 02:48:08 +00001924 emitDebugPubNames();
Bill Wendling2b128d72009-05-20 23:19:06 +00001925
Devang Patel04d2f2d2009-11-24 01:14:22 +00001926 // Emit info into a debug pubtypes section.
1927 emitDebugPubTypes();
1928
Bill Wendling2b128d72009-05-20 23:19:06 +00001929 // Emit info into a debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00001930 emitDebugLoc();
Bill Wendling2b128d72009-05-20 23:19:06 +00001931
1932 // Emit info into a debug aranges section.
1933 EmitDebugARanges();
1934
1935 // Emit info into a debug ranges section.
Devang Patel930143b2009-11-21 02:48:08 +00001936 emitDebugRanges();
Bill Wendling2b128d72009-05-20 23:19:06 +00001937
1938 // Emit info into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00001939 emitDebugMacInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001940
1941 // Emit inline info.
Devang Patel930143b2009-11-21 02:48:08 +00001942 emitDebugInlineInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001943
Chris Lattnerb7aa9522010-03-13 02:17:42 +00001944 // Emit info into a debug str section.
1945 emitDebugStr();
1946
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001947 delete ModuleCU;
1948 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendling2b128d72009-05-20 23:19:06 +00001949}
1950
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001951/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach00e9c612009-11-22 19:20:36 +00001952DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1953 unsigned FrameIdx,
Chris Lattner915c5f92010-04-02 19:42:39 +00001954 DebugLoc ScopeLoc) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001955
1956 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1957 if (AbsDbgVariable)
1958 return AbsDbgVariable;
1959
Chris Lattner915c5f92010-04-02 19:42:39 +00001960 LLVMContext &Ctx = Var.getNode()->getContext();
1961 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001962 if (!Scope)
1963 return NULL;
1964
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001965 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
1966 NULL /* No more-abstract variable*/);
Devang Patel930143b2009-11-21 02:48:08 +00001967 Scope->addVariable(AbsDbgVariable);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001968 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1969 return AbsDbgVariable;
1970}
1971
Devang Patela3e9c9c2010-03-15 18:33:46 +00001972/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1973/// FIXME : Refactor findAbstractVariable.
1974DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1975 const MachineInstr *MI,
Chris Lattner915c5f92010-04-02 19:42:39 +00001976 DebugLoc ScopeLoc) {
Devang Patela3e9c9c2010-03-15 18:33:46 +00001977
1978 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1979 if (AbsDbgVariable)
1980 return AbsDbgVariable;
1981
Chris Lattner915c5f92010-04-02 19:42:39 +00001982 LLVMContext &Ctx = Var.getNode()->getContext();
1983 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patela3e9c9c2010-03-15 18:33:46 +00001984 if (!Scope)
1985 return NULL;
1986
Devang Patel23b2ae62010-03-29 22:59:58 +00001987 AbsDbgVariable = new DbgVariable(Var, MI,
Devang Patela3e9c9c2010-03-15 18:33:46 +00001988 NULL /* No more-abstract variable*/);
1989 Scope->addVariable(AbsDbgVariable);
1990 AbstractVariables[Var.getNode()] = AbsDbgVariable;
Devang Patel23b2ae62010-03-29 22:59:58 +00001991 DbgValueStartMap[MI] = AbsDbgVariable;
Devang Patela3e9c9c2010-03-15 18:33:46 +00001992 return AbsDbgVariable;
1993}
1994
Devang Patel930143b2009-11-21 02:48:08 +00001995/// collectVariableInfo - Populate DbgScope entries with variables' info.
1996void DwarfDebug::collectVariableInfo() {
Devang Pateldf45c7f2009-10-09 22:42:28 +00001997 if (!MMI) return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001998
Chris Lattner3a383cb2010-04-05 00:13:49 +00001999 const LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Chris Lattner915c5f92010-04-02 19:42:39 +00002000
Devang Patel475d32a2009-10-06 01:26:37 +00002001 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
2002 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
2003 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelac277eb2010-01-22 22:52:10 +00002004 MDNode *Var = VI->first;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002005 if (!Var) continue;
Chris Lattner915c5f92010-04-02 19:42:39 +00002006 DIVariable DV(Var);
2007 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002008
Chris Lattner915c5f92010-04-02 19:42:39 +00002009 DbgScope *Scope = 0;
2010 if (MDNode *IA = VP.second.getInlinedAt(Ctx))
2011 Scope = ConcreteScopes.lookup(IA);
2012 if (Scope == 0)
2013 Scope = DbgScopeMap.lookup(VP.second.getScope(Ctx));
2014
Devang Patelcdb7d442009-11-10 23:20:04 +00002015 // If variable scope is not found then skip this variable.
Chris Lattner915c5f92010-04-02 19:42:39 +00002016 if (Scope == 0)
Devang Patelcdb7d442009-11-10 23:20:04 +00002017 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002018
Chris Lattner915c5f92010-04-02 19:42:39 +00002019 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, VP.second);
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002020 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patel930143b2009-11-21 02:48:08 +00002021 Scope->addVariable(RegVar);
Devang Patel475d32a2009-10-06 01:26:37 +00002022 }
Devang Patela3e9c9c2010-03-15 18:33:46 +00002023
2024 // Collect variable information from DBG_VALUE machine instructions;
Chris Lattner3a383cb2010-04-05 00:13:49 +00002025 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patela3e9c9c2010-03-15 18:33:46 +00002026 I != E; ++I) {
2027 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2028 II != IE; ++II) {
2029 const MachineInstr *MInsn = II;
Chris Lattner848c7d22010-03-31 05:39:57 +00002030 if (!MInsn->isDebugValue())
Devang Patela3e9c9c2010-03-15 18:33:46 +00002031 continue;
Devang Patel23b2ae62010-03-29 22:59:58 +00002032
Devang Patela3e9c9c2010-03-15 18:33:46 +00002033 // FIXME : Lift this restriction.
2034 if (MInsn->getNumOperands() != 3)
2035 continue;
Chris Lattner009de332010-03-31 03:34:40 +00002036 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands()
2037 - 1).getMetadata()));
Devang Patela3e9c9c2010-03-15 18:33:46 +00002038 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2039 // FIXME Handle inlined subroutine arguments.
2040 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2041 CurrentFnDbgScope->addVariable(ArgVar);
Devang Patel23b2ae62010-03-29 22:59:58 +00002042 DbgValueStartMap[MInsn] = ArgVar;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002043 continue;
2044 }
2045
2046 DebugLoc DL = MInsn->getDebugLoc();
2047 if (DL.isUnknown()) continue;
Chris Lattner915c5f92010-04-02 19:42:39 +00002048 DbgScope *Scope = 0;
2049 if (MDNode *IA = DL.getInlinedAt(Ctx))
2050 Scope = ConcreteScopes.lookup(IA);
2051 if (Scope == 0)
2052 Scope = DbgScopeMap.lookup(DL.getScope(Ctx));
2053
Devang Patela3e9c9c2010-03-15 18:33:46 +00002054 // If variable scope is not found then skip this variable.
Chris Lattner915c5f92010-04-02 19:42:39 +00002055 if (Scope == 0)
Devang Patela3e9c9c2010-03-15 18:33:46 +00002056 continue;
2057
Chris Lattner915c5f92010-04-02 19:42:39 +00002058 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn, DL);
Devang Patela3e9c9c2010-03-15 18:33:46 +00002059 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
Devang Patel23b2ae62010-03-29 22:59:58 +00002060 DbgValueStartMap[MInsn] = RegVar;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002061 Scope->addVariable(RegVar);
2062 }
2063 }
Devang Patel475d32a2009-10-06 01:26:37 +00002064}
2065
Devang Patelbd477be2010-03-29 17:20:31 +00002066/// beginScope - Process beginning of a scope.
2067void DwarfDebug::beginScope(const MachineInstr *MI) {
Devang Patelbd477be2010-03-29 17:20:31 +00002068 // Check location.
2069 DebugLoc DL = MI->getDebugLoc();
2070 if (DL.isUnknown())
2071 return;
Devang Patelbd477be2010-03-29 17:20:31 +00002072
2073 // Check and update last known location info.
Chris Lattner915c5f92010-04-02 19:42:39 +00002074 if (DL == PrevInstLoc)
2075 return;
2076
Chris Lattner3a383cb2010-04-05 00:13:49 +00002077 MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
Chris Lattner915c5f92010-04-02 19:42:39 +00002078
2079 // FIXME: Should only verify each scope once!
2080 if (!DIScope(Scope).Verify())
Devang Patelbd477be2010-03-29 17:20:31 +00002081 return;
Devang Patelbd477be2010-03-29 17:20:31 +00002082
Devang Patel23b2ae62010-03-29 22:59:58 +00002083 // DBG_VALUE instruction establishes new value.
Chris Lattner848c7d22010-03-31 05:39:57 +00002084 if (MI->isDebugValue()) {
Devang Patel23b2ae62010-03-29 22:59:58 +00002085 DenseMap<const MachineInstr *, DbgVariable *>::iterator DI
2086 = DbgValueStartMap.find(MI);
2087 if (DI != DbgValueStartMap.end()) {
Chris Lattner915c5f92010-04-02 19:42:39 +00002088 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2089 PrevInstLoc = DL;
Devang Patel23b2ae62010-03-29 22:59:58 +00002090 DI->second->setDbgValueLabel(Label);
2091 }
Devang Patel67d94ab2010-03-30 18:07:00 +00002092 return;
Devang Patel23b2ae62010-03-29 22:59:58 +00002093 }
2094
Devang Patelbd477be2010-03-29 17:20:31 +00002095 // Emit a label to indicate location change. This is used for line
2096 // table even if this instruction does start a new scope.
Chris Lattner915c5f92010-04-02 19:42:39 +00002097 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2098 PrevInstLoc = DL;
Devang Patelbd477be2010-03-29 17:20:31 +00002099
2100 // update DbgScope if this instruction starts a new scope.
Devang Patel8db360d2009-10-06 01:50:42 +00002101 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2102 if (I == DbgScopeBeginMap.end())
2103 return;
Devang Patelbd477be2010-03-29 17:20:31 +00002104
Dan Gohman3650f4e2009-11-23 21:30:55 +00002105 ScopeVector &SD = I->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002106 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00002107 SDI != SDE; ++SDI)
Chris Lattnerba35a672010-03-09 04:54:43 +00002108 (*SDI)->setStartLabel(Label);
Devang Patel8db360d2009-10-06 01:50:42 +00002109}
2110
Devang Patel930143b2009-11-21 02:48:08 +00002111/// endScope - Process end of a scope.
2112void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patelbd477be2010-03-29 17:20:31 +00002113 // Ignore DBG_VALUE instruction.
Chris Lattner848c7d22010-03-31 05:39:57 +00002114 if (MI->isDebugValue())
Devang Patelbd477be2010-03-29 17:20:31 +00002115 return;
2116
2117 // Check location.
2118 DebugLoc DL = MI->getDebugLoc();
2119 if (DL.isUnknown())
2120 return;
Chris Lattner915c5f92010-04-02 19:42:39 +00002121
Devang Patelbd477be2010-03-29 17:20:31 +00002122 // Emit a label and update DbgScope if this instruction ends a scope.
Devang Patel8db360d2009-10-06 01:50:42 +00002123 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel7d838bb2009-10-06 03:15:38 +00002124 if (I == DbgScopeEndMap.end())
Devang Patel8db360d2009-10-06 01:50:42 +00002125 return;
Chris Lattner915c5f92010-04-02 19:42:39 +00002126
Chris Lattner6e52e9d2010-03-14 08:36:50 +00002127 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnere13c3722010-03-09 01:58:53 +00002128 Asm->OutStreamer.EmitLabel(Label);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002129
Chris Lattnere13c3722010-03-09 01:58:53 +00002130 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel8db360d2009-10-06 01:50:42 +00002131 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00002132 SDI != SDE; ++SDI)
Chris Lattnere13c3722010-03-09 01:58:53 +00002133 (*SDI)->setEndLabel(Label);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002134 return;
2135}
2136
2137/// createDbgScope - Create DbgScope for the scope.
2138void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002139 if (!InlinedAt) {
2140 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2141 if (WScope)
2142 return;
2143 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2144 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach042483e2009-11-21 23:12:12 +00002145 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel4450f262009-11-11 00:18:40 +00002146 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002147 return;
2148 }
2149
2150 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2151 if (WScope)
2152 return;
2153
2154 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2155 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2156 DILocation DL(InlinedAt);
2157 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel8db360d2009-10-06 01:50:42 +00002158}
2159
Devang Patel930143b2009-11-21 02:48:08 +00002160/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner848c7d22010-03-31 05:39:57 +00002161/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattner76555b52010-01-26 23:18:02 +00002162bool DwarfDebug::extractScopeInformation() {
Devang Patel75cc16c2009-10-01 20:31:14 +00002163 // If scope information was extracted using .dbg intrinsics then there is not
2164 // any need to extract these information by scanning each instruction.
2165 if (!DbgScopeMap.empty())
2166 return false;
2167
Devang Patel530a0752010-01-04 20:44:00 +00002168 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2169 unsigned MIIndex = 0;
Chris Lattner3a383cb2010-04-05 00:13:49 +00002170 LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Chris Lattner915c5f92010-04-02 19:42:39 +00002171
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002172 // Scan each instruction and create scopes. First build working set of scopes.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002173 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel75cc16c2009-10-01 20:31:14 +00002174 I != E; ++I) {
2175 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2176 II != IE; ++II) {
2177 const MachineInstr *MInsn = II;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002178 // FIXME : Remove DBG_VALUE check.
Chris Lattner848c7d22010-03-31 05:39:57 +00002179 if (MInsn->isDebugValue()) continue;
Devang Patel530a0752010-01-04 20:44:00 +00002180 MIIndexMap[MInsn] = MIIndex++;
Chris Lattner915c5f92010-04-02 19:42:39 +00002181
Devang Patel75cc16c2009-10-01 20:31:14 +00002182 DebugLoc DL = MInsn->getDebugLoc();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002183 if (DL.isUnknown()) continue;
Chris Lattner915c5f92010-04-02 19:42:39 +00002184
2185 MDNode *Scope = DL.getScope(Ctx);
2186
Devang Patel75cc16c2009-10-01 20:31:14 +00002187 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002188 // other scopes, create one DbgScope now. This will be translated
Devang Patel75cc16c2009-10-01 20:31:14 +00002189 // into a scope DIE at the end.
Chris Lattner915c5f92010-04-02 19:42:39 +00002190 if (DIScope(Scope).isCompileUnit()) continue;
2191 createDbgScope(Scope, DL.getInlinedAt(Ctx));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002192 }
2193 }
2194
Devang Patel18737b22010-04-01 22:47:29 +00002195
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002196 // Build scope hierarchy using working set of scopes.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002197 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002198 I != E; ++I) {
2199 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2200 II != IE; ++II) {
2201 const MachineInstr *MInsn = II;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002202 // FIXME : Remove DBG_VALUE check.
Chris Lattner848c7d22010-03-31 05:39:57 +00002203 if (MInsn->isDebugValue()) continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002204 DebugLoc DL = MInsn->getDebugLoc();
Chris Lattner915c5f92010-04-02 19:42:39 +00002205 if (DL.isUnknown()) continue;
2206
2207 MDNode *Scope = DL.getScope(Ctx);
2208 if (Scope == 0) continue;
2209
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002210 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002211 // other scopes, create one DbgScope now. This will be translated
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002212 // into a scope DIE at the end.
Chris Lattner915c5f92010-04-02 19:42:39 +00002213 if (DIScope(Scope).isCompileUnit()) continue;
2214 DbgScope *DScope = getUpdatedDbgScope(Scope, MInsn, DL.getInlinedAt(Ctx));
2215 DScope->setLastInsn(MInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +00002216 }
2217 }
2218
Devang Patel530a0752010-01-04 20:44:00 +00002219 if (!CurrentFnDbgScope)
2220 return false;
2221
2222 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel75cc16c2009-10-01 20:31:14 +00002223
2224 // Each scope has first instruction and last instruction to mark beginning
2225 // and end of a scope respectively. Create an inverse map that list scopes
2226 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel7771b7c2010-01-20 02:05:23 +00002227 // multiple scopes. Ignore scopes that are not reachable.
2228 SmallVector<DbgScope *, 4> WorkList;
2229 WorkList.push_back(CurrentFnDbgScope);
2230 while (!WorkList.empty()) {
Chris Lattner848c7d22010-03-31 05:39:57 +00002231 DbgScope *S = WorkList.pop_back_val();
Devang Patel7771b7c2010-01-20 02:05:23 +00002232
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002233 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patel7771b7c2010-01-20 02:05:23 +00002234 if (!Children.empty())
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002235 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel7771b7c2010-01-20 02:05:23 +00002236 SE = Children.end(); SI != SE; ++SI)
2237 WorkList.push_back(*SI);
2238
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002239 if (S->isAbstractScope())
2240 continue;
Devang Patel75cc16c2009-10-01 20:31:14 +00002241 const MachineInstr *MI = S->getFirstInsn();
Chris Lattner8d2fe282010-03-31 05:36:29 +00002242 assert(MI && "DbgScope does not have first instruction!");
Devang Patel75cc16c2009-10-01 20:31:14 +00002243
2244 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2245 if (IDI != DbgScopeBeginMap.end())
2246 IDI->second.push_back(S);
2247 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002248 DbgScopeBeginMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002249
2250 MI = S->getLastInsn();
Chris Lattner8d2fe282010-03-31 05:36:29 +00002251 assert(MI && "DbgScope does not have last instruction!");
Devang Patel75cc16c2009-10-01 20:31:14 +00002252 IDI = DbgScopeEndMap.find(MI);
2253 if (IDI != DbgScopeEndMap.end())
2254 IDI->second.push_back(S);
2255 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002256 DbgScopeEndMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002257 }
2258
2259 return !DbgScopeMap.empty();
2260}
2261
Devang Patel930143b2009-11-21 02:48:08 +00002262/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendling2b128d72009-05-20 23:19:06 +00002263/// emitted immediately after the function entry point.
Chris Lattner76555b52010-01-26 23:18:02 +00002264void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner196dbdc2010-04-05 03:52:55 +00002265 if (!MMI->hasDebugInfo()) return;
Chris Lattner3a383cb2010-04-05 00:13:49 +00002266
2267 TimeRegion Timer(DebugTimer);
Chris Lattner76555b52010-01-26 23:18:02 +00002268 if (!extractScopeInformation())
Devang Patel4598eb62009-10-06 18:37:31 +00002269 return;
Chris Lattner47879752010-03-29 20:38:20 +00002270
Devang Patel930143b2009-11-21 02:48:08 +00002271 collectVariableInfo();
Devang Patel4598eb62009-10-06 18:37:31 +00002272
Bill Wendling2b128d72009-05-20 23:19:06 +00002273 // Assumes in correct section after the entry point.
Chris Lattnera179b522010-04-04 19:25:43 +00002274 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_begin",
Chris Lattner3a383cb2010-04-05 00:13:49 +00002275 Asm->getFunctionNumber()));
Bill Wendling2b128d72009-05-20 23:19:06 +00002276
2277 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2278 // function.
Devang Pateldf45c7f2009-10-09 22:42:28 +00002279 DebugLoc FDL = MF->getDefaultDebugLoc();
Chris Lattner915c5f92010-04-02 19:42:39 +00002280 if (FDL.isUnknown()) return;
2281
2282 MDNode *Scope = FDL.getScope(MF->getFunction()->getContext());
2283
2284 DISubprogram SP = getDISubprogram(Scope);
2285 unsigned Line, Col;
2286 if (SP.Verify()) {
2287 Line = SP.getLineNumber();
2288 Col = 0;
2289 } else {
2290 Line = FDL.getLine();
2291 Col = FDL.getCol();
Bill Wendling2b128d72009-05-20 23:19:06 +00002292 }
Chris Lattner915c5f92010-04-02 19:42:39 +00002293
2294 recordSourceLine(Line, Col, Scope);
Bill Wendling2b128d72009-05-20 23:19:06 +00002295}
2296
Devang Patel930143b2009-11-21 02:48:08 +00002297/// endFunction - Gather and emit post-function debug information.
Bill Wendling2b128d72009-05-20 23:19:06 +00002298///
Chris Lattner76555b52010-01-26 23:18:02 +00002299void DwarfDebug::endFunction(const MachineFunction *MF) {
Chris Lattner196dbdc2010-04-05 03:52:55 +00002300 if (!MMI->hasDebugInfo()) return;
Chris Lattner47879752010-03-29 20:38:20 +00002301 if (DbgScopeMap.empty()) return;
2302
2303 TimeRegion Timer(DebugTimer);
Devang Patel2904aa92009-11-12 19:02:56 +00002304
Devang Patel530a0752010-01-04 20:44:00 +00002305 if (CurrentFnDbgScope) {
2306 // Define end label for subprogram.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002307 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_end",
2308 Asm->getFunctionNumber()));
Devang Patel530a0752010-01-04 20:44:00 +00002309
2310 // Get function line info.
2311 if (!Lines.empty()) {
2312 // Get section line info.
2313 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2314 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2315 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2316 // Append the function info to section info.
2317 SectionLineInfos.insert(SectionLineInfos.end(),
2318 Lines.begin(), Lines.end());
2319 }
2320
2321 // Construct abstract scopes.
2322 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2323 AE = AbstractScopesList.end(); AI != AE; ++AI)
2324 constructScopeDIE(*AI);
2325
2326 constructScopeDIE(CurrentFnDbgScope);
2327
Chris Lattner3a383cb2010-04-05 00:13:49 +00002328 DebugFrames.push_back(FunctionDebugFrameInfo(Asm->getFunctionNumber(),
Devang Patel530a0752010-01-04 20:44:00 +00002329 MMI->getFrameMoves()));
Bill Wendling2b128d72009-05-20 23:19:06 +00002330 }
2331
Bill Wendling2b128d72009-05-20 23:19:06 +00002332 // Clear debug info
Devang Patelfe189e62010-01-19 01:26:02 +00002333 CurrentFnDbgScope = NULL;
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002334 DeleteContainerSeconds(DbgScopeMap);
Devang Patelfe189e62010-01-19 01:26:02 +00002335 DbgScopeBeginMap.clear();
2336 DbgScopeEndMap.clear();
Devang Patel23b2ae62010-03-29 22:59:58 +00002337 DbgValueStartMap.clear();
Devang Patelfe189e62010-01-19 01:26:02 +00002338 ConcreteScopes.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002339 DeleteContainerSeconds(AbstractScopes);
Devang Patelfe189e62010-01-19 01:26:02 +00002340 AbstractScopesList.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002341 AbstractVariables.clear();
Bill Wendling2b128d72009-05-20 23:19:06 +00002342 Lines.clear();
Bill Wendling2b128d72009-05-20 23:19:06 +00002343}
2344
Chris Lattnerba35a672010-03-09 04:54:43 +00002345/// recordSourceLine - Register a source line with debug info. Returns the
2346/// unique label that was emitted and which provides correspondence to
2347/// the source line list.
2348MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patel80ae3492009-08-28 23:24:31 +00002349 if (!MMI)
2350 return 0;
2351
Chris Lattner47879752010-03-29 20:38:20 +00002352 TimeRegion Timer(DebugTimer);
Bill Wendling2b128d72009-05-20 23:19:06 +00002353
Devang Patel2d9caf92009-11-25 17:36:49 +00002354 StringRef Dir;
2355 StringRef Fn;
Devang Patel2089d162009-10-05 18:03:19 +00002356
2357 DIDescriptor Scope(S);
2358 if (Scope.isCompileUnit()) {
2359 DICompileUnit CU(S);
2360 Dir = CU.getDirectory();
2361 Fn = CU.getFilename();
2362 } else if (Scope.isSubprogram()) {
2363 DISubprogram SP(S);
2364 Dir = SP.getDirectory();
2365 Fn = SP.getFilename();
2366 } else if (Scope.isLexicalBlock()) {
2367 DILexicalBlock DB(S);
2368 Dir = DB.getDirectory();
2369 Fn = DB.getFilename();
2370 } else
Chris Lattner2c3f4782010-03-13 07:26:18 +00002371 assert(0 && "Unexpected scope info");
Devang Patel2089d162009-10-05 18:03:19 +00002372
2373 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner6e52e9d2010-03-14 08:36:50 +00002374 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnerb4666f42010-03-14 08:15:55 +00002375 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendling2b128d72009-05-20 23:19:06 +00002376
Chris Lattnerba35a672010-03-09 04:54:43 +00002377 Asm->OutStreamer.EmitLabel(Label);
2378 return Label;
Bill Wendling2b128d72009-05-20 23:19:06 +00002379}
2380
2381/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2382/// timed. Look up the source id with the given directory and source file
2383/// names. If none currently exists, create a new id and insert it in the
2384/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2385/// well.
2386unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2387 const std::string &FileName) {
Chris Lattner47879752010-03-29 20:38:20 +00002388 TimeRegion Timer(DebugTimer);
2389 return GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendling2b128d72009-05-20 23:19:06 +00002390}
2391
Bill Wendling806535f2009-05-20 23:22:40 +00002392//===----------------------------------------------------------------------===//
2393// Emit Methods
2394//===----------------------------------------------------------------------===//
2395
Devang Patel930143b2009-11-21 02:48:08 +00002396/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling480ff322009-05-20 23:21:38 +00002397///
Jim Grosbach00e9c612009-11-22 19:20:36 +00002398unsigned
2399DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling480ff322009-05-20 23:21:38 +00002400 // Get the children.
2401 const std::vector<DIE *> &Children = Die->getChildren();
2402
2403 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00002404 if (!Last && !Children.empty())
Benjamin Kramer74729ae2010-03-31 19:34:01 +00002405 Die->addSiblingOffset(DIEValueAllocator);
Bill Wendling480ff322009-05-20 23:21:38 +00002406
2407 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00002408 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00002409
2410 // Get the abbreviation for this DIE.
2411 unsigned AbbrevNumber = Die->getAbbrevNumber();
2412 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2413
2414 // Set DIE offset
2415 Die->setOffset(Offset);
2416
2417 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00002418 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002419
2420 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2421 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2422
2423 // Size the DIE attribute values.
2424 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2425 // Size attribute value.
Chris Lattner5a00dea2010-04-05 00:18:22 +00002426 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling480ff322009-05-20 23:21:38 +00002427
2428 // Size the DIE children if any.
2429 if (!Children.empty()) {
2430 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2431 "Children flag not set");
2432
2433 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002434 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling480ff322009-05-20 23:21:38 +00002435
2436 // End of children marker.
2437 Offset += sizeof(int8_t);
2438 }
2439
2440 Die->setSize(Offset - Die->getOffset());
2441 return Offset;
2442}
2443
Devang Patel930143b2009-11-21 02:48:08 +00002444/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling480ff322009-05-20 23:21:38 +00002445///
Devang Patel930143b2009-11-21 02:48:08 +00002446void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling480ff322009-05-20 23:21:38 +00002447 // Compute size of compile unit header.
2448 static unsigned Offset =
2449 sizeof(int32_t) + // Length of Compilation Unit Info
2450 sizeof(int16_t) + // DWARF version number
2451 sizeof(int32_t) + // Offset Into Abbrev. Section
2452 sizeof(int8_t); // Pointer Size (in bytes)
2453
Devang Patel930143b2009-11-21 02:48:08 +00002454 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel40d78412009-06-29 20:45:18 +00002455 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling480ff322009-05-20 23:21:38 +00002456}
2457
Chris Lattner1fbf53b2010-04-04 23:02:02 +00002458/// EmitSectionSym - Switch to the specified MCSection and emit an assembler
2459/// temporary label to it if SymbolStem is specified.
Chris Lattner6629ca92010-04-04 22:59:04 +00002460static MCSymbol *EmitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Chris Lattner1fbf53b2010-04-04 23:02:02 +00002461 const char *SymbolStem = 0) {
Chris Lattner6629ca92010-04-04 22:59:04 +00002462 Asm->OutStreamer.SwitchSection(Section);
Chris Lattner1fbf53b2010-04-04 23:02:02 +00002463 if (!SymbolStem) return 0;
2464
Chris Lattner6629ca92010-04-04 22:59:04 +00002465 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
2466 Asm->OutStreamer.EmitLabel(TmpSym);
2467 return TmpSym;
2468}
2469
2470/// EmitSectionLabels - Emit initial Dwarf sections with a label at
2471/// the start of each one.
Chris Lattner46355d82010-04-04 22:33:59 +00002472void DwarfDebug::EmitSectionLabels() {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002473 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002474
Bill Wendling480ff322009-05-20 23:21:38 +00002475 // Dwarf sections base addresses.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002476 if (Asm->MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6629ca92010-04-04 22:59:04 +00002477 DwarfFrameSectionSym =
2478 EmitSectionSym(Asm, TLOF.getDwarfFrameSection(), "section_debug_frame");
2479 }
Bill Wendling480ff322009-05-20 23:21:38 +00002480
Chris Lattner6629ca92010-04-04 22:59:04 +00002481 DwarfInfoSectionSym =
2482 EmitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
2483 DwarfAbbrevSectionSym =
2484 EmitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Chris Lattner1fbf53b2010-04-04 23:02:02 +00002485 EmitSectionSym(Asm, TLOF.getDwarfARangesSection());
Chris Lattner6629ca92010-04-04 22:59:04 +00002486
2487 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Chris Lattner1fbf53b2010-04-04 23:02:02 +00002488 EmitSectionSym(Asm, MacroInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00002489
Chris Lattner1fbf53b2010-04-04 23:02:02 +00002490 EmitSectionSym(Asm, TLOF.getDwarfLineSection());
2491 EmitSectionSym(Asm, TLOF.getDwarfLocSection());
2492 EmitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
2493 EmitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Chris Lattner6629ca92010-04-04 22:59:04 +00002494 DwarfStrSectionSym =
2495 EmitSectionSym(Asm, TLOF.getDwarfStrSection(), "section_str");
Chris Lattner1fbf53b2010-04-04 23:02:02 +00002496 EmitSectionSym(Asm, TLOF.getDwarfRangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002497
Chris Lattner6629ca92010-04-04 22:59:04 +00002498 TextSectionSym = EmitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
Chris Lattnere58b5472010-04-04 23:10:38 +00002499 EmitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002500}
2501
Devang Patel930143b2009-11-21 02:48:08 +00002502/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling480ff322009-05-20 23:21:38 +00002503///
Devang Patel930143b2009-11-21 02:48:08 +00002504void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling480ff322009-05-20 23:21:38 +00002505 // Get the abbreviation for this DIE.
2506 unsigned AbbrevNumber = Die->getAbbrevNumber();
2507 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2508
Bill Wendling480ff322009-05-20 23:21:38 +00002509 // Emit the code (index) for the abbreviation.
Chris Lattner7bde8c02010-04-04 18:52:31 +00002510 if (Asm->isVerbose())
Chris Lattnerfa823552010-01-22 23:18:42 +00002511 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2512 Twine::utohexstr(Die->getOffset()) + ":0x" +
2513 Twine::utohexstr(Die->getSize()) + " " +
2514 dwarf::TagString(Abbrev->getTag()));
Chris Lattner9efd1182010-04-04 19:09:29 +00002515 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002516
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00002517 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling480ff322009-05-20 23:21:38 +00002518 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2519
2520 // Emit the DIE attribute values.
2521 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2522 unsigned Attr = AbbrevData[i].getAttribute();
2523 unsigned Form = AbbrevData[i].getForm();
2524 assert(Form && "Too many attributes for DIE (check abbreviation)");
2525
Chris Lattner7bde8c02010-04-04 18:52:31 +00002526 if (Asm->isVerbose())
Chris Lattner5adf9872010-01-24 18:54:17 +00002527 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2528
Bill Wendling480ff322009-05-20 23:21:38 +00002529 switch (Attr) {
2530 case dwarf::DW_AT_sibling:
Devang Patel930143b2009-11-21 02:48:08 +00002531 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002532 break;
2533 case dwarf::DW_AT_abstract_origin: {
2534 DIEEntry *E = cast<DIEEntry>(Values[i]);
2535 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002536 unsigned Addr = Origin->getOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00002537 Asm->EmitInt32(Addr);
2538 break;
2539 }
2540 default:
2541 // Emit an attribute using the defined form.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002542 Values[i]->EmitValue(Asm, Form);
Bill Wendling480ff322009-05-20 23:21:38 +00002543 break;
2544 }
Bill Wendling480ff322009-05-20 23:21:38 +00002545 }
2546
2547 // Emit the DIE children if any.
2548 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2549 const std::vector<DIE *> &Children = Die->getChildren();
2550
2551 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002552 emitDIE(Children[j]);
Bill Wendling480ff322009-05-20 23:21:38 +00002553
Chris Lattner7bde8c02010-04-04 18:52:31 +00002554 if (Asm->isVerbose())
Chris Lattner566cae92010-03-09 23:52:58 +00002555 Asm->OutStreamer.AddComment("End Of Children Mark");
2556 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002557 }
2558}
2559
Devang Patel9ccfb642009-12-09 18:24:21 +00002560/// emitDebugInfo - Emit the debug info section.
Bill Wendling480ff322009-05-20 23:21:38 +00002561///
Devang Patel9ccfb642009-12-09 18:24:21 +00002562void DwarfDebug::emitDebugInfo() {
2563 // Start debug info section.
2564 Asm->OutStreamer.SwitchSection(
2565 Asm->getObjFileLowering().getDwarfInfoSection());
2566 DIE *Die = ModuleCU->getCUDie();
Bill Wendling480ff322009-05-20 23:21:38 +00002567
2568 // Emit the compile units header.
Chris Lattnera179b522010-04-04 19:25:43 +00002569 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_begin",
2570 ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002571
2572 // Emit size of content not including length itself
2573 unsigned ContentSize = Die->getSize() +
2574 sizeof(int16_t) + // DWARF version number
2575 sizeof(int32_t) + // Offset Into Abbrev. Section
2576 sizeof(int8_t) + // Pointer Size (in bytes)
2577 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2578
Chris Lattner566cae92010-03-09 23:52:58 +00002579 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2580 Asm->EmitInt32(ContentSize);
2581 Asm->OutStreamer.AddComment("DWARF version number");
2582 Asm->EmitInt16(dwarf::DWARF_VERSION);
2583 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Chris Lattner70a4fce2010-04-04 23:25:33 +00002584 Asm->EmitSectionOffset(Asm->GetTempSymbol("abbrev_begin"),
2585 DwarfAbbrevSectionSym);
Chris Lattner566cae92010-03-09 23:52:58 +00002586 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattner3a383cb2010-04-05 00:13:49 +00002587 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002588
Devang Patel930143b2009-11-21 02:48:08 +00002589 emitDIE(Die);
Bill Wendling480ff322009-05-20 23:21:38 +00002590 // FIXME - extra padding for gdb bug.
Chris Lattner566cae92010-03-09 23:52:58 +00002591 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2592 Asm->EmitInt8(0);
2593 Asm->EmitInt8(0);
2594 Asm->EmitInt8(0);
2595 Asm->EmitInt8(0);
Chris Lattnera179b522010-04-04 19:25:43 +00002596 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_end", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002597}
2598
Devang Patel930143b2009-11-21 02:48:08 +00002599/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling480ff322009-05-20 23:21:38 +00002600///
Devang Patel930143b2009-11-21 02:48:08 +00002601void DwarfDebug::emitAbbreviations() const {
Bill Wendling480ff322009-05-20 23:21:38 +00002602 // Check to see if it is worth the effort.
2603 if (!Abbreviations.empty()) {
2604 // Start the debug abbrev section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002605 Asm->OutStreamer.SwitchSection(
2606 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002607
Chris Lattnera179b522010-04-04 19:25:43 +00002608 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002609
2610 // For each abbrevation.
2611 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2612 // Get abbreviation data
2613 const DIEAbbrev *Abbrev = Abbreviations[i];
2614
2615 // Emit the abbrevations code (base 1 index.)
Chris Lattner9efd1182010-04-04 19:09:29 +00002616 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling480ff322009-05-20 23:21:38 +00002617
2618 // Emit the abbreviations data.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002619 Abbrev->Emit(Asm);
Bill Wendling480ff322009-05-20 23:21:38 +00002620 }
2621
2622 // Mark end of abbreviations.
Chris Lattner9efd1182010-04-04 19:09:29 +00002623 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling480ff322009-05-20 23:21:38 +00002624
Chris Lattnera179b522010-04-04 19:25:43 +00002625 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002626 }
2627}
2628
Devang Patel930143b2009-11-21 02:48:08 +00002629/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling480ff322009-05-20 23:21:38 +00002630/// the line matrix.
2631///
Devang Patel930143b2009-11-21 02:48:08 +00002632void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00002633 // Define last address of section.
Chris Lattner566cae92010-03-09 23:52:58 +00002634 Asm->OutStreamer.AddComment("Extended Op");
2635 Asm->EmitInt8(0);
2636
2637 Asm->OutStreamer.AddComment("Op size");
Chris Lattner3a383cb2010-04-05 00:13:49 +00002638 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner566cae92010-03-09 23:52:58 +00002639 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2640 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2641
2642 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002643
Chris Lattnera179b522010-04-04 19:25:43 +00002644 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Chris Lattner3a383cb2010-04-05 00:13:49 +00002645 Asm->getTargetData().getPointerSize(),
2646 0/*AddrSpace*/);
Bill Wendling480ff322009-05-20 23:21:38 +00002647
2648 // Mark end of matrix.
Chris Lattner566cae92010-03-09 23:52:58 +00002649 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2650 Asm->EmitInt8(0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002651 Asm->EmitInt8(1);
Chris Lattnerfa823552010-01-22 23:18:42 +00002652 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002653}
2654
Devang Patel930143b2009-11-21 02:48:08 +00002655/// emitDebugLines - Emit source line information.
Bill Wendling480ff322009-05-20 23:21:38 +00002656///
Devang Patel930143b2009-11-21 02:48:08 +00002657void DwarfDebug::emitDebugLines() {
Bill Wendling480ff322009-05-20 23:21:38 +00002658 // If the target is using .loc/.file, the assembler will be emitting the
2659 // .debug_line table automatically.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002660 if (Asm->MAI->hasDotLocAndDotFile())
Bill Wendling480ff322009-05-20 23:21:38 +00002661 return;
2662
2663 // Minimum line delta, thus ranging from -10..(255-10).
2664 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2665 // Maximum line delta, thus ranging from -10..(255-10).
2666 const int MaxLineDelta = 255 + MinLineDelta;
2667
2668 // Start the dwarf line section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002669 Asm->OutStreamer.SwitchSection(
2670 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002671
2672 // Construct the section header.
Chris Lattner566cae92010-03-09 23:52:58 +00002673 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002674 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_end"),
2675 Asm->GetTempSymbol("line_begin"), 4);
Chris Lattnera179b522010-04-04 19:25:43 +00002676 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002677
Chris Lattner566cae92010-03-09 23:52:58 +00002678 Asm->OutStreamer.AddComment("DWARF version number");
2679 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling480ff322009-05-20 23:21:38 +00002680
Chris Lattner566cae92010-03-09 23:52:58 +00002681 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002682 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_prolog_end"),
2683 Asm->GetTempSymbol("line_prolog_begin"), 4);
Chris Lattnera179b522010-04-04 19:25:43 +00002684 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002685
Chris Lattner566cae92010-03-09 23:52:58 +00002686 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2687 Asm->EmitInt8(1);
2688 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2689 Asm->EmitInt8(1);
2690 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2691 Asm->EmitInt8(MinLineDelta);
2692 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2693 Asm->EmitInt8(MaxLineDelta);
2694 Asm->OutStreamer.AddComment("Special Opcode Base");
2695 Asm->EmitInt8(-MinLineDelta);
Bill Wendling480ff322009-05-20 23:21:38 +00002696
2697 // Line number standard opcode encodings argument count
Chris Lattner566cae92010-03-09 23:52:58 +00002698 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2699 Asm->EmitInt8(0);
2700 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2701 Asm->EmitInt8(1);
2702 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2703 Asm->EmitInt8(1);
2704 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2705 Asm->EmitInt8(1);
2706 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2707 Asm->EmitInt8(1);
2708 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2709 Asm->EmitInt8(0);
2710 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2711 Asm->EmitInt8(0);
2712 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2713 Asm->EmitInt8(0);
2714 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2715 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002716
2717 // Emit directories.
2718 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002719 const std::string &Dir = getSourceDirectoryName(DI);
Chris Lattner7bde8c02010-04-04 18:52:31 +00002720 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Directory");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002721 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002722 }
2723
Chris Lattner566cae92010-03-09 23:52:58 +00002724 Asm->OutStreamer.AddComment("End of directories");
2725 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002726
2727 // Emit files.
2728 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2729 // Remember source id starts at 1.
2730 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002731 const std::string &FN = getSourceFileName(Id.second);
Chris Lattner7bde8c02010-04-04 18:52:31 +00002732 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Source");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002733 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2734
Chris Lattner9efd1182010-04-04 19:09:29 +00002735 Asm->EmitULEB128(Id.first, "Directory #");
2736 Asm->EmitULEB128(0, "Mod date");
2737 Asm->EmitULEB128(0, "File size");
Bill Wendling480ff322009-05-20 23:21:38 +00002738 }
2739
Chris Lattner566cae92010-03-09 23:52:58 +00002740 Asm->OutStreamer.AddComment("End of files");
2741 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002742
Chris Lattnera179b522010-04-04 19:25:43 +00002743 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002744
2745 // A sequence for each text section.
2746 unsigned SecSrcLinesSize = SectionSourceLines.size();
2747
2748 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2749 // Isolate current sections line info.
2750 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2751
Bill Wendling480ff322009-05-20 23:21:38 +00002752 // Dwarf assumes we start with first line of first source file.
2753 unsigned Source = 1;
2754 unsigned Line = 1;
2755
2756 // Construct rows of the address, source, line, column matrix.
2757 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2758 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattnerb4666f42010-03-14 08:15:55 +00002759 MCSymbol *Label = LineInfo.getLabel();
Chris Lattneree95d4c2010-03-14 02:20:58 +00002760 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling480ff322009-05-20 23:21:38 +00002761
Caroline Tice183a5192009-09-11 18:25:54 +00002762 if (LineInfo.getLine() == 0) continue;
2763
Chris Lattner3d72a672010-03-09 23:38:23 +00002764 if (Asm->isVerbose()) {
Chris Lattner7e998b72010-03-10 01:04:13 +00002765 std::pair<unsigned, unsigned> SrcID =
Bill Wendling480ff322009-05-20 23:21:38 +00002766 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner7e998b72010-03-10 01:04:13 +00002767 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattnera26fbe42010-03-10 02:29:31 +00002768 "/" +
2769 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner7e998b72010-03-10 01:04:13 +00002770 ":" + Twine(LineInfo.getLine()));
Bill Wendling480ff322009-05-20 23:21:38 +00002771 }
2772
2773 // Define the line address.
Chris Lattner566cae92010-03-09 23:52:58 +00002774 Asm->OutStreamer.AddComment("Extended Op");
2775 Asm->EmitInt8(0);
2776 Asm->OutStreamer.AddComment("Op size");
Chris Lattner3a383cb2010-04-05 00:13:49 +00002777 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner566cae92010-03-09 23:52:58 +00002778
2779 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2780 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2781
2782 Asm->OutStreamer.AddComment("Location label");
Chris Lattner3a383cb2010-04-05 00:13:49 +00002783 Asm->OutStreamer.EmitSymbolValue(Label,
2784 Asm->getTargetData().getPointerSize(),
Chris Lattneree95d4c2010-03-14 02:20:58 +00002785 0/*AddrSpace*/);
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002786
Bill Wendling480ff322009-05-20 23:21:38 +00002787 // If change of source, then switch to the new source.
2788 if (Source != LineInfo.getSourceID()) {
2789 Source = LineInfo.getSourceID();
Chris Lattner566cae92010-03-09 23:52:58 +00002790 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2791 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattner9efd1182010-04-04 19:09:29 +00002792 Asm->EmitULEB128(Source, "New Source");
Bill Wendling480ff322009-05-20 23:21:38 +00002793 }
2794
2795 // If change of line.
2796 if (Line != LineInfo.getLine()) {
2797 // Determine offset.
2798 int Offset = LineInfo.getLine() - Line;
2799 int Delta = Offset - MinLineDelta;
2800
2801 // Update line.
2802 Line = LineInfo.getLine();
2803
2804 // If delta is small enough and in range...
2805 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2806 // ... then use fast opcode.
Chris Lattner566cae92010-03-09 23:52:58 +00002807 Asm->OutStreamer.AddComment("Line Delta");
2808 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling480ff322009-05-20 23:21:38 +00002809 } else {
2810 // ... otherwise use long hand.
Chris Lattner566cae92010-03-09 23:52:58 +00002811 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling480ff322009-05-20 23:21:38 +00002812 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner9efd1182010-04-04 19:09:29 +00002813 Asm->EmitSLEB128(Offset, "Line Offset");
Chris Lattner566cae92010-03-09 23:52:58 +00002814 Asm->OutStreamer.AddComment("DW_LNS_copy");
2815 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling480ff322009-05-20 23:21:38 +00002816 }
2817 } else {
2818 // Copy the previous row (different address or source)
Chris Lattner566cae92010-03-09 23:52:58 +00002819 Asm->OutStreamer.AddComment("DW_LNS_copy");
2820 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling480ff322009-05-20 23:21:38 +00002821 }
2822 }
2823
Devang Patel930143b2009-11-21 02:48:08 +00002824 emitEndOfLineMatrix(j + 1);
Bill Wendling480ff322009-05-20 23:21:38 +00002825 }
2826
2827 if (SecSrcLinesSize == 0)
2828 // Because we're emitting a debug_line section, we still need a line
2829 // table. The linker and friends expect it to exist. If there's nothing to
2830 // put into it, emit an empty table.
Devang Patel930143b2009-11-21 02:48:08 +00002831 emitEndOfLineMatrix(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002832
Chris Lattnera179b522010-04-04 19:25:43 +00002833 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002834}
2835
Devang Patel930143b2009-11-21 02:48:08 +00002836/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling480ff322009-05-20 23:21:38 +00002837///
Devang Patel930143b2009-11-21 02:48:08 +00002838void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner3a383cb2010-04-05 00:13:49 +00002839 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002840 return;
2841
Chris Lattner3a383cb2010-04-05 00:13:49 +00002842 int stackGrowth = Asm->getTargetData().getPointerSize();
2843 if (Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2844 TargetFrameInfo::StackGrowsDown)
2845 stackGrowth *= -1;
Bill Wendling480ff322009-05-20 23:21:38 +00002846
2847 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002848 Asm->OutStreamer.SwitchSection(
2849 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002850
Chris Lattnera179b522010-04-04 19:25:43 +00002851 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common"));
Chris Lattner566cae92010-03-09 23:52:58 +00002852 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002853 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_frame_common_end"),
2854 Asm->GetTempSymbol("debug_frame_common_begin"), 4);
Bill Wendling480ff322009-05-20 23:21:38 +00002855
Chris Lattnera179b522010-04-04 19:25:43 +00002856 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_begin"));
Chris Lattner566cae92010-03-09 23:52:58 +00002857 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling480ff322009-05-20 23:21:38 +00002858 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner566cae92010-03-09 23:52:58 +00002859 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling480ff322009-05-20 23:21:38 +00002860 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner566cae92010-03-09 23:52:58 +00002861 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002862 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner9efd1182010-04-04 19:09:29 +00002863 Asm->EmitULEB128(1, "CIE Code Alignment Factor");
2864 Asm->EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner566cae92010-03-09 23:52:58 +00002865 Asm->OutStreamer.AddComment("CIE RA Column");
Chris Lattner3a383cb2010-04-05 00:13:49 +00002866 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling480ff322009-05-20 23:21:38 +00002867 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling480ff322009-05-20 23:21:38 +00002868
2869 std::vector<MachineMove> Moves;
2870 RI->getInitialFrameState(Moves);
2871
Chris Lattneraabc6042010-04-04 23:41:46 +00002872 Asm->EmitFrameMoves(Moves, 0, false);
Bill Wendling480ff322009-05-20 23:21:38 +00002873
2874 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnera179b522010-04-04 19:25:43 +00002875 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002876}
2877
Devang Patel930143b2009-11-21 02:48:08 +00002878/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling480ff322009-05-20 23:21:38 +00002879/// section.
Chris Lattner2c3f4782010-03-13 07:26:18 +00002880void DwarfDebug::
2881emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattner3a383cb2010-04-05 00:13:49 +00002882 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002883 return;
2884
2885 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002886 Asm->OutStreamer.SwitchSection(
2887 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002888
Chris Lattner566cae92010-03-09 23:52:58 +00002889 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner2c3f4782010-03-13 07:26:18 +00002890 MCSymbol *DebugFrameBegin =
Chris Lattnera179b522010-04-04 19:25:43 +00002891 Asm->GetTempSymbol("debug_frame_begin", DebugFrameInfo.Number);
Chris Lattner2c3f4782010-03-13 07:26:18 +00002892 MCSymbol *DebugFrameEnd =
Chris Lattnera179b522010-04-04 19:25:43 +00002893 Asm->GetTempSymbol("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnerf1429f12010-04-04 19:58:12 +00002894 Asm->EmitLabelDifference(DebugFrameEnd, DebugFrameBegin, 4);
Bill Wendling480ff322009-05-20 23:21:38 +00002895
Chris Lattner2c3f4782010-03-13 07:26:18 +00002896 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling480ff322009-05-20 23:21:38 +00002897
Chris Lattner566cae92010-03-09 23:52:58 +00002898 Asm->OutStreamer.AddComment("FDE CIE offset");
Chris Lattner70a4fce2010-04-04 23:25:33 +00002899 Asm->EmitSectionOffset(Asm->GetTempSymbol("debug_frame_common"),
2900 DwarfFrameSectionSym);
Bill Wendling480ff322009-05-20 23:21:38 +00002901
Chris Lattner566cae92010-03-09 23:52:58 +00002902 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnera179b522010-04-04 19:25:43 +00002903 MCSymbol *FuncBeginSym =
2904 Asm->GetTempSymbol("func_begin", DebugFrameInfo.Number);
Chris Lattner8811e122010-03-13 07:40:56 +00002905 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattner3a383cb2010-04-05 00:13:49 +00002906 Asm->getTargetData().getPointerSize(),
2907 0/*AddrSpace*/);
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002908
2909
Chris Lattner566cae92010-03-09 23:52:58 +00002910 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002911 Asm->EmitLabelDifference(Asm->GetTempSymbol("func_end",DebugFrameInfo.Number),
Chris Lattner3a383cb2010-04-05 00:13:49 +00002912 FuncBeginSym, Asm->getTargetData().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002913
Chris Lattneraabc6042010-04-04 23:41:46 +00002914 Asm->EmitFrameMoves(DebugFrameInfo.Moves, FuncBeginSym, false);
Bill Wendling480ff322009-05-20 23:21:38 +00002915
2916 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner2c3f4782010-03-13 07:26:18 +00002917 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling480ff322009-05-20 23:21:38 +00002918}
2919
Devang Patel9ccfb642009-12-09 18:24:21 +00002920/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2921///
2922void DwarfDebug::emitDebugPubNames() {
2923 // Start the dwarf pubnames section.
2924 Asm->OutStreamer.SwitchSection(
2925 Asm->getObjFileLowering().getDwarfPubNamesSection());
2926
Chris Lattner566cae92010-03-09 23:52:58 +00002927 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002928 Asm->EmitLabelDifference(
2929 Asm->GetTempSymbol("pubnames_end", ModuleCU->getID()),
2930 Asm->GetTempSymbol("pubnames_begin", ModuleCU->getID()), 4);
Bill Wendling480ff322009-05-20 23:21:38 +00002931
Chris Lattnera179b522010-04-04 19:25:43 +00002932 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin",
2933 ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002934
Chris Lattner566cae92010-03-09 23:52:58 +00002935 Asm->OutStreamer.AddComment("DWARF Version");
2936 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling480ff322009-05-20 23:21:38 +00002937
Chris Lattner566cae92010-03-09 23:52:58 +00002938 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattner70a4fce2010-04-04 23:25:33 +00002939 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2940 DwarfInfoSectionSym);
Bill Wendling480ff322009-05-20 23:21:38 +00002941
Chris Lattner566cae92010-03-09 23:52:58 +00002942 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002943 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
2944 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2945 4);
Bill Wendling480ff322009-05-20 23:21:38 +00002946
Devang Patel9ccfb642009-12-09 18:24:21 +00002947 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling480ff322009-05-20 23:21:38 +00002948 for (StringMap<DIE*>::const_iterator
2949 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2950 const char *Name = GI->getKeyData();
Chris Lattner566cae92010-03-09 23:52:58 +00002951 DIE *Entity = GI->second;
Bill Wendling480ff322009-05-20 23:21:38 +00002952
Chris Lattner566cae92010-03-09 23:52:58 +00002953 Asm->OutStreamer.AddComment("DIE offset");
2954 Asm->EmitInt32(Entity->getOffset());
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002955
Chris Lattner7bde8c02010-04-04 18:52:31 +00002956 if (Asm->isVerbose())
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002957 Asm->OutStreamer.AddComment("External Name");
2958 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002959 }
2960
Chris Lattner566cae92010-03-09 23:52:58 +00002961 Asm->OutStreamer.AddComment("End Mark");
2962 Asm->EmitInt32(0);
Chris Lattnera179b522010-04-04 19:25:43 +00002963 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end",
2964 ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002965}
2966
Devang Patel04d2f2d2009-11-24 01:14:22 +00002967void DwarfDebug::emitDebugPubTypes() {
Devang Patelc8654eb2009-11-24 19:18:41 +00002968 // Start the dwarf pubnames section.
2969 Asm->OutStreamer.SwitchSection(
2970 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner566cae92010-03-09 23:52:58 +00002971 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002972 Asm->EmitLabelDifference(
2973 Asm->GetTempSymbol("pubtypes_end", ModuleCU->getID()),
2974 Asm->GetTempSymbol("pubtypes_begin", ModuleCU->getID()), 4);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002975
Chris Lattnera179b522010-04-04 19:25:43 +00002976 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
2977 ModuleCU->getID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002978
Chris Lattner7bde8c02010-04-04 18:52:31 +00002979 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
Devang Patel057c6422010-02-02 03:47:27 +00002980 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002981
Chris Lattner566cae92010-03-09 23:52:58 +00002982 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattner70a4fce2010-04-04 23:25:33 +00002983 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2984 DwarfInfoSectionSym);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002985
Chris Lattner566cae92010-03-09 23:52:58 +00002986 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002987 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
2988 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2989 4);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002990
2991 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2992 for (StringMap<DIE*>::const_iterator
2993 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2994 const char *Name = GI->getKeyData();
2995 DIE * Entity = GI->second;
2996
Chris Lattner7bde8c02010-04-04 18:52:31 +00002997 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Devang Patel057c6422010-02-02 03:47:27 +00002998 Asm->EmitInt32(Entity->getOffset());
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002999
Chris Lattner7bde8c02010-04-04 18:52:31 +00003000 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Devang Patel6d404ad2010-02-02 03:37:03 +00003001 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel04d2f2d2009-11-24 01:14:22 +00003002 }
3003
Chris Lattner566cae92010-03-09 23:52:58 +00003004 Asm->OutStreamer.AddComment("End Mark");
3005 Asm->EmitInt32(0);
Chris Lattnera179b522010-04-04 19:25:43 +00003006 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
3007 ModuleCU->getID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00003008}
3009
Devang Patel930143b2009-11-21 02:48:08 +00003010/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling480ff322009-05-20 23:21:38 +00003011///
Devang Patel930143b2009-11-21 02:48:08 +00003012void DwarfDebug::emitDebugStr() {
Bill Wendling480ff322009-05-20 23:21:38 +00003013 // Check to see if it is worth the effort.
Chris Lattner3d72a672010-03-09 23:38:23 +00003014 if (StringPool.empty()) return;
3015
3016 // Start the dwarf str section.
3017 Asm->OutStreamer.SwitchSection(
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003018 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003019
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003020 // Get all of the string pool entries and put them in an array by their ID so
3021 // we can sort them.
3022 SmallVector<std::pair<unsigned,
3023 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
3024
3025 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
3026 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
3027 Entries.push_back(std::make_pair(I->second.second, &*I));
3028
3029 array_pod_sort(Entries.begin(), Entries.end());
3030
3031 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner3d72a672010-03-09 23:38:23 +00003032 // Emit a label for reference from debug information entries.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003033 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner3d72a672010-03-09 23:38:23 +00003034
3035 // Emit the string itself.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003036 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling480ff322009-05-20 23:21:38 +00003037 }
3038}
3039
Devang Patel930143b2009-11-21 02:48:08 +00003040/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling480ff322009-05-20 23:21:38 +00003041///
Devang Patel930143b2009-11-21 02:48:08 +00003042void DwarfDebug::emitDebugLoc() {
Bill Wendling480ff322009-05-20 23:21:38 +00003043 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003044 Asm->OutStreamer.SwitchSection(
3045 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003046}
3047
3048/// EmitDebugARanges - Emit visible names into a debug aranges section.
3049///
3050void DwarfDebug::EmitDebugARanges() {
3051 // Start the dwarf aranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003052 Asm->OutStreamer.SwitchSection(
3053 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003054}
3055
Devang Patel930143b2009-11-21 02:48:08 +00003056/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling480ff322009-05-20 23:21:38 +00003057///
Devang Patel930143b2009-11-21 02:48:08 +00003058void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00003059 // Start the dwarf ranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003060 Asm->OutStreamer.SwitchSection(
3061 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003062}
3063
Devang Patel930143b2009-11-21 02:48:08 +00003064/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling480ff322009-05-20 23:21:38 +00003065///
Devang Patel930143b2009-11-21 02:48:08 +00003066void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00003067 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00003068 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00003069 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003070 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00003071 }
3072}
3073
Devang Patel930143b2009-11-21 02:48:08 +00003074/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling480ff322009-05-20 23:21:38 +00003075/// Section Header:
3076/// 1. length of section
3077/// 2. Dwarf version number
3078/// 3. address size.
3079///
3080/// Entries (one "entry" for each function that was inlined):
3081///
3082/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3083/// otherwise offset into __debug_str for regular function name.
3084/// 2. offset into __debug_str section for regular function name.
3085/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3086/// instances for the function.
3087///
3088/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3089/// inlined instance; the die_offset points to the inlined_subroutine die in the
3090/// __debug_info section, and the low_pc is the starting address for the
3091/// inlining instance.
Devang Patel930143b2009-11-21 02:48:08 +00003092void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner3a383cb2010-04-05 00:13:49 +00003093 if (!Asm->MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling480ff322009-05-20 23:21:38 +00003094 return;
3095
Devang Patel40d78412009-06-29 20:45:18 +00003096 if (!ModuleCU)
Bill Wendling480ff322009-05-20 23:21:38 +00003097 return;
3098
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003099 Asm->OutStreamer.SwitchSection(
3100 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00003101
Chris Lattner566cae92010-03-09 23:52:58 +00003102 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnerf1429f12010-04-04 19:58:12 +00003103 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
3104 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling480ff322009-05-20 23:21:38 +00003105
Chris Lattnera179b522010-04-04 19:25:43 +00003106 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00003107
Chris Lattner566cae92010-03-09 23:52:58 +00003108 Asm->OutStreamer.AddComment("Dwarf Version");
3109 Asm->EmitInt16(dwarf::DWARF_VERSION);
3110 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattner3a383cb2010-04-05 00:13:49 +00003111 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00003112
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003113 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3114 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach042483e2009-11-21 23:12:12 +00003115
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003116 MDNode *Node = *I;
Devang Patel018b29b2010-01-19 06:19:05 +00003117 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach00e9c612009-11-22 19:20:36 +00003118 = InlineInfo.find(Node);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003119 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel80ae3492009-08-28 23:24:31 +00003120 DISubprogram SP(Node);
Devang Patel2d9caf92009-11-25 17:36:49 +00003121 StringRef LName = SP.getLinkageName();
3122 StringRef Name = SP.getName();
Bill Wendling480ff322009-05-20 23:21:38 +00003123
Chris Lattner566cae92010-03-09 23:52:58 +00003124 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00003125 if (LName.empty()) {
3126 Asm->OutStreamer.EmitBytes(Name, 0);
3127 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3128 } else
Chris Lattner70a4fce2010-04-04 23:25:33 +00003129 Asm->EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
3130 DwarfStrSectionSym);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003131
Chris Lattner566cae92010-03-09 23:52:58 +00003132 Asm->OutStreamer.AddComment("Function name");
Chris Lattner70a4fce2010-04-04 23:25:33 +00003133 Asm->EmitSectionOffset(getStringPoolEntry(Name), DwarfStrSectionSym);
Chris Lattner9efd1182010-04-04 19:09:29 +00003134 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling480ff322009-05-20 23:21:38 +00003135
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003136 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling480ff322009-05-20 23:21:38 +00003137 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner7bde8c02010-04-04 18:52:31 +00003138 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner085b6522010-03-09 00:31:02 +00003139 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00003140
Chris Lattner7bde8c02010-04-04 18:52:31 +00003141 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner3a383cb2010-04-05 00:13:49 +00003142 Asm->OutStreamer.EmitSymbolValue(LI->first,
3143 Asm->getTargetData().getPointerSize(),0);
Bill Wendling480ff322009-05-20 23:21:38 +00003144 }
3145 }
3146
Chris Lattnera179b522010-04-04 19:25:43 +00003147 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00003148}