blob: 07b35e2ba387064dc33c837f6af3795ff8394061 [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"
27#include "llvm/Target/TargetRegisterInfo.h"
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +000028#include "llvm/ADT/STLExtras.h"
Chris Lattner23132b12009-08-24 03:52:50 +000029#include "llvm/ADT/StringExtras.h"
Daniel Dunbar6e4bdfc2009-10-13 06:47:08 +000030#include "llvm/Support/Debug.h"
31#include "llvm/Support/ErrorHandling.h"
Devang Patel3139fcf2010-01-26 21:39:14 +000032#include "llvm/Support/ValueHandle.h"
Chris Lattner0ad9c912010-01-22 22:09:00 +000033#include "llvm/Support/FormattedStream.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000034#include "llvm/Support/Timer.h"
35#include "llvm/System/Path.h"
Bill Wendling0310d762009-05-15 09:23:25 +000036using namespace llvm;
37
Bill Wendling0310d762009-05-15 09:23:25 +000038//===----------------------------------------------------------------------===//
39
40/// Configuration values for initial hash set sizes (log2).
41///
Bill Wendling0310d762009-05-15 09:23:25 +000042static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-05-15 09:23:25 +000043
44namespace llvm {
45
46//===----------------------------------------------------------------------===//
47/// CompileUnit - This dwarf writer support class manages information associate
48/// with a source file.
Nick Lewycky5f9843f2009-11-17 08:11:44 +000049class CompileUnit {
Bill Wendling0310d762009-05-15 09:23:25 +000050 /// ID - File identifier for source.
51 ///
52 unsigned ID;
53
54 /// Die - Compile unit debug information entry.
55 ///
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +000056 const OwningPtr<DIE> CUDie;
Bill Wendling0310d762009-05-15 09:23:25 +000057
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +000058 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel6f01d9c2009-11-21 00:31:03 +000059 DIE *IndexTyDie;
60
Bill Wendling0310d762009-05-15 09:23:25 +000061 /// GVToDieMap - Tracks the mapping of unit level debug informaton
62 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000063 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel622b0262010-01-19 06:19:05 +000064 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-05-15 09:23:25 +000065
66 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
67 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patele4b27562009-08-28 23:24:31 +000068 /// FIXME : Rename
Devang Patel622b0262010-01-19 06:19:05 +000069 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-05-15 09:23:25 +000070
71 /// Globals - A map of globally visible named entities for this unit.
72 ///
73 StringMap<DIE*> Globals;
74
Devang Patel193f7202009-11-24 01:14:22 +000075 /// GlobalTypes - A map of globally visible types for this unit.
76 ///
77 StringMap<DIE*> GlobalTypes;
78
Bill Wendling0310d762009-05-15 09:23:25 +000079public:
80 CompileUnit(unsigned I, DIE *D)
Devang Patel2c4ceb12009-11-21 02:48:08 +000081 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +000082
83 // Accessors.
Devang Patel193f7202009-11-24 01:14:22 +000084 unsigned getID() const { return ID; }
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +000085 DIE* getCUDie() const { return CUDie.get(); }
Devang Patel193f7202009-11-24 01:14:22 +000086 const StringMap<DIE*> &getGlobals() const { return Globals; }
87 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling0310d762009-05-15 09:23:25 +000088
89 /// hasContent - Return true if this compile unit has something to write out.
90 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000091 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +000092
Devang Patel2c4ceb12009-11-21 02:48:08 +000093 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +000094 ///
Benjamin Kramerbbb88db2010-03-31 20:15:45 +000095 void addGlobal(StringRef Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +000096
Devang Patel193f7202009-11-24 01:14:22 +000097 /// addGlobalType - Add a new global type to the compile unit.
98 ///
Benjamin Kramerbbb88db2010-03-31 20:15:45 +000099 void addGlobalType(StringRef Name, DIE *Die) {
Devang Patel193f7202009-11-24 01:14:22 +0000100 GlobalTypes[Name] = Die;
101 }
102
Devang Patel017d1212009-11-20 21:37:22 +0000103 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling0310d762009-05-15 09:23:25 +0000104 /// specified debug variable.
Devang Patel017d1212009-11-20 21:37:22 +0000105 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000106
Devang Patel017d1212009-11-20 21:37:22 +0000107 /// insertDIE - Insert DIE into the map.
108 void insertDIE(MDNode *N, DIE *D) {
109 GVToDieMap.insert(std::make_pair(N, D));
110 }
Bill Wendling0310d762009-05-15 09:23:25 +0000111
Devang Patel017d1212009-11-20 21:37:22 +0000112 /// getDIEEntry - Returns the debug information entry for the speciefied
113 /// debug variable.
Devang Patel6404e4e2009-12-15 19:16:48 +0000114 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel622b0262010-01-19 06:19:05 +0000115 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel6404e4e2009-12-15 19:16:48 +0000116 if (I == GVToDIEEntryMap.end())
117 return NULL;
118 return I->second;
119 }
Devang Patel017d1212009-11-20 21:37:22 +0000120
121 /// insertDIEEntry - Insert debug information entry into the map.
122 void insertDIEEntry(MDNode *N, DIEEntry *E) {
123 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling0310d762009-05-15 09:23:25 +0000124 }
125
Devang Patel2c4ceb12009-11-21 02:48:08 +0000126 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +0000127 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000128 void addDie(DIE *Buffer) {
129 this->CUDie->addChild(Buffer);
Bill Wendling0310d762009-05-15 09:23:25 +0000130 }
Devang Patel6f01d9c2009-11-21 00:31:03 +0000131
132 // getIndexTyDie - Get an anonymous type for index type.
133 DIE *getIndexTyDie() {
134 return IndexTyDie;
135 }
136
Jim Grosbach7ab38df2009-11-22 19:20:36 +0000137 // setIndexTyDie - Set D as anonymous type for index which can be reused
138 // later.
Devang Patel6f01d9c2009-11-21 00:31:03 +0000139 void setIndexTyDie(DIE *D) {
140 IndexTyDie = D;
141 }
142
Bill Wendling0310d762009-05-15 09:23:25 +0000143};
144
145//===----------------------------------------------------------------------===//
146/// DbgVariable - This class is used to track local variable information.
147///
Devang Patelf76a3d62009-11-16 21:53:40 +0000148class DbgVariable {
Bill Wendling0310d762009-05-15 09:23:25 +0000149 DIVariable Var; // Variable Descriptor.
150 unsigned FrameIndex; // Variable frame index.
Devang Patel90a48ad2010-03-15 18:33:46 +0000151 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Devang Patelaead63c2010-03-29 22:59:58 +0000152 // DbgValueLabel - DBG_VALUE is effective from this label.
153 MCSymbol *DbgValueLabel;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000154 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patel53bb5c92009-11-10 23:06:00 +0000155 DIE *TheDIE;
Bill Wendling0310d762009-05-15 09:23:25 +0000156public:
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000157 // AbsVar may be NULL.
158 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patelaead63c2010-03-29 22:59:58 +0000159 : Var(V), FrameIndex(I), DbgValueMInsn(0),
160 DbgValueLabel(0), AbstractVar(AbsVar), TheDIE(0) {}
Devang Patel90a48ad2010-03-15 18:33:46 +0000161 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
Devang Patelaead63c2010-03-29 22:59:58 +0000162 : Var(V), FrameIndex(0), DbgValueMInsn(MI), DbgValueLabel(0),
163 AbstractVar(AbsVar), TheDIE(0)
Devang Patel90a48ad2010-03-15 18:33:46 +0000164 {}
Bill Wendling0310d762009-05-15 09:23:25 +0000165
166 // Accessors.
Devang Patel53bb5c92009-11-10 23:06:00 +0000167 DIVariable getVariable() const { return Var; }
168 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patel90a48ad2010-03-15 18:33:46 +0000169 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patelaead63c2010-03-29 22:59:58 +0000170 MCSymbol *getDbgValueLabel() const { return DbgValueLabel; }
171 void setDbgValueLabel(MCSymbol *L) { DbgValueLabel = L; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000172 DbgVariable *getAbstractVariable() const { return AbstractVar; }
173 void setDIE(DIE *D) { TheDIE = D; }
174 DIE *getDIE() const { return TheDIE; }
Bill Wendling0310d762009-05-15 09:23:25 +0000175};
176
177//===----------------------------------------------------------------------===//
178/// DbgScope - This class is used to track scope information.
179///
Devang Patelf76a3d62009-11-16 21:53:40 +0000180class DbgScope {
Bill Wendling0310d762009-05-15 09:23:25 +0000181 DbgScope *Parent; // Parent to this scope.
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000182 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel3139fcf2010-01-26 21:39:14 +0000183 // Location at which this scope is inlined.
184 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel53bb5c92009-11-10 23:06:00 +0000185 bool AbstractScope; // Abstract Scope
Chris Lattnerb7db7332010-03-09 01:58:53 +0000186 MCSymbol *StartLabel; // Label ID of the beginning of scope.
187 MCSymbol *EndLabel; // Label ID of the end of scope.
Devang Pateld38dd112009-10-01 18:25:23 +0000188 const MachineInstr *LastInsn; // Last instruction of this scope.
189 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000190 // Scopes defined in scope. Contents not owned.
191 SmallVector<DbgScope *, 4> Scopes;
192 // Variables declared in scope. Contents owned.
193 SmallVector<DbgVariable *, 8> Variables;
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000194
Owen Anderson04c05f72009-06-24 22:53:20 +0000195 // Private state for dump()
196 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000197public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000198 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000199 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattnerb7db7332010-03-09 01:58:53 +0000200 StartLabel(0), EndLabel(0),
Devang Patelc90aefe2009-10-14 21:08:09 +0000201 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000202 virtual ~DbgScope();
203
204 // Accessors.
205 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000206 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000207 DIDescriptor getDesc() const { return Desc; }
Chris Lattnerbc733f52010-03-13 02:17:42 +0000208 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000209 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattnerb7db7332010-03-09 01:58:53 +0000210 MCSymbol *getStartLabel() const { return StartLabel; }
211 MCSymbol *getEndLabel() const { return EndLabel; }
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000212 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
213 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattnerb7db7332010-03-09 01:58:53 +0000214 void setStartLabel(MCSymbol *S) { StartLabel = S; }
215 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Pateld38dd112009-10-01 18:25:23 +0000216 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
217 const MachineInstr *getLastInsn() { return LastInsn; }
218 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000219 void setAbstractScope() { AbstractScope = true; }
220 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000221 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000222
Devang Patel2c4ceb12009-11-21 02:48:08 +0000223 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000224 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000225 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000226
Devang Patel2c4ceb12009-11-21 02:48:08 +0000227 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000228 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000229 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000230
Devang Patel344130e2010-01-04 20:44:00 +0000231 void fixInstructionMarkers(DenseMap<const MachineInstr *,
232 unsigned> &MIIndexMap) {
Chris Lattnered7a77b2010-03-31 05:36:29 +0000233 assert(getFirstInsn() && "First instruction is missing!");
Devang Patel344130e2010-01-04 20:44:00 +0000234
235 // Use the end of last child scope as end of this scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000236 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patelee890ed2010-01-05 16:59:17 +0000237 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel344130e2010-01-04 20:44:00 +0000238 unsigned LIndex = 0;
239 if (Scopes.empty()) {
Chris Lattnered7a77b2010-03-31 05:36:29 +0000240 assert(getLastInsn() && "Inner most scope does not have last insn!");
Devang Patel344130e2010-01-04 20:44:00 +0000241 return;
242 }
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000243 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel344130e2010-01-04 20:44:00 +0000244 SE = Scopes.end(); SI != SE; ++SI) {
245 DbgScope *DS = *SI;
246 DS->fixInstructionMarkers(MIIndexMap);
247 const MachineInstr *DSLastInsn = DS->getLastInsn();
248 unsigned DSI = MIIndexMap[DSLastInsn];
249 if (DSI > LIndex) {
250 LastInsn = DSLastInsn;
251 LIndex = DSI;
252 }
253 }
Devang Patel22fb4b22010-02-17 02:20:34 +0000254
255 unsigned CurrentLastInsnIndex = 0;
256 if (const MachineInstr *CL = getLastInsn())
257 CurrentLastInsnIndex = MIIndexMap[CL];
258 unsigned FIndex = MIIndexMap[getFirstInsn()];
259
260 // Set LastInsn as the last instruction for this scope only if
261 // it follows
262 // 1) this scope's first instruction and
263 // 2) current last instruction for this scope, if any.
264 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
265 setLastInsn(LastInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +0000266 }
267
Bill Wendling0310d762009-05-15 09:23:25 +0000268#ifndef NDEBUG
269 void dump() const;
270#endif
271};
272
273#ifndef NDEBUG
274void DbgScope::dump() const {
David Greenef83adbc2009-12-24 00:31:35 +0000275 raw_ostream &err = dbgs();
Chris Lattnerc281de12009-08-23 00:51:00 +0000276 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000277 MDNode *N = Desc.getNode();
278 N->dump();
Chris Lattnerb7db7332010-03-09 01:58:53 +0000279 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patel53bb5c92009-11-10 23:06:00 +0000280 if (AbstractScope)
281 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000282
283 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000284 if (!Scopes.empty())
285 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000286 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
287 if (Scopes[i] != this)
288 Scopes[i]->dump();
289
290 IndentLevel -= 2;
291}
292#endif
293
Bill Wendling0310d762009-05-15 09:23:25 +0000294DbgScope::~DbgScope() {
Bill Wendling0310d762009-05-15 09:23:25 +0000295 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
296 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000297}
298
299} // end llvm namespace
300
Chris Lattner75f50722010-04-04 07:48:20 +0000301DwarfDebug::DwarfDebug(AsmPrinter *A)
302 : DwarfPrinter(A), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000303 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Benjamin Kramer345ef342010-03-31 19:34:01 +0000304 DIEBlocks(), SectionSourceLines(), didInitial(false), shouldEmit(false),
Chris Lattnerde4845c2010-04-02 19:42:39 +0000305 CurrentFnDbgScope(0), DebugTimer(0) {
Chris Lattnerbc733f52010-03-13 02:17:42 +0000306 NextStringPoolNumber = 0;
Bill Wendling0310d762009-05-15 09:23:25 +0000307 if (TimePassesIsEnabled)
Chris Lattner0b86a6f2009-12-28 07:41:18 +0000308 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling0310d762009-05-15 09:23:25 +0000309}
310DwarfDebug::~DwarfDebug() {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000311 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
312 DIEBlocks[j]->~DIEBlock();
Bill Wendling0310d762009-05-15 09:23:25 +0000313
Bill Wendling0310d762009-05-15 09:23:25 +0000314 delete DebugTimer;
315}
316
Chris Lattnerbc733f52010-03-13 02:17:42 +0000317MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
318 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
319 if (Entry.first) return Entry.first;
320
321 Entry.second = NextStringPoolNumber++;
322 return Entry.first = getDWLabel("string", Entry.second);
323}
324
325
Devang Patel2c4ceb12009-11-21 02:48:08 +0000326/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000327///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000328void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000329 // Profile the node so that we can make it unique.
330 FoldingSetNodeID ID;
331 Abbrev.Profile(ID);
332
333 // Check the set for priors.
334 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
335
336 // If it's newly added.
337 if (InSet == &Abbrev) {
338 // Add to abbreviation list.
339 Abbreviations.push_back(&Abbrev);
340
341 // Assign the vector position + 1 as its number.
342 Abbrev.setNumber(Abbreviations.size());
343 } else {
344 // Assign existing abbreviation number.
345 Abbrev.setNumber(InSet->getNumber());
346 }
347}
348
Devang Patel2c4ceb12009-11-21 02:48:08 +0000349/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000350/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000351DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000352 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000353 return Value;
354}
355
Devang Patel2c4ceb12009-11-21 02:48:08 +0000356/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000357///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000358void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000359 unsigned Form, uint64_t Integer) {
360 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000361 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000362 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000363}
364
Devang Patel2c4ceb12009-11-21 02:48:08 +0000365/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000366///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000367void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000368 unsigned Form, int64_t Integer) {
369 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000370 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000371 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000372}
373
Devang Patel69f57b12009-12-02 15:25:16 +0000374/// addString - Add a string attribute data and value. DIEString only
375/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000376void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner4cf202b2010-01-23 03:11:46 +0000377 StringRef String) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000378 DIEValue *Value = new (DIEValueAllocator) DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000379 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000380}
381
Devang Patel2c4ceb12009-11-21 02:48:08 +0000382/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000383///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000384void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000385 const MCSymbol *Label) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000386 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000387 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000388}
389
Devang Patel2c4ceb12009-11-21 02:48:08 +0000390/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000391///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000392void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000393 const MCSymbol *Hi, const MCSymbol *Lo) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000394 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000395 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000396}
397
Devang Patel2c4ceb12009-11-21 02:48:08 +0000398/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000399///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000400void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000401 DIEBlock *Block) {
402 Block->ComputeSize(TD);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000403 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000404 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000405}
406
Devang Patel2c4ceb12009-11-21 02:48:08 +0000407/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000408/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000409void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000410 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000411 if (!V->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000412 return;
413
414 unsigned Line = V->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000415 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
416 V->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000417 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000418 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
419 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000420}
421
Devang Patel2c4ceb12009-11-21 02:48:08 +0000422/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000423/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000424void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000425 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000426 if (!G->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000427 return;
428
429 unsigned Line = G->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000430 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
431 G->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000432 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000433 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
434 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000435}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000436
Devang Patel2c4ceb12009-11-21 02:48:08 +0000437/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000438/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000439void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000440 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000441 if (!SP->getCompileUnit().Verify())
Devang Patel82dfc0c2009-08-31 22:47:13 +0000442 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000443 // If the line number is 0, don't add it.
444 if (SP->getLineNumber() == 0)
445 return;
446
Devang Patel82dfc0c2009-08-31 22:47:13 +0000447 unsigned Line = SP->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000448 if (!SP->getContext().Verify())
449 return;
Devang Patel9bb59a22010-03-24 21:30:35 +0000450 unsigned FileID = GetOrCreateSourceID(SP->getDirectory(),
451 SP->getFilename());
Devang Patel82dfc0c2009-08-31 22:47:13 +0000452 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000453 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
454 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000455}
456
Devang Patel2c4ceb12009-11-21 02:48:08 +0000457/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000458/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000459void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000460 // If there is no compile unit specified, don't add a line #.
461 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel3c91b052010-03-08 20:52:55 +0000462 if (!CU.Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000463 return;
464
465 unsigned Line = Ty->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000466 if (!Ty->getContext().Verify())
467 return;
468 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
469 Ty->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000470 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000471 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
472 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000473}
474
Devang Patel6404e4e2009-12-15 19:16:48 +0000475/// addSourceLine - Add location information to specified debug information
476/// entry.
477void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
478 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000479 if (!NS->getCompileUnit().Verify())
Devang Patel6404e4e2009-12-15 19:16:48 +0000480 return;
481
482 unsigned Line = NS->getLineNumber();
483 StringRef FN = NS->getFilename();
484 StringRef Dir = NS->getDirectory();
485
486 unsigned FileID = GetOrCreateSourceID(Dir, FN);
487 assert(FileID && "Invalid file id");
488 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
489 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
490}
491
Caroline Ticedc8f6042009-08-31 21:19:37 +0000492/* Byref variables, in Blocks, are declared by the programmer as
493 "SomeType VarName;", but the compiler creates a
494 __Block_byref_x_VarName struct, and gives the variable VarName
495 either the struct, or a pointer to the struct, as its type. This
496 is necessary for various behind-the-scenes things the compiler
497 needs to do with by-reference variables in blocks.
498
499 However, as far as the original *programmer* is concerned, the
500 variable should still have type 'SomeType', as originally declared.
501
502 The following function dives into the __Block_byref_x_VarName
503 struct to find the original type of the variable. This will be
504 passed back to the code generating the type for the Debug
505 Information Entry for the variable 'VarName'. 'VarName' will then
506 have the original type 'SomeType' in its debug information.
507
508 The original type 'SomeType' will be the type of the field named
509 'VarName' inside the __Block_byref_x_VarName struct.
510
511 NOTE: In order for this to not completely fail on the debugger
512 side, the Debug Information Entry for the variable VarName needs to
513 have a DW_AT_location that tells the debugger how to unwind through
514 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000515 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000516
517/// Find the type the programmer originally declared the variable to be
518/// and return that type.
519///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000520DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000521
522 DIType subType = Ty;
523 unsigned tag = Ty.getTag();
524
525 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000526 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000527 subType = DTy.getTypeDerivedFrom();
528 }
529
530 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000531 DIArray Elements = blockStruct.getTypeArray();
532
Caroline Ticedc8f6042009-08-31 21:19:37 +0000533 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
534 DIDescriptor Element = Elements.getElement(i);
535 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000536 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000537 return (DT.getTypeDerivedFrom());
538 }
539
540 return Ty;
541}
542
Devang Patel2c4ceb12009-11-21 02:48:08 +0000543/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000544/// and generate the DWARF information necessary to find the actual variable
545/// given the extra address information encoded in the DIVariable, starting from
546/// the starting location. Add the DWARF information to the die.
547///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000548void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000549 unsigned Attribute,
550 const MachineLocation &Location) {
551 const DIVariable &VD = DV->getVariable();
552 DIType Ty = VD.getType();
553
554 // Decode the original location, and use that as the start of the byref
555 // variable's location.
556 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000557 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000558
559 if (Location.isReg()) {
560 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000561 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000562 } else {
563 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000564 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
565 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000566 }
567 } else {
568 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000569 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000570 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000571 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
572 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000573 }
574
Devang Patel2c4ceb12009-11-21 02:48:08 +0000575 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000576 }
577
578 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
579 uint64_t Element = VD.getAddrElement(i);
580
581 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000582 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
583 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000584 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000585 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000586 } else llvm_unreachable("unknown DIFactory Opcode");
587 }
588
589 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000590 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000591}
592
Caroline Ticedc8f6042009-08-31 21:19:37 +0000593/* Byref variables, in Blocks, are declared by the programmer as "SomeType
594 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
595 gives the variable VarName either the struct, or a pointer to the struct, as
596 its type. This is necessary for various behind-the-scenes things the
597 compiler needs to do with by-reference variables in Blocks.
598
599 However, as far as the original *programmer* is concerned, the variable
600 should still have type 'SomeType', as originally declared.
601
Devang Patel2c4ceb12009-11-21 02:48:08 +0000602 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000603 struct to find the original type of the variable, which is then assigned to
604 the variable's Debug Information Entry as its real type. So far, so good.
605 However now the debugger will expect the variable VarName to have the type
606 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000607 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000608 pointers and struct to find the actual variable of type SomeType.
609
610 The following function does just that. We start by getting
611 the "normal" location for the variable. This will be the location
612 of either the struct __Block_byref_x_VarName or the pointer to the
613 struct __Block_byref_x_VarName.
614
615 The struct will look something like:
616
617 struct __Block_byref_x_VarName {
618 ... <various fields>
619 struct __Block_byref_x_VarName *forwarding;
620 ... <various other fields>
621 SomeType VarName;
622 ... <maybe more fields>
623 };
624
625 If we are given the struct directly (as our starting point) we
626 need to tell the debugger to:
627
628 1). Add the offset of the forwarding field.
629
Dan Gohmanf451cb82010-02-10 16:03:48 +0000630 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000631 struct to use (the real one may have been copied onto the heap).
632
633 3). Add the offset for the field VarName, to find the actual variable.
634
635 If we started with a pointer to the struct, then we need to
636 dereference that pointer first, before the other steps.
637 Translating this into DWARF ops, we will need to append the following
638 to the current location description for the variable:
639
640 DW_OP_deref -- optional, if we start with a pointer
641 DW_OP_plus_uconst <forward_fld_offset>
642 DW_OP_deref
643 DW_OP_plus_uconst <varName_fld_offset>
644
645 That is what this function does. */
646
Devang Patel2c4ceb12009-11-21 02:48:08 +0000647/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000648/// provided, and generate the DWARF information necessary to find the
649/// actual Block variable (navigating the Block struct) based on the
650/// starting location. Add the DWARF information to the die. For
651/// more information, read large comment just above here.
652///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000653void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000654 unsigned Attribute,
655 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000656 const DIVariable &VD = DV->getVariable();
657 DIType Ty = VD.getType();
658 DIType TmpTy = Ty;
659 unsigned Tag = Ty.getTag();
660 bool isPointer = false;
661
Devang Patel65dbc902009-11-25 17:36:49 +0000662 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000663
664 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000665 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000666 TmpTy = DTy.getTypeDerivedFrom();
667 isPointer = true;
668 }
669
670 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
671
Daniel Dunbar00564992009-09-19 20:40:14 +0000672 // Find the __forwarding field and the variable field in the __Block_byref
673 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000674 DIArray Fields = blockStruct.getTypeArray();
675 DIDescriptor varField = DIDescriptor();
676 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000677
Daniel Dunbar00564992009-09-19 20:40:14 +0000678 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
679 DIDescriptor Element = Fields.getElement(i);
680 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000681 StringRef fieldName = DT.getName();
682 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000683 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000684 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000685 varField = Element;
686 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000687
Daniel Dunbar00564992009-09-19 20:40:14 +0000688 // Get the offsets for the forwarding field and the variable field.
Chris Lattner1d65ba72010-03-31 06:06:37 +0000689 unsigned forwardingFieldOffset =
Daniel Dunbar00564992009-09-19 20:40:14 +0000690 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
Chris Lattner1d65ba72010-03-31 06:06:37 +0000691 unsigned varFieldOffset =
Daniel Dunbar00564992009-09-19 20:40:14 +0000692 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000693
Mike Stump7e3720d2009-09-24 23:21:26 +0000694 // Decode the original location, and use that as the start of the byref
695 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000696 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000697 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000698
Daniel Dunbar00564992009-09-19 20:40:14 +0000699 if (Location.isReg()) {
700 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000701 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000702 else {
703 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000704 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
705 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000706 }
707 } else {
708 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000709 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000710 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000711 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
712 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000713 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000714
Devang Patel2c4ceb12009-11-21 02:48:08 +0000715 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000716 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000717
Mike Stump7e3720d2009-09-24 23:21:26 +0000718 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000719 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000720 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000722
Daniel Dunbar00564992009-09-19 20:40:14 +0000723 // Next add the offset for the '__forwarding' field:
724 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
725 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000726 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
728 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000729 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000730
Daniel Dunbar00564992009-09-19 20:40:14 +0000731 // Now dereference the __forwarding field to get to the real __Block_byref
732 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000733 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000734
Daniel Dunbar00564992009-09-19 20:40:14 +0000735 // Now that we've got the real __Block_byref... struct, add the offset
736 // for the variable's field to get to the location of the actual variable:
737 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000738 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000739 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
740 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000741 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000742
Daniel Dunbar00564992009-09-19 20:40:14 +0000743 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000744 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000745}
746
Devang Patel2c4ceb12009-11-21 02:48:08 +0000747/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000748/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000749void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000750 const MachineLocation &Location) {
751 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000752 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Bill Wendling0310d762009-05-15 09:23:25 +0000753
754 if (Location.isReg()) {
755 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000756 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000757 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000758 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
759 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000760 }
761 } else {
762 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000763 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000764 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000765 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
766 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000767 }
768
Devang Patel2c4ceb12009-11-21 02:48:08 +0000769 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000770 }
771
Devang Patel2c4ceb12009-11-21 02:48:08 +0000772 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000773}
774
Devang Patelc366f832009-12-10 19:14:49 +0000775/// addToContextOwner - Add Die into the list of its context owner's children.
776void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3c91b052010-03-08 20:52:55 +0000777 if (Context.isType()) {
Devang Patelc366f832009-12-10 19:14:49 +0000778 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
779 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000780 } else if (Context.isNameSpace()) {
781 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
782 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000783 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
784 ContextDIE->addChild(Die);
785 else
786 ModuleCU->addDie(Die);
787}
788
Devang Patel16ced732009-12-10 18:05:33 +0000789/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
790/// given DIType.
791DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
792 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
793 if (TyDIE)
794 return TyDIE;
795
796 // Create new type.
797 TyDIE = new DIE(dwarf::DW_TAG_base_type);
798 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
799 if (Ty.isBasicType())
800 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
801 else if (Ty.isCompositeType())
802 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
803 else {
804 assert(Ty.isDerivedType() && "Unknown kind of DIType");
805 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
806 }
807
Devang Patelc366f832009-12-10 19:14:49 +0000808 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000809 return TyDIE;
810}
811
Devang Patel2c4ceb12009-11-21 02:48:08 +0000812/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000813void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel3c91b052010-03-08 20:52:55 +0000814 if (!Ty.isValid())
Bill Wendling0310d762009-05-15 09:23:25 +0000815 return;
816
817 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000818 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000819 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000820 if (Entry) {
821 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000822 return;
823 }
824
Bill Wendling0310d762009-05-15 09:23:25 +0000825 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000826 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000827
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000828 // Set up proxy.
829 Entry = createDIEEntry(Buffer);
830 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
831
Devang Patel2c4ceb12009-11-21 02:48:08 +0000832 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000833}
834
Devang Patel2c4ceb12009-11-21 02:48:08 +0000835/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000836void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000837 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000838 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000839 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000840 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000841 BTy.getEncoding());
842
843 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000844 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000845 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000846 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000847 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000848}
849
Devang Patel2c4ceb12009-11-21 02:48:08 +0000850/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000851void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000852 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000853 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000854 uint64_t Size = DTy.getSizeInBits() >> 3;
855 unsigned Tag = DTy.getTag();
856
857 // FIXME - Workaround for templates.
858 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
859
860 Buffer.setTag(Tag);
861
862 // Map to main type, void will not have a type.
863 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000864 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000865
866 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000867 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000868 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000869
870 // Add size if non-zero (derived types might be zero-sized.)
871 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000872 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000873
874 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000875 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000876 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000877}
878
Devang Patel2c4ceb12009-11-21 02:48:08 +0000879/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000880void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000881 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000882 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000883
884 uint64_t Size = CTy.getSizeInBits() >> 3;
885 unsigned Tag = CTy.getTag();
886 Buffer.setTag(Tag);
887
888 switch (Tag) {
889 case dwarf::DW_TAG_vector_type:
890 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000891 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000892 break;
893 case dwarf::DW_TAG_enumeration_type: {
894 DIArray Elements = CTy.getTypeArray();
895
896 // Add enumerators to enumeration type.
897 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
898 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000899 DIDescriptor Enum(Elements.getElement(i).getNode());
900 if (Enum.isEnumerator()) {
901 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000902 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000903 }
Bill Wendling0310d762009-05-15 09:23:25 +0000904 }
905 }
906 break;
907 case dwarf::DW_TAG_subroutine_type: {
908 // Add return type.
909 DIArray Elements = CTy.getTypeArray();
910 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000911 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000912
913 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000914 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000915
916 // Add arguments.
917 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
918 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
919 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000920 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000921 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000922 }
923 }
924 break;
925 case dwarf::DW_TAG_structure_type:
926 case dwarf::DW_TAG_union_type:
927 case dwarf::DW_TAG_class_type: {
928 // Add elements to structure type.
929 DIArray Elements = CTy.getTypeArray();
930
931 // A forward struct declared type may not have elements available.
Devang Patel3c91b052010-03-08 20:52:55 +0000932 unsigned N = Elements.getNumElements();
933 if (N == 0)
Bill Wendling0310d762009-05-15 09:23:25 +0000934 break;
935
936 // Add elements to structure type.
Devang Patel3c91b052010-03-08 20:52:55 +0000937 for (unsigned i = 0; i < N; ++i) {
Bill Wendling0310d762009-05-15 09:23:25 +0000938 DIDescriptor Element = Elements.getElement(i);
939 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000940 if (Element.isSubprogram())
Devang Patelffe966c2009-12-14 16:18:45 +0000941 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000942 else if (Element.isVariable()) {
Devang Patel1ee0cb92010-01-30 01:08:30 +0000943 DIVariable DV(Element.getNode());
944 ElemDie = new DIE(dwarf::DW_TAG_variable);
945 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
946 DV.getName());
947 addType(ElemDie, DV.getType());
948 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
949 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
950 addSourceLine(ElemDie, &DV);
Devang Patel3c91b052010-03-08 20:52:55 +0000951 } else if (Element.isDerivedType())
Devang Patel8a241142009-12-09 18:24:21 +0000952 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000953 else
954 continue;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000955 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000956 }
957
Devang Patela1ba2692009-08-27 23:51:51 +0000958 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000959 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000960
961 unsigned RLang = CTy.getRunTimeLang();
962 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000963 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000964 dwarf::DW_FORM_data1, RLang);
Devang Patelb5544992010-01-26 21:16:06 +0000965
966 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel3c91b052010-03-08 20:52:55 +0000967 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patelb5544992010-01-26 21:16:06 +0000968 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
969 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling0310d762009-05-15 09:23:25 +0000970 break;
971 }
972 default:
973 break;
974 }
975
976 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000977 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000978 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000979
Devang Patel8cbb6122010-01-29 18:34:58 +0000980 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling0310d762009-05-15 09:23:25 +0000981 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
982 // Add size if non-zero (derived types might be zero-sized.)
983 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000984 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000985 else {
986 // Add zero size if it is not a forward declaration.
987 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000988 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000989 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000990 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000991 }
992
993 // Add source line info if available.
994 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000995 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000996 }
997}
998
Devang Patel2c4ceb12009-11-21 02:48:08 +0000999/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1000void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +00001001 int64_t L = SR.getLo();
1002 int64_t H = SR.getHi();
1003 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1004
Devang Patel2c4ceb12009-11-21 02:48:08 +00001005 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +00001006 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001007 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +00001008 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +00001009
Devang Patel2c4ceb12009-11-21 02:48:08 +00001010 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +00001011}
1012
Devang Patel2c4ceb12009-11-21 02:48:08 +00001013/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +00001014void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +00001015 DICompositeType *CTy) {
1016 Buffer.setTag(dwarf::DW_TAG_array_type);
1017 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001018 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001019
1020 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001021 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001022 DIArray Elements = CTy->getTypeArray();
1023
Devang Patel6f01d9c2009-11-21 00:31:03 +00001024 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001025 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001026 if (!IdxTy) {
1027 // Construct an anonymous type for index type.
1028 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001029 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1030 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001031 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001032 ModuleCU->addDie(IdxTy);
1033 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001034 }
Bill Wendling0310d762009-05-15 09:23:25 +00001035
1036 // Add subranges to array type.
1037 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1038 DIDescriptor Element = Elements.getElement(i);
1039 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001040 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001041 }
1042}
1043
Devang Patel2c4ceb12009-11-21 02:48:08 +00001044/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3c91b052010-03-08 20:52:55 +00001045DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001046 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3c91b052010-03-08 20:52:55 +00001047 StringRef Name = ETy.getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001048 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3c91b052010-03-08 20:52:55 +00001049 int64_t Value = ETy.getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001050 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001051 return Enumerator;
1052}
1053
Devang Patel351ca332010-01-05 01:46:14 +00001054/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1055/// printer to not emit usual symbol prefix before the symbol name is used then
1056/// return linkage name after skipping this special LLVM prefix.
1057static StringRef getRealLinkageName(StringRef LinkageName) {
1058 char One = '\1';
1059 if (LinkageName.startswith(StringRef(&One, 1)))
1060 return LinkageName.substr(1);
1061 return LinkageName;
1062}
1063
Devang Patel2c4ceb12009-11-21 02:48:08 +00001064/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001065DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001066 // If the global variable was optmized out then no need to create debug info
1067 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001068 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001069 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001070
Bill Wendling0310d762009-05-15 09:23:25 +00001071 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001072 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001073 GV.getDisplayName());
1074
Devang Patel65dbc902009-11-25 17:36:49 +00001075 StringRef LinkageName = GV.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001076 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001077 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001078 getRealLinkageName(LinkageName));
1079
Devang Patel8a241142009-12-09 18:24:21 +00001080 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001081 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001082 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1083 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001084
Bill Wendling0310d762009-05-15 09:23:25 +00001085 return GVDie;
1086}
1087
Devang Patel2c4ceb12009-11-21 02:48:08 +00001088/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001089DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001090 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001091 StringRef Name = DT.getName();
1092 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001093 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001094
Devang Patel8a241142009-12-09 18:24:21 +00001095 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001096
Devang Patel2c4ceb12009-11-21 02:48:08 +00001097 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001098
Benjamin Kramer345ef342010-03-31 19:34:01 +00001099 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001100 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001101
Bill Wendling0310d762009-05-15 09:23:25 +00001102 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001103 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001104
1105 if (Size != FieldSize) {
1106 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001107 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1108 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001109
1110 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling0310d762009-05-15 09:23:25 +00001111 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1112 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer3d594fd2010-01-07 17:50:57 +00001113 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling0310d762009-05-15 09:23:25 +00001114 Offset -= FieldOffset;
1115
1116 // Maybe we need to work from the other end.
1117 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001118 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001119
Devang Patel33db5082009-11-04 22:06:12 +00001120 // Here WD_AT_data_member_location points to the anonymous
1121 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001122 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001123
1124 } else
1125 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001126 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001127
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001128 if (DT.getTag() == dwarf::DW_TAG_inheritance
1129 && DT.isVirtual()) {
1130
1131 // For C++, virtual base classes are not at fixed offset. Use following
1132 // expression to extract appropriate offset from vtable.
1133 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1134
Benjamin Kramer345ef342010-03-31 19:34:01 +00001135 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001136 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1137 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1138 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1139 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1140 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1141 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1142 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1143
1144 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1145 VBaseLocationDie);
1146 } else
1147 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001148
1149 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001150 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001151 dwarf::DW_ACCESS_protected);
1152 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001153 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001154 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001155 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1156 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1157 dwarf::DW_ACCESS_public);
1158 if (DT.isVirtual())
1159 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1160 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001161 return MemberDie;
1162}
1163
Devang Patelffe966c2009-12-14 16:18:45 +00001164/// createSubprogramDIE - Create new DIE using SP.
1165DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1166 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1167 if (SPDie)
1168 return SPDie;
1169
1170 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel1eac3e72010-03-02 17:58:15 +00001171 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel6b506cb2010-03-02 01:26:20 +00001172 if (!SP.getName().empty())
1173 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001174
Devang Patel65dbc902009-11-25 17:36:49 +00001175 StringRef LinkageName = SP.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001176 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001177 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001178 getRealLinkageName(LinkageName));
1179
Devang Patel2c4ceb12009-11-21 02:48:08 +00001180 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001181
Bill Wendling0310d762009-05-15 09:23:25 +00001182 // Add prototyped tag, if C or ObjC.
1183 unsigned Lang = SP.getCompileUnit().getLanguage();
1184 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1185 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001186 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001187
1188 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001189 DICompositeType SPTy = SP.getType();
1190 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001191 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001192
Devang Patel3c91b052010-03-08 20:52:55 +00001193 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001194 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001195 else
Devang Patel8a241142009-12-09 18:24:21 +00001196 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001197
Devang Patel5d11eb02009-12-03 19:11:07 +00001198 unsigned VK = SP.getVirtuality();
1199 if (VK) {
1200 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
Benjamin Kramer345ef342010-03-31 19:34:01 +00001201 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel5d11eb02009-12-03 19:11:07 +00001202 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1203 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1204 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel622b0262010-01-19 06:19:05 +00001205 ContainingTypeMap.insert(std::make_pair(SPDie,
1206 SP.getContainingType().getNode()));
Devang Patel5d11eb02009-12-03 19:11:07 +00001207 }
1208
Devang Patelffe966c2009-12-14 16:18:45 +00001209 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001210 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001211
1212 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001213 // be handled while processing variables.
1214 DICompositeType SPTy = SP.getType();
1215 DIArray Args = SPTy.getTypeArray();
1216 unsigned SPTag = SPTy.getTag();
1217
Bill Wendling0310d762009-05-15 09:23:25 +00001218 if (SPTag == dwarf::DW_TAG_subroutine_type)
1219 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1220 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelb4645642010-02-06 01:02:37 +00001221 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1222 addType(Arg, ATy);
1223 if (ATy.isArtificial())
1224 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001225 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001226 }
1227 }
1228
Devang Patel4e0d19d2010-02-03 19:57:19 +00001229 if (SP.isArtificial())
1230 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1231
Bill Wendling0310d762009-05-15 09:23:25 +00001232 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001233 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001234 return SPDie;
1235}
1236
Devang Patel8935d902010-04-01 17:16:48 +00001237/// getUpdatedDbgScope - Find DbgScope assicated with the instruction.
1238/// Update scope hierarchy. Create abstract scope if required.
Devang Patel53bb5c92009-11-10 23:06:00 +00001239DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
Chris Lattnered7a77b2010-03-31 05:36:29 +00001240 MDNode *InlinedAt) {
1241 assert(N && "Invalid Scope encoding!");
1242 assert(MI && "Missing machine instruction!");
Devang Patel8935d902010-04-01 17:16:48 +00001243 bool isAConcreteScope = InlinedAt != 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001244
1245 DbgScope *NScope = NULL;
1246
1247 if (InlinedAt)
1248 NScope = DbgScopeMap.lookup(InlinedAt);
1249 else
1250 NScope = DbgScopeMap.lookup(N);
Chris Lattnered7a77b2010-03-31 05:36:29 +00001251 assert(NScope && "Unable to find working scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001252
1253 if (NScope->getFirstInsn())
1254 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001255
1256 DbgScope *Parent = NULL;
Devang Patel8935d902010-04-01 17:16:48 +00001257 if (isAConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001258 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001259 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001260 IL.getOrigLocation().getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001261 assert(Parent && "Unable to find Parent scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001262 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001263 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001264 } else if (DIDescriptor(N).isLexicalBlock()) {
1265 DILexicalBlock DB(N);
Devang Patel3c91b052010-03-08 20:52:55 +00001266 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1267 NScope->setParent(Parent);
1268 Parent->addScope(NScope);
Devang Patelc90aefe2009-10-14 21:08:09 +00001269 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001270
Devang Patelbdf45cb2009-10-27 20:47:17 +00001271 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001272
Devang Patel53bb5c92009-11-10 23:06:00 +00001273 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001274 StringRef SPName = DISubprogram(N).getLinkageName();
1275 if (SPName == MF->getFunction()->getName())
1276 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001277 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001278
Devang Patel8935d902010-04-01 17:16:48 +00001279 if (isAConcreteScope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001280 ConcreteScopes[InlinedAt] = NScope;
1281 getOrCreateAbstractScope(N);
1282 }
1283
Devang Patelbdf45cb2009-10-27 20:47:17 +00001284 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001285}
1286
Devang Patel53bb5c92009-11-10 23:06:00 +00001287DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
Chris Lattnered7a77b2010-03-31 05:36:29 +00001288 assert(N && "Invalid Scope encoding!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001289
1290 DbgScope *AScope = AbstractScopes.lookup(N);
1291 if (AScope)
1292 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001293
Devang Patel53bb5c92009-11-10 23:06:00 +00001294 DbgScope *Parent = NULL;
1295
1296 DIDescriptor Scope(N);
1297 if (Scope.isLexicalBlock()) {
1298 DILexicalBlock DB(N);
1299 DIDescriptor ParentDesc = DB.getContext();
Devang Patel3c91b052010-03-08 20:52:55 +00001300 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001301 }
1302
1303 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1304
1305 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001306 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001307 AScope->setAbstractScope();
1308 AbstractScopes[N] = AScope;
1309 if (DIDescriptor(N).isSubprogram())
1310 AbstractScopesList.push_back(AScope);
1311 return AScope;
1312}
Devang Patelaf9e8472009-10-01 20:31:14 +00001313
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001314/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001315/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1316/// If there are global variables in this scope then create and insert
1317/// DIEs for these variables.
1318DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel017d1212009-11-20 21:37:22 +00001319 DIE *SPDie = ModuleCU->getDIE(SPNode);
Chris Lattner206d61e2010-03-13 07:26:18 +00001320 assert(SPDie && "Unable to find subprogram DIE!");
Devang Patelffe966c2009-12-14 16:18:45 +00001321 DISubprogram SP(SPNode);
Chris Lattner206d61e2010-03-13 07:26:18 +00001322
Devang Patel6cda22e2010-02-05 23:09:20 +00001323 // There is not any need to generate specification DIE for a function
1324 // defined at compile unit level. If a function is defined inside another
1325 // function then gdb prefers the definition at top level and but does not
1326 // expect specification DIE in parent function. So avoid creating
1327 // specification DIE for a function defined inside a function.
Stuart Hastingsf8df8142010-03-31 23:08:46 +00001328 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1329 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
Devang Patelffe966c2009-12-14 16:18:45 +00001330 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Chris Lattner206d61e2010-03-13 07:26:18 +00001331
1332 // Add arguments.
Devang Patelffe966c2009-12-14 16:18:45 +00001333 DICompositeType SPTy = SP.getType();
1334 DIArray Args = SPTy.getTypeArray();
1335 unsigned SPTag = SPTy.getTag();
1336 if (SPTag == dwarf::DW_TAG_subroutine_type)
Chris Lattner206d61e2010-03-13 07:26:18 +00001337 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Devang Patelffe966c2009-12-14 16:18:45 +00001338 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelb4645642010-02-06 01:02:37 +00001339 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1340 addType(Arg, ATy);
1341 if (ATy.isArtificial())
1342 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelffe966c2009-12-14 16:18:45 +00001343 SPDie->addChild(Arg);
1344 }
1345 DIE *SPDeclDie = SPDie;
1346 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1347 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1348 SPDeclDie);
Devang Patelffe966c2009-12-14 16:18:45 +00001349 ModuleCU->addDie(SPDie);
1350 }
Devang Patelb4645642010-02-06 01:02:37 +00001351
Devang Patel2c4ceb12009-11-21 02:48:08 +00001352 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00001353 getDWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001354 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00001355 getDWLabel("func_end", SubprogramCount));
Devang Patel53bb5c92009-11-10 23:06:00 +00001356 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001357 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001358
Devang Patel53bb5c92009-11-10 23:06:00 +00001359 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001360 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001361
Devang Patel53bb5c92009-11-10 23:06:00 +00001362 return SPDie;
1363}
1364
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001365/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001366/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1367DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattnerb7db7332010-03-09 01:58:53 +00001368 MCSymbol *Start = Scope->getStartLabel();
1369 MCSymbol *End = Scope->getEndLabel();
Devang Patelaead63c2010-03-29 22:59:58 +00001370 if (Start == 0 || End == 0) return 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001371
Chris Lattnerb7db7332010-03-09 01:58:53 +00001372 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1373 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattnera34ec2292010-03-09 01:51:43 +00001374
Devang Patel53bb5c92009-11-10 23:06:00 +00001375 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1376 if (Scope->isAbstractScope())
1377 return ScopeDIE;
1378
Devang Patel2c4ceb12009-11-21 02:48:08 +00001379 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerb7db7332010-03-09 01:58:53 +00001380 Start ? Start : getDWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001381 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerb7db7332010-03-09 01:58:53 +00001382 End ? End : getDWLabel("func_end", SubprogramCount));
Devang Patel53bb5c92009-11-10 23:06:00 +00001383
1384 return ScopeDIE;
1385}
1386
Devang Patel2c4ceb12009-11-21 02:48:08 +00001387/// constructInlinedScopeDIE - This scope represents inlined body of
1388/// a function. Construct DIE to represent this concrete inlined copy
1389/// of the function.
1390DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattnerb7db7332010-03-09 01:58:53 +00001391 MCSymbol *StartLabel = Scope->getStartLabel();
1392 MCSymbol *EndLabel = Scope->getEndLabel();
Devang Patelaead63c2010-03-29 22:59:58 +00001393 if (StartLabel == 0 || EndLabel == 0) return 0;
Chris Lattner6c7dfc02010-03-09 04:48:35 +00001394
Chris Lattnerb7db7332010-03-09 01:58:53 +00001395 assert(StartLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001396 "Invalid starting label for an inlined scope!");
Chris Lattnerb7db7332010-03-09 01:58:53 +00001397 assert(EndLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001398 "Invalid end label for an inlined scope!");
Devang Patel3c91b052010-03-08 20:52:55 +00001399 if (!Scope->getScopeNode())
Devang Patel0ef3fa62010-03-08 19:20:38 +00001400 return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001401 DIScope DS(Scope->getScopeNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001402 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1403
1404 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001405 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001406 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001407 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001408 dwarf::DW_FORM_ref4, OriginDIE);
1409
Chris Lattner6ed0f902010-03-09 00:31:02 +00001410 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnerb7db7332010-03-09 01:58:53 +00001411 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel53bb5c92009-11-10 23:06:00 +00001412
1413 InlinedSubprogramDIEs.insert(OriginDIE);
1414
1415 // Track the start label for this inlined function.
Devang Patel622b0262010-01-19 06:19:05 +00001416 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel53bb5c92009-11-10 23:06:00 +00001417 I = InlineInfo.find(InlinedSP.getNode());
1418
1419 if (I == InlineInfo.end()) {
Chris Lattner6ed0f902010-03-09 00:31:02 +00001420 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001421 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001422 InlinedSPNodes.push_back(InlinedSP.getNode());
1423 } else
Chris Lattner6ed0f902010-03-09 00:31:02 +00001424 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001425
Devang Patel53bb5c92009-11-10 23:06:00 +00001426 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001427 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1428 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001429
1430 return ScopeDIE;
1431}
1432
Devang Patel2c4ceb12009-11-21 02:48:08 +00001433
1434/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001435DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001436 // Get the descriptor.
1437 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001438 StringRef Name = VD.getName();
1439 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001440 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001441
1442 // Translate tag to proper Dwarf tag. The result variable is dropped for
1443 // now.
1444 unsigned Tag;
1445 switch (VD.getTag()) {
1446 case dwarf::DW_TAG_return_variable:
1447 return NULL;
1448 case dwarf::DW_TAG_arg_variable:
1449 Tag = dwarf::DW_TAG_formal_parameter;
1450 break;
1451 case dwarf::DW_TAG_auto_variable: // fall thru
1452 default:
1453 Tag = dwarf::DW_TAG_variable;
1454 break;
1455 }
1456
1457 // Define variable debug information entry.
1458 DIE *VariableDie = new DIE(Tag);
1459
1460
1461 DIE *AbsDIE = NULL;
1462 if (DbgVariable *AV = DV->getAbstractVariable())
1463 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001464
Devang Patel53bb5c92009-11-10 23:06:00 +00001465 if (AbsDIE) {
1466 DIScope DS(Scope->getScopeNode());
1467 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001468 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001469 (void) OriginSPDIE;
Chris Lattnered7a77b2010-03-31 05:36:29 +00001470 assert(OriginSPDIE && "Unable to find Origin DIE for the SP!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001471 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
Chris Lattnered7a77b2010-03-31 05:36:29 +00001472 assert(AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001473 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001474 dwarf::DW_FORM_ref4, AbsDIE);
1475 }
1476 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001477 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1478 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001479
1480 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001481 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001482 // addresses instead.
1483 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001484 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001485 else
Devang Patel8a241142009-12-09 18:24:21 +00001486 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001487 }
1488
1489 // Add variable address.
1490 if (!Scope->isAbstractScope()) {
Devang Patel90a48ad2010-03-15 18:33:46 +00001491 // Check if variable is described by DBG_VALUE instruction.
1492 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1493 if (DbgValueInsn->getNumOperands() == 3) {
1494 // FIXME : Handle getNumOperands != 3
1495 if (DbgValueInsn->getOperand(0).getType()
1496 == MachineOperand::MO_Register
1497 && DbgValueInsn->getOperand(0).getReg()) {
1498 MachineLocation Location;
1499 Location.set(DbgValueInsn->getOperand(0).getReg());
1500 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patelaead63c2010-03-29 22:59:58 +00001501 if (MCSymbol *VS = DV->getDbgValueLabel())
1502 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1503 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001504 } else if (DbgValueInsn->getOperand(0).getType() ==
1505 MachineOperand::MO_Immediate) {
Benjamin Kramer345ef342010-03-31 19:34:01 +00001506 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel90a48ad2010-03-15 18:33:46 +00001507 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1508 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1509 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
Devang Patelaead63c2010-03-29 22:59:58 +00001510 if (MCSymbol *VS = DV->getDbgValueLabel())
1511 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1512 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001513 } else {
1514 //FIXME : Handle other operand types.
1515 delete VariableDie;
1516 return NULL;
1517 }
1518 }
1519 } else {
1520 MachineLocation Location;
1521 unsigned FrameReg;
Chris Lattner1d65ba72010-03-31 06:06:37 +00001522 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(),
1523 FrameReg);
Devang Patel90a48ad2010-03-15 18:33:46 +00001524 Location.set(FrameReg, Offset);
1525
1526 if (VD.hasComplexAddress())
1527 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1528 else if (VD.isBlockByrefVariable())
1529 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1530 else
1531 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1532 }
Devang Patel53bb5c92009-11-10 23:06:00 +00001533 }
Devang Patelb4645642010-02-06 01:02:37 +00001534
1535 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1536 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001537 DV->setDIE(VariableDie);
1538 return VariableDie;
1539
1540}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001541
Devang Patel193f7202009-11-24 01:14:22 +00001542void DwarfDebug::addPubTypes(DISubprogram SP) {
1543 DICompositeType SPTy = SP.getType();
1544 unsigned SPTag = SPTy.getTag();
1545 if (SPTag != dwarf::DW_TAG_subroutine_type)
1546 return;
1547
1548 DIArray Args = SPTy.getTypeArray();
Devang Patel193f7202009-11-24 01:14:22 +00001549 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1550 DIType ATy(Args.getElement(i).getNode());
Devang Patel3c91b052010-03-08 20:52:55 +00001551 if (!ATy.isValid())
Devang Patel193f7202009-11-24 01:14:22 +00001552 continue;
1553 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel3c91b052010-03-08 20:52:55 +00001554 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001555 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1556 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1557 }
1558 }
1559}
1560
Devang Patel2c4ceb12009-11-21 02:48:08 +00001561/// constructScopeDIE - Construct a DIE for this scope.
1562DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3c91b052010-03-08 20:52:55 +00001563 if (!Scope || !Scope->getScopeNode())
1564 return NULL;
1565
1566 DIScope DS(Scope->getScopeNode());
1567 DIE *ScopeDIE = NULL;
1568 if (Scope->getInlinedAt())
1569 ScopeDIE = constructInlinedScopeDIE(Scope);
1570 else if (DS.isSubprogram()) {
1571 if (Scope->isAbstractScope())
1572 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1573 else
1574 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1575 }
Devang Patelaead63c2010-03-29 22:59:58 +00001576 else
Devang Patel3c91b052010-03-08 20:52:55 +00001577 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patelaead63c2010-03-29 22:59:58 +00001578 if (!ScopeDIE) return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001579
Devang Patel53bb5c92009-11-10 23:06:00 +00001580 // Add variables to scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001581 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel53bb5c92009-11-10 23:06:00 +00001582 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001583 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001584 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001585 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001586 }
1587
1588 // Add nested scopes.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001589 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel53bb5c92009-11-10 23:06:00 +00001590 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1591 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001592 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001593 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001594 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001595 }
Devang Patel193f7202009-11-24 01:14:22 +00001596
1597 if (DS.isSubprogram())
1598 addPubTypes(DISubprogram(DS.getNode()));
1599
1600 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001601}
1602
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001603/// GetOrCreateSourceID - Look up the source id with the given directory and
1604/// source file names. If none currently exists, create a new id and insert it
1605/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1606/// maps as well.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001607unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName){
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001608 unsigned DId;
1609 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1610 if (DI != DirectoryIdMap.end()) {
1611 DId = DI->getValue();
1612 } else {
1613 DId = DirectoryNames.size() + 1;
1614 DirectoryIdMap[DirName] = DId;
1615 DirectoryNames.push_back(DirName);
1616 }
1617
1618 unsigned FId;
1619 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1620 if (FI != SourceFileIdMap.end()) {
1621 FId = FI->getValue();
1622 } else {
1623 FId = SourceFileNames.size() + 1;
1624 SourceFileIdMap[FileName] = FId;
1625 SourceFileNames.push_back(FileName);
1626 }
1627
1628 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1629 SourceIdMap.find(std::make_pair(DId, FId));
1630 if (SI != SourceIdMap.end())
1631 return SI->second;
1632
1633 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1634 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1635 SourceIds.push_back(std::make_pair(DId, FId));
1636
1637 return SrcId;
1638}
1639
Devang Patel6404e4e2009-12-15 19:16:48 +00001640/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1641DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1642 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1643 if (NDie)
1644 return NDie;
1645 NDie = new DIE(dwarf::DW_TAG_namespace);
1646 ModuleCU->insertDIE(NS.getNode(), NDie);
1647 if (!NS.getName().empty())
1648 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1649 addSourceLine(NDie, &NS);
1650 addToContextOwner(NDie, NS.getContext());
1651 return NDie;
1652}
1653
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001654void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001655 DICompileUnit DIUnit(N);
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001656 // Use first compile unit marked as isMain as the compile unit for this
1657 // module.
1658 if (ModuleCU || !DIUnit.isMain())
1659 return;
Devang Patel65dbc902009-11-25 17:36:49 +00001660 StringRef FN = DIUnit.getFilename();
1661 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001662 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001663
1664 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001665 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001666 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001667 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001668 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001669 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Devang Patel4a602ca2010-03-22 23:11:36 +00001670 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1671 getTempLabel("text_begin"));
1672 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1673 getTempLabel("text_end"));
1674 // DW_AT_stmt_list is a offset of line number information for this
1675 // compile unit in debug_line section. It is always zero when only one
1676 // compile unit is emitted in one object file.
1677 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001678
Devang Patel65dbc902009-11-25 17:36:49 +00001679 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001680 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001681 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001682 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001683
Devang Patel65dbc902009-11-25 17:36:49 +00001684 StringRef Flags = DIUnit.getFlags();
1685 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001686 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001687
1688 unsigned RVer = DIUnit.getRunTimeVersion();
1689 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001690 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001691 dwarf::DW_FORM_data1, RVer);
1692
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001693 assert(!ModuleCU &&
1694 "ModuleCU assigned since the top of constructCompileUnit");
1695 ModuleCU = new CompileUnit(ID, Die);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001696}
1697
Devang Patel2c4ceb12009-11-21 02:48:08 +00001698void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001699 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001700
Devang Patel905cf5e2009-09-04 23:59:07 +00001701 // If debug information is malformed then ignore it.
1702 if (DI_GV.Verify() == false)
1703 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001704
1705 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001706 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001707 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001708
Devang Patel8a241142009-12-09 18:24:21 +00001709 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001710 if (!VariableDie)
1711 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001712
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001713 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001714 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001715
1716 // Add to context owner.
Devang Patelc9b16cc2010-01-15 01:12:22 +00001717 DIDescriptor GVContext = DI_GV.getContext();
1718 // Do not create specification DIE if context is either compile unit
1719 // or a subprogram.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001720 if (DI_GV.isDefinition() && !GVContext.isCompileUnit() &&
1721 !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel6404e4e2009-12-15 19:16:48 +00001722 // Create specification DIE.
1723 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1724 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1725 dwarf::DW_FORM_ref4, VariableDie);
Benjamin Kramer345ef342010-03-31 19:34:01 +00001726 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel6404e4e2009-12-15 19:16:48 +00001727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001728 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001729 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001730 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patel8581e012010-02-09 01:58:33 +00001731 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel6404e4e2009-12-15 19:16:48 +00001732 ModuleCU->addDie(VariableSpecDIE);
1733 } else {
Benjamin Kramer345ef342010-03-31 19:34:01 +00001734 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel6404e4e2009-12-15 19:16:48 +00001735 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001736 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001737 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001738 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1739 }
Devang Patelc9b16cc2010-01-15 01:12:22 +00001740 addToContextOwner(VariableDie, GVContext);
Devang Patelc366f832009-12-10 19:14:49 +00001741
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001742 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001743 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001744
1745 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001746 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001747 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001748 assert(Entry && "Missing global type!");
Devang Patel193f7202009-11-24 01:14:22 +00001749 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1750 }
Devang Patel13e16b62009-06-26 01:49:18 +00001751 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001752}
1753
Devang Patel2c4ceb12009-11-21 02:48:08 +00001754void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001755 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001756
Stuart Hastingsf8df8142010-03-31 23:08:46 +00001757 // Check for pre-existence.
1758 if (ModuleCU->getDIE(N))
1759 return;
1760
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001761 if (!SP.isDefinition())
1762 // This is a method declaration which will be handled while constructing
1763 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001764 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001765
Stuart Hastingsf8df8142010-03-31 23:08:46 +00001766 DIE *SubprogramDie = createSubprogramDIE(SP);
1767
1768 // Add to map.
1769 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001770
1771 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001772 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001773
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001774 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001775 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001776
Devang Patel13e16b62009-06-26 01:49:18 +00001777 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001778}
1779
Devang Patel2c4ceb12009-11-21 02:48:08 +00001780/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001781/// content. Create global DIEs and emit initial debug info sections.
1782/// This is inovked by the target AsmPrinter.
Chris Lattner75f50722010-04-04 07:48:20 +00001783void DwarfDebug::beginModule(Module *M) {
Devang Patel208622d2009-06-25 22:36:02 +00001784 this->M = M;
1785
Devang Patel3380cc52009-11-11 19:55:08 +00001786 if (!MAI->doesSupportDebugInformation())
1787 return;
1788
Chris Lattnera909d662010-03-29 20:38:20 +00001789 TimeRegion Timer(DebugTimer);
1790
Devang Patel78ab9e22009-07-30 18:56:46 +00001791 DebugInfoFinder DbgFinder;
1792 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001793
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001794 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001795 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1796 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001797 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001798
Devang Patel1dbc7712009-06-29 20:45:18 +00001799 if (!ModuleCU)
Devang Patel77bf2952010-03-08 22:02:50 +00001800 return;
Devang Patel70f44262009-06-29 20:38:13 +00001801
Devang Patel53bb5c92009-11-10 23:06:00 +00001802 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001803 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1804 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001805 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001806
Devang Patelc366f832009-12-10 19:14:49 +00001807 // Create DIEs for each global variable.
1808 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1809 E = DbgFinder.global_variable_end(); I != E; ++I)
1810 constructGlobalVariableDIE(*I);
1811
Chris Lattner75f50722010-04-04 07:48:20 +00001812 MMI = Asm->MMI;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001813 shouldEmit = true;
1814 MMI->setDebugInfoAvailability(true);
1815
1816 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001817 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001818
1819 // Print out .file directives to specify files for .loc directives. These are
1820 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001821 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001822 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1823 // Remember source id starts at 1.
1824 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattner0ad9c912010-01-22 22:09:00 +00001825 // FIXME: don't use sys::path for this! This should not depend on the
1826 // host.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001827 sys::Path FullPath(getSourceDirectoryName(Id.first));
1828 bool AppendOk =
1829 FullPath.appendComponent(getSourceFileName(Id.second));
1830 assert(AppendOk && "Could not append filename to directory!");
1831 AppendOk = false;
Chris Lattnera6594fc2010-01-25 18:58:59 +00001832 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001833 }
1834 }
1835
1836 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001837 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001838}
1839
Devang Patel2c4ceb12009-11-21 02:48:08 +00001840/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001841///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001842void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001843 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001844 return;
1845
Chris Lattnera909d662010-03-29 20:38:20 +00001846 TimeRegion Timer(DebugTimer);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001847
Devang Patel53bb5c92009-11-10 23:06:00 +00001848 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1849 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1850 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1851 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001852 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001853 }
1854
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001855 // Insert top level DIEs.
1856 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1857 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1858 ModuleCU->getCUDie()->addChild(*TI);
1859
Devang Patel622b0262010-01-19 06:19:05 +00001860 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel5d11eb02009-12-03 19:11:07 +00001861 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1862 DIE *SPDie = CI->first;
1863 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1864 if (!N) continue;
1865 DIE *NDie = ModuleCU->getDIE(N);
1866 if (!NDie) continue;
1867 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patelf8b72ca2010-01-15 00:26:31 +00001868 // FIXME - This is not the correct approach.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001869 //addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie
Devang Patel5d11eb02009-12-03 19:11:07 +00001870 }
1871
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001872 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001873 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00001874 Asm->OutStreamer.EmitLabel(getTempLabel("text_end"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001875 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00001876 Asm->OutStreamer.EmitLabel(getTempLabel("data_end"));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001877
1878 // End text sections.
1879 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001880 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattnerf829eef2010-03-08 22:44:40 +00001881 Asm->OutStreamer.EmitLabel(getDWLabel("section_end", i));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001882 }
1883
1884 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001885 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001886
1887 // Emit function debug frame information
1888 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1889 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001890 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001891
1892 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001893 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001894
1895 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001896 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001897
1898 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001899 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001900
1901 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001902 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001903
1904 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001905 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001906
Devang Patel193f7202009-11-24 01:14:22 +00001907 // Emit info into a debug pubtypes section.
1908 emitDebugPubTypes();
1909
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001910 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001911 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001912
1913 // Emit info into a debug aranges section.
1914 EmitDebugARanges();
1915
1916 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001917 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001918
1919 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001920 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001921
1922 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001923 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001924
Chris Lattnerbc733f52010-03-13 02:17:42 +00001925 // Emit info into a debug str section.
1926 emitDebugStr();
1927
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001928 delete ModuleCU;
1929 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001930}
1931
Devang Patel53bb5c92009-11-10 23:06:00 +00001932/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001933DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1934 unsigned FrameIdx,
Chris Lattnerde4845c2010-04-02 19:42:39 +00001935 DebugLoc ScopeLoc) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001936
1937 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1938 if (AbsDbgVariable)
1939 return AbsDbgVariable;
1940
Chris Lattnerde4845c2010-04-02 19:42:39 +00001941 LLVMContext &Ctx = Var.getNode()->getContext();
1942 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00001943 if (!Scope)
1944 return NULL;
1945
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001946 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
1947 NULL /* No more-abstract variable*/);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001948 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001949 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1950 return AbsDbgVariable;
1951}
1952
Devang Patel90a48ad2010-03-15 18:33:46 +00001953/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1954/// FIXME : Refactor findAbstractVariable.
1955DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1956 const MachineInstr *MI,
Chris Lattnerde4845c2010-04-02 19:42:39 +00001957 DebugLoc ScopeLoc) {
Devang Patel90a48ad2010-03-15 18:33:46 +00001958
1959 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1960 if (AbsDbgVariable)
1961 return AbsDbgVariable;
1962
Chris Lattnerde4845c2010-04-02 19:42:39 +00001963 LLVMContext &Ctx = Var.getNode()->getContext();
1964 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel90a48ad2010-03-15 18:33:46 +00001965 if (!Scope)
1966 return NULL;
1967
Devang Patelaead63c2010-03-29 22:59:58 +00001968 AbsDbgVariable = new DbgVariable(Var, MI,
Devang Patel90a48ad2010-03-15 18:33:46 +00001969 NULL /* No more-abstract variable*/);
1970 Scope->addVariable(AbsDbgVariable);
1971 AbstractVariables[Var.getNode()] = AbsDbgVariable;
Devang Patelaead63c2010-03-29 22:59:58 +00001972 DbgValueStartMap[MI] = AbsDbgVariable;
Devang Patel90a48ad2010-03-15 18:33:46 +00001973 return AbsDbgVariable;
1974}
1975
Devang Patel2c4ceb12009-11-21 02:48:08 +00001976/// collectVariableInfo - Populate DbgScope entries with variables' info.
1977void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001978 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001979
Chris Lattnerde4845c2010-04-02 19:42:39 +00001980 const LLVMContext &Ctx = MF->getFunction()->getContext();
1981
Devang Patele717faa2009-10-06 01:26:37 +00001982 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1983 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1984 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelbc5201f2010-01-22 22:52:10 +00001985 MDNode *Var = VI->first;
Devang Patel53bb5c92009-11-10 23:06:00 +00001986 if (!Var) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00001987 DIVariable DV(Var);
1988 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001989
Chris Lattnerde4845c2010-04-02 19:42:39 +00001990 DbgScope *Scope = 0;
1991 if (MDNode *IA = VP.second.getInlinedAt(Ctx))
1992 Scope = ConcreteScopes.lookup(IA);
1993 if (Scope == 0)
1994 Scope = DbgScopeMap.lookup(VP.second.getScope(Ctx));
1995
Devang Patelfb0ee432009-11-10 23:20:04 +00001996 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00001997 if (Scope == 0)
Devang Patelfb0ee432009-11-10 23:20:04 +00001998 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001999
Chris Lattnerde4845c2010-04-02 19:42:39 +00002000 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, VP.second);
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002001 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patel2c4ceb12009-11-21 02:48:08 +00002002 Scope->addVariable(RegVar);
Devang Patele717faa2009-10-06 01:26:37 +00002003 }
Devang Patel90a48ad2010-03-15 18:33:46 +00002004
2005 // Collect variable information from DBG_VALUE machine instructions;
2006 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2007 I != E; ++I) {
2008 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2009 II != IE; ++II) {
2010 const MachineInstr *MInsn = II;
Chris Lattner14d750d2010-03-31 05:39:57 +00002011 if (!MInsn->isDebugValue())
Devang Patel90a48ad2010-03-15 18:33:46 +00002012 continue;
Devang Patelaead63c2010-03-29 22:59:58 +00002013
Devang Patel90a48ad2010-03-15 18:33:46 +00002014 // FIXME : Lift this restriction.
2015 if (MInsn->getNumOperands() != 3)
2016 continue;
Chris Lattner870cfcf2010-03-31 03:34:40 +00002017 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands()
2018 - 1).getMetadata()));
Devang Patel90a48ad2010-03-15 18:33:46 +00002019 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2020 // FIXME Handle inlined subroutine arguments.
2021 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2022 CurrentFnDbgScope->addVariable(ArgVar);
Devang Patelaead63c2010-03-29 22:59:58 +00002023 DbgValueStartMap[MInsn] = ArgVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002024 continue;
2025 }
2026
2027 DebugLoc DL = MInsn->getDebugLoc();
2028 if (DL.isUnknown()) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002029 DbgScope *Scope = 0;
2030 if (MDNode *IA = DL.getInlinedAt(Ctx))
2031 Scope = ConcreteScopes.lookup(IA);
2032 if (Scope == 0)
2033 Scope = DbgScopeMap.lookup(DL.getScope(Ctx));
2034
Devang Patel90a48ad2010-03-15 18:33:46 +00002035 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002036 if (Scope == 0)
Devang Patel90a48ad2010-03-15 18:33:46 +00002037 continue;
2038
Chris Lattnerde4845c2010-04-02 19:42:39 +00002039 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn, DL);
Devang Patel90a48ad2010-03-15 18:33:46 +00002040 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
Devang Patelaead63c2010-03-29 22:59:58 +00002041 DbgValueStartMap[MInsn] = RegVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002042 Scope->addVariable(RegVar);
2043 }
2044 }
Devang Patele717faa2009-10-06 01:26:37 +00002045}
2046
Devang Patel553881b2010-03-29 17:20:31 +00002047/// beginScope - Process beginning of a scope.
2048void DwarfDebug::beginScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002049 // Check location.
2050 DebugLoc DL = MI->getDebugLoc();
2051 if (DL.isUnknown())
2052 return;
Devang Patel553881b2010-03-29 17:20:31 +00002053
2054 // Check and update last known location info.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002055 if (DL == PrevInstLoc)
2056 return;
2057
2058 MDNode *Scope = DL.getScope(MF->getFunction()->getContext());
2059
2060 // FIXME: Should only verify each scope once!
2061 if (!DIScope(Scope).Verify())
Devang Patel553881b2010-03-29 17:20:31 +00002062 return;
Devang Patel553881b2010-03-29 17:20:31 +00002063
Devang Patelaead63c2010-03-29 22:59:58 +00002064 // DBG_VALUE instruction establishes new value.
Chris Lattner14d750d2010-03-31 05:39:57 +00002065 if (MI->isDebugValue()) {
Devang Patelaead63c2010-03-29 22:59:58 +00002066 DenseMap<const MachineInstr *, DbgVariable *>::iterator DI
2067 = DbgValueStartMap.find(MI);
2068 if (DI != DbgValueStartMap.end()) {
Chris Lattnerde4845c2010-04-02 19:42:39 +00002069 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2070 PrevInstLoc = DL;
Devang Patelaead63c2010-03-29 22:59:58 +00002071 DI->second->setDbgValueLabel(Label);
2072 }
Devang Patel7ed63112010-03-30 18:07:00 +00002073 return;
Devang Patelaead63c2010-03-29 22:59:58 +00002074 }
2075
Devang Patel553881b2010-03-29 17:20:31 +00002076 // Emit a label to indicate location change. This is used for line
2077 // table even if this instruction does start a new scope.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002078 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2079 PrevInstLoc = DL;
Devang Patel553881b2010-03-29 17:20:31 +00002080
2081 // update DbgScope if this instruction starts a new scope.
Devang Patel0d20ac82009-10-06 01:50:42 +00002082 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2083 if (I == DbgScopeBeginMap.end())
2084 return;
Devang Patel553881b2010-03-29 17:20:31 +00002085
Dan Gohman277207e2009-11-23 21:30:55 +00002086 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002087 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002088 SDI != SDE; ++SDI)
Chris Lattnerc6087842010-03-09 04:54:43 +00002089 (*SDI)->setStartLabel(Label);
Devang Patel0d20ac82009-10-06 01:50:42 +00002090}
2091
Devang Patel2c4ceb12009-11-21 02:48:08 +00002092/// endScope - Process end of a scope.
2093void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002094 // Ignore DBG_VALUE instruction.
Chris Lattner14d750d2010-03-31 05:39:57 +00002095 if (MI->isDebugValue())
Devang Patel553881b2010-03-29 17:20:31 +00002096 return;
2097
2098 // Check location.
2099 DebugLoc DL = MI->getDebugLoc();
2100 if (DL.isUnknown())
2101 return;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002102
Devang Patel553881b2010-03-29 17:20:31 +00002103 // Emit a label and update DbgScope if this instruction ends a scope.
Devang Patel0d20ac82009-10-06 01:50:42 +00002104 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00002105 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00002106 return;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002107
Chris Lattner63d78362010-03-14 08:36:50 +00002108 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnerb7db7332010-03-09 01:58:53 +00002109 Asm->OutStreamer.EmitLabel(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00002110
Chris Lattnerb7db7332010-03-09 01:58:53 +00002111 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel0d20ac82009-10-06 01:50:42 +00002112 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002113 SDI != SDE; ++SDI)
Chris Lattnerb7db7332010-03-09 01:58:53 +00002114 (*SDI)->setEndLabel(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00002115 return;
2116}
2117
2118/// createDbgScope - Create DbgScope for the scope.
2119void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002120 if (!InlinedAt) {
2121 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2122 if (WScope)
2123 return;
2124 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2125 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002126 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00002127 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00002128 return;
2129 }
2130
2131 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2132 if (WScope)
2133 return;
2134
2135 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2136 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2137 DILocation DL(InlinedAt);
2138 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00002139}
2140
Devang Patel2c4ceb12009-11-21 02:48:08 +00002141/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner14d750d2010-03-31 05:39:57 +00002142/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattnereec791a2010-01-26 23:18:02 +00002143bool DwarfDebug::extractScopeInformation() {
Devang Patelaf9e8472009-10-01 20:31:14 +00002144 // If scope information was extracted using .dbg intrinsics then there is not
2145 // any need to extract these information by scanning each instruction.
2146 if (!DbgScopeMap.empty())
2147 return false;
2148
Devang Patel344130e2010-01-04 20:44:00 +00002149 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2150 unsigned MIIndex = 0;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002151 LLVMContext &Ctx = MF->getFunction()->getContext();
2152
Devang Patel53bb5c92009-11-10 23:06:00 +00002153 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00002154 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2155 I != E; ++I) {
2156 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2157 II != IE; ++II) {
2158 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002159 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002160 if (MInsn->isDebugValue()) continue;
Devang Patel344130e2010-01-04 20:44:00 +00002161 MIIndexMap[MInsn] = MIIndex++;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002162
Devang Patelaf9e8472009-10-01 20:31:14 +00002163 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002164 if (DL.isUnknown()) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002165
2166 MDNode *Scope = DL.getScope(Ctx);
2167
Devang Patelaf9e8472009-10-01 20:31:14 +00002168 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002169 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00002170 // into a scope DIE at the end.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002171 if (DIScope(Scope).isCompileUnit()) continue;
2172 createDbgScope(Scope, DL.getInlinedAt(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00002173 }
2174 }
2175
Devang Patelc8e77642010-04-01 22:47:29 +00002176
Devang Patel53bb5c92009-11-10 23:06:00 +00002177 // Build scope hierarchy using working set of scopes.
2178 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2179 I != E; ++I) {
2180 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2181 II != IE; ++II) {
2182 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002183 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002184 if (MInsn->isDebugValue()) continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002185 DebugLoc DL = MInsn->getDebugLoc();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002186 if (DL.isUnknown()) continue;
2187
2188 MDNode *Scope = DL.getScope(Ctx);
2189 if (Scope == 0) continue;
2190
Devang Patel53bb5c92009-11-10 23:06:00 +00002191 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002192 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002193 // into a scope DIE at the end.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002194 if (DIScope(Scope).isCompileUnit()) continue;
2195 DbgScope *DScope = getUpdatedDbgScope(Scope, MInsn, DL.getInlinedAt(Ctx));
2196 DScope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00002197 }
2198 }
2199
Devang Patel344130e2010-01-04 20:44:00 +00002200 if (!CurrentFnDbgScope)
2201 return false;
2202
2203 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patelaf9e8472009-10-01 20:31:14 +00002204
2205 // Each scope has first instruction and last instruction to mark beginning
2206 // and end of a scope respectively. Create an inverse map that list scopes
2207 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel42aafd72010-01-20 02:05:23 +00002208 // multiple scopes. Ignore scopes that are not reachable.
2209 SmallVector<DbgScope *, 4> WorkList;
2210 WorkList.push_back(CurrentFnDbgScope);
2211 while (!WorkList.empty()) {
Chris Lattner14d750d2010-03-31 05:39:57 +00002212 DbgScope *S = WorkList.pop_back_val();
Devang Patel42aafd72010-01-20 02:05:23 +00002213
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002214 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patel42aafd72010-01-20 02:05:23 +00002215 if (!Children.empty())
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002216 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel42aafd72010-01-20 02:05:23 +00002217 SE = Children.end(); SI != SE; ++SI)
2218 WorkList.push_back(*SI);
2219
Devang Patel53bb5c92009-11-10 23:06:00 +00002220 if (S->isAbstractScope())
2221 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002222 const MachineInstr *MI = S->getFirstInsn();
Chris Lattnered7a77b2010-03-31 05:36:29 +00002223 assert(MI && "DbgScope does not have first instruction!");
Devang Patelaf9e8472009-10-01 20:31:14 +00002224
2225 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2226 if (IDI != DbgScopeBeginMap.end())
2227 IDI->second.push_back(S);
2228 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002229 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002230
2231 MI = S->getLastInsn();
Chris Lattnered7a77b2010-03-31 05:36:29 +00002232 assert(MI && "DbgScope does not have last instruction!");
Devang Patelaf9e8472009-10-01 20:31:14 +00002233 IDI = DbgScopeEndMap.find(MI);
2234 if (IDI != DbgScopeEndMap.end())
2235 IDI->second.push_back(S);
2236 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002237 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002238 }
2239
2240 return !DbgScopeMap.empty();
2241}
2242
Devang Patel2c4ceb12009-11-21 02:48:08 +00002243/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002244/// emitted immediately after the function entry point.
Chris Lattnereec791a2010-01-26 23:18:02 +00002245void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002246 this->MF = MF;
2247
2248 if (!ShouldEmitDwarfDebug()) return;
Chris Lattnereec791a2010-01-26 23:18:02 +00002249 if (!extractScopeInformation())
Devang Patel60b35bd2009-10-06 18:37:31 +00002250 return;
Chris Lattnera909d662010-03-29 20:38:20 +00002251
2252 TimeRegion Timer(DebugTimer);
Devang Patel2c4ceb12009-11-21 02:48:08 +00002253
2254 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002255
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002256 // Assumes in correct section after the entry point.
Chris Lattnerf829eef2010-03-08 22:44:40 +00002257 Asm->OutStreamer.EmitLabel(getDWLabel("func_begin", ++SubprogramCount));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002258
2259 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2260 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002261 DebugLoc FDL = MF->getDefaultDebugLoc();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002262 if (FDL.isUnknown()) return;
2263
2264 MDNode *Scope = FDL.getScope(MF->getFunction()->getContext());
2265
2266 DISubprogram SP = getDISubprogram(Scope);
2267 unsigned Line, Col;
2268 if (SP.Verify()) {
2269 Line = SP.getLineNumber();
2270 Col = 0;
2271 } else {
2272 Line = FDL.getLine();
2273 Col = FDL.getCol();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002274 }
Chris Lattnerde4845c2010-04-02 19:42:39 +00002275
2276 recordSourceLine(Line, Col, Scope);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002277}
2278
Devang Patel2c4ceb12009-11-21 02:48:08 +00002279/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002280///
Chris Lattnereec791a2010-01-26 23:18:02 +00002281void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002282 if (!ShouldEmitDwarfDebug()) return;
Chris Lattnera909d662010-03-29 20:38:20 +00002283 if (DbgScopeMap.empty()) return;
2284
2285 TimeRegion Timer(DebugTimer);
Devang Patel70d75ca2009-11-12 19:02:56 +00002286
Devang Patel344130e2010-01-04 20:44:00 +00002287 if (CurrentFnDbgScope) {
2288 // Define end label for subprogram.
Chris Lattnerf829eef2010-03-08 22:44:40 +00002289 Asm->OutStreamer.EmitLabel(getDWLabel("func_end", SubprogramCount));
Devang Patel344130e2010-01-04 20:44:00 +00002290
2291 // Get function line info.
2292 if (!Lines.empty()) {
2293 // Get section line info.
2294 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2295 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2296 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2297 // Append the function info to section info.
2298 SectionLineInfos.insert(SectionLineInfos.end(),
2299 Lines.begin(), Lines.end());
2300 }
2301
2302 // Construct abstract scopes.
2303 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2304 AE = AbstractScopesList.end(); AI != AE; ++AI)
2305 constructScopeDIE(*AI);
2306
2307 constructScopeDIE(CurrentFnDbgScope);
2308
2309 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2310 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002311 }
2312
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002313 // Clear debug info
Devang Patelf54b8522010-01-19 01:26:02 +00002314 CurrentFnDbgScope = NULL;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002315 DeleteContainerSeconds(DbgScopeMap);
Devang Patelf54b8522010-01-19 01:26:02 +00002316 DbgScopeBeginMap.clear();
2317 DbgScopeEndMap.clear();
Devang Patelaead63c2010-03-29 22:59:58 +00002318 DbgValueStartMap.clear();
Devang Patelf54b8522010-01-19 01:26:02 +00002319 ConcreteScopes.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002320 DeleteContainerSeconds(AbstractScopes);
Devang Patelf54b8522010-01-19 01:26:02 +00002321 AbstractScopesList.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002322 AbstractVariables.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002323 Lines.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002324}
2325
Chris Lattnerc6087842010-03-09 04:54:43 +00002326/// recordSourceLine - Register a source line with debug info. Returns the
2327/// unique label that was emitted and which provides correspondence to
2328/// the source line list.
2329MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002330 if (!MMI)
2331 return 0;
2332
Chris Lattnera909d662010-03-29 20:38:20 +00002333 TimeRegion Timer(DebugTimer);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002334
Devang Patel65dbc902009-11-25 17:36:49 +00002335 StringRef Dir;
2336 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002337
2338 DIDescriptor Scope(S);
2339 if (Scope.isCompileUnit()) {
2340 DICompileUnit CU(S);
2341 Dir = CU.getDirectory();
2342 Fn = CU.getFilename();
2343 } else if (Scope.isSubprogram()) {
2344 DISubprogram SP(S);
2345 Dir = SP.getDirectory();
2346 Fn = SP.getFilename();
2347 } else if (Scope.isLexicalBlock()) {
2348 DILexicalBlock DB(S);
2349 Dir = DB.getDirectory();
2350 Fn = DB.getFilename();
2351 } else
Chris Lattner206d61e2010-03-13 07:26:18 +00002352 assert(0 && "Unexpected scope info");
Devang Patelf84548d2009-10-05 18:03:19 +00002353
2354 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner63d78362010-03-14 08:36:50 +00002355 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner25b68c62010-03-14 08:15:55 +00002356 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002357
Chris Lattnerc6087842010-03-09 04:54:43 +00002358 Asm->OutStreamer.EmitLabel(Label);
2359 return Label;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002360}
2361
2362/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2363/// timed. Look up the source id with the given directory and source file
2364/// names. If none currently exists, create a new id and insert it in the
2365/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2366/// well.
2367unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2368 const std::string &FileName) {
Chris Lattnera909d662010-03-29 20:38:20 +00002369 TimeRegion Timer(DebugTimer);
2370 return GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002371}
2372
Bill Wendling829e67b2009-05-20 23:22:40 +00002373//===----------------------------------------------------------------------===//
2374// Emit Methods
2375//===----------------------------------------------------------------------===//
2376
Devang Patel2c4ceb12009-11-21 02:48:08 +00002377/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002378///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002379unsigned
2380DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002381 // Get the children.
2382 const std::vector<DIE *> &Children = Die->getChildren();
2383
2384 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002385 if (!Last && !Children.empty())
Benjamin Kramer345ef342010-03-31 19:34:01 +00002386 Die->addSiblingOffset(DIEValueAllocator);
Bill Wendling94d04b82009-05-20 23:21:38 +00002387
2388 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002389 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002390
2391 // Get the abbreviation for this DIE.
2392 unsigned AbbrevNumber = Die->getAbbrevNumber();
2393 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2394
2395 // Set DIE offset
2396 Die->setOffset(Offset);
2397
2398 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002399 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002400
2401 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2402 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2403
2404 // Size the DIE attribute values.
2405 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2406 // Size attribute value.
2407 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2408
2409 // Size the DIE children if any.
2410 if (!Children.empty()) {
2411 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2412 "Children flag not set");
2413
2414 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002415 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002416
2417 // End of children marker.
2418 Offset += sizeof(int8_t);
2419 }
2420
2421 Die->setSize(Offset - Die->getOffset());
2422 return Offset;
2423}
2424
Devang Patel2c4ceb12009-11-21 02:48:08 +00002425/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002426///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002427void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002428 // Compute size of compile unit header.
2429 static unsigned Offset =
2430 sizeof(int32_t) + // Length of Compilation Unit Info
2431 sizeof(int16_t) + // DWARF version number
2432 sizeof(int32_t) + // Offset Into Abbrev. Section
2433 sizeof(int8_t); // Pointer Size (in bytes)
2434
Devang Patel2c4ceb12009-11-21 02:48:08 +00002435 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002436 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002437}
2438
Devang Patel2c4ceb12009-11-21 02:48:08 +00002439/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002440/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002441void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002442 // Check to see if we already emitted intial headers.
2443 if (didInitial) return;
2444 didInitial = true;
2445
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002446 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002447
Bill Wendling94d04b82009-05-20 23:21:38 +00002448 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002449 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002450 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002451 Asm->OutStreamer.EmitLabel(getTempLabel("section_debug_frame"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002452 }
2453
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002454 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002455 Asm->OutStreamer.EmitLabel(getTempLabel("section_info"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002456 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002457 Asm->OutStreamer.EmitLabel(getTempLabel("section_abbrev"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002458 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002459 Asm->OutStreamer.EmitLabel(getTempLabel("section_aranges"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002460
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002461 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2462 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002463 Asm->OutStreamer.EmitLabel(getTempLabel("section_macinfo"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002464 }
2465
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002466 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002467 Asm->OutStreamer.EmitLabel(getTempLabel("section_line"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002468 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002469 Asm->OutStreamer.EmitLabel(getTempLabel("section_loc"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002470 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002471 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubnames"));
Devang Patel193f7202009-11-24 01:14:22 +00002472 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002473 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubtypes"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002474 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002475 Asm->OutStreamer.EmitLabel(getTempLabel("section_str"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002476 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002477 Asm->OutStreamer.EmitLabel(getTempLabel("section_ranges"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002478
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002479 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002480 Asm->OutStreamer.EmitLabel(getTempLabel("text_begin"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002481 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002482 Asm->OutStreamer.EmitLabel(getTempLabel("data_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002483}
2484
Devang Patel2c4ceb12009-11-21 02:48:08 +00002485/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002486///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002487void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002488 // Get the abbreviation for this DIE.
2489 unsigned AbbrevNumber = Die->getAbbrevNumber();
2490 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2491
Bill Wendling94d04b82009-05-20 23:21:38 +00002492 // Emit the code (index) for the abbreviation.
Chris Lattner894d75a2010-01-22 23:18:42 +00002493 if (Asm->VerboseAsm)
2494 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2495 Twine::utohexstr(Die->getOffset()) + ":0x" +
2496 Twine::utohexstr(Die->getSize()) + " " +
2497 dwarf::TagString(Abbrev->getTag()));
2498 EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002499
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002500 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling94d04b82009-05-20 23:21:38 +00002501 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2502
2503 // Emit the DIE attribute values.
2504 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2505 unsigned Attr = AbbrevData[i].getAttribute();
2506 unsigned Form = AbbrevData[i].getForm();
2507 assert(Form && "Too many attributes for DIE (check abbreviation)");
2508
Chris Lattnera8013622010-01-24 18:54:17 +00002509 if (Asm->VerboseAsm)
2510 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2511
Bill Wendling94d04b82009-05-20 23:21:38 +00002512 switch (Attr) {
2513 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002514 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002515 break;
2516 case dwarf::DW_AT_abstract_origin: {
2517 DIEEntry *E = cast<DIEEntry>(Values[i]);
2518 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002519 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002520 Asm->EmitInt32(Addr);
2521 break;
2522 }
2523 default:
2524 // Emit an attribute using the defined form.
2525 Values[i]->EmitValue(this, Form);
2526 break;
2527 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002528 }
2529
2530 // Emit the DIE children if any.
2531 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2532 const std::vector<DIE *> &Children = Die->getChildren();
2533
2534 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002535 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002536
Chris Lattner233f52b2010-03-09 23:52:58 +00002537 if (Asm->VerboseAsm)
2538 Asm->OutStreamer.AddComment("End Of Children Mark");
2539 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002540 }
2541}
2542
Devang Patel8a241142009-12-09 18:24:21 +00002543/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002544///
Devang Patel8a241142009-12-09 18:24:21 +00002545void DwarfDebug::emitDebugInfo() {
2546 // Start debug info section.
2547 Asm->OutStreamer.SwitchSection(
2548 Asm->getObjFileLowering().getDwarfInfoSection());
2549 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002550
2551 // Emit the compile units header.
Chris Lattnerf829eef2010-03-08 22:44:40 +00002552 Asm->OutStreamer.EmitLabel(getDWLabel("info_begin", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002553
2554 // Emit size of content not including length itself
2555 unsigned ContentSize = Die->getSize() +
2556 sizeof(int16_t) + // DWARF version number
2557 sizeof(int32_t) + // Offset Into Abbrev. Section
2558 sizeof(int8_t) + // Pointer Size (in bytes)
2559 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2560
Chris Lattner233f52b2010-03-09 23:52:58 +00002561 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2562 Asm->EmitInt32(ContentSize);
2563 Asm->OutStreamer.AddComment("DWARF version number");
2564 Asm->EmitInt16(dwarf::DWARF_VERSION);
2565 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Devang Patel5b33f312010-03-17 17:29:55 +00002566 EmitSectionOffset(getTempLabel("abbrev_begin"),getTempLabel("section_abbrev"),
2567 true);
Chris Lattner233f52b2010-03-09 23:52:58 +00002568 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2569 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002570
Devang Patel2c4ceb12009-11-21 02:48:08 +00002571 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002572 // FIXME - extra padding for gdb bug.
Chris Lattner233f52b2010-03-09 23:52:58 +00002573 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2574 Asm->EmitInt8(0);
2575 Asm->EmitInt8(0);
2576 Asm->EmitInt8(0);
2577 Asm->EmitInt8(0);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002578 Asm->OutStreamer.EmitLabel(getDWLabel("info_end", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002579}
2580
Devang Patel2c4ceb12009-11-21 02:48:08 +00002581/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002582///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002583void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002584 // Check to see if it is worth the effort.
2585 if (!Abbreviations.empty()) {
2586 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002587 Asm->OutStreamer.SwitchSection(
2588 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002589
Chris Lattnerf829eef2010-03-08 22:44:40 +00002590 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002591
2592 // For each abbrevation.
2593 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2594 // Get abbreviation data
2595 const DIEAbbrev *Abbrev = Abbreviations[i];
2596
2597 // Emit the abbrevations code (base 1 index.)
Chris Lattner894d75a2010-01-22 23:18:42 +00002598 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002599
2600 // Emit the abbreviations data.
Chris Lattner894d75a2010-01-22 23:18:42 +00002601 Abbrev->Emit(this);
Bill Wendling94d04b82009-05-20 23:21:38 +00002602 }
2603
2604 // Mark end of abbreviations.
Chris Lattner894d75a2010-01-22 23:18:42 +00002605 EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002606
Chris Lattnerf829eef2010-03-08 22:44:40 +00002607 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002608 }
2609}
2610
Devang Patel2c4ceb12009-11-21 02:48:08 +00002611/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002612/// the line matrix.
2613///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002614void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002615 // Define last address of section.
Chris Lattner233f52b2010-03-09 23:52:58 +00002616 Asm->OutStreamer.AddComment("Extended Op");
2617 Asm->EmitInt8(0);
2618
2619 Asm->OutStreamer.AddComment("Op size");
2620 Asm->EmitInt8(TD->getPointerSize() + 1);
2621 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2622 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2623
2624 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002625
2626 Asm->OutStreamer.EmitSymbolValue(getDWLabel("section_end", SectionEnd),
2627 TD->getPointerSize(), 0/*AddrSpace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00002628
2629 // Mark end of matrix.
Chris Lattner233f52b2010-03-09 23:52:58 +00002630 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2631 Asm->EmitInt8(0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002632 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002633 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002634}
2635
Devang Patel2c4ceb12009-11-21 02:48:08 +00002636/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002637///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002638void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002639 // If the target is using .loc/.file, the assembler will be emitting the
2640 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002641 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002642 return;
2643
2644 // Minimum line delta, thus ranging from -10..(255-10).
2645 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2646 // Maximum line delta, thus ranging from -10..(255-10).
2647 const int MaxLineDelta = 255 + MinLineDelta;
2648
2649 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002650 Asm->OutStreamer.SwitchSection(
2651 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002652
2653 // Construct the section header.
Chris Lattner233f52b2010-03-09 23:52:58 +00002654 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattnerf829eef2010-03-08 22:44:40 +00002655 EmitDifference(getTempLabel("line_end"), getTempLabel("line_begin"), true);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002656 Asm->OutStreamer.EmitLabel(getTempLabel("line_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002657
Chris Lattner233f52b2010-03-09 23:52:58 +00002658 Asm->OutStreamer.AddComment("DWARF version number");
2659 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002660
Chris Lattner233f52b2010-03-09 23:52:58 +00002661 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattnerf829eef2010-03-08 22:44:40 +00002662 EmitDifference(getTempLabel("line_prolog_end"),
2663 getTempLabel("line_prolog_begin"), true);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002664 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002665
Chris Lattner233f52b2010-03-09 23:52:58 +00002666 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2667 Asm->EmitInt8(1);
2668 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2669 Asm->EmitInt8(1);
2670 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2671 Asm->EmitInt8(MinLineDelta);
2672 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2673 Asm->EmitInt8(MaxLineDelta);
2674 Asm->OutStreamer.AddComment("Special Opcode Base");
2675 Asm->EmitInt8(-MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002676
2677 // Line number standard opcode encodings argument count
Chris Lattner233f52b2010-03-09 23:52:58 +00002678 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2679 Asm->EmitInt8(0);
2680 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2681 Asm->EmitInt8(1);
2682 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2683 Asm->EmitInt8(1);
2684 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2685 Asm->EmitInt8(1);
2686 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2687 Asm->EmitInt8(1);
2688 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2689 Asm->EmitInt8(0);
2690 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2691 Asm->EmitInt8(0);
2692 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2693 Asm->EmitInt8(0);
2694 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2695 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002696
2697 // Emit directories.
2698 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattner4cf202b2010-01-23 03:11:46 +00002699 const std::string &Dir = getSourceDirectoryName(DI);
2700 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2701 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002702 }
2703
Chris Lattner233f52b2010-03-09 23:52:58 +00002704 Asm->OutStreamer.AddComment("End of directories");
2705 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002706
2707 // Emit files.
2708 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2709 // Remember source id starts at 1.
2710 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattner4cf202b2010-01-23 03:11:46 +00002711 const std::string &FN = getSourceFileName(Id.second);
2712 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2713 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2714
Chris Lattner894d75a2010-01-22 23:18:42 +00002715 EmitULEB128(Id.first, "Directory #");
2716 EmitULEB128(0, "Mod date");
2717 EmitULEB128(0, "File size");
Bill Wendling94d04b82009-05-20 23:21:38 +00002718 }
2719
Chris Lattner233f52b2010-03-09 23:52:58 +00002720 Asm->OutStreamer.AddComment("End of files");
2721 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002722
Chris Lattnerf829eef2010-03-08 22:44:40 +00002723 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002724
2725 // A sequence for each text section.
2726 unsigned SecSrcLinesSize = SectionSourceLines.size();
2727
2728 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2729 // Isolate current sections line info.
2730 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2731
Bill Wendling94d04b82009-05-20 23:21:38 +00002732 // Dwarf assumes we start with first line of first source file.
2733 unsigned Source = 1;
2734 unsigned Line = 1;
2735
2736 // Construct rows of the address, source, line, column matrix.
2737 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2738 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner25b68c62010-03-14 08:15:55 +00002739 MCSymbol *Label = LineInfo.getLabel();
Chris Lattnerb9130602010-03-14 02:20:58 +00002740 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling94d04b82009-05-20 23:21:38 +00002741
Caroline Ticec6f9d622009-09-11 18:25:54 +00002742 if (LineInfo.getLine() == 0) continue;
2743
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002744 if (Asm->isVerbose()) {
Chris Lattner188a87d2010-03-10 01:04:13 +00002745 std::pair<unsigned, unsigned> SrcID =
Bill Wendling94d04b82009-05-20 23:21:38 +00002746 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner188a87d2010-03-10 01:04:13 +00002747 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner49f618a2010-03-10 02:29:31 +00002748 "/" +
2749 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner188a87d2010-03-10 01:04:13 +00002750 ":" + Twine(LineInfo.getLine()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002751 }
2752
2753 // Define the line address.
Chris Lattner233f52b2010-03-09 23:52:58 +00002754 Asm->OutStreamer.AddComment("Extended Op");
2755 Asm->EmitInt8(0);
2756 Asm->OutStreamer.AddComment("Op size");
2757 Asm->EmitInt8(TD->getPointerSize() + 1);
2758
2759 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2760 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2761
2762 Asm->OutStreamer.AddComment("Location label");
Chris Lattnerb9130602010-03-14 02:20:58 +00002763 Asm->OutStreamer.EmitSymbolValue(Label, TD->getPointerSize(),
2764 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002765
Bill Wendling94d04b82009-05-20 23:21:38 +00002766 // If change of source, then switch to the new source.
2767 if (Source != LineInfo.getSourceID()) {
2768 Source = LineInfo.getSourceID();
Chris Lattner233f52b2010-03-09 23:52:58 +00002769 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2770 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattner894d75a2010-01-22 23:18:42 +00002771 EmitULEB128(Source, "New Source");
Bill Wendling94d04b82009-05-20 23:21:38 +00002772 }
2773
2774 // If change of line.
2775 if (Line != LineInfo.getLine()) {
2776 // Determine offset.
2777 int Offset = LineInfo.getLine() - Line;
2778 int Delta = Offset - MinLineDelta;
2779
2780 // Update line.
2781 Line = LineInfo.getLine();
2782
2783 // If delta is small enough and in range...
2784 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2785 // ... then use fast opcode.
Chris Lattner233f52b2010-03-09 23:52:58 +00002786 Asm->OutStreamer.AddComment("Line Delta");
2787 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002788 } else {
2789 // ... otherwise use long hand.
Chris Lattner233f52b2010-03-09 23:52:58 +00002790 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling94d04b82009-05-20 23:21:38 +00002791 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattnerbb9078a2010-01-22 22:56:55 +00002792 EmitSLEB128(Offset, "Line Offset");
Chris Lattner233f52b2010-03-09 23:52:58 +00002793 Asm->OutStreamer.AddComment("DW_LNS_copy");
2794 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002795 }
2796 } else {
2797 // Copy the previous row (different address or source)
Chris Lattner233f52b2010-03-09 23:52:58 +00002798 Asm->OutStreamer.AddComment("DW_LNS_copy");
2799 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002800 }
2801 }
2802
Devang Patel2c4ceb12009-11-21 02:48:08 +00002803 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002804 }
2805
2806 if (SecSrcLinesSize == 0)
2807 // Because we're emitting a debug_line section, we still need a line
2808 // table. The linker and friends expect it to exist. If there's nothing to
2809 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002810 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002811
Chris Lattnerf829eef2010-03-08 22:44:40 +00002812 Asm->OutStreamer.EmitLabel(getTempLabel("line_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002813}
2814
Devang Patel2c4ceb12009-11-21 02:48:08 +00002815/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002816///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002817void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002818 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002819 return;
2820
2821 int stackGrowth =
2822 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2823 TargetFrameInfo::StackGrowsUp ?
2824 TD->getPointerSize() : -TD->getPointerSize();
2825
2826 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002827 Asm->OutStreamer.SwitchSection(
2828 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002829
Chris Lattnerf829eef2010-03-08 22:44:40 +00002830 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002831 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnereffa8682010-03-08 23:02:59 +00002832 EmitDifference(getTempLabel("debug_frame_common_end"),
2833 getTempLabel("debug_frame_common_begin"), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002834
Chris Lattnerf829eef2010-03-08 22:44:40 +00002835 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_begin"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002836 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling94d04b82009-05-20 23:21:38 +00002837 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner233f52b2010-03-09 23:52:58 +00002838 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002839 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner233f52b2010-03-09 23:52:58 +00002840 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002841 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner894d75a2010-01-22 23:18:42 +00002842 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattnerbb9078a2010-01-22 22:56:55 +00002843 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner233f52b2010-03-09 23:52:58 +00002844 Asm->OutStreamer.AddComment("CIE RA Column");
Bill Wendling94d04b82009-05-20 23:21:38 +00002845 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling94d04b82009-05-20 23:21:38 +00002846
2847 std::vector<MachineMove> Moves;
2848 RI->getInitialFrameState(Moves);
2849
Chris Lattner5e6cbe02010-03-13 08:05:25 +00002850 EmitFrameMoves(0, Moves, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002851
2852 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002853 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002854}
2855
Devang Patel2c4ceb12009-11-21 02:48:08 +00002856/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002857/// section.
Chris Lattner206d61e2010-03-13 07:26:18 +00002858void DwarfDebug::
2859emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002860 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002861 return;
2862
2863 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002864 Asm->OutStreamer.SwitchSection(
2865 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002866
Chris Lattner233f52b2010-03-09 23:52:58 +00002867 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner206d61e2010-03-13 07:26:18 +00002868 MCSymbol *DebugFrameBegin =
2869 getDWLabel("debug_frame_begin", DebugFrameInfo.Number);
2870 MCSymbol *DebugFrameEnd =
2871 getDWLabel("debug_frame_end", DebugFrameInfo.Number);
2872 EmitDifference(DebugFrameEnd, DebugFrameBegin, true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002873
Chris Lattner206d61e2010-03-13 07:26:18 +00002874 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling94d04b82009-05-20 23:21:38 +00002875
Chris Lattner233f52b2010-03-09 23:52:58 +00002876 Asm->OutStreamer.AddComment("FDE CIE offset");
Devang Patel5b33f312010-03-17 17:29:55 +00002877 EmitSectionOffset(getTempLabel("debug_frame_common"),
2878 getTempLabel("section_debug_frame"), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002879
Chris Lattner233f52b2010-03-09 23:52:58 +00002880 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnerfb658072010-03-13 07:40:56 +00002881 MCSymbol *FuncBeginSym = getDWLabel("func_begin", DebugFrameInfo.Number);
2882 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002883 TD->getPointerSize(), 0/*AddrSpace*/);
2884
2885
Chris Lattner233f52b2010-03-09 23:52:58 +00002886 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnerfb658072010-03-13 07:40:56 +00002887 EmitDifference(getDWLabel("func_end", DebugFrameInfo.Number), FuncBeginSym);
Bill Wendling94d04b82009-05-20 23:21:38 +00002888
Chris Lattner5e6cbe02010-03-13 08:05:25 +00002889 EmitFrameMoves(FuncBeginSym, DebugFrameInfo.Moves, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002890
2891 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner206d61e2010-03-13 07:26:18 +00002892 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling94d04b82009-05-20 23:21:38 +00002893}
2894
Devang Patel8a241142009-12-09 18:24:21 +00002895/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2896///
2897void DwarfDebug::emitDebugPubNames() {
2898 // Start the dwarf pubnames section.
2899 Asm->OutStreamer.SwitchSection(
2900 Asm->getObjFileLowering().getDwarfPubNamesSection());
2901
Chris Lattner233f52b2010-03-09 23:52:58 +00002902 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattnereffa8682010-03-08 23:02:59 +00002903 EmitDifference(getDWLabel("pubnames_end", ModuleCU->getID()),
2904 getDWLabel("pubnames_begin", ModuleCU->getID()), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002905
Chris Lattnerf829eef2010-03-08 22:44:40 +00002906 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_begin", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002907
Chris Lattner233f52b2010-03-09 23:52:58 +00002908 Asm->OutStreamer.AddComment("DWARF Version");
2909 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002910
Chris Lattner233f52b2010-03-09 23:52:58 +00002911 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00002912 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel5b33f312010-03-17 17:29:55 +00002913 getTempLabel("section_info"), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002914
Chris Lattner233f52b2010-03-09 23:52:58 +00002915 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattnereffa8682010-03-08 23:02:59 +00002916 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2917 getDWLabel("info_begin", ModuleCU->getID()),
Bill Wendling94d04b82009-05-20 23:21:38 +00002918 true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002919
Devang Patel8a241142009-12-09 18:24:21 +00002920 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002921 for (StringMap<DIE*>::const_iterator
2922 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2923 const char *Name = GI->getKeyData();
Chris Lattner233f52b2010-03-09 23:52:58 +00002924 DIE *Entity = GI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002925
Chris Lattner233f52b2010-03-09 23:52:58 +00002926 Asm->OutStreamer.AddComment("DIE offset");
2927 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002928
2929 if (Asm->VerboseAsm)
2930 Asm->OutStreamer.AddComment("External Name");
2931 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002932 }
2933
Chris Lattner233f52b2010-03-09 23:52:58 +00002934 Asm->OutStreamer.AddComment("End Mark");
2935 Asm->EmitInt32(0);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002936 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_end", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002937}
2938
Devang Patel193f7202009-11-24 01:14:22 +00002939void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002940 // Start the dwarf pubnames section.
2941 Asm->OutStreamer.SwitchSection(
2942 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner233f52b2010-03-09 23:52:58 +00002943 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattnereffa8682010-03-08 23:02:59 +00002944 EmitDifference(getDWLabel("pubtypes_end", ModuleCU->getID()),
2945 getDWLabel("pubtypes_begin", ModuleCU->getID()), true);
Devang Patel193f7202009-11-24 01:14:22 +00002946
Chris Lattnerf829eef2010-03-08 22:44:40 +00002947 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_begin", ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00002948
Devang Patele3d6d222010-02-02 03:47:27 +00002949 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2950 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel193f7202009-11-24 01:14:22 +00002951
Chris Lattner233f52b2010-03-09 23:52:58 +00002952 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00002953 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel5b33f312010-03-17 17:29:55 +00002954 getTempLabel("section_info"), true);
Devang Patel193f7202009-11-24 01:14:22 +00002955
Chris Lattner233f52b2010-03-09 23:52:58 +00002956 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattnereffa8682010-03-08 23:02:59 +00002957 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2958 getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel193f7202009-11-24 01:14:22 +00002959 true);
Devang Patel193f7202009-11-24 01:14:22 +00002960
2961 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2962 for (StringMap<DIE*>::const_iterator
2963 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2964 const char *Name = GI->getKeyData();
2965 DIE * Entity = GI->second;
2966
Devang Patele3d6d222010-02-02 03:47:27 +00002967 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2968 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002969
2970 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel31acb892010-02-02 03:37:03 +00002971 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel193f7202009-11-24 01:14:22 +00002972 }
2973
Chris Lattner233f52b2010-03-09 23:52:58 +00002974 Asm->OutStreamer.AddComment("End Mark");
2975 Asm->EmitInt32(0);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002976 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_end", ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00002977}
2978
Devang Patel2c4ceb12009-11-21 02:48:08 +00002979/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002980///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002981void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002982 // Check to see if it is worth the effort.
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002983 if (StringPool.empty()) return;
2984
2985 // Start the dwarf str section.
2986 Asm->OutStreamer.SwitchSection(
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002987 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002988
Chris Lattnerbc733f52010-03-13 02:17:42 +00002989 // Get all of the string pool entries and put them in an array by their ID so
2990 // we can sort them.
2991 SmallVector<std::pair<unsigned,
2992 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
2993
2994 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
2995 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
2996 Entries.push_back(std::make_pair(I->second.second, &*I));
2997
2998 array_pod_sort(Entries.begin(), Entries.end());
2999
3000 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003001 // Emit a label for reference from debug information entries.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003002 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003003
3004 // Emit the string itself.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003005 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00003006 }
3007}
3008
Devang Patel2c4ceb12009-11-21 02:48:08 +00003009/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003010///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003011void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003012 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003013 Asm->OutStreamer.SwitchSection(
3014 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003015}
3016
3017/// EmitDebugARanges - Emit visible names into a debug aranges section.
3018///
3019void DwarfDebug::EmitDebugARanges() {
3020 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003021 Asm->OutStreamer.SwitchSection(
3022 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003023}
3024
Devang Patel2c4ceb12009-11-21 02:48:08 +00003025/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003026///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003027void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003028 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003029 Asm->OutStreamer.SwitchSection(
3030 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003031}
3032
Devang Patel2c4ceb12009-11-21 02:48:08 +00003033/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003034///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003035void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00003036 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00003037 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00003038 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003039 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00003040 }
3041}
3042
Devang Patel2c4ceb12009-11-21 02:48:08 +00003043/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00003044/// Section Header:
3045/// 1. length of section
3046/// 2. Dwarf version number
3047/// 3. address size.
3048///
3049/// Entries (one "entry" for each function that was inlined):
3050///
3051/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3052/// otherwise offset into __debug_str for regular function name.
3053/// 2. offset into __debug_str section for regular function name.
3054/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3055/// instances for the function.
3056///
3057/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3058/// inlined instance; the die_offset points to the inlined_subroutine die in the
3059/// __debug_info section, and the low_pc is the starting address for the
3060/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00003061void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00003062 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00003063 return;
3064
Devang Patel1dbc7712009-06-29 20:45:18 +00003065 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00003066 return;
3067
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003068 Asm->OutStreamer.SwitchSection(
3069 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00003070
Chris Lattner233f52b2010-03-09 23:52:58 +00003071 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnereffa8682010-03-08 23:02:59 +00003072 EmitDifference(getDWLabel("debug_inlined_end", 1),
3073 getDWLabel("debug_inlined_begin", 1), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00003074
Chris Lattnerf829eef2010-03-08 22:44:40 +00003075 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_begin", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003076
Chris Lattner233f52b2010-03-09 23:52:58 +00003077 Asm->OutStreamer.AddComment("Dwarf Version");
3078 Asm->EmitInt16(dwarf::DWARF_VERSION);
3079 Asm->OutStreamer.AddComment("Address Size (in bytes)");
3080 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00003081
Devang Patel53bb5c92009-11-10 23:06:00 +00003082 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3083 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00003084
Devang Patel53bb5c92009-11-10 23:06:00 +00003085 MDNode *Node = *I;
Devang Patel622b0262010-01-19 06:19:05 +00003086 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00003087 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00003088 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00003089 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00003090 StringRef LName = SP.getLinkageName();
3091 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00003092
Chris Lattner233f52b2010-03-09 23:52:58 +00003093 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattner4cf202b2010-01-23 03:11:46 +00003094 if (LName.empty()) {
3095 Asm->OutStreamer.EmitBytes(Name, 0);
3096 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3097 } else
Chris Lattnerbc733f52010-03-13 02:17:42 +00003098 EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00003099 getTempLabel("section_str"), true);
Devang Patel53bb5c92009-11-10 23:06:00 +00003100
Chris Lattner233f52b2010-03-09 23:52:58 +00003101 Asm->OutStreamer.AddComment("Function name");
Devang Patel5b33f312010-03-17 17:29:55 +00003102 EmitSectionOffset(getStringPoolEntry(Name), getTempLabel("section_str"),
3103 true);
Chris Lattner894d75a2010-01-22 23:18:42 +00003104 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00003105
Devang Patel53bb5c92009-11-10 23:06:00 +00003106 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00003107 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner6ed0f902010-03-09 00:31:02 +00003108 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
3109 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00003110
Chris Lattnerb9dc5f72010-03-09 00:26:09 +00003111 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner6cde3e62010-03-09 00:39:24 +00003112 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00003113 }
3114 }
3115
Chris Lattnerf829eef2010-03-08 22:44:40 +00003116 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_end", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003117}