blob: 0af6b3315ae73f5c694a96f8a0a041770cb04eaa [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"
Chris Lattner74e41f92010-04-05 05:24:55 +000016#include "DIE.h"
Bill Wendling57fbba42010-04-05 22:59:21 +000017#include "llvm/Constants.h"
Bill Wendling0310d762009-05-15 09:23:25 +000018#include "llvm/Module.h"
David Greeneb2c66fc2009-08-19 21:52:55 +000019#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling0310d762009-05-15 09:23:25 +000020#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnerb7db7332010-03-09 01:58:53 +000021#include "llvm/MC/MCAsmInfo.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000022#include "llvm/MC/MCSection.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000023#include "llvm/MC/MCStreamer.h"
Chris Lattnerb7db7332010-03-09 01:58:53 +000024#include "llvm/MC/MCSymbol.h"
Chris Lattner45111d12010-01-16 21:57:06 +000025#include "llvm/Target/Mangler.h"
Bill Wendling0310d762009-05-15 09:23:25 +000026#include "llvm/Target/TargetData.h"
27#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000028#include "llvm/Target/TargetLoweringObjectFile.h"
Chris Lattner9d1c1ad2010-04-04 18:06:11 +000029#include "llvm/Target/TargetMachine.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000030#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner74e41f92010-04-05 05:24:55 +000031#include "llvm/Analysis/DebugInfo.h"
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +000032#include "llvm/ADT/STLExtras.h"
Chris Lattner23132b12009-08-24 03:52:50 +000033#include "llvm/ADT/StringExtras.h"
Daniel Dunbar6e4bdfc2009-10-13 06:47:08 +000034#include "llvm/Support/Debug.h"
35#include "llvm/Support/ErrorHandling.h"
Devang Patel3139fcf2010-01-26 21:39:14 +000036#include "llvm/Support/ValueHandle.h"
Chris Lattner0ad9c912010-01-22 22:09:00 +000037#include "llvm/Support/FormattedStream.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000038#include "llvm/Support/Timer.h"
39#include "llvm/System/Path.h"
Bill Wendling0310d762009-05-15 09:23:25 +000040using namespace llvm;
41
Bill Wendling0310d762009-05-15 09:23:25 +000042//===----------------------------------------------------------------------===//
43
44/// Configuration values for initial hash set sizes (log2).
45///
Bill Wendling0310d762009-05-15 09:23:25 +000046static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-05-15 09:23:25 +000047
48namespace llvm {
49
50//===----------------------------------------------------------------------===//
51/// CompileUnit - This dwarf writer support class manages information associate
52/// with a source file.
Nick Lewycky5f9843f2009-11-17 08:11:44 +000053class CompileUnit {
Bill Wendling0310d762009-05-15 09:23:25 +000054 /// ID - File identifier for source.
55 ///
56 unsigned ID;
57
58 /// Die - Compile unit debug information entry.
59 ///
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +000060 const OwningPtr<DIE> CUDie;
Bill Wendling0310d762009-05-15 09:23:25 +000061
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +000062 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel6f01d9c2009-11-21 00:31:03 +000063 DIE *IndexTyDie;
64
Bill Wendling0310d762009-05-15 09:23:25 +000065 /// GVToDieMap - Tracks the mapping of unit level debug informaton
66 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000067 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel622b0262010-01-19 06:19:05 +000068 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-05-15 09:23:25 +000069
70 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
71 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patele4b27562009-08-28 23:24:31 +000072 /// FIXME : Rename
Devang Patel622b0262010-01-19 06:19:05 +000073 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-05-15 09:23:25 +000074
75 /// Globals - A map of globally visible named entities for this unit.
76 ///
77 StringMap<DIE*> Globals;
78
Devang Patel193f7202009-11-24 01:14:22 +000079 /// GlobalTypes - A map of globally visible types for this unit.
80 ///
81 StringMap<DIE*> GlobalTypes;
82
Bill Wendling0310d762009-05-15 09:23:25 +000083public:
84 CompileUnit(unsigned I, DIE *D)
Devang Patel2c4ceb12009-11-21 02:48:08 +000085 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +000086
87 // Accessors.
Devang Patel193f7202009-11-24 01:14:22 +000088 unsigned getID() const { return ID; }
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +000089 DIE* getCUDie() const { return CUDie.get(); }
Devang Patel193f7202009-11-24 01:14:22 +000090 const StringMap<DIE*> &getGlobals() const { return Globals; }
91 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling0310d762009-05-15 09:23:25 +000092
93 /// hasContent - Return true if this compile unit has something to write out.
94 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +000095 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +000096
Devang Patel2c4ceb12009-11-21 02:48:08 +000097 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +000098 ///
Benjamin Kramerbbb88db2010-03-31 20:15:45 +000099 void addGlobal(StringRef Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +0000100
Devang Patel193f7202009-11-24 01:14:22 +0000101 /// addGlobalType - Add a new global type to the compile unit.
102 ///
Benjamin Kramerbbb88db2010-03-31 20:15:45 +0000103 void addGlobalType(StringRef Name, DIE *Die) {
Devang Patel193f7202009-11-24 01:14:22 +0000104 GlobalTypes[Name] = Die;
105 }
106
Devang Patel017d1212009-11-20 21:37:22 +0000107 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling0310d762009-05-15 09:23:25 +0000108 /// specified debug variable.
Devang Patel017d1212009-11-20 21:37:22 +0000109 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000110
Devang Patel017d1212009-11-20 21:37:22 +0000111 /// insertDIE - Insert DIE into the map.
112 void insertDIE(MDNode *N, DIE *D) {
113 GVToDieMap.insert(std::make_pair(N, D));
114 }
Bill Wendling0310d762009-05-15 09:23:25 +0000115
Devang Patel017d1212009-11-20 21:37:22 +0000116 /// getDIEEntry - Returns the debug information entry for the speciefied
117 /// debug variable.
Devang Patel6404e4e2009-12-15 19:16:48 +0000118 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel622b0262010-01-19 06:19:05 +0000119 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel6404e4e2009-12-15 19:16:48 +0000120 if (I == GVToDIEEntryMap.end())
121 return NULL;
122 return I->second;
123 }
Devang Patel017d1212009-11-20 21:37:22 +0000124
125 /// insertDIEEntry - Insert debug information entry into the map.
126 void insertDIEEntry(MDNode *N, DIEEntry *E) {
127 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling0310d762009-05-15 09:23:25 +0000128 }
129
Devang Patel2c4ceb12009-11-21 02:48:08 +0000130 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +0000131 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000132 void addDie(DIE *Buffer) {
133 this->CUDie->addChild(Buffer);
Bill Wendling0310d762009-05-15 09:23:25 +0000134 }
Devang Patel6f01d9c2009-11-21 00:31:03 +0000135
136 // getIndexTyDie - Get an anonymous type for index type.
137 DIE *getIndexTyDie() {
138 return IndexTyDie;
139 }
140
Jim Grosbach7ab38df2009-11-22 19:20:36 +0000141 // setIndexTyDie - Set D as anonymous type for index which can be reused
142 // later.
Devang Patel6f01d9c2009-11-21 00:31:03 +0000143 void setIndexTyDie(DIE *D) {
144 IndexTyDie = D;
145 }
146
Bill Wendling0310d762009-05-15 09:23:25 +0000147};
148
149//===----------------------------------------------------------------------===//
150/// DbgVariable - This class is used to track local variable information.
151///
Devang Patelf76a3d62009-11-16 21:53:40 +0000152class DbgVariable {
Bill Wendling0310d762009-05-15 09:23:25 +0000153 DIVariable Var; // Variable Descriptor.
154 unsigned FrameIndex; // Variable frame index.
Devang Patel90a48ad2010-03-15 18:33:46 +0000155 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Devang Patelaead63c2010-03-29 22:59:58 +0000156 // DbgValueLabel - DBG_VALUE is effective from this label.
157 MCSymbol *DbgValueLabel;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000158 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patel53bb5c92009-11-10 23:06:00 +0000159 DIE *TheDIE;
Bill Wendling0310d762009-05-15 09:23:25 +0000160public:
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000161 // AbsVar may be NULL.
162 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patelaead63c2010-03-29 22:59:58 +0000163 : Var(V), FrameIndex(I), DbgValueMInsn(0),
164 DbgValueLabel(0), AbstractVar(AbsVar), TheDIE(0) {}
Devang Patel90a48ad2010-03-15 18:33:46 +0000165 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
Devang Patelaead63c2010-03-29 22:59:58 +0000166 : Var(V), FrameIndex(0), DbgValueMInsn(MI), DbgValueLabel(0),
167 AbstractVar(AbsVar), TheDIE(0)
Devang Patel90a48ad2010-03-15 18:33:46 +0000168 {}
Bill Wendling0310d762009-05-15 09:23:25 +0000169
170 // Accessors.
Devang Patel53bb5c92009-11-10 23:06:00 +0000171 DIVariable getVariable() const { return Var; }
172 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patel90a48ad2010-03-15 18:33:46 +0000173 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patelaead63c2010-03-29 22:59:58 +0000174 MCSymbol *getDbgValueLabel() const { return DbgValueLabel; }
175 void setDbgValueLabel(MCSymbol *L) { DbgValueLabel = L; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000176 DbgVariable *getAbstractVariable() const { return AbstractVar; }
177 void setDIE(DIE *D) { TheDIE = D; }
178 DIE *getDIE() const { return TheDIE; }
Bill Wendling0310d762009-05-15 09:23:25 +0000179};
180
181//===----------------------------------------------------------------------===//
182/// DbgScope - This class is used to track scope information.
183///
Devang Patelf76a3d62009-11-16 21:53:40 +0000184class DbgScope {
Bill Wendling0310d762009-05-15 09:23:25 +0000185 DbgScope *Parent; // Parent to this scope.
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000186 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel3139fcf2010-01-26 21:39:14 +0000187 // Location at which this scope is inlined.
188 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel53bb5c92009-11-10 23:06:00 +0000189 bool AbstractScope; // Abstract Scope
Chris Lattnerb7db7332010-03-09 01:58:53 +0000190 MCSymbol *StartLabel; // Label ID of the beginning of scope.
191 MCSymbol *EndLabel; // Label ID of the end of scope.
Devang Pateld38dd112009-10-01 18:25:23 +0000192 const MachineInstr *LastInsn; // Last instruction of this scope.
193 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000194 // Scopes defined in scope. Contents not owned.
195 SmallVector<DbgScope *, 4> Scopes;
196 // Variables declared in scope. Contents owned.
197 SmallVector<DbgVariable *, 8> Variables;
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000198
Owen Anderson04c05f72009-06-24 22:53:20 +0000199 // Private state for dump()
200 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000201public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000202 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000203 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattnerb7db7332010-03-09 01:58:53 +0000204 StartLabel(0), EndLabel(0),
Devang Patelc90aefe2009-10-14 21:08:09 +0000205 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000206 virtual ~DbgScope();
207
208 // Accessors.
209 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000210 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000211 DIDescriptor getDesc() const { return Desc; }
Chris Lattnerbc733f52010-03-13 02:17:42 +0000212 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000213 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattnerb7db7332010-03-09 01:58:53 +0000214 MCSymbol *getStartLabel() const { return StartLabel; }
215 MCSymbol *getEndLabel() const { return EndLabel; }
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000216 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
217 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattnerb7db7332010-03-09 01:58:53 +0000218 void setStartLabel(MCSymbol *S) { StartLabel = S; }
219 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Pateld38dd112009-10-01 18:25:23 +0000220 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
221 const MachineInstr *getLastInsn() { return LastInsn; }
222 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000223 void setAbstractScope() { AbstractScope = true; }
224 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000225 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000226
Devang Patel2c4ceb12009-11-21 02:48:08 +0000227 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000228 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000229 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000230
Devang Patel2c4ceb12009-11-21 02:48:08 +0000231 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000232 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000233 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000234
Devang Patel344130e2010-01-04 20:44:00 +0000235 void fixInstructionMarkers(DenseMap<const MachineInstr *,
236 unsigned> &MIIndexMap) {
Chris Lattnered7a77b2010-03-31 05:36:29 +0000237 assert(getFirstInsn() && "First instruction is missing!");
Devang Patel344130e2010-01-04 20:44:00 +0000238
239 // Use the end of last child scope as end of this scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000240 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patelee890ed2010-01-05 16:59:17 +0000241 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel344130e2010-01-04 20:44:00 +0000242 unsigned LIndex = 0;
243 if (Scopes.empty()) {
Chris Lattnered7a77b2010-03-31 05:36:29 +0000244 assert(getLastInsn() && "Inner most scope does not have last insn!");
Devang Patel344130e2010-01-04 20:44:00 +0000245 return;
246 }
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000247 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel344130e2010-01-04 20:44:00 +0000248 SE = Scopes.end(); SI != SE; ++SI) {
249 DbgScope *DS = *SI;
250 DS->fixInstructionMarkers(MIIndexMap);
251 const MachineInstr *DSLastInsn = DS->getLastInsn();
252 unsigned DSI = MIIndexMap[DSLastInsn];
253 if (DSI > LIndex) {
254 LastInsn = DSLastInsn;
255 LIndex = DSI;
256 }
257 }
Devang Patel22fb4b22010-02-17 02:20:34 +0000258
259 unsigned CurrentLastInsnIndex = 0;
260 if (const MachineInstr *CL = getLastInsn())
261 CurrentLastInsnIndex = MIIndexMap[CL];
262 unsigned FIndex = MIIndexMap[getFirstInsn()];
263
264 // Set LastInsn as the last instruction for this scope only if
265 // it follows
266 // 1) this scope's first instruction and
267 // 2) current last instruction for this scope, if any.
268 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
269 setLastInsn(LastInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +0000270 }
271
Bill Wendling0310d762009-05-15 09:23:25 +0000272#ifndef NDEBUG
273 void dump() const;
274#endif
275};
Chris Lattnerea761862010-04-05 04:09:20 +0000276
277} // end llvm namespace
Bill Wendling0310d762009-05-15 09:23:25 +0000278
279#ifndef NDEBUG
280void DbgScope::dump() const {
David Greenef83adbc2009-12-24 00:31:35 +0000281 raw_ostream &err = dbgs();
Chris Lattnerc281de12009-08-23 00:51:00 +0000282 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000283 MDNode *N = Desc.getNode();
284 N->dump();
Chris Lattnerb7db7332010-03-09 01:58:53 +0000285 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patel53bb5c92009-11-10 23:06:00 +0000286 if (AbstractScope)
287 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000288
289 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000290 if (!Scopes.empty())
291 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000292 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
293 if (Scopes[i] != this)
294 Scopes[i]->dump();
295
296 IndentLevel -= 2;
297}
298#endif
299
Bill Wendling0310d762009-05-15 09:23:25 +0000300DbgScope::~DbgScope() {
Bill Wendling0310d762009-05-15 09:23:25 +0000301 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
302 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000303}
304
Chris Lattner49cd6642010-04-05 05:11:15 +0000305DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Chris Lattnerd38fee82010-04-05 00:13:49 +0000306 : Asm(A), MMI(Asm->MMI), ModuleCU(0),
Chris Lattner994cb122010-04-05 03:52:55 +0000307 AbbreviationsSet(InitAbbreviationsSetSize),
Chris Lattnerde4845c2010-04-02 19:42:39 +0000308 CurrentFnDbgScope(0), DebugTimer(0) {
Chris Lattnerbc733f52010-03-13 02:17:42 +0000309 NextStringPoolNumber = 0;
Chris Lattner9c69e285532010-04-04 22:59:04 +0000310
Chris Lattner4ad1efe2010-04-04 23:10:38 +0000311 DwarfFrameSectionSym = DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
312 DwarfStrSectionSym = TextSectionSym = 0;
Chris Lattner9c69e285532010-04-04 22:59:04 +0000313
Bill Wendling0310d762009-05-15 09:23:25 +0000314 if (TimePassesIsEnabled)
Chris Lattner0b86a6f2009-12-28 07:41:18 +0000315 DebugTimer = new Timer("Dwarf Debug Writer");
Chris Lattner49cd6642010-04-05 05:11:15 +0000316
317 beginModule(M);
Bill Wendling0310d762009-05-15 09:23:25 +0000318}
319DwarfDebug::~DwarfDebug() {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000320 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
321 DIEBlocks[j]->~DIEBlock();
Bill Wendling0310d762009-05-15 09:23:25 +0000322
Bill Wendling0310d762009-05-15 09:23:25 +0000323 delete DebugTimer;
324}
325
Chris Lattnerbc733f52010-03-13 02:17:42 +0000326MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
327 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
328 if (Entry.first) return Entry.first;
329
330 Entry.second = NextStringPoolNumber++;
Chris Lattnerc0215722010-04-04 19:25:43 +0000331 return Entry.first = Asm->GetTempSymbol("string", Entry.second);
Chris Lattnerbc733f52010-03-13 02:17:42 +0000332}
333
334
Devang Patel2c4ceb12009-11-21 02:48:08 +0000335/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000336///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000337void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000338 // Profile the node so that we can make it unique.
339 FoldingSetNodeID ID;
340 Abbrev.Profile(ID);
341
342 // Check the set for priors.
343 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
344
345 // If it's newly added.
346 if (InSet == &Abbrev) {
347 // Add to abbreviation list.
348 Abbreviations.push_back(&Abbrev);
349
350 // Assign the vector position + 1 as its number.
351 Abbrev.setNumber(Abbreviations.size());
352 } else {
353 // Assign existing abbreviation number.
354 Abbrev.setNumber(InSet->getNumber());
355 }
356}
357
Devang Patel2c4ceb12009-11-21 02:48:08 +0000358/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000359/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000360DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000361 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000362 return Value;
363}
364
Devang Patel2c4ceb12009-11-21 02:48:08 +0000365/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000366///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000367void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000368 unsigned Form, uint64_t Integer) {
369 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000370 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000371 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000372}
373
Devang Patel2c4ceb12009-11-21 02:48:08 +0000374/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000375///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000376void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000377 unsigned Form, int64_t Integer) {
378 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000379 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000380 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000381}
382
Devang Patel69f57b12009-12-02 15:25:16 +0000383/// addString - Add a string attribute data and value. DIEString only
384/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000385void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner4cf202b2010-01-23 03:11:46 +0000386 StringRef String) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000387 DIEValue *Value = new (DIEValueAllocator) DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000388 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000389}
390
Devang Patel2c4ceb12009-11-21 02:48:08 +0000391/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000392///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000393void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000394 const MCSymbol *Label) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000395 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000396 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000397}
398
Devang Patel2c4ceb12009-11-21 02:48:08 +0000399/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000400///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000401void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000402 const MCSymbol *Hi, const MCSymbol *Lo) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000403 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000404 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000405}
406
Chris Lattner74e41f92010-04-05 05:24:55 +0000407/// addDIEEntry - Add a DIE attribute data and value.
408///
409void DwarfDebug::addDIEEntry(DIE *Die, unsigned Attribute, unsigned Form,
410 DIE *Entry) {
411 Die->addValue(Attribute, Form, createDIEEntry(Entry));
412}
413
414
Devang Patel2c4ceb12009-11-21 02:48:08 +0000415/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000416///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000417void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000418 DIEBlock *Block) {
Chris Lattnera37d5382010-04-05 00:18:22 +0000419 Block->ComputeSize(Asm);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000420 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000421 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000422}
423
Devang Patel2c4ceb12009-11-21 02:48:08 +0000424/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000425/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000426void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000427 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000428 if (!V->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000429 return;
430
431 unsigned Line = V->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000432 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
433 V->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000434 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000435 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
436 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000437}
438
Devang Patel2c4ceb12009-11-21 02:48:08 +0000439/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000440/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000441void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000442 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000443 if (!G->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000444 return;
445
446 unsigned Line = G->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000447 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
448 G->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000449 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000450 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
451 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000452}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000453
Devang Patel2c4ceb12009-11-21 02:48:08 +0000454/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000455/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000456void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000457 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000458 if (!SP->getCompileUnit().Verify())
Devang Patel82dfc0c2009-08-31 22:47:13 +0000459 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000460 // If the line number is 0, don't add it.
461 if (SP->getLineNumber() == 0)
462 return;
463
Devang Patel82dfc0c2009-08-31 22:47:13 +0000464 unsigned Line = SP->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000465 if (!SP->getContext().Verify())
466 return;
Devang Patel9bb59a22010-03-24 21:30:35 +0000467 unsigned FileID = GetOrCreateSourceID(SP->getDirectory(),
468 SP->getFilename());
Devang Patel82dfc0c2009-08-31 22:47:13 +0000469 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000470 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
471 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000472}
473
Devang Patel2c4ceb12009-11-21 02:48:08 +0000474/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000475/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000476void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000477 // If there is no compile unit specified, don't add a line #.
478 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel3c91b052010-03-08 20:52:55 +0000479 if (!CU.Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000480 return;
481
482 unsigned Line = Ty->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000483 if (!Ty->getContext().Verify())
484 return;
485 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
486 Ty->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000487 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000488 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
489 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000490}
491
Devang Patel6404e4e2009-12-15 19:16:48 +0000492/// addSourceLine - Add location information to specified debug information
493/// entry.
494void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
495 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000496 if (!NS->getCompileUnit().Verify())
Devang Patel6404e4e2009-12-15 19:16:48 +0000497 return;
498
499 unsigned Line = NS->getLineNumber();
500 StringRef FN = NS->getFilename();
501 StringRef Dir = NS->getDirectory();
502
503 unsigned FileID = GetOrCreateSourceID(Dir, FN);
504 assert(FileID && "Invalid file id");
505 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
506 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
507}
508
Caroline Ticedc8f6042009-08-31 21:19:37 +0000509/* Byref variables, in Blocks, are declared by the programmer as
510 "SomeType VarName;", but the compiler creates a
511 __Block_byref_x_VarName struct, and gives the variable VarName
512 either the struct, or a pointer to the struct, as its type. This
513 is necessary for various behind-the-scenes things the compiler
514 needs to do with by-reference variables in blocks.
515
516 However, as far as the original *programmer* is concerned, the
517 variable should still have type 'SomeType', as originally declared.
518
519 The following function dives into the __Block_byref_x_VarName
520 struct to find the original type of the variable. This will be
521 passed back to the code generating the type for the Debug
522 Information Entry for the variable 'VarName'. 'VarName' will then
523 have the original type 'SomeType' in its debug information.
524
525 The original type 'SomeType' will be the type of the field named
526 'VarName' inside the __Block_byref_x_VarName struct.
527
528 NOTE: In order for this to not completely fail on the debugger
529 side, the Debug Information Entry for the variable VarName needs to
530 have a DW_AT_location that tells the debugger how to unwind through
531 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000532 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000533
534/// Find the type the programmer originally declared the variable to be
535/// and return that type.
536///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000537DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000538
539 DIType subType = Ty;
540 unsigned tag = Ty.getTag();
541
542 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000543 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000544 subType = DTy.getTypeDerivedFrom();
545 }
546
547 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000548 DIArray Elements = blockStruct.getTypeArray();
549
Caroline Ticedc8f6042009-08-31 21:19:37 +0000550 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
551 DIDescriptor Element = Elements.getElement(i);
552 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000553 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000554 return (DT.getTypeDerivedFrom());
555 }
556
557 return Ty;
558}
559
Devang Patel2c4ceb12009-11-21 02:48:08 +0000560/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000561/// and generate the DWARF information necessary to find the actual variable
562/// given the extra address information encoded in the DIVariable, starting from
563/// the starting location. Add the DWARF information to the die.
564///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000565void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000566 unsigned Attribute,
567 const MachineLocation &Location) {
568 const DIVariable &VD = DV->getVariable();
569 DIType Ty = VD.getType();
570
571 // Decode the original location, and use that as the start of the byref
572 // variable's location.
Chris Lattnerd38fee82010-04-05 00:13:49 +0000573 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000574 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000575 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000576
577 if (Location.isReg()) {
578 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000579 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000580 } else {
581 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000582 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
583 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000584 }
585 } else {
586 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000587 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000588 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000589 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
590 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000591 }
592
Devang Patel2c4ceb12009-11-21 02:48:08 +0000593 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000594 }
595
596 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
597 uint64_t Element = VD.getAddrElement(i);
598
599 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000600 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
601 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000602 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000603 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000604 } else llvm_unreachable("unknown DIFactory Opcode");
605 }
606
607 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000608 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000609}
610
Caroline Ticedc8f6042009-08-31 21:19:37 +0000611/* Byref variables, in Blocks, are declared by the programmer as "SomeType
612 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
613 gives the variable VarName either the struct, or a pointer to the struct, as
614 its type. This is necessary for various behind-the-scenes things the
615 compiler needs to do with by-reference variables in Blocks.
616
617 However, as far as the original *programmer* is concerned, the variable
618 should still have type 'SomeType', as originally declared.
619
Devang Patel2c4ceb12009-11-21 02:48:08 +0000620 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000621 struct to find the original type of the variable, which is then assigned to
622 the variable's Debug Information Entry as its real type. So far, so good.
623 However now the debugger will expect the variable VarName to have the type
624 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000625 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000626 pointers and struct to find the actual variable of type SomeType.
627
628 The following function does just that. We start by getting
629 the "normal" location for the variable. This will be the location
630 of either the struct __Block_byref_x_VarName or the pointer to the
631 struct __Block_byref_x_VarName.
632
633 The struct will look something like:
634
635 struct __Block_byref_x_VarName {
636 ... <various fields>
637 struct __Block_byref_x_VarName *forwarding;
638 ... <various other fields>
639 SomeType VarName;
640 ... <maybe more fields>
641 };
642
643 If we are given the struct directly (as our starting point) we
644 need to tell the debugger to:
645
646 1). Add the offset of the forwarding field.
647
Dan Gohmanf451cb82010-02-10 16:03:48 +0000648 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000649 struct to use (the real one may have been copied onto the heap).
650
651 3). Add the offset for the field VarName, to find the actual variable.
652
653 If we started with a pointer to the struct, then we need to
654 dereference that pointer first, before the other steps.
655 Translating this into DWARF ops, we will need to append the following
656 to the current location description for the variable:
657
658 DW_OP_deref -- optional, if we start with a pointer
659 DW_OP_plus_uconst <forward_fld_offset>
660 DW_OP_deref
661 DW_OP_plus_uconst <varName_fld_offset>
662
663 That is what this function does. */
664
Devang Patel2c4ceb12009-11-21 02:48:08 +0000665/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000666/// provided, and generate the DWARF information necessary to find the
667/// actual Block variable (navigating the Block struct) based on the
668/// starting location. Add the DWARF information to the die. For
669/// more information, read large comment just above here.
670///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000671void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000672 unsigned Attribute,
673 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000674 const DIVariable &VD = DV->getVariable();
675 DIType Ty = VD.getType();
676 DIType TmpTy = Ty;
677 unsigned Tag = Ty.getTag();
678 bool isPointer = false;
679
Devang Patel65dbc902009-11-25 17:36:49 +0000680 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000681
682 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000683 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000684 TmpTy = DTy.getTypeDerivedFrom();
685 isPointer = true;
686 }
687
688 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
689
Daniel Dunbar00564992009-09-19 20:40:14 +0000690 // Find the __forwarding field and the variable field in the __Block_byref
691 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000692 DIArray Fields = blockStruct.getTypeArray();
693 DIDescriptor varField = DIDescriptor();
694 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000695
Daniel Dunbar00564992009-09-19 20:40:14 +0000696 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
697 DIDescriptor Element = Fields.getElement(i);
698 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000699 StringRef fieldName = DT.getName();
700 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000701 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000702 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000703 varField = Element;
704 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000705
Daniel Dunbar00564992009-09-19 20:40:14 +0000706 // Get the offsets for the forwarding field and the variable field.
Chris Lattner1d65ba72010-03-31 06:06:37 +0000707 unsigned forwardingFieldOffset =
Daniel Dunbar00564992009-09-19 20:40:14 +0000708 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
Chris Lattner1d65ba72010-03-31 06:06:37 +0000709 unsigned varFieldOffset =
Daniel Dunbar00564992009-09-19 20:40:14 +0000710 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000711
Mike Stump7e3720d2009-09-24 23:21:26 +0000712 // Decode the original location, and use that as the start of the byref
713 // variable's location.
Chris Lattnerd38fee82010-04-05 00:13:49 +0000714 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Daniel Dunbar00564992009-09-19 20:40:14 +0000715 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000716 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000717
Daniel Dunbar00564992009-09-19 20:40:14 +0000718 if (Location.isReg()) {
719 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000720 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000721 else {
722 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000723 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
724 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000725 }
726 } else {
727 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000728 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000729 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000730 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
731 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000732 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000733
Devang Patel2c4ceb12009-11-21 02:48:08 +0000734 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000735 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000736
Mike Stump7e3720d2009-09-24 23:21:26 +0000737 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000738 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000739 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000740 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000741
Daniel Dunbar00564992009-09-19 20:40:14 +0000742 // Next add the offset for the '__forwarding' field:
743 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
744 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000745 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000746 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
747 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000748 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000749
Daniel Dunbar00564992009-09-19 20:40:14 +0000750 // Now dereference the __forwarding field to get to the real __Block_byref
751 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000752 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000753
Daniel Dunbar00564992009-09-19 20:40:14 +0000754 // Now that we've got the real __Block_byref... struct, add the offset
755 // for the variable's field to get to the location of the actual variable:
756 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000757 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000758 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
759 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000760 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000761
Daniel Dunbar00564992009-09-19 20:40:14 +0000762 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000763 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000764}
765
Devang Patel2c4ceb12009-11-21 02:48:08 +0000766/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000767/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000768void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000769 const MachineLocation &Location) {
Chris Lattnerd38fee82010-04-05 00:13:49 +0000770 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling0310d762009-05-15 09:23:25 +0000771 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000772 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Bill Wendling0310d762009-05-15 09:23:25 +0000773
774 if (Location.isReg()) {
775 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000776 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000777 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000778 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
779 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000780 }
781 } else {
782 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000783 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000784 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000785 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
786 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000787 }
788
Devang Patel2c4ceb12009-11-21 02:48:08 +0000789 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000790 }
791
Devang Patel2c4ceb12009-11-21 02:48:08 +0000792 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000793}
794
Devang Patelc366f832009-12-10 19:14:49 +0000795/// addToContextOwner - Add Die into the list of its context owner's children.
796void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3c91b052010-03-08 20:52:55 +0000797 if (Context.isType()) {
Devang Patelc366f832009-12-10 19:14:49 +0000798 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
799 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000800 } else if (Context.isNameSpace()) {
801 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
802 ContextDIE->addChild(Die);
Stuart Hastings983327b2010-04-06 17:19:32 +0000803 } else if (Context.isSubprogram()) {
804 DIE *ContextDIE = createSubprogramDIE(DISubprogram(Context.getNode()),
805 /*MakeDecl=*/false);
806 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000807 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
808 ContextDIE->addChild(Die);
809 else
810 ModuleCU->addDie(Die);
811}
812
Stuart Hastings983327b2010-04-06 17:19:32 +0000813/// isFunctionContext - True if given Context is nested within a function.
814bool DwarfDebug::isFunctionContext(DIE *context) {
815 if (context == (DIE *)0)
816 return false;
817 if (context->getTag() == dwarf::DW_TAG_subprogram)
818 return true;
819 else
820 return isFunctionContext(context->getParent());
821}
822
Devang Patel16ced732009-12-10 18:05:33 +0000823/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
824/// given DIType.
825DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
826 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
827 if (TyDIE)
828 return TyDIE;
829
830 // Create new type.
831 TyDIE = new DIE(dwarf::DW_TAG_base_type);
832 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
833 if (Ty.isBasicType())
834 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
835 else if (Ty.isCompositeType())
836 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
837 else {
838 assert(Ty.isDerivedType() && "Unknown kind of DIType");
839 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
840 }
841
Devang Patelc366f832009-12-10 19:14:49 +0000842 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000843 return TyDIE;
844}
845
Devang Patel2c4ceb12009-11-21 02:48:08 +0000846/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000847void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel3c91b052010-03-08 20:52:55 +0000848 if (!Ty.isValid())
Bill Wendling0310d762009-05-15 09:23:25 +0000849 return;
850
851 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000852 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000853 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000854 if (Entry) {
855 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000856 return;
857 }
858
Bill Wendling0310d762009-05-15 09:23:25 +0000859 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000860 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000861
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000862 // Set up proxy.
863 Entry = createDIEEntry(Buffer);
864 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
865
Devang Patel2c4ceb12009-11-21 02:48:08 +0000866 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000867}
868
Devang Patel2c4ceb12009-11-21 02:48:08 +0000869/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000870void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000871 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000872 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000873 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000874 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000875 BTy.getEncoding());
876
877 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000878 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000879 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000880 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000881 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000882}
883
Devang Patel2c4ceb12009-11-21 02:48:08 +0000884/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000885void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000886 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000887 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000888 uint64_t Size = DTy.getSizeInBits() >> 3;
889 unsigned Tag = DTy.getTag();
890
891 // FIXME - Workaround for templates.
892 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
893
894 Buffer.setTag(Tag);
895
896 // Map to main type, void will not have a type.
897 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000898 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000899
900 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000901 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000902 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000903
904 // Add size if non-zero (derived types might be zero-sized.)
905 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000906 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000907
908 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000909 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000910 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000911}
912
Devang Patel2c4ceb12009-11-21 02:48:08 +0000913/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000914void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000915 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000916 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000917
918 uint64_t Size = CTy.getSizeInBits() >> 3;
919 unsigned Tag = CTy.getTag();
920 Buffer.setTag(Tag);
921
922 switch (Tag) {
923 case dwarf::DW_TAG_vector_type:
924 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000925 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000926 break;
927 case dwarf::DW_TAG_enumeration_type: {
928 DIArray Elements = CTy.getTypeArray();
929
930 // Add enumerators to enumeration type.
931 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
932 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000933 DIDescriptor Enum(Elements.getElement(i).getNode());
934 if (Enum.isEnumerator()) {
935 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000936 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000937 }
Bill Wendling0310d762009-05-15 09:23:25 +0000938 }
939 }
940 break;
941 case dwarf::DW_TAG_subroutine_type: {
942 // Add return type.
943 DIArray Elements = CTy.getTypeArray();
944 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000945 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000946
947 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000948 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000949
950 // Add arguments.
951 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
952 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
953 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000954 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000955 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000956 }
957 }
958 break;
959 case dwarf::DW_TAG_structure_type:
960 case dwarf::DW_TAG_union_type:
961 case dwarf::DW_TAG_class_type: {
962 // Add elements to structure type.
963 DIArray Elements = CTy.getTypeArray();
964
965 // A forward struct declared type may not have elements available.
Devang Patel3c91b052010-03-08 20:52:55 +0000966 unsigned N = Elements.getNumElements();
967 if (N == 0)
Bill Wendling0310d762009-05-15 09:23:25 +0000968 break;
969
970 // Add elements to structure type.
Devang Patel3c91b052010-03-08 20:52:55 +0000971 for (unsigned i = 0; i < N; ++i) {
Bill Wendling0310d762009-05-15 09:23:25 +0000972 DIDescriptor Element = Elements.getElement(i);
973 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000974 if (Element.isSubprogram())
Devang Patelffe966c2009-12-14 16:18:45 +0000975 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000976 else if (Element.isVariable()) {
Devang Patel1ee0cb92010-01-30 01:08:30 +0000977 DIVariable DV(Element.getNode());
978 ElemDie = new DIE(dwarf::DW_TAG_variable);
979 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
980 DV.getName());
981 addType(ElemDie, DV.getType());
982 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
983 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
984 addSourceLine(ElemDie, &DV);
Devang Patel3c91b052010-03-08 20:52:55 +0000985 } else if (Element.isDerivedType())
Devang Patel8a241142009-12-09 18:24:21 +0000986 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000987 else
988 continue;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000989 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000990 }
991
Devang Patela1ba2692009-08-27 23:51:51 +0000992 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000993 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000994
995 unsigned RLang = CTy.getRunTimeLang();
996 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000997 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000998 dwarf::DW_FORM_data1, RLang);
Devang Patelb5544992010-01-26 21:16:06 +0000999
1000 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel3c91b052010-03-08 20:52:55 +00001001 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patelb5544992010-01-26 21:16:06 +00001002 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
1003 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Stuart Hastings983327b2010-04-06 17:19:32 +00001004 else {
1005 DIDescriptor Context = CTy.getContext();
1006 addToContextOwner(&Buffer, Context);
1007 }
Bill Wendling0310d762009-05-15 09:23:25 +00001008 break;
1009 }
1010 default:
1011 break;
1012 }
1013
1014 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +00001015 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001016 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +00001017
Devang Patel8cbb6122010-01-29 18:34:58 +00001018 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling0310d762009-05-15 09:23:25 +00001019 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
1020 // Add size if non-zero (derived types might be zero-sized.)
1021 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001022 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +00001023 else {
1024 // Add zero size if it is not a forward declaration.
1025 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001026 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001027 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001028 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +00001029 }
1030
1031 // Add source line info if available.
1032 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001033 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001034 }
1035}
1036
Devang Patel2c4ceb12009-11-21 02:48:08 +00001037/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1038void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +00001039 int64_t L = SR.getLo();
1040 int64_t H = SR.getHi();
1041 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1042
Devang Patel2c4ceb12009-11-21 02:48:08 +00001043 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +00001044 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001045 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +00001046 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +00001047
Devang Patel2c4ceb12009-11-21 02:48:08 +00001048 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +00001049}
1050
Devang Patel2c4ceb12009-11-21 02:48:08 +00001051/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +00001052void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +00001053 DICompositeType *CTy) {
1054 Buffer.setTag(dwarf::DW_TAG_array_type);
1055 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001056 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001057
1058 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001059 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001060 DIArray Elements = CTy->getTypeArray();
1061
Devang Patel6f01d9c2009-11-21 00:31:03 +00001062 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001063 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001064 if (!IdxTy) {
1065 // Construct an anonymous type for index type.
1066 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001067 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1068 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001069 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001070 ModuleCU->addDie(IdxTy);
1071 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001072 }
Bill Wendling0310d762009-05-15 09:23:25 +00001073
1074 // Add subranges to array type.
1075 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1076 DIDescriptor Element = Elements.getElement(i);
1077 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001078 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001079 }
1080}
1081
Devang Patel2c4ceb12009-11-21 02:48:08 +00001082/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3c91b052010-03-08 20:52:55 +00001083DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001084 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3c91b052010-03-08 20:52:55 +00001085 StringRef Name = ETy.getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001086 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3c91b052010-03-08 20:52:55 +00001087 int64_t Value = ETy.getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001088 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001089 return Enumerator;
1090}
1091
Devang Patel351ca332010-01-05 01:46:14 +00001092/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1093/// printer to not emit usual symbol prefix before the symbol name is used then
1094/// return linkage name after skipping this special LLVM prefix.
1095static StringRef getRealLinkageName(StringRef LinkageName) {
1096 char One = '\1';
1097 if (LinkageName.startswith(StringRef(&One, 1)))
1098 return LinkageName.substr(1);
1099 return LinkageName;
1100}
1101
Devang Patel2c4ceb12009-11-21 02:48:08 +00001102/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001103DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001104 // If the global variable was optmized out then no need to create debug info
1105 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001106 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001107 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001108
Bill Wendling0310d762009-05-15 09:23:25 +00001109 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001110 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001111 GV.getDisplayName());
1112
Devang Patel65dbc902009-11-25 17:36:49 +00001113 StringRef LinkageName = GV.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001114 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001115 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001116 getRealLinkageName(LinkageName));
1117
Devang Patel8a241142009-12-09 18:24:21 +00001118 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001119 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001120 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1121 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001122
Bill Wendling0310d762009-05-15 09:23:25 +00001123 return GVDie;
1124}
1125
Devang Patel2c4ceb12009-11-21 02:48:08 +00001126/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001127DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001128 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001129 StringRef Name = DT.getName();
1130 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001131 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001132
Devang Patel8a241142009-12-09 18:24:21 +00001133 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001134
Devang Patel2c4ceb12009-11-21 02:48:08 +00001135 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001136
Benjamin Kramer345ef342010-03-31 19:34:01 +00001137 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001138 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001139
Bill Wendling0310d762009-05-15 09:23:25 +00001140 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001141 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001142
1143 if (Size != FieldSize) {
1144 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001145 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1146 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001147
1148 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling0310d762009-05-15 09:23:25 +00001149 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1150 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer3d594fd2010-01-07 17:50:57 +00001151 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling0310d762009-05-15 09:23:25 +00001152 Offset -= FieldOffset;
1153
1154 // Maybe we need to work from the other end.
Chris Lattnerd38fee82010-04-05 00:13:49 +00001155 if (Asm->getTargetData().isLittleEndian())
1156 Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001157 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001158
Devang Patel33db5082009-11-04 22:06:12 +00001159 // Here WD_AT_data_member_location points to the anonymous
1160 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001161 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001162
1163 } else
1164 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001165 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001166
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001167 if (DT.getTag() == dwarf::DW_TAG_inheritance
1168 && DT.isVirtual()) {
1169
1170 // For C++, virtual base classes are not at fixed offset. Use following
1171 // expression to extract appropriate offset from vtable.
1172 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1173
Benjamin Kramer345ef342010-03-31 19:34:01 +00001174 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001175 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1176 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1177 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1178 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1179 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1180 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1181 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1182
1183 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1184 VBaseLocationDie);
1185 } else
1186 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001187
1188 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001189 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001190 dwarf::DW_ACCESS_protected);
1191 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001192 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001193 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001194 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1195 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1196 dwarf::DW_ACCESS_public);
1197 if (DT.isVirtual())
1198 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1199 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001200 return MemberDie;
1201}
1202
Devang Patelffe966c2009-12-14 16:18:45 +00001203/// createSubprogramDIE - Create new DIE using SP.
1204DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1205 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1206 if (SPDie)
1207 return SPDie;
1208
1209 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel1eac3e72010-03-02 17:58:15 +00001210 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel6b506cb2010-03-02 01:26:20 +00001211 if (!SP.getName().empty())
1212 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001213
Devang Patel65dbc902009-11-25 17:36:49 +00001214 StringRef LinkageName = SP.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001215 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001216 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001217 getRealLinkageName(LinkageName));
1218
Devang Patel2c4ceb12009-11-21 02:48:08 +00001219 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001220
Bill Wendling0310d762009-05-15 09:23:25 +00001221 // Add prototyped tag, if C or ObjC.
1222 unsigned Lang = SP.getCompileUnit().getLanguage();
1223 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1224 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001225 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001226
1227 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001228 DICompositeType SPTy = SP.getType();
1229 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001230 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001231
Devang Patel3c91b052010-03-08 20:52:55 +00001232 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001233 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001234 else
Devang Patel8a241142009-12-09 18:24:21 +00001235 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001236
Devang Patel5d11eb02009-12-03 19:11:07 +00001237 unsigned VK = SP.getVirtuality();
1238 if (VK) {
1239 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
Benjamin Kramer345ef342010-03-31 19:34:01 +00001240 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel5d11eb02009-12-03 19:11:07 +00001241 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1242 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1243 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel622b0262010-01-19 06:19:05 +00001244 ContainingTypeMap.insert(std::make_pair(SPDie,
1245 SP.getContainingType().getNode()));
Devang Patel5d11eb02009-12-03 19:11:07 +00001246 }
1247
Devang Patelffe966c2009-12-14 16:18:45 +00001248 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001249 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001250
1251 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001252 // be handled while processing variables.
1253 DICompositeType SPTy = SP.getType();
1254 DIArray Args = SPTy.getTypeArray();
1255 unsigned SPTag = SPTy.getTag();
1256
Bill Wendling0310d762009-05-15 09:23:25 +00001257 if (SPTag == dwarf::DW_TAG_subroutine_type)
1258 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1259 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelb4645642010-02-06 01:02:37 +00001260 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1261 addType(Arg, ATy);
1262 if (ATy.isArtificial())
1263 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001264 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001265 }
1266 }
1267
Devang Patel4e0d19d2010-02-03 19:57:19 +00001268 if (SP.isArtificial())
1269 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1270
Bill Wendling0310d762009-05-15 09:23:25 +00001271 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001272 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001273 return SPDie;
1274}
1275
Devang Patel8935d902010-04-01 17:16:48 +00001276/// getUpdatedDbgScope - Find DbgScope assicated with the instruction.
1277/// Update scope hierarchy. Create abstract scope if required.
Devang Patel53bb5c92009-11-10 23:06:00 +00001278DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
Chris Lattnered7a77b2010-03-31 05:36:29 +00001279 MDNode *InlinedAt) {
1280 assert(N && "Invalid Scope encoding!");
1281 assert(MI && "Missing machine instruction!");
Devang Patel8935d902010-04-01 17:16:48 +00001282 bool isAConcreteScope = InlinedAt != 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001283
1284 DbgScope *NScope = NULL;
1285
1286 if (InlinedAt)
1287 NScope = DbgScopeMap.lookup(InlinedAt);
1288 else
1289 NScope = DbgScopeMap.lookup(N);
Chris Lattnered7a77b2010-03-31 05:36:29 +00001290 assert(NScope && "Unable to find working scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001291
1292 if (NScope->getFirstInsn())
1293 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001294
1295 DbgScope *Parent = NULL;
Devang Patel8935d902010-04-01 17:16:48 +00001296 if (isAConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001297 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001298 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001299 IL.getOrigLocation().getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001300 assert(Parent && "Unable to find Parent scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001301 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001302 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001303 } else if (DIDescriptor(N).isLexicalBlock()) {
1304 DILexicalBlock DB(N);
Devang Patel3c91b052010-03-08 20:52:55 +00001305 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1306 NScope->setParent(Parent);
1307 Parent->addScope(NScope);
Devang Patelc90aefe2009-10-14 21:08:09 +00001308 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001309
Devang Patelbdf45cb2009-10-27 20:47:17 +00001310 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001311
Devang Patel53bb5c92009-11-10 23:06:00 +00001312 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001313 StringRef SPName = DISubprogram(N).getLinkageName();
Chris Lattnerd38fee82010-04-05 00:13:49 +00001314 if (SPName == Asm->MF->getFunction()->getName())
Devang Patel39ae3ff2009-11-11 00:31:36 +00001315 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001316 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001317
Devang Patel8935d902010-04-01 17:16:48 +00001318 if (isAConcreteScope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001319 ConcreteScopes[InlinedAt] = NScope;
1320 getOrCreateAbstractScope(N);
1321 }
1322
Devang Patelbdf45cb2009-10-27 20:47:17 +00001323 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001324}
1325
Devang Patel53bb5c92009-11-10 23:06:00 +00001326DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
Chris Lattnered7a77b2010-03-31 05:36:29 +00001327 assert(N && "Invalid Scope encoding!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001328
1329 DbgScope *AScope = AbstractScopes.lookup(N);
1330 if (AScope)
1331 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001332
Devang Patel53bb5c92009-11-10 23:06:00 +00001333 DbgScope *Parent = NULL;
1334
1335 DIDescriptor Scope(N);
1336 if (Scope.isLexicalBlock()) {
1337 DILexicalBlock DB(N);
1338 DIDescriptor ParentDesc = DB.getContext();
Devang Patel3c91b052010-03-08 20:52:55 +00001339 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001340 }
1341
1342 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1343
1344 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001345 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001346 AScope->setAbstractScope();
1347 AbstractScopes[N] = AScope;
1348 if (DIDescriptor(N).isSubprogram())
1349 AbstractScopesList.push_back(AScope);
1350 return AScope;
1351}
Devang Patelaf9e8472009-10-01 20:31:14 +00001352
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001353/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001354/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1355/// If there are global variables in this scope then create and insert
1356/// DIEs for these variables.
1357DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Chris Lattnerd38fee82010-04-05 00:13:49 +00001358 DIE *SPDie = ModuleCU->getDIE(SPNode);
1359 assert(SPDie && "Unable to find subprogram DIE!");
1360 DISubprogram SP(SPNode);
Chris Lattner206d61e2010-03-13 07:26:18 +00001361
Chris Lattnerd38fee82010-04-05 00:13:49 +00001362 // There is not any need to generate specification DIE for a function
1363 // defined at compile unit level. If a function is defined inside another
1364 // function then gdb prefers the definition at top level and but does not
1365 // expect specification DIE in parent function. So avoid creating
1366 // specification DIE for a function defined inside a function.
1367 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1368 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
1369 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1370
1371 // Add arguments.
1372 DICompositeType SPTy = SP.getType();
1373 DIArray Args = SPTy.getTypeArray();
1374 unsigned SPTag = SPTy.getTag();
1375 if (SPTag == dwarf::DW_TAG_subroutine_type)
1376 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1377 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1378 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1379 addType(Arg, ATy);
1380 if (ATy.isArtificial())
1381 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1382 SPDie->addChild(Arg);
1383 }
1384 DIE *SPDeclDie = SPDie;
1385 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1386 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1387 SPDeclDie);
1388 ModuleCU->addDie(SPDie);
1389 }
1390
1391 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1392 Asm->GetTempSymbol("func_begin", Asm->getFunctionNumber()));
1393 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1394 Asm->GetTempSymbol("func_end", Asm->getFunctionNumber()));
1395 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1396 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
1397 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patelb4645642010-02-06 01:02:37 +00001398
Chris Lattnerd38fee82010-04-05 00:13:49 +00001399 if (!DISubprogram(SPNode).isLocalToUnit())
1400 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1401
1402 return SPDie;
Devang Patel53bb5c92009-11-10 23:06:00 +00001403}
1404
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001405/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001406/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1407DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattnerb7db7332010-03-09 01:58:53 +00001408 MCSymbol *Start = Scope->getStartLabel();
1409 MCSymbol *End = Scope->getEndLabel();
Devang Patelaead63c2010-03-29 22:59:58 +00001410 if (Start == 0 || End == 0) return 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001411
Chris Lattnerb7db7332010-03-09 01:58:53 +00001412 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1413 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattnera34ec2292010-03-09 01:51:43 +00001414
Devang Patel53bb5c92009-11-10 23:06:00 +00001415 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1416 if (Scope->isAbstractScope())
1417 return ScopeDIE;
1418
Devang Patel2c4ceb12009-11-21 02:48:08 +00001419 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerd38fee82010-04-05 00:13:49 +00001420 Start ? Start : Asm->GetTempSymbol("func_begin",
1421 Asm->getFunctionNumber()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001422 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerd38fee82010-04-05 00:13:49 +00001423 End ? End : Asm->GetTempSymbol("func_end",Asm->getFunctionNumber()));
Devang Patel53bb5c92009-11-10 23:06:00 +00001424
1425 return ScopeDIE;
1426}
1427
Devang Patel2c4ceb12009-11-21 02:48:08 +00001428/// constructInlinedScopeDIE - This scope represents inlined body of
1429/// a function. Construct DIE to represent this concrete inlined copy
1430/// of the function.
1431DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattnerb7db7332010-03-09 01:58:53 +00001432 MCSymbol *StartLabel = Scope->getStartLabel();
1433 MCSymbol *EndLabel = Scope->getEndLabel();
Devang Patelaead63c2010-03-29 22:59:58 +00001434 if (StartLabel == 0 || EndLabel == 0) return 0;
Chris Lattner6c7dfc02010-03-09 04:48:35 +00001435
Chris Lattnerb7db7332010-03-09 01:58:53 +00001436 assert(StartLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001437 "Invalid starting label for an inlined scope!");
Chris Lattnerb7db7332010-03-09 01:58:53 +00001438 assert(EndLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001439 "Invalid end label for an inlined scope!");
Devang Patel3c91b052010-03-08 20:52:55 +00001440 if (!Scope->getScopeNode())
Devang Patel0ef3fa62010-03-08 19:20:38 +00001441 return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001442 DIScope DS(Scope->getScopeNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001443 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1444
1445 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001446 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001447 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001448 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001449 dwarf::DW_FORM_ref4, OriginDIE);
1450
Chris Lattner6ed0f902010-03-09 00:31:02 +00001451 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnerb7db7332010-03-09 01:58:53 +00001452 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel53bb5c92009-11-10 23:06:00 +00001453
1454 InlinedSubprogramDIEs.insert(OriginDIE);
1455
1456 // Track the start label for this inlined function.
Devang Patel622b0262010-01-19 06:19:05 +00001457 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel53bb5c92009-11-10 23:06:00 +00001458 I = InlineInfo.find(InlinedSP.getNode());
1459
1460 if (I == InlineInfo.end()) {
Chris Lattner6ed0f902010-03-09 00:31:02 +00001461 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001462 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001463 InlinedSPNodes.push_back(InlinedSP.getNode());
1464 } else
Chris Lattner6ed0f902010-03-09 00:31:02 +00001465 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001466
Devang Patel53bb5c92009-11-10 23:06:00 +00001467 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001468 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1469 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001470
1471 return ScopeDIE;
1472}
1473
Devang Patel2c4ceb12009-11-21 02:48:08 +00001474
1475/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001476DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001477 // Get the descriptor.
1478 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001479 StringRef Name = VD.getName();
1480 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001481 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001482
1483 // Translate tag to proper Dwarf tag. The result variable is dropped for
1484 // now.
1485 unsigned Tag;
1486 switch (VD.getTag()) {
1487 case dwarf::DW_TAG_return_variable:
1488 return NULL;
1489 case dwarf::DW_TAG_arg_variable:
1490 Tag = dwarf::DW_TAG_formal_parameter;
1491 break;
1492 case dwarf::DW_TAG_auto_variable: // fall thru
1493 default:
1494 Tag = dwarf::DW_TAG_variable;
1495 break;
1496 }
1497
1498 // Define variable debug information entry.
1499 DIE *VariableDie = new DIE(Tag);
1500
1501
1502 DIE *AbsDIE = NULL;
1503 if (DbgVariable *AV = DV->getAbstractVariable())
1504 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001505
Devang Patel53bb5c92009-11-10 23:06:00 +00001506 if (AbsDIE) {
1507 DIScope DS(Scope->getScopeNode());
1508 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001509 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001510 (void) OriginSPDIE;
Chris Lattnered7a77b2010-03-31 05:36:29 +00001511 assert(OriginSPDIE && "Unable to find Origin DIE for the SP!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001512 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
Chris Lattnered7a77b2010-03-31 05:36:29 +00001513 assert(AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001514 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001515 dwarf::DW_FORM_ref4, AbsDIE);
1516 }
1517 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001518 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1519 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001520
1521 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001522 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001523 // addresses instead.
1524 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001525 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001526 else
Devang Patel8a241142009-12-09 18:24:21 +00001527 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001528 }
1529
1530 // Add variable address.
1531 if (!Scope->isAbstractScope()) {
Devang Patel90a48ad2010-03-15 18:33:46 +00001532 // Check if variable is described by DBG_VALUE instruction.
1533 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1534 if (DbgValueInsn->getNumOperands() == 3) {
1535 // FIXME : Handle getNumOperands != 3
1536 if (DbgValueInsn->getOperand(0).getType()
1537 == MachineOperand::MO_Register
1538 && DbgValueInsn->getOperand(0).getReg()) {
1539 MachineLocation Location;
1540 Location.set(DbgValueInsn->getOperand(0).getReg());
1541 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patelaead63c2010-03-29 22:59:58 +00001542 if (MCSymbol *VS = DV->getDbgValueLabel())
1543 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1544 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001545 } else if (DbgValueInsn->getOperand(0).getType() ==
1546 MachineOperand::MO_Immediate) {
Benjamin Kramer345ef342010-03-31 19:34:01 +00001547 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel90a48ad2010-03-15 18:33:46 +00001548 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1549 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1550 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
Devang Patelaead63c2010-03-29 22:59:58 +00001551 if (MCSymbol *VS = DV->getDbgValueLabel())
1552 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1553 VS);
Bill Wendling57fbba42010-04-05 22:59:21 +00001554 } else if (DbgValueInsn->getOperand(0).getType() ==
1555 MachineOperand::MO_FPImmediate) {
1556 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1557 APFloat FPImm = DbgValueInsn->getOperand(0).getFPImm()->getValueAPF();
1558
1559 // Get the raw data form of the floating point.
1560 const APInt FltVal = FPImm.bitcastToAPInt();
1561 const char *FltPtr = (const char*)FltVal.getRawData();
1562
1563 unsigned NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
1564 bool LittleEndian = Asm->getTargetData().isLittleEndian();
1565 int Incr = (LittleEndian ? 1 : -1);
1566 int Start = (LittleEndian ? 0 : NumBytes - 1);
1567 int Stop = (LittleEndian ? NumBytes : -1);
1568
1569 // Output the constant to DWARF one byte at a time.
1570 for (; Start != Stop; Start += Incr)
1571 addUInt(Block, 0, dwarf::DW_FORM_data1,
1572 (unsigned char)0xFF & FltPtr[Start]);
1573
1574 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
1575
1576 if (MCSymbol *VS = DV->getDbgValueLabel())
1577 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1578 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001579 } else {
1580 //FIXME : Handle other operand types.
1581 delete VariableDie;
1582 return NULL;
1583 }
1584 }
1585 } else {
1586 MachineLocation Location;
1587 unsigned FrameReg;
Chris Lattnerd38fee82010-04-05 00:13:49 +00001588 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1589 int Offset = RI->getFrameIndexReference(*Asm->MF, DV->getFrameIndex(),
Chris Lattner1d65ba72010-03-31 06:06:37 +00001590 FrameReg);
Devang Patel90a48ad2010-03-15 18:33:46 +00001591 Location.set(FrameReg, Offset);
1592
1593 if (VD.hasComplexAddress())
1594 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1595 else if (VD.isBlockByrefVariable())
1596 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1597 else
1598 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1599 }
Devang Patel53bb5c92009-11-10 23:06:00 +00001600 }
Devang Patelb4645642010-02-06 01:02:37 +00001601
1602 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1603 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001604 DV->setDIE(VariableDie);
1605 return VariableDie;
1606
1607}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001608
Devang Patel193f7202009-11-24 01:14:22 +00001609void DwarfDebug::addPubTypes(DISubprogram SP) {
1610 DICompositeType SPTy = SP.getType();
1611 unsigned SPTag = SPTy.getTag();
1612 if (SPTag != dwarf::DW_TAG_subroutine_type)
1613 return;
1614
1615 DIArray Args = SPTy.getTypeArray();
Devang Patel193f7202009-11-24 01:14:22 +00001616 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1617 DIType ATy(Args.getElement(i).getNode());
Devang Patel3c91b052010-03-08 20:52:55 +00001618 if (!ATy.isValid())
Devang Patel193f7202009-11-24 01:14:22 +00001619 continue;
1620 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel3c91b052010-03-08 20:52:55 +00001621 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001622 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1623 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1624 }
1625 }
1626}
1627
Devang Patel2c4ceb12009-11-21 02:48:08 +00001628/// constructScopeDIE - Construct a DIE for this scope.
1629DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3c91b052010-03-08 20:52:55 +00001630 if (!Scope || !Scope->getScopeNode())
1631 return NULL;
1632
1633 DIScope DS(Scope->getScopeNode());
1634 DIE *ScopeDIE = NULL;
1635 if (Scope->getInlinedAt())
1636 ScopeDIE = constructInlinedScopeDIE(Scope);
1637 else if (DS.isSubprogram()) {
1638 if (Scope->isAbstractScope())
1639 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1640 else
1641 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1642 }
Devang Patelaead63c2010-03-29 22:59:58 +00001643 else
Devang Patel3c91b052010-03-08 20:52:55 +00001644 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patelaead63c2010-03-29 22:59:58 +00001645 if (!ScopeDIE) return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001646
Devang Patel53bb5c92009-11-10 23:06:00 +00001647 // Add variables to scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001648 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel53bb5c92009-11-10 23:06:00 +00001649 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001650 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001651 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001652 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001653 }
1654
1655 // Add nested scopes.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001656 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel53bb5c92009-11-10 23:06:00 +00001657 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1658 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001659 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001660 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001661 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001662 }
Devang Patel193f7202009-11-24 01:14:22 +00001663
1664 if (DS.isSubprogram())
1665 addPubTypes(DISubprogram(DS.getNode()));
1666
1667 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001668}
1669
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001670/// GetOrCreateSourceID - Look up the source id with the given directory and
1671/// source file names. If none currently exists, create a new id and insert it
1672/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1673/// maps as well.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001674unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName){
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001675 unsigned DId;
1676 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1677 if (DI != DirectoryIdMap.end()) {
1678 DId = DI->getValue();
1679 } else {
1680 DId = DirectoryNames.size() + 1;
1681 DirectoryIdMap[DirName] = DId;
1682 DirectoryNames.push_back(DirName);
1683 }
1684
1685 unsigned FId;
1686 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1687 if (FI != SourceFileIdMap.end()) {
1688 FId = FI->getValue();
1689 } else {
1690 FId = SourceFileNames.size() + 1;
1691 SourceFileIdMap[FileName] = FId;
1692 SourceFileNames.push_back(FileName);
1693 }
1694
1695 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1696 SourceIdMap.find(std::make_pair(DId, FId));
1697 if (SI != SourceIdMap.end())
1698 return SI->second;
1699
1700 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1701 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1702 SourceIds.push_back(std::make_pair(DId, FId));
1703
1704 return SrcId;
1705}
1706
Devang Patel6404e4e2009-12-15 19:16:48 +00001707/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1708DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1709 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1710 if (NDie)
1711 return NDie;
1712 NDie = new DIE(dwarf::DW_TAG_namespace);
1713 ModuleCU->insertDIE(NS.getNode(), NDie);
1714 if (!NS.getName().empty())
1715 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1716 addSourceLine(NDie, &NS);
1717 addToContextOwner(NDie, NS.getContext());
1718 return NDie;
1719}
1720
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001721void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001722 DICompileUnit DIUnit(N);
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001723 // Use first compile unit marked as isMain as the compile unit for this
1724 // module.
1725 if (ModuleCU || !DIUnit.isMain())
1726 return;
Devang Patel65dbc902009-11-25 17:36:49 +00001727 StringRef FN = DIUnit.getFilename();
1728 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001729 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001730
1731 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001732 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001733 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001734 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001735 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001736 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Chris Lattner9c69e285532010-04-04 22:59:04 +00001737 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, TextSectionSym);
Devang Patel4a602ca2010-03-22 23:11:36 +00001738 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerc0215722010-04-04 19:25:43 +00001739 Asm->GetTempSymbol("text_end"));
Devang Patel4a602ca2010-03-22 23:11:36 +00001740 // DW_AT_stmt_list is a offset of line number information for this
1741 // compile unit in debug_line section. It is always zero when only one
1742 // compile unit is emitted in one object file.
1743 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001744
Devang Patel65dbc902009-11-25 17:36:49 +00001745 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001746 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001747 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001748 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001749
Devang Patel65dbc902009-11-25 17:36:49 +00001750 StringRef Flags = DIUnit.getFlags();
1751 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001752 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001753
1754 unsigned RVer = DIUnit.getRunTimeVersion();
1755 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001756 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001757 dwarf::DW_FORM_data1, RVer);
1758
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001759 assert(!ModuleCU &&
1760 "ModuleCU assigned since the top of constructCompileUnit");
1761 ModuleCU = new CompileUnit(ID, Die);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001762}
1763
Devang Patel2c4ceb12009-11-21 02:48:08 +00001764void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001765 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001766
Devang Patel905cf5e2009-09-04 23:59:07 +00001767 // If debug information is malformed then ignore it.
1768 if (DI_GV.Verify() == false)
1769 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001770
1771 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001772 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001773 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001774
Devang Patel8a241142009-12-09 18:24:21 +00001775 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001776 if (!VariableDie)
1777 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001778
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001779 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001780 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001781
1782 // Add to context owner.
Devang Patelc9b16cc2010-01-15 01:12:22 +00001783 DIDescriptor GVContext = DI_GV.getContext();
1784 // Do not create specification DIE if context is either compile unit
1785 // or a subprogram.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001786 if (DI_GV.isDefinition() && !GVContext.isCompileUnit() &&
1787 !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel6404e4e2009-12-15 19:16:48 +00001788 // Create specification DIE.
1789 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1790 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1791 dwarf::DW_FORM_ref4, VariableDie);
Benjamin Kramer345ef342010-03-31 19:34:01 +00001792 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel6404e4e2009-12-15 19:16:48 +00001793 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001794 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001795 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001796 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patel8581e012010-02-09 01:58:33 +00001797 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel6404e4e2009-12-15 19:16:48 +00001798 ModuleCU->addDie(VariableSpecDIE);
1799 } else {
Benjamin Kramer345ef342010-03-31 19:34:01 +00001800 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel6404e4e2009-12-15 19:16:48 +00001801 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001802 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001803 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001804 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1805 }
Devang Patelc9b16cc2010-01-15 01:12:22 +00001806 addToContextOwner(VariableDie, GVContext);
Devang Patelc366f832009-12-10 19:14:49 +00001807
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001808 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001809 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001810
1811 DIType GTy = DI_GV.getType();
Devang Patel65dbc902009-11-25 17:36:49 +00001812 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel193f7202009-11-24 01:14:22 +00001813 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001814 assert(Entry && "Missing global type!");
Devang Patel193f7202009-11-24 01:14:22 +00001815 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1816 }
Devang Patel13e16b62009-06-26 01:49:18 +00001817 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001818}
1819
Devang Patel2c4ceb12009-11-21 02:48:08 +00001820void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001821 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001822
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001823 if (!SP.isDefinition())
1824 // This is a method declaration which will be handled while constructing
1825 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001826 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001827
Stuart Hastings983327b2010-04-06 17:19:32 +00001828 // Check for pre-existence.
1829 DIE *SubprogramDie = ModuleCU->getDIE(N);
1830 if (!SubprogramDie)
1831 SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001832
1833 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001834 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001835
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001836 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001837 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001838
Devang Patel13e16b62009-06-26 01:49:18 +00001839 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001840}
1841
Devang Patel2c4ceb12009-11-21 02:48:08 +00001842/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001843/// content. Create global DIEs and emit initial debug info sections.
1844/// This is inovked by the target AsmPrinter.
Chris Lattner75f50722010-04-04 07:48:20 +00001845void DwarfDebug::beginModule(Module *M) {
Chris Lattnera909d662010-03-29 20:38:20 +00001846 TimeRegion Timer(DebugTimer);
Chris Lattnerd850ac72010-04-05 02:19:28 +00001847
Devang Patel78ab9e22009-07-30 18:56:46 +00001848 DebugInfoFinder DbgFinder;
1849 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001850
Chris Lattnerd850ac72010-04-05 02:19:28 +00001851 bool HasDebugInfo = false;
1852
1853 // Scan all the compile-units to see if there are any marked as the main unit.
1854 // if not, we do not generate debug info.
1855 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1856 E = DbgFinder.compile_unit_end(); I != E; ++I) {
1857 if (DICompileUnit(*I).isMain()) {
1858 HasDebugInfo = true;
1859 break;
1860 }
1861 }
1862
1863 if (!HasDebugInfo) return;
1864
1865 // Tell MMI that we have debug info.
1866 MMI->setDebugInfoAvailability(true);
1867
Chris Lattnerbe15beb2010-04-04 23:17:54 +00001868 // Emit initial sections.
Chris Lattnerd850ac72010-04-05 02:19:28 +00001869 EmitSectionLabels();
Chris Lattnerbe15beb2010-04-04 23:17:54 +00001870
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001871 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001872 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1873 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001874 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001875
Devang Patel53bb5c92009-11-10 23:06:00 +00001876 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001877 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1878 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001879 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001880
Devang Patelc366f832009-12-10 19:14:49 +00001881 // Create DIEs for each global variable.
1882 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1883 E = DbgFinder.global_variable_end(); I != E; ++I)
1884 constructGlobalVariableDIE(*I);
1885
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001886 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001887 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001888
1889 // Print out .file directives to specify files for .loc directives. These are
1890 // printed out early so that they precede any .loc directives.
Chris Lattnerd38fee82010-04-05 00:13:49 +00001891 if (Asm->MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001892 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1893 // Remember source id starts at 1.
1894 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattner0ad9c912010-01-22 22:09:00 +00001895 // FIXME: don't use sys::path for this! This should not depend on the
1896 // host.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001897 sys::Path FullPath(getSourceDirectoryName(Id.first));
1898 bool AppendOk =
1899 FullPath.appendComponent(getSourceFileName(Id.second));
1900 assert(AppendOk && "Could not append filename to directory!");
1901 AppendOk = false;
Chris Lattnera6594fc2010-01-25 18:58:59 +00001902 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001903 }
1904 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001905}
1906
Devang Patel2c4ceb12009-11-21 02:48:08 +00001907/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001908///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001909void DwarfDebug::endModule() {
Devang Patel6f3dc922009-10-06 00:03:14 +00001910 if (!ModuleCU)
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001911 return;
1912
Chris Lattnera909d662010-03-29 20:38:20 +00001913 TimeRegion Timer(DebugTimer);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001914
Devang Patel53bb5c92009-11-10 23:06:00 +00001915 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1916 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1917 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1918 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001919 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001920 }
1921
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001922 // Insert top level DIEs.
1923 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1924 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1925 ModuleCU->getCUDie()->addChild(*TI);
1926
Devang Patel622b0262010-01-19 06:19:05 +00001927 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel5d11eb02009-12-03 19:11:07 +00001928 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1929 DIE *SPDie = CI->first;
1930 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1931 if (!N) continue;
1932 DIE *NDie = ModuleCU->getDIE(N);
1933 if (!NDie) continue;
1934 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patelf8b72ca2010-01-15 00:26:31 +00001935 // FIXME - This is not the correct approach.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001936 //addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie
Devang Patel5d11eb02009-12-03 19:11:07 +00001937 }
1938
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001939 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001940 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00001941 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001942 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00001943 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001944
1945 // End text sections.
1946 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001947 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattnerc0215722010-04-04 19:25:43 +00001948 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", i));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001949 }
1950
1951 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001952 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001953
1954 // Emit function debug frame information
1955 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1956 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001957 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001958
1959 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001960 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001961
1962 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001963 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001964
1965 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001966 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001967
1968 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001969 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001970
1971 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001972 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001973
Devang Patel193f7202009-11-24 01:14:22 +00001974 // Emit info into a debug pubtypes section.
1975 emitDebugPubTypes();
1976
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001977 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001978 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001979
1980 // Emit info into a debug aranges section.
1981 EmitDebugARanges();
1982
1983 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001984 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001985
1986 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001987 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001988
1989 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001990 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001991
Chris Lattnerbc733f52010-03-13 02:17:42 +00001992 // Emit info into a debug str section.
1993 emitDebugStr();
1994
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001995 delete ModuleCU;
1996 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001997}
1998
Devang Patel53bb5c92009-11-10 23:06:00 +00001999/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002000DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
2001 unsigned FrameIdx,
Chris Lattnerde4845c2010-04-02 19:42:39 +00002002 DebugLoc ScopeLoc) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002003
2004 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
2005 if (AbsDbgVariable)
2006 return AbsDbgVariable;
2007
Chris Lattnerde4845c2010-04-02 19:42:39 +00002008 LLVMContext &Ctx = Var.getNode()->getContext();
2009 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00002010 if (!Scope)
2011 return NULL;
2012
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002013 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
2014 NULL /* No more-abstract variable*/);
Devang Patel2c4ceb12009-11-21 02:48:08 +00002015 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00002016 AbstractVariables[Var.getNode()] = AbsDbgVariable;
2017 return AbsDbgVariable;
2018}
2019
Devang Patel90a48ad2010-03-15 18:33:46 +00002020/// findAbstractVariable - Find abstract variable, if any, associated with Var.
2021/// FIXME : Refactor findAbstractVariable.
2022DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
2023 const MachineInstr *MI,
Chris Lattnerde4845c2010-04-02 19:42:39 +00002024 DebugLoc ScopeLoc) {
Devang Patel90a48ad2010-03-15 18:33:46 +00002025
2026 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
2027 if (AbsDbgVariable)
2028 return AbsDbgVariable;
2029
Chris Lattnerde4845c2010-04-02 19:42:39 +00002030 LLVMContext &Ctx = Var.getNode()->getContext();
2031 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel90a48ad2010-03-15 18:33:46 +00002032 if (!Scope)
2033 return NULL;
2034
Devang Patelaead63c2010-03-29 22:59:58 +00002035 AbsDbgVariable = new DbgVariable(Var, MI,
Devang Patel90a48ad2010-03-15 18:33:46 +00002036 NULL /* No more-abstract variable*/);
2037 Scope->addVariable(AbsDbgVariable);
2038 AbstractVariables[Var.getNode()] = AbsDbgVariable;
Devang Patelaead63c2010-03-29 22:59:58 +00002039 DbgValueStartMap[MI] = AbsDbgVariable;
Devang Patel90a48ad2010-03-15 18:33:46 +00002040 return AbsDbgVariable;
2041}
2042
Devang Patel2c4ceb12009-11-21 02:48:08 +00002043/// collectVariableInfo - Populate DbgScope entries with variables' info.
2044void DwarfDebug::collectVariableInfo() {
Chris Lattnerd38fee82010-04-05 00:13:49 +00002045 const LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002046
Devang Patele717faa2009-10-06 01:26:37 +00002047 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
2048 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
2049 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelbc5201f2010-01-22 22:52:10 +00002050 MDNode *Var = VI->first;
Devang Patel53bb5c92009-11-10 23:06:00 +00002051 if (!Var) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002052 DIVariable DV(Var);
2053 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002054
Chris Lattnerde4845c2010-04-02 19:42:39 +00002055 DbgScope *Scope = 0;
2056 if (MDNode *IA = VP.second.getInlinedAt(Ctx))
2057 Scope = ConcreteScopes.lookup(IA);
2058 if (Scope == 0)
2059 Scope = DbgScopeMap.lookup(VP.second.getScope(Ctx));
2060
Devang Patelfb0ee432009-11-10 23:20:04 +00002061 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002062 if (Scope == 0)
Devang Patelfb0ee432009-11-10 23:20:04 +00002063 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002064
Chris Lattnerde4845c2010-04-02 19:42:39 +00002065 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, VP.second);
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002066 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patel2c4ceb12009-11-21 02:48:08 +00002067 Scope->addVariable(RegVar);
Devang Patele717faa2009-10-06 01:26:37 +00002068 }
Devang Patel90a48ad2010-03-15 18:33:46 +00002069
2070 // Collect variable information from DBG_VALUE machine instructions;
Chris Lattnerd38fee82010-04-05 00:13:49 +00002071 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel90a48ad2010-03-15 18:33:46 +00002072 I != E; ++I) {
2073 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2074 II != IE; ++II) {
2075 const MachineInstr *MInsn = II;
Chris Lattner14d750d2010-03-31 05:39:57 +00002076 if (!MInsn->isDebugValue())
Devang Patel90a48ad2010-03-15 18:33:46 +00002077 continue;
Devang Patelaead63c2010-03-29 22:59:58 +00002078
Devang Patel90a48ad2010-03-15 18:33:46 +00002079 // FIXME : Lift this restriction.
2080 if (MInsn->getNumOperands() != 3)
2081 continue;
Chris Lattner870cfcf2010-03-31 03:34:40 +00002082 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands()
2083 - 1).getMetadata()));
Devang Patel90a48ad2010-03-15 18:33:46 +00002084 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2085 // FIXME Handle inlined subroutine arguments.
2086 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2087 CurrentFnDbgScope->addVariable(ArgVar);
Devang Patelaead63c2010-03-29 22:59:58 +00002088 DbgValueStartMap[MInsn] = ArgVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002089 continue;
2090 }
2091
2092 DebugLoc DL = MInsn->getDebugLoc();
2093 if (DL.isUnknown()) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002094 DbgScope *Scope = 0;
2095 if (MDNode *IA = DL.getInlinedAt(Ctx))
2096 Scope = ConcreteScopes.lookup(IA);
2097 if (Scope == 0)
2098 Scope = DbgScopeMap.lookup(DL.getScope(Ctx));
2099
Devang Patel90a48ad2010-03-15 18:33:46 +00002100 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002101 if (Scope == 0)
Devang Patel90a48ad2010-03-15 18:33:46 +00002102 continue;
2103
Chris Lattnerde4845c2010-04-02 19:42:39 +00002104 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn, DL);
Devang Patel90a48ad2010-03-15 18:33:46 +00002105 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
Devang Patelaead63c2010-03-29 22:59:58 +00002106 DbgValueStartMap[MInsn] = RegVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002107 Scope->addVariable(RegVar);
2108 }
2109 }
Devang Patele717faa2009-10-06 01:26:37 +00002110}
2111
Devang Patel553881b2010-03-29 17:20:31 +00002112/// beginScope - Process beginning of a scope.
2113void DwarfDebug::beginScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002114 // Check location.
2115 DebugLoc DL = MI->getDebugLoc();
2116 if (DL.isUnknown())
2117 return;
Devang Patel553881b2010-03-29 17:20:31 +00002118
2119 // Check and update last known location info.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002120 if (DL == PrevInstLoc)
2121 return;
2122
Chris Lattnerd38fee82010-04-05 00:13:49 +00002123 MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
Chris Lattnerde4845c2010-04-02 19:42:39 +00002124
2125 // FIXME: Should only verify each scope once!
2126 if (!DIScope(Scope).Verify())
Devang Patel553881b2010-03-29 17:20:31 +00002127 return;
Devang Patel553881b2010-03-29 17:20:31 +00002128
Devang Patelaead63c2010-03-29 22:59:58 +00002129 // DBG_VALUE instruction establishes new value.
Chris Lattner14d750d2010-03-31 05:39:57 +00002130 if (MI->isDebugValue()) {
Devang Patelaead63c2010-03-29 22:59:58 +00002131 DenseMap<const MachineInstr *, DbgVariable *>::iterator DI
2132 = DbgValueStartMap.find(MI);
2133 if (DI != DbgValueStartMap.end()) {
Chris Lattnerde4845c2010-04-02 19:42:39 +00002134 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2135 PrevInstLoc = DL;
Devang Patelaead63c2010-03-29 22:59:58 +00002136 DI->second->setDbgValueLabel(Label);
2137 }
Devang Patel7ed63112010-03-30 18:07:00 +00002138 return;
Devang Patelaead63c2010-03-29 22:59:58 +00002139 }
2140
Devang Patel553881b2010-03-29 17:20:31 +00002141 // Emit a label to indicate location change. This is used for line
2142 // table even if this instruction does start a new scope.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002143 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2144 PrevInstLoc = DL;
Devang Patel553881b2010-03-29 17:20:31 +00002145
2146 // update DbgScope if this instruction starts a new scope.
Devang Patel0d20ac82009-10-06 01:50:42 +00002147 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2148 if (I == DbgScopeBeginMap.end())
2149 return;
Devang Patel553881b2010-03-29 17:20:31 +00002150
Dan Gohman277207e2009-11-23 21:30:55 +00002151 ScopeVector &SD = I->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002152 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002153 SDI != SDE; ++SDI)
Chris Lattnerc6087842010-03-09 04:54:43 +00002154 (*SDI)->setStartLabel(Label);
Devang Patel0d20ac82009-10-06 01:50:42 +00002155}
2156
Devang Patel2c4ceb12009-11-21 02:48:08 +00002157/// endScope - Process end of a scope.
2158void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002159 // Ignore DBG_VALUE instruction.
Chris Lattner14d750d2010-03-31 05:39:57 +00002160 if (MI->isDebugValue())
Devang Patel553881b2010-03-29 17:20:31 +00002161 return;
2162
2163 // Check location.
2164 DebugLoc DL = MI->getDebugLoc();
2165 if (DL.isUnknown())
2166 return;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002167
Devang Patel553881b2010-03-29 17:20:31 +00002168 // Emit a label and update DbgScope if this instruction ends a scope.
Devang Patel0d20ac82009-10-06 01:50:42 +00002169 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel8a4087d2009-10-06 03:15:38 +00002170 if (I == DbgScopeEndMap.end())
Devang Patel0d20ac82009-10-06 01:50:42 +00002171 return;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002172
Chris Lattner63d78362010-03-14 08:36:50 +00002173 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnerb7db7332010-03-09 01:58:53 +00002174 Asm->OutStreamer.EmitLabel(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00002175
Chris Lattnerb7db7332010-03-09 01:58:53 +00002176 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel0d20ac82009-10-06 01:50:42 +00002177 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002178 SDI != SDE; ++SDI)
Chris Lattnerb7db7332010-03-09 01:58:53 +00002179 (*SDI)->setEndLabel(Label);
Devang Patel53bb5c92009-11-10 23:06:00 +00002180 return;
2181}
2182
2183/// createDbgScope - Create DbgScope for the scope.
2184void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002185 if (!InlinedAt) {
2186 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2187 if (WScope)
2188 return;
2189 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2190 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002191 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00002192 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00002193 return;
2194 }
2195
2196 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2197 if (WScope)
2198 return;
2199
2200 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2201 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2202 DILocation DL(InlinedAt);
2203 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00002204}
2205
Devang Patel2c4ceb12009-11-21 02:48:08 +00002206/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner14d750d2010-03-31 05:39:57 +00002207/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattnereec791a2010-01-26 23:18:02 +00002208bool DwarfDebug::extractScopeInformation() {
Devang Patelaf9e8472009-10-01 20:31:14 +00002209 // If scope information was extracted using .dbg intrinsics then there is not
2210 // any need to extract these information by scanning each instruction.
2211 if (!DbgScopeMap.empty())
2212 return false;
2213
Devang Patel344130e2010-01-04 20:44:00 +00002214 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2215 unsigned MIIndex = 0;
Chris Lattnerd38fee82010-04-05 00:13:49 +00002216 LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002217
Devang Patel53bb5c92009-11-10 23:06:00 +00002218 // Scan each instruction and create scopes. First build working set of scopes.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002219 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patelaf9e8472009-10-01 20:31:14 +00002220 I != E; ++I) {
2221 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2222 II != IE; ++II) {
2223 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002224 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002225 if (MInsn->isDebugValue()) continue;
Devang Patel344130e2010-01-04 20:44:00 +00002226 MIIndexMap[MInsn] = MIIndex++;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002227
Devang Patelaf9e8472009-10-01 20:31:14 +00002228 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002229 if (DL.isUnknown()) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002230
2231 MDNode *Scope = DL.getScope(Ctx);
2232
Devang Patelaf9e8472009-10-01 20:31:14 +00002233 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002234 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00002235 // into a scope DIE at the end.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002236 if (DIScope(Scope).isCompileUnit()) continue;
2237 createDbgScope(Scope, DL.getInlinedAt(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00002238 }
2239 }
2240
Devang Patelc8e77642010-04-01 22:47:29 +00002241
Devang Patel53bb5c92009-11-10 23:06:00 +00002242 // Build scope hierarchy using working set of scopes.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002243 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel53bb5c92009-11-10 23:06:00 +00002244 I != E; ++I) {
2245 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2246 II != IE; ++II) {
2247 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002248 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002249 if (MInsn->isDebugValue()) continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002250 DebugLoc DL = MInsn->getDebugLoc();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002251 if (DL.isUnknown()) continue;
2252
2253 MDNode *Scope = DL.getScope(Ctx);
2254 if (Scope == 0) continue;
2255
Devang Patel53bb5c92009-11-10 23:06:00 +00002256 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002257 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002258 // into a scope DIE at the end.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002259 if (DIScope(Scope).isCompileUnit()) continue;
2260 DbgScope *DScope = getUpdatedDbgScope(Scope, MInsn, DL.getInlinedAt(Ctx));
2261 DScope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00002262 }
2263 }
2264
Devang Patel344130e2010-01-04 20:44:00 +00002265 if (!CurrentFnDbgScope)
2266 return false;
2267
2268 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patelaf9e8472009-10-01 20:31:14 +00002269
2270 // Each scope has first instruction and last instruction to mark beginning
2271 // and end of a scope respectively. Create an inverse map that list scopes
2272 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel42aafd72010-01-20 02:05:23 +00002273 // multiple scopes. Ignore scopes that are not reachable.
2274 SmallVector<DbgScope *, 4> WorkList;
2275 WorkList.push_back(CurrentFnDbgScope);
2276 while (!WorkList.empty()) {
Chris Lattner14d750d2010-03-31 05:39:57 +00002277 DbgScope *S = WorkList.pop_back_val();
Devang Patel42aafd72010-01-20 02:05:23 +00002278
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002279 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patel42aafd72010-01-20 02:05:23 +00002280 if (!Children.empty())
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002281 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel42aafd72010-01-20 02:05:23 +00002282 SE = Children.end(); SI != SE; ++SI)
2283 WorkList.push_back(*SI);
2284
Devang Patel53bb5c92009-11-10 23:06:00 +00002285 if (S->isAbstractScope())
2286 continue;
Devang Patelaf9e8472009-10-01 20:31:14 +00002287 const MachineInstr *MI = S->getFirstInsn();
Chris Lattnered7a77b2010-03-31 05:36:29 +00002288 assert(MI && "DbgScope does not have first instruction!");
Devang Patelaf9e8472009-10-01 20:31:14 +00002289
2290 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2291 if (IDI != DbgScopeBeginMap.end())
2292 IDI->second.push_back(S);
2293 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002294 DbgScopeBeginMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002295
2296 MI = S->getLastInsn();
Chris Lattnered7a77b2010-03-31 05:36:29 +00002297 assert(MI && "DbgScope does not have last instruction!");
Devang Patelaf9e8472009-10-01 20:31:14 +00002298 IDI = DbgScopeEndMap.find(MI);
2299 if (IDI != DbgScopeEndMap.end())
2300 IDI->second.push_back(S);
2301 else
Devang Patel53bb5c92009-11-10 23:06:00 +00002302 DbgScopeEndMap[MI].push_back(S);
Devang Patelaf9e8472009-10-01 20:31:14 +00002303 }
2304
2305 return !DbgScopeMap.empty();
2306}
2307
Devang Patel2c4ceb12009-11-21 02:48:08 +00002308/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002309/// emitted immediately after the function entry point.
Chris Lattnereec791a2010-01-26 23:18:02 +00002310void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner994cb122010-04-05 03:52:55 +00002311 if (!MMI->hasDebugInfo()) return;
Chris Lattnerd38fee82010-04-05 00:13:49 +00002312
2313 TimeRegion Timer(DebugTimer);
Chris Lattnereec791a2010-01-26 23:18:02 +00002314 if (!extractScopeInformation())
Devang Patel60b35bd2009-10-06 18:37:31 +00002315 return;
Chris Lattnera909d662010-03-29 20:38:20 +00002316
Devang Patel2c4ceb12009-11-21 02:48:08 +00002317 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002318
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002319 // Assumes in correct section after the entry point.
Chris Lattnerc0215722010-04-04 19:25:43 +00002320 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_begin",
Chris Lattnerd38fee82010-04-05 00:13:49 +00002321 Asm->getFunctionNumber()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002322
2323 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2324 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002325 DebugLoc FDL = MF->getDefaultDebugLoc();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002326 if (FDL.isUnknown()) return;
2327
2328 MDNode *Scope = FDL.getScope(MF->getFunction()->getContext());
2329
2330 DISubprogram SP = getDISubprogram(Scope);
2331 unsigned Line, Col;
2332 if (SP.Verify()) {
2333 Line = SP.getLineNumber();
2334 Col = 0;
2335 } else {
2336 Line = FDL.getLine();
2337 Col = FDL.getCol();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002338 }
Chris Lattnerde4845c2010-04-02 19:42:39 +00002339
2340 recordSourceLine(Line, Col, Scope);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002341}
2342
Devang Patel2c4ceb12009-11-21 02:48:08 +00002343/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002344///
Chris Lattnereec791a2010-01-26 23:18:02 +00002345void DwarfDebug::endFunction(const MachineFunction *MF) {
Chris Lattner74e41f92010-04-05 05:24:55 +00002346 if (!MMI->hasDebugInfo() ||
2347 DbgScopeMap.empty()) return;
Chris Lattnera909d662010-03-29 20:38:20 +00002348
2349 TimeRegion Timer(DebugTimer);
Devang Patel70d75ca2009-11-12 19:02:56 +00002350
Devang Patel344130e2010-01-04 20:44:00 +00002351 if (CurrentFnDbgScope) {
2352 // Define end label for subprogram.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002353 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_end",
2354 Asm->getFunctionNumber()));
Devang Patel344130e2010-01-04 20:44:00 +00002355
2356 // Get function line info.
2357 if (!Lines.empty()) {
2358 // Get section line info.
2359 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2360 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2361 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2362 // Append the function info to section info.
2363 SectionLineInfos.insert(SectionLineInfos.end(),
2364 Lines.begin(), Lines.end());
2365 }
2366
2367 // Construct abstract scopes.
2368 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2369 AE = AbstractScopesList.end(); AI != AE; ++AI)
2370 constructScopeDIE(*AI);
2371
2372 constructScopeDIE(CurrentFnDbgScope);
2373
Chris Lattnerd38fee82010-04-05 00:13:49 +00002374 DebugFrames.push_back(FunctionDebugFrameInfo(Asm->getFunctionNumber(),
Devang Patel344130e2010-01-04 20:44:00 +00002375 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002376 }
2377
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002378 // Clear debug info
Devang Patelf54b8522010-01-19 01:26:02 +00002379 CurrentFnDbgScope = NULL;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002380 DeleteContainerSeconds(DbgScopeMap);
Devang Patelf54b8522010-01-19 01:26:02 +00002381 DbgScopeBeginMap.clear();
2382 DbgScopeEndMap.clear();
Devang Patelaead63c2010-03-29 22:59:58 +00002383 DbgValueStartMap.clear();
Devang Patelf54b8522010-01-19 01:26:02 +00002384 ConcreteScopes.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002385 DeleteContainerSeconds(AbstractScopes);
Devang Patelf54b8522010-01-19 01:26:02 +00002386 AbstractScopesList.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002387 AbstractVariables.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002388 Lines.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002389}
2390
Chris Lattnerc6087842010-03-09 04:54:43 +00002391/// recordSourceLine - Register a source line with debug info. Returns the
2392/// unique label that was emitted and which provides correspondence to
2393/// the source line list.
2394MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Chris Lattnera909d662010-03-29 20:38:20 +00002395 TimeRegion Timer(DebugTimer);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002396
Devang Patel65dbc902009-11-25 17:36:49 +00002397 StringRef Dir;
2398 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002399
2400 DIDescriptor Scope(S);
2401 if (Scope.isCompileUnit()) {
2402 DICompileUnit CU(S);
2403 Dir = CU.getDirectory();
2404 Fn = CU.getFilename();
2405 } else if (Scope.isSubprogram()) {
2406 DISubprogram SP(S);
2407 Dir = SP.getDirectory();
2408 Fn = SP.getFilename();
2409 } else if (Scope.isLexicalBlock()) {
2410 DILexicalBlock DB(S);
2411 Dir = DB.getDirectory();
2412 Fn = DB.getFilename();
2413 } else
Chris Lattner206d61e2010-03-13 07:26:18 +00002414 assert(0 && "Unexpected scope info");
Devang Patelf84548d2009-10-05 18:03:19 +00002415
2416 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner63d78362010-03-14 08:36:50 +00002417 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner25b68c62010-03-14 08:15:55 +00002418 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002419
Chris Lattnerc6087842010-03-09 04:54:43 +00002420 Asm->OutStreamer.EmitLabel(Label);
2421 return Label;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002422}
2423
2424/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2425/// timed. Look up the source id with the given directory and source file
2426/// names. If none currently exists, create a new id and insert it in the
2427/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2428/// well.
2429unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2430 const std::string &FileName) {
Chris Lattnera909d662010-03-29 20:38:20 +00002431 TimeRegion Timer(DebugTimer);
2432 return GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002433}
2434
Bill Wendling829e67b2009-05-20 23:22:40 +00002435//===----------------------------------------------------------------------===//
2436// Emit Methods
2437//===----------------------------------------------------------------------===//
2438
Devang Patel2c4ceb12009-11-21 02:48:08 +00002439/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002440///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002441unsigned
2442DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002443 // Get the children.
2444 const std::vector<DIE *> &Children = Die->getChildren();
2445
2446 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002447 if (!Last && !Children.empty())
Benjamin Kramer345ef342010-03-31 19:34:01 +00002448 Die->addSiblingOffset(DIEValueAllocator);
Bill Wendling94d04b82009-05-20 23:21:38 +00002449
2450 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002451 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002452
2453 // Get the abbreviation for this DIE.
2454 unsigned AbbrevNumber = Die->getAbbrevNumber();
2455 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2456
2457 // Set DIE offset
2458 Die->setOffset(Offset);
2459
2460 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002461 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002462
2463 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2464 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2465
2466 // Size the DIE attribute values.
2467 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2468 // Size attribute value.
Chris Lattnera37d5382010-04-05 00:18:22 +00002469 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling94d04b82009-05-20 23:21:38 +00002470
2471 // Size the DIE children if any.
2472 if (!Children.empty()) {
2473 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2474 "Children flag not set");
2475
2476 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002477 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002478
2479 // End of children marker.
2480 Offset += sizeof(int8_t);
2481 }
2482
2483 Die->setSize(Offset - Die->getOffset());
2484 return Offset;
2485}
2486
Devang Patel2c4ceb12009-11-21 02:48:08 +00002487/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002488///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002489void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002490 // Compute size of compile unit header.
2491 static unsigned Offset =
2492 sizeof(int32_t) + // Length of Compilation Unit Info
2493 sizeof(int16_t) + // DWARF version number
2494 sizeof(int32_t) + // Offset Into Abbrev. Section
2495 sizeof(int8_t); // Pointer Size (in bytes)
2496
Devang Patel2c4ceb12009-11-21 02:48:08 +00002497 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel1dbc7712009-06-29 20:45:18 +00002498 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling94d04b82009-05-20 23:21:38 +00002499}
2500
Chris Lattner11b8f302010-04-04 23:02:02 +00002501/// EmitSectionSym - Switch to the specified MCSection and emit an assembler
2502/// temporary label to it if SymbolStem is specified.
Chris Lattner9c69e285532010-04-04 22:59:04 +00002503static MCSymbol *EmitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Chris Lattner11b8f302010-04-04 23:02:02 +00002504 const char *SymbolStem = 0) {
Chris Lattner9c69e285532010-04-04 22:59:04 +00002505 Asm->OutStreamer.SwitchSection(Section);
Chris Lattner11b8f302010-04-04 23:02:02 +00002506 if (!SymbolStem) return 0;
2507
Chris Lattner9c69e285532010-04-04 22:59:04 +00002508 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
2509 Asm->OutStreamer.EmitLabel(TmpSym);
2510 return TmpSym;
2511}
2512
2513/// EmitSectionLabels - Emit initial Dwarf sections with a label at
2514/// the start of each one.
Chris Lattnerfa070b02010-04-04 22:33:59 +00002515void DwarfDebug::EmitSectionLabels() {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002516 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002517
Bill Wendling94d04b82009-05-20 23:21:38 +00002518 // Dwarf sections base addresses.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002519 if (Asm->MAI->doesDwarfRequireFrameSection()) {
Chris Lattner9c69e285532010-04-04 22:59:04 +00002520 DwarfFrameSectionSym =
2521 EmitSectionSym(Asm, TLOF.getDwarfFrameSection(), "section_debug_frame");
2522 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002523
Chris Lattner9c69e285532010-04-04 22:59:04 +00002524 DwarfInfoSectionSym =
2525 EmitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
2526 DwarfAbbrevSectionSym =
2527 EmitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Chris Lattner11b8f302010-04-04 23:02:02 +00002528 EmitSectionSym(Asm, TLOF.getDwarfARangesSection());
Chris Lattner9c69e285532010-04-04 22:59:04 +00002529
2530 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Chris Lattner11b8f302010-04-04 23:02:02 +00002531 EmitSectionSym(Asm, MacroInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002532
Chris Lattner11b8f302010-04-04 23:02:02 +00002533 EmitSectionSym(Asm, TLOF.getDwarfLineSection());
2534 EmitSectionSym(Asm, TLOF.getDwarfLocSection());
2535 EmitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
2536 EmitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Chris Lattner9c69e285532010-04-04 22:59:04 +00002537 DwarfStrSectionSym =
2538 EmitSectionSym(Asm, TLOF.getDwarfStrSection(), "section_str");
Chris Lattner11b8f302010-04-04 23:02:02 +00002539 EmitSectionSym(Asm, TLOF.getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002540
Chris Lattner9c69e285532010-04-04 22:59:04 +00002541 TextSectionSym = EmitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
Chris Lattner4ad1efe2010-04-04 23:10:38 +00002542 EmitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002543}
2544
Devang Patel2c4ceb12009-11-21 02:48:08 +00002545/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002546///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002547void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002548 // Get the abbreviation for this DIE.
2549 unsigned AbbrevNumber = Die->getAbbrevNumber();
2550 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2551
Bill Wendling94d04b82009-05-20 23:21:38 +00002552 // Emit the code (index) for the abbreviation.
Chris Lattner3f53c832010-04-04 18:52:31 +00002553 if (Asm->isVerbose())
Chris Lattner894d75a2010-01-22 23:18:42 +00002554 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2555 Twine::utohexstr(Die->getOffset()) + ":0x" +
2556 Twine::utohexstr(Die->getSize()) + " " +
2557 dwarf::TagString(Abbrev->getTag()));
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002558 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002559
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002560 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling94d04b82009-05-20 23:21:38 +00002561 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2562
2563 // Emit the DIE attribute values.
2564 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2565 unsigned Attr = AbbrevData[i].getAttribute();
2566 unsigned Form = AbbrevData[i].getForm();
2567 assert(Form && "Too many attributes for DIE (check abbreviation)");
2568
Chris Lattner3f53c832010-04-04 18:52:31 +00002569 if (Asm->isVerbose())
Chris Lattnera8013622010-01-24 18:54:17 +00002570 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2571
Bill Wendling94d04b82009-05-20 23:21:38 +00002572 switch (Attr) {
2573 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002574 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002575 break;
2576 case dwarf::DW_AT_abstract_origin: {
2577 DIEEntry *E = cast<DIEEntry>(Values[i]);
2578 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002579 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002580 Asm->EmitInt32(Addr);
2581 break;
2582 }
2583 default:
2584 // Emit an attribute using the defined form.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002585 Values[i]->EmitValue(Asm, Form);
Bill Wendling94d04b82009-05-20 23:21:38 +00002586 break;
2587 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002588 }
2589
2590 // Emit the DIE children if any.
2591 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2592 const std::vector<DIE *> &Children = Die->getChildren();
2593
2594 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002595 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002596
Chris Lattner3f53c832010-04-04 18:52:31 +00002597 if (Asm->isVerbose())
Chris Lattner233f52b2010-03-09 23:52:58 +00002598 Asm->OutStreamer.AddComment("End Of Children Mark");
2599 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002600 }
2601}
2602
Devang Patel8a241142009-12-09 18:24:21 +00002603/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002604///
Devang Patel8a241142009-12-09 18:24:21 +00002605void DwarfDebug::emitDebugInfo() {
2606 // Start debug info section.
2607 Asm->OutStreamer.SwitchSection(
2608 Asm->getObjFileLowering().getDwarfInfoSection());
2609 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002610
2611 // Emit the compile units header.
Chris Lattnerc0215722010-04-04 19:25:43 +00002612 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_begin",
2613 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002614
2615 // Emit size of content not including length itself
2616 unsigned ContentSize = Die->getSize() +
2617 sizeof(int16_t) + // DWARF version number
2618 sizeof(int32_t) + // Offset Into Abbrev. Section
2619 sizeof(int8_t) + // Pointer Size (in bytes)
2620 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2621
Chris Lattner233f52b2010-03-09 23:52:58 +00002622 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2623 Asm->EmitInt32(ContentSize);
2624 Asm->OutStreamer.AddComment("DWARF version number");
2625 Asm->EmitInt16(dwarf::DWARF_VERSION);
2626 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Chris Lattner6189ed12010-04-04 23:25:33 +00002627 Asm->EmitSectionOffset(Asm->GetTempSymbol("abbrev_begin"),
2628 DwarfAbbrevSectionSym);
Chris Lattner233f52b2010-03-09 23:52:58 +00002629 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002630 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002631
Devang Patel2c4ceb12009-11-21 02:48:08 +00002632 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002633 // FIXME - extra padding for gdb bug.
Chris Lattner233f52b2010-03-09 23:52:58 +00002634 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2635 Asm->EmitInt8(0);
2636 Asm->EmitInt8(0);
2637 Asm->EmitInt8(0);
2638 Asm->EmitInt8(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00002639 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_end", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002640}
2641
Devang Patel2c4ceb12009-11-21 02:48:08 +00002642/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002643///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002644void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002645 // Check to see if it is worth the effort.
2646 if (!Abbreviations.empty()) {
2647 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002648 Asm->OutStreamer.SwitchSection(
2649 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002650
Chris Lattnerc0215722010-04-04 19:25:43 +00002651 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002652
2653 // For each abbrevation.
2654 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2655 // Get abbreviation data
2656 const DIEAbbrev *Abbrev = Abbreviations[i];
2657
2658 // Emit the abbrevations code (base 1 index.)
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002659 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002660
2661 // Emit the abbreviations data.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002662 Abbrev->Emit(Asm);
Bill Wendling94d04b82009-05-20 23:21:38 +00002663 }
2664
2665 // Mark end of abbreviations.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002666 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002667
Chris Lattnerc0215722010-04-04 19:25:43 +00002668 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002669 }
2670}
2671
Devang Patel2c4ceb12009-11-21 02:48:08 +00002672/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002673/// the line matrix.
2674///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002675void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002676 // Define last address of section.
Chris Lattner233f52b2010-03-09 23:52:58 +00002677 Asm->OutStreamer.AddComment("Extended Op");
2678 Asm->EmitInt8(0);
2679
2680 Asm->OutStreamer.AddComment("Op size");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002681 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner233f52b2010-03-09 23:52:58 +00002682 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2683 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2684
2685 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002686
Chris Lattnerc0215722010-04-04 19:25:43 +00002687 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Chris Lattnerd38fee82010-04-05 00:13:49 +00002688 Asm->getTargetData().getPointerSize(),
2689 0/*AddrSpace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00002690
2691 // Mark end of matrix.
Chris Lattner233f52b2010-03-09 23:52:58 +00002692 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2693 Asm->EmitInt8(0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002694 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002695 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002696}
2697
Devang Patel2c4ceb12009-11-21 02:48:08 +00002698/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002699///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002700void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002701 // If the target is using .loc/.file, the assembler will be emitting the
2702 // .debug_line table automatically.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002703 if (Asm->MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002704 return;
2705
2706 // Minimum line delta, thus ranging from -10..(255-10).
2707 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2708 // Maximum line delta, thus ranging from -10..(255-10).
2709 const int MaxLineDelta = 255 + MinLineDelta;
2710
2711 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002712 Asm->OutStreamer.SwitchSection(
2713 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002714
2715 // Construct the section header.
Chris Lattner233f52b2010-03-09 23:52:58 +00002716 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002717 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_end"),
2718 Asm->GetTempSymbol("line_begin"), 4);
Chris Lattnerc0215722010-04-04 19:25:43 +00002719 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002720
Chris Lattner233f52b2010-03-09 23:52:58 +00002721 Asm->OutStreamer.AddComment("DWARF version number");
2722 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002723
Chris Lattner233f52b2010-03-09 23:52:58 +00002724 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002725 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_prolog_end"),
2726 Asm->GetTempSymbol("line_prolog_begin"), 4);
Chris Lattnerc0215722010-04-04 19:25:43 +00002727 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002728
Chris Lattner233f52b2010-03-09 23:52:58 +00002729 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2730 Asm->EmitInt8(1);
2731 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2732 Asm->EmitInt8(1);
2733 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2734 Asm->EmitInt8(MinLineDelta);
2735 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2736 Asm->EmitInt8(MaxLineDelta);
2737 Asm->OutStreamer.AddComment("Special Opcode Base");
2738 Asm->EmitInt8(-MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002739
2740 // Line number standard opcode encodings argument count
Chris Lattner233f52b2010-03-09 23:52:58 +00002741 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2742 Asm->EmitInt8(0);
2743 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2744 Asm->EmitInt8(1);
2745 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2746 Asm->EmitInt8(1);
2747 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2748 Asm->EmitInt8(1);
2749 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2750 Asm->EmitInt8(1);
2751 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2752 Asm->EmitInt8(0);
2753 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2754 Asm->EmitInt8(0);
2755 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2756 Asm->EmitInt8(0);
2757 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2758 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002759
2760 // Emit directories.
2761 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattner4cf202b2010-01-23 03:11:46 +00002762 const std::string &Dir = getSourceDirectoryName(DI);
Chris Lattner3f53c832010-04-04 18:52:31 +00002763 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Directory");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002764 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002765 }
2766
Chris Lattner233f52b2010-03-09 23:52:58 +00002767 Asm->OutStreamer.AddComment("End of directories");
2768 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002769
2770 // Emit files.
2771 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2772 // Remember source id starts at 1.
2773 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattner4cf202b2010-01-23 03:11:46 +00002774 const std::string &FN = getSourceFileName(Id.second);
Chris Lattner3f53c832010-04-04 18:52:31 +00002775 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Source");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002776 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2777
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002778 Asm->EmitULEB128(Id.first, "Directory #");
2779 Asm->EmitULEB128(0, "Mod date");
2780 Asm->EmitULEB128(0, "File size");
Bill Wendling94d04b82009-05-20 23:21:38 +00002781 }
2782
Chris Lattner233f52b2010-03-09 23:52:58 +00002783 Asm->OutStreamer.AddComment("End of files");
2784 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002785
Chris Lattnerc0215722010-04-04 19:25:43 +00002786 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002787
2788 // A sequence for each text section.
2789 unsigned SecSrcLinesSize = SectionSourceLines.size();
2790
2791 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2792 // Isolate current sections line info.
2793 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2794
Bill Wendling94d04b82009-05-20 23:21:38 +00002795 // Dwarf assumes we start with first line of first source file.
2796 unsigned Source = 1;
2797 unsigned Line = 1;
2798
2799 // Construct rows of the address, source, line, column matrix.
2800 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2801 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner25b68c62010-03-14 08:15:55 +00002802 MCSymbol *Label = LineInfo.getLabel();
Chris Lattnerb9130602010-03-14 02:20:58 +00002803 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling94d04b82009-05-20 23:21:38 +00002804
Caroline Ticec6f9d622009-09-11 18:25:54 +00002805 if (LineInfo.getLine() == 0) continue;
2806
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002807 if (Asm->isVerbose()) {
Chris Lattner188a87d2010-03-10 01:04:13 +00002808 std::pair<unsigned, unsigned> SrcID =
Bill Wendling94d04b82009-05-20 23:21:38 +00002809 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner188a87d2010-03-10 01:04:13 +00002810 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner49f618a2010-03-10 02:29:31 +00002811 "/" +
2812 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner188a87d2010-03-10 01:04:13 +00002813 ":" + Twine(LineInfo.getLine()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002814 }
2815
2816 // Define the line address.
Chris Lattner233f52b2010-03-09 23:52:58 +00002817 Asm->OutStreamer.AddComment("Extended Op");
2818 Asm->EmitInt8(0);
2819 Asm->OutStreamer.AddComment("Op size");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002820 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner233f52b2010-03-09 23:52:58 +00002821
2822 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2823 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2824
2825 Asm->OutStreamer.AddComment("Location label");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002826 Asm->OutStreamer.EmitSymbolValue(Label,
2827 Asm->getTargetData().getPointerSize(),
Chris Lattnerb9130602010-03-14 02:20:58 +00002828 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002829
Bill Wendling94d04b82009-05-20 23:21:38 +00002830 // If change of source, then switch to the new source.
2831 if (Source != LineInfo.getSourceID()) {
2832 Source = LineInfo.getSourceID();
Chris Lattner233f52b2010-03-09 23:52:58 +00002833 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2834 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002835 Asm->EmitULEB128(Source, "New Source");
Bill Wendling94d04b82009-05-20 23:21:38 +00002836 }
2837
2838 // If change of line.
2839 if (Line != LineInfo.getLine()) {
2840 // Determine offset.
2841 int Offset = LineInfo.getLine() - Line;
2842 int Delta = Offset - MinLineDelta;
2843
2844 // Update line.
2845 Line = LineInfo.getLine();
2846
2847 // If delta is small enough and in range...
2848 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2849 // ... then use fast opcode.
Chris Lattner233f52b2010-03-09 23:52:58 +00002850 Asm->OutStreamer.AddComment("Line Delta");
2851 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002852 } else {
2853 // ... otherwise use long hand.
Chris Lattner233f52b2010-03-09 23:52:58 +00002854 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling94d04b82009-05-20 23:21:38 +00002855 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002856 Asm->EmitSLEB128(Offset, "Line Offset");
Chris Lattner233f52b2010-03-09 23:52:58 +00002857 Asm->OutStreamer.AddComment("DW_LNS_copy");
2858 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002859 }
2860 } else {
2861 // Copy the previous row (different address or source)
Chris Lattner233f52b2010-03-09 23:52:58 +00002862 Asm->OutStreamer.AddComment("DW_LNS_copy");
2863 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002864 }
2865 }
2866
Devang Patel2c4ceb12009-11-21 02:48:08 +00002867 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002868 }
2869
2870 if (SecSrcLinesSize == 0)
2871 // Because we're emitting a debug_line section, we still need a line
2872 // table. The linker and friends expect it to exist. If there's nothing to
2873 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002874 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002875
Chris Lattnerc0215722010-04-04 19:25:43 +00002876 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002877}
2878
Devang Patel2c4ceb12009-11-21 02:48:08 +00002879/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002880///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002881void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnerd38fee82010-04-05 00:13:49 +00002882 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002883 return;
2884
Chris Lattnerd38fee82010-04-05 00:13:49 +00002885 int stackGrowth = Asm->getTargetData().getPointerSize();
2886 if (Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2887 TargetFrameInfo::StackGrowsDown)
2888 stackGrowth *= -1;
Bill Wendling94d04b82009-05-20 23:21:38 +00002889
2890 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002891 Asm->OutStreamer.SwitchSection(
2892 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002893
Chris Lattnerc0215722010-04-04 19:25:43 +00002894 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002895 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00002896 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_frame_common_end"),
2897 Asm->GetTempSymbol("debug_frame_common_begin"), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002898
Chris Lattnerc0215722010-04-04 19:25:43 +00002899 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_begin"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002900 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling94d04b82009-05-20 23:21:38 +00002901 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner233f52b2010-03-09 23:52:58 +00002902 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002903 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner233f52b2010-03-09 23:52:58 +00002904 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002905 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002906 Asm->EmitULEB128(1, "CIE Code Alignment Factor");
2907 Asm->EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner233f52b2010-03-09 23:52:58 +00002908 Asm->OutStreamer.AddComment("CIE RA Column");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002909 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling94d04b82009-05-20 23:21:38 +00002910 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling94d04b82009-05-20 23:21:38 +00002911
2912 std::vector<MachineMove> Moves;
2913 RI->getInitialFrameState(Moves);
2914
Chris Lattner02b86b92010-04-04 23:41:46 +00002915 Asm->EmitFrameMoves(Moves, 0, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002916
2917 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerc0215722010-04-04 19:25:43 +00002918 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002919}
2920
Devang Patel2c4ceb12009-11-21 02:48:08 +00002921/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002922/// section.
Chris Lattner206d61e2010-03-13 07:26:18 +00002923void DwarfDebug::
2924emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattnerd38fee82010-04-05 00:13:49 +00002925 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002926 return;
2927
2928 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002929 Asm->OutStreamer.SwitchSection(
2930 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002931
Chris Lattner233f52b2010-03-09 23:52:58 +00002932 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner206d61e2010-03-13 07:26:18 +00002933 MCSymbol *DebugFrameBegin =
Chris Lattnerc0215722010-04-04 19:25:43 +00002934 Asm->GetTempSymbol("debug_frame_begin", DebugFrameInfo.Number);
Chris Lattner206d61e2010-03-13 07:26:18 +00002935 MCSymbol *DebugFrameEnd =
Chris Lattnerc0215722010-04-04 19:25:43 +00002936 Asm->GetTempSymbol("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnera6437182010-04-04 19:58:12 +00002937 Asm->EmitLabelDifference(DebugFrameEnd, DebugFrameBegin, 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002938
Chris Lattner206d61e2010-03-13 07:26:18 +00002939 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling94d04b82009-05-20 23:21:38 +00002940
Chris Lattner233f52b2010-03-09 23:52:58 +00002941 Asm->OutStreamer.AddComment("FDE CIE offset");
Chris Lattner6189ed12010-04-04 23:25:33 +00002942 Asm->EmitSectionOffset(Asm->GetTempSymbol("debug_frame_common"),
2943 DwarfFrameSectionSym);
Bill Wendling94d04b82009-05-20 23:21:38 +00002944
Chris Lattner233f52b2010-03-09 23:52:58 +00002945 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnerc0215722010-04-04 19:25:43 +00002946 MCSymbol *FuncBeginSym =
2947 Asm->GetTempSymbol("func_begin", DebugFrameInfo.Number);
Chris Lattnerfb658072010-03-13 07:40:56 +00002948 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerd38fee82010-04-05 00:13:49 +00002949 Asm->getTargetData().getPointerSize(),
2950 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002951
2952
Chris Lattner233f52b2010-03-09 23:52:58 +00002953 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnera6437182010-04-04 19:58:12 +00002954 Asm->EmitLabelDifference(Asm->GetTempSymbol("func_end",DebugFrameInfo.Number),
Chris Lattnerd38fee82010-04-05 00:13:49 +00002955 FuncBeginSym, Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002956
Chris Lattner02b86b92010-04-04 23:41:46 +00002957 Asm->EmitFrameMoves(DebugFrameInfo.Moves, FuncBeginSym, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002958
2959 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner206d61e2010-03-13 07:26:18 +00002960 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling94d04b82009-05-20 23:21:38 +00002961}
2962
Devang Patel8a241142009-12-09 18:24:21 +00002963/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2964///
2965void DwarfDebug::emitDebugPubNames() {
2966 // Start the dwarf pubnames section.
2967 Asm->OutStreamer.SwitchSection(
2968 Asm->getObjFileLowering().getDwarfPubNamesSection());
2969
Chris Lattner233f52b2010-03-09 23:52:58 +00002970 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002971 Asm->EmitLabelDifference(
2972 Asm->GetTempSymbol("pubnames_end", ModuleCU->getID()),
2973 Asm->GetTempSymbol("pubnames_begin", ModuleCU->getID()), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002974
Chris Lattnerc0215722010-04-04 19:25:43 +00002975 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin",
2976 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002977
Chris Lattner233f52b2010-03-09 23:52:58 +00002978 Asm->OutStreamer.AddComment("DWARF Version");
2979 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002980
Chris Lattner233f52b2010-03-09 23:52:58 +00002981 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattner6189ed12010-04-04 23:25:33 +00002982 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2983 DwarfInfoSectionSym);
Bill Wendling94d04b82009-05-20 23:21:38 +00002984
Chris Lattner233f52b2010-03-09 23:52:58 +00002985 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002986 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
2987 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2988 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002989
Devang Patel8a241142009-12-09 18:24:21 +00002990 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002991 for (StringMap<DIE*>::const_iterator
2992 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2993 const char *Name = GI->getKeyData();
Chris Lattner233f52b2010-03-09 23:52:58 +00002994 DIE *Entity = GI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002995
Chris Lattner233f52b2010-03-09 23:52:58 +00002996 Asm->OutStreamer.AddComment("DIE offset");
2997 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002998
Chris Lattner3f53c832010-04-04 18:52:31 +00002999 if (Asm->isVerbose())
Chris Lattner4cf202b2010-01-23 03:11:46 +00003000 Asm->OutStreamer.AddComment("External Name");
3001 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00003002 }
3003
Chris Lattner233f52b2010-03-09 23:52:58 +00003004 Asm->OutStreamer.AddComment("End Mark");
3005 Asm->EmitInt32(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00003006 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end",
3007 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00003008}
3009
Devang Patel193f7202009-11-24 01:14:22 +00003010void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00003011 // Start the dwarf pubnames section.
3012 Asm->OutStreamer.SwitchSection(
3013 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner233f52b2010-03-09 23:52:58 +00003014 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattnera6437182010-04-04 19:58:12 +00003015 Asm->EmitLabelDifference(
3016 Asm->GetTempSymbol("pubtypes_end", ModuleCU->getID()),
3017 Asm->GetTempSymbol("pubtypes_begin", ModuleCU->getID()), 4);
Devang Patel193f7202009-11-24 01:14:22 +00003018
Chris Lattnerc0215722010-04-04 19:25:43 +00003019 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
3020 ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00003021
Chris Lattner3f53c832010-04-04 18:52:31 +00003022 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
Devang Patele3d6d222010-02-02 03:47:27 +00003023 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel193f7202009-11-24 01:14:22 +00003024
Chris Lattner233f52b2010-03-09 23:52:58 +00003025 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattner6189ed12010-04-04 23:25:33 +00003026 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
3027 DwarfInfoSectionSym);
Devang Patel193f7202009-11-24 01:14:22 +00003028
Chris Lattner233f52b2010-03-09 23:52:58 +00003029 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattnera6437182010-04-04 19:58:12 +00003030 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
3031 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
3032 4);
Devang Patel193f7202009-11-24 01:14:22 +00003033
3034 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
3035 for (StringMap<DIE*>::const_iterator
3036 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
3037 const char *Name = GI->getKeyData();
3038 DIE * Entity = GI->second;
3039
Chris Lattner3f53c832010-04-04 18:52:31 +00003040 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Devang Patele3d6d222010-02-02 03:47:27 +00003041 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00003042
Chris Lattner3f53c832010-04-04 18:52:31 +00003043 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Devang Patel31acb892010-02-02 03:37:03 +00003044 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel193f7202009-11-24 01:14:22 +00003045 }
3046
Chris Lattner233f52b2010-03-09 23:52:58 +00003047 Asm->OutStreamer.AddComment("End Mark");
3048 Asm->EmitInt32(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00003049 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
3050 ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00003051}
3052
Devang Patel2c4ceb12009-11-21 02:48:08 +00003053/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003054///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003055void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003056 // Check to see if it is worth the effort.
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003057 if (StringPool.empty()) return;
3058
3059 // Start the dwarf str section.
3060 Asm->OutStreamer.SwitchSection(
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003061 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003062
Chris Lattnerbc733f52010-03-13 02:17:42 +00003063 // Get all of the string pool entries and put them in an array by their ID so
3064 // we can sort them.
3065 SmallVector<std::pair<unsigned,
3066 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
3067
3068 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
3069 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
3070 Entries.push_back(std::make_pair(I->second.second, &*I));
3071
3072 array_pod_sort(Entries.begin(), Entries.end());
3073
3074 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003075 // Emit a label for reference from debug information entries.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003076 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003077
3078 // Emit the string itself.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003079 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00003080 }
3081}
3082
Devang Patel2c4ceb12009-11-21 02:48:08 +00003083/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003084///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003085void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003086 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003087 Asm->OutStreamer.SwitchSection(
3088 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003089}
3090
3091/// EmitDebugARanges - Emit visible names into a debug aranges section.
3092///
3093void DwarfDebug::EmitDebugARanges() {
3094 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003095 Asm->OutStreamer.SwitchSection(
3096 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003097}
3098
Devang Patel2c4ceb12009-11-21 02:48:08 +00003099/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003100///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003101void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003102 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003103 Asm->OutStreamer.SwitchSection(
3104 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003105}
3106
Devang Patel2c4ceb12009-11-21 02:48:08 +00003107/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003108///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003109void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00003110 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00003111 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00003112 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003113 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00003114 }
3115}
3116
Devang Patel2c4ceb12009-11-21 02:48:08 +00003117/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00003118/// Section Header:
3119/// 1. length of section
3120/// 2. Dwarf version number
3121/// 3. address size.
3122///
3123/// Entries (one "entry" for each function that was inlined):
3124///
3125/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3126/// otherwise offset into __debug_str for regular function name.
3127/// 2. offset into __debug_str section for regular function name.
3128/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3129/// instances for the function.
3130///
3131/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3132/// inlined instance; the die_offset points to the inlined_subroutine die in the
3133/// __debug_info section, and the low_pc is the starting address for the
3134/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00003135void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnerd38fee82010-04-05 00:13:49 +00003136 if (!Asm->MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00003137 return;
3138
Devang Patel1dbc7712009-06-29 20:45:18 +00003139 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00003140 return;
3141
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003142 Asm->OutStreamer.SwitchSection(
3143 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00003144
Chris Lattner233f52b2010-03-09 23:52:58 +00003145 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00003146 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
3147 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00003148
Chris Lattnerc0215722010-04-04 19:25:43 +00003149 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003150
Chris Lattner233f52b2010-03-09 23:52:58 +00003151 Asm->OutStreamer.AddComment("Dwarf Version");
3152 Asm->EmitInt16(dwarf::DWARF_VERSION);
3153 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattnerd38fee82010-04-05 00:13:49 +00003154 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00003155
Devang Patel53bb5c92009-11-10 23:06:00 +00003156 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3157 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00003158
Devang Patel53bb5c92009-11-10 23:06:00 +00003159 MDNode *Node = *I;
Devang Patel622b0262010-01-19 06:19:05 +00003160 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00003161 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00003162 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00003163 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00003164 StringRef LName = SP.getLinkageName();
3165 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00003166
Chris Lattner233f52b2010-03-09 23:52:58 +00003167 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattner4cf202b2010-01-23 03:11:46 +00003168 if (LName.empty()) {
3169 Asm->OutStreamer.EmitBytes(Name, 0);
3170 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3171 } else
Chris Lattner6189ed12010-04-04 23:25:33 +00003172 Asm->EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
3173 DwarfStrSectionSym);
Devang Patel53bb5c92009-11-10 23:06:00 +00003174
Chris Lattner233f52b2010-03-09 23:52:58 +00003175 Asm->OutStreamer.AddComment("Function name");
Chris Lattner6189ed12010-04-04 23:25:33 +00003176 Asm->EmitSectionOffset(getStringPoolEntry(Name), DwarfStrSectionSym);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00003177 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00003178
Devang Patel53bb5c92009-11-10 23:06:00 +00003179 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00003180 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner3f53c832010-04-04 18:52:31 +00003181 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner6ed0f902010-03-09 00:31:02 +00003182 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00003183
Chris Lattner3f53c832010-04-04 18:52:31 +00003184 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattnerd38fee82010-04-05 00:13:49 +00003185 Asm->OutStreamer.EmitSymbolValue(LI->first,
3186 Asm->getTargetData().getPointerSize(),0);
Bill Wendling94d04b82009-05-20 23:21:38 +00003187 }
3188 }
3189
Chris Lattnerc0215722010-04-04 19:25:43 +00003190 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003191}