blob: b09644c47337ac6143fb58e90d4de3d50fbe8c25 [file] [log] [blame]
Bill Wendling0310d762009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
Chris Lattner6cde3e62010-03-09 00:39:24 +000013
Devang Patele4b27562009-08-28 23:24:31 +000014#define DEBUG_TYPE "dwarfdebug"
Bill Wendling0310d762009-05-15 09:23:25 +000015#include "DwarfDebug.h"
16#include "llvm/Module.h"
David Greeneb2c66fc2009-08-19 21:52:55 +000017#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling0310d762009-05-15 09:23:25 +000018#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnerb7db7332010-03-09 01:58:53 +000019#include "llvm/MC/MCAsmInfo.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000020#include "llvm/MC/MCSection.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000021#include "llvm/MC/MCStreamer.h"
Chris Lattnerb7db7332010-03-09 01:58:53 +000022#include "llvm/MC/MCSymbol.h"
Chris Lattner45111d12010-01-16 21:57:06 +000023#include "llvm/Target/Mangler.h"
Bill Wendling0310d762009-05-15 09:23:25 +000024#include "llvm/Target/TargetData.h"
25#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000026#include "llvm/Target/TargetLoweringObjectFile.h"
Chris Lattner9d1c1ad2010-04-04 18:06:11 +000027#include "llvm/Target/TargetMachine.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000028#include "llvm/Target/TargetRegisterInfo.h"
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +000029#include "llvm/ADT/STLExtras.h"
Chris Lattner23132b12009-08-24 03:52:50 +000030#include "llvm/ADT/StringExtras.h"
Daniel Dunbar6e4bdfc2009-10-13 06:47:08 +000031#include "llvm/Support/Debug.h"
32#include "llvm/Support/ErrorHandling.h"
Devang Patel3139fcf2010-01-26 21:39:14 +000033#include "llvm/Support/ValueHandle.h"
Chris Lattner0ad9c912010-01-22 22:09:00 +000034#include "llvm/Support/FormattedStream.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000035#include "llvm/Support/Timer.h"
36#include "llvm/System/Path.h"
Bill Wendling0310d762009-05-15 09:23:25 +000037using namespace llvm;
38
Bill Wendling0310d762009-05-15 09:23:25 +000039//===----------------------------------------------------------------------===//
40
41/// Configuration values for initial hash set sizes (log2).
42///
Bill Wendling0310d762009-05-15 09:23:25 +000043static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-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 Lewycky5f9843f2009-11-17 08:11:44 +000050class CompileUnit {
Bill Wendling0310d762009-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 Yasskin5c213dc2010-03-12 17:45:06 +000057 const OwningPtr<DIE> CUDie;
Bill Wendling0310d762009-05-15 09:23:25 +000058
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +000059 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel6f01d9c2009-11-21 00:31:03 +000060 DIE *IndexTyDie;
61
Bill Wendling0310d762009-05-15 09:23:25 +000062 /// GVToDieMap - Tracks the mapping of unit level debug informaton
63 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000064 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel622b0262010-01-19 06:19:05 +000065 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-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 Patele4b27562009-08-28 23:24:31 +000069 /// FIXME : Rename
Devang Patel622b0262010-01-19 06:19:05 +000070 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-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 Patel193f7202009-11-24 01:14:22 +000076 /// GlobalTypes - A map of globally visible types for this unit.
77 ///
78 StringMap<DIE*> GlobalTypes;
79
Bill Wendling0310d762009-05-15 09:23:25 +000080public:
81 CompileUnit(unsigned I, DIE *D)
Devang Patel2c4ceb12009-11-21 02:48:08 +000082 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +000083
84 // Accessors.
Devang Patel193f7202009-11-24 01:14:22 +000085 unsigned getID() const { return ID; }
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +000086 DIE* getCUDie() const { return CUDie.get(); }
Devang Patel193f7202009-11-24 01:14:22 +000087 const StringMap<DIE*> &getGlobals() const { return Globals; }
88 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling0310d762009-05-15 09:23:25 +000089
90 /// hasContent - Return true if this compile unit has something to write out.
91 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000092 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +000093
Devang Patel2c4ceb12009-11-21 02:48:08 +000094 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +000095 ///
Benjamin Kramerbbb88db2010-03-31 20:15:45 +000096 void addGlobal(StringRef Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000097
Devang Patel193f7202009-11-24 01:14:22 +000098 /// addGlobalType - Add a new global type to the compile unit.
99 ///
Benjamin Kramerbbb88db2010-03-31 20:15:45 +0000100 void addGlobalType(StringRef Name, DIE *Die) {
Devang Patel193f7202009-11-24 01:14:22 +0000101 GlobalTypes[Name] = Die;
102 }
103
Devang Patel017d1212009-11-20 21:37:22 +0000104 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling0310d762009-05-15 09:23:25 +0000105 /// specified debug variable.
Devang Patel017d1212009-11-20 21:37:22 +0000106 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000107
Devang Patel017d1212009-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 Wendling0310d762009-05-15 09:23:25 +0000112
Devang Patel017d1212009-11-20 21:37:22 +0000113 /// getDIEEntry - Returns the debug information entry for the speciefied
114 /// debug variable.
Devang Patel6404e4e2009-12-15 19:16:48 +0000115 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel622b0262010-01-19 06:19:05 +0000116 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel6404e4e2009-12-15 19:16:48 +0000117 if (I == GVToDIEEntryMap.end())
118 return NULL;
119 return I->second;
120 }
Devang Patel017d1212009-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 Wendling0310d762009-05-15 09:23:25 +0000125 }
126
Devang Patel2c4ceb12009-11-21 02:48:08 +0000127 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +0000128 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000129 void addDie(DIE *Buffer) {
130 this->CUDie->addChild(Buffer);
Bill Wendling0310d762009-05-15 09:23:25 +0000131 }
Devang Patel6f01d9c2009-11-21 00:31:03 +0000132
133 // getIndexTyDie - Get an anonymous type for index type.
134 DIE *getIndexTyDie() {
135 return IndexTyDie;
136 }
137
Jim Grosbach7ab38df2009-11-22 19:20:36 +0000138 // setIndexTyDie - Set D as anonymous type for index which can be reused
139 // later.
Devang Patel6f01d9c2009-11-21 00:31:03 +0000140 void setIndexTyDie(DIE *D) {
141 IndexTyDie = D;
142 }
143
Bill Wendling0310d762009-05-15 09:23:25 +0000144};
145
146//===----------------------------------------------------------------------===//
147/// DbgVariable - This class is used to track local variable information.
148///
Devang Patelf76a3d62009-11-16 21:53:40 +0000149class DbgVariable {
Bill Wendling0310d762009-05-15 09:23:25 +0000150 DIVariable Var; // Variable Descriptor.
151 unsigned FrameIndex; // Variable frame index.
Devang Patel90a48ad2010-03-15 18:33:46 +0000152 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Devang Patelaead63c2010-03-29 22:59:58 +0000153 // DbgValueLabel - DBG_VALUE is effective from this label.
154 MCSymbol *DbgValueLabel;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000155 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patel53bb5c92009-11-10 23:06:00 +0000156 DIE *TheDIE;
Bill Wendling0310d762009-05-15 09:23:25 +0000157public:
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000158 // AbsVar may be NULL.
159 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patelaead63c2010-03-29 22:59:58 +0000160 : Var(V), FrameIndex(I), DbgValueMInsn(0),
161 DbgValueLabel(0), AbstractVar(AbsVar), TheDIE(0) {}
Devang Patel90a48ad2010-03-15 18:33:46 +0000162 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
Devang Patelaead63c2010-03-29 22:59:58 +0000163 : Var(V), FrameIndex(0), DbgValueMInsn(MI), DbgValueLabel(0),
164 AbstractVar(AbsVar), TheDIE(0)
Devang Patel90a48ad2010-03-15 18:33:46 +0000165 {}
Bill Wendling0310d762009-05-15 09:23:25 +0000166
167 // Accessors.
Devang Patel53bb5c92009-11-10 23:06:00 +0000168 DIVariable getVariable() const { return Var; }
169 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patel90a48ad2010-03-15 18:33:46 +0000170 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patelaead63c2010-03-29 22:59:58 +0000171 MCSymbol *getDbgValueLabel() const { return DbgValueLabel; }
172 void setDbgValueLabel(MCSymbol *L) { DbgValueLabel = L; }
Devang Patel53bb5c92009-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 Wendling0310d762009-05-15 09:23:25 +0000176};
177
178//===----------------------------------------------------------------------===//
179/// DbgScope - This class is used to track scope information.
180///
Devang Patelf76a3d62009-11-16 21:53:40 +0000181class DbgScope {
Bill Wendling0310d762009-05-15 09:23:25 +0000182 DbgScope *Parent; // Parent to this scope.
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000183 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel3139fcf2010-01-26 21:39:14 +0000184 // Location at which this scope is inlined.
185 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel53bb5c92009-11-10 23:06:00 +0000186 bool AbstractScope; // Abstract Scope
Chris Lattnerb7db7332010-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 Pateld38dd112009-10-01 18:25:23 +0000189 const MachineInstr *LastInsn; // Last instruction of this scope.
190 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskin5c213dc2010-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 Dunbarf612ff62009-09-19 20:40:05 +0000195
Owen Anderson04c05f72009-06-24 22:53:20 +0000196 // Private state for dump()
197 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000198public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000199 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000200 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattnerb7db7332010-03-09 01:58:53 +0000201 StartLabel(0), EndLabel(0),
Devang Patelc90aefe2009-10-14 21:08:09 +0000202 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000203 virtual ~DbgScope();
204
205 // Accessors.
206 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000207 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000208 DIDescriptor getDesc() const { return Desc; }
Chris Lattnerbc733f52010-03-13 02:17:42 +0000209 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000210 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattnerb7db7332010-03-09 01:58:53 +0000211 MCSymbol *getStartLabel() const { return StartLabel; }
212 MCSymbol *getEndLabel() const { return EndLabel; }
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000213 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
214 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattnerb7db7332010-03-09 01:58:53 +0000215 void setStartLabel(MCSymbol *S) { StartLabel = S; }
216 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Pateld38dd112009-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 Patel53bb5c92009-11-10 23:06:00 +0000220 void setAbstractScope() { AbstractScope = true; }
221 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000222 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000223
Devang Patel2c4ceb12009-11-21 02:48:08 +0000224 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000225 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000226 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000227
Devang Patel2c4ceb12009-11-21 02:48:08 +0000228 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000229 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000230 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000231
Devang Patel344130e2010-01-04 20:44:00 +0000232 void fixInstructionMarkers(DenseMap<const MachineInstr *,
233 unsigned> &MIIndexMap) {
Chris Lattnered7a77b2010-03-31 05:36:29 +0000234 assert(getFirstInsn() && "First instruction is missing!");
Devang Patel344130e2010-01-04 20:44:00 +0000235
236 // Use the end of last child scope as end of this scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000237 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patelee890ed2010-01-05 16:59:17 +0000238 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel344130e2010-01-04 20:44:00 +0000239 unsigned LIndex = 0;
240 if (Scopes.empty()) {
Chris Lattnered7a77b2010-03-31 05:36:29 +0000241 assert(getLastInsn() && "Inner most scope does not have last insn!");
Devang Patel344130e2010-01-04 20:44:00 +0000242 return;
243 }
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000244 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel344130e2010-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 Patel22fb4b22010-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 Patelaf9e8472009-10-01 20:31:14 +0000267 }
268
Bill Wendling0310d762009-05-15 09:23:25 +0000269#ifndef NDEBUG
270 void dump() const;
271#endif
272};
273
274#ifndef NDEBUG
275void DbgScope::dump() const {
David Greenef83adbc2009-12-24 00:31:35 +0000276 raw_ostream &err = dbgs();
Chris Lattnerc281de12009-08-23 00:51:00 +0000277 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000278 MDNode *N = Desc.getNode();
279 N->dump();
Chris Lattnerb7db7332010-03-09 01:58:53 +0000280 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patel53bb5c92009-11-10 23:06:00 +0000281 if (AbstractScope)
282 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000283
284 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000285 if (!Scopes.empty())
286 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000287 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
288 if (Scopes[i] != this)
289 Scopes[i]->dump();
290
291 IndentLevel -= 2;
292}
293#endif
294
Bill Wendling0310d762009-05-15 09:23:25 +0000295DbgScope::~DbgScope() {
Bill Wendling0310d762009-05-15 09:23:25 +0000296 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
297 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000298}
299
300} // end llvm namespace
301
Chris Lattner75f50722010-04-04 07:48:20 +0000302DwarfDebug::DwarfDebug(AsmPrinter *A)
303 : DwarfPrinter(A), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000304 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Benjamin Kramer345ef342010-03-31 19:34:01 +0000305 DIEBlocks(), SectionSourceLines(), didInitial(false), shouldEmit(false),
Chris Lattnerde4845c2010-04-02 19:42:39 +0000306 CurrentFnDbgScope(0), DebugTimer(0) {
Chris Lattnerbc733f52010-03-13 02:17:42 +0000307 NextStringPoolNumber = 0;
Bill Wendling0310d762009-05-15 09:23:25 +0000308 if (TimePassesIsEnabled)
Chris Lattner0b86a6f2009-12-28 07:41:18 +0000309 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling0310d762009-05-15 09:23:25 +0000310}
311DwarfDebug::~DwarfDebug() {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000312 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
313 DIEBlocks[j]->~DIEBlock();
Bill Wendling0310d762009-05-15 09:23:25 +0000314
Bill Wendling0310d762009-05-15 09:23:25 +0000315 delete DebugTimer;
316}
317
Chris Lattnerbc733f52010-03-13 02:17:42 +0000318MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
319 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
320 if (Entry.first) return Entry.first;
321
322 Entry.second = NextStringPoolNumber++;
Chris Lattnerc0215722010-04-04 19:25:43 +0000323 return Entry.first = Asm->GetTempSymbol("string", Entry.second);
Chris Lattnerbc733f52010-03-13 02:17:42 +0000324}
325
326
Devang Patel2c4ceb12009-11-21 02:48:08 +0000327/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000328///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000329void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000330 // Profile the node so that we can make it unique.
331 FoldingSetNodeID ID;
332 Abbrev.Profile(ID);
333
334 // Check the set for priors.
335 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
336
337 // If it's newly added.
338 if (InSet == &Abbrev) {
339 // Add to abbreviation list.
340 Abbreviations.push_back(&Abbrev);
341
342 // Assign the vector position + 1 as its number.
343 Abbrev.setNumber(Abbreviations.size());
344 } else {
345 // Assign existing abbreviation number.
346 Abbrev.setNumber(InSet->getNumber());
347 }
348}
349
Devang Patel2c4ceb12009-11-21 02:48:08 +0000350/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000351/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000352DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000353 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000354 return Value;
355}
356
Devang Patel2c4ceb12009-11-21 02:48:08 +0000357/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000358///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000359void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000360 unsigned Form, uint64_t Integer) {
361 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000362 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000363 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000364}
365
Devang Patel2c4ceb12009-11-21 02:48:08 +0000366/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000367///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000368void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000369 unsigned Form, int64_t Integer) {
370 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000371 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000372 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000373}
374
Devang Patel69f57b12009-12-02 15:25:16 +0000375/// addString - Add a string attribute data and value. DIEString only
376/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000377void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner4cf202b2010-01-23 03:11:46 +0000378 StringRef String) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000379 DIEValue *Value = new (DIEValueAllocator) DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000380 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000381}
382
Devang Patel2c4ceb12009-11-21 02:48:08 +0000383/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000384///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000385void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000386 const MCSymbol *Label) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000387 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000388 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000389}
390
Devang Patel2c4ceb12009-11-21 02:48:08 +0000391/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000392///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000393void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000394 const MCSymbol *Hi, const MCSymbol *Lo) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000395 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000396 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000397}
398
Devang Patel2c4ceb12009-11-21 02:48:08 +0000399/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000400///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000401void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000402 DIEBlock *Block) {
403 Block->ComputeSize(TD);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000404 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000405 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000406}
407
Devang Patel2c4ceb12009-11-21 02:48:08 +0000408/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000409/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000410void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000411 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000412 if (!V->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000413 return;
414
415 unsigned Line = V->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000416 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
417 V->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000418 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000419 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
420 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000421}
422
Devang Patel2c4ceb12009-11-21 02:48:08 +0000423/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000424/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000425void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000426 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000427 if (!G->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000428 return;
429
430 unsigned Line = G->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000431 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
432 G->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000433 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000434 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
435 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000436}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000437
Devang Patel2c4ceb12009-11-21 02:48:08 +0000438/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000439/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000440void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000441 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000442 if (!SP->getCompileUnit().Verify())
Devang Patel82dfc0c2009-08-31 22:47:13 +0000443 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000444 // If the line number is 0, don't add it.
445 if (SP->getLineNumber() == 0)
446 return;
447
Devang Patel82dfc0c2009-08-31 22:47:13 +0000448 unsigned Line = SP->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000449 if (!SP->getContext().Verify())
450 return;
Devang Patel9bb59a22010-03-24 21:30:35 +0000451 unsigned FileID = GetOrCreateSourceID(SP->getDirectory(),
452 SP->getFilename());
Devang Patel82dfc0c2009-08-31 22:47:13 +0000453 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000454 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
455 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000456}
457
Devang Patel2c4ceb12009-11-21 02:48:08 +0000458/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000459/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000460void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000461 // If there is no compile unit specified, don't add a line #.
462 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel3c91b052010-03-08 20:52:55 +0000463 if (!CU.Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000464 return;
465
466 unsigned Line = Ty->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000467 if (!Ty->getContext().Verify())
468 return;
469 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
470 Ty->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000471 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000472 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
473 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000474}
475
Devang Patel6404e4e2009-12-15 19:16:48 +0000476/// addSourceLine - Add location information to specified debug information
477/// entry.
478void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
479 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000480 if (!NS->getCompileUnit().Verify())
Devang Patel6404e4e2009-12-15 19:16:48 +0000481 return;
482
483 unsigned Line = NS->getLineNumber();
484 StringRef FN = NS->getFilename();
485 StringRef Dir = NS->getDirectory();
486
487 unsigned FileID = GetOrCreateSourceID(Dir, FN);
488 assert(FileID && "Invalid file id");
489 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
490 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
491}
492
Caroline Ticedc8f6042009-08-31 21:19:37 +0000493/* Byref variables, in Blocks, are declared by the programmer as
494 "SomeType VarName;", but the compiler creates a
495 __Block_byref_x_VarName struct, and gives the variable VarName
496 either the struct, or a pointer to the struct, as its type. This
497 is necessary for various behind-the-scenes things the compiler
498 needs to do with by-reference variables in blocks.
499
500 However, as far as the original *programmer* is concerned, the
501 variable should still have type 'SomeType', as originally declared.
502
503 The following function dives into the __Block_byref_x_VarName
504 struct to find the original type of the variable. This will be
505 passed back to the code generating the type for the Debug
506 Information Entry for the variable 'VarName'. 'VarName' will then
507 have the original type 'SomeType' in its debug information.
508
509 The original type 'SomeType' will be the type of the field named
510 'VarName' inside the __Block_byref_x_VarName struct.
511
512 NOTE: In order for this to not completely fail on the debugger
513 side, the Debug Information Entry for the variable VarName needs to
514 have a DW_AT_location that tells the debugger how to unwind through
515 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000516 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000517
518/// Find the type the programmer originally declared the variable to be
519/// and return that type.
520///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000521DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000522
523 DIType subType = Ty;
524 unsigned tag = Ty.getTag();
525
526 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000527 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000528 subType = DTy.getTypeDerivedFrom();
529 }
530
531 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000532 DIArray Elements = blockStruct.getTypeArray();
533
Caroline Ticedc8f6042009-08-31 21:19:37 +0000534 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
535 DIDescriptor Element = Elements.getElement(i);
536 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000537 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000538 return (DT.getTypeDerivedFrom());
539 }
540
541 return Ty;
542}
543
Devang Patel2c4ceb12009-11-21 02:48:08 +0000544/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000545/// and generate the DWARF information necessary to find the actual variable
546/// given the extra address information encoded in the DIVariable, starting from
547/// the starting location. Add the DWARF information to the die.
548///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000549void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000550 unsigned Attribute,
551 const MachineLocation &Location) {
552 const DIVariable &VD = DV->getVariable();
553 DIType Ty = VD.getType();
554
555 // Decode the original location, and use that as the start of the byref
556 // variable's location.
557 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000558 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000559
560 if (Location.isReg()) {
561 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000562 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000563 } else {
564 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000565 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
566 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000567 }
568 } else {
569 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000570 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000571 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000572 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
573 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000574 }
575
Devang Patel2c4ceb12009-11-21 02:48:08 +0000576 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000577 }
578
579 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
580 uint64_t Element = VD.getAddrElement(i);
581
582 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000583 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
584 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000585 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000586 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000587 } else llvm_unreachable("unknown DIFactory Opcode");
588 }
589
590 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000591 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000592}
593
Caroline Ticedc8f6042009-08-31 21:19:37 +0000594/* Byref variables, in Blocks, are declared by the programmer as "SomeType
595 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
596 gives the variable VarName either the struct, or a pointer to the struct, as
597 its type. This is necessary for various behind-the-scenes things the
598 compiler needs to do with by-reference variables in Blocks.
599
600 However, as far as the original *programmer* is concerned, the variable
601 should still have type 'SomeType', as originally declared.
602
Devang Patel2c4ceb12009-11-21 02:48:08 +0000603 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000604 struct to find the original type of the variable, which is then assigned to
605 the variable's Debug Information Entry as its real type. So far, so good.
606 However now the debugger will expect the variable VarName to have the type
607 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000608 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000609 pointers and struct to find the actual variable of type SomeType.
610
611 The following function does just that. We start by getting
612 the "normal" location for the variable. This will be the location
613 of either the struct __Block_byref_x_VarName or the pointer to the
614 struct __Block_byref_x_VarName.
615
616 The struct will look something like:
617
618 struct __Block_byref_x_VarName {
619 ... <various fields>
620 struct __Block_byref_x_VarName *forwarding;
621 ... <various other fields>
622 SomeType VarName;
623 ... <maybe more fields>
624 };
625
626 If we are given the struct directly (as our starting point) we
627 need to tell the debugger to:
628
629 1). Add the offset of the forwarding field.
630
Dan Gohmanf451cb82010-02-10 16:03:48 +0000631 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000632 struct to use (the real one may have been copied onto the heap).
633
634 3). Add the offset for the field VarName, to find the actual variable.
635
636 If we started with a pointer to the struct, then we need to
637 dereference that pointer first, before the other steps.
638 Translating this into DWARF ops, we will need to append the following
639 to the current location description for the variable:
640
641 DW_OP_deref -- optional, if we start with a pointer
642 DW_OP_plus_uconst <forward_fld_offset>
643 DW_OP_deref
644 DW_OP_plus_uconst <varName_fld_offset>
645
646 That is what this function does. */
647
Devang Patel2c4ceb12009-11-21 02:48:08 +0000648/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000649/// provided, and generate the DWARF information necessary to find the
650/// actual Block variable (navigating the Block struct) based on the
651/// starting location. Add the DWARF information to the die. For
652/// more information, read large comment just above here.
653///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000654void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000655 unsigned Attribute,
656 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000657 const DIVariable &VD = DV->getVariable();
658 DIType Ty = VD.getType();
659 DIType TmpTy = Ty;
660 unsigned Tag = Ty.getTag();
661 bool isPointer = false;
662
Devang Patel65dbc902009-11-25 17:36:49 +0000663 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000664
665 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000666 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000667 TmpTy = DTy.getTypeDerivedFrom();
668 isPointer = true;
669 }
670
671 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
672
Daniel Dunbar00564992009-09-19 20:40:14 +0000673 // Find the __forwarding field and the variable field in the __Block_byref
674 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000675 DIArray Fields = blockStruct.getTypeArray();
676 DIDescriptor varField = DIDescriptor();
677 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000678
Daniel Dunbar00564992009-09-19 20:40:14 +0000679 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
680 DIDescriptor Element = Fields.getElement(i);
681 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000682 StringRef fieldName = DT.getName();
683 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000684 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000685 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000686 varField = Element;
687 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000688
Daniel Dunbar00564992009-09-19 20:40:14 +0000689 // Get the offsets for the forwarding field and the variable field.
Chris Lattner1d65ba72010-03-31 06:06:37 +0000690 unsigned forwardingFieldOffset =
Daniel Dunbar00564992009-09-19 20:40:14 +0000691 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
Chris Lattner1d65ba72010-03-31 06:06:37 +0000692 unsigned varFieldOffset =
Daniel Dunbar00564992009-09-19 20:40:14 +0000693 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000694
Mike Stump7e3720d2009-09-24 23:21:26 +0000695 // Decode the original location, and use that as the start of the byref
696 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000697 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000698 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000699
Daniel Dunbar00564992009-09-19 20:40:14 +0000700 if (Location.isReg()) {
701 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000702 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000703 else {
704 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
706 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000707 }
708 } else {
709 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000710 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000711 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000712 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
713 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000714 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000715
Devang Patel2c4ceb12009-11-21 02:48:08 +0000716 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000717 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000718
Mike Stump7e3720d2009-09-24 23:21:26 +0000719 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000720 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000721 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000722 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000723
Daniel Dunbar00564992009-09-19 20:40:14 +0000724 // Next add the offset for the '__forwarding' field:
725 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
726 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000727 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000728 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
729 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000730 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000731
Daniel Dunbar00564992009-09-19 20:40:14 +0000732 // Now dereference the __forwarding field to get to the real __Block_byref
733 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000734 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000735
Daniel Dunbar00564992009-09-19 20:40:14 +0000736 // Now that we've got the real __Block_byref... struct, add the offset
737 // for the variable's field to get to the location of the actual variable:
738 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000739 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000740 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
741 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000742 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000743
Daniel Dunbar00564992009-09-19 20:40:14 +0000744 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000745 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000746}
747
Devang Patel2c4ceb12009-11-21 02:48:08 +0000748/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000749/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000750void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000751 const MachineLocation &Location) {
752 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000753 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Bill Wendling0310d762009-05-15 09:23:25 +0000754
755 if (Location.isReg()) {
756 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000757 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000758 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000759 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
760 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000761 }
762 } else {
763 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000764 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000765 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000766 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
767 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000768 }
769
Devang Patel2c4ceb12009-11-21 02:48:08 +0000770 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000771 }
772
Devang Patel2c4ceb12009-11-21 02:48:08 +0000773 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000774}
775
Devang Patelc366f832009-12-10 19:14:49 +0000776/// addToContextOwner - Add Die into the list of its context owner's children.
777void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3c91b052010-03-08 20:52:55 +0000778 if (Context.isType()) {
Devang Patelc366f832009-12-10 19:14:49 +0000779 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
780 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000781 } else if (Context.isNameSpace()) {
782 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
783 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000784 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
785 ContextDIE->addChild(Die);
786 else
787 ModuleCU->addDie(Die);
788}
789
Devang Patel16ced732009-12-10 18:05:33 +0000790/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
791/// given DIType.
792DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
793 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
794 if (TyDIE)
795 return TyDIE;
796
797 // Create new type.
798 TyDIE = new DIE(dwarf::DW_TAG_base_type);
799 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
800 if (Ty.isBasicType())
801 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
802 else if (Ty.isCompositeType())
803 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
804 else {
805 assert(Ty.isDerivedType() && "Unknown kind of DIType");
806 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
807 }
808
Devang Patelc366f832009-12-10 19:14:49 +0000809 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000810 return TyDIE;
811}
812
Devang Patel2c4ceb12009-11-21 02:48:08 +0000813/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000814void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel3c91b052010-03-08 20:52:55 +0000815 if (!Ty.isValid())
Bill Wendling0310d762009-05-15 09:23:25 +0000816 return;
817
818 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000819 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000820 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000821 if (Entry) {
822 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000823 return;
824 }
825
Bill Wendling0310d762009-05-15 09:23:25 +0000826 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000827 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000828
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000829 // Set up proxy.
830 Entry = createDIEEntry(Buffer);
831 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
832
Devang Patel2c4ceb12009-11-21 02:48:08 +0000833 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000834}
835
Devang Patel2c4ceb12009-11-21 02:48:08 +0000836/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000837void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000838 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000839 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000840 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000841 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000842 BTy.getEncoding());
843
844 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000845 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000846 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000847 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000848 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000849}
850
Devang Patel2c4ceb12009-11-21 02:48:08 +0000851/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000852void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000853 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000854 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000855 uint64_t Size = DTy.getSizeInBits() >> 3;
856 unsigned Tag = DTy.getTag();
857
858 // FIXME - Workaround for templates.
859 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
860
861 Buffer.setTag(Tag);
862
863 // Map to main type, void will not have a type.
864 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000865 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000866
867 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000868 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000869 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000870
871 // Add size if non-zero (derived types might be zero-sized.)
872 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000873 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000874
875 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000876 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000877 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000878}
879
Devang Patel2c4ceb12009-11-21 02:48:08 +0000880/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000881void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000882 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000883 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000884
885 uint64_t Size = CTy.getSizeInBits() >> 3;
886 unsigned Tag = CTy.getTag();
887 Buffer.setTag(Tag);
888
889 switch (Tag) {
890 case dwarf::DW_TAG_vector_type:
891 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000892 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000893 break;
894 case dwarf::DW_TAG_enumeration_type: {
895 DIArray Elements = CTy.getTypeArray();
896
897 // Add enumerators to enumeration type.
898 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
899 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000900 DIDescriptor Enum(Elements.getElement(i).getNode());
901 if (Enum.isEnumerator()) {
902 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000903 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000904 }
Bill Wendling0310d762009-05-15 09:23:25 +0000905 }
906 }
907 break;
908 case dwarf::DW_TAG_subroutine_type: {
909 // Add return type.
910 DIArray Elements = CTy.getTypeArray();
911 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000912 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000913
914 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000915 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000916
917 // Add arguments.
918 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
919 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
920 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000921 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000922 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000923 }
924 }
925 break;
926 case dwarf::DW_TAG_structure_type:
927 case dwarf::DW_TAG_union_type:
928 case dwarf::DW_TAG_class_type: {
929 // Add elements to structure type.
930 DIArray Elements = CTy.getTypeArray();
931
932 // A forward struct declared type may not have elements available.
Devang Patel3c91b052010-03-08 20:52:55 +0000933 unsigned N = Elements.getNumElements();
934 if (N == 0)
Bill Wendling0310d762009-05-15 09:23:25 +0000935 break;
936
937 // Add elements to structure type.
Devang Patel3c91b052010-03-08 20:52:55 +0000938 for (unsigned i = 0; i < N; ++i) {
Bill Wendling0310d762009-05-15 09:23:25 +0000939 DIDescriptor Element = Elements.getElement(i);
940 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000941 if (Element.isSubprogram())
Devang Patelffe966c2009-12-14 16:18:45 +0000942 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000943 else if (Element.isVariable()) {
Devang Patel1ee0cb92010-01-30 01:08:30 +0000944 DIVariable DV(Element.getNode());
945 ElemDie = new DIE(dwarf::DW_TAG_variable);
946 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
947 DV.getName());
948 addType(ElemDie, DV.getType());
949 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
950 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
951 addSourceLine(ElemDie, &DV);
Devang Patel3c91b052010-03-08 20:52:55 +0000952 } else if (Element.isDerivedType())
Devang Patel8a241142009-12-09 18:24:21 +0000953 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000954 else
955 continue;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000956 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000957 }
958
Devang Patela1ba2692009-08-27 23:51:51 +0000959 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000960 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000961
962 unsigned RLang = CTy.getRunTimeLang();
963 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000964 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000965 dwarf::DW_FORM_data1, RLang);
Devang Patelb5544992010-01-26 21:16:06 +0000966
967 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel3c91b052010-03-08 20:52:55 +0000968 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patelb5544992010-01-26 21:16:06 +0000969 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
970 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling0310d762009-05-15 09:23:25 +0000971 break;
972 }
973 default:
974 break;
975 }
976
977 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000978 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000979 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000980
Devang Patel8cbb6122010-01-29 18:34:58 +0000981 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling0310d762009-05-15 09:23:25 +0000982 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
983 // Add size if non-zero (derived types might be zero-sized.)
984 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000985 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000986 else {
987 // Add zero size if it is not a forward declaration.
988 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000989 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000990 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000991 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000992 }
993
994 // Add source line info if available.
995 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000996 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000997 }
998}
999
Devang Patel2c4ceb12009-11-21 02:48:08 +00001000/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1001void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +00001002 int64_t L = SR.getLo();
1003 int64_t H = SR.getHi();
1004 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1005
Devang Patel2c4ceb12009-11-21 02:48:08 +00001006 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +00001007 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001008 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +00001009 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +00001010
Devang Patel2c4ceb12009-11-21 02:48:08 +00001011 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +00001012}
1013
Devang Patel2c4ceb12009-11-21 02:48:08 +00001014/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +00001015void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +00001016 DICompositeType *CTy) {
1017 Buffer.setTag(dwarf::DW_TAG_array_type);
1018 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001019 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001020
1021 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001022 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001023 DIArray Elements = CTy->getTypeArray();
1024
Devang Patel6f01d9c2009-11-21 00:31:03 +00001025 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001026 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001027 if (!IdxTy) {
1028 // Construct an anonymous type for index type.
1029 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001030 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1031 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001032 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001033 ModuleCU->addDie(IdxTy);
1034 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001035 }
Bill Wendling0310d762009-05-15 09:23:25 +00001036
1037 // Add subranges to array type.
1038 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1039 DIDescriptor Element = Elements.getElement(i);
1040 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001041 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001042 }
1043}
1044
Devang Patel2c4ceb12009-11-21 02:48:08 +00001045/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3c91b052010-03-08 20:52:55 +00001046DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001047 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3c91b052010-03-08 20:52:55 +00001048 StringRef Name = ETy.getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001049 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3c91b052010-03-08 20:52:55 +00001050 int64_t Value = ETy.getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001051 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001052 return Enumerator;
1053}
1054
Devang Patel351ca332010-01-05 01:46:14 +00001055/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1056/// printer to not emit usual symbol prefix before the symbol name is used then
1057/// return linkage name after skipping this special LLVM prefix.
1058static StringRef getRealLinkageName(StringRef LinkageName) {
1059 char One = '\1';
1060 if (LinkageName.startswith(StringRef(&One, 1)))
1061 return LinkageName.substr(1);
1062 return LinkageName;
1063}
1064
Devang Patel2c4ceb12009-11-21 02:48:08 +00001065/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001066DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001067 // If the global variable was optmized out then no need to create debug info
1068 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001069 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001070 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001071
Bill Wendling0310d762009-05-15 09:23:25 +00001072 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001073 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001074 GV.getDisplayName());
1075
Devang Patel65dbc902009-11-25 17:36:49 +00001076 StringRef LinkageName = GV.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001077 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001078 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001079 getRealLinkageName(LinkageName));
1080
Devang Patel8a241142009-12-09 18:24:21 +00001081 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001082 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001083 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1084 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001085
Bill Wendling0310d762009-05-15 09:23:25 +00001086 return GVDie;
1087}
1088
Devang Patel2c4ceb12009-11-21 02:48:08 +00001089/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001090DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001091 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001092 StringRef Name = DT.getName();
1093 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001094 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001095
Devang Patel8a241142009-12-09 18:24:21 +00001096 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001097
Devang Patel2c4ceb12009-11-21 02:48:08 +00001098 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001099
Benjamin Kramer345ef342010-03-31 19:34:01 +00001100 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001101 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001102
Bill Wendling0310d762009-05-15 09:23:25 +00001103 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001104 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001105
1106 if (Size != FieldSize) {
1107 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001108 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1109 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001110
1111 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling0310d762009-05-15 09:23:25 +00001112 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1113 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer3d594fd2010-01-07 17:50:57 +00001114 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling0310d762009-05-15 09:23:25 +00001115 Offset -= FieldOffset;
1116
1117 // Maybe we need to work from the other end.
1118 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001119 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001120
Devang Patel33db5082009-11-04 22:06:12 +00001121 // Here WD_AT_data_member_location points to the anonymous
1122 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001123 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001124
1125 } else
1126 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001127 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001128
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001129 if (DT.getTag() == dwarf::DW_TAG_inheritance
1130 && DT.isVirtual()) {
1131
1132 // For C++, virtual base classes are not at fixed offset. Use following
1133 // expression to extract appropriate offset from vtable.
1134 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1135
Benjamin Kramer345ef342010-03-31 19:34:01 +00001136 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001137 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1138 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1139 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1140 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1141 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1142 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1143 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1144
1145 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1146 VBaseLocationDie);
1147 } else
1148 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001149
1150 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001151 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001152 dwarf::DW_ACCESS_protected);
1153 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001154 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001155 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001156 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1157 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1158 dwarf::DW_ACCESS_public);
1159 if (DT.isVirtual())
1160 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1161 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001162 return MemberDie;
1163}
1164
Devang Patelffe966c2009-12-14 16:18:45 +00001165/// createSubprogramDIE - Create new DIE using SP.
1166DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1167 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1168 if (SPDie)
1169 return SPDie;
1170
1171 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel1eac3e72010-03-02 17:58:15 +00001172 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel6b506cb2010-03-02 01:26:20 +00001173 if (!SP.getName().empty())
1174 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001175
Devang Patel65dbc902009-11-25 17:36:49 +00001176 StringRef LinkageName = SP.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001177 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001178 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001179 getRealLinkageName(LinkageName));
1180
Devang Patel2c4ceb12009-11-21 02:48:08 +00001181 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001182
Bill Wendling0310d762009-05-15 09:23:25 +00001183 // Add prototyped tag, if C or ObjC.
1184 unsigned Lang = SP.getCompileUnit().getLanguage();
1185 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1186 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001187 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001188
1189 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001190 DICompositeType SPTy = SP.getType();
1191 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001192 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001193
Devang Patel3c91b052010-03-08 20:52:55 +00001194 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001195 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001196 else
Devang Patel8a241142009-12-09 18:24:21 +00001197 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001198
Devang Patel5d11eb02009-12-03 19:11:07 +00001199 unsigned VK = SP.getVirtuality();
1200 if (VK) {
1201 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
Benjamin Kramer345ef342010-03-31 19:34:01 +00001202 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel5d11eb02009-12-03 19:11:07 +00001203 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1204 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1205 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel622b0262010-01-19 06:19:05 +00001206 ContainingTypeMap.insert(std::make_pair(SPDie,
1207 SP.getContainingType().getNode()));
Devang Patel5d11eb02009-12-03 19:11:07 +00001208 }
1209
Devang Patelffe966c2009-12-14 16:18:45 +00001210 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001211 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001212
1213 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001214 // be handled while processing variables.
1215 DICompositeType SPTy = SP.getType();
1216 DIArray Args = SPTy.getTypeArray();
1217 unsigned SPTag = SPTy.getTag();
1218
Bill Wendling0310d762009-05-15 09:23:25 +00001219 if (SPTag == dwarf::DW_TAG_subroutine_type)
1220 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1221 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelb4645642010-02-06 01:02:37 +00001222 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1223 addType(Arg, ATy);
1224 if (ATy.isArtificial())
1225 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001226 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001227 }
1228 }
1229
Devang Patel4e0d19d2010-02-03 19:57:19 +00001230 if (SP.isArtificial())
1231 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1232
Bill Wendling0310d762009-05-15 09:23:25 +00001233 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001234 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001235 return SPDie;
1236}
1237
Devang Patel8935d902010-04-01 17:16:48 +00001238/// getUpdatedDbgScope - Find DbgScope assicated with the instruction.
1239/// Update scope hierarchy. Create abstract scope if required.
Devang Patel53bb5c92009-11-10 23:06:00 +00001240DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
Chris Lattnered7a77b2010-03-31 05:36:29 +00001241 MDNode *InlinedAt) {
1242 assert(N && "Invalid Scope encoding!");
1243 assert(MI && "Missing machine instruction!");
Devang Patel8935d902010-04-01 17:16:48 +00001244 bool isAConcreteScope = InlinedAt != 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001245
1246 DbgScope *NScope = NULL;
1247
1248 if (InlinedAt)
1249 NScope = DbgScopeMap.lookup(InlinedAt);
1250 else
1251 NScope = DbgScopeMap.lookup(N);
Chris Lattnered7a77b2010-03-31 05:36:29 +00001252 assert(NScope && "Unable to find working scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001253
1254 if (NScope->getFirstInsn())
1255 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001256
1257 DbgScope *Parent = NULL;
Devang Patel8935d902010-04-01 17:16:48 +00001258 if (isAConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001259 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001260 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001261 IL.getOrigLocation().getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001262 assert(Parent && "Unable to find Parent scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001263 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001264 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001265 } else if (DIDescriptor(N).isLexicalBlock()) {
1266 DILexicalBlock DB(N);
Devang Patel3c91b052010-03-08 20:52:55 +00001267 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1268 NScope->setParent(Parent);
1269 Parent->addScope(NScope);
Devang Patelc90aefe2009-10-14 21:08:09 +00001270 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001271
Devang Patelbdf45cb2009-10-27 20:47:17 +00001272 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001273
Devang Patel53bb5c92009-11-10 23:06:00 +00001274 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001275 StringRef SPName = DISubprogram(N).getLinkageName();
1276 if (SPName == MF->getFunction()->getName())
1277 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001278 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001279
Devang Patel8935d902010-04-01 17:16:48 +00001280 if (isAConcreteScope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001281 ConcreteScopes[InlinedAt] = NScope;
1282 getOrCreateAbstractScope(N);
1283 }
1284
Devang Patelbdf45cb2009-10-27 20:47:17 +00001285 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001286}
1287
Devang Patel53bb5c92009-11-10 23:06:00 +00001288DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
Chris Lattnered7a77b2010-03-31 05:36:29 +00001289 assert(N && "Invalid Scope encoding!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001290
1291 DbgScope *AScope = AbstractScopes.lookup(N);
1292 if (AScope)
1293 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001294
Devang Patel53bb5c92009-11-10 23:06:00 +00001295 DbgScope *Parent = NULL;
1296
1297 DIDescriptor Scope(N);
1298 if (Scope.isLexicalBlock()) {
1299 DILexicalBlock DB(N);
1300 DIDescriptor ParentDesc = DB.getContext();
Devang Patel3c91b052010-03-08 20:52:55 +00001301 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001302 }
1303
1304 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1305
1306 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001307 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001308 AScope->setAbstractScope();
1309 AbstractScopes[N] = AScope;
1310 if (DIDescriptor(N).isSubprogram())
1311 AbstractScopesList.push_back(AScope);
1312 return AScope;
1313}
Devang Patelaf9e8472009-10-01 20:31:14 +00001314
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001315/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001316/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1317/// If there are global variables in this scope then create and insert
1318/// DIEs for these variables.
1319DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel017d1212009-11-20 21:37:22 +00001320 DIE *SPDie = ModuleCU->getDIE(SPNode);
Chris Lattner206d61e2010-03-13 07:26:18 +00001321 assert(SPDie && "Unable to find subprogram DIE!");
Devang Patelffe966c2009-12-14 16:18:45 +00001322 DISubprogram SP(SPNode);
Chris Lattner206d61e2010-03-13 07:26:18 +00001323
Devang Patel6cda22e2010-02-05 23:09:20 +00001324 // There is not any need to generate specification DIE for a function
1325 // defined at compile unit level. If a function is defined inside another
1326 // function then gdb prefers the definition at top level and but does not
1327 // expect specification DIE in parent function. So avoid creating
1328 // specification DIE for a function defined inside a function.
Stuart Hastingsf8df8142010-03-31 23:08:46 +00001329 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1330 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
Devang Patelffe966c2009-12-14 16:18:45 +00001331 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Chris Lattner206d61e2010-03-13 07:26:18 +00001332
1333 // Add arguments.
Devang Patelffe966c2009-12-14 16:18:45 +00001334 DICompositeType SPTy = SP.getType();
1335 DIArray Args = SPTy.getTypeArray();
1336 unsigned SPTag = SPTy.getTag();
1337 if (SPTag == dwarf::DW_TAG_subroutine_type)
Chris Lattner206d61e2010-03-13 07:26:18 +00001338 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Devang Patelffe966c2009-12-14 16:18:45 +00001339 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelb4645642010-02-06 01:02:37 +00001340 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1341 addType(Arg, ATy);
1342 if (ATy.isArtificial())
1343 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelffe966c2009-12-14 16:18:45 +00001344 SPDie->addChild(Arg);
1345 }
1346 DIE *SPDeclDie = SPDie;
1347 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1348 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1349 SPDeclDie);
Devang Patelffe966c2009-12-14 16:18:45 +00001350 ModuleCU->addDie(SPDie);
1351 }
Devang Patelb4645642010-02-06 01:02:37 +00001352
Devang Patel2c4ceb12009-11-21 02:48:08 +00001353 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerc0215722010-04-04 19:25:43 +00001354 Asm->GetTempSymbol("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001355 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerc0215722010-04-04 19:25:43 +00001356 Asm->GetTempSymbol("func_end", SubprogramCount));
Devang Patel53bb5c92009-11-10 23:06:00 +00001357 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001358 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001359
Devang Patel53bb5c92009-11-10 23:06:00 +00001360 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001361 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001362
Devang Patel53bb5c92009-11-10 23:06:00 +00001363 return SPDie;
1364}
1365
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001366/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001367/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1368DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattnerb7db7332010-03-09 01:58:53 +00001369 MCSymbol *Start = Scope->getStartLabel();
1370 MCSymbol *End = Scope->getEndLabel();
Devang Patelaead63c2010-03-29 22:59:58 +00001371 if (Start == 0 || End == 0) return 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001372
Chris Lattnerb7db7332010-03-09 01:58:53 +00001373 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1374 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattnera34ec2292010-03-09 01:51:43 +00001375
Devang Patel53bb5c92009-11-10 23:06:00 +00001376 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1377 if (Scope->isAbstractScope())
1378 return ScopeDIE;
1379
Devang Patel2c4ceb12009-11-21 02:48:08 +00001380 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerc0215722010-04-04 19:25:43 +00001381 Start ? Start : Asm->GetTempSymbol("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001382 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerc0215722010-04-04 19:25:43 +00001383 End ? End : Asm->GetTempSymbol("func_end", SubprogramCount));
Devang Patel53bb5c92009-11-10 23:06:00 +00001384
1385 return ScopeDIE;
1386}
1387
Devang Patel2c4ceb12009-11-21 02:48:08 +00001388/// constructInlinedScopeDIE - This scope represents inlined body of
1389/// a function. Construct DIE to represent this concrete inlined copy
1390/// of the function.
1391DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattnerb7db7332010-03-09 01:58:53 +00001392 MCSymbol *StartLabel = Scope->getStartLabel();
1393 MCSymbol *EndLabel = Scope->getEndLabel();
Devang Patelaead63c2010-03-29 22:59:58 +00001394 if (StartLabel == 0 || EndLabel == 0) return 0;
Chris Lattner6c7dfc02010-03-09 04:48:35 +00001395
Chris Lattnerb7db7332010-03-09 01:58:53 +00001396 assert(StartLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001397 "Invalid starting label for an inlined scope!");
Chris Lattnerb7db7332010-03-09 01:58:53 +00001398 assert(EndLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001399 "Invalid end label for an inlined scope!");
Devang Patel3c91b052010-03-08 20:52:55 +00001400 if (!Scope->getScopeNode())
Devang Patel0ef3fa62010-03-08 19:20:38 +00001401 return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001402 DIScope DS(Scope->getScopeNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001403 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1404
1405 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001406 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001407 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001408 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001409 dwarf::DW_FORM_ref4, OriginDIE);
1410
Chris Lattner6ed0f902010-03-09 00:31:02 +00001411 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnerb7db7332010-03-09 01:58:53 +00001412 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel53bb5c92009-11-10 23:06:00 +00001413
1414 InlinedSubprogramDIEs.insert(OriginDIE);
1415
1416 // Track the start label for this inlined function.
Devang Patel622b0262010-01-19 06:19:05 +00001417 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel53bb5c92009-11-10 23:06:00 +00001418 I = InlineInfo.find(InlinedSP.getNode());
1419
1420 if (I == InlineInfo.end()) {
Chris Lattner6ed0f902010-03-09 00:31:02 +00001421 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001422 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001423 InlinedSPNodes.push_back(InlinedSP.getNode());
1424 } else
Chris Lattner6ed0f902010-03-09 00:31:02 +00001425 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001426
Devang Patel53bb5c92009-11-10 23:06:00 +00001427 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001428 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1429 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001430
1431 return ScopeDIE;
1432}
1433
Devang Patel2c4ceb12009-11-21 02:48:08 +00001434
1435/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001436DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001437 // Get the descriptor.
1438 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001439 StringRef Name = VD.getName();
1440 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001441 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001442
1443 // Translate tag to proper Dwarf tag. The result variable is dropped for
1444 // now.
1445 unsigned Tag;
1446 switch (VD.getTag()) {
1447 case dwarf::DW_TAG_return_variable:
1448 return NULL;
1449 case dwarf::DW_TAG_arg_variable:
1450 Tag = dwarf::DW_TAG_formal_parameter;
1451 break;
1452 case dwarf::DW_TAG_auto_variable: // fall thru
1453 default:
1454 Tag = dwarf::DW_TAG_variable;
1455 break;
1456 }
1457
1458 // Define variable debug information entry.
1459 DIE *VariableDie = new DIE(Tag);
1460
1461
1462 DIE *AbsDIE = NULL;
1463 if (DbgVariable *AV = DV->getAbstractVariable())
1464 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001465
Devang Patel53bb5c92009-11-10 23:06:00 +00001466 if (AbsDIE) {
1467 DIScope DS(Scope->getScopeNode());
1468 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001469 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001470 (void) OriginSPDIE;
Chris Lattnered7a77b2010-03-31 05:36:29 +00001471 assert(OriginSPDIE && "Unable to find Origin DIE for the SP!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001472 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
Chris Lattnered7a77b2010-03-31 05:36:29 +00001473 assert(AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001474 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001475 dwarf::DW_FORM_ref4, AbsDIE);
1476 }
1477 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001478 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1479 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001480
1481 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001482 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001483 // addresses instead.
1484 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001485 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001486 else
Devang Patel8a241142009-12-09 18:24:21 +00001487 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001488 }
1489
1490 // Add variable address.
1491 if (!Scope->isAbstractScope()) {
Devang Patel90a48ad2010-03-15 18:33:46 +00001492 // Check if variable is described by DBG_VALUE instruction.
1493 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1494 if (DbgValueInsn->getNumOperands() == 3) {
1495 // FIXME : Handle getNumOperands != 3
1496 if (DbgValueInsn->getOperand(0).getType()
1497 == MachineOperand::MO_Register
1498 && DbgValueInsn->getOperand(0).getReg()) {
1499 MachineLocation Location;
1500 Location.set(DbgValueInsn->getOperand(0).getReg());
1501 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patelaead63c2010-03-29 22:59:58 +00001502 if (MCSymbol *VS = DV->getDbgValueLabel())
1503 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1504 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001505 } else if (DbgValueInsn->getOperand(0).getType() ==
1506 MachineOperand::MO_Immediate) {
Benjamin Kramer345ef342010-03-31 19:34:01 +00001507 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel90a48ad2010-03-15 18:33:46 +00001508 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1509 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1510 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
Devang Patelaead63c2010-03-29 22:59:58 +00001511 if (MCSymbol *VS = DV->getDbgValueLabel())
1512 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1513 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001514 } else {
1515 //FIXME : Handle other operand types.
1516 delete VariableDie;
1517 return NULL;
1518 }
1519 }
1520 } else {
1521 MachineLocation Location;
1522 unsigned FrameReg;
Chris Lattner1d65ba72010-03-31 06:06:37 +00001523 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(),
1524 FrameReg);
Devang Patel90a48ad2010-03-15 18:33:46 +00001525 Location.set(FrameReg, Offset);
1526
1527 if (VD.hasComplexAddress())
1528 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1529 else if (VD.isBlockByrefVariable())
1530 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1531 else
1532 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1533 }
Devang Patel53bb5c92009-11-10 23:06:00 +00001534 }
Devang Patelb4645642010-02-06 01:02:37 +00001535
1536 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1537 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001538 DV->setDIE(VariableDie);
1539 return VariableDie;
1540
1541}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001542
Devang Patel193f7202009-11-24 01:14:22 +00001543void DwarfDebug::addPubTypes(DISubprogram SP) {
1544 DICompositeType SPTy = SP.getType();
1545 unsigned SPTag = SPTy.getTag();
1546 if (SPTag != dwarf::DW_TAG_subroutine_type)
1547 return;
1548
1549 DIArray Args = SPTy.getTypeArray();
Devang Patel193f7202009-11-24 01:14:22 +00001550 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1551 DIType ATy(Args.getElement(i).getNode());
Devang Patel3c91b052010-03-08 20:52:55 +00001552 if (!ATy.isValid())
Devang Patel193f7202009-11-24 01:14:22 +00001553 continue;
1554 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel3c91b052010-03-08 20:52:55 +00001555 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001556 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1557 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1558 }
1559 }
1560}
1561
Devang Patel2c4ceb12009-11-21 02:48:08 +00001562/// constructScopeDIE - Construct a DIE for this scope.
1563DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3c91b052010-03-08 20:52:55 +00001564 if (!Scope || !Scope->getScopeNode())
1565 return NULL;
1566
1567 DIScope DS(Scope->getScopeNode());
1568 DIE *ScopeDIE = NULL;
1569 if (Scope->getInlinedAt())
1570 ScopeDIE = constructInlinedScopeDIE(Scope);
1571 else if (DS.isSubprogram()) {
1572 if (Scope->isAbstractScope())
1573 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1574 else
1575 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1576 }
Devang Patelaead63c2010-03-29 22:59:58 +00001577 else
Devang Patel3c91b052010-03-08 20:52:55 +00001578 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patelaead63c2010-03-29 22:59:58 +00001579 if (!ScopeDIE) return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001580
Devang Patel53bb5c92009-11-10 23:06:00 +00001581 // Add variables to scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001582 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel53bb5c92009-11-10 23:06:00 +00001583 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001584 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001585 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001586 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001587 }
1588
1589 // Add nested scopes.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001590 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel53bb5c92009-11-10 23:06:00 +00001591 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1592 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001593 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001594 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001595 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001596 }
Devang Patel193f7202009-11-24 01:14:22 +00001597
1598 if (DS.isSubprogram())
1599 addPubTypes(DISubprogram(DS.getNode()));
1600
1601 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001602}
1603
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001604/// GetOrCreateSourceID - Look up the source id with the given directory and
1605/// source file names. If none currently exists, create a new id and insert it
1606/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1607/// maps as well.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001608unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName){
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001609 unsigned DId;
1610 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1611 if (DI != DirectoryIdMap.end()) {
1612 DId = DI->getValue();
1613 } else {
1614 DId = DirectoryNames.size() + 1;
1615 DirectoryIdMap[DirName] = DId;
1616 DirectoryNames.push_back(DirName);
1617 }
1618
1619 unsigned FId;
1620 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1621 if (FI != SourceFileIdMap.end()) {
1622 FId = FI->getValue();
1623 } else {
1624 FId = SourceFileNames.size() + 1;
1625 SourceFileIdMap[FileName] = FId;
1626 SourceFileNames.push_back(FileName);
1627 }
1628
1629 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1630 SourceIdMap.find(std::make_pair(DId, FId));
1631 if (SI != SourceIdMap.end())
1632 return SI->second;
1633
1634 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1635 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1636 SourceIds.push_back(std::make_pair(DId, FId));
1637
1638 return SrcId;
1639}
1640
Devang Patel6404e4e2009-12-15 19:16:48 +00001641/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1642DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1643 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1644 if (NDie)
1645 return NDie;
1646 NDie = new DIE(dwarf::DW_TAG_namespace);
1647 ModuleCU->insertDIE(NS.getNode(), NDie);
1648 if (!NS.getName().empty())
1649 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1650 addSourceLine(NDie, &NS);
1651 addToContextOwner(NDie, NS.getContext());
1652 return NDie;
1653}
1654
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001655void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001656 DICompileUnit DIUnit(N);
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001657 // Use first compile unit marked as isMain as the compile unit for this
1658 // module.
1659 if (ModuleCU || !DIUnit.isMain())
1660 return;
Devang Patel65dbc902009-11-25 17:36:49 +00001661 StringRef FN = DIUnit.getFilename();
1662 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001663 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001664
1665 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001666 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001667 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001668 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001669 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001670 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Devang Patel4a602ca2010-03-22 23:11:36 +00001671 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerc0215722010-04-04 19:25:43 +00001672 Asm->GetTempSymbol("text_begin"));
Devang Patel4a602ca2010-03-22 23:11:36 +00001673 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerc0215722010-04-04 19:25:43 +00001674 Asm->GetTempSymbol("text_end"));
Devang Patel4a602ca2010-03-22 23:11:36 +00001675 // DW_AT_stmt_list is a offset of line number information for this
1676 // compile unit in debug_line section. It is always zero when only one
1677 // compile unit is emitted in one object file.
1678 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001679
Devang Patel65dbc902009-11-25 17:36:49 +00001680 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001681 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001682 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001683 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001684
Devang Patel65dbc902009-11-25 17:36:49 +00001685 StringRef Flags = DIUnit.getFlags();
1686 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001687 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001688
1689 unsigned RVer = DIUnit.getRunTimeVersion();
1690 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001691 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001692 dwarf::DW_FORM_data1, RVer);
1693
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001694 assert(!ModuleCU &&
1695 "ModuleCU assigned since the top of constructCompileUnit");
1696 ModuleCU = new CompileUnit(ID, Die);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001697}
1698
Devang Patel2c4ceb12009-11-21 02:48:08 +00001699void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001700 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001701
Devang Patel905cf5e2009-09-04 23:59:07 +00001702 // If debug information is malformed then ignore it.
1703 if (DI_GV.Verify() == false)
1704 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001705
1706 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001707 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001708 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001709
Devang Patel8a241142009-12-09 18:24:21 +00001710 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001711 if (!VariableDie)
1712 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001713
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001714 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001715 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001716
1717 // Add to context owner.
Devang Patelc9b16cc2010-01-15 01:12:22 +00001718 DIDescriptor GVContext = DI_GV.getContext();
1719 // Do not create specification DIE if context is either compile unit
1720 // or a subprogram.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001721 if (DI_GV.isDefinition() && !GVContext.isCompileUnit() &&
1722 !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel6404e4e2009-12-15 19:16:48 +00001723 // Create specification DIE.
1724 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1725 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1726 dwarf::DW_FORM_ref4, VariableDie);
Benjamin Kramer345ef342010-03-31 19:34:01 +00001727 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel6404e4e2009-12-15 19:16:48 +00001728 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001729 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001730 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001731 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patel8581e012010-02-09 01:58:33 +00001732 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel6404e4e2009-12-15 19:16:48 +00001733 ModuleCU->addDie(VariableSpecDIE);
1734 } else {
Benjamin Kramer345ef342010-03-31 19:34:01 +00001735 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel6404e4e2009-12-15 19:16:48 +00001736 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001737 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001738 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001739 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1740 }
Devang Patelc9b16cc2010-01-15 01:12:22 +00001741 addToContextOwner(VariableDie, GVContext);
Devang Patelc366f832009-12-10 19:14:49 +00001742
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001743 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001744 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001745
1746 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001747 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001748 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001749 assert(Entry && "Missing global type!");
Devang Patel193f7202009-11-24 01:14:22 +00001750 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1751 }
Devang Patel13e16b62009-06-26 01:49:18 +00001752 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001753}
1754
Devang Patel2c4ceb12009-11-21 02:48:08 +00001755void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001756 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001757
Stuart Hastingsf8df8142010-03-31 23:08:46 +00001758 // Check for pre-existence.
1759 if (ModuleCU->getDIE(N))
1760 return;
1761
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001762 if (!SP.isDefinition())
1763 // This is a method declaration which will be handled while constructing
1764 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001765 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001766
Stuart Hastingsf8df8142010-03-31 23:08:46 +00001767 DIE *SubprogramDie = createSubprogramDIE(SP);
1768
1769 // Add to map.
1770 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001771
1772 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001773 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001774
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001775 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001776 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001777
Devang Patel13e16b62009-06-26 01:49:18 +00001778 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001779}
1780
Devang Patel2c4ceb12009-11-21 02:48:08 +00001781/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001782/// content. Create global DIEs and emit initial debug info sections.
1783/// This is inovked by the target AsmPrinter.
Chris Lattner75f50722010-04-04 07:48:20 +00001784void DwarfDebug::beginModule(Module *M) {
Devang Patel208622d2009-06-25 22:36:02 +00001785 this->M = M;
1786
Devang Patel3380cc52009-11-11 19:55:08 +00001787 if (!MAI->doesSupportDebugInformation())
1788 return;
1789
Chris Lattnera909d662010-03-29 20:38:20 +00001790 TimeRegion Timer(DebugTimer);
1791
Devang Patel78ab9e22009-07-30 18:56:46 +00001792 DebugInfoFinder DbgFinder;
1793 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001794
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001795 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001796 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1797 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001798 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001799
Devang Patel1dbc7712009-06-29 20:45:18 +00001800 if (!ModuleCU)
Devang Patel77bf2952010-03-08 22:02:50 +00001801 return;
Devang Patel70f44262009-06-29 20:38:13 +00001802
Devang Patel53bb5c92009-11-10 23:06:00 +00001803 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001804 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1805 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001806 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001807
Devang Patelc366f832009-12-10 19:14:49 +00001808 // Create DIEs for each global variable.
1809 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1810 E = DbgFinder.global_variable_end(); I != E; ++I)
1811 constructGlobalVariableDIE(*I);
1812
Chris Lattner75f50722010-04-04 07:48:20 +00001813 MMI = Asm->MMI;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001814 shouldEmit = true;
1815 MMI->setDebugInfoAvailability(true);
1816
1817 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001818 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001819
1820 // Print out .file directives to specify files for .loc directives. These are
1821 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001822 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001823 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1824 // Remember source id starts at 1.
1825 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattner0ad9c912010-01-22 22:09:00 +00001826 // FIXME: don't use sys::path for this! This should not depend on the
1827 // host.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001828 sys::Path FullPath(getSourceDirectoryName(Id.first));
1829 bool AppendOk =
1830 FullPath.appendComponent(getSourceFileName(Id.second));
1831 assert(AppendOk && "Could not append filename to directory!");
1832 AppendOk = false;
Chris Lattnera6594fc2010-01-25 18:58:59 +00001833 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001834 }
1835 }
1836
1837 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001838 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001839}
1840
Devang Patel2c4ceb12009-11-21 02:48:08 +00001841/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001842///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001843void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001844 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001845 return;
1846
Chris Lattnera909d662010-03-29 20:38:20 +00001847 TimeRegion Timer(DebugTimer);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001848
Devang Patel53bb5c92009-11-10 23:06:00 +00001849 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1850 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1851 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1852 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001853 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001854 }
1855
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001856 // Insert top level DIEs.
1857 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1858 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1859 ModuleCU->getCUDie()->addChild(*TI);
1860
Devang Patel622b0262010-01-19 06:19:05 +00001861 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel5d11eb02009-12-03 19:11:07 +00001862 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1863 DIE *SPDie = CI->first;
1864 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1865 if (!N) continue;
1866 DIE *NDie = ModuleCU->getDIE(N);
1867 if (!NDie) continue;
1868 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patelf8b72ca2010-01-15 00:26:31 +00001869 // FIXME - This is not the correct approach.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001870 //addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie
Devang Patel5d11eb02009-12-03 19:11:07 +00001871 }
1872
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001873 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001874 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00001875 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001876 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00001877 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001878
1879 // End text sections.
1880 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001881 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattnerc0215722010-04-04 19:25:43 +00001882 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", i));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001883 }
1884
1885 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001886 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001887
1888 // Emit function debug frame information
1889 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1890 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001891 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001892
1893 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001894 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001895
1896 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001897 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001898
1899 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001900 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001901
1902 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001903 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001904
1905 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001906 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001907
Devang Patel193f7202009-11-24 01:14:22 +00001908 // Emit info into a debug pubtypes section.
1909 emitDebugPubTypes();
1910
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001911 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001912 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001913
1914 // Emit info into a debug aranges section.
1915 EmitDebugARanges();
1916
1917 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001918 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001919
1920 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001921 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001922
1923 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001924 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001925
Chris Lattnerbc733f52010-03-13 02:17:42 +00001926 // Emit info into a debug str section.
1927 emitDebugStr();
1928
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001929 delete ModuleCU;
1930 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001931}
1932
Devang Patel53bb5c92009-11-10 23:06:00 +00001933/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001934DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1935 unsigned FrameIdx,
Chris Lattnerde4845c2010-04-02 19:42:39 +00001936 DebugLoc ScopeLoc) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001937
1938 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1939 if (AbsDbgVariable)
1940 return AbsDbgVariable;
1941
Chris Lattnerde4845c2010-04-02 19:42:39 +00001942 LLVMContext &Ctx = Var.getNode()->getContext();
1943 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00001944 if (!Scope)
1945 return NULL;
1946
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001947 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
1948 NULL /* No more-abstract variable*/);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001949 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001950 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1951 return AbsDbgVariable;
1952}
1953
Devang Patel90a48ad2010-03-15 18:33:46 +00001954/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1955/// FIXME : Refactor findAbstractVariable.
1956DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1957 const MachineInstr *MI,
Chris Lattnerde4845c2010-04-02 19:42:39 +00001958 DebugLoc ScopeLoc) {
Devang Patel90a48ad2010-03-15 18:33:46 +00001959
1960 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1961 if (AbsDbgVariable)
1962 return AbsDbgVariable;
1963
Chris Lattnerde4845c2010-04-02 19:42:39 +00001964 LLVMContext &Ctx = Var.getNode()->getContext();
1965 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel90a48ad2010-03-15 18:33:46 +00001966 if (!Scope)
1967 return NULL;
1968
Devang Patelaead63c2010-03-29 22:59:58 +00001969 AbsDbgVariable = new DbgVariable(Var, MI,
Devang Patel90a48ad2010-03-15 18:33:46 +00001970 NULL /* No more-abstract variable*/);
1971 Scope->addVariable(AbsDbgVariable);
1972 AbstractVariables[Var.getNode()] = AbsDbgVariable;
Devang Patelaead63c2010-03-29 22:59:58 +00001973 DbgValueStartMap[MI] = AbsDbgVariable;
Devang Patel90a48ad2010-03-15 18:33:46 +00001974 return AbsDbgVariable;
1975}
1976
Devang Patel2c4ceb12009-11-21 02:48:08 +00001977/// collectVariableInfo - Populate DbgScope entries with variables' info.
1978void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001979 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001980
Chris Lattnerde4845c2010-04-02 19:42:39 +00001981 const LLVMContext &Ctx = MF->getFunction()->getContext();
1982
Devang Patele717faa2009-10-06 01:26:37 +00001983 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1984 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1985 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelbc5201f2010-01-22 22:52:10 +00001986 MDNode *Var = VI->first;
Devang Patel53bb5c92009-11-10 23:06:00 +00001987 if (!Var) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00001988 DIVariable DV(Var);
1989 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001990
Chris Lattnerde4845c2010-04-02 19:42:39 +00001991 DbgScope *Scope = 0;
1992 if (MDNode *IA = VP.second.getInlinedAt(Ctx))
1993 Scope = ConcreteScopes.lookup(IA);
1994 if (Scope == 0)
1995 Scope = DbgScopeMap.lookup(VP.second.getScope(Ctx));
1996
Devang Patelfb0ee432009-11-10 23:20:04 +00001997 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00001998 if (Scope == 0)
Devang Patelfb0ee432009-11-10 23:20:04 +00001999 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002000
Chris Lattnerde4845c2010-04-02 19:42:39 +00002001 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, VP.second);
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002002 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patel2c4ceb12009-11-21 02:48:08 +00002003 Scope->addVariable(RegVar);
Devang Patele717faa2009-10-06 01:26:37 +00002004 }
Devang Patel90a48ad2010-03-15 18:33:46 +00002005
2006 // Collect variable information from DBG_VALUE machine instructions;
2007 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2008 I != E; ++I) {
2009 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2010 II != IE; ++II) {
2011 const MachineInstr *MInsn = II;
Chris Lattner14d750d2010-03-31 05:39:57 +00002012 if (!MInsn->isDebugValue())
Devang Patel90a48ad2010-03-15 18:33:46 +00002013 continue;
Devang Patelaead63c2010-03-29 22:59:58 +00002014
Devang Patel90a48ad2010-03-15 18:33:46 +00002015 // FIXME : Lift this restriction.
2016 if (MInsn->getNumOperands() != 3)
2017 continue;
Chris Lattner870cfcf2010-03-31 03:34:40 +00002018 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands()
2019 - 1).getMetadata()));
Devang Patel90a48ad2010-03-15 18:33:46 +00002020 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2021 // FIXME Handle inlined subroutine arguments.
2022 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2023 CurrentFnDbgScope->addVariable(ArgVar);
Devang Patelaead63c2010-03-29 22:59:58 +00002024 DbgValueStartMap[MInsn] = ArgVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002025 continue;
2026 }
2027
2028 DebugLoc DL = MInsn->getDebugLoc();
2029 if (DL.isUnknown()) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002030 DbgScope *Scope = 0;
2031 if (MDNode *IA = DL.getInlinedAt(Ctx))
2032 Scope = ConcreteScopes.lookup(IA);
2033 if (Scope == 0)
2034 Scope = DbgScopeMap.lookup(DL.getScope(Ctx));
2035
Devang Patel90a48ad2010-03-15 18:33:46 +00002036 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002037 if (Scope == 0)
Devang Patel90a48ad2010-03-15 18:33:46 +00002038 continue;
2039
Chris Lattnerde4845c2010-04-02 19:42:39 +00002040 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn, DL);
Devang Patel90a48ad2010-03-15 18:33:46 +00002041 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
Devang Patelaead63c2010-03-29 22:59:58 +00002042 DbgValueStartMap[MInsn] = RegVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002043 Scope->addVariable(RegVar);
2044 }
2045 }
Devang Patele717faa2009-10-06 01:26:37 +00002046}
2047
Devang Patel553881b2010-03-29 17:20:31 +00002048/// beginScope - Process beginning of a scope.
2049void DwarfDebug::beginScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002050 // Check location.
2051 DebugLoc DL = MI->getDebugLoc();
2052 if (DL.isUnknown())
2053 return;
Devang Patel553881b2010-03-29 17:20:31 +00002054
2055 // Check and update last known location info.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002056 if (DL == PrevInstLoc)
2057 return;
2058
2059 MDNode *Scope = DL.getScope(MF->getFunction()->getContext());
2060
2061 // FIXME: Should only verify each scope once!
2062 if (!DIScope(Scope).Verify())
Devang Patel553881b2010-03-29 17:20:31 +00002063 return;
Devang Patel553881b2010-03-29 17:20:31 +00002064
Devang Patelaead63c2010-03-29 22:59:58 +00002065 // DBG_VALUE instruction establishes new value.
Chris Lattner14d750d2010-03-31 05:39:57 +00002066 if (MI->isDebugValue()) {
Devang Patelaead63c2010-03-29 22:59:58 +00002067 DenseMap<const MachineInstr *, DbgVariable *>::iterator DI
2068 = DbgValueStartMap.find(MI);
2069 if (DI != DbgValueStartMap.end()) {
Chris Lattnerde4845c2010-04-02 19:42:39 +00002070 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2071 PrevInstLoc = DL;
Devang Patelaead63c2010-03-29 22:59:58 +00002072 DI->second->setDbgValueLabel(Label);
2073 }
Devang Patel7ed63112010-03-30 18:07:00 +00002074 return;
Devang Patelaead63c2010-03-29 22:59:58 +00002075 }
2076
Devang Patel553881b2010-03-29 17:20:31 +00002077 // Emit a label to indicate location change. This is used for line
2078 // table even if this instruction does start a new scope.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002079 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2080 PrevInstLoc = DL;
Devang Patel553881b2010-03-29 17:20:31 +00002081
2082 // update DbgScope if this instruction starts a new scope.
Devang Patel0d20ac82009-10-06 01:50:42 +00002083 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2084 if (I == DbgScopeBeginMap.end())
2085 return;
Devang Patel553881b2010-03-29 17:20:31 +00002086
Dan Gohman277207e2009-11-23 21:30:55 +00002087 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002088 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002089 SDI != SDE; ++SDI)
Chris Lattnerc6087842010-03-09 04:54:43 +00002090 (*SDI)->setStartLabel(Label);
Devang Patel0d20ac82009-10-06 01:50:42 +00002091}
2092
Devang Patel2c4ceb12009-11-21 02:48:08 +00002093/// endScope - Process end of a scope.
2094void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002095 // Ignore DBG_VALUE instruction.
Chris Lattner14d750d2010-03-31 05:39:57 +00002096 if (MI->isDebugValue())
Devang Patel553881b2010-03-29 17:20:31 +00002097 return;
2098
2099 // Check location.
2100 DebugLoc DL = MI->getDebugLoc();
2101 if (DL.isUnknown())
2102 return;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002103
Devang Patel553881b2010-03-29 17:20:31 +00002104 // Emit a label and update DbgScope if this instruction ends a scope.
Devang Patel0d20ac82009-10-06 01:50:42 +00002105 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00002106 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00002107 return;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002108
Chris Lattner63d78362010-03-14 08:36:50 +00002109 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnerb7db7332010-03-09 01:58:53 +00002110 Asm->OutStreamer.EmitLabel(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00002111
Chris Lattnerb7db7332010-03-09 01:58:53 +00002112 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel0d20ac82009-10-06 01:50:42 +00002113 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002114 SDI != SDE; ++SDI)
Chris Lattnerb7db7332010-03-09 01:58:53 +00002115 (*SDI)->setEndLabel(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00002116 return;
2117}
2118
2119/// createDbgScope - Create DbgScope for the scope.
2120void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002121 if (!InlinedAt) {
2122 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2123 if (WScope)
2124 return;
2125 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2126 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002127 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00002128 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00002129 return;
2130 }
2131
2132 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2133 if (WScope)
2134 return;
2135
2136 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2137 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2138 DILocation DL(InlinedAt);
2139 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00002140}
2141
Devang Patel2c4ceb12009-11-21 02:48:08 +00002142/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner14d750d2010-03-31 05:39:57 +00002143/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattnereec791a2010-01-26 23:18:02 +00002144bool DwarfDebug::extractScopeInformation() {
Devang Patelaf9e8472009-10-01 20:31:14 +00002145 // If scope information was extracted using .dbg intrinsics then there is not
2146 // any need to extract these information by scanning each instruction.
2147 if (!DbgScopeMap.empty())
2148 return false;
2149
Devang Patel344130e2010-01-04 20:44:00 +00002150 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2151 unsigned MIIndex = 0;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002152 LLVMContext &Ctx = MF->getFunction()->getContext();
2153
Devang Patel53bb5c92009-11-10 23:06:00 +00002154 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00002155 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2156 I != E; ++I) {
2157 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2158 II != IE; ++II) {
2159 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002160 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002161 if (MInsn->isDebugValue()) continue;
Devang Patel344130e2010-01-04 20:44:00 +00002162 MIIndexMap[MInsn] = MIIndex++;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002163
Devang Patelaf9e8472009-10-01 20:31:14 +00002164 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002165 if (DL.isUnknown()) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002166
2167 MDNode *Scope = DL.getScope(Ctx);
2168
Devang Patelaf9e8472009-10-01 20:31:14 +00002169 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002170 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00002171 // into a scope DIE at the end.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002172 if (DIScope(Scope).isCompileUnit()) continue;
2173 createDbgScope(Scope, DL.getInlinedAt(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00002174 }
2175 }
2176
Devang Patelc8e77642010-04-01 22:47:29 +00002177
Devang Patel53bb5c92009-11-10 23:06:00 +00002178 // Build scope hierarchy using working set of scopes.
2179 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2180 I != E; ++I) {
2181 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2182 II != IE; ++II) {
2183 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002184 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002185 if (MInsn->isDebugValue()) continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002186 DebugLoc DL = MInsn->getDebugLoc();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002187 if (DL.isUnknown()) continue;
2188
2189 MDNode *Scope = DL.getScope(Ctx);
2190 if (Scope == 0) continue;
2191
Devang Patel53bb5c92009-11-10 23:06:00 +00002192 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002193 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002194 // into a scope DIE at the end.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002195 if (DIScope(Scope).isCompileUnit()) continue;
2196 DbgScope *DScope = getUpdatedDbgScope(Scope, MInsn, DL.getInlinedAt(Ctx));
2197 DScope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00002198 }
2199 }
2200
Devang Patel344130e2010-01-04 20:44:00 +00002201 if (!CurrentFnDbgScope)
2202 return false;
2203
2204 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patelaf9e8472009-10-01 20:31:14 +00002205
2206 // Each scope has first instruction and last instruction to mark beginning
2207 // and end of a scope respectively. Create an inverse map that list scopes
2208 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel42aafd72010-01-20 02:05:23 +00002209 // multiple scopes. Ignore scopes that are not reachable.
2210 SmallVector<DbgScope *, 4> WorkList;
2211 WorkList.push_back(CurrentFnDbgScope);
2212 while (!WorkList.empty()) {
Chris Lattner14d750d2010-03-31 05:39:57 +00002213 DbgScope *S = WorkList.pop_back_val();
Devang Patel42aafd72010-01-20 02:05:23 +00002214
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002215 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patel42aafd72010-01-20 02:05:23 +00002216 if (!Children.empty())
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002217 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel42aafd72010-01-20 02:05:23 +00002218 SE = Children.end(); SI != SE; ++SI)
2219 WorkList.push_back(*SI);
2220
Devang Patel53bb5c92009-11-10 23:06:00 +00002221 if (S->isAbstractScope())
2222 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002223 const MachineInstr *MI = S->getFirstInsn();
Chris Lattnered7a77b2010-03-31 05:36:29 +00002224 assert(MI && "DbgScope does not have first instruction!");
Devang Patelaf9e8472009-10-01 20:31:14 +00002225
2226 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2227 if (IDI != DbgScopeBeginMap.end())
2228 IDI->second.push_back(S);
2229 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002230 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002231
2232 MI = S->getLastInsn();
Chris Lattnered7a77b2010-03-31 05:36:29 +00002233 assert(MI && "DbgScope does not have last instruction!");
Devang Patelaf9e8472009-10-01 20:31:14 +00002234 IDI = DbgScopeEndMap.find(MI);
2235 if (IDI != DbgScopeEndMap.end())
2236 IDI->second.push_back(S);
2237 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002238 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002239 }
2240
2241 return !DbgScopeMap.empty();
2242}
2243
Devang Patel2c4ceb12009-11-21 02:48:08 +00002244/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002245/// emitted immediately after the function entry point.
Chris Lattnereec791a2010-01-26 23:18:02 +00002246void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002247 this->MF = MF;
2248
2249 if (!ShouldEmitDwarfDebug()) return;
Chris Lattnereec791a2010-01-26 23:18:02 +00002250 if (!extractScopeInformation())
Devang Patel60b35bd2009-10-06 18:37:31 +00002251 return;
Chris Lattnera909d662010-03-29 20:38:20 +00002252
2253 TimeRegion Timer(DebugTimer);
Devang Patel2c4ceb12009-11-21 02:48:08 +00002254
2255 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002256
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002257 // Assumes in correct section after the entry point.
Chris Lattnerc0215722010-04-04 19:25:43 +00002258 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_begin",
2259 ++SubprogramCount));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002260
2261 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2262 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002263 DebugLoc FDL = MF->getDefaultDebugLoc();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002264 if (FDL.isUnknown()) return;
2265
2266 MDNode *Scope = FDL.getScope(MF->getFunction()->getContext());
2267
2268 DISubprogram SP = getDISubprogram(Scope);
2269 unsigned Line, Col;
2270 if (SP.Verify()) {
2271 Line = SP.getLineNumber();
2272 Col = 0;
2273 } else {
2274 Line = FDL.getLine();
2275 Col = FDL.getCol();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002276 }
Chris Lattnerde4845c2010-04-02 19:42:39 +00002277
2278 recordSourceLine(Line, Col, Scope);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002279}
2280
Devang Patel2c4ceb12009-11-21 02:48:08 +00002281/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002282///
Chris Lattnereec791a2010-01-26 23:18:02 +00002283void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002284 if (!ShouldEmitDwarfDebug()) return;
Chris Lattnera909d662010-03-29 20:38:20 +00002285 if (DbgScopeMap.empty()) return;
2286
2287 TimeRegion Timer(DebugTimer);
Devang Patel70d75ca2009-11-12 19:02:56 +00002288
Devang Patel344130e2010-01-04 20:44:00 +00002289 if (CurrentFnDbgScope) {
2290 // Define end label for subprogram.
Chris Lattnerc0215722010-04-04 19:25:43 +00002291 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_end", SubprogramCount));
Devang Patel344130e2010-01-04 20:44:00 +00002292
2293 // Get function line info.
2294 if (!Lines.empty()) {
2295 // Get section line info.
2296 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2297 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2298 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2299 // Append the function info to section info.
2300 SectionLineInfos.insert(SectionLineInfos.end(),
2301 Lines.begin(), Lines.end());
2302 }
2303
2304 // Construct abstract scopes.
2305 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2306 AE = AbstractScopesList.end(); AI != AE; ++AI)
2307 constructScopeDIE(*AI);
2308
2309 constructScopeDIE(CurrentFnDbgScope);
2310
2311 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2312 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002313 }
2314
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002315 // Clear debug info
Devang Patelf54b8522010-01-19 01:26:02 +00002316 CurrentFnDbgScope = NULL;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002317 DeleteContainerSeconds(DbgScopeMap);
Devang Patelf54b8522010-01-19 01:26:02 +00002318 DbgScopeBeginMap.clear();
2319 DbgScopeEndMap.clear();
Devang Patelaead63c2010-03-29 22:59:58 +00002320 DbgValueStartMap.clear();
Devang Patelf54b8522010-01-19 01:26:02 +00002321 ConcreteScopes.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002322 DeleteContainerSeconds(AbstractScopes);
Devang Patelf54b8522010-01-19 01:26:02 +00002323 AbstractScopesList.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002324 AbstractVariables.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002325 Lines.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002326}
2327
Chris Lattnerc6087842010-03-09 04:54:43 +00002328/// recordSourceLine - Register a source line with debug info. Returns the
2329/// unique label that was emitted and which provides correspondence to
2330/// the source line list.
2331MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002332 if (!MMI)
2333 return 0;
2334
Chris Lattnera909d662010-03-29 20:38:20 +00002335 TimeRegion Timer(DebugTimer);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002336
Devang Patel65dbc902009-11-25 17:36:49 +00002337 StringRef Dir;
2338 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002339
2340 DIDescriptor Scope(S);
2341 if (Scope.isCompileUnit()) {
2342 DICompileUnit CU(S);
2343 Dir = CU.getDirectory();
2344 Fn = CU.getFilename();
2345 } else if (Scope.isSubprogram()) {
2346 DISubprogram SP(S);
2347 Dir = SP.getDirectory();
2348 Fn = SP.getFilename();
2349 } else if (Scope.isLexicalBlock()) {
2350 DILexicalBlock DB(S);
2351 Dir = DB.getDirectory();
2352 Fn = DB.getFilename();
2353 } else
Chris Lattner206d61e2010-03-13 07:26:18 +00002354 assert(0 && "Unexpected scope info");
Devang Patelf84548d2009-10-05 18:03:19 +00002355
2356 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner63d78362010-03-14 08:36:50 +00002357 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner25b68c62010-03-14 08:15:55 +00002358 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002359
Chris Lattnerc6087842010-03-09 04:54:43 +00002360 Asm->OutStreamer.EmitLabel(Label);
2361 return Label;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002362}
2363
2364/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2365/// timed. Look up the source id with the given directory and source file
2366/// names. If none currently exists, create a new id and insert it in the
2367/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2368/// well.
2369unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2370 const std::string &FileName) {
Chris Lattnera909d662010-03-29 20:38:20 +00002371 TimeRegion Timer(DebugTimer);
2372 return GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002373}
2374
Bill Wendling829e67b2009-05-20 23:22:40 +00002375//===----------------------------------------------------------------------===//
2376// Emit Methods
2377//===----------------------------------------------------------------------===//
2378
Devang Patel2c4ceb12009-11-21 02:48:08 +00002379/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002380///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002381unsigned
2382DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002383 // Get the children.
2384 const std::vector<DIE *> &Children = Die->getChildren();
2385
2386 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002387 if (!Last && !Children.empty())
Benjamin Kramer345ef342010-03-31 19:34:01 +00002388 Die->addSiblingOffset(DIEValueAllocator);
Bill Wendling94d04b82009-05-20 23:21:38 +00002389
2390 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002391 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002392
2393 // Get the abbreviation for this DIE.
2394 unsigned AbbrevNumber = Die->getAbbrevNumber();
2395 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2396
2397 // Set DIE offset
2398 Die->setOffset(Offset);
2399
2400 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002401 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002402
2403 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2404 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2405
2406 // Size the DIE attribute values.
2407 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2408 // Size attribute value.
2409 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2410
2411 // Size the DIE children if any.
2412 if (!Children.empty()) {
2413 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2414 "Children flag not set");
2415
2416 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002417 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002418
2419 // End of children marker.
2420 Offset += sizeof(int8_t);
2421 }
2422
2423 Die->setSize(Offset - Die->getOffset());
2424 return Offset;
2425}
2426
Devang Patel2c4ceb12009-11-21 02:48:08 +00002427/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002428///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002429void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002430 // Compute size of compile unit header.
2431 static unsigned Offset =
2432 sizeof(int32_t) + // Length of Compilation Unit Info
2433 sizeof(int16_t) + // DWARF version number
2434 sizeof(int32_t) + // Offset Into Abbrev. Section
2435 sizeof(int8_t); // Pointer Size (in bytes)
2436
Devang Patel2c4ceb12009-11-21 02:48:08 +00002437 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002438 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002439}
2440
Devang Patel2c4ceb12009-11-21 02:48:08 +00002441/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002442/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002443void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002444 // Check to see if we already emitted intial headers.
2445 if (didInitial) return;
2446 didInitial = true;
2447
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002448 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002449
Bill Wendling94d04b82009-05-20 23:21:38 +00002450 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002451 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002452 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002453 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_debug_frame"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002454 }
2455
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002456 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002457 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_info"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002458 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002459 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_abbrev"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002460 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002461 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_aranges"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002462
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002463 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2464 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattnerc0215722010-04-04 19:25:43 +00002465 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_macinfo"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002466 }
2467
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002468 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002469 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_line"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002470 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002471 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_loc"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002472 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002473 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_pubnames"));
Devang Patel193f7202009-11-24 01:14:22 +00002474 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002475 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_pubtypes"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002476 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002477 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_str"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002478 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002479 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_ranges"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002480
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002481 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002482 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_begin"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002483 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00002484 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002485}
2486
Devang Patel2c4ceb12009-11-21 02:48:08 +00002487/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002488///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002489void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002490 // Get the abbreviation for this DIE.
2491 unsigned AbbrevNumber = Die->getAbbrevNumber();
2492 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2493
Bill Wendling94d04b82009-05-20 23:21:38 +00002494 // Emit the code (index) for the abbreviation.
Chris Lattner3f53c832010-04-04 18:52:31 +00002495 if (Asm->isVerbose())
Chris Lattner894d75a2010-01-22 23:18:42 +00002496 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2497 Twine::utohexstr(Die->getOffset()) + ":0x" +
2498 Twine::utohexstr(Die->getSize()) + " " +
2499 dwarf::TagString(Abbrev->getTag()));
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002500 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002501
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002502 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling94d04b82009-05-20 23:21:38 +00002503 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2504
2505 // Emit the DIE attribute values.
2506 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2507 unsigned Attr = AbbrevData[i].getAttribute();
2508 unsigned Form = AbbrevData[i].getForm();
2509 assert(Form && "Too many attributes for DIE (check abbreviation)");
2510
Chris Lattner3f53c832010-04-04 18:52:31 +00002511 if (Asm->isVerbose())
Chris Lattnera8013622010-01-24 18:54:17 +00002512 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2513
Bill Wendling94d04b82009-05-20 23:21:38 +00002514 switch (Attr) {
2515 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002516 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002517 break;
2518 case dwarf::DW_AT_abstract_origin: {
2519 DIEEntry *E = cast<DIEEntry>(Values[i]);
2520 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002521 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002522 Asm->EmitInt32(Addr);
2523 break;
2524 }
2525 default:
2526 // Emit an attribute using the defined form.
2527 Values[i]->EmitValue(this, Form);
2528 break;
2529 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002530 }
2531
2532 // Emit the DIE children if any.
2533 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2534 const std::vector<DIE *> &Children = Die->getChildren();
2535
2536 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002537 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002538
Chris Lattner3f53c832010-04-04 18:52:31 +00002539 if (Asm->isVerbose())
Chris Lattner233f52b2010-03-09 23:52:58 +00002540 Asm->OutStreamer.AddComment("End Of Children Mark");
2541 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002542 }
2543}
2544
Devang Patel8a241142009-12-09 18:24:21 +00002545/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002546///
Devang Patel8a241142009-12-09 18:24:21 +00002547void DwarfDebug::emitDebugInfo() {
2548 // Start debug info section.
2549 Asm->OutStreamer.SwitchSection(
2550 Asm->getObjFileLowering().getDwarfInfoSection());
2551 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002552
2553 // Emit the compile units header.
Chris Lattnerc0215722010-04-04 19:25:43 +00002554 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_begin",
2555 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002556
2557 // Emit size of content not including length itself
2558 unsigned ContentSize = Die->getSize() +
2559 sizeof(int16_t) + // DWARF version number
2560 sizeof(int32_t) + // Offset Into Abbrev. Section
2561 sizeof(int8_t) + // Pointer Size (in bytes)
2562 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2563
Chris Lattner233f52b2010-03-09 23:52:58 +00002564 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2565 Asm->EmitInt32(ContentSize);
2566 Asm->OutStreamer.AddComment("DWARF version number");
2567 Asm->EmitInt16(dwarf::DWARF_VERSION);
2568 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Chris Lattnerc0215722010-04-04 19:25:43 +00002569 EmitSectionOffset(Asm->GetTempSymbol("abbrev_begin"),
Chris Lattner83d16182010-04-04 21:34:40 +00002570 Asm->GetTempSymbol("section_abbrev"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002571 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2572 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002573
Devang Patel2c4ceb12009-11-21 02:48:08 +00002574 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002575 // FIXME - extra padding for gdb bug.
Chris Lattner233f52b2010-03-09 23:52:58 +00002576 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2577 Asm->EmitInt8(0);
2578 Asm->EmitInt8(0);
2579 Asm->EmitInt8(0);
2580 Asm->EmitInt8(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00002581 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_end", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002582}
2583
Devang Patel2c4ceb12009-11-21 02:48:08 +00002584/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002585///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002586void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002587 // Check to see if it is worth the effort.
2588 if (!Abbreviations.empty()) {
2589 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002590 Asm->OutStreamer.SwitchSection(
2591 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002592
Chris Lattnerc0215722010-04-04 19:25:43 +00002593 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002594
2595 // For each abbrevation.
2596 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2597 // Get abbreviation data
2598 const DIEAbbrev *Abbrev = Abbreviations[i];
2599
2600 // Emit the abbrevations code (base 1 index.)
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002601 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002602
2603 // Emit the abbreviations data.
Chris Lattner894d75a2010-01-22 23:18:42 +00002604 Abbrev->Emit(this);
Bill Wendling94d04b82009-05-20 23:21:38 +00002605 }
2606
2607 // Mark end of abbreviations.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002608 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002609
Chris Lattnerc0215722010-04-04 19:25:43 +00002610 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002611 }
2612}
2613
Devang Patel2c4ceb12009-11-21 02:48:08 +00002614/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002615/// the line matrix.
2616///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002617void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002618 // Define last address of section.
Chris Lattner233f52b2010-03-09 23:52:58 +00002619 Asm->OutStreamer.AddComment("Extended Op");
2620 Asm->EmitInt8(0);
2621
2622 Asm->OutStreamer.AddComment("Op size");
2623 Asm->EmitInt8(TD->getPointerSize() + 1);
2624 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2625 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2626
2627 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002628
Chris Lattnerc0215722010-04-04 19:25:43 +00002629 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002630 TD->getPointerSize(), 0/*AddrSpace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00002631
2632 // Mark end of matrix.
Chris Lattner233f52b2010-03-09 23:52:58 +00002633 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2634 Asm->EmitInt8(0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002635 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002636 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002637}
2638
Devang Patel2c4ceb12009-11-21 02:48:08 +00002639/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002640///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002641void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002642 // If the target is using .loc/.file, the assembler will be emitting the
2643 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002644 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002645 return;
2646
2647 // Minimum line delta, thus ranging from -10..(255-10).
2648 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2649 // Maximum line delta, thus ranging from -10..(255-10).
2650 const int MaxLineDelta = 255 + MinLineDelta;
2651
2652 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002653 Asm->OutStreamer.SwitchSection(
2654 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002655
2656 // Construct the section header.
Chris Lattner233f52b2010-03-09 23:52:58 +00002657 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002658 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_end"),
2659 Asm->GetTempSymbol("line_begin"), 4);
Chris Lattnerc0215722010-04-04 19:25:43 +00002660 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002661
Chris Lattner233f52b2010-03-09 23:52:58 +00002662 Asm->OutStreamer.AddComment("DWARF version number");
2663 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002664
Chris Lattner233f52b2010-03-09 23:52:58 +00002665 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002666 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_prolog_end"),
2667 Asm->GetTempSymbol("line_prolog_begin"), 4);
Chris Lattnerc0215722010-04-04 19:25:43 +00002668 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002669
Chris Lattner233f52b2010-03-09 23:52:58 +00002670 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2671 Asm->EmitInt8(1);
2672 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2673 Asm->EmitInt8(1);
2674 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2675 Asm->EmitInt8(MinLineDelta);
2676 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2677 Asm->EmitInt8(MaxLineDelta);
2678 Asm->OutStreamer.AddComment("Special Opcode Base");
2679 Asm->EmitInt8(-MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002680
2681 // Line number standard opcode encodings argument count
Chris Lattner233f52b2010-03-09 23:52:58 +00002682 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2683 Asm->EmitInt8(0);
2684 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2685 Asm->EmitInt8(1);
2686 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2687 Asm->EmitInt8(1);
2688 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2689 Asm->EmitInt8(1);
2690 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2691 Asm->EmitInt8(1);
2692 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2693 Asm->EmitInt8(0);
2694 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2695 Asm->EmitInt8(0);
2696 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2697 Asm->EmitInt8(0);
2698 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2699 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002700
2701 // Emit directories.
2702 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattner4cf202b2010-01-23 03:11:46 +00002703 const std::string &Dir = getSourceDirectoryName(DI);
Chris Lattner3f53c832010-04-04 18:52:31 +00002704 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Directory");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002705 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002706 }
2707
Chris Lattner233f52b2010-03-09 23:52:58 +00002708 Asm->OutStreamer.AddComment("End of directories");
2709 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002710
2711 // Emit files.
2712 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2713 // Remember source id starts at 1.
2714 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattner4cf202b2010-01-23 03:11:46 +00002715 const std::string &FN = getSourceFileName(Id.second);
Chris Lattner3f53c832010-04-04 18:52:31 +00002716 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Source");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002717 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2718
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002719 Asm->EmitULEB128(Id.first, "Directory #");
2720 Asm->EmitULEB128(0, "Mod date");
2721 Asm->EmitULEB128(0, "File size");
Bill Wendling94d04b82009-05-20 23:21:38 +00002722 }
2723
Chris Lattner233f52b2010-03-09 23:52:58 +00002724 Asm->OutStreamer.AddComment("End of files");
2725 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002726
Chris Lattnerc0215722010-04-04 19:25:43 +00002727 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002728
2729 // A sequence for each text section.
2730 unsigned SecSrcLinesSize = SectionSourceLines.size();
2731
2732 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2733 // Isolate current sections line info.
2734 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2735
Bill Wendling94d04b82009-05-20 23:21:38 +00002736 // Dwarf assumes we start with first line of first source file.
2737 unsigned Source = 1;
2738 unsigned Line = 1;
2739
2740 // Construct rows of the address, source, line, column matrix.
2741 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2742 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner25b68c62010-03-14 08:15:55 +00002743 MCSymbol *Label = LineInfo.getLabel();
Chris Lattnerb9130602010-03-14 02:20:58 +00002744 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling94d04b82009-05-20 23:21:38 +00002745
Caroline Ticec6f9d622009-09-11 18:25:54 +00002746 if (LineInfo.getLine() == 0) continue;
2747
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002748 if (Asm->isVerbose()) {
Chris Lattner188a87d2010-03-10 01:04:13 +00002749 std::pair<unsigned, unsigned> SrcID =
Bill Wendling94d04b82009-05-20 23:21:38 +00002750 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner188a87d2010-03-10 01:04:13 +00002751 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner49f618a2010-03-10 02:29:31 +00002752 "/" +
2753 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner188a87d2010-03-10 01:04:13 +00002754 ":" + Twine(LineInfo.getLine()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002755 }
2756
2757 // Define the line address.
Chris Lattner233f52b2010-03-09 23:52:58 +00002758 Asm->OutStreamer.AddComment("Extended Op");
2759 Asm->EmitInt8(0);
2760 Asm->OutStreamer.AddComment("Op size");
2761 Asm->EmitInt8(TD->getPointerSize() + 1);
2762
2763 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2764 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2765
2766 Asm->OutStreamer.AddComment("Location label");
Chris Lattnerb9130602010-03-14 02:20:58 +00002767 Asm->OutStreamer.EmitSymbolValue(Label, TD->getPointerSize(),
2768 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002769
Bill Wendling94d04b82009-05-20 23:21:38 +00002770 // If change of source, then switch to the new source.
2771 if (Source != LineInfo.getSourceID()) {
2772 Source = LineInfo.getSourceID();
Chris Lattner233f52b2010-03-09 23:52:58 +00002773 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2774 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002775 Asm->EmitULEB128(Source, "New Source");
Bill Wendling94d04b82009-05-20 23:21:38 +00002776 }
2777
2778 // If change of line.
2779 if (Line != LineInfo.getLine()) {
2780 // Determine offset.
2781 int Offset = LineInfo.getLine() - Line;
2782 int Delta = Offset - MinLineDelta;
2783
2784 // Update line.
2785 Line = LineInfo.getLine();
2786
2787 // If delta is small enough and in range...
2788 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2789 // ... then use fast opcode.
Chris Lattner233f52b2010-03-09 23:52:58 +00002790 Asm->OutStreamer.AddComment("Line Delta");
2791 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002792 } else {
2793 // ... otherwise use long hand.
Chris Lattner233f52b2010-03-09 23:52:58 +00002794 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling94d04b82009-05-20 23:21:38 +00002795 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002796 Asm->EmitSLEB128(Offset, "Line Offset");
Chris Lattner233f52b2010-03-09 23:52:58 +00002797 Asm->OutStreamer.AddComment("DW_LNS_copy");
2798 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002799 }
2800 } else {
2801 // Copy the previous row (different address or source)
Chris Lattner233f52b2010-03-09 23:52:58 +00002802 Asm->OutStreamer.AddComment("DW_LNS_copy");
2803 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002804 }
2805 }
2806
Devang Patel2c4ceb12009-11-21 02:48:08 +00002807 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002808 }
2809
2810 if (SecSrcLinesSize == 0)
2811 // Because we're emitting a debug_line section, we still need a line
2812 // table. The linker and friends expect it to exist. If there's nothing to
2813 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002814 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002815
Chris Lattnerc0215722010-04-04 19:25:43 +00002816 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002817}
2818
Devang Patel2c4ceb12009-11-21 02:48:08 +00002819/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002820///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002821void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002822 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002823 return;
2824
2825 int stackGrowth =
2826 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2827 TargetFrameInfo::StackGrowsUp ?
2828 TD->getPointerSize() : -TD->getPointerSize();
2829
2830 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002831 Asm->OutStreamer.SwitchSection(
2832 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002833
Chris Lattnerc0215722010-04-04 19:25:43 +00002834 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002835 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00002836 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_frame_common_end"),
2837 Asm->GetTempSymbol("debug_frame_common_begin"), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002838
Chris Lattnerc0215722010-04-04 19:25:43 +00002839 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_begin"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002840 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling94d04b82009-05-20 23:21:38 +00002841 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner233f52b2010-03-09 23:52:58 +00002842 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002843 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner233f52b2010-03-09 23:52:58 +00002844 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002845 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002846 Asm->EmitULEB128(1, "CIE Code Alignment Factor");
2847 Asm->EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner233f52b2010-03-09 23:52:58 +00002848 Asm->OutStreamer.AddComment("CIE RA Column");
Bill Wendling94d04b82009-05-20 23:21:38 +00002849 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling94d04b82009-05-20 23:21:38 +00002850
2851 std::vector<MachineMove> Moves;
2852 RI->getInitialFrameState(Moves);
2853
Chris Lattner5e6cbe02010-03-13 08:05:25 +00002854 EmitFrameMoves(0, Moves, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002855
2856 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerc0215722010-04-04 19:25:43 +00002857 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002858}
2859
Devang Patel2c4ceb12009-11-21 02:48:08 +00002860/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002861/// section.
Chris Lattner206d61e2010-03-13 07:26:18 +00002862void DwarfDebug::
2863emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002864 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002865 return;
2866
2867 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002868 Asm->OutStreamer.SwitchSection(
2869 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002870
Chris Lattner233f52b2010-03-09 23:52:58 +00002871 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner206d61e2010-03-13 07:26:18 +00002872 MCSymbol *DebugFrameBegin =
Chris Lattnerc0215722010-04-04 19:25:43 +00002873 Asm->GetTempSymbol("debug_frame_begin", DebugFrameInfo.Number);
Chris Lattner206d61e2010-03-13 07:26:18 +00002874 MCSymbol *DebugFrameEnd =
Chris Lattnerc0215722010-04-04 19:25:43 +00002875 Asm->GetTempSymbol("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnera6437182010-04-04 19:58:12 +00002876 Asm->EmitLabelDifference(DebugFrameEnd, DebugFrameBegin, 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002877
Chris Lattner206d61e2010-03-13 07:26:18 +00002878 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling94d04b82009-05-20 23:21:38 +00002879
Chris Lattner233f52b2010-03-09 23:52:58 +00002880 Asm->OutStreamer.AddComment("FDE CIE offset");
Chris Lattnerc0215722010-04-04 19:25:43 +00002881 EmitSectionOffset(Asm->GetTempSymbol("debug_frame_common"),
Chris Lattner83d16182010-04-04 21:34:40 +00002882 Asm->GetTempSymbol("section_debug_frame"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002883
Chris Lattner233f52b2010-03-09 23:52:58 +00002884 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnerc0215722010-04-04 19:25:43 +00002885 MCSymbol *FuncBeginSym =
2886 Asm->GetTempSymbol("func_begin", DebugFrameInfo.Number);
Chris Lattnerfb658072010-03-13 07:40:56 +00002887 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002888 TD->getPointerSize(), 0/*AddrSpace*/);
2889
2890
Chris Lattner233f52b2010-03-09 23:52:58 +00002891 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnera6437182010-04-04 19:58:12 +00002892 Asm->EmitLabelDifference(Asm->GetTempSymbol("func_end",DebugFrameInfo.Number),
2893 FuncBeginSym, TD->getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002894
Chris Lattner5e6cbe02010-03-13 08:05:25 +00002895 EmitFrameMoves(FuncBeginSym, DebugFrameInfo.Moves, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002896
2897 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner206d61e2010-03-13 07:26:18 +00002898 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling94d04b82009-05-20 23:21:38 +00002899}
2900
Devang Patel8a241142009-12-09 18:24:21 +00002901/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2902///
2903void DwarfDebug::emitDebugPubNames() {
2904 // Start the dwarf pubnames section.
2905 Asm->OutStreamer.SwitchSection(
2906 Asm->getObjFileLowering().getDwarfPubNamesSection());
2907
Chris Lattner233f52b2010-03-09 23:52:58 +00002908 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002909 Asm->EmitLabelDifference(
2910 Asm->GetTempSymbol("pubnames_end", ModuleCU->getID()),
2911 Asm->GetTempSymbol("pubnames_begin", ModuleCU->getID()), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002912
Chris Lattnerc0215722010-04-04 19:25:43 +00002913 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin",
2914 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002915
Chris Lattner233f52b2010-03-09 23:52:58 +00002916 Asm->OutStreamer.AddComment("DWARF Version");
2917 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002918
Chris Lattner233f52b2010-03-09 23:52:58 +00002919 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerc0215722010-04-04 19:25:43 +00002920 EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
Chris Lattner83d16182010-04-04 21:34:40 +00002921 Asm->GetTempSymbol("section_info"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002922
Chris Lattner233f52b2010-03-09 23:52:58 +00002923 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002924 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
2925 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2926 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002927
Devang Patel8a241142009-12-09 18:24:21 +00002928 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002929 for (StringMap<DIE*>::const_iterator
2930 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2931 const char *Name = GI->getKeyData();
Chris Lattner233f52b2010-03-09 23:52:58 +00002932 DIE *Entity = GI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002933
Chris Lattner233f52b2010-03-09 23:52:58 +00002934 Asm->OutStreamer.AddComment("DIE offset");
2935 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002936
Chris Lattner3f53c832010-04-04 18:52:31 +00002937 if (Asm->isVerbose())
Chris Lattner4cf202b2010-01-23 03:11:46 +00002938 Asm->OutStreamer.AddComment("External Name");
2939 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002940 }
2941
Chris Lattner233f52b2010-03-09 23:52:58 +00002942 Asm->OutStreamer.AddComment("End Mark");
2943 Asm->EmitInt32(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00002944 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end",
2945 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002946}
2947
Devang Patel193f7202009-11-24 01:14:22 +00002948void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002949 // Start the dwarf pubnames section.
2950 Asm->OutStreamer.SwitchSection(
2951 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner233f52b2010-03-09 23:52:58 +00002952 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002953 Asm->EmitLabelDifference(
2954 Asm->GetTempSymbol("pubtypes_end", ModuleCU->getID()),
2955 Asm->GetTempSymbol("pubtypes_begin", ModuleCU->getID()), 4);
Devang Patel193f7202009-11-24 01:14:22 +00002956
Chris Lattnerc0215722010-04-04 19:25:43 +00002957 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
2958 ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00002959
Chris Lattner3f53c832010-04-04 18:52:31 +00002960 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
Devang Patele3d6d222010-02-02 03:47:27 +00002961 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel193f7202009-11-24 01:14:22 +00002962
Chris Lattner233f52b2010-03-09 23:52:58 +00002963 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerc0215722010-04-04 19:25:43 +00002964 EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
Chris Lattner83d16182010-04-04 21:34:40 +00002965 Asm->GetTempSymbol("section_info"));
Devang Patel193f7202009-11-24 01:14:22 +00002966
Chris Lattner233f52b2010-03-09 23:52:58 +00002967 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002968 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
2969 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2970 4);
Devang Patel193f7202009-11-24 01:14:22 +00002971
2972 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2973 for (StringMap<DIE*>::const_iterator
2974 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2975 const char *Name = GI->getKeyData();
2976 DIE * Entity = GI->second;
2977
Chris Lattner3f53c832010-04-04 18:52:31 +00002978 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Devang Patele3d6d222010-02-02 03:47:27 +00002979 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002980
Chris Lattner3f53c832010-04-04 18:52:31 +00002981 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Devang Patel31acb892010-02-02 03:37:03 +00002982 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel193f7202009-11-24 01:14:22 +00002983 }
2984
Chris Lattner233f52b2010-03-09 23:52:58 +00002985 Asm->OutStreamer.AddComment("End Mark");
2986 Asm->EmitInt32(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00002987 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
2988 ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00002989}
2990
Devang Patel2c4ceb12009-11-21 02:48:08 +00002991/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002992///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002993void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002994 // Check to see if it is worth the effort.
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002995 if (StringPool.empty()) return;
2996
2997 // Start the dwarf str section.
2998 Asm->OutStreamer.SwitchSection(
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002999 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003000
Chris Lattnerbc733f52010-03-13 02:17:42 +00003001 // Get all of the string pool entries and put them in an array by their ID so
3002 // we can sort them.
3003 SmallVector<std::pair<unsigned,
3004 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
3005
3006 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
3007 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
3008 Entries.push_back(std::make_pair(I->second.second, &*I));
3009
3010 array_pod_sort(Entries.begin(), Entries.end());
3011
3012 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003013 // Emit a label for reference from debug information entries.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003014 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003015
3016 // Emit the string itself.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003017 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00003018 }
3019}
3020
Devang Patel2c4ceb12009-11-21 02:48:08 +00003021/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003022///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003023void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003024 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003025 Asm->OutStreamer.SwitchSection(
3026 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003027}
3028
3029/// EmitDebugARanges - Emit visible names into a debug aranges section.
3030///
3031void DwarfDebug::EmitDebugARanges() {
3032 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003033 Asm->OutStreamer.SwitchSection(
3034 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003035}
3036
Devang Patel2c4ceb12009-11-21 02:48:08 +00003037/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003038///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003039void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003040 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003041 Asm->OutStreamer.SwitchSection(
3042 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003043}
3044
Devang Patel2c4ceb12009-11-21 02:48:08 +00003045/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003046///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003047void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00003048 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00003049 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00003050 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003051 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00003052 }
3053}
3054
Devang Patel2c4ceb12009-11-21 02:48:08 +00003055/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00003056/// Section Header:
3057/// 1. length of section
3058/// 2. Dwarf version number
3059/// 3. address size.
3060///
3061/// Entries (one "entry" for each function that was inlined):
3062///
3063/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3064/// otherwise offset into __debug_str for regular function name.
3065/// 2. offset into __debug_str section for regular function name.
3066/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3067/// instances for the function.
3068///
3069/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3070/// inlined instance; the die_offset points to the inlined_subroutine die in the
3071/// __debug_info section, and the low_pc is the starting address for the
3072/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00003073void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00003074 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00003075 return;
3076
Devang Patel1dbc7712009-06-29 20:45:18 +00003077 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00003078 return;
3079
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003080 Asm->OutStreamer.SwitchSection(
3081 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00003082
Chris Lattner233f52b2010-03-09 23:52:58 +00003083 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00003084 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
3085 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00003086
Chris Lattnerc0215722010-04-04 19:25:43 +00003087 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003088
Chris Lattner233f52b2010-03-09 23:52:58 +00003089 Asm->OutStreamer.AddComment("Dwarf Version");
3090 Asm->EmitInt16(dwarf::DWARF_VERSION);
3091 Asm->OutStreamer.AddComment("Address Size (in bytes)");
3092 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00003093
Devang Patel53bb5c92009-11-10 23:06:00 +00003094 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3095 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00003096
Devang Patel53bb5c92009-11-10 23:06:00 +00003097 MDNode *Node = *I;
Devang Patel622b0262010-01-19 06:19:05 +00003098 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00003099 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00003100 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00003101 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00003102 StringRef LName = SP.getLinkageName();
3103 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00003104
Chris Lattner233f52b2010-03-09 23:52:58 +00003105 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattner4cf202b2010-01-23 03:11:46 +00003106 if (LName.empty()) {
3107 Asm->OutStreamer.EmitBytes(Name, 0);
3108 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3109 } else
Chris Lattnerbc733f52010-03-13 02:17:42 +00003110 EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattner83d16182010-04-04 21:34:40 +00003111 Asm->GetTempSymbol("section_str"));
Devang Patel53bb5c92009-11-10 23:06:00 +00003112
Chris Lattner233f52b2010-03-09 23:52:58 +00003113 Asm->OutStreamer.AddComment("Function name");
Chris Lattnerc0215722010-04-04 19:25:43 +00003114 EmitSectionOffset(getStringPoolEntry(Name),
Chris Lattner83d16182010-04-04 21:34:40 +00003115 Asm->GetTempSymbol("section_str"));
Chris Lattner7e1a8f82010-04-04 19:09:29 +00003116 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00003117
Devang Patel53bb5c92009-11-10 23:06:00 +00003118 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00003119 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner3f53c832010-04-04 18:52:31 +00003120 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner6ed0f902010-03-09 00:31:02 +00003121 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00003122
Chris Lattner3f53c832010-04-04 18:52:31 +00003123 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner6cde3e62010-03-09 00:39:24 +00003124 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00003125 }
3126 }
3127
Chris Lattnerc0215722010-04-04 19:25:43 +00003128 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003129}