blob: c935d3a3312fad7e56813ccf109c3193ac5a9baf [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"
16#include "llvm/Module.h"
David Greened87baff2009-08-19 21:52:55 +000017#include "llvm/CodeGen/MachineFunction.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000018#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattner855e8f52010-03-09 01:58:53 +000019#include "llvm/MC/MCAsmInfo.h"
Chris Lattnere6ad12f2009-07-31 18:48:30 +000020#include "llvm/MC/MCSection.h"
Chris Lattner73266f92009-08-19 05:49:37 +000021#include "llvm/MC/MCStreamer.h"
Chris Lattner855e8f52010-03-09 01:58:53 +000022#include "llvm/MC/MCSymbol.h"
Chris Lattner31a54742010-01-16 21:57:06 +000023#include "llvm/Target/Mangler.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000024#include "llvm/Target/TargetData.h"
25#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000026#include "llvm/Target/TargetLoweringObjectFile.h"
27#include "llvm/Target/TargetRegisterInfo.h"
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +000028#include "llvm/ADT/STLExtras.h"
Chris Lattnerf5377682009-08-24 03:52:50 +000029#include "llvm/ADT/StringExtras.h"
Daniel Dunbarc74255d2009-10-13 06:47:08 +000030#include "llvm/Support/Debug.h"
31#include "llvm/Support/ErrorHandling.h"
Devang Patelae89d3b2010-01-26 21:39:14 +000032#include "llvm/Support/ValueHandle.h"
Chris Lattnerad653482010-01-22 22:09:00 +000033#include "llvm/Support/FormattedStream.h"
Chris Lattnere6ad12f2009-07-31 18:48:30 +000034#include "llvm/Support/Timer.h"
35#include "llvm/System/Path.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000036using namespace llvm;
37
Bill Wendlingb12b3d72009-05-15 09:23:25 +000038//===----------------------------------------------------------------------===//
39
40/// Configuration values for initial hash set sizes (log2).
41///
Bill Wendlingb12b3d72009-05-15 09:23:25 +000042static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendlingb12b3d72009-05-15 09:23:25 +000043
44namespace llvm {
45
46//===----------------------------------------------------------------------===//
47/// CompileUnit - This dwarf writer support class manages information associate
48/// with a source file.
Nick Lewyckyee68f452009-11-17 08:11:44 +000049class CompileUnit {
Bill Wendlingb12b3d72009-05-15 09:23:25 +000050 /// ID - File identifier for source.
51 ///
52 unsigned ID;
53
54 /// Die - Compile unit debug information entry.
55 ///
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +000056 const OwningPtr<DIE> CUDie;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000057
Jeffrey Yasskinc3545712010-03-11 18:29:55 +000058 /// IndexTyDie - An anonymous type for index type. Owned by CUDie.
Devang Patel1233f912009-11-21 00:31:03 +000059 DIE *IndexTyDie;
60
Bill Wendlingb12b3d72009-05-15 09:23:25 +000061 /// GVToDieMap - Tracks the mapping of unit level debug informaton
62 /// variables to debug information entries.
Devang Patel15e723d2009-08-28 23:24:31 +000063 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel7d707f92010-01-19 06:19:05 +000064 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000065
66 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
67 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel15e723d2009-08-28 23:24:31 +000068 /// FIXME : Rename
Devang Patel7d707f92010-01-19 06:19:05 +000069 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000070
71 /// Globals - A map of globally visible named entities for this unit.
72 ///
73 StringMap<DIE*> Globals;
74
Devang Patelec13b4f2009-11-24 01:14:22 +000075 /// GlobalTypes - A map of globally visible types for this unit.
76 ///
77 StringMap<DIE*> GlobalTypes;
78
Bill Wendlingb12b3d72009-05-15 09:23:25 +000079public:
80 CompileUnit(unsigned I, DIE *D)
Devang Patelc50078e2009-11-21 02:48:08 +000081 : ID(I), CUDie(D), IndexTyDie(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +000082
83 // Accessors.
Devang Patelec13b4f2009-11-24 01:14:22 +000084 unsigned getID() const { return ID; }
Jeffrey Yasskinc3545712010-03-11 18:29:55 +000085 DIE* getCUDie() const { return CUDie.get(); }
Devang Patelec13b4f2009-11-24 01:14:22 +000086 const StringMap<DIE*> &getGlobals() const { return Globals; }
87 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000088
89 /// hasContent - Return true if this compile unit has something to write out.
90 ///
Devang Patelc50078e2009-11-21 02:48:08 +000091 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000092
Devang Patelc50078e2009-11-21 02:48:08 +000093 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendlingb12b3d72009-05-15 09:23:25 +000094 ///
Devang Patelc50078e2009-11-21 02:48:08 +000095 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000096
Devang Patelec13b4f2009-11-24 01:14:22 +000097 /// addGlobalType - Add a new global type to the compile unit.
98 ///
99 void addGlobalType(const std::string &Name, DIE *Die) {
100 GlobalTypes[Name] = Die;
101 }
102
Devang Pateld90672c2009-11-20 21:37:22 +0000103 /// getDIE - Returns the debug information entry map slot for the
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000104 /// specified debug variable.
Devang Pateld90672c2009-11-20 21:37:22 +0000105 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach652b7432009-11-21 23:12:12 +0000106
Devang Pateld90672c2009-11-20 21:37:22 +0000107 /// insertDIE - Insert DIE into the map.
108 void insertDIE(MDNode *N, DIE *D) {
109 GVToDieMap.insert(std::make_pair(N, D));
110 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000111
Devang Pateld90672c2009-11-20 21:37:22 +0000112 /// getDIEEntry - Returns the debug information entry for the speciefied
113 /// debug variable.
Devang Patel8287d662009-12-15 19:16:48 +0000114 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel7d707f92010-01-19 06:19:05 +0000115 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel8287d662009-12-15 19:16:48 +0000116 if (I == GVToDIEEntryMap.end())
117 return NULL;
118 return I->second;
119 }
Devang Pateld90672c2009-11-20 21:37:22 +0000120
121 /// insertDIEEntry - Insert debug information entry into the map.
122 void insertDIEEntry(MDNode *N, DIEEntry *E) {
123 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000124 }
125
Devang Patelc50078e2009-11-21 02:48:08 +0000126 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000127 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000128 void addDie(DIE *Buffer) {
129 this->CUDie->addChild(Buffer);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000130 }
Devang Patel1233f912009-11-21 00:31:03 +0000131
132 // getIndexTyDie - Get an anonymous type for index type.
133 DIE *getIndexTyDie() {
134 return IndexTyDie;
135 }
136
Jim Grosbachb23f2422009-11-22 19:20:36 +0000137 // setIndexTyDie - Set D as anonymous type for index which can be reused
138 // later.
Devang Patel1233f912009-11-21 00:31:03 +0000139 void setIndexTyDie(DIE *D) {
140 IndexTyDie = D;
141 }
142
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000143};
144
145//===----------------------------------------------------------------------===//
146/// DbgVariable - This class is used to track local variable information.
147///
Devang Patel4cb32c32009-11-16 21:53:40 +0000148class DbgVariable {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000149 DIVariable Var; // Variable Descriptor.
150 unsigned FrameIndex; // Variable frame index.
Devang Patel14da02f2010-03-15 18:33:46 +0000151 const MachineInstr *DbgValueMInsn; // DBG_VALUE
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000152 DbgVariable *const AbstractVar; // Abstract variable for this variable.
Devang Patel90a0fe32009-11-10 23:06:00 +0000153 DIE *TheDIE;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000154public:
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000155 // AbsVar may be NULL.
156 DbgVariable(DIVariable V, unsigned I, DbgVariable *AbsVar)
Devang Patel14da02f2010-03-15 18:33:46 +0000157 : Var(V), FrameIndex(I), DbgValueMInsn(0), AbstractVar(AbsVar), TheDIE(0) {}
158 DbgVariable(DIVariable V, const MachineInstr *MI, DbgVariable *AbsVar)
159 : Var(V), FrameIndex(0), DbgValueMInsn(MI), AbstractVar(AbsVar), TheDIE(0)
160 {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000161
162 // Accessors.
Devang Patel90a0fe32009-11-10 23:06:00 +0000163 DIVariable getVariable() const { return Var; }
164 unsigned getFrameIndex() const { return FrameIndex; }
Devang Patel14da02f2010-03-15 18:33:46 +0000165 const MachineInstr *getDbgValue() const { return DbgValueMInsn; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000166 DbgVariable *getAbstractVariable() const { return AbstractVar; }
167 void setDIE(DIE *D) { TheDIE = D; }
168 DIE *getDIE() const { return TheDIE; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000169};
170
171//===----------------------------------------------------------------------===//
172/// DbgScope - This class is used to track scope information.
173///
Devang Patel4cb32c32009-11-16 21:53:40 +0000174class DbgScope {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000175 DbgScope *Parent; // Parent to this scope.
Jim Grosbach652b7432009-11-21 23:12:12 +0000176 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patelae89d3b2010-01-26 21:39:14 +0000177 // Location at which this scope is inlined.
178 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel90a0fe32009-11-10 23:06:00 +0000179 bool AbstractScope; // Abstract Scope
Chris Lattner855e8f52010-03-09 01:58:53 +0000180 MCSymbol *StartLabel; // Label ID of the beginning of scope.
181 MCSymbol *EndLabel; // Label ID of the end of scope.
Devang Patel90ecd192009-10-01 18:25:23 +0000182 const MachineInstr *LastInsn; // Last instruction of this scope.
183 const MachineInstr *FirstInsn; // First instruction of this scope.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000184 // Scopes defined in scope. Contents not owned.
185 SmallVector<DbgScope *, 4> Scopes;
186 // Variables declared in scope. Contents owned.
187 SmallVector<DbgVariable *, 8> Variables;
Daniel Dunbar41716322009-09-19 20:40:05 +0000188
Owen Anderson696d4862009-06-24 22:53:20 +0000189 // Private state for dump()
190 mutable unsigned IndentLevel;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000191public:
Devang Pateldd7bb432009-10-14 21:08:09 +0000192 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel90a0fe32009-11-10 23:06:00 +0000193 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattner855e8f52010-03-09 01:58:53 +0000194 StartLabel(0), EndLabel(0),
Devang Pateldd7bb432009-10-14 21:08:09 +0000195 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000196 virtual ~DbgScope();
197
198 // Accessors.
199 DbgScope *getParent() const { return Parent; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000200 void setParent(DbgScope *P) { Parent = P; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000201 DIDescriptor getDesc() const { return Desc; }
Chris Lattner0f093f82010-03-13 02:17:42 +0000202 MDNode *getInlinedAt() const { return InlinedAtLocation; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000203 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattner855e8f52010-03-09 01:58:53 +0000204 MCSymbol *getStartLabel() const { return StartLabel; }
205 MCSymbol *getEndLabel() const { return EndLabel; }
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000206 const SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
207 const SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattner855e8f52010-03-09 01:58:53 +0000208 void setStartLabel(MCSymbol *S) { StartLabel = S; }
209 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Patel90ecd192009-10-01 18:25:23 +0000210 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
211 const MachineInstr *getLastInsn() { return LastInsn; }
212 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000213 void setAbstractScope() { AbstractScope = true; }
214 bool isAbstractScope() const { return AbstractScope; }
Devang Patel90ecd192009-10-01 18:25:23 +0000215 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000216
Devang Patelc50078e2009-11-21 02:48:08 +0000217 /// addScope - Add a scope to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000218 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000219 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000220
Devang Patelc50078e2009-11-21 02:48:08 +0000221 /// addVariable - Add a variable to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000222 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000223 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000224
Devang Patel98e77302010-01-04 20:44:00 +0000225 void fixInstructionMarkers(DenseMap<const MachineInstr *,
226 unsigned> &MIIndexMap) {
Devang Patel6a260102009-10-01 20:31:14 +0000227 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel98e77302010-01-04 20:44:00 +0000228
229 // Use the end of last child scope as end of this scope.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000230 const SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patel3b620bf2010-01-05 16:59:17 +0000231 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel98e77302010-01-04 20:44:00 +0000232 unsigned LIndex = 0;
233 if (Scopes.empty()) {
234 assert (getLastInsn() && "Inner most scope does not have last insn!");
235 return;
236 }
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000237 for (SmallVector<DbgScope *, 4>::const_iterator SI = Scopes.begin(),
Devang Patel98e77302010-01-04 20:44:00 +0000238 SE = Scopes.end(); SI != SE; ++SI) {
239 DbgScope *DS = *SI;
240 DS->fixInstructionMarkers(MIIndexMap);
241 const MachineInstr *DSLastInsn = DS->getLastInsn();
242 unsigned DSI = MIIndexMap[DSLastInsn];
243 if (DSI > LIndex) {
244 LastInsn = DSLastInsn;
245 LIndex = DSI;
246 }
247 }
Devang Patel067e6d92010-02-17 02:20:34 +0000248
249 unsigned CurrentLastInsnIndex = 0;
250 if (const MachineInstr *CL = getLastInsn())
251 CurrentLastInsnIndex = MIIndexMap[CL];
252 unsigned FIndex = MIIndexMap[getFirstInsn()];
253
254 // Set LastInsn as the last instruction for this scope only if
255 // it follows
256 // 1) this scope's first instruction and
257 // 2) current last instruction for this scope, if any.
258 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
259 setLastInsn(LastInsn);
Devang Patel6a260102009-10-01 20:31:14 +0000260 }
261
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000262#ifndef NDEBUG
263 void dump() const;
264#endif
265};
266
267#ifndef NDEBUG
268void DbgScope::dump() const {
David Greenedbc06132009-12-24 00:31:35 +0000269 raw_ostream &err = dbgs();
Chris Lattnerebb8c082009-08-23 00:51:00 +0000270 err.indent(IndentLevel);
Devang Patel90a0fe32009-11-10 23:06:00 +0000271 MDNode *N = Desc.getNode();
272 N->dump();
Chris Lattner855e8f52010-03-09 01:58:53 +0000273 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patel90a0fe32009-11-10 23:06:00 +0000274 if (AbstractScope)
275 err << "Abstract Scope\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000276
277 IndentLevel += 2;
Devang Patel90a0fe32009-11-10 23:06:00 +0000278 if (!Scopes.empty())
279 err << "Children ...\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000280 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
281 if (Scopes[i] != this)
282 Scopes[i]->dump();
283
284 IndentLevel -= 2;
285}
286#endif
287
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000288DbgScope::~DbgScope() {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000289 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
290 delete Variables[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000291}
292
293} // end llvm namespace
294
Chris Lattner621c44d2009-08-22 20:48:53 +0000295DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattner819669a2010-03-09 00:00:15 +0000296 : DwarfPrinter(OS, A, T), ModuleCU(0),
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000297 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Chris Lattner0f093f82010-03-13 02:17:42 +0000298 DIEValues(), SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel90a0fe32009-11-10 23:06:00 +0000299 CurrentFnDbgScope(0), DebugTimer(0) {
Chris Lattner0f093f82010-03-13 02:17:42 +0000300 NextStringPoolNumber = 0;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000301 if (TimePassesIsEnabled)
Chris Lattner13bf2e52009-12-28 07:41:18 +0000302 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000303}
304DwarfDebug::~DwarfDebug() {
Devang Patelc50078e2009-11-21 02:48:08 +0000305 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
306 delete DIEValues[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000307
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000308 delete DebugTimer;
309}
310
Chris Lattner0f093f82010-03-13 02:17:42 +0000311MCSymbol *DwarfDebug::getStringPoolEntry(StringRef Str) {
312 std::pair<MCSymbol*, unsigned> &Entry = StringPool[Str];
313 if (Entry.first) return Entry.first;
314
315 Entry.second = NextStringPoolNumber++;
316 return Entry.first = getDWLabel("string", Entry.second);
317}
318
319
Devang Patelc50078e2009-11-21 02:48:08 +0000320/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000321///
Devang Patelc50078e2009-11-21 02:48:08 +0000322void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000323 // Profile the node so that we can make it unique.
324 FoldingSetNodeID ID;
325 Abbrev.Profile(ID);
326
327 // Check the set for priors.
328 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
329
330 // If it's newly added.
331 if (InSet == &Abbrev) {
332 // Add to abbreviation list.
333 Abbreviations.push_back(&Abbrev);
334
335 // Assign the vector position + 1 as its number.
336 Abbrev.setNumber(Abbreviations.size());
337 } else {
338 // Assign existing abbreviation number.
339 Abbrev.setNumber(InSet->getNumber());
340 }
341}
342
Devang Patelc50078e2009-11-21 02:48:08 +0000343/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling0d3db8b2009-05-20 23:24:48 +0000344/// information entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000345DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel1233f912009-11-21 00:31:03 +0000346 DIEEntry *Value = new DIEEntry(Entry);
Devang Patelc50078e2009-11-21 02:48:08 +0000347 DIEValues.push_back(Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000348 return Value;
349}
350
Devang Patelc50078e2009-11-21 02:48:08 +0000351/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000352///
Devang Patelc50078e2009-11-21 02:48:08 +0000353void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000354 unsigned Form, uint64_t Integer) {
355 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel1233f912009-11-21 00:31:03 +0000356 DIEValue *Value = new DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000357 DIEValues.push_back(Value);
358 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000359}
360
Devang Patelc50078e2009-11-21 02:48:08 +0000361/// addSInt - Add an signed integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000362///
Devang Patelc50078e2009-11-21 02:48:08 +0000363void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000364 unsigned Form, int64_t Integer) {
365 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel1233f912009-11-21 00:31:03 +0000366 DIEValue *Value = new DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000367 DIEValues.push_back(Value);
368 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000369}
370
Devang Pateldf0f2152009-12-02 15:25:16 +0000371/// addString - Add a string attribute data and value. DIEString only
372/// keeps string reference.
Devang Patelc50078e2009-11-21 02:48:08 +0000373void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnercc564642010-01-23 03:11:46 +0000374 StringRef String) {
Devang Patel1233f912009-11-21 00:31:03 +0000375 DIEValue *Value = new DIEString(String);
Devang Patelc50078e2009-11-21 02:48:08 +0000376 DIEValues.push_back(Value);
377 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000378}
379
Devang Patelc50078e2009-11-21 02:48:08 +0000380/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000381///
Devang Patelc50078e2009-11-21 02:48:08 +0000382void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +0000383 const MCSymbol *Label) {
Chris Lattner703d12e2010-03-08 22:31:46 +0000384 DIEValue *Value = new DIELabel(Label);
Devang Patelc50078e2009-11-21 02:48:08 +0000385 DIEValues.push_back(Value);
386 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000387}
388
Devang Patelc50078e2009-11-21 02:48:08 +0000389/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000390///
Devang Patelc50078e2009-11-21 02:48:08 +0000391void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +0000392 const MCSymbol *Label,const MCSymbol *Section,
Chris Lattnerf8bfa882010-03-08 23:23:25 +0000393 bool isEH) {
394 DIEValue *Value = new DIESectionOffset(Label, Section, isEH);
Devang Patelc50078e2009-11-21 02:48:08 +0000395 DIEValues.push_back(Value);
396 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) {
Devang Patel1233f912009-11-21 00:31:03 +0000403 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patelc50078e2009-11-21 02:48:08 +0000404 DIEValues.push_back(Value);
405 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000406}
407
Devang Patelc50078e2009-11-21 02:48:08 +0000408/// addBlock - Add block data.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000409///
Devang Patelc50078e2009-11-21 02:48:08 +0000410void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000411 DIEBlock *Block) {
412 Block->ComputeSize(TD);
Devang Patelc50078e2009-11-21 02:48:08 +0000413 DIEValues.push_back(Block);
414 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000415}
416
Devang Patelc50078e2009-11-21 02:48:08 +0000417/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000418/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000419void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000420 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000421 if (!V->getCompileUnit().Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000422 return;
423
424 unsigned Line = V->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000425 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
426 V->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000427 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000428 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
429 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000430}
431
Devang Patelc50078e2009-11-21 02:48:08 +0000432/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000433/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000434void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000435 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000436 if (!G->getCompileUnit().Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000437 return;
438
439 unsigned Line = G->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000440 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
441 G->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000442 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000443 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
444 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000445}
Devang Patel318d70d2009-08-31 22:47:13 +0000446
Devang Patelc50078e2009-11-21 02:48:08 +0000447/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000448/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000449void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel318d70d2009-08-31 22:47:13 +0000450 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000451 if (!SP->getCompileUnit().Verify())
Devang Patel318d70d2009-08-31 22:47:13 +0000452 return;
Caroline Tice9da96d82009-09-11 18:25:54 +0000453 // If the line number is 0, don't add it.
454 if (SP->getLineNumber() == 0)
455 return;
456
Devang Patel318d70d2009-08-31 22:47:13 +0000457 unsigned Line = SP->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000458 if (!SP->getContext().Verify())
459 return;
460 unsigned FileID = GetOrCreateSourceID(SP->getContext().getDirectory(),
461 SP->getContext().getFilename());
Devang Patel318d70d2009-08-31 22:47:13 +0000462 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000463 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
464 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel318d70d2009-08-31 22:47:13 +0000465}
466
Devang Patelc50078e2009-11-21 02:48:08 +0000467/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000468/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000469void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000470 // If there is no compile unit specified, don't add a line #.
471 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel9e592492010-03-08 20:52:55 +0000472 if (!CU.Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000473 return;
474
475 unsigned Line = Ty->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000476 if (!Ty->getContext().Verify())
477 return;
478 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
479 Ty->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000480 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000481 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
482 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000483}
484
Devang Patel8287d662009-12-15 19:16:48 +0000485/// addSourceLine - Add location information to specified debug information
486/// entry.
487void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
488 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000489 if (!NS->getCompileUnit().Verify())
Devang Patel8287d662009-12-15 19:16:48 +0000490 return;
491
492 unsigned Line = NS->getLineNumber();
493 StringRef FN = NS->getFilename();
494 StringRef Dir = NS->getDirectory();
495
496 unsigned FileID = GetOrCreateSourceID(Dir, FN);
497 assert(FileID && "Invalid file id");
498 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
499 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
500}
501
Caroline Tice248d5572009-08-31 21:19:37 +0000502/* Byref variables, in Blocks, are declared by the programmer as
503 "SomeType VarName;", but the compiler creates a
504 __Block_byref_x_VarName struct, and gives the variable VarName
505 either the struct, or a pointer to the struct, as its type. This
506 is necessary for various behind-the-scenes things the compiler
507 needs to do with by-reference variables in blocks.
508
509 However, as far as the original *programmer* is concerned, the
510 variable should still have type 'SomeType', as originally declared.
511
512 The following function dives into the __Block_byref_x_VarName
513 struct to find the original type of the variable. This will be
514 passed back to the code generating the type for the Debug
515 Information Entry for the variable 'VarName'. 'VarName' will then
516 have the original type 'SomeType' in its debug information.
517
518 The original type 'SomeType' will be the type of the field named
519 'VarName' inside the __Block_byref_x_VarName struct.
520
521 NOTE: In order for this to not completely fail on the debugger
522 side, the Debug Information Entry for the variable VarName needs to
523 have a DW_AT_location that tells the debugger how to unwind through
524 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patelc50078e2009-11-21 02:48:08 +0000525 value of the variable. The function addBlockByrefType does this. */
Caroline Tice248d5572009-08-31 21:19:37 +0000526
527/// Find the type the programmer originally declared the variable to be
528/// and return that type.
529///
Devang Patelc50078e2009-11-21 02:48:08 +0000530DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Tice248d5572009-08-31 21:19:37 +0000531
532 DIType subType = Ty;
533 unsigned tag = Ty.getTag();
534
535 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000536 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000537 subType = DTy.getTypeDerivedFrom();
538 }
539
540 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000541 DIArray Elements = blockStruct.getTypeArray();
542
Caroline Tice248d5572009-08-31 21:19:37 +0000543 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
544 DIDescriptor Element = Elements.getElement(i);
545 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000546 if (Name == DT.getName())
Caroline Tice248d5572009-08-31 21:19:37 +0000547 return (DT.getTypeDerivedFrom());
548 }
549
550 return Ty;
551}
552
Devang Patelc50078e2009-11-21 02:48:08 +0000553/// addComplexAddress - Start with the address based on the location provided,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000554/// and generate the DWARF information necessary to find the actual variable
555/// given the extra address information encoded in the DIVariable, starting from
556/// the starting location. Add the DWARF information to the die.
557///
Devang Patelc50078e2009-11-21 02:48:08 +0000558void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000559 unsigned Attribute,
560 const MachineLocation &Location) {
561 const DIVariable &VD = DV->getVariable();
562 DIType Ty = VD.getType();
563
564 // Decode the original location, and use that as the start of the byref
565 // variable's location.
566 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
567 DIEBlock *Block = new DIEBlock();
568
569 if (Location.isReg()) {
570 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000571 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000572 } else {
573 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000574 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
575 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000576 }
577 } else {
578 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000579 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000580 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000581 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
582 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000583 }
584
Devang Patelc50078e2009-11-21 02:48:08 +0000585 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000586 }
587
588 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
589 uint64_t Element = VD.getAddrElement(i);
590
591 if (Element == DIFactory::OpPlus) {
Devang Patelc50078e2009-11-21 02:48:08 +0000592 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
593 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000594 } else if (Element == DIFactory::OpDeref) {
Devang Patelc50078e2009-11-21 02:48:08 +0000595 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000596 } else llvm_unreachable("unknown DIFactory Opcode");
597 }
598
599 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000600 addBlock(Die, Attribute, 0, Block);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000601}
602
Caroline Tice248d5572009-08-31 21:19:37 +0000603/* Byref variables, in Blocks, are declared by the programmer as "SomeType
604 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
605 gives the variable VarName either the struct, or a pointer to the struct, as
606 its type. This is necessary for various behind-the-scenes things the
607 compiler needs to do with by-reference variables in Blocks.
608
609 However, as far as the original *programmer* is concerned, the variable
610 should still have type 'SomeType', as originally declared.
611
Devang Patelc50078e2009-11-21 02:48:08 +0000612 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000613 struct to find the original type of the variable, which is then assigned to
614 the variable's Debug Information Entry as its real type. So far, so good.
615 However now the debugger will expect the variable VarName to have the type
616 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbar41716322009-09-19 20:40:05 +0000617 expression that explains to the debugger how to navigate through the
Caroline Tice248d5572009-08-31 21:19:37 +0000618 pointers and struct to find the actual variable of type SomeType.
619
620 The following function does just that. We start by getting
621 the "normal" location for the variable. This will be the location
622 of either the struct __Block_byref_x_VarName or the pointer to the
623 struct __Block_byref_x_VarName.
624
625 The struct will look something like:
626
627 struct __Block_byref_x_VarName {
628 ... <various fields>
629 struct __Block_byref_x_VarName *forwarding;
630 ... <various other fields>
631 SomeType VarName;
632 ... <maybe more fields>
633 };
634
635 If we are given the struct directly (as our starting point) we
636 need to tell the debugger to:
637
638 1). Add the offset of the forwarding field.
639
Dan Gohmandf1a7ff2010-02-10 16:03:48 +0000640 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000641 struct to use (the real one may have been copied onto the heap).
642
643 3). Add the offset for the field VarName, to find the actual variable.
644
645 If we started with a pointer to the struct, then we need to
646 dereference that pointer first, before the other steps.
647 Translating this into DWARF ops, we will need to append the following
648 to the current location description for the variable:
649
650 DW_OP_deref -- optional, if we start with a pointer
651 DW_OP_plus_uconst <forward_fld_offset>
652 DW_OP_deref
653 DW_OP_plus_uconst <varName_fld_offset>
654
655 That is what this function does. */
656
Devang Patelc50078e2009-11-21 02:48:08 +0000657/// addBlockByrefAddress - Start with the address based on the location
Caroline Tice248d5572009-08-31 21:19:37 +0000658/// provided, and generate the DWARF information necessary to find the
659/// actual Block variable (navigating the Block struct) based on the
660/// starting location. Add the DWARF information to the die. For
661/// more information, read large comment just above here.
662///
Devang Patelc50078e2009-11-21 02:48:08 +0000663void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000664 unsigned Attribute,
665 const MachineLocation &Location) {
Caroline Tice248d5572009-08-31 21:19:37 +0000666 const DIVariable &VD = DV->getVariable();
667 DIType Ty = VD.getType();
668 DIType TmpTy = Ty;
669 unsigned Tag = Ty.getTag();
670 bool isPointer = false;
671
Devang Patel7f75bbe2009-11-25 17:36:49 +0000672 StringRef varName = VD.getName();
Caroline Tice248d5572009-08-31 21:19:37 +0000673
674 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000675 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000676 TmpTy = DTy.getTypeDerivedFrom();
677 isPointer = true;
678 }
679
680 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
681
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000682 // Find the __forwarding field and the variable field in the __Block_byref
683 // struct.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000684 DIArray Fields = blockStruct.getTypeArray();
685 DIDescriptor varField = DIDescriptor();
686 DIDescriptor forwardingField = DIDescriptor();
Caroline Tice248d5572009-08-31 21:19:37 +0000687
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000688 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
689 DIDescriptor Element = Fields.getElement(i);
690 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000691 StringRef fieldName = DT.getName();
692 if (fieldName == "__forwarding")
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000693 forwardingField = Element;
Devang Patel7f75bbe2009-11-25 17:36:49 +0000694 else if (fieldName == varName)
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000695 varField = Element;
696 }
Daniel Dunbar41716322009-09-19 20:40:05 +0000697
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000698 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000699 unsigned int forwardingFieldOffset =
700 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
701 unsigned int varFieldOffset =
702 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Tice248d5572009-08-31 21:19:37 +0000703
Mike Stump2fd84e22009-09-24 23:21:26 +0000704 // Decode the original location, and use that as the start of the byref
705 // variable's location.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000706 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
707 DIEBlock *Block = new DIEBlock();
Caroline Tice248d5572009-08-31 21:19:37 +0000708
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000709 if (Location.isReg()) {
710 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000711 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000712 else {
713 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000714 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
715 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000716 }
717 } else {
718 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000719 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000720 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
722 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000723 }
Caroline Tice248d5572009-08-31 21:19:37 +0000724
Devang Patelc50078e2009-11-21 02:48:08 +0000725 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000726 }
Caroline Tice248d5572009-08-31 21:19:37 +0000727
Mike Stump2fd84e22009-09-24 23:21:26 +0000728 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000729 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000730 if (isPointer)
Devang Patelc50078e2009-11-21 02:48:08 +0000731 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000732
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000733 // Next add the offset for the '__forwarding' field:
734 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
735 // adding the offset if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000736 if (forwardingFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000737 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
738 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000739 }
Caroline Tice248d5572009-08-31 21:19:37 +0000740
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000741 // Now dereference the __forwarding field to get to the real __Block_byref
742 // struct: DW_OP_deref.
Devang Patelc50078e2009-11-21 02:48:08 +0000743 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000744
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000745 // Now that we've got the real __Block_byref... struct, add the offset
746 // for the variable's field to get to the location of the actual variable:
747 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000748 if (varFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000749 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
750 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000751 }
Caroline Tice248d5572009-08-31 21:19:37 +0000752
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000753 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000754 addBlock(Die, Attribute, 0, Block);
Caroline Tice248d5572009-08-31 21:19:37 +0000755}
756
Devang Patelc50078e2009-11-21 02:48:08 +0000757/// addAddress - Add an address attribute to a die based on the location
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000758/// provided.
Devang Patelc50078e2009-11-21 02:48:08 +0000759void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000760 const MachineLocation &Location) {
761 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
762 DIEBlock *Block = new DIEBlock();
763
764 if (Location.isReg()) {
765 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000766 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000767 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000768 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
769 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000770 }
771 } else {
772 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000773 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000774 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000775 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
776 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000777 }
778
Devang Patelc50078e2009-11-21 02:48:08 +0000779 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000780 }
781
Devang Patelc50078e2009-11-21 02:48:08 +0000782 addBlock(Die, Attribute, 0, Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000783}
784
Devang Patel1a8f9a82009-12-10 19:14:49 +0000785/// addToContextOwner - Add Die into the list of its context owner's children.
786void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel9e592492010-03-08 20:52:55 +0000787 if (Context.isType()) {
Devang Patel1a8f9a82009-12-10 19:14:49 +0000788 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
789 ContextDIE->addChild(Die);
Devang Patel8287d662009-12-15 19:16:48 +0000790 } else if (Context.isNameSpace()) {
791 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
792 ContextDIE->addChild(Die);
Devang Patel1a8f9a82009-12-10 19:14:49 +0000793 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
794 ContextDIE->addChild(Die);
795 else
796 ModuleCU->addDie(Die);
797}
798
Devang Patel7f139c12009-12-10 18:05:33 +0000799/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
800/// given DIType.
801DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
802 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
803 if (TyDIE)
804 return TyDIE;
805
806 // Create new type.
807 TyDIE = new DIE(dwarf::DW_TAG_base_type);
808 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
809 if (Ty.isBasicType())
810 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
811 else if (Ty.isCompositeType())
812 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
813 else {
814 assert(Ty.isDerivedType() && "Unknown kind of DIType");
815 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
816 }
817
Devang Patel1a8f9a82009-12-10 19:14:49 +0000818 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel7f139c12009-12-10 18:05:33 +0000819 return TyDIE;
820}
821
Devang Patelc50078e2009-11-21 02:48:08 +0000822/// addType - Add a new type attribute to the specified entity.
Devang Patelfe0be132009-12-09 18:24:21 +0000823void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel9e592492010-03-08 20:52:55 +0000824 if (!Ty.isValid())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000825 return;
826
827 // Check for pre-existence.
Devang Patelfe0be132009-12-09 18:24:21 +0000828 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000829 // If it exists then use the existing value.
Devang Patelc50078e2009-11-21 02:48:08 +0000830 if (Entry) {
831 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000832 return;
833 }
834
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000835 // Construct type.
Devang Patel7f139c12009-12-10 18:05:33 +0000836 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000837
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000838 // Set up proxy.
839 Entry = createDIEEntry(Buffer);
840 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
841
Devang Patelc50078e2009-11-21 02:48:08 +0000842 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000843}
844
Devang Patelc50078e2009-11-21 02:48:08 +0000845/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patelfe0be132009-12-09 18:24:21 +0000846void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000847 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000848 StringRef Name = BTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000849 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +0000850 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000851 BTy.getEncoding());
852
853 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000854 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000855 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000856 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patelc50078e2009-11-21 02:48:08 +0000857 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000858}
859
Devang Patelc50078e2009-11-21 02:48:08 +0000860/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patelfe0be132009-12-09 18:24:21 +0000861void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000862 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000863 StringRef Name = DTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000864 uint64_t Size = DTy.getSizeInBits() >> 3;
865 unsigned Tag = DTy.getTag();
866
867 // FIXME - Workaround for templates.
868 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
869
870 Buffer.setTag(Tag);
871
872 // Map to main type, void will not have a type.
873 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patelfe0be132009-12-09 18:24:21 +0000874 addType(&Buffer, FromTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000875
876 // Add name if not anonymous or intermediate type.
Devang Patel76b80672009-11-30 23:56:56 +0000877 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000878 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000879
880 // Add size if non-zero (derived types might be zero-sized.)
881 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000882 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000883
884 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb125c6e2009-11-23 18:43:37 +0000885 if (!DTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000886 addSourceLine(&Buffer, &DTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000887}
888
Devang Patelc50078e2009-11-21 02:48:08 +0000889/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +0000890void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000891 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000892 StringRef Name = CTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000893
894 uint64_t Size = CTy.getSizeInBits() >> 3;
895 unsigned Tag = CTy.getTag();
896 Buffer.setTag(Tag);
897
898 switch (Tag) {
899 case dwarf::DW_TAG_vector_type:
900 case dwarf::DW_TAG_array_type:
Devang Patelfe0be132009-12-09 18:24:21 +0000901 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000902 break;
903 case dwarf::DW_TAG_enumeration_type: {
904 DIArray Elements = CTy.getTypeArray();
905
906 // Add enumerators to enumeration type.
907 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
908 DIE *ElemDie = NULL;
Devang Patel9e592492010-03-08 20:52:55 +0000909 DIDescriptor Enum(Elements.getElement(i).getNode());
910 if (Enum.isEnumerator()) {
911 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000912 Buffer.addChild(ElemDie);
Devang Patelfb812752009-10-09 17:51:49 +0000913 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000914 }
915 }
916 break;
917 case dwarf::DW_TAG_subroutine_type: {
918 // Add return type.
919 DIArray Elements = CTy.getTypeArray();
920 DIDescriptor RTy = Elements.getElement(0);
Devang Patelfe0be132009-12-09 18:24:21 +0000921 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000922
923 // Add prototype flag.
Devang Patelc50078e2009-11-21 02:48:08 +0000924 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000925
926 // Add arguments.
927 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
928 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
929 DIDescriptor Ty = Elements.getElement(i);
Devang Patelfe0be132009-12-09 18:24:21 +0000930 addType(Arg, DIType(Ty.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000931 Buffer.addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000932 }
933 }
934 break;
935 case dwarf::DW_TAG_structure_type:
936 case dwarf::DW_TAG_union_type:
937 case dwarf::DW_TAG_class_type: {
938 // Add elements to structure type.
939 DIArray Elements = CTy.getTypeArray();
940
941 // A forward struct declared type may not have elements available.
Devang Patel9e592492010-03-08 20:52:55 +0000942 unsigned N = Elements.getNumElements();
943 if (N == 0)
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000944 break;
945
946 // Add elements to structure type.
Devang Patel9e592492010-03-08 20:52:55 +0000947 for (unsigned i = 0; i < N; ++i) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000948 DIDescriptor Element = Elements.getElement(i);
949 DIE *ElemDie = NULL;
Devang Patel9e592492010-03-08 20:52:55 +0000950 if (Element.isSubprogram())
Devang Patel814a12c2009-12-14 16:18:45 +0000951 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel9e592492010-03-08 20:52:55 +0000952 else if (Element.isVariable()) {
Devang Patel423dfa02010-01-30 01:08:30 +0000953 DIVariable DV(Element.getNode());
954 ElemDie = new DIE(dwarf::DW_TAG_variable);
955 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
956 DV.getName());
957 addType(ElemDie, DV.getType());
958 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
959 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
960 addSourceLine(ElemDie, &DV);
Devang Patel9e592492010-03-08 20:52:55 +0000961 } else if (Element.isDerivedType())
Devang Patelfe0be132009-12-09 18:24:21 +0000962 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel9e592492010-03-08 20:52:55 +0000963 else
964 continue;
Devang Patelc50078e2009-11-21 02:48:08 +0000965 Buffer.addChild(ElemDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000966 }
967
Devang Patel20b32102009-08-27 23:51:51 +0000968 if (CTy.isAppleBlockExtension())
Devang Patelc50078e2009-11-21 02:48:08 +0000969 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000970
971 unsigned RLang = CTy.getRunTimeLang();
972 if (RLang)
Devang Patelc50078e2009-11-21 02:48:08 +0000973 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000974 dwarf::DW_FORM_data1, RLang);
Devang Patel5ae52402010-01-26 21:16:06 +0000975
976 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel9e592492010-03-08 20:52:55 +0000977 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patel5ae52402010-01-26 21:16:06 +0000978 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
979 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000980 break;
981 }
982 default:
983 break;
984 }
985
986 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000987 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000988 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000989
Devang Pateldc73c372010-01-29 18:34:58 +0000990 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000991 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
992 // Add size if non-zero (derived types might be zero-sized.)
993 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000994 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000995 else {
996 // Add zero size if it is not a forward declaration.
997 if (CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000998 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000999 else
Devang Patelc50078e2009-11-21 02:48:08 +00001000 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001001 }
1002
1003 // Add source line info if available.
1004 if (!CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +00001005 addSourceLine(&Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001006 }
1007}
1008
Devang Patelc50078e2009-11-21 02:48:08 +00001009/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1010void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001011 int64_t L = SR.getLo();
1012 int64_t H = SR.getHi();
1013 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1014
Devang Patelc50078e2009-11-21 02:48:08 +00001015 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patele7ff5092009-08-14 20:59:16 +00001016 if (L)
Devang Patelc50078e2009-11-21 02:48:08 +00001017 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld3df6972009-12-04 23:10:24 +00001018 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001019
Devang Patelc50078e2009-11-21 02:48:08 +00001020 Buffer.addChild(DW_Subrange);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001021}
1022
Devang Patelc50078e2009-11-21 02:48:08 +00001023/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +00001024void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001025 DICompositeType *CTy) {
1026 Buffer.setTag(dwarf::DW_TAG_array_type);
1027 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001028 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001029
1030 // Emit derived type.
Devang Patelfe0be132009-12-09 18:24:21 +00001031 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001032 DIArray Elements = CTy->getTypeArray();
1033
Devang Patel1233f912009-11-21 00:31:03 +00001034 // Get an anonymous type for index type.
Devang Patelfe0be132009-12-09 18:24:21 +00001035 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel1233f912009-11-21 00:31:03 +00001036 if (!IdxTy) {
1037 // Construct an anonymous type for index type.
1038 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +00001039 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1040 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel1233f912009-11-21 00:31:03 +00001041 dwarf::DW_ATE_signed);
Devang Patelfe0be132009-12-09 18:24:21 +00001042 ModuleCU->addDie(IdxTy);
1043 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel1233f912009-11-21 00:31:03 +00001044 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001045
1046 // Add subranges to array type.
1047 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1048 DIDescriptor Element = Elements.getElement(i);
1049 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001050 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001051 }
1052}
1053
Devang Patelc50078e2009-11-21 02:48:08 +00001054/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel9e592492010-03-08 20:52:55 +00001055DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001056 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel9e592492010-03-08 20:52:55 +00001057 StringRef Name = ETy.getName();
Devang Patelc50078e2009-11-21 02:48:08 +00001058 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel9e592492010-03-08 20:52:55 +00001059 int64_t Value = ETy.getEnumValue();
Devang Patelc50078e2009-11-21 02:48:08 +00001060 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001061 return Enumerator;
1062}
1063
Devang Patel141e1c42010-01-05 01:46:14 +00001064/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1065/// printer to not emit usual symbol prefix before the symbol name is used then
1066/// return linkage name after skipping this special LLVM prefix.
1067static StringRef getRealLinkageName(StringRef LinkageName) {
1068 char One = '\1';
1069 if (LinkageName.startswith(StringRef(&One, 1)))
1070 return LinkageName.substr(1);
1071 return LinkageName;
1072}
1073
Devang Patelc50078e2009-11-21 02:48:08 +00001074/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patelfe0be132009-12-09 18:24:21 +00001075DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbachb23f2422009-11-22 19:20:36 +00001076 // If the global variable was optmized out then no need to create debug info
1077 // entry.
Devang Patel83e42c72009-11-06 17:58:12 +00001078 if (!GV.getGlobal()) return NULL;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001079 if (GV.getDisplayName().empty()) return NULL;
Devang Patelfabc47c2009-11-06 01:30:04 +00001080
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001081 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach652b7432009-11-21 23:12:12 +00001082 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001083 GV.getDisplayName());
1084
Devang Patel7f75bbe2009-11-25 17:36:49 +00001085 StringRef LinkageName = GV.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001086 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001087 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001088 getRealLinkageName(LinkageName));
1089
Devang Patelfe0be132009-12-09 18:24:21 +00001090 addType(GVDie, GV.getType());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001091 if (!GV.isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001092 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1093 addSourceLine(GVDie, &GV);
Devang Patel6bd5cc82009-10-05 23:22:08 +00001094
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001095 return GVDie;
1096}
1097
Devang Patelc50078e2009-11-21 02:48:08 +00001098/// createMemberDIE - Create new member DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001099DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001100 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel7f75bbe2009-11-25 17:36:49 +00001101 StringRef Name = DT.getName();
1102 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001103 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001104
Devang Patelfe0be132009-12-09 18:24:21 +00001105 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001106
Devang Patelc50078e2009-11-21 02:48:08 +00001107 addSourceLine(MemberDie, &DT);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001108
Devang Patel7d9fe582009-11-04 22:06:12 +00001109 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patelc50078e2009-11-21 02:48:08 +00001110 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel7d9fe582009-11-04 22:06:12 +00001111
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001112 uint64_t Size = DT.getSizeInBits();
Devang Patel71842a92009-11-04 23:48:00 +00001113 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001114
1115 if (Size != FieldSize) {
1116 // Handle bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001117 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1118 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001119
1120 uint64_t Offset = DT.getOffsetInBits();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001121 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1122 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer631e3e32010-01-07 17:50:57 +00001123 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001124 Offset -= FieldOffset;
1125
1126 // Maybe we need to work from the other end.
1127 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patelc50078e2009-11-21 02:48:08 +00001128 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001129
Devang Patel7d9fe582009-11-04 22:06:12 +00001130 // Here WD_AT_data_member_location points to the anonymous
1131 // field that includes this bit field.
Devang Patelc50078e2009-11-21 02:48:08 +00001132 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001133
1134 } else
1135 // This is not a bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001136 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001137
Devang Patel84aba942010-02-03 20:08:48 +00001138 if (DT.getTag() == dwarf::DW_TAG_inheritance
1139 && DT.isVirtual()) {
1140
1141 // For C++, virtual base classes are not at fixed offset. Use following
1142 // expression to extract appropriate offset from vtable.
1143 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1144
1145 DIEBlock *VBaseLocationDie = new DIEBlock();
1146 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1147 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1148 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1149 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1150 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1151 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1152 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1153
1154 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1155 VBaseLocationDie);
1156 } else
1157 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001158
1159 if (DT.isProtected())
Devang Patel188c85d2009-12-03 19:11:07 +00001160 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001161 dwarf::DW_ACCESS_protected);
1162 else if (DT.isPrivate())
Devang Patel188c85d2009-12-03 19:11:07 +00001163 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001164 dwarf::DW_ACCESS_private);
Devang Patel188c85d2009-12-03 19:11:07 +00001165 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1166 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1167 dwarf::DW_ACCESS_public);
1168 if (DT.isVirtual())
1169 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1170 dwarf::DW_VIRTUALITY_virtual);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001171 return MemberDie;
1172}
1173
Devang Patel814a12c2009-12-14 16:18:45 +00001174/// createSubprogramDIE - Create new DIE using SP.
1175DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1176 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1177 if (SPDie)
1178 return SPDie;
1179
1180 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel36cd9f82010-03-02 17:58:15 +00001181 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel0ab194f2010-03-02 01:26:20 +00001182 if (!SP.getName().empty())
1183 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001184
Devang Patel7f75bbe2009-11-25 17:36:49 +00001185 StringRef LinkageName = SP.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001186 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001187 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001188 getRealLinkageName(LinkageName));
1189
Devang Patelc50078e2009-11-21 02:48:08 +00001190 addSourceLine(SPDie, &SP);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001191
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001192 // Add prototyped tag, if C or ObjC.
1193 unsigned Lang = SP.getCompileUnit().getLanguage();
1194 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1195 Lang == dwarf::DW_LANG_ObjC)
Devang Patelc50078e2009-11-21 02:48:08 +00001196 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001197
1198 // Add Return Type.
Devang Patelc1df8792009-12-03 01:25:38 +00001199 DICompositeType SPTy = SP.getType();
1200 DIArray Args = SPTy.getTypeArray();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001201 unsigned SPTag = SPTy.getTag();
Devang Patel188c85d2009-12-03 19:11:07 +00001202
Devang Patel9e592492010-03-08 20:52:55 +00001203 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patelfe0be132009-12-09 18:24:21 +00001204 addType(SPDie, SPTy);
Devang Patelc1df8792009-12-03 01:25:38 +00001205 else
Devang Patelfe0be132009-12-09 18:24:21 +00001206 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patelc1df8792009-12-03 01:25:38 +00001207
Devang Patel188c85d2009-12-03 19:11:07 +00001208 unsigned VK = SP.getVirtuality();
1209 if (VK) {
1210 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1211 DIEBlock *Block = new DIEBlock();
1212 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1213 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1214 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel7d707f92010-01-19 06:19:05 +00001215 ContainingTypeMap.insert(std::make_pair(SPDie,
1216 SP.getContainingType().getNode()));
Devang Patel188c85d2009-12-03 19:11:07 +00001217 }
1218
Devang Patel814a12c2009-12-14 16:18:45 +00001219 if (MakeDecl || !SP.isDefinition()) {
Devang Patelc50078e2009-11-21 02:48:08 +00001220 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001221
1222 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patelc1df8792009-12-03 01:25:38 +00001223 // be handled while processing variables.
1224 DICompositeType SPTy = SP.getType();
1225 DIArray Args = SPTy.getTypeArray();
1226 unsigned SPTag = SPTy.getTag();
1227
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001228 if (SPTag == dwarf::DW_TAG_subroutine_type)
1229 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1230 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelc5dc7252010-02-06 01:02:37 +00001231 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1232 addType(Arg, ATy);
1233 if (ATy.isArtificial())
1234 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelc50078e2009-11-21 02:48:08 +00001235 SPDie->addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001236 }
1237 }
1238
Devang Patelbf7d00a2010-02-03 19:57:19 +00001239 if (SP.isArtificial())
1240 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1241
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001242 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001243 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001244 return SPDie;
1245}
1246
Devang Patel90a0fe32009-11-10 23:06:00 +00001247/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1248/// Initialize scope and update scope hierarchy.
1249DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1250 MDNode *InlinedAt) {
1251 assert (N && "Invalid Scope encoding!");
1252 assert (MI && "Missing machine instruction!");
1253 bool GetConcreteScope = (MI && InlinedAt);
1254
1255 DbgScope *NScope = NULL;
1256
1257 if (InlinedAt)
1258 NScope = DbgScopeMap.lookup(InlinedAt);
1259 else
1260 NScope = DbgScopeMap.lookup(N);
1261 assert (NScope && "Unable to find working scope!");
1262
1263 if (NScope->getFirstInsn())
1264 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001265
1266 DbgScope *Parent = NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001267 if (GetConcreteScope) {
Devang Pateldd7bb432009-10-14 21:08:09 +00001268 DILocation IL(InlinedAt);
Jim Grosbach652b7432009-11-21 23:12:12 +00001269 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel90a0fe32009-11-10 23:06:00 +00001270 IL.getOrigLocation().getNode());
1271 assert (Parent && "Unable to find Parent scope!");
1272 NScope->setParent(Parent);
Devang Patelc50078e2009-11-21 02:48:08 +00001273 Parent->addScope(NScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001274 } else if (DIDescriptor(N).isLexicalBlock()) {
1275 DILexicalBlock DB(N);
Devang Patel9e592492010-03-08 20:52:55 +00001276 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1277 NScope->setParent(Parent);
1278 Parent->addScope(NScope);
Devang Pateldd7bb432009-10-14 21:08:09 +00001279 }
Devang Patel6a260102009-10-01 20:31:14 +00001280
Devang Patelf5278f22009-10-27 20:47:17 +00001281 NScope->setFirstInsn(MI);
Devang Patel6a260102009-10-01 20:31:14 +00001282
Devang Patel90a0fe32009-11-10 23:06:00 +00001283 if (!Parent && !InlinedAt) {
Devang Patelce8986f2009-11-11 00:31:36 +00001284 StringRef SPName = DISubprogram(N).getLinkageName();
1285 if (SPName == MF->getFunction()->getName())
1286 CurrentFnDbgScope = NScope;
Devang Patel90a0fe32009-11-10 23:06:00 +00001287 }
Devang Patel6a260102009-10-01 20:31:14 +00001288
Devang Patel90a0fe32009-11-10 23:06:00 +00001289 if (GetConcreteScope) {
1290 ConcreteScopes[InlinedAt] = NScope;
1291 getOrCreateAbstractScope(N);
1292 }
1293
Devang Patelf5278f22009-10-27 20:47:17 +00001294 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001295}
1296
Devang Patel90a0fe32009-11-10 23:06:00 +00001297DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1298 assert (N && "Invalid Scope encoding!");
1299
1300 DbgScope *AScope = AbstractScopes.lookup(N);
1301 if (AScope)
1302 return AScope;
Jim Grosbach652b7432009-11-21 23:12:12 +00001303
Devang Patel90a0fe32009-11-10 23:06:00 +00001304 DbgScope *Parent = NULL;
1305
1306 DIDescriptor Scope(N);
1307 if (Scope.isLexicalBlock()) {
1308 DILexicalBlock DB(N);
1309 DIDescriptor ParentDesc = DB.getContext();
Devang Patel9e592492010-03-08 20:52:55 +00001310 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001311 }
1312
1313 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1314
1315 if (Parent)
Devang Patelc50078e2009-11-21 02:48:08 +00001316 Parent->addScope(AScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001317 AScope->setAbstractScope();
1318 AbstractScopes[N] = AScope;
1319 if (DIDescriptor(N).isSubprogram())
1320 AbstractScopesList.push_back(AScope);
1321 return AScope;
1322}
Devang Patel6a260102009-10-01 20:31:14 +00001323
Jim Grosbach652b7432009-11-21 23:12:12 +00001324/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patelc50078e2009-11-21 02:48:08 +00001325/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1326/// If there are global variables in this scope then create and insert
1327/// DIEs for these variables.
1328DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Pateld90672c2009-11-20 21:37:22 +00001329 DIE *SPDie = ModuleCU->getDIE(SPNode);
Chris Lattnerdd21da82010-03-13 07:26:18 +00001330 assert(SPDie && "Unable to find subprogram DIE!");
Devang Patel814a12c2009-12-14 16:18:45 +00001331 DISubprogram SP(SPNode);
Chris Lattnerdd21da82010-03-13 07:26:18 +00001332
Devang Patel530a81e2010-02-05 23:09:20 +00001333 // There is not any need to generate specification DIE for a function
1334 // defined at compile unit level. If a function is defined inside another
1335 // function then gdb prefers the definition at top level and but does not
1336 // expect specification DIE in parent function. So avoid creating
1337 // specification DIE for a function defined inside a function.
Chris Lattnerdd21da82010-03-13 07:26:18 +00001338 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1339 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
Devang Patel814a12c2009-12-14 16:18:45 +00001340 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Chris Lattnerdd21da82010-03-13 07:26:18 +00001341
1342 // Add arguments.
Devang Patel814a12c2009-12-14 16:18:45 +00001343 DICompositeType SPTy = SP.getType();
1344 DIArray Args = SPTy.getTypeArray();
1345 unsigned SPTag = SPTy.getTag();
1346 if (SPTag == dwarf::DW_TAG_subroutine_type)
Chris Lattnerdd21da82010-03-13 07:26:18 +00001347 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Devang Patel814a12c2009-12-14 16:18:45 +00001348 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelc5dc7252010-02-06 01:02:37 +00001349 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1350 addType(Arg, ATy);
1351 if (ATy.isArtificial())
1352 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel814a12c2009-12-14 16:18:45 +00001353 SPDie->addChild(Arg);
1354 }
1355 DIE *SPDeclDie = SPDie;
1356 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1357 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1358 SPDeclDie);
Devang Patel814a12c2009-12-14 16:18:45 +00001359 ModuleCU->addDie(SPDie);
1360 }
Devang Patelc5dc7252010-02-06 01:02:37 +00001361
Devang Patelc50078e2009-11-21 02:48:08 +00001362 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001363 getDWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001364 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001365 getDWLabel("func_end", SubprogramCount));
Devang Patel90a0fe32009-11-10 23:06:00 +00001366 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patelc50078e2009-11-21 02:48:08 +00001367 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach652b7432009-11-21 23:12:12 +00001368
Devang Patel90a0fe32009-11-10 23:06:00 +00001369 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001370 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001371
Devang Patel90a0fe32009-11-10 23:06:00 +00001372 return SPDie;
1373}
1374
Jim Grosbach652b7432009-11-21 23:12:12 +00001375/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patelc50078e2009-11-21 02:48:08 +00001376/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1377DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001378 MCSymbol *Start = Scope->getStartLabel();
1379 MCSymbol *End = Scope->getEndLabel();
Chris Lattner4ba1da92010-03-09 04:48:35 +00001380 if (Start == 0) return 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00001381
Chris Lattner855e8f52010-03-09 01:58:53 +00001382 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1383 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattner5e423432010-03-09 01:51:43 +00001384
Devang Patel90a0fe32009-11-10 23:06:00 +00001385 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1386 if (Scope->isAbstractScope())
1387 return ScopeDIE;
1388
Devang Patelc50078e2009-11-21 02:48:08 +00001389 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattner855e8f52010-03-09 01:58:53 +00001390 Start ? Start : getDWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001391 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattner855e8f52010-03-09 01:58:53 +00001392 End ? End : getDWLabel("func_end", SubprogramCount));
Devang Patel90a0fe32009-11-10 23:06:00 +00001393
1394 return ScopeDIE;
1395}
1396
Devang Patelc50078e2009-11-21 02:48:08 +00001397/// constructInlinedScopeDIE - This scope represents inlined body of
1398/// a function. Construct DIE to represent this concrete inlined copy
1399/// of the function.
1400DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001401 MCSymbol *StartLabel = Scope->getStartLabel();
1402 MCSymbol *EndLabel = Scope->getEndLabel();
Chris Lattner4ba1da92010-03-09 04:48:35 +00001403 if (StartLabel == 0) return 0;
1404
Chris Lattner855e8f52010-03-09 01:58:53 +00001405 assert(StartLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001406 "Invalid starting label for an inlined scope!");
Chris Lattner855e8f52010-03-09 01:58:53 +00001407 assert(EndLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001408 "Invalid end label for an inlined scope!");
Devang Patel9e592492010-03-08 20:52:55 +00001409 if (!Scope->getScopeNode())
Devang Patelbe149872010-03-08 19:20:38 +00001410 return NULL;
Devang Patel9e592492010-03-08 20:52:55 +00001411 DIScope DS(Scope->getScopeNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001412 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1413
1414 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001415 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001416 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patelc50078e2009-11-21 02:48:08 +00001417 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001418 dwarf::DW_FORM_ref4, OriginDIE);
1419
Chris Lattneread58652010-03-09 00:31:02 +00001420 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattner855e8f52010-03-09 01:58:53 +00001421 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel90a0fe32009-11-10 23:06:00 +00001422
1423 InlinedSubprogramDIEs.insert(OriginDIE);
1424
1425 // Track the start label for this inlined function.
Devang Patel7d707f92010-01-19 06:19:05 +00001426 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel90a0fe32009-11-10 23:06:00 +00001427 I = InlineInfo.find(InlinedSP.getNode());
1428
1429 if (I == InlineInfo.end()) {
Chris Lattneread58652010-03-09 00:31:02 +00001430 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbachb23f2422009-11-22 19:20:36 +00001431 ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001432 InlinedSPNodes.push_back(InlinedSP.getNode());
1433 } else
Chris Lattneread58652010-03-09 00:31:02 +00001434 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001435
Devang Patel90a0fe32009-11-10 23:06:00 +00001436 DILocation DL(Scope->getInlinedAt());
Devang Patelc50078e2009-11-21 02:48:08 +00001437 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1438 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel90a0fe32009-11-10 23:06:00 +00001439
1440 return ScopeDIE;
1441}
1442
Devang Patelc50078e2009-11-21 02:48:08 +00001443
1444/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patelfe0be132009-12-09 18:24:21 +00001445DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001446 // Get the descriptor.
1447 const DIVariable &VD = DV->getVariable();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001448 StringRef Name = VD.getName();
1449 if (Name.empty())
Devang Patelab9a0682009-11-13 02:25:26 +00001450 return NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001451
1452 // Translate tag to proper Dwarf tag. The result variable is dropped for
1453 // now.
1454 unsigned Tag;
1455 switch (VD.getTag()) {
1456 case dwarf::DW_TAG_return_variable:
1457 return NULL;
1458 case dwarf::DW_TAG_arg_variable:
1459 Tag = dwarf::DW_TAG_formal_parameter;
1460 break;
1461 case dwarf::DW_TAG_auto_variable: // fall thru
1462 default:
1463 Tag = dwarf::DW_TAG_variable;
1464 break;
1465 }
1466
1467 // Define variable debug information entry.
1468 DIE *VariableDie = new DIE(Tag);
1469
1470
1471 DIE *AbsDIE = NULL;
1472 if (DbgVariable *AV = DV->getAbstractVariable())
1473 AbsDIE = AV->getDIE();
Jim Grosbach652b7432009-11-21 23:12:12 +00001474
Devang Patel90a0fe32009-11-10 23:06:00 +00001475 if (AbsDIE) {
1476 DIScope DS(Scope->getScopeNode());
1477 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001478 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc9f2d242009-11-11 03:09:50 +00001479 (void) OriginSPDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001480 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1481 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1482 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patelc50078e2009-11-21 02:48:08 +00001483 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001484 dwarf::DW_FORM_ref4, AbsDIE);
1485 }
1486 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001487 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1488 addSourceLine(VariableDie, &VD);
Devang Patel90a0fe32009-11-10 23:06:00 +00001489
1490 // Add variable type.
Jim Grosbach652b7432009-11-21 23:12:12 +00001491 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel90a0fe32009-11-10 23:06:00 +00001492 // addresses instead.
1493 if (VD.isBlockByrefVariable())
Devang Patelfe0be132009-12-09 18:24:21 +00001494 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel90a0fe32009-11-10 23:06:00 +00001495 else
Devang Patelfe0be132009-12-09 18:24:21 +00001496 addType(VariableDie, VD.getType());
Devang Patel90a0fe32009-11-10 23:06:00 +00001497 }
1498
1499 // Add variable address.
1500 if (!Scope->isAbstractScope()) {
Devang Patel14da02f2010-03-15 18:33:46 +00001501 // Check if variable is described by DBG_VALUE instruction.
1502 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1503 if (DbgValueInsn->getNumOperands() == 3) {
1504 // FIXME : Handle getNumOperands != 3
1505 if (DbgValueInsn->getOperand(0).getType()
1506 == MachineOperand::MO_Register
1507 && DbgValueInsn->getOperand(0).getReg()) {
1508 MachineLocation Location;
1509 Location.set(DbgValueInsn->getOperand(0).getReg());
1510 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1511 } else if (DbgValueInsn->getOperand(0).getType() ==
1512 MachineOperand::MO_Immediate) {
1513 DIEBlock *Block = new DIEBlock();
1514 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1515 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1516 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
1517 } else {
1518 //FIXME : Handle other operand types.
1519 delete VariableDie;
1520 return NULL;
1521 }
1522 }
1523 } else {
1524 MachineLocation Location;
1525 unsigned FrameReg;
1526 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1527 Location.set(FrameReg, Offset);
1528
1529 if (VD.hasComplexAddress())
1530 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1531 else if (VD.isBlockByrefVariable())
1532 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1533 else
1534 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1535 }
Devang Patel90a0fe32009-11-10 23:06:00 +00001536 }
Devang Patelc5dc7252010-02-06 01:02:37 +00001537
1538 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1539 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001540 DV->setDIE(VariableDie);
1541 return VariableDie;
1542
1543}
Devang Patelc50078e2009-11-21 02:48:08 +00001544
Devang Patelec13b4f2009-11-24 01:14:22 +00001545void DwarfDebug::addPubTypes(DISubprogram SP) {
1546 DICompositeType SPTy = SP.getType();
1547 unsigned SPTag = SPTy.getTag();
1548 if (SPTag != dwarf::DW_TAG_subroutine_type)
1549 return;
1550
1551 DIArray Args = SPTy.getTypeArray();
Devang Patelec13b4f2009-11-24 01:14:22 +00001552 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1553 DIType ATy(Args.getElement(i).getNode());
Devang Patel9e592492010-03-08 20:52:55 +00001554 if (!ATy.isValid())
Devang Patelec13b4f2009-11-24 01:14:22 +00001555 continue;
1556 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel9e592492010-03-08 20:52:55 +00001557 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001558 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1559 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1560 }
1561 }
1562}
1563
Devang Patelc50078e2009-11-21 02:48:08 +00001564/// constructScopeDIE - Construct a DIE for this scope.
1565DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel9e592492010-03-08 20:52:55 +00001566 if (!Scope || !Scope->getScopeNode())
1567 return NULL;
1568
1569 DIScope DS(Scope->getScopeNode());
1570 DIE *ScopeDIE = NULL;
1571 if (Scope->getInlinedAt())
1572 ScopeDIE = constructInlinedScopeDIE(Scope);
1573 else if (DS.isSubprogram()) {
1574 if (Scope->isAbstractScope())
1575 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1576 else
1577 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1578 }
1579 else {
1580 ScopeDIE = constructLexicalScopeDIE(Scope);
1581 if (!ScopeDIE) return NULL;
1582 }
1583
Devang Patel90a0fe32009-11-10 23:06:00 +00001584 // Add variables to scope.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001585 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel90a0fe32009-11-10 23:06:00 +00001586 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patelfe0be132009-12-09 18:24:21 +00001587 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach652b7432009-11-21 23:12:12 +00001588 if (VariableDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001589 ScopeDIE->addChild(VariableDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001590 }
1591
1592 // Add nested scopes.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001593 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel90a0fe32009-11-10 23:06:00 +00001594 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1595 // Define the Scope debug information entry.
Devang Patelc50078e2009-11-21 02:48:08 +00001596 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach652b7432009-11-21 23:12:12 +00001597 if (NestedDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001598 ScopeDIE->addChild(NestedDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001599 }
Devang Patelec13b4f2009-11-24 01:14:22 +00001600
1601 if (DS.isSubprogram())
1602 addPubTypes(DISubprogram(DS.getNode()));
1603
1604 return ScopeDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001605}
1606
Bill Wendlingf5839192009-05-20 23:19:06 +00001607/// GetOrCreateSourceID - Look up the source id with the given directory and
1608/// source file names. If none currently exists, create a new id and insert it
1609/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1610/// maps as well.
Devang Patel7f75bbe2009-11-25 17:36:49 +00001611unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001612 unsigned DId;
1613 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1614 if (DI != DirectoryIdMap.end()) {
1615 DId = DI->getValue();
1616 } else {
1617 DId = DirectoryNames.size() + 1;
1618 DirectoryIdMap[DirName] = DId;
1619 DirectoryNames.push_back(DirName);
1620 }
1621
1622 unsigned FId;
1623 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1624 if (FI != SourceFileIdMap.end()) {
1625 FId = FI->getValue();
1626 } else {
1627 FId = SourceFileNames.size() + 1;
1628 SourceFileIdMap[FileName] = FId;
1629 SourceFileNames.push_back(FileName);
1630 }
1631
1632 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1633 SourceIdMap.find(std::make_pair(DId, FId));
1634 if (SI != SourceIdMap.end())
1635 return SI->second;
1636
1637 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1638 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1639 SourceIds.push_back(std::make_pair(DId, FId));
1640
1641 return SrcId;
1642}
1643
Devang Patel8287d662009-12-15 19:16:48 +00001644/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1645DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1646 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1647 if (NDie)
1648 return NDie;
1649 NDie = new DIE(dwarf::DW_TAG_namespace);
1650 ModuleCU->insertDIE(NS.getNode(), NDie);
1651 if (!NS.getName().empty())
1652 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1653 addSourceLine(NDie, &NS);
1654 addToContextOwner(NDie, NS.getContext());
1655 return NDie;
1656}
1657
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001658void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001659 DICompileUnit DIUnit(N);
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001660 // Use first compile unit marked as isMain as the compile unit for this
1661 // module.
1662 if (ModuleCU || !DIUnit.isMain())
1663 return;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001664 StringRef FN = DIUnit.getFilename();
1665 StringRef Dir = DIUnit.getDirectory();
Devang Patelaaf012e2009-09-29 18:40:58 +00001666 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001667
1668 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001669 // FIXME: Why getting the delta between two identical labels??
Devang Patelc50078e2009-11-21 02:48:08 +00001670 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001671 getTempLabel("section_line"), getTempLabel("section_line"),
Bill Wendlingf5839192009-05-20 23:19:06 +00001672 false);
Devang Patelc50078e2009-11-21 02:48:08 +00001673 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001674 DIUnit.getProducer());
Devang Patelc50078e2009-11-21 02:48:08 +00001675 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf5839192009-05-20 23:19:06 +00001676 DIUnit.getLanguage());
Devang Patelc50078e2009-11-21 02:48:08 +00001677 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001678
Devang Patel7f75bbe2009-11-25 17:36:49 +00001679 if (!Dir.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001680 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf5839192009-05-20 23:19:06 +00001681 if (DIUnit.isOptimized())
Devang Patelc50078e2009-11-21 02:48:08 +00001682 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf5839192009-05-20 23:19:06 +00001683
Devang Patel7f75bbe2009-11-25 17:36:49 +00001684 StringRef Flags = DIUnit.getFlags();
1685 if (!Flags.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001686 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf5839192009-05-20 23:19:06 +00001687
1688 unsigned RVer = DIUnit.getRunTimeVersion();
1689 if (RVer)
Devang Patelc50078e2009-11-21 02:48:08 +00001690 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf5839192009-05-20 23:19:06 +00001691 dwarf::DW_FORM_data1, RVer);
1692
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001693 assert(!ModuleCU &&
1694 "ModuleCU assigned since the top of constructCompileUnit");
1695 ModuleCU = new CompileUnit(ID, Die);
Bill Wendlingf5839192009-05-20 23:19:06 +00001696}
1697
Devang Patelc50078e2009-11-21 02:48:08 +00001698void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001699 DIGlobalVariable DI_GV(N);
Daniel Dunbar41716322009-09-19 20:40:05 +00001700
Devang Patel0c03f062009-09-04 23:59:07 +00001701 // If debug information is malformed then ignore it.
1702 if (DI_GV.Verify() == false)
1703 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001704
1705 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001706 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel166f8432009-06-26 01:49:18 +00001707 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001708
Devang Patelfe0be132009-12-09 18:24:21 +00001709 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel6d479632009-12-10 23:25:41 +00001710 if (!VariableDie)
1711 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001712
Bill Wendlingf5839192009-05-20 23:19:06 +00001713 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001714 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001715
1716 // Add to context owner.
Devang Pateldcc0dce2010-01-15 01:12:22 +00001717 DIDescriptor GVContext = DI_GV.getContext();
1718 // Do not create specification DIE if context is either compile unit
1719 // or a subprogram.
1720 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
Devang Patel76667012010-03-11 23:44:52 +00001721 && !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel8287d662009-12-15 19:16:48 +00001722 // Create specification DIE.
1723 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1724 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1725 dwarf::DW_FORM_ref4, VariableDie);
1726 DIEBlock *Block = new DIEBlock();
1727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001728 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner90825792010-03-12 21:09:07 +00001729 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001730 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patela0a98582010-02-09 01:58:33 +00001731 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel8287d662009-12-15 19:16:48 +00001732 ModuleCU->addDie(VariableSpecDIE);
1733 } else {
1734 DIEBlock *Block = new DIEBlock();
1735 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001736 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner90825792010-03-12 21:09:07 +00001737 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001738 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1739 }
Devang Pateldcc0dce2010-01-15 01:12:22 +00001740 addToContextOwner(VariableDie, GVContext);
Devang Patel1a8f9a82009-12-10 19:14:49 +00001741
Bill Wendlingf5839192009-05-20 23:19:06 +00001742 // Expose as global. FIXME - need to check external flag.
Devang Patelc50078e2009-11-21 02:48:08 +00001743 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001744
1745 DIType GTy = DI_GV.getType();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001746 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001747 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1748 assert (Entry && "Missing global type!");
1749 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1750 }
Devang Patel166f8432009-06-26 01:49:18 +00001751 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001752}
1753
Devang Patelc50078e2009-11-21 02:48:08 +00001754void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001755 DISubprogram SP(N);
Bill Wendlingf5839192009-05-20 23:19:06 +00001756
1757 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001758 if (ModuleCU->getDIE(N))
Devang Patel166f8432009-06-26 01:49:18 +00001759 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001760
1761 if (!SP.isDefinition())
1762 // This is a method declaration which will be handled while constructing
1763 // class type.
Devang Patel166f8432009-06-26 01:49:18 +00001764 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001765
Devang Patelfe0be132009-12-09 18:24:21 +00001766 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf5839192009-05-20 23:19:06 +00001767
1768 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001769 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001770
1771 // Add to context owner.
Devang Patel8287d662009-12-15 19:16:48 +00001772 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patelde2d3682009-12-08 23:21:45 +00001773
Bill Wendlingf5839192009-05-20 23:19:06 +00001774 // Expose as global.
Devang Patelc50078e2009-11-21 02:48:08 +00001775 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001776
Devang Patel166f8432009-06-26 01:49:18 +00001777 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001778}
1779
Devang Patelc50078e2009-11-21 02:48:08 +00001780/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar19f1d442009-09-19 20:40:14 +00001781/// content. Create global DIEs and emit initial debug info sections.
1782/// This is inovked by the target AsmPrinter.
Devang Patelc50078e2009-11-21 02:48:08 +00001783void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel59a1d422009-06-25 22:36:02 +00001784 this->M = M;
1785
Bill Wendlingf5839192009-05-20 23:19:06 +00001786 if (TimePassesIsEnabled)
1787 DebugTimer->startTimer();
1788
Devang Patel1b4d6832009-11-11 19:55:08 +00001789 if (!MAI->doesSupportDebugInformation())
1790 return;
1791
Devang Patelfda766d2009-07-30 18:56:46 +00001792 DebugInfoFinder DbgFinder;
1793 DbgFinder.processModule(*M);
Devang Patel166f8432009-06-26 01:49:18 +00001794
Bill Wendlingf5839192009-05-20 23:19:06 +00001795 // Create all the compile unit DIEs.
Devang Patelfda766d2009-07-30 18:56:46 +00001796 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1797 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001798 constructCompileUnit(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001799
Devang Patel5a3d37f2009-06-29 20:45:18 +00001800 if (!ModuleCU)
Devang Patel7f9e0f32010-03-08 22:02:50 +00001801 return;
Devang Patelf97a05a2009-06-29 20:38:13 +00001802
Devang Patel90a0fe32009-11-10 23:06:00 +00001803 // Create DIEs for each subprogram.
Devang Patelfda766d2009-07-30 18:56:46 +00001804 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1805 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001806 constructSubprogramDIE(*I);
Devang Patel166f8432009-06-26 01:49:18 +00001807
Devang Patel1a8f9a82009-12-10 19:14:49 +00001808 // Create DIEs for each global variable.
1809 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1810 E = DbgFinder.global_variable_end(); I != E; ++I)
1811 constructGlobalVariableDIE(*I);
1812
Bill Wendlingf5839192009-05-20 23:19:06 +00001813 MMI = mmi;
1814 shouldEmit = true;
1815 MMI->setDebugInfoAvailability(true);
1816
1817 // Prime section data.
Chris Lattnerc4c40a92009-07-28 03:13:23 +00001818 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001819
1820 // Print out .file directives to specify files for .loc directives. These are
1821 // printed out early so that they precede any .loc directives.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001822 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001823 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1824 // Remember source id starts at 1.
1825 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerad653482010-01-22 22:09:00 +00001826 // FIXME: don't use sys::path for this! This should not depend on the
1827 // host.
Bill Wendlingf5839192009-05-20 23:19:06 +00001828 sys::Path FullPath(getSourceDirectoryName(Id.first));
1829 bool AppendOk =
1830 FullPath.appendComponent(getSourceFileName(Id.second));
1831 assert(AppendOk && "Could not append filename to directory!");
1832 AppendOk = false;
Chris Lattner59be4ea2010-01-25 18:58:59 +00001833 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf5839192009-05-20 23:19:06 +00001834 }
1835 }
1836
1837 // Emit initial sections
Devang Patelc50078e2009-11-21 02:48:08 +00001838 emitInitial();
Bill Wendlingf5839192009-05-20 23:19:06 +00001839
1840 if (TimePassesIsEnabled)
1841 DebugTimer->stopTimer();
1842}
1843
Devang Patelc50078e2009-11-21 02:48:08 +00001844/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf5839192009-05-20 23:19:06 +00001845///
Devang Patelc50078e2009-11-21 02:48:08 +00001846void DwarfDebug::endModule() {
Devang Patel95d477e2009-10-06 00:03:14 +00001847 if (!ModuleCU)
Bill Wendlingf5839192009-05-20 23:19:06 +00001848 return;
1849
1850 if (TimePassesIsEnabled)
1851 DebugTimer->startTimer();
1852
Devang Patel90a0fe32009-11-10 23:06:00 +00001853 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1854 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1855 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1856 DIE *ISP = *AI;
Devang Patelc50078e2009-11-21 02:48:08 +00001857 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel90a0fe32009-11-10 23:06:00 +00001858 }
1859
Devang Patelc1df8792009-12-03 01:25:38 +00001860 // Insert top level DIEs.
1861 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1862 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1863 ModuleCU->getCUDie()->addChild(*TI);
1864
Devang Patel7d707f92010-01-19 06:19:05 +00001865 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel188c85d2009-12-03 19:11:07 +00001866 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1867 DIE *SPDie = CI->first;
1868 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1869 if (!N) continue;
1870 DIE *NDie = ModuleCU->getDIE(N);
1871 if (!NDie) continue;
1872 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel69aae432010-01-15 00:26:31 +00001873 // FIXME - This is not the correct approach.
1874 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel188c85d2009-12-03 19:11:07 +00001875 }
1876
Bill Wendlingf5839192009-05-20 23:19:06 +00001877 // Standard sections final addresses.
Chris Lattner73266f92009-08-19 05:49:37 +00001878 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00001879 Asm->OutStreamer.EmitLabel(getTempLabel("text_end"));
Chris Lattner73266f92009-08-19 05:49:37 +00001880 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00001881 Asm->OutStreamer.EmitLabel(getTempLabel("data_end"));
Bill Wendlingf5839192009-05-20 23:19:06 +00001882
1883 // End text sections.
1884 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner73266f92009-08-19 05:49:37 +00001885 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattner6d213e82010-03-08 22:44:40 +00001886 Asm->OutStreamer.EmitLabel(getDWLabel("section_end", i));
Bill Wendlingf5839192009-05-20 23:19:06 +00001887 }
1888
1889 // Emit common frame information.
Devang Patelc50078e2009-11-21 02:48:08 +00001890 emitCommonDebugFrame();
Bill Wendlingf5839192009-05-20 23:19:06 +00001891
1892 // Emit function debug frame information
1893 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1894 E = DebugFrames.end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001895 emitFunctionDebugFrame(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001896
1897 // Compute DIE offsets and sizes.
Devang Patelc50078e2009-11-21 02:48:08 +00001898 computeSizeAndOffsets();
Bill Wendlingf5839192009-05-20 23:19:06 +00001899
1900 // Emit all the DIEs into a debug info section
Devang Patelc50078e2009-11-21 02:48:08 +00001901 emitDebugInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001902
1903 // Corresponding abbreviations into a abbrev section.
Devang Patelc50078e2009-11-21 02:48:08 +00001904 emitAbbreviations();
Bill Wendlingf5839192009-05-20 23:19:06 +00001905
1906 // Emit source line correspondence into a debug line section.
Devang Patelc50078e2009-11-21 02:48:08 +00001907 emitDebugLines();
Bill Wendlingf5839192009-05-20 23:19:06 +00001908
1909 // Emit info into a debug pubnames section.
Devang Patelc50078e2009-11-21 02:48:08 +00001910 emitDebugPubNames();
Bill Wendlingf5839192009-05-20 23:19:06 +00001911
Devang Patelec13b4f2009-11-24 01:14:22 +00001912 // Emit info into a debug pubtypes section.
1913 emitDebugPubTypes();
1914
Bill Wendlingf5839192009-05-20 23:19:06 +00001915 // Emit info into a debug loc section.
Devang Patelc50078e2009-11-21 02:48:08 +00001916 emitDebugLoc();
Bill Wendlingf5839192009-05-20 23:19:06 +00001917
1918 // Emit info into a debug aranges section.
1919 EmitDebugARanges();
1920
1921 // Emit info into a debug ranges section.
Devang Patelc50078e2009-11-21 02:48:08 +00001922 emitDebugRanges();
Bill Wendlingf5839192009-05-20 23:19:06 +00001923
1924 // Emit info into a debug macinfo section.
Devang Patelc50078e2009-11-21 02:48:08 +00001925 emitDebugMacInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001926
1927 // Emit inline info.
Devang Patelc50078e2009-11-21 02:48:08 +00001928 emitDebugInlineInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001929
Chris Lattner0f093f82010-03-13 02:17:42 +00001930 // Emit info into a debug str section.
1931 emitDebugStr();
1932
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001933 delete ModuleCU;
1934 ModuleCU = NULL; // Reset for the next Module, if any.
1935
Bill Wendlingf5839192009-05-20 23:19:06 +00001936 if (TimePassesIsEnabled)
1937 DebugTimer->stopTimer();
1938}
1939
Devang Patel90a0fe32009-11-10 23:06:00 +00001940/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbachb23f2422009-11-22 19:20:36 +00001941DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1942 unsigned FrameIdx,
Devang Patel90a0fe32009-11-10 23:06:00 +00001943 DILocation &ScopeLoc) {
1944
1945 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1946 if (AbsDbgVariable)
1947 return AbsDbgVariable;
1948
1949 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1950 if (!Scope)
1951 return NULL;
1952
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001953 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
1954 NULL /* No more-abstract variable*/);
Devang Patelc50078e2009-11-21 02:48:08 +00001955 Scope->addVariable(AbsDbgVariable);
Devang Patel90a0fe32009-11-10 23:06:00 +00001956 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1957 return AbsDbgVariable;
1958}
1959
Devang Patel14da02f2010-03-15 18:33:46 +00001960/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1961/// FIXME : Refactor findAbstractVariable.
1962DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1963 const MachineInstr *MI,
1964 DILocation &ScopeLoc) {
1965
1966 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1967 if (AbsDbgVariable)
1968 return AbsDbgVariable;
1969
1970 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1971 if (!Scope)
1972 return NULL;
1973
1974 AbsDbgVariable = new DbgVariable(Var, MI,
1975 NULL /* No more-abstract variable*/);
1976 Scope->addVariable(AbsDbgVariable);
1977 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1978 return AbsDbgVariable;
1979}
1980
Devang Patelc50078e2009-11-21 02:48:08 +00001981/// collectVariableInfo - Populate DbgScope entries with variables' info.
1982void DwarfDebug::collectVariableInfo() {
Devang Patel40c80212009-10-09 22:42:28 +00001983 if (!MMI) return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001984
Devang Patel84139992009-10-06 01:26:37 +00001985 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1986 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1987 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel0a0ea052010-01-22 22:52:10 +00001988 MDNode *Var = VI->first;
Devang Patel90a0fe32009-11-10 23:06:00 +00001989 if (!Var) continue;
Devang Patel6882dff2009-10-08 18:48:03 +00001990 DIVariable DV (Var);
Devang Patel90a0fe32009-11-10 23:06:00 +00001991 std::pair< unsigned, MDNode *> VP = VI->second;
1992 DILocation ScopeLoc(VP.second);
1993
1994 DbgScope *Scope =
1995 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1996 if (!Scope)
Jim Grosbach652b7432009-11-21 23:12:12 +00001997 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelbad42262009-11-10 23:20:04 +00001998 // If variable scope is not found then skip this variable.
1999 if (!Scope)
2000 continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00002001
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002002 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, ScopeLoc);
2003 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patelc50078e2009-11-21 02:48:08 +00002004 Scope->addVariable(RegVar);
Devang Patel84139992009-10-06 01:26:37 +00002005 }
Devang Patel14da02f2010-03-15 18:33:46 +00002006
2007 // Collect variable information from DBG_VALUE machine instructions;
2008 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2009 I != E; ++I) {
2010 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2011 II != IE; ++II) {
2012 const MachineInstr *MInsn = II;
2013 if (MInsn->getOpcode() != TargetOpcode::DBG_VALUE)
2014 continue;
2015 // FIXME : Lift this restriction.
2016 if (MInsn->getNumOperands() != 3)
2017 continue;
2018 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands() - 1).getMetadata()));
2019 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2020 // FIXME Handle inlined subroutine arguments.
2021 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2022 CurrentFnDbgScope->addVariable(ArgVar);
2023 continue;
2024 }
2025
2026 DebugLoc DL = MInsn->getDebugLoc();
2027 if (DL.isUnknown()) continue;
2028 DILocation ScopeLoc = MF->getDILocation(DL);
2029 DbgScope *Scope =
2030 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
2031 if (!Scope)
2032 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
2033 // If variable scope is not found then skip this variable.
2034 if (!Scope)
2035 continue;
2036
2037 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn,
2038 ScopeLoc);
2039 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
2040 Scope->addVariable(RegVar);
2041 }
2042 }
Devang Patel84139992009-10-06 01:26:37 +00002043}
2044
Devang Patelc50078e2009-11-21 02:48:08 +00002045/// beginScope - Process beginning of a scope starting at Label.
Chris Lattner597b0fc2010-03-09 04:54:43 +00002046void DwarfDebug::beginScope(const MachineInstr *MI, MCSymbol *Label) {
Devang Patel393a46d2009-10-06 01:50:42 +00002047 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2048 if (I == DbgScopeBeginMap.end())
2049 return;
Dan Gohman8d34f972009-11-23 21:30:55 +00002050 ScopeVector &SD = I->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00002051 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00002052 SDI != SDE; ++SDI)
Chris Lattner597b0fc2010-03-09 04:54:43 +00002053 (*SDI)->setStartLabel(Label);
Devang Patel393a46d2009-10-06 01:50:42 +00002054}
2055
Devang Patelc50078e2009-11-21 02:48:08 +00002056/// endScope - Process end of a scope.
2057void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel393a46d2009-10-06 01:50:42 +00002058 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patelf4348892009-10-06 03:15:38 +00002059 if (I == DbgScopeEndMap.end())
Devang Patel393a46d2009-10-06 01:50:42 +00002060 return;
Devang Patel90a0fe32009-11-10 23:06:00 +00002061
Chris Lattner54e56f22010-03-14 08:36:50 +00002062 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner855e8f52010-03-09 01:58:53 +00002063 Asm->OutStreamer.EmitLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00002064
Chris Lattner855e8f52010-03-09 01:58:53 +00002065 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel393a46d2009-10-06 01:50:42 +00002066 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00002067 SDI != SDE; ++SDI)
Chris Lattner855e8f52010-03-09 01:58:53 +00002068 (*SDI)->setEndLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00002069 return;
2070}
2071
2072/// createDbgScope - Create DbgScope for the scope.
2073void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
2074
2075 if (!InlinedAt) {
2076 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2077 if (WScope)
2078 return;
2079 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2080 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach652b7432009-11-21 23:12:12 +00002081 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel53addbf2009-11-11 00:18:40 +00002082 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel90a0fe32009-11-10 23:06:00 +00002083 return;
2084 }
2085
2086 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2087 if (WScope)
2088 return;
2089
2090 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2091 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2092 DILocation DL(InlinedAt);
2093 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel393a46d2009-10-06 01:50:42 +00002094}
2095
Devang Patelc50078e2009-11-21 02:48:08 +00002096/// extractScopeInformation - Scan machine instructions in this function
Devang Patel6a260102009-10-01 20:31:14 +00002097/// and collect DbgScopes. Return true, if atleast one scope was found.
Chris Lattner69a76972010-01-26 23:18:02 +00002098bool DwarfDebug::extractScopeInformation() {
Devang Patel6a260102009-10-01 20:31:14 +00002099 // If scope information was extracted using .dbg intrinsics then there is not
2100 // any need to extract these information by scanning each instruction.
2101 if (!DbgScopeMap.empty())
2102 return false;
2103
Devang Patel98e77302010-01-04 20:44:00 +00002104 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2105 unsigned MIIndex = 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00002106 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel6a260102009-10-01 20:31:14 +00002107 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2108 I != E; ++I) {
2109 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2110 II != IE; ++II) {
2111 const MachineInstr *MInsn = II;
Devang Patel14da02f2010-03-15 18:33:46 +00002112 // FIXME : Remove DBG_VALUE check.
2113 if (MInsn->getOpcode() == TargetOpcode::DBG_VALUE) continue;
Devang Patel98e77302010-01-04 20:44:00 +00002114 MIIndexMap[MInsn] = MIIndex++;
Devang Patel6a260102009-10-01 20:31:14 +00002115 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel90a0fe32009-11-10 23:06:00 +00002116 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002117 DILocation DLT = MF->getDILocation(DL);
2118 DIScope DLTScope = DLT.getScope();
Devang Patel6a260102009-10-01 20:31:14 +00002119 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002120 // other scopes, create one DbgScope now. This will be translated
Devang Patel6a260102009-10-01 20:31:14 +00002121 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002122 if (DLTScope.isCompileUnit()) continue;
2123 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002124 }
2125 }
2126
2127
2128 // Build scope hierarchy using working set of scopes.
2129 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2130 I != E; ++I) {
2131 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2132 II != IE; ++II) {
2133 const MachineInstr *MInsn = II;
Devang Patel14da02f2010-03-15 18:33:46 +00002134 // FIXME : Remove DBG_VALUE check.
2135 if (MInsn->getOpcode() == TargetOpcode::DBG_VALUE) continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00002136 DebugLoc DL = MInsn->getDebugLoc();
2137 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002138 DILocation DLT = MF->getDILocation(DL);
2139 DIScope DLTScope = DLT.getScope();
Devang Patel90a0fe32009-11-10 23:06:00 +00002140 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002141 // other scopes, create one DbgScope now. This will be translated
Devang Patel90a0fe32009-11-10 23:06:00 +00002142 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002143 if (DLTScope.isCompileUnit()) continue;
2144 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2145 DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002146 Scope->setLastInsn(MInsn);
Devang Patel6a260102009-10-01 20:31:14 +00002147 }
2148 }
2149
Devang Patel98e77302010-01-04 20:44:00 +00002150 if (!CurrentFnDbgScope)
2151 return false;
2152
2153 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel6a260102009-10-01 20:31:14 +00002154
2155 // Each scope has first instruction and last instruction to mark beginning
2156 // and end of a scope respectively. Create an inverse map that list scopes
2157 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patelfd311df2010-01-20 02:05:23 +00002158 // multiple scopes. Ignore scopes that are not reachable.
2159 SmallVector<DbgScope *, 4> WorkList;
2160 WorkList.push_back(CurrentFnDbgScope);
2161 while (!WorkList.empty()) {
2162 DbgScope *S = WorkList.back(); WorkList.pop_back();
2163
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002164 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patelfd311df2010-01-20 02:05:23 +00002165 if (!Children.empty())
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002166 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patelfd311df2010-01-20 02:05:23 +00002167 SE = Children.end(); SI != SE; ++SI)
2168 WorkList.push_back(*SI);
2169
Devang Patel90a0fe32009-11-10 23:06:00 +00002170 if (S->isAbstractScope())
2171 continue;
Devang Patel6a260102009-10-01 20:31:14 +00002172 const MachineInstr *MI = S->getFirstInsn();
2173 assert (MI && "DbgScope does not have first instruction!");
2174
2175 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2176 if (IDI != DbgScopeBeginMap.end())
2177 IDI->second.push_back(S);
2178 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002179 DbgScopeBeginMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002180
2181 MI = S->getLastInsn();
2182 assert (MI && "DbgScope does not have last instruction!");
2183 IDI = DbgScopeEndMap.find(MI);
2184 if (IDI != DbgScopeEndMap.end())
2185 IDI->second.push_back(S);
2186 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002187 DbgScopeEndMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002188 }
2189
2190 return !DbgScopeMap.empty();
2191}
2192
Devang Patelc50078e2009-11-21 02:48:08 +00002193/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf5839192009-05-20 23:19:06 +00002194/// emitted immediately after the function entry point.
Chris Lattner69a76972010-01-26 23:18:02 +00002195void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002196 this->MF = MF;
2197
2198 if (!ShouldEmitDwarfDebug()) return;
2199
2200 if (TimePassesIsEnabled)
2201 DebugTimer->startTimer();
2202
Chris Lattner69a76972010-01-26 23:18:02 +00002203 if (!extractScopeInformation())
Devang Patel0feae422009-10-06 18:37:31 +00002204 return;
Devang Patelc50078e2009-11-21 02:48:08 +00002205
2206 collectVariableInfo();
Devang Patel0feae422009-10-06 18:37:31 +00002207
Bill Wendlingf5839192009-05-20 23:19:06 +00002208 // Assumes in correct section after the entry point.
Chris Lattner6d213e82010-03-08 22:44:40 +00002209 Asm->OutStreamer.EmitLabel(getDWLabel("func_begin", ++SubprogramCount));
Bill Wendlingf5839192009-05-20 23:19:06 +00002210
2211 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2212 // function.
Devang Patel40c80212009-10-09 22:42:28 +00002213 DebugLoc FDL = MF->getDefaultDebugLoc();
2214 if (!FDL.isUnknown()) {
Devang Patel042945f2010-01-16 06:09:35 +00002215 DILocation DLT = MF->getDILocation(FDL);
Devang Patel042945f2010-01-16 06:09:35 +00002216 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Chris Lattner855e8f52010-03-09 01:58:53 +00002217 unsigned Line, Col;
2218 if (SP.Verify()) {
2219 Line = SP.getLineNumber();
2220 Col = 0;
2221 } else {
2222 Line = DLT.getLineNumber();
2223 Col = DLT.getColumnNumber();
2224 }
2225
Chris Lattner597b0fc2010-03-09 04:54:43 +00002226 recordSourceLine(Line, Col, DLT.getScope().getNode());
Bill Wendlingf5839192009-05-20 23:19:06 +00002227 }
Bill Wendlingf5839192009-05-20 23:19:06 +00002228 if (TimePassesIsEnabled)
2229 DebugTimer->stopTimer();
2230}
2231
Devang Patelc50078e2009-11-21 02:48:08 +00002232/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf5839192009-05-20 23:19:06 +00002233///
Chris Lattner69a76972010-01-26 23:18:02 +00002234void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002235 if (!ShouldEmitDwarfDebug()) return;
2236
2237 if (TimePassesIsEnabled)
2238 DebugTimer->startTimer();
2239
Devang Patel40c80212009-10-09 22:42:28 +00002240 if (DbgScopeMap.empty())
2241 return;
Devang Patel4a7ef8d2009-11-12 19:02:56 +00002242
Devang Patel98e77302010-01-04 20:44:00 +00002243 if (CurrentFnDbgScope) {
2244 // Define end label for subprogram.
Chris Lattner6d213e82010-03-08 22:44:40 +00002245 Asm->OutStreamer.EmitLabel(getDWLabel("func_end", SubprogramCount));
Devang Patel98e77302010-01-04 20:44:00 +00002246
2247 // Get function line info.
2248 if (!Lines.empty()) {
2249 // Get section line info.
2250 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2251 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2252 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2253 // Append the function info to section info.
2254 SectionLineInfos.insert(SectionLineInfos.end(),
2255 Lines.begin(), Lines.end());
2256 }
2257
2258 // Construct abstract scopes.
2259 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2260 AE = AbstractScopesList.end(); AI != AE; ++AI)
2261 constructScopeDIE(*AI);
2262
2263 constructScopeDIE(CurrentFnDbgScope);
2264
2265 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2266 MMI->getFrameMoves()));
Bill Wendlingf5839192009-05-20 23:19:06 +00002267 }
2268
Bill Wendlingf5839192009-05-20 23:19:06 +00002269 // Clear debug info
Devang Patel387e9c12010-01-19 01:26:02 +00002270 CurrentFnDbgScope = NULL;
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002271 DeleteContainerSeconds(DbgScopeMap);
Devang Patel387e9c12010-01-19 01:26:02 +00002272 DbgScopeBeginMap.clear();
2273 DbgScopeEndMap.clear();
2274 ConcreteScopes.clear();
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002275 DeleteContainerSeconds(AbstractScopes);
Devang Patel387e9c12010-01-19 01:26:02 +00002276 AbstractScopesList.clear();
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002277 AbstractVariables.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002278 Lines.clear();
Devang Patel67533ab2009-12-01 18:13:48 +00002279
Bill Wendlingf5839192009-05-20 23:19:06 +00002280 if (TimePassesIsEnabled)
2281 DebugTimer->stopTimer();
2282}
2283
Chris Lattner597b0fc2010-03-09 04:54:43 +00002284/// recordSourceLine - Register a source line with debug info. Returns the
2285/// unique label that was emitted and which provides correspondence to
2286/// the source line list.
2287MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patel15e723d2009-08-28 23:24:31 +00002288 if (!MMI)
2289 return 0;
2290
Bill Wendlingf5839192009-05-20 23:19:06 +00002291 if (TimePassesIsEnabled)
2292 DebugTimer->startTimer();
2293
Devang Patel7f75bbe2009-11-25 17:36:49 +00002294 StringRef Dir;
2295 StringRef Fn;
Devang Patel946d0ae2009-10-05 18:03:19 +00002296
2297 DIDescriptor Scope(S);
2298 if (Scope.isCompileUnit()) {
2299 DICompileUnit CU(S);
2300 Dir = CU.getDirectory();
2301 Fn = CU.getFilename();
2302 } else if (Scope.isSubprogram()) {
2303 DISubprogram SP(S);
2304 Dir = SP.getDirectory();
2305 Fn = SP.getFilename();
2306 } else if (Scope.isLexicalBlock()) {
2307 DILexicalBlock DB(S);
2308 Dir = DB.getDirectory();
2309 Fn = DB.getFilename();
2310 } else
Chris Lattnerdd21da82010-03-13 07:26:18 +00002311 assert(0 && "Unexpected scope info");
Devang Patel946d0ae2009-10-05 18:03:19 +00002312
2313 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner54e56f22010-03-14 08:36:50 +00002314 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner8d9d06a2010-03-14 08:15:55 +00002315 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf5839192009-05-20 23:19:06 +00002316
2317 if (TimePassesIsEnabled)
2318 DebugTimer->stopTimer();
2319
Chris Lattner597b0fc2010-03-09 04:54:43 +00002320 Asm->OutStreamer.EmitLabel(Label);
2321 return Label;
Bill Wendlingf5839192009-05-20 23:19:06 +00002322}
2323
2324/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2325/// timed. Look up the source id with the given directory and source file
2326/// names. If none currently exists, create a new id and insert it in the
2327/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2328/// well.
2329unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2330 const std::string &FileName) {
2331 if (TimePassesIsEnabled)
2332 DebugTimer->startTimer();
2333
Devang Patelaaf012e2009-09-29 18:40:58 +00002334 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf5839192009-05-20 23:19:06 +00002335
2336 if (TimePassesIsEnabled)
2337 DebugTimer->stopTimer();
2338
2339 return SrcId;
2340}
2341
Bill Wendlinge1a5bbb2009-05-20 23:22:40 +00002342//===----------------------------------------------------------------------===//
2343// Emit Methods
2344//===----------------------------------------------------------------------===//
2345
Devang Patelc50078e2009-11-21 02:48:08 +00002346/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling55fccda2009-05-20 23:21:38 +00002347///
Jim Grosbachb23f2422009-11-22 19:20:36 +00002348unsigned
2349DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002350 // Get the children.
2351 const std::vector<DIE *> &Children = Die->getChildren();
2352
2353 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin2944ced2010-03-22 18:47:14 +00002354 if (!Last && !Children.empty())
2355 DIEValues.push_back(Die->addSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002356
2357 // Record the abbreviation.
Devang Patelc50078e2009-11-21 02:48:08 +00002358 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling55fccda2009-05-20 23:21:38 +00002359
2360 // Get the abbreviation for this DIE.
2361 unsigned AbbrevNumber = Die->getAbbrevNumber();
2362 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2363
2364 // Set DIE offset
2365 Die->setOffset(Offset);
2366
2367 // Start the size with the size of abbreviation code.
Chris Lattner621c44d2009-08-22 20:48:53 +00002368 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002369
2370 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2371 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2372
2373 // Size the DIE attribute values.
2374 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2375 // Size attribute value.
2376 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2377
2378 // Size the DIE children if any.
2379 if (!Children.empty()) {
2380 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2381 "Children flag not set");
2382
2383 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002384 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling55fccda2009-05-20 23:21:38 +00002385
2386 // End of children marker.
2387 Offset += sizeof(int8_t);
2388 }
2389
2390 Die->setSize(Offset - Die->getOffset());
2391 return Offset;
2392}
2393
Devang Patelc50078e2009-11-21 02:48:08 +00002394/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling55fccda2009-05-20 23:21:38 +00002395///
Devang Patelc50078e2009-11-21 02:48:08 +00002396void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002397 // Compute size of compile unit header.
2398 static unsigned Offset =
2399 sizeof(int32_t) + // Length of Compilation Unit Info
2400 sizeof(int16_t) + // DWARF version number
2401 sizeof(int32_t) + // Offset Into Abbrev. Section
2402 sizeof(int8_t); // Pointer Size (in bytes)
2403
Devang Patelc50078e2009-11-21 02:48:08 +00002404 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel5a3d37f2009-06-29 20:45:18 +00002405 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling55fccda2009-05-20 23:21:38 +00002406}
2407
Devang Patelc50078e2009-11-21 02:48:08 +00002408/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling55fccda2009-05-20 23:21:38 +00002409/// tools to recognize the object file contains Dwarf information.
Devang Patelc50078e2009-11-21 02:48:08 +00002410void DwarfDebug::emitInitial() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002411 // Check to see if we already emitted intial headers.
2412 if (didInitial) return;
2413 didInitial = true;
2414
Chris Lattner73266f92009-08-19 05:49:37 +00002415 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbar41716322009-09-19 20:40:05 +00002416
Bill Wendling55fccda2009-05-20 23:21:38 +00002417 // Dwarf sections base addresses.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002418 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner73266f92009-08-19 05:49:37 +00002419 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002420 Asm->OutStreamer.EmitLabel(getTempLabel("section_debug_frame"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002421 }
2422
Chris Lattner73266f92009-08-19 05:49:37 +00002423 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002424 Asm->OutStreamer.EmitLabel(getTempLabel("section_info"));
Chris Lattner73266f92009-08-19 05:49:37 +00002425 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002426 Asm->OutStreamer.EmitLabel(getTempLabel("section_abbrev"));
Chris Lattner73266f92009-08-19 05:49:37 +00002427 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002428 Asm->OutStreamer.EmitLabel(getTempLabel("section_aranges"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002429
Chris Lattner73266f92009-08-19 05:49:37 +00002430 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2431 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattner6d213e82010-03-08 22:44:40 +00002432 Asm->OutStreamer.EmitLabel(getTempLabel("section_macinfo"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002433 }
2434
Chris Lattner73266f92009-08-19 05:49:37 +00002435 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002436 Asm->OutStreamer.EmitLabel(getTempLabel("section_line"));
Chris Lattner73266f92009-08-19 05:49:37 +00002437 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002438 Asm->OutStreamer.EmitLabel(getTempLabel("section_loc"));
Chris Lattner73266f92009-08-19 05:49:37 +00002439 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002440 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubnames"));
Devang Patelec13b4f2009-11-24 01:14:22 +00002441 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002442 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubtypes"));
Chris Lattner73266f92009-08-19 05:49:37 +00002443 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002444 Asm->OutStreamer.EmitLabel(getTempLabel("section_str"));
Chris Lattner73266f92009-08-19 05:49:37 +00002445 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002446 Asm->OutStreamer.EmitLabel(getTempLabel("section_ranges"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002447
Chris Lattner73266f92009-08-19 05:49:37 +00002448 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002449 Asm->OutStreamer.EmitLabel(getTempLabel("text_begin"));
Chris Lattner73266f92009-08-19 05:49:37 +00002450 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002451 Asm->OutStreamer.EmitLabel(getTempLabel("data_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002452}
2453
Devang Patelc50078e2009-11-21 02:48:08 +00002454/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling55fccda2009-05-20 23:21:38 +00002455///
Devang Patelc50078e2009-11-21 02:48:08 +00002456void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002457 // Get the abbreviation for this DIE.
2458 unsigned AbbrevNumber = Die->getAbbrevNumber();
2459 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2460
Bill Wendling55fccda2009-05-20 23:21:38 +00002461 // Emit the code (index) for the abbreviation.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002462 if (Asm->VerboseAsm)
2463 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2464 Twine::utohexstr(Die->getOffset()) + ":0x" +
2465 Twine::utohexstr(Die->getSize()) + " " +
2466 dwarf::TagString(Abbrev->getTag()));
2467 EmitULEB128(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002468
Jeffrey Yasskin2944ced2010-03-22 18:47:14 +00002469 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling55fccda2009-05-20 23:21:38 +00002470 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2471
2472 // Emit the DIE attribute values.
2473 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2474 unsigned Attr = AbbrevData[i].getAttribute();
2475 unsigned Form = AbbrevData[i].getForm();
2476 assert(Form && "Too many attributes for DIE (check abbreviation)");
2477
Chris Lattner91e06b42010-01-24 18:54:17 +00002478 if (Asm->VerboseAsm)
2479 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2480
Bill Wendling55fccda2009-05-20 23:21:38 +00002481 switch (Attr) {
2482 case dwarf::DW_AT_sibling:
Devang Patelc50078e2009-11-21 02:48:08 +00002483 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002484 break;
2485 case dwarf::DW_AT_abstract_origin: {
2486 DIEEntry *E = cast<DIEEntry>(Values[i]);
2487 DIE *Origin = E->getEntry();
Devang Patel90a0fe32009-11-10 23:06:00 +00002488 unsigned Addr = Origin->getOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002489 Asm->EmitInt32(Addr);
2490 break;
2491 }
2492 default:
2493 // Emit an attribute using the defined form.
2494 Values[i]->EmitValue(this, Form);
2495 break;
2496 }
Bill Wendling55fccda2009-05-20 23:21:38 +00002497 }
2498
2499 // Emit the DIE children if any.
2500 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2501 const std::vector<DIE *> &Children = Die->getChildren();
2502
2503 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002504 emitDIE(Children[j]);
Bill Wendling55fccda2009-05-20 23:21:38 +00002505
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002506 if (Asm->VerboseAsm)
2507 Asm->OutStreamer.AddComment("End Of Children Mark");
2508 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002509 }
2510}
2511
Devang Patelfe0be132009-12-09 18:24:21 +00002512/// emitDebugInfo - Emit the debug info section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002513///
Devang Patelfe0be132009-12-09 18:24:21 +00002514void DwarfDebug::emitDebugInfo() {
2515 // Start debug info section.
2516 Asm->OutStreamer.SwitchSection(
2517 Asm->getObjFileLowering().getDwarfInfoSection());
2518 DIE *Die = ModuleCU->getCUDie();
Bill Wendling55fccda2009-05-20 23:21:38 +00002519
2520 // Emit the compile units header.
Chris Lattner6d213e82010-03-08 22:44:40 +00002521 Asm->OutStreamer.EmitLabel(getDWLabel("info_begin", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002522
2523 // Emit size of content not including length itself
2524 unsigned ContentSize = Die->getSize() +
2525 sizeof(int16_t) + // DWARF version number
2526 sizeof(int32_t) + // Offset Into Abbrev. Section
2527 sizeof(int8_t) + // Pointer Size (in bytes)
2528 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2529
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002530 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2531 Asm->EmitInt32(ContentSize);
2532 Asm->OutStreamer.AddComment("DWARF version number");
2533 Asm->EmitInt16(dwarf::DWARF_VERSION);
2534 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Devang Patelb912cf32010-03-17 17:29:55 +00002535 EmitSectionOffset(getTempLabel("abbrev_begin"),getTempLabel("section_abbrev"),
2536 true);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002537 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2538 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00002539
Devang Patelc50078e2009-11-21 02:48:08 +00002540 emitDIE(Die);
Bill Wendling55fccda2009-05-20 23:21:38 +00002541 // FIXME - extra padding for gdb bug.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002542 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2543 Asm->EmitInt8(0);
2544 Asm->EmitInt8(0);
2545 Asm->EmitInt8(0);
2546 Asm->EmitInt8(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002547 Asm->OutStreamer.EmitLabel(getDWLabel("info_end", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002548}
2549
Devang Patelc50078e2009-11-21 02:48:08 +00002550/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002551///
Devang Patelc50078e2009-11-21 02:48:08 +00002552void DwarfDebug::emitAbbreviations() const {
Bill Wendling55fccda2009-05-20 23:21:38 +00002553 // Check to see if it is worth the effort.
2554 if (!Abbreviations.empty()) {
2555 // Start the debug abbrev section.
Chris Lattner73266f92009-08-19 05:49:37 +00002556 Asm->OutStreamer.SwitchSection(
2557 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002558
Chris Lattner6d213e82010-03-08 22:44:40 +00002559 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002560
2561 // For each abbrevation.
2562 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2563 // Get abbreviation data
2564 const DIEAbbrev *Abbrev = Abbreviations[i];
2565
2566 // Emit the abbrevations code (base 1 index.)
Chris Lattnerbcc79432010-01-22 23:18:42 +00002567 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling55fccda2009-05-20 23:21:38 +00002568
2569 // Emit the abbreviations data.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002570 Abbrev->Emit(this);
Bill Wendling55fccda2009-05-20 23:21:38 +00002571 }
2572
2573 // Mark end of abbreviations.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002574 EmitULEB128(0, "EOM(3)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002575
Chris Lattner6d213e82010-03-08 22:44:40 +00002576 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002577 }
2578}
2579
Devang Patelc50078e2009-11-21 02:48:08 +00002580/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling55fccda2009-05-20 23:21:38 +00002581/// the line matrix.
2582///
Devang Patelc50078e2009-11-21 02:48:08 +00002583void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002584 // Define last address of section.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002585 Asm->OutStreamer.AddComment("Extended Op");
2586 Asm->EmitInt8(0);
2587
2588 Asm->OutStreamer.AddComment("Op size");
2589 Asm->EmitInt8(TD->getPointerSize() + 1);
2590 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2591 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2592
2593 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnereb159d62010-03-10 01:17:49 +00002594
2595 Asm->OutStreamer.EmitSymbolValue(getDWLabel("section_end", SectionEnd),
2596 TD->getPointerSize(), 0/*AddrSpace*/);
Bill Wendling55fccda2009-05-20 23:21:38 +00002597
2598 // Mark end of matrix.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002599 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2600 Asm->EmitInt8(0);
Chris Lattnerad653482010-01-22 22:09:00 +00002601 Asm->EmitInt8(1);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002602 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002603}
2604
Devang Patelc50078e2009-11-21 02:48:08 +00002605/// emitDebugLines - Emit source line information.
Bill Wendling55fccda2009-05-20 23:21:38 +00002606///
Devang Patelc50078e2009-11-21 02:48:08 +00002607void DwarfDebug::emitDebugLines() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002608 // If the target is using .loc/.file, the assembler will be emitting the
2609 // .debug_line table automatically.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002610 if (MAI->hasDotLocAndDotFile())
Bill Wendling55fccda2009-05-20 23:21:38 +00002611 return;
2612
2613 // Minimum line delta, thus ranging from -10..(255-10).
2614 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2615 // Maximum line delta, thus ranging from -10..(255-10).
2616 const int MaxLineDelta = 255 + MinLineDelta;
2617
2618 // Start the dwarf line section.
Chris Lattner73266f92009-08-19 05:49:37 +00002619 Asm->OutStreamer.SwitchSection(
2620 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002621
2622 // Construct the section header.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002623 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattner6d213e82010-03-08 22:44:40 +00002624 EmitDifference(getTempLabel("line_end"), getTempLabel("line_begin"), true);
Chris Lattner6d213e82010-03-08 22:44:40 +00002625 Asm->OutStreamer.EmitLabel(getTempLabel("line_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002626
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002627 Asm->OutStreamer.AddComment("DWARF version number");
2628 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling55fccda2009-05-20 23:21:38 +00002629
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002630 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattner6d213e82010-03-08 22:44:40 +00002631 EmitDifference(getTempLabel("line_prolog_end"),
2632 getTempLabel("line_prolog_begin"), true);
Chris Lattner6d213e82010-03-08 22:44:40 +00002633 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002634
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002635 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2636 Asm->EmitInt8(1);
2637 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2638 Asm->EmitInt8(1);
2639 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2640 Asm->EmitInt8(MinLineDelta);
2641 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2642 Asm->EmitInt8(MaxLineDelta);
2643 Asm->OutStreamer.AddComment("Special Opcode Base");
2644 Asm->EmitInt8(-MinLineDelta);
Bill Wendling55fccda2009-05-20 23:21:38 +00002645
2646 // Line number standard opcode encodings argument count
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002647 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2648 Asm->EmitInt8(0);
2649 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2650 Asm->EmitInt8(1);
2651 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2652 Asm->EmitInt8(1);
2653 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2654 Asm->EmitInt8(1);
2655 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2656 Asm->EmitInt8(1);
2657 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2658 Asm->EmitInt8(0);
2659 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2660 Asm->EmitInt8(0);
2661 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2662 Asm->EmitInt8(0);
2663 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2664 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002665
2666 // Emit directories.
2667 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnercc564642010-01-23 03:11:46 +00002668 const std::string &Dir = getSourceDirectoryName(DI);
2669 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2670 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002671 }
2672
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002673 Asm->OutStreamer.AddComment("End of directories");
2674 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002675
2676 // Emit files.
2677 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2678 // Remember source id starts at 1.
2679 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnercc564642010-01-23 03:11:46 +00002680 const std::string &FN = getSourceFileName(Id.second);
2681 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2682 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2683
Chris Lattnerbcc79432010-01-22 23:18:42 +00002684 EmitULEB128(Id.first, "Directory #");
2685 EmitULEB128(0, "Mod date");
2686 EmitULEB128(0, "File size");
Bill Wendling55fccda2009-05-20 23:21:38 +00002687 }
2688
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002689 Asm->OutStreamer.AddComment("End of files");
2690 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002691
Chris Lattner6d213e82010-03-08 22:44:40 +00002692 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002693
2694 // A sequence for each text section.
2695 unsigned SecSrcLinesSize = SectionSourceLines.size();
2696
2697 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2698 // Isolate current sections line info.
2699 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2700
Bill Wendling55fccda2009-05-20 23:21:38 +00002701 // Dwarf assumes we start with first line of first source file.
2702 unsigned Source = 1;
2703 unsigned Line = 1;
2704
2705 // Construct rows of the address, source, line, column matrix.
2706 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2707 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner8d9d06a2010-03-14 08:15:55 +00002708 MCSymbol *Label = LineInfo.getLabel();
Chris Lattner31ae74d2010-03-14 02:20:58 +00002709 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling55fccda2009-05-20 23:21:38 +00002710
Caroline Tice9da96d82009-09-11 18:25:54 +00002711 if (LineInfo.getLine() == 0) continue;
2712
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002713 if (Asm->isVerbose()) {
Chris Lattneree3b40f2010-03-10 01:04:13 +00002714 std::pair<unsigned, unsigned> SrcID =
Bill Wendling55fccda2009-05-20 23:21:38 +00002715 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattneree3b40f2010-03-10 01:04:13 +00002716 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner48fb0b12010-03-10 02:29:31 +00002717 "/" +
2718 Twine(getSourceFileName(SrcID.second)) +
Chris Lattneree3b40f2010-03-10 01:04:13 +00002719 ":" + Twine(LineInfo.getLine()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002720 }
2721
2722 // Define the line address.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002723 Asm->OutStreamer.AddComment("Extended Op");
2724 Asm->EmitInt8(0);
2725 Asm->OutStreamer.AddComment("Op size");
2726 Asm->EmitInt8(TD->getPointerSize() + 1);
2727
2728 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2729 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2730
2731 Asm->OutStreamer.AddComment("Location label");
Chris Lattner31ae74d2010-03-14 02:20:58 +00002732 Asm->OutStreamer.EmitSymbolValue(Label, TD->getPointerSize(),
2733 0/*AddrSpace*/);
Chris Lattnereb159d62010-03-10 01:17:49 +00002734
Bill Wendling55fccda2009-05-20 23:21:38 +00002735 // If change of source, then switch to the new source.
2736 if (Source != LineInfo.getSourceID()) {
2737 Source = LineInfo.getSourceID();
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002738 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2739 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002740 EmitULEB128(Source, "New Source");
Bill Wendling55fccda2009-05-20 23:21:38 +00002741 }
2742
2743 // If change of line.
2744 if (Line != LineInfo.getLine()) {
2745 // Determine offset.
2746 int Offset = LineInfo.getLine() - Line;
2747 int Delta = Offset - MinLineDelta;
2748
2749 // Update line.
2750 Line = LineInfo.getLine();
2751
2752 // If delta is small enough and in range...
2753 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2754 // ... then use fast opcode.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002755 Asm->OutStreamer.AddComment("Line Delta");
2756 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling55fccda2009-05-20 23:21:38 +00002757 } else {
2758 // ... otherwise use long hand.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002759 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling55fccda2009-05-20 23:21:38 +00002760 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner20f334f2010-01-22 22:56:55 +00002761 EmitSLEB128(Offset, "Line Offset");
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002762 Asm->OutStreamer.AddComment("DW_LNS_copy");
2763 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling55fccda2009-05-20 23:21:38 +00002764 }
2765 } else {
2766 // Copy the previous row (different address or source)
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002767 Asm->OutStreamer.AddComment("DW_LNS_copy");
2768 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling55fccda2009-05-20 23:21:38 +00002769 }
2770 }
2771
Devang Patelc50078e2009-11-21 02:48:08 +00002772 emitEndOfLineMatrix(j + 1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002773 }
2774
2775 if (SecSrcLinesSize == 0)
2776 // Because we're emitting a debug_line section, we still need a line
2777 // table. The linker and friends expect it to exist. If there's nothing to
2778 // put into it, emit an empty table.
Devang Patelc50078e2009-11-21 02:48:08 +00002779 emitEndOfLineMatrix(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002780
Chris Lattner6d213e82010-03-08 22:44:40 +00002781 Asm->OutStreamer.EmitLabel(getTempLabel("line_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002782}
2783
Devang Patelc50078e2009-11-21 02:48:08 +00002784/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002785///
Devang Patelc50078e2009-11-21 02:48:08 +00002786void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002787 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002788 return;
2789
2790 int stackGrowth =
2791 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2792 TargetFrameInfo::StackGrowsUp ?
2793 TD->getPointerSize() : -TD->getPointerSize();
2794
2795 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002796 Asm->OutStreamer.SwitchSection(
2797 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002798
Chris Lattner6d213e82010-03-08 22:44:40 +00002799 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common"));
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002800 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002801 EmitDifference(getTempLabel("debug_frame_common_end"),
2802 getTempLabel("debug_frame_common_begin"), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002803
Chris Lattner6d213e82010-03-08 22:44:40 +00002804 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_begin"));
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002805 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling55fccda2009-05-20 23:21:38 +00002806 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002807 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling55fccda2009-05-20 23:21:38 +00002808 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002809 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattnercc564642010-01-23 03:11:46 +00002810 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002811 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattner20f334f2010-01-22 22:56:55 +00002812 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002813 Asm->OutStreamer.AddComment("CIE RA Column");
Bill Wendling55fccda2009-05-20 23:21:38 +00002814 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling55fccda2009-05-20 23:21:38 +00002815
2816 std::vector<MachineMove> Moves;
2817 RI->getInitialFrameState(Moves);
2818
Chris Lattnerdd4f4f82010-03-13 08:05:25 +00002819 EmitFrameMoves(0, Moves, false);
Bill Wendling55fccda2009-05-20 23:21:38 +00002820
2821 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner6d213e82010-03-08 22:44:40 +00002822 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002823}
2824
Devang Patelc50078e2009-11-21 02:48:08 +00002825/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling55fccda2009-05-20 23:21:38 +00002826/// section.
Chris Lattnerdd21da82010-03-13 07:26:18 +00002827void DwarfDebug::
2828emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002829 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002830 return;
2831
2832 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002833 Asm->OutStreamer.SwitchSection(
2834 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002835
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002836 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattnerdd21da82010-03-13 07:26:18 +00002837 MCSymbol *DebugFrameBegin =
2838 getDWLabel("debug_frame_begin", DebugFrameInfo.Number);
2839 MCSymbol *DebugFrameEnd =
2840 getDWLabel("debug_frame_end", DebugFrameInfo.Number);
2841 EmitDifference(DebugFrameEnd, DebugFrameBegin, true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002842
Chris Lattnerdd21da82010-03-13 07:26:18 +00002843 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling55fccda2009-05-20 23:21:38 +00002844
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002845 Asm->OutStreamer.AddComment("FDE CIE offset");
Devang Patelb912cf32010-03-17 17:29:55 +00002846 EmitSectionOffset(getTempLabel("debug_frame_common"),
2847 getTempLabel("section_debug_frame"), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002848
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002849 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattner314e3362010-03-13 07:40:56 +00002850 MCSymbol *FuncBeginSym = getDWLabel("func_begin", DebugFrameInfo.Number);
2851 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnereb159d62010-03-10 01:17:49 +00002852 TD->getPointerSize(), 0/*AddrSpace*/);
2853
2854
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002855 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattner314e3362010-03-13 07:40:56 +00002856 EmitDifference(getDWLabel("func_end", DebugFrameInfo.Number), FuncBeginSym);
Bill Wendling55fccda2009-05-20 23:21:38 +00002857
Chris Lattnerdd4f4f82010-03-13 08:05:25 +00002858 EmitFrameMoves(FuncBeginSym, DebugFrameInfo.Moves, false);
Bill Wendling55fccda2009-05-20 23:21:38 +00002859
2860 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerdd21da82010-03-13 07:26:18 +00002861 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling55fccda2009-05-20 23:21:38 +00002862}
2863
Devang Patelfe0be132009-12-09 18:24:21 +00002864/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2865///
2866void DwarfDebug::emitDebugPubNames() {
2867 // Start the dwarf pubnames section.
2868 Asm->OutStreamer.SwitchSection(
2869 Asm->getObjFileLowering().getDwarfPubNamesSection());
2870
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002871 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002872 EmitDifference(getDWLabel("pubnames_end", ModuleCU->getID()),
2873 getDWLabel("pubnames_begin", ModuleCU->getID()), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002874
Chris Lattner6d213e82010-03-08 22:44:40 +00002875 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_begin", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002876
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002877 Asm->OutStreamer.AddComment("DWARF Version");
2878 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling55fccda2009-05-20 23:21:38 +00002879
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002880 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002881 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patelb912cf32010-03-17 17:29:55 +00002882 getTempLabel("section_info"), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002883
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002884 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002885 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2886 getDWLabel("info_begin", ModuleCU->getID()),
Bill Wendling55fccda2009-05-20 23:21:38 +00002887 true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002888
Devang Patelfe0be132009-12-09 18:24:21 +00002889 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling55fccda2009-05-20 23:21:38 +00002890 for (StringMap<DIE*>::const_iterator
2891 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2892 const char *Name = GI->getKeyData();
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002893 DIE *Entity = GI->second;
Bill Wendling55fccda2009-05-20 23:21:38 +00002894
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002895 Asm->OutStreamer.AddComment("DIE offset");
2896 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002897
2898 if (Asm->VerboseAsm)
2899 Asm->OutStreamer.AddComment("External Name");
2900 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002901 }
2902
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002903 Asm->OutStreamer.AddComment("End Mark");
2904 Asm->EmitInt32(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002905 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_end", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002906}
2907
Devang Patelec13b4f2009-11-24 01:14:22 +00002908void DwarfDebug::emitDebugPubTypes() {
Devang Patel6f2bdd52009-11-24 19:18:41 +00002909 // Start the dwarf pubnames section.
2910 Asm->OutStreamer.SwitchSection(
2911 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002912 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002913 EmitDifference(getDWLabel("pubtypes_end", ModuleCU->getID()),
2914 getDWLabel("pubtypes_begin", ModuleCU->getID()), true);
Devang Patelec13b4f2009-11-24 01:14:22 +00002915
Chris Lattner6d213e82010-03-08 22:44:40 +00002916 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_begin", ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00002917
Devang Patel40b6cda2010-02-02 03:47:27 +00002918 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2919 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patelec13b4f2009-11-24 01:14:22 +00002920
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002921 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002922 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patelb912cf32010-03-17 17:29:55 +00002923 getTempLabel("section_info"), true);
Devang Patelec13b4f2009-11-24 01:14:22 +00002924
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002925 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002926 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2927 getDWLabel("info_begin", ModuleCU->getID()),
Devang Patelec13b4f2009-11-24 01:14:22 +00002928 true);
Devang Patelec13b4f2009-11-24 01:14:22 +00002929
2930 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2931 for (StringMap<DIE*>::const_iterator
2932 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2933 const char *Name = GI->getKeyData();
2934 DIE * Entity = GI->second;
2935
Devang Patel40b6cda2010-02-02 03:47:27 +00002936 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2937 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002938
2939 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel0ceb4892010-02-02 03:37:03 +00002940 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patelec13b4f2009-11-24 01:14:22 +00002941 }
2942
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002943 Asm->OutStreamer.AddComment("End Mark");
2944 Asm->EmitInt32(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002945 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_end", ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00002946}
2947
Devang Patelc50078e2009-11-21 02:48:08 +00002948/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002949///
Devang Patelc50078e2009-11-21 02:48:08 +00002950void DwarfDebug::emitDebugStr() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002951 // Check to see if it is worth the effort.
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002952 if (StringPool.empty()) return;
2953
2954 // Start the dwarf str section.
2955 Asm->OutStreamer.SwitchSection(
Chris Lattner73266f92009-08-19 05:49:37 +00002956 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002957
Chris Lattner0f093f82010-03-13 02:17:42 +00002958 // Get all of the string pool entries and put them in an array by their ID so
2959 // we can sort them.
2960 SmallVector<std::pair<unsigned,
2961 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
2962
2963 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
2964 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
2965 Entries.push_back(std::make_pair(I->second.second, &*I));
2966
2967 array_pod_sort(Entries.begin(), Entries.end());
2968
2969 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002970 // Emit a label for reference from debug information entries.
Chris Lattner0f093f82010-03-13 02:17:42 +00002971 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002972
2973 // Emit the string itself.
Chris Lattner0f093f82010-03-13 02:17:42 +00002974 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling55fccda2009-05-20 23:21:38 +00002975 }
2976}
2977
Devang Patelc50078e2009-11-21 02:48:08 +00002978/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002979///
Devang Patelc50078e2009-11-21 02:48:08 +00002980void DwarfDebug::emitDebugLoc() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002981 // Start the dwarf loc section.
Chris Lattner73266f92009-08-19 05:49:37 +00002982 Asm->OutStreamer.SwitchSection(
2983 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002984}
2985
2986/// EmitDebugARanges - Emit visible names into a debug aranges section.
2987///
2988void DwarfDebug::EmitDebugARanges() {
2989 // Start the dwarf aranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002990 Asm->OutStreamer.SwitchSection(
2991 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002992}
2993
Devang Patelc50078e2009-11-21 02:48:08 +00002994/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002995///
Devang Patelc50078e2009-11-21 02:48:08 +00002996void DwarfDebug::emitDebugRanges() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002997 // Start the dwarf ranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002998 Asm->OutStreamer.SwitchSection(
2999 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00003000}
3001
Devang Patelc50078e2009-11-21 02:48:08 +00003002/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling55fccda2009-05-20 23:21:38 +00003003///
Devang Patelc50078e2009-11-21 02:48:08 +00003004void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbar41716322009-09-19 20:40:05 +00003005 if (const MCSection *LineInfo =
Chris Lattner72d228d2009-08-02 07:24:22 +00003006 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling55fccda2009-05-20 23:21:38 +00003007 // Start the dwarf macinfo section.
Chris Lattner73266f92009-08-19 05:49:37 +00003008 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling55fccda2009-05-20 23:21:38 +00003009 }
3010}
3011
Devang Patelc50078e2009-11-21 02:48:08 +00003012/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling55fccda2009-05-20 23:21:38 +00003013/// Section Header:
3014/// 1. length of section
3015/// 2. Dwarf version number
3016/// 3. address size.
3017///
3018/// Entries (one "entry" for each function that was inlined):
3019///
3020/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3021/// otherwise offset into __debug_str for regular function name.
3022/// 2. offset into __debug_str section for regular function name.
3023/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3024/// instances for the function.
3025///
3026/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3027/// inlined instance; the die_offset points to the inlined_subroutine die in the
3028/// __debug_info section, and the low_pc is the starting address for the
3029/// inlining instance.
Devang Patelc50078e2009-11-21 02:48:08 +00003030void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00003031 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00003032 return;
3033
Devang Patel5a3d37f2009-06-29 20:45:18 +00003034 if (!ModuleCU)
Bill Wendling55fccda2009-05-20 23:21:38 +00003035 return;
3036
Chris Lattner73266f92009-08-19 05:49:37 +00003037 Asm->OutStreamer.SwitchSection(
3038 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerad653482010-01-22 22:09:00 +00003039
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003040 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattner2a65fd42010-03-08 23:02:59 +00003041 EmitDifference(getDWLabel("debug_inlined_end", 1),
3042 getDWLabel("debug_inlined_begin", 1), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00003043
Chris Lattner6d213e82010-03-08 22:44:40 +00003044 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_begin", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00003045
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003046 Asm->OutStreamer.AddComment("Dwarf Version");
3047 Asm->EmitInt16(dwarf::DWARF_VERSION);
3048 Asm->OutStreamer.AddComment("Address Size (in bytes)");
3049 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00003050
Devang Patel90a0fe32009-11-10 23:06:00 +00003051 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3052 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach652b7432009-11-21 23:12:12 +00003053
Devang Patel90a0fe32009-11-10 23:06:00 +00003054 MDNode *Node = *I;
Devang Patel7d707f92010-01-19 06:19:05 +00003055 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbachb23f2422009-11-22 19:20:36 +00003056 = InlineInfo.find(Node);
Devang Patel90a0fe32009-11-10 23:06:00 +00003057 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel15e723d2009-08-28 23:24:31 +00003058 DISubprogram SP(Node);
Devang Patel7f75bbe2009-11-25 17:36:49 +00003059 StringRef LName = SP.getLinkageName();
3060 StringRef Name = SP.getName();
Bill Wendling55fccda2009-05-20 23:21:38 +00003061
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003062 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattnercc564642010-01-23 03:11:46 +00003063 if (LName.empty()) {
3064 Asm->OutStreamer.EmitBytes(Name, 0);
3065 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3066 } else
Chris Lattner0f093f82010-03-13 02:17:42 +00003067 EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00003068 getTempLabel("section_str"), true);
Devang Patel90a0fe32009-11-10 23:06:00 +00003069
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003070 Asm->OutStreamer.AddComment("Function name");
Devang Patelb912cf32010-03-17 17:29:55 +00003071 EmitSectionOffset(getStringPoolEntry(Name), getTempLabel("section_str"),
3072 true);
Chris Lattnerbcc79432010-01-22 23:18:42 +00003073 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling55fccda2009-05-20 23:21:38 +00003074
Devang Patel90a0fe32009-11-10 23:06:00 +00003075 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling55fccda2009-05-20 23:21:38 +00003076 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattneread58652010-03-09 00:31:02 +00003077 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
3078 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00003079
Chris Lattnere90630a2010-03-09 00:26:09 +00003080 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner2ab0c442010-03-09 00:39:24 +00003081 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00003082 }
3083 }
3084
Chris Lattner6d213e82010-03-08 22:44:40 +00003085 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_end", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00003086}