blob: 28c41f8a26671dacb24a4f1b83caa14a8a6ef80d [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"
Chris Lattner3f3fb972010-04-05 05:24:55 +000016#include "DIE.h"
Bill Wendling30346342010-04-05 22:59:21 +000017#include "llvm/Constants.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000018#include "llvm/Module.h"
Devang Patel2d9e5322011-01-20 00:02:16 +000019#include "llvm/Instructions.h"
David Greene829b3e82009-08-19 21:52:55 +000020#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000021#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000022#include "llvm/MC/MCAsmInfo.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000023#include "llvm/MC/MCSection.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000024#include "llvm/MC/MCStreamer.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000025#include "llvm/MC/MCSymbol.h"
Chris Lattnerf62e3ee2010-01-16 21:57:06 +000026#include "llvm/Target/Mangler.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000027#include "llvm/Target/TargetData.h"
Anton Korobeynikov2f931282011-01-10 12:39:04 +000028#include "llvm/Target/TargetFrameLowering.h"
Chris Lattner5e693ed2009-07-28 03:13:23 +000029#include "llvm/Target/TargetLoweringObjectFile.h"
Chris Lattner21dc46e2010-04-04 18:06:11 +000030#include "llvm/Target/TargetMachine.h"
Chris Lattner5e693ed2009-07-28 03:13:23 +000031#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel61880932010-04-19 19:14:02 +000032#include "llvm/Target/TargetOptions.h"
Chris Lattner3f3fb972010-04-05 05:24:55 +000033#include "llvm/Analysis/DebugInfo.h"
Devang Patela86114b2010-10-25 20:45:32 +000034#include "llvm/ADT/Statistic.h"
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +000035#include "llvm/ADT/STLExtras.h"
Chris Lattner06fa1762009-08-24 03:52:50 +000036#include "llvm/ADT/StringExtras.h"
Devang Patel6c74a872010-04-27 19:46:33 +000037#include "llvm/Support/CommandLine.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000038#include "llvm/Support/Debug.h"
39#include "llvm/Support/ErrorHandling.h"
Devang Patel1973df22010-01-26 21:39:14 +000040#include "llvm/Support/ValueHandle.h"
Chris Lattnerf5c834f2010-01-22 22:09:00 +000041#include "llvm/Support/FormattedStream.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000042#include "llvm/Support/Timer.h"
Michael J. Spencer447762d2010-11-29 18:16:10 +000043#include "llvm/Support/Path.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000044using namespace llvm;
45
Devang Patel6c74a872010-04-27 19:46:33 +000046static cl::opt<bool> PrintDbgScope("print-dbgscope", cl::Hidden,
47 cl::desc("Print DbgScope information for each machine instruction"));
48
Jim Grosbacha8683bb2010-07-21 21:21:52 +000049static cl::opt<bool> DisableDebugInfoPrinting("disable-debug-info-print",
Devang Patel30265c42010-07-07 20:12:52 +000050 cl::Hidden,
Devang Patel6c74a872010-04-27 19:46:33 +000051 cl::desc("Disable debug info printing"));
52
Dan Gohman7421ae42010-05-07 01:08:53 +000053static cl::opt<bool> UnknownLocations("use-unknown-locations", cl::Hidden,
54 cl::desc("Make an absense of debug location information explicit."),
55 cl::init(false));
56
Nick Lewycky90b2ac22010-10-26 00:51:57 +000057#ifndef NDEBUG
Devang Patela86114b2010-10-25 20:45:32 +000058STATISTIC(BlocksWithoutLineNo, "Number of blocks without any line number");
Nick Lewycky90b2ac22010-10-26 00:51:57 +000059#endif
Devang Patela86114b2010-10-25 20:45:32 +000060
Bill Wendlingfcc14142010-04-07 09:28:04 +000061namespace {
62 const char *DWARFGroupName = "DWARF Emission";
63 const char *DbgTimerName = "DWARF Debug Writer";
64} // end anonymous namespace
65
Bill Wendling2f921f82009-05-15 09:23:25 +000066//===----------------------------------------------------------------------===//
67
68/// Configuration values for initial hash set sizes (log2).
69///
Bill Wendling2f921f82009-05-15 09:23:25 +000070static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-05-15 09:23:25 +000071
72namespace llvm {
73
74//===----------------------------------------------------------------------===//
75/// CompileUnit - This dwarf writer support class manages information associate
76/// with a source file.
Nick Lewyckyb7993d62009-11-17 08:11:44 +000077class CompileUnit {
Bill Wendling2f921f82009-05-15 09:23:25 +000078 /// ID - File identifier for source.
79 ///
80 unsigned ID;
81
82 /// Die - Compile unit debug information entry.
83 ///
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +000084 const OwningPtr<DIE> CUDie;
Bill Wendling2f921f82009-05-15 09:23:25 +000085
Jeffrey Yasskin0708de12010-03-11 18:29:55 +000086 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel92e8c652009-11-21 00:31:03 +000087 DIE *IndexTyDie;
88
Devang Patel9a0339f2010-07-07 20:49:57 +000089 /// MDNodeToDieMap - Tracks the mapping of unit level debug informaton
Bill Wendling2f921f82009-05-15 09:23:25 +000090 /// variables to debug information entries.
Devang Patel9a0339f2010-07-07 20:49:57 +000091 DenseMap<const MDNode *, DIE *> MDNodeToDieMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000092
Devang Patel9a0339f2010-07-07 20:49:57 +000093 /// MDNodeToDIEEntryMap - Tracks the mapping of unit level debug informaton
Bill Wendling2f921f82009-05-15 09:23:25 +000094 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel9a0339f2010-07-07 20:49:57 +000095 DenseMap<const MDNode *, DIEEntry *> MDNodeToDIEEntryMap;
Bill Wendling2f921f82009-05-15 09:23:25 +000096
97 /// Globals - A map of globally visible named entities for this unit.
98 ///
99 StringMap<DIE*> Globals;
100
Devang Patel04d2f2d2009-11-24 01:14:22 +0000101 /// GlobalTypes - A map of globally visible types for this unit.
102 ///
103 StringMap<DIE*> GlobalTypes;
104
Bill Wendling2f921f82009-05-15 09:23:25 +0000105public:
106 CompileUnit(unsigned I, DIE *D)
Devang Patel930143b2009-11-21 02:48:08 +0000107 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000108
109 // Accessors.
Devang Patel04d2f2d2009-11-24 01:14:22 +0000110 unsigned getID() const { return ID; }
Jeffrey Yasskin0708de12010-03-11 18:29:55 +0000111 DIE* getCUDie() const { return CUDie.get(); }
Devang Patel04d2f2d2009-11-24 01:14:22 +0000112 const StringMap<DIE*> &getGlobals() const { return Globals; }
113 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000114
115 /// hasContent - Return true if this compile unit has something to write out.
116 ///
Devang Patel930143b2009-11-21 02:48:08 +0000117 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000118
Devang Patel930143b2009-11-21 02:48:08 +0000119 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +0000120 ///
Benjamin Kramer96956ed2010-03-31 20:15:45 +0000121 void addGlobal(StringRef Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000122
Devang Patel04d2f2d2009-11-24 01:14:22 +0000123 /// addGlobalType - Add a new global type to the compile unit.
124 ///
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000125 void addGlobalType(StringRef Name, DIE *Die) {
126 GlobalTypes[Name] = Die;
Devang Patel04d2f2d2009-11-24 01:14:22 +0000127 }
128
Devang Patele064ad42009-11-20 21:37:22 +0000129 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling2f921f82009-05-15 09:23:25 +0000130 /// specified debug variable.
Devang Patel9a0339f2010-07-07 20:49:57 +0000131 DIE *getDIE(const MDNode *N) { return MDNodeToDieMap.lookup(N); }
Jim Grosbach042483e2009-11-21 23:12:12 +0000132
Devang Patele064ad42009-11-20 21:37:22 +0000133 /// insertDIE - Insert DIE into the map.
Devang Patel32cc43c2010-05-07 20:54:48 +0000134 void insertDIE(const MDNode *N, DIE *D) {
Devang Patel9a0339f2010-07-07 20:49:57 +0000135 MDNodeToDieMap.insert(std::make_pair(N, D));
Devang Patele064ad42009-11-20 21:37:22 +0000136 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000137
Devang Patele064ad42009-11-20 21:37:22 +0000138 /// getDIEEntry - Returns the debug information entry for the speciefied
139 /// debug variable.
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000140 DIEEntry *getDIEEntry(const MDNode *N) {
141 DenseMap<const MDNode *, DIEEntry *>::iterator I =
142 MDNodeToDIEEntryMap.find(N);
Devang Patel9a0339f2010-07-07 20:49:57 +0000143 if (I == MDNodeToDIEEntryMap.end())
Devang Patel1f4690c2009-12-15 19:16:48 +0000144 return NULL;
145 return I->second;
146 }
Devang Patele064ad42009-11-20 21:37:22 +0000147
148 /// insertDIEEntry - Insert debug information entry into the map.
Devang Patel32cc43c2010-05-07 20:54:48 +0000149 void insertDIEEntry(const MDNode *N, DIEEntry *E) {
Devang Patel9a0339f2010-07-07 20:49:57 +0000150 MDNodeToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling2f921f82009-05-15 09:23:25 +0000151 }
152
Devang Patel930143b2009-11-21 02:48:08 +0000153 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling2f921f82009-05-15 09:23:25 +0000154 ///
Devang Patel930143b2009-11-21 02:48:08 +0000155 void addDie(DIE *Buffer) {
156 this->CUDie->addChild(Buffer);
Bill Wendling2f921f82009-05-15 09:23:25 +0000157 }
Devang Patel92e8c652009-11-21 00:31:03 +0000158
159 // getIndexTyDie - Get an anonymous type for index type.
160 DIE *getIndexTyDie() {
161 return IndexTyDie;
162 }
163
Jim Grosbach00e9c612009-11-22 19:20:36 +0000164 // setIndexTyDie - Set D as anonymous type for index which can be reused
165 // later.
Devang Patel92e8c652009-11-21 00:31:03 +0000166 void setIndexTyDie(DIE *D) {
167 IndexTyDie = D;
168 }
169
Bill Wendling2f921f82009-05-15 09:23:25 +0000170};
171
172//===----------------------------------------------------------------------===//
173/// DbgVariable - This class is used to track local variable information.
174///
Devang Patelf3d7c082009-11-16 21:53:40 +0000175class DbgVariable {
Bill Wendling2f921f82009-05-15 09:23:25 +0000176 DIVariable Var; // Variable Descriptor.
Devang Patel9fc11702010-05-25 23:40:22 +0000177 DIE *TheDIE; // Variable DIE.
178 unsigned DotDebugLocOffset; // Offset in DotDebugLocEntries.
Bill Wendling2f921f82009-05-15 09:23:25 +0000179public:
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000180 // AbsVar may be NULL.
Devang Patel9fc11702010-05-25 23:40:22 +0000181 DbgVariable(DIVariable V) : Var(V), TheDIE(0), DotDebugLocOffset(~0U) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000182
183 // Accessors.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000184 DIVariable getVariable() const { return Var; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000185 void setDIE(DIE *D) { TheDIE = D; }
186 DIE *getDIE() const { return TheDIE; }
Devang Patel9fc11702010-05-25 23:40:22 +0000187 void setDotDebugLocOffset(unsigned O) { DotDebugLocOffset = O; }
188 unsigned getDotDebugLocOffset() const { return DotDebugLocOffset; }
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000189 StringRef getName() const { return Var.getName(); }
190 unsigned getTag() const { return Var.getTag(); }
191 bool variableHasComplexAddress() const {
192 assert(Var.Verify() && "Invalid complex DbgVariable!");
193 return Var.hasComplexAddress();
194 }
195 bool isBlockByrefVariable() const {
196 assert(Var.Verify() && "Invalid complex DbgVariable!");
197 return Var.isBlockByrefVariable();
198 }
199 unsigned getNumAddrElements() const {
200 assert(Var.Verify() && "Invalid complex DbgVariable!");
201 return Var.getNumAddrElements();
202 }
203 uint64_t getAddrElement(unsigned i) const {
204 return Var.getAddrElement(i);
205 }
206 DIType getType() const {
207 DIType Ty = Var.getType();
208 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
209 // addresses instead.
210 if (Var.isBlockByrefVariable()) {
211 /* Byref variables, in Blocks, are declared by the programmer as
212 "SomeType VarName;", but the compiler creates a
213 __Block_byref_x_VarName struct, and gives the variable VarName
214 either the struct, or a pointer to the struct, as its type. This
215 is necessary for various behind-the-scenes things the compiler
216 needs to do with by-reference variables in blocks.
217
218 However, as far as the original *programmer* is concerned, the
219 variable should still have type 'SomeType', as originally declared.
220
221 The following function dives into the __Block_byref_x_VarName
222 struct to find the original type of the variable. This will be
223 passed back to the code generating the type for the Debug
224 Information Entry for the variable 'VarName'. 'VarName' will then
225 have the original type 'SomeType' in its debug information.
226
227 The original type 'SomeType' will be the type of the field named
228 'VarName' inside the __Block_byref_x_VarName struct.
229
230 NOTE: In order for this to not completely fail on the debugger
231 side, the Debug Information Entry for the variable VarName needs to
232 have a DW_AT_location that tells the debugger how to unwind through
233 the pointers and __Block_byref_x_VarName struct to find the actual
234 value of the variable. The function addBlockByrefType does this. */
235 DIType subType = Ty;
236 unsigned tag = Ty.getTag();
237
238 if (tag == dwarf::DW_TAG_pointer_type) {
239 DIDerivedType DTy = DIDerivedType(Ty);
240 subType = DTy.getTypeDerivedFrom();
241 }
242
243 DICompositeType blockStruct = DICompositeType(subType);
244 DIArray Elements = blockStruct.getTypeArray();
245
246 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
247 DIDescriptor Element = Elements.getElement(i);
248 DIDerivedType DT = DIDerivedType(Element);
249 if (getName() == DT.getName())
250 return (DT.getTypeDerivedFrom());
251 }
252 return Ty;
253 }
254 return Ty;
255 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000256};
257
258//===----------------------------------------------------------------------===//
Devang Patel6c74a872010-04-27 19:46:33 +0000259/// DbgRange - This is used to track range of instructions with identical
260/// debug info scope.
261///
262typedef std::pair<const MachineInstr *, const MachineInstr *> DbgRange;
263
264//===----------------------------------------------------------------------===//
Bill Wendling2f921f82009-05-15 09:23:25 +0000265/// DbgScope - This class is used to track scope information.
266///
Devang Patelf3d7c082009-11-16 21:53:40 +0000267class DbgScope {
Bill Wendling2f921f82009-05-15 09:23:25 +0000268 DbgScope *Parent; // Parent to this scope.
Jim Grosbach042483e2009-11-21 23:12:12 +0000269 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel1973df22010-01-26 21:39:14 +0000270 // Location at which this scope is inlined.
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000271 AssertingVH<const MDNode> InlinedAtLocation;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000272 bool AbstractScope; // Abstract Scope
Devang Patel787f94c2009-10-01 18:25:23 +0000273 const MachineInstr *LastInsn; // Last instruction of this scope.
274 const MachineInstr *FirstInsn; // First instruction of this scope.
Devang Patel6c74a872010-04-27 19:46:33 +0000275 unsigned DFSIn, DFSOut;
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000276 // Scopes defined in scope. Contents not owned.
277 SmallVector<DbgScope *, 4> Scopes;
278 // Variables declared in scope. Contents owned.
279 SmallVector<DbgVariable *, 8> Variables;
Devang Patel6c74a872010-04-27 19:46:33 +0000280 SmallVector<DbgRange, 4> Ranges;
Owen Anderson9becc182009-06-24 22:53:20 +0000281 // Private state for dump()
282 mutable unsigned IndentLevel;
Bill Wendling2f921f82009-05-15 09:23:25 +0000283public:
Devang Patel32cc43c2010-05-07 20:54:48 +0000284 DbgScope(DbgScope *P, DIDescriptor D, const MDNode *I = 0)
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000285 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Devang Patel6c74a872010-04-27 19:46:33 +0000286 LastInsn(0), FirstInsn(0),
287 DFSIn(0), DFSOut(0), IndentLevel(0) {}
Bill Wendling2f921f82009-05-15 09:23:25 +0000288 virtual ~DbgScope();
289
290 // Accessors.
291 DbgScope *getParent() const { return Parent; }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000292 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling2f921f82009-05-15 09:23:25 +0000293 DIDescriptor getDesc() const { return Desc; }
Devang Patel32cc43c2010-05-07 20:54:48 +0000294 const MDNode *getInlinedAt() const { return InlinedAtLocation; }
295 const MDNode *getScopeNode() const { return Desc; }
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000296 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
Devang Patel406798a2010-08-09 18:51:29 +0000297 const SmallVector<DbgVariable *, 8> &getDbgVariables() { return Variables; }
Devang Patel6c74a872010-04-27 19:46:33 +0000298 const SmallVector<DbgRange, 4> &getRanges() { return Ranges; }
299
300 /// openInsnRange - This scope covers instruction range starting from MI.
301 void openInsnRange(const MachineInstr *MI) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000302 if (!FirstInsn)
Devang Patel6c74a872010-04-27 19:46:33 +0000303 FirstInsn = MI;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000304
Devang Patel6c74a872010-04-27 19:46:33 +0000305 if (Parent)
306 Parent->openInsnRange(MI);
307 }
308
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000309 /// extendInsnRange - Extend the current instruction range covered by
Devang Patel6c74a872010-04-27 19:46:33 +0000310 /// this scope.
311 void extendInsnRange(const MachineInstr *MI) {
312 assert (FirstInsn && "MI Range is not open!");
313 LastInsn = MI;
314 if (Parent)
315 Parent->extendInsnRange(MI);
316 }
317
318 /// closeInsnRange - Create a range based on FirstInsn and LastInsn collected
319 /// until now. This is used when a new scope is encountered while walking
320 /// machine instructions.
321 void closeInsnRange(DbgScope *NewScope = NULL) {
322 assert (LastInsn && "Last insn missing!");
323 Ranges.push_back(DbgRange(FirstInsn, LastInsn));
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000324 FirstInsn = NULL;
Devang Patel6c74a872010-04-27 19:46:33 +0000325 LastInsn = NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000326 // If Parent dominates NewScope then do not close Parent's instruction
Devang Patel6c74a872010-04-27 19:46:33 +0000327 // range.
328 if (Parent && (!NewScope || !Parent->dominates(NewScope)))
329 Parent->closeInsnRange(NewScope);
330 }
331
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000332 void setAbstractScope() { AbstractScope = true; }
333 bool isAbstractScope() const { return AbstractScope; }
Devang Patel6c74a872010-04-27 19:46:33 +0000334
335 // Depth First Search support to walk and mainpluate DbgScope hierarchy.
336 unsigned getDFSOut() const { return DFSOut; }
337 void setDFSOut(unsigned O) { DFSOut = O; }
338 unsigned getDFSIn() const { return DFSIn; }
339 void setDFSIn(unsigned I) { DFSIn = I; }
340 bool dominates(const DbgScope *S) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000341 if (S == this)
Devang Patel6c74a872010-04-27 19:46:33 +0000342 return true;
343 if (DFSIn < S->getDFSIn() && DFSOut > S->getDFSOut())
344 return true;
345 return false;
346 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000347
Devang Patel930143b2009-11-21 02:48:08 +0000348 /// addScope - Add a scope to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000349 ///
Devang Patel930143b2009-11-21 02:48:08 +0000350 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000351
Devang Patel930143b2009-11-21 02:48:08 +0000352 /// addVariable - Add a variable to the scope.
Bill Wendling2f921f82009-05-15 09:23:25 +0000353 ///
Devang Patel930143b2009-11-21 02:48:08 +0000354 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling2f921f82009-05-15 09:23:25 +0000355
Bill Wendling2f921f82009-05-15 09:23:25 +0000356#ifndef NDEBUG
357 void dump() const;
358#endif
359};
Devang Patel6c74a872010-04-27 19:46:33 +0000360
Chris Lattnerf5d06362010-04-05 04:09:20 +0000361} // end llvm namespace
Bill Wendling2f921f82009-05-15 09:23:25 +0000362
363#ifndef NDEBUG
364void DbgScope::dump() const {
David Greenec230cb92009-12-24 00:31:35 +0000365 raw_ostream &err = dbgs();
Chris Lattner81e8e022009-08-23 00:51:00 +0000366 err.indent(IndentLevel);
Devang Patel32cc43c2010-05-07 20:54:48 +0000367 const MDNode *N = Desc;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000368 N->dump();
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000369 if (AbstractScope)
370 err << "Abstract Scope\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000371
372 IndentLevel += 2;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000373 if (!Scopes.empty())
374 err << "Children ...\n";
Bill Wendling2f921f82009-05-15 09:23:25 +0000375 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
376 if (Scopes[i] != this)
377 Scopes[i]->dump();
378
379 IndentLevel -= 2;
380}
381#endif
382
Bill Wendling2f921f82009-05-15 09:23:25 +0000383DbgScope::~DbgScope() {
Bill Wendling2f921f82009-05-15 09:23:25 +0000384 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
385 delete Variables[j];
Bill Wendling2f921f82009-05-15 09:23:25 +0000386}
387
Chris Lattnerf0d6bd32010-04-05 05:11:15 +0000388DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Devang Patel1a0df9a2010-05-10 22:49:55 +0000389 : Asm(A), MMI(Asm->MMI), FirstCU(0),
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000390 AbbreviationsSet(InitAbbreviationsSetSize),
Devang Patel12563b32010-04-16 23:33:45 +0000391 CurrentFnDbgScope(0), PrevLabel(NULL) {
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000392 NextStringPoolNumber = 0;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000393
Chris Lattnere58b5472010-04-04 23:10:38 +0000394 DwarfFrameSectionSym = DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
395 DwarfStrSectionSym = TextSectionSym = 0;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000396 DwarfDebugRangeSectionSym = DwarfDebugLocSectionSym = 0;
Devang Patel9fc11702010-05-25 23:40:22 +0000397 FunctionBeginSym = FunctionEndSym = 0;
Devang Patel9c160e12010-07-08 20:10:35 +0000398 DIEIntegerOne = new (DIEValueAllocator) DIEInteger(1);
Dan Gohman6e681a52010-06-18 15:56:31 +0000399 {
400 NamedRegionTimer T(DbgTimerName, DWARFGroupName, TimePassesIsEnabled);
401 beginModule(M);
Torok Edwinf8dba242010-04-07 10:44:46 +0000402 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000403}
404DwarfDebug::~DwarfDebug() {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000405 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
406 DIEBlocks[j]->~DIEBlock();
Bill Wendling2f921f82009-05-15 09:23:25 +0000407}
408
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000409MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
410 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
411 if (Entry.first) return Entry.first;
412
413 Entry.second = NextStringPoolNumber++;
Chris Lattnera179b522010-04-04 19:25:43 +0000414 return Entry.first = Asm->GetTempSymbol("string", Entry.second);
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000415}
416
417
Devang Patel930143b2009-11-21 02:48:08 +0000418/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling2f921f82009-05-15 09:23:25 +0000419///
Devang Patel930143b2009-11-21 02:48:08 +0000420void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000421 // Profile the node so that we can make it unique.
422 FoldingSetNodeID ID;
423 Abbrev.Profile(ID);
424
425 // Check the set for priors.
426 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
427
428 // If it's newly added.
429 if (InSet == &Abbrev) {
430 // Add to abbreviation list.
431 Abbreviations.push_back(&Abbrev);
432
433 // Assign the vector position + 1 as its number.
434 Abbrev.setNumber(Abbreviations.size());
435 } else {
436 // Assign existing abbreviation number.
437 Abbrev.setNumber(InSet->getNumber());
438 }
439}
440
Devang Patel930143b2009-11-21 02:48:08 +0000441/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendlingbcad77a2009-05-20 23:24:48 +0000442/// information entry.
Devang Patel930143b2009-11-21 02:48:08 +0000443DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000444 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000445 return Value;
446}
447
Devang Patel930143b2009-11-21 02:48:08 +0000448/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000449///
Devang Patel930143b2009-11-21 02:48:08 +0000450void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000451 unsigned Form, uint64_t Integer) {
452 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000453 DIEValue *Value = Integer == 1 ?
Devang Patel9c160e12010-07-08 20:10:35 +0000454 DIEIntegerOne : new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000455 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000456}
457
Devang Patel930143b2009-11-21 02:48:08 +0000458/// addSInt - Add an signed integer attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000459///
Devang Patel930143b2009-11-21 02:48:08 +0000460void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000461 unsigned Form, int64_t Integer) {
462 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000463 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel930143b2009-11-21 02:48:08 +0000464 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000465}
466
Devang Patel8c339592009-12-02 15:25:16 +0000467/// addString - Add a string attribute data and value. DIEString only
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000468/// keeps string reference.
Devang Patel930143b2009-11-21 02:48:08 +0000469void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerc3f23b82010-01-23 03:11:46 +0000470 StringRef String) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000471 DIEValue *Value = new (DIEValueAllocator) DIEString(String);
Devang Patel930143b2009-11-21 02:48:08 +0000472 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000473}
474
Devang Patel930143b2009-11-21 02:48:08 +0000475/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000476///
Devang Patel930143b2009-11-21 02:48:08 +0000477void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbc9210c2010-03-08 22:23:36 +0000478 const MCSymbol *Label) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000479 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Devang Patel930143b2009-11-21 02:48:08 +0000480 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000481}
482
Devang Patel930143b2009-11-21 02:48:08 +0000483/// addDelta - Add a label delta attribute data and value.
Bill Wendling2f921f82009-05-15 09:23:25 +0000484///
Devang Patel930143b2009-11-21 02:48:08 +0000485void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbc9210c2010-03-08 22:23:36 +0000486 const MCSymbol *Hi, const MCSymbol *Lo) {
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000487 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Devang Patel930143b2009-11-21 02:48:08 +0000488 Die->addValue(Attribute, Form, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +0000489}
490
Chris Lattner3f3fb972010-04-05 05:24:55 +0000491/// addDIEEntry - Add a DIE attribute data and value.
492///
493void DwarfDebug::addDIEEntry(DIE *Die, unsigned Attribute, unsigned Form,
494 DIE *Entry) {
495 Die->addValue(Attribute, Form, createDIEEntry(Entry));
496}
497
498
Devang Patel930143b2009-11-21 02:48:08 +0000499/// addBlock - Add block data.
Bill Wendling2f921f82009-05-15 09:23:25 +0000500///
Devang Patel930143b2009-11-21 02:48:08 +0000501void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling2f921f82009-05-15 09:23:25 +0000502 DIEBlock *Block) {
Chris Lattner5a00dea2010-04-05 00:18:22 +0000503 Block->ComputeSize(Asm);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000504 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Devang Patel930143b2009-11-21 02:48:08 +0000505 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000506}
507
Devang Patel930143b2009-11-21 02:48:08 +0000508/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000509/// entry.
Devang Patelb1e07b32010-08-10 04:09:06 +0000510void DwarfDebug::addSourceLine(DIE *Die, DIVariable V) {
Devang Patel0625af22010-05-07 23:33:41 +0000511 // Verify variable.
Devang Patelb6511a32010-08-09 20:20:05 +0000512 if (!V.Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000513 return;
514
Devang Patelb6511a32010-08-09 20:20:05 +0000515 unsigned Line = V.getLineNumber();
Devang Pateldd1c2892010-10-08 17:18:54 +0000516 if (Line == 0)
517 return;
Rafael Espindola67c6ab82010-11-18 02:04:25 +0000518 unsigned FileID = GetOrCreateSourceID(V.getContext().getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000519 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000520 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
521 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000522}
523
Devang Patel930143b2009-11-21 02:48:08 +0000524/// addSourceLine - Add location information to specified debug information
Bill Wendling2f921f82009-05-15 09:23:25 +0000525/// entry.
Devang Patelb1e07b32010-08-10 04:09:06 +0000526void DwarfDebug::addSourceLine(DIE *Die, DIGlobalVariable G) {
Devang Patel0625af22010-05-07 23:33:41 +0000527 // Verify global variable.
Devang Patelb6511a32010-08-09 20:20:05 +0000528 if (!G.Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000529 return;
530
Devang Patelb6511a32010-08-09 20:20:05 +0000531 unsigned Line = G.getLineNumber();
Devang Pateldd1c2892010-10-08 17:18:54 +0000532 if (Line == 0)
533 return;
Rafael Espindola67c6ab82010-11-18 02:04:25 +0000534 unsigned FileID = GetOrCreateSourceID(G.getContext().getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000535 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000536 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
537 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000538}
Devang Patelb2de5fa2009-08-31 22:47:13 +0000539
Devang Patel930143b2009-11-21 02:48:08 +0000540/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000541/// entry.
Devang Patelb1e07b32010-08-10 04:09:06 +0000542void DwarfDebug::addSourceLine(DIE *Die, DISubprogram SP) {
Devang Patel0625af22010-05-07 23:33:41 +0000543 // Verify subprogram.
Devang Patelb6511a32010-08-09 20:20:05 +0000544 if (!SP.Verify())
Devang Patelb2de5fa2009-08-31 22:47:13 +0000545 return;
Caroline Tice183a5192009-09-11 18:25:54 +0000546 // If the line number is 0, don't add it.
Devang Patelb6511a32010-08-09 20:20:05 +0000547 if (SP.getLineNumber() == 0)
Caroline Tice183a5192009-09-11 18:25:54 +0000548 return;
549
Devang Patelb6511a32010-08-09 20:20:05 +0000550 unsigned Line = SP.getLineNumber();
551 if (!SP.getContext().Verify())
Devang Patel8119fe872010-03-08 22:02:50 +0000552 return;
Rafael Espindola67c6ab82010-11-18 02:04:25 +0000553 unsigned FileID = GetOrCreateSourceID(SP.getFilename());
Devang Patelb2de5fa2009-08-31 22:47:13 +0000554 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000555 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
556 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patelb2de5fa2009-08-31 22:47:13 +0000557}
558
Devang Patel930143b2009-11-21 02:48:08 +0000559/// addSourceLine - Add location information to specified debug information
Devang Patelb2de5fa2009-08-31 22:47:13 +0000560/// entry.
Devang Patelb1e07b32010-08-10 04:09:06 +0000561void DwarfDebug::addSourceLine(DIE *Die, DIType Ty) {
Devang Patel0625af22010-05-07 23:33:41 +0000562 // Verify type.
Devang Patelb6511a32010-08-09 20:20:05 +0000563 if (!Ty.Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000564 return;
565
Devang Patelb6511a32010-08-09 20:20:05 +0000566 unsigned Line = Ty.getLineNumber();
Devang Pateldd1c2892010-10-08 17:18:54 +0000567 if (Line == 0 || !Ty.getContext().Verify())
Devang Patel8119fe872010-03-08 22:02:50 +0000568 return;
Rafael Espindola67c6ab82010-11-18 02:04:25 +0000569 unsigned FileID = GetOrCreateSourceID(Ty.getFilename());
Bill Wendling2f921f82009-05-15 09:23:25 +0000570 assert(FileID && "Invalid file id");
Devang Patel930143b2009-11-21 02:48:08 +0000571 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
572 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling2f921f82009-05-15 09:23:25 +0000573}
574
Devang Patel1f4690c2009-12-15 19:16:48 +0000575/// addSourceLine - Add location information to specified debug information
576/// entry.
Devang Patelb1e07b32010-08-10 04:09:06 +0000577void DwarfDebug::addSourceLine(DIE *Die, DINameSpace NS) {
Devang Patel0625af22010-05-07 23:33:41 +0000578 // Verify namespace.
Devang Patelb6511a32010-08-09 20:20:05 +0000579 if (!NS.Verify())
Devang Patel1f4690c2009-12-15 19:16:48 +0000580 return;
581
Devang Patelb6511a32010-08-09 20:20:05 +0000582 unsigned Line = NS.getLineNumber();
Devang Pateldd1c2892010-10-08 17:18:54 +0000583 if (Line == 0)
584 return;
Devang Patelb6511a32010-08-09 20:20:05 +0000585 StringRef FN = NS.getFilename();
Devang Patel1f4690c2009-12-15 19:16:48 +0000586
Rafael Espindola67c6ab82010-11-18 02:04:25 +0000587 unsigned FileID = GetOrCreateSourceID(FN);
Devang Patel1f4690c2009-12-15 19:16:48 +0000588 assert(FileID && "Invalid file id");
589 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
590 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
591}
592
Devang Patel2cfc3af2010-08-31 06:11:28 +0000593/// addVariableAddress - Add DW_AT_location attribute for a DbgVariable based
594/// on provided frame index.
595void DwarfDebug::addVariableAddress(DbgVariable *&DV, DIE *Die, int64_t FI) {
596 MachineLocation Location;
597 unsigned FrameReg;
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000598 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Anton Korobeynikov46877782010-11-20 15:59:32 +0000599 int Offset = TFI->getFrameIndexReference(*Asm->MF, FI, FrameReg);
Devang Patel2cfc3af2010-08-31 06:11:28 +0000600 Location.set(FrameReg, Offset);
601
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000602 if (DV->variableHasComplexAddress())
603 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
604 else if (DV->isBlockByrefVariable())
605 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
606 else
607 addAddress(Die, dwarf::DW_AT_location, Location);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000608}
609
Devang Patel930143b2009-11-21 02:48:08 +0000610/// addComplexAddress - Start with the address based on the location provided,
Mike Stump14cf8ec2009-09-30 00:08:22 +0000611/// and generate the DWARF information necessary to find the actual variable
612/// given the extra address information encoded in the DIVariable, starting from
613/// the starting location. Add the DWARF information to the die.
614///
Devang Patel930143b2009-11-21 02:48:08 +0000615void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump14cf8ec2009-09-30 00:08:22 +0000616 unsigned Attribute,
617 const MachineLocation &Location) {
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000618 DIType Ty = DV->getType();
Mike Stump14cf8ec2009-09-30 00:08:22 +0000619
620 // Decode the original location, and use that as the start of the byref
621 // variable's location.
Chris Lattner3a383cb2010-04-05 00:13:49 +0000622 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Mike Stump14cf8ec2009-09-30 00:08:22 +0000623 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000624 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Mike Stump14cf8ec2009-09-30 00:08:22 +0000625
626 if (Location.isReg()) {
627 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000628 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000629 } else {
Devang Patel8698f092011-01-19 23:04:47 +0000630 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
Devang Patel930143b2009-11-21 02:48:08 +0000631 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000632 }
633 } else {
634 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000635 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000636 else {
Devang Patel930143b2009-11-21 02:48:08 +0000637 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
638 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000639 }
640
Devang Patel930143b2009-11-21 02:48:08 +0000641 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump14cf8ec2009-09-30 00:08:22 +0000642 }
643
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000644 for (unsigned i = 0, N = DV->getNumAddrElements(); i < N; ++i) {
645 uint64_t Element = DV->getAddrElement(i);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000646
647 if (Element == DIFactory::OpPlus) {
Devang Patel930143b2009-11-21 02:48:08 +0000648 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000649 addUInt(Block, 0, dwarf::DW_FORM_udata, DV->getAddrElement(++i));
Mike Stump14cf8ec2009-09-30 00:08:22 +0000650 } else if (Element == DIFactory::OpDeref) {
Devang Patel930143b2009-11-21 02:48:08 +0000651 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000652 } else llvm_unreachable("unknown DIFactory Opcode");
653 }
654
655 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000656 addBlock(Die, Attribute, 0, Block);
Mike Stump14cf8ec2009-09-30 00:08:22 +0000657}
658
Caroline Ticec87c1e22009-08-31 21:19:37 +0000659/* Byref variables, in Blocks, are declared by the programmer as "SomeType
660 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
661 gives the variable VarName either the struct, or a pointer to the struct, as
662 its type. This is necessary for various behind-the-scenes things the
663 compiler needs to do with by-reference variables in Blocks.
664
665 However, as far as the original *programmer* is concerned, the variable
666 should still have type 'SomeType', as originally declared.
667
Devang Patel930143b2009-11-21 02:48:08 +0000668 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000669 struct to find the original type of the variable, which is then assigned to
670 the variable's Debug Information Entry as its real type. So far, so good.
671 However now the debugger will expect the variable VarName to have the type
672 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000673 expression that explains to the debugger how to navigate through the
Caroline Ticec87c1e22009-08-31 21:19:37 +0000674 pointers and struct to find the actual variable of type SomeType.
675
676 The following function does just that. We start by getting
677 the "normal" location for the variable. This will be the location
678 of either the struct __Block_byref_x_VarName or the pointer to the
679 struct __Block_byref_x_VarName.
680
681 The struct will look something like:
682
683 struct __Block_byref_x_VarName {
684 ... <various fields>
685 struct __Block_byref_x_VarName *forwarding;
686 ... <various other fields>
687 SomeType VarName;
688 ... <maybe more fields>
689 };
690
691 If we are given the struct directly (as our starting point) we
692 need to tell the debugger to:
693
694 1). Add the offset of the forwarding field.
695
Dan Gohman4a618822010-02-10 16:03:48 +0000696 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticec87c1e22009-08-31 21:19:37 +0000697 struct to use (the real one may have been copied onto the heap).
698
699 3). Add the offset for the field VarName, to find the actual variable.
700
701 If we started with a pointer to the struct, then we need to
702 dereference that pointer first, before the other steps.
703 Translating this into DWARF ops, we will need to append the following
704 to the current location description for the variable:
705
706 DW_OP_deref -- optional, if we start with a pointer
707 DW_OP_plus_uconst <forward_fld_offset>
708 DW_OP_deref
709 DW_OP_plus_uconst <varName_fld_offset>
710
711 That is what this function does. */
712
Devang Patel930143b2009-11-21 02:48:08 +0000713/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticec87c1e22009-08-31 21:19:37 +0000714/// provided, and generate the DWARF information necessary to find the
715/// actual Block variable (navigating the Block struct) based on the
716/// starting location. Add the DWARF information to the die. For
717/// more information, read large comment just above here.
718///
Devang Patel930143b2009-11-21 02:48:08 +0000719void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000720 unsigned Attribute,
721 const MachineLocation &Location) {
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000722 DIType Ty = DV->getType();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000723 DIType TmpTy = Ty;
724 unsigned Tag = Ty.getTag();
725 bool isPointer = false;
726
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000727 StringRef varName = DV->getName();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000728
729 if (Tag == dwarf::DW_TAG_pointer_type) {
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000730 DIDerivedType DTy = DIDerivedType(Ty);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000731 TmpTy = DTy.getTypeDerivedFrom();
732 isPointer = true;
733 }
734
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000735 DICompositeType blockStruct = DICompositeType(TmpTy);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000736
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000737 // Find the __forwarding field and the variable field in the __Block_byref
738 // struct.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000739 DIArray Fields = blockStruct.getTypeArray();
740 DIDescriptor varField = DIDescriptor();
741 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000742
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000743 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
744 DIDescriptor Element = Fields.getElement(i);
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000745 DIDerivedType DT = DIDerivedType(Element);
Devang Patel2d9caf92009-11-25 17:36:49 +0000746 StringRef fieldName = DT.getName();
747 if (fieldName == "__forwarding")
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000748 forwardingField = Element;
Devang Patel2d9caf92009-11-25 17:36:49 +0000749 else if (fieldName == varName)
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000750 varField = Element;
751 }
Daniel Dunbarc418d6b2009-09-19 20:40:05 +0000752
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000753 // Get the offsets for the forwarding field and the variable field.
Chris Lattner71696ef2010-03-31 06:06:37 +0000754 unsigned forwardingFieldOffset =
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000755 DIDerivedType(forwardingField).getOffsetInBits() >> 3;
Chris Lattner71696ef2010-03-31 06:06:37 +0000756 unsigned varFieldOffset =
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000757 DIDerivedType(varField).getOffsetInBits() >> 3;
Caroline Ticec87c1e22009-08-31 21:19:37 +0000758
Mike Stump944fa252009-09-24 23:21:26 +0000759 // Decode the original location, and use that as the start of the byref
760 // variable's location.
Chris Lattner3a383cb2010-04-05 00:13:49 +0000761 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000762 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000763 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Caroline Ticec87c1e22009-08-31 21:19:37 +0000764
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000765 if (Location.isReg()) {
766 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000767 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000768 else {
Devang Patel8698f092011-01-19 23:04:47 +0000769 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
Devang Patel930143b2009-11-21 02:48:08 +0000770 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000771 }
772 } else {
773 if (Reg < 32)
Devang Patel930143b2009-11-21 02:48:08 +0000774 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000775 else {
Devang Patel930143b2009-11-21 02:48:08 +0000776 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
777 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000778 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000779
Devang Patel930143b2009-11-21 02:48:08 +0000780 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000781 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000782
Mike Stump944fa252009-09-24 23:21:26 +0000783 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000784 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000785 if (isPointer)
Devang Patel930143b2009-11-21 02:48:08 +0000786 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000787
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000788 // Next add the offset for the '__forwarding' field:
789 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
790 // adding the offset if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000791 if (forwardingFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000792 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
793 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000794 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000795
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000796 // Now dereference the __forwarding field to get to the real __Block_byref
797 // struct: DW_OP_deref.
Devang Patel930143b2009-11-21 02:48:08 +0000798 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000799
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000800 // Now that we've got the real __Block_byref... struct, add the offset
801 // for the variable's field to get to the location of the actual variable:
802 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000803 if (varFieldOffset > 0) {
Devang Patel930143b2009-11-21 02:48:08 +0000804 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
805 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000806 }
Caroline Ticec87c1e22009-08-31 21:19:37 +0000807
Daniel Dunbarbe22ec42009-09-19 20:40:14 +0000808 // Now attach the location information to the DIE.
Devang Patel930143b2009-11-21 02:48:08 +0000809 addBlock(Die, Attribute, 0, Block);
Caroline Ticec87c1e22009-08-31 21:19:37 +0000810}
811
Devang Patel930143b2009-11-21 02:48:08 +0000812/// addAddress - Add an address attribute to a die based on the location
Bill Wendling2f921f82009-05-15 09:23:25 +0000813/// provided.
Devang Patel930143b2009-11-21 02:48:08 +0000814void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling2f921f82009-05-15 09:23:25 +0000815 const MachineLocation &Location) {
Chris Lattner3a383cb2010-04-05 00:13:49 +0000816 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling2f921f82009-05-15 09:23:25 +0000817 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer74729ae2010-03-31 19:34:01 +0000818 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel804fcd42010-09-22 21:10:38 +0000819
Devang Patele7559662010-11-02 17:37:00 +0000820 if (RI->getFrameRegister(*Asm->MF) == Location.getReg()
Devang Patel804fcd42010-09-22 21:10:38 +0000821 && Location.getOffset()) {
822 // If variable offset is based in frame register then use fbreg.
823 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_fbreg);
824 addSInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
825 addBlock(Die, Attribute, 0, Block);
826 return;
827 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000828
829 if (Location.isReg()) {
830 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000831 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000832 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000833 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
834 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000835 }
836 } else {
837 if (Reg < 32) {
Devang Patel930143b2009-11-21 02:48:08 +0000838 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000839 } else {
Devang Patel930143b2009-11-21 02:48:08 +0000840 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
841 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling2f921f82009-05-15 09:23:25 +0000842 }
843
Devang Patel930143b2009-11-21 02:48:08 +0000844 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling2f921f82009-05-15 09:23:25 +0000845 }
846
Devang Patel930143b2009-11-21 02:48:08 +0000847 addBlock(Die, Attribute, 0, Block);
Bill Wendling2f921f82009-05-15 09:23:25 +0000848}
849
Devang Patel173b2b92010-04-28 01:03:09 +0000850/// addRegisterAddress - Add register location entry in variable DIE.
Devang Patel53a40df62010-11-12 23:20:42 +0000851bool DwarfDebug::addRegisterAddress(DIE *Die, const MachineOperand &MO) {
Devang Patel173b2b92010-04-28 01:03:09 +0000852 assert (MO.isReg() && "Invalid machine operand!");
853 if (!MO.getReg())
854 return false;
855 MachineLocation Location;
856 Location.set(MO.getReg());
857 addAddress(Die, dwarf::DW_AT_location, Location);
Devang Patel173b2b92010-04-28 01:03:09 +0000858 return true;
859}
860
861/// addConstantValue - Add constant value entry in variable DIE.
Devang Patel53a40df62010-11-12 23:20:42 +0000862bool DwarfDebug::addConstantValue(DIE *Die, const MachineOperand &MO) {
Devang Patel173b2b92010-04-28 01:03:09 +0000863 assert (MO.isImm() && "Invalid machine operand!");
864 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
865 unsigned Imm = MO.getImm();
866 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
867 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Devang Patel173b2b92010-04-28 01:03:09 +0000868 return true;
869}
870
871/// addConstantFPValue - Add constant value entry in variable DIE.
Devang Patel53a40df62010-11-12 23:20:42 +0000872bool DwarfDebug::addConstantFPValue(DIE *Die, const MachineOperand &MO) {
Devang Patel173b2b92010-04-28 01:03:09 +0000873 assert (MO.isFPImm() && "Invalid machine operand!");
874 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
875 APFloat FPImm = MO.getFPImm()->getValueAPF();
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000876
Devang Patel173b2b92010-04-28 01:03:09 +0000877 // Get the raw data form of the floating point.
878 const APInt FltVal = FPImm.bitcastToAPInt();
879 const char *FltPtr = (const char*)FltVal.getRawData();
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000880
Devang Patel173b2b92010-04-28 01:03:09 +0000881 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
882 bool LittleEndian = Asm->getTargetData().isLittleEndian();
883 int Incr = (LittleEndian ? 1 : -1);
884 int Start = (LittleEndian ? 0 : NumBytes - 1);
885 int Stop = (LittleEndian ? NumBytes : -1);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000886
Devang Patel173b2b92010-04-28 01:03:09 +0000887 // Output the constant to DWARF one byte at a time.
888 for (; Start != Stop; Start += Incr)
889 addUInt(Block, 0, dwarf::DW_FORM_data1,
890 (unsigned char)0xFF & FltPtr[Start]);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000891
Devang Patel173b2b92010-04-28 01:03:09 +0000892 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000893 return true;
Devang Patel173b2b92010-04-28 01:03:09 +0000894}
895
Devang Patel70eb9822011-01-06 21:39:25 +0000896/// addConstantValue - Add constant value entry in variable DIE.
897bool DwarfDebug::addConstantValue(DIE *Die, ConstantInt *CI,
898 bool Unsigned) {
899 if (CI->getBitWidth() <= 64) {
900 if (Unsigned)
901 addUInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_udata,
902 CI->getZExtValue());
903 else
904 addSInt(Die, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata,
905 CI->getSExtValue());
906 return true;
907 }
908
909 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
910
911 // Get the raw data form of the large APInt.
912 const APInt Val = CI->getValue();
913 const char *Ptr = (const char*)Val.getRawData();
914
915 int NumBytes = Val.getBitWidth() / 8; // 8 bits per byte.
916 bool LittleEndian = Asm->getTargetData().isLittleEndian();
917 int Incr = (LittleEndian ? 1 : -1);
918 int Start = (LittleEndian ? 0 : NumBytes - 1);
919 int Stop = (LittleEndian ? NumBytes : -1);
920
921 // Output the constant to DWARF one byte at a time.
922 for (; Start != Stop; Start += Incr)
923 addUInt(Block, 0, dwarf::DW_FORM_data1,
924 (unsigned char)0xFF & Ptr[Start]);
925
926 addBlock(Die, dwarf::DW_AT_const_value, 0, Block);
927 return true;
928}
Devang Patel173b2b92010-04-28 01:03:09 +0000929
Devang Patel2b75ed22009-12-10 19:14:49 +0000930/// addToContextOwner - Add Die into the list of its context owner's children.
931void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000932 if (Context.isType()) {
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000933 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context));
Devang Patel2b75ed22009-12-10 19:14:49 +0000934 ContextDIE->addChild(Die);
Devang Patel1f4690c2009-12-15 19:16:48 +0000935 } else if (Context.isNameSpace()) {
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000936 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context));
Devang Patel1f4690c2009-12-15 19:16:48 +0000937 ContextDIE->addChild(Die);
Stuart Hastingsafe54f12010-06-11 20:08:44 +0000938 } else if (Context.isSubprogram()) {
Devang Patel185051c2010-09-27 23:15:27 +0000939 DIE *ContextDIE = createSubprogramDIE(DISubprogram(Context));
Stuart Hastingsafe54f12010-06-11 20:08:44 +0000940 ContextDIE->addChild(Die);
Devang Patel1a0df9a2010-05-10 22:49:55 +0000941 } else if (DIE *ContextDIE = getCompileUnit(Context)->getDIE(Context))
Devang Patel2b75ed22009-12-10 19:14:49 +0000942 ContextDIE->addChild(Die);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000943 else
Devang Patel1a0df9a2010-05-10 22:49:55 +0000944 getCompileUnit(Context)->addDie(Die);
Devang Patel2b75ed22009-12-10 19:14:49 +0000945}
946
Devang Patelb5b60ea2009-12-10 18:05:33 +0000947/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
948/// given DIType.
949DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
Devang Patel1a0df9a2010-05-10 22:49:55 +0000950 CompileUnit *TypeCU = getCompileUnit(Ty);
951 DIE *TyDIE = TypeCU->getDIE(Ty);
Devang Patelb5b60ea2009-12-10 18:05:33 +0000952 if (TyDIE)
953 return TyDIE;
954
955 // Create new type.
956 TyDIE = new DIE(dwarf::DW_TAG_base_type);
Devang Patel1a0df9a2010-05-10 22:49:55 +0000957 TypeCU->insertDIE(Ty, TyDIE);
Devang Patelb5b60ea2009-12-10 18:05:33 +0000958 if (Ty.isBasicType())
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000959 constructTypeDIE(*TyDIE, DIBasicType(Ty));
Devang Patelb5b60ea2009-12-10 18:05:33 +0000960 else if (Ty.isCompositeType())
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000961 constructTypeDIE(*TyDIE, DICompositeType(Ty));
Devang Patelb5b60ea2009-12-10 18:05:33 +0000962 else {
963 assert(Ty.isDerivedType() && "Unknown kind of DIType");
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000964 constructTypeDIE(*TyDIE, DIDerivedType(Ty));
Devang Patelb5b60ea2009-12-10 18:05:33 +0000965 }
966
Devang Patel2b75ed22009-12-10 19:14:49 +0000967 addToContextOwner(TyDIE, Ty.getContext());
Devang Patelb5b60ea2009-12-10 18:05:33 +0000968 return TyDIE;
969}
970
Devang Patel930143b2009-11-21 02:48:08 +0000971/// addType - Add a new type attribute to the specified entity.
Devang Patel9ccfb642009-12-09 18:24:21 +0000972void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel8d6a2b72010-05-07 21:45:47 +0000973 if (!Ty.Verify())
Bill Wendling2f921f82009-05-15 09:23:25 +0000974 return;
975
976 // Check for pre-existence.
Devang Patel1a0df9a2010-05-10 22:49:55 +0000977 CompileUnit *TypeCU = getCompileUnit(Ty);
978 DIEEntry *Entry = TypeCU->getDIEEntry(Ty);
Bill Wendling2f921f82009-05-15 09:23:25 +0000979 // If it exists then use the existing value.
Devang Patel930143b2009-11-21 02:48:08 +0000980 if (Entry) {
981 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000982 return;
983 }
984
Bill Wendling2f921f82009-05-15 09:23:25 +0000985 // Construct type.
Devang Patelb5b60ea2009-12-10 18:05:33 +0000986 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling2f921f82009-05-15 09:23:25 +0000987
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000988 // Set up proxy.
989 Entry = createDIEEntry(Buffer);
Devang Patel1a0df9a2010-05-10 22:49:55 +0000990 TypeCU->insertDIEEntry(Ty, Entry);
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +0000991
Devang Patel930143b2009-11-21 02:48:08 +0000992 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling2f921f82009-05-15 09:23:25 +0000993}
994
Devang Patel930143b2009-11-21 02:48:08 +0000995/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel9ccfb642009-12-09 18:24:21 +0000996void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000997 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +0000998 StringRef Name = BTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +0000999 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +00001000 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling2f921f82009-05-15 09:23:25 +00001001 BTy.getEncoding());
1002
1003 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +00001004 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001005 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +00001006 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel930143b2009-11-21 02:48:08 +00001007 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +00001008}
1009
Devang Patel930143b2009-11-21 02:48:08 +00001010/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel9ccfb642009-12-09 18:24:21 +00001011void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001012 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +00001013 StringRef Name = DTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +00001014 uint64_t Size = DTy.getSizeInBits() >> 3;
1015 unsigned Tag = DTy.getTag();
1016
1017 // FIXME - Workaround for templates.
1018 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
1019
1020 Buffer.setTag(Tag);
1021
1022 // Map to main type, void will not have a type.
1023 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel9ccfb642009-12-09 18:24:21 +00001024 addType(&Buffer, FromTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001025
1026 // Add name if not anonymous or intermediate type.
Devang Patelae466ef2009-11-30 23:56:56 +00001027 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001028 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +00001029
1030 // Add size if non-zero (derived types might be zero-sized.)
1031 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +00001032 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +00001033
1034 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb5b51592009-11-23 18:43:37 +00001035 if (!DTy.isForwardDecl())
Devang Patelb6511a32010-08-09 20:20:05 +00001036 addSourceLine(&Buffer, DTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001037}
1038
Devang Patel930143b2009-11-21 02:48:08 +00001039/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +00001040void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001041 // Get core information.
Devang Patel2d9caf92009-11-25 17:36:49 +00001042 StringRef Name = CTy.getName();
Bill Wendling2f921f82009-05-15 09:23:25 +00001043
1044 uint64_t Size = CTy.getSizeInBits() >> 3;
1045 unsigned Tag = CTy.getTag();
1046 Buffer.setTag(Tag);
1047
1048 switch (Tag) {
1049 case dwarf::DW_TAG_vector_type:
1050 case dwarf::DW_TAG_array_type:
Devang Patel9ccfb642009-12-09 18:24:21 +00001051 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001052 break;
1053 case dwarf::DW_TAG_enumeration_type: {
1054 DIArray Elements = CTy.getTypeArray();
1055
1056 // Add enumerators to enumeration type.
1057 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1058 DIE *ElemDie = NULL;
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001059 DIDescriptor Enum(Elements.getElement(i));
Devang Patel3b548aa2010-03-08 20:52:55 +00001060 if (Enum.isEnumerator()) {
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001061 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum));
Devang Patel930143b2009-11-21 02:48:08 +00001062 Buffer.addChild(ElemDie);
Devang Patelfafa1fe2009-10-09 17:51:49 +00001063 }
Bill Wendling2f921f82009-05-15 09:23:25 +00001064 }
1065 }
1066 break;
1067 case dwarf::DW_TAG_subroutine_type: {
1068 // Add return type.
1069 DIArray Elements = CTy.getTypeArray();
1070 DIDescriptor RTy = Elements.getElement(0);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001071 addType(&Buffer, DIType(RTy));
Bill Wendling2f921f82009-05-15 09:23:25 +00001072
Devang Patel9a33ec22010-10-06 20:50:40 +00001073 bool isPrototyped = true;
Bill Wendling2f921f82009-05-15 09:23:25 +00001074 // Add arguments.
1075 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001076 DIDescriptor Ty = Elements.getElement(i);
Devang Patel9a33ec22010-10-06 20:50:40 +00001077 if (Ty.isUnspecifiedParameter()) {
1078 DIE *Arg = new DIE(dwarf::DW_TAG_unspecified_parameters);
1079 Buffer.addChild(Arg);
1080 isPrototyped = false;
1081 } else {
1082 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1083 addType(Arg, DIType(Ty));
1084 Buffer.addChild(Arg);
1085 }
Bill Wendling2f921f82009-05-15 09:23:25 +00001086 }
Devang Patel9a33ec22010-10-06 20:50:40 +00001087 // Add prototype flag.
1088 if (isPrototyped)
1089 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001090 }
1091 break;
1092 case dwarf::DW_TAG_structure_type:
1093 case dwarf::DW_TAG_union_type:
1094 case dwarf::DW_TAG_class_type: {
1095 // Add elements to structure type.
1096 DIArray Elements = CTy.getTypeArray();
1097
1098 // A forward struct declared type may not have elements available.
Devang Patel3b548aa2010-03-08 20:52:55 +00001099 unsigned N = Elements.getNumElements();
1100 if (N == 0)
Bill Wendling2f921f82009-05-15 09:23:25 +00001101 break;
1102
1103 // Add elements to structure type.
Devang Patel3b548aa2010-03-08 20:52:55 +00001104 for (unsigned i = 0; i < N; ++i) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001105 DIDescriptor Element = Elements.getElement(i);
1106 DIE *ElemDie = NULL;
Devang Patelcb03b142010-09-29 21:44:16 +00001107 if (Element.isSubprogram()) {
1108 DISubprogram SP(Element);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001109 ElemDie = createSubprogramDIE(DISubprogram(Element));
Devang Patelcb03b142010-09-29 21:44:16 +00001110 if (SP.isProtected())
1111 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1112 dwarf::DW_ACCESS_protected);
1113 else if (SP.isPrivate())
1114 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1115 dwarf::DW_ACCESS_private);
1116 else
1117 addUInt(ElemDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1118 dwarf::DW_ACCESS_public);
Devang Patele1c71462010-10-01 23:31:40 +00001119 if (SP.isExplicit())
1120 addUInt(ElemDie, dwarf::DW_AT_explicit, dwarf::DW_FORM_flag, 1);
Devang Patelcb03b142010-09-29 21:44:16 +00001121 }
Devang Patel3b548aa2010-03-08 20:52:55 +00001122 else if (Element.isVariable()) {
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001123 DIVariable DV(Element);
Devang Patel160c92d2010-01-30 01:08:30 +00001124 ElemDie = new DIE(dwarf::DW_TAG_variable);
1125 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
1126 DV.getName());
1127 addType(ElemDie, DV.getType());
1128 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1129 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patelb6511a32010-08-09 20:20:05 +00001130 addSourceLine(ElemDie, DV);
Devang Patel3b548aa2010-03-08 20:52:55 +00001131 } else if (Element.isDerivedType())
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001132 ElemDie = createMemberDIE(DIDerivedType(Element));
Devang Patel3b548aa2010-03-08 20:52:55 +00001133 else
1134 continue;
Devang Patel930143b2009-11-21 02:48:08 +00001135 Buffer.addChild(ElemDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001136 }
1137
Devang Patel3082c012009-08-27 23:51:51 +00001138 if (CTy.isAppleBlockExtension())
Devang Patel930143b2009-11-21 02:48:08 +00001139 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001140
1141 unsigned RLang = CTy.getRunTimeLang();
1142 if (RLang)
Devang Patel930143b2009-11-21 02:48:08 +00001143 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling2f921f82009-05-15 09:23:25 +00001144 dwarf::DW_FORM_data1, RLang);
Devang Patel303a1be2010-01-26 21:16:06 +00001145
1146 DICompositeType ContainingType = CTy.getContainingType();
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001147 if (DIDescriptor(ContainingType).isCompositeType())
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001148 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001149 getOrCreateTypeDIE(DIType(ContainingType)));
Stuart Hastingsafe54f12010-06-11 20:08:44 +00001150 else {
1151 DIDescriptor Context = CTy.getContext();
1152 addToContextOwner(&Buffer, Context);
1153 }
Devang Patel3a9e65e2011-02-02 21:38:25 +00001154
1155 if (Tag == dwarf::DW_TAG_class_type) {
1156 DIArray TParams = CTy.getTemplateParams();
1157 unsigned N = TParams.getNumElements();
1158 // Add template parameters.
1159 for (unsigned i = 0; i < N; ++i) {
1160 DIDescriptor Element = TParams.getElement(i);
1161 if (Element.isTemplateTypeParameter())
1162 Buffer.addChild(getOrCreateTemplateTypeParameterDIE(
1163 DITemplateTypeParameter(Element)));
1164 }
1165 }
Bill Wendling2f921f82009-05-15 09:23:25 +00001166 break;
1167 }
1168 default:
1169 break;
1170 }
1171
1172 // Add name if not anonymous or intermediate type.
Devang Patel2d9caf92009-11-25 17:36:49 +00001173 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001174 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling2f921f82009-05-15 09:23:25 +00001175
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001176 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type
Devang Patel30265c42010-07-07 20:12:52 +00001177 || Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type)
1178 {
Bill Wendling2f921f82009-05-15 09:23:25 +00001179 // Add size if non-zero (derived types might be zero-sized.)
1180 if (Size)
Devang Patel930143b2009-11-21 02:48:08 +00001181 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling2f921f82009-05-15 09:23:25 +00001182 else {
1183 // Add zero size if it is not a forward declaration.
1184 if (CTy.isForwardDecl())
Devang Patel930143b2009-11-21 02:48:08 +00001185 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001186 else
Devang Patel930143b2009-11-21 02:48:08 +00001187 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling2f921f82009-05-15 09:23:25 +00001188 }
1189
1190 // Add source line info if available.
1191 if (!CTy.isForwardDecl())
Devang Patelb6511a32010-08-09 20:20:05 +00001192 addSourceLine(&Buffer, CTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001193 }
1194}
1195
Devang Patel3a9e65e2011-02-02 21:38:25 +00001196/// getOrCreateTemplateTypeParameterDIE - Find existing DIE or create new DIE
1197/// for the given DITemplateTypeParameter.
1198DIE *
1199DwarfDebug::getOrCreateTemplateTypeParameterDIE(DITemplateTypeParameter TP) {
1200 CompileUnit *TypeCU = getCompileUnit(TP);
1201 DIE *ParamDIE = TypeCU->getDIE(TP);
1202 if (ParamDIE)
1203 return ParamDIE;
1204
1205 ParamDIE = new DIE(dwarf::DW_TAG_template_type_parameter);
1206 addType(ParamDIE, TP.getType());
1207 addString(ParamDIE, dwarf::DW_AT_name, dwarf::DW_FORM_string, TP.getName());
1208 return ParamDIE;
1209}
1210
Devang Patel930143b2009-11-21 02:48:08 +00001211/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1212void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling2f921f82009-05-15 09:23:25 +00001213 int64_t L = SR.getLo();
1214 int64_t H = SR.getHi();
1215 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1216
Devang Patel930143b2009-11-21 02:48:08 +00001217 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patelf691df32009-08-14 20:59:16 +00001218 if (L)
Devang Patel930143b2009-11-21 02:48:08 +00001219 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Patel8f046022009-12-04 23:10:24 +00001220 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling2f921f82009-05-15 09:23:25 +00001221
Devang Patel930143b2009-11-21 02:48:08 +00001222 Buffer.addChild(DW_Subrange);
Bill Wendling2f921f82009-05-15 09:23:25 +00001223}
1224
Devang Patel930143b2009-11-21 02:48:08 +00001225/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel9ccfb642009-12-09 18:24:21 +00001226void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling2f921f82009-05-15 09:23:25 +00001227 DICompositeType *CTy) {
1228 Buffer.setTag(dwarf::DW_TAG_array_type);
1229 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel930143b2009-11-21 02:48:08 +00001230 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001231
1232 // Emit derived type.
Devang Patel9ccfb642009-12-09 18:24:21 +00001233 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001234 DIArray Elements = CTy->getTypeArray();
1235
Devang Patel92e8c652009-11-21 00:31:03 +00001236 // Get an anonymous type for index type.
Devang Patel1a0df9a2010-05-10 22:49:55 +00001237 CompileUnit *TheCU = getCompileUnit(*CTy);
1238 DIE *IdxTy = TheCU->getIndexTyDie();
Devang Patel92e8c652009-11-21 00:31:03 +00001239 if (!IdxTy) {
1240 // Construct an anonymous type for index type.
1241 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel930143b2009-11-21 02:48:08 +00001242 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1243 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel92e8c652009-11-21 00:31:03 +00001244 dwarf::DW_ATE_signed);
Devang Patel1a0df9a2010-05-10 22:49:55 +00001245 TheCU->addDie(IdxTy);
1246 TheCU->setIndexTyDie(IdxTy);
Devang Patel92e8c652009-11-21 00:31:03 +00001247 }
Bill Wendling2f921f82009-05-15 09:23:25 +00001248
1249 // Add subranges to array type.
1250 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1251 DIDescriptor Element = Elements.getElement(i);
1252 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001253 constructSubrangeDIE(Buffer, DISubrange(Element), IdxTy);
Bill Wendling2f921f82009-05-15 09:23:25 +00001254 }
1255}
1256
Devang Patel930143b2009-11-21 02:48:08 +00001257/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3b548aa2010-03-08 20:52:55 +00001258DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001259 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3b548aa2010-03-08 20:52:55 +00001260 StringRef Name = ETy.getName();
Devang Patel930143b2009-11-21 02:48:08 +00001261 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3b548aa2010-03-08 20:52:55 +00001262 int64_t Value = ETy.getEnumValue();
Devang Patel930143b2009-11-21 02:48:08 +00001263 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling2f921f82009-05-15 09:23:25 +00001264 return Enumerator;
1265}
1266
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001267/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
Devang Patel43ef34d2010-01-05 01:46:14 +00001268/// printer to not emit usual symbol prefix before the symbol name is used then
1269/// return linkage name after skipping this special LLVM prefix.
1270static StringRef getRealLinkageName(StringRef LinkageName) {
1271 char One = '\1';
1272 if (LinkageName.startswith(StringRef(&One, 1)))
1273 return LinkageName.substr(1);
1274 return LinkageName;
1275}
1276
Devang Patel930143b2009-11-21 02:48:08 +00001277/// createMemberDIE - Create new member DIE.
Devang Patel18ba0b42010-08-10 04:12:17 +00001278DIE *DwarfDebug::createMemberDIE(DIDerivedType DT) {
Bill Wendling2f921f82009-05-15 09:23:25 +00001279 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel2d9caf92009-11-25 17:36:49 +00001280 StringRef Name = DT.getName();
1281 if (!Name.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001282 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001283
Devang Patel9ccfb642009-12-09 18:24:21 +00001284 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling2f921f82009-05-15 09:23:25 +00001285
Devang Patelb6511a32010-08-09 20:20:05 +00001286 addSourceLine(MemberDie, DT);
Bill Wendling2f921f82009-05-15 09:23:25 +00001287
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001288 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patel930143b2009-11-21 02:48:08 +00001289 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel67f56f02009-11-04 22:06:12 +00001290
Bill Wendling2f921f82009-05-15 09:23:25 +00001291 uint64_t Size = DT.getSizeInBits();
Devang Patelf05d5722009-11-04 23:48:00 +00001292 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling2f921f82009-05-15 09:23:25 +00001293
1294 if (Size != FieldSize) {
1295 // Handle bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001296 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1297 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling2f921f82009-05-15 09:23:25 +00001298
1299 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling2f921f82009-05-15 09:23:25 +00001300 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1301 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer2b459982010-01-07 17:50:57 +00001302 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling2f921f82009-05-15 09:23:25 +00001303 Offset -= FieldOffset;
1304
1305 // Maybe we need to work from the other end.
Chris Lattner3a383cb2010-04-05 00:13:49 +00001306 if (Asm->getTargetData().isLittleEndian())
1307 Offset = FieldSize - (Offset + Size);
Devang Patel930143b2009-11-21 02:48:08 +00001308 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling2f921f82009-05-15 09:23:25 +00001309
Devang Patel67f56f02009-11-04 22:06:12 +00001310 // Here WD_AT_data_member_location points to the anonymous
1311 // field that includes this bit field.
Devang Patel930143b2009-11-21 02:48:08 +00001312 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001313
1314 } else
1315 // This is not a bitfield.
Devang Patel930143b2009-11-21 02:48:08 +00001316 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel67f56f02009-11-04 22:06:12 +00001317
Devang Pateld2316892010-02-03 20:08:48 +00001318 if (DT.getTag() == dwarf::DW_TAG_inheritance
1319 && DT.isVirtual()) {
1320
1321 // For C++, virtual base classes are not at fixed offset. Use following
1322 // expression to extract appropriate offset from vtable.
1323 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1324
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001325 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Pateld2316892010-02-03 20:08:48 +00001326 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1327 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1328 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1329 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1330 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1331 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1332 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1333
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001334 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
Devang Pateld2316892010-02-03 20:08:48 +00001335 VBaseLocationDie);
1336 } else
1337 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling2f921f82009-05-15 09:23:25 +00001338
1339 if (DT.isProtected())
Devang Pateleb57c592009-12-03 19:11:07 +00001340 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001341 dwarf::DW_ACCESS_protected);
1342 else if (DT.isPrivate())
Devang Pateleb57c592009-12-03 19:11:07 +00001343 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling2f921f82009-05-15 09:23:25 +00001344 dwarf::DW_ACCESS_private);
Devang Patela1bd5a12010-09-29 19:08:08 +00001345 // Otherwise C++ member and base classes are considered public.
1346 else if (DT.getCompileUnit().getLanguage() == dwarf::DW_LANG_C_plus_plus)
Devang Pateleb57c592009-12-03 19:11:07 +00001347 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1348 dwarf::DW_ACCESS_public);
1349 if (DT.isVirtual())
1350 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1351 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling2f921f82009-05-15 09:23:25 +00001352 return MemberDie;
1353}
1354
Devang Patel525dda02009-12-14 16:18:45 +00001355/// createSubprogramDIE - Create new DIE using SP.
Devang Patel185051c2010-09-27 23:15:27 +00001356DIE *DwarfDebug::createSubprogramDIE(DISubprogram SP) {
Devang Patel1a0df9a2010-05-10 22:49:55 +00001357 CompileUnit *SPCU = getCompileUnit(SP);
1358 DIE *SPDie = SPCU->getDIE(SP);
Devang Patel525dda02009-12-14 16:18:45 +00001359 if (SPDie)
1360 return SPDie;
1361
1362 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patelf200b392010-03-02 17:58:15 +00001363 // Constructors and operators for anonymous aggregates do not have names.
Devang Pateld0fa3042010-03-02 01:26:20 +00001364 if (!SP.getName().empty())
1365 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling2f921f82009-05-15 09:23:25 +00001366
Devang Patel2d9caf92009-11-25 17:36:49 +00001367 StringRef LinkageName = SP.getLinkageName();
Devang Patel43ef34d2010-01-05 01:46:14 +00001368 if (!LinkageName.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001369 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel43ef34d2010-01-05 01:46:14 +00001370 getRealLinkageName(LinkageName));
1371
Devang Patelb6511a32010-08-09 20:20:05 +00001372 addSourceLine(SPDie, SP);
Bill Wendling2f921f82009-05-15 09:23:25 +00001373
Devang Patel3a24f922010-10-07 22:03:01 +00001374 if (SP.isPrototyped())
Devang Patel930143b2009-11-21 02:48:08 +00001375 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001376
1377 // Add Return Type.
Devang Patel236526d2009-12-03 01:25:38 +00001378 DICompositeType SPTy = SP.getType();
1379 DIArray Args = SPTy.getTypeArray();
Bill Wendling2f921f82009-05-15 09:23:25 +00001380 unsigned SPTag = SPTy.getTag();
Devang Pateleb57c592009-12-03 19:11:07 +00001381
Devang Patel3b548aa2010-03-08 20:52:55 +00001382 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel9ccfb642009-12-09 18:24:21 +00001383 addType(SPDie, SPTy);
Devang Patel236526d2009-12-03 01:25:38 +00001384 else
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001385 addType(SPDie, DIType(Args.getElement(0)));
Devang Patel236526d2009-12-03 01:25:38 +00001386
Devang Pateleb57c592009-12-03 19:11:07 +00001387 unsigned VK = SP.getVirtuality();
1388 if (VK) {
1389 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
Benjamin Kramer74729ae2010-03-31 19:34:01 +00001390 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Pateleb57c592009-12-03 19:11:07 +00001391 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
Devang Patelc26da902010-12-09 00:10:40 +00001392 addUInt(Block, 0, dwarf::DW_FORM_udata, SP.getVirtualIndex());
Devang Pateleb57c592009-12-03 19:11:07 +00001393 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001394 ContainingTypeMap.insert(std::make_pair(SPDie,
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001395 SP.getContainingType()));
Devang Pateleb57c592009-12-03 19:11:07 +00001396 }
1397
Devang Patel185051c2010-09-27 23:15:27 +00001398 if (!SP.isDefinition()) {
Devang Patel930143b2009-11-21 02:48:08 +00001399 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling2f921f82009-05-15 09:23:25 +00001400
1401 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel236526d2009-12-03 01:25:38 +00001402 // be handled while processing variables.
1403 DICompositeType SPTy = SP.getType();
1404 DIArray Args = SPTy.getTypeArray();
1405 unsigned SPTag = SPTy.getTag();
1406
Bill Wendling2f921f82009-05-15 09:23:25 +00001407 if (SPTag == dwarf::DW_TAG_subroutine_type)
1408 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1409 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001410 DIType ATy = DIType(DIType(Args.getElement(i)));
Devang Patel6efc8e52010-02-06 01:02:37 +00001411 addType(Arg, ATy);
1412 if (ATy.isArtificial())
1413 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel930143b2009-11-21 02:48:08 +00001414 SPDie->addChild(Arg);
Bill Wendling2f921f82009-05-15 09:23:25 +00001415 }
1416 }
1417
Devang Patel999b4992010-02-03 19:57:19 +00001418 if (SP.isArtificial())
1419 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1420
Devang Patelb4e3b902010-04-30 19:38:23 +00001421 if (!SP.isLocalToUnit())
1422 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001423
Devang Patelb4e3b902010-04-30 19:38:23 +00001424 if (SP.isOptimized())
1425 addUInt(SPDie, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
1426
Jim Grosbach965a73a2010-07-21 23:03:52 +00001427 if (unsigned isa = Asm->getISAEncoding()) {
1428 addUInt(SPDie, dwarf::DW_AT_APPLE_isa, dwarf::DW_FORM_flag, isa);
1429 }
1430
Devang Patelb4e3b902010-04-30 19:38:23 +00001431 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel1a0df9a2010-05-10 22:49:55 +00001432 SPCU->insertDIE(SP, SPDie);
Devang Patelb4e3b902010-04-30 19:38:23 +00001433
Stuart Hastingsafe54f12010-06-11 20:08:44 +00001434 // Add to context owner.
1435 addToContextOwner(SPDie, SP.getContext());
1436
Bill Wendling2f921f82009-05-15 09:23:25 +00001437 return SPDie;
1438}
1439
Devang Patel32cc43c2010-05-07 20:54:48 +00001440DbgScope *DwarfDebug::getOrCreateAbstractScope(const MDNode *N) {
Chris Lattner8d2fe282010-03-31 05:36:29 +00001441 assert(N && "Invalid Scope encoding!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001442
1443 DbgScope *AScope = AbstractScopes.lookup(N);
1444 if (AScope)
1445 return AScope;
Jim Grosbach042483e2009-11-21 23:12:12 +00001446
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001447 DbgScope *Parent = NULL;
1448
1449 DIDescriptor Scope(N);
1450 if (Scope.isLexicalBlock()) {
1451 DILexicalBlock DB(N);
1452 DIDescriptor ParentDesc = DB.getContext();
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001453 Parent = getOrCreateAbstractScope(ParentDesc);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001454 }
1455
1456 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1457
1458 if (Parent)
Devang Patel930143b2009-11-21 02:48:08 +00001459 Parent->addScope(AScope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001460 AScope->setAbstractScope();
1461 AbstractScopes[N] = AScope;
1462 if (DIDescriptor(N).isSubprogram())
1463 AbstractScopesList.push_back(AScope);
1464 return AScope;
1465}
Devang Patel75cc16c2009-10-01 20:31:14 +00001466
Devang Patel019922d2010-04-06 23:53:48 +00001467/// isSubprogramContext - Return true if Context is either a subprogram
1468/// or another context nested inside a subprogram.
Devang Patel32cc43c2010-05-07 20:54:48 +00001469static bool isSubprogramContext(const MDNode *Context) {
Devang Patel019922d2010-04-06 23:53:48 +00001470 if (!Context)
1471 return false;
1472 DIDescriptor D(Context);
1473 if (D.isSubprogram())
1474 return true;
1475 if (D.isType())
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001476 return isSubprogramContext(DIType(Context).getContext());
Devang Patel019922d2010-04-06 23:53:48 +00001477 return false;
1478}
1479
Jim Grosbach042483e2009-11-21 23:12:12 +00001480/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel930143b2009-11-21 02:48:08 +00001481/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1482/// If there are global variables in this scope then create and insert
1483/// DIEs for these variables.
Devang Patel32cc43c2010-05-07 20:54:48 +00001484DIE *DwarfDebug::updateSubprogramScopeDIE(const MDNode *SPNode) {
Devang Patel1a0df9a2010-05-10 22:49:55 +00001485 CompileUnit *SPCU = getCompileUnit(SPNode);
1486 DIE *SPDie = SPCU->getDIE(SPNode);
Devang Patela37a95e2010-07-07 22:20:57 +00001487
Chris Lattner3a383cb2010-04-05 00:13:49 +00001488 assert(SPDie && "Unable to find subprogram DIE!");
1489 DISubprogram SP(SPNode);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001490
Chris Lattner3a383cb2010-04-05 00:13:49 +00001491 // There is not any need to generate specification DIE for a function
1492 // defined at compile unit level. If a function is defined inside another
1493 // function then gdb prefers the definition at top level and but does not
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001494 // expect specification DIE in parent function. So avoid creating
Chris Lattner3a383cb2010-04-05 00:13:49 +00001495 // specification DIE for a function defined inside a function.
1496 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001497 !SP.getContext().isFile() &&
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001498 !isSubprogramContext(SP.getContext())) {
Chris Lattner3a383cb2010-04-05 00:13:49 +00001499 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001500
1501 // Add arguments.
Chris Lattner3a383cb2010-04-05 00:13:49 +00001502 DICompositeType SPTy = SP.getType();
1503 DIArray Args = SPTy.getTypeArray();
1504 unsigned SPTag = SPTy.getTag();
1505 if (SPTag == dwarf::DW_TAG_subroutine_type)
1506 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1507 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001508 DIType ATy = DIType(DIType(Args.getElement(i)));
Chris Lattner3a383cb2010-04-05 00:13:49 +00001509 addType(Arg, ATy);
1510 if (ATy.isArtificial())
1511 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1512 SPDie->addChild(Arg);
1513 }
1514 DIE *SPDeclDie = SPDie;
1515 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001516 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
Chris Lattner3a383cb2010-04-05 00:13:49 +00001517 SPDeclDie);
Devang Patel1a0df9a2010-05-10 22:49:55 +00001518 SPCU->addDie(SPDie);
Chris Lattner3a383cb2010-04-05 00:13:49 +00001519 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001520
Devang Patela37a95e2010-07-07 22:20:57 +00001521 // Pick up abstract subprogram DIE.
1522 if (DIE *AbsSPDIE = AbstractSPDies.lookup(SPNode)) {
1523 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1524 addDIEEntry(SPDie, dwarf::DW_AT_abstract_origin,
1525 dwarf::DW_FORM_ref4, AbsSPDIE);
1526 SPCU->addDie(SPDie);
1527 }
1528
Chris Lattner3a383cb2010-04-05 00:13:49 +00001529 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1530 Asm->GetTempSymbol("func_begin", Asm->getFunctionNumber()));
1531 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1532 Asm->GetTempSymbol("func_end", Asm->getFunctionNumber()));
1533 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1534 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
1535 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patel6efc8e52010-02-06 01:02:37 +00001536
Chris Lattner3a383cb2010-04-05 00:13:49 +00001537 return SPDie;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001538}
1539
Jim Grosbach042483e2009-11-21 23:12:12 +00001540/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel930143b2009-11-21 02:48:08 +00001541/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1542DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel6c74a872010-04-27 19:46:33 +00001543
1544 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1545 if (Scope->isAbstractScope())
1546 return ScopeDIE;
1547
1548 const SmallVector<DbgRange, 4> &Ranges = Scope->getRanges();
1549 if (Ranges.empty())
1550 return 0;
1551
1552 SmallVector<DbgRange, 4>::const_iterator RI = Ranges.begin();
1553 if (Ranges.size() > 1) {
1554 // .debug_range section has not been laid out yet. Emit offset in
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001555 // .debug_range as a uint, size 4, for now. emitDIE will handle
Devang Patel6c74a872010-04-27 19:46:33 +00001556 // DW_AT_ranges appropriately.
1557 addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
1558 DebugRangeSymbols.size() * Asm->getTargetData().getPointerSize());
1559 for (SmallVector<DbgRange, 4>::const_iterator RI = Ranges.begin(),
1560 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patel9fc11702010-05-25 23:40:22 +00001561 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
1562 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
Devang Patel6c74a872010-04-27 19:46:33 +00001563 }
1564 DebugRangeSymbols.push_back(NULL);
1565 DebugRangeSymbols.push_back(NULL);
1566 return ScopeDIE;
1567 }
1568
Devang Patel9fc11702010-05-25 23:40:22 +00001569 const MCSymbol *Start = getLabelBeforeInsn(RI->first);
1570 const MCSymbol *End = getLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +00001571
Devang Patel9fc11702010-05-25 23:40:22 +00001572 if (End == 0) return 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001573
Chris Lattnere13c3722010-03-09 01:58:53 +00001574 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1575 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001576
Devang Patel6c74a872010-04-27 19:46:33 +00001577 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, Start);
1578 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, End);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001579
1580 return ScopeDIE;
1581}
1582
Devang Patel930143b2009-11-21 02:48:08 +00001583/// constructInlinedScopeDIE - This scope represents inlined body of
1584/// a function. Construct DIE to represent this concrete inlined copy
1585/// of the function.
1586DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel6c74a872010-04-27 19:46:33 +00001587
1588 const SmallVector<DbgRange, 4> &Ranges = Scope->getRanges();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001589 assert (Ranges.empty() == false
Devang Patel6c74a872010-04-27 19:46:33 +00001590 && "DbgScope does not have instruction markers!");
1591
1592 // FIXME : .debug_inlined section specification does not clearly state how
1593 // to emit inlined scope that is split into multiple instruction ranges.
1594 // For now, use first instruction range and emit low_pc/high_pc pair and
1595 // corresponding .debug_inlined section entry for this pair.
1596 SmallVector<DbgRange, 4>::const_iterator RI = Ranges.begin();
Devang Patel9fc11702010-05-25 23:40:22 +00001597 const MCSymbol *StartLabel = getLabelBeforeInsn(RI->first);
1598 const MCSymbol *EndLabel = getLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +00001599
Devang Patel4c6bd662010-07-08 22:39:20 +00001600 if (StartLabel == 0 || EndLabel == 0) {
Devang Patel6c74a872010-04-27 19:46:33 +00001601 assert (0 && "Unexpected Start and End labels for a inlined scope!");
1602 return 0;
1603 }
Chris Lattnere13c3722010-03-09 01:58:53 +00001604 assert(StartLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001605 "Invalid starting label for an inlined scope!");
Chris Lattnere13c3722010-03-09 01:58:53 +00001606 assert(EndLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +00001607 "Invalid end label for an inlined scope!");
Devang Patel6c74a872010-04-27 19:46:33 +00001608
Devang Patel3b548aa2010-03-08 20:52:55 +00001609 if (!Scope->getScopeNode())
Devang Patelbc97f6b2010-03-08 19:20:38 +00001610 return NULL;
Devang Patel3b548aa2010-03-08 20:52:55 +00001611 DIScope DS(Scope->getScopeNode());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001612 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1613
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001614 DISubprogram InlinedSP = getDISubprogram(DS);
Devang Patel1a0df9a2010-05-10 22:49:55 +00001615 CompileUnit *TheCU = getCompileUnit(InlinedSP);
1616 DIE *OriginDIE = TheCU->getDIE(InlinedSP);
Chris Lattner8d2fe282010-03-31 05:36:29 +00001617 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patel930143b2009-11-21 02:48:08 +00001618 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001619 dwarf::DW_FORM_ref4, OriginDIE);
1620
Chris Lattner085b6522010-03-09 00:31:02 +00001621 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnere13c3722010-03-09 01:58:53 +00001622 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001623
1624 InlinedSubprogramDIEs.insert(OriginDIE);
1625
1626 // Track the start label for this inlined function.
Devang Patel32cc43c2010-05-07 20:54:48 +00001627 DenseMap<const MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001628 I = InlineInfo.find(InlinedSP);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001629
1630 if (I == InlineInfo.end()) {
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001631 InlineInfo[InlinedSP].push_back(std::make_pair(StartLabel,
Jim Grosbach00e9c612009-11-22 19:20:36 +00001632 ScopeDIE));
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001633 InlinedSPNodes.push_back(InlinedSP);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001634 } else
Chris Lattner085b6522010-03-09 00:31:02 +00001635 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001636
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001637 DILocation DL(Scope->getInlinedAt());
Devang Patel1a0df9a2010-05-10 22:49:55 +00001638 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, TheCU->getID());
Devang Patel930143b2009-11-21 02:48:08 +00001639 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001640
1641 return ScopeDIE;
1642}
1643
Devang Patel930143b2009-11-21 02:48:08 +00001644
1645/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel9ccfb642009-12-09 18:24:21 +00001646DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel6d9f9fe2010-08-09 21:01:39 +00001647 StringRef Name = DV->getName();
Devang Patel2d9caf92009-11-25 17:36:49 +00001648 if (Name.empty())
Devang Patel97f99fa2009-11-13 02:25:26 +00001649 return NULL;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001650
1651 // Translate tag to proper Dwarf tag. The result variable is dropped for
1652 // now.
1653 unsigned Tag;
Devang Patel6d9f9fe2010-08-09 21:01:39 +00001654 switch (DV->getTag()) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001655 case dwarf::DW_TAG_return_variable:
1656 return NULL;
1657 case dwarf::DW_TAG_arg_variable:
1658 Tag = dwarf::DW_TAG_formal_parameter;
1659 break;
1660 case dwarf::DW_TAG_auto_variable: // fall thru
1661 default:
1662 Tag = dwarf::DW_TAG_variable;
1663 break;
1664 }
1665
1666 // Define variable debug information entry.
1667 DIE *VariableDie = new DIE(Tag);
1668
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001669 DIE *AbsDIE = NULL;
Devang Patele1c53f22010-05-20 16:36:41 +00001670 DenseMap<const DbgVariable *, const DbgVariable *>::iterator
1671 V2AVI = VarToAbstractVarMap.find(DV);
1672 if (V2AVI != VarToAbstractVarMap.end())
1673 AbsDIE = V2AVI->second->getDIE();
Jim Grosbach042483e2009-11-21 23:12:12 +00001674
Devang Patele1c53f22010-05-20 16:36:41 +00001675 if (AbsDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001676 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001677 dwarf::DW_FORM_ref4, AbsDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001678 else {
Devang Patel930143b2009-11-21 02:48:08 +00001679 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel6d9f9fe2010-08-09 21:01:39 +00001680 addSourceLine(VariableDie, DV->getVariable());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001681
1682 // Add variable type.
Devang Patel6d9f9fe2010-08-09 21:01:39 +00001683 addType(VariableDie, DV->getType());
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001684 }
1685
Devang Patel6d9f9fe2010-08-09 21:01:39 +00001686 if (Tag == dwarf::DW_TAG_formal_parameter && DV->getType().isArtificial())
Devang Patel6efc8e52010-02-06 01:02:37 +00001687 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelbea08d12010-09-29 23:07:21 +00001688 else if (DIVariable(DV->getVariable()).isArtificial())
1689 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel9fc11702010-05-25 23:40:22 +00001690
1691 if (Scope->isAbstractScope()) {
1692 DV->setDIE(VariableDie);
1693 return VariableDie;
1694 }
1695
1696 // Add variable address.
1697
1698 unsigned Offset = DV->getDotDebugLocOffset();
1699 if (Offset != ~0U) {
1700 addLabel(VariableDie, dwarf::DW_AT_location, dwarf::DW_FORM_data4,
1701 Asm->GetTempSymbol("debug_loc", Offset));
1702 DV->setDIE(VariableDie);
1703 UseDotDebugLocEntry.insert(VariableDie);
1704 return VariableDie;
1705 }
1706
1707 // Check if variable is described by a DBG_VALUE instruction.
1708 DenseMap<const DbgVariable *, const MachineInstr *>::iterator DVI =
1709 DbgVariableToDbgInstMap.find(DV);
1710 if (DVI != DbgVariableToDbgInstMap.end()) {
1711 const MachineInstr *DVInsn = DVI->second;
Devang Patel9fc11702010-05-25 23:40:22 +00001712 bool updated = false;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001713 // FIXME : Handle getNumOperands != 3
Devang Patel9fc11702010-05-25 23:40:22 +00001714 if (DVInsn->getNumOperands() == 3) {
Devang Patel86ec8b32010-08-31 22:22:42 +00001715 if (DVInsn->getOperand(0).isReg()) {
1716 const MachineOperand RegOp = DVInsn->getOperand(0);
1717 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
1718 if (DVInsn->getOperand(1).isImm() &&
1719 TRI->getFrameRegister(*Asm->MF) == RegOp.getReg()) {
1720 addVariableAddress(DV, VariableDie, DVInsn->getOperand(1).getImm());
1721 updated = true;
1722 } else
Devang Patel53a40df62010-11-12 23:20:42 +00001723 updated = addRegisterAddress(VariableDie, RegOp);
Devang Patel86ec8b32010-08-31 22:22:42 +00001724 }
Devang Patel9fc11702010-05-25 23:40:22 +00001725 else if (DVInsn->getOperand(0).isImm())
Devang Patel53a40df62010-11-12 23:20:42 +00001726 updated = addConstantValue(VariableDie, DVInsn->getOperand(0));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001727 else if (DVInsn->getOperand(0).isFPImm())
1728 updated =
Devang Patel53a40df62010-11-12 23:20:42 +00001729 addConstantFPValue(VariableDie, DVInsn->getOperand(0));
Devang Patel9fc11702010-05-25 23:40:22 +00001730 } else {
1731 MachineLocation Location = Asm->getDebugValueLocation(DVInsn);
1732 if (Location.getReg()) {
1733 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel9fc11702010-05-25 23:40:22 +00001734 updated = true;
1735 }
1736 }
1737 if (!updated) {
1738 // If variableDie is not updated then DBG_VALUE instruction does not
1739 // have valid variable info.
1740 delete VariableDie;
1741 return NULL;
1742 }
1743 DV->setDIE(VariableDie);
1744 return VariableDie;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001745 }
Devang Patel9fc11702010-05-25 23:40:22 +00001746
1747 // .. else use frame index, if available.
Devang Patel9fc11702010-05-25 23:40:22 +00001748 int FI = 0;
Devang Patel2cfc3af2010-08-31 06:11:28 +00001749 if (findVariableFrameIndex(DV, &FI))
1750 addVariableAddress(DV, VariableDie, FI);
1751
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001752 DV->setDIE(VariableDie);
1753 return VariableDie;
1754
1755}
Devang Patel930143b2009-11-21 02:48:08 +00001756
Devang Patel04d2f2d2009-11-24 01:14:22 +00001757void DwarfDebug::addPubTypes(DISubprogram SP) {
1758 DICompositeType SPTy = SP.getType();
1759 unsigned SPTag = SPTy.getTag();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001760 if (SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel04d2f2d2009-11-24 01:14:22 +00001761 return;
1762
1763 DIArray Args = SPTy.getTypeArray();
Devang Patel04d2f2d2009-11-24 01:14:22 +00001764 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001765 DIType ATy(Args.getElement(i));
Devang Patel8d6a2b72010-05-07 21:45:47 +00001766 if (!ATy.Verify())
Devang Patel04d2f2d2009-11-24 01:14:22 +00001767 continue;
1768 DICompositeType CATy = getDICompositeType(ATy);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001769 if (DIDescriptor(CATy).Verify() && !CATy.getName().empty()
Devang Patel12d150e2010-04-13 20:35:04 +00001770 && !CATy.isForwardDecl()) {
Devang Patel1a0df9a2010-05-10 22:49:55 +00001771 CompileUnit *TheCU = getCompileUnit(CATy);
1772 if (DIEEntry *Entry = TheCU->getDIEEntry(CATy))
1773 TheCU->addGlobalType(CATy.getName(), Entry->getEntry());
Devang Patel04d2f2d2009-11-24 01:14:22 +00001774 }
1775 }
1776}
1777
Devang Patel930143b2009-11-21 02:48:08 +00001778/// constructScopeDIE - Construct a DIE for this scope.
1779DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3b548aa2010-03-08 20:52:55 +00001780 if (!Scope || !Scope->getScopeNode())
1781 return NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001782
Devang Patel3b548aa2010-03-08 20:52:55 +00001783 DIScope DS(Scope->getScopeNode());
1784 DIE *ScopeDIE = NULL;
1785 if (Scope->getInlinedAt())
1786 ScopeDIE = constructInlinedScopeDIE(Scope);
1787 else if (DS.isSubprogram()) {
Devang Pateld10b2af2010-06-28 20:53:04 +00001788 ProcessedSPNodes.insert(DS);
Devang Patela37a95e2010-07-07 22:20:57 +00001789 if (Scope->isAbstractScope()) {
Devang Patel1a0df9a2010-05-10 22:49:55 +00001790 ScopeDIE = getCompileUnit(DS)->getDIE(DS);
Devang Patela37a95e2010-07-07 22:20:57 +00001791 // Note down abstract DIE.
1792 if (ScopeDIE)
1793 AbstractSPDies.insert(std::make_pair(DS, ScopeDIE));
1794 }
Devang Patel3b548aa2010-03-08 20:52:55 +00001795 else
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001796 ScopeDIE = updateSubprogramScopeDIE(DS);
Devang Patel3b548aa2010-03-08 20:52:55 +00001797 }
Devang Patel23b2ae62010-03-29 22:59:58 +00001798 else
Devang Patel3b548aa2010-03-08 20:52:55 +00001799 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel23b2ae62010-03-29 22:59:58 +00001800 if (!ScopeDIE) return NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001801
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001802 // Add variables to scope.
Devang Patel406798a2010-08-09 18:51:29 +00001803 const SmallVector<DbgVariable *, 8> &Variables = Scope->getDbgVariables();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001804 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel9ccfb642009-12-09 18:24:21 +00001805 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach042483e2009-11-21 23:12:12 +00001806 if (VariableDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001807 ScopeDIE->addChild(VariableDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001808 }
1809
1810 // Add nested scopes.
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001811 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001812 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1813 // Define the Scope debug information entry.
Devang Patel930143b2009-11-21 02:48:08 +00001814 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach042483e2009-11-21 23:12:12 +00001815 if (NestedDIE)
Devang Patel930143b2009-11-21 02:48:08 +00001816 ScopeDIE->addChild(NestedDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001817 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00001818
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001819 if (DS.isSubprogram())
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001820 addPubTypes(DISubprogram(DS));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001821
Devang Patel04d2f2d2009-11-24 01:14:22 +00001822 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001823}
1824
Bill Wendling2b128d72009-05-20 23:19:06 +00001825/// GetOrCreateSourceID - Look up the source id with the given directory and
1826/// source file names. If none currently exists, create a new id and insert it
1827/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1828/// maps as well.
Devang Patel498877d2010-07-24 00:53:22 +00001829
Rafael Espindola67c6ab82010-11-18 02:04:25 +00001830unsigned DwarfDebug::GetOrCreateSourceID(StringRef FileName){
Devang Patel871d0b12010-09-16 20:57:49 +00001831 // If FE did not provide a file name, then assume stdin.
1832 if (FileName.empty())
Rafael Espindola67c6ab82010-11-18 02:04:25 +00001833 return GetOrCreateSourceID("<stdin>");
Devang Patel871d0b12010-09-16 20:57:49 +00001834
Rafael Espindola67c6ab82010-11-18 02:04:25 +00001835 StringMapEntry<unsigned> &Entry = SourceIdMap.GetOrCreateValue(FileName);
1836 if (Entry.getValue())
1837 return Entry.getValue();
Bill Wendling2b128d72009-05-20 23:19:06 +00001838
Rafael Espindola67c6ab82010-11-18 02:04:25 +00001839 unsigned SrcId = SourceIdMap.size();
1840 Entry.setValue(SrcId);
Bill Wendling2b128d72009-05-20 23:19:06 +00001841
Rafael Espindola67c6ab82010-11-18 02:04:25 +00001842 // Print out a .file directive to specify files for .loc directives.
1843 Asm->OutStreamer.EmitDwarfFileDirective(SrcId, FileName);
Bill Wendling2b128d72009-05-20 23:19:06 +00001844
1845 return SrcId;
1846}
1847
Devang Patel1f4690c2009-12-15 19:16:48 +00001848/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1849DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
Devang Patel1a0df9a2010-05-10 22:49:55 +00001850 CompileUnit *TheCU = getCompileUnit(NS);
1851 DIE *NDie = TheCU->getDIE(NS);
Devang Patel1f4690c2009-12-15 19:16:48 +00001852 if (NDie)
1853 return NDie;
1854 NDie = new DIE(dwarf::DW_TAG_namespace);
Devang Patel1a0df9a2010-05-10 22:49:55 +00001855 TheCU->insertDIE(NS, NDie);
Devang Patel1f4690c2009-12-15 19:16:48 +00001856 if (!NS.getName().empty())
1857 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
Devang Patelb6511a32010-08-09 20:20:05 +00001858 addSourceLine(NDie, NS);
Devang Patel1f4690c2009-12-15 19:16:48 +00001859 addToContextOwner(NDie, NS.getContext());
1860 return NDie;
1861}
1862
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001863/// constructCompileUnit - Create new CompileUnit for the given
Devang Patel1a0df9a2010-05-10 22:49:55 +00001864/// metadata node with tag DW_TAG_compile_unit.
Devang Patel32cc43c2010-05-07 20:54:48 +00001865void DwarfDebug::constructCompileUnit(const MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00001866 DICompileUnit DIUnit(N);
Devang Patel2d9caf92009-11-25 17:36:49 +00001867 StringRef FN = DIUnit.getFilename();
1868 StringRef Dir = DIUnit.getDirectory();
Rafael Espindola67c6ab82010-11-18 02:04:25 +00001869 unsigned ID = GetOrCreateSourceID(FN);
Bill Wendling2b128d72009-05-20 23:19:06 +00001870
1871 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel930143b2009-11-21 02:48:08 +00001872 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelb2969422009-09-29 18:40:58 +00001873 DIUnit.getProducer());
Devang Patel930143b2009-11-21 02:48:08 +00001874 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendling2b128d72009-05-20 23:19:06 +00001875 DIUnit.getLanguage());
Devang Patel930143b2009-11-21 02:48:08 +00001876 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Devang Patelbd798ce2010-04-26 22:54:28 +00001877 // Use DW_AT_entry_pc instead of DW_AT_low_pc/DW_AT_high_pc pair. This
1878 // simplifies debug range entries.
Devang Patel1de21ec2010-06-28 22:22:47 +00001879 addUInt(Die, dwarf::DW_AT_entry_pc, dwarf::DW_FORM_addr, 0);
Devang Pateld22ed622010-03-22 23:11:36 +00001880 // DW_AT_stmt_list is a offset of line number information for this
Devang Patel4a213872010-08-24 00:06:12 +00001881 // compile unit in debug_line section.
Devang Patelea636392010-08-31 23:50:19 +00001882 if (Asm->MAI->doesDwarfUsesAbsoluteLabelForStmtList())
1883 addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_addr,
1884 Asm->GetTempSymbol("section_line"));
1885 else
1886 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendling2b128d72009-05-20 23:19:06 +00001887
Devang Patel2d9caf92009-11-25 17:36:49 +00001888 if (!Dir.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001889 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendling2b128d72009-05-20 23:19:06 +00001890 if (DIUnit.isOptimized())
Devang Patel930143b2009-11-21 02:48:08 +00001891 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendling2b128d72009-05-20 23:19:06 +00001892
Devang Patel2d9caf92009-11-25 17:36:49 +00001893 StringRef Flags = DIUnit.getFlags();
1894 if (!Flags.empty())
Devang Patel930143b2009-11-21 02:48:08 +00001895 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendling2b128d72009-05-20 23:19:06 +00001896
1897 unsigned RVer = DIUnit.getRunTimeVersion();
1898 if (RVer)
Devang Patel930143b2009-11-21 02:48:08 +00001899 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +00001900 dwarf::DW_FORM_data1, RVer);
1901
Devang Patel1a0df9a2010-05-10 22:49:55 +00001902 CompileUnit *NewCU = new CompileUnit(ID, Die);
1903 if (!FirstCU)
1904 FirstCU = NewCU;
1905 CUMap.insert(std::make_pair(N, NewCU));
Bill Wendling2b128d72009-05-20 23:19:06 +00001906}
1907
Devang Patel1a0df9a2010-05-10 22:49:55 +00001908/// getCompielUnit - Get CompileUnit DIE.
1909CompileUnit *DwarfDebug::getCompileUnit(const MDNode *N) const {
1910 assert (N && "Invalid DwarfDebug::getCompileUnit argument!");
1911 DIDescriptor D(N);
1912 const MDNode *CUNode = NULL;
1913 if (D.isCompileUnit())
1914 CUNode = N;
1915 else if (D.isSubprogram())
1916 CUNode = DISubprogram(N).getCompileUnit();
1917 else if (D.isType())
1918 CUNode = DIType(N).getCompileUnit();
1919 else if (D.isGlobalVariable())
1920 CUNode = DIGlobalVariable(N).getCompileUnit();
1921 else if (D.isVariable())
1922 CUNode = DIVariable(N).getCompileUnit();
1923 else if (D.isNameSpace())
1924 CUNode = DINameSpace(N).getCompileUnit();
1925 else if (D.isFile())
1926 CUNode = DIFile(N).getCompileUnit();
1927 else
1928 return FirstCU;
1929
1930 DenseMap<const MDNode *, CompileUnit *>::const_iterator I
1931 = CUMap.find(CUNode);
1932 if (I == CUMap.end())
1933 return FirstCU;
1934 return I->second;
1935}
1936
Devang Patela8652672010-08-23 18:25:56 +00001937/// isUnsignedDIType - Return true if type encoding is unsigned.
1938static bool isUnsignedDIType(DIType Ty) {
1939 DIDerivedType DTy(Ty);
1940 if (DTy.Verify())
1941 return isUnsignedDIType(DTy.getTypeDerivedFrom());
1942
1943 DIBasicType BTy(Ty);
1944 if (BTy.Verify()) {
1945 unsigned Encoding = BTy.getEncoding();
1946 if (Encoding == dwarf::DW_ATE_unsigned ||
1947 Encoding == dwarf::DW_ATE_unsigned_char)
1948 return true;
1949 }
1950 return false;
1951}
Devang Patel1a0df9a2010-05-10 22:49:55 +00001952
Devang Patel2d9e5322011-01-20 00:02:16 +00001953// Return const exprssion if value is a GEP to access merged global
1954// constant. e.g.
1955// i8* getelementptr ({ i8, i8, i8, i8 }* @_MergedGlobals, i32 0, i32 0)
1956static const ConstantExpr *getMergedGlobalExpr(const Value *V) {
1957 const ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(V);
1958 if (!CE || CE->getNumOperands() != 3 ||
1959 CE->getOpcode() != Instruction::GetElementPtr)
1960 return NULL;
1961
1962 // First operand points to a global value.
1963 if (!isa<GlobalValue>(CE->getOperand(0)))
1964 return NULL;
1965
1966 // Second operand is zero.
1967 const ConstantInt *CI =
1968 dyn_cast_or_null<ConstantInt>(CE->getOperand(1));
1969 if (!CI || !CI->isZero())
1970 return NULL;
1971
1972 // Third operand is offset.
1973 if (!isa<ConstantInt>(CE->getOperand(2)))
1974 return NULL;
1975
1976 return CE;
1977}
1978
Devang Patel1a0df9a2010-05-10 22:49:55 +00001979/// constructGlobalVariableDIE - Construct global variable DIE.
Devang Patel32cc43c2010-05-07 20:54:48 +00001980void DwarfDebug::constructGlobalVariableDIE(const MDNode *N) {
Devang Patel469c12d22010-08-10 01:37:23 +00001981 DIGlobalVariable GV(N);
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001982
Devang Patelf5d53602009-09-04 23:59:07 +00001983 // If debug information is malformed then ignore it.
Devang Patel469c12d22010-08-10 01:37:23 +00001984 if (GV.Verify() == false)
Devang Patelf5d53602009-09-04 23:59:07 +00001985 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001986
1987 // Check for pre-existence.
Devang Patel1a0df9a2010-05-10 22:49:55 +00001988 CompileUnit *TheCU = getCompileUnit(N);
Devang Patel469c12d22010-08-10 01:37:23 +00001989 if (TheCU->getDIE(GV))
Devang Patel0751a282009-06-26 01:49:18 +00001990 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00001991
Devang Patel469c12d22010-08-10 01:37:23 +00001992 DIType GTy = GV.getType();
Devang Patelb2197462010-08-10 07:11:13 +00001993 DIE *VariableDIE = new DIE(GV.getTag());
1994
1995 bool isGlobalVariable = GV.getGlobal() != NULL;
Bill Wendling2b128d72009-05-20 23:19:06 +00001996
Devang Patel469c12d22010-08-10 01:37:23 +00001997 // Add name.
1998 addString(VariableDIE, dwarf::DW_AT_name, dwarf::DW_FORM_string,
1999 GV.getDisplayName());
2000 StringRef LinkageName = GV.getLinkageName();
Devang Patelb2197462010-08-10 07:11:13 +00002001 if (!LinkageName.empty() && isGlobalVariable)
Devang Patel469c12d22010-08-10 01:37:23 +00002002 addString(VariableDIE, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
2003 getRealLinkageName(LinkageName));
2004 // Add type.
2005 addType(VariableDIE, GTy);
Devang Patel12d150e2010-04-13 20:35:04 +00002006 if (GTy.isCompositeType() && !GTy.getName().empty()
2007 && !GTy.isForwardDecl()) {
Devang Patel1a0df9a2010-05-10 22:49:55 +00002008 DIEEntry *Entry = TheCU->getDIEEntry(GTy);
Chris Lattner8d2fe282010-03-31 05:36:29 +00002009 assert(Entry && "Missing global type!");
Devang Patel1a0df9a2010-05-10 22:49:55 +00002010 TheCU->addGlobalType(GTy.getName(), Entry->getEntry());
Devang Patel04d2f2d2009-11-24 01:14:22 +00002011 }
Devang Patel469c12d22010-08-10 01:37:23 +00002012 // Add scoping info.
2013 if (!GV.isLocalToUnit()) {
2014 addUInt(VariableDIE, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
2015 // Expose as global.
2016 TheCU->addGlobal(GV.getName(), VariableDIE);
2017 }
2018 // Add line number info.
2019 addSourceLine(VariableDIE, GV);
2020 // Add to map.
2021 TheCU->insertDIE(N, VariableDIE);
2022 // Add to context owner.
2023 DIDescriptor GVContext = GV.getContext();
2024 addToContextOwner(VariableDIE, GVContext);
2025 // Add location.
Devang Patelb2197462010-08-10 07:11:13 +00002026 if (isGlobalVariable) {
2027 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
2028 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
2029 addLabel(Block, 0, dwarf::DW_FORM_udata,
2030 Asm->Mang->getSymbol(GV.getGlobal()));
2031 // Do not create specification DIE if context is either compile unit
2032 // or a subprogram.
2033 if (GV.isDefinition() && !GVContext.isCompileUnit() &&
2034 !GVContext.isFile() && !isSubprogramContext(GVContext)) {
2035 // Create specification DIE.
2036 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
2037 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
2038 dwarf::DW_FORM_ref4, VariableDIE);
2039 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
2040 addUInt(VariableDIE, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
2041 TheCU->addDie(VariableSpecDIE);
2042 } else {
2043 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
2044 }
Devang Patel70eb9822011-01-06 21:39:25 +00002045 } else if (ConstantInt *CI =
2046 dyn_cast_or_null<ConstantInt>(GV.getConstant()))
2047 addConstantValue(VariableDIE, CI, isUnsignedDIType(GTy));
Devang Patel2d9e5322011-01-20 00:02:16 +00002048 else if (const ConstantExpr *CE = getMergedGlobalExpr(N->getOperand(11))) {
2049 // GV is a merged global.
2050 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
2051 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
2052 addLabel(Block, 0, dwarf::DW_FORM_udata,
2053 Asm->Mang->getSymbol(cast<GlobalValue>(CE->getOperand(0))));
2054 ConstantInt *CII = cast<ConstantInt>(CE->getOperand(2));
2055 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
2056 addUInt(Block, 0, dwarf::DW_FORM_udata, CII->getZExtValue());
2057 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
2058 addBlock(VariableDIE, dwarf::DW_AT_location, 0, Block);
2059 }
Devang Patel70eb9822011-01-06 21:39:25 +00002060
Devang Patel0751a282009-06-26 01:49:18 +00002061 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00002062}
2063
Devang Patel1a0df9a2010-05-10 22:49:55 +00002064/// construct SubprogramDIE - Construct subprogram DIE.
Devang Patel32cc43c2010-05-07 20:54:48 +00002065void DwarfDebug::constructSubprogramDIE(const MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +00002066 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +00002067
Stuart Hastings4bd3dd92010-04-06 21:38:29 +00002068 // Check for pre-existence.
Devang Patel1a0df9a2010-05-10 22:49:55 +00002069 CompileUnit *TheCU = getCompileUnit(N);
2070 if (TheCU->getDIE(N))
Stuart Hastings4bd3dd92010-04-06 21:38:29 +00002071 return;
2072
Bill Wendling2b128d72009-05-20 23:19:06 +00002073 if (!SP.isDefinition())
2074 // This is a method declaration which will be handled while constructing
2075 // class type.
Devang Patel0751a282009-06-26 01:49:18 +00002076 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00002077
Stuart Hastings4bd3dd92010-04-06 21:38:29 +00002078 DIE *SubprogramDie = createSubprogramDIE(SP);
2079
2080 // Add to map.
Devang Patel1a0df9a2010-05-10 22:49:55 +00002081 TheCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +00002082
2083 // Add to context owner.
Devang Patel1f4690c2009-12-15 19:16:48 +00002084 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +00002085
Bill Wendling2b128d72009-05-20 23:19:06 +00002086 // Expose as global.
Devang Patel1a0df9a2010-05-10 22:49:55 +00002087 TheCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel04d2f2d2009-11-24 01:14:22 +00002088
Devang Patel0751a282009-06-26 01:49:18 +00002089 return;
Bill Wendling2b128d72009-05-20 23:19:06 +00002090}
2091
Devang Patel930143b2009-11-21 02:48:08 +00002092/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbarbe22ec42009-09-19 20:40:14 +00002093/// content. Create global DIEs and emit initial debug info sections.
2094/// This is inovked by the target AsmPrinter.
Chris Lattner11980022010-04-04 07:48:20 +00002095void DwarfDebug::beginModule(Module *M) {
Devang Patel6c74a872010-04-27 19:46:33 +00002096 if (DisableDebugInfoPrinting)
2097 return;
2098
Devang Patel63524442009-07-30 18:56:46 +00002099 DebugInfoFinder DbgFinder;
2100 DbgFinder.processModule(*M);
Devang Patel0751a282009-06-26 01:49:18 +00002101
Chris Lattner7cfa70e2010-04-05 02:19:28 +00002102 bool HasDebugInfo = false;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002103
Chris Lattner7cfa70e2010-04-05 02:19:28 +00002104 // Scan all the compile-units to see if there are any marked as the main unit.
2105 // if not, we do not generate debug info.
2106 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
2107 E = DbgFinder.compile_unit_end(); I != E; ++I) {
2108 if (DICompileUnit(*I).isMain()) {
2109 HasDebugInfo = true;
2110 break;
2111 }
2112 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002113
Chris Lattner7cfa70e2010-04-05 02:19:28 +00002114 if (!HasDebugInfo) return;
2115
2116 // Tell MMI that we have debug info.
2117 MMI->setDebugInfoAvailability(true);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002118
Chris Lattnerd442aa32010-04-04 23:17:54 +00002119 // Emit initial sections.
Chris Lattner7cfa70e2010-04-05 02:19:28 +00002120 EmitSectionLabels();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002121
Bill Wendling2b128d72009-05-20 23:19:06 +00002122 // Create all the compile unit DIEs.
Devang Patel63524442009-07-30 18:56:46 +00002123 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
2124 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00002125 constructCompileUnit(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00002126
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002127 // Create DIEs for each subprogram.
Devang Patel63524442009-07-30 18:56:46 +00002128 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
2129 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00002130 constructSubprogramDIE(*I);
Devang Patel0751a282009-06-26 01:49:18 +00002131
Devang Patel2b75ed22009-12-10 19:14:49 +00002132 // Create DIEs for each global variable.
2133 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
2134 E = DbgFinder.global_variable_end(); I != E; ++I)
2135 constructGlobalVariableDIE(*I);
2136
Devang Patel8e06a5e2010-08-10 20:01:20 +00002137 //getOrCreateTypeDIE
2138 if (NamedMDNode *NMD = M->getNamedMetadata("llvm.dbg.enum"))
2139 for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i)
2140 getOrCreateTypeDIE(DIType(NMD->getOperand(i)));
2141
Devang Patel7a554812010-09-28 18:08:20 +00002142 if (NamedMDNode *NMD = M->getNamedMetadata("llvm.dbg.ty"))
2143 for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i)
2144 getOrCreateTypeDIE(DIType(NMD->getOperand(i)));
2145
Bill Wendling2b128d72009-05-20 23:19:06 +00002146 // Prime section data.
Chris Lattner5e693ed2009-07-28 03:13:23 +00002147 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +00002148}
2149
Devang Patel930143b2009-11-21 02:48:08 +00002150/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendling2b128d72009-05-20 23:19:06 +00002151///
Devang Patel930143b2009-11-21 02:48:08 +00002152void DwarfDebug::endModule() {
Devang Patel1a0df9a2010-05-10 22:49:55 +00002153 if (!FirstCU) return;
Devang Patelf3b2db62010-06-28 18:25:03 +00002154 const Module *M = MMI->getModule();
Devang Pateld0701282010-08-02 17:32:15 +00002155 DenseMap<const MDNode *, DbgScope *> DeadFnScopeMap;
Devang Patelf3b2db62010-06-28 18:25:03 +00002156 if (NamedMDNode *AllSPs = M->getNamedMetadata("llvm.dbg.sp")) {
2157 for (unsigned SI = 0, SE = AllSPs->getNumOperands(); SI != SE; ++SI) {
2158 if (ProcessedSPNodes.count(AllSPs->getOperand(SI)) != 0) continue;
2159 DISubprogram SP(AllSPs->getOperand(SI));
2160 if (!SP.Verify()) continue;
2161
2162 // Collect info for variables that were optimized out.
Devang Patel18efced2010-07-19 17:53:55 +00002163 if (!SP.isDefinition()) continue;
Devang Patelf3b2db62010-06-28 18:25:03 +00002164 StringRef FName = SP.getLinkageName();
2165 if (FName.empty())
2166 FName = SP.getName();
Devang Patel364bf042010-11-10 22:19:21 +00002167 NamedMDNode *NMD = getFnSpecificMDNode(*(MMI->getModule()), FName);
Devang Patelf3b2db62010-06-28 18:25:03 +00002168 if (!NMD) continue;
2169 unsigned E = NMD->getNumOperands();
2170 if (!E) continue;
2171 DbgScope *Scope = new DbgScope(NULL, DIDescriptor(SP), NULL);
Devang Pateld0701282010-08-02 17:32:15 +00002172 DeadFnScopeMap[SP] = Scope;
Devang Patelf3b2db62010-06-28 18:25:03 +00002173 for (unsigned I = 0; I != E; ++I) {
2174 DIVariable DV(NMD->getOperand(I));
2175 if (!DV.Verify()) continue;
2176 Scope->addVariable(new DbgVariable(DV));
2177 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002178
Devang Patelf3b2db62010-06-28 18:25:03 +00002179 // Construct subprogram DIE and add variables DIEs.
2180 constructSubprogramDIE(SP);
2181 DIE *ScopeDIE = getCompileUnit(SP)->getDIE(SP);
Devang Patel406798a2010-08-09 18:51:29 +00002182 const SmallVector<DbgVariable *, 8> &Variables = Scope->getDbgVariables();
Devang Patelf3b2db62010-06-28 18:25:03 +00002183 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
2184 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
2185 if (VariableDIE)
2186 ScopeDIE->addChild(VariableDIE);
2187 }
2188 }
2189 }
Bill Wendling2b128d72009-05-20 23:19:06 +00002190
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002191 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
2192 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
2193 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
2194 DIE *ISP = *AI;
Devang Patel930143b2009-11-21 02:48:08 +00002195 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002196 }
2197
Devang Patel32cc43c2010-05-07 20:54:48 +00002198 for (DenseMap<DIE *, const MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Pateleb57c592009-12-03 19:11:07 +00002199 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
2200 DIE *SPDie = CI->first;
Devang Patel32cc43c2010-05-07 20:54:48 +00002201 const MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
Devang Pateleb57c592009-12-03 19:11:07 +00002202 if (!N) continue;
Devang Patel1a0df9a2010-05-10 22:49:55 +00002203 DIE *NDie = getCompileUnit(N)->getDIE(N);
Devang Pateleb57c592009-12-03 19:11:07 +00002204 if (!NDie) continue;
2205 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Pateleb57c592009-12-03 19:11:07 +00002206 }
2207
Bill Wendling2b128d72009-05-20 23:19:06 +00002208 // Standard sections final addresses.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002209 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnera179b522010-04-04 19:25:43 +00002210 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002211 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnera179b522010-04-04 19:25:43 +00002212 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendling2b128d72009-05-20 23:19:06 +00002213
2214 // End text sections.
2215 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002216 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattnera179b522010-04-04 19:25:43 +00002217 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", i));
Bill Wendling2b128d72009-05-20 23:19:06 +00002218 }
2219
2220 // Emit common frame information.
Devang Patel930143b2009-11-21 02:48:08 +00002221 emitCommonDebugFrame();
Bill Wendling2b128d72009-05-20 23:19:06 +00002222
2223 // Emit function debug frame information
2224 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
2225 E = DebugFrames.end(); I != E; ++I)
Devang Patel930143b2009-11-21 02:48:08 +00002226 emitFunctionDebugFrame(*I);
Bill Wendling2b128d72009-05-20 23:19:06 +00002227
2228 // Compute DIE offsets and sizes.
Devang Patel930143b2009-11-21 02:48:08 +00002229 computeSizeAndOffsets();
Bill Wendling2b128d72009-05-20 23:19:06 +00002230
2231 // Emit all the DIEs into a debug info section
Devang Patel930143b2009-11-21 02:48:08 +00002232 emitDebugInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00002233
2234 // Corresponding abbreviations into a abbrev section.
Devang Patel930143b2009-11-21 02:48:08 +00002235 emitAbbreviations();
Bill Wendling2b128d72009-05-20 23:19:06 +00002236
Bill Wendling2b128d72009-05-20 23:19:06 +00002237 // Emit info into a debug pubnames section.
Devang Patel930143b2009-11-21 02:48:08 +00002238 emitDebugPubNames();
Bill Wendling2b128d72009-05-20 23:19:06 +00002239
Devang Patel04d2f2d2009-11-24 01:14:22 +00002240 // Emit info into a debug pubtypes section.
2241 emitDebugPubTypes();
2242
Bill Wendling2b128d72009-05-20 23:19:06 +00002243 // Emit info into a debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00002244 emitDebugLoc();
Bill Wendling2b128d72009-05-20 23:19:06 +00002245
2246 // Emit info into a debug aranges section.
2247 EmitDebugARanges();
2248
2249 // Emit info into a debug ranges section.
Devang Patel930143b2009-11-21 02:48:08 +00002250 emitDebugRanges();
Bill Wendling2b128d72009-05-20 23:19:06 +00002251
2252 // Emit info into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00002253 emitDebugMacInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00002254
2255 // Emit inline info.
Devang Patel930143b2009-11-21 02:48:08 +00002256 emitDebugInlineInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00002257
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002258 // Emit info into a debug str section.
2259 emitDebugStr();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002260
Devang Pateld0701282010-08-02 17:32:15 +00002261 // clean up.
2262 DeleteContainerSeconds(DeadFnScopeMap);
Devang Patel1a0df9a2010-05-10 22:49:55 +00002263 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2264 E = CUMap.end(); I != E; ++I)
2265 delete I->second;
2266 FirstCU = NULL; // Reset for the next Module, if any.
Bill Wendling2b128d72009-05-20 23:19:06 +00002267}
2268
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002269/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002270DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
Chris Lattner915c5f92010-04-02 19:42:39 +00002271 DebugLoc ScopeLoc) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002272
Devang Patelcfa8e9d2010-05-07 18:11:54 +00002273 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002274 if (AbsDbgVariable)
2275 return AbsDbgVariable;
2276
Devang Patelcfa8e9d2010-05-07 18:11:54 +00002277 LLVMContext &Ctx = Var->getContext();
Chris Lattner915c5f92010-04-02 19:42:39 +00002278 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002279 if (!Scope)
2280 return NULL;
2281
Devang Patele1c53f22010-05-20 16:36:41 +00002282 AbsDbgVariable = new DbgVariable(Var);
Devang Patel930143b2009-11-21 02:48:08 +00002283 Scope->addVariable(AbsDbgVariable);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00002284 AbstractVariables[Var] = AbsDbgVariable;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002285 return AbsDbgVariable;
2286}
2287
Devang Patel490c8ab2010-05-20 19:57:06 +00002288/// collectVariableInfoFromMMITable - Collect variable information from
2289/// side table maintained by MMI.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002290void
Devang Patel490c8ab2010-05-20 19:57:06 +00002291DwarfDebug::collectVariableInfoFromMMITable(const MachineFunction * MF,
2292 SmallPtrSet<const MDNode *, 16> &Processed) {
Chris Lattner3a383cb2010-04-05 00:13:49 +00002293 const LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Devang Patel475d32a2009-10-06 01:26:37 +00002294 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
2295 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
2296 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel32cc43c2010-05-07 20:54:48 +00002297 const MDNode *Var = VI->first;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002298 if (!Var) continue;
Devang Patele0a94bf2010-05-14 21:01:35 +00002299 Processed.insert(Var);
Chris Lattner915c5f92010-04-02 19:42:39 +00002300 DIVariable DV(Var);
2301 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002302
Chris Lattner915c5f92010-04-02 19:42:39 +00002303 DbgScope *Scope = 0;
Devang Patel32cc43c2010-05-07 20:54:48 +00002304 if (const MDNode *IA = VP.second.getInlinedAt(Ctx))
Chris Lattner915c5f92010-04-02 19:42:39 +00002305 Scope = ConcreteScopes.lookup(IA);
2306 if (Scope == 0)
2307 Scope = DbgScopeMap.lookup(VP.second.getScope(Ctx));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002308
Devang Patelcdb7d442009-11-10 23:20:04 +00002309 // If variable scope is not found then skip this variable.
Chris Lattner915c5f92010-04-02 19:42:39 +00002310 if (Scope == 0)
Devang Patelcdb7d442009-11-10 23:20:04 +00002311 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002312
Devang Patele1c53f22010-05-20 16:36:41 +00002313 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.second);
2314 DbgVariable *RegVar = new DbgVariable(DV);
2315 recordVariableFrameIndex(RegVar, VP.first);
Devang Patel930143b2009-11-21 02:48:08 +00002316 Scope->addVariable(RegVar);
Devang Patele1c53f22010-05-20 16:36:41 +00002317 if (AbsDbgVariable) {
2318 recordVariableFrameIndex(AbsDbgVariable, VP.first);
2319 VarToAbstractVarMap[RegVar] = AbsDbgVariable;
2320 }
Devang Patel475d32a2009-10-06 01:26:37 +00002321 }
Devang Patel490c8ab2010-05-20 19:57:06 +00002322}
Devang Patela3e9c9c2010-03-15 18:33:46 +00002323
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002324/// isDbgValueInDefinedReg - Return true if debug value, encoded by
Devang Patel9fc11702010-05-25 23:40:22 +00002325/// DBG_VALUE instruction, is in a defined reg.
2326static bool isDbgValueInDefinedReg(const MachineInstr *MI) {
2327 assert (MI->isDebugValue() && "Invalid DBG_VALUE machine instruction!");
2328 if (MI->getOperand(0).isReg() && MI->getOperand(0).getReg())
2329 return true;
2330 return false;
2331}
2332
Devang Patel490c8ab2010-05-20 19:57:06 +00002333/// collectVariableInfo - Populate DbgScope entries with variables' info.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002334void
Devang Patel5c0f85c2010-06-25 22:07:34 +00002335DwarfDebug::collectVariableInfo(const MachineFunction *MF,
2336 SmallPtrSet<const MDNode *, 16> &Processed) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002337
Devang Patel490c8ab2010-05-20 19:57:06 +00002338 /// collection info from MMI table.
2339 collectVariableInfoFromMMITable(MF, Processed);
2340
2341 SmallVector<const MachineInstr *, 8> DbgValues;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002342 // Collect variable information from DBG_VALUE machine instructions;
Chris Lattner3a383cb2010-04-05 00:13:49 +00002343 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel490c8ab2010-05-20 19:57:06 +00002344 I != E; ++I)
Devang Patela3e9c9c2010-03-15 18:33:46 +00002345 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2346 II != IE; ++II) {
2347 const MachineInstr *MInsn = II;
Devang Patel447cb382011-01-11 21:42:10 +00002348 if (!MInsn->isDebugValue())
Devang Patela3e9c9c2010-03-15 18:33:46 +00002349 continue;
Devang Patel490c8ab2010-05-20 19:57:06 +00002350 DbgValues.push_back(MInsn);
2351 }
Devang Patela3e9c9c2010-03-15 18:33:46 +00002352
Devang Patel9fc11702010-05-25 23:40:22 +00002353 // This is a collection of DBV_VALUE instructions describing same variable.
2354 SmallVector<const MachineInstr *, 4> MultipleValues;
Devang Patel490c8ab2010-05-20 19:57:06 +00002355 for(SmallVector<const MachineInstr *, 8>::iterator I = DbgValues.begin(),
2356 E = DbgValues.end(); I != E; ++I) {
2357 const MachineInstr *MInsn = *I;
Devang Patel9fc11702010-05-25 23:40:22 +00002358 MultipleValues.clear();
2359 if (isDbgValueInDefinedReg(MInsn))
2360 MultipleValues.push_back(MInsn);
Devang Patel490c8ab2010-05-20 19:57:06 +00002361 DIVariable DV(MInsn->getOperand(MInsn->getNumOperands() - 1).getMetadata());
2362 if (Processed.count(DV) != 0)
2363 continue;
2364
Devang Patelc2254f62010-06-02 19:05:13 +00002365 const MachineInstr *PrevMI = MInsn;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002366 for (SmallVector<const MachineInstr *, 8>::iterator MI = I+1,
Devang Patel9fc11702010-05-25 23:40:22 +00002367 ME = DbgValues.end(); MI != ME; ++MI) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002368 const MDNode *Var =
Devang Patel9fc11702010-05-25 23:40:22 +00002369 (*MI)->getOperand((*MI)->getNumOperands()-1).getMetadata();
Devang Patel447cb382011-01-11 21:42:10 +00002370 if (Var == DV &&
Devang Patelc2254f62010-06-02 19:05:13 +00002371 !PrevMI->isIdenticalTo(*MI))
Devang Patel9fc11702010-05-25 23:40:22 +00002372 MultipleValues.push_back(*MI);
Devang Patelc2254f62010-06-02 19:05:13 +00002373 PrevMI = *MI;
Devang Patel9fc11702010-05-25 23:40:22 +00002374 }
2375
Devang Patel447cb382011-01-11 21:42:10 +00002376 DbgScope *Scope = NULL;
Devang Patel7a9dedf2010-05-27 20:25:04 +00002377 if (DV.getTag() == dwarf::DW_TAG_arg_variable &&
2378 DISubprogram(DV.getContext()).describes(MF->getFunction()))
Devang Patelfbd6c452010-05-21 00:10:20 +00002379 Scope = CurrentFnDbgScope;
Devang Patel447cb382011-01-11 21:42:10 +00002380 else
2381 Scope = findDbgScope(MInsn);
Devang Patel490c8ab2010-05-20 19:57:06 +00002382 // If variable scope is not found then skip this variable.
Devang Patelfbd6c452010-05-21 00:10:20 +00002383 if (!Scope)
Devang Patel490c8ab2010-05-20 19:57:06 +00002384 continue;
2385
2386 Processed.insert(DV);
Devang Patel490c8ab2010-05-20 19:57:06 +00002387 DbgVariable *RegVar = new DbgVariable(DV);
Devang Patel490c8ab2010-05-20 19:57:06 +00002388 Scope->addVariable(RegVar);
Devang Patelfbd6c452010-05-21 00:10:20 +00002389 if (DbgVariable *AbsVar = findAbstractVariable(DV, MInsn->getDebugLoc())) {
2390 DbgVariableToDbgInstMap[AbsVar] = MInsn;
2391 VarToAbstractVarMap[RegVar] = AbsVar;
Devang Patela3e9c9c2010-03-15 18:33:46 +00002392 }
Devang Patel9fc11702010-05-25 23:40:22 +00002393 if (MultipleValues.size() <= 1) {
2394 DbgVariableToDbgInstMap[RegVar] = MInsn;
2395 continue;
2396 }
2397
2398 // handle multiple DBG_VALUE instructions describing one variable.
Devang Patel9fc11702010-05-25 23:40:22 +00002399 if (DotDebugLocEntries.empty())
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002400 RegVar->setDotDebugLocOffset(0);
2401 else
2402 RegVar->setDotDebugLocOffset(DotDebugLocEntries.size());
Devang Patel5a5e0bc2010-05-26 17:29:32 +00002403 const MachineInstr *Begin = NULL;
2404 const MachineInstr *End = NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002405 for (SmallVector<const MachineInstr *, 4>::iterator
2406 MVI = MultipleValues.begin(), MVE = MultipleValues.end();
Devang Patel30265c42010-07-07 20:12:52 +00002407 MVI != MVE; ++MVI) {
Devang Patel5a5e0bc2010-05-26 17:29:32 +00002408 if (!Begin) {
2409 Begin = *MVI;
2410 continue;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002411 }
Devang Patel5a5e0bc2010-05-26 17:29:32 +00002412 End = *MVI;
Devang Patel9fc11702010-05-25 23:40:22 +00002413 MachineLocation MLoc;
Devang Patel0e60e672010-08-04 18:40:52 +00002414 if (Begin->getNumOperands() == 3) {
2415 if (Begin->getOperand(0).isReg() && Begin->getOperand(1).isImm())
2416 MLoc.set(Begin->getOperand(0).getReg(), Begin->getOperand(1).getImm());
2417 } else
2418 MLoc = Asm->getDebugValueLocation(Begin);
2419
Devang Patel5a5e0bc2010-05-26 17:29:32 +00002420 const MCSymbol *FLabel = getLabelBeforeInsn(Begin);
2421 const MCSymbol *SLabel = getLabelBeforeInsn(End);
Devang Patel6c378ac2010-08-04 22:07:27 +00002422 if (MLoc.getReg())
2423 DotDebugLocEntries.push_back(DotDebugLocEntry(FLabel, SLabel, MLoc));
2424
Devang Patel5a5e0bc2010-05-26 17:29:32 +00002425 Begin = End;
2426 if (MVI + 1 == MVE) {
2427 // If End is the last instruction then its value is valid
Devang Patel9fc11702010-05-25 23:40:22 +00002428 // until the end of the funtion.
Devang Patel0e60e672010-08-04 18:40:52 +00002429 MachineLocation EMLoc;
2430 if (End->getNumOperands() == 3) {
2431 if (End->getOperand(0).isReg() && Begin->getOperand(1).isImm())
2432 EMLoc.set(Begin->getOperand(0).getReg(), Begin->getOperand(1).getImm());
2433 } else
2434 EMLoc = Asm->getDebugValueLocation(End);
Devang Patel6c378ac2010-08-04 22:07:27 +00002435 if (EMLoc.getReg())
2436 DotDebugLocEntries.
2437 push_back(DotDebugLocEntry(SLabel, FunctionEndSym, EMLoc));
Devang Patel9fc11702010-05-25 23:40:22 +00002438 }
2439 }
2440 DotDebugLocEntries.push_back(DotDebugLocEntry());
Devang Patela3e9c9c2010-03-15 18:33:46 +00002441 }
Devang Patele0a94bf2010-05-14 21:01:35 +00002442
2443 // Collect info for variables that were optimized out.
Devang Patelad517352010-06-22 01:01:58 +00002444 const Function *F = MF->getFunction();
Devang Patel364bf042010-11-10 22:19:21 +00002445 if (NamedMDNode *NMD = getFnSpecificMDNode(*(F->getParent()), F->getName())) {
Devang Patele0a94bf2010-05-14 21:01:35 +00002446 for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) {
Dan Gohman093cb792010-07-21 18:54:18 +00002447 DIVariable DV(cast<MDNode>(NMD->getOperand(i)));
Devang Patel490c8ab2010-05-20 19:57:06 +00002448 if (!DV || !Processed.insert(DV))
Devang Patele0a94bf2010-05-14 21:01:35 +00002449 continue;
2450 DbgScope *Scope = DbgScopeMap.lookup(DV.getContext());
2451 if (Scope)
Devang Patele1c53f22010-05-20 16:36:41 +00002452 Scope->addVariable(new DbgVariable(DV));
Devang Patele0a94bf2010-05-14 21:01:35 +00002453 }
2454 }
Devang Patel9fc11702010-05-25 23:40:22 +00002455}
Devang Patele0a94bf2010-05-14 21:01:35 +00002456
Devang Patel9fc11702010-05-25 23:40:22 +00002457/// getLabelBeforeInsn - Return Label preceding the instruction.
2458const MCSymbol *DwarfDebug::getLabelBeforeInsn(const MachineInstr *MI) {
2459 DenseMap<const MachineInstr *, MCSymbol *>::iterator I =
2460 LabelsBeforeInsn.find(MI);
2461 if (I == LabelsBeforeInsn.end())
2462 // FunctionBeginSym always preceeds all the instruction in current function.
2463 return FunctionBeginSym;
2464 return I->second;
2465}
2466
2467/// getLabelAfterInsn - Return Label immediately following the instruction.
2468const MCSymbol *DwarfDebug::getLabelAfterInsn(const MachineInstr *MI) {
2469 DenseMap<const MachineInstr *, MCSymbol *>::iterator I =
2470 LabelsAfterInsn.find(MI);
2471 if (I == LabelsAfterInsn.end())
2472 return NULL;
2473 return I->second;
Devang Patel475d32a2009-10-06 01:26:37 +00002474}
2475
Devang Patelb5694e72010-10-26 17:49:02 +00002476/// beginInstruction - Process beginning of an instruction.
2477void DwarfDebug::beginInstruction(const MachineInstr *MI) {
Devang Patel002d54d2010-05-26 19:37:24 +00002478 if (InsnNeedsLabel.count(MI) == 0) {
2479 LabelsBeforeInsn[MI] = PrevLabel;
Devang Patelbd477be2010-03-29 17:20:31 +00002480 return;
Devang Patel9fc11702010-05-25 23:40:22 +00002481 }
Devang Patel23b2ae62010-03-29 22:59:58 +00002482
Devang Patel002d54d2010-05-26 19:37:24 +00002483 // Check location.
2484 DebugLoc DL = MI->getDebugLoc();
2485 if (!DL.isUnknown()) {
2486 const MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
2487 PrevLabel = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
Devang Patel6c74a872010-04-27 19:46:33 +00002488 PrevInstLoc = DL;
Devang Patel002d54d2010-05-26 19:37:24 +00002489 LabelsBeforeInsn[MI] = PrevLabel;
2490 return;
Devang Patel6c74a872010-04-27 19:46:33 +00002491 }
Devang Patelbd477be2010-03-29 17:20:31 +00002492
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002493 // If location is unknown then use temp label for this DBG_VALUE
Devang Patel002d54d2010-05-26 19:37:24 +00002494 // instruction.
2495 if (MI->isDebugValue()) {
Devang Patelacc32a52010-05-26 21:23:46 +00002496 PrevLabel = MMI->getContext().CreateTempSymbol();
2497 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patel002d54d2010-05-26 19:37:24 +00002498 LabelsBeforeInsn[MI] = PrevLabel;
2499 return;
2500 }
2501
2502 if (UnknownLocations) {
2503 PrevLabel = recordSourceLine(0, 0, 0);
2504 LabelsBeforeInsn[MI] = PrevLabel;
2505 return;
2506 }
2507
2508 assert (0 && "Instruction is not processed!");
Devang Patel8db360d2009-10-06 01:50:42 +00002509}
2510
Devang Patelb5694e72010-10-26 17:49:02 +00002511/// endInstruction - Process end of an instruction.
2512void DwarfDebug::endInstruction(const MachineInstr *MI) {
Devang Patel3ebd8932010-04-08 16:50:29 +00002513 if (InsnsEndScopeSet.count(MI) != 0) {
2514 // Emit a label if this instruction ends a scope.
2515 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
2516 Asm->OutStreamer.EmitLabel(Label);
Devang Patel6c74a872010-04-27 19:46:33 +00002517 LabelsAfterInsn[MI] = Label;
Devang Patel3ebd8932010-04-08 16:50:29 +00002518 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002519}
2520
Devang Patel6c74a872010-04-27 19:46:33 +00002521/// getOrCreateDbgScope - Create DbgScope for the scope.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002522DbgScope *DwarfDebug::getOrCreateDbgScope(const MDNode *Scope,
Devang Patel30265c42010-07-07 20:12:52 +00002523 const MDNode *InlinedAt) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002524 if (!InlinedAt) {
2525 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2526 if (WScope)
Devang Patel6c74a872010-04-27 19:46:33 +00002527 return WScope;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002528 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2529 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Devang Patel6c74a872010-04-27 19:46:33 +00002530 if (DIDescriptor(Scope).isLexicalBlock()) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002531 DbgScope *Parent =
Devang Patelcfa8e9d2010-05-07 18:11:54 +00002532 getOrCreateDbgScope(DILexicalBlock(Scope).getContext(), NULL);
Devang Patel6c74a872010-04-27 19:46:33 +00002533 WScope->setParent(Parent);
2534 Parent->addScope(WScope);
2535 }
2536
2537 if (!WScope->getParent()) {
2538 StringRef SPName = DISubprogram(Scope).getLinkageName();
Stuart Hastings9b5005c2010-06-15 23:06:30 +00002539 // We used to check only for a linkage name, but that fails
2540 // since we began omitting the linkage name for private
2541 // functions. The new way is to check for the name in metadata,
2542 // but that's not supported in old .ll test cases. Ergo, we
2543 // check both.
Stuart Hastingsafe54f12010-06-11 20:08:44 +00002544 if (SPName == Asm->MF->getFunction()->getName() ||
2545 DISubprogram(Scope).getFunction() == Asm->MF->getFunction())
Devang Patel6c74a872010-04-27 19:46:33 +00002546 CurrentFnDbgScope = WScope;
2547 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002548
Devang Patel6c74a872010-04-27 19:46:33 +00002549 return WScope;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002550 }
2551
Devang Patel5c0f85c2010-06-25 22:07:34 +00002552 getOrCreateAbstractScope(Scope);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002553 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2554 if (WScope)
Devang Patel6c74a872010-04-27 19:46:33 +00002555 return WScope;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002556
2557 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2558 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2559 DILocation DL(InlinedAt);
Devang Patel6c74a872010-04-27 19:46:33 +00002560 DbgScope *Parent =
Devang Patelcfa8e9d2010-05-07 18:11:54 +00002561 getOrCreateDbgScope(DL.getScope(), DL.getOrigLocation());
Devang Patel6c74a872010-04-27 19:46:33 +00002562 WScope->setParent(Parent);
2563 Parent->addScope(WScope);
2564
2565 ConcreteScopes[InlinedAt] = WScope;
Devang Patel6c74a872010-04-27 19:46:33 +00002566
2567 return WScope;
Devang Patel8db360d2009-10-06 01:50:42 +00002568}
2569
Devang Patel6c74a872010-04-27 19:46:33 +00002570/// hasValidLocation - Return true if debug location entry attached with
2571/// machine instruction encodes valid location info.
2572static bool hasValidLocation(LLVMContext &Ctx,
2573 const MachineInstr *MInsn,
Devang Patel32cc43c2010-05-07 20:54:48 +00002574 const MDNode *&Scope, const MDNode *&InlinedAt) {
Devang Patel6c74a872010-04-27 19:46:33 +00002575 DebugLoc DL = MInsn->getDebugLoc();
2576 if (DL.isUnknown()) return false;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002577
Devang Patel32cc43c2010-05-07 20:54:48 +00002578 const MDNode *S = DL.getScope(Ctx);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002579
Devang Patel6c74a872010-04-27 19:46:33 +00002580 // There is no need to create another DIE for compile unit. For all
2581 // other scopes, create one DbgScope now. This will be translated
2582 // into a scope DIE at the end.
2583 if (DIScope(S).isCompileUnit()) return false;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002584
Devang Patel6c74a872010-04-27 19:46:33 +00002585 Scope = S;
2586 InlinedAt = DL.getInlinedAt(Ctx);
2587 return true;
2588}
2589
2590/// calculateDominanceGraph - Calculate dominance graph for DbgScope
2591/// hierarchy.
2592static void calculateDominanceGraph(DbgScope *Scope) {
2593 assert (Scope && "Unable to calculate scop edominance graph!");
2594 SmallVector<DbgScope *, 4> WorkStack;
2595 WorkStack.push_back(Scope);
2596 unsigned Counter = 0;
2597 while (!WorkStack.empty()) {
2598 DbgScope *WS = WorkStack.back();
2599 const SmallVector<DbgScope *, 4> &Children = WS->getScopes();
2600 bool visitedChildren = false;
2601 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
2602 SE = Children.end(); SI != SE; ++SI) {
2603 DbgScope *ChildScope = *SI;
2604 if (!ChildScope->getDFSOut()) {
2605 WorkStack.push_back(ChildScope);
2606 visitedChildren = true;
2607 ChildScope->setDFSIn(++Counter);
2608 break;
2609 }
2610 }
2611 if (!visitedChildren) {
2612 WorkStack.pop_back();
2613 WS->setDFSOut(++Counter);
2614 }
2615 }
2616}
2617
2618/// printDbgScopeInfo - Print DbgScope info for each machine instruction.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002619static
Devang Patel6c74a872010-04-27 19:46:33 +00002620void printDbgScopeInfo(LLVMContext &Ctx, const MachineFunction *MF,
2621 DenseMap<const MachineInstr *, DbgScope *> &MI2ScopeMap)
2622{
2623#ifndef NDEBUG
2624 unsigned PrevDFSIn = 0;
2625 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2626 I != E; ++I) {
2627 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2628 II != IE; ++II) {
2629 const MachineInstr *MInsn = II;
Devang Patel32cc43c2010-05-07 20:54:48 +00002630 const MDNode *Scope = NULL;
2631 const MDNode *InlinedAt = NULL;
Devang Patel6c74a872010-04-27 19:46:33 +00002632
2633 // Check if instruction has valid location information.
2634 if (hasValidLocation(Ctx, MInsn, Scope, InlinedAt)) {
2635 dbgs() << " [ ";
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002636 if (InlinedAt)
Devang Patel6c74a872010-04-27 19:46:33 +00002637 dbgs() << "*";
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002638 DenseMap<const MachineInstr *, DbgScope *>::iterator DI =
Devang Patel6c74a872010-04-27 19:46:33 +00002639 MI2ScopeMap.find(MInsn);
2640 if (DI != MI2ScopeMap.end()) {
2641 DbgScope *S = DI->second;
2642 dbgs() << S->getDFSIn();
2643 PrevDFSIn = S->getDFSIn();
2644 } else
2645 dbgs() << PrevDFSIn;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002646 } else
Devang Patel6c74a872010-04-27 19:46:33 +00002647 dbgs() << " [ x" << PrevDFSIn;
2648 dbgs() << " ]";
2649 MInsn->dump();
2650 }
2651 dbgs() << "\n";
2652 }
2653#endif
2654}
Devang Patel930143b2009-11-21 02:48:08 +00002655/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner848c7d22010-03-31 05:39:57 +00002656/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattner76555b52010-01-26 23:18:02 +00002657bool DwarfDebug::extractScopeInformation() {
Devang Patel75cc16c2009-10-01 20:31:14 +00002658 // If scope information was extracted using .dbg intrinsics then there is not
2659 // any need to extract these information by scanning each instruction.
2660 if (!DbgScopeMap.empty())
2661 return false;
2662
Dan Gohmane9135cb2010-04-23 01:18:53 +00002663 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel6c74a872010-04-27 19:46:33 +00002664 LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
2665 SmallVector<DbgRange, 4> MIRanges;
2666 DenseMap<const MachineInstr *, DbgScope *> MI2ScopeMap;
Devang Patel32cc43c2010-05-07 20:54:48 +00002667 const MDNode *PrevScope = NULL;
2668 const MDNode *PrevInlinedAt = NULL;
Devang Patel6c74a872010-04-27 19:46:33 +00002669 const MachineInstr *RangeBeginMI = NULL;
2670 const MachineInstr *PrevMI = NULL;
Chris Lattner3a383cb2010-04-05 00:13:49 +00002671 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel75cc16c2009-10-01 20:31:14 +00002672 I != E; ++I) {
2673 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2674 II != IE; ++II) {
2675 const MachineInstr *MInsn = II;
Devang Patel32cc43c2010-05-07 20:54:48 +00002676 const MDNode *Scope = NULL;
2677 const MDNode *InlinedAt = NULL;
Devang Patel6c74a872010-04-27 19:46:33 +00002678
2679 // Check if instruction has valid location information.
2680 if (!hasValidLocation(Ctx, MInsn, Scope, InlinedAt)) {
2681 PrevMI = MInsn;
2682 continue;
2683 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002684
Devang Patel6c74a872010-04-27 19:46:33 +00002685 // If scope has not changed then skip this instruction.
2686 if (Scope == PrevScope && PrevInlinedAt == InlinedAt) {
2687 PrevMI = MInsn;
2688 continue;
2689 }
2690
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002691 if (RangeBeginMI) {
2692 // If we have alread seen a beginning of a instruction range and
Devang Patel6c74a872010-04-27 19:46:33 +00002693 // current instruction scope does not match scope of first instruction
2694 // in this range then create a new instruction range.
2695 DbgRange R(RangeBeginMI, PrevMI);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002696 MI2ScopeMap[RangeBeginMI] = getOrCreateDbgScope(PrevScope,
Devang Patel30265c42010-07-07 20:12:52 +00002697 PrevInlinedAt);
Devang Patel6c74a872010-04-27 19:46:33 +00002698 MIRanges.push_back(R);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002699 }
Devang Patel6c74a872010-04-27 19:46:33 +00002700
2701 // This is a beginning of a new instruction range.
2702 RangeBeginMI = MInsn;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002703
Devang Patel6c74a872010-04-27 19:46:33 +00002704 // Reset previous markers.
2705 PrevMI = MInsn;
2706 PrevScope = Scope;
2707 PrevInlinedAt = InlinedAt;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002708 }
2709 }
2710
Devang Patel6c74a872010-04-27 19:46:33 +00002711 // Create last instruction range.
2712 if (RangeBeginMI && PrevMI && PrevScope) {
2713 DbgRange R(RangeBeginMI, PrevMI);
2714 MIRanges.push_back(R);
2715 MI2ScopeMap[RangeBeginMI] = getOrCreateDbgScope(PrevScope, PrevInlinedAt);
Devang Patel75cc16c2009-10-01 20:31:14 +00002716 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002717
Devang Patel530a0752010-01-04 20:44:00 +00002718 if (!CurrentFnDbgScope)
2719 return false;
2720
Devang Patel6c74a872010-04-27 19:46:33 +00002721 calculateDominanceGraph(CurrentFnDbgScope);
2722 if (PrintDbgScope)
2723 printDbgScopeInfo(Ctx, Asm->MF, MI2ScopeMap);
2724
2725 // Find ranges of instructions covered by each DbgScope;
2726 DbgScope *PrevDbgScope = NULL;
2727 for (SmallVector<DbgRange, 4>::const_iterator RI = MIRanges.begin(),
2728 RE = MIRanges.end(); RI != RE; ++RI) {
2729 const DbgRange &R = *RI;
2730 DbgScope *S = MI2ScopeMap.lookup(R.first);
2731 assert (S && "Lost DbgScope for a machine instruction!");
2732 if (PrevDbgScope && !PrevDbgScope->dominates(S))
2733 PrevDbgScope->closeInsnRange(S);
2734 S->openInsnRange(R.first);
2735 S->extendInsnRange(R.second);
2736 PrevDbgScope = S;
2737 }
2738
2739 if (PrevDbgScope)
2740 PrevDbgScope->closeInsnRange();
Devang Patel75cc16c2009-10-01 20:31:14 +00002741
Devang Patel359b0132010-04-08 18:43:56 +00002742 identifyScopeMarkers();
Devang Patelf1d5a1e2010-04-08 15:37:09 +00002743
2744 return !DbgScopeMap.empty();
2745}
2746
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002747/// identifyScopeMarkers() -
Devang Patel6c74a872010-04-27 19:46:33 +00002748/// Each DbgScope has first instruction and last instruction to mark beginning
2749/// and end of a scope respectively. Create an inverse map that list scopes
2750/// starts (and ends) with an instruction. One instruction may start (or end)
2751/// multiple scopes. Ignore scopes that are not reachable.
Devang Patel359b0132010-04-08 18:43:56 +00002752void DwarfDebug::identifyScopeMarkers() {
Devang Patel7771b7c2010-01-20 02:05:23 +00002753 SmallVector<DbgScope *, 4> WorkList;
2754 WorkList.push_back(CurrentFnDbgScope);
2755 while (!WorkList.empty()) {
Chris Lattner848c7d22010-03-31 05:39:57 +00002756 DbgScope *S = WorkList.pop_back_val();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002757
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002758 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002759 if (!Children.empty())
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002760 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel7771b7c2010-01-20 02:05:23 +00002761 SE = Children.end(); SI != SE; ++SI)
2762 WorkList.push_back(*SI);
2763
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002764 if (S->isAbstractScope())
2765 continue;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002766
Devang Patel6c74a872010-04-27 19:46:33 +00002767 const SmallVector<DbgRange, 4> &Ranges = S->getRanges();
2768 if (Ranges.empty())
2769 continue;
2770 for (SmallVector<DbgRange, 4>::const_iterator RI = Ranges.begin(),
2771 RE = Ranges.end(); RI != RE; ++RI) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002772 assert(RI->first && "DbgRange does not have first instruction!");
2773 assert(RI->second && "DbgRange does not have second instruction!");
Devang Patel6c74a872010-04-27 19:46:33 +00002774 InsnsEndScopeSet.insert(RI->second);
2775 }
Devang Patel75cc16c2009-10-01 20:31:14 +00002776 }
Devang Patel75cc16c2009-10-01 20:31:14 +00002777}
2778
Dan Gohman3df671a2010-04-20 00:37:27 +00002779/// FindFirstDebugLoc - Find the first debug location in the function. This
2780/// is intended to be an approximation for the source position of the
2781/// beginning of the function.
2782static DebugLoc FindFirstDebugLoc(const MachineFunction *MF) {
2783 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2784 I != E; ++I)
2785 for (MachineBasicBlock::const_iterator MBBI = I->begin(), MBBE = I->end();
2786 MBBI != MBBE; ++MBBI) {
2787 DebugLoc DL = MBBI->getDebugLoc();
2788 if (!DL.isUnknown())
2789 return DL;
2790 }
2791 return DebugLoc();
2792}
2793
Devang Patela86114b2010-10-25 20:45:32 +00002794#ifndef NDEBUG
2795/// CheckLineNumbers - Count basicblocks whose instructions do not have any
2796/// line number information.
2797static void CheckLineNumbers(const MachineFunction *MF) {
2798 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2799 I != E; ++I) {
2800 bool FoundLineNo = false;
2801 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2802 II != IE; ++II) {
2803 const MachineInstr *MI = II;
2804 if (!MI->getDebugLoc().isUnknown()) {
2805 FoundLineNo = true;
2806 break;
2807 }
2808 }
Devang Patel6e0d5892010-10-28 22:11:59 +00002809 if (!FoundLineNo && I->size())
Devang Patela86114b2010-10-25 20:45:32 +00002810 ++BlocksWithoutLineNo;
2811 }
2812}
2813#endif
2814
Devang Patel930143b2009-11-21 02:48:08 +00002815/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendling2b128d72009-05-20 23:19:06 +00002816/// emitted immediately after the function entry point.
Chris Lattner76555b52010-01-26 23:18:02 +00002817void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner196dbdc2010-04-05 03:52:55 +00002818 if (!MMI->hasDebugInfo()) return;
Bill Wendlingfcc14142010-04-07 09:28:04 +00002819 if (!extractScopeInformation()) return;
Devang Patel4598eb62009-10-06 18:37:31 +00002820
Devang Patela86114b2010-10-25 20:45:32 +00002821#ifndef NDEBUG
2822 CheckLineNumbers(MF);
2823#endif
2824
Devang Patel6c74a872010-04-27 19:46:33 +00002825 FunctionBeginSym = Asm->GetTempSymbol("func_begin",
2826 Asm->getFunctionNumber());
Bill Wendling2b128d72009-05-20 23:19:06 +00002827 // Assumes in correct section after the entry point.
Devang Patel6c74a872010-04-27 19:46:33 +00002828 Asm->OutStreamer.EmitLabel(FunctionBeginSym);
Bill Wendling2b128d72009-05-20 23:19:06 +00002829
2830 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2831 // function.
Dan Gohman3df671a2010-04-20 00:37:27 +00002832 DebugLoc FDL = FindFirstDebugLoc(MF);
Chris Lattner915c5f92010-04-02 19:42:39 +00002833 if (FDL.isUnknown()) return;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002834
Devang Patel32cc43c2010-05-07 20:54:48 +00002835 const MDNode *Scope = FDL.getScope(MF->getFunction()->getContext());
Stuart Hastings61475c52010-07-19 23:56:30 +00002836 const MDNode *TheScope = 0;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002837
Chris Lattner915c5f92010-04-02 19:42:39 +00002838 DISubprogram SP = getDISubprogram(Scope);
2839 unsigned Line, Col;
2840 if (SP.Verify()) {
2841 Line = SP.getLineNumber();
2842 Col = 0;
Stuart Hastings61475c52010-07-19 23:56:30 +00002843 TheScope = SP;
Chris Lattner915c5f92010-04-02 19:42:39 +00002844 } else {
2845 Line = FDL.getLine();
2846 Col = FDL.getCol();
Stuart Hastings61475c52010-07-19 23:56:30 +00002847 TheScope = Scope;
Bill Wendling2b128d72009-05-20 23:19:06 +00002848 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002849
Stuart Hastings61475c52010-07-19 23:56:30 +00002850 recordSourceLine(Line, Col, TheScope);
Devang Patel002d54d2010-05-26 19:37:24 +00002851
Devang Patel21ccf052010-06-02 16:42:51 +00002852 /// ProcessedArgs - Collection of arguments already processed.
2853 SmallPtrSet<const MDNode *, 8> ProcessedArgs;
2854
Devang Patel002d54d2010-05-26 19:37:24 +00002855 DebugLoc PrevLoc;
2856 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2857 I != E; ++I)
2858 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2859 II != IE; ++II) {
2860 const MachineInstr *MI = II;
2861 DebugLoc DL = MI->getDebugLoc();
2862 if (MI->isDebugValue()) {
Devang Patel002d54d2010-05-26 19:37:24 +00002863 assert (MI->getNumOperands() > 1 && "Invalid machine instruction!");
2864 DIVariable DV(MI->getOperand(MI->getNumOperands() - 1).getMetadata());
2865 if (!DV.Verify()) continue;
Devang Patel5e6b71c2010-05-27 16:47:30 +00002866 // If DBG_VALUE is for a local variable then it needs a label.
Devang Patelbca5b252010-12-06 22:48:22 +00002867 if (DV.getTag() != dwarf::DW_TAG_arg_variable)
Devang Patel002d54d2010-05-26 19:37:24 +00002868 InsnNeedsLabel.insert(MI);
Devang Patel5e6b71c2010-05-27 16:47:30 +00002869 // DBG_VALUE for inlined functions argument needs a label.
Devang Patel42939752010-07-01 21:38:08 +00002870 else if (!DISubprogram(getDISubprogram(DV.getContext())).
2871 describes(MF->getFunction()))
Devang Patel5e6b71c2010-05-27 16:47:30 +00002872 InsnNeedsLabel.insert(MI);
2873 // DBG_VALUE indicating argument location change needs a label.
Devang Patelbca5b252010-12-06 22:48:22 +00002874 else if (!ProcessedArgs.insert(DV))
Devang Patel002d54d2010-05-26 19:37:24 +00002875 InsnNeedsLabel.insert(MI);
2876 } else {
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002877 // If location is unknown then instruction needs a location only if
Devang Patel002d54d2010-05-26 19:37:24 +00002878 // UnknownLocations flag is set.
2879 if (DL.isUnknown()) {
2880 if (UnknownLocations && !PrevLoc.isUnknown())
2881 InsnNeedsLabel.insert(MI);
2882 } else if (DL != PrevLoc)
2883 // Otherwise, instruction needs a location only if it is new location.
2884 InsnNeedsLabel.insert(MI);
2885 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002886
Devang Patel002d54d2010-05-26 19:37:24 +00002887 if (!DL.isUnknown() || UnknownLocations)
2888 PrevLoc = DL;
2889 }
2890
2891 PrevLabel = FunctionBeginSym;
Bill Wendling2b128d72009-05-20 23:19:06 +00002892}
2893
Devang Patel930143b2009-11-21 02:48:08 +00002894/// endFunction - Gather and emit post-function debug information.
Bill Wendling2b128d72009-05-20 23:19:06 +00002895///
Chris Lattner76555b52010-01-26 23:18:02 +00002896void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingfcc14142010-04-07 09:28:04 +00002897 if (!MMI->hasDebugInfo() || DbgScopeMap.empty()) return;
Devang Patel2904aa92009-11-12 19:02:56 +00002898
Devang Patel530a0752010-01-04 20:44:00 +00002899 if (CurrentFnDbgScope) {
Devang Patel4a8e6e82010-05-22 00:04:14 +00002900
Devang Patel9fc11702010-05-25 23:40:22 +00002901 // Define end label for subprogram.
2902 FunctionEndSym = Asm->GetTempSymbol("func_end",
2903 Asm->getFunctionNumber());
2904 // Assumes in correct section after the entry point.
2905 Asm->OutStreamer.EmitLabel(FunctionEndSym);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002906
Devang Patel5c0f85c2010-06-25 22:07:34 +00002907 SmallPtrSet<const MDNode *, 16> ProcessedVars;
2908 collectVariableInfo(MF, ProcessedVars);
Devang Patel4a8e6e82010-05-22 00:04:14 +00002909
Devang Patel530a0752010-01-04 20:44:00 +00002910 // Construct abstract scopes.
2911 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
Devang Patel5c0f85c2010-06-25 22:07:34 +00002912 AE = AbstractScopesList.end(); AI != AE; ++AI) {
Devang Patel5c0f85c2010-06-25 22:07:34 +00002913 DISubprogram SP((*AI)->getScopeNode());
2914 if (SP.Verify()) {
2915 // Collect info for variables that were optimized out.
2916 StringRef FName = SP.getLinkageName();
2917 if (FName.empty())
2918 FName = SP.getName();
Devang Patel364bf042010-11-10 22:19:21 +00002919 if (NamedMDNode *NMD =
2920 getFnSpecificMDNode(*(MF->getFunction()->getParent()), FName)) {
Devang Patel5c0f85c2010-06-25 22:07:34 +00002921 for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) {
Dan Gohman093cb792010-07-21 18:54:18 +00002922 DIVariable DV(cast<MDNode>(NMD->getOperand(i)));
Devang Patel5c0f85c2010-06-25 22:07:34 +00002923 if (!DV || !ProcessedVars.insert(DV))
2924 continue;
Devang Patel648df7b2010-06-30 00:11:08 +00002925 DbgScope *Scope = AbstractScopes.lookup(DV.getContext());
Devang Patel5c0f85c2010-06-25 22:07:34 +00002926 if (Scope)
2927 Scope->addVariable(new DbgVariable(DV));
2928 }
2929 }
2930 }
Devang Patelc5b31092010-06-30 01:40:11 +00002931 if (ProcessedSPNodes.count((*AI)->getScopeNode()) == 0)
2932 constructScopeDIE(*AI);
Devang Patel5c0f85c2010-06-25 22:07:34 +00002933 }
Devang Patel30265c42010-07-07 20:12:52 +00002934
Devang Patel075e9b52010-05-04 06:15:30 +00002935 DIE *CurFnDIE = constructScopeDIE(CurrentFnDbgScope);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002936
Devang Patel075e9b52010-05-04 06:15:30 +00002937 if (!DisableFramePointerElim(*MF))
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002938 addUInt(CurFnDIE, dwarf::DW_AT_APPLE_omit_frame_ptr,
Devang Patel075e9b52010-05-04 06:15:30 +00002939 dwarf::DW_FORM_flag, 1);
2940
2941
Chris Lattner3a383cb2010-04-05 00:13:49 +00002942 DebugFrames.push_back(FunctionDebugFrameInfo(Asm->getFunctionNumber(),
Devang Patel530a0752010-01-04 20:44:00 +00002943 MMI->getFrameMoves()));
Bill Wendling2b128d72009-05-20 23:19:06 +00002944 }
2945
Bill Wendling2b128d72009-05-20 23:19:06 +00002946 // Clear debug info
Devang Patelfe189e62010-01-19 01:26:02 +00002947 CurrentFnDbgScope = NULL;
Devang Patel002d54d2010-05-26 19:37:24 +00002948 InsnNeedsLabel.clear();
Devang Patele1c53f22010-05-20 16:36:41 +00002949 DbgVariableToFrameIndexMap.clear();
2950 VarToAbstractVarMap.clear();
2951 DbgVariableToDbgInstMap.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002952 DeleteContainerSeconds(DbgScopeMap);
Devang Patel541019d2010-04-09 16:04:20 +00002953 InsnsEndScopeSet.clear();
Devang Patelfe189e62010-01-19 01:26:02 +00002954 ConcreteScopes.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002955 DeleteContainerSeconds(AbstractScopes);
Devang Patelfe189e62010-01-19 01:26:02 +00002956 AbstractScopesList.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00002957 AbstractVariables.clear();
Devang Patel6c74a872010-04-27 19:46:33 +00002958 LabelsBeforeInsn.clear();
2959 LabelsAfterInsn.clear();
Devang Patel12563b32010-04-16 23:33:45 +00002960 PrevLabel = NULL;
Bill Wendling2b128d72009-05-20 23:19:06 +00002961}
2962
Devang Patele1c53f22010-05-20 16:36:41 +00002963/// recordVariableFrameIndex - Record a variable's index.
2964void DwarfDebug::recordVariableFrameIndex(const DbgVariable *V, int Index) {
2965 assert (V && "Invalid DbgVariable!");
2966 DbgVariableToFrameIndexMap[V] = Index;
2967}
2968
2969/// findVariableFrameIndex - Return true if frame index for the variable
2970/// is found. Update FI to hold value of the index.
2971bool DwarfDebug::findVariableFrameIndex(const DbgVariable *V, int *FI) {
2972 assert (V && "Invalid DbgVariable!");
2973 DenseMap<const DbgVariable *, int>::iterator I =
2974 DbgVariableToFrameIndexMap.find(V);
2975 if (I == DbgVariableToFrameIndexMap.end())
2976 return false;
2977 *FI = I->second;
2978 return true;
2979}
2980
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002981/// findDbgScope - Find DbgScope for the debug loc attached with an
Devang Patel490c8ab2010-05-20 19:57:06 +00002982/// instruction.
2983DbgScope *DwarfDebug::findDbgScope(const MachineInstr *MInsn) {
2984 DbgScope *Scope = NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002985 LLVMContext &Ctx =
Devang Patel490c8ab2010-05-20 19:57:06 +00002986 MInsn->getParent()->getParent()->getFunction()->getContext();
2987 DebugLoc DL = MInsn->getDebugLoc();
2988
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002989 if (DL.isUnknown())
Devang Patel490c8ab2010-05-20 19:57:06 +00002990 return Scope;
2991
2992 if (const MDNode *IA = DL.getInlinedAt(Ctx))
2993 Scope = ConcreteScopes.lookup(IA);
2994 if (Scope == 0)
2995 Scope = DbgScopeMap.lookup(DL.getScope(Ctx));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002996
Devang Patel490c8ab2010-05-20 19:57:06 +00002997 return Scope;
2998}
2999
3000
Chris Lattnerba35a672010-03-09 04:54:43 +00003001/// recordSourceLine - Register a source line with debug info. Returns the
3002/// unique label that was emitted and which provides correspondence to
3003/// the source line list.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003004MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patel30265c42010-07-07 20:12:52 +00003005 const MDNode *S) {
Devang Patel2d9caf92009-11-25 17:36:49 +00003006 StringRef Fn;
Devang Patel2089d162009-10-05 18:03:19 +00003007
Dan Gohman50849c62010-05-05 23:41:32 +00003008 unsigned Src = 1;
3009 if (S) {
3010 DIDescriptor Scope(S);
Devang Patel2089d162009-10-05 18:03:19 +00003011
Dan Gohman50849c62010-05-05 23:41:32 +00003012 if (Scope.isCompileUnit()) {
3013 DICompileUnit CU(S);
Dan Gohman50849c62010-05-05 23:41:32 +00003014 Fn = CU.getFilename();
Devang Patelc4b69052010-10-28 17:30:52 +00003015 } else if (Scope.isFile()) {
3016 DIFile F(S);
Devang Patelc4b69052010-10-28 17:30:52 +00003017 Fn = F.getFilename();
Dan Gohman50849c62010-05-05 23:41:32 +00003018 } else if (Scope.isSubprogram()) {
3019 DISubprogram SP(S);
Dan Gohman50849c62010-05-05 23:41:32 +00003020 Fn = SP.getFilename();
3021 } else if (Scope.isLexicalBlock()) {
3022 DILexicalBlock DB(S);
Dan Gohman50849c62010-05-05 23:41:32 +00003023 Fn = DB.getFilename();
3024 } else
3025 assert(0 && "Unexpected scope info");
3026
Rafael Espindola67c6ab82010-11-18 02:04:25 +00003027 Src = GetOrCreateSourceID(Fn);
Dan Gohman50849c62010-05-05 23:41:32 +00003028 }
3029
Rafael Espindola67c6ab82010-11-18 02:04:25 +00003030 Asm->OutStreamer.EmitDwarfLocDirective(Src, Line, Col, DWARF2_FLAG_IS_STMT,
3031 0, 0);
Bill Wendling2b128d72009-05-20 23:19:06 +00003032
Rafael Espindola67c6ab82010-11-18 02:04:25 +00003033 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattnerba35a672010-03-09 04:54:43 +00003034 Asm->OutStreamer.EmitLabel(Label);
3035 return Label;
Bill Wendling2b128d72009-05-20 23:19:06 +00003036}
3037
Bill Wendling806535f2009-05-20 23:22:40 +00003038//===----------------------------------------------------------------------===//
3039// Emit Methods
3040//===----------------------------------------------------------------------===//
3041
Devang Patel930143b2009-11-21 02:48:08 +00003042/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling480ff322009-05-20 23:21:38 +00003043///
Jim Grosbach00e9c612009-11-22 19:20:36 +00003044unsigned
3045DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling480ff322009-05-20 23:21:38 +00003046 // Get the children.
3047 const std::vector<DIE *> &Children = Die->getChildren();
3048
3049 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00003050 if (!Last && !Children.empty())
Benjamin Kramer74729ae2010-03-31 19:34:01 +00003051 Die->addSiblingOffset(DIEValueAllocator);
Bill Wendling480ff322009-05-20 23:21:38 +00003052
3053 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00003054 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00003055
3056 // Get the abbreviation for this DIE.
3057 unsigned AbbrevNumber = Die->getAbbrevNumber();
3058 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
3059
3060 // Set DIE offset
3061 Die->setOffset(Offset);
3062
3063 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00003064 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00003065
3066 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
3067 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
3068
3069 // Size the DIE attribute values.
3070 for (unsigned i = 0, N = Values.size(); i < N; ++i)
3071 // Size attribute value.
Chris Lattner5a00dea2010-04-05 00:18:22 +00003072 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling480ff322009-05-20 23:21:38 +00003073
3074 // Size the DIE children if any.
3075 if (!Children.empty()) {
3076 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
3077 "Children flag not set");
3078
3079 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00003080 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling480ff322009-05-20 23:21:38 +00003081
3082 // End of children marker.
3083 Offset += sizeof(int8_t);
3084 }
3085
3086 Die->setSize(Offset - Die->getOffset());
3087 return Offset;
3088}
3089
Devang Patel930143b2009-11-21 02:48:08 +00003090/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling480ff322009-05-20 23:21:38 +00003091///
Devang Patel930143b2009-11-21 02:48:08 +00003092void DwarfDebug::computeSizeAndOffsets() {
Devang Patel1a0df9a2010-05-10 22:49:55 +00003093 unsigned PrevOffset = 0;
3094 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
3095 E = CUMap.end(); I != E; ++I) {
3096 // Compute size of compile unit header.
3097 static unsigned Offset = PrevOffset +
3098 sizeof(int32_t) + // Length of Compilation Unit Info
3099 sizeof(int16_t) + // DWARF version number
3100 sizeof(int32_t) + // Offset Into Abbrev. Section
3101 sizeof(int8_t); // Pointer Size (in bytes)
3102 computeSizeAndOffset(I->second->getCUDie(), Offset, true);
3103 PrevOffset = Offset;
3104 }
Bill Wendling480ff322009-05-20 23:21:38 +00003105}
3106
Chris Lattner1fbf53b2010-04-04 23:02:02 +00003107/// EmitSectionSym - Switch to the specified MCSection and emit an assembler
3108/// temporary label to it if SymbolStem is specified.
Chris Lattner6629ca92010-04-04 22:59:04 +00003109static MCSymbol *EmitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Chris Lattner1fbf53b2010-04-04 23:02:02 +00003110 const char *SymbolStem = 0) {
Chris Lattner6629ca92010-04-04 22:59:04 +00003111 Asm->OutStreamer.SwitchSection(Section);
Chris Lattner1fbf53b2010-04-04 23:02:02 +00003112 if (!SymbolStem) return 0;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003113
Chris Lattner6629ca92010-04-04 22:59:04 +00003114 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
3115 Asm->OutStreamer.EmitLabel(TmpSym);
3116 return TmpSym;
3117}
3118
3119/// EmitSectionLabels - Emit initial Dwarf sections with a label at
3120/// the start of each one.
Chris Lattner46355d82010-04-04 22:33:59 +00003121void DwarfDebug::EmitSectionLabels() {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003122 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00003123
Bill Wendling480ff322009-05-20 23:21:38 +00003124 // Dwarf sections base addresses.
Chris Lattner3a383cb2010-04-05 00:13:49 +00003125 if (Asm->MAI->doesDwarfRequireFrameSection()) {
Chris Lattner6629ca92010-04-04 22:59:04 +00003126 DwarfFrameSectionSym =
3127 EmitSectionSym(Asm, TLOF.getDwarfFrameSection(), "section_debug_frame");
3128 }
Bill Wendling480ff322009-05-20 23:21:38 +00003129
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003130 DwarfInfoSectionSym =
Chris Lattner6629ca92010-04-04 22:59:04 +00003131 EmitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003132 DwarfAbbrevSectionSym =
Chris Lattner6629ca92010-04-04 22:59:04 +00003133 EmitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Chris Lattner1fbf53b2010-04-04 23:02:02 +00003134 EmitSectionSym(Asm, TLOF.getDwarfARangesSection());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003135
Chris Lattner6629ca92010-04-04 22:59:04 +00003136 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Chris Lattner1fbf53b2010-04-04 23:02:02 +00003137 EmitSectionSym(Asm, MacroInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00003138
Devang Patel4a213872010-08-24 00:06:12 +00003139 EmitSectionSym(Asm, TLOF.getDwarfLineSection(), "section_line");
Chris Lattner1fbf53b2010-04-04 23:02:02 +00003140 EmitSectionSym(Asm, TLOF.getDwarfLocSection());
3141 EmitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
3142 EmitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003143 DwarfStrSectionSym =
Chris Lattner6629ca92010-04-04 22:59:04 +00003144 EmitSectionSym(Asm, TLOF.getDwarfStrSection(), "section_str");
Devang Patel12563b32010-04-16 23:33:45 +00003145 DwarfDebugRangeSectionSym = EmitSectionSym(Asm, TLOF.getDwarfRangesSection(),
3146 "debug_range");
Bill Wendling480ff322009-05-20 23:21:38 +00003147
Devang Patel9fc11702010-05-25 23:40:22 +00003148 DwarfDebugLocSectionSym = EmitSectionSym(Asm, TLOF.getDwarfLocSection(),
3149 "section_debug_loc");
3150
Chris Lattner6629ca92010-04-04 22:59:04 +00003151 TextSectionSym = EmitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
Chris Lattnere58b5472010-04-04 23:10:38 +00003152 EmitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003153}
3154
Devang Patel930143b2009-11-21 02:48:08 +00003155/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling480ff322009-05-20 23:21:38 +00003156///
Devang Patel930143b2009-11-21 02:48:08 +00003157void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling480ff322009-05-20 23:21:38 +00003158 // Get the abbreviation for this DIE.
3159 unsigned AbbrevNumber = Die->getAbbrevNumber();
3160 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
3161
Bill Wendling480ff322009-05-20 23:21:38 +00003162 // Emit the code (index) for the abbreviation.
Chris Lattner7bde8c02010-04-04 18:52:31 +00003163 if (Asm->isVerbose())
Chris Lattnerfa823552010-01-22 23:18:42 +00003164 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
3165 Twine::utohexstr(Die->getOffset()) + ":0x" +
3166 Twine::utohexstr(Die->getSize()) + " " +
3167 dwarf::TagString(Abbrev->getTag()));
Chris Lattner9efd1182010-04-04 19:09:29 +00003168 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00003169
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00003170 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling480ff322009-05-20 23:21:38 +00003171 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
3172
3173 // Emit the DIE attribute values.
3174 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
3175 unsigned Attr = AbbrevData[i].getAttribute();
3176 unsigned Form = AbbrevData[i].getForm();
3177 assert(Form && "Too many attributes for DIE (check abbreviation)");
3178
Chris Lattner7bde8c02010-04-04 18:52:31 +00003179 if (Asm->isVerbose())
Chris Lattner5adf9872010-01-24 18:54:17 +00003180 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003181
Bill Wendling480ff322009-05-20 23:21:38 +00003182 switch (Attr) {
3183 case dwarf::DW_AT_sibling:
Devang Patel930143b2009-11-21 02:48:08 +00003184 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00003185 break;
3186 case dwarf::DW_AT_abstract_origin: {
3187 DIEEntry *E = cast<DIEEntry>(Values[i]);
3188 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003189 unsigned Addr = Origin->getOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00003190 Asm->EmitInt32(Addr);
3191 break;
3192 }
Devang Patel12563b32010-04-16 23:33:45 +00003193 case dwarf::DW_AT_ranges: {
3194 // DW_AT_range Value encodes offset in debug_range section.
3195 DIEInteger *V = cast<DIEInteger>(Values[i]);
Devang Patelda3ef852010-09-02 16:43:44 +00003196
3197 if (Asm->MAI->doesDwarfUsesLabelOffsetForRanges()) {
3198 Asm->EmitLabelPlusOffset(DwarfDebugRangeSectionSym,
3199 V->getValue(),
3200 4);
3201 } else {
3202 Asm->EmitLabelOffsetDifference(DwarfDebugRangeSectionSym,
3203 V->getValue(),
3204 DwarfDebugRangeSectionSym,
3205 4);
3206 }
Devang Patel12563b32010-04-16 23:33:45 +00003207 break;
3208 }
Devang Patel9fc11702010-05-25 23:40:22 +00003209 case dwarf::DW_AT_location: {
3210 if (UseDotDebugLocEntry.count(Die) != 0) {
3211 DIELabel *L = cast<DIELabel>(Values[i]);
3212 Asm->EmitLabelDifference(L->getValue(), DwarfDebugLocSectionSym, 4);
3213 } else
3214 Values[i]->EmitValue(Asm, Form);
3215 break;
3216 }
Devang Patela1bd5a12010-09-29 19:08:08 +00003217 case dwarf::DW_AT_accessibility: {
3218 if (Asm->isVerbose()) {
3219 DIEInteger *V = cast<DIEInteger>(Values[i]);
3220 Asm->OutStreamer.AddComment(dwarf::AccessibilityString(V->getValue()));
3221 }
3222 Values[i]->EmitValue(Asm, Form);
3223 break;
3224 }
Bill Wendling480ff322009-05-20 23:21:38 +00003225 default:
3226 // Emit an attribute using the defined form.
Chris Lattner3a383cb2010-04-05 00:13:49 +00003227 Values[i]->EmitValue(Asm, Form);
Bill Wendling480ff322009-05-20 23:21:38 +00003228 break;
3229 }
Bill Wendling480ff322009-05-20 23:21:38 +00003230 }
3231
3232 // Emit the DIE children if any.
3233 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
3234 const std::vector<DIE *> &Children = Die->getChildren();
3235
3236 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel930143b2009-11-21 02:48:08 +00003237 emitDIE(Children[j]);
Bill Wendling480ff322009-05-20 23:21:38 +00003238
Chris Lattner7bde8c02010-04-04 18:52:31 +00003239 if (Asm->isVerbose())
Chris Lattner566cae92010-03-09 23:52:58 +00003240 Asm->OutStreamer.AddComment("End Of Children Mark");
3241 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00003242 }
3243}
3244
Devang Patel9ccfb642009-12-09 18:24:21 +00003245/// emitDebugInfo - Emit the debug info section.
Bill Wendling480ff322009-05-20 23:21:38 +00003246///
Devang Patel9ccfb642009-12-09 18:24:21 +00003247void DwarfDebug::emitDebugInfo() {
3248 // Start debug info section.
3249 Asm->OutStreamer.SwitchSection(
3250 Asm->getObjFileLowering().getDwarfInfoSection());
Devang Patel1a0df9a2010-05-10 22:49:55 +00003251 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
3252 E = CUMap.end(); I != E; ++I) {
3253 CompileUnit *TheCU = I->second;
3254 DIE *Die = TheCU->getCUDie();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003255
Devang Patel1a0df9a2010-05-10 22:49:55 +00003256 // Emit the compile units header.
3257 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_begin",
3258 TheCU->getID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003259
Devang Patel1a0df9a2010-05-10 22:49:55 +00003260 // Emit size of content not including length itself
3261 unsigned ContentSize = Die->getSize() +
3262 sizeof(int16_t) + // DWARF version number
3263 sizeof(int32_t) + // Offset Into Abbrev. Section
3264 sizeof(int8_t) + // Pointer Size (in bytes)
3265 sizeof(int32_t); // FIXME - extra pad for gdb bug.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003266
Devang Patel1a0df9a2010-05-10 22:49:55 +00003267 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
3268 Asm->EmitInt32(ContentSize);
3269 Asm->OutStreamer.AddComment("DWARF version number");
3270 Asm->EmitInt16(dwarf::DWARF_VERSION);
3271 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
3272 Asm->EmitSectionOffset(Asm->GetTempSymbol("abbrev_begin"),
3273 DwarfAbbrevSectionSym);
3274 Asm->OutStreamer.AddComment("Address Size (in bytes)");
3275 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003276
Devang Patel1a0df9a2010-05-10 22:49:55 +00003277 emitDIE(Die);
3278 // FIXME - extra padding for gdb bug.
3279 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
3280 Asm->EmitInt8(0);
3281 Asm->EmitInt8(0);
3282 Asm->EmitInt8(0);
3283 Asm->EmitInt8(0);
3284 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_end", TheCU->getID()));
3285 }
Bill Wendling480ff322009-05-20 23:21:38 +00003286}
3287
Devang Patel930143b2009-11-21 02:48:08 +00003288/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling480ff322009-05-20 23:21:38 +00003289///
Devang Patel930143b2009-11-21 02:48:08 +00003290void DwarfDebug::emitAbbreviations() const {
Bill Wendling480ff322009-05-20 23:21:38 +00003291 // Check to see if it is worth the effort.
3292 if (!Abbreviations.empty()) {
3293 // Start the debug abbrev section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003294 Asm->OutStreamer.SwitchSection(
3295 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003296
Chris Lattnera179b522010-04-04 19:25:43 +00003297 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_begin"));
Bill Wendling480ff322009-05-20 23:21:38 +00003298
3299 // For each abbrevation.
3300 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
3301 // Get abbreviation data
3302 const DIEAbbrev *Abbrev = Abbreviations[i];
3303
3304 // Emit the abbrevations code (base 1 index.)
Chris Lattner9efd1182010-04-04 19:09:29 +00003305 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling480ff322009-05-20 23:21:38 +00003306
3307 // Emit the abbreviations data.
Chris Lattner3a383cb2010-04-05 00:13:49 +00003308 Abbrev->Emit(Asm);
Bill Wendling480ff322009-05-20 23:21:38 +00003309 }
3310
3311 // Mark end of abbreviations.
Chris Lattner9efd1182010-04-04 19:09:29 +00003312 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling480ff322009-05-20 23:21:38 +00003313
Chris Lattnera179b522010-04-04 19:25:43 +00003314 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00003315 }
3316}
3317
Devang Patel930143b2009-11-21 02:48:08 +00003318/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling480ff322009-05-20 23:21:38 +00003319/// the line matrix.
3320///
Devang Patel930143b2009-11-21 02:48:08 +00003321void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00003322 // Define last address of section.
Chris Lattner566cae92010-03-09 23:52:58 +00003323 Asm->OutStreamer.AddComment("Extended Op");
3324 Asm->EmitInt8(0);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003325
Chris Lattner566cae92010-03-09 23:52:58 +00003326 Asm->OutStreamer.AddComment("Op size");
Chris Lattner3a383cb2010-04-05 00:13:49 +00003327 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner566cae92010-03-09 23:52:58 +00003328 Asm->OutStreamer.AddComment("DW_LNE_set_address");
3329 Asm->EmitInt8(dwarf::DW_LNE_set_address);
3330
3331 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerb245dfb2010-03-10 01:17:49 +00003332
Chris Lattnera179b522010-04-04 19:25:43 +00003333 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Chris Lattner3a383cb2010-04-05 00:13:49 +00003334 Asm->getTargetData().getPointerSize(),
3335 0/*AddrSpace*/);
Bill Wendling480ff322009-05-20 23:21:38 +00003336
3337 // Mark end of matrix.
Chris Lattner566cae92010-03-09 23:52:58 +00003338 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
3339 Asm->EmitInt8(0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00003340 Asm->EmitInt8(1);
Chris Lattnerfa823552010-01-22 23:18:42 +00003341 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00003342}
3343
Devang Patel930143b2009-11-21 02:48:08 +00003344/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling480ff322009-05-20 23:21:38 +00003345///
Devang Patel930143b2009-11-21 02:48:08 +00003346void DwarfDebug::emitCommonDebugFrame() {
Chris Lattner3a383cb2010-04-05 00:13:49 +00003347 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00003348 return;
3349
Chris Lattner3a383cb2010-04-05 00:13:49 +00003350 int stackGrowth = Asm->getTargetData().getPointerSize();
Anton Korobeynikov2f931282011-01-10 12:39:04 +00003351 if (Asm->TM.getFrameLowering()->getStackGrowthDirection() ==
3352 TargetFrameLowering::StackGrowsDown)
Chris Lattner3a383cb2010-04-05 00:13:49 +00003353 stackGrowth *= -1;
Bill Wendling480ff322009-05-20 23:21:38 +00003354
3355 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003356 Asm->OutStreamer.SwitchSection(
3357 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003358
Chris Lattnera179b522010-04-04 19:25:43 +00003359 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common"));
Chris Lattner566cae92010-03-09 23:52:58 +00003360 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnerf1429f12010-04-04 19:58:12 +00003361 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_frame_common_end"),
3362 Asm->GetTempSymbol("debug_frame_common_begin"), 4);
Bill Wendling480ff322009-05-20 23:21:38 +00003363
Chris Lattnera179b522010-04-04 19:25:43 +00003364 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_begin"));
Chris Lattner566cae92010-03-09 23:52:58 +00003365 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling480ff322009-05-20 23:21:38 +00003366 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner566cae92010-03-09 23:52:58 +00003367 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling480ff322009-05-20 23:21:38 +00003368 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner566cae92010-03-09 23:52:58 +00003369 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00003370 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner9efd1182010-04-04 19:09:29 +00003371 Asm->EmitULEB128(1, "CIE Code Alignment Factor");
3372 Asm->EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner566cae92010-03-09 23:52:58 +00003373 Asm->OutStreamer.AddComment("CIE RA Column");
Chris Lattner3a383cb2010-04-05 00:13:49 +00003374 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Anton Korobeynikov2f931282011-01-10 12:39:04 +00003375 const TargetFrameLowering *TFI = Asm->TM.getFrameLowering();
Bill Wendling480ff322009-05-20 23:21:38 +00003376 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling480ff322009-05-20 23:21:38 +00003377
3378 std::vector<MachineMove> Moves;
Anton Korobeynikov14ee3442010-11-18 23:25:52 +00003379 TFI->getInitialFrameState(Moves);
Bill Wendling480ff322009-05-20 23:21:38 +00003380
Chris Lattneraabc6042010-04-04 23:41:46 +00003381 Asm->EmitFrameMoves(Moves, 0, false);
Bill Wendling480ff322009-05-20 23:21:38 +00003382
Chris Lattner9e06e532010-04-28 01:05:45 +00003383 Asm->EmitAlignment(2);
Chris Lattnera179b522010-04-04 19:25:43 +00003384 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_end"));
Bill Wendling480ff322009-05-20 23:21:38 +00003385}
3386
Devang Patel930143b2009-11-21 02:48:08 +00003387/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling480ff322009-05-20 23:21:38 +00003388/// section.
Chris Lattner2c3f4782010-03-13 07:26:18 +00003389void DwarfDebug::
3390emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattner3a383cb2010-04-05 00:13:49 +00003391 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling480ff322009-05-20 23:21:38 +00003392 return;
3393
3394 // Start the dwarf frame section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003395 Asm->OutStreamer.SwitchSection(
3396 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003397
Chris Lattner566cae92010-03-09 23:52:58 +00003398 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner2c3f4782010-03-13 07:26:18 +00003399 MCSymbol *DebugFrameBegin =
Chris Lattnera179b522010-04-04 19:25:43 +00003400 Asm->GetTempSymbol("debug_frame_begin", DebugFrameInfo.Number);
Chris Lattner2c3f4782010-03-13 07:26:18 +00003401 MCSymbol *DebugFrameEnd =
Chris Lattnera179b522010-04-04 19:25:43 +00003402 Asm->GetTempSymbol("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnerf1429f12010-04-04 19:58:12 +00003403 Asm->EmitLabelDifference(DebugFrameEnd, DebugFrameBegin, 4);
Bill Wendling480ff322009-05-20 23:21:38 +00003404
Chris Lattner2c3f4782010-03-13 07:26:18 +00003405 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling480ff322009-05-20 23:21:38 +00003406
Chris Lattner566cae92010-03-09 23:52:58 +00003407 Asm->OutStreamer.AddComment("FDE CIE offset");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003408 Asm->EmitSectionOffset(Asm->GetTempSymbol("debug_frame_common"),
Chris Lattner70a4fce2010-04-04 23:25:33 +00003409 DwarfFrameSectionSym);
Bill Wendling480ff322009-05-20 23:21:38 +00003410
Chris Lattner566cae92010-03-09 23:52:58 +00003411 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnera179b522010-04-04 19:25:43 +00003412 MCSymbol *FuncBeginSym =
3413 Asm->GetTempSymbol("func_begin", DebugFrameInfo.Number);
Chris Lattner8811e122010-03-13 07:40:56 +00003414 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattner3a383cb2010-04-05 00:13:49 +00003415 Asm->getTargetData().getPointerSize(),
3416 0/*AddrSpace*/);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003417
3418
Chris Lattner566cae92010-03-09 23:52:58 +00003419 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnerf1429f12010-04-04 19:58:12 +00003420 Asm->EmitLabelDifference(Asm->GetTempSymbol("func_end",DebugFrameInfo.Number),
Chris Lattner3a383cb2010-04-05 00:13:49 +00003421 FuncBeginSym, Asm->getTargetData().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00003422
Chris Lattneraabc6042010-04-04 23:41:46 +00003423 Asm->EmitFrameMoves(DebugFrameInfo.Moves, FuncBeginSym, false);
Bill Wendling480ff322009-05-20 23:21:38 +00003424
Chris Lattner9e06e532010-04-28 01:05:45 +00003425 Asm->EmitAlignment(2);
Chris Lattner2c3f4782010-03-13 07:26:18 +00003426 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling480ff322009-05-20 23:21:38 +00003427}
3428
Devang Patel9ccfb642009-12-09 18:24:21 +00003429/// emitDebugPubNames - Emit visible names into a debug pubnames section.
3430///
3431void DwarfDebug::emitDebugPubNames() {
Devang Patel1a0df9a2010-05-10 22:49:55 +00003432 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
3433 E = CUMap.end(); I != E; ++I) {
3434 CompileUnit *TheCU = I->second;
3435 // Start the dwarf pubnames section.
3436 Asm->OutStreamer.SwitchSection(
3437 Asm->getObjFileLowering().getDwarfPubNamesSection());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003438
Devang Patel1a0df9a2010-05-10 22:49:55 +00003439 Asm->OutStreamer.AddComment("Length of Public Names Info");
3440 Asm->EmitLabelDifference(
3441 Asm->GetTempSymbol("pubnames_end", TheCU->getID()),
3442 Asm->GetTempSymbol("pubnames_begin", TheCU->getID()), 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003443
Devang Patel1a0df9a2010-05-10 22:49:55 +00003444 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin",
3445 TheCU->getID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003446
Devang Patel1a0df9a2010-05-10 22:49:55 +00003447 Asm->OutStreamer.AddComment("DWARF Version");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003448 Asm->EmitInt16(dwarf::DWARF_VERSION);
3449
Devang Patel1a0df9a2010-05-10 22:49:55 +00003450 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003451 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", TheCU->getID()),
Devang Patel1a0df9a2010-05-10 22:49:55 +00003452 DwarfInfoSectionSym);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003453
Devang Patel1a0df9a2010-05-10 22:49:55 +00003454 Asm->OutStreamer.AddComment("Compilation Unit Length");
3455 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", TheCU->getID()),
3456 Asm->GetTempSymbol("info_begin", TheCU->getID()),
3457 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003458
Devang Patel1a0df9a2010-05-10 22:49:55 +00003459 const StringMap<DIE*> &Globals = TheCU->getGlobals();
3460 for (StringMap<DIE*>::const_iterator
3461 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
3462 const char *Name = GI->getKeyData();
3463 DIE *Entity = GI->second;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003464
Devang Patel1a0df9a2010-05-10 22:49:55 +00003465 Asm->OutStreamer.AddComment("DIE offset");
3466 Asm->EmitInt32(Entity->getOffset());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003467
Devang Patel1a0df9a2010-05-10 22:49:55 +00003468 if (Asm->isVerbose())
3469 Asm->OutStreamer.AddComment("External Name");
3470 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
3471 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003472
Devang Patel1a0df9a2010-05-10 22:49:55 +00003473 Asm->OutStreamer.AddComment("End Mark");
3474 Asm->EmitInt32(0);
3475 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end",
3476 TheCU->getID()));
Bill Wendling480ff322009-05-20 23:21:38 +00003477 }
Bill Wendling480ff322009-05-20 23:21:38 +00003478}
3479
Devang Patel04d2f2d2009-11-24 01:14:22 +00003480void DwarfDebug::emitDebugPubTypes() {
Devang Patel1a0df9a2010-05-10 22:49:55 +00003481 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
3482 E = CUMap.end(); I != E; ++I) {
3483 CompileUnit *TheCU = I->second;
3484 // Start the dwarf pubnames section.
3485 Asm->OutStreamer.SwitchSection(
3486 Asm->getObjFileLowering().getDwarfPubTypesSection());
3487 Asm->OutStreamer.AddComment("Length of Public Types Info");
3488 Asm->EmitLabelDifference(
3489 Asm->GetTempSymbol("pubtypes_end", TheCU->getID()),
3490 Asm->GetTempSymbol("pubtypes_begin", TheCU->getID()), 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003491
Devang Patel1a0df9a2010-05-10 22:49:55 +00003492 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
3493 TheCU->getID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003494
Devang Patel1a0df9a2010-05-10 22:49:55 +00003495 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
3496 Asm->EmitInt16(dwarf::DWARF_VERSION);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003497
Devang Patel1a0df9a2010-05-10 22:49:55 +00003498 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
3499 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", TheCU->getID()),
3500 DwarfInfoSectionSym);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003501
Devang Patel1a0df9a2010-05-10 22:49:55 +00003502 Asm->OutStreamer.AddComment("Compilation Unit Length");
3503 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", TheCU->getID()),
3504 Asm->GetTempSymbol("info_begin", TheCU->getID()),
3505 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003506
Devang Patel1a0df9a2010-05-10 22:49:55 +00003507 const StringMap<DIE*> &Globals = TheCU->getGlobalTypes();
3508 for (StringMap<DIE*>::const_iterator
3509 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
3510 const char *Name = GI->getKeyData();
3511 DIE * Entity = GI->second;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003512
Devang Patel1a0df9a2010-05-10 22:49:55 +00003513 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
3514 Asm->EmitInt32(Entity->getOffset());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003515
Devang Patel1a0df9a2010-05-10 22:49:55 +00003516 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
3517 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
3518 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003519
Devang Patel1a0df9a2010-05-10 22:49:55 +00003520 Asm->OutStreamer.AddComment("End Mark");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003521 Asm->EmitInt32(0);
Devang Patel1a0df9a2010-05-10 22:49:55 +00003522 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
3523 TheCU->getID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00003524 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00003525}
3526
Devang Patel930143b2009-11-21 02:48:08 +00003527/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling480ff322009-05-20 23:21:38 +00003528///
Devang Patel930143b2009-11-21 02:48:08 +00003529void DwarfDebug::emitDebugStr() {
Bill Wendling480ff322009-05-20 23:21:38 +00003530 // Check to see if it is worth the effort.
Chris Lattner3d72a672010-03-09 23:38:23 +00003531 if (StringPool.empty()) return;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003532
Chris Lattner3d72a672010-03-09 23:38:23 +00003533 // Start the dwarf str section.
3534 Asm->OutStreamer.SwitchSection(
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003535 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003536
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003537 // Get all of the string pool entries and put them in an array by their ID so
3538 // we can sort them.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003539 SmallVector<std::pair<unsigned,
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003540 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003541
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003542 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
3543 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
3544 Entries.push_back(std::make_pair(I->second.second, &*I));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003545
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003546 array_pod_sort(Entries.begin(), Entries.end());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003547
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003548 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner3d72a672010-03-09 23:38:23 +00003549 // Emit a label for reference from debug information entries.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003550 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003551
Chris Lattner3d72a672010-03-09 23:38:23 +00003552 // Emit the string itself.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00003553 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling480ff322009-05-20 23:21:38 +00003554 }
3555}
3556
Devang Patel930143b2009-11-21 02:48:08 +00003557/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling480ff322009-05-20 23:21:38 +00003558///
Devang Patel930143b2009-11-21 02:48:08 +00003559void DwarfDebug::emitDebugLoc() {
Devang Patel6b9a9fe2010-05-26 23:55:23 +00003560 if (DotDebugLocEntries.empty())
3561 return;
3562
Bill Wendling480ff322009-05-20 23:21:38 +00003563 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003564 Asm->OutStreamer.SwitchSection(
Devang Patel9fc11702010-05-25 23:40:22 +00003565 Asm->getObjFileLowering().getDwarfLocSection());
3566 unsigned char Size = Asm->getTargetData().getPointerSize();
Devang Patel6b9a9fe2010-05-26 23:55:23 +00003567 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", 0));
3568 unsigned index = 1;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003569 for (SmallVector<DotDebugLocEntry, 4>::iterator
3570 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
Devang Patel30265c42010-07-07 20:12:52 +00003571 I != E; ++I, ++index) {
Devang Patel9fc11702010-05-25 23:40:22 +00003572 DotDebugLocEntry Entry = *I;
Devang Patel9fc11702010-05-25 23:40:22 +00003573 if (Entry.isEmpty()) {
3574 Asm->OutStreamer.EmitIntValue(0, Size, /*addrspace*/0);
3575 Asm->OutStreamer.EmitIntValue(0, Size, /*addrspace*/0);
Devang Patel6b9a9fe2010-05-26 23:55:23 +00003576 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", index));
Devang Patel9fc11702010-05-25 23:40:22 +00003577 } else {
3578 Asm->OutStreamer.EmitSymbolValue(Entry.Begin, Size, 0);
3579 Asm->OutStreamer.EmitSymbolValue(Entry.End, Size, 0);
3580 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
3581 unsigned Reg = RI->getDwarfRegNum(Entry.Loc.getReg(), false);
Devang Patel0e60e672010-08-04 18:40:52 +00003582 if (int Offset = Entry.Loc.getOffset()) {
3583 // If the value is at a certain offset from frame register then
3584 // use DW_OP_fbreg.
3585 unsigned OffsetSize = Offset ? MCAsmInfo::getSLEB128Size(Offset) : 1;
Devang Patel9fc11702010-05-25 23:40:22 +00003586 Asm->OutStreamer.AddComment("Loc expr size");
Devang Patel0e60e672010-08-04 18:40:52 +00003587 Asm->EmitInt16(1 + OffsetSize);
3588 Asm->OutStreamer.AddComment(
3589 dwarf::OperationEncodingString(dwarf::DW_OP_fbreg));
3590 Asm->EmitInt8(dwarf::DW_OP_fbreg);
3591 Asm->OutStreamer.AddComment("Offset");
3592 Asm->EmitSLEB128(Offset);
Devang Patel9fc11702010-05-25 23:40:22 +00003593 } else {
Devang Patel0e60e672010-08-04 18:40:52 +00003594 if (Reg < 32) {
3595 Asm->OutStreamer.AddComment("Loc expr size");
3596 Asm->EmitInt16(1);
3597 Asm->OutStreamer.AddComment(
Devang Patel6d21f612010-08-04 20:32:36 +00003598 dwarf::OperationEncodingString(dwarf::DW_OP_reg0 + Reg));
Devang Patel0e60e672010-08-04 18:40:52 +00003599 Asm->EmitInt8(dwarf::DW_OP_reg0 + Reg);
3600 } else {
3601 Asm->OutStreamer.AddComment("Loc expr size");
3602 Asm->EmitInt16(1 + MCAsmInfo::getULEB128Size(Reg));
3603 Asm->EmitInt8(dwarf::DW_OP_regx);
3604 Asm->EmitULEB128(Reg);
3605 }
Devang Patel9fc11702010-05-25 23:40:22 +00003606 }
3607 }
3608 }
Bill Wendling480ff322009-05-20 23:21:38 +00003609}
3610
3611/// EmitDebugARanges - Emit visible names into a debug aranges section.
3612///
3613void DwarfDebug::EmitDebugARanges() {
3614 // Start the dwarf aranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003615 Asm->OutStreamer.SwitchSection(
3616 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00003617}
3618
Devang Patel930143b2009-11-21 02:48:08 +00003619/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling480ff322009-05-20 23:21:38 +00003620///
Devang Patel930143b2009-11-21 02:48:08 +00003621void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00003622 // Start the dwarf ranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003623 Asm->OutStreamer.SwitchSection(
Devang Patel12563b32010-04-16 23:33:45 +00003624 Asm->getObjFileLowering().getDwarfRangesSection());
Devang Patel6c74a872010-04-27 19:46:33 +00003625 unsigned char Size = Asm->getTargetData().getPointerSize();
3626 for (SmallVector<const MCSymbol *, 8>::iterator
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003627 I = DebugRangeSymbols.begin(), E = DebugRangeSymbols.end();
Devang Patel6c74a872010-04-27 19:46:33 +00003628 I != E; ++I) {
3629 if (*I)
3630 Asm->OutStreamer.EmitSymbolValue(const_cast<MCSymbol*>(*I), Size, 0);
Devang Patel12563b32010-04-16 23:33:45 +00003631 else
Devang Patel6c74a872010-04-27 19:46:33 +00003632 Asm->OutStreamer.EmitIntValue(0, Size, /*addrspace*/0);
Devang Patel12563b32010-04-16 23:33:45 +00003633 }
Bill Wendling480ff322009-05-20 23:21:38 +00003634}
3635
Devang Patel930143b2009-11-21 02:48:08 +00003636/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling480ff322009-05-20 23:21:38 +00003637///
Devang Patel930143b2009-11-21 02:48:08 +00003638void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00003639 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00003640 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00003641 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003642 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00003643 }
3644}
3645
Devang Patel930143b2009-11-21 02:48:08 +00003646/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling480ff322009-05-20 23:21:38 +00003647/// Section Header:
3648/// 1. length of section
3649/// 2. Dwarf version number
3650/// 3. address size.
3651///
3652/// Entries (one "entry" for each function that was inlined):
3653///
3654/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3655/// otherwise offset into __debug_str for regular function name.
3656/// 2. offset into __debug_str section for regular function name.
3657/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3658/// instances for the function.
3659///
3660/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3661/// inlined instance; the die_offset points to the inlined_subroutine die in the
3662/// __debug_info section, and the low_pc is the starting address for the
3663/// inlining instance.
Devang Patel930143b2009-11-21 02:48:08 +00003664void DwarfDebug::emitDebugInlineInfo() {
Chris Lattner3a383cb2010-04-05 00:13:49 +00003665 if (!Asm->MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling480ff322009-05-20 23:21:38 +00003666 return;
3667
Devang Patel1a0df9a2010-05-10 22:49:55 +00003668 if (!FirstCU)
Bill Wendling480ff322009-05-20 23:21:38 +00003669 return;
3670
Chris Lattner4b7dadb2009-08-19 05:49:37 +00003671 Asm->OutStreamer.SwitchSection(
3672 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00003673
Chris Lattner566cae92010-03-09 23:52:58 +00003674 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnerf1429f12010-04-04 19:58:12 +00003675 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
3676 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling480ff322009-05-20 23:21:38 +00003677
Chris Lattnera179b522010-04-04 19:25:43 +00003678 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00003679
Chris Lattner566cae92010-03-09 23:52:58 +00003680 Asm->OutStreamer.AddComment("Dwarf Version");
3681 Asm->EmitInt16(dwarf::DWARF_VERSION);
3682 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattner3a383cb2010-04-05 00:13:49 +00003683 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00003684
Devang Patel32cc43c2010-05-07 20:54:48 +00003685 for (SmallVector<const MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003686 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach042483e2009-11-21 23:12:12 +00003687
Devang Patel32cc43c2010-05-07 20:54:48 +00003688 const MDNode *Node = *I;
3689 DenseMap<const MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach00e9c612009-11-22 19:20:36 +00003690 = InlineInfo.find(Node);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003691 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel80ae3492009-08-28 23:24:31 +00003692 DISubprogram SP(Node);
Devang Patel2d9caf92009-11-25 17:36:49 +00003693 StringRef LName = SP.getLinkageName();
3694 StringRef Name = SP.getName();
Bill Wendling480ff322009-05-20 23:21:38 +00003695
Chris Lattner566cae92010-03-09 23:52:58 +00003696 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattnerc3f23b82010-01-23 03:11:46 +00003697 if (LName.empty()) {
3698 Asm->OutStreamer.EmitBytes(Name, 0);
3699 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00003700 } else
Chris Lattner70a4fce2010-04-04 23:25:33 +00003701 Asm->EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
3702 DwarfStrSectionSym);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003703
Chris Lattner566cae92010-03-09 23:52:58 +00003704 Asm->OutStreamer.AddComment("Function name");
Chris Lattner70a4fce2010-04-04 23:25:33 +00003705 Asm->EmitSectionOffset(getStringPoolEntry(Name), DwarfStrSectionSym);
Chris Lattner9efd1182010-04-04 19:09:29 +00003706 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling480ff322009-05-20 23:21:38 +00003707
Devang Patelf6eeaeb2009-11-10 23:06:00 +00003708 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling480ff322009-05-20 23:21:38 +00003709 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner7bde8c02010-04-04 18:52:31 +00003710 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner085b6522010-03-09 00:31:02 +00003711 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00003712
Chris Lattner7bde8c02010-04-04 18:52:31 +00003713 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner3a383cb2010-04-05 00:13:49 +00003714 Asm->OutStreamer.EmitSymbolValue(LI->first,
3715 Asm->getTargetData().getPointerSize(),0);
Bill Wendling480ff322009-05-20 23:21:38 +00003716 }
3717 }
3718
Chris Lattnera179b522010-04-04 19:25:43 +00003719 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00003720}