blob: 23f08f1df5cc4df008d90aa5617b9fd11b646929 [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
Devang Patel2c4ceb12009-11-21 02:48:08 +00002286/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002287/// emitted immediately after the function entry point.
Chris Lattnereec791a2010-01-26 23:18:02 +00002288void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner994cb122010-04-05 03:52:55 +00002289 if (!MMI->hasDebugInfo()) return;
Bill Wendling5f017e82010-04-07 09:28:04 +00002290 if (!extractScopeInformation()) return;
Chris Lattnera909d662010-03-29 20:38:20 +00002291
Devang Patel2c4ceb12009-11-21 02:48:08 +00002292 collectVariableInfo();
Devang Patel60b35bd2009-10-06 18:37:31 +00002293
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002294 // Assumes in correct section after the entry point.
Chris Lattnerc0215722010-04-04 19:25:43 +00002295 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_begin",
Chris Lattnerd38fee82010-04-05 00:13:49 +00002296 Asm->getFunctionNumber()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002297
2298 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2299 // function.
Devang Patelac1ceb32009-10-09 22:42:28 +00002300 DebugLoc FDL = MF->getDefaultDebugLoc();
Chris Lattnerde4845c2010-04-02 19:42:39 +00002301 if (FDL.isUnknown()) return;
2302
2303 MDNode *Scope = FDL.getScope(MF->getFunction()->getContext());
2304
2305 DISubprogram SP = getDISubprogram(Scope);
2306 unsigned Line, Col;
2307 if (SP.Verify()) {
2308 Line = SP.getLineNumber();
2309 Col = 0;
2310 } else {
2311 Line = FDL.getLine();
2312 Col = FDL.getCol();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002313 }
Chris Lattnerde4845c2010-04-02 19:42:39 +00002314
2315 recordSourceLine(Line, Col, Scope);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002316}
2317
Devang Patel2c4ceb12009-11-21 02:48:08 +00002318/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002319///
Chris Lattnereec791a2010-01-26 23:18:02 +00002320void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendling5f017e82010-04-07 09:28:04 +00002321 if (!MMI->hasDebugInfo() || DbgScopeMap.empty()) return;
Devang Patel70d75ca2009-11-12 19:02:56 +00002322
Devang Patel344130e2010-01-04 20:44:00 +00002323 if (CurrentFnDbgScope) {
2324 // Define end label for subprogram.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002325 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_end",
2326 Asm->getFunctionNumber()));
Devang Patel344130e2010-01-04 20:44:00 +00002327
2328 // Get function line info.
2329 if (!Lines.empty()) {
2330 // Get section line info.
2331 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2332 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2333 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2334 // Append the function info to section info.
2335 SectionLineInfos.insert(SectionLineInfos.end(),
2336 Lines.begin(), Lines.end());
2337 }
2338
2339 // Construct abstract scopes.
2340 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2341 AE = AbstractScopesList.end(); AI != AE; ++AI)
2342 constructScopeDIE(*AI);
2343
2344 constructScopeDIE(CurrentFnDbgScope);
2345
Chris Lattnerd38fee82010-04-05 00:13:49 +00002346 DebugFrames.push_back(FunctionDebugFrameInfo(Asm->getFunctionNumber(),
Devang Patel344130e2010-01-04 20:44:00 +00002347 MMI->getFrameMoves()));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002348 }
2349
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002350 // Clear debug info
Devang Patelf54b8522010-01-19 01:26:02 +00002351 CurrentFnDbgScope = NULL;
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002352 DeleteContainerSeconds(DbgScopeMap);
Devang Patel51424712010-04-09 16:04:20 +00002353 InsnsBeginScopeSet.clear();
2354 InsnsEndScopeSet.clear();
Devang Patelaead63c2010-03-29 22:59:58 +00002355 DbgValueStartMap.clear();
Devang Patelf54b8522010-01-19 01:26:02 +00002356 ConcreteScopes.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002357 DeleteContainerSeconds(AbstractScopes);
Devang Patelf54b8522010-01-19 01:26:02 +00002358 AbstractScopesList.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00002359 AbstractVariables.clear();
Devang Patel1d526c32010-04-14 01:18:28 +00002360 InsnBeforeLabelMap.clear();
2361 InsnAfterLabelMap.clear();
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002362 Lines.clear();
Devang Patelf2548ca2010-04-16 23:33:45 +00002363 PrevLabel = NULL;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002364}
2365
Chris Lattnerc6087842010-03-09 04:54:43 +00002366/// recordSourceLine - Register a source line with debug info. Returns the
2367/// unique label that was emitted and which provides correspondence to
2368/// the source line list.
2369MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patel65dbc902009-11-25 17:36:49 +00002370 StringRef Dir;
2371 StringRef Fn;
Devang Patelf84548d2009-10-05 18:03:19 +00002372
2373 DIDescriptor Scope(S);
2374 if (Scope.isCompileUnit()) {
2375 DICompileUnit CU(S);
2376 Dir = CU.getDirectory();
2377 Fn = CU.getFilename();
2378 } else if (Scope.isSubprogram()) {
2379 DISubprogram SP(S);
2380 Dir = SP.getDirectory();
2381 Fn = SP.getFilename();
2382 } else if (Scope.isLexicalBlock()) {
2383 DILexicalBlock DB(S);
2384 Dir = DB.getDirectory();
2385 Fn = DB.getFilename();
2386 } else
Chris Lattner206d61e2010-03-13 07:26:18 +00002387 assert(0 && "Unexpected scope info");
Devang Patelf84548d2009-10-05 18:03:19 +00002388
2389 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner63d78362010-03-14 08:36:50 +00002390 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner25b68c62010-03-14 08:15:55 +00002391 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002392
Chris Lattnerc6087842010-03-09 04:54:43 +00002393 Asm->OutStreamer.EmitLabel(Label);
2394 return Label;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00002395}
2396
Bill Wendling829e67b2009-05-20 23:22:40 +00002397//===----------------------------------------------------------------------===//
2398// Emit Methods
2399//===----------------------------------------------------------------------===//
2400
Devang Patel2c4ceb12009-11-21 02:48:08 +00002401/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling94d04b82009-05-20 23:21:38 +00002402///
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002403unsigned
2404DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002405 // Get the children.
2406 const std::vector<DIE *> &Children = Die->getChildren();
2407
2408 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002409 if (!Last && !Children.empty())
Benjamin Kramer345ef342010-03-31 19:34:01 +00002410 Die->addSiblingOffset(DIEValueAllocator);
Bill Wendling94d04b82009-05-20 23:21:38 +00002411
2412 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002413 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00002414
2415 // Get the abbreviation for this DIE.
2416 unsigned AbbrevNumber = Die->getAbbrevNumber();
2417 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2418
2419 // Set DIE offset
2420 Die->setOffset(Offset);
2421
2422 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00002423 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002424
2425 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2426 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2427
2428 // Size the DIE attribute values.
2429 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2430 // Size attribute value.
Chris Lattnera37d5382010-04-05 00:18:22 +00002431 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling94d04b82009-05-20 23:21:38 +00002432
2433 // Size the DIE children if any.
2434 if (!Children.empty()) {
2435 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2436 "Children flag not set");
2437
2438 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002439 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling94d04b82009-05-20 23:21:38 +00002440
2441 // End of children marker.
2442 Offset += sizeof(int8_t);
2443 }
2444
2445 Die->setSize(Offset - Die->getOffset());
2446 return Offset;
2447}
2448
Devang Patel2c4ceb12009-11-21 02:48:08 +00002449/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling94d04b82009-05-20 23:21:38 +00002450///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002451void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002452 // Compute size of compile unit header.
2453 static unsigned Offset =
2454 sizeof(int32_t) + // Length of Compilation Unit Info
2455 sizeof(int16_t) + // DWARF version number
2456 sizeof(int32_t) + // Offset Into Abbrev. Section
2457 sizeof(int8_t); // Pointer Size (in bytes)
2458
Devang Patel2c4ceb12009-11-21 02:48:08 +00002459 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Bill Wendling94d04b82009-05-20 23:21:38 +00002460}
2461
Chris Lattner11b8f302010-04-04 23:02:02 +00002462/// EmitSectionSym - Switch to the specified MCSection and emit an assembler
2463/// temporary label to it if SymbolStem is specified.
Chris Lattner9c69e285532010-04-04 22:59:04 +00002464static MCSymbol *EmitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Chris Lattner11b8f302010-04-04 23:02:02 +00002465 const char *SymbolStem = 0) {
Chris Lattner9c69e285532010-04-04 22:59:04 +00002466 Asm->OutStreamer.SwitchSection(Section);
Chris Lattner11b8f302010-04-04 23:02:02 +00002467 if (!SymbolStem) return 0;
2468
Chris Lattner9c69e285532010-04-04 22:59:04 +00002469 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
2470 Asm->OutStreamer.EmitLabel(TmpSym);
2471 return TmpSym;
2472}
2473
2474/// EmitSectionLabels - Emit initial Dwarf sections with a label at
2475/// the start of each one.
Chris Lattnerfa070b02010-04-04 22:33:59 +00002476void DwarfDebug::EmitSectionLabels() {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002477 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002478
Bill Wendling94d04b82009-05-20 23:21:38 +00002479 // Dwarf sections base addresses.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002480 if (Asm->MAI->doesDwarfRequireFrameSection()) {
Chris Lattner9c69e285532010-04-04 22:59:04 +00002481 DwarfFrameSectionSym =
2482 EmitSectionSym(Asm, TLOF.getDwarfFrameSection(), "section_debug_frame");
2483 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002484
Chris Lattner9c69e285532010-04-04 22:59:04 +00002485 DwarfInfoSectionSym =
2486 EmitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
2487 DwarfAbbrevSectionSym =
2488 EmitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Chris Lattner11b8f302010-04-04 23:02:02 +00002489 EmitSectionSym(Asm, TLOF.getDwarfARangesSection());
Chris Lattner9c69e285532010-04-04 22:59:04 +00002490
2491 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Chris Lattner11b8f302010-04-04 23:02:02 +00002492 EmitSectionSym(Asm, MacroInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002493
Chris Lattner11b8f302010-04-04 23:02:02 +00002494 EmitSectionSym(Asm, TLOF.getDwarfLineSection());
2495 EmitSectionSym(Asm, TLOF.getDwarfLocSection());
2496 EmitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
2497 EmitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Chris Lattner9c69e285532010-04-04 22:59:04 +00002498 DwarfStrSectionSym =
2499 EmitSectionSym(Asm, TLOF.getDwarfStrSection(), "section_str");
Devang Patelf2548ca2010-04-16 23:33:45 +00002500 DwarfDebugRangeSectionSym = EmitSectionSym(Asm, TLOF.getDwarfRangesSection(),
2501 "debug_range");
Bill Wendling94d04b82009-05-20 23:21:38 +00002502
Chris Lattner9c69e285532010-04-04 22:59:04 +00002503 TextSectionSym = EmitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
Chris Lattner4ad1efe2010-04-04 23:10:38 +00002504 EmitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002505}
2506
Devang Patel2c4ceb12009-11-21 02:48:08 +00002507/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling94d04b82009-05-20 23:21:38 +00002508///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002509void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002510 // Get the abbreviation for this DIE.
2511 unsigned AbbrevNumber = Die->getAbbrevNumber();
2512 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2513
Bill Wendling94d04b82009-05-20 23:21:38 +00002514 // Emit the code (index) for the abbreviation.
Chris Lattner3f53c832010-04-04 18:52:31 +00002515 if (Asm->isVerbose())
Chris Lattner894d75a2010-01-22 23:18:42 +00002516 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2517 Twine::utohexstr(Die->getOffset()) + ":0x" +
2518 Twine::utohexstr(Die->getSize()) + " " +
2519 dwarf::TagString(Abbrev->getTag()));
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002520 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00002521
Jeffrey Yasskin638fe8d2010-03-22 18:47:14 +00002522 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling94d04b82009-05-20 23:21:38 +00002523 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2524
2525 // Emit the DIE attribute values.
2526 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2527 unsigned Attr = AbbrevData[i].getAttribute();
2528 unsigned Form = AbbrevData[i].getForm();
2529 assert(Form && "Too many attributes for DIE (check abbreviation)");
2530
Chris Lattner3f53c832010-04-04 18:52:31 +00002531 if (Asm->isVerbose())
Chris Lattnera8013622010-01-24 18:54:17 +00002532 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2533
Bill Wendling94d04b82009-05-20 23:21:38 +00002534 switch (Attr) {
2535 case dwarf::DW_AT_sibling:
Devang Patel2c4ceb12009-11-21 02:48:08 +00002536 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002537 break;
2538 case dwarf::DW_AT_abstract_origin: {
2539 DIEEntry *E = cast<DIEEntry>(Values[i]);
2540 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00002541 unsigned Addr = Origin->getOffset();
Bill Wendling94d04b82009-05-20 23:21:38 +00002542 Asm->EmitInt32(Addr);
2543 break;
2544 }
Devang Patelf2548ca2010-04-16 23:33:45 +00002545 case dwarf::DW_AT_ranges: {
2546 // DW_AT_range Value encodes offset in debug_range section.
2547 DIEInteger *V = cast<DIEInteger>(Values[i]);
2548 Asm->EmitLabelOffsetDifference(DwarfDebugRangeSectionSym,
2549 V->getValue(),
2550 DwarfDebugRangeSectionSym,
2551 4);
2552 break;
2553 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002554 default:
2555 // Emit an attribute using the defined form.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002556 Values[i]->EmitValue(Asm, Form);
Bill Wendling94d04b82009-05-20 23:21:38 +00002557 break;
2558 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002559 }
2560
2561 // Emit the DIE children if any.
2562 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2563 const std::vector<DIE *> &Children = Die->getChildren();
2564
2565 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patel2c4ceb12009-11-21 02:48:08 +00002566 emitDIE(Children[j]);
Bill Wendling94d04b82009-05-20 23:21:38 +00002567
Chris Lattner3f53c832010-04-04 18:52:31 +00002568 if (Asm->isVerbose())
Chris Lattner233f52b2010-03-09 23:52:58 +00002569 Asm->OutStreamer.AddComment("End Of Children Mark");
2570 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002571 }
2572}
2573
Devang Patel8a241142009-12-09 18:24:21 +00002574/// emitDebugInfo - Emit the debug info section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002575///
Devang Patel8a241142009-12-09 18:24:21 +00002576void DwarfDebug::emitDebugInfo() {
2577 // Start debug info section.
2578 Asm->OutStreamer.SwitchSection(
2579 Asm->getObjFileLowering().getDwarfInfoSection());
2580 DIE *Die = ModuleCU->getCUDie();
Bill Wendling94d04b82009-05-20 23:21:38 +00002581
2582 // Emit the compile units header.
Chris Lattnerc0215722010-04-04 19:25:43 +00002583 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_begin",
2584 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002585
2586 // Emit size of content not including length itself
2587 unsigned ContentSize = Die->getSize() +
2588 sizeof(int16_t) + // DWARF version number
2589 sizeof(int32_t) + // Offset Into Abbrev. Section
2590 sizeof(int8_t) + // Pointer Size (in bytes)
2591 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2592
Chris Lattner233f52b2010-03-09 23:52:58 +00002593 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2594 Asm->EmitInt32(ContentSize);
2595 Asm->OutStreamer.AddComment("DWARF version number");
2596 Asm->EmitInt16(dwarf::DWARF_VERSION);
2597 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Chris Lattner6189ed12010-04-04 23:25:33 +00002598 Asm->EmitSectionOffset(Asm->GetTempSymbol("abbrev_begin"),
2599 DwarfAbbrevSectionSym);
Chris Lattner233f52b2010-03-09 23:52:58 +00002600 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002601 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002602
Devang Patel2c4ceb12009-11-21 02:48:08 +00002603 emitDIE(Die);
Bill Wendling94d04b82009-05-20 23:21:38 +00002604 // FIXME - extra padding for gdb bug.
Chris Lattner233f52b2010-03-09 23:52:58 +00002605 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2606 Asm->EmitInt8(0);
2607 Asm->EmitInt8(0);
2608 Asm->EmitInt8(0);
2609 Asm->EmitInt8(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00002610 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_end", ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002611}
2612
Devang Patel2c4ceb12009-11-21 02:48:08 +00002613/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002614///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002615void DwarfDebug::emitAbbreviations() const {
Bill Wendling94d04b82009-05-20 23:21:38 +00002616 // Check to see if it is worth the effort.
2617 if (!Abbreviations.empty()) {
2618 // Start the debug abbrev section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002619 Asm->OutStreamer.SwitchSection(
2620 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002621
Chris Lattnerc0215722010-04-04 19:25:43 +00002622 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002623
2624 // For each abbrevation.
2625 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2626 // Get abbreviation data
2627 const DIEAbbrev *Abbrev = Abbreviations[i];
2628
2629 // Emit the abbrevations code (base 1 index.)
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002630 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002631
2632 // Emit the abbreviations data.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002633 Abbrev->Emit(Asm);
Bill Wendling94d04b82009-05-20 23:21:38 +00002634 }
2635
2636 // Mark end of abbreviations.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002637 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002638
Chris Lattnerc0215722010-04-04 19:25:43 +00002639 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002640 }
2641}
2642
Devang Patel2c4ceb12009-11-21 02:48:08 +00002643/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling94d04b82009-05-20 23:21:38 +00002644/// the line matrix.
2645///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002646void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002647 // Define last address of section.
Chris Lattner233f52b2010-03-09 23:52:58 +00002648 Asm->OutStreamer.AddComment("Extended Op");
2649 Asm->EmitInt8(0);
2650
2651 Asm->OutStreamer.AddComment("Op size");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002652 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner233f52b2010-03-09 23:52:58 +00002653 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2654 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2655
2656 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002657
Chris Lattnerc0215722010-04-04 19:25:43 +00002658 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Chris Lattnerd38fee82010-04-05 00:13:49 +00002659 Asm->getTargetData().getPointerSize(),
2660 0/*AddrSpace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00002661
2662 // Mark end of matrix.
Chris Lattner233f52b2010-03-09 23:52:58 +00002663 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2664 Asm->EmitInt8(0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002665 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002666 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002667}
2668
Devang Patel2c4ceb12009-11-21 02:48:08 +00002669/// emitDebugLines - Emit source line information.
Bill Wendling94d04b82009-05-20 23:21:38 +00002670///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002671void DwarfDebug::emitDebugLines() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002672 // If the target is using .loc/.file, the assembler will be emitting the
2673 // .debug_line table automatically.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002674 if (Asm->MAI->hasDotLocAndDotFile())
Bill Wendling94d04b82009-05-20 23:21:38 +00002675 return;
2676
2677 // Minimum line delta, thus ranging from -10..(255-10).
2678 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2679 // Maximum line delta, thus ranging from -10..(255-10).
2680 const int MaxLineDelta = 255 + MinLineDelta;
2681
2682 // Start the dwarf line section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002683 Asm->OutStreamer.SwitchSection(
2684 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002685
2686 // Construct the section header.
Chris Lattner233f52b2010-03-09 23:52:58 +00002687 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002688 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_end"),
2689 Asm->GetTempSymbol("line_begin"), 4);
Chris Lattnerc0215722010-04-04 19:25:43 +00002690 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002691
Chris Lattner233f52b2010-03-09 23:52:58 +00002692 Asm->OutStreamer.AddComment("DWARF version number");
2693 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002694
Chris Lattner233f52b2010-03-09 23:52:58 +00002695 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002696 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_prolog_end"),
2697 Asm->GetTempSymbol("line_prolog_begin"), 4);
Chris Lattnerc0215722010-04-04 19:25:43 +00002698 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_begin"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002699
Chris Lattner233f52b2010-03-09 23:52:58 +00002700 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2701 Asm->EmitInt8(1);
2702 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2703 Asm->EmitInt8(1);
2704 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2705 Asm->EmitInt8(MinLineDelta);
2706 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2707 Asm->EmitInt8(MaxLineDelta);
2708 Asm->OutStreamer.AddComment("Special Opcode Base");
2709 Asm->EmitInt8(-MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002710
2711 // Line number standard opcode encodings argument count
Chris Lattner233f52b2010-03-09 23:52:58 +00002712 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2713 Asm->EmitInt8(0);
2714 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2715 Asm->EmitInt8(1);
2716 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2717 Asm->EmitInt8(1);
2718 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2719 Asm->EmitInt8(1);
2720 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2721 Asm->EmitInt8(1);
2722 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2723 Asm->EmitInt8(0);
2724 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2725 Asm->EmitInt8(0);
2726 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2727 Asm->EmitInt8(0);
2728 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2729 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002730
2731 // Emit directories.
2732 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattner4cf202b2010-01-23 03:11:46 +00002733 const std::string &Dir = getSourceDirectoryName(DI);
Chris Lattner3f53c832010-04-04 18:52:31 +00002734 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Directory");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002735 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002736 }
2737
Chris Lattner233f52b2010-03-09 23:52:58 +00002738 Asm->OutStreamer.AddComment("End of directories");
2739 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002740
2741 // Emit files.
2742 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2743 // Remember source id starts at 1.
2744 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattner4cf202b2010-01-23 03:11:46 +00002745 const std::string &FN = getSourceFileName(Id.second);
Chris Lattner3f53c832010-04-04 18:52:31 +00002746 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Source");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002747 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2748
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002749 Asm->EmitULEB128(Id.first, "Directory #");
2750 Asm->EmitULEB128(0, "Mod date");
2751 Asm->EmitULEB128(0, "File size");
Bill Wendling94d04b82009-05-20 23:21:38 +00002752 }
2753
Chris Lattner233f52b2010-03-09 23:52:58 +00002754 Asm->OutStreamer.AddComment("End of files");
2755 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002756
Chris Lattnerc0215722010-04-04 19:25:43 +00002757 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002758
2759 // A sequence for each text section.
2760 unsigned SecSrcLinesSize = SectionSourceLines.size();
2761
2762 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2763 // Isolate current sections line info.
2764 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2765
Bill Wendling94d04b82009-05-20 23:21:38 +00002766 // Dwarf assumes we start with first line of first source file.
2767 unsigned Source = 1;
2768 unsigned Line = 1;
2769
2770 // Construct rows of the address, source, line, column matrix.
2771 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2772 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner25b68c62010-03-14 08:15:55 +00002773 MCSymbol *Label = LineInfo.getLabel();
Chris Lattnerb9130602010-03-14 02:20:58 +00002774 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling94d04b82009-05-20 23:21:38 +00002775
Caroline Ticec6f9d622009-09-11 18:25:54 +00002776 if (LineInfo.getLine() == 0) continue;
2777
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002778 if (Asm->isVerbose()) {
Chris Lattner188a87d2010-03-10 01:04:13 +00002779 std::pair<unsigned, unsigned> SrcID =
Bill Wendling94d04b82009-05-20 23:21:38 +00002780 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattner188a87d2010-03-10 01:04:13 +00002781 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner49f618a2010-03-10 02:29:31 +00002782 "/" +
2783 Twine(getSourceFileName(SrcID.second)) +
Chris Lattner188a87d2010-03-10 01:04:13 +00002784 ":" + Twine(LineInfo.getLine()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002785 }
2786
2787 // Define the line address.
Chris Lattner233f52b2010-03-09 23:52:58 +00002788 Asm->OutStreamer.AddComment("Extended Op");
2789 Asm->EmitInt8(0);
2790 Asm->OutStreamer.AddComment("Op size");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002791 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner233f52b2010-03-09 23:52:58 +00002792
2793 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2794 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2795
2796 Asm->OutStreamer.AddComment("Location label");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002797 Asm->OutStreamer.EmitSymbolValue(Label,
2798 Asm->getTargetData().getPointerSize(),
Chris Lattnerb9130602010-03-14 02:20:58 +00002799 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002800
Bill Wendling94d04b82009-05-20 23:21:38 +00002801 // If change of source, then switch to the new source.
2802 if (Source != LineInfo.getSourceID()) {
2803 Source = LineInfo.getSourceID();
Chris Lattner233f52b2010-03-09 23:52:58 +00002804 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2805 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002806 Asm->EmitULEB128(Source, "New Source");
Bill Wendling94d04b82009-05-20 23:21:38 +00002807 }
2808
2809 // If change of line.
2810 if (Line != LineInfo.getLine()) {
2811 // Determine offset.
2812 int Offset = LineInfo.getLine() - Line;
2813 int Delta = Offset - MinLineDelta;
2814
2815 // Update line.
2816 Line = LineInfo.getLine();
2817
2818 // If delta is small enough and in range...
2819 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2820 // ... then use fast opcode.
Chris Lattner233f52b2010-03-09 23:52:58 +00002821 Asm->OutStreamer.AddComment("Line Delta");
2822 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling94d04b82009-05-20 23:21:38 +00002823 } else {
2824 // ... otherwise use long hand.
Chris Lattner233f52b2010-03-09 23:52:58 +00002825 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling94d04b82009-05-20 23:21:38 +00002826 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002827 Asm->EmitSLEB128(Offset, "Line Offset");
Chris Lattner233f52b2010-03-09 23:52:58 +00002828 Asm->OutStreamer.AddComment("DW_LNS_copy");
2829 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002830 }
2831 } else {
2832 // Copy the previous row (different address or source)
Chris Lattner233f52b2010-03-09 23:52:58 +00002833 Asm->OutStreamer.AddComment("DW_LNS_copy");
2834 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling94d04b82009-05-20 23:21:38 +00002835 }
2836 }
2837
Devang Patel2c4ceb12009-11-21 02:48:08 +00002838 emitEndOfLineMatrix(j + 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002839 }
2840
2841 if (SecSrcLinesSize == 0)
2842 // Because we're emitting a debug_line section, we still need a line
2843 // table. The linker and friends expect it to exist. If there's nothing to
2844 // put into it, emit an empty table.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002845 emitEndOfLineMatrix(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002846
Chris Lattnerc0215722010-04-04 19:25:43 +00002847 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002848}
2849
Devang Patel2c4ceb12009-11-21 02:48:08 +00002850/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling94d04b82009-05-20 23:21:38 +00002851///
Devang Patel2c4ceb12009-11-21 02:48:08 +00002852void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnerd38fee82010-04-05 00:13:49 +00002853 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002854 return;
2855
Chris Lattnerd38fee82010-04-05 00:13:49 +00002856 int stackGrowth = Asm->getTargetData().getPointerSize();
2857 if (Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2858 TargetFrameInfo::StackGrowsDown)
2859 stackGrowth *= -1;
Bill Wendling94d04b82009-05-20 23:21:38 +00002860
2861 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002862 Asm->OutStreamer.SwitchSection(
2863 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002864
Chris Lattnerc0215722010-04-04 19:25:43 +00002865 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002866 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00002867 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_frame_common_end"),
2868 Asm->GetTempSymbol("debug_frame_common_begin"), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002869
Chris Lattnerc0215722010-04-04 19:25:43 +00002870 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_begin"));
Chris Lattner233f52b2010-03-09 23:52:58 +00002871 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling94d04b82009-05-20 23:21:38 +00002872 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner233f52b2010-03-09 23:52:58 +00002873 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling94d04b82009-05-20 23:21:38 +00002874 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner233f52b2010-03-09 23:52:58 +00002875 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattner4cf202b2010-01-23 03:11:46 +00002876 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002877 Asm->EmitULEB128(1, "CIE Code Alignment Factor");
2878 Asm->EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner233f52b2010-03-09 23:52:58 +00002879 Asm->OutStreamer.AddComment("CIE RA Column");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002880 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling94d04b82009-05-20 23:21:38 +00002881 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling94d04b82009-05-20 23:21:38 +00002882
2883 std::vector<MachineMove> Moves;
2884 RI->getInitialFrameState(Moves);
2885
Chris Lattner02b86b92010-04-04 23:41:46 +00002886 Asm->EmitFrameMoves(Moves, 0, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002887
2888 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerc0215722010-04-04 19:25:43 +00002889 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_end"));
Bill Wendling94d04b82009-05-20 23:21:38 +00002890}
2891
Devang Patel2c4ceb12009-11-21 02:48:08 +00002892/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling94d04b82009-05-20 23:21:38 +00002893/// section.
Chris Lattner206d61e2010-03-13 07:26:18 +00002894void DwarfDebug::
2895emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattnerd38fee82010-04-05 00:13:49 +00002896 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002897 return;
2898
2899 // Start the dwarf frame section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002900 Asm->OutStreamer.SwitchSection(
2901 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002902
Chris Lattner233f52b2010-03-09 23:52:58 +00002903 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner206d61e2010-03-13 07:26:18 +00002904 MCSymbol *DebugFrameBegin =
Chris Lattnerc0215722010-04-04 19:25:43 +00002905 Asm->GetTempSymbol("debug_frame_begin", DebugFrameInfo.Number);
Chris Lattner206d61e2010-03-13 07:26:18 +00002906 MCSymbol *DebugFrameEnd =
Chris Lattnerc0215722010-04-04 19:25:43 +00002907 Asm->GetTempSymbol("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnera6437182010-04-04 19:58:12 +00002908 Asm->EmitLabelDifference(DebugFrameEnd, DebugFrameBegin, 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002909
Chris Lattner206d61e2010-03-13 07:26:18 +00002910 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling94d04b82009-05-20 23:21:38 +00002911
Chris Lattner233f52b2010-03-09 23:52:58 +00002912 Asm->OutStreamer.AddComment("FDE CIE offset");
Chris Lattner6189ed12010-04-04 23:25:33 +00002913 Asm->EmitSectionOffset(Asm->GetTempSymbol("debug_frame_common"),
2914 DwarfFrameSectionSym);
Bill Wendling94d04b82009-05-20 23:21:38 +00002915
Chris Lattner233f52b2010-03-09 23:52:58 +00002916 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnerc0215722010-04-04 19:25:43 +00002917 MCSymbol *FuncBeginSym =
2918 Asm->GetTempSymbol("func_begin", DebugFrameInfo.Number);
Chris Lattnerfb658072010-03-13 07:40:56 +00002919 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerd38fee82010-04-05 00:13:49 +00002920 Asm->getTargetData().getPointerSize(),
2921 0/*AddrSpace*/);
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002922
2923
Chris Lattner233f52b2010-03-09 23:52:58 +00002924 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnera6437182010-04-04 19:58:12 +00002925 Asm->EmitLabelDifference(Asm->GetTempSymbol("func_end",DebugFrameInfo.Number),
Chris Lattnerd38fee82010-04-05 00:13:49 +00002926 FuncBeginSym, Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002927
Chris Lattner02b86b92010-04-04 23:41:46 +00002928 Asm->EmitFrameMoves(DebugFrameInfo.Moves, FuncBeginSym, false);
Bill Wendling94d04b82009-05-20 23:21:38 +00002929
2930 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner206d61e2010-03-13 07:26:18 +00002931 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling94d04b82009-05-20 23:21:38 +00002932}
2933
Devang Patel8a241142009-12-09 18:24:21 +00002934/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2935///
2936void DwarfDebug::emitDebugPubNames() {
2937 // Start the dwarf pubnames section.
2938 Asm->OutStreamer.SwitchSection(
2939 Asm->getObjFileLowering().getDwarfPubNamesSection());
2940
Chris Lattner233f52b2010-03-09 23:52:58 +00002941 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002942 Asm->EmitLabelDifference(
2943 Asm->GetTempSymbol("pubnames_end", ModuleCU->getID()),
2944 Asm->GetTempSymbol("pubnames_begin", ModuleCU->getID()), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002945
Chris Lattnerc0215722010-04-04 19:25:43 +00002946 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin",
2947 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002948
Chris Lattner233f52b2010-03-09 23:52:58 +00002949 Asm->OutStreamer.AddComment("DWARF Version");
2950 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling94d04b82009-05-20 23:21:38 +00002951
Chris Lattner233f52b2010-03-09 23:52:58 +00002952 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattner6189ed12010-04-04 23:25:33 +00002953 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2954 DwarfInfoSectionSym);
Bill Wendling94d04b82009-05-20 23:21:38 +00002955
Chris Lattner233f52b2010-03-09 23:52:58 +00002956 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattnera6437182010-04-04 19:58:12 +00002957 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
2958 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2959 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002960
Devang Patel8a241142009-12-09 18:24:21 +00002961 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling94d04b82009-05-20 23:21:38 +00002962 for (StringMap<DIE*>::const_iterator
2963 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2964 const char *Name = GI->getKeyData();
Chris Lattner233f52b2010-03-09 23:52:58 +00002965 DIE *Entity = GI->second;
Bill Wendling94d04b82009-05-20 23:21:38 +00002966
Chris Lattner233f52b2010-03-09 23:52:58 +00002967 Asm->OutStreamer.AddComment("DIE offset");
2968 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00002969
Chris Lattner3f53c832010-04-04 18:52:31 +00002970 if (Asm->isVerbose())
Chris Lattner4cf202b2010-01-23 03:11:46 +00002971 Asm->OutStreamer.AddComment("External Name");
2972 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling94d04b82009-05-20 23:21:38 +00002973 }
2974
Chris Lattner233f52b2010-03-09 23:52:58 +00002975 Asm->OutStreamer.AddComment("End Mark");
2976 Asm->EmitInt32(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00002977 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end",
2978 ModuleCU->getID()));
Bill Wendling94d04b82009-05-20 23:21:38 +00002979}
2980
Devang Patel193f7202009-11-24 01:14:22 +00002981void DwarfDebug::emitDebugPubTypes() {
Devang Patelf3a03762009-11-24 19:18:41 +00002982 // Start the dwarf pubnames section.
2983 Asm->OutStreamer.SwitchSection(
2984 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner233f52b2010-03-09 23:52:58 +00002985 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattnera6437182010-04-04 19:58:12 +00002986 Asm->EmitLabelDifference(
2987 Asm->GetTempSymbol("pubtypes_end", ModuleCU->getID()),
2988 Asm->GetTempSymbol("pubtypes_begin", ModuleCU->getID()), 4);
Devang Patel193f7202009-11-24 01:14:22 +00002989
Chris Lattnerc0215722010-04-04 19:25:43 +00002990 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
2991 ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00002992
Chris Lattner3f53c832010-04-04 18:52:31 +00002993 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
Devang Patele3d6d222010-02-02 03:47:27 +00002994 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel193f7202009-11-24 01:14:22 +00002995
Chris Lattner233f52b2010-03-09 23:52:58 +00002996 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattner6189ed12010-04-04 23:25:33 +00002997 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2998 DwarfInfoSectionSym);
Devang Patel193f7202009-11-24 01:14:22 +00002999
Chris Lattner233f52b2010-03-09 23:52:58 +00003000 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattnera6437182010-04-04 19:58:12 +00003001 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
3002 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
3003 4);
Devang Patel193f7202009-11-24 01:14:22 +00003004
3005 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
3006 for (StringMap<DIE*>::const_iterator
3007 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
3008 const char *Name = GI->getKeyData();
3009 DIE * Entity = GI->second;
3010
Chris Lattner3f53c832010-04-04 18:52:31 +00003011 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Devang Patele3d6d222010-02-02 03:47:27 +00003012 Asm->EmitInt32(Entity->getOffset());
Chris Lattner4cf202b2010-01-23 03:11:46 +00003013
Chris Lattner3f53c832010-04-04 18:52:31 +00003014 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Devang Patel31acb892010-02-02 03:37:03 +00003015 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patel193f7202009-11-24 01:14:22 +00003016 }
3017
Chris Lattner233f52b2010-03-09 23:52:58 +00003018 Asm->OutStreamer.AddComment("End Mark");
3019 Asm->EmitInt32(0);
Chris Lattnerc0215722010-04-04 19:25:43 +00003020 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
3021 ModuleCU->getID()));
Devang Patel193f7202009-11-24 01:14:22 +00003022}
3023
Devang Patel2c4ceb12009-11-21 02:48:08 +00003024/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003025///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003026void DwarfDebug::emitDebugStr() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003027 // Check to see if it is worth the effort.
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003028 if (StringPool.empty()) return;
3029
3030 // Start the dwarf str section.
3031 Asm->OutStreamer.SwitchSection(
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003032 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003033
Chris Lattnerbc733f52010-03-13 02:17:42 +00003034 // Get all of the string pool entries and put them in an array by their ID so
3035 // we can sort them.
3036 SmallVector<std::pair<unsigned,
3037 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
3038
3039 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
3040 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
3041 Entries.push_back(std::make_pair(I->second.second, &*I));
3042
3043 array_pod_sort(Entries.begin(), Entries.end());
3044
3045 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003046 // Emit a label for reference from debug information entries.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003047 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner0d9d70f2010-03-09 23:38:23 +00003048
3049 // Emit the string itself.
Chris Lattnerbc733f52010-03-13 02:17:42 +00003050 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling94d04b82009-05-20 23:21:38 +00003051 }
3052}
3053
Devang Patel2c4ceb12009-11-21 02:48:08 +00003054/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003055///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003056void DwarfDebug::emitDebugLoc() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003057 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003058 Asm->OutStreamer.SwitchSection(
3059 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003060}
3061
3062/// EmitDebugARanges - Emit visible names into a debug aranges section.
3063///
3064void DwarfDebug::EmitDebugARanges() {
3065 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003066 Asm->OutStreamer.SwitchSection(
3067 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00003068}
3069
Devang Patel2c4ceb12009-11-21 02:48:08 +00003070/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003071///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003072void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00003073 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003074 Asm->OutStreamer.SwitchSection(
Devang Patelf2548ca2010-04-16 23:33:45 +00003075 Asm->getObjFileLowering().getDwarfRangesSection());
3076 for (SmallVector<const MCSymbol *, 8>::const_iterator I = DebugRangeSymbols.begin(),
3077 E = DebugRangeSymbols.end(); I != E; ++I) {
3078 if (*I)
3079 Asm->EmitLabelDifference(*I, TextSectionSym,
3080 Asm->getTargetData().getPointerSize());
3081 else
3082 Asm->OutStreamer.EmitIntValue(0, Asm->getTargetData().getPointerSize(),
3083 /*addrspace*/0);
3084 }
Bill Wendling94d04b82009-05-20 23:21:38 +00003085}
3086
Devang Patel2c4ceb12009-11-21 02:48:08 +00003087/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling94d04b82009-05-20 23:21:38 +00003088///
Devang Patel2c4ceb12009-11-21 02:48:08 +00003089void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00003090 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00003091 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00003092 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003093 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00003094 }
3095}
3096
Devang Patel2c4ceb12009-11-21 02:48:08 +00003097/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling94d04b82009-05-20 23:21:38 +00003098/// Section Header:
3099/// 1. length of section
3100/// 2. Dwarf version number
3101/// 3. address size.
3102///
3103/// Entries (one "entry" for each function that was inlined):
3104///
3105/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3106/// otherwise offset into __debug_str for regular function name.
3107/// 2. offset into __debug_str section for regular function name.
3108/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3109/// instances for the function.
3110///
3111/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3112/// inlined instance; the die_offset points to the inlined_subroutine die in the
3113/// __debug_info section, and the low_pc is the starting address for the
3114/// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00003115void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnerd38fee82010-04-05 00:13:49 +00003116 if (!Asm->MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00003117 return;
3118
Devang Patel1dbc7712009-06-29 20:45:18 +00003119 if (!ModuleCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00003120 return;
3121
Chris Lattner6c2f9e12009-08-19 05:49:37 +00003122 Asm->OutStreamer.SwitchSection(
3123 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00003124
Chris Lattner233f52b2010-03-09 23:52:58 +00003125 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00003126 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
3127 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00003128
Chris Lattnerc0215722010-04-04 19:25:43 +00003129 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003130
Chris Lattner233f52b2010-03-09 23:52:58 +00003131 Asm->OutStreamer.AddComment("Dwarf Version");
3132 Asm->EmitInt16(dwarf::DWARF_VERSION);
3133 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattnerd38fee82010-04-05 00:13:49 +00003134 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00003135
Devang Patel53bb5c92009-11-10 23:06:00 +00003136 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3137 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00003138
Devang Patel53bb5c92009-11-10 23:06:00 +00003139 MDNode *Node = *I;
Devang Patel622b0262010-01-19 06:19:05 +00003140 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00003141 = InlineInfo.find(Node);
Devang Patel53bb5c92009-11-10 23:06:00 +00003142 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00003143 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00003144 StringRef LName = SP.getLinkageName();
3145 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00003146
Chris Lattner233f52b2010-03-09 23:52:58 +00003147 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattner4cf202b2010-01-23 03:11:46 +00003148 if (LName.empty()) {
3149 Asm->OutStreamer.EmitBytes(Name, 0);
3150 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3151 } else
Chris Lattner6189ed12010-04-04 23:25:33 +00003152 Asm->EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
3153 DwarfStrSectionSym);
Devang Patel53bb5c92009-11-10 23:06:00 +00003154
Chris Lattner233f52b2010-03-09 23:52:58 +00003155 Asm->OutStreamer.AddComment("Function name");
Chris Lattner6189ed12010-04-04 23:25:33 +00003156 Asm->EmitSectionOffset(getStringPoolEntry(Name), DwarfStrSectionSym);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00003157 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00003158
Devang Patel53bb5c92009-11-10 23:06:00 +00003159 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00003160 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner3f53c832010-04-04 18:52:31 +00003161 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner6ed0f902010-03-09 00:31:02 +00003162 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00003163
Chris Lattner3f53c832010-04-04 18:52:31 +00003164 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattnerd38fee82010-04-05 00:13:49 +00003165 Asm->OutStreamer.EmitSymbolValue(LI->first,
3166 Asm->getTargetData().getPointerSize(),0);
Bill Wendling94d04b82009-05-20 23:21:38 +00003167 }
3168 }
3169
Chris Lattnerc0215722010-04-04 19:25:43 +00003170 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00003171}