blob: 0a1a9fb21c73fb9ebe9d4a3bb582ad30e080609f [file] [log] [blame]
Bill Wendlingb12b3d72009-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 Lattner2ab0c442010-03-09 00:39:24 +000013
Devang Patel15e723d2009-08-28 23:24:31 +000014#define DEBUG_TYPE "dwarfdebug"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000015#include "DwarfDebug.h"
Chris Lattner855b6bb2010-04-05 05:24:55 +000016#include "DIE.h"
Bill Wendling989a27e2010-04-05 22:59:21 +000017#include "llvm/Constants.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000018#include "llvm/Module.h"
David Greened87baff2009-08-19 21:52:55 +000019#include "llvm/CodeGen/MachineFunction.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000020#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattner855e8f52010-03-09 01:58:53 +000021#include "llvm/MC/MCAsmInfo.h"
Chris Lattnere6ad12f2009-07-31 18:48:30 +000022#include "llvm/MC/MCSection.h"
Chris Lattner73266f92009-08-19 05:49:37 +000023#include "llvm/MC/MCStreamer.h"
Chris Lattner855e8f52010-03-09 01:58:53 +000024#include "llvm/MC/MCSymbol.h"
Chris Lattner31a54742010-01-16 21:57:06 +000025#include "llvm/Target/Mangler.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000026#include "llvm/Target/TargetData.h"
27#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000028#include "llvm/Target/TargetLoweringObjectFile.h"
Chris Lattner017c7f92010-04-04 18:06:11 +000029#include "llvm/Target/TargetMachine.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000030#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner855b6bb2010-04-05 05:24:55 +000031#include "llvm/Analysis/DebugInfo.h"
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +000032#include "llvm/ADT/STLExtras.h"
Chris Lattnerf5377682009-08-24 03:52:50 +000033#include "llvm/ADT/StringExtras.h"
Daniel Dunbarc74255d2009-10-13 06:47:08 +000034#include "llvm/Support/Debug.h"
35#include "llvm/Support/ErrorHandling.h"
Devang Patelae89d3b2010-01-26 21:39:14 +000036#include "llvm/Support/ValueHandle.h"
Chris Lattnerad653482010-01-22 22:09:00 +000037#include "llvm/Support/FormattedStream.h"
Chris Lattnere6ad12f2009-07-31 18:48:30 +000038#include "llvm/Support/Timer.h"
39#include "llvm/System/Path.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000040using namespace llvm;
41
Bill Wendlingb12b3d72009-05-15 09:23:25 +000042//===----------------------------------------------------------------------===//
43
44/// Configuration values for initial hash set sizes (log2).
45///
Bill Wendlingb12b3d72009-05-15 09:23:25 +000046static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendlingb12b3d72009-05-15 09:23:25 +000047
48namespace llvm {
49
50//===----------------------------------------------------------------------===//
51/// CompileUnit - This dwarf writer support class manages information associate
52/// with a source file.
Nick Lewyckyee68f452009-11-17 08:11:44 +000053class CompileUnit {
Bill Wendlingb12b3d72009-05-15 09:23:25 +000054 /// ID - File identifier for source.
55 ///
56 unsigned ID;
57
58 /// Die - Compile unit debug information entry.
59 ///
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +000060 const OwningPtr<DIE> CUDie;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000061
Jeffrey Yasskinc3545712010-03-11 18:29:55 +000062 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel1233f912009-11-21 00:31:03 +000063 DIE *IndexTyDie;
64
Bill Wendlingb12b3d72009-05-15 09:23:25 +000065 /// GVToDieMap - Tracks the mapping of unit level debug informaton
66 /// variables to debug information entries.
Devang Patel15e723d2009-08-28 23:24:31 +000067 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel7d707f92010-01-19 06:19:05 +000068 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000069
70 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
71 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel15e723d2009-08-28 23:24:31 +000072 /// FIXME : Rename
Devang Patel7d707f92010-01-19 06:19:05 +000073 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000074
75 /// Globals - A map of globally visible named entities for this unit.
76 ///
77 StringMap<DIE*> Globals;
78
Devang Patelec13b4f2009-11-24 01:14:22 +000079 /// GlobalTypes - A map of globally visible types for this unit.
80 ///
81 StringMap<DIE*> GlobalTypes;
82
Bill Wendlingb12b3d72009-05-15 09:23:25 +000083public:
84 CompileUnit(unsigned I, DIE *D)
Devang Patelc50078e2009-11-21 02:48:08 +000085 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +000086
87 // Accessors.
Devang Patelec13b4f2009-11-24 01:14:22 +000088 unsigned getID() const { return ID; }
Jeffrey Yasskinc3545712010-03-11 18:29:55 +000089 DIE* getCUDie() const { return CUDie.get(); }
Devang Patelec13b4f2009-11-24 01:14:22 +000090 const StringMap<DIE*> &getGlobals() const { return Globals; }
91 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000092
93 /// hasContent - Return true if this compile unit has something to write out.
94 ///
Devang Patelc50078e2009-11-21 02:48:08 +000095 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000096
Devang Patelc50078e2009-11-21 02:48:08 +000097 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendlingb12b3d72009-05-15 09:23:25 +000098 ///
Benjamin Kramer648940b2010-03-31 20:15:45 +000099 void addGlobal(StringRef Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000100
Devang Patelec13b4f2009-11-24 01:14:22 +0000101 /// addGlobalType - Add a new global type to the compile unit.
102 ///
Benjamin Kramer648940b2010-03-31 20:15:45 +0000103 void addGlobalType(StringRef Name, DIE *Die) {
Devang Patelec13b4f2009-11-24 01:14:22 +0000104 GlobalTypes[Name] = Die;
105 }
106
Devang Pateld90672c2009-11-20 21:37:22 +0000107 /// getDIE - Returns the debug information entry map slot for the
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000108 /// specified debug variable.
Devang Pateld90672c2009-11-20 21:37:22 +0000109 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach652b7432009-11-21 23:12:12 +0000110
Devang Pateld90672c2009-11-20 21:37:22 +0000111 /// insertDIE - Insert DIE into the map.
112 void insertDIE(MDNode *N, DIE *D) {
113 GVToDieMap.insert(std::make_pair(N, D));
114 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000115
Devang Pateld90672c2009-11-20 21:37:22 +0000116 /// getDIEEntry - Returns the debug information entry for the speciefied
117 /// debug variable.
Devang Patel8287d662009-12-15 19:16:48 +0000118 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel7d707f92010-01-19 06:19:05 +0000119 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel8287d662009-12-15 19:16:48 +0000120 if (I == GVToDIEEntryMap.end())
121 return NULL;
122 return I->second;
123 }
Devang Pateld90672c2009-11-20 21:37:22 +0000124
125 /// insertDIEEntry - Insert debug information entry into the map.
126 void insertDIEEntry(MDNode *N, DIEEntry *E) {
127 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000128 }
129
Devang Patelc50078e2009-11-21 02:48:08 +0000130 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000131 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000132 void addDie(DIE *Buffer) {
133 this->CUDie->addChild(Buffer);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000134 }
Devang Patel1233f912009-11-21 00:31:03 +0000135
136 // getIndexTyDie - Get an anonymous type for index type.
137 DIE *getIndexTyDie() {
138 return IndexTyDie;
139 }
140
Jim Grosbachb23f2422009-11-22 19:20:36 +0000141 // setIndexTyDie - Set D as anonymous type for index which can be reused
142 // later.
Devang Patel1233f912009-11-21 00:31:03 +0000143 void setIndexTyDie(DIE *D) {
144 IndexTyDie = D;
145 }
146
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000147};
148
149//===----------------------------------------------------------------------===//
150/// DbgVariable - This class is used to track local variable information.
151///
Devang Patel4cb32c32009-11-16 21:53:40 +0000152class DbgVariable {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000153 DIVariable Var; // Variable Descriptor.
154 unsigned FrameIndex; // Variable frame index.
Devang Patel14da02f2010-03-15 18:33:46 +0000155 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Devang Patel9a9a4ac2010-03-29 22:59:58 +0000156 // DbgValueLabel - DBG_VALUE is effective from this label.
157 MCSymbol *DbgValueLabel;
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000158 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patel90a0fe32009-11-10 23:06:00 +0000159 DIE *TheDIE;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000160public:
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000161 // AbsVar may be NULL.
162 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patel9a9a4ac2010-03-29 22:59:58 +0000163 : Var(V), FrameIndex(I), DbgValueMInsn(0),
164 DbgValueLabel(0), AbstractVar(AbsVar), TheDIE(0) {}
Devang Patel14da02f2010-03-15 18:33:46 +0000165 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
Devang Patel9a9a4ac2010-03-29 22:59:58 +0000166 : Var(V), FrameIndex(0), DbgValueMInsn(MI), DbgValueLabel(0),
167 AbstractVar(AbsVar), TheDIE(0)
Devang Patel14da02f2010-03-15 18:33:46 +0000168 {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000169
170 // Accessors.
Devang Patel90a0fe32009-11-10 23:06:00 +0000171 DIVariable getVariable() const { return Var; }
172 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patel14da02f2010-03-15 18:33:46 +0000173 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patel9a9a4ac2010-03-29 22:59:58 +0000174 MCSymbol *getDbgValueLabel() const { return DbgValueLabel; }
175 void setDbgValueLabel(MCSymbol *L) { DbgValueLabel = L; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000176 DbgVariable *getAbstractVariable() const { return AbstractVar; }
177 void setDIE(DIE *D) { TheDIE = D; }
178 DIE *getDIE() const { return TheDIE; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000179};
180
181//===----------------------------------------------------------------------===//
182/// DbgScope - This class is used to track scope information.
183///
Devang Patel4cb32c32009-11-16 21:53:40 +0000184class DbgScope {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000185 DbgScope *Parent; // Parent to this scope.
Jim Grosbach652b7432009-11-21 23:12:12 +0000186 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patelae89d3b2010-01-26 21:39:14 +0000187 // Location at which this scope is inlined.
188 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel90a0fe32009-11-10 23:06:00 +0000189 bool AbstractScope; // Abstract Scope
Chris Lattner855e8f52010-03-09 01:58:53 +0000190 MCSymbol *StartLabel; // Label ID of the beginning of scope.
191 MCSymbol *EndLabel; // Label ID of the end of scope.
Devang Patel90ecd192009-10-01 18:25:23 +0000192 const MachineInstr *LastInsn; // Last instruction of this scope.
193 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000194 // Scopes defined in scope. Contents not owned.
195 SmallVector<DbgScope *, 4> Scopes;
196 // Variables declared in scope. Contents owned.
197 SmallVector<DbgVariable *, 8> Variables;
Daniel Dunbar41716322009-09-19 20:40:05 +0000198
Owen Anderson696d4862009-06-24 22:53:20 +0000199 // Private state for dump()
200 mutable unsigned IndentLevel;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000201public:
Devang Pateldd7bb432009-10-14 21:08:09 +0000202 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel90a0fe32009-11-10 23:06:00 +0000203 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattner855e8f52010-03-09 01:58:53 +0000204 StartLabel(0), EndLabel(0),
Devang Pateldd7bb432009-10-14 21:08:09 +0000205 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000206 virtual ~DbgScope();
207
208 // Accessors.
209 DbgScope *getParent() const { return Parent; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000210 void setParent(DbgScope *P) { Parent = P; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000211 DIDescriptor getDesc() const { return Desc; }
Chris Lattner0f093f82010-03-13 02:17:42 +0000212 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000213 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattner855e8f52010-03-09 01:58:53 +0000214 MCSymbol *getStartLabel() const { return StartLabel; }
215 MCSymbol *getEndLabel() const { return EndLabel; }
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000216 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
217 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattner855e8f52010-03-09 01:58:53 +0000218 void setStartLabel(MCSymbol *S) { StartLabel = S; }
219 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Patel90ecd192009-10-01 18:25:23 +0000220 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
221 const MachineInstr *getLastInsn() { return LastInsn; }
222 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000223 void setAbstractScope() { AbstractScope = true; }
224 bool isAbstractScope() const { return AbstractScope; }
Devang Patel90ecd192009-10-01 18:25:23 +0000225 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000226
Devang Patelc50078e2009-11-21 02:48:08 +0000227 /// addScope - Add a scope to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000228 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000229 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000230
Devang Patelc50078e2009-11-21 02:48:08 +0000231 /// addVariable - Add a variable to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000232 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000233 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000234
Devang Patel98e77302010-01-04 20:44:00 +0000235 void fixInstructionMarkers(DenseMap<const MachineInstr *,
236 unsigned> &MIIndexMap) {
Chris Lattner8143ce82010-03-31 05:36:29 +0000237 assert(getFirstInsn() && "First instruction is missing!");
Devang Patel98e77302010-01-04 20:44:00 +0000238
239 // Use the end of last child scope as end of this scope.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000240 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patel3b620bf2010-01-05 16:59:17 +0000241 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel98e77302010-01-04 20:44:00 +0000242 unsigned LIndex = 0;
243 if (Scopes.empty()) {
Chris Lattner8143ce82010-03-31 05:36:29 +0000244 assert(getLastInsn() && "Inner most scope does not have last insn!");
Devang Patel98e77302010-01-04 20:44:00 +0000245 return;
246 }
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000247 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel98e77302010-01-04 20:44:00 +0000248 SE = Scopes.end(); SI != SE; ++SI) {
249 DbgScope *DS = *SI;
250 DS->fixInstructionMarkers(MIIndexMap);
251 const MachineInstr *DSLastInsn = DS->getLastInsn();
252 unsigned DSI = MIIndexMap[DSLastInsn];
253 if (DSI > LIndex) {
254 LastInsn = DSLastInsn;
255 LIndex = DSI;
256 }
257 }
Devang Patel067e6d92010-02-17 02:20:34 +0000258
259 unsigned CurrentLastInsnIndex = 0;
260 if (const MachineInstr *CL = getLastInsn())
261 CurrentLastInsnIndex = MIIndexMap[CL];
262 unsigned FIndex = MIIndexMap[getFirstInsn()];
263
264 // Set LastInsn as the last instruction for this scope only if
265 // it follows
266 // 1) this scope's first instruction and
267 // 2) current last instruction for this scope, if any.
268 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
269 setLastInsn(LastInsn);
Devang Patel6a260102009-10-01 20:31:14 +0000270 }
271
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000272#ifndef NDEBUG
273 void dump() const;
274#endif
275};
Chris Lattner8b9430c2010-04-05 04:09:20 +0000276
277} // end llvm namespace
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000278
279#ifndef NDEBUG
280void DbgScope::dump() const {
David Greenedbc06132009-12-24 00:31:35 +0000281 raw_ostream &err = dbgs();
Chris Lattnerebb8c082009-08-23 00:51:00 +0000282 err.indent(IndentLevel);
Devang Patel90a0fe32009-11-10 23:06:00 +0000283 MDNode *N = Desc.getNode();
284 N->dump();
Chris Lattner855e8f52010-03-09 01:58:53 +0000285 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patel90a0fe32009-11-10 23:06:00 +0000286 if (AbstractScope)
287 err << "Abstract Scope\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000288
289 IndentLevel += 2;
Devang Patel90a0fe32009-11-10 23:06:00 +0000290 if (!Scopes.empty())
291 err << "Children ...\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000292 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
293 if (Scopes[i] != this)
294 Scopes[i]->dump();
295
296 IndentLevel -= 2;
297}
298#endif
299
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000300DbgScope::~DbgScope() {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000301 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
302 delete Variables[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000303}
304
Chris Lattnerec9a1f42010-04-05 05:11:15 +0000305DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Chris Lattnerbc0027b2010-04-05 00:13:49 +0000306 : Asm(A), MMI(Asm->MMI), ModuleCU(0),
Chris Lattner2cb53302010-04-05 03:52:55 +0000307 AbbreviationsSet(InitAbbreviationsSetSize),
Chris Lattnerb9692a72010-04-02 19:42:39 +0000308 CurrentFnDbgScope(0), DebugTimer(0) {
Chris Lattner0f093f82010-03-13 02:17:42 +0000309 NextStringPoolNumber = 0;
Chris Lattner66143d22010-04-04 22:59:04 +0000310
Chris Lattner094932e2010-04-04 23:10:38 +0000311 DwarfFrameSectionSym = DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
312 DwarfStrSectionSym = TextSectionSym = 0;
Chris Lattner66143d22010-04-04 22:59:04 +0000313
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000314 if (TimePassesIsEnabled)
Chris Lattner13bf2e52009-12-28 07:41:18 +0000315 DebugTimer = new Timer("Dwarf Debug Writer");
Chris Lattnerec9a1f42010-04-05 05:11:15 +0000316
317 beginModule(M);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000318}
319DwarfDebug::~DwarfDebug() {
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000320 for (unsigned j = 0, M = DIEBlocks.size(); j < M; ++j)
321 DIEBlocks[j]->~DIEBlock();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000322
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000323 delete DebugTimer;
324}
325
Chris Lattner0f093f82010-03-13 02:17:42 +0000326MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
327 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
328 if (Entry.first) return Entry.first;
329
330 Entry.second = NextStringPoolNumber++;
Chris Lattnerb93558d2010-04-04 19:25:43 +0000331 return Entry.first = Asm->GetTempSymbol("string", Entry.second);
Chris Lattner0f093f82010-03-13 02:17:42 +0000332}
333
334
Devang Patelc50078e2009-11-21 02:48:08 +0000335/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000336///
Devang Patelc50078e2009-11-21 02:48:08 +0000337void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000338 // Profile the node so that we can make it unique.
339 FoldingSetNodeID ID;
340 Abbrev.Profile(ID);
341
342 // Check the set for priors.
343 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
344
345 // If it's newly added.
346 if (InSet == &Abbrev) {
347 // Add to abbreviation list.
348 Abbreviations.push_back(&Abbrev);
349
350 // Assign the vector position + 1 as its number.
351 Abbrev.setNumber(Abbreviations.size());
352 } else {
353 // Assign existing abbreviation number.
354 Abbrev.setNumber(InSet->getNumber());
355 }
356}
357
Devang Patelc50078e2009-11-21 02:48:08 +0000358/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling0d3db8b2009-05-20 23:24:48 +0000359/// information entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000360DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000361 DIEEntry *Value = new (DIEValueAllocator) DIEEntry(Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000362 return Value;
363}
364
Devang Patelc50078e2009-11-21 02:48:08 +0000365/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000366///
Devang Patelc50078e2009-11-21 02:48:08 +0000367void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000368 unsigned Form, uint64_t Integer) {
369 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000370 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000371 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000372}
373
Devang Patelc50078e2009-11-21 02:48:08 +0000374/// addSInt - Add an signed integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000375///
Devang Patelc50078e2009-11-21 02:48:08 +0000376void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000377 unsigned Form, int64_t Integer) {
378 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000379 DIEValue *Value = new (DIEValueAllocator) DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000380 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000381}
382
Devang Pateldf0f2152009-12-02 15:25:16 +0000383/// addString - Add a string attribute data and value. DIEString only
384/// keeps string reference.
Devang Patelc50078e2009-11-21 02:48:08 +0000385void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnercc564642010-01-23 03:11:46 +0000386 StringRef String) {
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000387 DIEValue *Value = new (DIEValueAllocator) DIEString(String);
Devang Patelc50078e2009-11-21 02:48:08 +0000388 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000389}
390
Devang Patelc50078e2009-11-21 02:48:08 +0000391/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000392///
Devang Patelc50078e2009-11-21 02:48:08 +0000393void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +0000394 const MCSymbol *Label) {
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000395 DIEValue *Value = new (DIEValueAllocator) DIELabel(Label);
Devang Patelc50078e2009-11-21 02:48:08 +0000396 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000397}
398
Devang Patelc50078e2009-11-21 02:48:08 +0000399/// addDelta - Add a label delta attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000400///
Devang Patelc50078e2009-11-21 02:48:08 +0000401void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +0000402 const MCSymbol *Hi, const MCSymbol *Lo) {
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000403 DIEValue *Value = new (DIEValueAllocator) DIEDelta(Hi, Lo);
Devang Patelc50078e2009-11-21 02:48:08 +0000404 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000405}
406
Chris Lattner855b6bb2010-04-05 05:24:55 +0000407/// addDIEEntry - Add a DIE attribute data and value.
408///
409void DwarfDebug::addDIEEntry(DIE *Die, unsigned Attribute, unsigned Form,
410 DIE *Entry) {
411 Die->addValue(Attribute, Form, createDIEEntry(Entry));
412}
413
414
Devang Patelc50078e2009-11-21 02:48:08 +0000415/// addBlock - Add block data.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000416///
Devang Patelc50078e2009-11-21 02:48:08 +0000417void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000418 DIEBlock *Block) {
Chris Lattner352c8e22010-04-05 00:18:22 +0000419 Block->ComputeSize(Asm);
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000420 DIEBlocks.push_back(Block); // Memoize so we can call the destructor later on.
Devang Patelc50078e2009-11-21 02:48:08 +0000421 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000422}
423
Devang Patelc50078e2009-11-21 02:48:08 +0000424/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000425/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000426void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000427 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000428 if (!V->getCompileUnit().Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000429 return;
430
431 unsigned Line = V->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000432 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
433 V->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000434 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000435 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
436 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000437}
438
Devang Patelc50078e2009-11-21 02:48:08 +0000439/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000440/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000441void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000442 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000443 if (!G->getCompileUnit().Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000444 return;
445
446 unsigned Line = G->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000447 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
448 G->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000449 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000450 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
451 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000452}
Devang Patel318d70d2009-08-31 22:47:13 +0000453
Devang Patelc50078e2009-11-21 02:48:08 +0000454/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000455/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000456void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel318d70d2009-08-31 22:47:13 +0000457 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000458 if (!SP->getCompileUnit().Verify())
Devang Patel318d70d2009-08-31 22:47:13 +0000459 return;
Caroline Tice9da96d82009-09-11 18:25:54 +0000460 // If the line number is 0, don't add it.
461 if (SP->getLineNumber() == 0)
462 return;
463
Devang Patel318d70d2009-08-31 22:47:13 +0000464 unsigned Line = SP->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000465 if (!SP->getContext().Verify())
466 return;
Devang Patele485a5d2010-03-24 21:30:35 +0000467 unsigned FileID = GetOrCreateSourceID(SP->getDirectory(),
468 SP->getFilename());
Devang Patel318d70d2009-08-31 22:47:13 +0000469 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000470 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
471 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel318d70d2009-08-31 22:47:13 +0000472}
473
Devang Patelc50078e2009-11-21 02:48:08 +0000474/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000475/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000476void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000477 // If there is no compile unit specified, don't add a line #.
478 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel9e592492010-03-08 20:52:55 +0000479 if (!CU.Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000480 return;
481
482 unsigned Line = Ty->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000483 if (!Ty->getContext().Verify())
484 return;
485 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
486 Ty->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000487 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000488 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
489 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000490}
491
Devang Patel8287d662009-12-15 19:16:48 +0000492/// addSourceLine - Add location information to specified debug information
493/// entry.
494void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
495 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000496 if (!NS->getCompileUnit().Verify())
Devang Patel8287d662009-12-15 19:16:48 +0000497 return;
498
499 unsigned Line = NS->getLineNumber();
500 StringRef FN = NS->getFilename();
501 StringRef Dir = NS->getDirectory();
502
503 unsigned FileID = GetOrCreateSourceID(Dir, FN);
504 assert(FileID && "Invalid file id");
505 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
506 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
507}
508
Caroline Tice248d5572009-08-31 21:19:37 +0000509/* Byref variables, in Blocks, are declared by the programmer as
510 "SomeType VarName;", but the compiler creates a
511 __Block_byref_x_VarName struct, and gives the variable VarName
512 either the struct, or a pointer to the struct, as its type. This
513 is necessary for various behind-the-scenes things the compiler
514 needs to do with by-reference variables in blocks.
515
516 However, as far as the original *programmer* is concerned, the
517 variable should still have type 'SomeType', as originally declared.
518
519 The following function dives into the __Block_byref_x_VarName
520 struct to find the original type of the variable. This will be
521 passed back to the code generating the type for the Debug
522 Information Entry for the variable 'VarName'. 'VarName' will then
523 have the original type 'SomeType' in its debug information.
524
525 The original type 'SomeType' will be the type of the field named
526 'VarName' inside the __Block_byref_x_VarName struct.
527
528 NOTE: In order for this to not completely fail on the debugger
529 side, the Debug Information Entry for the variable VarName needs to
530 have a DW_AT_location that tells the debugger how to unwind through
531 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patelc50078e2009-11-21 02:48:08 +0000532 value of the variable. The function addBlockByrefType does this. */
Caroline Tice248d5572009-08-31 21:19:37 +0000533
534/// Find the type the programmer originally declared the variable to be
535/// and return that type.
536///
Devang Patelc50078e2009-11-21 02:48:08 +0000537DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Tice248d5572009-08-31 21:19:37 +0000538
539 DIType subType = Ty;
540 unsigned tag = Ty.getTag();
541
542 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000543 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000544 subType = DTy.getTypeDerivedFrom();
545 }
546
547 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000548 DIArray Elements = blockStruct.getTypeArray();
549
Caroline Tice248d5572009-08-31 21:19:37 +0000550 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
551 DIDescriptor Element = Elements.getElement(i);
552 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000553 if (Name == DT.getName())
Caroline Tice248d5572009-08-31 21:19:37 +0000554 return (DT.getTypeDerivedFrom());
555 }
556
557 return Ty;
558}
559
Devang Patelc50078e2009-11-21 02:48:08 +0000560/// addComplexAddress - Start with the address based on the location provided,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000561/// and generate the DWARF information necessary to find the actual variable
562/// given the extra address information encoded in the DIVariable, starting from
563/// the starting location. Add the DWARF information to the die.
564///
Devang Patelc50078e2009-11-21 02:48:08 +0000565void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000566 unsigned Attribute,
567 const MachineLocation &Location) {
568 const DIVariable &VD = DV->getVariable();
569 DIType Ty = VD.getType();
570
571 // Decode the original location, and use that as the start of the byref
572 // variable's location.
Chris Lattnerbc0027b2010-04-05 00:13:49 +0000573 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000574 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000575 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000576
577 if (Location.isReg()) {
578 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000579 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000580 } else {
581 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000582 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
583 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000584 }
585 } else {
586 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000587 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000588 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000589 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
590 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000591 }
592
Devang Patelc50078e2009-11-21 02:48:08 +0000593 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000594 }
595
596 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
597 uint64_t Element = VD.getAddrElement(i);
598
599 if (Element == DIFactory::OpPlus) {
Devang Patelc50078e2009-11-21 02:48:08 +0000600 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
601 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000602 } else if (Element == DIFactory::OpDeref) {
Devang Patelc50078e2009-11-21 02:48:08 +0000603 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000604 } else llvm_unreachable("unknown DIFactory Opcode");
605 }
606
607 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000608 addBlock(Die, Attribute, 0, Block);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000609}
610
Caroline Tice248d5572009-08-31 21:19:37 +0000611/* Byref variables, in Blocks, are declared by the programmer as "SomeType
612 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
613 gives the variable VarName either the struct, or a pointer to the struct, as
614 its type. This is necessary for various behind-the-scenes things the
615 compiler needs to do with by-reference variables in Blocks.
616
617 However, as far as the original *programmer* is concerned, the variable
618 should still have type 'SomeType', as originally declared.
619
Devang Patelc50078e2009-11-21 02:48:08 +0000620 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000621 struct to find the original type of the variable, which is then assigned to
622 the variable's Debug Information Entry as its real type. So far, so good.
623 However now the debugger will expect the variable VarName to have the type
624 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbar41716322009-09-19 20:40:05 +0000625 expression that explains to the debugger how to navigate through the
Caroline Tice248d5572009-08-31 21:19:37 +0000626 pointers and struct to find the actual variable of type SomeType.
627
628 The following function does just that. We start by getting
629 the "normal" location for the variable. This will be the location
630 of either the struct __Block_byref_x_VarName or the pointer to the
631 struct __Block_byref_x_VarName.
632
633 The struct will look something like:
634
635 struct __Block_byref_x_VarName {
636 ... <various fields>
637 struct __Block_byref_x_VarName *forwarding;
638 ... <various other fields>
639 SomeType VarName;
640 ... <maybe more fields>
641 };
642
643 If we are given the struct directly (as our starting point) we
644 need to tell the debugger to:
645
646 1). Add the offset of the forwarding field.
647
Dan Gohmandf1a7ff2010-02-10 16:03:48 +0000648 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000649 struct to use (the real one may have been copied onto the heap).
650
651 3). Add the offset for the field VarName, to find the actual variable.
652
653 If we started with a pointer to the struct, then we need to
654 dereference that pointer first, before the other steps.
655 Translating this into DWARF ops, we will need to append the following
656 to the current location description for the variable:
657
658 DW_OP_deref -- optional, if we start with a pointer
659 DW_OP_plus_uconst <forward_fld_offset>
660 DW_OP_deref
661 DW_OP_plus_uconst <varName_fld_offset>
662
663 That is what this function does. */
664
Devang Patelc50078e2009-11-21 02:48:08 +0000665/// addBlockByrefAddress - Start with the address based on the location
Caroline Tice248d5572009-08-31 21:19:37 +0000666/// provided, and generate the DWARF information necessary to find the
667/// actual Block variable (navigating the Block struct) based on the
668/// starting location. Add the DWARF information to the die. For
669/// more information, read large comment just above here.
670///
Devang Patelc50078e2009-11-21 02:48:08 +0000671void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000672 unsigned Attribute,
673 const MachineLocation &Location) {
Caroline Tice248d5572009-08-31 21:19:37 +0000674 const DIVariable &VD = DV->getVariable();
675 DIType Ty = VD.getType();
676 DIType TmpTy = Ty;
677 unsigned Tag = Ty.getTag();
678 bool isPointer = false;
679
Devang Patel7f75bbe2009-11-25 17:36:49 +0000680 StringRef varName = VD.getName();
Caroline Tice248d5572009-08-31 21:19:37 +0000681
682 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000683 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000684 TmpTy = DTy.getTypeDerivedFrom();
685 isPointer = true;
686 }
687
688 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
689
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000690 // Find the __forwarding field and the variable field in the __Block_byref
691 // struct.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000692 DIArray Fields = blockStruct.getTypeArray();
693 DIDescriptor varField = DIDescriptor();
694 DIDescriptor forwardingField = DIDescriptor();
Caroline Tice248d5572009-08-31 21:19:37 +0000695
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000696 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
697 DIDescriptor Element = Fields.getElement(i);
698 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000699 StringRef fieldName = DT.getName();
700 if (fieldName == "__forwarding")
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000701 forwardingField = Element;
Devang Patel7f75bbe2009-11-25 17:36:49 +0000702 else if (fieldName == varName)
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000703 varField = Element;
704 }
Daniel Dunbar41716322009-09-19 20:40:05 +0000705
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000706 // Get the offsets for the forwarding field and the variable field.
Chris Lattner5df82552010-03-31 06:06:37 +0000707 unsigned forwardingFieldOffset =
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000708 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
Chris Lattner5df82552010-03-31 06:06:37 +0000709 unsigned varFieldOffset =
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000710 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Tice248d5572009-08-31 21:19:37 +0000711
Mike Stump2fd84e22009-09-24 23:21:26 +0000712 // Decode the original location, and use that as the start of the byref
713 // variable's location.
Chris Lattnerbc0027b2010-04-05 00:13:49 +0000714 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000715 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000716 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Caroline Tice248d5572009-08-31 21:19:37 +0000717
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000718 if (Location.isReg()) {
719 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000720 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000721 else {
722 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000723 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
724 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000725 }
726 } else {
727 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000728 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000729 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000730 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
731 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000732 }
Caroline Tice248d5572009-08-31 21:19:37 +0000733
Devang Patelc50078e2009-11-21 02:48:08 +0000734 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000735 }
Caroline Tice248d5572009-08-31 21:19:37 +0000736
Mike Stump2fd84e22009-09-24 23:21:26 +0000737 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000738 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000739 if (isPointer)
Devang Patelc50078e2009-11-21 02:48:08 +0000740 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000741
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000742 // Next add the offset for the '__forwarding' field:
743 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
744 // adding the offset if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000745 if (forwardingFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000746 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
747 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000748 }
Caroline Tice248d5572009-08-31 21:19:37 +0000749
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000750 // Now dereference the __forwarding field to get to the real __Block_byref
751 // struct: DW_OP_deref.
Devang Patelc50078e2009-11-21 02:48:08 +0000752 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000753
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000754 // Now that we've got the real __Block_byref... struct, add the offset
755 // for the variable's field to get to the location of the actual variable:
756 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000757 if (varFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000758 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
759 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000760 }
Caroline Tice248d5572009-08-31 21:19:37 +0000761
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000762 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000763 addBlock(Die, Attribute, 0, Block);
Caroline Tice248d5572009-08-31 21:19:37 +0000764}
765
Devang Patelc50078e2009-11-21 02:48:08 +0000766/// addAddress - Add an address attribute to a die based on the location
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000767/// provided.
Devang Patelc50078e2009-11-21 02:48:08 +0000768void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000769 const MachineLocation &Location) {
Chris Lattnerbc0027b2010-04-05 00:13:49 +0000770 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000771 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
Benjamin Kramer138c7ff2010-03-31 19:34:01 +0000772 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000773
774 if (Location.isReg()) {
775 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000776 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000777 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000778 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
779 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000780 }
781 } else {
782 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000783 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000784 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000785 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
786 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000787 }
788
Devang Patelc50078e2009-11-21 02:48:08 +0000789 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000790 }
791
Devang Patelc50078e2009-11-21 02:48:08 +0000792 addBlock(Die, Attribute, 0, Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000793}
794
Devang Patel1a8f9a82009-12-10 19:14:49 +0000795/// addToContextOwner - Add Die into the list of its context owner's children.
796void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel9e592492010-03-08 20:52:55 +0000797 if (Context.isType()) {
Devang Patel1a8f9a82009-12-10 19:14:49 +0000798 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
799 ContextDIE->addChild(Die);
Devang Patel8287d662009-12-15 19:16:48 +0000800 } else if (Context.isNameSpace()) {
801 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
802 ContextDIE->addChild(Die);
Devang Patel1a8f9a82009-12-10 19:14:49 +0000803 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
804 ContextDIE->addChild(Die);
805 else
806 ModuleCU->addDie(Die);
807}
808
Devang Patel7f139c12009-12-10 18:05:33 +0000809/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
810/// given DIType.
811DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
812 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
813 if (TyDIE)
814 return TyDIE;
815
816 // Create new type.
817 TyDIE = new DIE(dwarf::DW_TAG_base_type);
818 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
819 if (Ty.isBasicType())
820 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
821 else if (Ty.isCompositeType())
822 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
823 else {
824 assert(Ty.isDerivedType() && "Unknown kind of DIType");
825 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
826 }
827
Devang Patel1a8f9a82009-12-10 19:14:49 +0000828 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel7f139c12009-12-10 18:05:33 +0000829 return TyDIE;
830}
831
Devang Patelc50078e2009-11-21 02:48:08 +0000832/// addType - Add a new type attribute to the specified entity.
Devang Patelfe0be132009-12-09 18:24:21 +0000833void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel9e592492010-03-08 20:52:55 +0000834 if (!Ty.isValid())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000835 return;
836
837 // Check for pre-existence.
Devang Patelfe0be132009-12-09 18:24:21 +0000838 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000839 // If it exists then use the existing value.
Devang Patelc50078e2009-11-21 02:48:08 +0000840 if (Entry) {
841 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000842 return;
843 }
844
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000845 // Construct type.
Devang Patel7f139c12009-12-10 18:05:33 +0000846 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000847
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000848 // Set up proxy.
849 Entry = createDIEEntry(Buffer);
850 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
851
Devang Patelc50078e2009-11-21 02:48:08 +0000852 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000853}
854
Devang Patelc50078e2009-11-21 02:48:08 +0000855/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patelfe0be132009-12-09 18:24:21 +0000856void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000857 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000858 StringRef Name = BTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000859 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +0000860 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000861 BTy.getEncoding());
862
863 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000864 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000865 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000866 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patelc50078e2009-11-21 02:48:08 +0000867 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000868}
869
Devang Patelc50078e2009-11-21 02:48:08 +0000870/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patelfe0be132009-12-09 18:24:21 +0000871void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000872 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000873 StringRef Name = DTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000874 uint64_t Size = DTy.getSizeInBits() >> 3;
875 unsigned Tag = DTy.getTag();
876
877 // FIXME - Workaround for templates.
878 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
879
880 Buffer.setTag(Tag);
881
882 // Map to main type, void will not have a type.
883 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patelfe0be132009-12-09 18:24:21 +0000884 addType(&Buffer, FromTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000885
886 // Add name if not anonymous or intermediate type.
Devang Patel76b80672009-11-30 23:56:56 +0000887 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000888 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000889
890 // Add size if non-zero (derived types might be zero-sized.)
891 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000892 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000893
894 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb125c6e2009-11-23 18:43:37 +0000895 if (!DTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000896 addSourceLine(&Buffer, &DTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000897}
898
Devang Patelc50078e2009-11-21 02:48:08 +0000899/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +0000900void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000901 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000902 StringRef Name = CTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000903
904 uint64_t Size = CTy.getSizeInBits() >> 3;
905 unsigned Tag = CTy.getTag();
906 Buffer.setTag(Tag);
907
908 switch (Tag) {
909 case dwarf::DW_TAG_vector_type:
910 case dwarf::DW_TAG_array_type:
Devang Patelfe0be132009-12-09 18:24:21 +0000911 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000912 break;
913 case dwarf::DW_TAG_enumeration_type: {
914 DIArray Elements = CTy.getTypeArray();
915
916 // Add enumerators to enumeration type.
917 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
918 DIE *ElemDie = NULL;
Devang Patel9e592492010-03-08 20:52:55 +0000919 DIDescriptor Enum(Elements.getElement(i).getNode());
920 if (Enum.isEnumerator()) {
921 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000922 Buffer.addChild(ElemDie);
Devang Patelfb812752009-10-09 17:51:49 +0000923 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000924 }
925 }
926 break;
927 case dwarf::DW_TAG_subroutine_type: {
928 // Add return type.
929 DIArray Elements = CTy.getTypeArray();
930 DIDescriptor RTy = Elements.getElement(0);
Devang Patelfe0be132009-12-09 18:24:21 +0000931 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000932
933 // Add prototype flag.
Devang Patelc50078e2009-11-21 02:48:08 +0000934 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000935
936 // Add arguments.
937 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
938 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
939 DIDescriptor Ty = Elements.getElement(i);
Devang Patelfe0be132009-12-09 18:24:21 +0000940 addType(Arg, DIType(Ty.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000941 Buffer.addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000942 }
943 }
944 break;
945 case dwarf::DW_TAG_structure_type:
946 case dwarf::DW_TAG_union_type:
947 case dwarf::DW_TAG_class_type: {
948 // Add elements to structure type.
949 DIArray Elements = CTy.getTypeArray();
950
951 // A forward struct declared type may not have elements available.
Devang Patel9e592492010-03-08 20:52:55 +0000952 unsigned N = Elements.getNumElements();
953 if (N == 0)
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000954 break;
955
956 // Add elements to structure type.
Devang Patel9e592492010-03-08 20:52:55 +0000957 for (unsigned i = 0; i < N; ++i) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000958 DIDescriptor Element = Elements.getElement(i);
959 DIE *ElemDie = NULL;
Devang Patel9e592492010-03-08 20:52:55 +0000960 if (Element.isSubprogram())
Devang Patel814a12c2009-12-14 16:18:45 +0000961 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel9e592492010-03-08 20:52:55 +0000962 else if (Element.isVariable()) {
Devang Patel423dfa02010-01-30 01:08:30 +0000963 DIVariable DV(Element.getNode());
964 ElemDie = new DIE(dwarf::DW_TAG_variable);
965 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
966 DV.getName());
967 addType(ElemDie, DV.getType());
968 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
969 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
970 addSourceLine(ElemDie, &DV);
Devang Patel9e592492010-03-08 20:52:55 +0000971 } else if (Element.isDerivedType())
Devang Patelfe0be132009-12-09 18:24:21 +0000972 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel9e592492010-03-08 20:52:55 +0000973 else
974 continue;
Devang Patelc50078e2009-11-21 02:48:08 +0000975 Buffer.addChild(ElemDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000976 }
977
Devang Patel20b32102009-08-27 23:51:51 +0000978 if (CTy.isAppleBlockExtension())
Devang Patelc50078e2009-11-21 02:48:08 +0000979 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000980
981 unsigned RLang = CTy.getRunTimeLang();
982 if (RLang)
Devang Patelc50078e2009-11-21 02:48:08 +0000983 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000984 dwarf::DW_FORM_data1, RLang);
Devang Patel5ae52402010-01-26 21:16:06 +0000985
986 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel9e592492010-03-08 20:52:55 +0000987 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patel5ae52402010-01-26 21:16:06 +0000988 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
989 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000990 break;
991 }
992 default:
993 break;
994 }
995
996 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000997 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000998 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000999
Devang Pateldc73c372010-01-29 18:34:58 +00001000 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001001 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
1002 // Add size if non-zero (derived types might be zero-sized.)
1003 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +00001004 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001005 else {
1006 // Add zero size if it is not a forward declaration.
1007 if (CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +00001008 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001009 else
Devang Patelc50078e2009-11-21 02:48:08 +00001010 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001011 }
1012
1013 // Add source line info if available.
1014 if (!CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +00001015 addSourceLine(&Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001016 }
1017}
1018
Devang Patelc50078e2009-11-21 02:48:08 +00001019/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1020void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001021 int64_t L = SR.getLo();
1022 int64_t H = SR.getHi();
1023 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1024
Devang Patelc50078e2009-11-21 02:48:08 +00001025 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patele7ff5092009-08-14 20:59:16 +00001026 if (L)
Devang Patelc50078e2009-11-21 02:48:08 +00001027 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld3df6972009-12-04 23:10:24 +00001028 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001029
Devang Patelc50078e2009-11-21 02:48:08 +00001030 Buffer.addChild(DW_Subrange);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001031}
1032
Devang Patelc50078e2009-11-21 02:48:08 +00001033/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +00001034void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001035 DICompositeType *CTy) {
1036 Buffer.setTag(dwarf::DW_TAG_array_type);
1037 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001038 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001039
1040 // Emit derived type.
Devang Patelfe0be132009-12-09 18:24:21 +00001041 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001042 DIArray Elements = CTy->getTypeArray();
1043
Devang Patel1233f912009-11-21 00:31:03 +00001044 // Get an anonymous type for index type.
Devang Patelfe0be132009-12-09 18:24:21 +00001045 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel1233f912009-11-21 00:31:03 +00001046 if (!IdxTy) {
1047 // Construct an anonymous type for index type.
1048 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +00001049 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1050 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel1233f912009-11-21 00:31:03 +00001051 dwarf::DW_ATE_signed);
Devang Patelfe0be132009-12-09 18:24:21 +00001052 ModuleCU->addDie(IdxTy);
1053 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel1233f912009-11-21 00:31:03 +00001054 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001055
1056 // Add subranges to array type.
1057 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1058 DIDescriptor Element = Elements.getElement(i);
1059 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001060 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001061 }
1062}
1063
Devang Patelc50078e2009-11-21 02:48:08 +00001064/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel9e592492010-03-08 20:52:55 +00001065DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001066 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel9e592492010-03-08 20:52:55 +00001067 StringRef Name = ETy.getName();
Devang Patelc50078e2009-11-21 02:48:08 +00001068 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel9e592492010-03-08 20:52:55 +00001069 int64_t Value = ETy.getEnumValue();
Devang Patelc50078e2009-11-21 02:48:08 +00001070 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001071 return Enumerator;
1072}
1073
Devang Patel141e1c42010-01-05 01:46:14 +00001074/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1075/// printer to not emit usual symbol prefix before the symbol name is used then
1076/// return linkage name after skipping this special LLVM prefix.
1077static StringRef getRealLinkageName(StringRef LinkageName) {
1078 char One = '\1';
1079 if (LinkageName.startswith(StringRef(&One, 1)))
1080 return LinkageName.substr(1);
1081 return LinkageName;
1082}
1083
Devang Patelc50078e2009-11-21 02:48:08 +00001084/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patelfe0be132009-12-09 18:24:21 +00001085DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbachb23f2422009-11-22 19:20:36 +00001086 // If the global variable was optmized out then no need to create debug info
1087 // entry.
Devang Patel83e42c72009-11-06 17:58:12 +00001088 if (!GV.getGlobal()) return NULL;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001089 if (GV.getDisplayName().empty()) return NULL;
Devang Patelfabc47c2009-11-06 01:30:04 +00001090
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001091 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach652b7432009-11-21 23:12:12 +00001092 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001093 GV.getDisplayName());
1094
Devang Patel7f75bbe2009-11-25 17:36:49 +00001095 StringRef LinkageName = GV.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001096 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001097 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001098 getRealLinkageName(LinkageName));
1099
Devang Patelfe0be132009-12-09 18:24:21 +00001100 addType(GVDie, GV.getType());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001101 if (!GV.isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001102 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1103 addSourceLine(GVDie, &GV);
Devang Patel6bd5cc82009-10-05 23:22:08 +00001104
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001105 return GVDie;
1106}
1107
Devang Patelc50078e2009-11-21 02:48:08 +00001108/// createMemberDIE - Create new member DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001109DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001110 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel7f75bbe2009-11-25 17:36:49 +00001111 StringRef Name = DT.getName();
1112 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001113 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001114
Devang Patelfe0be132009-12-09 18:24:21 +00001115 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001116
Devang Patelc50078e2009-11-21 02:48:08 +00001117 addSourceLine(MemberDie, &DT);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001118
Benjamin Kramer138c7ff2010-03-31 19:34:01 +00001119 DIEBlock *MemLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patelc50078e2009-11-21 02:48:08 +00001120 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel7d9fe582009-11-04 22:06:12 +00001121
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001122 uint64_t Size = DT.getSizeInBits();
Devang Patel71842a92009-11-04 23:48:00 +00001123 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001124
1125 if (Size != FieldSize) {
1126 // Handle bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001127 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1128 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001129
1130 uint64_t Offset = DT.getOffsetInBits();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001131 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1132 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer631e3e32010-01-07 17:50:57 +00001133 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001134 Offset -= FieldOffset;
1135
1136 // Maybe we need to work from the other end.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001137 if (Asm->getTargetData().isLittleEndian())
1138 Offset = FieldSize - (Offset + Size);
Devang Patelc50078e2009-11-21 02:48:08 +00001139 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001140
Devang Patel7d9fe582009-11-04 22:06:12 +00001141 // Here WD_AT_data_member_location points to the anonymous
1142 // field that includes this bit field.
Devang Patelc50078e2009-11-21 02:48:08 +00001143 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001144
1145 } else
1146 // This is not a bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001147 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001148
Devang Patel84aba942010-02-03 20:08:48 +00001149 if (DT.getTag() == dwarf::DW_TAG_inheritance
1150 && DT.isVirtual()) {
1151
1152 // For C++, virtual base classes are not at fixed offset. Use following
1153 // expression to extract appropriate offset from vtable.
1154 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1155
Benjamin Kramer138c7ff2010-03-31 19:34:01 +00001156 DIEBlock *VBaseLocationDie = new (DIEValueAllocator) DIEBlock();
Devang Patel84aba942010-02-03 20:08:48 +00001157 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1158 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1159 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1160 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1161 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1162 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1163 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1164
1165 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1166 VBaseLocationDie);
1167 } else
1168 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001169
1170 if (DT.isProtected())
Devang Patel188c85d2009-12-03 19:11:07 +00001171 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001172 dwarf::DW_ACCESS_protected);
1173 else if (DT.isPrivate())
Devang Patel188c85d2009-12-03 19:11:07 +00001174 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001175 dwarf::DW_ACCESS_private);
Devang Patel188c85d2009-12-03 19:11:07 +00001176 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1177 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1178 dwarf::DW_ACCESS_public);
1179 if (DT.isVirtual())
1180 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1181 dwarf::DW_VIRTUALITY_virtual);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001182 return MemberDie;
1183}
1184
Devang Patel814a12c2009-12-14 16:18:45 +00001185/// createSubprogramDIE - Create new DIE using SP.
1186DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1187 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1188 if (SPDie)
1189 return SPDie;
1190
1191 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel36cd9f82010-03-02 17:58:15 +00001192 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel0ab194f2010-03-02 01:26:20 +00001193 if (!SP.getName().empty())
1194 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001195
Devang Patel7f75bbe2009-11-25 17:36:49 +00001196 StringRef LinkageName = SP.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001197 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001198 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001199 getRealLinkageName(LinkageName));
1200
Devang Patelc50078e2009-11-21 02:48:08 +00001201 addSourceLine(SPDie, &SP);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001202
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001203 // Add prototyped tag, if C or ObjC.
1204 unsigned Lang = SP.getCompileUnit().getLanguage();
1205 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1206 Lang == dwarf::DW_LANG_ObjC)
Devang Patelc50078e2009-11-21 02:48:08 +00001207 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001208
1209 // Add Return Type.
Devang Patelc1df8792009-12-03 01:25:38 +00001210 DICompositeType SPTy = SP.getType();
1211 DIArray Args = SPTy.getTypeArray();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001212 unsigned SPTag = SPTy.getTag();
Devang Patel188c85d2009-12-03 19:11:07 +00001213
Devang Patel9e592492010-03-08 20:52:55 +00001214 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patelfe0be132009-12-09 18:24:21 +00001215 addType(SPDie, SPTy);
Devang Patelc1df8792009-12-03 01:25:38 +00001216 else
Devang Patelfe0be132009-12-09 18:24:21 +00001217 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patelc1df8792009-12-03 01:25:38 +00001218
Devang Patel188c85d2009-12-03 19:11:07 +00001219 unsigned VK = SP.getVirtuality();
1220 if (VK) {
1221 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
Benjamin Kramer138c7ff2010-03-31 19:34:01 +00001222 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel188c85d2009-12-03 19:11:07 +00001223 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1224 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1225 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel7d707f92010-01-19 06:19:05 +00001226 ContainingTypeMap.insert(std::make_pair(SPDie,
1227 SP.getContainingType().getNode()));
Devang Patel188c85d2009-12-03 19:11:07 +00001228 }
1229
Devang Patel814a12c2009-12-14 16:18:45 +00001230 if (MakeDecl || !SP.isDefinition()) {
Devang Patelc50078e2009-11-21 02:48:08 +00001231 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001232
1233 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patelc1df8792009-12-03 01:25:38 +00001234 // be handled while processing variables.
1235 DICompositeType SPTy = SP.getType();
1236 DIArray Args = SPTy.getTypeArray();
1237 unsigned SPTag = SPTy.getTag();
1238
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001239 if (SPTag == dwarf::DW_TAG_subroutine_type)
1240 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1241 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelc5dc7252010-02-06 01:02:37 +00001242 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1243 addType(Arg, ATy);
1244 if (ATy.isArtificial())
1245 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelc50078e2009-11-21 02:48:08 +00001246 SPDie->addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001247 }
1248 }
1249
Devang Patelbf7d00a2010-02-03 19:57:19 +00001250 if (SP.isArtificial())
1251 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1252
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001253 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001254 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001255 return SPDie;
1256}
1257
Devang Patel63397752010-04-01 17:16:48 +00001258/// getUpdatedDbgScope - Find DbgScope assicated with the instruction.
1259/// Update scope hierarchy. Create abstract scope if required.
Devang Patel90a0fe32009-11-10 23:06:00 +00001260DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
Chris Lattner8143ce82010-03-31 05:36:29 +00001261 MDNode *InlinedAt) {
1262 assert(N && "Invalid Scope encoding!");
1263 assert(MI && "Missing machine instruction!");
Devang Patel63397752010-04-01 17:16:48 +00001264 bool isAConcreteScope = InlinedAt != 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00001265
1266 DbgScope *NScope = NULL;
1267
1268 if (InlinedAt)
1269 NScope = DbgScopeMap.lookup(InlinedAt);
1270 else
1271 NScope = DbgScopeMap.lookup(N);
Chris Lattner8143ce82010-03-31 05:36:29 +00001272 assert(NScope && "Unable to find working scope!");
Devang Patel90a0fe32009-11-10 23:06:00 +00001273
1274 if (NScope->getFirstInsn())
1275 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001276
1277 DbgScope *Parent = NULL;
Devang Patel63397752010-04-01 17:16:48 +00001278 if (isAConcreteScope) {
Devang Pateldd7bb432009-10-14 21:08:09 +00001279 DILocation IL(InlinedAt);
Jim Grosbach652b7432009-11-21 23:12:12 +00001280 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel90a0fe32009-11-10 23:06:00 +00001281 IL.getOrigLocation().getNode());
Chris Lattner8143ce82010-03-31 05:36:29 +00001282 assert(Parent && "Unable to find Parent scope!");
Devang Patel90a0fe32009-11-10 23:06:00 +00001283 NScope->setParent(Parent);
Devang Patelc50078e2009-11-21 02:48:08 +00001284 Parent->addScope(NScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001285 } else if (DIDescriptor(N).isLexicalBlock()) {
1286 DILexicalBlock DB(N);
Devang Patel9e592492010-03-08 20:52:55 +00001287 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1288 NScope->setParent(Parent);
1289 Parent->addScope(NScope);
Devang Pateldd7bb432009-10-14 21:08:09 +00001290 }
Devang Patel6a260102009-10-01 20:31:14 +00001291
Devang Patelf5278f22009-10-27 20:47:17 +00001292 NScope->setFirstInsn(MI);
Devang Patel6a260102009-10-01 20:31:14 +00001293
Devang Patel90a0fe32009-11-10 23:06:00 +00001294 if (!Parent && !InlinedAt) {
Devang Patelce8986f2009-11-11 00:31:36 +00001295 StringRef SPName = DISubprogram(N).getLinkageName();
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001296 if (SPName == Asm->MF->getFunction()->getName())
Devang Patelce8986f2009-11-11 00:31:36 +00001297 CurrentFnDbgScope = NScope;
Devang Patel90a0fe32009-11-10 23:06:00 +00001298 }
Devang Patel6a260102009-10-01 20:31:14 +00001299
Devang Patel63397752010-04-01 17:16:48 +00001300 if (isAConcreteScope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001301 ConcreteScopes[InlinedAt] = NScope;
1302 getOrCreateAbstractScope(N);
1303 }
1304
Devang Patelf5278f22009-10-27 20:47:17 +00001305 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001306}
1307
Devang Patel90a0fe32009-11-10 23:06:00 +00001308DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
Chris Lattner8143ce82010-03-31 05:36:29 +00001309 assert(N && "Invalid Scope encoding!");
Devang Patel90a0fe32009-11-10 23:06:00 +00001310
1311 DbgScope *AScope = AbstractScopes.lookup(N);
1312 if (AScope)
1313 return AScope;
Jim Grosbach652b7432009-11-21 23:12:12 +00001314
Devang Patel90a0fe32009-11-10 23:06:00 +00001315 DbgScope *Parent = NULL;
1316
1317 DIDescriptor Scope(N);
1318 if (Scope.isLexicalBlock()) {
1319 DILexicalBlock DB(N);
1320 DIDescriptor ParentDesc = DB.getContext();
Devang Patel9e592492010-03-08 20:52:55 +00001321 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001322 }
1323
1324 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1325
1326 if (Parent)
Devang Patelc50078e2009-11-21 02:48:08 +00001327 Parent->addScope(AScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001328 AScope->setAbstractScope();
1329 AbstractScopes[N] = AScope;
1330 if (DIDescriptor(N).isSubprogram())
1331 AbstractScopesList.push_back(AScope);
1332 return AScope;
1333}
Devang Patel6a260102009-10-01 20:31:14 +00001334
Devang Patel75c10622010-04-06 23:53:48 +00001335/// isSubprogramContext - Return true if Context is either a subprogram
1336/// or another context nested inside a subprogram.
1337bool isSubprogramContext(MDNode *Context) {
1338 if (!Context)
1339 return false;
1340 DIDescriptor D(Context);
1341 if (D.isSubprogram())
1342 return true;
1343 if (D.isType())
1344 return isSubprogramContext(DIType(Context).getContext().getNode());
1345 return false;
1346}
1347
Jim Grosbach652b7432009-11-21 23:12:12 +00001348/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patelc50078e2009-11-21 02:48:08 +00001349/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1350/// If there are global variables in this scope then create and insert
1351/// DIEs for these variables.
1352DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001353 DIE *SPDie = ModuleCU->getDIE(SPNode);
1354 assert(SPDie && "Unable to find subprogram DIE!");
1355 DISubprogram SP(SPNode);
Chris Lattnerdd21da82010-03-13 07:26:18 +00001356
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001357 // There is not any need to generate specification DIE for a function
1358 // defined at compile unit level. If a function is defined inside another
1359 // function then gdb prefers the definition at top level and but does not
1360 // expect specification DIE in parent function. So avoid creating
1361 // specification DIE for a function defined inside a function.
1362 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
Devang Patel75c10622010-04-06 23:53:48 +00001363 !SP.getContext().isFile() &&
1364 !isSubprogramContext(SP.getContext().getNode())) {
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001365 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1366
1367 // Add arguments.
1368 DICompositeType SPTy = SP.getType();
1369 DIArray Args = SPTy.getTypeArray();
1370 unsigned SPTag = SPTy.getTag();
1371 if (SPTag == dwarf::DW_TAG_subroutine_type)
1372 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1373 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1374 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1375 addType(Arg, ATy);
1376 if (ATy.isArtificial())
1377 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1378 SPDie->addChild(Arg);
1379 }
1380 DIE *SPDeclDie = SPDie;
1381 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1382 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1383 SPDeclDie);
1384 ModuleCU->addDie(SPDie);
1385 }
1386
1387 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1388 Asm->GetTempSymbol("func_begin", Asm->getFunctionNumber()));
1389 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1390 Asm->GetTempSymbol("func_end", Asm->getFunctionNumber()));
1391 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1392 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
1393 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patelc5dc7252010-02-06 01:02:37 +00001394
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001395 if (!DISubprogram(SPNode).isLocalToUnit())
1396 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1397
1398 return SPDie;
Devang Patel90a0fe32009-11-10 23:06:00 +00001399}
1400
Jim Grosbach652b7432009-11-21 23:12:12 +00001401/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patelc50078e2009-11-21 02:48:08 +00001402/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1403DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001404 MCSymbol *Start = Scope->getStartLabel();
1405 MCSymbol *End = Scope->getEndLabel();
Devang Patel9a9a4ac2010-03-29 22:59:58 +00001406 if (Start == 0 || End == 0) return 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00001407
Chris Lattner855e8f52010-03-09 01:58:53 +00001408 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1409 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattner5e423432010-03-09 01:51:43 +00001410
Devang Patel90a0fe32009-11-10 23:06:00 +00001411 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1412 if (Scope->isAbstractScope())
1413 return ScopeDIE;
1414
Devang Patelc50078e2009-11-21 02:48:08 +00001415 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001416 Start ? Start : Asm->GetTempSymbol("func_begin",
1417 Asm->getFunctionNumber()));
Devang Patelc50078e2009-11-21 02:48:08 +00001418 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001419 End ? End : Asm->GetTempSymbol("func_end",Asm->getFunctionNumber()));
Devang Patel90a0fe32009-11-10 23:06:00 +00001420
1421 return ScopeDIE;
1422}
1423
Devang Patelc50078e2009-11-21 02:48:08 +00001424/// constructInlinedScopeDIE - This scope represents inlined body of
1425/// a function. Construct DIE to represent this concrete inlined copy
1426/// of the function.
1427DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001428 MCSymbol *StartLabel = Scope->getStartLabel();
1429 MCSymbol *EndLabel = Scope->getEndLabel();
Devang Patel9a9a4ac2010-03-29 22:59:58 +00001430 if (StartLabel == 0 || EndLabel == 0) return 0;
Chris Lattner4ba1da92010-03-09 04:48:35 +00001431
Chris Lattner855e8f52010-03-09 01:58:53 +00001432 assert(StartLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001433 "Invalid starting label for an inlined scope!");
Chris Lattner855e8f52010-03-09 01:58:53 +00001434 assert(EndLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001435 "Invalid end label for an inlined scope!");
Devang Patel9e592492010-03-08 20:52:55 +00001436 if (!Scope->getScopeNode())
Devang Patelbe149872010-03-08 19:20:38 +00001437 return NULL;
Devang Patel9e592492010-03-08 20:52:55 +00001438 DIScope DS(Scope->getScopeNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001439 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1440
1441 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001442 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Chris Lattner8143ce82010-03-31 05:36:29 +00001443 assert(OriginDIE && "Unable to find Origin DIE!");
Devang Patelc50078e2009-11-21 02:48:08 +00001444 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001445 dwarf::DW_FORM_ref4, OriginDIE);
1446
Chris Lattneread58652010-03-09 00:31:02 +00001447 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattner855e8f52010-03-09 01:58:53 +00001448 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel90a0fe32009-11-10 23:06:00 +00001449
1450 InlinedSubprogramDIEs.insert(OriginDIE);
1451
1452 // Track the start label for this inlined function.
Devang Patel7d707f92010-01-19 06:19:05 +00001453 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel90a0fe32009-11-10 23:06:00 +00001454 I = InlineInfo.find(InlinedSP.getNode());
1455
1456 if (I == InlineInfo.end()) {
Chris Lattneread58652010-03-09 00:31:02 +00001457 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbachb23f2422009-11-22 19:20:36 +00001458 ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001459 InlinedSPNodes.push_back(InlinedSP.getNode());
1460 } else
Chris Lattneread58652010-03-09 00:31:02 +00001461 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001462
Devang Patel90a0fe32009-11-10 23:06:00 +00001463 DILocation DL(Scope->getInlinedAt());
Devang Patelc50078e2009-11-21 02:48:08 +00001464 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1465 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel90a0fe32009-11-10 23:06:00 +00001466
1467 return ScopeDIE;
1468}
1469
Devang Patelc50078e2009-11-21 02:48:08 +00001470
1471/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patelfe0be132009-12-09 18:24:21 +00001472DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001473 // Get the descriptor.
1474 const DIVariable &VD = DV->getVariable();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001475 StringRef Name = VD.getName();
1476 if (Name.empty())
Devang Patelab9a0682009-11-13 02:25:26 +00001477 return NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001478
1479 // Translate tag to proper Dwarf tag. The result variable is dropped for
1480 // now.
1481 unsigned Tag;
1482 switch (VD.getTag()) {
1483 case dwarf::DW_TAG_return_variable:
1484 return NULL;
1485 case dwarf::DW_TAG_arg_variable:
1486 Tag = dwarf::DW_TAG_formal_parameter;
1487 break;
1488 case dwarf::DW_TAG_auto_variable: // fall thru
1489 default:
1490 Tag = dwarf::DW_TAG_variable;
1491 break;
1492 }
1493
1494 // Define variable debug information entry.
1495 DIE *VariableDie = new DIE(Tag);
1496
1497
1498 DIE *AbsDIE = NULL;
1499 if (DbgVariable *AV = DV->getAbstractVariable())
1500 AbsDIE = AV->getDIE();
Jim Grosbach652b7432009-11-21 23:12:12 +00001501
Devang Patel90a0fe32009-11-10 23:06:00 +00001502 if (AbsDIE) {
1503 DIScope DS(Scope->getScopeNode());
1504 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001505 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc9f2d242009-11-11 03:09:50 +00001506 (void) OriginSPDIE;
Chris Lattner8143ce82010-03-31 05:36:29 +00001507 assert(OriginSPDIE && "Unable to find Origin DIE for the SP!");
Devang Patel90a0fe32009-11-10 23:06:00 +00001508 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
Chris Lattner8143ce82010-03-31 05:36:29 +00001509 assert(AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patelc50078e2009-11-21 02:48:08 +00001510 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001511 dwarf::DW_FORM_ref4, AbsDIE);
1512 }
1513 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001514 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1515 addSourceLine(VariableDie, &VD);
Devang Patel90a0fe32009-11-10 23:06:00 +00001516
1517 // Add variable type.
Jim Grosbach652b7432009-11-21 23:12:12 +00001518 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel90a0fe32009-11-10 23:06:00 +00001519 // addresses instead.
1520 if (VD.isBlockByrefVariable())
Devang Patelfe0be132009-12-09 18:24:21 +00001521 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel90a0fe32009-11-10 23:06:00 +00001522 else
Devang Patelfe0be132009-12-09 18:24:21 +00001523 addType(VariableDie, VD.getType());
Devang Patel90a0fe32009-11-10 23:06:00 +00001524 }
1525
1526 // Add variable address.
1527 if (!Scope->isAbstractScope()) {
Devang Patel14da02f2010-03-15 18:33:46 +00001528 // Check if variable is described by DBG_VALUE instruction.
1529 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1530 if (DbgValueInsn->getNumOperands() == 3) {
1531 // FIXME : Handle getNumOperands != 3
1532 if (DbgValueInsn->getOperand(0).getType()
1533 == MachineOperand::MO_Register
1534 && DbgValueInsn->getOperand(0).getReg()) {
1535 MachineLocation Location;
1536 Location.set(DbgValueInsn->getOperand(0).getReg());
1537 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel9a9a4ac2010-03-29 22:59:58 +00001538 if (MCSymbol *VS = DV->getDbgValueLabel())
1539 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1540 VS);
Devang Patel14da02f2010-03-15 18:33:46 +00001541 } else if (DbgValueInsn->getOperand(0).getType() ==
1542 MachineOperand::MO_Immediate) {
Benjamin Kramer138c7ff2010-03-31 19:34:01 +00001543 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel14da02f2010-03-15 18:33:46 +00001544 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1545 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1546 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
Devang Patel9a9a4ac2010-03-29 22:59:58 +00001547 if (MCSymbol *VS = DV->getDbgValueLabel())
1548 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1549 VS);
Bill Wendling989a27e2010-04-05 22:59:21 +00001550 } else if (DbgValueInsn->getOperand(0).getType() ==
1551 MachineOperand::MO_FPImmediate) {
1552 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
1553 APFloat FPImm = DbgValueInsn->getOperand(0).getFPImm()->getValueAPF();
1554
1555 // Get the raw data form of the floating point.
1556 const APInt FltVal = FPImm.bitcastToAPInt();
1557 const char *FltPtr = (const char*)FltVal.getRawData();
1558
John McCall6fbbcc872010-04-06 23:35:53 +00001559 int NumBytes = FltVal.getBitWidth() / 8; // 8 bits per byte.
Bill Wendling989a27e2010-04-05 22:59:21 +00001560 bool LittleEndian = Asm->getTargetData().isLittleEndian();
1561 int Incr = (LittleEndian ? 1 : -1);
1562 int Start = (LittleEndian ? 0 : NumBytes - 1);
1563 int Stop = (LittleEndian ? NumBytes : -1);
1564
1565 // Output the constant to DWARF one byte at a time.
1566 for (; Start != Stop; Start += Incr)
1567 addUInt(Block, 0, dwarf::DW_FORM_data1,
1568 (unsigned char)0xFF & FltPtr[Start]);
1569
1570 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
1571
1572 if (MCSymbol *VS = DV->getDbgValueLabel())
1573 addLabel(VariableDie, dwarf::DW_AT_start_scope, dwarf::DW_FORM_addr,
1574 VS);
Devang Patel14da02f2010-03-15 18:33:46 +00001575 } else {
1576 //FIXME : Handle other operand types.
1577 delete VariableDie;
1578 return NULL;
1579 }
1580 }
1581 } else {
1582 MachineLocation Location;
1583 unsigned FrameReg;
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001584 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
1585 int Offset = RI->getFrameIndexReference(*Asm->MF, DV->getFrameIndex(),
Chris Lattner5df82552010-03-31 06:06:37 +00001586 FrameReg);
Devang Patel14da02f2010-03-15 18:33:46 +00001587 Location.set(FrameReg, Offset);
1588
1589 if (VD.hasComplexAddress())
1590 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1591 else if (VD.isBlockByrefVariable())
1592 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1593 else
1594 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1595 }
Devang Patel90a0fe32009-11-10 23:06:00 +00001596 }
Devang Patelc5dc7252010-02-06 01:02:37 +00001597
1598 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1599 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001600 DV->setDIE(VariableDie);
1601 return VariableDie;
1602
1603}
Devang Patelc50078e2009-11-21 02:48:08 +00001604
Devang Patelec13b4f2009-11-24 01:14:22 +00001605void DwarfDebug::addPubTypes(DISubprogram SP) {
1606 DICompositeType SPTy = SP.getType();
1607 unsigned SPTag = SPTy.getTag();
1608 if (SPTag != dwarf::DW_TAG_subroutine_type)
1609 return;
1610
1611 DIArray Args = SPTy.getTypeArray();
Devang Patelec13b4f2009-11-24 01:14:22 +00001612 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1613 DIType ATy(Args.getElement(i).getNode());
Devang Patel9e592492010-03-08 20:52:55 +00001614 if (!ATy.isValid())
Devang Patelec13b4f2009-11-24 01:14:22 +00001615 continue;
1616 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel9e592492010-03-08 20:52:55 +00001617 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001618 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1619 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1620 }
1621 }
1622}
1623
Devang Patelc50078e2009-11-21 02:48:08 +00001624/// constructScopeDIE - Construct a DIE for this scope.
1625DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel9e592492010-03-08 20:52:55 +00001626 if (!Scope || !Scope->getScopeNode())
1627 return NULL;
1628
1629 DIScope DS(Scope->getScopeNode());
1630 DIE *ScopeDIE = NULL;
1631 if (Scope->getInlinedAt())
1632 ScopeDIE = constructInlinedScopeDIE(Scope);
1633 else if (DS.isSubprogram()) {
1634 if (Scope->isAbstractScope())
1635 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1636 else
1637 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1638 }
Devang Patel9a9a4ac2010-03-29 22:59:58 +00001639 else
Devang Patel9e592492010-03-08 20:52:55 +00001640 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel9a9a4ac2010-03-29 22:59:58 +00001641 if (!ScopeDIE) return NULL;
Devang Patel9e592492010-03-08 20:52:55 +00001642
Devang Patel90a0fe32009-11-10 23:06:00 +00001643 // Add variables to scope.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001644 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel90a0fe32009-11-10 23:06:00 +00001645 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patelfe0be132009-12-09 18:24:21 +00001646 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach652b7432009-11-21 23:12:12 +00001647 if (VariableDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001648 ScopeDIE->addChild(VariableDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001649 }
1650
1651 // Add nested scopes.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001652 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel90a0fe32009-11-10 23:06:00 +00001653 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1654 // Define the Scope debug information entry.
Devang Patelc50078e2009-11-21 02:48:08 +00001655 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach652b7432009-11-21 23:12:12 +00001656 if (NestedDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001657 ScopeDIE->addChild(NestedDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001658 }
Devang Patelec13b4f2009-11-24 01:14:22 +00001659
1660 if (DS.isSubprogram())
1661 addPubTypes(DISubprogram(DS.getNode()));
1662
1663 return ScopeDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001664}
1665
Bill Wendlingf5839192009-05-20 23:19:06 +00001666/// GetOrCreateSourceID - Look up the source id with the given directory and
1667/// source file names. If none currently exists, create a new id and insert it
1668/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1669/// maps as well.
Chris Lattner5df82552010-03-31 06:06:37 +00001670unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName){
Bill Wendlingf5839192009-05-20 23:19:06 +00001671 unsigned DId;
1672 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1673 if (DI != DirectoryIdMap.end()) {
1674 DId = DI->getValue();
1675 } else {
1676 DId = DirectoryNames.size() + 1;
1677 DirectoryIdMap[DirName] = DId;
1678 DirectoryNames.push_back(DirName);
1679 }
1680
1681 unsigned FId;
1682 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1683 if (FI != SourceFileIdMap.end()) {
1684 FId = FI->getValue();
1685 } else {
1686 FId = SourceFileNames.size() + 1;
1687 SourceFileIdMap[FileName] = FId;
1688 SourceFileNames.push_back(FileName);
1689 }
1690
1691 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1692 SourceIdMap.find(std::make_pair(DId, FId));
1693 if (SI != SourceIdMap.end())
1694 return SI->second;
1695
1696 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1697 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1698 SourceIds.push_back(std::make_pair(DId, FId));
1699
1700 return SrcId;
1701}
1702
Devang Patel8287d662009-12-15 19:16:48 +00001703/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1704DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1705 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1706 if (NDie)
1707 return NDie;
1708 NDie = new DIE(dwarf::DW_TAG_namespace);
1709 ModuleCU->insertDIE(NS.getNode(), NDie);
1710 if (!NS.getName().empty())
1711 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1712 addSourceLine(NDie, &NS);
1713 addToContextOwner(NDie, NS.getContext());
1714 return NDie;
1715}
1716
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001717void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001718 DICompileUnit DIUnit(N);
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001719 // Use first compile unit marked as isMain as the compile unit for this
1720 // module.
1721 if (ModuleCU || !DIUnit.isMain())
1722 return;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001723 StringRef FN = DIUnit.getFilename();
1724 StringRef Dir = DIUnit.getDirectory();
Devang Patelaaf012e2009-09-29 18:40:58 +00001725 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001726
1727 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patelc50078e2009-11-21 02:48:08 +00001728 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001729 DIUnit.getProducer());
Devang Patelc50078e2009-11-21 02:48:08 +00001730 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf5839192009-05-20 23:19:06 +00001731 DIUnit.getLanguage());
Devang Patelc50078e2009-11-21 02:48:08 +00001732 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Chris Lattner66143d22010-04-04 22:59:04 +00001733 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, TextSectionSym);
Devang Patel7ac39832010-03-22 23:11:36 +00001734 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerb93558d2010-04-04 19:25:43 +00001735 Asm->GetTempSymbol("text_end"));
Devang Patel7ac39832010-03-22 23:11:36 +00001736 // DW_AT_stmt_list is a offset of line number information for this
1737 // compile unit in debug_line section. It is always zero when only one
1738 // compile unit is emitted in one object file.
1739 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendlingf5839192009-05-20 23:19:06 +00001740
Devang Patel7f75bbe2009-11-25 17:36:49 +00001741 if (!Dir.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001742 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf5839192009-05-20 23:19:06 +00001743 if (DIUnit.isOptimized())
Devang Patelc50078e2009-11-21 02:48:08 +00001744 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf5839192009-05-20 23:19:06 +00001745
Devang Patel7f75bbe2009-11-25 17:36:49 +00001746 StringRef Flags = DIUnit.getFlags();
1747 if (!Flags.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001748 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf5839192009-05-20 23:19:06 +00001749
1750 unsigned RVer = DIUnit.getRunTimeVersion();
1751 if (RVer)
Devang Patelc50078e2009-11-21 02:48:08 +00001752 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf5839192009-05-20 23:19:06 +00001753 dwarf::DW_FORM_data1, RVer);
1754
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001755 assert(!ModuleCU &&
1756 "ModuleCU assigned since the top of constructCompileUnit");
1757 ModuleCU = new CompileUnit(ID, Die);
Bill Wendlingf5839192009-05-20 23:19:06 +00001758}
1759
Devang Patelc50078e2009-11-21 02:48:08 +00001760void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001761 DIGlobalVariable DI_GV(N);
Daniel Dunbar41716322009-09-19 20:40:05 +00001762
Devang Patel0c03f062009-09-04 23:59:07 +00001763 // If debug information is malformed then ignore it.
1764 if (DI_GV.Verify() == false)
1765 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001766
1767 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001768 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel166f8432009-06-26 01:49:18 +00001769 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001770
Devang Patelfe0be132009-12-09 18:24:21 +00001771 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel6d479632009-12-10 23:25:41 +00001772 if (!VariableDie)
1773 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001774
Bill Wendlingf5839192009-05-20 23:19:06 +00001775 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001776 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001777
1778 // Add to context owner.
Devang Pateldcc0dce2010-01-15 01:12:22 +00001779 DIDescriptor GVContext = DI_GV.getContext();
1780 // Do not create specification DIE if context is either compile unit
1781 // or a subprogram.
Chris Lattner5df82552010-03-31 06:06:37 +00001782 if (DI_GV.isDefinition() && !GVContext.isCompileUnit() &&
Devang Patel75c10622010-04-06 23:53:48 +00001783 !GVContext.isFile() &&
1784 !isSubprogramContext(GVContext.getNode())) {
Devang Patel8287d662009-12-15 19:16:48 +00001785 // Create specification DIE.
1786 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1787 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1788 dwarf::DW_FORM_ref4, VariableDie);
Benjamin Kramer138c7ff2010-03-31 19:34:01 +00001789 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel8287d662009-12-15 19:16:48 +00001790 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001791 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner90825792010-03-12 21:09:07 +00001792 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001793 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patela0a98582010-02-09 01:58:33 +00001794 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel8287d662009-12-15 19:16:48 +00001795 ModuleCU->addDie(VariableSpecDIE);
1796 } else {
Benjamin Kramer138c7ff2010-03-31 19:34:01 +00001797 DIEBlock *Block = new (DIEValueAllocator) DIEBlock();
Devang Patel8287d662009-12-15 19:16:48 +00001798 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001799 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner90825792010-03-12 21:09:07 +00001800 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001801 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1802 }
Devang Pateldcc0dce2010-01-15 01:12:22 +00001803 addToContextOwner(VariableDie, GVContext);
Devang Patel1a8f9a82009-12-10 19:14:49 +00001804
Bill Wendlingf5839192009-05-20 23:19:06 +00001805 // Expose as global. FIXME - need to check external flag.
Devang Patelc50078e2009-11-21 02:48:08 +00001806 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001807
1808 DIType GTy = DI_GV.getType();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001809 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001810 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
Chris Lattner8143ce82010-03-31 05:36:29 +00001811 assert(Entry && "Missing global type!");
Devang Patelec13b4f2009-11-24 01:14:22 +00001812 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1813 }
Devang Patel166f8432009-06-26 01:49:18 +00001814 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001815}
1816
Devang Patelc50078e2009-11-21 02:48:08 +00001817void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001818 DISubprogram SP(N);
Bill Wendlingf5839192009-05-20 23:19:06 +00001819
Stuart Hastings0f5779e2010-04-06 21:38:29 +00001820 // Check for pre-existence.
1821 if (ModuleCU->getDIE(N))
1822 return;
1823
Bill Wendlingf5839192009-05-20 23:19:06 +00001824 if (!SP.isDefinition())
1825 // This is a method declaration which will be handled while constructing
1826 // class type.
Devang Patel166f8432009-06-26 01:49:18 +00001827 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001828
Stuart Hastings0f5779e2010-04-06 21:38:29 +00001829 DIE *SubprogramDie = createSubprogramDIE(SP);
1830
1831 // Add to map.
1832 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001833
1834 // Add to context owner.
Devang Patel8287d662009-12-15 19:16:48 +00001835 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patelde2d3682009-12-08 23:21:45 +00001836
Bill Wendlingf5839192009-05-20 23:19:06 +00001837 // Expose as global.
Devang Patelc50078e2009-11-21 02:48:08 +00001838 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001839
Devang Patel166f8432009-06-26 01:49:18 +00001840 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001841}
1842
Devang Patelc50078e2009-11-21 02:48:08 +00001843/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar19f1d442009-09-19 20:40:14 +00001844/// content. Create global DIEs and emit initial debug info sections.
1845/// This is inovked by the target AsmPrinter.
Chris Lattner75e113c2010-04-04 07:48:20 +00001846void DwarfDebug::beginModule(Module *M) {
Chris Lattnerb49c9f82010-03-29 20:38:20 +00001847 TimeRegion Timer(DebugTimer);
Chris Lattnera52b6172010-04-05 02:19:28 +00001848
Devang Patelfda766d2009-07-30 18:56:46 +00001849 DebugInfoFinder DbgFinder;
1850 DbgFinder.processModule(*M);
Devang Patel166f8432009-06-26 01:49:18 +00001851
Chris Lattnera52b6172010-04-05 02:19:28 +00001852 bool HasDebugInfo = false;
1853
1854 // Scan all the compile-units to see if there are any marked as the main unit.
1855 // if not, we do not generate debug info.
1856 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1857 E = DbgFinder.compile_unit_end(); I != E; ++I) {
1858 if (DICompileUnit(*I).isMain()) {
1859 HasDebugInfo = true;
1860 break;
1861 }
1862 }
1863
1864 if (!HasDebugInfo) return;
1865
1866 // Tell MMI that we have debug info.
1867 MMI->setDebugInfoAvailability(true);
1868
Chris Lattner706afc02010-04-04 23:17:54 +00001869 // Emit initial sections.
Chris Lattnera52b6172010-04-05 02:19:28 +00001870 EmitSectionLabels();
Chris Lattner706afc02010-04-04 23:17:54 +00001871
Bill Wendlingf5839192009-05-20 23:19:06 +00001872 // Create all the compile unit DIEs.
Devang Patelfda766d2009-07-30 18:56:46 +00001873 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1874 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001875 constructCompileUnit(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001876
Devang Patel90a0fe32009-11-10 23:06:00 +00001877 // Create DIEs for each subprogram.
Devang Patelfda766d2009-07-30 18:56:46 +00001878 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1879 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001880 constructSubprogramDIE(*I);
Devang Patel166f8432009-06-26 01:49:18 +00001881
Devang Patel1a8f9a82009-12-10 19:14:49 +00001882 // Create DIEs for each global variable.
1883 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1884 E = DbgFinder.global_variable_end(); I != E; ++I)
1885 constructGlobalVariableDIE(*I);
1886
Bill Wendlingf5839192009-05-20 23:19:06 +00001887 // Prime section data.
Chris Lattnerc4c40a92009-07-28 03:13:23 +00001888 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001889
1890 // Print out .file directives to specify files for .loc directives. These are
1891 // printed out early so that they precede any .loc directives.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00001892 if (Asm->MAI->hasDotLocAndDotFile()) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001893 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1894 // Remember source id starts at 1.
1895 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerad653482010-01-22 22:09:00 +00001896 // FIXME: don't use sys::path for this! This should not depend on the
1897 // host.
Bill Wendlingf5839192009-05-20 23:19:06 +00001898 sys::Path FullPath(getSourceDirectoryName(Id.first));
1899 bool AppendOk =
1900 FullPath.appendComponent(getSourceFileName(Id.second));
1901 assert(AppendOk && "Could not append filename to directory!");
1902 AppendOk = false;
Chris Lattner59be4ea2010-01-25 18:58:59 +00001903 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf5839192009-05-20 23:19:06 +00001904 }
1905 }
Bill Wendlingf5839192009-05-20 23:19:06 +00001906}
1907
Devang Patelc50078e2009-11-21 02:48:08 +00001908/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf5839192009-05-20 23:19:06 +00001909///
Devang Patelc50078e2009-11-21 02:48:08 +00001910void DwarfDebug::endModule() {
Devang Patel95d477e2009-10-06 00:03:14 +00001911 if (!ModuleCU)
Bill Wendlingf5839192009-05-20 23:19:06 +00001912 return;
1913
Chris Lattnerb49c9f82010-03-29 20:38:20 +00001914 TimeRegion Timer(DebugTimer);
Bill Wendlingf5839192009-05-20 23:19:06 +00001915
Devang Patel90a0fe32009-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 Patelc50078e2009-11-21 02:48:08 +00001920 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel90a0fe32009-11-10 23:06:00 +00001921 }
1922
Devang Patelc1df8792009-12-03 01:25:38 +00001923 // Insert top level DIEs.
1924 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1925 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1926 ModuleCU->getCUDie()->addChild(*TI);
1927
Devang Patel7d707f92010-01-19 06:19:05 +00001928 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel188c85d2009-12-03 19:11:07 +00001929 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1930 DIE *SPDie = CI->first;
1931 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1932 if (!N) continue;
1933 DIE *NDie = ModuleCU->getDIE(N);
1934 if (!NDie) continue;
1935 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel69aae432010-01-15 00:26:31 +00001936 // FIXME - This is not the correct approach.
Chris Lattner5df82552010-03-31 06:06:37 +00001937 //addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie
Devang Patel188c85d2009-12-03 19:11:07 +00001938 }
1939
Bill Wendlingf5839192009-05-20 23:19:06 +00001940 // Standard sections final addresses.
Chris Lattner73266f92009-08-19 05:49:37 +00001941 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnerb93558d2010-04-04 19:25:43 +00001942 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner73266f92009-08-19 05:49:37 +00001943 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnerb93558d2010-04-04 19:25:43 +00001944 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendlingf5839192009-05-20 23:19:06 +00001945
1946 // End text sections.
1947 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner73266f92009-08-19 05:49:37 +00001948 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattnerb93558d2010-04-04 19:25:43 +00001949 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", i));
Bill Wendlingf5839192009-05-20 23:19:06 +00001950 }
1951
1952 // Emit common frame information.
Devang Patelc50078e2009-11-21 02:48:08 +00001953 emitCommonDebugFrame();
Bill Wendlingf5839192009-05-20 23:19:06 +00001954
1955 // Emit function debug frame information
1956 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1957 E = DebugFrames.end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001958 emitFunctionDebugFrame(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001959
1960 // Compute DIE offsets and sizes.
Devang Patelc50078e2009-11-21 02:48:08 +00001961 computeSizeAndOffsets();
Bill Wendlingf5839192009-05-20 23:19:06 +00001962
1963 // Emit all the DIEs into a debug info section
Devang Patelc50078e2009-11-21 02:48:08 +00001964 emitDebugInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001965
1966 // Corresponding abbreviations into a abbrev section.
Devang Patelc50078e2009-11-21 02:48:08 +00001967 emitAbbreviations();
Bill Wendlingf5839192009-05-20 23:19:06 +00001968
1969 // Emit source line correspondence into a debug line section.
Devang Patelc50078e2009-11-21 02:48:08 +00001970 emitDebugLines();
Bill Wendlingf5839192009-05-20 23:19:06 +00001971
1972 // Emit info into a debug pubnames section.
Devang Patelc50078e2009-11-21 02:48:08 +00001973 emitDebugPubNames();
Bill Wendlingf5839192009-05-20 23:19:06 +00001974
Devang Patelec13b4f2009-11-24 01:14:22 +00001975 // Emit info into a debug pubtypes section.
1976 emitDebugPubTypes();
1977
Bill Wendlingf5839192009-05-20 23:19:06 +00001978 // Emit info into a debug loc section.
Devang Patelc50078e2009-11-21 02:48:08 +00001979 emitDebugLoc();
Bill Wendlingf5839192009-05-20 23:19:06 +00001980
1981 // Emit info into a debug aranges section.
1982 EmitDebugARanges();
1983
1984 // Emit info into a debug ranges section.
Devang Patelc50078e2009-11-21 02:48:08 +00001985 emitDebugRanges();
Bill Wendlingf5839192009-05-20 23:19:06 +00001986
1987 // Emit info into a debug macinfo section.
Devang Patelc50078e2009-11-21 02:48:08 +00001988 emitDebugMacInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001989
1990 // Emit inline info.
Devang Patelc50078e2009-11-21 02:48:08 +00001991 emitDebugInlineInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001992
Chris Lattner0f093f82010-03-13 02:17:42 +00001993 // Emit info into a debug str section.
1994 emitDebugStr();
1995
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001996 delete ModuleCU;
1997 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendlingf5839192009-05-20 23:19:06 +00001998}
1999
Devang Patel90a0fe32009-11-10 23:06:00 +00002000/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbachb23f2422009-11-22 19:20:36 +00002001DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
2002 unsigned FrameIdx,
Chris Lattnerb9692a72010-04-02 19:42:39 +00002003 DebugLoc ScopeLoc) {
Devang Patel90a0fe32009-11-10 23:06:00 +00002004
2005 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
2006 if (AbsDbgVariable)
2007 return AbsDbgVariable;
2008
Chris Lattnerb9692a72010-04-02 19:42:39 +00002009 LLVMContext &Ctx = Var.getNode()->getContext();
2010 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel90a0fe32009-11-10 23:06:00 +00002011 if (!Scope)
2012 return NULL;
2013
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002014 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
2015 NULL /* No more-abstract variable*/);
Devang Patelc50078e2009-11-21 02:48:08 +00002016 Scope->addVariable(AbsDbgVariable);
Devang Patel90a0fe32009-11-10 23:06:00 +00002017 AbstractVariables[Var.getNode()] = AbsDbgVariable;
2018 return AbsDbgVariable;
2019}
2020
Devang Patel14da02f2010-03-15 18:33:46 +00002021/// findAbstractVariable - Find abstract variable, if any, associated with Var.
2022/// FIXME : Refactor findAbstractVariable.
2023DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
2024 const MachineInstr *MI,
Chris Lattnerb9692a72010-04-02 19:42:39 +00002025 DebugLoc ScopeLoc) {
Devang Patel14da02f2010-03-15 18:33:46 +00002026
2027 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
2028 if (AbsDbgVariable)
2029 return AbsDbgVariable;
2030
Chris Lattnerb9692a72010-04-02 19:42:39 +00002031 LLVMContext &Ctx = Var.getNode()->getContext();
2032 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope(Ctx));
Devang Patel14da02f2010-03-15 18:33:46 +00002033 if (!Scope)
2034 return NULL;
2035
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002036 AbsDbgVariable = new DbgVariable(Var, MI,
Devang Patel14da02f2010-03-15 18:33:46 +00002037 NULL /* No more-abstract variable*/);
2038 Scope->addVariable(AbsDbgVariable);
2039 AbstractVariables[Var.getNode()] = AbsDbgVariable;
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002040 DbgValueStartMap[MI] = AbsDbgVariable;
Devang Patel14da02f2010-03-15 18:33:46 +00002041 return AbsDbgVariable;
2042}
2043
Devang Patelc50078e2009-11-21 02:48:08 +00002044/// collectVariableInfo - Populate DbgScope entries with variables' info.
2045void DwarfDebug::collectVariableInfo() {
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002046 const LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Chris Lattnerb9692a72010-04-02 19:42:39 +00002047
Devang Patel84139992009-10-06 01:26:37 +00002048 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
2049 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
2050 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel0a0ea052010-01-22 22:52:10 +00002051 MDNode *Var = VI->first;
Devang Patel90a0fe32009-11-10 23:06:00 +00002052 if (!Var) continue;
Chris Lattnerb9692a72010-04-02 19:42:39 +00002053 DIVariable DV(Var);
2054 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00002055
Chris Lattnerb9692a72010-04-02 19:42:39 +00002056 DbgScope *Scope = 0;
2057 if (MDNode *IA = VP.second.getInlinedAt(Ctx))
2058 Scope = ConcreteScopes.lookup(IA);
2059 if (Scope == 0)
2060 Scope = DbgScopeMap.lookup(VP.second.getScope(Ctx));
2061
Devang Patelbad42262009-11-10 23:20:04 +00002062 // If variable scope is not found then skip this variable.
Chris Lattnerb9692a72010-04-02 19:42:39 +00002063 if (Scope == 0)
Devang Patelbad42262009-11-10 23:20:04 +00002064 continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00002065
Chris Lattnerb9692a72010-04-02 19:42:39 +00002066 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, VP.second);
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002067 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patelc50078e2009-11-21 02:48:08 +00002068 Scope->addVariable(RegVar);
Devang Patel84139992009-10-06 01:26:37 +00002069 }
Devang Patel14da02f2010-03-15 18:33:46 +00002070
2071 // Collect variable information from DBG_VALUE machine instructions;
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002072 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel14da02f2010-03-15 18:33:46 +00002073 I != E; ++I) {
2074 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2075 II != IE; ++II) {
2076 const MachineInstr *MInsn = II;
Chris Lattner202f10b2010-03-31 05:39:57 +00002077 if (!MInsn->isDebugValue())
Devang Patel14da02f2010-03-15 18:33:46 +00002078 continue;
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002079
Devang Patel14da02f2010-03-15 18:33:46 +00002080 // FIXME : Lift this restriction.
2081 if (MInsn->getNumOperands() != 3)
2082 continue;
Chris Lattner0b44e492010-03-31 03:34:40 +00002083 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands()
2084 - 1).getMetadata()));
Devang Patel14da02f2010-03-15 18:33:46 +00002085 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2086 // FIXME Handle inlined subroutine arguments.
2087 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2088 CurrentFnDbgScope->addVariable(ArgVar);
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002089 DbgValueStartMap[MInsn] = ArgVar;
Devang Patel14da02f2010-03-15 18:33:46 +00002090 continue;
2091 }
2092
2093 DebugLoc DL = MInsn->getDebugLoc();
2094 if (DL.isUnknown()) continue;
Chris Lattnerb9692a72010-04-02 19:42:39 +00002095 DbgScope *Scope = 0;
2096 if (MDNode *IA = DL.getInlinedAt(Ctx))
2097 Scope = ConcreteScopes.lookup(IA);
2098 if (Scope == 0)
2099 Scope = DbgScopeMap.lookup(DL.getScope(Ctx));
2100
Devang Patel14da02f2010-03-15 18:33:46 +00002101 // If variable scope is not found then skip this variable.
Chris Lattnerb9692a72010-04-02 19:42:39 +00002102 if (Scope == 0)
Devang Patel14da02f2010-03-15 18:33:46 +00002103 continue;
2104
Chris Lattnerb9692a72010-04-02 19:42:39 +00002105 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn, DL);
Devang Patel14da02f2010-03-15 18:33:46 +00002106 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002107 DbgValueStartMap[MInsn] = RegVar;
Devang Patel14da02f2010-03-15 18:33:46 +00002108 Scope->addVariable(RegVar);
2109 }
2110 }
Devang Patel84139992009-10-06 01:26:37 +00002111}
2112
Devang Patelabc2b352010-03-29 17:20:31 +00002113/// beginScope - Process beginning of a scope.
2114void DwarfDebug::beginScope(const MachineInstr *MI) {
Devang Patelabc2b352010-03-29 17:20:31 +00002115 // Check location.
2116 DebugLoc DL = MI->getDebugLoc();
2117 if (DL.isUnknown())
2118 return;
Devang Patelabc2b352010-03-29 17:20:31 +00002119
2120 // Check and update last known location info.
Chris Lattnerb9692a72010-04-02 19:42:39 +00002121 if (DL == PrevInstLoc)
2122 return;
2123
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002124 MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
Chris Lattnerb9692a72010-04-02 19:42:39 +00002125
2126 // FIXME: Should only verify each scope once!
2127 if (!DIScope(Scope).Verify())
Devang Patelabc2b352010-03-29 17:20:31 +00002128 return;
Devang Patelabc2b352010-03-29 17:20:31 +00002129
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002130 // DBG_VALUE instruction establishes new value.
Chris Lattner202f10b2010-03-31 05:39:57 +00002131 if (MI->isDebugValue()) {
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002132 DenseMap<const MachineInstr *, DbgVariable *>::iterator DI
2133 = DbgValueStartMap.find(MI);
2134 if (DI != DbgValueStartMap.end()) {
Chris Lattnerb9692a72010-04-02 19:42:39 +00002135 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2136 PrevInstLoc = DL;
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002137 DI->second->setDbgValueLabel(Label);
2138 }
Devang Patel98ca2372010-03-30 18:07:00 +00002139 return;
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002140 }
2141
Devang Patelabc2b352010-03-29 17:20:31 +00002142 // Emit a label to indicate location change. This is used for line
2143 // table even if this instruction does start a new scope.
Chris Lattnerb9692a72010-04-02 19:42:39 +00002144 MCSymbol *Label = recordSourceLine(DL.getLine(), DL.getCol(), Scope);
2145 PrevInstLoc = DL;
Devang Patelabc2b352010-03-29 17:20:31 +00002146
2147 // update DbgScope if this instruction starts a new scope.
Devang Patel393a46d2009-10-06 01:50:42 +00002148 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2149 if (I == DbgScopeBeginMap.end())
2150 return;
Devang Patelabc2b352010-03-29 17:20:31 +00002151
Dan Gohman8d34f972009-11-23 21:30:55 +00002152 ScopeVector &SD = I->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00002153 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00002154 SDI != SDE; ++SDI)
Chris Lattner597b0fc2010-03-09 04:54:43 +00002155 (*SDI)->setStartLabel(Label);
Devang Patel393a46d2009-10-06 01:50:42 +00002156}
2157
Devang Patelc50078e2009-11-21 02:48:08 +00002158/// endScope - Process end of a scope.
2159void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patelabc2b352010-03-29 17:20:31 +00002160 // Ignore DBG_VALUE instruction.
Chris Lattner202f10b2010-03-31 05:39:57 +00002161 if (MI->isDebugValue())
Devang Patelabc2b352010-03-29 17:20:31 +00002162 return;
2163
2164 // Check location.
2165 DebugLoc DL = MI->getDebugLoc();
2166 if (DL.isUnknown())
2167 return;
Chris Lattnerb9692a72010-04-02 19:42:39 +00002168
Devang Patelabc2b352010-03-29 17:20:31 +00002169 // Emit a label and update DbgScope if this instruction ends a scope.
Devang Patel393a46d2009-10-06 01:50:42 +00002170 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patelf4348892009-10-06 03:15:38 +00002171 if (I == DbgScopeEndMap.end())
Devang Patel393a46d2009-10-06 01:50:42 +00002172 return;
Chris Lattnerb9692a72010-04-02 19:42:39 +00002173
Chris Lattner54e56f22010-03-14 08:36:50 +00002174 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner855e8f52010-03-09 01:58:53 +00002175 Asm->OutStreamer.EmitLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00002176
Chris Lattner855e8f52010-03-09 01:58:53 +00002177 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel393a46d2009-10-06 01:50:42 +00002178 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00002179 SDI != SDE; ++SDI)
Chris Lattner855e8f52010-03-09 01:58:53 +00002180 (*SDI)->setEndLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00002181 return;
2182}
2183
2184/// createDbgScope - Create DbgScope for the scope.
2185void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
Devang Patel90a0fe32009-11-10 23:06:00 +00002186 if (!InlinedAt) {
2187 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2188 if (WScope)
2189 return;
2190 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2191 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach652b7432009-11-21 23:12:12 +00002192 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel53addbf2009-11-11 00:18:40 +00002193 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel90a0fe32009-11-10 23:06:00 +00002194 return;
2195 }
2196
2197 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2198 if (WScope)
2199 return;
2200
2201 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2202 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2203 DILocation DL(InlinedAt);
2204 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel393a46d2009-10-06 01:50:42 +00002205}
2206
Devang Patelc50078e2009-11-21 02:48:08 +00002207/// extractScopeInformation - Scan machine instructions in this function
Chris Lattner202f10b2010-03-31 05:39:57 +00002208/// and collect DbgScopes. Return true, if at least one scope was found.
Chris Lattner69a76972010-01-26 23:18:02 +00002209bool DwarfDebug::extractScopeInformation() {
Devang Patel6a260102009-10-01 20:31:14 +00002210 // If scope information was extracted using .dbg intrinsics then there is not
2211 // any need to extract these information by scanning each instruction.
2212 if (!DbgScopeMap.empty())
2213 return false;
2214
Devang Patel98e77302010-01-04 20:44:00 +00002215 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2216 unsigned MIIndex = 0;
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002217 LLVMContext &Ctx = Asm->MF->getFunction()->getContext();
Chris Lattnerb9692a72010-04-02 19:42:39 +00002218
Devang Patel90a0fe32009-11-10 23:06:00 +00002219 // Scan each instruction and create scopes. First build working set of scopes.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002220 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel6a260102009-10-01 20:31:14 +00002221 I != E; ++I) {
2222 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2223 II != IE; ++II) {
2224 const MachineInstr *MInsn = II;
Devang Patel14da02f2010-03-15 18:33:46 +00002225 // FIXME : Remove DBG_VALUE check.
Chris Lattner202f10b2010-03-31 05:39:57 +00002226 if (MInsn->isDebugValue()) continue;
Devang Patel98e77302010-01-04 20:44:00 +00002227 MIIndexMap[MInsn] = MIIndex++;
Chris Lattnerb9692a72010-04-02 19:42:39 +00002228
Devang Patel6a260102009-10-01 20:31:14 +00002229 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel90a0fe32009-11-10 23:06:00 +00002230 if (DL.isUnknown()) continue;
Chris Lattnerb9692a72010-04-02 19:42:39 +00002231
2232 MDNode *Scope = DL.getScope(Ctx);
2233
Devang Patel6a260102009-10-01 20:31:14 +00002234 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002235 // other scopes, create one DbgScope now. This will be translated
Devang Patel6a260102009-10-01 20:31:14 +00002236 // into a scope DIE at the end.
Chris Lattnerb9692a72010-04-02 19:42:39 +00002237 if (DIScope(Scope).isCompileUnit()) continue;
2238 createDbgScope(Scope, DL.getInlinedAt(Ctx));
Devang Patel90a0fe32009-11-10 23:06:00 +00002239 }
2240 }
2241
Devang Patele8151122010-04-01 22:47:29 +00002242
Devang Patel90a0fe32009-11-10 23:06:00 +00002243 // Build scope hierarchy using working set of scopes.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002244 for (MachineFunction::const_iterator I = Asm->MF->begin(), E = Asm->MF->end();
Devang Patel90a0fe32009-11-10 23:06:00 +00002245 I != E; ++I) {
2246 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2247 II != IE; ++II) {
2248 const MachineInstr *MInsn = II;
Devang Patel14da02f2010-03-15 18:33:46 +00002249 // FIXME : Remove DBG_VALUE check.
Chris Lattner202f10b2010-03-31 05:39:57 +00002250 if (MInsn->isDebugValue()) continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00002251 DebugLoc DL = MInsn->getDebugLoc();
Chris Lattnerb9692a72010-04-02 19:42:39 +00002252 if (DL.isUnknown()) continue;
2253
2254 MDNode *Scope = DL.getScope(Ctx);
2255 if (Scope == 0) continue;
2256
Devang Patel90a0fe32009-11-10 23:06:00 +00002257 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002258 // other scopes, create one DbgScope now. This will be translated
Devang Patel90a0fe32009-11-10 23:06:00 +00002259 // into a scope DIE at the end.
Chris Lattnerb9692a72010-04-02 19:42:39 +00002260 if (DIScope(Scope).isCompileUnit()) continue;
2261 DbgScope *DScope = getUpdatedDbgScope(Scope, MInsn, DL.getInlinedAt(Ctx));
2262 DScope->setLastInsn(MInsn);
Devang Patel6a260102009-10-01 20:31:14 +00002263 }
2264 }
2265
Devang Patel98e77302010-01-04 20:44:00 +00002266 if (!CurrentFnDbgScope)
2267 return false;
2268
2269 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel6a260102009-10-01 20:31:14 +00002270
2271 // Each scope has first instruction and last instruction to mark beginning
2272 // and end of a scope respectively. Create an inverse map that list scopes
2273 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patelfd311df2010-01-20 02:05:23 +00002274 // multiple scopes. Ignore scopes that are not reachable.
2275 SmallVector<DbgScope *, 4> WorkList;
2276 WorkList.push_back(CurrentFnDbgScope);
2277 while (!WorkList.empty()) {
Chris Lattner202f10b2010-03-31 05:39:57 +00002278 DbgScope *S = WorkList.pop_back_val();
Devang Patelfd311df2010-01-20 02:05:23 +00002279
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002280 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patelfd311df2010-01-20 02:05:23 +00002281 if (!Children.empty())
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002282 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patelfd311df2010-01-20 02:05:23 +00002283 SE = Children.end(); SI != SE; ++SI)
2284 WorkList.push_back(*SI);
2285
Devang Patel90a0fe32009-11-10 23:06:00 +00002286 if (S->isAbstractScope())
2287 continue;
Devang Patel6a260102009-10-01 20:31:14 +00002288 const MachineInstr *MI = S->getFirstInsn();
Chris Lattner8143ce82010-03-31 05:36:29 +00002289 assert(MI && "DbgScope does not have first instruction!");
Devang Patel6a260102009-10-01 20:31:14 +00002290
2291 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2292 if (IDI != DbgScopeBeginMap.end())
2293 IDI->second.push_back(S);
2294 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002295 DbgScopeBeginMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002296
2297 MI = S->getLastInsn();
Chris Lattner8143ce82010-03-31 05:36:29 +00002298 assert(MI && "DbgScope does not have last instruction!");
Devang Patel6a260102009-10-01 20:31:14 +00002299 IDI = DbgScopeEndMap.find(MI);
2300 if (IDI != DbgScopeEndMap.end())
2301 IDI->second.push_back(S);
2302 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002303 DbgScopeEndMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002304 }
2305
2306 return !DbgScopeMap.empty();
2307}
2308
Devang Patelc50078e2009-11-21 02:48:08 +00002309/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf5839192009-05-20 23:19:06 +00002310/// emitted immediately after the function entry point.
Chris Lattner69a76972010-01-26 23:18:02 +00002311void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner2cb53302010-04-05 03:52:55 +00002312 if (!MMI->hasDebugInfo()) return;
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002313
2314 TimeRegion Timer(DebugTimer);
Chris Lattner69a76972010-01-26 23:18:02 +00002315 if (!extractScopeInformation())
Devang Patel0feae422009-10-06 18:37:31 +00002316 return;
Chris Lattnerb49c9f82010-03-29 20:38:20 +00002317
Devang Patelc50078e2009-11-21 02:48:08 +00002318 collectVariableInfo();
Devang Patel0feae422009-10-06 18:37:31 +00002319
Bill Wendlingf5839192009-05-20 23:19:06 +00002320 // Assumes in correct section after the entry point.
Chris Lattnerb93558d2010-04-04 19:25:43 +00002321 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_begin",
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002322 Asm->getFunctionNumber()));
Bill Wendlingf5839192009-05-20 23:19:06 +00002323
2324 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2325 // function.
Devang Patel40c80212009-10-09 22:42:28 +00002326 DebugLoc FDL = MF->getDefaultDebugLoc();
Chris Lattnerb9692a72010-04-02 19:42:39 +00002327 if (FDL.isUnknown()) return;
2328
2329 MDNode *Scope = FDL.getScope(MF->getFunction()->getContext());
2330
2331 DISubprogram SP = getDISubprogram(Scope);
2332 unsigned Line, Col;
2333 if (SP.Verify()) {
2334 Line = SP.getLineNumber();
2335 Col = 0;
2336 } else {
2337 Line = FDL.getLine();
2338 Col = FDL.getCol();
Bill Wendlingf5839192009-05-20 23:19:06 +00002339 }
Chris Lattnerb9692a72010-04-02 19:42:39 +00002340
2341 recordSourceLine(Line, Col, Scope);
Bill Wendlingf5839192009-05-20 23:19:06 +00002342}
2343
Devang Patelc50078e2009-11-21 02:48:08 +00002344/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf5839192009-05-20 23:19:06 +00002345///
Chris Lattner69a76972010-01-26 23:18:02 +00002346void DwarfDebug::endFunction(const MachineFunction *MF) {
Chris Lattner855b6bb2010-04-05 05:24:55 +00002347 if (!MMI->hasDebugInfo() ||
2348 DbgScopeMap.empty()) return;
Chris Lattnerb49c9f82010-03-29 20:38:20 +00002349
2350 TimeRegion Timer(DebugTimer);
Devang Patel4a7ef8d2009-11-12 19:02:56 +00002351
Devang Patel98e77302010-01-04 20:44:00 +00002352 if (CurrentFnDbgScope) {
2353 // Define end label for subprogram.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002354 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("func_end",
2355 Asm->getFunctionNumber()));
Devang Patel98e77302010-01-04 20:44:00 +00002356
2357 // Get function line info.
2358 if (!Lines.empty()) {
2359 // Get section line info.
2360 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2361 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2362 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2363 // Append the function info to section info.
2364 SectionLineInfos.insert(SectionLineInfos.end(),
2365 Lines.begin(), Lines.end());
2366 }
2367
2368 // Construct abstract scopes.
2369 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2370 AE = AbstractScopesList.end(); AI != AE; ++AI)
2371 constructScopeDIE(*AI);
2372
2373 constructScopeDIE(CurrentFnDbgScope);
2374
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002375 DebugFrames.push_back(FunctionDebugFrameInfo(Asm->getFunctionNumber(),
Devang Patel98e77302010-01-04 20:44:00 +00002376 MMI->getFrameMoves()));
Bill Wendlingf5839192009-05-20 23:19:06 +00002377 }
2378
Bill Wendlingf5839192009-05-20 23:19:06 +00002379 // Clear debug info
Devang Patel387e9c12010-01-19 01:26:02 +00002380 CurrentFnDbgScope = NULL;
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002381 DeleteContainerSeconds(DbgScopeMap);
Devang Patel387e9c12010-01-19 01:26:02 +00002382 DbgScopeBeginMap.clear();
2383 DbgScopeEndMap.clear();
Devang Patel9a9a4ac2010-03-29 22:59:58 +00002384 DbgValueStartMap.clear();
Devang Patel387e9c12010-01-19 01:26:02 +00002385 ConcreteScopes.clear();
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002386 DeleteContainerSeconds(AbstractScopes);
Devang Patel387e9c12010-01-19 01:26:02 +00002387 AbstractScopesList.clear();
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002388 AbstractVariables.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002389 Lines.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002390}
2391
Chris Lattner597b0fc2010-03-09 04:54:43 +00002392/// recordSourceLine - Register a source line with debug info. Returns the
2393/// unique label that was emitted and which provides correspondence to
2394/// the source line list.
2395MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Chris Lattnerb49c9f82010-03-29 20:38:20 +00002396 TimeRegion Timer(DebugTimer);
Bill Wendlingf5839192009-05-20 23:19:06 +00002397
Devang Patel7f75bbe2009-11-25 17:36:49 +00002398 StringRef Dir;
2399 StringRef Fn;
Devang Patel946d0ae2009-10-05 18:03:19 +00002400
2401 DIDescriptor Scope(S);
2402 if (Scope.isCompileUnit()) {
2403 DICompileUnit CU(S);
2404 Dir = CU.getDirectory();
2405 Fn = CU.getFilename();
2406 } else if (Scope.isSubprogram()) {
2407 DISubprogram SP(S);
2408 Dir = SP.getDirectory();
2409 Fn = SP.getFilename();
2410 } else if (Scope.isLexicalBlock()) {
2411 DILexicalBlock DB(S);
2412 Dir = DB.getDirectory();
2413 Fn = DB.getFilename();
2414 } else
Chris Lattnerdd21da82010-03-13 07:26:18 +00002415 assert(0 && "Unexpected scope info");
Devang Patel946d0ae2009-10-05 18:03:19 +00002416
2417 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner54e56f22010-03-14 08:36:50 +00002418 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner8d9d06a2010-03-14 08:15:55 +00002419 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf5839192009-05-20 23:19:06 +00002420
Chris Lattner597b0fc2010-03-09 04:54:43 +00002421 Asm->OutStreamer.EmitLabel(Label);
2422 return Label;
Bill Wendlingf5839192009-05-20 23:19:06 +00002423}
2424
2425/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2426/// timed. Look up the source id with the given directory and source file
2427/// names. If none currently exists, create a new id and insert it in the
2428/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2429/// well.
2430unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2431 const std::string &FileName) {
Chris Lattnerb49c9f82010-03-29 20:38:20 +00002432 TimeRegion Timer(DebugTimer);
2433 return GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf5839192009-05-20 23:19:06 +00002434}
2435
Bill Wendlinge1a5bbb2009-05-20 23:22:40 +00002436//===----------------------------------------------------------------------===//
2437// Emit Methods
2438//===----------------------------------------------------------------------===//
2439
Devang Patelc50078e2009-11-21 02:48:08 +00002440/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling55fccda2009-05-20 23:21:38 +00002441///
Jim Grosbachb23f2422009-11-22 19:20:36 +00002442unsigned
2443DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002444 // Get the children.
2445 const std::vector<DIE *> &Children = Die->getChildren();
2446
2447 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin2944ced2010-03-22 18:47:14 +00002448 if (!Last && !Children.empty())
Benjamin Kramer138c7ff2010-03-31 19:34:01 +00002449 Die->addSiblingOffset(DIEValueAllocator);
Bill Wendling55fccda2009-05-20 23:21:38 +00002450
2451 // Record the abbreviation.
Devang Patelc50078e2009-11-21 02:48:08 +00002452 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling55fccda2009-05-20 23:21:38 +00002453
2454 // Get the abbreviation for this DIE.
2455 unsigned AbbrevNumber = Die->getAbbrevNumber();
2456 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2457
2458 // Set DIE offset
2459 Die->setOffset(Offset);
2460
2461 // Start the size with the size of abbreviation code.
Chris Lattner621c44d2009-08-22 20:48:53 +00002462 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002463
2464 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2465 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2466
2467 // Size the DIE attribute values.
2468 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2469 // Size attribute value.
Chris Lattner352c8e22010-04-05 00:18:22 +00002470 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling55fccda2009-05-20 23:21:38 +00002471
2472 // Size the DIE children if any.
2473 if (!Children.empty()) {
2474 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2475 "Children flag not set");
2476
2477 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002478 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling55fccda2009-05-20 23:21:38 +00002479
2480 // End of children marker.
2481 Offset += sizeof(int8_t);
2482 }
2483
2484 Die->setSize(Offset - Die->getOffset());
2485 return Offset;
2486}
2487
Devang Patelc50078e2009-11-21 02:48:08 +00002488/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling55fccda2009-05-20 23:21:38 +00002489///
Devang Patelc50078e2009-11-21 02:48:08 +00002490void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002491 // Compute size of compile unit header.
2492 static unsigned Offset =
2493 sizeof(int32_t) + // Length of Compilation Unit Info
2494 sizeof(int16_t) + // DWARF version number
2495 sizeof(int32_t) + // Offset Into Abbrev. Section
2496 sizeof(int8_t); // Pointer Size (in bytes)
2497
Devang Patelc50078e2009-11-21 02:48:08 +00002498 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel5a3d37f2009-06-29 20:45:18 +00002499 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling55fccda2009-05-20 23:21:38 +00002500}
2501
Chris Lattner733c69d2010-04-04 23:02:02 +00002502/// EmitSectionSym - Switch to the specified MCSection and emit an assembler
2503/// temporary label to it if SymbolStem is specified.
Chris Lattner66143d22010-04-04 22:59:04 +00002504static MCSymbol *EmitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Chris Lattner733c69d2010-04-04 23:02:02 +00002505 const char *SymbolStem = 0) {
Chris Lattner66143d22010-04-04 22:59:04 +00002506 Asm->OutStreamer.SwitchSection(Section);
Chris Lattner733c69d2010-04-04 23:02:02 +00002507 if (!SymbolStem) return 0;
2508
Chris Lattner66143d22010-04-04 22:59:04 +00002509 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
2510 Asm->OutStreamer.EmitLabel(TmpSym);
2511 return TmpSym;
2512}
2513
2514/// EmitSectionLabels - Emit initial Dwarf sections with a label at
2515/// the start of each one.
Chris Lattnerd91fd8c2010-04-04 22:33:59 +00002516void DwarfDebug::EmitSectionLabels() {
Chris Lattner73266f92009-08-19 05:49:37 +00002517 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbar41716322009-09-19 20:40:05 +00002518
Bill Wendling55fccda2009-05-20 23:21:38 +00002519 // Dwarf sections base addresses.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002520 if (Asm->MAI->doesDwarfRequireFrameSection()) {
Chris Lattner66143d22010-04-04 22:59:04 +00002521 DwarfFrameSectionSym =
2522 EmitSectionSym(Asm, TLOF.getDwarfFrameSection(), "section_debug_frame");
2523 }
Bill Wendling55fccda2009-05-20 23:21:38 +00002524
Chris Lattner66143d22010-04-04 22:59:04 +00002525 DwarfInfoSectionSym =
2526 EmitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
2527 DwarfAbbrevSectionSym =
2528 EmitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Chris Lattner733c69d2010-04-04 23:02:02 +00002529 EmitSectionSym(Asm, TLOF.getDwarfARangesSection());
Chris Lattner66143d22010-04-04 22:59:04 +00002530
2531 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Chris Lattner733c69d2010-04-04 23:02:02 +00002532 EmitSectionSym(Asm, MacroInfo);
Bill Wendling55fccda2009-05-20 23:21:38 +00002533
Chris Lattner733c69d2010-04-04 23:02:02 +00002534 EmitSectionSym(Asm, TLOF.getDwarfLineSection());
2535 EmitSectionSym(Asm, TLOF.getDwarfLocSection());
2536 EmitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
2537 EmitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Chris Lattner66143d22010-04-04 22:59:04 +00002538 DwarfStrSectionSym =
2539 EmitSectionSym(Asm, TLOF.getDwarfStrSection(), "section_str");
Chris Lattner733c69d2010-04-04 23:02:02 +00002540 EmitSectionSym(Asm, TLOF.getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002541
Chris Lattner66143d22010-04-04 22:59:04 +00002542 TextSectionSym = EmitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
Chris Lattner094932e2010-04-04 23:10:38 +00002543 EmitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002544}
2545
Devang Patelc50078e2009-11-21 02:48:08 +00002546/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling55fccda2009-05-20 23:21:38 +00002547///
Devang Patelc50078e2009-11-21 02:48:08 +00002548void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002549 // Get the abbreviation for this DIE.
2550 unsigned AbbrevNumber = Die->getAbbrevNumber();
2551 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2552
Bill Wendling55fccda2009-05-20 23:21:38 +00002553 // Emit the code (index) for the abbreviation.
Chris Lattner97c69b72010-04-04 18:52:31 +00002554 if (Asm->isVerbose())
Chris Lattnerbcc79432010-01-22 23:18:42 +00002555 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2556 Twine::utohexstr(Die->getOffset()) + ":0x" +
2557 Twine::utohexstr(Die->getSize()) + " " +
2558 dwarf::TagString(Abbrev->getTag()));
Chris Lattner26be1c12010-04-04 19:09:29 +00002559 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002560
Jeffrey Yasskin2944ced2010-03-22 18:47:14 +00002561 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling55fccda2009-05-20 23:21:38 +00002562 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2563
2564 // Emit the DIE attribute values.
2565 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2566 unsigned Attr = AbbrevData[i].getAttribute();
2567 unsigned Form = AbbrevData[i].getForm();
2568 assert(Form && "Too many attributes for DIE (check abbreviation)");
2569
Chris Lattner97c69b72010-04-04 18:52:31 +00002570 if (Asm->isVerbose())
Chris Lattner91e06b42010-01-24 18:54:17 +00002571 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2572
Bill Wendling55fccda2009-05-20 23:21:38 +00002573 switch (Attr) {
2574 case dwarf::DW_AT_sibling:
Devang Patelc50078e2009-11-21 02:48:08 +00002575 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002576 break;
2577 case dwarf::DW_AT_abstract_origin: {
2578 DIEEntry *E = cast<DIEEntry>(Values[i]);
2579 DIE *Origin = E->getEntry();
Devang Patel90a0fe32009-11-10 23:06:00 +00002580 unsigned Addr = Origin->getOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002581 Asm->EmitInt32(Addr);
2582 break;
2583 }
2584 default:
2585 // Emit an attribute using the defined form.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002586 Values[i]->EmitValue(Asm, Form);
Bill Wendling55fccda2009-05-20 23:21:38 +00002587 break;
2588 }
Bill Wendling55fccda2009-05-20 23:21:38 +00002589 }
2590
2591 // Emit the DIE children if any.
2592 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2593 const std::vector<DIE *> &Children = Die->getChildren();
2594
2595 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002596 emitDIE(Children[j]);
Bill Wendling55fccda2009-05-20 23:21:38 +00002597
Chris Lattner97c69b72010-04-04 18:52:31 +00002598 if (Asm->isVerbose())
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002599 Asm->OutStreamer.AddComment("End Of Children Mark");
2600 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002601 }
2602}
2603
Devang Patelfe0be132009-12-09 18:24:21 +00002604/// emitDebugInfo - Emit the debug info section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002605///
Devang Patelfe0be132009-12-09 18:24:21 +00002606void DwarfDebug::emitDebugInfo() {
2607 // Start debug info section.
2608 Asm->OutStreamer.SwitchSection(
2609 Asm->getObjFileLowering().getDwarfInfoSection());
2610 DIE *Die = ModuleCU->getCUDie();
Bill Wendling55fccda2009-05-20 23:21:38 +00002611
2612 // Emit the compile units header.
Chris Lattnerb93558d2010-04-04 19:25:43 +00002613 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_begin",
2614 ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002615
2616 // Emit size of content not including length itself
2617 unsigned ContentSize = Die->getSize() +
2618 sizeof(int16_t) + // DWARF version number
2619 sizeof(int32_t) + // Offset Into Abbrev. Section
2620 sizeof(int8_t) + // Pointer Size (in bytes)
2621 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2622
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002623 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2624 Asm->EmitInt32(ContentSize);
2625 Asm->OutStreamer.AddComment("DWARF version number");
2626 Asm->EmitInt16(dwarf::DWARF_VERSION);
2627 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Chris Lattnerc06b4742010-04-04 23:25:33 +00002628 Asm->EmitSectionOffset(Asm->GetTempSymbol("abbrev_begin"),
2629 DwarfAbbrevSectionSym);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002630 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002631 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00002632
Devang Patelc50078e2009-11-21 02:48:08 +00002633 emitDIE(Die);
Bill Wendling55fccda2009-05-20 23:21:38 +00002634 // FIXME - extra padding for gdb bug.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002635 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2636 Asm->EmitInt8(0);
2637 Asm->EmitInt8(0);
2638 Asm->EmitInt8(0);
2639 Asm->EmitInt8(0);
Chris Lattnerb93558d2010-04-04 19:25:43 +00002640 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("info_end", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002641}
2642
Devang Patelc50078e2009-11-21 02:48:08 +00002643/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002644///
Devang Patelc50078e2009-11-21 02:48:08 +00002645void DwarfDebug::emitAbbreviations() const {
Bill Wendling55fccda2009-05-20 23:21:38 +00002646 // Check to see if it is worth the effort.
2647 if (!Abbreviations.empty()) {
2648 // Start the debug abbrev section.
Chris Lattner73266f92009-08-19 05:49:37 +00002649 Asm->OutStreamer.SwitchSection(
2650 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002651
Chris Lattnerb93558d2010-04-04 19:25:43 +00002652 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002653
2654 // For each abbrevation.
2655 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2656 // Get abbreviation data
2657 const DIEAbbrev *Abbrev = Abbreviations[i];
2658
2659 // Emit the abbrevations code (base 1 index.)
Chris Lattner26be1c12010-04-04 19:09:29 +00002660 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling55fccda2009-05-20 23:21:38 +00002661
2662 // Emit the abbreviations data.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002663 Abbrev->Emit(Asm);
Bill Wendling55fccda2009-05-20 23:21:38 +00002664 }
2665
2666 // Mark end of abbreviations.
Chris Lattner26be1c12010-04-04 19:09:29 +00002667 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002668
Chris Lattnerb93558d2010-04-04 19:25:43 +00002669 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("abbrev_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002670 }
2671}
2672
Devang Patelc50078e2009-11-21 02:48:08 +00002673/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling55fccda2009-05-20 23:21:38 +00002674/// the line matrix.
2675///
Devang Patelc50078e2009-11-21 02:48:08 +00002676void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002677 // Define last address of section.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002678 Asm->OutStreamer.AddComment("Extended Op");
2679 Asm->EmitInt8(0);
2680
2681 Asm->OutStreamer.AddComment("Op size");
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002682 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002683 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2684 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2685
2686 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnereb159d62010-03-10 01:17:49 +00002687
Chris Lattnerb93558d2010-04-04 19:25:43 +00002688 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002689 Asm->getTargetData().getPointerSize(),
2690 0/*AddrSpace*/);
Bill Wendling55fccda2009-05-20 23:21:38 +00002691
2692 // Mark end of matrix.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002693 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2694 Asm->EmitInt8(0);
Chris Lattnerad653482010-01-22 22:09:00 +00002695 Asm->EmitInt8(1);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002696 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002697}
2698
Devang Patelc50078e2009-11-21 02:48:08 +00002699/// emitDebugLines - Emit source line information.
Bill Wendling55fccda2009-05-20 23:21:38 +00002700///
Devang Patelc50078e2009-11-21 02:48:08 +00002701void DwarfDebug::emitDebugLines() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002702 // If the target is using .loc/.file, the assembler will be emitting the
2703 // .debug_line table automatically.
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002704 if (Asm->MAI->hasDotLocAndDotFile())
Bill Wendling55fccda2009-05-20 23:21:38 +00002705 return;
2706
2707 // Minimum line delta, thus ranging from -10..(255-10).
2708 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2709 // Maximum line delta, thus ranging from -10..(255-10).
2710 const int MaxLineDelta = 255 + MinLineDelta;
2711
2712 // Start the dwarf line section.
Chris Lattner73266f92009-08-19 05:49:37 +00002713 Asm->OutStreamer.SwitchSection(
2714 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002715
2716 // Construct the section header.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002717 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00002718 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_end"),
2719 Asm->GetTempSymbol("line_begin"), 4);
Chris Lattnerb93558d2010-04-04 19:25:43 +00002720 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002721
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002722 Asm->OutStreamer.AddComment("DWARF version number");
2723 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling55fccda2009-05-20 23:21:38 +00002724
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002725 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00002726 Asm->EmitLabelDifference(Asm->GetTempSymbol("line_prolog_end"),
2727 Asm->GetTempSymbol("line_prolog_begin"), 4);
Chris Lattnerb93558d2010-04-04 19:25:43 +00002728 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002729
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002730 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2731 Asm->EmitInt8(1);
2732 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2733 Asm->EmitInt8(1);
2734 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2735 Asm->EmitInt8(MinLineDelta);
2736 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2737 Asm->EmitInt8(MaxLineDelta);
2738 Asm->OutStreamer.AddComment("Special Opcode Base");
2739 Asm->EmitInt8(-MinLineDelta);
Bill Wendling55fccda2009-05-20 23:21:38 +00002740
2741 // Line number standard opcode encodings argument count
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002742 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2743 Asm->EmitInt8(0);
2744 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2745 Asm->EmitInt8(1);
2746 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2747 Asm->EmitInt8(1);
2748 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2749 Asm->EmitInt8(1);
2750 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2751 Asm->EmitInt8(1);
2752 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2753 Asm->EmitInt8(0);
2754 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2755 Asm->EmitInt8(0);
2756 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2757 Asm->EmitInt8(0);
2758 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2759 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002760
2761 // Emit directories.
2762 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnercc564642010-01-23 03:11:46 +00002763 const std::string &Dir = getSourceDirectoryName(DI);
Chris Lattner97c69b72010-04-04 18:52:31 +00002764 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Directory");
Chris Lattnercc564642010-01-23 03:11:46 +00002765 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002766 }
2767
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002768 Asm->OutStreamer.AddComment("End of directories");
2769 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002770
2771 // Emit files.
2772 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2773 // Remember source id starts at 1.
2774 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnercc564642010-01-23 03:11:46 +00002775 const std::string &FN = getSourceFileName(Id.second);
Chris Lattner97c69b72010-04-04 18:52:31 +00002776 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("Source");
Chris Lattnercc564642010-01-23 03:11:46 +00002777 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2778
Chris Lattner26be1c12010-04-04 19:09:29 +00002779 Asm->EmitULEB128(Id.first, "Directory #");
2780 Asm->EmitULEB128(0, "Mod date");
2781 Asm->EmitULEB128(0, "File size");
Bill Wendling55fccda2009-05-20 23:21:38 +00002782 }
2783
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002784 Asm->OutStreamer.AddComment("End of files");
2785 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002786
Chris Lattnerb93558d2010-04-04 19:25:43 +00002787 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_prolog_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002788
2789 // A sequence for each text section.
2790 unsigned SecSrcLinesSize = SectionSourceLines.size();
2791
2792 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2793 // Isolate current sections line info.
2794 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2795
Bill Wendling55fccda2009-05-20 23:21:38 +00002796 // Dwarf assumes we start with first line of first source file.
2797 unsigned Source = 1;
2798 unsigned Line = 1;
2799
2800 // Construct rows of the address, source, line, column matrix.
2801 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2802 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner8d9d06a2010-03-14 08:15:55 +00002803 MCSymbol *Label = LineInfo.getLabel();
Chris Lattner31ae74d2010-03-14 02:20:58 +00002804 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling55fccda2009-05-20 23:21:38 +00002805
Caroline Tice9da96d82009-09-11 18:25:54 +00002806 if (LineInfo.getLine() == 0) continue;
2807
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002808 if (Asm->isVerbose()) {
Chris Lattneree3b40f2010-03-10 01:04:13 +00002809 std::pair<unsigned, unsigned> SrcID =
Bill Wendling55fccda2009-05-20 23:21:38 +00002810 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattneree3b40f2010-03-10 01:04:13 +00002811 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner48fb0b12010-03-10 02:29:31 +00002812 "/" +
2813 Twine(getSourceFileName(SrcID.second)) +
Chris Lattneree3b40f2010-03-10 01:04:13 +00002814 ":" + Twine(LineInfo.getLine()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002815 }
2816
2817 // Define the line address.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002818 Asm->OutStreamer.AddComment("Extended Op");
2819 Asm->EmitInt8(0);
2820 Asm->OutStreamer.AddComment("Op size");
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002821 Asm->EmitInt8(Asm->getTargetData().getPointerSize() + 1);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002822
2823 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2824 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2825
2826 Asm->OutStreamer.AddComment("Location label");
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002827 Asm->OutStreamer.EmitSymbolValue(Label,
2828 Asm->getTargetData().getPointerSize(),
Chris Lattner31ae74d2010-03-14 02:20:58 +00002829 0/*AddrSpace*/);
Chris Lattnereb159d62010-03-10 01:17:49 +00002830
Bill Wendling55fccda2009-05-20 23:21:38 +00002831 // If change of source, then switch to the new source.
2832 if (Source != LineInfo.getSourceID()) {
2833 Source = LineInfo.getSourceID();
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002834 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2835 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattner26be1c12010-04-04 19:09:29 +00002836 Asm->EmitULEB128(Source, "New Source");
Bill Wendling55fccda2009-05-20 23:21:38 +00002837 }
2838
2839 // If change of line.
2840 if (Line != LineInfo.getLine()) {
2841 // Determine offset.
2842 int Offset = LineInfo.getLine() - Line;
2843 int Delta = Offset - MinLineDelta;
2844
2845 // Update line.
2846 Line = LineInfo.getLine();
2847
2848 // If delta is small enough and in range...
2849 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2850 // ... then use fast opcode.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002851 Asm->OutStreamer.AddComment("Line Delta");
2852 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling55fccda2009-05-20 23:21:38 +00002853 } else {
2854 // ... otherwise use long hand.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002855 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling55fccda2009-05-20 23:21:38 +00002856 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner26be1c12010-04-04 19:09:29 +00002857 Asm->EmitSLEB128(Offset, "Line Offset");
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002858 Asm->OutStreamer.AddComment("DW_LNS_copy");
2859 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling55fccda2009-05-20 23:21:38 +00002860 }
2861 } else {
2862 // Copy the previous row (different address or source)
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002863 Asm->OutStreamer.AddComment("DW_LNS_copy");
2864 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling55fccda2009-05-20 23:21:38 +00002865 }
2866 }
2867
Devang Patelc50078e2009-11-21 02:48:08 +00002868 emitEndOfLineMatrix(j + 1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002869 }
2870
2871 if (SecSrcLinesSize == 0)
2872 // Because we're emitting a debug_line section, we still need a line
2873 // table. The linker and friends expect it to exist. If there's nothing to
2874 // put into it, emit an empty table.
Devang Patelc50078e2009-11-21 02:48:08 +00002875 emitEndOfLineMatrix(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002876
Chris Lattnerb93558d2010-04-04 19:25:43 +00002877 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("line_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002878}
2879
Devang Patelc50078e2009-11-21 02:48:08 +00002880/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002881///
Devang Patelc50078e2009-11-21 02:48:08 +00002882void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002883 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002884 return;
2885
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002886 int stackGrowth = Asm->getTargetData().getPointerSize();
2887 if (Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2888 TargetFrameInfo::StackGrowsDown)
2889 stackGrowth *= -1;
Bill Wendling55fccda2009-05-20 23:21:38 +00002890
2891 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002892 Asm->OutStreamer.SwitchSection(
2893 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002894
Chris Lattnerb93558d2010-04-04 19:25:43 +00002895 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common"));
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002896 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00002897 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_frame_common_end"),
2898 Asm->GetTempSymbol("debug_frame_common_begin"), 4);
Bill Wendling55fccda2009-05-20 23:21:38 +00002899
Chris Lattnerb93558d2010-04-04 19:25:43 +00002900 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_begin"));
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002901 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling55fccda2009-05-20 23:21:38 +00002902 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002903 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling55fccda2009-05-20 23:21:38 +00002904 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002905 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattnercc564642010-01-23 03:11:46 +00002906 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner26be1c12010-04-04 19:09:29 +00002907 Asm->EmitULEB128(1, "CIE Code Alignment Factor");
2908 Asm->EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002909 Asm->OutStreamer.AddComment("CIE RA Column");
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002910 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
Bill Wendling55fccda2009-05-20 23:21:38 +00002911 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling55fccda2009-05-20 23:21:38 +00002912
2913 std::vector<MachineMove> Moves;
2914 RI->getInitialFrameState(Moves);
2915
Chris Lattner193fec02010-04-04 23:41:46 +00002916 Asm->EmitFrameMoves(Moves, 0, false);
Bill Wendling55fccda2009-05-20 23:21:38 +00002917
2918 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerb93558d2010-04-04 19:25:43 +00002919 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_frame_common_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002920}
2921
Devang Patelc50078e2009-11-21 02:48:08 +00002922/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling55fccda2009-05-20 23:21:38 +00002923/// section.
Chris Lattnerdd21da82010-03-13 07:26:18 +00002924void DwarfDebug::
2925emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002926 if (!Asm->MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002927 return;
2928
2929 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002930 Asm->OutStreamer.SwitchSection(
2931 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002932
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002933 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattnerdd21da82010-03-13 07:26:18 +00002934 MCSymbol *DebugFrameBegin =
Chris Lattnerb93558d2010-04-04 19:25:43 +00002935 Asm->GetTempSymbol("debug_frame_begin", DebugFrameInfo.Number);
Chris Lattnerdd21da82010-03-13 07:26:18 +00002936 MCSymbol *DebugFrameEnd =
Chris Lattnerb93558d2010-04-04 19:25:43 +00002937 Asm->GetTempSymbol("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00002938 Asm->EmitLabelDifference(DebugFrameEnd, DebugFrameBegin, 4);
Bill Wendling55fccda2009-05-20 23:21:38 +00002939
Chris Lattnerdd21da82010-03-13 07:26:18 +00002940 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling55fccda2009-05-20 23:21:38 +00002941
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002942 Asm->OutStreamer.AddComment("FDE CIE offset");
Chris Lattnerc06b4742010-04-04 23:25:33 +00002943 Asm->EmitSectionOffset(Asm->GetTempSymbol("debug_frame_common"),
2944 DwarfFrameSectionSym);
Bill Wendling55fccda2009-05-20 23:21:38 +00002945
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002946 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnerb93558d2010-04-04 19:25:43 +00002947 MCSymbol *FuncBeginSym =
2948 Asm->GetTempSymbol("func_begin", DebugFrameInfo.Number);
Chris Lattner314e3362010-03-13 07:40:56 +00002949 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002950 Asm->getTargetData().getPointerSize(),
2951 0/*AddrSpace*/);
Chris Lattnereb159d62010-03-10 01:17:49 +00002952
2953
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002954 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00002955 Asm->EmitLabelDifference(Asm->GetTempSymbol("func_end",DebugFrameInfo.Number),
Chris Lattnerbc0027b2010-04-05 00:13:49 +00002956 FuncBeginSym, Asm->getTargetData().getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00002957
Chris Lattner193fec02010-04-04 23:41:46 +00002958 Asm->EmitFrameMoves(DebugFrameInfo.Moves, FuncBeginSym, false);
Bill Wendling55fccda2009-05-20 23:21:38 +00002959
2960 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerdd21da82010-03-13 07:26:18 +00002961 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling55fccda2009-05-20 23:21:38 +00002962}
2963
Devang Patelfe0be132009-12-09 18:24:21 +00002964/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2965///
2966void DwarfDebug::emitDebugPubNames() {
2967 // Start the dwarf pubnames section.
2968 Asm->OutStreamer.SwitchSection(
2969 Asm->getObjFileLowering().getDwarfPubNamesSection());
2970
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002971 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00002972 Asm->EmitLabelDifference(
2973 Asm->GetTempSymbol("pubnames_end", ModuleCU->getID()),
2974 Asm->GetTempSymbol("pubnames_begin", ModuleCU->getID()), 4);
Bill Wendling55fccda2009-05-20 23:21:38 +00002975
Chris Lattnerb93558d2010-04-04 19:25:43 +00002976 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin",
2977 ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002978
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002979 Asm->OutStreamer.AddComment("DWARF Version");
2980 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling55fccda2009-05-20 23:21:38 +00002981
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002982 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerc06b4742010-04-04 23:25:33 +00002983 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2984 DwarfInfoSectionSym);
Bill Wendling55fccda2009-05-20 23:21:38 +00002985
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002986 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00002987 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
2988 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
2989 4);
Bill Wendling55fccda2009-05-20 23:21:38 +00002990
Devang Patelfe0be132009-12-09 18:24:21 +00002991 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling55fccda2009-05-20 23:21:38 +00002992 for (StringMap<DIE*>::const_iterator
2993 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2994 const char *Name = GI->getKeyData();
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002995 DIE *Entity = GI->second;
Bill Wendling55fccda2009-05-20 23:21:38 +00002996
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002997 Asm->OutStreamer.AddComment("DIE offset");
2998 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002999
Chris Lattner97c69b72010-04-04 18:52:31 +00003000 if (Asm->isVerbose())
Chris Lattnercc564642010-01-23 03:11:46 +00003001 Asm->OutStreamer.AddComment("External Name");
3002 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00003003 }
3004
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003005 Asm->OutStreamer.AddComment("End Mark");
3006 Asm->EmitInt32(0);
Chris Lattnerb93558d2010-04-04 19:25:43 +00003007 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end",
3008 ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00003009}
3010
Devang Patelec13b4f2009-11-24 01:14:22 +00003011void DwarfDebug::emitDebugPubTypes() {
Devang Patel6f2bdd52009-11-24 19:18:41 +00003012 // Start the dwarf pubnames section.
3013 Asm->OutStreamer.SwitchSection(
3014 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003015 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00003016 Asm->EmitLabelDifference(
3017 Asm->GetTempSymbol("pubtypes_end", ModuleCU->getID()),
3018 Asm->GetTempSymbol("pubtypes_begin", ModuleCU->getID()), 4);
Devang Patelec13b4f2009-11-24 01:14:22 +00003019
Chris Lattnerb93558d2010-04-04 19:25:43 +00003020 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
3021 ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00003022
Chris Lattner97c69b72010-04-04 18:52:31 +00003023 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
Devang Patel40b6cda2010-02-02 03:47:27 +00003024 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patelec13b4f2009-11-24 01:14:22 +00003025
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003026 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerc06b4742010-04-04 23:25:33 +00003027 Asm->EmitSectionOffset(Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
3028 DwarfInfoSectionSym);
Devang Patelec13b4f2009-11-24 01:14:22 +00003029
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003030 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00003031 Asm->EmitLabelDifference(Asm->GetTempSymbol("info_end", ModuleCU->getID()),
3032 Asm->GetTempSymbol("info_begin", ModuleCU->getID()),
3033 4);
Devang Patelec13b4f2009-11-24 01:14:22 +00003034
3035 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
3036 for (StringMap<DIE*>::const_iterator
3037 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
3038 const char *Name = GI->getKeyData();
3039 DIE * Entity = GI->second;
3040
Chris Lattner97c69b72010-04-04 18:52:31 +00003041 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Devang Patel40b6cda2010-02-02 03:47:27 +00003042 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00003043
Chris Lattner97c69b72010-04-04 18:52:31 +00003044 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Devang Patel0ceb4892010-02-02 03:37:03 +00003045 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patelec13b4f2009-11-24 01:14:22 +00003046 }
3047
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003048 Asm->OutStreamer.AddComment("End Mark");
3049 Asm->EmitInt32(0);
Chris Lattnerb93558d2010-04-04 19:25:43 +00003050 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
3051 ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00003052}
3053
Devang Patelc50078e2009-11-21 02:48:08 +00003054/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling55fccda2009-05-20 23:21:38 +00003055///
Devang Patelc50078e2009-11-21 02:48:08 +00003056void DwarfDebug::emitDebugStr() {
Bill Wendling55fccda2009-05-20 23:21:38 +00003057 // Check to see if it is worth the effort.
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00003058 if (StringPool.empty()) return;
3059
3060 // Start the dwarf str section.
3061 Asm->OutStreamer.SwitchSection(
Chris Lattner73266f92009-08-19 05:49:37 +00003062 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00003063
Chris Lattner0f093f82010-03-13 02:17:42 +00003064 // Get all of the string pool entries and put them in an array by their ID so
3065 // we can sort them.
3066 SmallVector<std::pair<unsigned,
3067 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
3068
3069 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
3070 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
3071 Entries.push_back(std::make_pair(I->second.second, &*I));
3072
3073 array_pod_sort(Entries.begin(), Entries.end());
3074
3075 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00003076 // Emit a label for reference from debug information entries.
Chris Lattner0f093f82010-03-13 02:17:42 +00003077 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00003078
3079 // Emit the string itself.
Chris Lattner0f093f82010-03-13 02:17:42 +00003080 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling55fccda2009-05-20 23:21:38 +00003081 }
3082}
3083
Devang Patelc50078e2009-11-21 02:48:08 +00003084/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling55fccda2009-05-20 23:21:38 +00003085///
Devang Patelc50078e2009-11-21 02:48:08 +00003086void DwarfDebug::emitDebugLoc() {
Bill Wendling55fccda2009-05-20 23:21:38 +00003087 // Start the dwarf loc section.
Chris Lattner73266f92009-08-19 05:49:37 +00003088 Asm->OutStreamer.SwitchSection(
3089 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00003090}
3091
3092/// EmitDebugARanges - Emit visible names into a debug aranges section.
3093///
3094void DwarfDebug::EmitDebugARanges() {
3095 // Start the dwarf aranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00003096 Asm->OutStreamer.SwitchSection(
3097 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00003098}
3099
Devang Patelc50078e2009-11-21 02:48:08 +00003100/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling55fccda2009-05-20 23:21:38 +00003101///
Devang Patelc50078e2009-11-21 02:48:08 +00003102void DwarfDebug::emitDebugRanges() {
Bill Wendling55fccda2009-05-20 23:21:38 +00003103 // Start the dwarf ranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00003104 Asm->OutStreamer.SwitchSection(
3105 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00003106}
3107
Devang Patelc50078e2009-11-21 02:48:08 +00003108/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling55fccda2009-05-20 23:21:38 +00003109///
Devang Patelc50078e2009-11-21 02:48:08 +00003110void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbar41716322009-09-19 20:40:05 +00003111 if (const MCSection *LineInfo =
Chris Lattner72d228d2009-08-02 07:24:22 +00003112 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling55fccda2009-05-20 23:21:38 +00003113 // Start the dwarf macinfo section.
Chris Lattner73266f92009-08-19 05:49:37 +00003114 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling55fccda2009-05-20 23:21:38 +00003115 }
3116}
3117
Devang Patelc50078e2009-11-21 02:48:08 +00003118/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling55fccda2009-05-20 23:21:38 +00003119/// Section Header:
3120/// 1. length of section
3121/// 2. Dwarf version number
3122/// 3. address size.
3123///
3124/// Entries (one "entry" for each function that was inlined):
3125///
3126/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3127/// otherwise offset into __debug_str for regular function name.
3128/// 2. offset into __debug_str section for regular function name.
3129/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3130/// instances for the function.
3131///
3132/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3133/// inlined instance; the die_offset points to the inlined_subroutine die in the
3134/// __debug_info section, and the low_pc is the starting address for the
3135/// inlining instance.
Devang Patelc50078e2009-11-21 02:48:08 +00003136void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnerbc0027b2010-04-05 00:13:49 +00003137 if (!Asm->MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00003138 return;
3139
Devang Patel5a3d37f2009-06-29 20:45:18 +00003140 if (!ModuleCU)
Bill Wendling55fccda2009-05-20 23:21:38 +00003141 return;
3142
Chris Lattner73266f92009-08-19 05:49:37 +00003143 Asm->OutStreamer.SwitchSection(
3144 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerad653482010-01-22 22:09:00 +00003145
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003146 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnerfd2a3f62010-04-04 19:58:12 +00003147 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
3148 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling55fccda2009-05-20 23:21:38 +00003149
Chris Lattnerb93558d2010-04-04 19:25:43 +00003150 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00003151
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003152 Asm->OutStreamer.AddComment("Dwarf Version");
3153 Asm->EmitInt16(dwarf::DWARF_VERSION);
3154 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chris Lattnerbc0027b2010-04-05 00:13:49 +00003155 Asm->EmitInt8(Asm->getTargetData().getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00003156
Devang Patel90a0fe32009-11-10 23:06:00 +00003157 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3158 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach652b7432009-11-21 23:12:12 +00003159
Devang Patel90a0fe32009-11-10 23:06:00 +00003160 MDNode *Node = *I;
Devang Patel7d707f92010-01-19 06:19:05 +00003161 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbachb23f2422009-11-22 19:20:36 +00003162 = InlineInfo.find(Node);
Devang Patel90a0fe32009-11-10 23:06:00 +00003163 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel15e723d2009-08-28 23:24:31 +00003164 DISubprogram SP(Node);
Devang Patel7f75bbe2009-11-25 17:36:49 +00003165 StringRef LName = SP.getLinkageName();
3166 StringRef Name = SP.getName();
Bill Wendling55fccda2009-05-20 23:21:38 +00003167
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003168 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattnercc564642010-01-23 03:11:46 +00003169 if (LName.empty()) {
3170 Asm->OutStreamer.EmitBytes(Name, 0);
3171 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3172 } else
Chris Lattnerc06b4742010-04-04 23:25:33 +00003173 Asm->EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
3174 DwarfStrSectionSym);
Devang Patel90a0fe32009-11-10 23:06:00 +00003175
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003176 Asm->OutStreamer.AddComment("Function name");
Chris Lattnerc06b4742010-04-04 23:25:33 +00003177 Asm->EmitSectionOffset(getStringPoolEntry(Name), DwarfStrSectionSym);
Chris Lattner26be1c12010-04-04 19:09:29 +00003178 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling55fccda2009-05-20 23:21:38 +00003179
Devang Patel90a0fe32009-11-10 23:06:00 +00003180 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling55fccda2009-05-20 23:21:38 +00003181 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner97c69b72010-04-04 18:52:31 +00003182 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattneread58652010-03-09 00:31:02 +00003183 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00003184
Chris Lattner97c69b72010-04-04 18:52:31 +00003185 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattnerbc0027b2010-04-05 00:13:49 +00003186 Asm->OutStreamer.EmitSymbolValue(LI->first,
3187 Asm->getTargetData().getPointerSize(),0);
Bill Wendling55fccda2009-05-20 23:21:38 +00003188 }
3189 }
3190
Chris Lattnerb93558d2010-04-04 19:25:43 +00003191 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00003192}