blob: 6422ec07285a6157a6d9d6fe1b1a033a9c991c6e [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 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000095 void addGlobal(const std::string &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 ///
99 void addGlobalType(const std::string &Name, DIE *Die) {
100 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 Lattneraf76e592009-08-22 20:48:53 +0000301DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattnerc3421bb2010-03-09 00:00:15 +0000302 : DwarfPrinter(OS, A, T), ModuleCU(0),
Bill Wendling0310d762009-05-15 09:23:25 +0000303 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Chris Lattnerbc733f52010-03-13 02:17:42 +0000304 DIEValues(), SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel553881b2010-03-29 17:20:31 +0000305 CurrentFnDbgScope(0), PrevDILoc(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() {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000311 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
312 delete DIEValues[j];
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) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000352 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000353 DIEValues.push_back(Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000354 return Value;
355}
356
Devang Patel2c4ceb12009-11-21 02:48:08 +0000357/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000358///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000359void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000360 unsigned Form, uint64_t Integer) {
361 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000362 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000363 DIEValues.push_back(Value);
364 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000365}
366
Devang Patel2c4ceb12009-11-21 02:48:08 +0000367/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000368///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000369void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000370 unsigned Form, int64_t Integer) {
371 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel6f01d9c2009-11-21 00:31:03 +0000372 DIEValue *Value = new DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000373 DIEValues.push_back(Value);
374 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000375}
376
Devang Patel69f57b12009-12-02 15:25:16 +0000377/// addString - Add a string attribute data and value. DIEString only
378/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000379void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner4cf202b2010-01-23 03:11:46 +0000380 StringRef String) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000381 DIEValue *Value = new DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000382 DIEValues.push_back(Value);
383 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000384}
385
Devang Patel2c4ceb12009-11-21 02:48:08 +0000386/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000387///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000388void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000389 const MCSymbol *Label) {
Chris Lattner4faf59a2010-03-08 22:31:46 +0000390 DIEValue *Value = new DIELabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000391 DIEValues.push_back(Value);
392 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000393}
394
Devang Patel2c4ceb12009-11-21 02:48:08 +0000395/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000396///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000397void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000398 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel6f01d9c2009-11-21 00:31:03 +0000399 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000400 DIEValues.push_back(Value);
401 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000402}
403
Devang Patel2c4ceb12009-11-21 02:48:08 +0000404/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000405///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000406void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000407 DIEBlock *Block) {
408 Block->ComputeSize(TD);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000409 DIEValues.push_back(Block);
410 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000411}
412
Devang Patel2c4ceb12009-11-21 02:48:08 +0000413/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000414/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000415void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000416 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000417 if (!V->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000418 return;
419
420 unsigned Line = V->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000421 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
422 V->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000423 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000424 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
425 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000426}
427
Devang Patel2c4ceb12009-11-21 02:48:08 +0000428/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000429/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000430void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000431 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000432 if (!G->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000433 return;
434
435 unsigned Line = G->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000436 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
437 G->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000438 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000439 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
440 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000441}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000442
Devang Patel2c4ceb12009-11-21 02:48:08 +0000443/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000444/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000445void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000446 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000447 if (!SP->getCompileUnit().Verify())
Devang Patel82dfc0c2009-08-31 22:47:13 +0000448 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000449 // If the line number is 0, don't add it.
450 if (SP->getLineNumber() == 0)
451 return;
452
Devang Patel82dfc0c2009-08-31 22:47:13 +0000453 unsigned Line = SP->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000454 if (!SP->getContext().Verify())
455 return;
Devang Patel9bb59a22010-03-24 21:30:35 +0000456 unsigned FileID = GetOrCreateSourceID(SP->getDirectory(),
457 SP->getFilename());
Devang Patel82dfc0c2009-08-31 22:47:13 +0000458 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000459 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
460 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000461}
462
Devang Patel2c4ceb12009-11-21 02:48:08 +0000463/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000464/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000465void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000466 // If there is no compile unit specified, don't add a line #.
467 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel3c91b052010-03-08 20:52:55 +0000468 if (!CU.Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000469 return;
470
471 unsigned Line = Ty->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000472 if (!Ty->getContext().Verify())
473 return;
474 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
475 Ty->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000476 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000477 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
478 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000479}
480
Devang Patel6404e4e2009-12-15 19:16:48 +0000481/// addSourceLine - Add location information to specified debug information
482/// entry.
483void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
484 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000485 if (!NS->getCompileUnit().Verify())
Devang Patel6404e4e2009-12-15 19:16:48 +0000486 return;
487
488 unsigned Line = NS->getLineNumber();
489 StringRef FN = NS->getFilename();
490 StringRef Dir = NS->getDirectory();
491
492 unsigned FileID = GetOrCreateSourceID(Dir, FN);
493 assert(FileID && "Invalid file id");
494 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
495 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
496}
497
Caroline Ticedc8f6042009-08-31 21:19:37 +0000498/* Byref variables, in Blocks, are declared by the programmer as
499 "SomeType VarName;", but the compiler creates a
500 __Block_byref_x_VarName struct, and gives the variable VarName
501 either the struct, or a pointer to the struct, as its type. This
502 is necessary for various behind-the-scenes things the compiler
503 needs to do with by-reference variables in blocks.
504
505 However, as far as the original *programmer* is concerned, the
506 variable should still have type 'SomeType', as originally declared.
507
508 The following function dives into the __Block_byref_x_VarName
509 struct to find the original type of the variable. This will be
510 passed back to the code generating the type for the Debug
511 Information Entry for the variable 'VarName'. 'VarName' will then
512 have the original type 'SomeType' in its debug information.
513
514 The original type 'SomeType' will be the type of the field named
515 'VarName' inside the __Block_byref_x_VarName struct.
516
517 NOTE: In order for this to not completely fail on the debugger
518 side, the Debug Information Entry for the variable VarName needs to
519 have a DW_AT_location that tells the debugger how to unwind through
520 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000521 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000522
523/// Find the type the programmer originally declared the variable to be
524/// and return that type.
525///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000526DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000527
528 DIType subType = Ty;
529 unsigned tag = Ty.getTag();
530
531 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000532 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000533 subType = DTy.getTypeDerivedFrom();
534 }
535
536 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000537 DIArray Elements = blockStruct.getTypeArray();
538
Caroline Ticedc8f6042009-08-31 21:19:37 +0000539 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
540 DIDescriptor Element = Elements.getElement(i);
541 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000542 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000543 return (DT.getTypeDerivedFrom());
544 }
545
546 return Ty;
547}
548
Devang Patel2c4ceb12009-11-21 02:48:08 +0000549/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000550/// and generate the DWARF information necessary to find the actual variable
551/// given the extra address information encoded in the DIVariable, starting from
552/// the starting location. Add the DWARF information to the die.
553///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000554void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000555 unsigned Attribute,
556 const MachineLocation &Location) {
557 const DIVariable &VD = DV->getVariable();
558 DIType Ty = VD.getType();
559
560 // Decode the original location, and use that as the start of the byref
561 // variable's location.
562 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
563 DIEBlock *Block = new DIEBlock();
564
565 if (Location.isReg()) {
566 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000567 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000568 } else {
569 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000570 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
571 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000572 }
573 } else {
574 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000575 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000576 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000577 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
578 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000579 }
580
Devang Patel2c4ceb12009-11-21 02:48:08 +0000581 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000582 }
583
584 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
585 uint64_t Element = VD.getAddrElement(i);
586
587 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000588 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
589 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000590 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000591 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000592 } else llvm_unreachable("unknown DIFactory Opcode");
593 }
594
595 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000596 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000597}
598
Caroline Ticedc8f6042009-08-31 21:19:37 +0000599/* Byref variables, in Blocks, are declared by the programmer as "SomeType
600 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
601 gives the variable VarName either the struct, or a pointer to the struct, as
602 its type. This is necessary for various behind-the-scenes things the
603 compiler needs to do with by-reference variables in Blocks.
604
605 However, as far as the original *programmer* is concerned, the variable
606 should still have type 'SomeType', as originally declared.
607
Devang Patel2c4ceb12009-11-21 02:48:08 +0000608 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000609 struct to find the original type of the variable, which is then assigned to
610 the variable's Debug Information Entry as its real type. So far, so good.
611 However now the debugger will expect the variable VarName to have the type
612 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000613 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000614 pointers and struct to find the actual variable of type SomeType.
615
616 The following function does just that. We start by getting
617 the "normal" location for the variable. This will be the location
618 of either the struct __Block_byref_x_VarName or the pointer to the
619 struct __Block_byref_x_VarName.
620
621 The struct will look something like:
622
623 struct __Block_byref_x_VarName {
624 ... <various fields>
625 struct __Block_byref_x_VarName *forwarding;
626 ... <various other fields>
627 SomeType VarName;
628 ... <maybe more fields>
629 };
630
631 If we are given the struct directly (as our starting point) we
632 need to tell the debugger to:
633
634 1). Add the offset of the forwarding field.
635
Dan Gohmanf451cb82010-02-10 16:03:48 +0000636 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000637 struct to use (the real one may have been copied onto the heap).
638
639 3). Add the offset for the field VarName, to find the actual variable.
640
641 If we started with a pointer to the struct, then we need to
642 dereference that pointer first, before the other steps.
643 Translating this into DWARF ops, we will need to append the following
644 to the current location description for the variable:
645
646 DW_OP_deref -- optional, if we start with a pointer
647 DW_OP_plus_uconst <forward_fld_offset>
648 DW_OP_deref
649 DW_OP_plus_uconst <varName_fld_offset>
650
651 That is what this function does. */
652
Devang Patel2c4ceb12009-11-21 02:48:08 +0000653/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000654/// provided, and generate the DWARF information necessary to find the
655/// actual Block variable (navigating the Block struct) based on the
656/// starting location. Add the DWARF information to the die. For
657/// more information, read large comment just above here.
658///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000659void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000660 unsigned Attribute,
661 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000662 const DIVariable &VD = DV->getVariable();
663 DIType Ty = VD.getType();
664 DIType TmpTy = Ty;
665 unsigned Tag = Ty.getTag();
666 bool isPointer = false;
667
Devang Patel65dbc902009-11-25 17:36:49 +0000668 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000669
670 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000671 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000672 TmpTy = DTy.getTypeDerivedFrom();
673 isPointer = true;
674 }
675
676 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
677
Daniel Dunbar00564992009-09-19 20:40:14 +0000678 // Find the __forwarding field and the variable field in the __Block_byref
679 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000680 DIArray Fields = blockStruct.getTypeArray();
681 DIDescriptor varField = DIDescriptor();
682 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000683
Daniel Dunbar00564992009-09-19 20:40:14 +0000684 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
685 DIDescriptor Element = Fields.getElement(i);
686 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000687 StringRef fieldName = DT.getName();
688 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000689 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000690 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000691 varField = Element;
692 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000693
Daniel Dunbar00564992009-09-19 20:40:14 +0000694 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar00564992009-09-19 20:40:14 +0000695 unsigned int forwardingFieldOffset =
696 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
697 unsigned int varFieldOffset =
698 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000699
Mike Stump7e3720d2009-09-24 23:21:26 +0000700 // Decode the original location, and use that as the start of the byref
701 // variable's location.
Daniel Dunbar00564992009-09-19 20:40:14 +0000702 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
703 DIEBlock *Block = new DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000704
Daniel Dunbar00564992009-09-19 20:40:14 +0000705 if (Location.isReg()) {
706 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000707 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000708 else {
709 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000710 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
711 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000712 }
713 } else {
714 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000715 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000716 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000717 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
718 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000719 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000720
Devang Patel2c4ceb12009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000722 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000723
Mike Stump7e3720d2009-09-24 23:21:26 +0000724 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000725 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000726 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000728
Daniel Dunbar00564992009-09-19 20:40:14 +0000729 // Next add the offset for the '__forwarding' field:
730 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
731 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000732 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000733 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
734 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000735 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000736
Daniel Dunbar00564992009-09-19 20:40:14 +0000737 // Now dereference the __forwarding field to get to the real __Block_byref
738 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000739 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000740
Daniel Dunbar00564992009-09-19 20:40:14 +0000741 // Now that we've got the real __Block_byref... struct, add the offset
742 // for the variable's field to get to the location of the actual variable:
743 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000744 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000745 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
746 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000747 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000748
Daniel Dunbar00564992009-09-19 20:40:14 +0000749 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000750 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000751}
752
Devang Patel2c4ceb12009-11-21 02:48:08 +0000753/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000754/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000755void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000756 const MachineLocation &Location) {
757 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
758 DIEBlock *Block = new DIEBlock();
759
760 if (Location.isReg()) {
761 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000762 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000763 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000764 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
765 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000766 }
767 } else {
768 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000769 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000770 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000771 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
772 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000773 }
774
Devang Patel2c4ceb12009-11-21 02:48:08 +0000775 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000776 }
777
Devang Patel2c4ceb12009-11-21 02:48:08 +0000778 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000779}
780
Devang Patelc366f832009-12-10 19:14:49 +0000781/// addToContextOwner - Add Die into the list of its context owner's children.
782void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3c91b052010-03-08 20:52:55 +0000783 if (Context.isType()) {
Devang Patelc366f832009-12-10 19:14:49 +0000784 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
785 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000786 } else if (Context.isNameSpace()) {
787 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
788 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000789 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
790 ContextDIE->addChild(Die);
791 else
792 ModuleCU->addDie(Die);
793}
794
Devang Patel16ced732009-12-10 18:05:33 +0000795/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
796/// given DIType.
797DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
798 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
799 if (TyDIE)
800 return TyDIE;
801
802 // Create new type.
803 TyDIE = new DIE(dwarf::DW_TAG_base_type);
804 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
805 if (Ty.isBasicType())
806 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
807 else if (Ty.isCompositeType())
808 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
809 else {
810 assert(Ty.isDerivedType() && "Unknown kind of DIType");
811 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
812 }
813
Devang Patelc366f832009-12-10 19:14:49 +0000814 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000815 return TyDIE;
816}
817
Devang Patel2c4ceb12009-11-21 02:48:08 +0000818/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000819void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel3c91b052010-03-08 20:52:55 +0000820 if (!Ty.isValid())
Bill Wendling0310d762009-05-15 09:23:25 +0000821 return;
822
823 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000824 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000825 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000826 if (Entry) {
827 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000828 return;
829 }
830
Bill Wendling0310d762009-05-15 09:23:25 +0000831 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000832 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000833
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000834 // Set up proxy.
835 Entry = createDIEEntry(Buffer);
836 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
837
Devang Patel2c4ceb12009-11-21 02:48:08 +0000838 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000839}
840
Devang Patel2c4ceb12009-11-21 02:48:08 +0000841/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000842void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000843 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000844 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000845 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000846 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000847 BTy.getEncoding());
848
849 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000850 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000851 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000852 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000853 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000854}
855
Devang Patel2c4ceb12009-11-21 02:48:08 +0000856/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000857void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000858 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000859 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000860 uint64_t Size = DTy.getSizeInBits() >> 3;
861 unsigned Tag = DTy.getTag();
862
863 // FIXME - Workaround for templates.
864 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
865
866 Buffer.setTag(Tag);
867
868 // Map to main type, void will not have a type.
869 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000870 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000871
872 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000873 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000874 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000875
876 // Add size if non-zero (derived types might be zero-sized.)
877 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000878 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000879
880 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000881 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000882 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000883}
884
Devang Patel2c4ceb12009-11-21 02:48:08 +0000885/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000886void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000887 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000888 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000889
890 uint64_t Size = CTy.getSizeInBits() >> 3;
891 unsigned Tag = CTy.getTag();
892 Buffer.setTag(Tag);
893
894 switch (Tag) {
895 case dwarf::DW_TAG_vector_type:
896 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000897 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000898 break;
899 case dwarf::DW_TAG_enumeration_type: {
900 DIArray Elements = CTy.getTypeArray();
901
902 // Add enumerators to enumeration type.
903 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
904 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000905 DIDescriptor Enum(Elements.getElement(i).getNode());
906 if (Enum.isEnumerator()) {
907 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000908 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000909 }
Bill Wendling0310d762009-05-15 09:23:25 +0000910 }
911 }
912 break;
913 case dwarf::DW_TAG_subroutine_type: {
914 // Add return type.
915 DIArray Elements = CTy.getTypeArray();
916 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000917 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000918
919 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000920 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000921
922 // Add arguments.
923 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
924 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
925 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000926 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000927 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000928 }
929 }
930 break;
931 case dwarf::DW_TAG_structure_type:
932 case dwarf::DW_TAG_union_type:
933 case dwarf::DW_TAG_class_type: {
934 // Add elements to structure type.
935 DIArray Elements = CTy.getTypeArray();
936
937 // A forward struct declared type may not have elements available.
Devang Patel3c91b052010-03-08 20:52:55 +0000938 unsigned N = Elements.getNumElements();
939 if (N == 0)
Bill Wendling0310d762009-05-15 09:23:25 +0000940 break;
941
942 // Add elements to structure type.
Devang Patel3c91b052010-03-08 20:52:55 +0000943 for (unsigned i = 0; i < N; ++i) {
Bill Wendling0310d762009-05-15 09:23:25 +0000944 DIDescriptor Element = Elements.getElement(i);
945 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000946 if (Element.isSubprogram())
Devang Patelffe966c2009-12-14 16:18:45 +0000947 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000948 else if (Element.isVariable()) {
Devang Patel1ee0cb92010-01-30 01:08:30 +0000949 DIVariable DV(Element.getNode());
950 ElemDie = new DIE(dwarf::DW_TAG_variable);
951 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
952 DV.getName());
953 addType(ElemDie, DV.getType());
954 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
955 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
956 addSourceLine(ElemDie, &DV);
Devang Patel3c91b052010-03-08 20:52:55 +0000957 } else if (Element.isDerivedType())
Devang Patel8a241142009-12-09 18:24:21 +0000958 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000959 else
960 continue;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000961 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000962 }
963
Devang Patela1ba2692009-08-27 23:51:51 +0000964 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000965 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000966
967 unsigned RLang = CTy.getRunTimeLang();
968 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000969 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000970 dwarf::DW_FORM_data1, RLang);
Devang Patelb5544992010-01-26 21:16:06 +0000971
972 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel3c91b052010-03-08 20:52:55 +0000973 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patelb5544992010-01-26 21:16:06 +0000974 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
975 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling0310d762009-05-15 09:23:25 +0000976 break;
977 }
978 default:
979 break;
980 }
981
982 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000983 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000984 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000985
Devang Patel8cbb6122010-01-29 18:34:58 +0000986 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling0310d762009-05-15 09:23:25 +0000987 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
988 // Add size if non-zero (derived types might be zero-sized.)
989 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000990 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000991 else {
992 // Add zero size if it is not a forward declaration.
993 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000994 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000995 else
Devang Patel2c4ceb12009-11-21 02:48:08 +0000996 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +0000997 }
998
999 // Add source line info if available.
1000 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001001 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001002 }
1003}
1004
Devang Patel2c4ceb12009-11-21 02:48:08 +00001005/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1006void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +00001007 int64_t L = SR.getLo();
1008 int64_t H = SR.getHi();
1009 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1010
Devang Patel2c4ceb12009-11-21 02:48:08 +00001011 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +00001012 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001013 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +00001014 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +00001015
Devang Patel2c4ceb12009-11-21 02:48:08 +00001016 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +00001017}
1018
Devang Patel2c4ceb12009-11-21 02:48:08 +00001019/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +00001020void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +00001021 DICompositeType *CTy) {
1022 Buffer.setTag(dwarf::DW_TAG_array_type);
1023 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001024 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001025
1026 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001027 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001028 DIArray Elements = CTy->getTypeArray();
1029
Devang Patel6f01d9c2009-11-21 00:31:03 +00001030 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001031 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001032 if (!IdxTy) {
1033 // Construct an anonymous type for index type.
1034 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001035 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1036 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001037 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001038 ModuleCU->addDie(IdxTy);
1039 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001040 }
Bill Wendling0310d762009-05-15 09:23:25 +00001041
1042 // Add subranges to array type.
1043 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1044 DIDescriptor Element = Elements.getElement(i);
1045 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001046 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001047 }
1048}
1049
Devang Patel2c4ceb12009-11-21 02:48:08 +00001050/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3c91b052010-03-08 20:52:55 +00001051DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001052 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3c91b052010-03-08 20:52:55 +00001053 StringRef Name = ETy.getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001054 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3c91b052010-03-08 20:52:55 +00001055 int64_t Value = ETy.getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001056 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001057 return Enumerator;
1058}
1059
Devang Patel351ca332010-01-05 01:46:14 +00001060/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1061/// printer to not emit usual symbol prefix before the symbol name is used then
1062/// return linkage name after skipping this special LLVM prefix.
1063static StringRef getRealLinkageName(StringRef LinkageName) {
1064 char One = '\1';
1065 if (LinkageName.startswith(StringRef(&One, 1)))
1066 return LinkageName.substr(1);
1067 return LinkageName;
1068}
1069
Devang Patel2c4ceb12009-11-21 02:48:08 +00001070/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001071DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001072 // If the global variable was optmized out then no need to create debug info
1073 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001074 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001075 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001076
Bill Wendling0310d762009-05-15 09:23:25 +00001077 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001078 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001079 GV.getDisplayName());
1080
Devang Patel65dbc902009-11-25 17:36:49 +00001081 StringRef LinkageName = GV.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001082 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001083 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001084 getRealLinkageName(LinkageName));
1085
Devang Patel8a241142009-12-09 18:24:21 +00001086 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001087 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001088 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1089 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001090
Bill Wendling0310d762009-05-15 09:23:25 +00001091 return GVDie;
1092}
1093
Devang Patel2c4ceb12009-11-21 02:48:08 +00001094/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001095DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001096 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001097 StringRef Name = DT.getName();
1098 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001099 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001100
Devang Patel8a241142009-12-09 18:24:21 +00001101 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001102
Devang Patel2c4ceb12009-11-21 02:48:08 +00001103 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001104
Devang Patel33db5082009-11-04 22:06:12 +00001105 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001106 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001107
Bill Wendling0310d762009-05-15 09:23:25 +00001108 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001109 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001110
1111 if (Size != FieldSize) {
1112 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001113 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1114 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001115
1116 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling0310d762009-05-15 09:23:25 +00001117 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1118 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer3d594fd2010-01-07 17:50:57 +00001119 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling0310d762009-05-15 09:23:25 +00001120 Offset -= FieldOffset;
1121
1122 // Maybe we need to work from the other end.
1123 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001124 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001125
Devang Patel33db5082009-11-04 22:06:12 +00001126 // Here WD_AT_data_member_location points to the anonymous
1127 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001128 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001129
1130 } else
1131 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001132 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001133
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001134 if (DT.getTag() == dwarf::DW_TAG_inheritance
1135 && DT.isVirtual()) {
1136
1137 // For C++, virtual base classes are not at fixed offset. Use following
1138 // expression to extract appropriate offset from vtable.
1139 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1140
1141 DIEBlock *VBaseLocationDie = new DIEBlock();
1142 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1143 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1144 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1145 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1146 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1147 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1148 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1149
1150 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1151 VBaseLocationDie);
1152 } else
1153 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001154
1155 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001156 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001157 dwarf::DW_ACCESS_protected);
1158 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001159 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001160 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001161 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1162 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1163 dwarf::DW_ACCESS_public);
1164 if (DT.isVirtual())
1165 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1166 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001167 return MemberDie;
1168}
1169
Devang Patelffe966c2009-12-14 16:18:45 +00001170/// createSubprogramDIE - Create new DIE using SP.
1171DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1172 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1173 if (SPDie)
1174 return SPDie;
1175
1176 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel1eac3e72010-03-02 17:58:15 +00001177 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel6b506cb2010-03-02 01:26:20 +00001178 if (!SP.getName().empty())
1179 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001180
Devang Patel65dbc902009-11-25 17:36:49 +00001181 StringRef LinkageName = SP.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001182 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001183 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001184 getRealLinkageName(LinkageName));
1185
Devang Patel2c4ceb12009-11-21 02:48:08 +00001186 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001187
Bill Wendling0310d762009-05-15 09:23:25 +00001188 // Add prototyped tag, if C or ObjC.
1189 unsigned Lang = SP.getCompileUnit().getLanguage();
1190 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1191 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001192 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001193
1194 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001195 DICompositeType SPTy = SP.getType();
1196 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001197 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001198
Devang Patel3c91b052010-03-08 20:52:55 +00001199 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001200 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001201 else
Devang Patel8a241142009-12-09 18:24:21 +00001202 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001203
Devang Patel5d11eb02009-12-03 19:11:07 +00001204 unsigned VK = SP.getVirtuality();
1205 if (VK) {
1206 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1207 DIEBlock *Block = new DIEBlock();
1208 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1209 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1210 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel622b0262010-01-19 06:19:05 +00001211 ContainingTypeMap.insert(std::make_pair(SPDie,
1212 SP.getContainingType().getNode()));
Devang Patel5d11eb02009-12-03 19:11:07 +00001213 }
1214
Devang Patelffe966c2009-12-14 16:18:45 +00001215 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001216 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001217
1218 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001219 // be handled while processing variables.
1220 DICompositeType SPTy = SP.getType();
1221 DIArray Args = SPTy.getTypeArray();
1222 unsigned SPTag = SPTy.getTag();
1223
Bill Wendling0310d762009-05-15 09:23:25 +00001224 if (SPTag == dwarf::DW_TAG_subroutine_type)
1225 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1226 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelb4645642010-02-06 01:02:37 +00001227 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1228 addType(Arg, ATy);
1229 if (ATy.isArtificial())
1230 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001231 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001232 }
1233 }
1234
Devang Patel4e0d19d2010-02-03 19:57:19 +00001235 if (SP.isArtificial())
1236 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1237
Bill Wendling0310d762009-05-15 09:23:25 +00001238 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001239 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001240 return SPDie;
1241}
1242
Devang Patel53bb5c92009-11-10 23:06:00 +00001243/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1244/// Initialize scope and update scope hierarchy.
1245DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
Chris Lattnered7a77b2010-03-31 05:36:29 +00001246 MDNode *InlinedAt) {
1247 assert(N && "Invalid Scope encoding!");
1248 assert(MI && "Missing machine instruction!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001249 bool GetConcreteScope = (MI && InlinedAt);
1250
1251 DbgScope *NScope = NULL;
1252
1253 if (InlinedAt)
1254 NScope = DbgScopeMap.lookup(InlinedAt);
1255 else
1256 NScope = DbgScopeMap.lookup(N);
Chris Lattnered7a77b2010-03-31 05:36:29 +00001257 assert(NScope && "Unable to find working scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001258
1259 if (NScope->getFirstInsn())
1260 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001261
1262 DbgScope *Parent = NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001263 if (GetConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001264 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001265 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001266 IL.getOrigLocation().getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001267 assert(Parent && "Unable to find Parent scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001268 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001269 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001270 } else if (DIDescriptor(N).isLexicalBlock()) {
1271 DILexicalBlock DB(N);
Devang Patel3c91b052010-03-08 20:52:55 +00001272 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1273 NScope->setParent(Parent);
1274 Parent->addScope(NScope);
Devang Patelc90aefe2009-10-14 21:08:09 +00001275 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001276
Devang Patelbdf45cb2009-10-27 20:47:17 +00001277 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001278
Devang Patel53bb5c92009-11-10 23:06:00 +00001279 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001280 StringRef SPName = DISubprogram(N).getLinkageName();
1281 if (SPName == MF->getFunction()->getName())
1282 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001283 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001284
Devang Patel53bb5c92009-11-10 23:06:00 +00001285 if (GetConcreteScope) {
1286 ConcreteScopes[InlinedAt] = NScope;
1287 getOrCreateAbstractScope(N);
1288 }
1289
Devang Patelbdf45cb2009-10-27 20:47:17 +00001290 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001291}
1292
Devang Patel53bb5c92009-11-10 23:06:00 +00001293DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
Chris Lattnered7a77b2010-03-31 05:36:29 +00001294 assert(N && "Invalid Scope encoding!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001295
1296 DbgScope *AScope = AbstractScopes.lookup(N);
1297 if (AScope)
1298 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001299
Devang Patel53bb5c92009-11-10 23:06:00 +00001300 DbgScope *Parent = NULL;
1301
1302 DIDescriptor Scope(N);
1303 if (Scope.isLexicalBlock()) {
1304 DILexicalBlock DB(N);
1305 DIDescriptor ParentDesc = DB.getContext();
Devang Patel3c91b052010-03-08 20:52:55 +00001306 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001307 }
1308
1309 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1310
1311 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001312 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001313 AScope->setAbstractScope();
1314 AbstractScopes[N] = AScope;
1315 if (DIDescriptor(N).isSubprogram())
1316 AbstractScopesList.push_back(AScope);
1317 return AScope;
1318}
Devang Patelaf9e8472009-10-01 20:31:14 +00001319
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001320/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001321/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1322/// If there are global variables in this scope then create and insert
1323/// DIEs for these variables.
1324DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel017d1212009-11-20 21:37:22 +00001325 DIE *SPDie = ModuleCU->getDIE(SPNode);
Chris Lattner206d61e2010-03-13 07:26:18 +00001326 assert(SPDie && "Unable to find subprogram DIE!");
Devang Patelffe966c2009-12-14 16:18:45 +00001327 DISubprogram SP(SPNode);
Chris Lattner206d61e2010-03-13 07:26:18 +00001328
Devang Patel6cda22e2010-02-05 23:09:20 +00001329 // There is not any need to generate specification DIE for a function
1330 // defined at compile unit level. If a function is defined inside another
1331 // function then gdb prefers the definition at top level and but does not
1332 // expect specification DIE in parent function. So avoid creating
1333 // specification DIE for a function defined inside a function.
Chris Lattner206d61e2010-03-13 07:26:18 +00001334 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1335 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
Devang Patelffe966c2009-12-14 16:18:45 +00001336 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Chris Lattner206d61e2010-03-13 07:26:18 +00001337
1338 // Add arguments.
Devang Patelffe966c2009-12-14 16:18:45 +00001339 DICompositeType SPTy = SP.getType();
1340 DIArray Args = SPTy.getTypeArray();
1341 unsigned SPTag = SPTy.getTag();
1342 if (SPTag == dwarf::DW_TAG_subroutine_type)
Chris Lattner206d61e2010-03-13 07:26:18 +00001343 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Devang Patelffe966c2009-12-14 16:18:45 +00001344 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelb4645642010-02-06 01:02:37 +00001345 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1346 addType(Arg, ATy);
1347 if (ATy.isArtificial())
1348 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelffe966c2009-12-14 16:18:45 +00001349 SPDie->addChild(Arg);
1350 }
1351 DIE *SPDeclDie = SPDie;
1352 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1353 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1354 SPDeclDie);
Devang Patelffe966c2009-12-14 16:18:45 +00001355 ModuleCU->addDie(SPDie);
1356 }
Devang Patelb4645642010-02-06 01:02:37 +00001357
Devang Patel2c4ceb12009-11-21 02:48:08 +00001358 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00001359 getDWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001360 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00001361 getDWLabel("func_end", SubprogramCount));
Devang Patel53bb5c92009-11-10 23:06:00 +00001362 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001363 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001364
Devang Patel53bb5c92009-11-10 23:06:00 +00001365 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001366 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001367
Devang Patel53bb5c92009-11-10 23:06:00 +00001368 return SPDie;
1369}
1370
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001371/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001372/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1373DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattnerb7db7332010-03-09 01:58:53 +00001374 MCSymbol *Start = Scope->getStartLabel();
1375 MCSymbol *End = Scope->getEndLabel();
Devang Patelaead63c2010-03-29 22:59:58 +00001376 if (Start == 0 || End == 0) return 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001377
Chris Lattnerb7db7332010-03-09 01:58:53 +00001378 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1379 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattnera34ec2292010-03-09 01:51:43 +00001380
Devang Patel53bb5c92009-11-10 23:06:00 +00001381 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1382 if (Scope->isAbstractScope())
1383 return ScopeDIE;
1384
Devang Patel2c4ceb12009-11-21 02:48:08 +00001385 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerb7db7332010-03-09 01:58:53 +00001386 Start ? Start : getDWLabel("func_begin", SubprogramCount));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001387 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerb7db7332010-03-09 01:58:53 +00001388 End ? End : getDWLabel("func_end", SubprogramCount));
Devang Patel53bb5c92009-11-10 23:06:00 +00001389
1390 return ScopeDIE;
1391}
1392
Devang Patel2c4ceb12009-11-21 02:48:08 +00001393/// constructInlinedScopeDIE - This scope represents inlined body of
1394/// a function. Construct DIE to represent this concrete inlined copy
1395/// of the function.
1396DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattnerb7db7332010-03-09 01:58:53 +00001397 MCSymbol *StartLabel = Scope->getStartLabel();
1398 MCSymbol *EndLabel = Scope->getEndLabel();
Devang Patelaead63c2010-03-29 22:59:58 +00001399 if (StartLabel == 0 || EndLabel == 0) return 0;
Chris Lattner6c7dfc02010-03-09 04:48:35 +00001400
Chris Lattnerb7db7332010-03-09 01:58:53 +00001401 assert(StartLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001402 "Invalid starting label for an inlined scope!");
Chris Lattnerb7db7332010-03-09 01:58:53 +00001403 assert(EndLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001404 "Invalid end label for an inlined scope!");
Devang Patel3c91b052010-03-08 20:52:55 +00001405 if (!Scope->getScopeNode())
Devang Patel0ef3fa62010-03-08 19:20:38 +00001406 return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001407 DIScope DS(Scope->getScopeNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001408 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1409
1410 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001411 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001412 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001413 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001414 dwarf::DW_FORM_ref4, OriginDIE);
1415
Chris Lattner6ed0f902010-03-09 00:31:02 +00001416 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnerb7db7332010-03-09 01:58:53 +00001417 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel53bb5c92009-11-10 23:06:00 +00001418
1419 InlinedSubprogramDIEs.insert(OriginDIE);
1420
1421 // Track the start label for this inlined function.
Devang Patel622b0262010-01-19 06:19:05 +00001422 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel53bb5c92009-11-10 23:06:00 +00001423 I = InlineInfo.find(InlinedSP.getNode());
1424
1425 if (I == InlineInfo.end()) {
Chris Lattner6ed0f902010-03-09 00:31:02 +00001426 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001427 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001428 InlinedSPNodes.push_back(InlinedSP.getNode());
1429 } else
Chris Lattner6ed0f902010-03-09 00:31:02 +00001430 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001431
Devang Patel53bb5c92009-11-10 23:06:00 +00001432 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001433 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1434 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001435
1436 return ScopeDIE;
1437}
1438
Devang Patel2c4ceb12009-11-21 02:48:08 +00001439
1440/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001441DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001442 // Get the descriptor.
1443 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001444 StringRef Name = VD.getName();
1445 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001446 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001447
1448 // Translate tag to proper Dwarf tag. The result variable is dropped for
1449 // now.
1450 unsigned Tag;
1451 switch (VD.getTag()) {
1452 case dwarf::DW_TAG_return_variable:
1453 return NULL;
1454 case dwarf::DW_TAG_arg_variable:
1455 Tag = dwarf::DW_TAG_formal_parameter;
1456 break;
1457 case dwarf::DW_TAG_auto_variable: // fall thru
1458 default:
1459 Tag = dwarf::DW_TAG_variable;
1460 break;
1461 }
1462
1463 // Define variable debug information entry.
1464 DIE *VariableDie = new DIE(Tag);
1465
1466
1467 DIE *AbsDIE = NULL;
1468 if (DbgVariable *AV = DV->getAbstractVariable())
1469 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001470
Devang Patel53bb5c92009-11-10 23:06:00 +00001471 if (AbsDIE) {
1472 DIScope DS(Scope->getScopeNode());
1473 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001474 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001475 (void) OriginSPDIE;
Chris Lattnered7a77b2010-03-31 05:36:29 +00001476 assert(OriginSPDIE && "Unable to find Origin DIE for the SP!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001477 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
Chris Lattnered7a77b2010-03-31 05:36:29 +00001478 assert(AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001479 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001480 dwarf::DW_FORM_ref4, AbsDIE);
1481 }
1482 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001483 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1484 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001485
1486 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001487 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001488 // addresses instead.
1489 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001490 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001491 else
Devang Patel8a241142009-12-09 18:24:21 +00001492 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001493 }
1494
1495 // Add variable address.
1496 if (!Scope->isAbstractScope()) {
Devang Patel90a48ad2010-03-15 18:33:46 +00001497 // Check if variable is described by DBG_VALUE instruction.
1498 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1499 if (DbgValueInsn->getNumOperands() == 3) {
1500 // FIXME : Handle getNumOperands != 3
1501 if (DbgValueInsn->getOperand(0).getType()
1502 == MachineOperand::MO_Register
1503 && DbgValueInsn->getOperand(0).getReg()) {
1504 MachineLocation Location;
1505 Location.set(DbgValueInsn->getOperand(0).getReg());
1506 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patelaead63c2010-03-29 22:59:58 +00001507 if (MCSymbol *VS = DV->getDbgValueLabel())
1508 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1509 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001510 } else if (DbgValueInsn->getOperand(0).getType() ==
1511 MachineOperand::MO_Immediate) {
1512 DIEBlock *Block = new DIEBlock();
1513 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1514 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1515 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
Devang Patelaead63c2010-03-29 22:59:58 +00001516 if (MCSymbol *VS = DV->getDbgValueLabel())
1517 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1518 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001519 } else {
1520 //FIXME : Handle other operand types.
1521 delete VariableDie;
1522 return NULL;
1523 }
1524 }
1525 } else {
1526 MachineLocation Location;
1527 unsigned FrameReg;
1528 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1529 Location.set(FrameReg, Offset);
1530
1531 if (VD.hasComplexAddress())
1532 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1533 else if (VD.isBlockByrefVariable())
1534 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1535 else
1536 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1537 }
Devang Patel53bb5c92009-11-10 23:06:00 +00001538 }
Devang Patelb4645642010-02-06 01:02:37 +00001539
1540 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1541 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001542 DV->setDIE(VariableDie);
1543 return VariableDie;
1544
1545}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001546
Devang Patel193f7202009-11-24 01:14:22 +00001547void DwarfDebug::addPubTypes(DISubprogram SP) {
1548 DICompositeType SPTy = SP.getType();
1549 unsigned SPTag = SPTy.getTag();
1550 if (SPTag != dwarf::DW_TAG_subroutine_type)
1551 return;
1552
1553 DIArray Args = SPTy.getTypeArray();
Devang Patel193f7202009-11-24 01:14:22 +00001554 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1555 DIType ATy(Args.getElement(i).getNode());
Devang Patel3c91b052010-03-08 20:52:55 +00001556 if (!ATy.isValid())
Devang Patel193f7202009-11-24 01:14:22 +00001557 continue;
1558 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel3c91b052010-03-08 20:52:55 +00001559 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001560 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1561 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1562 }
1563 }
1564}
1565
Devang Patel2c4ceb12009-11-21 02:48:08 +00001566/// constructScopeDIE - Construct a DIE for this scope.
1567DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3c91b052010-03-08 20:52:55 +00001568 if (!Scope || !Scope->getScopeNode())
1569 return NULL;
1570
1571 DIScope DS(Scope->getScopeNode());
1572 DIE *ScopeDIE = NULL;
1573 if (Scope->getInlinedAt())
1574 ScopeDIE = constructInlinedScopeDIE(Scope);
1575 else if (DS.isSubprogram()) {
1576 if (Scope->isAbstractScope())
1577 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1578 else
1579 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1580 }
Devang Patelaead63c2010-03-29 22:59:58 +00001581 else
Devang Patel3c91b052010-03-08 20:52:55 +00001582 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patelaead63c2010-03-29 22:59:58 +00001583 if (!ScopeDIE) return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001584
Devang Patel53bb5c92009-11-10 23:06:00 +00001585 // Add variables to scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001586 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel53bb5c92009-11-10 23:06:00 +00001587 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001588 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001589 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001590 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001591 }
1592
1593 // Add nested scopes.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001594 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel53bb5c92009-11-10 23:06:00 +00001595 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1596 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001597 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001598 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001599 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001600 }
Devang Patel193f7202009-11-24 01:14:22 +00001601
1602 if (DS.isSubprogram())
1603 addPubTypes(DISubprogram(DS.getNode()));
1604
1605 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001606}
1607
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001608/// GetOrCreateSourceID - Look up the source id with the given directory and
1609/// source file names. If none currently exists, create a new id and insert it
1610/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1611/// maps as well.
Devang Patel65dbc902009-11-25 17:36:49 +00001612unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001613 unsigned DId;
1614 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1615 if (DI != DirectoryIdMap.end()) {
1616 DId = DI->getValue();
1617 } else {
1618 DId = DirectoryNames.size() + 1;
1619 DirectoryIdMap[DirName] = DId;
1620 DirectoryNames.push_back(DirName);
1621 }
1622
1623 unsigned FId;
1624 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1625 if (FI != SourceFileIdMap.end()) {
1626 FId = FI->getValue();
1627 } else {
1628 FId = SourceFileNames.size() + 1;
1629 SourceFileIdMap[FileName] = FId;
1630 SourceFileNames.push_back(FileName);
1631 }
1632
1633 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1634 SourceIdMap.find(std::make_pair(DId, FId));
1635 if (SI != SourceIdMap.end())
1636 return SI->second;
1637
1638 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1639 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1640 SourceIds.push_back(std::make_pair(DId, FId));
1641
1642 return SrcId;
1643}
1644
Devang Patel6404e4e2009-12-15 19:16:48 +00001645/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1646DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1647 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1648 if (NDie)
1649 return NDie;
1650 NDie = new DIE(dwarf::DW_TAG_namespace);
1651 ModuleCU->insertDIE(NS.getNode(), NDie);
1652 if (!NS.getName().empty())
1653 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1654 addSourceLine(NDie, &NS);
1655 addToContextOwner(NDie, NS.getContext());
1656 return NDie;
1657}
1658
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001659void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001660 DICompileUnit DIUnit(N);
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001661 // Use first compile unit marked as isMain as the compile unit for this
1662 // module.
1663 if (ModuleCU || !DIUnit.isMain())
1664 return;
Devang Patel65dbc902009-11-25 17:36:49 +00001665 StringRef FN = DIUnit.getFilename();
1666 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001667 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001668
1669 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001670 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001671 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001672 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001673 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001674 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Devang Patel4a602ca2010-03-22 23:11:36 +00001675 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1676 getTempLabel("text_begin"));
1677 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1678 getTempLabel("text_end"));
1679 // DW_AT_stmt_list is a offset of line number information for this
1680 // compile unit in debug_line section. It is always zero when only one
1681 // compile unit is emitted in one object file.
1682 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001683
Devang Patel65dbc902009-11-25 17:36:49 +00001684 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001685 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001686 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001687 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001688
Devang Patel65dbc902009-11-25 17:36:49 +00001689 StringRef Flags = DIUnit.getFlags();
1690 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001691 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001692
1693 unsigned RVer = DIUnit.getRunTimeVersion();
1694 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001695 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001696 dwarf::DW_FORM_data1, RVer);
1697
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001698 assert(!ModuleCU &&
1699 "ModuleCU assigned since the top of constructCompileUnit");
1700 ModuleCU = new CompileUnit(ID, Die);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001701}
1702
Devang Patel2c4ceb12009-11-21 02:48:08 +00001703void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001704 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001705
Devang Patel905cf5e2009-09-04 23:59:07 +00001706 // If debug information is malformed then ignore it.
1707 if (DI_GV.Verify() == false)
1708 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001709
1710 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001711 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001712 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001713
Devang Patel8a241142009-12-09 18:24:21 +00001714 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001715 if (!VariableDie)
1716 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001717
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001718 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001719 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001720
1721 // Add to context owner.
Devang Patelc9b16cc2010-01-15 01:12:22 +00001722 DIDescriptor GVContext = DI_GV.getContext();
1723 // Do not create specification DIE if context is either compile unit
1724 // or a subprogram.
1725 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
Devang Patel1b596e32010-03-11 23:44:52 +00001726 && !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel6404e4e2009-12-15 19:16:48 +00001727 // Create specification DIE.
1728 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1729 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1730 dwarf::DW_FORM_ref4, VariableDie);
1731 DIEBlock *Block = new DIEBlock();
1732 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001733 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001734 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001735 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patel8581e012010-02-09 01:58:33 +00001736 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel6404e4e2009-12-15 19:16:48 +00001737 ModuleCU->addDie(VariableSpecDIE);
1738 } else {
1739 DIEBlock *Block = new DIEBlock();
1740 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001741 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001742 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001743 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1744 }
Devang Patelc9b16cc2010-01-15 01:12:22 +00001745 addToContextOwner(VariableDie, GVContext);
Devang Patelc366f832009-12-10 19:14:49 +00001746
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001747 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001748 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001749
1750 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001751 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001752 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001753 assert(Entry && "Missing global type!");
Devang Patel193f7202009-11-24 01:14:22 +00001754 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1755 }
Devang Patel13e16b62009-06-26 01:49:18 +00001756 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001757}
1758
Devang Patel2c4ceb12009-11-21 02:48:08 +00001759void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001760 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001761
1762 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001763 if (ModuleCU->getDIE(N))
Devang Patel13e16b62009-06-26 01:49:18 +00001764 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001765
1766 if (!SP.isDefinition())
1767 // This is a method declaration which will be handled while constructing
1768 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001769 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001770
Devang Patel8a241142009-12-09 18:24:21 +00001771 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001772
1773 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001774 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001775
1776 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001777 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001778
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001779 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001780 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001781
Devang Patel13e16b62009-06-26 01:49:18 +00001782 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001783}
1784
Devang Patel2c4ceb12009-11-21 02:48:08 +00001785/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001786/// content. Create global DIEs and emit initial debug info sections.
1787/// This is inovked by the target AsmPrinter.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001788void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel208622d2009-06-25 22:36:02 +00001789 this->M = M;
1790
Devang Patel3380cc52009-11-11 19:55:08 +00001791 if (!MAI->doesSupportDebugInformation())
1792 return;
1793
Chris Lattnera909d662010-03-29 20:38:20 +00001794 TimeRegion Timer(DebugTimer);
1795
Devang Patel78ab9e22009-07-30 18:56:46 +00001796 DebugInfoFinder DbgFinder;
1797 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001798
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001799 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001800 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1801 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001802 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001803
Devang Patel1dbc7712009-06-29 20:45:18 +00001804 if (!ModuleCU)
Devang Patel77bf2952010-03-08 22:02:50 +00001805 return;
Devang Patel70f44262009-06-29 20:38:13 +00001806
Devang Patel53bb5c92009-11-10 23:06:00 +00001807 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001808 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1809 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001810 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001811
Devang Patelc366f832009-12-10 19:14:49 +00001812 // Create DIEs for each global variable.
1813 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1814 E = DbgFinder.global_variable_end(); I != E; ++I)
1815 constructGlobalVariableDIE(*I);
1816
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001817 MMI = mmi;
1818 shouldEmit = true;
1819 MMI->setDebugInfoAvailability(true);
1820
1821 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001822 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001823
1824 // Print out .file directives to specify files for .loc directives. These are
1825 // printed out early so that they precede any .loc directives.
Chris Lattner33adcfb2009-08-22 21:43:10 +00001826 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001827 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1828 // Remember source id starts at 1.
1829 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattner0ad9c912010-01-22 22:09:00 +00001830 // FIXME: don't use sys::path for this! This should not depend on the
1831 // host.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001832 sys::Path FullPath(getSourceDirectoryName(Id.first));
1833 bool AppendOk =
1834 FullPath.appendComponent(getSourceFileName(Id.second));
1835 assert(AppendOk && "Could not append filename to directory!");
1836 AppendOk = false;
Chris Lattnera6594fc2010-01-25 18:58:59 +00001837 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001838 }
1839 }
1840
1841 // Emit initial sections
Devang Patel2c4ceb12009-11-21 02:48:08 +00001842 emitInitial();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001843}
1844
Devang Patel2c4ceb12009-11-21 02:48:08 +00001845/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001846///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001847void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001848 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001849 return;
1850
Chris Lattnera909d662010-03-29 20:38:20 +00001851 TimeRegion Timer(DebugTimer);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001852
Devang Patel53bb5c92009-11-10 23:06:00 +00001853 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1854 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1855 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1856 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001857 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001858 }
1859
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001860 // Insert top level DIEs.
1861 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1862 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1863 ModuleCU->getCUDie()->addChild(*TI);
1864
Devang Patel622b0262010-01-19 06:19:05 +00001865 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel5d11eb02009-12-03 19:11:07 +00001866 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1867 DIE *SPDie = CI->first;
1868 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1869 if (!N) continue;
1870 DIE *NDie = ModuleCU->getDIE(N);
1871 if (!NDie) continue;
1872 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patelf8b72ca2010-01-15 00:26:31 +00001873 // FIXME - This is not the correct approach.
1874 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel5d11eb02009-12-03 19:11:07 +00001875 }
1876
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001877 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001878 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00001879 Asm->OutStreamer.EmitLabel(getTempLabel("text_end"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001880 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00001881 Asm->OutStreamer.EmitLabel(getTempLabel("data_end"));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001882
1883 // End text sections.
1884 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001885 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattnerf829eef2010-03-08 22:44:40 +00001886 Asm->OutStreamer.EmitLabel(getDWLabel("section_end", i));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001887 }
1888
1889 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001890 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001891
1892 // Emit function debug frame information
1893 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1894 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001895 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001896
1897 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001898 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001899
1900 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001901 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001902
1903 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001904 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001905
1906 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001907 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001908
1909 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001910 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001911
Devang Patel193f7202009-11-24 01:14:22 +00001912 // Emit info into a debug pubtypes section.
1913 emitDebugPubTypes();
1914
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001915 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001916 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001917
1918 // Emit info into a debug aranges section.
1919 EmitDebugARanges();
1920
1921 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001922 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001923
1924 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001925 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001926
1927 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001928 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001929
Chris Lattnerbc733f52010-03-13 02:17:42 +00001930 // Emit info into a debug str section.
1931 emitDebugStr();
1932
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001933 delete ModuleCU;
1934 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001935}
1936
Devang Patel53bb5c92009-11-10 23:06:00 +00001937/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001938DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1939 unsigned FrameIdx,
Devang Patel53bb5c92009-11-10 23:06:00 +00001940 DILocation &ScopeLoc) {
1941
1942 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1943 if (AbsDbgVariable)
1944 return AbsDbgVariable;
1945
1946 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1947 if (!Scope)
1948 return NULL;
1949
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001950 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
1951 NULL /* No more-abstract variable*/);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001952 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00001953 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1954 return AbsDbgVariable;
1955}
1956
Devang Patel90a48ad2010-03-15 18:33:46 +00001957/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1958/// FIXME : Refactor findAbstractVariable.
1959DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1960 const MachineInstr *MI,
1961 DILocation &ScopeLoc) {
1962
1963 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1964 if (AbsDbgVariable)
1965 return AbsDbgVariable;
1966
1967 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1968 if (!Scope)
1969 return NULL;
1970
Devang Patelaead63c2010-03-29 22:59:58 +00001971 AbsDbgVariable = new DbgVariable(Var, MI,
Devang Patel90a48ad2010-03-15 18:33:46 +00001972 NULL /* No more-abstract variable*/);
1973 Scope->addVariable(AbsDbgVariable);
1974 AbstractVariables[Var.getNode()] = AbsDbgVariable;
Devang Patelaead63c2010-03-29 22:59:58 +00001975 DbgValueStartMap[MI] = AbsDbgVariable;
Devang Patel90a48ad2010-03-15 18:33:46 +00001976 return AbsDbgVariable;
1977}
1978
Devang Patel2c4ceb12009-11-21 02:48:08 +00001979/// collectVariableInfo - Populate DbgScope entries with variables' info.
1980void DwarfDebug::collectVariableInfo() {
Devang Patelac1ceb32009-10-09 22:42:28 +00001981 if (!MMI) return;
Devang Patel53bb5c92009-11-10 23:06:00 +00001982
Devang Patele717faa2009-10-06 01:26:37 +00001983 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1984 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1985 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelbc5201f2010-01-22 22:52:10 +00001986 MDNode *Var = VI->first;
Devang Patel53bb5c92009-11-10 23:06:00 +00001987 if (!Var) continue;
Devang Pateleda31212009-10-08 18:48:03 +00001988 DIVariable DV (Var);
Devang Patel53bb5c92009-11-10 23:06:00 +00001989 std::pair< unsigned, MDNode *> VP = VI->second;
1990 DILocation ScopeLoc(VP.second);
1991
1992 DbgScope *Scope =
1993 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1994 if (!Scope)
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001995 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelfb0ee432009-11-10 23:20:04 +00001996 // If variable scope is not found then skip this variable.
1997 if (!Scope)
1998 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001999
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002000 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, ScopeLoc);
2001 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;
2029 DILocation ScopeLoc = MF->getDILocation(DL);
2030 DbgScope *Scope =
2031 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
2032 if (!Scope)
2033 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
2034 // If variable scope is not found then skip this variable.
2035 if (!Scope)
2036 continue;
2037
Devang Patelaead63c2010-03-29 22:59:58 +00002038 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn, ScopeLoc);
Devang Patel90a48ad2010-03-15 18:33:46 +00002039 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
Devang Patelaead63c2010-03-29 22:59:58 +00002040 DbgValueStartMap[MInsn] = RegVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002041 Scope->addVariable(RegVar);
2042 }
2043 }
Devang Patele717faa2009-10-06 01:26:37 +00002044}
2045
Devang Patel553881b2010-03-29 17:20:31 +00002046/// beginScope - Process beginning of a scope.
2047void DwarfDebug::beginScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002048 // Check location.
2049 DebugLoc DL = MI->getDebugLoc();
2050 if (DL.isUnknown())
2051 return;
2052 DILocation DILoc = MF->getDILocation(DL);
2053 if (!DILoc.getScope().Verify())
2054 return;
2055
2056 // Check and update last known location info.
2057 if(DILoc.getNode() == PrevDILoc)
2058 return;
2059 PrevDILoc = DILoc.getNode();
2060
Devang Patelaead63c2010-03-29 22:59:58 +00002061 // DBG_VALUE instruction establishes new value.
Chris Lattner14d750d2010-03-31 05:39:57 +00002062 if (MI->isDebugValue()) {
Devang Patelaead63c2010-03-29 22:59:58 +00002063 DenseMap<const MachineInstr *, DbgVariable *>::iterator DI
2064 = DbgValueStartMap.find(MI);
2065 if (DI != DbgValueStartMap.end()) {
2066 MCSymbol *Label = recordSourceLine(DILoc.getLineNumber(),
2067 DILoc.getColumnNumber(),
2068 DILoc.getScope().getNode());
2069 DI->second->setDbgValueLabel(Label);
2070 }
Devang Patel7ed63112010-03-30 18:07:00 +00002071 return;
Devang Patelaead63c2010-03-29 22:59:58 +00002072 }
2073
Devang Patel553881b2010-03-29 17:20:31 +00002074 // Emit a label to indicate location change. This is used for line
2075 // table even if this instruction does start a new scope.
2076 MCSymbol *Label = recordSourceLine(DILoc.getLineNumber(),
2077 DILoc.getColumnNumber(),
2078 DILoc.getScope().getNode());
2079
2080 // update DbgScope if this instruction starts a new scope.
Devang Patel0d20ac82009-10-06 01:50:42 +00002081 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2082 if (I == DbgScopeBeginMap.end())
2083 return;
Devang Patel553881b2010-03-29 17:20:31 +00002084
Dan Gohman277207e2009-11-23 21:30:55 +00002085 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002086 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002087 SDI != SDE; ++SDI)
Chris Lattnerc6087842010-03-09 04:54:43 +00002088 (*SDI)->setStartLabel(Label);
Devang Patel0d20ac82009-10-06 01:50:42 +00002089}
2090
Devang Patel2c4ceb12009-11-21 02:48:08 +00002091/// endScope - Process end of a scope.
2092void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002093 // Ignore DBG_VALUE instruction.
Chris Lattner14d750d2010-03-31 05:39:57 +00002094 if (MI->isDebugValue())
Devang Patel553881b2010-03-29 17:20:31 +00002095 return;
2096
2097 // Check location.
2098 DebugLoc DL = MI->getDebugLoc();
2099 if (DL.isUnknown())
2100 return;
2101 DILocation DILoc = MF->getDILocation(DL);
2102 if (!DILoc.getScope().Verify())
2103 return;
2104
2105 // Emit a label and update DbgScope if this instruction ends a scope.
Devang Patel0d20ac82009-10-06 01:50:42 +00002106 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00002107 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00002108 return;
Devang Patel53bb5c92009-11-10 23:06:00 +00002109
Chris Lattner63d78362010-03-14 08:36:50 +00002110 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnerb7db7332010-03-09 01:58:53 +00002111 Asm->OutStreamer.EmitLabel(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00002112
Chris Lattnerb7db7332010-03-09 01:58:53 +00002113 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel0d20ac82009-10-06 01:50:42 +00002114 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002115 SDI != SDE; ++SDI)
Chris Lattnerb7db7332010-03-09 01:58:53 +00002116 (*SDI)->setEndLabel(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00002117 return;
2118}
2119
2120/// createDbgScope - Create DbgScope for the scope.
2121void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
2122
2123 if (!InlinedAt) {
2124 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2125 if (WScope)
2126 return;
2127 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2128 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002129 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00002130 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00002131 return;
2132 }
2133
2134 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2135 if (WScope)
2136 return;
2137
2138 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2139 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2140 DILocation DL(InlinedAt);
2141 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00002142}
2143
Devang Patel2c4ceb12009-11-21 02:48:08 +00002144/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner14d750d2010-03-31 05:39:57 +00002145/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattnereec791a2010-01-26 23:18:02 +00002146bool DwarfDebug::extractScopeInformation() {
Devang Patelaf9e8472009-10-01 20:31:14 +00002147 // If scope information was extracted using .dbg intrinsics then there is not
2148 // any need to extract these information by scanning each instruction.
2149 if (!DbgScopeMap.empty())
2150 return false;
2151
Devang Patel344130e2010-01-04 20:44:00 +00002152 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2153 unsigned MIIndex = 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00002154 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patelaf9e8472009-10-01 20:31:14 +00002155 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2156 I != E; ++I) {
2157 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2158 II != IE; ++II) {
2159 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002160 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002161 if (MInsn->isDebugValue()) continue;
Devang Patel344130e2010-01-04 20:44:00 +00002162 MIIndexMap[MInsn] = MIIndex++;
Devang Patelaf9e8472009-10-01 20:31:14 +00002163 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002164 if (DL.isUnknown()) continue;
Devang Patel6b61f582010-01-16 06:09:35 +00002165 DILocation DLT = MF->getDILocation(DL);
2166 DIScope DLTScope = DLT.getScope();
Devang Patel722f2292010-03-30 22:09:52 +00002167 if (!DLTScope.getNode()) continue;
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.
Devang Patel6b61f582010-01-16 06:09:35 +00002171 if (DLTScope.isCompileUnit()) continue;
2172 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00002173 }
2174 }
2175
2176
2177 // 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();
2186 if (DL.isUnknown()) continue;
Devang Patel6b61f582010-01-16 06:09:35 +00002187 DILocation DLT = MF->getDILocation(DL);
2188 DIScope DLTScope = DLT.getScope();
Devang Patel722f2292010-03-30 22:09:52 +00002189 if (!DLTScope.getNode()) continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002190 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002191 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002192 // into a scope DIE at the end.
Devang Patel6b61f582010-01-16 06:09:35 +00002193 if (DLTScope.isCompileUnit()) continue;
2194 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2195 DLT.getOrigLocation().getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00002196 Scope->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();
2262 if (!FDL.isUnknown()) {
Devang Patel6b61f582010-01-16 06:09:35 +00002263 DILocation DLT = MF->getDILocation(FDL);
Devang Patel6b61f582010-01-16 06:09:35 +00002264 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Chris Lattnerb7db7332010-03-09 01:58:53 +00002265 unsigned Line, Col;
2266 if (SP.Verify()) {
2267 Line = SP.getLineNumber();
2268 Col = 0;
2269 } else {
2270 Line = DLT.getLineNumber();
2271 Col = DLT.getColumnNumber();
2272 }
2273
Chris Lattnerc6087842010-03-09 04:54:43 +00002274 recordSourceLine(Line, Col, DLT.getScope().getNode());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002275 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002276}
2277
Devang Patel2c4ceb12009-11-21 02:48:08 +00002278/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002279///
Chris Lattnereec791a2010-01-26 23:18:02 +00002280void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002281 if (!ShouldEmitDwarfDebug()) return;
Chris Lattnera909d662010-03-29 20:38:20 +00002282 if (DbgScopeMap.empty()) return;
2283
2284 TimeRegion Timer(DebugTimer);
Devang Patel70d75ca2009-11-12 19:02:56 +00002285
Devang Patel344130e2010-01-04 20:44:00 +00002286 if (CurrentFnDbgScope) {
2287 // Define end label for subprogram.
Chris Lattnerf829eef2010-03-08 22:44:40 +00002288 Asm->OutStreamer.EmitLabel(getDWLabel("func_end", SubprogramCount));
Devang Patel344130e2010-01-04 20:44:00 +00002289
2290 // Get function line info.
2291 if (!Lines.empty()) {
2292 // Get section line info.
2293 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2294 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2295 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2296 // Append the function info to section info.
2297 SectionLineInfos.insert(SectionLineInfos.end(),
2298 Lines.begin(), Lines.end());
2299 }
2300
2301 // Construct abstract scopes.
2302 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2303 AE = AbstractScopesList.end(); AI != AE; ++AI)
2304 constructScopeDIE(*AI);
2305
2306 constructScopeDIE(CurrentFnDbgScope);
2307
2308 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2309 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002310 }
2311
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002312 // Clear debug info
Devang Patelf54b8522010-01-19 01:26:02 +00002313 CurrentFnDbgScope = NULL;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002314 DeleteContainerSeconds(DbgScopeMap);
Devang Patelf54b8522010-01-19 01:26:02 +00002315 DbgScopeBeginMap.clear();
2316 DbgScopeEndMap.clear();
Devang Patelaead63c2010-03-29 22:59:58 +00002317 DbgValueStartMap.clear();
Devang Patelf54b8522010-01-19 01:26:02 +00002318 ConcreteScopes.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002319 DeleteContainerSeconds(AbstractScopes);
Devang Patelf54b8522010-01-19 01:26:02 +00002320 AbstractScopesList.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002321 AbstractVariables.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002322 Lines.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002323}
2324
Chris Lattnerc6087842010-03-09 04:54:43 +00002325/// recordSourceLine - Register a source line with debug info. Returns the
2326/// unique label that was emitted and which provides correspondence to
2327/// the source line list.
2328MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patele4b27562009-08-28 23:24:31 +00002329 if (!MMI)
2330 return 0;
2331
Chris Lattnera909d662010-03-29 20:38:20 +00002332 TimeRegion Timer(DebugTimer);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002333
Devang Patel65dbc902009-11-25 17:36:49 +00002334 StringRef Dir;
2335 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002336
2337 DIDescriptor Scope(S);
2338 if (Scope.isCompileUnit()) {
2339 DICompileUnit CU(S);
2340 Dir = CU.getDirectory();
2341 Fn = CU.getFilename();
2342 } else if (Scope.isSubprogram()) {
2343 DISubprogram SP(S);
2344 Dir = SP.getDirectory();
2345 Fn = SP.getFilename();
2346 } else if (Scope.isLexicalBlock()) {
2347 DILexicalBlock DB(S);
2348 Dir = DB.getDirectory();
2349 Fn = DB.getFilename();
2350 } else
Chris Lattner206d61e2010-03-13 07:26:18 +00002351 assert(0 && "Unexpected scope info");
Devang Patelf84548d2009-10-05 18:03:19 +00002352
2353 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner63d78362010-03-14 08:36:50 +00002354 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner25b68c62010-03-14 08:15:55 +00002355 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002356
Chris Lattnerc6087842010-03-09 04:54:43 +00002357 Asm->OutStreamer.EmitLabel(Label);
2358 return Label;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002359}
2360
2361/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2362/// timed. Look up the source id with the given directory and source file
2363/// names. If none currently exists, create a new id and insert it in the
2364/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2365/// well.
2366unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2367 const std::string &FileName) {
Chris Lattnera909d662010-03-29 20:38:20 +00002368 TimeRegion Timer(DebugTimer);
2369 return GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002370}
2371
Bill Wendling829e67b2009-05-20 23:22:40 +00002372//===----------------------------------------------------------------------===//
2373// Emit Methods
2374//===----------------------------------------------------------------------===//
2375
Devang Patel2c4ceb12009-11-21 02:48:08 +00002376/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002377///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002378unsigned
2379DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002380 // Get the children.
2381 const std::vector<DIE *> &Children = Die->getChildren();
2382
2383 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002384 if (!Last && !Children.empty())
2385 DIEValues.push_back(Die->addSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002386
2387 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002388 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002389
2390 // Get the abbreviation for this DIE.
2391 unsigned AbbrevNumber = Die->getAbbrevNumber();
2392 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2393
2394 // Set DIE offset
2395 Die->setOffset(Offset);
2396
2397 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002398 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002399
2400 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2401 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2402
2403 // Size the DIE attribute values.
2404 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2405 // Size attribute value.
2406 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2407
2408 // Size the DIE children if any.
2409 if (!Children.empty()) {
2410 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2411 "Children flag not set");
2412
2413 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002414 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002415
2416 // End of children marker.
2417 Offset += sizeof(int8_t);
2418 }
2419
2420 Die->setSize(Offset - Die->getOffset());
2421 return Offset;
2422}
2423
Devang Patel2c4ceb12009-11-21 02:48:08 +00002424/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002425///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002426void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002427 // Compute size of compile unit header.
2428 static unsigned Offset =
2429 sizeof(int32_t) + // Length of Compilation Unit Info
2430 sizeof(int16_t) + // DWARF version number
2431 sizeof(int32_t) + // Offset Into Abbrev. Section
2432 sizeof(int8_t); // Pointer Size (in bytes)
2433
Devang Patel2c4ceb12009-11-21 02:48:08 +00002434 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002435 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002436}
2437
Devang Patel2c4ceb12009-11-21 02:48:08 +00002438/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling94d04b82009-05-20 23:21:38 +00002439/// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002440void DwarfDebug::emitInitial() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002441 // Check to see if we already emitted intial headers.
2442 if (didInitial) return;
2443 didInitial = true;
2444
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002445 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002446
Bill Wendling94d04b82009-05-20 23:21:38 +00002447 // Dwarf sections base addresses.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002448 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002449 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002450 Asm->OutStreamer.EmitLabel(getTempLabel("section_debug_frame"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002451 }
2452
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002453 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002454 Asm->OutStreamer.EmitLabel(getTempLabel("section_info"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002455 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002456 Asm->OutStreamer.EmitLabel(getTempLabel("section_abbrev"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002457 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002458 Asm->OutStreamer.EmitLabel(getTempLabel("section_aranges"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002459
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002460 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2461 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002462 Asm->OutStreamer.EmitLabel(getTempLabel("section_macinfo"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002463 }
2464
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002465 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002466 Asm->OutStreamer.EmitLabel(getTempLabel("section_line"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002467 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002468 Asm->OutStreamer.EmitLabel(getTempLabel("section_loc"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002469 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002470 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubnames"));
Devang Patel193f7202009-11-24 01:14:22 +00002471 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002472 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubtypes"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002473 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002474 Asm->OutStreamer.EmitLabel(getTempLabel("section_str"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002475 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002476 Asm->OutStreamer.EmitLabel(getTempLabel("section_ranges"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002477
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002478 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002479 Asm->OutStreamer.EmitLabel(getTempLabel("text_begin"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002480 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattnerf829eef2010-03-08 22:44:40 +00002481 Asm->OutStreamer.EmitLabel(getTempLabel("data_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002482}
2483
Devang Patel2c4ceb12009-11-21 02:48:08 +00002484/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002485///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002486void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002487 // Get the abbreviation for this DIE.
2488 unsigned AbbrevNumber = Die->getAbbrevNumber();
2489 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2490
Bill Wendling94d04b82009-05-20 23:21:38 +00002491 // Emit the code (index) for the abbreviation.
Chris Lattner894d75a2010-01-22 23:18:42 +00002492 if (Asm->VerboseAsm)
2493 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2494 Twine::utohexstr(Die->getOffset()) + ":0x" +
2495 Twine::utohexstr(Die->getSize()) + " " +
2496 dwarf::TagString(Abbrev->getTag()));
2497 EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002498
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002499 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling94d04b82009-05-20 23:21:38 +00002500 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2501
2502 // Emit the DIE attribute values.
2503 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2504 unsigned Attr = AbbrevData[i].getAttribute();
2505 unsigned Form = AbbrevData[i].getForm();
2506 assert(Form && "Too many attributes for DIE (check abbreviation)");
2507
Chris Lattnera8013622010-01-24 18:54:17 +00002508 if (Asm->VerboseAsm)
2509 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2510
Bill Wendling94d04b82009-05-20 23:21:38 +00002511 switch (Attr) {
2512 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002513 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002514 break;
2515 case dwarf::DW_AT_abstract_origin: {
2516 DIEEntry *E = cast<DIEEntry>(Values[i]);
2517 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002518 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002519 Asm->EmitInt32(Addr);
2520 break;
2521 }
2522 default:
2523 // Emit an attribute using the defined form.
2524 Values[i]->EmitValue(this, Form);
2525 break;
2526 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002527 }
2528
2529 // Emit the DIE children if any.
2530 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2531 const std::vector<DIE *> &Children = Die->getChildren();
2532
2533 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002534 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002535
Chris Lattner233f52b2010-03-09 23:52:58 +00002536 if (Asm->VerboseAsm)
2537 Asm->OutStreamer.AddComment("End Of Children Mark");
2538 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002539 }
2540}
2541
Devang Patel8a241142009-12-09 18:24:21 +00002542/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002543///
Devang Patel8a241142009-12-09 18:24:21 +00002544void DwarfDebug::emitDebugInfo() {
2545 // Start debug info section.
2546 Asm->OutStreamer.SwitchSection(
2547 Asm->getObjFileLowering().getDwarfInfoSection());
2548 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002549
2550 // Emit the compile units header.
Chris Lattnerf829eef2010-03-08 22:44:40 +00002551 Asm->OutStreamer.EmitLabel(getDWLabel("info_begin", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002552
2553 // Emit size of content not including length itself
2554 unsigned ContentSize = Die->getSize() +
2555 sizeof(int16_t) + // DWARF version number
2556 sizeof(int32_t) + // Offset Into Abbrev. Section
2557 sizeof(int8_t) + // Pointer Size (in bytes)
2558 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2559
Chris Lattner233f52b2010-03-09 23:52:58 +00002560 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2561 Asm->EmitInt32(ContentSize);
2562 Asm->OutStreamer.AddComment("DWARF version number");
2563 Asm->EmitInt16(dwarf::DWARF_VERSION);
2564 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Devang Patel5b33f312010-03-17 17:29:55 +00002565 EmitSectionOffset(getTempLabel("abbrev_begin"),getTempLabel("section_abbrev"),
2566 true);
Chris Lattner233f52b2010-03-09 23:52:58 +00002567 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2568 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002569
Devang Patel2c4ceb12009-11-21 02:48:08 +00002570 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002571 // FIXME - extra padding for gdb bug.
Chris Lattner233f52b2010-03-09 23:52:58 +00002572 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2573 Asm->EmitInt8(0);
2574 Asm->EmitInt8(0);
2575 Asm->EmitInt8(0);
2576 Asm->EmitInt8(0);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002577 Asm->OutStreamer.EmitLabel(getDWLabel("info_end", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002578}
2579
Devang Patel2c4ceb12009-11-21 02:48:08 +00002580/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002581///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002582void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002583 // Check to see if it is worth the effort.
2584 if (!Abbreviations.empty()) {
2585 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002586 Asm->OutStreamer.SwitchSection(
2587 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002588
Chris Lattnerf829eef2010-03-08 22:44:40 +00002589 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002590
2591 // For each abbrevation.
2592 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2593 // Get abbreviation data
2594 const DIEAbbrev *Abbrev = Abbreviations[i];
2595
2596 // Emit the abbrevations code (base 1 index.)
Chris Lattner894d75a2010-01-22 23:18:42 +00002597 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002598
2599 // Emit the abbreviations data.
Chris Lattner894d75a2010-01-22 23:18:42 +00002600 Abbrev->Emit(this);
Bill Wendling94d04b82009-05-20 23:21:38 +00002601 }
2602
2603 // Mark end of abbreviations.
Chris Lattner894d75a2010-01-22 23:18:42 +00002604 EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002605
Chris Lattnerf829eef2010-03-08 22:44:40 +00002606 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002607 }
2608}
2609
Devang Patel2c4ceb12009-11-21 02:48:08 +00002610/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002611/// the line matrix.
2612///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002613void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002614 // Define last address of section.
Chris Lattner233f52b2010-03-09 23:52:58 +00002615 Asm->OutStreamer.AddComment("Extended Op");
2616 Asm->EmitInt8(0);
2617
2618 Asm->OutStreamer.AddComment("Op size");
2619 Asm->EmitInt8(TD->getPointerSize() + 1);
2620 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2621 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2622
2623 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002624
2625 Asm->OutStreamer.EmitSymbolValue(getDWLabel("section_end", SectionEnd),
2626 TD->getPointerSize(), 0/*AddrSpace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00002627
2628 // Mark end of matrix.
Chris Lattner233f52b2010-03-09 23:52:58 +00002629 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2630 Asm->EmitInt8(0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002631 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002632 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002633}
2634
Devang Patel2c4ceb12009-11-21 02:48:08 +00002635/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002636///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002637void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002638 // If the target is using .loc/.file, the assembler will be emitting the
2639 // .debug_line table automatically.
Chris Lattner33adcfb2009-08-22 21:43:10 +00002640 if (MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002641 return;
2642
2643 // Minimum line delta, thus ranging from -10..(255-10).
2644 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2645 // Maximum line delta, thus ranging from -10..(255-10).
2646 const int MaxLineDelta = 255 + MinLineDelta;
2647
2648 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002649 Asm->OutStreamer.SwitchSection(
2650 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002651
2652 // Construct the section header.
Chris Lattner233f52b2010-03-09 23:52:58 +00002653 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattnerf829eef2010-03-08 22:44:40 +00002654 EmitDifference(getTempLabel("line_end"), getTempLabel("line_begin"), true);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002655 Asm->OutStreamer.EmitLabel(getTempLabel("line_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002656
Chris Lattner233f52b2010-03-09 23:52:58 +00002657 Asm->OutStreamer.AddComment("DWARF version number");
2658 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002659
Chris Lattner233f52b2010-03-09 23:52:58 +00002660 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattnerf829eef2010-03-08 22:44:40 +00002661 EmitDifference(getTempLabel("line_prolog_end"),
2662 getTempLabel("line_prolog_begin"), true);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002663 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002664
Chris Lattner233f52b2010-03-09 23:52:58 +00002665 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2666 Asm->EmitInt8(1);
2667 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2668 Asm->EmitInt8(1);
2669 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2670 Asm->EmitInt8(MinLineDelta);
2671 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2672 Asm->EmitInt8(MaxLineDelta);
2673 Asm->OutStreamer.AddComment("Special Opcode Base");
2674 Asm->EmitInt8(-MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002675
2676 // Line number standard opcode encodings argument count
Chris Lattner233f52b2010-03-09 23:52:58 +00002677 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2678 Asm->EmitInt8(0);
2679 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2680 Asm->EmitInt8(1);
2681 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2682 Asm->EmitInt8(1);
2683 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2684 Asm->EmitInt8(1);
2685 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2686 Asm->EmitInt8(1);
2687 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2688 Asm->EmitInt8(0);
2689 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2690 Asm->EmitInt8(0);
2691 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2692 Asm->EmitInt8(0);
2693 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2694 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002695
2696 // Emit directories.
2697 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattner4cf202b2010-01-23 03:11:46 +00002698 const std::string &Dir = getSourceDirectoryName(DI);
2699 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2700 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002701 }
2702
Chris Lattner233f52b2010-03-09 23:52:58 +00002703 Asm->OutStreamer.AddComment("End of directories");
2704 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002705
2706 // Emit files.
2707 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2708 // Remember source id starts at 1.
2709 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattner4cf202b2010-01-23 03:11:46 +00002710 const std::string &FN = getSourceFileName(Id.second);
2711 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2712 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2713
Chris Lattner894d75a2010-01-22 23:18:42 +00002714 EmitULEB128(Id.first, "Directory #");
2715 EmitULEB128(0, "Mod date");
2716 EmitULEB128(0, "File size");
Bill Wendling94d04b82009-05-20 23:21:38 +00002717 }
2718
Chris Lattner233f52b2010-03-09 23:52:58 +00002719 Asm->OutStreamer.AddComment("End of files");
2720 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002721
Chris Lattnerf829eef2010-03-08 22:44:40 +00002722 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002723
2724 // A sequence for each text section.
2725 unsigned SecSrcLinesSize = SectionSourceLines.size();
2726
2727 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2728 // Isolate current sections line info.
2729 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2730
Bill Wendling94d04b82009-05-20 23:21:38 +00002731 // Dwarf assumes we start with first line of first source file.
2732 unsigned Source = 1;
2733 unsigned Line = 1;
2734
2735 // Construct rows of the address, source, line, column matrix.
2736 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2737 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner25b68c62010-03-14 08:15:55 +00002738 MCSymbol *Label = LineInfo.getLabel();
Chris Lattnerb9130602010-03-14 02:20:58 +00002739 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling94d04b82009-05-20 23:21:38 +00002740
Caroline Ticec6f9d622009-09-11 18:25:54 +00002741 if (LineInfo.getLine() == 0) continue;
2742
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002743 if (Asm->isVerbose()) {
Chris Lattner188a87d2010-03-10 01:04:13 +00002744 std::pair<unsigned, unsigned> SrcID =
Bill Wendling94d04b82009-05-20 23:21:38 +00002745 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner188a87d2010-03-10 01:04:13 +00002746 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner49f618a2010-03-10 02:29:31 +00002747 "/" +
2748 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner188a87d2010-03-10 01:04:13 +00002749 ":" + Twine(LineInfo.getLine()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002750 }
2751
2752 // Define the line address.
Chris Lattner233f52b2010-03-09 23:52:58 +00002753 Asm->OutStreamer.AddComment("Extended Op");
2754 Asm->EmitInt8(0);
2755 Asm->OutStreamer.AddComment("Op size");
2756 Asm->EmitInt8(TD->getPointerSize() + 1);
2757
2758 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2759 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2760
2761 Asm->OutStreamer.AddComment("Location label");
Chris Lattnerb9130602010-03-14 02:20:58 +00002762 Asm->OutStreamer.EmitSymbolValue(Label, TD->getPointerSize(),
2763 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002764
Bill Wendling94d04b82009-05-20 23:21:38 +00002765 // If change of source, then switch to the new source.
2766 if (Source != LineInfo.getSourceID()) {
2767 Source = LineInfo.getSourceID();
Chris Lattner233f52b2010-03-09 23:52:58 +00002768 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2769 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattner894d75a2010-01-22 23:18:42 +00002770 EmitULEB128(Source, "New Source");
Bill Wendling94d04b82009-05-20 23:21:38 +00002771 }
2772
2773 // If change of line.
2774 if (Line != LineInfo.getLine()) {
2775 // Determine offset.
2776 int Offset = LineInfo.getLine() - Line;
2777 int Delta = Offset - MinLineDelta;
2778
2779 // Update line.
2780 Line = LineInfo.getLine();
2781
2782 // If delta is small enough and in range...
2783 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2784 // ... then use fast opcode.
Chris Lattner233f52b2010-03-09 23:52:58 +00002785 Asm->OutStreamer.AddComment("Line Delta");
2786 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002787 } else {
2788 // ... otherwise use long hand.
Chris Lattner233f52b2010-03-09 23:52:58 +00002789 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling94d04b82009-05-20 23:21:38 +00002790 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattnerbb9078a2010-01-22 22:56:55 +00002791 EmitSLEB128(Offset, "Line Offset");
Chris Lattner233f52b2010-03-09 23:52:58 +00002792 Asm->OutStreamer.AddComment("DW_LNS_copy");
2793 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002794 }
2795 } else {
2796 // Copy the previous row (different address or source)
Chris Lattner233f52b2010-03-09 23:52:58 +00002797 Asm->OutStreamer.AddComment("DW_LNS_copy");
2798 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002799 }
2800 }
2801
Devang Patel2c4ceb12009-11-21 02:48:08 +00002802 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002803 }
2804
2805 if (SecSrcLinesSize == 0)
2806 // Because we're emitting a debug_line section, we still need a line
2807 // table. The linker and friends expect it to exist. If there's nothing to
2808 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002809 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002810
Chris Lattnerf829eef2010-03-08 22:44:40 +00002811 Asm->OutStreamer.EmitLabel(getTempLabel("line_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002812}
2813
Devang Patel2c4ceb12009-11-21 02:48:08 +00002814/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002815///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002816void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002817 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002818 return;
2819
2820 int stackGrowth =
2821 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2822 TargetFrameInfo::StackGrowsUp ?
2823 TD->getPointerSize() : -TD->getPointerSize();
2824
2825 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002826 Asm->OutStreamer.SwitchSection(
2827 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002828
Chris Lattnerf829eef2010-03-08 22:44:40 +00002829 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002830 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnereffa8682010-03-08 23:02:59 +00002831 EmitDifference(getTempLabel("debug_frame_common_end"),
2832 getTempLabel("debug_frame_common_begin"), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002833
Chris Lattnerf829eef2010-03-08 22:44:40 +00002834 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_begin"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002835 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling94d04b82009-05-20 23:21:38 +00002836 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner233f52b2010-03-09 23:52:58 +00002837 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002838 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner233f52b2010-03-09 23:52:58 +00002839 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002840 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner894d75a2010-01-22 23:18:42 +00002841 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattnerbb9078a2010-01-22 22:56:55 +00002842 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner233f52b2010-03-09 23:52:58 +00002843 Asm->OutStreamer.AddComment("CIE RA Column");
Bill Wendling94d04b82009-05-20 23:21:38 +00002844 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling94d04b82009-05-20 23:21:38 +00002845
2846 std::vector<MachineMove> Moves;
2847 RI->getInitialFrameState(Moves);
2848
Chris Lattner5e6cbe02010-03-13 08:05:25 +00002849 EmitFrameMoves(0, Moves, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002850
2851 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002852 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002853}
2854
Devang Patel2c4ceb12009-11-21 02:48:08 +00002855/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002856/// section.
Chris Lattner206d61e2010-03-13 07:26:18 +00002857void DwarfDebug::
2858emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00002859 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002860 return;
2861
2862 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002863 Asm->OutStreamer.SwitchSection(
2864 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002865
Chris Lattner233f52b2010-03-09 23:52:58 +00002866 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner206d61e2010-03-13 07:26:18 +00002867 MCSymbol *DebugFrameBegin =
2868 getDWLabel("debug_frame_begin", DebugFrameInfo.Number);
2869 MCSymbol *DebugFrameEnd =
2870 getDWLabel("debug_frame_end", DebugFrameInfo.Number);
2871 EmitDifference(DebugFrameEnd, DebugFrameBegin, true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002872
Chris Lattner206d61e2010-03-13 07:26:18 +00002873 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling94d04b82009-05-20 23:21:38 +00002874
Chris Lattner233f52b2010-03-09 23:52:58 +00002875 Asm->OutStreamer.AddComment("FDE CIE offset");
Devang Patel5b33f312010-03-17 17:29:55 +00002876 EmitSectionOffset(getTempLabel("debug_frame_common"),
2877 getTempLabel("section_debug_frame"), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002878
Chris Lattner233f52b2010-03-09 23:52:58 +00002879 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnerfb658072010-03-13 07:40:56 +00002880 MCSymbol *FuncBeginSym = getDWLabel("func_begin", DebugFrameInfo.Number);
2881 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002882 TD->getPointerSize(), 0/*AddrSpace*/);
2883
2884
Chris Lattner233f52b2010-03-09 23:52:58 +00002885 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnerfb658072010-03-13 07:40:56 +00002886 EmitDifference(getDWLabel("func_end", DebugFrameInfo.Number), FuncBeginSym);
Bill Wendling94d04b82009-05-20 23:21:38 +00002887
Chris Lattner5e6cbe02010-03-13 08:05:25 +00002888 EmitFrameMoves(FuncBeginSym, DebugFrameInfo.Moves, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002889
2890 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner206d61e2010-03-13 07:26:18 +00002891 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling94d04b82009-05-20 23:21:38 +00002892}
2893
Devang Patel8a241142009-12-09 18:24:21 +00002894/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2895///
2896void DwarfDebug::emitDebugPubNames() {
2897 // Start the dwarf pubnames section.
2898 Asm->OutStreamer.SwitchSection(
2899 Asm->getObjFileLowering().getDwarfPubNamesSection());
2900
Chris Lattner233f52b2010-03-09 23:52:58 +00002901 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattnereffa8682010-03-08 23:02:59 +00002902 EmitDifference(getDWLabel("pubnames_end", ModuleCU->getID()),
2903 getDWLabel("pubnames_begin", ModuleCU->getID()), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002904
Chris Lattnerf829eef2010-03-08 22:44:40 +00002905 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_begin", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002906
Chris Lattner233f52b2010-03-09 23:52:58 +00002907 Asm->OutStreamer.AddComment("DWARF Version");
2908 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002909
Chris Lattner233f52b2010-03-09 23:52:58 +00002910 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00002911 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel5b33f312010-03-17 17:29:55 +00002912 getTempLabel("section_info"), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002913
Chris Lattner233f52b2010-03-09 23:52:58 +00002914 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattnereffa8682010-03-08 23:02:59 +00002915 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2916 getDWLabel("info_begin", ModuleCU->getID()),
Bill Wendling94d04b82009-05-20 23:21:38 +00002917 true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002918
Devang Patel8a241142009-12-09 18:24:21 +00002919 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002920 for (StringMap<DIE*>::const_iterator
2921 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2922 const char *Name = GI->getKeyData();
Chris Lattner233f52b2010-03-09 23:52:58 +00002923 DIE *Entity = GI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002924
Chris Lattner233f52b2010-03-09 23:52:58 +00002925 Asm->OutStreamer.AddComment("DIE offset");
2926 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002927
2928 if (Asm->VerboseAsm)
2929 Asm->OutStreamer.AddComment("External Name");
2930 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002931 }
2932
Chris Lattner233f52b2010-03-09 23:52:58 +00002933 Asm->OutStreamer.AddComment("End Mark");
2934 Asm->EmitInt32(0);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002935 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_end", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002936}
2937
Devang Patel193f7202009-11-24 01:14:22 +00002938void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002939 // Start the dwarf pubnames section.
2940 Asm->OutStreamer.SwitchSection(
2941 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner233f52b2010-03-09 23:52:58 +00002942 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattnereffa8682010-03-08 23:02:59 +00002943 EmitDifference(getDWLabel("pubtypes_end", ModuleCU->getID()),
2944 getDWLabel("pubtypes_begin", ModuleCU->getID()), true);
Devang Patel193f7202009-11-24 01:14:22 +00002945
Chris Lattnerf829eef2010-03-08 22:44:40 +00002946 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_begin", ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00002947
Devang Patele3d6d222010-02-02 03:47:27 +00002948 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2949 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel193f7202009-11-24 01:14:22 +00002950
Chris Lattner233f52b2010-03-09 23:52:58 +00002951 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00002952 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel5b33f312010-03-17 17:29:55 +00002953 getTempLabel("section_info"), true);
Devang Patel193f7202009-11-24 01:14:22 +00002954
Chris Lattner233f52b2010-03-09 23:52:58 +00002955 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattnereffa8682010-03-08 23:02:59 +00002956 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2957 getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel193f7202009-11-24 01:14:22 +00002958 true);
Devang Patel193f7202009-11-24 01:14:22 +00002959
2960 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2961 for (StringMap<DIE*>::const_iterator
2962 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2963 const char *Name = GI->getKeyData();
2964 DIE * Entity = GI->second;
2965
Devang Patele3d6d222010-02-02 03:47:27 +00002966 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2967 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002968
2969 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel31acb892010-02-02 03:37:03 +00002970 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel193f7202009-11-24 01:14:22 +00002971 }
2972
Chris Lattner233f52b2010-03-09 23:52:58 +00002973 Asm->OutStreamer.AddComment("End Mark");
2974 Asm->EmitInt32(0);
Chris Lattnerf829eef2010-03-08 22:44:40 +00002975 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_end", ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00002976}
2977
Devang Patel2c4ceb12009-11-21 02:48:08 +00002978/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002979///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002980void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002981 // Check to see if it is worth the effort.
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002982 if (StringPool.empty()) return;
2983
2984 // Start the dwarf str section.
2985 Asm->OutStreamer.SwitchSection(
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002986 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002987
Chris Lattnerbc733f52010-03-13 02:17:42 +00002988 // Get all of the string pool entries and put them in an array by their ID so
2989 // we can sort them.
2990 SmallVector<std::pair<unsigned,
2991 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
2992
2993 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
2994 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
2995 Entries.push_back(std::make_pair(I->second.second, &*I));
2996
2997 array_pod_sort(Entries.begin(), Entries.end());
2998
2999 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003000 // Emit a label for reference from debug information entries.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003001 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003002
3003 // Emit the string itself.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003004 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00003005 }
3006}
3007
Devang Patel2c4ceb12009-11-21 02:48:08 +00003008/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003009///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003010void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003011 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003012 Asm->OutStreamer.SwitchSection(
3013 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003014}
3015
3016/// EmitDebugARanges - Emit visible names into a debug aranges section.
3017///
3018void DwarfDebug::EmitDebugARanges() {
3019 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003020 Asm->OutStreamer.SwitchSection(
3021 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003022}
3023
Devang Patel2c4ceb12009-11-21 02:48:08 +00003024/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003025///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003026void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003027 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003028 Asm->OutStreamer.SwitchSection(
3029 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003030}
3031
Devang Patel2c4ceb12009-11-21 02:48:08 +00003032/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003033///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003034void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00003035 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00003036 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00003037 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003038 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00003039 }
3040}
3041
Devang Patel2c4ceb12009-11-21 02:48:08 +00003042/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00003043/// Section Header:
3044/// 1. length of section
3045/// 2. Dwarf version number
3046/// 3. address size.
3047///
3048/// Entries (one "entry" for each function that was inlined):
3049///
3050/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3051/// otherwise offset into __debug_str for regular function name.
3052/// 2. offset into __debug_str section for regular function name.
3053/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3054/// instances for the function.
3055///
3056/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3057/// inlined instance; the die_offset points to the inlined_subroutine die in the
3058/// __debug_info section, and the low_pc is the starting address for the
3059/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00003060void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner33adcfb2009-08-22 21:43:10 +00003061 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00003062 return;
3063
Devang Patel1dbc7712009-06-29 20:45:18 +00003064 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00003065 return;
3066
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003067 Asm->OutStreamer.SwitchSection(
3068 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00003069
Chris Lattner233f52b2010-03-09 23:52:58 +00003070 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnereffa8682010-03-08 23:02:59 +00003071 EmitDifference(getDWLabel("debug_inlined_end", 1),
3072 getDWLabel("debug_inlined_begin", 1), true);
Bill Wendling94d04b82009-05-20 23:21:38 +00003073
Chris Lattnerf829eef2010-03-08 22:44:40 +00003074 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_begin", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003075
Chris Lattner233f52b2010-03-09 23:52:58 +00003076 Asm->OutStreamer.AddComment("Dwarf Version");
3077 Asm->EmitInt16(dwarf::DWARF_VERSION);
3078 Asm->OutStreamer.AddComment("Address Size (in bytes)");
3079 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00003080
Devang Patel53bb5c92009-11-10 23:06:00 +00003081 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3082 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00003083
Devang Patel53bb5c92009-11-10 23:06:00 +00003084 MDNode *Node = *I;
Devang Patel622b0262010-01-19 06:19:05 +00003085 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00003086 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00003087 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00003088 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00003089 StringRef LName = SP.getLinkageName();
3090 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00003091
Chris Lattner233f52b2010-03-09 23:52:58 +00003092 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattner4cf202b2010-01-23 03:11:46 +00003093 if (LName.empty()) {
3094 Asm->OutStreamer.EmitBytes(Name, 0);
3095 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3096 } else
Chris Lattnerbc733f52010-03-13 02:17:42 +00003097 EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattnerb98b1bf2010-03-08 22:23:36 +00003098 getTempLabel("section_str"), true);
Devang Patel53bb5c92009-11-10 23:06:00 +00003099
Chris Lattner233f52b2010-03-09 23:52:58 +00003100 Asm->OutStreamer.AddComment("Function name");
Devang Patel5b33f312010-03-17 17:29:55 +00003101 EmitSectionOffset(getStringPoolEntry(Name), getTempLabel("section_str"),
3102 true);
Chris Lattner894d75a2010-01-22 23:18:42 +00003103 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00003104
Devang Patel53bb5c92009-11-10 23:06:00 +00003105 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00003106 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner6ed0f902010-03-09 00:31:02 +00003107 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
3108 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00003109
Chris Lattnerb9dc5f72010-03-09 00:26:09 +00003110 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner6cde3e62010-03-09 00:39:24 +00003111 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00003112 }
3113 }
3114
Chris Lattnerf829eef2010-03-08 22:44:40 +00003115 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_end", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003116}