blob: 68402b84c2a8296d9749cd7886ba37341c78bb09 [file] [log] [blame]
Bill Wendling2f921f82009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
Chris Lattnerb14490d2010-03-09 00:39:24 +000013
Devang Patel80ae3492009-08-28 23:24:31 +000014#define DEBUG_TYPE "dwarfdebug"
Bill Wendling2f921f82009-05-15 09:23:25 +000015#include "DwarfDebug.h"
16#include "llvm/Module.h"
David Greene829b3e82009-08-19 21:52:55 +000017#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000018#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000019#include "llvm/MC/MCAsmInfo.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000020#include "llvm/MC/MCSection.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000021#include "llvm/MC/MCStreamer.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000022#include "llvm/MC/MCSymbol.h"
Chris Lattnerf62e3ee2010-01-16 21:57:06 +000023#include "llvm/Target/Mangler.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000024#include "llvm/Target/TargetData.h"
25#include "llvm/Target/TargetFrameInfo.h"
Chris Lattner5e693ed2009-07-28 03:13:23 +000026#include "llvm/Target/TargetLoweringObjectFile.h"
27#include "llvm/Target/TargetRegisterInfo.h"
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +000028#include "llvm/ADT/STLExtras.h"
Chris Lattner06fa1762009-08-24 03:52:50 +000029#include "llvm/ADT/StringExtras.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000030#include "llvm/Support/Debug.h"
31#include "llvm/Support/ErrorHandling.h"
Devang Patel1973df22010-01-26 21:39:14 +000032#include "llvm/Support/ValueHandle.h"
Chris Lattnerf5c834f2010-01-22 22:09:00 +000033#include "llvm/Support/FormattedStream.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000034#include "llvm/Support/Timer.h"
35#include "llvm/System/Path.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000036using namespace llvm;
37
Bill Wendling2f921f82009-05-15 09:23:25 +000038//===----------------------------------------------------------------------===//
39
40/// Configuration values for initial hash set sizes (log2).
41///
Bill Wendling2f921f82009-05-15 09:23:25 +000042static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-05-15 09:23:25 +000043
44namespace llvm {
45
46//===----------------------------------------------------------------------===//
47/// CompileUnit - This dwarf writer support class manages information associate
48/// with a source file.
Nick Lewyckyb7993d62009-11-17 08:11:44 +000049class CompileUnit {
Bill Wendling2f921f82009-05-15 09:23:25 +000050 /// ID - File identifier for source.
51 ///
52 unsigned ID;
53
54 /// Die - Compile unit debug information entry.
55 ///
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +000056 const OwningPtr<DIE> CUDie;
Bill Wendling2f921f82009-05-15 09:23:25 +000057
Jeffrey Yasskin0708de12010-03-11 18:29:55 +000058 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel92e8c652009-11-21 00:31:03 +000059 DIE *IndexTyDie;
60
Bill Wendling2f921f82009-05-15 09:23:25 +000061 /// GVToDieMap - Tracks the mapping of unit level debug informaton
62 /// variables to debug information entries.
Devang Patel80ae3492009-08-28 23:24:31 +000063 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel018b29b2010-01-19 06:19:05 +000064 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000065
66 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
67 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel80ae3492009-08-28 23:24:31 +000068 /// FIXME : Rename
Devang Patel018b29b2010-01-19 06:19:05 +000069 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000070
71 /// Globals - A map of globally visible named entities for this unit.
72 ///
73 StringMap<DIE*> Globals;
74
Devang Patel04d2f2d2009-11-24 01:14:22 +000075 /// GlobalTypes - A map of globally visible types for this unit.
76 ///
77 StringMap<DIE*> GlobalTypes;
78
Bill Wendling2f921f82009-05-15 09:23:25 +000079public:
80 CompileUnit(unsigned I, DIE *D)
Devang Patel930143b2009-11-21 02:48:08 +000081 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +000082
83 // Accessors.
Devang Patel04d2f2d2009-11-24 01:14:22 +000084 unsigned getID() const { return ID; }
Jeffrey Yasskin0708de12010-03-11 18:29:55 +000085 DIE* getCUDie() const { return CUDie.get(); }
Devang Patel04d2f2d2009-11-24 01:14:22 +000086 const StringMap<DIE*> &getGlobals() const { return Globals; }
87 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling2f921f82009-05-15 09:23:25 +000088
89 /// hasContent - Return true if this compile unit has something to write out.
90 ///
Devang Patel930143b2009-11-21 02:48:08 +000091 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling2f921f82009-05-15 09:23:25 +000092
Devang Patel930143b2009-11-21 02:48:08 +000093 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +000094 ///
Devang Patel930143b2009-11-21 02:48:08 +000095 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling2f921f82009-05-15 09:23:25 +000096
Devang Patel04d2f2d2009-11-24 01:14:22 +000097 /// addGlobalType - Add a new global type to the compile unit.
98 ///
99 void addGlobalType(const std::string &Name, DIE *Die) {
100 GlobalTypes[Name] = Die;
101 }
102
Devang Patele064ad42009-11-20 21:37:22 +0000103 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling2f921f82009-05-15 09:23:25 +0000104 /// specified debug variable.
Devang Patele064ad42009-11-20 21:37:22 +0000105 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach042483e2009-11-21 23:12:12 +0000106
Devang Patele064ad42009-11-20 21:37:22 +0000107 /// insertDIE - Insert DIE into the map.
108 void insertDIE(MDNode *N, DIE *D) {
109 GVToDieMap.insert(std::make_pair(N, D));
110 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000111
Devang Patele064ad42009-11-20 21:37:22 +0000112 /// getDIEEntry - Returns the debug information entry for the speciefied
113 /// debug variable.
Devang Patel1f4690c2009-12-15 19:16:48 +0000114 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel018b29b2010-01-19 06:19:05 +0000115 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel1f4690c2009-12-15 19:16:48 +0000116 if (I == GVToDIEEntryMap.end())
117 return NULL;
118 return I->second;
119 }
Devang Patele064ad42009-11-20 21:37:22 +0000120
121 /// insertDIEEntry - Insert debug information entry into the map.
122 void insertDIEEntry(MDNode *N, DIEEntry *E) {
123 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling2f921f82009-05-15 09:23:25 +0000124 }
125
Devang Patel930143b2009-11-21 02:48:08 +0000126 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +0000127 ///
Devang Patel930143b2009-11-21 02:48:08 +0000128 void addDie(DIE *Buffer) {
129 this->CUDie->addChild(Buffer);
Bill Wendling2f921f82009-05-15 09:23:25 +0000130 }
Devang Patel92e8c652009-11-21 00:31:03 +0000131
132 // getIndexTyDie - Get an anonymous type for index type.
133 DIE *getIndexTyDie() {
134 return IndexTyDie;
135 }
136
Jim Grosbach00e9c612009-11-22 19:20:36 +0000137 // setIndexTyDie - Set D as anonymous type for index which can be reused
138 // later.
Devang Patel92e8c652009-11-21 00:31:03 +0000139 void setIndexTyDie(DIE *D) {
140 IndexTyDie = D;
141 }
142
Bill Wendling2f921f82009-05-15 09:23:25 +0000143};
144
145//===----------------------------------------------------------------------===//
146/// DbgVariable - This class is used to track local variable information.
147///
Devang Patelf3d7c082009-11-16 21:53:40 +0000148class DbgVariable {
Bill Wendling2f921f82009-05-15 09:23:25 +0000149 DIVariable Var; // Variable Descriptor.
150 unsigned FrameIndex; // Variable frame index.
Devang Patela3e9c9c2010-03-15 18:33:46 +0000151 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000152 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000153 DIE *TheDIE;
Bill Wendling2f921f82009-05-15 09:23:25 +0000154public:
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000155 // AbsVar may be NULL.
156 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patela3e9c9c2010-03-15 18:33:46 +0000157 : Var(V), FrameIndex(I), DbgValueMInsn(0), AbstractVar(AbsVar), TheDIE(0) {}
158 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
159 : Var(V), FrameIndex(0), DbgValueMInsn(MI), AbstractVar(AbsVar), TheDIE(0)
160 {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000161
162 // Accessors.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000163 DIVariable getVariable() const { return Var; }
164 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patela3e9c9c2010-03-15 18:33:46 +0000165 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000166 DbgVariable *getAbstractVariable() const { return AbstractVar; }
167 void setDIE(DIE *D) { TheDIE = D; }
168 DIE *getDIE() const { return TheDIE; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000169};
170
171//===----------------------------------------------------------------------===//
172/// DbgScope - This class is used to track scope information.
173///
Devang Patelf3d7c082009-11-16 21:53:40 +0000174class DbgScope {
Bill Wendling2f921f82009-05-15 09:23:25 +0000175 DbgScope *Parent; // Parent to this scope.
Jim Grosbach042483e2009-11-21 23:12:12 +0000176 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel1973df22010-01-26 21:39:14 +0000177 // Location at which this scope is inlined.
178 AssertingVH<MDNode> InlinedAtLocation;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000179 bool AbstractScope; // Abstract Scope
Chris Lattnere13c3722010-03-09 01:58:53 +0000180 MCSymbol *StartLabel; // Label ID of the beginning of scope.
181 MCSymbol *EndLabel; // Label ID of the end of scope.
Devang Patel787f94c2009-10-01 18:25:23 +0000182 const MachineInstr *LastInsn; // Last instruction of this scope.
183 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000184 // Scopes defined in scope. Contents not owned.
185 SmallVector<DbgScope *, 4> Scopes;
186 // Variables declared in scope. Contents owned.
187 SmallVector<DbgVariable *, 8> Variables;
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000188
Owen Anderson9becc182009-06-24 22:53:20 +0000189 // Private state for dump()
190 mutable unsigned IndentLevel;
Bill Wendling2f921f82009-05-15 09:23:25 +0000191public:
Devang Patel6875c5eb2009-10-14 21:08:09 +0000192 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000193 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattnere13c3722010-03-09 01:58:53 +0000194 StartLabel(0), EndLabel(0),
Devang Patel6875c5eb2009-10-14 21:08:09 +0000195 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000196 virtual ~DbgScope();
197
198 // Accessors.
199 DbgScope *getParent() const { return Parent; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000200 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000201 DIDescriptor getDesc() const { return Desc; }
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000202 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000203 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattnere13c3722010-03-09 01:58:53 +0000204 MCSymbol *getStartLabel() const { return StartLabel; }
205 MCSymbol *getEndLabel() const { return EndLabel; }
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000206 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
207 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattnere13c3722010-03-09 01:58:53 +0000208 void setStartLabel(MCSymbol *S) { StartLabel = S; }
209 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Patel787f94c2009-10-01 18:25:23 +0000210 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
211 const MachineInstr *getLastInsn() { return LastInsn; }
212 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000213 void setAbstractScope() { AbstractScope = true; }
214 bool isAbstractScope() const { return AbstractScope; }
Devang Patel787f94c2009-10-01 18:25:23 +0000215 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000216
Devang Patel930143b2009-11-21 02:48:08 +0000217 /// addScope - Add a scope to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000218 ///
Devang Patel930143b2009-11-21 02:48:08 +0000219 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000220
Devang Patel930143b2009-11-21 02:48:08 +0000221 /// addVariable - Add a variable to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000222 ///
Devang Patel930143b2009-11-21 02:48:08 +0000223 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000224
Devang Patel530a0752010-01-04 20:44:00 +0000225 void fixInstructionMarkers(DenseMap<const MachineInstr *,
226 unsigned> &MIIndexMap) {
Devang Patel75cc16c2009-10-01 20:31:14 +0000227 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel530a0752010-01-04 20:44:00 +0000228
229 // Use the end of last child scope as end of this scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000230 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Pateld146e2e2010-01-05 16:59:17 +0000231 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel530a0752010-01-04 20:44:00 +0000232 unsigned LIndex = 0;
233 if (Scopes.empty()) {
234 assert (getLastInsn() && "Inner most scope does not have last insn!");
235 return;
236 }
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000237 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel530a0752010-01-04 20:44:00 +0000238 SE = Scopes.end(); SI != SE; ++SI) {
239 DbgScope *DS = *SI;
240 DS->fixInstructionMarkers(MIIndexMap);
241 const MachineInstr *DSLastInsn = DS->getLastInsn();
242 unsigned DSI = MIIndexMap[DSLastInsn];
243 if (DSI > LIndex) {
244 LastInsn = DSLastInsn;
245 LIndex = DSI;
246 }
247 }
Devang Patelca55a042010-02-17 02:20:34 +0000248
249 unsigned CurrentLastInsnIndex = 0;
250 if (const MachineInstr *CL = getLastInsn())
251 CurrentLastInsnIndex = MIIndexMap[CL];
252 unsigned FIndex = MIIndexMap[getFirstInsn()];
253
254 // Set LastInsn as the last instruction for this scope only if
255 // it follows
256 // 1) this scope's first instruction and
257 // 2) current last instruction for this scope, if any.
258 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
259 setLastInsn(LastInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +0000260 }
261
Bill Wendling2f921f82009-05-15 09:23:25 +0000262#ifndef NDEBUG
263 void dump() const;
264#endif
265};
266
267#ifndef NDEBUG
268void DbgScope::dump() const {
David Greenec230cb92009-12-24 00:31:35 +0000269 raw_ostream &err = dbgs();
Chris Lattner81e8e022009-08-23 00:51:00 +0000270 err.indent(IndentLevel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000271 MDNode *N = Desc.getNode();
272 N->dump();
Chris Lattnere13c3722010-03-09 01:58:53 +0000273 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000274 if (AbstractScope)
275 err << "Abstract Scope\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000276
277 IndentLevel += 2;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000278 if (!Scopes.empty())
279 err << "Children ...\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000280 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
281 if (Scopes[i] != this)
282 Scopes[i]->dump();
283
284 IndentLevel -= 2;
285}
286#endif
287
Bill Wendling2f921f82009-05-15 09:23:25 +0000288DbgScope::~DbgScope() {
Bill Wendling2f921f82009-05-15 09:23:25 +0000289 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
290 delete Variables[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000291}
292
293} // end llvm namespace
294
Chris Lattner7b26fce2009-08-22 20:48:53 +0000295DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattner4d728122010-03-09 00:00:15 +0000296 : DwarfPrinter(OS, A, T), ModuleCU(0),
Bill Wendling2f921f82009-05-15 09:23:25 +0000297 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000298 DIEValues(), SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000299 CurrentFnDbgScope(0), DebugTimer(0) {
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000300 NextStringPoolNumber = 0;
Bill Wendling2f921f82009-05-15 09:23:25 +0000301 if (TimePassesIsEnabled)
Chris Lattnerf81add32009-12-28 07:41:18 +0000302 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendling2f921f82009-05-15 09:23:25 +0000303}
304DwarfDebug::~DwarfDebug() {
Devang Patel930143b2009-11-21 02:48:08 +0000305 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
306 delete DIEValues[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000307
Bill Wendling2f921f82009-05-15 09:23:25 +0000308 delete DebugTimer;
309}
310
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000311MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
312 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
313 if (Entry.first) return Entry.first;
314
315 Entry.second = NextStringPoolNumber++;
316 return Entry.first = getDWLabel("string", Entry.second);
317}
318
319
Devang Patel930143b2009-11-21 02:48:08 +0000320/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling2f921f82009-05-15 09:23:25 +0000321///
Devang Patel930143b2009-11-21 02:48:08 +0000322void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000323 // Profile the node so that we can make it unique.
324 FoldingSetNodeID ID;
325 Abbrev.Profile(ID);
326
327 // Check the set for priors.
328 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
329
330 // If it's newly added.
331 if (InSet == &Abbrev) {
332 // Add to abbreviation list.
333 Abbreviations.push_back(&Abbrev);
334
335 // Assign the vector position + 1 as its number.
336 Abbrev.setNumber(Abbreviations.size());
337 } else {
338 // Assign existing abbreviation number.
339 Abbrev.setNumber(InSet->getNumber());
340 }
341}
342
Devang Patel930143b2009-11-21 02:48:08 +0000343/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendlingbcad77a2009-05-20 23:24:48 +0000344/// information entry.
Devang Patel930143b2009-11-21 02:48:08 +0000345DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel92e8c652009-11-21 00:31:03 +0000346 DIEEntry *Value = new DIEEntry(Entry);
Devang Patel930143b2009-11-21 02:48:08 +0000347 DIEValues.push_back(Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000348 return Value;
349}
350
Devang Patel930143b2009-11-21 02:48:08 +0000351/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000352///
Devang Patel930143b2009-11-21 02:48:08 +0000353void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000354 unsigned Form, uint64_t Integer) {
355 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel92e8c652009-11-21 00:31:03 +0000356 DIEValue *Value = new DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000357 DIEValues.push_back(Value);
358 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000359}
360
Devang Patel930143b2009-11-21 02:48:08 +0000361/// addSInt - Add an signed integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000362///
Devang Patel930143b2009-11-21 02:48:08 +0000363void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000364 unsigned Form, int64_t Integer) {
365 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel92e8c652009-11-21 00:31:03 +0000366 DIEValue *Value = new DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000367 DIEValues.push_back(Value);
368 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000369}
370
Devang Patel8c339592009-12-02 15:25:16 +0000371/// addString - Add a string attribute data and value. DIEString only
372/// keeps string reference.
Devang Patel930143b2009-11-21 02:48:08 +0000373void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerc3f23b82010-01-23 03:11:46 +0000374 StringRef String) {
Devang Patel92e8c652009-11-21 00:31:03 +0000375 DIEValue *Value = new DIEString(String);
Devang Patel930143b2009-11-21 02:48:08 +0000376 DIEValues.push_back(Value);
377 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000378}
379
Devang Patel930143b2009-11-21 02:48:08 +0000380/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000381///
Devang Patel930143b2009-11-21 02:48:08 +0000382void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbc9210c2010-03-08 22:23:36 +0000383 const MCSymbol *Label) {
Chris Lattner8dcf41e2010-03-08 22:31:46 +0000384 DIEValue *Value = new DIELabel(Label);
Devang Patel930143b2009-11-21 02:48:08 +0000385 DIEValues.push_back(Value);
386 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000387}
388
Devang Patel930143b2009-11-21 02:48:08 +0000389/// addDelta - Add a label delta attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000390///
Devang Patel930143b2009-11-21 02:48:08 +0000391void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbc9210c2010-03-08 22:23:36 +0000392 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel92e8c652009-11-21 00:31:03 +0000393 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patel930143b2009-11-21 02:48:08 +0000394 DIEValues.push_back(Value);
395 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000396}
397
Devang Patel930143b2009-11-21 02:48:08 +0000398/// addBlock - Add block data.
Bill Wendling2f921f82009-05-15 09:23:25 +0000399///
Devang Patel930143b2009-11-21 02:48:08 +0000400void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000401 DIEBlock *Block) {
402 Block->ComputeSize(TD);
Devang Patel930143b2009-11-21 02:48:08 +0000403 DIEValues.push_back(Block);
404 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000405}
406
Devang Patel930143b2009-11-21 02:48:08 +0000407/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000408/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000409void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000410 // If there is no compile unit specified, don't add a line #.
Devang Patel3b548aa2010-03-08 20:52:55 +0000411 if (!V->getCompileUnit().Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000412 return;
413
414 unsigned Line = V->getLineNumber();
Devang Patel8119fe872010-03-08 22:02:50 +0000415 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
416 V->getContext().getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000417 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000418 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
419 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000420}
421
Devang Patel930143b2009-11-21 02:48:08 +0000422/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000423/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000424void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000425 // If there is no compile unit specified, don't add a line #.
Devang Patel3b548aa2010-03-08 20:52:55 +0000426 if (!G->getCompileUnit().Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000427 return;
428
429 unsigned Line = G->getLineNumber();
Devang Patel8119fe872010-03-08 22:02:50 +0000430 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
431 G->getContext().getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000432 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000433 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
434 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000435}
Devang Patelb2de5fa2009-08-31 22:47:13 +0000436
Devang Patel930143b2009-11-21 02:48:08 +0000437/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000438/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000439void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patelb2de5fa2009-08-31 22:47:13 +0000440 // If there is no compile unit specified, don't add a line #.
Devang Patel3b548aa2010-03-08 20:52:55 +0000441 if (!SP->getCompileUnit().Verify())
Devang Patelb2de5fa2009-08-31 22:47:13 +0000442 return;
Caroline Tice183a5192009-09-11 18:25:54 +0000443 // If the line number is 0, don't add it.
444 if (SP->getLineNumber() == 0)
445 return;
446
Devang Patelb2de5fa2009-08-31 22:47:13 +0000447 unsigned Line = SP->getLineNumber();
Devang Patel8119fe872010-03-08 22:02:50 +0000448 if (!SP->getContext().Verify())
449 return;
450 unsigned FileID = GetOrCreateSourceID(SP->getContext().getDirectory(),
451 SP->getContext().getFilename());
Devang Patelb2de5fa2009-08-31 22:47:13 +0000452 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000453 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
454 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patelb2de5fa2009-08-31 22:47:13 +0000455}
456
Devang Patel930143b2009-11-21 02:48:08 +0000457/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000458/// entry.
Devang Patel930143b2009-11-21 02:48:08 +0000459void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000460 // If there is no compile unit specified, don't add a line #.
461 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel3b548aa2010-03-08 20:52:55 +0000462 if (!CU.Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000463 return;
464
465 unsigned Line = Ty->getLineNumber();
Devang Patel8119fe872010-03-08 22:02:50 +0000466 if (!Ty->getContext().Verify())
467 return;
468 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
469 Ty->getContext().getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000470 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000471 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
472 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000473}
474
Devang Patel1f4690c2009-12-15 19:16:48 +0000475/// addSourceLine - Add location information to specified debug information
476/// entry.
477void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
478 // If there is no compile unit specified, don't add a line #.
Devang Patel3b548aa2010-03-08 20:52:55 +0000479 if (!NS->getCompileUnit().Verify())
Devang Patel1f4690c2009-12-15 19:16:48 +0000480 return;
481
482 unsigned Line = NS->getLineNumber();
483 StringRef FN = NS->getFilename();
484 StringRef Dir = NS->getDirectory();
485
486 unsigned FileID = GetOrCreateSourceID(Dir, FN);
487 assert(FileID && "Invalid file id");
488 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
489 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
490}
491
Caroline Ticec87c1e22009-08-31 21:19:37 +0000492/* Byref variables, in Blocks, are declared by the programmer as
493 "SomeType VarName;", but the compiler creates a
494 __Block_byref_x_VarName struct, and gives the variable VarName
495 either the struct, or a pointer to the struct, as its type. This
496 is necessary for various behind-the-scenes things the compiler
497 needs to do with by-reference variables in blocks.
498
499 However, as far as the original *programmer* is concerned, the
500 variable should still have type 'SomeType', as originally declared.
501
502 The following function dives into the __Block_byref_x_VarName
503 struct to find the original type of the variable. This will be
504 passed back to the code generating the type for the Debug
505 Information Entry for the variable 'VarName'. 'VarName' will then
506 have the original type 'SomeType' in its debug information.
507
508 The original type 'SomeType' will be the type of the field named
509 'VarName' inside the __Block_byref_x_VarName struct.
510
511 NOTE: In order for this to not completely fail on the debugger
512 side, the Debug Information Entry for the variable VarName needs to
513 have a DW_AT_location that tells the debugger how to unwind through
514 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel930143b2009-11-21 02:48:08 +0000515 value of the variable. The function addBlockByrefType does this. */
Caroline Ticec87c1e22009-08-31 21:19:37 +0000516
517/// Find the type the programmer originally declared the variable to be
518/// and return that type.
519///
Devang Patel930143b2009-11-21 02:48:08 +0000520DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticec87c1e22009-08-31 21:19:37 +0000521
522 DIType subType = Ty;
523 unsigned tag = Ty.getTag();
524
525 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump14cf8ec2009-09-30 00:08:22 +0000526 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000527 subType = DTy.getTypeDerivedFrom();
528 }
529
530 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000531 DIArray Elements = blockStruct.getTypeArray();
532
Caroline Ticec87c1e22009-08-31 21:19:37 +0000533 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
534 DIDescriptor Element = Elements.getElement(i);
535 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel2d9caf92009-11-25 17:36:49 +0000536 if (Name == DT.getName())
Caroline Ticec87c1e22009-08-31 21:19:37 +0000537 return (DT.getTypeDerivedFrom());
538 }
539
540 return Ty;
541}
542
Devang Patel930143b2009-11-21 02:48:08 +0000543/// addComplexAddress - Start with the address based on the location provided,
Mike Stump14cf8ec2009-09-30 00:08:22 +0000544/// and generate the DWARF information necessary to find the actual variable
545/// given the extra address information encoded in the DIVariable, starting from
546/// the starting location. Add the DWARF information to the die.
547///
Devang Patel930143b2009-11-21 02:48:08 +0000548void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump14cf8ec2009-09-30 00:08:22 +0000549 unsigned Attribute,
550 const MachineLocation &Location) {
551 const DIVariable &VD = DV->getVariable();
552 DIType Ty = VD.getType();
553
554 // Decode the original location, and use that as the start of the byref
555 // variable's location.
556 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
557 DIEBlock *Block = new DIEBlock();
558
559 if (Location.isReg()) {
560 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000561 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000562 } else {
563 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-11-21 02:48:08 +0000564 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
565 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000566 }
567 } else {
568 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000569 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000570 else {
Devang Patel930143b2009-11-21 02:48:08 +0000571 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
572 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000573 }
574
Devang Patel930143b2009-11-21 02:48:08 +0000575 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump14cf8ec2009-09-30 00:08:22 +0000576 }
577
578 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
579 uint64_t Element = VD.getAddrElement(i);
580
581 if (Element == DIFactory::OpPlus) {
Devang Patel930143b2009-11-21 02:48:08 +0000582 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
583 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump14cf8ec2009-09-30 00:08:22 +0000584 } else if (Element == DIFactory::OpDeref) {
Devang Patel930143b2009-11-21 02:48:08 +0000585 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000586 } else llvm_unreachable("unknown DIFactory Opcode");
587 }
588
589 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000590 addBlock(Die, Attribute, 0, Block);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000591}
592
Caroline Ticec87c1e22009-08-31 21:19:37 +0000593/* Byref variables, in Blocks, are declared by the programmer as "SomeType
594 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
595 gives the variable VarName either the struct, or a pointer to the struct, as
596 its type. This is necessary for various behind-the-scenes things the
597 compiler needs to do with by-reference variables in Blocks.
598
599 However, as far as the original *programmer* is concerned, the variable
600 should still have type 'SomeType', as originally declared.
601
Devang Patel930143b2009-11-21 02:48:08 +0000602 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000603 struct to find the original type of the variable, which is then assigned to
604 the variable's Debug Information Entry as its real type. So far, so good.
605 However now the debugger will expect the variable VarName to have the type
606 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000607 expression that explains to the debugger how to navigate through the
Caroline Ticec87c1e22009-08-31 21:19:37 +0000608 pointers and struct to find the actual variable of type SomeType.
609
610 The following function does just that. We start by getting
611 the "normal" location for the variable. This will be the location
612 of either the struct __Block_byref_x_VarName or the pointer to the
613 struct __Block_byref_x_VarName.
614
615 The struct will look something like:
616
617 struct __Block_byref_x_VarName {
618 ... <various fields>
619 struct __Block_byref_x_VarName *forwarding;
620 ... <various other fields>
621 SomeType VarName;
622 ... <maybe more fields>
623 };
624
625 If we are given the struct directly (as our starting point) we
626 need to tell the debugger to:
627
628 1). Add the offset of the forwarding field.
629
Dan Gohman4a618822010-02-10 16:03:48 +0000630 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000631 struct to use (the real one may have been copied onto the heap).
632
633 3). Add the offset for the field VarName, to find the actual variable.
634
635 If we started with a pointer to the struct, then we need to
636 dereference that pointer first, before the other steps.
637 Translating this into DWARF ops, we will need to append the following
638 to the current location description for the variable:
639
640 DW_OP_deref -- optional, if we start with a pointer
641 DW_OP_plus_uconst <forward_fld_offset>
642 DW_OP_deref
643 DW_OP_plus_uconst <varName_fld_offset>
644
645 That is what this function does. */
646
Devang Patel930143b2009-11-21 02:48:08 +0000647/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticec87c1e22009-08-31 21:19:37 +0000648/// provided, and generate the DWARF information necessary to find the
649/// actual Block variable (navigating the Block struct) based on the
650/// starting location. Add the DWARF information to the die. For
651/// more information, read large comment just above here.
652///
Devang Patel930143b2009-11-21 02:48:08 +0000653void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000654 unsigned Attribute,
655 const MachineLocation &Location) {
Caroline Ticec87c1e22009-08-31 21:19:37 +0000656 const DIVariable &VD = DV->getVariable();
657 DIType Ty = VD.getType();
658 DIType TmpTy = Ty;
659 unsigned Tag = Ty.getTag();
660 bool isPointer = false;
661
Devang Patel2d9caf92009-11-25 17:36:49 +0000662 StringRef varName = VD.getName();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000663
664 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump14cf8ec2009-09-30 00:08:22 +0000665 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticec87c1e22009-08-31 21:19:37 +0000666 TmpTy = DTy.getTypeDerivedFrom();
667 isPointer = true;
668 }
669
670 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
671
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000672 // Find the __forwarding field and the variable field in the __Block_byref
673 // struct.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000674 DIArray Fields = blockStruct.getTypeArray();
675 DIDescriptor varField = DIDescriptor();
676 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000677
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000678 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
679 DIDescriptor Element = Fields.getElement(i);
680 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel2d9caf92009-11-25 17:36:49 +0000681 StringRef fieldName = DT.getName();
682 if (fieldName == "__forwarding")
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000683 forwardingField = Element;
Devang Patel2d9caf92009-11-25 17:36:49 +0000684 else if (fieldName == varName)
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000685 varField = Element;
686 }
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000687
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000688 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000689 unsigned int forwardingFieldOffset =
690 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
691 unsigned int varFieldOffset =
692 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticec87c1e22009-08-31 21:19:37 +0000693
Mike Stump944fa252009-09-24 23:21:26 +0000694 // Decode the original location, and use that as the start of the byref
695 // variable's location.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000696 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
697 DIEBlock *Block = new DIEBlock();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000698
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000699 if (Location.isReg()) {
700 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000701 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000702 else {
703 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel930143b2009-11-21 02:48:08 +0000704 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
705 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000706 }
707 } else {
708 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000709 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000710 else {
Devang Patel930143b2009-11-21 02:48:08 +0000711 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
712 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000713 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000714
Devang Patel930143b2009-11-21 02:48:08 +0000715 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000716 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000717
Mike Stump944fa252009-09-24 23:21:26 +0000718 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000719 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000720 if (isPointer)
Devang Patel930143b2009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000722
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000723 // Next add the offset for the '__forwarding' field:
724 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
725 // adding the offset if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000726 if (forwardingFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
728 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000729 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000730
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000731 // Now dereference the __forwarding field to get to the real __Block_byref
732 // struct: DW_OP_deref.
Devang Patel930143b2009-11-21 02:48:08 +0000733 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000734
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000735 // Now that we've got the real __Block_byref... struct, add the offset
736 // for the variable's field to get to the location of the actual variable:
737 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000738 if (varFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000739 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
740 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000741 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000742
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000743 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000744 addBlock(Die, Attribute, 0, Block);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000745}
746
Devang Patel930143b2009-11-21 02:48:08 +0000747/// addAddress - Add an address attribute to a die based on the location
Bill Wendling2f921f82009-05-15 09:23:25 +0000748/// provided.
Devang Patel930143b2009-11-21 02:48:08 +0000749void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000750 const MachineLocation &Location) {
751 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
752 DIEBlock *Block = new DIEBlock();
753
754 if (Location.isReg()) {
755 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000756 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000757 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000758 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
759 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000760 }
761 } else {
762 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000763 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000764 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000765 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
766 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000767 }
768
Devang Patel930143b2009-11-21 02:48:08 +0000769 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling2f921f82009-05-15 09:23:25 +0000770 }
771
Devang Patel930143b2009-11-21 02:48:08 +0000772 addBlock(Die, Attribute, 0, Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000773}
774
Devang Patel2b75ed22009-12-10 19:14:49 +0000775/// addToContextOwner - Add Die into the list of its context owner's children.
776void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000777 if (Context.isType()) {
Devang Patel2b75ed22009-12-10 19:14:49 +0000778 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
779 ContextDIE->addChild(Die);
Devang Patel1f4690c2009-12-15 19:16:48 +0000780 } else if (Context.isNameSpace()) {
781 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
782 ContextDIE->addChild(Die);
Devang Patel2b75ed22009-12-10 19:14:49 +0000783 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
784 ContextDIE->addChild(Die);
785 else
786 ModuleCU->addDie(Die);
787}
788
Devang Patelb5b60ea2009-12-10 18:05:33 +0000789/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
790/// given DIType.
791DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
792 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
793 if (TyDIE)
794 return TyDIE;
795
796 // Create new type.
797 TyDIE = new DIE(dwarf::DW_TAG_base_type);
798 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
799 if (Ty.isBasicType())
800 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
801 else if (Ty.isCompositeType())
802 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
803 else {
804 assert(Ty.isDerivedType() && "Unknown kind of DIType");
805 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
806 }
807
Devang Patel2b75ed22009-12-10 19:14:49 +0000808 addToContextOwner(TyDIE, Ty.getContext());
Devang Patelb5b60ea2009-12-10 18:05:33 +0000809 return TyDIE;
810}
811
Devang Patel930143b2009-11-21 02:48:08 +0000812/// addType - Add a new type attribute to the specified entity.
Devang Patel9ccfb642009-12-09 18:24:21 +0000813void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000814 if (!Ty.isValid())
Bill Wendling2f921f82009-05-15 09:23:25 +0000815 return;
816
817 // Check for pre-existence.
Devang Patel9ccfb642009-12-09 18:24:21 +0000818 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling2f921f82009-05-15 09:23:25 +0000819 // If it exists then use the existing value.
Devang Patel930143b2009-11-21 02:48:08 +0000820 if (Entry) {
821 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000822 return;
823 }
824
Bill Wendling2f921f82009-05-15 09:23:25 +0000825 // Construct type.
Devang Patelb5b60ea2009-12-10 18:05:33 +0000826 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling2f921f82009-05-15 09:23:25 +0000827
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000828 // Set up proxy.
829 Entry = createDIEEntry(Buffer);
830 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
831
Devang Patel930143b2009-11-21 02:48:08 +0000832 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000833}
834
Devang Patel930143b2009-11-21 02:48:08 +0000835/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000836void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000837 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000838 StringRef Name = BTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000839 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +0000840 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling2f921f82009-05-15 09:23:25 +0000841 BTy.getEncoding());
842
843 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000844 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000845 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000846 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel930143b2009-11-21 02:48:08 +0000847 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000848}
849
Devang Patel930143b2009-11-21 02:48:08 +0000850/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000851void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000852 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000853 StringRef Name = DTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000854 uint64_t Size = DTy.getSizeInBits() >> 3;
855 unsigned Tag = DTy.getTag();
856
857 // FIXME - Workaround for templates.
858 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
859
860 Buffer.setTag(Tag);
861
862 // Map to main type, void will not have a type.
863 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel9ccfb642009-12-09 18:24:21 +0000864 addType(&Buffer, FromTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000865
866 // Add name if not anonymous or intermediate type.
Devang Patelae466ef2009-11-30 23:56:56 +0000867 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000868 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000869
870 // Add size if non-zero (derived types might be zero-sized.)
871 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000872 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000873
874 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb5b51592009-11-23 18:43:37 +0000875 if (!DTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000876 addSourceLine(&Buffer, &DTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000877}
878
Devang Patel930143b2009-11-21 02:48:08 +0000879/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000880void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000881 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000882 StringRef Name = CTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000883
884 uint64_t Size = CTy.getSizeInBits() >> 3;
885 unsigned Tag = CTy.getTag();
886 Buffer.setTag(Tag);
887
888 switch (Tag) {
889 case dwarf::DW_TAG_vector_type:
890 case dwarf::DW_TAG_array_type:
Devang Patel9ccfb642009-12-09 18:24:21 +0000891 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000892 break;
893 case dwarf::DW_TAG_enumeration_type: {
894 DIArray Elements = CTy.getTypeArray();
895
896 // Add enumerators to enumeration type.
897 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
898 DIE *ElemDie = NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +0000899 DIDescriptor Enum(Elements.getElement(i).getNode());
900 if (Enum.isEnumerator()) {
901 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000902 Buffer.addChild(ElemDie);
Devang Patelfafa1fe2009-10-09 17:51:49 +0000903 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000904 }
905 }
906 break;
907 case dwarf::DW_TAG_subroutine_type: {
908 // Add return type.
909 DIArray Elements = CTy.getTypeArray();
910 DIDescriptor RTy = Elements.getElement(0);
Devang Patel9ccfb642009-12-09 18:24:21 +0000911 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling2f921f82009-05-15 09:23:25 +0000912
913 // Add prototype flag.
Devang Patel930143b2009-11-21 02:48:08 +0000914 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000915
916 // Add arguments.
917 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
918 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
919 DIDescriptor Ty = Elements.getElement(i);
Devang Patel9ccfb642009-12-09 18:24:21 +0000920 addType(Arg, DIType(Ty.getNode()));
Devang Patel930143b2009-11-21 02:48:08 +0000921 Buffer.addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000922 }
923 }
924 break;
925 case dwarf::DW_TAG_structure_type:
926 case dwarf::DW_TAG_union_type:
927 case dwarf::DW_TAG_class_type: {
928 // Add elements to structure type.
929 DIArray Elements = CTy.getTypeArray();
930
931 // A forward struct declared type may not have elements available.
Devang Patel3b548aa2010-03-08 20:52:55 +0000932 unsigned N = Elements.getNumElements();
933 if (N == 0)
Bill Wendling2f921f82009-05-15 09:23:25 +0000934 break;
935
936 // Add elements to structure type.
Devang Patel3b548aa2010-03-08 20:52:55 +0000937 for (unsigned i = 0; i < N; ++i) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000938 DIDescriptor Element = Elements.getElement(i);
939 DIE *ElemDie = NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +0000940 if (Element.isSubprogram())
Devang Patel525dda02009-12-14 16:18:45 +0000941 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel3b548aa2010-03-08 20:52:55 +0000942 else if (Element.isVariable()) {
Devang Patel160c92d2010-01-30 01:08:30 +0000943 DIVariable DV(Element.getNode());
944 ElemDie = new DIE(dwarf::DW_TAG_variable);
945 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
946 DV.getName());
947 addType(ElemDie, DV.getType());
948 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
949 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
950 addSourceLine(ElemDie, &DV);
Devang Patel3b548aa2010-03-08 20:52:55 +0000951 } else if (Element.isDerivedType())
Devang Patel9ccfb642009-12-09 18:24:21 +0000952 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel3b548aa2010-03-08 20:52:55 +0000953 else
954 continue;
Devang Patel930143b2009-11-21 02:48:08 +0000955 Buffer.addChild(ElemDie);
Bill Wendling2f921f82009-05-15 09:23:25 +0000956 }
957
Devang Patel3082c012009-08-27 23:51:51 +0000958 if (CTy.isAppleBlockExtension())
Devang Patel930143b2009-11-21 02:48:08 +0000959 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000960
961 unsigned RLang = CTy.getRunTimeLang();
962 if (RLang)
Devang Patel930143b2009-11-21 02:48:08 +0000963 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling2f921f82009-05-15 09:23:25 +0000964 dwarf::DW_FORM_data1, RLang);
Devang Patel303a1be2010-01-26 21:16:06 +0000965
966 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel3b548aa2010-03-08 20:52:55 +0000967 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patel303a1be2010-01-26 21:16:06 +0000968 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
969 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling2f921f82009-05-15 09:23:25 +0000970 break;
971 }
972 default:
973 break;
974 }
975
976 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +0000977 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +0000978 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +0000979
Devang Patelaedd6f52010-01-29 18:34:58 +0000980 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling2f921f82009-05-15 09:23:25 +0000981 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
982 // Add size if non-zero (derived types might be zero-sized.)
983 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +0000984 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +0000985 else {
986 // Add zero size if it is not a forward declaration.
987 if (CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000988 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +0000989 else
Devang Patel930143b2009-11-21 02:48:08 +0000990 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling2f921f82009-05-15 09:23:25 +0000991 }
992
993 // Add source line info if available.
994 if (!CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +0000995 addSourceLine(&Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +0000996 }
997}
998
Devang Patel930143b2009-11-21 02:48:08 +0000999/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1000void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling2f921f82009-05-15 09:23:25 +00001001 int64_t L = SR.getLo();
1002 int64_t H = SR.getHi();
1003 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1004
Devang Patel930143b2009-11-21 02:48:08 +00001005 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patelf691df32009-08-14 20:59:16 +00001006 if (L)
Devang Patel930143b2009-11-21 02:48:08 +00001007 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Patel8f046022009-12-04 23:10:24 +00001008 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling2f921f82009-05-15 09:23:25 +00001009
Devang Patel930143b2009-11-21 02:48:08 +00001010 Buffer.addChild(DW_Subrange);
Bill Wendling2f921f82009-05-15 09:23:25 +00001011}
1012
Devang Patel930143b2009-11-21 02:48:08 +00001013/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +00001014void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling2f921f82009-05-15 09:23:25 +00001015 DICompositeType *CTy) {
1016 Buffer.setTag(dwarf::DW_TAG_array_type);
1017 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel930143b2009-11-21 02:48:08 +00001018 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001019
1020 // Emit derived type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001021 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001022 DIArray Elements = CTy->getTypeArray();
1023
Devang Patel92e8c652009-11-21 00:31:03 +00001024 // Get an anonymous type for index type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001025 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel92e8c652009-11-21 00:31:03 +00001026 if (!IdxTy) {
1027 // Construct an anonymous type for index type.
1028 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +00001029 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1030 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel92e8c652009-11-21 00:31:03 +00001031 dwarf::DW_ATE_signed);
Devang Patel9ccfb642009-12-09 18:24:21 +00001032 ModuleCU->addDie(IdxTy);
1033 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel92e8c652009-11-21 00:31:03 +00001034 }
Bill Wendling2f921f82009-05-15 09:23:25 +00001035
1036 // Add subranges to array type.
1037 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1038 DIDescriptor Element = Elements.getElement(i);
1039 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel930143b2009-11-21 02:48:08 +00001040 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001041 }
1042}
1043
Devang Patel930143b2009-11-21 02:48:08 +00001044/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3b548aa2010-03-08 20:52:55 +00001045DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001046 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3b548aa2010-03-08 20:52:55 +00001047 StringRef Name = ETy.getName();
Devang Patel930143b2009-11-21 02:48:08 +00001048 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3b548aa2010-03-08 20:52:55 +00001049 int64_t Value = ETy.getEnumValue();
Devang Patel930143b2009-11-21 02:48:08 +00001050 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +00001051 return Enumerator;
1052}
1053
Devang Patel43ef34d2010-01-05 01:46:14 +00001054/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1055/// printer to not emit usual symbol prefix before the symbol name is used then
1056/// return linkage name after skipping this special LLVM prefix.
1057static StringRef getRealLinkageName(StringRef LinkageName) {
1058 char One = '\1';
1059 if (LinkageName.startswith(StringRef(&One, 1)))
1060 return LinkageName.substr(1);
1061 return LinkageName;
1062}
1063
Devang Patel930143b2009-11-21 02:48:08 +00001064/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel9ccfb642009-12-09 18:24:21 +00001065DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach00e9c612009-11-22 19:20:36 +00001066 // If the global variable was optmized out then no need to create debug info
1067 // entry.
Devang Patelcc11371b2009-11-06 17:58:12 +00001068 if (!GV.getGlobal()) return NULL;
Devang Patel2d9caf92009-11-25 17:36:49 +00001069 if (GV.getDisplayName().empty()) return NULL;
Devang Patel06ce6502009-11-06 01:30:04 +00001070
Bill Wendling2f921f82009-05-15 09:23:25 +00001071 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach042483e2009-11-21 23:12:12 +00001072 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001073 GV.getDisplayName());
1074
Devang Patel2d9caf92009-11-25 17:36:49 +00001075 StringRef LinkageName = GV.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001076 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001077 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001078 getRealLinkageName(LinkageName));
1079
Devang Patel9ccfb642009-12-09 18:24:21 +00001080 addType(GVDie, GV.getType());
Bill Wendling2f921f82009-05-15 09:23:25 +00001081 if (!GV.isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001082 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1083 addSourceLine(GVDie, &GV);
Devang Patel4144a822009-10-05 23:22:08 +00001084
Bill Wendling2f921f82009-05-15 09:23:25 +00001085 return GVDie;
1086}
1087
Devang Patel930143b2009-11-21 02:48:08 +00001088/// createMemberDIE - Create new member DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001089DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001090 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel2d9caf92009-11-25 17:36:49 +00001091 StringRef Name = DT.getName();
1092 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001093 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel2d9caf92009-11-25 17:36:49 +00001094
Devang Patel9ccfb642009-12-09 18:24:21 +00001095 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001096
Devang Patel930143b2009-11-21 02:48:08 +00001097 addSourceLine(MemberDie, &DT);
Bill Wendling2f921f82009-05-15 09:23:25 +00001098
Devang Patel67f56f02009-11-04 22:06:12 +00001099 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patel930143b2009-11-21 02:48:08 +00001100 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel67f56f02009-11-04 22:06:12 +00001101
Bill Wendling2f921f82009-05-15 09:23:25 +00001102 uint64_t Size = DT.getSizeInBits();
Devang Patelf05d5722009-11-04 23:48:00 +00001103 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling2f921f82009-05-15 09:23:25 +00001104
1105 if (Size != FieldSize) {
1106 // Handle bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001107 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1108 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling2f921f82009-05-15 09:23:25 +00001109
1110 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling2f921f82009-05-15 09:23:25 +00001111 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1112 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer2b459982010-01-07 17:50:57 +00001113 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling2f921f82009-05-15 09:23:25 +00001114 Offset -= FieldOffset;
1115
1116 // Maybe we need to work from the other end.
1117 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patel930143b2009-11-21 02:48:08 +00001118 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling2f921f82009-05-15 09:23:25 +00001119
Devang Patel67f56f02009-11-04 22:06:12 +00001120 // Here WD_AT_data_member_location points to the anonymous
1121 // field that includes this bit field.
Devang Patel930143b2009-11-21 02:48:08 +00001122 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001123
1124 } else
1125 // This is not a bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001126 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001127
Devang Pateld2316892010-02-03 20:08:48 +00001128 if (DT.getTag() == dwarf::DW_TAG_inheritance
1129 && DT.isVirtual()) {
1130
1131 // For C++, virtual base classes are not at fixed offset. Use following
1132 // expression to extract appropriate offset from vtable.
1133 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1134
1135 DIEBlock *VBaseLocationDie = new DIEBlock();
1136 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1137 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1138 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1139 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1140 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1141 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1142 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1143
1144 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1145 VBaseLocationDie);
1146 } else
1147 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001148
1149 if (DT.isProtected())
Devang Pateleb57c592009-12-03 19:11:07 +00001150 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001151 dwarf::DW_ACCESS_protected);
1152 else if (DT.isPrivate())
Devang Pateleb57c592009-12-03 19:11:07 +00001153 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001154 dwarf::DW_ACCESS_private);
Devang Pateleb57c592009-12-03 19:11:07 +00001155 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1156 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1157 dwarf::DW_ACCESS_public);
1158 if (DT.isVirtual())
1159 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1160 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling2f921f82009-05-15 09:23:25 +00001161 return MemberDie;
1162}
1163
Devang Patel525dda02009-12-14 16:18:45 +00001164/// createSubprogramDIE - Create new DIE using SP.
1165DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1166 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1167 if (SPDie)
1168 return SPDie;
1169
1170 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patelf200b392010-03-02 17:58:15 +00001171 // Constructors and operators for anonymous aggregates do not have names.
Devang Pateld0fa3042010-03-02 01:26:20 +00001172 if (!SP.getName().empty())
1173 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling2f921f82009-05-15 09:23:25 +00001174
Devang Patel2d9caf92009-11-25 17:36:49 +00001175 StringRef LinkageName = SP.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001176 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001177 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001178 getRealLinkageName(LinkageName));
1179
Devang Patel930143b2009-11-21 02:48:08 +00001180 addSourceLine(SPDie, &SP);
Bill Wendling2f921f82009-05-15 09:23:25 +00001181
Bill Wendling2f921f82009-05-15 09:23:25 +00001182 // Add prototyped tag, if C or ObjC.
1183 unsigned Lang = SP.getCompileUnit().getLanguage();
1184 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1185 Lang == dwarf::DW_LANG_ObjC)
Devang Patel930143b2009-11-21 02:48:08 +00001186 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001187
1188 // Add Return Type.
Devang Patel236526d2009-12-03 01:25:38 +00001189 DICompositeType SPTy = SP.getType();
1190 DIArray Args = SPTy.getTypeArray();
Bill Wendling2f921f82009-05-15 09:23:25 +00001191 unsigned SPTag = SPTy.getTag();
Devang Pateleb57c592009-12-03 19:11:07 +00001192
Devang Patel3b548aa2010-03-08 20:52:55 +00001193 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel9ccfb642009-12-09 18:24:21 +00001194 addType(SPDie, SPTy);
Devang Patel236526d2009-12-03 01:25:38 +00001195 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001196 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel236526d2009-12-03 01:25:38 +00001197
Devang Pateleb57c592009-12-03 19:11:07 +00001198 unsigned VK = SP.getVirtuality();
1199 if (VK) {
1200 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1201 DIEBlock *Block = new DIEBlock();
1202 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1203 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1204 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel018b29b2010-01-19 06:19:05 +00001205 ContainingTypeMap.insert(std::make_pair(SPDie,
1206 SP.getContainingType().getNode()));
Devang Pateleb57c592009-12-03 19:11:07 +00001207 }
1208
Devang Patel525dda02009-12-14 16:18:45 +00001209 if (MakeDecl || !SP.isDefinition()) {
Devang Patel930143b2009-11-21 02:48:08 +00001210 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001211
1212 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel236526d2009-12-03 01:25:38 +00001213 // be handled while processing variables.
1214 DICompositeType SPTy = SP.getType();
1215 DIArray Args = SPTy.getTypeArray();
1216 unsigned SPTag = SPTy.getTag();
1217
Bill Wendling2f921f82009-05-15 09:23:25 +00001218 if (SPTag == dwarf::DW_TAG_subroutine_type)
1219 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1220 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel6efc8e52010-02-06 01:02:37 +00001221 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1222 addType(Arg, ATy);
1223 if (ATy.isArtificial())
1224 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel930143b2009-11-21 02:48:08 +00001225 SPDie->addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +00001226 }
1227 }
1228
Devang Patel999b4992010-02-03 19:57:19 +00001229 if (SP.isArtificial())
1230 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1231
Bill Wendling2f921f82009-05-15 09:23:25 +00001232 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel9ccfb642009-12-09 18:24:21 +00001233 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001234 return SPDie;
1235}
1236
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001237/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1238/// Initialize scope and update scope hierarchy.
1239DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1240 MDNode *InlinedAt) {
1241 assert (N && "Invalid Scope encoding!");
1242 assert (MI && "Missing machine instruction!");
1243 bool GetConcreteScope = (MI && InlinedAt);
1244
1245 DbgScope *NScope = NULL;
1246
1247 if (InlinedAt)
1248 NScope = DbgScopeMap.lookup(InlinedAt);
1249 else
1250 NScope = DbgScopeMap.lookup(N);
1251 assert (NScope && "Unable to find working scope!");
1252
1253 if (NScope->getFirstInsn())
1254 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001255
1256 DbgScope *Parent = NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001257 if (GetConcreteScope) {
Devang Patel6875c5eb2009-10-14 21:08:09 +00001258 DILocation IL(InlinedAt);
Jim Grosbach042483e2009-11-21 23:12:12 +00001259 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001260 IL.getOrigLocation().getNode());
1261 assert (Parent && "Unable to find Parent scope!");
1262 NScope->setParent(Parent);
Devang Patel930143b2009-11-21 02:48:08 +00001263 Parent->addScope(NScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001264 } else if (DIDescriptor(N).isLexicalBlock()) {
1265 DILexicalBlock DB(N);
Devang Patel3b548aa2010-03-08 20:52:55 +00001266 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1267 NScope->setParent(Parent);
1268 Parent->addScope(NScope);
Devang Patel6875c5eb2009-10-14 21:08:09 +00001269 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001270
Devang Patelcfeaa482009-10-27 20:47:17 +00001271 NScope->setFirstInsn(MI);
Devang Patel75cc16c2009-10-01 20:31:14 +00001272
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001273 if (!Parent && !InlinedAt) {
Devang Patel78319c62009-11-11 00:31:36 +00001274 StringRef SPName = DISubprogram(N).getLinkageName();
1275 if (SPName == MF->getFunction()->getName())
1276 CurrentFnDbgScope = NScope;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001277 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001278
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001279 if (GetConcreteScope) {
1280 ConcreteScopes[InlinedAt] = NScope;
1281 getOrCreateAbstractScope(N);
1282 }
1283
Devang Patelcfeaa482009-10-27 20:47:17 +00001284 return NScope;
Devang Patel75cc16c2009-10-01 20:31:14 +00001285}
1286
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001287DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1288 assert (N && "Invalid Scope encoding!");
1289
1290 DbgScope *AScope = AbstractScopes.lookup(N);
1291 if (AScope)
1292 return AScope;
Jim Grosbach042483e2009-11-21 23:12:12 +00001293
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001294 DbgScope *Parent = NULL;
1295
1296 DIDescriptor Scope(N);
1297 if (Scope.isLexicalBlock()) {
1298 DILexicalBlock DB(N);
1299 DIDescriptor ParentDesc = DB.getContext();
Devang Patel3b548aa2010-03-08 20:52:55 +00001300 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001301 }
1302
1303 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1304
1305 if (Parent)
Devang Patel930143b2009-11-21 02:48:08 +00001306 Parent->addScope(AScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001307 AScope->setAbstractScope();
1308 AbstractScopes[N] = AScope;
1309 if (DIDescriptor(N).isSubprogram())
1310 AbstractScopesList.push_back(AScope);
1311 return AScope;
1312}
Devang Patel75cc16c2009-10-01 20:31:14 +00001313
Jim Grosbach042483e2009-11-21 23:12:12 +00001314/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel930143b2009-11-21 02:48:08 +00001315/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1316/// If there are global variables in this scope then create and insert
1317/// DIEs for these variables.
1318DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patele064ad42009-11-20 21:37:22 +00001319 DIE *SPDie = ModuleCU->getDIE(SPNode);
Chris Lattner2c3f4782010-03-13 07:26:18 +00001320 assert(SPDie && "Unable to find subprogram DIE!");
Devang Patel525dda02009-12-14 16:18:45 +00001321 DISubprogram SP(SPNode);
Chris Lattner2c3f4782010-03-13 07:26:18 +00001322
Devang Pateld4be4ce2010-02-05 23:09:20 +00001323 // There is not any need to generate specification DIE for a function
1324 // defined at compile unit level. If a function is defined inside another
1325 // function then gdb prefers the definition at top level and but does not
1326 // expect specification DIE in parent function. So avoid creating
1327 // specification DIE for a function defined inside a function.
Chris Lattner2c3f4782010-03-13 07:26:18 +00001328 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1329 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
Devang Patel525dda02009-12-14 16:18:45 +00001330 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Chris Lattner2c3f4782010-03-13 07:26:18 +00001331
1332 // Add arguments.
Devang Patel525dda02009-12-14 16:18:45 +00001333 DICompositeType SPTy = SP.getType();
1334 DIArray Args = SPTy.getTypeArray();
1335 unsigned SPTag = SPTy.getTag();
1336 if (SPTag == dwarf::DW_TAG_subroutine_type)
Chris Lattner2c3f4782010-03-13 07:26:18 +00001337 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Devang Patel525dda02009-12-14 16:18:45 +00001338 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patel6efc8e52010-02-06 01:02:37 +00001339 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1340 addType(Arg, ATy);
1341 if (ATy.isArtificial())
1342 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel525dda02009-12-14 16:18:45 +00001343 SPDie->addChild(Arg);
1344 }
1345 DIE *SPDeclDie = SPDie;
1346 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1347 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1348 SPDeclDie);
Devang Patel525dda02009-12-14 16:18:45 +00001349 ModuleCU->addDie(SPDie);
1350 }
Devang Patel6efc8e52010-02-06 01:02:37 +00001351
Devang Patel930143b2009-11-21 02:48:08 +00001352 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerbc9210c2010-03-08 22:23:36 +00001353 getDWLabel("func_begin", SubprogramCount));
Devang Patel930143b2009-11-21 02:48:08 +00001354 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerbc9210c2010-03-08 22:23:36 +00001355 getDWLabel("func_end", SubprogramCount));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001356 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patel930143b2009-11-21 02:48:08 +00001357 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach042483e2009-11-21 23:12:12 +00001358
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001359 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patel930143b2009-11-21 02:48:08 +00001360 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001361
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001362 return SPDie;
1363}
1364
Jim Grosbach042483e2009-11-21 23:12:12 +00001365/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel930143b2009-11-21 02:48:08 +00001366/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1367DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattnere13c3722010-03-09 01:58:53 +00001368 MCSymbol *Start = Scope->getStartLabel();
1369 MCSymbol *End = Scope->getEndLabel();
Chris Lattner54a68762010-03-09 04:48:35 +00001370 if (Start == 0) return 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001371
Chris Lattnere13c3722010-03-09 01:58:53 +00001372 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1373 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001374
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001375 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1376 if (Scope->isAbstractScope())
1377 return ScopeDIE;
1378
Devang Patel930143b2009-11-21 02:48:08 +00001379 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnere13c3722010-03-09 01:58:53 +00001380 Start ? Start : getDWLabel("func_begin", SubprogramCount));
Devang Patel930143b2009-11-21 02:48:08 +00001381 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnere13c3722010-03-09 01:58:53 +00001382 End ? End : getDWLabel("func_end", SubprogramCount));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001383
1384 return ScopeDIE;
1385}
1386
Devang Patel930143b2009-11-21 02:48:08 +00001387/// constructInlinedScopeDIE - This scope represents inlined body of
1388/// a function. Construct DIE to represent this concrete inlined copy
1389/// of the function.
1390DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattnere13c3722010-03-09 01:58:53 +00001391 MCSymbol *StartLabel = Scope->getStartLabel();
1392 MCSymbol *EndLabel = Scope->getEndLabel();
Chris Lattner54a68762010-03-09 04:48:35 +00001393 if (StartLabel == 0) return 0;
1394
Chris Lattnere13c3722010-03-09 01:58:53 +00001395 assert(StartLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001396 "Invalid starting label for an inlined scope!");
Chris Lattnere13c3722010-03-09 01:58:53 +00001397 assert(EndLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001398 "Invalid end label for an inlined scope!");
Devang Patel3b548aa2010-03-08 20:52:55 +00001399 if (!Scope->getScopeNode())
Devang Patelbc97f6b2010-03-08 19:20:38 +00001400 return NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +00001401 DIScope DS(Scope->getScopeNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001402 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1403
1404 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001405 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001406 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patel930143b2009-11-21 02:48:08 +00001407 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001408 dwarf::DW_FORM_ref4, OriginDIE);
1409
Chris Lattner085b6522010-03-09 00:31:02 +00001410 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnere13c3722010-03-09 01:58:53 +00001411 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001412
1413 InlinedSubprogramDIEs.insert(OriginDIE);
1414
1415 // Track the start label for this inlined function.
Devang Patel018b29b2010-01-19 06:19:05 +00001416 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001417 I = InlineInfo.find(InlinedSP.getNode());
1418
1419 if (I == InlineInfo.end()) {
Chris Lattner085b6522010-03-09 00:31:02 +00001420 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbach00e9c612009-11-22 19:20:36 +00001421 ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001422 InlinedSPNodes.push_back(InlinedSP.getNode());
1423 } else
Chris Lattner085b6522010-03-09 00:31:02 +00001424 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001425
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001426 DILocation DL(Scope->getInlinedAt());
Devang Patel930143b2009-11-21 02:48:08 +00001427 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1428 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001429
1430 return ScopeDIE;
1431}
1432
Devang Patel930143b2009-11-21 02:48:08 +00001433
1434/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel9ccfb642009-12-09 18:24:21 +00001435DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001436 // Get the descriptor.
1437 const DIVariable &VD = DV->getVariable();
Devang Patel2d9caf92009-11-25 17:36:49 +00001438 StringRef Name = VD.getName();
1439 if (Name.empty())
Devang Patel97f99fa2009-11-13 02:25:26 +00001440 return NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001441
1442 // Translate tag to proper Dwarf tag. The result variable is dropped for
1443 // now.
1444 unsigned Tag;
1445 switch (VD.getTag()) {
1446 case dwarf::DW_TAG_return_variable:
1447 return NULL;
1448 case dwarf::DW_TAG_arg_variable:
1449 Tag = dwarf::DW_TAG_formal_parameter;
1450 break;
1451 case dwarf::DW_TAG_auto_variable: // fall thru
1452 default:
1453 Tag = dwarf::DW_TAG_variable;
1454 break;
1455 }
1456
1457 // Define variable debug information entry.
1458 DIE *VariableDie = new DIE(Tag);
1459
1460
1461 DIE *AbsDIE = NULL;
1462 if (DbgVariable *AV = DV->getAbstractVariable())
1463 AbsDIE = AV->getDIE();
Jim Grosbach042483e2009-11-21 23:12:12 +00001464
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001465 if (AbsDIE) {
1466 DIScope DS(Scope->getScopeNode());
1467 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patele064ad42009-11-20 21:37:22 +00001468 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbar75b4d352009-11-11 03:09:50 +00001469 (void) OriginSPDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001470 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1471 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1472 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel930143b2009-11-21 02:48:08 +00001473 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001474 dwarf::DW_FORM_ref4, AbsDIE);
1475 }
1476 else {
Devang Patel930143b2009-11-21 02:48:08 +00001477 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1478 addSourceLine(VariableDie, &VD);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001479
1480 // Add variable type.
Jim Grosbach042483e2009-11-21 23:12:12 +00001481 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001482 // addresses instead.
1483 if (VD.isBlockByrefVariable())
Devang Patel9ccfb642009-12-09 18:24:21 +00001484 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001485 else
Devang Patel9ccfb642009-12-09 18:24:21 +00001486 addType(VariableDie, VD.getType());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001487 }
1488
1489 // Add variable address.
1490 if (!Scope->isAbstractScope()) {
Devang Patela3e9c9c2010-03-15 18:33:46 +00001491 // Check if variable is described by DBG_VALUE instruction.
1492 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1493 if (DbgValueInsn->getNumOperands() == 3) {
1494 // FIXME : Handle getNumOperands != 3
1495 if (DbgValueInsn->getOperand(0).getType()
1496 == MachineOperand::MO_Register
1497 && DbgValueInsn->getOperand(0).getReg()) {
1498 MachineLocation Location;
1499 Location.set(DbgValueInsn->getOperand(0).getReg());
1500 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1501 } else if (DbgValueInsn->getOperand(0).getType() ==
1502 MachineOperand::MO_Immediate) {
1503 DIEBlock *Block = new DIEBlock();
1504 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1505 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1506 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
1507 } else {
1508 //FIXME : Handle other operand types.
1509 delete VariableDie;
1510 return NULL;
1511 }
1512 }
1513 } else {
1514 MachineLocation Location;
1515 unsigned FrameReg;
1516 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1517 Location.set(FrameReg, Offset);
1518
1519 if (VD.hasComplexAddress())
1520 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1521 else if (VD.isBlockByrefVariable())
1522 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1523 else
1524 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1525 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001526 }
Devang Patel6efc8e52010-02-06 01:02:37 +00001527
1528 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1529 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001530 DV->setDIE(VariableDie);
1531 return VariableDie;
1532
1533}
Devang Patel930143b2009-11-21 02:48:08 +00001534
Devang Patel04d2f2d2009-11-24 01:14:22 +00001535void DwarfDebug::addPubTypes(DISubprogram SP) {
1536 DICompositeType SPTy = SP.getType();
1537 unsigned SPTag = SPTy.getTag();
1538 if (SPTag != dwarf::DW_TAG_subroutine_type)
1539 return;
1540
1541 DIArray Args = SPTy.getTypeArray();
Devang Patel04d2f2d2009-11-24 01:14:22 +00001542 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1543 DIType ATy(Args.getElement(i).getNode());
Devang Patel3b548aa2010-03-08 20:52:55 +00001544 if (!ATy.isValid())
Devang Patel04d2f2d2009-11-24 01:14:22 +00001545 continue;
1546 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel3b548aa2010-03-08 20:52:55 +00001547 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patel04d2f2d2009-11-24 01:14:22 +00001548 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1549 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1550 }
1551 }
1552}
1553
Devang Patel930143b2009-11-21 02:48:08 +00001554/// constructScopeDIE - Construct a DIE for this scope.
1555DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3b548aa2010-03-08 20:52:55 +00001556 if (!Scope || !Scope->getScopeNode())
1557 return NULL;
1558
1559 DIScope DS(Scope->getScopeNode());
1560 DIE *ScopeDIE = NULL;
1561 if (Scope->getInlinedAt())
1562 ScopeDIE = constructInlinedScopeDIE(Scope);
1563 else if (DS.isSubprogram()) {
1564 if (Scope->isAbstractScope())
1565 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1566 else
1567 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1568 }
1569 else {
1570 ScopeDIE = constructLexicalScopeDIE(Scope);
1571 if (!ScopeDIE) return NULL;
1572 }
1573
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001574 // Add variables to scope.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001575 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001576 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel9ccfb642009-12-09 18:24:21 +00001577 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach042483e2009-11-21 23:12:12 +00001578 if (VariableDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001579 ScopeDIE->addChild(VariableDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001580 }
1581
1582 // Add nested scopes.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001583 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001584 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1585 // Define the Scope debug information entry.
Devang Patel930143b2009-11-21 02:48:08 +00001586 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach042483e2009-11-21 23:12:12 +00001587 if (NestedDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001588 ScopeDIE->addChild(NestedDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001589 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00001590
1591 if (DS.isSubprogram())
1592 addPubTypes(DISubprogram(DS.getNode()));
1593
1594 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001595}
1596
Bill Wendling2b128d72009-05-20 23:19:06 +00001597/// GetOrCreateSourceID - Look up the source id with the given directory and
1598/// source file names. If none currently exists, create a new id and insert it
1599/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1600/// maps as well.
Devang Patel2d9caf92009-11-25 17:36:49 +00001601unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendling2b128d72009-05-20 23:19:06 +00001602 unsigned DId;
1603 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1604 if (DI != DirectoryIdMap.end()) {
1605 DId = DI->getValue();
1606 } else {
1607 DId = DirectoryNames.size() + 1;
1608 DirectoryIdMap[DirName] = DId;
1609 DirectoryNames.push_back(DirName);
1610 }
1611
1612 unsigned FId;
1613 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1614 if (FI != SourceFileIdMap.end()) {
1615 FId = FI->getValue();
1616 } else {
1617 FId = SourceFileNames.size() + 1;
1618 SourceFileIdMap[FileName] = FId;
1619 SourceFileNames.push_back(FileName);
1620 }
1621
1622 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1623 SourceIdMap.find(std::make_pair(DId, FId));
1624 if (SI != SourceIdMap.end())
1625 return SI->second;
1626
1627 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1628 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1629 SourceIds.push_back(std::make_pair(DId, FId));
1630
1631 return SrcId;
1632}
1633
Devang Patel1f4690c2009-12-15 19:16:48 +00001634/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1635DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1636 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1637 if (NDie)
1638 return NDie;
1639 NDie = new DIE(dwarf::DW_TAG_namespace);
1640 ModuleCU->insertDIE(NS.getNode(), NDie);
1641 if (!NS.getName().empty())
1642 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1643 addSourceLine(NDie, &NS);
1644 addToContextOwner(NDie, NS.getContext());
1645 return NDie;
1646}
1647
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001648void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001649 DICompileUnit DIUnit(N);
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001650 // Use first compile unit marked as isMain as the compile unit for this
1651 // module.
1652 if (ModuleCU || !DIUnit.isMain())
1653 return;
Devang Patel2d9caf92009-11-25 17:36:49 +00001654 StringRef FN = DIUnit.getFilename();
1655 StringRef Dir = DIUnit.getDirectory();
Devang Patelb2969422009-09-29 18:40:58 +00001656 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendling2b128d72009-05-20 23:19:06 +00001657
1658 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel930143b2009-11-21 02:48:08 +00001659 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001660 DIUnit.getProducer());
Devang Patel930143b2009-11-21 02:48:08 +00001661 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendling2b128d72009-05-20 23:19:06 +00001662 DIUnit.getLanguage());
Devang Patel930143b2009-11-21 02:48:08 +00001663 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Devang Pateld22ed622010-03-22 23:11:36 +00001664 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1665 getTempLabel("text_begin"));
1666 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1667 getTempLabel("text_end"));
1668 // DW_AT_stmt_list is a offset of line number information for this
1669 // compile unit in debug_line section. It is always zero when only one
1670 // compile unit is emitted in one object file.
1671 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendling2b128d72009-05-20 23:19:06 +00001672
Devang Patel2d9caf92009-11-25 17:36:49 +00001673 if (!Dir.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001674 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendling2b128d72009-05-20 23:19:06 +00001675 if (DIUnit.isOptimized())
Devang Patel930143b2009-11-21 02:48:08 +00001676 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendling2b128d72009-05-20 23:19:06 +00001677
Devang Patel2d9caf92009-11-25 17:36:49 +00001678 StringRef Flags = DIUnit.getFlags();
1679 if (!Flags.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001680 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendling2b128d72009-05-20 23:19:06 +00001681
1682 unsigned RVer = DIUnit.getRunTimeVersion();
1683 if (RVer)
Devang Patel930143b2009-11-21 02:48:08 +00001684 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +00001685 dwarf::DW_FORM_data1, RVer);
1686
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001687 assert(!ModuleCU &&
1688 "ModuleCU assigned since the top of constructCompileUnit");
1689 ModuleCU = new CompileUnit(ID, Die);
Bill Wendling2b128d72009-05-20 23:19:06 +00001690}
1691
Devang Patel930143b2009-11-21 02:48:08 +00001692void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001693 DIGlobalVariable DI_GV(N);
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001694
Devang Patelf5d53602009-09-04 23:59:07 +00001695 // If debug information is malformed then ignore it.
1696 if (DI_GV.Verify() == false)
1697 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001698
1699 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001700 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel0751a282009-06-26 01:49:18 +00001701 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001702
Devang Patel9ccfb642009-12-09 18:24:21 +00001703 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel2eec32d2009-12-10 23:25:41 +00001704 if (!VariableDie)
1705 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001706
Bill Wendling2b128d72009-05-20 23:19:06 +00001707 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001708 ModuleCU->insertDIE(N, VariableDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001709
1710 // Add to context owner.
Devang Patel89880c82010-01-15 01:12:22 +00001711 DIDescriptor GVContext = DI_GV.getContext();
1712 // Do not create specification DIE if context is either compile unit
1713 // or a subprogram.
1714 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
Devang Patelf5c2a6b2010-03-11 23:44:52 +00001715 && !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel1f4690c2009-12-15 19:16:48 +00001716 // Create specification DIE.
1717 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1718 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1719 dwarf::DW_FORM_ref4, VariableDie);
1720 DIEBlock *Block = new DIEBlock();
1721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner8dcf41e2010-03-08 22:31:46 +00001722 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner9e4cafe2010-03-12 21:09:07 +00001723 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001724 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patelce25dd72010-02-09 01:58:33 +00001725 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel1f4690c2009-12-15 19:16:48 +00001726 ModuleCU->addDie(VariableSpecDIE);
1727 } else {
1728 DIEBlock *Block = new DIEBlock();
1729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner8dcf41e2010-03-08 22:31:46 +00001730 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner9e4cafe2010-03-12 21:09:07 +00001731 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel1f4690c2009-12-15 19:16:48 +00001732 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1733 }
Devang Patel89880c82010-01-15 01:12:22 +00001734 addToContextOwner(VariableDie, GVContext);
Devang Patel2b75ed22009-12-10 19:14:49 +00001735
Bill Wendling2b128d72009-05-20 23:19:06 +00001736 // Expose as global. FIXME - need to check external flag.
Devang Patel930143b2009-11-21 02:48:08 +00001737 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001738
1739 DIType GTy = DI_GV.getType();
Devang Patel2d9caf92009-11-25 17:36:49 +00001740 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patel04d2f2d2009-11-24 01:14:22 +00001741 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1742 assert (Entry && "Missing global type!");
1743 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1744 }
Devang Patel0751a282009-06-26 01:49:18 +00001745 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001746}
1747
Devang Patel930143b2009-11-21 02:48:08 +00001748void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001749 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +00001750
1751 // Check for pre-existence.
Devang Patele064ad42009-11-20 21:37:22 +00001752 if (ModuleCU->getDIE(N))
Devang Patel0751a282009-06-26 01:49:18 +00001753 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001754
1755 if (!SP.isDefinition())
1756 // This is a method declaration which will be handled while constructing
1757 // class type.
Devang Patel0751a282009-06-26 01:49:18 +00001758 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001759
Devang Patel9ccfb642009-12-09 18:24:21 +00001760 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendling2b128d72009-05-20 23:19:06 +00001761
1762 // Add to map.
Devang Patele064ad42009-11-20 21:37:22 +00001763 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00001764
1765 // Add to context owner.
Devang Patel1f4690c2009-12-15 19:16:48 +00001766 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +00001767
Bill Wendling2b128d72009-05-20 23:19:06 +00001768 // Expose as global.
Devang Patel930143b2009-11-21 02:48:08 +00001769 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00001770
Devang Patel0751a282009-06-26 01:49:18 +00001771 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001772}
1773
Devang Patel930143b2009-11-21 02:48:08 +00001774/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbarbe22ec42009-09-19 20:40:14 +00001775/// content. Create global DIEs and emit initial debug info sections.
1776/// This is inovked by the target AsmPrinter.
Devang Patel930143b2009-11-21 02:48:08 +00001777void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel0c044ec2009-06-25 22:36:02 +00001778 this->M = M;
1779
Bill Wendling2b128d72009-05-20 23:19:06 +00001780 if (TimePassesIsEnabled)
1781 DebugTimer->startTimer();
1782
Devang Pateld41f1192009-11-11 19:55:08 +00001783 if (!MAI->doesSupportDebugInformation())
1784 return;
1785
Devang Patel63524442009-07-30 18:56:46 +00001786 DebugInfoFinder DbgFinder;
1787 DbgFinder.processModule(*M);
Devang Patel0751a282009-06-26 01:49:18 +00001788
Bill Wendling2b128d72009-05-20 23:19:06 +00001789 // Create all the compile unit DIEs.
Devang Patel63524442009-07-30 18:56:46 +00001790 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1791 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001792 constructCompileUnit(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001793
Devang Patel40d78412009-06-29 20:45:18 +00001794 if (!ModuleCU)
Devang Patel8119fe872010-03-08 22:02:50 +00001795 return;
Devang Patel86353452009-06-29 20:38:13 +00001796
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001797 // Create DIEs for each subprogram.
Devang Patel63524442009-07-30 18:56:46 +00001798 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1799 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001800 constructSubprogramDIE(*I);
Devang Patel0751a282009-06-26 01:49:18 +00001801
Devang Patel2b75ed22009-12-10 19:14:49 +00001802 // Create DIEs for each global variable.
1803 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1804 E = DbgFinder.global_variable_end(); I != E; ++I)
1805 constructGlobalVariableDIE(*I);
1806
Bill Wendling2b128d72009-05-20 23:19:06 +00001807 MMI = mmi;
1808 shouldEmit = true;
1809 MMI->setDebugInfoAvailability(true);
1810
1811 // Prime section data.
Chris Lattner5e693ed2009-07-28 03:13:23 +00001812 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +00001813
1814 // Print out .file directives to specify files for .loc directives. These are
1815 // printed out early so that they precede any .loc directives.
Chris Lattnere9a75a62009-08-22 21:43:10 +00001816 if (MAI->hasDotLocAndDotFile()) {
Bill Wendling2b128d72009-05-20 23:19:06 +00001817 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1818 // Remember source id starts at 1.
1819 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00001820 // FIXME: don't use sys::path for this! This should not depend on the
1821 // host.
Bill Wendling2b128d72009-05-20 23:19:06 +00001822 sys::Path FullPath(getSourceDirectoryName(Id.first));
1823 bool AppendOk =
1824 FullPath.appendComponent(getSourceFileName(Id.second));
1825 assert(AppendOk && "Could not append filename to directory!");
1826 AppendOk = false;
Chris Lattner601ef332010-01-25 18:58:59 +00001827 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendling2b128d72009-05-20 23:19:06 +00001828 }
1829 }
1830
1831 // Emit initial sections
Devang Patel930143b2009-11-21 02:48:08 +00001832 emitInitial();
Bill Wendling2b128d72009-05-20 23:19:06 +00001833
1834 if (TimePassesIsEnabled)
1835 DebugTimer->stopTimer();
1836}
1837
Devang Patel930143b2009-11-21 02:48:08 +00001838/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendling2b128d72009-05-20 23:19:06 +00001839///
Devang Patel930143b2009-11-21 02:48:08 +00001840void DwarfDebug::endModule() {
Devang Pateld859d862009-10-06 00:03:14 +00001841 if (!ModuleCU)
Bill Wendling2b128d72009-05-20 23:19:06 +00001842 return;
1843
1844 if (TimePassesIsEnabled)
1845 DebugTimer->startTimer();
1846
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001847 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1848 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1849 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1850 DIE *ISP = *AI;
Devang Patel930143b2009-11-21 02:48:08 +00001851 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001852 }
1853
Devang Patel236526d2009-12-03 01:25:38 +00001854 // Insert top level DIEs.
1855 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1856 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1857 ModuleCU->getCUDie()->addChild(*TI);
1858
Devang Patel018b29b2010-01-19 06:19:05 +00001859 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Pateleb57c592009-12-03 19:11:07 +00001860 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1861 DIE *SPDie = CI->first;
1862 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1863 if (!N) continue;
1864 DIE *NDie = ModuleCU->getDIE(N);
1865 if (!NDie) continue;
1866 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel2108ee02010-01-15 00:26:31 +00001867 // FIXME - This is not the correct approach.
1868 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Pateleb57c592009-12-03 19:11:07 +00001869 }
1870
Bill Wendling2b128d72009-05-20 23:19:06 +00001871 // Standard sections final addresses.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001872 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattner722714d2010-03-08 22:44:40 +00001873 Asm->OutStreamer.EmitLabel(getTempLabel("text_end"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001874 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattner722714d2010-03-08 22:44:40 +00001875 Asm->OutStreamer.EmitLabel(getTempLabel("data_end"));
Bill Wendling2b128d72009-05-20 23:19:06 +00001876
1877 // End text sections.
1878 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001879 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattner722714d2010-03-08 22:44:40 +00001880 Asm->OutStreamer.EmitLabel(getDWLabel("section_end", i));
Bill Wendling2b128d72009-05-20 23:19:06 +00001881 }
1882
1883 // Emit common frame information.
Devang Patel930143b2009-11-21 02:48:08 +00001884 emitCommonDebugFrame();
Bill Wendling2b128d72009-05-20 23:19:06 +00001885
1886 // Emit function debug frame information
1887 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1888 E = DebugFrames.end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00001889 emitFunctionDebugFrame(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00001890
1891 // Compute DIE offsets and sizes.
Devang Patel930143b2009-11-21 02:48:08 +00001892 computeSizeAndOffsets();
Bill Wendling2b128d72009-05-20 23:19:06 +00001893
1894 // Emit all the DIEs into a debug info section
Devang Patel930143b2009-11-21 02:48:08 +00001895 emitDebugInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001896
1897 // Corresponding abbreviations into a abbrev section.
Devang Patel930143b2009-11-21 02:48:08 +00001898 emitAbbreviations();
Bill Wendling2b128d72009-05-20 23:19:06 +00001899
1900 // Emit source line correspondence into a debug line section.
Devang Patel930143b2009-11-21 02:48:08 +00001901 emitDebugLines();
Bill Wendling2b128d72009-05-20 23:19:06 +00001902
1903 // Emit info into a debug pubnames section.
Devang Patel930143b2009-11-21 02:48:08 +00001904 emitDebugPubNames();
Bill Wendling2b128d72009-05-20 23:19:06 +00001905
Devang Patel04d2f2d2009-11-24 01:14:22 +00001906 // Emit info into a debug pubtypes section.
1907 emitDebugPubTypes();
1908
Bill Wendling2b128d72009-05-20 23:19:06 +00001909 // Emit info into a debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00001910 emitDebugLoc();
Bill Wendling2b128d72009-05-20 23:19:06 +00001911
1912 // Emit info into a debug aranges section.
1913 EmitDebugARanges();
1914
1915 // Emit info into a debug ranges section.
Devang Patel930143b2009-11-21 02:48:08 +00001916 emitDebugRanges();
Bill Wendling2b128d72009-05-20 23:19:06 +00001917
1918 // Emit info into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00001919 emitDebugMacInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001920
1921 // Emit inline info.
Devang Patel930143b2009-11-21 02:48:08 +00001922 emitDebugInlineInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001923
Chris Lattnerb7aa9522010-03-13 02:17:42 +00001924 // Emit info into a debug str section.
1925 emitDebugStr();
1926
Jeffrey Yasskin0708de12010-03-11 18:29:55 +00001927 delete ModuleCU;
1928 ModuleCU = NULL; // Reset for the next Module, if any.
1929
Bill Wendling2b128d72009-05-20 23:19:06 +00001930 if (TimePassesIsEnabled)
1931 DebugTimer->stopTimer();
1932}
1933
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001934/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach00e9c612009-11-22 19:20:36 +00001935DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1936 unsigned FrameIdx,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001937 DILocation &ScopeLoc) {
1938
1939 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1940 if (AbsDbgVariable)
1941 return AbsDbgVariable;
1942
1943 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1944 if (!Scope)
1945 return NULL;
1946
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001947 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
1948 NULL /* No more-abstract variable*/);
Devang Patel930143b2009-11-21 02:48:08 +00001949 Scope->addVariable(AbsDbgVariable);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001950 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1951 return AbsDbgVariable;
1952}
1953
Devang Patela3e9c9c2010-03-15 18:33:46 +00001954/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1955/// FIXME : Refactor findAbstractVariable.
1956DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1957 const MachineInstr *MI,
1958 DILocation &ScopeLoc) {
1959
1960 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1961 if (AbsDbgVariable)
1962 return AbsDbgVariable;
1963
1964 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1965 if (!Scope)
1966 return NULL;
1967
1968 AbsDbgVariable = new DbgVariable(Var, MI,
1969 NULL /* No more-abstract variable*/);
1970 Scope->addVariable(AbsDbgVariable);
1971 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1972 return AbsDbgVariable;
1973}
1974
Devang Patel930143b2009-11-21 02:48:08 +00001975/// collectVariableInfo - Populate DbgScope entries with variables' info.
1976void DwarfDebug::collectVariableInfo() {
Devang Pateldf45c7f2009-10-09 22:42:28 +00001977 if (!MMI) return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001978
Devang Patel475d32a2009-10-06 01:26:37 +00001979 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1980 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1981 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelac277eb2010-01-22 22:52:10 +00001982 MDNode *Var = VI->first;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001983 if (!Var) continue;
Devang Patel20b2a772009-10-08 18:48:03 +00001984 DIVariable DV (Var);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001985 std::pair< unsigned, MDNode *> VP = VI->second;
1986 DILocation ScopeLoc(VP.second);
1987
1988 DbgScope *Scope =
1989 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1990 if (!Scope)
Jim Grosbach042483e2009-11-21 23:12:12 +00001991 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelcdb7d442009-11-10 23:20:04 +00001992 // If variable scope is not found then skip this variable.
1993 if (!Scope)
1994 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001995
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001996 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, ScopeLoc);
1997 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patel930143b2009-11-21 02:48:08 +00001998 Scope->addVariable(RegVar);
Devang Patel475d32a2009-10-06 01:26:37 +00001999 }
Devang Patela3e9c9c2010-03-15 18:33:46 +00002000
2001 // Collect variable information from DBG_VALUE machine instructions;
2002 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2003 I != E; ++I) {
2004 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2005 II != IE; ++II) {
2006 const MachineInstr *MInsn = II;
2007 if (MInsn->getOpcode() != TargetOpcode::DBG_VALUE)
2008 continue;
2009 // FIXME : Lift this restriction.
2010 if (MInsn->getNumOperands() != 3)
2011 continue;
2012 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands() - 1).getMetadata()));
2013 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2014 // FIXME Handle inlined subroutine arguments.
2015 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2016 CurrentFnDbgScope->addVariable(ArgVar);
2017 continue;
2018 }
2019
2020 DebugLoc DL = MInsn->getDebugLoc();
2021 if (DL.isUnknown()) continue;
2022 DILocation ScopeLoc = MF->getDILocation(DL);
2023 DbgScope *Scope =
2024 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
2025 if (!Scope)
2026 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
2027 // If variable scope is not found then skip this variable.
2028 if (!Scope)
2029 continue;
2030
2031 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn,
2032 ScopeLoc);
2033 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
2034 Scope->addVariable(RegVar);
2035 }
2036 }
Devang Patel475d32a2009-10-06 01:26:37 +00002037}
2038
Devang Patel930143b2009-11-21 02:48:08 +00002039/// beginScope - Process beginning of a scope starting at Label.
Chris Lattnerba35a672010-03-09 04:54:43 +00002040void DwarfDebug::beginScope(const MachineInstr *MI, MCSymbol *Label) {
Devang Patel8db360d2009-10-06 01:50:42 +00002041 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2042 if (I == DbgScopeBeginMap.end())
2043 return;
Dan Gohman3650f4e2009-11-23 21:30:55 +00002044 ScopeVector &SD = I->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002045 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00002046 SDI != SDE; ++SDI)
Chris Lattnerba35a672010-03-09 04:54:43 +00002047 (*SDI)->setStartLabel(Label);
Devang Patel8db360d2009-10-06 01:50:42 +00002048}
2049
Devang Patel930143b2009-11-21 02:48:08 +00002050/// endScope - Process end of a scope.
2051void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel8db360d2009-10-06 01:50:42 +00002052 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patel7d838bb2009-10-06 03:15:38 +00002053 if (I == DbgScopeEndMap.end())
Devang Patel8db360d2009-10-06 01:50:42 +00002054 return;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002055
Chris Lattner6e52e9d2010-03-14 08:36:50 +00002056 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnere13c3722010-03-09 01:58:53 +00002057 Asm->OutStreamer.EmitLabel(Label);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002058
Chris Lattnere13c3722010-03-09 01:58:53 +00002059 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel8db360d2009-10-06 01:50:42 +00002060 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach042483e2009-11-21 23:12:12 +00002061 SDI != SDE; ++SDI)
Chris Lattnere13c3722010-03-09 01:58:53 +00002062 (*SDI)->setEndLabel(Label);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002063 return;
2064}
2065
2066/// createDbgScope - Create DbgScope for the scope.
2067void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
2068
2069 if (!InlinedAt) {
2070 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2071 if (WScope)
2072 return;
2073 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2074 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach042483e2009-11-21 23:12:12 +00002075 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel4450f262009-11-11 00:18:40 +00002076 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002077 return;
2078 }
2079
2080 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2081 if (WScope)
2082 return;
2083
2084 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2085 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2086 DILocation DL(InlinedAt);
2087 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel8db360d2009-10-06 01:50:42 +00002088}
2089
Devang Patel930143b2009-11-21 02:48:08 +00002090/// extractScopeInformation - Scan machine instructions in this function
Devang Patel75cc16c2009-10-01 20:31:14 +00002091/// and collect DbgScopes. Return true, if atleast one scope was found.
Chris Lattner76555b52010-01-26 23:18:02 +00002092bool DwarfDebug::extractScopeInformation() {
Devang Patel75cc16c2009-10-01 20:31:14 +00002093 // If scope information was extracted using .dbg intrinsics then there is not
2094 // any need to extract these information by scanning each instruction.
2095 if (!DbgScopeMap.empty())
2096 return false;
2097
Devang Patel530a0752010-01-04 20:44:00 +00002098 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2099 unsigned MIIndex = 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002100 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel75cc16c2009-10-01 20:31:14 +00002101 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2102 I != E; ++I) {
2103 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2104 II != IE; ++II) {
2105 const MachineInstr *MInsn = II;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002106 // FIXME : Remove DBG_VALUE check.
2107 if (MInsn->getOpcode() == TargetOpcode::DBG_VALUE) continue;
Devang Patel530a0752010-01-04 20:44:00 +00002108 MIIndexMap[MInsn] = MIIndex++;
Devang Patel75cc16c2009-10-01 20:31:14 +00002109 DebugLoc DL = MInsn->getDebugLoc();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002110 if (DL.isUnknown()) continue;
Devang Patelc0e17df2010-01-16 06:09:35 +00002111 DILocation DLT = MF->getDILocation(DL);
2112 DIScope DLTScope = DLT.getScope();
Devang Patel75cc16c2009-10-01 20:31:14 +00002113 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002114 // other scopes, create one DbgScope now. This will be translated
Devang Patel75cc16c2009-10-01 20:31:14 +00002115 // into a scope DIE at the end.
Devang Patelc0e17df2010-01-16 06:09:35 +00002116 if (DLTScope.isCompileUnit()) continue;
2117 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002118 }
2119 }
2120
2121
2122 // Build scope hierarchy using working set of scopes.
2123 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2124 I != E; ++I) {
2125 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2126 II != IE; ++II) {
2127 const MachineInstr *MInsn = II;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002128 // FIXME : Remove DBG_VALUE check.
2129 if (MInsn->getOpcode() == TargetOpcode::DBG_VALUE) continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002130 DebugLoc DL = MInsn->getDebugLoc();
2131 if (DL.isUnknown()) continue;
Devang Patelc0e17df2010-01-16 06:09:35 +00002132 DILocation DLT = MF->getDILocation(DL);
2133 DIScope DLTScope = DLT.getScope();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002134 // There is no need to create another DIE for compile unit. For all
Jim Grosbach042483e2009-11-21 23:12:12 +00002135 // other scopes, create one DbgScope now. This will be translated
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002136 // into a scope DIE at the end.
Devang Patelc0e17df2010-01-16 06:09:35 +00002137 if (DLTScope.isCompileUnit()) continue;
2138 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2139 DLT.getOrigLocation().getNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002140 Scope->setLastInsn(MInsn);
Devang Patel75cc16c2009-10-01 20:31:14 +00002141 }
2142 }
2143
Devang Patel530a0752010-01-04 20:44:00 +00002144 if (!CurrentFnDbgScope)
2145 return false;
2146
2147 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel75cc16c2009-10-01 20:31:14 +00002148
2149 // Each scope has first instruction and last instruction to mark beginning
2150 // and end of a scope respectively. Create an inverse map that list scopes
2151 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel7771b7c2010-01-20 02:05:23 +00002152 // multiple scopes. Ignore scopes that are not reachable.
2153 SmallVector<DbgScope *, 4> WorkList;
2154 WorkList.push_back(CurrentFnDbgScope);
2155 while (!WorkList.empty()) {
2156 DbgScope *S = WorkList.back(); WorkList.pop_back();
2157
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002158 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patel7771b7c2010-01-20 02:05:23 +00002159 if (!Children.empty())
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002160 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel7771b7c2010-01-20 02:05:23 +00002161 SE = Children.end(); SI != SE; ++SI)
2162 WorkList.push_back(*SI);
2163
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002164 if (S->isAbstractScope())
2165 continue;
Devang Patel75cc16c2009-10-01 20:31:14 +00002166 const MachineInstr *MI = S->getFirstInsn();
2167 assert (MI && "DbgScope does not have first instruction!");
2168
2169 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2170 if (IDI != DbgScopeBeginMap.end())
2171 IDI->second.push_back(S);
2172 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002173 DbgScopeBeginMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002174
2175 MI = S->getLastInsn();
2176 assert (MI && "DbgScope does not have last instruction!");
2177 IDI = DbgScopeEndMap.find(MI);
2178 if (IDI != DbgScopeEndMap.end())
2179 IDI->second.push_back(S);
2180 else
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002181 DbgScopeEndMap[MI].push_back(S);
Devang Patel75cc16c2009-10-01 20:31:14 +00002182 }
2183
2184 return !DbgScopeMap.empty();
2185}
2186
Devang Patel930143b2009-11-21 02:48:08 +00002187/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendling2b128d72009-05-20 23:19:06 +00002188/// emitted immediately after the function entry point.
Chris Lattner76555b52010-01-26 23:18:02 +00002189void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendling2b128d72009-05-20 23:19:06 +00002190 this->MF = MF;
2191
2192 if (!ShouldEmitDwarfDebug()) return;
2193
2194 if (TimePassesIsEnabled)
2195 DebugTimer->startTimer();
2196
Chris Lattner76555b52010-01-26 23:18:02 +00002197 if (!extractScopeInformation())
Devang Patel4598eb62009-10-06 18:37:31 +00002198 return;
Devang Patel930143b2009-11-21 02:48:08 +00002199
2200 collectVariableInfo();
Devang Patel4598eb62009-10-06 18:37:31 +00002201
Bill Wendling2b128d72009-05-20 23:19:06 +00002202 // Assumes in correct section after the entry point.
Chris Lattner722714d2010-03-08 22:44:40 +00002203 Asm->OutStreamer.EmitLabel(getDWLabel("func_begin", ++SubprogramCount));
Bill Wendling2b128d72009-05-20 23:19:06 +00002204
2205 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2206 // function.
Devang Pateldf45c7f2009-10-09 22:42:28 +00002207 DebugLoc FDL = MF->getDefaultDebugLoc();
2208 if (!FDL.isUnknown()) {
Devang Patelc0e17df2010-01-16 06:09:35 +00002209 DILocation DLT = MF->getDILocation(FDL);
Devang Patelc0e17df2010-01-16 06:09:35 +00002210 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Chris Lattnere13c3722010-03-09 01:58:53 +00002211 unsigned Line, Col;
2212 if (SP.Verify()) {
2213 Line = SP.getLineNumber();
2214 Col = 0;
2215 } else {
2216 Line = DLT.getLineNumber();
2217 Col = DLT.getColumnNumber();
2218 }
2219
Chris Lattnerba35a672010-03-09 04:54:43 +00002220 recordSourceLine(Line, Col, DLT.getScope().getNode());
Bill Wendling2b128d72009-05-20 23:19:06 +00002221 }
Bill Wendling2b128d72009-05-20 23:19:06 +00002222 if (TimePassesIsEnabled)
2223 DebugTimer->stopTimer();
2224}
2225
Devang Patel930143b2009-11-21 02:48:08 +00002226/// endFunction - Gather and emit post-function debug information.
Bill Wendling2b128d72009-05-20 23:19:06 +00002227///
Chris Lattner76555b52010-01-26 23:18:02 +00002228void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendling2b128d72009-05-20 23:19:06 +00002229 if (!ShouldEmitDwarfDebug()) return;
2230
2231 if (TimePassesIsEnabled)
2232 DebugTimer->startTimer();
2233
Devang Pateldf45c7f2009-10-09 22:42:28 +00002234 if (DbgScopeMap.empty())
2235 return;
Devang Patel2904aa92009-11-12 19:02:56 +00002236
Devang Patel530a0752010-01-04 20:44:00 +00002237 if (CurrentFnDbgScope) {
2238 // Define end label for subprogram.
Chris Lattner722714d2010-03-08 22:44:40 +00002239 Asm->OutStreamer.EmitLabel(getDWLabel("func_end", SubprogramCount));
Devang Patel530a0752010-01-04 20:44:00 +00002240
2241 // Get function line info.
2242 if (!Lines.empty()) {
2243 // Get section line info.
2244 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2245 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2246 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2247 // Append the function info to section info.
2248 SectionLineInfos.insert(SectionLineInfos.end(),
2249 Lines.begin(), Lines.end());
2250 }
2251
2252 // Construct abstract scopes.
2253 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2254 AE = AbstractScopesList.end(); AI != AE; ++AI)
2255 constructScopeDIE(*AI);
2256
2257 constructScopeDIE(CurrentFnDbgScope);
2258
2259 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2260 MMI->getFrameMoves()));
Bill Wendling2b128d72009-05-20 23:19:06 +00002261 }
2262
Bill Wendling2b128d72009-05-20 23:19:06 +00002263 // Clear debug info
Devang Patelfe189e62010-01-19 01:26:02 +00002264 CurrentFnDbgScope = NULL;
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002265 DeleteContainerSeconds(DbgScopeMap);
Devang Patelfe189e62010-01-19 01:26:02 +00002266 DbgScopeBeginMap.clear();
2267 DbgScopeEndMap.clear();
2268 ConcreteScopes.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002269 DeleteContainerSeconds(AbstractScopes);
Devang Patelfe189e62010-01-19 01:26:02 +00002270 AbstractScopesList.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002271 AbstractVariables.clear();
Bill Wendling2b128d72009-05-20 23:19:06 +00002272 Lines.clear();
Devang Patel0a2c0bc2009-12-01 18:13:48 +00002273
Bill Wendling2b128d72009-05-20 23:19:06 +00002274 if (TimePassesIsEnabled)
2275 DebugTimer->stopTimer();
2276}
2277
Chris Lattnerba35a672010-03-09 04:54:43 +00002278/// recordSourceLine - Register a source line with debug info. Returns the
2279/// unique label that was emitted and which provides correspondence to
2280/// the source line list.
2281MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patel80ae3492009-08-28 23:24:31 +00002282 if (!MMI)
2283 return 0;
2284
Bill Wendling2b128d72009-05-20 23:19:06 +00002285 if (TimePassesIsEnabled)
2286 DebugTimer->startTimer();
2287
Devang Patel2d9caf92009-11-25 17:36:49 +00002288 StringRef Dir;
2289 StringRef Fn;
Devang Patel2089d162009-10-05 18:03:19 +00002290
2291 DIDescriptor Scope(S);
2292 if (Scope.isCompileUnit()) {
2293 DICompileUnit CU(S);
2294 Dir = CU.getDirectory();
2295 Fn = CU.getFilename();
2296 } else if (Scope.isSubprogram()) {
2297 DISubprogram SP(S);
2298 Dir = SP.getDirectory();
2299 Fn = SP.getFilename();
2300 } else if (Scope.isLexicalBlock()) {
2301 DILexicalBlock DB(S);
2302 Dir = DB.getDirectory();
2303 Fn = DB.getFilename();
2304 } else
Chris Lattner2c3f4782010-03-13 07:26:18 +00002305 assert(0 && "Unexpected scope info");
Devang Patel2089d162009-10-05 18:03:19 +00002306
2307 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner6e52e9d2010-03-14 08:36:50 +00002308 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnerb4666f42010-03-14 08:15:55 +00002309 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendling2b128d72009-05-20 23:19:06 +00002310
2311 if (TimePassesIsEnabled)
2312 DebugTimer->stopTimer();
2313
Chris Lattnerba35a672010-03-09 04:54:43 +00002314 Asm->OutStreamer.EmitLabel(Label);
2315 return Label;
Bill Wendling2b128d72009-05-20 23:19:06 +00002316}
2317
2318/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2319/// timed. Look up the source id with the given directory and source file
2320/// names. If none currently exists, create a new id and insert it in the
2321/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2322/// well.
2323unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2324 const std::string &FileName) {
2325 if (TimePassesIsEnabled)
2326 DebugTimer->startTimer();
2327
Devang Patelb2969422009-09-29 18:40:58 +00002328 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendling2b128d72009-05-20 23:19:06 +00002329
2330 if (TimePassesIsEnabled)
2331 DebugTimer->stopTimer();
2332
2333 return SrcId;
2334}
2335
Bill Wendling806535f2009-05-20 23:22:40 +00002336//===----------------------------------------------------------------------===//
2337// Emit Methods
2338//===----------------------------------------------------------------------===//
2339
Devang Patel930143b2009-11-21 02:48:08 +00002340/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling480ff322009-05-20 23:21:38 +00002341///
Jim Grosbach00e9c612009-11-22 19:20:36 +00002342unsigned
2343DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling480ff322009-05-20 23:21:38 +00002344 // Get the children.
2345 const std::vector<DIE *> &Children = Die->getChildren();
2346
2347 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00002348 if (!Last && !Children.empty())
2349 DIEValues.push_back(Die->addSiblingOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002350
2351 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00002352 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00002353
2354 // Get the abbreviation for this DIE.
2355 unsigned AbbrevNumber = Die->getAbbrevNumber();
2356 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2357
2358 // Set DIE offset
2359 Die->setOffset(Offset);
2360
2361 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00002362 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002363
2364 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2365 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2366
2367 // Size the DIE attribute values.
2368 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2369 // Size attribute value.
2370 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2371
2372 // Size the DIE children if any.
2373 if (!Children.empty()) {
2374 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2375 "Children flag not set");
2376
2377 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002378 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling480ff322009-05-20 23:21:38 +00002379
2380 // End of children marker.
2381 Offset += sizeof(int8_t);
2382 }
2383
2384 Die->setSize(Offset - Die->getOffset());
2385 return Offset;
2386}
2387
Devang Patel930143b2009-11-21 02:48:08 +00002388/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling480ff322009-05-20 23:21:38 +00002389///
Devang Patel930143b2009-11-21 02:48:08 +00002390void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling480ff322009-05-20 23:21:38 +00002391 // Compute size of compile unit header.
2392 static unsigned Offset =
2393 sizeof(int32_t) + // Length of Compilation Unit Info
2394 sizeof(int16_t) + // DWARF version number
2395 sizeof(int32_t) + // Offset Into Abbrev. Section
2396 sizeof(int8_t); // Pointer Size (in bytes)
2397
Devang Patel930143b2009-11-21 02:48:08 +00002398 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel40d78412009-06-29 20:45:18 +00002399 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling480ff322009-05-20 23:21:38 +00002400}
2401
Devang Patel930143b2009-11-21 02:48:08 +00002402/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling480ff322009-05-20 23:21:38 +00002403/// tools to recognize the object file contains Dwarf information.
Devang Patel930143b2009-11-21 02:48:08 +00002404void DwarfDebug::emitInitial() {
Bill Wendling480ff322009-05-20 23:21:38 +00002405 // Check to see if we already emitted intial headers.
2406 if (didInitial) return;
2407 didInitial = true;
2408
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002409 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002410
Bill Wendling480ff322009-05-20 23:21:38 +00002411 // Dwarf sections base addresses.
Chris Lattnere9a75a62009-08-22 21:43:10 +00002412 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002413 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002414 Asm->OutStreamer.EmitLabel(getTempLabel("section_debug_frame"));
Bill Wendling480ff322009-05-20 23:21:38 +00002415 }
2416
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002417 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002418 Asm->OutStreamer.EmitLabel(getTempLabel("section_info"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002419 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002420 Asm->OutStreamer.EmitLabel(getTempLabel("section_abbrev"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002421 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002422 Asm->OutStreamer.EmitLabel(getTempLabel("section_aranges"));
Bill Wendling480ff322009-05-20 23:21:38 +00002423
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002424 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2425 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattner722714d2010-03-08 22:44:40 +00002426 Asm->OutStreamer.EmitLabel(getTempLabel("section_macinfo"));
Bill Wendling480ff322009-05-20 23:21:38 +00002427 }
2428
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002429 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002430 Asm->OutStreamer.EmitLabel(getTempLabel("section_line"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002431 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002432 Asm->OutStreamer.EmitLabel(getTempLabel("section_loc"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002433 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002434 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubnames"));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002435 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002436 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubtypes"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002437 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002438 Asm->OutStreamer.EmitLabel(getTempLabel("section_str"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002439 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002440 Asm->OutStreamer.EmitLabel(getTempLabel("section_ranges"));
Bill Wendling480ff322009-05-20 23:21:38 +00002441
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002442 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002443 Asm->OutStreamer.EmitLabel(getTempLabel("text_begin"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002444 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattner722714d2010-03-08 22:44:40 +00002445 Asm->OutStreamer.EmitLabel(getTempLabel("data_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002446}
2447
Devang Patel930143b2009-11-21 02:48:08 +00002448/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling480ff322009-05-20 23:21:38 +00002449///
Devang Patel930143b2009-11-21 02:48:08 +00002450void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling480ff322009-05-20 23:21:38 +00002451 // Get the abbreviation for this DIE.
2452 unsigned AbbrevNumber = Die->getAbbrevNumber();
2453 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2454
Bill Wendling480ff322009-05-20 23:21:38 +00002455 // Emit the code (index) for the abbreviation.
Chris Lattnerfa823552010-01-22 23:18:42 +00002456 if (Asm->VerboseAsm)
2457 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2458 Twine::utohexstr(Die->getOffset()) + ":0x" +
2459 Twine::utohexstr(Die->getSize()) + " " +
2460 dwarf::TagString(Abbrev->getTag()));
2461 EmitULEB128(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002462
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00002463 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling480ff322009-05-20 23:21:38 +00002464 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2465
2466 // Emit the DIE attribute values.
2467 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2468 unsigned Attr = AbbrevData[i].getAttribute();
2469 unsigned Form = AbbrevData[i].getForm();
2470 assert(Form && "Too many attributes for DIE (check abbreviation)");
2471
Chris Lattner5adf9872010-01-24 18:54:17 +00002472 if (Asm->VerboseAsm)
2473 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2474
Bill Wendling480ff322009-05-20 23:21:38 +00002475 switch (Attr) {
2476 case dwarf::DW_AT_sibling:
Devang Patel930143b2009-11-21 02:48:08 +00002477 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002478 break;
2479 case dwarf::DW_AT_abstract_origin: {
2480 DIEEntry *E = cast<DIEEntry>(Values[i]);
2481 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002482 unsigned Addr = Origin->getOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00002483 Asm->EmitInt32(Addr);
2484 break;
2485 }
2486 default:
2487 // Emit an attribute using the defined form.
2488 Values[i]->EmitValue(this, Form);
2489 break;
2490 }
Bill Wendling480ff322009-05-20 23:21:38 +00002491 }
2492
2493 // Emit the DIE children if any.
2494 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2495 const std::vector<DIE *> &Children = Die->getChildren();
2496
2497 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00002498 emitDIE(Children[j]);
Bill Wendling480ff322009-05-20 23:21:38 +00002499
Chris Lattner566cae92010-03-09 23:52:58 +00002500 if (Asm->VerboseAsm)
2501 Asm->OutStreamer.AddComment("End Of Children Mark");
2502 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002503 }
2504}
2505
Devang Patel9ccfb642009-12-09 18:24:21 +00002506/// emitDebugInfo - Emit the debug info section.
Bill Wendling480ff322009-05-20 23:21:38 +00002507///
Devang Patel9ccfb642009-12-09 18:24:21 +00002508void DwarfDebug::emitDebugInfo() {
2509 // Start debug info section.
2510 Asm->OutStreamer.SwitchSection(
2511 Asm->getObjFileLowering().getDwarfInfoSection());
2512 DIE *Die = ModuleCU->getCUDie();
Bill Wendling480ff322009-05-20 23:21:38 +00002513
2514 // Emit the compile units header.
Chris Lattner722714d2010-03-08 22:44:40 +00002515 Asm->OutStreamer.EmitLabel(getDWLabel("info_begin", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002516
2517 // Emit size of content not including length itself
2518 unsigned ContentSize = Die->getSize() +
2519 sizeof(int16_t) + // DWARF version number
2520 sizeof(int32_t) + // Offset Into Abbrev. Section
2521 sizeof(int8_t) + // Pointer Size (in bytes)
2522 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2523
Chris Lattner566cae92010-03-09 23:52:58 +00002524 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2525 Asm->EmitInt32(ContentSize);
2526 Asm->OutStreamer.AddComment("DWARF version number");
2527 Asm->EmitInt16(dwarf::DWARF_VERSION);
2528 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Devang Patel852a04e2010-03-17 17:29:55 +00002529 EmitSectionOffset(getTempLabel("abbrev_begin"),getTempLabel("section_abbrev"),
2530 true);
Chris Lattner566cae92010-03-09 23:52:58 +00002531 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2532 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002533
Devang Patel930143b2009-11-21 02:48:08 +00002534 emitDIE(Die);
Bill Wendling480ff322009-05-20 23:21:38 +00002535 // FIXME - extra padding for gdb bug.
Chris Lattner566cae92010-03-09 23:52:58 +00002536 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2537 Asm->EmitInt8(0);
2538 Asm->EmitInt8(0);
2539 Asm->EmitInt8(0);
2540 Asm->EmitInt8(0);
Chris Lattner722714d2010-03-08 22:44:40 +00002541 Asm->OutStreamer.EmitLabel(getDWLabel("info_end", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002542}
2543
Devang Patel930143b2009-11-21 02:48:08 +00002544/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling480ff322009-05-20 23:21:38 +00002545///
Devang Patel930143b2009-11-21 02:48:08 +00002546void DwarfDebug::emitAbbreviations() const {
Bill Wendling480ff322009-05-20 23:21:38 +00002547 // Check to see if it is worth the effort.
2548 if (!Abbreviations.empty()) {
2549 // Start the debug abbrev section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002550 Asm->OutStreamer.SwitchSection(
2551 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002552
Chris Lattner722714d2010-03-08 22:44:40 +00002553 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002554
2555 // For each abbrevation.
2556 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2557 // Get abbreviation data
2558 const DIEAbbrev *Abbrev = Abbreviations[i];
2559
2560 // Emit the abbrevations code (base 1 index.)
Chris Lattnerfa823552010-01-22 23:18:42 +00002561 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling480ff322009-05-20 23:21:38 +00002562
2563 // Emit the abbreviations data.
Chris Lattnerfa823552010-01-22 23:18:42 +00002564 Abbrev->Emit(this);
Bill Wendling480ff322009-05-20 23:21:38 +00002565 }
2566
2567 // Mark end of abbreviations.
Chris Lattnerfa823552010-01-22 23:18:42 +00002568 EmitULEB128(0, "EOM(3)");
Bill Wendling480ff322009-05-20 23:21:38 +00002569
Chris Lattner722714d2010-03-08 22:44:40 +00002570 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002571 }
2572}
2573
Devang Patel930143b2009-11-21 02:48:08 +00002574/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling480ff322009-05-20 23:21:38 +00002575/// the line matrix.
2576///
Devang Patel930143b2009-11-21 02:48:08 +00002577void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00002578 // Define last address of section.
Chris Lattner566cae92010-03-09 23:52:58 +00002579 Asm->OutStreamer.AddComment("Extended Op");
2580 Asm->EmitInt8(0);
2581
2582 Asm->OutStreamer.AddComment("Op size");
2583 Asm->EmitInt8(TD->getPointerSize() + 1);
2584 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2585 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2586
2587 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002588
2589 Asm->OutStreamer.EmitSymbolValue(getDWLabel("section_end", SectionEnd),
2590 TD->getPointerSize(), 0/*AddrSpace*/);
Bill Wendling480ff322009-05-20 23:21:38 +00002591
2592 // Mark end of matrix.
Chris Lattner566cae92010-03-09 23:52:58 +00002593 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2594 Asm->EmitInt8(0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002595 Asm->EmitInt8(1);
Chris Lattnerfa823552010-01-22 23:18:42 +00002596 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002597}
2598
Devang Patel930143b2009-11-21 02:48:08 +00002599/// emitDebugLines - Emit source line information.
Bill Wendling480ff322009-05-20 23:21:38 +00002600///
Devang Patel930143b2009-11-21 02:48:08 +00002601void DwarfDebug::emitDebugLines() {
Bill Wendling480ff322009-05-20 23:21:38 +00002602 // If the target is using .loc/.file, the assembler will be emitting the
2603 // .debug_line table automatically.
Chris Lattnere9a75a62009-08-22 21:43:10 +00002604 if (MAI->hasDotLocAndDotFile())
Bill Wendling480ff322009-05-20 23:21:38 +00002605 return;
2606
2607 // Minimum line delta, thus ranging from -10..(255-10).
2608 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2609 // Maximum line delta, thus ranging from -10..(255-10).
2610 const int MaxLineDelta = 255 + MinLineDelta;
2611
2612 // Start the dwarf line section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002613 Asm->OutStreamer.SwitchSection(
2614 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002615
2616 // Construct the section header.
Chris Lattner566cae92010-03-09 23:52:58 +00002617 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattner722714d2010-03-08 22:44:40 +00002618 EmitDifference(getTempLabel("line_end"), getTempLabel("line_begin"), true);
Chris Lattner722714d2010-03-08 22:44:40 +00002619 Asm->OutStreamer.EmitLabel(getTempLabel("line_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002620
Chris Lattner566cae92010-03-09 23:52:58 +00002621 Asm->OutStreamer.AddComment("DWARF version number");
2622 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling480ff322009-05-20 23:21:38 +00002623
Chris Lattner566cae92010-03-09 23:52:58 +00002624 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattner722714d2010-03-08 22:44:40 +00002625 EmitDifference(getTempLabel("line_prolog_end"),
2626 getTempLabel("line_prolog_begin"), true);
Chris Lattner722714d2010-03-08 22:44:40 +00002627 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00002628
Chris Lattner566cae92010-03-09 23:52:58 +00002629 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2630 Asm->EmitInt8(1);
2631 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2632 Asm->EmitInt8(1);
2633 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2634 Asm->EmitInt8(MinLineDelta);
2635 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2636 Asm->EmitInt8(MaxLineDelta);
2637 Asm->OutStreamer.AddComment("Special Opcode Base");
2638 Asm->EmitInt8(-MinLineDelta);
Bill Wendling480ff322009-05-20 23:21:38 +00002639
2640 // Line number standard opcode encodings argument count
Chris Lattner566cae92010-03-09 23:52:58 +00002641 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2642 Asm->EmitInt8(0);
2643 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2644 Asm->EmitInt8(1);
2645 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2646 Asm->EmitInt8(1);
2647 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2648 Asm->EmitInt8(1);
2649 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2650 Asm->EmitInt8(1);
2651 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2652 Asm->EmitInt8(0);
2653 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2654 Asm->EmitInt8(0);
2655 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2656 Asm->EmitInt8(0);
2657 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2658 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002659
2660 // Emit directories.
2661 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002662 const std::string &Dir = getSourceDirectoryName(DI);
2663 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2664 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002665 }
2666
Chris Lattner566cae92010-03-09 23:52:58 +00002667 Asm->OutStreamer.AddComment("End of directories");
2668 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002669
2670 // Emit files.
2671 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2672 // Remember source id starts at 1.
2673 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002674 const std::string &FN = getSourceFileName(Id.second);
2675 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2676 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2677
Chris Lattnerfa823552010-01-22 23:18:42 +00002678 EmitULEB128(Id.first, "Directory #");
2679 EmitULEB128(0, "Mod date");
2680 EmitULEB128(0, "File size");
Bill Wendling480ff322009-05-20 23:21:38 +00002681 }
2682
Chris Lattner566cae92010-03-09 23:52:58 +00002683 Asm->OutStreamer.AddComment("End of files");
2684 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002685
Chris Lattner722714d2010-03-08 22:44:40 +00002686 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002687
2688 // A sequence for each text section.
2689 unsigned SecSrcLinesSize = SectionSourceLines.size();
2690
2691 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2692 // Isolate current sections line info.
2693 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2694
Bill Wendling480ff322009-05-20 23:21:38 +00002695 // Dwarf assumes we start with first line of first source file.
2696 unsigned Source = 1;
2697 unsigned Line = 1;
2698
2699 // Construct rows of the address, source, line, column matrix.
2700 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2701 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattnerb4666f42010-03-14 08:15:55 +00002702 MCSymbol *Label = LineInfo.getLabel();
Chris Lattneree95d4c2010-03-14 02:20:58 +00002703 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling480ff322009-05-20 23:21:38 +00002704
Caroline Tice183a5192009-09-11 18:25:54 +00002705 if (LineInfo.getLine() == 0) continue;
2706
Chris Lattner3d72a672010-03-09 23:38:23 +00002707 if (Asm->isVerbose()) {
Chris Lattner7e998b72010-03-10 01:04:13 +00002708 std::pair<unsigned, unsigned> SrcID =
Bill Wendling480ff322009-05-20 23:21:38 +00002709 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner7e998b72010-03-10 01:04:13 +00002710 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattnera26fbe42010-03-10 02:29:31 +00002711 "/" +
2712 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner7e998b72010-03-10 01:04:13 +00002713 ":" + Twine(LineInfo.getLine()));
Bill Wendling480ff322009-05-20 23:21:38 +00002714 }
2715
2716 // Define the line address.
Chris Lattner566cae92010-03-09 23:52:58 +00002717 Asm->OutStreamer.AddComment("Extended Op");
2718 Asm->EmitInt8(0);
2719 Asm->OutStreamer.AddComment("Op size");
2720 Asm->EmitInt8(TD->getPointerSize() + 1);
2721
2722 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2723 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2724
2725 Asm->OutStreamer.AddComment("Location label");
Chris Lattneree95d4c2010-03-14 02:20:58 +00002726 Asm->OutStreamer.EmitSymbolValue(Label, TD->getPointerSize(),
2727 0/*AddrSpace*/);
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002728
Bill Wendling480ff322009-05-20 23:21:38 +00002729 // If change of source, then switch to the new source.
2730 if (Source != LineInfo.getSourceID()) {
2731 Source = LineInfo.getSourceID();
Chris Lattner566cae92010-03-09 23:52:58 +00002732 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2733 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattnerfa823552010-01-22 23:18:42 +00002734 EmitULEB128(Source, "New Source");
Bill Wendling480ff322009-05-20 23:21:38 +00002735 }
2736
2737 // If change of line.
2738 if (Line != LineInfo.getLine()) {
2739 // Determine offset.
2740 int Offset = LineInfo.getLine() - Line;
2741 int Delta = Offset - MinLineDelta;
2742
2743 // Update line.
2744 Line = LineInfo.getLine();
2745
2746 // If delta is small enough and in range...
2747 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2748 // ... then use fast opcode.
Chris Lattner566cae92010-03-09 23:52:58 +00002749 Asm->OutStreamer.AddComment("Line Delta");
2750 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling480ff322009-05-20 23:21:38 +00002751 } else {
2752 // ... otherwise use long hand.
Chris Lattner566cae92010-03-09 23:52:58 +00002753 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling480ff322009-05-20 23:21:38 +00002754 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner23031452010-01-22 22:56:55 +00002755 EmitSLEB128(Offset, "Line Offset");
Chris Lattner566cae92010-03-09 23:52:58 +00002756 Asm->OutStreamer.AddComment("DW_LNS_copy");
2757 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling480ff322009-05-20 23:21:38 +00002758 }
2759 } else {
2760 // Copy the previous row (different address or source)
Chris Lattner566cae92010-03-09 23:52:58 +00002761 Asm->OutStreamer.AddComment("DW_LNS_copy");
2762 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling480ff322009-05-20 23:21:38 +00002763 }
2764 }
2765
Devang Patel930143b2009-11-21 02:48:08 +00002766 emitEndOfLineMatrix(j + 1);
Bill Wendling480ff322009-05-20 23:21:38 +00002767 }
2768
2769 if (SecSrcLinesSize == 0)
2770 // Because we're emitting a debug_line section, we still need a line
2771 // table. The linker and friends expect it to exist. If there's nothing to
2772 // put into it, emit an empty table.
Devang Patel930143b2009-11-21 02:48:08 +00002773 emitEndOfLineMatrix(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002774
Chris Lattner722714d2010-03-08 22:44:40 +00002775 Asm->OutStreamer.EmitLabel(getTempLabel("line_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002776}
2777
Devang Patel930143b2009-11-21 02:48:08 +00002778/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling480ff322009-05-20 23:21:38 +00002779///
Devang Patel930143b2009-11-21 02:48:08 +00002780void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnere9a75a62009-08-22 21:43:10 +00002781 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002782 return;
2783
2784 int stackGrowth =
2785 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2786 TargetFrameInfo::StackGrowsUp ?
2787 TD->getPointerSize() : -TD->getPointerSize();
2788
2789 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002790 Asm->OutStreamer.SwitchSection(
2791 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002792
Chris Lattner722714d2010-03-08 22:44:40 +00002793 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common"));
Chris Lattner566cae92010-03-09 23:52:58 +00002794 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002795 EmitDifference(getTempLabel("debug_frame_common_end"),
2796 getTempLabel("debug_frame_common_begin"), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002797
Chris Lattner722714d2010-03-08 22:44:40 +00002798 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_begin"));
Chris Lattner566cae92010-03-09 23:52:58 +00002799 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling480ff322009-05-20 23:21:38 +00002800 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner566cae92010-03-09 23:52:58 +00002801 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling480ff322009-05-20 23:21:38 +00002802 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner566cae92010-03-09 23:52:58 +00002803 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002804 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattnerfa823552010-01-22 23:18:42 +00002805 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattner23031452010-01-22 22:56:55 +00002806 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner566cae92010-03-09 23:52:58 +00002807 Asm->OutStreamer.AddComment("CIE RA Column");
Bill Wendling480ff322009-05-20 23:21:38 +00002808 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling480ff322009-05-20 23:21:38 +00002809
2810 std::vector<MachineMove> Moves;
2811 RI->getInitialFrameState(Moves);
2812
Chris Lattner41e275d2010-03-13 08:05:25 +00002813 EmitFrameMoves(0, Moves, false);
Bill Wendling480ff322009-05-20 23:21:38 +00002814
2815 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner722714d2010-03-08 22:44:40 +00002816 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00002817}
2818
Devang Patel930143b2009-11-21 02:48:08 +00002819/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling480ff322009-05-20 23:21:38 +00002820/// section.
Chris Lattner2c3f4782010-03-13 07:26:18 +00002821void DwarfDebug::
2822emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattnere9a75a62009-08-22 21:43:10 +00002823 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002824 return;
2825
2826 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002827 Asm->OutStreamer.SwitchSection(
2828 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002829
Chris Lattner566cae92010-03-09 23:52:58 +00002830 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner2c3f4782010-03-13 07:26:18 +00002831 MCSymbol *DebugFrameBegin =
2832 getDWLabel("debug_frame_begin", DebugFrameInfo.Number);
2833 MCSymbol *DebugFrameEnd =
2834 getDWLabel("debug_frame_end", DebugFrameInfo.Number);
2835 EmitDifference(DebugFrameEnd, DebugFrameBegin, true);
Bill Wendling480ff322009-05-20 23:21:38 +00002836
Chris Lattner2c3f4782010-03-13 07:26:18 +00002837 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling480ff322009-05-20 23:21:38 +00002838
Chris Lattner566cae92010-03-09 23:52:58 +00002839 Asm->OutStreamer.AddComment("FDE CIE offset");
Devang Patel852a04e2010-03-17 17:29:55 +00002840 EmitSectionOffset(getTempLabel("debug_frame_common"),
2841 getTempLabel("section_debug_frame"), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002842
Chris Lattner566cae92010-03-09 23:52:58 +00002843 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattner8811e122010-03-13 07:40:56 +00002844 MCSymbol *FuncBeginSym = getDWLabel("func_begin", DebugFrameInfo.Number);
2845 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002846 TD->getPointerSize(), 0/*AddrSpace*/);
2847
2848
Chris Lattner566cae92010-03-09 23:52:58 +00002849 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattner8811e122010-03-13 07:40:56 +00002850 EmitDifference(getDWLabel("func_end", DebugFrameInfo.Number), FuncBeginSym);
Bill Wendling480ff322009-05-20 23:21:38 +00002851
Chris Lattner41e275d2010-03-13 08:05:25 +00002852 EmitFrameMoves(FuncBeginSym, DebugFrameInfo.Moves, false);
Bill Wendling480ff322009-05-20 23:21:38 +00002853
2854 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner2c3f4782010-03-13 07:26:18 +00002855 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling480ff322009-05-20 23:21:38 +00002856}
2857
Devang Patel9ccfb642009-12-09 18:24:21 +00002858/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2859///
2860void DwarfDebug::emitDebugPubNames() {
2861 // Start the dwarf pubnames section.
2862 Asm->OutStreamer.SwitchSection(
2863 Asm->getObjFileLowering().getDwarfPubNamesSection());
2864
Chris Lattner566cae92010-03-09 23:52:58 +00002865 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002866 EmitDifference(getDWLabel("pubnames_end", ModuleCU->getID()),
2867 getDWLabel("pubnames_begin", ModuleCU->getID()), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002868
Chris Lattner722714d2010-03-08 22:44:40 +00002869 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_begin", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002870
Chris Lattner566cae92010-03-09 23:52:58 +00002871 Asm->OutStreamer.AddComment("DWARF Version");
2872 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling480ff322009-05-20 23:21:38 +00002873
Chris Lattner566cae92010-03-09 23:52:58 +00002874 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerbc9210c2010-03-08 22:23:36 +00002875 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel852a04e2010-03-17 17:29:55 +00002876 getTempLabel("section_info"), true);
Bill Wendling480ff322009-05-20 23:21:38 +00002877
Chris Lattner566cae92010-03-09 23:52:58 +00002878 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002879 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2880 getDWLabel("info_begin", ModuleCU->getID()),
Bill Wendling480ff322009-05-20 23:21:38 +00002881 true);
Bill Wendling480ff322009-05-20 23:21:38 +00002882
Devang Patel9ccfb642009-12-09 18:24:21 +00002883 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling480ff322009-05-20 23:21:38 +00002884 for (StringMap<DIE*>::const_iterator
2885 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2886 const char *Name = GI->getKeyData();
Chris Lattner566cae92010-03-09 23:52:58 +00002887 DIE *Entity = GI->second;
Bill Wendling480ff322009-05-20 23:21:38 +00002888
Chris Lattner566cae92010-03-09 23:52:58 +00002889 Asm->OutStreamer.AddComment("DIE offset");
2890 Asm->EmitInt32(Entity->getOffset());
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002891
2892 if (Asm->VerboseAsm)
2893 Asm->OutStreamer.AddComment("External Name");
2894 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00002895 }
2896
Chris Lattner566cae92010-03-09 23:52:58 +00002897 Asm->OutStreamer.AddComment("End Mark");
2898 Asm->EmitInt32(0);
Chris Lattner722714d2010-03-08 22:44:40 +00002899 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_end", ModuleCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00002900}
2901
Devang Patel04d2f2d2009-11-24 01:14:22 +00002902void DwarfDebug::emitDebugPubTypes() {
Devang Patelc8654eb2009-11-24 19:18:41 +00002903 // Start the dwarf pubnames section.
2904 Asm->OutStreamer.SwitchSection(
2905 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner566cae92010-03-09 23:52:58 +00002906 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002907 EmitDifference(getDWLabel("pubtypes_end", ModuleCU->getID()),
2908 getDWLabel("pubtypes_begin", ModuleCU->getID()), true);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002909
Chris Lattner722714d2010-03-08 22:44:40 +00002910 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_begin", ModuleCU->getID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002911
Devang Patel057c6422010-02-02 03:47:27 +00002912 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2913 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002914
Chris Lattner566cae92010-03-09 23:52:58 +00002915 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerbc9210c2010-03-08 22:23:36 +00002916 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel852a04e2010-03-17 17:29:55 +00002917 getTempLabel("section_info"), true);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002918
Chris Lattner566cae92010-03-09 23:52:58 +00002919 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattner449a9ff2010-03-08 23:02:59 +00002920 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2921 getDWLabel("info_begin", ModuleCU->getID()),
Devang Patel04d2f2d2009-11-24 01:14:22 +00002922 true);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002923
2924 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2925 for (StringMap<DIE*>::const_iterator
2926 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2927 const char *Name = GI->getKeyData();
2928 DIE * Entity = GI->second;
2929
Devang Patel057c6422010-02-02 03:47:27 +00002930 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2931 Asm->EmitInt32(Entity->getOffset());
Chris Lattnerc3f23b82010-01-23 03:11:46 +00002932
2933 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel6d404ad2010-02-02 03:37:03 +00002934 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002935 }
2936
Chris Lattner566cae92010-03-09 23:52:58 +00002937 Asm->OutStreamer.AddComment("End Mark");
2938 Asm->EmitInt32(0);
Chris Lattner722714d2010-03-08 22:44:40 +00002939 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_end", ModuleCU->getID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002940}
2941
Devang Patel930143b2009-11-21 02:48:08 +00002942/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling480ff322009-05-20 23:21:38 +00002943///
Devang Patel930143b2009-11-21 02:48:08 +00002944void DwarfDebug::emitDebugStr() {
Bill Wendling480ff322009-05-20 23:21:38 +00002945 // Check to see if it is worth the effort.
Chris Lattner3d72a672010-03-09 23:38:23 +00002946 if (StringPool.empty()) return;
2947
2948 // Start the dwarf str section.
2949 Asm->OutStreamer.SwitchSection(
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002950 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002951
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002952 // Get all of the string pool entries and put them in an array by their ID so
2953 // we can sort them.
2954 SmallVector<std::pair<unsigned,
2955 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
2956
2957 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
2958 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
2959 Entries.push_back(std::make_pair(I->second.second, &*I));
2960
2961 array_pod_sort(Entries.begin(), Entries.end());
2962
2963 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner3d72a672010-03-09 23:38:23 +00002964 // Emit a label for reference from debug information entries.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002965 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner3d72a672010-03-09 23:38:23 +00002966
2967 // Emit the string itself.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002968 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling480ff322009-05-20 23:21:38 +00002969 }
2970}
2971
Devang Patel930143b2009-11-21 02:48:08 +00002972/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling480ff322009-05-20 23:21:38 +00002973///
Devang Patel930143b2009-11-21 02:48:08 +00002974void DwarfDebug::emitDebugLoc() {
Bill Wendling480ff322009-05-20 23:21:38 +00002975 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002976 Asm->OutStreamer.SwitchSection(
2977 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002978}
2979
2980/// EmitDebugARanges - Emit visible names into a debug aranges section.
2981///
2982void DwarfDebug::EmitDebugARanges() {
2983 // Start the dwarf aranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002984 Asm->OutStreamer.SwitchSection(
2985 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002986}
2987
Devang Patel930143b2009-11-21 02:48:08 +00002988/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling480ff322009-05-20 23:21:38 +00002989///
Devang Patel930143b2009-11-21 02:48:08 +00002990void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002991 // Start the dwarf ranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002992 Asm->OutStreamer.SwitchSection(
2993 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002994}
2995
Devang Patel930143b2009-11-21 02:48:08 +00002996/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling480ff322009-05-20 23:21:38 +00002997///
Devang Patel930143b2009-11-21 02:48:08 +00002998void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002999 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00003000 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00003001 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003002 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00003003 }
3004}
3005
Devang Patel930143b2009-11-21 02:48:08 +00003006/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling480ff322009-05-20 23:21:38 +00003007/// Section Header:
3008/// 1. length of section
3009/// 2. Dwarf version number
3010/// 3. address size.
3011///
3012/// Entries (one "entry" for each function that was inlined):
3013///
3014/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3015/// otherwise offset into __debug_str for regular function name.
3016/// 2. offset into __debug_str section for regular function name.
3017/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3018/// instances for the function.
3019///
3020/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3021/// inlined instance; the die_offset points to the inlined_subroutine die in the
3022/// __debug_info section, and the low_pc is the starting address for the
3023/// inlining instance.
Devang Patel930143b2009-11-21 02:48:08 +00003024void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnere9a75a62009-08-22 21:43:10 +00003025 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling480ff322009-05-20 23:21:38 +00003026 return;
3027
Devang Patel40d78412009-06-29 20:45:18 +00003028 if (!ModuleCU)
Bill Wendling480ff322009-05-20 23:21:38 +00003029 return;
3030
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003031 Asm->OutStreamer.SwitchSection(
3032 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00003033
Chris Lattner566cae92010-03-09 23:52:58 +00003034 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattner449a9ff2010-03-08 23:02:59 +00003035 EmitDifference(getDWLabel("debug_inlined_end", 1),
3036 getDWLabel("debug_inlined_begin", 1), true);
Bill Wendling480ff322009-05-20 23:21:38 +00003037
Chris Lattner722714d2010-03-08 22:44:40 +00003038 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_begin", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00003039
Chris Lattner566cae92010-03-09 23:52:58 +00003040 Asm->OutStreamer.AddComment("Dwarf Version");
3041 Asm->EmitInt16(dwarf::DWARF_VERSION);
3042 Asm->OutStreamer.AddComment("Address Size (in bytes)");
3043 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00003044
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003045 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3046 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach042483e2009-11-21 23:12:12 +00003047
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003048 MDNode *Node = *I;
Devang Patel018b29b2010-01-19 06:19:05 +00003049 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach00e9c612009-11-22 19:20:36 +00003050 = InlineInfo.find(Node);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003051 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel80ae3492009-08-28 23:24:31 +00003052 DISubprogram SP(Node);
Devang Patel2d9caf92009-11-25 17:36:49 +00003053 StringRef LName = SP.getLinkageName();
3054 StringRef Name = SP.getName();
Bill Wendling480ff322009-05-20 23:21:38 +00003055
Chris Lattner566cae92010-03-09 23:52:58 +00003056 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00003057 if (LName.empty()) {
3058 Asm->OutStreamer.EmitBytes(Name, 0);
3059 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3060 } else
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003061 EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattnerbc9210c2010-03-08 22:23:36 +00003062 getTempLabel("section_str"), true);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003063
Chris Lattner566cae92010-03-09 23:52:58 +00003064 Asm->OutStreamer.AddComment("Function name");
Devang Patel852a04e2010-03-17 17:29:55 +00003065 EmitSectionOffset(getStringPoolEntry(Name), getTempLabel("section_str"),
3066 true);
Chris Lattnerfa823552010-01-22 23:18:42 +00003067 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling480ff322009-05-20 23:21:38 +00003068
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003069 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling480ff322009-05-20 23:21:38 +00003070 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner085b6522010-03-09 00:31:02 +00003071 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
3072 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00003073
Chris Lattner53d6d1e2010-03-09 00:26:09 +00003074 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("low_pc");
Chris Lattnerb14490d2010-03-09 00:39:24 +00003075 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling480ff322009-05-20 23:21:38 +00003076 }
3077 }
3078
Chris Lattner722714d2010-03-08 22:44:40 +00003079 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_end", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00003080}