blob: 684a409c9ffc5c041608f7595947e050b4e36918 [file] [log] [blame]
Bill Wendling0310d762009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
Chris Lattner6cde3e62010-03-09 00:39:24 +000013
Devang Patele4b27562009-08-28 23:24:31 +000014#define DEBUG_TYPE "dwarfdebug"
Bill Wendling0310d762009-05-15 09:23:25 +000015#include "DwarfDebug.h"
Chris Lattner74e41f92010-04-05 05:24:55 +000016#include "DIE.h"
Bill Wendling57fbba42010-04-05 22:59:21 +000017#include "llvm/Constants.h"
Bill Wendling0310d762009-05-15 09:23:25 +000018#include "llvm/Module.h"
David Greeneb2c66fc2009-08-19 21:52:55 +000019#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling0310d762009-05-15 09:23:25 +000020#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnerb7db7332010-03-09 01:58:53 +000021#include "llvm/MC/MCAsmInfo.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000022#include "llvm/MC/MCSection.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000023#include "llvm/MC/MCStreamer.h"
Chris Lattnerb7db7332010-03-09 01:58:53 +000024#include "llvm/MC/MCSymbol.h"
Chris Lattner45111d12010-01-16 21:57:06 +000025#include "llvm/Target/Mangler.h"
Bill Wendling0310d762009-05-15 09:23:25 +000026#include "llvm/Target/TargetData.h"
27#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000028#include "llvm/Target/TargetLoweringObjectFile.h"
Chris Lattner9d1c1ad2010-04-04 18:06:11 +000029#include "llvm/Target/TargetMachine.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000030#include "llvm/Target/TargetRegisterInfo.h"
Devang Patel2a4a3b72010-04-19 19:14:02 +000031#include "llvm/Target/TargetOptions.h"
Chris Lattner74e41f92010-04-05 05:24:55 +000032#include "llvm/Analysis/DebugInfo.h"
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +000033#include "llvm/ADT/STLExtras.h"
Chris Lattner23132b12009-08-24 03:52:50 +000034#include "llvm/ADT/StringExtras.h"
Daniel Dunbar6e4bdfc2009-10-13 06:47:08 +000035#include "llvm/Support/Debug.h"
36#include "llvm/Support/ErrorHandling.h"
Devang Patel3139fcf2010-01-26 21:39:14 +000037#include "llvm/Support/ValueHandle.h"
Chris Lattner0ad9c912010-01-22 22:09:00 +000038#include "llvm/Support/FormattedStream.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000039#include "llvm/Support/Timer.h"
40#include "llvm/System/Path.h"
Bill Wendling0310d762009-05-15 09:23:25 +000041using namespace llvm;
42
Bill Wendling5f017e82010-04-07 09:28:04 +000043namespace {
44 const char *DWARFGroupName = "DWARF Emission";
45 const char *DbgTimerName = "DWARF Debug Writer";
46} // end anonymous namespace
47
Bill Wendling0310d762009-05-15 09:23:25 +000048//===----------------------------------------------------------------------===//
49
50/// Configuration values for initial hash set sizes (log2).
51///
Bill Wendling0310d762009-05-15 09:23:25 +000052static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-05-15 09:23:25 +000053
54namespace llvm {
55
56//===----------------------------------------------------------------------===//
57/// CompileUnit - This dwarf writer support class manages information associate
58/// with a source file.
Nick Lewycky5f9843f2009-11-17 08:11:44 +000059class CompileUnit {
Bill Wendling0310d762009-05-15 09:23:25 +000060 /// ID - File identifier for source.
61 ///
62 unsigned ID;
63
64 /// Die - Compile unit debug information entry.
65 ///
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +000066 const OwningPtr<DIE> CUDie;
Bill Wendling0310d762009-05-15 09:23:25 +000067
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +000068 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel6f01d9c2009-11-21 00:31:03 +000069 DIE *IndexTyDie;
70
Bill Wendling0310d762009-05-15 09:23:25 +000071 /// GVToDieMap - Tracks the mapping of unit level debug informaton
72 /// variables to debug information entries.
Devang Patele4b27562009-08-28 23:24:31 +000073 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel622b0262010-01-19 06:19:05 +000074 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendling0310d762009-05-15 09:23:25 +000075
76 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
77 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patele4b27562009-08-28 23:24:31 +000078 /// FIXME : Rename
Devang Patel622b0262010-01-19 06:19:05 +000079 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendling0310d762009-05-15 09:23:25 +000080
81 /// Globals - A map of globally visible named entities for this unit.
82 ///
83 StringMap<DIE*> Globals;
84
Devang Patel193f7202009-11-24 01:14:22 +000085 /// GlobalTypes - A map of globally visible types for this unit.
86 ///
87 StringMap<DIE*> GlobalTypes;
88
Bill Wendling0310d762009-05-15 09:23:25 +000089public:
90 CompileUnit(unsigned I, DIE *D)
Devang Patel2c4ceb12009-11-21 02:48:08 +000091 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +000092
93 // Accessors.
Devang Patel193f7202009-11-24 01:14:22 +000094 unsigned getID() const { return ID; }
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +000095 DIE* getCUDie() const { return CUDie.get(); }
Devang Patel193f7202009-11-24 01:14:22 +000096 const StringMap<DIE*> &getGlobals() const { return Globals; }
97 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendling0310d762009-05-15 09:23:25 +000098
99 /// hasContent - Return true if this compile unit has something to write out.
100 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000101 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendling0310d762009-05-15 09:23:25 +0000102
Devang Patel2c4ceb12009-11-21 02:48:08 +0000103 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +0000104 ///
Benjamin Kramerbbb88db2010-03-31 20:15:45 +0000105 void addGlobal(StringRef Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendling0310d762009-05-15 09:23:25 +0000106
Devang Patel193f7202009-11-24 01:14:22 +0000107 /// addGlobalType - Add a new global type to the compile unit.
108 ///
Benjamin Kramerbbb88db2010-03-31 20:15:45 +0000109 void addGlobalType(StringRef Name, DIE *Die) {
Devang Patel193f7202009-11-24 01:14:22 +0000110 GlobalTypes[Name] = Die;
111 }
112
Devang Patel017d1212009-11-20 21:37:22 +0000113 /// getDIE - Returns the debug information entry map slot for the
Bill Wendling0310d762009-05-15 09:23:25 +0000114 /// specified debug variable.
Devang Patel017d1212009-11-20 21:37:22 +0000115 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000116
Devang Patel017d1212009-11-20 21:37:22 +0000117 /// insertDIE - Insert DIE into the map.
118 void insertDIE(MDNode *N, DIE *D) {
119 GVToDieMap.insert(std::make_pair(N, D));
120 }
Bill Wendling0310d762009-05-15 09:23:25 +0000121
Devang Patel017d1212009-11-20 21:37:22 +0000122 /// getDIEEntry - Returns the debug information entry for the speciefied
123 /// debug variable.
Devang Patel6404e4e2009-12-15 19:16:48 +0000124 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel622b0262010-01-19 06:19:05 +0000125 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel6404e4e2009-12-15 19:16:48 +0000126 if (I == GVToDIEEntryMap.end())
127 return NULL;
128 return I->second;
129 }
Devang Patel017d1212009-11-20 21:37:22 +0000130
131 /// insertDIEEntry - Insert debug information entry into the map.
132 void insertDIEEntry(MDNode *N, DIEEntry *E) {
133 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendling0310d762009-05-15 09:23:25 +0000134 }
135
Devang Patel2c4ceb12009-11-21 02:48:08 +0000136 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendling0310d762009-05-15 09:23:25 +0000137 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000138 void addDie(DIE *Buffer) {
139 this->CUDie->addChild(Buffer);
Bill Wendling0310d762009-05-15 09:23:25 +0000140 }
Devang Patel6f01d9c2009-11-21 00:31:03 +0000141
142 // getIndexTyDie - Get an anonymous type for index type.
143 DIE *getIndexTyDie() {
144 return IndexTyDie;
145 }
146
Jim Grosbach7ab38df2009-11-22 19:20:36 +0000147 // setIndexTyDie - Set D as anonymous type for index which can be reused
148 // later.
Devang Patel6f01d9c2009-11-21 00:31:03 +0000149 void setIndexTyDie(DIE *D) {
150 IndexTyDie = D;
151 }
152
Bill Wendling0310d762009-05-15 09:23:25 +0000153};
154
155//===----------------------------------------------------------------------===//
156/// DbgVariable - This class is used to track local variable information.
157///
Devang Patelf76a3d62009-11-16 21:53:40 +0000158class DbgVariable {
Bill Wendling0310d762009-05-15 09:23:25 +0000159 DIVariable Var; // Variable Descriptor.
160 unsigned FrameIndex; // Variable frame index.
Devang Patel90a48ad2010-03-15 18:33:46 +0000161 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Devang Patelaead63c2010-03-29 22:59:58 +0000162 // DbgValueLabel - DBG_VALUE is effective from this label.
163 MCSymbol *DbgValueLabel;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000164 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patel53bb5c92009-11-10 23:06:00 +0000165 DIE *TheDIE;
Bill Wendling0310d762009-05-15 09:23:25 +0000166public:
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000167 // AbsVar may be NULL.
168 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patelaead63c2010-03-29 22:59:58 +0000169 : Var(V), FrameIndex(I), DbgValueMInsn(0),
170 DbgValueLabel(0), AbstractVar(AbsVar), TheDIE(0) {}
Devang Patel90a48ad2010-03-15 18:33:46 +0000171 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
Devang Patelaead63c2010-03-29 22:59:58 +0000172 : Var(V), FrameIndex(0), DbgValueMInsn(MI), DbgValueLabel(0),
173 AbstractVar(AbsVar), TheDIE(0)
Devang Patel90a48ad2010-03-15 18:33:46 +0000174 {}
Bill Wendling0310d762009-05-15 09:23:25 +0000175
176 // Accessors.
Devang Patel53bb5c92009-11-10 23:06:00 +0000177 DIVariable getVariable() const { return Var; }
178 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patel90a48ad2010-03-15 18:33:46 +0000179 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patelaead63c2010-03-29 22:59:58 +0000180 MCSymbol *getDbgValueLabel() const { return DbgValueLabel; }
181 void setDbgValueLabel(MCSymbol *L) { DbgValueLabel = L; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000182 DbgVariable *getAbstractVariable() const { return AbstractVar; }
183 void setDIE(DIE *D) { TheDIE = D; }
184 DIE *getDIE() const { return TheDIE; }
Bill Wendling0310d762009-05-15 09:23:25 +0000185};
186
187//===----------------------------------------------------------------------===//
188/// DbgScope - This class is used to track scope information.
189///
Devang Patelf76a3d62009-11-16 21:53:40 +0000190class DbgScope {
Bill Wendling0310d762009-05-15 09:23:25 +0000191 DbgScope *Parent; // Parent to this scope.
Jim Grosbach31ef40e2009-11-21 23:12:12 +0000192 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel3139fcf2010-01-26 21:39:14 +0000193 // Location at which this scope is inlined.
194 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel53bb5c92009-11-10 23:06:00 +0000195 bool AbstractScope; // Abstract Scope
Devang Pateld38dd112009-10-01 18:25:23 +0000196 const MachineInstr *LastInsn; // Last instruction of this scope.
197 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000198 // Scopes defined in scope. Contents not owned.
199 SmallVector<DbgScope *, 4> Scopes;
200 // Variables declared in scope. Contents owned.
201 SmallVector<DbgVariable *, 8> Variables;
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000202
Owen Anderson04c05f72009-06-24 22:53:20 +0000203 // Private state for dump()
204 mutable unsigned IndentLevel;
Bill Wendling0310d762009-05-15 09:23:25 +0000205public:
Devang Patelc90aefe2009-10-14 21:08:09 +0000206 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel53bb5c92009-11-10 23:06:00 +0000207 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Devang Patelc90aefe2009-10-14 21:08:09 +0000208 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendling0310d762009-05-15 09:23:25 +0000209 virtual ~DbgScope();
210
211 // Accessors.
212 DbgScope *getParent() const { return Parent; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000213 void setParent(DbgScope *P) { Parent = P; }
Bill Wendling0310d762009-05-15 09:23:25 +0000214 DIDescriptor getDesc() const { return Desc; }
Chris Lattnerbc733f52010-03-13 02:17:42 +0000215 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000216 MDNode *getScopeNode() const { return Desc.getNode(); }
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000217 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
218 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Devang Pateld38dd112009-10-01 18:25:23 +0000219 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
220 const MachineInstr *getLastInsn() { return LastInsn; }
221 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000222 void setAbstractScope() { AbstractScope = true; }
223 bool isAbstractScope() const { return AbstractScope; }
Devang Pateld38dd112009-10-01 18:25:23 +0000224 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel53bb5c92009-11-10 23:06:00 +0000225
Devang Patel2c4ceb12009-11-21 02:48:08 +0000226 /// addScope - Add a scope to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000227 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000228 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendling0310d762009-05-15 09:23:25 +0000229
Devang Patel2c4ceb12009-11-21 02:48:08 +0000230 /// addVariable - Add a variable to the scope.
Bill Wendling0310d762009-05-15 09:23:25 +0000231 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000232 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendling0310d762009-05-15 09:23:25 +0000233
Devang Patel344130e2010-01-04 20:44:00 +0000234 void fixInstructionMarkers(DenseMap<const MachineInstr *,
235 unsigned> &MIIndexMap) {
Chris Lattnered7a77b2010-03-31 05:36:29 +0000236 assert(getFirstInsn() && "First instruction is missing!");
Devang Patel344130e2010-01-04 20:44:00 +0000237
238 // Use the end of last child scope as end of this scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000239 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patelee890ed2010-01-05 16:59:17 +0000240 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel344130e2010-01-04 20:44:00 +0000241 unsigned LIndex = 0;
242 if (Scopes.empty()) {
Chris Lattnered7a77b2010-03-31 05:36:29 +0000243 assert(getLastInsn() && "Inner most scope does not have last insn!");
Devang Patel344130e2010-01-04 20:44:00 +0000244 return;
245 }
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000246 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel344130e2010-01-04 20:44:00 +0000247 SE = Scopes.end(); SI != SE; ++SI) {
248 DbgScope *DS = *SI;
249 DS->fixInstructionMarkers(MIIndexMap);
250 const MachineInstr *DSLastInsn = DS->getLastInsn();
251 unsigned DSI = MIIndexMap[DSLastInsn];
252 if (DSI > LIndex) {
253 LastInsn = DSLastInsn;
254 LIndex = DSI;
255 }
256 }
Devang Patel22fb4b22010-02-17 02:20:34 +0000257
258 unsigned CurrentLastInsnIndex = 0;
259 if (const MachineInstr *CL = getLastInsn())
260 CurrentLastInsnIndex = MIIndexMap[CL];
261 unsigned FIndex = MIIndexMap[getFirstInsn()];
262
263 // Set LastInsn as the last instruction for this scope only if
264 // it follows
265 // 1) this scope's first instruction and
266 // 2) current last instruction for this scope, if any.
267 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
268 setLastInsn(LastInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +0000269 }
270
Bill Wendling0310d762009-05-15 09:23:25 +0000271#ifndef NDEBUG
272 void dump() const;
273#endif
274};
Chris Lattnerea761862010-04-05 04:09:20 +0000275
276} // end llvm namespace
Bill Wendling0310d762009-05-15 09:23:25 +0000277
278#ifndef NDEBUG
279void DbgScope::dump() const {
David Greenef83adbc2009-12-24 00:31:35 +0000280 raw_ostream &err = dbgs();
Chris Lattnerc281de12009-08-23 00:51:00 +0000281 err.indent(IndentLevel);
Devang Patel53bb5c92009-11-10 23:06:00 +0000282 MDNode *N = Desc.getNode();
283 N->dump();
Devang Patel53bb5c92009-11-10 23:06:00 +0000284 if (AbstractScope)
285 err << "Abstract Scope\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000286
287 IndentLevel += 2;
Devang Patel53bb5c92009-11-10 23:06:00 +0000288 if (!Scopes.empty())
289 err << "Children ...\n";
Bill Wendling0310d762009-05-15 09:23:25 +0000290 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
291 if (Scopes[i] != this)
292 Scopes[i]->dump();
293
294 IndentLevel -= 2;
295}
296#endif
297
Bill Wendling0310d762009-05-15 09:23:25 +0000298DbgScope::~DbgScope() {
Bill Wendling0310d762009-05-15 09:23:25 +0000299 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
300 delete Variables[j];
Bill Wendling0310d762009-05-15 09:23:25 +0000301}
302
Chris Lattner49cd6642010-04-05 05:11:15 +0000303DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Chris Lattnerd38fee82010-04-05 00:13:49 +0000304 : Asm(A), MMI(Asm->MMI), ModuleCU(0),
Chris Lattner994cb122010-04-05 03:52:55 +0000305 AbbreviationsSet(InitAbbreviationsSetSize),
Devang Patelf2548ca2010-04-16 23:33:45 +0000306 CurrentFnDbgScope(0), PrevLabel(NULL) {
Chris Lattnerbc733f52010-03-13 02:17:42 +0000307 NextStringPoolNumber = 0;
Chris Lattner9c69e285532010-04-04 22:59:04 +0000308
Chris Lattner4ad1efe2010-04-04 23:10:38 +0000309 DwarfFrameSectionSym = DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
310 DwarfStrSectionSym = TextSectionSym = 0;
Torok Edwin9c421072010-04-07 10:44:46 +0000311
312 if (TimePassesIsEnabled) {
313 NamedRegionTimer T(DbgTimerName, DWARFGroupName);
314 beginModule(M);
315 } else {
316 beginModule(M);
317 }
Bill Wendling0310d762009-05-15 09:23:25 +0000318}
319DwarfDebug::~DwarfDebug() {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000320 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
321 DIEBlocks[j]->~DIEBlock();
Bill Wendling0310d762009-05-15 09:23:25 +0000322}
323
Chris Lattnerbc733f52010-03-13 02:17:42 +0000324MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
325 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
326 if (Entry.first) return Entry.first;
327
328 Entry.second = NextStringPoolNumber++;
Chris Lattnerc0215722010-04-04 19:25:43 +0000329 return Entry.first = Asm->GetTempSymbol("string", Entry.second);
Chris Lattnerbc733f52010-03-13 02:17:42 +0000330}
331
332
Devang Patel2c4ceb12009-11-21 02:48:08 +0000333/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000334///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000335void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000336 // Profile the node so that we can make it unique.
337 FoldingSetNodeID ID;
338 Abbrev.Profile(ID);
339
340 // Check the set for priors.
341 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
342
343 // If it's newly added.
344 if (InSet == &Abbrev) {
345 // Add to abbreviation list.
346 Abbreviations.push_back(&Abbrev);
347
348 // Assign the vector position + 1 as its number.
349 Abbrev.setNumber(Abbreviations.size());
350 } else {
351 // Assign existing abbreviation number.
352 Abbrev.setNumber(InSet->getNumber());
353 }
354}
355
Devang Patel2c4ceb12009-11-21 02:48:08 +0000356/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000357/// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000358DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000359 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000360 return Value;
361}
362
Devang Patel2c4ceb12009-11-21 02:48:08 +0000363/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000364///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000365void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000366 unsigned Form, uint64_t Integer) {
367 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000368 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000369 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000370}
371
Devang Patel2c4ceb12009-11-21 02:48:08 +0000372/// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000373///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000374void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000375 unsigned Form, int64_t Integer) {
376 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000377 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000378 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000379}
380
Devang Patel69f57b12009-12-02 15:25:16 +0000381/// addString - Add a string attribute data and value. DIEString only
382/// keeps string reference.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000383void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner4cf202b2010-01-23 03:11:46 +0000384 StringRef String) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000385 DIEValue *Value = new (DIEValueAllocator) DIEString(String);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000386 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000387}
388
Devang Patel2c4ceb12009-11-21 02:48:08 +0000389/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000390///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000391void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000392 const MCSymbol *Label) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000393 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000394 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000395}
396
Devang Patel2c4ceb12009-11-21 02:48:08 +0000397/// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000398///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000399void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000400 const MCSymbol *Hi, const MCSymbol *Lo) {
Benjamin Kramer345ef342010-03-31 19:34:01 +0000401 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000402 Die->addValue(Attribute, Form, Value);
Bill Wendling0310d762009-05-15 09:23:25 +0000403}
404
Chris Lattner74e41f92010-04-05 05:24:55 +0000405/// addDIEEntry - Add a DIE attribute data and value.
406///
407void DwarfDebug::addDIEEntry(DIE *Die, unsigned Attribute, unsigned Form,
408 DIE *Entry) {
409 Die->addValue(Attribute, Form, createDIEEntry(Entry));
410}
411
412
Devang Patel2c4ceb12009-11-21 02:48:08 +0000413/// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000414///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000415void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000416 DIEBlock *Block) {
Chris Lattnera37d5382010-04-05 00:18:22 +0000417 Block->ComputeSize(Asm);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000418 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000419 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000420}
421
Devang Patel2c4ceb12009-11-21 02:48:08 +0000422/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000423/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000424void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendling0310d762009-05-15 09:23:25 +0000425 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000426 if (!V->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000427 return;
428
429 unsigned Line = V->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000430 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
431 V->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000432 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000433 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
434 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000435}
436
Devang Patel2c4ceb12009-11-21 02:48:08 +0000437/// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000438/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000439void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendling0310d762009-05-15 09:23:25 +0000440 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000441 if (!G->getCompileUnit().Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000442 return;
443
444 unsigned Line = G->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000445 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
446 G->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000447 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000448 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
449 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000450}
Devang Patel82dfc0c2009-08-31 22:47:13 +0000451
Devang Patel2c4ceb12009-11-21 02:48:08 +0000452/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000453/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000454void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel82dfc0c2009-08-31 22:47:13 +0000455 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000456 if (!SP->getCompileUnit().Verify())
Devang Patel82dfc0c2009-08-31 22:47:13 +0000457 return;
Caroline Ticec6f9d622009-09-11 18:25:54 +0000458 // If the line number is 0, don't add it.
459 if (SP->getLineNumber() == 0)
460 return;
461
Devang Patel82dfc0c2009-08-31 22:47:13 +0000462 unsigned Line = SP->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000463 if (!SP->getContext().Verify())
464 return;
Devang Patel9bb59a22010-03-24 21:30:35 +0000465 unsigned FileID = GetOrCreateSourceID(SP->getDirectory(),
466 SP->getFilename());
Devang Patel82dfc0c2009-08-31 22:47:13 +0000467 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000468 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
469 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel82dfc0c2009-08-31 22:47:13 +0000470}
471
Devang Patel2c4ceb12009-11-21 02:48:08 +0000472/// addSourceLine - Add location information to specified debug information
Devang Patel82dfc0c2009-08-31 22:47:13 +0000473/// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000474void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendling0310d762009-05-15 09:23:25 +0000475 // If there is no compile unit specified, don't add a line #.
476 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel3c91b052010-03-08 20:52:55 +0000477 if (!CU.Verify())
Bill Wendling0310d762009-05-15 09:23:25 +0000478 return;
479
480 unsigned Line = Ty->getLineNumber();
Devang Patel77bf2952010-03-08 22:02:50 +0000481 if (!Ty->getContext().Verify())
482 return;
483 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
484 Ty->getContext().getFilename());
Bill Wendling0310d762009-05-15 09:23:25 +0000485 assert(FileID && "Invalid file id");
Devang Patel2c4ceb12009-11-21 02:48:08 +0000486 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
487 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendling0310d762009-05-15 09:23:25 +0000488}
489
Devang Patel6404e4e2009-12-15 19:16:48 +0000490/// addSourceLine - Add location information to specified debug information
491/// entry.
492void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
493 // If there is no compile unit specified, don't add a line #.
Devang Patel3c91b052010-03-08 20:52:55 +0000494 if (!NS->getCompileUnit().Verify())
Devang Patel6404e4e2009-12-15 19:16:48 +0000495 return;
496
497 unsigned Line = NS->getLineNumber();
498 StringRef FN = NS->getFilename();
499 StringRef Dir = NS->getDirectory();
500
501 unsigned FileID = GetOrCreateSourceID(Dir, FN);
502 assert(FileID && "Invalid file id");
503 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
504 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
505}
506
Caroline Ticedc8f6042009-08-31 21:19:37 +0000507/* Byref variables, in Blocks, are declared by the programmer as
508 "SomeType VarName;", but the compiler creates a
509 __Block_byref_x_VarName struct, and gives the variable VarName
510 either the struct, or a pointer to the struct, as its type. This
511 is necessary for various behind-the-scenes things the compiler
512 needs to do with by-reference variables in blocks.
513
514 However, as far as the original *programmer* is concerned, the
515 variable should still have type 'SomeType', as originally declared.
516
517 The following function dives into the __Block_byref_x_VarName
518 struct to find the original type of the variable. This will be
519 passed back to the code generating the type for the Debug
520 Information Entry for the variable 'VarName'. 'VarName' will then
521 have the original type 'SomeType' in its debug information.
522
523 The original type 'SomeType' will be the type of the field named
524 'VarName' inside the __Block_byref_x_VarName struct.
525
526 NOTE: In order for this to not completely fail on the debugger
527 side, the Debug Information Entry for the variable VarName needs to
528 have a DW_AT_location that tells the debugger how to unwind through
529 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patel2c4ceb12009-11-21 02:48:08 +0000530 value of the variable. The function addBlockByrefType does this. */
Caroline Ticedc8f6042009-08-31 21:19:37 +0000531
532/// Find the type the programmer originally declared the variable to be
533/// and return that type.
534///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000535DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000536
537 DIType subType = Ty;
538 unsigned tag = Ty.getTag();
539
540 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000541 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000542 subType = DTy.getTypeDerivedFrom();
543 }
544
545 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000546 DIArray Elements = blockStruct.getTypeArray();
547
Caroline Ticedc8f6042009-08-31 21:19:37 +0000548 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
549 DIDescriptor Element = Elements.getElement(i);
550 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000551 if (Name == DT.getName())
Caroline Ticedc8f6042009-08-31 21:19:37 +0000552 return (DT.getTypeDerivedFrom());
553 }
554
555 return Ty;
556}
557
Devang Patel2c4ceb12009-11-21 02:48:08 +0000558/// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000559/// and generate the DWARF information necessary to find the actual variable
560/// given the extra address information encoded in the DIVariable, starting from
561/// the starting location. Add the DWARF information to the die.
562///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000563void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000564 unsigned Attribute,
565 const MachineLocation &Location) {
566 const DIVariable &VD = DV->getVariable();
567 DIType Ty = VD.getType();
568
569 // Decode the original location, and use that as the start of the byref
570 // variable's location.
Chris Lattnerd38fee82010-04-05 00:13:49 +0000571 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000572 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000573 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000574
575 if (Location.isReg()) {
576 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000577 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000578 } else {
579 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000580 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
581 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000582 }
583 } else {
584 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000585 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000586 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000587 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
588 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000589 }
590
Devang Patel2c4ceb12009-11-21 02:48:08 +0000591 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000592 }
593
594 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
595 uint64_t Element = VD.getAddrElement(i);
596
597 if (Element == DIFactory::OpPlus) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000598 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
599 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000600 } else if (Element == DIFactory::OpDeref) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000601 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000602 } else llvm_unreachable("unknown DIFactory Opcode");
603 }
604
605 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000606 addBlock(Die, Attribute, 0, Block);
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000607}
608
Caroline Ticedc8f6042009-08-31 21:19:37 +0000609/* Byref variables, in Blocks, are declared by the programmer as "SomeType
610 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
611 gives the variable VarName either the struct, or a pointer to the struct, as
612 its type. This is necessary for various behind-the-scenes things the
613 compiler needs to do with by-reference variables in Blocks.
614
615 However, as far as the original *programmer* is concerned, the variable
616 should still have type 'SomeType', as originally declared.
617
Devang Patel2c4ceb12009-11-21 02:48:08 +0000618 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000619 struct to find the original type of the variable, which is then assigned to
620 the variable's Debug Information Entry as its real type. So far, so good.
621 However now the debugger will expect the variable VarName to have the type
622 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000623 expression that explains to the debugger how to navigate through the
Caroline Ticedc8f6042009-08-31 21:19:37 +0000624 pointers and struct to find the actual variable of type SomeType.
625
626 The following function does just that. We start by getting
627 the "normal" location for the variable. This will be the location
628 of either the struct __Block_byref_x_VarName or the pointer to the
629 struct __Block_byref_x_VarName.
630
631 The struct will look something like:
632
633 struct __Block_byref_x_VarName {
634 ... <various fields>
635 struct __Block_byref_x_VarName *forwarding;
636 ... <various other fields>
637 SomeType VarName;
638 ... <maybe more fields>
639 };
640
641 If we are given the struct directly (as our starting point) we
642 need to tell the debugger to:
643
644 1). Add the offset of the forwarding field.
645
Dan Gohmanf451cb82010-02-10 16:03:48 +0000646 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Ticedc8f6042009-08-31 21:19:37 +0000647 struct to use (the real one may have been copied onto the heap).
648
649 3). Add the offset for the field VarName, to find the actual variable.
650
651 If we started with a pointer to the struct, then we need to
652 dereference that pointer first, before the other steps.
653 Translating this into DWARF ops, we will need to append the following
654 to the current location description for the variable:
655
656 DW_OP_deref -- optional, if we start with a pointer
657 DW_OP_plus_uconst <forward_fld_offset>
658 DW_OP_deref
659 DW_OP_plus_uconst <varName_fld_offset>
660
661 That is what this function does. */
662
Devang Patel2c4ceb12009-11-21 02:48:08 +0000663/// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000664/// provided, and generate the DWARF information necessary to find the
665/// actual Block variable (navigating the Block struct) based on the
666/// starting location. Add the DWARF information to the die. For
667/// more information, read large comment just above here.
668///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000669void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar00564992009-09-19 20:40:14 +0000670 unsigned Attribute,
671 const MachineLocation &Location) {
Caroline Ticedc8f6042009-08-31 21:19:37 +0000672 const DIVariable &VD = DV->getVariable();
673 DIType Ty = VD.getType();
674 DIType TmpTy = Ty;
675 unsigned Tag = Ty.getTag();
676 bool isPointer = false;
677
Devang Patel65dbc902009-11-25 17:36:49 +0000678 StringRef varName = VD.getName();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000679
680 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000681 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Ticedc8f6042009-08-31 21:19:37 +0000682 TmpTy = DTy.getTypeDerivedFrom();
683 isPointer = true;
684 }
685
686 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
687
Daniel Dunbar00564992009-09-19 20:40:14 +0000688 // Find the __forwarding field and the variable field in the __Block_byref
689 // struct.
Daniel Dunbar00564992009-09-19 20:40:14 +0000690 DIArray Fields = blockStruct.getTypeArray();
691 DIDescriptor varField = DIDescriptor();
692 DIDescriptor forwardingField = DIDescriptor();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000693
Daniel Dunbar00564992009-09-19 20:40:14 +0000694 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
695 DIDescriptor Element = Fields.getElement(i);
696 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel65dbc902009-11-25 17:36:49 +0000697 StringRef fieldName = DT.getName();
698 if (fieldName == "__forwarding")
Daniel Dunbar00564992009-09-19 20:40:14 +0000699 forwardingField = Element;
Devang Patel65dbc902009-11-25 17:36:49 +0000700 else if (fieldName == varName)
Daniel Dunbar00564992009-09-19 20:40:14 +0000701 varField = Element;
702 }
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000703
Daniel Dunbar00564992009-09-19 20:40:14 +0000704 // Get the offsets for the forwarding field and the variable field.
Chris Lattner1d65ba72010-03-31 06:06:37 +0000705 unsigned forwardingFieldOffset =
Daniel Dunbar00564992009-09-19 20:40:14 +0000706 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
Chris Lattner1d65ba72010-03-31 06:06:37 +0000707 unsigned varFieldOffset =
Daniel Dunbar00564992009-09-19 20:40:14 +0000708 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Ticedc8f6042009-08-31 21:19:37 +0000709
Mike Stump7e3720d2009-09-24 23:21:26 +0000710 // Decode the original location, and use that as the start of the byref
711 // variable's location.
Chris Lattnerd38fee82010-04-05 00:13:49 +0000712 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Daniel Dunbar00564992009-09-19 20:40:14 +0000713 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000714 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Caroline Ticedc8f6042009-08-31 21:19:37 +0000715
Daniel Dunbar00564992009-09-19 20:40:14 +0000716 if (Location.isReg()) {
717 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000718 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000719 else {
720 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
722 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000723 }
724 } else {
725 if (Reg < 32)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000726 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000727 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000728 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
729 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar00564992009-09-19 20:40:14 +0000730 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000731
Devang Patel2c4ceb12009-11-21 02:48:08 +0000732 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar00564992009-09-19 20:40:14 +0000733 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000734
Mike Stump7e3720d2009-09-24 23:21:26 +0000735 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar00564992009-09-19 20:40:14 +0000736 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar00564992009-09-19 20:40:14 +0000737 if (isPointer)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000738 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000739
Daniel Dunbar00564992009-09-19 20:40:14 +0000740 // Next add the offset for the '__forwarding' field:
741 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
742 // adding the offset if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000743 if (forwardingFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000744 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
745 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000746 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000747
Daniel Dunbar00564992009-09-19 20:40:14 +0000748 // Now dereference the __forwarding field to get to the real __Block_byref
749 // struct: DW_OP_deref.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000750 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000751
Daniel Dunbar00564992009-09-19 20:40:14 +0000752 // Now that we've got the real __Block_byref... struct, add the offset
753 // for the variable's field to get to the location of the actual variable:
754 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar00564992009-09-19 20:40:14 +0000755 if (varFieldOffset > 0) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000756 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
757 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar00564992009-09-19 20:40:14 +0000758 }
Caroline Ticedc8f6042009-08-31 21:19:37 +0000759
Daniel Dunbar00564992009-09-19 20:40:14 +0000760 // Now attach the location information to the DIE.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000761 addBlock(Die, Attribute, 0, Block);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000762}
763
Devang Patel2c4ceb12009-11-21 02:48:08 +0000764/// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000765/// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000766void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000767 const MachineLocation &Location) {
Chris Lattnerd38fee82010-04-05 00:13:49 +0000768 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling0310d762009-05-15 09:23:25 +0000769 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer345ef342010-03-31 19:34:01 +0000770 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Bill Wendling0310d762009-05-15 09:23:25 +0000771
772 if (Location.isReg()) {
773 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000774 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000775 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000776 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
777 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000778 }
779 } else {
780 if (Reg < 32) {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000781 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000782 } else {
Devang Patel2c4ceb12009-11-21 02:48:08 +0000783 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
784 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendling0310d762009-05-15 09:23:25 +0000785 }
786
Devang Patel2c4ceb12009-11-21 02:48:08 +0000787 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendling0310d762009-05-15 09:23:25 +0000788 }
789
Devang Patel2c4ceb12009-11-21 02:48:08 +0000790 addBlock(Die, Attribute, 0, Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000791}
792
Devang Patelc366f832009-12-10 19:14:49 +0000793/// addToContextOwner - Add Die into the list of its context owner's children.
794void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel3c91b052010-03-08 20:52:55 +0000795 if (Context.isType()) {
Devang Patelc366f832009-12-10 19:14:49 +0000796 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
797 ContextDIE->addChild(Die);
Devang Patel6404e4e2009-12-15 19:16:48 +0000798 } else if (Context.isNameSpace()) {
799 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
800 ContextDIE->addChild(Die);
Devang Patelc366f832009-12-10 19:14:49 +0000801 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
802 ContextDIE->addChild(Die);
803 else
804 ModuleCU->addDie(Die);
805}
806
Devang Patel16ced732009-12-10 18:05:33 +0000807/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
808/// given DIType.
809DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
810 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
811 if (TyDIE)
812 return TyDIE;
813
814 // Create new type.
815 TyDIE = new DIE(dwarf::DW_TAG_base_type);
816 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
817 if (Ty.isBasicType())
818 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
819 else if (Ty.isCompositeType())
820 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
821 else {
822 assert(Ty.isDerivedType() && "Unknown kind of DIType");
823 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
824 }
825
Devang Patelc366f832009-12-10 19:14:49 +0000826 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel16ced732009-12-10 18:05:33 +0000827 return TyDIE;
828}
829
Devang Patel2c4ceb12009-11-21 02:48:08 +0000830/// addType - Add a new type attribute to the specified entity.
Devang Patel8a241142009-12-09 18:24:21 +0000831void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel3c91b052010-03-08 20:52:55 +0000832 if (!Ty.isValid())
Bill Wendling0310d762009-05-15 09:23:25 +0000833 return;
834
835 // Check for pre-existence.
Devang Patel8a241142009-12-09 18:24:21 +0000836 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendling0310d762009-05-15 09:23:25 +0000837 // If it exists then use the existing value.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000838 if (Entry) {
839 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000840 return;
841 }
842
Bill Wendling0310d762009-05-15 09:23:25 +0000843 // Construct type.
Devang Patel16ced732009-12-10 18:05:33 +0000844 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000845
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +0000846 // Set up proxy.
847 Entry = createDIEEntry(Buffer);
848 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
849
Devang Patel2c4ceb12009-11-21 02:48:08 +0000850 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendling0310d762009-05-15 09:23:25 +0000851}
852
Devang Patel2c4ceb12009-11-21 02:48:08 +0000853/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patel8a241142009-12-09 18:24:21 +0000854void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000855 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000856 StringRef Name = BTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000857 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +0000858 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendling0310d762009-05-15 09:23:25 +0000859 BTy.getEncoding());
860
861 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000862 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000863 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000864 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000865 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000866}
867
Devang Patel2c4ceb12009-11-21 02:48:08 +0000868/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patel8a241142009-12-09 18:24:21 +0000869void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000870 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000871 StringRef Name = DTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000872 uint64_t Size = DTy.getSizeInBits() >> 3;
873 unsigned Tag = DTy.getTag();
874
875 // FIXME - Workaround for templates.
876 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
877
878 Buffer.setTag(Tag);
879
880 // Map to main type, void will not have a type.
881 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patel8a241142009-12-09 18:24:21 +0000882 addType(&Buffer, FromTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000883
884 // Add name if not anonymous or intermediate type.
Devang Pateldeea5642009-11-30 23:56:56 +0000885 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000886 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000887
888 // Add size if non-zero (derived types might be zero-sized.)
889 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000890 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +0000891
892 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patel05f6fa82009-11-23 18:43:37 +0000893 if (!DTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000894 addSourceLine(&Buffer, &DTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000895}
896
Devang Patel2c4ceb12009-11-21 02:48:08 +0000897/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +0000898void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendling0310d762009-05-15 09:23:25 +0000899 // Get core information.
Devang Patel65dbc902009-11-25 17:36:49 +0000900 StringRef Name = CTy.getName();
Bill Wendling0310d762009-05-15 09:23:25 +0000901
902 uint64_t Size = CTy.getSizeInBits() >> 3;
903 unsigned Tag = CTy.getTag();
904 Buffer.setTag(Tag);
905
906 switch (Tag) {
907 case dwarf::DW_TAG_vector_type:
908 case dwarf::DW_TAG_array_type:
Devang Patel8a241142009-12-09 18:24:21 +0000909 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000910 break;
911 case dwarf::DW_TAG_enumeration_type: {
912 DIArray Elements = CTy.getTypeArray();
913
914 // Add enumerators to enumeration type.
915 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
916 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000917 DIDescriptor Enum(Elements.getElement(i).getNode());
918 if (Enum.isEnumerator()) {
919 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000920 Buffer.addChild(ElemDie);
Devang Patelc5254722009-10-09 17:51:49 +0000921 }
Bill Wendling0310d762009-05-15 09:23:25 +0000922 }
923 }
924 break;
925 case dwarf::DW_TAG_subroutine_type: {
926 // Add return type.
927 DIArray Elements = CTy.getTypeArray();
928 DIDescriptor RTy = Elements.getElement(0);
Devang Patel8a241142009-12-09 18:24:21 +0000929 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendling0310d762009-05-15 09:23:25 +0000930
931 // Add prototype flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000932 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000933
934 // Add arguments.
935 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
936 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
937 DIDescriptor Ty = Elements.getElement(i);
Devang Patel8a241142009-12-09 18:24:21 +0000938 addType(Arg, DIType(Ty.getNode()));
Devang Patel2c4ceb12009-11-21 02:48:08 +0000939 Buffer.addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +0000940 }
941 }
942 break;
943 case dwarf::DW_TAG_structure_type:
944 case dwarf::DW_TAG_union_type:
945 case dwarf::DW_TAG_class_type: {
946 // Add elements to structure type.
947 DIArray Elements = CTy.getTypeArray();
948
949 // A forward struct declared type may not have elements available.
Devang Patel3c91b052010-03-08 20:52:55 +0000950 unsigned N = Elements.getNumElements();
951 if (N == 0)
Bill Wendling0310d762009-05-15 09:23:25 +0000952 break;
953
954 // Add elements to structure type.
Devang Patel3c91b052010-03-08 20:52:55 +0000955 for (unsigned i = 0; i < N; ++i) {
Bill Wendling0310d762009-05-15 09:23:25 +0000956 DIDescriptor Element = Elements.getElement(i);
957 DIE *ElemDie = NULL;
Devang Patel3c91b052010-03-08 20:52:55 +0000958 if (Element.isSubprogram())
Devang Patelffe966c2009-12-14 16:18:45 +0000959 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000960 else if (Element.isVariable()) {
Devang Patel1ee0cb92010-01-30 01:08:30 +0000961 DIVariable DV(Element.getNode());
962 ElemDie = new DIE(dwarf::DW_TAG_variable);
963 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
964 DV.getName());
965 addType(ElemDie, DV.getType());
966 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
967 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
968 addSourceLine(ElemDie, &DV);
Devang Patel3c91b052010-03-08 20:52:55 +0000969 } else if (Element.isDerivedType())
Devang Patel8a241142009-12-09 18:24:21 +0000970 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel3c91b052010-03-08 20:52:55 +0000971 else
972 continue;
Devang Patel2c4ceb12009-11-21 02:48:08 +0000973 Buffer.addChild(ElemDie);
Bill Wendling0310d762009-05-15 09:23:25 +0000974 }
975
Devang Patela1ba2692009-08-27 23:51:51 +0000976 if (CTy.isAppleBlockExtension())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000977 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +0000978
979 unsigned RLang = CTy.getRunTimeLang();
980 if (RLang)
Devang Patel2c4ceb12009-11-21 02:48:08 +0000981 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendling0310d762009-05-15 09:23:25 +0000982 dwarf::DW_FORM_data1, RLang);
Devang Patelb5544992010-01-26 21:16:06 +0000983
984 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel3c91b052010-03-08 20:52:55 +0000985 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patelb5544992010-01-26 21:16:06 +0000986 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
987 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendling0310d762009-05-15 09:23:25 +0000988 break;
989 }
990 default:
991 break;
992 }
993
994 // Add name if not anonymous or intermediate type.
Devang Patel65dbc902009-11-25 17:36:49 +0000995 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +0000996 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendling0310d762009-05-15 09:23:25 +0000997
Devang Patel8cbb6122010-01-29 18:34:58 +0000998 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendling0310d762009-05-15 09:23:25 +0000999 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
1000 // Add size if non-zero (derived types might be zero-sized.)
1001 if (Size)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001002 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendling0310d762009-05-15 09:23:25 +00001003 else {
1004 // Add zero size if it is not a forward declaration.
1005 if (CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001006 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001007 else
Devang Patel2c4ceb12009-11-21 02:48:08 +00001008 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendling0310d762009-05-15 09:23:25 +00001009 }
1010
1011 // Add source line info if available.
1012 if (!CTy.isForwardDecl())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001013 addSourceLine(&Buffer, &CTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001014 }
1015}
1016
Devang Patel2c4ceb12009-11-21 02:48:08 +00001017/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1018void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendling0310d762009-05-15 09:23:25 +00001019 int64_t L = SR.getLo();
1020 int64_t H = SR.getHi();
1021 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1022
Devang Patel2c4ceb12009-11-21 02:48:08 +00001023 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patel6325a532009-08-14 20:59:16 +00001024 if (L)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001025 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld55224c2009-12-04 23:10:24 +00001026 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendling0310d762009-05-15 09:23:25 +00001027
Devang Patel2c4ceb12009-11-21 02:48:08 +00001028 Buffer.addChild(DW_Subrange);
Bill Wendling0310d762009-05-15 09:23:25 +00001029}
1030
Devang Patel2c4ceb12009-11-21 02:48:08 +00001031/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patel8a241142009-12-09 18:24:21 +00001032void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +00001033 DICompositeType *CTy) {
1034 Buffer.setTag(dwarf::DW_TAG_array_type);
1035 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001036 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001037
1038 // Emit derived type.
Devang Patel8a241142009-12-09 18:24:21 +00001039 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001040 DIArray Elements = CTy->getTypeArray();
1041
Devang Patel6f01d9c2009-11-21 00:31:03 +00001042 // Get an anonymous type for index type.
Devang Patel8a241142009-12-09 18:24:21 +00001043 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel6f01d9c2009-11-21 00:31:03 +00001044 if (!IdxTy) {
1045 // Construct an anonymous type for index type.
1046 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001047 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1048 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel6f01d9c2009-11-21 00:31:03 +00001049 dwarf::DW_ATE_signed);
Devang Patel8a241142009-12-09 18:24:21 +00001050 ModuleCU->addDie(IdxTy);
1051 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel6f01d9c2009-11-21 00:31:03 +00001052 }
Bill Wendling0310d762009-05-15 09:23:25 +00001053
1054 // Add subranges to array type.
1055 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1056 DIDescriptor Element = Elements.getElement(i);
1057 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001058 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendling0310d762009-05-15 09:23:25 +00001059 }
1060}
1061
Devang Patel2c4ceb12009-11-21 02:48:08 +00001062/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel3c91b052010-03-08 20:52:55 +00001063DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendling0310d762009-05-15 09:23:25 +00001064 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel3c91b052010-03-08 20:52:55 +00001065 StringRef Name = ETy.getName();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001066 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel3c91b052010-03-08 20:52:55 +00001067 int64_t Value = ETy.getEnumValue();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001068 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendling0310d762009-05-15 09:23:25 +00001069 return Enumerator;
1070}
1071
Devang Patel351ca332010-01-05 01:46:14 +00001072/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1073/// printer to not emit usual symbol prefix before the symbol name is used then
1074/// return linkage name after skipping this special LLVM prefix.
1075static StringRef getRealLinkageName(StringRef LinkageName) {
1076 char One = '\1';
1077 if (LinkageName.startswith(StringRef(&One, 1)))
1078 return LinkageName.substr(1);
1079 return LinkageName;
1080}
1081
Devang Patel2c4ceb12009-11-21 02:48:08 +00001082/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patel8a241142009-12-09 18:24:21 +00001083DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001084 // If the global variable was optmized out then no need to create debug info
1085 // entry.
Devang Patel84c73e92009-11-06 17:58:12 +00001086 if (!GV.getGlobal()) return NULL;
Devang Patel65dbc902009-11-25 17:36:49 +00001087 if (GV.getDisplayName().empty()) return NULL;
Devang Patel465c3be2009-11-06 01:30:04 +00001088
Bill Wendling0310d762009-05-15 09:23:25 +00001089 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001090 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001091 GV.getDisplayName());
1092
Devang Patel65dbc902009-11-25 17:36:49 +00001093 StringRef LinkageName = GV.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001094 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001095 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001096 getRealLinkageName(LinkageName));
1097
Devang Patel8a241142009-12-09 18:24:21 +00001098 addType(GVDie, GV.getType());
Bill Wendling0310d762009-05-15 09:23:25 +00001099 if (!GV.isLocalToUnit())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001100 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1101 addSourceLine(GVDie, &GV);
Devang Patelb71a16d2009-10-05 23:22:08 +00001102
Bill Wendling0310d762009-05-15 09:23:25 +00001103 return GVDie;
1104}
1105
Devang Patel2c4ceb12009-11-21 02:48:08 +00001106/// createMemberDIE - Create new member DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001107DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendling0310d762009-05-15 09:23:25 +00001108 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel65dbc902009-11-25 17:36:49 +00001109 StringRef Name = DT.getName();
1110 if (!Name.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001111 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel65dbc902009-11-25 17:36:49 +00001112
Devang Patel8a241142009-12-09 18:24:21 +00001113 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendling0310d762009-05-15 09:23:25 +00001114
Devang Patel2c4ceb12009-11-21 02:48:08 +00001115 addSourceLine(MemberDie, &DT);
Bill Wendling0310d762009-05-15 09:23:25 +00001116
Benjamin Kramer345ef342010-03-31 19:34:01 +00001117 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patel2c4ceb12009-11-21 02:48:08 +00001118 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel33db5082009-11-04 22:06:12 +00001119
Bill Wendling0310d762009-05-15 09:23:25 +00001120 uint64_t Size = DT.getSizeInBits();
Devang Patel61ecbd12009-11-04 23:48:00 +00001121 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendling0310d762009-05-15 09:23:25 +00001122
1123 if (Size != FieldSize) {
1124 // Handle bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001125 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1126 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendling0310d762009-05-15 09:23:25 +00001127
1128 uint64_t Offset = DT.getOffsetInBits();
Bill Wendling0310d762009-05-15 09:23:25 +00001129 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1130 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer3d594fd2010-01-07 17:50:57 +00001131 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendling0310d762009-05-15 09:23:25 +00001132 Offset -= FieldOffset;
1133
1134 // Maybe we need to work from the other end.
Chris Lattnerd38fee82010-04-05 00:13:49 +00001135 if (Asm->getTargetData().isLittleEndian())
1136 Offset = FieldSize - (Offset + Size);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001137 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendling0310d762009-05-15 09:23:25 +00001138
Devang Patel33db5082009-11-04 22:06:12 +00001139 // Here WD_AT_data_member_location points to the anonymous
1140 // field that includes this bit field.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001141 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001142
1143 } else
1144 // This is not a bitfield.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001145 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel33db5082009-11-04 22:06:12 +00001146
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001147 if (DT.getTag() == dwarf::DW_TAG_inheritance
1148 && DT.isVirtual()) {
1149
1150 // For C++, virtual base classes are not at fixed offset. Use following
1151 // expression to extract appropriate offset from vtable.
1152 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1153
Benjamin Kramer345ef342010-03-31 19:34:01 +00001154 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patelc1dc8ff2010-02-03 20:08:48 +00001155 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1156 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1157 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1158 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1159 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1160 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1161 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1162
1163 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1164 VBaseLocationDie);
1165 } else
1166 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendling0310d762009-05-15 09:23:25 +00001167
1168 if (DT.isProtected())
Devang Patel5d11eb02009-12-03 19:11:07 +00001169 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001170 dwarf::DW_ACCESS_protected);
1171 else if (DT.isPrivate())
Devang Patel5d11eb02009-12-03 19:11:07 +00001172 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendling0310d762009-05-15 09:23:25 +00001173 dwarf::DW_ACCESS_private);
Devang Patel5d11eb02009-12-03 19:11:07 +00001174 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1175 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1176 dwarf::DW_ACCESS_public);
1177 if (DT.isVirtual())
1178 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1179 dwarf::DW_VIRTUALITY_virtual);
Bill Wendling0310d762009-05-15 09:23:25 +00001180 return MemberDie;
1181}
1182
Devang Patelffe966c2009-12-14 16:18:45 +00001183/// createSubprogramDIE - Create new DIE using SP.
1184DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1185 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1186 if (SPDie)
1187 return SPDie;
1188
1189 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel1eac3e72010-03-02 17:58:15 +00001190 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel6b506cb2010-03-02 01:26:20 +00001191 if (!SP.getName().empty())
1192 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendling0310d762009-05-15 09:23:25 +00001193
Devang Patel65dbc902009-11-25 17:36:49 +00001194 StringRef LinkageName = SP.getLinkageName();
Devang Patel351ca332010-01-05 01:46:14 +00001195 if (!LinkageName.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001196 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel351ca332010-01-05 01:46:14 +00001197 getRealLinkageName(LinkageName));
1198
Devang Patel2c4ceb12009-11-21 02:48:08 +00001199 addSourceLine(SPDie, &SP);
Bill Wendling0310d762009-05-15 09:23:25 +00001200
Bill Wendling0310d762009-05-15 09:23:25 +00001201 // Add prototyped tag, if C or ObjC.
1202 unsigned Lang = SP.getCompileUnit().getLanguage();
1203 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1204 Lang == dwarf::DW_LANG_ObjC)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001205 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001206
1207 // Add Return Type.
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001208 DICompositeType SPTy = SP.getType();
1209 DIArray Args = SPTy.getTypeArray();
Bill Wendling0310d762009-05-15 09:23:25 +00001210 unsigned SPTag = SPTy.getTag();
Devang Patel5d11eb02009-12-03 19:11:07 +00001211
Devang Patel3c91b052010-03-08 20:52:55 +00001212 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patel8a241142009-12-09 18:24:21 +00001213 addType(SPDie, SPTy);
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001214 else
Devang Patel8a241142009-12-09 18:24:21 +00001215 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001216
Devang Patel5d11eb02009-12-03 19:11:07 +00001217 unsigned VK = SP.getVirtuality();
1218 if (VK) {
1219 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
Benjamin Kramer345ef342010-03-31 19:34:01 +00001220 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel5d11eb02009-12-03 19:11:07 +00001221 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1222 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1223 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel622b0262010-01-19 06:19:05 +00001224 ContainingTypeMap.insert(std::make_pair(SPDie,
1225 SP.getContainingType().getNode()));
Devang Patel5d11eb02009-12-03 19:11:07 +00001226 }
1227
Devang Patelffe966c2009-12-14 16:18:45 +00001228 if (MakeDecl || !SP.isDefinition()) {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001229 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendling0310d762009-05-15 09:23:25 +00001230
1231 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patel1d5cc1d2009-12-03 01:25:38 +00001232 // be handled while processing variables.
1233 DICompositeType SPTy = SP.getType();
1234 DIArray Args = SPTy.getTypeArray();
1235 unsigned SPTag = SPTy.getTag();
1236
Bill Wendling0310d762009-05-15 09:23:25 +00001237 if (SPTag == dwarf::DW_TAG_subroutine_type)
1238 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1239 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelb4645642010-02-06 01:02:37 +00001240 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1241 addType(Arg, ATy);
1242 if (ATy.isArtificial())
1243 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001244 SPDie->addChild(Arg);
Bill Wendling0310d762009-05-15 09:23:25 +00001245 }
1246 }
1247
Devang Patel4e0d19d2010-02-03 19:57:19 +00001248 if (SP.isArtificial())
1249 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1250
Bill Wendling0310d762009-05-15 09:23:25 +00001251 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patel8a241142009-12-09 18:24:21 +00001252 ModuleCU->insertDIE(SP.getNode(), SPDie);
Devang Patel2a4a3b72010-04-19 19:14:02 +00001253
1254 if (NoFramePointerElim == false)
1255 addUInt(SPDie, dwarf::DW_AT_APPLE_omit_frame_ptr, dwarf::DW_FORM_flag, 1);
1256
Bill Wendling0310d762009-05-15 09:23:25 +00001257 return SPDie;
1258}
1259
Devang Patel8935d902010-04-01 17:16:48 +00001260/// getUpdatedDbgScope - Find DbgScope assicated with the instruction.
1261/// Update scope hierarchy. Create abstract scope if required.
Devang Patel53bb5c92009-11-10 23:06:00 +00001262DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
Chris Lattnered7a77b2010-03-31 05:36:29 +00001263 MDNode *InlinedAt) {
1264 assert(N && "Invalid Scope encoding!");
1265 assert(MI && "Missing machine instruction!");
Devang Patel8935d902010-04-01 17:16:48 +00001266 bool isAConcreteScope = InlinedAt != 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001267
1268 DbgScope *NScope = NULL;
1269
1270 if (InlinedAt)
1271 NScope = DbgScopeMap.lookup(InlinedAt);
1272 else
1273 NScope = DbgScopeMap.lookup(N);
Chris Lattnered7a77b2010-03-31 05:36:29 +00001274 assert(NScope && "Unable to find working scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001275
1276 if (NScope->getFirstInsn())
1277 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001278
1279 DbgScope *Parent = NULL;
Devang Patel8935d902010-04-01 17:16:48 +00001280 if (isAConcreteScope) {
Devang Patelc90aefe2009-10-14 21:08:09 +00001281 DILocation IL(InlinedAt);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001282 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel53bb5c92009-11-10 23:06:00 +00001283 IL.getOrigLocation().getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001284 assert(Parent && "Unable to find Parent scope!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001285 NScope->setParent(Parent);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001286 Parent->addScope(NScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001287 } else if (DIDescriptor(N).isLexicalBlock()) {
1288 DILexicalBlock DB(N);
Devang Patel3c91b052010-03-08 20:52:55 +00001289 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1290 NScope->setParent(Parent);
1291 Parent->addScope(NScope);
Devang Patelc90aefe2009-10-14 21:08:09 +00001292 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001293
Devang Patelbdf45cb2009-10-27 20:47:17 +00001294 NScope->setFirstInsn(MI);
Devang Patelaf9e8472009-10-01 20:31:14 +00001295
Devang Patel53bb5c92009-11-10 23:06:00 +00001296 if (!Parent && !InlinedAt) {
Devang Patel39ae3ff2009-11-11 00:31:36 +00001297 StringRef SPName = DISubprogram(N).getLinkageName();
Chris Lattnerd38fee82010-04-05 00:13:49 +00001298 if (SPName == Asm->MF->getFunction()->getName())
Devang Patel39ae3ff2009-11-11 00:31:36 +00001299 CurrentFnDbgScope = NScope;
Devang Patel53bb5c92009-11-10 23:06:00 +00001300 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001301
Devang Patel8935d902010-04-01 17:16:48 +00001302 if (isAConcreteScope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001303 ConcreteScopes[InlinedAt] = NScope;
1304 getOrCreateAbstractScope(N);
1305 }
1306
Devang Patelbdf45cb2009-10-27 20:47:17 +00001307 return NScope;
Devang Patelaf9e8472009-10-01 20:31:14 +00001308}
1309
Devang Patel53bb5c92009-11-10 23:06:00 +00001310DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
Chris Lattnered7a77b2010-03-31 05:36:29 +00001311 assert(N && "Invalid Scope encoding!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001312
1313 DbgScope *AScope = AbstractScopes.lookup(N);
1314 if (AScope)
1315 return AScope;
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001316
Devang Patel53bb5c92009-11-10 23:06:00 +00001317 DbgScope *Parent = NULL;
1318
1319 DIDescriptor Scope(N);
1320 if (Scope.isLexicalBlock()) {
1321 DILexicalBlock DB(N);
1322 DIDescriptor ParentDesc = DB.getContext();
Devang Patel3c91b052010-03-08 20:52:55 +00001323 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001324 }
1325
1326 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1327
1328 if (Parent)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001329 Parent->addScope(AScope);
Devang Patel53bb5c92009-11-10 23:06:00 +00001330 AScope->setAbstractScope();
1331 AbstractScopes[N] = AScope;
1332 if (DIDescriptor(N).isSubprogram())
1333 AbstractScopesList.push_back(AScope);
1334 return AScope;
1335}
Devang Patelaf9e8472009-10-01 20:31:14 +00001336
Devang Patel5f094002010-04-06 23:53:48 +00001337/// isSubprogramContext - Return true if Context is either a subprogram
1338/// or another context nested inside a subprogram.
Dan Gohmanb3579832010-04-15 17:08:50 +00001339static bool isSubprogramContext(MDNode *Context) {
Devang Patel5f094002010-04-06 23:53:48 +00001340 if (!Context)
1341 return false;
1342 DIDescriptor D(Context);
1343 if (D.isSubprogram())
1344 return true;
1345 if (D.isType())
1346 return isSubprogramContext(DIType(Context).getContext().getNode());
1347 return false;
1348}
1349
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001350/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patel2c4ceb12009-11-21 02:48:08 +00001351/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1352/// If there are global variables in this scope then create and insert
1353/// DIEs for these variables.
1354DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Chris Lattnerd38fee82010-04-05 00:13:49 +00001355 DIE *SPDie = ModuleCU->getDIE(SPNode);
1356 assert(SPDie && "Unable to find subprogram DIE!");
1357 DISubprogram SP(SPNode);
Chris Lattner206d61e2010-03-13 07:26:18 +00001358
Chris Lattnerd38fee82010-04-05 00:13:49 +00001359 // There is not any need to generate specification DIE for a function
1360 // defined at compile unit level. If a function is defined inside another
1361 // function then gdb prefers the definition at top level and but does not
1362 // expect specification DIE in parent function. So avoid creating
1363 // specification DIE for a function defined inside a function.
1364 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
Devang Patel5f094002010-04-06 23:53:48 +00001365 !SP.getContext().isFile() &&
1366 !isSubprogramContext(SP.getContext().getNode())) {
Chris Lattnerd38fee82010-04-05 00:13:49 +00001367 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1368
1369 // Add arguments.
1370 DICompositeType SPTy = SP.getType();
1371 DIArray Args = SPTy.getTypeArray();
1372 unsigned SPTag = SPTy.getTag();
1373 if (SPTag == dwarf::DW_TAG_subroutine_type)
1374 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1375 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1376 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1377 addType(Arg, ATy);
1378 if (ATy.isArtificial())
1379 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1380 SPDie->addChild(Arg);
1381 }
1382 DIE *SPDeclDie = SPDie;
1383 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1384 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1385 SPDeclDie);
1386 ModuleCU->addDie(SPDie);
1387 }
1388
1389 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1390 Asm->GetTempSymbol("func_begin", Asm->getFunctionNumber()));
1391 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1392 Asm->GetTempSymbol("func_end", Asm->getFunctionNumber()));
1393 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1394 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
1395 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patelb4645642010-02-06 01:02:37 +00001396
Chris Lattnerd38fee82010-04-05 00:13:49 +00001397 if (!DISubprogram(SPNode).isLocalToUnit())
1398 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1399
1400 return SPDie;
Devang Patel53bb5c92009-11-10 23:06:00 +00001401}
1402
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001403/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patel2c4ceb12009-11-21 02:48:08 +00001404/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1405DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel1c246352010-04-08 16:50:29 +00001406
1407 MCSymbol *Start = InsnBeforeLabelMap.lookup(Scope->getFirstInsn());
1408 MCSymbol *End = InsnAfterLabelMap.lookup(Scope->getLastInsn());
Devang Patelaead63c2010-03-29 22:59:58 +00001409 if (Start == 0 || End == 0) return 0;
Devang Patel53bb5c92009-11-10 23:06:00 +00001410
Chris Lattnerb7db7332010-03-09 01:58:53 +00001411 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1412 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattnera34ec2292010-03-09 01:51:43 +00001413
Devang Patel53bb5c92009-11-10 23:06:00 +00001414 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1415 if (Scope->isAbstractScope())
1416 return ScopeDIE;
1417
Devang Patel2c4ceb12009-11-21 02:48:08 +00001418 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerd38fee82010-04-05 00:13:49 +00001419 Start ? Start : Asm->GetTempSymbol("func_begin",
1420 Asm->getFunctionNumber()));
Devang Patel2c4ceb12009-11-21 02:48:08 +00001421 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerd38fee82010-04-05 00:13:49 +00001422 End ? End : Asm->GetTempSymbol("func_end",Asm->getFunctionNumber()));
Devang Patel53bb5c92009-11-10 23:06:00 +00001423
1424 return ScopeDIE;
1425}
1426
Devang Patel2c4ceb12009-11-21 02:48:08 +00001427/// constructInlinedScopeDIE - This scope represents inlined body of
1428/// a function. Construct DIE to represent this concrete inlined copy
1429/// of the function.
1430DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel1c246352010-04-08 16:50:29 +00001431 MCSymbol *StartLabel = InsnBeforeLabelMap.lookup(Scope->getFirstInsn());
1432 MCSymbol *EndLabel = InsnAfterLabelMap.lookup(Scope->getLastInsn());
Devang Patelaead63c2010-03-29 22:59:58 +00001433 if (StartLabel == 0 || EndLabel == 0) return 0;
Chris Lattner6c7dfc02010-03-09 04:48:35 +00001434
Chris Lattnerb7db7332010-03-09 01:58:53 +00001435 assert(StartLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001436 "Invalid starting label for an inlined scope!");
Chris Lattnerb7db7332010-03-09 01:58:53 +00001437 assert(EndLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +00001438 "Invalid end label for an inlined scope!");
Devang Patel3c91b052010-03-08 20:52:55 +00001439 if (!Scope->getScopeNode())
Devang Patel0ef3fa62010-03-08 19:20:38 +00001440 return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001441 DIScope DS(Scope->getScopeNode());
Devang Patel53bb5c92009-11-10 23:06:00 +00001442 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1443
1444 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001445 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001446 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001447 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001448 dwarf::DW_FORM_ref4, OriginDIE);
1449
Chris Lattner6ed0f902010-03-09 00:31:02 +00001450 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattnerb7db7332010-03-09 01:58:53 +00001451 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel53bb5c92009-11-10 23:06:00 +00001452
1453 InlinedSubprogramDIEs.insert(OriginDIE);
1454
1455 // Track the start label for this inlined function.
Devang Patel622b0262010-01-19 06:19:05 +00001456 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel53bb5c92009-11-10 23:06:00 +00001457 I = InlineInfo.find(InlinedSP.getNode());
1458
1459 if (I == InlineInfo.end()) {
Chris Lattner6ed0f902010-03-09 00:31:02 +00001460 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001461 ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001462 InlinedSPNodes.push_back(InlinedSP.getNode());
1463 } else
Chris Lattner6ed0f902010-03-09 00:31:02 +00001464 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +00001465
Devang Patel53bb5c92009-11-10 23:06:00 +00001466 DILocation DL(Scope->getInlinedAt());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001467 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1468 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +00001469
1470 return ScopeDIE;
1471}
1472
Devang Patel2c4ceb12009-11-21 02:48:08 +00001473
1474/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patel8a241142009-12-09 18:24:21 +00001475DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001476 // Get the descriptor.
1477 const DIVariable &VD = DV->getVariable();
Devang Patel65dbc902009-11-25 17:36:49 +00001478 StringRef Name = VD.getName();
1479 if (Name.empty())
Devang Patel3fb6bd62009-11-13 02:25:26 +00001480 return NULL;
Devang Patel53bb5c92009-11-10 23:06:00 +00001481
1482 // Translate tag to proper Dwarf tag. The result variable is dropped for
1483 // now.
1484 unsigned Tag;
1485 switch (VD.getTag()) {
1486 case dwarf::DW_TAG_return_variable:
1487 return NULL;
1488 case dwarf::DW_TAG_arg_variable:
1489 Tag = dwarf::DW_TAG_formal_parameter;
1490 break;
1491 case dwarf::DW_TAG_auto_variable: // fall thru
1492 default:
1493 Tag = dwarf::DW_TAG_variable;
1494 break;
1495 }
1496
1497 // Define variable debug information entry.
1498 DIE *VariableDie = new DIE(Tag);
1499
1500
1501 DIE *AbsDIE = NULL;
1502 if (DbgVariable *AV = DV->getAbstractVariable())
1503 AbsDIE = AV->getDIE();
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001504
Devang Patel53bb5c92009-11-10 23:06:00 +00001505 if (AbsDIE) {
1506 DIScope DS(Scope->getScopeNode());
1507 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Patel017d1212009-11-20 21:37:22 +00001508 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc0326792009-11-11 03:09:50 +00001509 (void) OriginSPDIE;
Chris Lattnered7a77b2010-03-31 05:36:29 +00001510 assert(OriginSPDIE && "Unable to find Origin DIE for the SP!");
Devang Patel53bb5c92009-11-10 23:06:00 +00001511 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
Chris Lattnered7a77b2010-03-31 05:36:29 +00001512 assert(AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patel2c4ceb12009-11-21 02:48:08 +00001513 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel53bb5c92009-11-10 23:06:00 +00001514 dwarf::DW_FORM_ref4, AbsDIE);
1515 }
1516 else {
Devang Patel2c4ceb12009-11-21 02:48:08 +00001517 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1518 addSourceLine(VariableDie, &VD);
Devang Patel53bb5c92009-11-10 23:06:00 +00001519
1520 // Add variable type.
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001521 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel53bb5c92009-11-10 23:06:00 +00001522 // addresses instead.
1523 if (VD.isBlockByrefVariable())
Devang Patel8a241142009-12-09 18:24:21 +00001524 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel53bb5c92009-11-10 23:06:00 +00001525 else
Devang Patel8a241142009-12-09 18:24:21 +00001526 addType(VariableDie, VD.getType());
Devang Patel53bb5c92009-11-10 23:06:00 +00001527 }
1528
1529 // Add variable address.
1530 if (!Scope->isAbstractScope()) {
Devang Patel90a48ad2010-03-15 18:33:46 +00001531 // Check if variable is described by DBG_VALUE instruction.
1532 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1533 if (DbgValueInsn->getNumOperands() == 3) {
1534 // FIXME : Handle getNumOperands != 3
1535 if (DbgValueInsn->getOperand(0).getType()
1536 == MachineOperand::MO_Register
1537 && DbgValueInsn->getOperand(0).getReg()) {
1538 MachineLocation Location;
1539 Location.set(DbgValueInsn->getOperand(0).getReg());
1540 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patelaead63c2010-03-29 22:59:58 +00001541 if (MCSymbol *VS = DV->getDbgValueLabel())
1542 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1543 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001544 } else if (DbgValueInsn->getOperand(0).getType() ==
1545 MachineOperand::MO_Immediate) {
Benjamin Kramer345ef342010-03-31 19:34:01 +00001546 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel90a48ad2010-03-15 18:33:46 +00001547 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1548 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1549 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
Devang Patelaead63c2010-03-29 22:59:58 +00001550 if (MCSymbol *VS = DV->getDbgValueLabel())
1551 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1552 VS);
Bill Wendling57fbba42010-04-05 22:59:21 +00001553 } else if (DbgValueInsn->getOperand(0).getType() ==
1554 MachineOperand::MO_FPImmediate) {
1555 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1556 APFloat FPImm = DbgValueInsn->getOperand(0).getFPImm()->getValueAPF();
1557
1558 // Get the raw data form of the floating point.
1559 const APInt FltVal = FPImm.bitcastToAPInt();
1560 const char *FltPtr = (const char*)FltVal.getRawData();
1561
John McCall795ee9d2010-04-06 23:35:53 +00001562 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Bill Wendling57fbba42010-04-05 22:59:21 +00001563 bool LittleEndian = Asm->getTargetData().isLittleEndian();
1564 int Incr = (LittleEndian ? 1 : -1);
1565 int Start = (LittleEndian ? 0 : NumBytes - 1);
1566 int Stop = (LittleEndian ? NumBytes : -1);
1567
1568 // Output the constant to DWARF one byte at a time.
1569 for (; Start != Stop; Start += Incr)
1570 addUInt(Block, 0, dwarf::DW_FORM_data1,
1571 (unsigned char)0xFF & FltPtr[Start]);
1572
1573 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
1574
1575 if (MCSymbol *VS = DV->getDbgValueLabel())
1576 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1577 VS);
Devang Patel90a48ad2010-03-15 18:33:46 +00001578 } else {
1579 //FIXME : Handle other operand types.
1580 delete VariableDie;
1581 return NULL;
1582 }
1583 }
1584 } else {
1585 MachineLocation Location;
1586 unsigned FrameReg;
Chris Lattnerd38fee82010-04-05 00:13:49 +00001587 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1588 int Offset = RI->getFrameIndexReference(*Asm->MF, DV->getFrameIndex(),
Chris Lattner1d65ba72010-03-31 06:06:37 +00001589 FrameReg);
Devang Patel90a48ad2010-03-15 18:33:46 +00001590 Location.set(FrameReg, Offset);
1591
1592 if (VD.hasComplexAddress())
1593 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1594 else if (VD.isBlockByrefVariable())
1595 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1596 else
1597 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1598 }
Devang Patel53bb5c92009-11-10 23:06:00 +00001599 }
Devang Patelb4645642010-02-06 01:02:37 +00001600
1601 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1602 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel53bb5c92009-11-10 23:06:00 +00001603 DV->setDIE(VariableDie);
1604 return VariableDie;
1605
1606}
Devang Patel2c4ceb12009-11-21 02:48:08 +00001607
Devang Patel193f7202009-11-24 01:14:22 +00001608void DwarfDebug::addPubTypes(DISubprogram SP) {
1609 DICompositeType SPTy = SP.getType();
1610 unsigned SPTag = SPTy.getTag();
1611 if (SPTag != dwarf::DW_TAG_subroutine_type)
1612 return;
1613
1614 DIArray Args = SPTy.getTypeArray();
Devang Patel193f7202009-11-24 01:14:22 +00001615 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1616 DIType ATy(Args.getElement(i).getNode());
Devang Patel3c91b052010-03-08 20:52:55 +00001617 if (!ATy.isValid())
Devang Patel193f7202009-11-24 01:14:22 +00001618 continue;
1619 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel50d80e32010-04-13 20:35:04 +00001620 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()
1621 && !CATy.isForwardDecl()) {
Devang Patel193f7202009-11-24 01:14:22 +00001622 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1623 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1624 }
1625 }
1626}
1627
Devang Patel2c4ceb12009-11-21 02:48:08 +00001628/// constructScopeDIE - Construct a DIE for this scope.
1629DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel3c91b052010-03-08 20:52:55 +00001630 if (!Scope || !Scope->getScopeNode())
1631 return NULL;
1632
1633 DIScope DS(Scope->getScopeNode());
1634 DIE *ScopeDIE = NULL;
1635 if (Scope->getInlinedAt())
1636 ScopeDIE = constructInlinedScopeDIE(Scope);
1637 else if (DS.isSubprogram()) {
1638 if (Scope->isAbstractScope())
1639 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1640 else
1641 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1642 }
Devang Patelaead63c2010-03-29 22:59:58 +00001643 else
Devang Patel3c91b052010-03-08 20:52:55 +00001644 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patelaead63c2010-03-29 22:59:58 +00001645 if (!ScopeDIE) return NULL;
Devang Patel3c91b052010-03-08 20:52:55 +00001646
Devang Patel53bb5c92009-11-10 23:06:00 +00001647 // Add variables to scope.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001648 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel53bb5c92009-11-10 23:06:00 +00001649 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patel8a241142009-12-09 18:24:21 +00001650 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001651 if (VariableDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001652 ScopeDIE->addChild(VariableDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001653 }
1654
1655 // Add nested scopes.
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001656 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel53bb5c92009-11-10 23:06:00 +00001657 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1658 // Define the Scope debug information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001659 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach31ef40e2009-11-21 23:12:12 +00001660 if (NestedDIE)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001661 ScopeDIE->addChild(NestedDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +00001662 }
Devang Patel193f7202009-11-24 01:14:22 +00001663
1664 if (DS.isSubprogram())
1665 addPubTypes(DISubprogram(DS.getNode()));
1666
1667 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +00001668}
1669
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001670/// GetOrCreateSourceID - Look up the source id with the given directory and
1671/// source file names. If none currently exists, create a new id and insert it
1672/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1673/// maps as well.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001674unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName){
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001675 unsigned DId;
1676 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1677 if (DI != DirectoryIdMap.end()) {
1678 DId = DI->getValue();
1679 } else {
1680 DId = DirectoryNames.size() + 1;
1681 DirectoryIdMap[DirName] = DId;
1682 DirectoryNames.push_back(DirName);
1683 }
1684
1685 unsigned FId;
1686 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1687 if (FI != SourceFileIdMap.end()) {
1688 FId = FI->getValue();
1689 } else {
1690 FId = SourceFileNames.size() + 1;
1691 SourceFileIdMap[FileName] = FId;
1692 SourceFileNames.push_back(FileName);
1693 }
1694
1695 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1696 SourceIdMap.find(std::make_pair(DId, FId));
1697 if (SI != SourceIdMap.end())
1698 return SI->second;
1699
1700 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1701 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1702 SourceIds.push_back(std::make_pair(DId, FId));
1703
1704 return SrcId;
1705}
1706
Devang Patel6404e4e2009-12-15 19:16:48 +00001707/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1708DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1709 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1710 if (NDie)
1711 return NDie;
1712 NDie = new DIE(dwarf::DW_TAG_namespace);
1713 ModuleCU->insertDIE(NS.getNode(), NDie);
1714 if (!NS.getName().empty())
1715 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1716 addSourceLine(NDie, &NS);
1717 addToContextOwner(NDie, NS.getContext());
1718 return NDie;
1719}
1720
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001721void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001722 DICompileUnit DIUnit(N);
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001723 // Use first compile unit marked as isMain as the compile unit for this
1724 // module.
1725 if (ModuleCU || !DIUnit.isMain())
1726 return;
Devang Patel65dbc902009-11-25 17:36:49 +00001727 StringRef FN = DIUnit.getFilename();
1728 StringRef Dir = DIUnit.getDirectory();
Devang Patel5ccdd102009-09-29 18:40:58 +00001729 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001730
1731 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patel2c4ceb12009-11-21 02:48:08 +00001732 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patel5ccdd102009-09-29 18:40:58 +00001733 DIUnit.getProducer());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001734 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001735 DIUnit.getLanguage());
Devang Patel2c4ceb12009-11-21 02:48:08 +00001736 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Chris Lattner9c69e285532010-04-04 22:59:04 +00001737 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, TextSectionSym);
Devang Patel4a602ca2010-03-22 23:11:36 +00001738 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerc0215722010-04-04 19:25:43 +00001739 Asm->GetTempSymbol("text_end"));
Devang Patel4a602ca2010-03-22 23:11:36 +00001740 // DW_AT_stmt_list is a offset of line number information for this
1741 // compile unit in debug_line section. It is always zero when only one
1742 // compile unit is emitted in one object file.
1743 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001744
Devang Patel65dbc902009-11-25 17:36:49 +00001745 if (!Dir.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001746 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001747 if (DIUnit.isOptimized())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001748 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001749
Devang Patel65dbc902009-11-25 17:36:49 +00001750 StringRef Flags = DIUnit.getFlags();
1751 if (!Flags.empty())
Devang Patel2c4ceb12009-11-21 02:48:08 +00001752 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001753
1754 unsigned RVer = DIUnit.getRunTimeVersion();
1755 if (RVer)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001756 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001757 dwarf::DW_FORM_data1, RVer);
1758
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001759 assert(!ModuleCU &&
1760 "ModuleCU assigned since the top of constructCompileUnit");
1761 ModuleCU = new CompileUnit(ID, Die);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001762}
1763
Devang Patel2c4ceb12009-11-21 02:48:08 +00001764void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001765 DIGlobalVariable DI_GV(N);
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001766
Devang Patel905cf5e2009-09-04 23:59:07 +00001767 // If debug information is malformed then ignore it.
1768 if (DI_GV.Verify() == false)
1769 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001770
1771 // Check for pre-existence.
Devang Patel017d1212009-11-20 21:37:22 +00001772 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel13e16b62009-06-26 01:49:18 +00001773 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001774
Devang Patel8a241142009-12-09 18:24:21 +00001775 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Pateledb45632009-12-10 23:25:41 +00001776 if (!VariableDie)
1777 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001778
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001779 // Add to map.
Devang Patel017d1212009-11-20 21:37:22 +00001780 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001781
1782 // Add to context owner.
Devang Patelc9b16cc2010-01-15 01:12:22 +00001783 DIDescriptor GVContext = DI_GV.getContext();
1784 // Do not create specification DIE if context is either compile unit
1785 // or a subprogram.
Chris Lattner1d65ba72010-03-31 06:06:37 +00001786 if (DI_GV.isDefinition() && !GVContext.isCompileUnit() &&
Devang Patel5f094002010-04-06 23:53:48 +00001787 !GVContext.isFile() &&
1788 !isSubprogramContext(GVContext.getNode())) {
Devang Patel6404e4e2009-12-15 19:16:48 +00001789 // Create specification DIE.
1790 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1791 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1792 dwarf::DW_FORM_ref4, VariableDie);
Benjamin Kramer345ef342010-03-31 19:34:01 +00001793 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel6404e4e2009-12-15 19:16:48 +00001794 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001795 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001796 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001797 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patel8581e012010-02-09 01:58:33 +00001798 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel6404e4e2009-12-15 19:16:48 +00001799 ModuleCU->addDie(VariableSpecDIE);
1800 } else {
Benjamin Kramer345ef342010-03-31 19:34:01 +00001801 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel6404e4e2009-12-15 19:16:48 +00001802 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner4faf59a2010-03-08 22:31:46 +00001803 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattnerdeb0cba2010-03-12 21:09:07 +00001804 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel6404e4e2009-12-15 19:16:48 +00001805 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1806 }
Devang Patelc9b16cc2010-01-15 01:12:22 +00001807 addToContextOwner(VariableDie, GVContext);
Devang Patelc366f832009-12-10 19:14:49 +00001808
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001809 // Expose as global. FIXME - need to check external flag.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001810 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patel193f7202009-11-24 01:14:22 +00001811
1812 DIType GTy = DI_GV.getType();
Devang Patel50d80e32010-04-13 20:35:04 +00001813 if (GTy.isCompositeType() && !GTy.getName().empty()
1814 && !GTy.isForwardDecl()) {
Devang Patel193f7202009-11-24 01:14:22 +00001815 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
Chris Lattnered7a77b2010-03-31 05:36:29 +00001816 assert(Entry && "Missing global type!");
Devang Patel193f7202009-11-24 01:14:22 +00001817 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1818 }
Devang Patel13e16b62009-06-26 01:49:18 +00001819 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001820}
1821
Devang Patel2c4ceb12009-11-21 02:48:08 +00001822void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +00001823 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001824
Stuart Hastings639336e2010-04-06 21:38:29 +00001825 // Check for pre-existence.
1826 if (ModuleCU->getDIE(N))
1827 return;
1828
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001829 if (!SP.isDefinition())
1830 // This is a method declaration which will be handled while constructing
1831 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +00001832 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001833
Stuart Hastings639336e2010-04-06 21:38:29 +00001834 DIE *SubprogramDie = createSubprogramDIE(SP);
1835
1836 // Add to map.
1837 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001838
1839 // Add to context owner.
Devang Patel6404e4e2009-12-15 19:16:48 +00001840 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +00001841
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001842 // Expose as global.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001843 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patel193f7202009-11-24 01:14:22 +00001844
Devang Patel13e16b62009-06-26 01:49:18 +00001845 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001846}
1847
Devang Patel2c4ceb12009-11-21 02:48:08 +00001848/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar00564992009-09-19 20:40:14 +00001849/// content. Create global DIEs and emit initial debug info sections.
1850/// This is inovked by the target AsmPrinter.
Chris Lattner75f50722010-04-04 07:48:20 +00001851void DwarfDebug::beginModule(Module *M) {
Devang Patel78ab9e22009-07-30 18:56:46 +00001852 DebugInfoFinder DbgFinder;
1853 DbgFinder.processModule(*M);
Devang Patel13e16b62009-06-26 01:49:18 +00001854
Chris Lattnerd850ac72010-04-05 02:19:28 +00001855 bool HasDebugInfo = false;
1856
1857 // Scan all the compile-units to see if there are any marked as the main unit.
1858 // if not, we do not generate debug info.
1859 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1860 E = DbgFinder.compile_unit_end(); I != E; ++I) {
1861 if (DICompileUnit(*I).isMain()) {
1862 HasDebugInfo = true;
1863 break;
1864 }
1865 }
1866
1867 if (!HasDebugInfo) return;
1868
1869 // Tell MMI that we have debug info.
1870 MMI->setDebugInfoAvailability(true);
1871
Chris Lattnerbe15beb2010-04-04 23:17:54 +00001872 // Emit initial sections.
Chris Lattnerd850ac72010-04-05 02:19:28 +00001873 EmitSectionLabels();
Chris Lattnerbe15beb2010-04-04 23:17:54 +00001874
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001875 // Create all the compile unit DIEs.
Devang Patel78ab9e22009-07-30 18:56:46 +00001876 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1877 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001878 constructCompileUnit(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001879
Devang Patel53bb5c92009-11-10 23:06:00 +00001880 // Create DIEs for each subprogram.
Devang Patel78ab9e22009-07-30 18:56:46 +00001881 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1882 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001883 constructSubprogramDIE(*I);
Devang Patel13e16b62009-06-26 01:49:18 +00001884
Devang Patelc366f832009-12-10 19:14:49 +00001885 // Create DIEs for each global variable.
1886 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1887 E = DbgFinder.global_variable_end(); I != E; ++I)
1888 constructGlobalVariableDIE(*I);
1889
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001890 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +00001891 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001892
1893 // Print out .file directives to specify files for .loc directives. These are
1894 // printed out early so that they precede any .loc directives.
Chris Lattnerd38fee82010-04-05 00:13:49 +00001895 if (Asm->MAI->hasDotLocAndDotFile()) {
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001896 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1897 // Remember source id starts at 1.
1898 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattner0ad9c912010-01-22 22:09:00 +00001899 // FIXME: don't use sys::path for this! This should not depend on the
1900 // host.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001901 sys::Path FullPath(getSourceDirectoryName(Id.first));
1902 bool AppendOk =
1903 FullPath.appendComponent(getSourceFileName(Id.second));
1904 assert(AppendOk && "Could not append filename to directory!");
1905 AppendOk = false;
Chris Lattnera6594fc2010-01-25 18:58:59 +00001906 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001907 }
1908 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001909}
1910
Devang Patel2c4ceb12009-11-21 02:48:08 +00001911/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001912///
Devang Patel2c4ceb12009-11-21 02:48:08 +00001913void DwarfDebug::endModule() {
Bill Wendling5f017e82010-04-07 09:28:04 +00001914 if (!ModuleCU) return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001915
Devang Patel53bb5c92009-11-10 23:06:00 +00001916 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1917 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1918 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1919 DIE *ISP = *AI;
Devang Patel2c4ceb12009-11-21 02:48:08 +00001920 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +00001921 }
1922
Devang Patel622b0262010-01-19 06:19:05 +00001923 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel5d11eb02009-12-03 19:11:07 +00001924 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1925 DIE *SPDie = CI->first;
1926 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1927 if (!N) continue;
1928 DIE *NDie = ModuleCU->getDIE(N);
1929 if (!NDie) continue;
1930 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel5d11eb02009-12-03 19:11:07 +00001931 }
1932
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001933 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001934 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00001935 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001936 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnerc0215722010-04-04 19:25:43 +00001937 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001938
1939 // End text sections.
1940 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001941 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattnerc0215722010-04-04 19:25:43 +00001942 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", i));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001943 }
1944
1945 // Emit common frame information.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001946 emitCommonDebugFrame();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001947
1948 // Emit function debug frame information
1949 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1950 E = DebugFrames.end(); I != E; ++I)
Devang Patel2c4ceb12009-11-21 02:48:08 +00001951 emitFunctionDebugFrame(*I);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001952
1953 // Compute DIE offsets and sizes.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001954 computeSizeAndOffsets();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001955
1956 // Emit all the DIEs into a debug info section
Devang Patel2c4ceb12009-11-21 02:48:08 +00001957 emitDebugInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001958
1959 // Corresponding abbreviations into a abbrev section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001960 emitAbbreviations();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001961
1962 // Emit source line correspondence into a debug line section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001963 emitDebugLines();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001964
1965 // Emit info into a debug pubnames section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001966 emitDebugPubNames();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001967
Devang Patel193f7202009-11-24 01:14:22 +00001968 // Emit info into a debug pubtypes section.
1969 emitDebugPubTypes();
1970
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001971 // Emit info into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001972 emitDebugLoc();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001973
1974 // Emit info into a debug aranges section.
1975 EmitDebugARanges();
1976
1977 // Emit info into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001978 emitDebugRanges();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001979
1980 // Emit info into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001981 emitDebugMacInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001982
1983 // Emit inline info.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001984 emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001985
Chris Lattnerbc733f52010-03-13 02:17:42 +00001986 // Emit info into a debug str section.
1987 emitDebugStr();
1988
Jeffrey Yasskind0f393d2010-03-11 18:29:55 +00001989 delete ModuleCU;
1990 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001991}
1992
Devang Patel53bb5c92009-11-10 23:06:00 +00001993/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001994DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1995 unsigned FrameIdx,
Chris Lattnerde4845c2010-04-02 19:42:39 +00001996 DebugLoc ScopeLoc) {
Devang Patel53bb5c92009-11-10 23:06:00 +00001997
1998 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1999 if (AbsDbgVariable)
2000 return AbsDbgVariable;
2001
Chris Lattnerde4845c2010-04-02 19:42:39 +00002002 LLVMContext &Ctx = Var.getNode()->getContext();
2003 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00002004 if (!Scope)
2005 return NULL;
2006
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002007 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
2008 NULL /* No more-abstract variable*/);
Devang Patel2c4ceb12009-11-21 02:48:08 +00002009 Scope->addVariable(AbsDbgVariable);
Devang Patel53bb5c92009-11-10 23:06:00 +00002010 AbstractVariables[Var.getNode()] = AbsDbgVariable;
2011 return AbsDbgVariable;
2012}
2013
Devang Patel90a48ad2010-03-15 18:33:46 +00002014/// findAbstractVariable - Find abstract variable, if any, associated with Var.
2015/// FIXME : Refactor findAbstractVariable.
2016DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
2017 const MachineInstr *MI,
Chris Lattnerde4845c2010-04-02 19:42:39 +00002018 DebugLoc ScopeLoc) {
Devang Patel90a48ad2010-03-15 18:33:46 +00002019
2020 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
2021 if (AbsDbgVariable)
2022 return AbsDbgVariable;
2023
Chris Lattnerde4845c2010-04-02 19:42:39 +00002024 LLVMContext &Ctx = Var.getNode()->getContext();
2025 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel90a48ad2010-03-15 18:33:46 +00002026 if (!Scope)
2027 return NULL;
2028
Devang Patelaead63c2010-03-29 22:59:58 +00002029 AbsDbgVariable = new DbgVariable(Var, MI,
Devang Patel90a48ad2010-03-15 18:33:46 +00002030 NULL /* No more-abstract variable*/);
2031 Scope->addVariable(AbsDbgVariable);
2032 AbstractVariables[Var.getNode()] = AbsDbgVariable;
Devang Patelaead63c2010-03-29 22:59:58 +00002033 DbgValueStartMap[MI] = AbsDbgVariable;
Devang Patel90a48ad2010-03-15 18:33:46 +00002034 return AbsDbgVariable;
2035}
2036
Devang Patel2c4ceb12009-11-21 02:48:08 +00002037/// collectVariableInfo - Populate DbgScope entries with variables' info.
2038void DwarfDebug::collectVariableInfo() {
Chris Lattnerd38fee82010-04-05 00:13:49 +00002039 const LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002040
Devang Patele717faa2009-10-06 01:26:37 +00002041 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
2042 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
2043 VE = VMap.end(); VI != VE; ++VI) {
Devang Patelbc5201f2010-01-22 22:52:10 +00002044 MDNode *Var = VI->first;
Devang Patel53bb5c92009-11-10 23:06:00 +00002045 if (!Var) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002046 DIVariable DV(Var);
2047 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00002048
Chris Lattnerde4845c2010-04-02 19:42:39 +00002049 DbgScope *Scope = 0;
2050 if (MDNode *IA = VP.second.getInlinedAt(Ctx))
2051 Scope = ConcreteScopes.lookup(IA);
2052 if (Scope == 0)
2053 Scope = DbgScopeMap.lookup(VP.second.getScope(Ctx));
2054
Devang Patelfb0ee432009-11-10 23:20:04 +00002055 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002056 if (Scope == 0)
Devang Patelfb0ee432009-11-10 23:20:04 +00002057 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002058
Chris Lattnerde4845c2010-04-02 19:42:39 +00002059 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, VP.second);
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002060 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patel2c4ceb12009-11-21 02:48:08 +00002061 Scope->addVariable(RegVar);
Devang Patele717faa2009-10-06 01:26:37 +00002062 }
Devang Patel90a48ad2010-03-15 18:33:46 +00002063
2064 // Collect variable information from DBG_VALUE machine instructions;
Chris Lattnerd38fee82010-04-05 00:13:49 +00002065 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel90a48ad2010-03-15 18:33:46 +00002066 I != E; ++I) {
2067 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2068 II != IE; ++II) {
2069 const MachineInstr *MInsn = II;
Chris Lattner14d750d2010-03-31 05:39:57 +00002070 if (!MInsn->isDebugValue())
Devang Patel90a48ad2010-03-15 18:33:46 +00002071 continue;
Devang Patelaead63c2010-03-29 22:59:58 +00002072
Devang Patel90a48ad2010-03-15 18:33:46 +00002073 // FIXME : Lift this restriction.
2074 if (MInsn->getNumOperands() != 3)
2075 continue;
Dan Gohman82d5eaf2010-04-17 16:43:55 +00002076 DIVariable DV(
2077 const_cast<MDNode *>(MInsn->getOperand(MInsn->getNumOperands() - 1)
2078 .getMetadata()));
Devang Patel90a48ad2010-03-15 18:33:46 +00002079 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2080 // FIXME Handle inlined subroutine arguments.
2081 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2082 CurrentFnDbgScope->addVariable(ArgVar);
Devang Patelaead63c2010-03-29 22:59:58 +00002083 DbgValueStartMap[MInsn] = ArgVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002084 continue;
2085 }
2086
2087 DebugLoc DL = MInsn->getDebugLoc();
2088 if (DL.isUnknown()) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002089 DbgScope *Scope = 0;
2090 if (MDNode *IA = DL.getInlinedAt(Ctx))
2091 Scope = ConcreteScopes.lookup(IA);
2092 if (Scope == 0)
2093 Scope = DbgScopeMap.lookup(DL.getScope(Ctx));
2094
Devang Patel90a48ad2010-03-15 18:33:46 +00002095 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002096 if (Scope == 0)
Devang Patel90a48ad2010-03-15 18:33:46 +00002097 continue;
2098
Chris Lattnerde4845c2010-04-02 19:42:39 +00002099 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn, DL);
Devang Patel90a48ad2010-03-15 18:33:46 +00002100 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
Devang Patelaead63c2010-03-29 22:59:58 +00002101 DbgValueStartMap[MInsn] = RegVar;
Devang Patel90a48ad2010-03-15 18:33:46 +00002102 Scope->addVariable(RegVar);
2103 }
2104 }
Devang Patele717faa2009-10-06 01:26:37 +00002105}
2106
Devang Patel553881b2010-03-29 17:20:31 +00002107/// beginScope - Process beginning of a scope.
2108void DwarfDebug::beginScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002109 // Check location.
2110 DebugLoc DL = MI->getDebugLoc();
2111 if (DL.isUnknown())
2112 return;
Devang Patel553881b2010-03-29 17:20:31 +00002113
2114 // Check and update last known location info.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002115 if (DL == PrevInstLoc)
2116 return;
2117
Chris Lattnerd38fee82010-04-05 00:13:49 +00002118 MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
Chris Lattnerde4845c2010-04-02 19:42:39 +00002119
2120 // FIXME: Should only verify each scope once!
2121 if (!DIScope(Scope).Verify())
Devang Patel553881b2010-03-29 17:20:31 +00002122 return;
Devang Patel553881b2010-03-29 17:20:31 +00002123
Devang Patelaead63c2010-03-29 22:59:58 +00002124 // DBG_VALUE instruction establishes new value.
Chris Lattner14d750d2010-03-31 05:39:57 +00002125 if (MI->isDebugValue()) {
Devang Patelaead63c2010-03-29 22:59:58 +00002126 DenseMap<const MachineInstr *, DbgVariable *>::iterator DI
2127 = DbgValueStartMap.find(MI);
2128 if (DI != DbgValueStartMap.end()) {
Chris Lattnerde4845c2010-04-02 19:42:39 +00002129 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2130 PrevInstLoc = DL;
Devang Patelaead63c2010-03-29 22:59:58 +00002131 DI->second->setDbgValueLabel(Label);
2132 }
Devang Patel7ed63112010-03-30 18:07:00 +00002133 return;
Devang Patelaead63c2010-03-29 22:59:58 +00002134 }
2135
Devang Patel553881b2010-03-29 17:20:31 +00002136 // Emit a label to indicate location change. This is used for line
2137 // table even if this instruction does start a new scope.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002138 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2139 PrevInstLoc = DL;
Devang Patel553881b2010-03-29 17:20:31 +00002140
Devang Patel1c246352010-04-08 16:50:29 +00002141 // If this instruction begins a scope then note down corresponding label.
2142 if (InsnsBeginScopeSet.count(MI) != 0)
2143 InsnBeforeLabelMap[MI] = Label;
Devang Patel0d20ac82009-10-06 01:50:42 +00002144}
2145
Devang Patel2c4ceb12009-11-21 02:48:08 +00002146/// endScope - Process end of a scope.
2147void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel553881b2010-03-29 17:20:31 +00002148 // Ignore DBG_VALUE instruction.
Chris Lattner14d750d2010-03-31 05:39:57 +00002149 if (MI->isDebugValue())
Devang Patel553881b2010-03-29 17:20:31 +00002150 return;
2151
2152 // Check location.
2153 DebugLoc DL = MI->getDebugLoc();
2154 if (DL.isUnknown())
2155 return;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002156
Devang Patel1c246352010-04-08 16:50:29 +00002157 if (InsnsEndScopeSet.count(MI) != 0) {
2158 // Emit a label if this instruction ends a scope.
2159 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
2160 Asm->OutStreamer.EmitLabel(Label);
2161 InsnAfterLabelMap[MI] = Label;
2162 }
Devang Patel53bb5c92009-11-10 23:06:00 +00002163}
2164
2165/// createDbgScope - Create DbgScope for the scope.
2166void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
Devang Patel53bb5c92009-11-10 23:06:00 +00002167 if (!InlinedAt) {
2168 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2169 if (WScope)
2170 return;
2171 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2172 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002173 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel2f105c62009-11-11 00:18:40 +00002174 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel53bb5c92009-11-10 23:06:00 +00002175 return;
2176 }
2177
2178 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2179 if (WScope)
2180 return;
2181
2182 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2183 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2184 DILocation DL(InlinedAt);
2185 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel0d20ac82009-10-06 01:50:42 +00002186}
2187
Devang Patel2c4ceb12009-11-21 02:48:08 +00002188/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner14d750d2010-03-31 05:39:57 +00002189/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattnereec791a2010-01-26 23:18:02 +00002190bool DwarfDebug::extractScopeInformation() {
Devang Patelaf9e8472009-10-01 20:31:14 +00002191 // If scope information was extracted using .dbg intrinsics then there is not
2192 // any need to extract these information by scanning each instruction.
2193 if (!DbgScopeMap.empty())
2194 return false;
2195
Devang Patel344130e2010-01-04 20:44:00 +00002196 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2197 unsigned MIIndex = 0;
Chris Lattnerd38fee82010-04-05 00:13:49 +00002198 LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002199
Devang Patel53bb5c92009-11-10 23:06:00 +00002200 // Scan each instruction and create scopes. First build working set of scopes.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002201 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patelaf9e8472009-10-01 20:31:14 +00002202 I != E; ++I) {
2203 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2204 II != IE; ++II) {
2205 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002206 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002207 if (MInsn->isDebugValue()) continue;
Devang Patel344130e2010-01-04 20:44:00 +00002208 MIIndexMap[MInsn] = MIIndex++;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002209
Devang Patelaf9e8472009-10-01 20:31:14 +00002210 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel53bb5c92009-11-10 23:06:00 +00002211 if (DL.isUnknown()) continue;
Chris Lattnerde4845c2010-04-02 19:42:39 +00002212
2213 MDNode *Scope = DL.getScope(Ctx);
2214
Devang Patelaf9e8472009-10-01 20:31:14 +00002215 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002216 // other scopes, create one DbgScope now. This will be translated
Devang Patelaf9e8472009-10-01 20:31:14 +00002217 // into a scope DIE at the end.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002218 if (DIScope(Scope).isCompileUnit()) continue;
2219 createDbgScope(Scope, DL.getInlinedAt(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00002220 }
2221 }
2222
Devang Patelc8e77642010-04-01 22:47:29 +00002223
Devang Patel53bb5c92009-11-10 23:06:00 +00002224 // Build scope hierarchy using working set of scopes.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002225 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel53bb5c92009-11-10 23:06:00 +00002226 I != E; ++I) {
2227 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2228 II != IE; ++II) {
2229 const MachineInstr *MInsn = II;
Devang Patel90a48ad2010-03-15 18:33:46 +00002230 // FIXME : Remove DBG_VALUE check.
Chris Lattner14d750d2010-03-31 05:39:57 +00002231 if (MInsn->isDebugValue()) continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00002232 DebugLoc DL = MInsn->getDebugLoc();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002233 if (DL.isUnknown()) continue;
2234
2235 MDNode *Scope = DL.getScope(Ctx);
2236 if (Scope == 0) continue;
2237
Devang Patel53bb5c92009-11-10 23:06:00 +00002238 // There is no need to create another DIE for compile unit. For all
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002239 // other scopes, create one DbgScope now. This will be translated
Devang Patel53bb5c92009-11-10 23:06:00 +00002240 // into a scope DIE at the end.
Chris Lattnerde4845c2010-04-02 19:42:39 +00002241 if (DIScope(Scope).isCompileUnit()) continue;
2242 DbgScope *DScope = getUpdatedDbgScope(Scope, MInsn, DL.getInlinedAt(Ctx));
2243 DScope->setLastInsn(MInsn);
Devang Patelaf9e8472009-10-01 20:31:14 +00002244 }
2245 }
2246
Devang Patel344130e2010-01-04 20:44:00 +00002247 if (!CurrentFnDbgScope)
2248 return false;
2249
2250 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patelaf9e8472009-10-01 20:31:14 +00002251
Devang Patele37b0c62010-04-08 18:43:56 +00002252 identifyScopeMarkers();
Devang Patel6122a4d2010-04-08 15:37:09 +00002253
2254 return !DbgScopeMap.empty();
2255}
2256
Devang Patele37b0c62010-04-08 18:43:56 +00002257/// identifyScopeMarkers() - Indentify instructions that are marking
2258/// beginning of or end of a scope.
2259void DwarfDebug::identifyScopeMarkers() {
Devang Patel6122a4d2010-04-08 15:37:09 +00002260
Devang Patelaf9e8472009-10-01 20:31:14 +00002261 // Each scope has first instruction and last instruction to mark beginning
2262 // and end of a scope respectively. Create an inverse map that list scopes
2263 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patel42aafd72010-01-20 02:05:23 +00002264 // multiple scopes. Ignore scopes that are not reachable.
2265 SmallVector<DbgScope *, 4> WorkList;
2266 WorkList.push_back(CurrentFnDbgScope);
2267 while (!WorkList.empty()) {
Chris Lattner14d750d2010-03-31 05:39:57 +00002268 DbgScope *S = WorkList.pop_back_val();
Devang Patel42aafd72010-01-20 02:05:23 +00002269
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002270 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patel42aafd72010-01-20 02:05:23 +00002271 if (!Children.empty())
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002272 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel42aafd72010-01-20 02:05:23 +00002273 SE = Children.end(); SI != SE; ++SI)
2274 WorkList.push_back(*SI);
2275
Devang Patel53bb5c92009-11-10 23:06:00 +00002276 if (S->isAbstractScope())
2277 continue;
Devang Patel1c246352010-04-08 16:50:29 +00002278 assert(S->getFirstInsn() && "DbgScope does not have first instruction!");
2279 InsnsBeginScopeSet.insert(S->getFirstInsn());
Devang Patelaf9e8472009-10-01 20:31:14 +00002280
Devang Patel1c246352010-04-08 16:50:29 +00002281 assert(S->getLastInsn() && "DbgScope does not have last instruction!");
2282 InsnsEndScopeSet.insert(S->getLastInsn());
Devang Patelaf9e8472009-10-01 20:31:14 +00002283 }
Devang Patelaf9e8472009-10-01 20:31:14 +00002284}
2285
Dan Gohman084751c2010-04-20 00:37:27 +00002286/// FindFirstDebugLoc - Find the first debug location in the function. This
2287/// is intended to be an approximation for the source position of the
2288/// beginning of the function.
2289static DebugLoc FindFirstDebugLoc(const MachineFunction *MF) {
2290 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2291 I != E; ++I)
2292 for (MachineBasicBlock::const_iterator MBBI = I->begin(), MBBE = I->end();
2293 MBBI != MBBE; ++MBBI) {
2294 DebugLoc DL = MBBI->getDebugLoc();
2295 if (!DL.isUnknown())
2296 return DL;
2297 }
2298 return DebugLoc();
2299}
2300
Devang Patel2c4ceb12009-11-21 02:48:08 +00002301/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002302/// emitted immediately after the function entry point.
Chris Lattnereec791a2010-01-26 23:18:02 +00002303void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner994cb122010-04-05 03:52:55 +00002304 if (!MMI->hasDebugInfo()) return;
Bill Wendling5f017e82010-04-07 09:28:04 +00002305 if (!extractScopeInformation()) return;
Chris Lattnera909d662010-03-29 20:38:20 +00002306
Devang Patel2c4ceb12009-11-21 02:48:08 +00002307 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002308
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002309 // Assumes in correct section after the entry point.
Chris Lattnerc0215722010-04-04 19:25:43 +00002310 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_begin",
Chris Lattnerd38fee82010-04-05 00:13:49 +00002311 Asm->getFunctionNumber()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002312
2313 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2314 // function.
Dan Gohman084751c2010-04-20 00:37:27 +00002315 DebugLoc FDL = FindFirstDebugLoc(MF);
Chris Lattnerde4845c2010-04-02 19:42:39 +00002316 if (FDL.isUnknown()) return;
2317
2318 MDNode *Scope = FDL.getScope(MF->getFunction()->getContext());
2319
2320 DISubprogram SP = getDISubprogram(Scope);
2321 unsigned Line, Col;
2322 if (SP.Verify()) {
2323 Line = SP.getLineNumber();
2324 Col = 0;
2325 } else {
2326 Line = FDL.getLine();
2327 Col = FDL.getCol();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002328 }
Chris Lattnerde4845c2010-04-02 19:42:39 +00002329
2330 recordSourceLine(Line, Col, Scope);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002331}
2332
Devang Patel2c4ceb12009-11-21 02:48:08 +00002333/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002334///
Chris Lattnereec791a2010-01-26 23:18:02 +00002335void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendling5f017e82010-04-07 09:28:04 +00002336 if (!MMI->hasDebugInfo() || DbgScopeMap.empty()) return;
Devang Patel70d75ca2009-11-12 19:02:56 +00002337
Devang Patel344130e2010-01-04 20:44:00 +00002338 if (CurrentFnDbgScope) {
2339 // Define end label for subprogram.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002340 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_end",
2341 Asm->getFunctionNumber()));
Devang Patel344130e2010-01-04 20:44:00 +00002342
2343 // Get function line info.
2344 if (!Lines.empty()) {
2345 // Get section line info.
2346 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2347 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2348 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2349 // Append the function info to section info.
2350 SectionLineInfos.insert(SectionLineInfos.end(),
2351 Lines.begin(), Lines.end());
2352 }
2353
2354 // Construct abstract scopes.
2355 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2356 AE = AbstractScopesList.end(); AI != AE; ++AI)
2357 constructScopeDIE(*AI);
2358
2359 constructScopeDIE(CurrentFnDbgScope);
2360
Chris Lattnerd38fee82010-04-05 00:13:49 +00002361 DebugFrames.push_back(FunctionDebugFrameInfo(Asm->getFunctionNumber(),
Devang Patel344130e2010-01-04 20:44:00 +00002362 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002363 }
2364
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002365 // Clear debug info
Devang Patelf54b8522010-01-19 01:26:02 +00002366 CurrentFnDbgScope = NULL;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002367 DeleteContainerSeconds(DbgScopeMap);
Devang Patel51424712010-04-09 16:04:20 +00002368 InsnsBeginScopeSet.clear();
2369 InsnsEndScopeSet.clear();
Devang Patelaead63c2010-03-29 22:59:58 +00002370 DbgValueStartMap.clear();
Devang Patelf54b8522010-01-19 01:26:02 +00002371 ConcreteScopes.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002372 DeleteContainerSeconds(AbstractScopes);
Devang Patelf54b8522010-01-19 01:26:02 +00002373 AbstractScopesList.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002374 AbstractVariables.clear();
Devang Patel1d526c32010-04-14 01:18:28 +00002375 InsnBeforeLabelMap.clear();
2376 InsnAfterLabelMap.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002377 Lines.clear();
Devang Patelf2548ca2010-04-16 23:33:45 +00002378 PrevLabel = NULL;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002379}
2380
Chris Lattnerc6087842010-03-09 04:54:43 +00002381/// recordSourceLine - Register a source line with debug info. Returns the
2382/// unique label that was emitted and which provides correspondence to
2383/// the source line list.
2384MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patel65dbc902009-11-25 17:36:49 +00002385 StringRef Dir;
2386 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002387
2388 DIDescriptor Scope(S);
2389 if (Scope.isCompileUnit()) {
2390 DICompileUnit CU(S);
2391 Dir = CU.getDirectory();
2392 Fn = CU.getFilename();
2393 } else if (Scope.isSubprogram()) {
2394 DISubprogram SP(S);
2395 Dir = SP.getDirectory();
2396 Fn = SP.getFilename();
2397 } else if (Scope.isLexicalBlock()) {
2398 DILexicalBlock DB(S);
2399 Dir = DB.getDirectory();
2400 Fn = DB.getFilename();
2401 } else
Chris Lattner206d61e2010-03-13 07:26:18 +00002402 assert(0 && "Unexpected scope info");
Devang Patelf84548d2009-10-05 18:03:19 +00002403
2404 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner63d78362010-03-14 08:36:50 +00002405 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner25b68c62010-03-14 08:15:55 +00002406 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002407
Chris Lattnerc6087842010-03-09 04:54:43 +00002408 Asm->OutStreamer.EmitLabel(Label);
2409 return Label;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002410}
2411
Bill Wendling829e67b2009-05-20 23:22:40 +00002412//===----------------------------------------------------------------------===//
2413// Emit Methods
2414//===----------------------------------------------------------------------===//
2415
Devang Patel2c4ceb12009-11-21 02:48:08 +00002416/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002417///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002418unsigned
2419DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002420 // Get the children.
2421 const std::vector<DIE *> &Children = Die->getChildren();
2422
2423 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002424 if (!Last && !Children.empty())
Benjamin Kramer345ef342010-03-31 19:34:01 +00002425 Die->addSiblingOffset(DIEValueAllocator);
Bill Wendling94d04b82009-05-20 23:21:38 +00002426
2427 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002428 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002429
2430 // Get the abbreviation for this DIE.
2431 unsigned AbbrevNumber = Die->getAbbrevNumber();
2432 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2433
2434 // Set DIE offset
2435 Die->setOffset(Offset);
2436
2437 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002438 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002439
2440 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2441 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2442
2443 // Size the DIE attribute values.
2444 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2445 // Size attribute value.
Chris Lattnera37d5382010-04-05 00:18:22 +00002446 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling94d04b82009-05-20 23:21:38 +00002447
2448 // Size the DIE children if any.
2449 if (!Children.empty()) {
2450 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2451 "Children flag not set");
2452
2453 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002454 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002455
2456 // End of children marker.
2457 Offset += sizeof(int8_t);
2458 }
2459
2460 Die->setSize(Offset - Die->getOffset());
2461 return Offset;
2462}
2463
Devang Patel2c4ceb12009-11-21 02:48:08 +00002464/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002465///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002466void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002467 // Compute size of compile unit header.
2468 static unsigned Offset =
2469 sizeof(int32_t) + // Length of Compilation Unit Info
2470 sizeof(int16_t) + // DWARF version number
2471 sizeof(int32_t) + // Offset Into Abbrev. Section
2472 sizeof(int8_t); // Pointer Size (in bytes)
2473
Devang Patel2c4ceb12009-11-21 02:48:08 +00002474 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002475}
2476
Chris Lattner11b8f302010-04-04 23:02:02 +00002477/// EmitSectionSym - Switch to the specified MCSection and emit an assembler
2478/// temporary label to it if SymbolStem is specified.
Chris Lattner9c69e285532010-04-04 22:59:04 +00002479static MCSymbol *EmitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Chris Lattner11b8f302010-04-04 23:02:02 +00002480 const char *SymbolStem = 0) {
Chris Lattner9c69e285532010-04-04 22:59:04 +00002481 Asm->OutStreamer.SwitchSection(Section);
Chris Lattner11b8f302010-04-04 23:02:02 +00002482 if (!SymbolStem) return 0;
2483
Chris Lattner9c69e285532010-04-04 22:59:04 +00002484 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
2485 Asm->OutStreamer.EmitLabel(TmpSym);
2486 return TmpSym;
2487}
2488
2489/// EmitSectionLabels - Emit initial Dwarf sections with a label at
2490/// the start of each one.
Chris Lattnerfa070b02010-04-04 22:33:59 +00002491void DwarfDebug::EmitSectionLabels() {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002492 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002493
Bill Wendling94d04b82009-05-20 23:21:38 +00002494 // Dwarf sections base addresses.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002495 if (Asm->MAI->doesDwarfRequireFrameSection()) {
Chris Lattner9c69e285532010-04-04 22:59:04 +00002496 DwarfFrameSectionSym =
2497 EmitSectionSym(Asm, TLOF.getDwarfFrameSection(), "section_debug_frame");
2498 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002499
Chris Lattner9c69e285532010-04-04 22:59:04 +00002500 DwarfInfoSectionSym =
2501 EmitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
2502 DwarfAbbrevSectionSym =
2503 EmitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Chris Lattner11b8f302010-04-04 23:02:02 +00002504 EmitSectionSym(Asm, TLOF.getDwarfARangesSection());
Chris Lattner9c69e285532010-04-04 22:59:04 +00002505
2506 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Chris Lattner11b8f302010-04-04 23:02:02 +00002507 EmitSectionSym(Asm, MacroInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002508
Chris Lattner11b8f302010-04-04 23:02:02 +00002509 EmitSectionSym(Asm, TLOF.getDwarfLineSection());
2510 EmitSectionSym(Asm, TLOF.getDwarfLocSection());
2511 EmitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
2512 EmitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Chris Lattner9c69e285532010-04-04 22:59:04 +00002513 DwarfStrSectionSym =
2514 EmitSectionSym(Asm, TLOF.getDwarfStrSection(), "section_str");
Devang Patelf2548ca2010-04-16 23:33:45 +00002515 DwarfDebugRangeSectionSym = EmitSectionSym(Asm, TLOF.getDwarfRangesSection(),
2516 "debug_range");
Bill Wendling94d04b82009-05-20 23:21:38 +00002517
Chris Lattner9c69e285532010-04-04 22:59:04 +00002518 TextSectionSym = EmitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
Chris Lattner4ad1efe2010-04-04 23:10:38 +00002519 EmitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002520}
2521
Devang Patel2c4ceb12009-11-21 02:48:08 +00002522/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002523///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002524void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002525 // Get the abbreviation for this DIE.
2526 unsigned AbbrevNumber = Die->getAbbrevNumber();
2527 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2528
Bill Wendling94d04b82009-05-20 23:21:38 +00002529 // Emit the code (index) for the abbreviation.
Chris Lattner3f53c832010-04-04 18:52:31 +00002530 if (Asm->isVerbose())
Chris Lattner894d75a2010-01-22 23:18:42 +00002531 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2532 Twine::utohexstr(Die->getOffset()) + ":0x" +
2533 Twine::utohexstr(Die->getSize()) + " " +
2534 dwarf::TagString(Abbrev->getTag()));
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002535 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002536
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002537 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling94d04b82009-05-20 23:21:38 +00002538 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2539
2540 // Emit the DIE attribute values.
2541 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2542 unsigned Attr = AbbrevData[i].getAttribute();
2543 unsigned Form = AbbrevData[i].getForm();
2544 assert(Form && "Too many attributes for DIE (check abbreviation)");
2545
Chris Lattner3f53c832010-04-04 18:52:31 +00002546 if (Asm->isVerbose())
Chris Lattnera8013622010-01-24 18:54:17 +00002547 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2548
Bill Wendling94d04b82009-05-20 23:21:38 +00002549 switch (Attr) {
2550 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002551 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002552 break;
2553 case dwarf::DW_AT_abstract_origin: {
2554 DIEEntry *E = cast<DIEEntry>(Values[i]);
2555 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002556 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002557 Asm->EmitInt32(Addr);
2558 break;
2559 }
Devang Patelf2548ca2010-04-16 23:33:45 +00002560 case dwarf::DW_AT_ranges: {
2561 // DW_AT_range Value encodes offset in debug_range section.
2562 DIEInteger *V = cast<DIEInteger>(Values[i]);
2563 Asm->EmitLabelOffsetDifference(DwarfDebugRangeSectionSym,
2564 V->getValue(),
2565 DwarfDebugRangeSectionSym,
2566 4);
2567 break;
2568 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002569 default:
2570 // Emit an attribute using the defined form.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002571 Values[i]->EmitValue(Asm, Form);
Bill Wendling94d04b82009-05-20 23:21:38 +00002572 break;
2573 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002574 }
2575
2576 // Emit the DIE children if any.
2577 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2578 const std::vector<DIE *> &Children = Die->getChildren();
2579
2580 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002581 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002582
Chris Lattner3f53c832010-04-04 18:52:31 +00002583 if (Asm->isVerbose())
Chris Lattner233f52b2010-03-09 23:52:58 +00002584 Asm->OutStreamer.AddComment("End Of Children Mark");
2585 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002586 }
2587}
2588
Devang Patel8a241142009-12-09 18:24:21 +00002589/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002590///
Devang Patel8a241142009-12-09 18:24:21 +00002591void DwarfDebug::emitDebugInfo() {
2592 // Start debug info section.
2593 Asm->OutStreamer.SwitchSection(
2594 Asm->getObjFileLowering().getDwarfInfoSection());
2595 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002596
2597 // Emit the compile units header.
Chris Lattnerc0215722010-04-04 19:25:43 +00002598 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_begin",
2599 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002600
2601 // Emit size of content not including length itself
2602 unsigned ContentSize = Die->getSize() +
2603 sizeof(int16_t) + // DWARF version number
2604 sizeof(int32_t) + // Offset Into Abbrev. Section
2605 sizeof(int8_t) + // Pointer Size (in bytes)
2606 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2607
Chris Lattner233f52b2010-03-09 23:52:58 +00002608 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2609 Asm->EmitInt32(ContentSize);
2610 Asm->OutStreamer.AddComment("DWARF version number");
2611 Asm->EmitInt16(dwarf::DWARF_VERSION);
2612 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Chris Lattner6189ed12010-04-04 23:25:33 +00002613 Asm->EmitSectionOffset(Asm->GetTempSymbol("abbrev_begin"),
2614 DwarfAbbrevSectionSym);
Chris Lattner233f52b2010-03-09 23:52:58 +00002615 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002616 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002617
Devang Patel2c4ceb12009-11-21 02:48:08 +00002618 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002619 // FIXME - extra padding for gdb bug.
Chris Lattner233f52b2010-03-09 23:52:58 +00002620 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2621 Asm->EmitInt8(0);
2622 Asm->EmitInt8(0);
2623 Asm->EmitInt8(0);
2624 Asm->EmitInt8(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00002625 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_end", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002626}
2627
Devang Patel2c4ceb12009-11-21 02:48:08 +00002628/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002629///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002630void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002631 // Check to see if it is worth the effort.
2632 if (!Abbreviations.empty()) {
2633 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002634 Asm->OutStreamer.SwitchSection(
2635 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002636
Chris Lattnerc0215722010-04-04 19:25:43 +00002637 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002638
2639 // For each abbrevation.
2640 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2641 // Get abbreviation data
2642 const DIEAbbrev *Abbrev = Abbreviations[i];
2643
2644 // Emit the abbrevations code (base 1 index.)
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002645 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002646
2647 // Emit the abbreviations data.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002648 Abbrev->Emit(Asm);
Bill Wendling94d04b82009-05-20 23:21:38 +00002649 }
2650
2651 // Mark end of abbreviations.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002652 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002653
Chris Lattnerc0215722010-04-04 19:25:43 +00002654 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002655 }
2656}
2657
Devang Patel2c4ceb12009-11-21 02:48:08 +00002658/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002659/// the line matrix.
2660///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002661void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002662 // Define last address of section.
Chris Lattner233f52b2010-03-09 23:52:58 +00002663 Asm->OutStreamer.AddComment("Extended Op");
2664 Asm->EmitInt8(0);
2665
2666 Asm->OutStreamer.AddComment("Op size");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002667 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner233f52b2010-03-09 23:52:58 +00002668 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2669 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2670
2671 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002672
Chris Lattnerc0215722010-04-04 19:25:43 +00002673 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Chris Lattnerd38fee82010-04-05 00:13:49 +00002674 Asm->getTargetData().getPointerSize(),
2675 0/*AddrSpace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00002676
2677 // Mark end of matrix.
Chris Lattner233f52b2010-03-09 23:52:58 +00002678 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2679 Asm->EmitInt8(0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002680 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002681 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002682}
2683
Devang Patel2c4ceb12009-11-21 02:48:08 +00002684/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002685///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002686void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002687 // If the target is using .loc/.file, the assembler will be emitting the
2688 // .debug_line table automatically.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002689 if (Asm->MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002690 return;
2691
2692 // Minimum line delta, thus ranging from -10..(255-10).
2693 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2694 // Maximum line delta, thus ranging from -10..(255-10).
2695 const int MaxLineDelta = 255 + MinLineDelta;
2696
2697 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002698 Asm->OutStreamer.SwitchSection(
2699 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002700
2701 // Construct the section header.
Chris Lattner233f52b2010-03-09 23:52:58 +00002702 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002703 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_end"),
2704 Asm->GetTempSymbol("line_begin"), 4);
Chris Lattnerc0215722010-04-04 19:25:43 +00002705 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002706
Chris Lattner233f52b2010-03-09 23:52:58 +00002707 Asm->OutStreamer.AddComment("DWARF version number");
2708 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002709
Chris Lattner233f52b2010-03-09 23:52:58 +00002710 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002711 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_prolog_end"),
2712 Asm->GetTempSymbol("line_prolog_begin"), 4);
Chris Lattnerc0215722010-04-04 19:25:43 +00002713 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002714
Chris Lattner233f52b2010-03-09 23:52:58 +00002715 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2716 Asm->EmitInt8(1);
2717 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2718 Asm->EmitInt8(1);
2719 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2720 Asm->EmitInt8(MinLineDelta);
2721 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2722 Asm->EmitInt8(MaxLineDelta);
2723 Asm->OutStreamer.AddComment("Special Opcode Base");
2724 Asm->EmitInt8(-MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002725
2726 // Line number standard opcode encodings argument count
Chris Lattner233f52b2010-03-09 23:52:58 +00002727 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2728 Asm->EmitInt8(0);
2729 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2730 Asm->EmitInt8(1);
2731 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2732 Asm->EmitInt8(1);
2733 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2734 Asm->EmitInt8(1);
2735 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2736 Asm->EmitInt8(1);
2737 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2738 Asm->EmitInt8(0);
2739 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2740 Asm->EmitInt8(0);
2741 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2742 Asm->EmitInt8(0);
2743 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2744 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002745
2746 // Emit directories.
2747 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattner4cf202b2010-01-23 03:11:46 +00002748 const std::string &Dir = getSourceDirectoryName(DI);
Chris Lattner3f53c832010-04-04 18:52:31 +00002749 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Directory");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002750 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002751 }
2752
Chris Lattner233f52b2010-03-09 23:52:58 +00002753 Asm->OutStreamer.AddComment("End of directories");
2754 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002755
2756 // Emit files.
2757 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2758 // Remember source id starts at 1.
2759 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattner4cf202b2010-01-23 03:11:46 +00002760 const std::string &FN = getSourceFileName(Id.second);
Chris Lattner3f53c832010-04-04 18:52:31 +00002761 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Source");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002762 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2763
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002764 Asm->EmitULEB128(Id.first, "Directory #");
2765 Asm->EmitULEB128(0, "Mod date");
2766 Asm->EmitULEB128(0, "File size");
Bill Wendling94d04b82009-05-20 23:21:38 +00002767 }
2768
Chris Lattner233f52b2010-03-09 23:52:58 +00002769 Asm->OutStreamer.AddComment("End of files");
2770 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002771
Chris Lattnerc0215722010-04-04 19:25:43 +00002772 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002773
2774 // A sequence for each text section.
2775 unsigned SecSrcLinesSize = SectionSourceLines.size();
2776
2777 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2778 // Isolate current sections line info.
2779 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2780
Bill Wendling94d04b82009-05-20 23:21:38 +00002781 // Dwarf assumes we start with first line of first source file.
2782 unsigned Source = 1;
2783 unsigned Line = 1;
2784
2785 // Construct rows of the address, source, line, column matrix.
2786 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2787 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner25b68c62010-03-14 08:15:55 +00002788 MCSymbol *Label = LineInfo.getLabel();
Chris Lattnerb9130602010-03-14 02:20:58 +00002789 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling94d04b82009-05-20 23:21:38 +00002790
Caroline Ticec6f9d622009-09-11 18:25:54 +00002791 if (LineInfo.getLine() == 0) continue;
2792
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002793 if (Asm->isVerbose()) {
Chris Lattner188a87d2010-03-10 01:04:13 +00002794 std::pair<unsigned, unsigned> SrcID =
Bill Wendling94d04b82009-05-20 23:21:38 +00002795 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner188a87d2010-03-10 01:04:13 +00002796 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner49f618a2010-03-10 02:29:31 +00002797 "/" +
2798 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner188a87d2010-03-10 01:04:13 +00002799 ":" + Twine(LineInfo.getLine()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002800 }
2801
2802 // Define the line address.
Chris Lattner233f52b2010-03-09 23:52:58 +00002803 Asm->OutStreamer.AddComment("Extended Op");
2804 Asm->EmitInt8(0);
2805 Asm->OutStreamer.AddComment("Op size");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002806 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner233f52b2010-03-09 23:52:58 +00002807
2808 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2809 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2810
2811 Asm->OutStreamer.AddComment("Location label");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002812 Asm->OutStreamer.EmitSymbolValue(Label,
2813 Asm->getTargetData().getPointerSize(),
Chris Lattnerb9130602010-03-14 02:20:58 +00002814 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002815
Bill Wendling94d04b82009-05-20 23:21:38 +00002816 // If change of source, then switch to the new source.
2817 if (Source != LineInfo.getSourceID()) {
2818 Source = LineInfo.getSourceID();
Chris Lattner233f52b2010-03-09 23:52:58 +00002819 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2820 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002821 Asm->EmitULEB128(Source, "New Source");
Bill Wendling94d04b82009-05-20 23:21:38 +00002822 }
2823
2824 // If change of line.
2825 if (Line != LineInfo.getLine()) {
2826 // Determine offset.
2827 int Offset = LineInfo.getLine() - Line;
2828 int Delta = Offset - MinLineDelta;
2829
2830 // Update line.
2831 Line = LineInfo.getLine();
2832
2833 // If delta is small enough and in range...
2834 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2835 // ... then use fast opcode.
Chris Lattner233f52b2010-03-09 23:52:58 +00002836 Asm->OutStreamer.AddComment("Line Delta");
2837 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002838 } else {
2839 // ... otherwise use long hand.
Chris Lattner233f52b2010-03-09 23:52:58 +00002840 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling94d04b82009-05-20 23:21:38 +00002841 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002842 Asm->EmitSLEB128(Offset, "Line Offset");
Chris Lattner233f52b2010-03-09 23:52:58 +00002843 Asm->OutStreamer.AddComment("DW_LNS_copy");
2844 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002845 }
2846 } else {
2847 // Copy the previous row (different address or source)
Chris Lattner233f52b2010-03-09 23:52:58 +00002848 Asm->OutStreamer.AddComment("DW_LNS_copy");
2849 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002850 }
2851 }
2852
Devang Patel2c4ceb12009-11-21 02:48:08 +00002853 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002854 }
2855
2856 if (SecSrcLinesSize == 0)
2857 // Because we're emitting a debug_line section, we still need a line
2858 // table. The linker and friends expect it to exist. If there's nothing to
2859 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002860 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002861
Chris Lattnerc0215722010-04-04 19:25:43 +00002862 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002863}
2864
Devang Patel2c4ceb12009-11-21 02:48:08 +00002865/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002866///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002867void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnerd38fee82010-04-05 00:13:49 +00002868 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002869 return;
2870
Chris Lattnerd38fee82010-04-05 00:13:49 +00002871 int stackGrowth = Asm->getTargetData().getPointerSize();
2872 if (Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2873 TargetFrameInfo::StackGrowsDown)
2874 stackGrowth *= -1;
Bill Wendling94d04b82009-05-20 23:21:38 +00002875
2876 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002877 Asm->OutStreamer.SwitchSection(
2878 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002879
Chris Lattnerc0215722010-04-04 19:25:43 +00002880 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002881 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00002882 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_frame_common_end"),
2883 Asm->GetTempSymbol("debug_frame_common_begin"), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002884
Chris Lattnerc0215722010-04-04 19:25:43 +00002885 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_begin"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002886 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling94d04b82009-05-20 23:21:38 +00002887 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner233f52b2010-03-09 23:52:58 +00002888 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002889 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner233f52b2010-03-09 23:52:58 +00002890 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002891 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002892 Asm->EmitULEB128(1, "CIE Code Alignment Factor");
2893 Asm->EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner233f52b2010-03-09 23:52:58 +00002894 Asm->OutStreamer.AddComment("CIE RA Column");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002895 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling94d04b82009-05-20 23:21:38 +00002896 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling94d04b82009-05-20 23:21:38 +00002897
2898 std::vector<MachineMove> Moves;
2899 RI->getInitialFrameState(Moves);
2900
Chris Lattner02b86b92010-04-04 23:41:46 +00002901 Asm->EmitFrameMoves(Moves, 0, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002902
2903 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerc0215722010-04-04 19:25:43 +00002904 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002905}
2906
Devang Patel2c4ceb12009-11-21 02:48:08 +00002907/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002908/// section.
Chris Lattner206d61e2010-03-13 07:26:18 +00002909void DwarfDebug::
2910emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattnerd38fee82010-04-05 00:13:49 +00002911 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002912 return;
2913
2914 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002915 Asm->OutStreamer.SwitchSection(
2916 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002917
Chris Lattner233f52b2010-03-09 23:52:58 +00002918 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner206d61e2010-03-13 07:26:18 +00002919 MCSymbol *DebugFrameBegin =
Chris Lattnerc0215722010-04-04 19:25:43 +00002920 Asm->GetTempSymbol("debug_frame_begin", DebugFrameInfo.Number);
Chris Lattner206d61e2010-03-13 07:26:18 +00002921 MCSymbol *DebugFrameEnd =
Chris Lattnerc0215722010-04-04 19:25:43 +00002922 Asm->GetTempSymbol("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnera6437182010-04-04 19:58:12 +00002923 Asm->EmitLabelDifference(DebugFrameEnd, DebugFrameBegin, 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002924
Chris Lattner206d61e2010-03-13 07:26:18 +00002925 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling94d04b82009-05-20 23:21:38 +00002926
Chris Lattner233f52b2010-03-09 23:52:58 +00002927 Asm->OutStreamer.AddComment("FDE CIE offset");
Chris Lattner6189ed12010-04-04 23:25:33 +00002928 Asm->EmitSectionOffset(Asm->GetTempSymbol("debug_frame_common"),
2929 DwarfFrameSectionSym);
Bill Wendling94d04b82009-05-20 23:21:38 +00002930
Chris Lattner233f52b2010-03-09 23:52:58 +00002931 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnerc0215722010-04-04 19:25:43 +00002932 MCSymbol *FuncBeginSym =
2933 Asm->GetTempSymbol("func_begin", DebugFrameInfo.Number);
Chris Lattnerfb658072010-03-13 07:40:56 +00002934 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerd38fee82010-04-05 00:13:49 +00002935 Asm->getTargetData().getPointerSize(),
2936 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002937
2938
Chris Lattner233f52b2010-03-09 23:52:58 +00002939 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnera6437182010-04-04 19:58:12 +00002940 Asm->EmitLabelDifference(Asm->GetTempSymbol("func_end",DebugFrameInfo.Number),
Chris Lattnerd38fee82010-04-05 00:13:49 +00002941 FuncBeginSym, Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002942
Chris Lattner02b86b92010-04-04 23:41:46 +00002943 Asm->EmitFrameMoves(DebugFrameInfo.Moves, FuncBeginSym, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002944
2945 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner206d61e2010-03-13 07:26:18 +00002946 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling94d04b82009-05-20 23:21:38 +00002947}
2948
Devang Patel8a241142009-12-09 18:24:21 +00002949/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2950///
2951void DwarfDebug::emitDebugPubNames() {
2952 // Start the dwarf pubnames section.
2953 Asm->OutStreamer.SwitchSection(
2954 Asm->getObjFileLowering().getDwarfPubNamesSection());
2955
Chris Lattner233f52b2010-03-09 23:52:58 +00002956 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002957 Asm->EmitLabelDifference(
2958 Asm->GetTempSymbol("pubnames_end", ModuleCU->getID()),
2959 Asm->GetTempSymbol("pubnames_begin", ModuleCU->getID()), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002960
Chris Lattnerc0215722010-04-04 19:25:43 +00002961 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin",
2962 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002963
Chris Lattner233f52b2010-03-09 23:52:58 +00002964 Asm->OutStreamer.AddComment("DWARF Version");
2965 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002966
Chris Lattner233f52b2010-03-09 23:52:58 +00002967 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattner6189ed12010-04-04 23:25:33 +00002968 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2969 DwarfInfoSectionSym);
Bill Wendling94d04b82009-05-20 23:21:38 +00002970
Chris Lattner233f52b2010-03-09 23:52:58 +00002971 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002972 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
2973 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2974 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002975
Devang Patel8a241142009-12-09 18:24:21 +00002976 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002977 for (StringMap<DIE*>::const_iterator
2978 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2979 const char *Name = GI->getKeyData();
Chris Lattner233f52b2010-03-09 23:52:58 +00002980 DIE *Entity = GI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002981
Chris Lattner233f52b2010-03-09 23:52:58 +00002982 Asm->OutStreamer.AddComment("DIE offset");
2983 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002984
Chris Lattner3f53c832010-04-04 18:52:31 +00002985 if (Asm->isVerbose())
Chris Lattner4cf202b2010-01-23 03:11:46 +00002986 Asm->OutStreamer.AddComment("External Name");
2987 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002988 }
2989
Chris Lattner233f52b2010-03-09 23:52:58 +00002990 Asm->OutStreamer.AddComment("End Mark");
2991 Asm->EmitInt32(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00002992 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end",
2993 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002994}
2995
Devang Patel193f7202009-11-24 01:14:22 +00002996void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002997 // Start the dwarf pubnames section.
2998 Asm->OutStreamer.SwitchSection(
2999 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner233f52b2010-03-09 23:52:58 +00003000 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattnera6437182010-04-04 19:58:12 +00003001 Asm->EmitLabelDifference(
3002 Asm->GetTempSymbol("pubtypes_end", ModuleCU->getID()),
3003 Asm->GetTempSymbol("pubtypes_begin", ModuleCU->getID()), 4);
Devang Patel193f7202009-11-24 01:14:22 +00003004
Chris Lattnerc0215722010-04-04 19:25:43 +00003005 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
3006 ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00003007
Chris Lattner3f53c832010-04-04 18:52:31 +00003008 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
Devang Patele3d6d222010-02-02 03:47:27 +00003009 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel193f7202009-11-24 01:14:22 +00003010
Chris Lattner233f52b2010-03-09 23:52:58 +00003011 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattner6189ed12010-04-04 23:25:33 +00003012 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
3013 DwarfInfoSectionSym);
Devang Patel193f7202009-11-24 01:14:22 +00003014
Chris Lattner233f52b2010-03-09 23:52:58 +00003015 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattnera6437182010-04-04 19:58:12 +00003016 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
3017 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
3018 4);
Devang Patel193f7202009-11-24 01:14:22 +00003019
3020 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
3021 for (StringMap<DIE*>::const_iterator
3022 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
3023 const char *Name = GI->getKeyData();
3024 DIE * Entity = GI->second;
3025
Chris Lattner3f53c832010-04-04 18:52:31 +00003026 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Devang Patele3d6d222010-02-02 03:47:27 +00003027 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00003028
Chris Lattner3f53c832010-04-04 18:52:31 +00003029 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Devang Patel31acb892010-02-02 03:37:03 +00003030 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel193f7202009-11-24 01:14:22 +00003031 }
3032
Chris Lattner233f52b2010-03-09 23:52:58 +00003033 Asm->OutStreamer.AddComment("End Mark");
3034 Asm->EmitInt32(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00003035 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
3036 ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00003037}
3038
Devang Patel2c4ceb12009-11-21 02:48:08 +00003039/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003040///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003041void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003042 // Check to see if it is worth the effort.
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003043 if (StringPool.empty()) return;
3044
3045 // Start the dwarf str section.
3046 Asm->OutStreamer.SwitchSection(
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003047 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003048
Chris Lattnerbc733f52010-03-13 02:17:42 +00003049 // Get all of the string pool entries and put them in an array by their ID so
3050 // we can sort them.
3051 SmallVector<std::pair<unsigned,
3052 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
3053
3054 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
3055 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
3056 Entries.push_back(std::make_pair(I->second.second, &*I));
3057
3058 array_pod_sort(Entries.begin(), Entries.end());
3059
3060 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003061 // Emit a label for reference from debug information entries.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003062 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003063
3064 // Emit the string itself.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003065 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00003066 }
3067}
3068
Devang Patel2c4ceb12009-11-21 02:48:08 +00003069/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003070///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003071void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003072 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003073 Asm->OutStreamer.SwitchSection(
3074 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003075}
3076
3077/// EmitDebugARanges - Emit visible names into a debug aranges section.
3078///
3079void DwarfDebug::EmitDebugARanges() {
3080 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003081 Asm->OutStreamer.SwitchSection(
3082 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003083}
3084
Devang Patel2c4ceb12009-11-21 02:48:08 +00003085/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003086///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003087void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003088 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003089 Asm->OutStreamer.SwitchSection(
Devang Patelf2548ca2010-04-16 23:33:45 +00003090 Asm->getObjFileLowering().getDwarfRangesSection());
3091 for (SmallVector<const MCSymbol *, 8>::const_iterator I = DebugRangeSymbols.begin(),
3092 E = DebugRangeSymbols.end(); I != E; ++I) {
3093 if (*I)
3094 Asm->EmitLabelDifference(*I, TextSectionSym,
3095 Asm->getTargetData().getPointerSize());
3096 else
3097 Asm->OutStreamer.EmitIntValue(0, Asm->getTargetData().getPointerSize(),
3098 /*addrspace*/0);
3099 }
Bill Wendling94d04b82009-05-20 23:21:38 +00003100}
3101
Devang Patel2c4ceb12009-11-21 02:48:08 +00003102/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003103///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003104void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00003105 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00003106 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00003107 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003108 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00003109 }
3110}
3111
Devang Patel2c4ceb12009-11-21 02:48:08 +00003112/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00003113/// Section Header:
3114/// 1. length of section
3115/// 2. Dwarf version number
3116/// 3. address size.
3117///
3118/// Entries (one "entry" for each function that was inlined):
3119///
3120/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3121/// otherwise offset into __debug_str for regular function name.
3122/// 2. offset into __debug_str section for regular function name.
3123/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3124/// instances for the function.
3125///
3126/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3127/// inlined instance; the die_offset points to the inlined_subroutine die in the
3128/// __debug_info section, and the low_pc is the starting address for the
3129/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00003130void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnerd38fee82010-04-05 00:13:49 +00003131 if (!Asm->MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00003132 return;
3133
Devang Patel1dbc7712009-06-29 20:45:18 +00003134 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00003135 return;
3136
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003137 Asm->OutStreamer.SwitchSection(
3138 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00003139
Chris Lattner233f52b2010-03-09 23:52:58 +00003140 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00003141 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
3142 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00003143
Chris Lattnerc0215722010-04-04 19:25:43 +00003144 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003145
Chris Lattner233f52b2010-03-09 23:52:58 +00003146 Asm->OutStreamer.AddComment("Dwarf Version");
3147 Asm->EmitInt16(dwarf::DWARF_VERSION);
3148 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattnerd38fee82010-04-05 00:13:49 +00003149 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00003150
Devang Patel53bb5c92009-11-10 23:06:00 +00003151 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3152 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00003153
Devang Patel53bb5c92009-11-10 23:06:00 +00003154 MDNode *Node = *I;
Devang Patel622b0262010-01-19 06:19:05 +00003155 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00003156 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00003157 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00003158 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00003159 StringRef LName = SP.getLinkageName();
3160 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00003161
Chris Lattner233f52b2010-03-09 23:52:58 +00003162 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattner4cf202b2010-01-23 03:11:46 +00003163 if (LName.empty()) {
3164 Asm->OutStreamer.EmitBytes(Name, 0);
3165 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3166 } else
Chris Lattner6189ed12010-04-04 23:25:33 +00003167 Asm->EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
3168 DwarfStrSectionSym);
Devang Patel53bb5c92009-11-10 23:06:00 +00003169
Chris Lattner233f52b2010-03-09 23:52:58 +00003170 Asm->OutStreamer.AddComment("Function name");
Chris Lattner6189ed12010-04-04 23:25:33 +00003171 Asm->EmitSectionOffset(getStringPoolEntry(Name), DwarfStrSectionSym);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00003172 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00003173
Devang Patel53bb5c92009-11-10 23:06:00 +00003174 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00003175 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner3f53c832010-04-04 18:52:31 +00003176 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner6ed0f902010-03-09 00:31:02 +00003177 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00003178
Chris Lattner3f53c832010-04-04 18:52:31 +00003179 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattnerd38fee82010-04-05 00:13:49 +00003180 Asm->OutStreamer.EmitSymbolValue(LI->first,
3181 Asm->getTargetData().getPointerSize(),0);
Bill Wendling94d04b82009-05-20 23:21:38 +00003182 }
3183 }
3184
Chris Lattnerc0215722010-04-04 19:25:43 +00003185 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003186}